Abstract
The paper discusses a holomorphic nonlinear singular partial differential equation \((t \partial _t)^mu=F(t,x,\{(t \partial _t)^j \partial _x^{\alpha }u \}_{j+\alpha \le m, j<m})\) under the assumption that the equation is of nonlinear totally characteristic type. By using the Newton polygon at \(x=0\), the notion of the irregularity at \(x=0\) of the equation is defined. In the case where the irregularity is greater than one, it is proved that every formal power series solution belongs to a suitable formal Gevrey class. The precise bound of the order of the formal Gevrey class is given, and the optimality of this bound is also proved in a generic case.
Similar content being viewed by others
References
Baldomá, I., Fontich, E., Martín, P.: Gevrey estimates for one dimensional parabolic invariant manifolds of non-hyperbolic fixed points. Discrete Continuous Dyn. Syst. 37(8), 4159–4190 (2017)
Balser, W., Yoshino, M.: Gevrey order of formal power series solutions of inhomogeneous partial differential equations with constant coefficients. Funkcial. Ekvac. 53(3), 411–434 (2010)
Baouendi, M.S., Goulaouic, C.: Singular nonlinear Cauchy problems. J. Differ. Equ. 22, 268–291 (1976)
Chen, H., Luo, Z.: On the holomorphic solution of non-linear totally characteristic equations with several space variables. Acta Math. Sci. Ser. B Engl. Ed. 22, 393–403 (2002)
Chen, H., Luo, Z.: Formal Solutions for Higher Order Nonlinear Totally Characteristic PDEs with Irregular Singularities, Geometric Analysis of PDE and Several Complex Variables, Contemporary Mathematics, vol. 368, pp. 121–131. American Mathematical Society, Providence (2005)
Chen, H., Luo, Z., Tahara, H.: Formal solutions of nonlinear first order totally characteristic type PDE with irregular singularity. Ann. Inst. Fourier 51, 1599–1620 (2001)
Chen, H., Luo, Z., Zhang, C.: On the Summability of Formal Solutions for a Class of Nonlinear Singular PDEs with Irregular Singularity. Recent Progress on Some Problems in Several Complex Variables and Partial Differential Equations, Contemporary Mathematics, vol. 400, pp. 53–64. American Mathematical Society, Providence (2006)
Chen, H., Tahara, H.: On totally characteristic type non-linear partial differential equations in the complex domain. Publ. Res. Inst. Math. Sci. 35, 621–636 (1999)
Di Vizio, L.: An ultrametric version of the Maillet–Malgrange theorem for nonlinear q-difference equations. Proc. Am. Math. Soc. 136(8), 2803–2814 (2008)
Gérard, R., Tahara, H.: Solutions holomorphes et singulières d’ équations aux dérivées partielles singulières non linéaires. Publ. Res. Inst. Math. Sci. 29, 121–151 (1993)
Gérard, R., Tahara, H.: Singular Nonlinear Partial Differential Equations, Aspects of Mathematics, E 28. Vieweg, Berlin (1996)
Gérard, R., Tahara, H.: Holomorphic and singular solutions of non-linear singular partial differential equations, II. In: Morimoto-Kawai, (ed.) Structure of Solutions of Differential Equations, Katata/Kyoto, 1995, pp. 135–150. World Scientific, Singapore (1996)
Gontsov, R., Goryuchkina, I.: The Maillet-Malgrange type theorem for generalized power series. Manuscr. Math. 156(1–2), 171–185 (2018)
Immink, G.K.: On the Gevrey order of formal solutions of nonlinear difference equations. J. Differ. Equ. Appl. 12(7), 769–776 (2006)
Luo, Z., Chen, H., Zhang, C.: Exponential-type Nagumo norms and summability of formal solutions of singular partial differential equations. Ann. Inst. Fourier 62(2), 571–618 (2012)
Madi, N.S., Yoshino, M.: Uniqueness and solvability of nonlinear Fuchsian equations. Bull. Sci. Math. 114(1), 41–60 (1990)
Maillet, E.: Sur les séries divergentes et les équations différentielles. Ann. Ecole Normale Ser. 3(20), 487–518 (1903)
Malgrange, B.: Sur le théorème de Maillet. Asymptot. Anal. 2(1), 1–4 (1989)
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)
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.: 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.: Generalized Poincaré condition and convergence of formal solutions of some nonlinear totally characteristic equations. Tokyo J. Math. 39(3), 863–883 (2016)
Tahara, H., Yamane, H.: Logarithmic singularities of solutions to nonlinear partial differential equations. J. Math. Soc. Jpn. 60, 603–630 (2008)
Tahara, H., Yamazawa, H.: Structure of solutions of nonlinear partial differential equations of Gerard-Tahara type. Publ. Res. Inst. Math. Sci. 41, 339–373 (2005)
Yamazawa, H.: Newton polyhedrons and a formal Gevrey space of double indices for linear partial differential equations. Funkt. Ekvac. 41, 337–345 (1998)
Zhang, C.: A Maillet-Malgrange theorem for q-difference-differential equations. Asymptot. Anal. 17(4), 309–314 (1998)
Acknowledgements
The authors would like to thank the anonymous referee who has pointed out the illustrative example described in the Remark in Sect. 2.4.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Y. Giga.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
A. Lastra is partially supported by the project MTM2016-77642-C2-1-P of Ministerio de Economía y Competitividad, Spain. H. Tahara is partially supported by JSPS KAKENHI Grant number 15K04966.
Rights and permissions
About this article
Cite this article
Lastra, A., Tahara, H. Maillet type theorem for nonlinear totally characteristic partial differential equations. Math. Ann. 377, 1603–1641 (2020). https://doi.org/10.1007/s00208-019-01864-x
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00208-019-01864-x