Abstract
We consider linear partial differential equations with polynomial coefficients and prove algorithmic undecidability of the following problem: to test whether a given equation of considered form has no more than one solution that is analytic on a domain and that satisfies some fixed boundary conditions. It is assumed that a polynomial which vanishes at each point of the domain boundary is known.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Abramov, S.A., Petkovšek, M.: On polynomial solutions of linear partial differential and (q-)difference equations. In: Gerdt, V.P., Koepf, W., Mayr, E.W., Vorozhtsov, E.V. (eds.) CASC 2012. LNCS, vol. 7442, pp. 1–11. Springer, Heidelberg (2012)
Aparicio Monforte, A., Kauers, M.: Formal Laurent Series in Several Variables. Expositiones Mathematicae, pp. 350–367 (2012)
Aroca, F., Cano, J.M., Richard-Jung, F.: Power series solutions for non-linear PDE’s. In: Proc. ISSAC 2003, pp. 15–22. ACM Press (2003)
Denef, J., Lipshitz, L.: Power series solutions of algebraic differential equations. Math. Ann. 267, 213–238 (1984)
Matiyasevich, Y.V.: Hilbert’s Tenth Problem. MIT Press, Cambrige (1993)
Paramonov, S.V.: On rational solutions of linear partial differential or difference equations. Programming and Computer Software (2), 57–60 (2013)
Paramonov, S.V.: Checking existence of solutions of partial differential equations in the fields of Laurent series. Programming and Computer Software (2), 58–62 (2014)
Pheidas, T., Zahidi, K.: Undecidability of existential theories of rings and fields: A survey. Contemporary Mathematics 270, 49–106 (2000)
Zhi-Wei, S.: Reduction of unknowns in Diophantine representations. Science China Mathematics 35(3), 257–269 (1992)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Paramonov, S.V. (2014). On Testing Uniqueness of Analytic Solutions of PDE with Boundary Conditions. In: Gerdt, V.P., Koepf, W., Seiler, W.M., Vorozhtsov, E.V. (eds) Computer Algebra in Scientific Computing. CASC 2014. Lecture Notes in Computer Science, vol 8660. Springer, Cham. https://doi.org/10.1007/978-3-319-10515-4_25
Download citation
DOI: https://doi.org/10.1007/978-3-319-10515-4_25
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-10514-7
Online ISBN: 978-3-319-10515-4
eBook Packages: Computer ScienceComputer Science (R0)