Abstract
In this article, we are interested in the Gevrey properties of the formal power series solution in time of the partial differential equations with a polynomial semilinearity and with analytic coefficients at the origin of \({\mathbb {C}}^{n+1}\). We prove in particular that the inhomogeneity of the equation and the formal solution are together s-Gevrey for any \(s\ge s_c\), where \(s_c\) is a nonnegative rational number fully determined by the Newton polygon of the associated linear PDE. In the opposite case \(s<s_c\), we show that the solution is generically \(s_c\)-Gevrey while the inhomogeneity is s-Gevrey, and we give an explicit example in which the solution is \(s'\)-Gevrey for no \(s'<s_c\).
Similar content being viewed by others
Notes
We denote \(\widetilde{f}\) with a tilde to emphasize the possible divergence of the series \(\widetilde{f}\).
These numbers were named in honor of the mathematician Eugène Charles Catalan (1814–1894). They appear in many probabilist, graphs and combinatorial problems. For example, they can be seen as the number of d-ary trees with m source-nodes, or as the number of ways of associating m applications of a given d-ary operation, or as the number of ways of subdividing a convex polygon into m disjoint (\(d+1\))-gons by means of non-intersecting diagonals. They also appear in theoretical computers through the generalized Dyck words. See for instance [4] and the references inside.
Of course, this case only occurs when \({\mathcal {S}}\ne \emptyset \).
References
Balser, W.: Formal Power Series and Linear Systems of Meromorphic Ordinary Differential Equations. Universitext. Springer, NewYork (2000)
Balser, W., Loday-Richaud, M.: Summability of solutions of the heat equation with inhomogeneous thermal conductivity in two variables. Adv. Dyn. Syst. Appl. 4(2), 159–177 (2009)
Canalis-Durand, M., Ramis, J.P., Schäfke, R., Sibuya, Y.: Gevrey solutions of singularly perturbed differential equations. J. Reine Angew. Math. 518, 95–129 (2000)
Hilton, P., Pedersen, J.: Catalan numbers, their generalization, and their uses. Math. Intelligencer 13(2), 64–75 (1991)
Klarner, D.A.: Correspondences between plane trees and binary sequences. J. Combin. Theory 9, 401–411 (1970)
Lastra, A., Malek, S.: On parametric Gevrey asymptotics for some nonlinear initial value Cauchy problems. J. Differ. Equ. 259, 5220–5270 (2015)
Lastra, A., Malek, S.: On parametric multisummable formal solutions to some nonlinear initial value Cauchy problems. Adv. Differ. Equ. 2015, 200 (2015)
Lastra, A., Malek, S., Sanz, J.: On Gevrey solutions of threefold singular nonlinear partial differential equations. J. Differ. Equ. 255, 3205–3232 (2013)
Lastra, A., Tahara, H.: Maillet type theorem for nonlinear totally characteristic partial differential equations. Math. Ann. 377, 1603–1641 (2020)
Loday-Richaud, M.: Divergent Series, Summability and Resurgence II. Simple and Multiple Summability, Lecture Notes in Mathematics, vol. 2154. Springer, New York (2016)
Malek, S.: On the summability of formal solutions of nonlinear partial differential equations with shrinkings. J. Dyn. Control Syst. 13(1), 1–13 (2007)
Malek, S.: On Gevrey asymptotic for some nonlinear integro-differential equations. J. Dyn. Control Syst. 16(3), 377–406 (2010)
Malek, S.: On the summability of formal solutions for doubly singular nonlinear partial differential equations. J. Dyn. Control Syst. 18(1), 45–82 (2012)
Miyake, M.: Newton polygons and formal Gevrey indices in the Cauchy–Goursat–Fuchs type equations. J. Math. Soc. Jpn. 43(2), 305–330 (1991)
Miyake, M., Shirai, A.: Convergence of formal solutions of first order singular nonlinear partial differential equations in the complex domain. Ann. Polon. Math. 74, 215–228 (2000)
Miyake, M., Shirai, A.: Structure of formal solutions of nonlinear first order singular partial differential equations in complex domain. Funkcial. Ekvac. 48, 113–136 (2005)
Miyake, M., Shirai, A.: Two proofs for the convergence of formal solutions of singular first order nonlinear partial differential equations in complex domain. Surikaiseki Kenkyujo Kokyuroku Bessatsu, Kyoto Unviversity B37, 137–151 (2013)
Nagumo, M.: Über das Anfangswertproblem partieller Differentialgleichungen. Jpn. J. Math. 18, 41–47 (1942)
Ouchi, S.: Multisummability of formal solutions of some linear partial differential equations. J. Differ. Equ. 185(2), 513–549 (2002)
Pliś, M.E., Ziemian, B.: Borel resummation of formal solutions to nonlinear Laplace equations in 2 variables. Ann. Polon. Math. 67(1), 31–41 (1997)
Pólya, G., Szegö, G.: Aufgaben und Lehrsätze aus der Analysis, Vol. I, vol. 125. Springer, Berlin (1954)
Ramis, J.P.: Dévissage Gevrey. Astérisque, Soc. Math. Fr. Paris 59–60, 173–204 (1978)
Ramis, J.P.: Théorémes d’indices Gevrey pour les équations différentielles ordinaires. Mem. Amer. Math. Soc. 48, viii+95 (1984)
Remy, P.: Gevrey index theorem for some inhomogeneous semilinear partial differential equations with variable coefficients. hal-02263353, version 1 (submitted for publication)
Remy, P.: Gevrey order and summability of formal series solutions of some classes of inhomogeneous linear partial differential equations with variable coefficients. J. Dyn. Control Syst. 22(4), 693–711 (2016)
Remy, P.: Gevrey order and summability of formal series solutions of certain classes of inhomogeneous linear integro-differential equations with variable coefficients. J. Dyn. Control Syst. 23(4), 853–878 (2017)
Remy, P.: Gevrey properties and summability of formal power series solutions of some inhomogeneous linear Cauchy–Goursat problems. J. Dyn. Control Syst. 26(1), 69–108 (2020)
Remy, P.: Gevrey index theorem for the inhomogeneous \(n\)-dimensional heat equation with a power-law nonlinearity and variable coefficients. Acta Sci. Math. (Szeged) 87(1–2), 163–181 (2021)
Shirai, A.: Maillet type theorem for nonlinear partial differential equations and Newton polygons. J. Math. Soc. Jpn. 53, 565–587 (2001)
Shirai, A.: Convergence of formal solutions of singular first order nonlinear partial differential equations of totally characteristic type. Funkcial. Ekvac. 45, 187–208 (2002)
Shirai, A.: A Maillet type theorem for first order singular nonlinear partial differential equations. Publ. RIMS. Kyoto Univ. 39, 275–296 (2003)
Shirai, A.: Maillet type theorem for singular first order nonlinear partial differential equations of totally characteristic type. Surikaiseki Kenkyujo Kokyuroku, Kyoto University 1431, 94–106 (2005)
Shirai, A.: Alternative proof for the convergence of formal solutions of singular first order nonlinear partial differential equations. J. Sch. Educ. Sugiyama Jogakuen Univ. 1, 91–102 (2008)
Shirai, A.: Gevrey order of formal solutions of singular first order nonlinear partial differential equations of totally characteristic type. J. Sch. Educ. Sugiyama Jogakuen Univ. 6, 159–172 (2013)
Shirai, A.: Maillet type theorem for singular first order nonlinear partial differential equations of totally characteristic type, part ii. Opuscula Math. 35(5), 689–712 (2015)
Tahara, H.: Gevrey regularity in time of solutions to nonlinear partial differential equations. J. Math. Sci. Univ. Tokyo 18, 67–137 (2011)
Tahara, H., Yamazawa, H.: Multisummability of formal solutions to the Cauchy problem for some linear partial differential equations. J. Differ. Equ. 255(10), 3592–3637 (2013)
Walter, W.: An elementary proof of the Cauchy–Kowalevsky theorem. Am. Math. Monthly 92(2), 115–126 (1985)
Yonemura, A.: Newton polygons and formal Gevrey classes. Publ. Res. Inst. Math. Sci. 26, 197–204 (1990)
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Remy, P. Gevrey regularity of the solutions of the inhomogeneous partial differential equations with a polynomial semilinearity. RACSAM 115, 145 (2021). https://doi.org/10.1007/s13398-021-01085-5
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s13398-021-01085-5
Keywords
- Gevrey order
- Inhomogeneous partial differential equation
- Nonlinear partial differential equation
- Newton polygon
- Formal power series
- Divergent power series