Abstract
A method for calculating the location of all types of level lines of a real polynomial on the real plane is proposed. To this end, the critical points and critical curves of the polynomial and then its critical values (there are a finite number of them) should be calculated. Using this data, all critical level lines and one representative for each noncritical level line corresponding to intervals of values between adjacent critical level lines are found. A scheme for calculating level lines based on algorithms of polynomial computer algebra—Gröbner bases and primary ideal decomposition—is proposed. Software for implementing these calculations is indicated. Nontrivial examples are discussed.
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.REFERENCES
Bruno, A.D. and Batkhin, A.B., Introduction to nonlinear analysis of algebraic equations, Preprint of the Keldysh Inst. of Applied Mathematics, Russ. Acad. Sci., Moscow, 2020, no. 87 (in Russian).
Bruno, A.D., Local Methods in Nonlinear Differential Equations, Berlin: Springer, 1989.
Kollár, J. Lectures on Resolution of Singularities, Princeton: Princeton Univ. Press, 2007.
Kollár, J., Resolution of Singularities – Seattle Lecture, 2007. math/0508332v3.
Milnor, J.W., Morse theory. Based on lecture notes by M. Spivak and R. Wells, Princeton, N.J.: Princeton Univ. Press, 1963.
Buchberger, B., A theoretical basis for the reduction of polynomials to canonical forms, ACM SIGSAM Bull., 1976, vol. 10, no. 3, pp. 19–29.
Cox, D., Little, J., and O’Shea, D., Ideals, Varieties, and Algorithms. An Introduction to Computational Algebraic Geometry and Commutative Algebra, Heidelberg: Springer, 2015, 4th ed.
Atiyah, M.F. and MacDonald, I.G., Introduction to Commutative Algebra, Reading: Addison-Wesley, 1969.
Bruno, A.D. and Batkhin, A.B., Algorithms and programs for calculating the roots of polynomial of one or two variables, Program. Comput. Software, 2021, vol. 47, no. 5, pp. 353–373.
Singh, C. and Singh, J., Accurate contour plotting using 6-node triangular elements in 2D, Finite Elements Anal. Design, 2009, vol. 45, no. 2, pp. 81–93.
Hunter, J.D., Matplotlib: A 2D graphics environment, Comput. Sci. & Eng., 2007, vol. 9, no. 3, pp. 90–95.
Hoeij, M., Rational parametrizations of algebraic curves using a canonical divisor, J. Symb. Comput., 1997, vol. 23, pp. 209–227.
Lawden, D.F., Elliptic Functions and Applications, Applied Mathematical Sciences, vol. 80, New York: Springer-Verlag, 1989.
Batkhin, A.B. and Bruno, A.D., Investigation of a Real Algebraic Surface, Program. Comput. Software, 2015, vol. 41, no. 2. pp. 74–83.
Batkhin, A.B., Global parameterization of a real algebraic surface, Preprint of the Keldysh Inst. of Applied Mathematics, Russ. Acad. Sci., Moscow, 2016, no. 76.
Batkhin, A.B., A real variety with boundary and its global parameterization, Program. Comput. Software, 2017, vol. 43, no. 2, pp. 75–83.
Gantmakher, F.R., The Theory of Matrices, Moscow: Nauka, 1988; Chelsea: New York, 1959.
Batkhin, A.B., Parameterization of the discriminant set of a polynomial Program. Comput. Software, 2016, vol. 42, no. 2, pp. 65–76.
Basu, S., Pollack, R., and Roy, M.-F., Algorithms in Real Algebraic Geometry. Algorithms and Computations in Mathematics, Berlin: Springer, 2006, vol. 10.
Author information
Authors and Affiliations
Corresponding authors
Additional information
Translated by A. Klimontovich
Rights and permissions
About this article
Cite this article
Bruno, A.D., Batkhin, A.B. Level Lines of a Polynomial on a Plane. Program Comput Soft 48, 19–29 (2022). https://doi.org/10.1134/S0361768822010030
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1134/S0361768822010030