Skip to main content

Solution of Systems of Polynomial Equations by Using Bernstein Expansion

  • Conference paper
Symbolic Algebraic Methods and Verification Methods

Abstract

Systems of polynomial equations appear in a great variety of applications, e.g., in geometrie interseetion eomputations (Hu et al. 1996), ehemieal equilibrium problems, combustion, and kinematies, to name only a few. Examples ean be found in the monograph Morgan (1987). Following Sherbrooke and Patrikalakis (1993), most of the methods for the solution of sueh a system ean be dassitied as techniques based on elimination theory, continuation, and subdivision. Elimination theory-based methods for eonstructing Gröbner bases rely on symbolic manipulations, making those methods seem somewhat unsuitable for larger problems. This class and also the second of the methods based on continuation frequently give us more information than we need since they determine all complex solutions of the system, whereas in applications often only the solutions in a given area of interest - typically a box - are sought. In the last category we collect all methods which apply a domain-splitting approach: Starting with the box of interest, such an algorithrn sequentially splits it into subboxes, eliminating infeasible boxes by using bounds for the range of the polynomials under consideration over each of them, and ending up with a union of boxes that contains all solutions to the system which lie within the given box. Methods utilising this approach indude interval computation techniques as well as methods which apply the expansion of a multivariate polynomial into Bernstein polynomials

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  • Cargo, G.T., Shisha, O. (1966): The Bernstein form of a polynomial. J. Res. Nat. Bur. Standards Sect. B, vol. 70B (Math. Sci.), 1: 79–81

    Article  MathSciNet  Google Scholar 

  • Farouki, R.T., Rajan, V.T. (1988): Algorithms for polynomials in Bernstein form. Computer Aided Geometrie Design 5: 1–26

    Article  MathSciNet  MATH  Google Scholar 

  • Fischer, H.C. (1990): Range computations and applications. In: Ullrich, C. (ed.): Contributions to computer arithmetic and self-validating numerical methods. J.C.Baltzer, Amsterdam, pp. 197–211

    Google Scholar 

  • Garloff, J. (1986): Convergent bounds for the range of multivariate polynomials. In: Nickel, K. (ed.): Interval mathematics 1985. Springer, Berlin Heidelberg New York, pp. 37–56 (Lecture notes in computer science, vol. 212)

    Google Scholar 

  • Garloff, J. (1993): The Bernstein algorithm. Interval Comp. 2: 154–168

    MathSciNet  Google Scholar 

  • Garloff, J. (2000): Applications of Bernstein expansion to the solution of control problems. Reliable Comp. 6: 303–320

    Article  MathSciNet  MATH  Google Scholar 

  • Garloff, J., Graf, B. (1999): Solving strict polynomial inequalities by Bernstein expansion. In: Munro, N. (ed.): The use of symbolic methods in control system analysis and design. IEE, London, pp. 329–352

    Google Scholar 

  • Garloff, J., Smith, A.P. (2001): Improvements of a subdivision-based algorithm for solving systems of polynomial equations, to appear in the Proceedings of the 3rd World Congress of Nonlinear Analysts, July 19–26 2000, Catania, Italy, special series of the Journal of Nonlinear Analysis, Elsevier Sci. Publ.

    Google Scholar 

  • Granvilliers, L. (2000): Towards unnperative interval narrowing. In: Proceedings 3rd Intern. Workshop on Frontiers of Combining Systems, FroCoS’2000, Nancy, France, Springer, Berlin Heidelberg New York (Lecture notes in artificial intelligence, vol. 1794)

    Google Scholar 

  • Hu, Chun-Yi, Maekawa, T., Sherbrooke, E.C., Patrikalakis, N.M. (1996): Robust interval algorithm for curve intersections. Computer-Aided Design 28:495–506

    Article  Google Scholar 

  • Jüger, C., Ratz, D. (1995): A combined method for enclosing all solutions ofnonlinear systems of polynomial equations, Reliable Comp. 1: 41–64

    Article  Google Scholar 

  • Kearfott, R.B. (1996): Rigorous global search: continuous problems, Kluwer Acad. Publ., Dordrecht Boston London

    MATH  Google Scholar 

  • Kioustelidis, J.B. (1978): Algorithmic error estimation for approximate solutions of nonlinear systems of equations. Computing 19: 313–320

    Article  MathSciNet  MATH  Google Scholar 

  • Miranda, C. (1941): Un’ osservazione su un teorema di Brouwer. Boll. Un. Mat. Ital. Ser.2, 3: 5–7

    MathSciNet  Google Scholar 

  • Moore, R.E., Kioustelidis, J.B. (1980): A simple test for accuracy of approximate solutions to nonlinear (or linear) systems. SIAM J. Numer. Anal. 17:521–529

    Article  MathSciNet  MATH  Google Scholar 

  • Morgan, A.P.(1987): Solving polynomial systems using continuation for engineering and scientific problems. Prentice Hall, Englewood-Cliffs, N.J.

    MATH  Google Scholar 

  • Neumaier, A. (1990): Interval methods for systems of equations. Cambridge University Press, Cambridge (Encyclopedia of mathematics and its applications)

    MATH  Google Scholar 

  • Sherbrooke, E.C., Patrikalakis, N.M. (1993): Computation of the solutions ofnonlinear polynomial systems. Computer Aided Geometric Design 10: 379–405

    Article  MathSciNet  MATH  Google Scholar 

  • Van Hentenryck, P., McAllester, D., Kapur, D. (1997): Solving polynomial systems using a branch and prune approach. SIAM J. Numer. Anal. 34:797–827

    Article  MathSciNet  MATH  Google Scholar 

  • Vrahatis, M.N. (1989): A short proof and a generalization of Miranda’s existence theorem. Proc. Amer. Math. Soc. 107: 701–703

    MathSciNet  MATH  Google Scholar 

  • Zettler, M., Garloff, J. (1998): Robustness analysis of polynomials with polynomial parameter dependency using Bernstein expansion. IEEE Trans. Automat. Contr. 43:425–431

    Article  MathSciNet  MATH  Google Scholar 

  • Zuhe, S., Neumaier, A. (1988.): A note on Moore’s interval test for zeros of nonlinear systems. Computing 40: 85–90

    Article  MathSciNet  MATH  Google Scholar 

Download references

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2001 Springer-Verlag Wien

About this paper

Cite this paper

Garloff, J., Smith, A.P. (2001). Solution of Systems of Polynomial Equations by Using Bernstein Expansion. In: Alefeld, G., Rohn, J., Rump, S., Yamamoto, T. (eds) Symbolic Algebraic Methods and Verification Methods. Springer, Vienna. https://doi.org/10.1007/978-3-7091-6280-4_9

Download citation

  • DOI: https://doi.org/10.1007/978-3-7091-6280-4_9

  • Publisher Name: Springer, Vienna

  • Print ISBN: 978-3-211-83593-7

  • Online ISBN: 978-3-7091-6280-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics