Abstract
We investigate the notion of analytic complexity of a bivariate holomorphic function by means of computer algebra tools. An estimate from below on the number of terms in the differential polynomials defining classes of analytic complexity is established. We provide an algorithm which allows one to explicitly compute the differential membership criteria for certain families of bivariate analytic functions in the second complexity class. The presented algorithm is implemented in the computer algebra system Singular 4-1-1.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Arnold, V.I.: On the representation of continuous functions of three variables by superpositions of continuous functions of two variables. Mat. Sb. 48(1), 3–74 (1959)
Beloshapka, V.K.: Analytic complexity of functions of two variables. Russ. J. Math. Phys. 14(3), 243–249 (2007)
Beloshapka, V.K.: Algebraic functions of complexity one, a Weierstrass theorem, and three arithmetic operations. Russ. J. Math. Phys. 23(3), 343–347 (2016)
Boulier, F., Lemaire, F., Maza, M.: Computing differential characteristic sets by change of ordering. J. Symb. Comput. 45(1), 124–149 (2010)
Dickenstein, A., Sadykov, T.M.: Algebraicity of solutions to the Mellin system and its monodromy. Dokl. Math. 75(1), 80–82 (2007)
Krasikov, V.A., Sadykov, T.M.: On the analytic complexity of discriminants. Proc. Steklov Inst. Math. 279, 78–92 (2012)
Mansfield, E.L.: Differential Gröbner bases. Ph.D. thesis, University of Sydney (1991)
Neuman, F.: Factorizations of matrices and functions of two variables. Chechoslovak Math. J. 32(4), 582–588 (1982)
Neuman, F.: Finite sums of products of functions in single variables. Linear Algebra Appl. 134, 153–164 (1990)
Robertz, Daniel: Formal Algorithmic Elimination for PDEs. LNM, vol. 2121. Springer, Cham (2014). https://doi.org/10.1007/978-3-319-11445-3
Acknowledgments
This research has been performed in the framework of the basic part of the scientific research state task in the field of scientific activity of the Ministry of Education and Science of the Russian Federation, project No. 2.9577.2017/8.9.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer Nature Switzerland AG
About this paper
Cite this paper
Sadykov, T.M. (2018). Beyond the First Class of Analytic Complexity. In: Gerdt, V., Koepf, W., Seiler, W., Vorozhtsov, E. (eds) Computer Algebra in Scientific Computing. CASC 2018. Lecture Notes in Computer Science(), vol 11077. Springer, Cham. https://doi.org/10.1007/978-3-319-99639-4_23
Download citation
DOI: https://doi.org/10.1007/978-3-319-99639-4_23
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-99638-7
Online ISBN: 978-3-319-99639-4
eBook Packages: Computer ScienceComputer Science (R0)