Submitted:
30 January 2023
Posted:
31 January 2023
You are already at the latest version
Abstract
Keywords:
MSC: 35C10; 35C20
1. Introduction
- A set of properly selected bounded open sectors for some finite set and centered at 0.
-
A family of holomorphic functions , , which conform (1) on the domain . Each solution , , is expressed as a sumwhere each component , , is represented as a Fourier/Laplace transformwhere the commonly named Borel/Fourier map stands for a function
- -
- which is analytic near
- -
- with (at most) of exponential growth of some order on an infinite sector containing the halfline with respect to for suitable direction
- -
- continuous and subjected to exponential decay with respect to m on
- -
- with analytic dependence in on the punctured disc .
- −
- stands for convergent power series near the origin
- −
- , are the characteristic exponents with positive real parts at
- −
- are holomorphic coefficients near .
- The formal series and are asymptotically equivalent in the sense that for any , there exists , such thatfor all , , some constant , any , where and denote the partial sums of the N first terms of and .
- The formal series is multisummable on S with respect to t, uniformly in x on , in a sense that enhances the classical multisummability process described in [7] and gives rise to a genuine holomorphic solution of (4) on crafted as iterated analytic acceleration operators and Laplace integral of some Borel transform of .
2. Layout of the main equation
2.1. Laplace transforms and Fourier inverse maps
2.2. Formal monodromy around the origin
2.3. Outline of the main problem
-
The numbers , and , are integers that are subjected to the next restrictions1. We assume the existence of an integer with2. The inequalitieshold for all .3. The boundsare asked for all .4. The lower estimatesare mandatory for all .
- The maps , and along with , are polynomials with complex coefficients. We require thatfor andfor . Furthermore, we require the existence of an unbounded sectorial annuluswith bisecting direction , aperture and inner radius (prescribed later in the work), for which the next inclusionoccurs.
- appertain to the Banach space for some andfor all ,
- rely analytically on on some disc with radius for which constants exist such that
- belong to the Banach space , for the real numbers and given above
- that depend analytically in on and for which positive constants , , , , can be singled out with
3. Couplings of related initial value problems
3.1. A coupling of associated partial differential equations
3.2. A coupling of auxiliary convolution equations
4. Linear and bilinear convolution operators acting on Banach spaces
-
Assume that is chosen such that
-
Suppose that fufills
5. Solving the first convolution equation (49)
- 1)
- A constant can be found such thatfor all , all , whenever .
- 2)
- There exists a constant withfor some , all , all .
-
We deem the first inequality (89) in observing that under the hypothesis (22), the roots are bounded from below and obey for all , all for a suitable choice of the radii . Furthermore, for all , all , these roots are penned inside an union of unbounded sectors centered at 0 that do not cover a full neighborhood of 0 in whenever the aperture of is taken small enough. Hence, a sector may be chosen such thatSuch a sector satisfies in particular that for all , the quotients lay outside some small disc centered at 1 in for all , all . Eventually, (89) follows.
- The sector and disc are selected as above. The second lower bound (90) ensues from the fact that for any fixed , the quotient stays apart a small disc centered at 1 in for all , all .
-
The inclusionholds, where we denote the closed ball of radius centered at 0 in the space .
-
The Lipschitz conditionoccurs for all .
- the map appertains to under the constraint
- the partial map stands for an analytic map from into , for any prescribed and .
6. Building up a solution to the second convolution equation (50) with (51)
- maps into itself, where stands for the closed ball of radius centered at 0 in the space .
-
The norm downsizing conditionholds whenever .
- the map belongs to under the restriction
- the partial map stands for an analytic map from into , for any prescribed and .
7. Building up a finite set of holomorphic solutions to the coupling of partial differential equations (36), (37)
7.1. Fourier-Laplace transforms solutions to the pairing (36), (37)
- They define holomorphic functions that are bounded by a constant not relying on ϵ on a product where represents a bounded open sector centered at 0 with bisecting direction , for any given .
- (1)
- A positive real number can be singled out with the next property: for all , a direction (that might rely on ) can be favoured with
- (2)
-
The radius of withstands the next upper boundsfor some positive real number , where is defined in the above item.
- A constant can be found for which the next boundshold for all , all .
- Similarly, a constant can be singled out with the boundsprovided that and .
7.2. Construction of a finite family of genuine solutions to the coupling (36), (37) and sharp bounds for the neighboring differences of related maps
- 1.
- The intersection of two neighboring sectors and is not empty for any , where the convention is chosen.
- 2.
- The intersection of any three sectors , and for distinct integers is empty.
- 3.
-
The union of all the sectors is subjected tofor some neighborhood U of 0 in .
- 1.
-
For each and fixed , for some given radius , the sector has bisecting direction and obeys the next three rules
- For each , a positive real number can be selected in a way that for all , a direction (that might depend on ) can be found with
-
The radius of is constrained to the next upper boundsfor some positive real number , where is determined in the above item.
- 2.
-
The radius of the sector satisfies the restrictionwhere , are specified in 1. for . Besides, the sectors share a common radius given by , for .
- 3.
-
For all , the sectors and stick to the featureprovided that and .
- 4.
-
The set stands for a good covering in . Furthermore, the aperture of the sector is taken nearby 0 in a way that the setis not empty.
- −
-
The equation (36) possesses a finite set of holomorphic solutions , for , on the domain , for all , where is proximate to 0, for any , that fulfills the initial condition . These maps enjoy the next two qualities: for each ,
- 1.
- the map is bounded by a constant unconstrained to ϵ in , on the product .
- 2.
-
the map is represented as Fourier inverse and Laplace transforms,where the Borel maps appertain to the Banach spaceand are subjected tofor suitable constants and radius , for all .
- −
-
The equation (37) (where the expression needs to be replaced by ) owns a finite set of holomorphic solutions , for , on the domain , for all , where is closed to 0, for any , with the initial condition . These maps are endowed with the next two features: for each ,
- 1.
- the map is bounded on the product by a constant not relying to ϵ in .
- 2.
-
the map is expressed by means of a Fourier inverse and Laplace transforms,where the Borel maps are crafted in the Banach spacewith boundsfor appropriate constants and radius , for all .
- the maps , , are bounded holomorphic on the product and satisfy ,
-
one can exhibit constants and such thatfor all , all , all , for , where we adopt the convention .
- −
- Two halflines
- −
- An arc of circlecentered at 0 with radius that connects the above two halflines.
8. Main statement of the paper. Construction of a finite set of holomorphic solutions to the leading problem (14). Description of their parametric asymptotic expansion
8.1. Parametric Gevrey asymptotic expansions of the associated maps (175)
- 1.
- The maps are bounded on for all .
- 2.
-
The difference defines a holomorphic map on the intersection which is exponentially flat of order , for some integer , meaning that one can select two constants for whichholds provided that , for all . By convention, we set and .
- −
- The maps are bounded holomorphic on the sector , according to the first item of Proposition 10.
- −
- The differences are submitted to the boundsfor the constants and obtained in Proposition 10, whenever , where the convention and is in use.
8.2. Statement of the main result
-
For each , the solution can be expressed by means of a Fourier/Laplace transformwhere
-
If one sets the formal expressionthen, conforms to the next equationwhere the formal monodromy operator around 0, acts on the formal expression by means of the formula (9) from Definition 4.
- −
-
There exists a formal power series in which is the asymptotic expansion of f on G, meaning that for all closed sector S of G centered at 0, one can associate a sequence of positive real numbers such thatfor all , all integers .
- −
-
All th derivatives of f denoted are continuous at 0 and satisfyfor all integers .
References
- M. van der Put, M. Singer, Galois theory of linear differential equations, Grundlehren der Mathematischen Wissenshaften 328. Berlin: Springer, 438 p. (2003). [CrossRef]
- Y. Ilyashenko, S. Yakovenko, Lectures on analytic differential equations, Graduate Studies in Mathematics 86. Providence, RI: American Mathematical Society (AMS). xiii, 625 p. (2008).
- B. Braaksma, B. Faber, G. Immink, summation of formal solutions of a class of linear difference equations, Pac. J. Math. 195, No. 1, 35-65 (2000).
- B. Braaksma, R. Kuik, Resurgence relations for classes of differential and difference equations, Ann. Fac. Sci. Toulouse, VI. Sér., Math. 13, No. 4, 479–492 (2004).
- G. Immink, accelero-summation of the formal solutions of nonlinear difference equations, Ann. Inst. Fourier 61, No. 1, 1–51 (2011). [CrossRef]
- R. Gérard, H. Tahara, Singular nonlinear partial differential equations, Aspects of Mathematics. E28. Wiesbaden: Vieweg. viii, 269 p. (1996). [CrossRef]
- W. Balser, Formal power series and linear systems of meromorphic ordinary differential equations. Universitext. Springer-Verlag, New York, 2000. xviii+299 pp. [CrossRef]
- T. Mandai, Existence and non-existence of null-solutions for some non-Fuchsian partial differential operators with T-dependent coefficients. Nagoya Math. J. 122, 115–137 (1991). [CrossRef]
- H. Tahara, Asymptotic existence theorem for formal solutions with singularities of nonlinear partial differential equations via multisummability, J. Math. Soc. japan Advance Publication 1–63, October, 2022. [CrossRef]
- H. Yamazawa, On multisummability of formal solutions with logarithmic terms for some linear partial differential equations, Funkc. Ekvacioj, Ser. Int. 60, No. 3, 371–406 (2017). [CrossRef]
- R. Camalès, A note on the ramified Cauchy problem, J. Math. Sci., Tokyo 11, No. 2, 141–154 (2004).
- É. Leichtnam, Le problème de Cauchy ramifié, Ann. Sci. Éc. Norm. Supér. (4) 23, No. 3, 369–443 (1990). [CrossRef]
- P. Pongérard, C. Wagschal, Ramification non abélienne, J. Math. Pures Appl., IX. Sér. 77, No. 1, 51–88 (1998). [CrossRef]
- A. Lastra, S. Malek, On parametric Gevrey asymptotics for some nonlinear initial value Cauchy problems, J. Differ. Equations 259, No. 10, 5220–5270 (2015). [CrossRef]
- O. Costin, S. Tanveer, Short time existence and Borel summability in the Navier-Stokes equation in R3, Commun. Partial Differ. Equations 34, No. 8, 785–817 (2009). [CrossRef]
- A. Lastra, S. Malek, On parametric Gevrey asymptotics for initial value problems with infinite order irregular singularity and linear fractional transforms, Adv. Difference Equ. 2018, Paper No. 386, 40 p. (2018). [CrossRef]
- A. Lastra, S. Malek, On singularly perturbed linear initial value problems with mixed irregular and Fuchsian time singularities, J. Geom. Anal. 30, No. 4, 3872–3922 (2020). [CrossRef]
- H. Tahara, H. Yamazawa, Multisummability of formal solutions to the Cauchy problem for some linear partial differential equations, J. Differ. Equations 255, No. 10, 3592–3637 (2013). [CrossRef]
- A. Lastra, S. Malek, On parametric multisummable formal solutions to some nonlinear initial value problems, Adv. Difference Equ. 2015, Paper No. 200, 78 p. (2015). [CrossRef]
- S. Malek, Double-scale Gevrey asymptotics for logarithmic type solutions to singularly perturbed linear initial value problems, to appear in Results in Mathematics, 2022. Preprint available on preprints.org 2022.
- S. Malek, On Gevrey asymptotics for some nonlinear integro-differential equations, J. Dyn. Control Syst. 16, No. 3, 377-406 (2010). [CrossRef]
- S. Malek, Small divisors effects in some singularly perturbed initial value problem with irregular singularity, accepted for publication in Analysis, 2022. Preprint available on preprints.org 2022.
- P. Hsieh, Y. Sibuya, Basic theory of ordinary differential equations. Universitext. Springer-Verlag, New York, 1999. [CrossRef]
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content. |
© 2023 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (http://creativecommons.org/licenses/by/4.0/).