Next Article in Journal
An Efficient Three-Term Iterative Method for Estimating Linear Approximation Models in Regression Analysis
Previous Article in Journal
Linear Model Predictive Control for Physical Attractiveness and Risk: Application of Cosmetic Medicine Service
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

On Inner Expansions for a Singularly Perturbed Cauchy Problem with Confluent Fuchsian Singularities

Département de mathématiques, Bât. M2, University of Lille, 59655 Villeneuve d’Ascq CEDEX, France
Mathematics 2020, 8(6), 976; https://doi.org/10.3390/math8060976
Submission received: 24 April 2020 / Revised: 3 June 2020 / Accepted: 9 June 2020 / Published: 15 June 2020
(This article belongs to the Section Difference and Differential Equations)

Abstract

:
A nonlinear singularly perturbed Cauchy problem with confluent Fuchsian singularities is examined. This problem involves coefficients with polynomial dependence in time. A similar initial value problem with logarithmic reliance in time has recently been investigated by the author, for which sets of holomorphic inner and outer solutions were built up and expressed as a Laplace transform with logarithmic kernel. Here, a family of holomorphic inner solutions are constructed by means of exponential transseries expansions containing infinitely many Laplace transforms with special kernel. Furthermore, asymptotic expansions of Gevrey type for these solutions relatively to the perturbation parameter are established.

1. Introduction

This work falls in the continuance of [1], where families of singularly perturbed initial value problems with the following shape
Q ( z ) y ( t , z , ϵ ) = Q 1 ( z ) y ( t , z , ϵ ) Q 2 ( z ) y ( t , z , ϵ ) + ( D ϵ , α ( t ) ) δ D R D ( z ) y ( t , z , ϵ ) + P ( 1 / a ( ϵ t , ϵ ) , z , ϵ , D ϵ , α ( t ) , z ) y ( t , z , ϵ ) + f ( 1 / a ( ϵ t , ϵ ) , z , ϵ )
for vanishing initial data y ( 0 , z , ϵ ) 0 were considered. There, Q , Q 1 , Q 2 , R D stand for polynomials with complex coefficients and δ D 2 is an integer. The operator
D ϵ , α ( t ) : = ( ϵ t 2 ϵ α ) t
is a fuchsian differential operator at the points t = ± ϵ α 1 2 for some odd integer α 3 and ϵ C is a non-vanishing complex parameter. This operator unfolds the basic singularly perturbed irregular operator ϵ t 2 t of rank 1 at t = 0 . Recent references about this so-called confluence process of Fuchsian singularities can be found in our work [1]. The function a ( ϵ t , ϵ ) (unveiled in (13)) represents a well-chosen logarithmic function in its arguments. The linear differential operator P ( T 1 , T 2 , T 3 , D ϵ , α ( t ) , z ) is chosen to be analytic in T 1 , T 3 near the origin in C and holomorphic w.r.t T 2 on a strip H β = { z C / | Im ( z ) | < β } for some width β > 0 ; moreover the forcing term f ( T 1 , z , ϵ ) is analytic near the origin in C relatively to T 1 , ϵ and holomorphic in z on H β . Notice that this function a ( ϵ t , ϵ ) is introduced to be able to construct nice representable solutions y ( t , z , ϵ ) to (1) as Laplace transforms in time t from which parametric asymptotic properties can be analyzed. The fact that both coefficients and forcing term in (1) are holomorphic maps in 1 / a ( ϵ t , ϵ ) is a strong technical condition, but they turn out to be good approximations of general analytic functions on appropriate domains in time t, for z H β , provided that ϵ remains small enough.
Two distinguished finite sets of holomorphic solutions y ( t , z , ϵ ) to (1) were constructed. The first family consists of the so-called outer solutions y p out ( t , z , ϵ ) , 0 p ι 1 for some integer ι 2 that are holomorphic on domains A × H β × E p out , where A is a fixed bounded sectorial annulus confined apart of the origin in C and E p out is a bounded sector centered at 0 which belongs to a set E ̲ out = { E p out } 0 p ι 1 that covers a full neighborhood of 0 in C called good covering in C (see Definition 2). The second family is comprised in the so-called inner solutions y p in ( t , z , ϵ ) , 0 p η 1 for some integer η 2 that are constructed on a domain T ϵ in = { ϵ α 1 2 x / x χ } w.r.t time t for some fixed bounded sectorial annulus χ far enough from the origin in C , z H β and ϵ in a sector E p in that is part of a good covering in C .
Both families y p out / in ( t , z , ϵ ) could be expressed as special Laplace transform and Fourier integrals
y p out / in ( t , z , ϵ ) = 1 ( 2 π ) 1 / 2 + L γ p out / in W p out / in ( τ , m , ϵ ) exp τ a ( ϵ t , ϵ ) e 1 z m d τ τ d m
for suitable Borel maps W p out / in . Furthermore, from these integral representations, asymptotic behavior could be extracted. Indeed, the outer solutions y p out ( t , z , ϵ ) (resp. inner solutions y p in ( t , z , ϵ ) ) share a common power series O ^ ( ϵ ) = k 0 O k ϵ k for bounded holomorphic coefficients O k on A × H β as asymptotic expansion of Gevrey order 1 (resp. I ^ ( ϵ ) = k 0 I k ϵ k for bounded holomorphic coefficients I k on T ϵ in × H β as asymptotic expansion of Gevrey order 2 α + 1 ), meaning that constants A p out / in , B p out / in > 0 can be found with
sup t A , z H β y p out ( t , z , ϵ ) k = 0 n 1 O k ϵ k A p out ( B p out ) n n ! | ϵ | n
for all n 1 , ϵ E p out and
sup x χ , z H β y p in ( ϵ α 1 2 x , z , ϵ ) k = 0 n 1 I k ϵ k A p in ( B p in ) n Γ ( 1 + 2 α + 1 n ) | ϵ | n
provided that n 1 , ϵ E p in .
In this paper, we turn our attention at a closely related singularly perturbed nonlinear Cauchy problem
P 2 D ϵ , α ( t ) z S u ( t , z , ϵ ) = P 1 ( t , z , ϵ , D ϵ , α ( t ) , z ) u ( t , z , ϵ ) + g ( t , ϵ )
under given Cauchy data
( z j u ) ( t , 0 , ϵ ) = φ j ( t , ϵ ) , 0 j S 1 .
Like in (1), the forcing term g ( t , ϵ ) is chosen to be a polynomial in the function 1 / a ( ϵ t , ϵ ) . A similar assumption is put on the Cauchy data (6). The choice of the function a ( ϵ t , ϵ ) is made for the same reason as in our former study (1). Moreover, P 2 stands for a polynomial with complex coefficients and S 2 is an integer. The novel feature is that the coefficients in the main part P 1 of (5) are assumed to be merely polynomials in t. As we will see in the work, this property has a deep impact on the structure of solutions to (5), (6) if compared with the ones y p out / in built up for (1).
For technical reasons that will be clear later in the paper, we impose that the operator P 2 D ϵ , α ( t ) can be factored out in the main part P 1 which allows us to reduce the problem (5), (6) to a Cauchy problem of Kowalevski type stated in (11), (12). Such a reduction is mandatory within our approach as explained in Section 5 of the work. The forcing term f ( t , ϵ ) of the resulting Equation (11) is asked to solve a simple singularly perturbed ODE
P 2 D ϵ , α ( t ) f ( t , ϵ ) = g ( t , ϵ ) .
As a result, the single Equation (5) is written as a coupling of a Kowalevski type Equation (11) and a singularly perturbed ODE (7). It is worthwhile noting that a more general forcing term g ( t , z , ϵ ) relying holomorphically on z and Cauchy data φ j ( t , ϵ ) , 0 j S 1 that are not only polynomials in 1 / a ( ϵ t , ϵ ) but also polynomials in t could be treated in a similar manner. However, such a general choice would lead to even more cumbersome and heavy computations which may avoid the reader to have a clear idea of the main purpose of the study.
The main striking difference with our previous work [1] is that now the analytic solutions fail to be constructed as a single special Laplace transform for the kernel exp τ a ( ϵ t , ϵ ) . Nevertheless, they can be expressed as exponential sums which involve infinitely many of Laplace transforms, which are called transseries in the literature (for an explanation of this terminology we refer to Chapters 4 and 5 of the excellent textbook [2]). Specifically, we can provide a finite set of analytic solutions ( t , z ) u p ( t , z , ϵ ) , 0 p ι 1 for some integer ι 2 on some domains T ϵ × D ( 0 , r ) . Here, D ( 0 , r ) represents a small disc centered at 0 with radius r > 0 and T ϵ = { ϵ α 1 2 x / x χ 1 } (which is similar to the domain T ϵ in introduced above) is a set where χ 1 stands for a tiny bounded sectorial annulus close to 1 in C , whenever ϵ E p , where E p is a bounded sector centered at 0 that belongs to a good covering in C . Since the domain T ϵ remains next to the Fuchsian singular point ϵ α 1 2 and borders the origin as ϵ tends to 0, we call the elements of this set inner solutions. Each solution u p ( t , z , ϵ ) has a convergent exponential transseries expansion
u p ( t , z , ϵ ) = n 0 L γ p W n ( τ , z , ϵ ) exp τ a ( ϵ t , ϵ ) d τ τ exp ( n ϵ α + 1 2 a ( ϵ t , ϵ ) )
on T ϵ × D ( 0 , r ) for ϵ E p (see Theorem 1). Actually, the appearance of such transseries stems from the very expansion of the monomials ( ϵ t ) l , l 1 as sums of special Laplace transforms as shown in Propositions 1 and 3. In the proof, an interesting small divisor phenomenon occurs which gives rise to the appearance of a special series (52) in the expansion of the basic monomial T, see (46). This special series turn out to carry an exponential series expansion displayed in Lemma 8. It is worthwhile noting that due to the specific arrangement of these expansions, this approach does not allow us to exhibit the so-called outer solutions as in the case of our previous study [1]. In a second main result (Theorem 2), we analyze the parametric asymptotic expansions of these inner solutions. It turns out that the functions ϵ u p ( t , z , ϵ ) , 0 p ι 1 , share a common formal series I ^ ( ϵ ) = k 0 I k ϵ k with bounded holomorphic coefficients I k on T ϵ × D ( 0 , r ) as Gevrey asymptotic expansion of order 2 α + 1 . This outcome is comparable to the one obtained in [1].
During the last two decades, exponential transseries expansions appear to be a central tool in the study of differential, partial differential and difference equations in the complex domain. Indeed, we refer to the seminal work by O. Costin and R. Costin, see [3], where these class of expansions have shown to be essential in the study of formation of complex singularities along Stokes directions for systems of nonlinear ODEs of the form
x 2 y ( x ) = A ( x ) y ( x ) + B ( x , y ( x ) )
where y ( x ) C n , for an integer n 1 , x C , A ( x ) is an analytic diagonal matrix and for a nonlinearity B ( x , Y ) analytic near the origin in C n + 1 . Later, the transseries approach was extended by B. Braaksma and R. Kuik, in [4], to nonlinear systems of difference equations
y ( x + 1 ) = Λ ( x ) y ( x ) + g ( x , y ( x ) )
for y ( x ) C n , with integer n 1 , Λ ( x ) an analytic diagonal matrix and g ( x , Y ) analytic near x = and Y = 0 . Adjustments of this approach applied to partial differential equations (beyond the integrable case) have been initiated in the paper [5]. More recently, transseries expansions (conjointly with a KAM-like approach) have been applied to the location of complex singularities of general first order nonlinear scalar equations y = F ( y ( x ) , 1 / x ) as x tends to infinity, see [6]. Similar strategies have been implemented on nonlinear second order ODEs such as the Painlevé equation P 1 in order to compute in closed form connection coefficients between solutions on sectors called Stokes multipliers, see [7]. For problems related to obstruction for analytic integrability of Hamiltonian systems and transseries expansions of first integrals, we refer to [8]. Another aspect for which transseries turn out to be a powerful tool is the resurgence property of formal power series solutions to differential or more general functional equations (i.e., analytic continuation of their Borel transforms). For systems of the form (8) and (9) resurgence properties stemming from transseries expansions of actual holomorphic solutions on sectors have been exhibited in the papers [9,10]. For parametric resurgence for WKB solutions of 1D complex Schrödinger equations
ϵ 2 y ( x ) = x 2 ( 1 x ) 2 y ( x )
w.r.t ϵ , based on exponential series techniques, we mention the work by A. Fruchard and R. Schäfke [11].
Our paper is arranged as follows.
In Section 2, we present the main problems (11), (12) and (23), (12) of the work. In the technical Propositins 1 and 3, we express the coefficients of (11) as convergent exponential transseries expansions that contain Laplace transforms with specific kernel, which leads to seek for solutions to (11), (12) expressed in the same manner as exponential series involving Laplace transforms of infinitely many Borel maps W n , n 0 . The principal accomplishment of this section is the layout of a sequence of convolution problems (100), (101) fulfilled by W n , n 0 .
In Section 3, the sequence of convolution problems is solved by means of a majorant series approach, the use of sequences of Banach spaces of sectorial holomorphic functions with exponential growth and the application of the classical Cauchy-Kowalevski theorem.
In Section 4, the two main results of the paper are stated. A set of inner holomorphic solutions to (11), (23), (12) are constructed, which are defined w.r.t ϵ on a good covering in C and relatively to time t on a domain that remains close to the moving fuchsian singularities of (23) (Theorem 1). In Theorem 2, the parametric asymptotic behavior of the latter solutions is analyzed by means of the classical Ramis–Sibuya approach.
The last section is devoted to the conclusion of the work where insights for prospective works are outlined.

2. Statement of the Main Problem and Related Auxiliary Equations

Let α 3 be an odd natural number. We set ϵ C as a non-vanishing complex number. We define the differential operator
D ϵ , α ( t ) = ( ϵ t 2 ϵ α ) t
and for any integer l 1 we denote ( D ϵ , α ( t ) ) l the iteration of order l of the operator D ϵ , α ( t ) .
We consider a finite set I of N 3 , integers S , b 2 and Δ l 0 that fulfill the next conditions
Δ l l 1 , S > l 3 , S > b l 2 + l 3
for all l = ( l 1 , l 2 , l 3 ) I . We state the main nonlinear Cauchy problem of our study
z S u ( t , z , ϵ ) = l = ( l 1 , l 2 , l 3 ) I ϵ Δ l d l ( z , ϵ ) t l 1 ( D ϵ , α ( t ) ) l 2 z l 3 u ( t , z , ϵ ) + e ( z , ϵ ) u 2 ( t , z , ϵ ) + f ( t , ϵ )
for given Cauchy data
( z j u ) ( t , 0 , ϵ ) = φ j ( t , ϵ ) , 0 j S 1 .
The coefficients d l ( z , ϵ ) and e ( z , ϵ ) represent bounded holomorphic functions on a polydisc D ( 0 , r ) × D ( 0 , ϵ 0 ) centered at the origin with radii r , ϵ 0 > 0 . The forcing term f and the Cauchy data are displayed as follows. Let P 1 ( τ ) and P 2 ( τ ) two polynomials with complex coefficients. We assume that the set R 2 of roots of P 2 ( τ ) is located apart of some closed disc D ¯ ( 0 , ρ ) , for ρ > 0 , and that P 1 ( τ ) is vanishing at 0. Let a ( T , ϵ ) be the function already considered in our previous study [1],
a ( T , ϵ ) = 1 2 ϵ α + 1 2 log T ϵ α + 1 2 T + ϵ α + 1 2
which represents a primitive of the rational function 1 / ( s 2 ϵ α + 1 ) . We define the integral
F ( T , ϵ ) = L d P 1 ( τ ) P 2 ( τ ) exp ( τ a ( T , ϵ ) ) d τ τ
along a halfline L d = R + e 1 d in direction d R which avoids the set R 2 and for which the integral is assumed to make sense. We set f ( t , ϵ ) as a time rescaled version of F, namely
f ( t , ϵ ) = F ( ϵ t , ϵ ) .
The Cauchy data are built up in a similar manner. Specifically, for 0 j S 1 , let
Q j ( τ ) = n = 1 deg ( Q j ) q j , n τ n
be polynomials with complex coefficients that vanish at τ = 0 . We introduce the integrals
Φ j ( T , ϵ ) = L d Q j ( τ ) exp ( τ a ( T , ϵ ) ) d τ τ
and set φ j ( t , ϵ ) as a time rescaled version of Φ j ,
φ j ( t , ϵ ) = Φ j ( ϵ t , ϵ )
for 0 j S 1 . The domains where F, f, Φ j and φ j are well defined and holomorphic will be specified later in the work.
In this work, the forcing term f is chosen in a way that it solves a simple ODE in the singular operator D ϵ , α ( t ) . Indeed, by construction of a ( T , ϵ ) , the action of D ϵ , α ( t ) on f reads as
D ϵ , α ( t ) f ( t , ϵ ) = L d τ P 1 ( τ ) P 2 ( τ ) exp ( τ a ( ϵ t , ϵ ) ) d τ τ .
On the other hand, a direct computation shows that for n 1 ,
( a ( ϵ t , ϵ ) ) n = ( 1 ) n Γ ( n ) L d τ n exp ( τ a ( ϵ t , ϵ ) ) d τ τ
for any direction d for which the integral makes sense. If one expands P 1 ( τ ) = n = 1 deg ( P 1 ) p 1 , n τ n , then we set
g ( t , ϵ ) = n = 1 deg ( P 1 ) p 1 , n Γ ( n ) ( 1 ) n ( a ( ϵ t , ϵ ) ) n .
From (18) and (19), we deduce that f ( t , ϵ ) solves the next singularly perturbed inhomogeneous ODE
P 2 D ϵ , α ( t ) f ( t , ϵ ) = g ( t , ϵ ) .
Moreover, the Cauchy data φ j ( t , ϵ ) can be expressed as polynomials in the logarithmic function a ( ϵ t , ϵ ) 1 , by using the representation (19), namely
φ j ( t , ϵ ) = n = 1 deg ( Q j ) q j , n Γ ( n ) ( 1 ) n ( a ( ϵ t , ϵ ) ) n
for any 0 j S 1 . As a result, let us introduce the next nonlinear differential map
P ( t , z , ϵ , D ϵ , α ( t ) , z ) u ( t , z , ϵ ) : = P 2 D ϵ , α ( t ) l = ( l 1 , l 2 , l 3 ) I ϵ Δ l d l ( z , ϵ ) t l 1 ( D ϵ , α ( t ) ) l 2 z l 3 u ( t , z , ϵ ) + e ( z , ϵ ) u 2 ( t , z , ϵ ) .
Then, if u ( t , z , ϵ ) solves the main Equation (11), it also solves the next singularly perturbed nonlinear Cauchy problem
P 2 D ϵ , α ( t ) z S u ( t , z , ϵ ) = P ( t , z , ϵ , D ϵ , α ( t ) , z ) u ( t , z , ϵ ) + g ( t , ϵ )
under the Cauchy data (12), with forcing term g that represents a polynomial in the logarithmic function a ( ϵ t , ϵ ) 1 .
Throughout this work, we are searching for ϵ time rescaled solutions of (11) with the shape
u ( t , z , ϵ ) = U ( ϵ t , z , ϵ ) .
As a matter of fact, if we define the next differential operator
D ϵ , α ( T ) = ( T 2 ϵ α + 1 ) T
the function U ( T , z , ϵ ) , by means of the change of variable T = ϵ t , is required to solve the next Cauchy problem
z S U ( T , z , ϵ ) = l = ( l 1 , l 2 , l 3 ) I ϵ Δ l l 1 d l ( z , ϵ ) T l 1 ( D ϵ , α ( T ) ) l 2 z l 3 U ( T , z , ϵ ) + e ( z , ϵ ) U 2 ( T , z , ϵ ) + F ( T , ϵ )
assuming the Cauchy data
( z j U ) ( T , 0 , ϵ ) = Φ j ( T , ϵ ) , 0 j S 1 .
We undertake a similar strategy as in our previous contribution [1], where solutions to the related problem (1) were asked to be expressed through special Laplace transforms that involve the function a ( T , ϵ ) and Fourier integrals.
We first need to describe the domains in time T on which we plan to construct our solutions. Specifically, let us fix a bounded sectorial annulus (centered at 0)
χ 0 = { x C / r 1 < | x | < r 2 , α 1 < arg ( x ) < α 2 }
for some given radii r 1 , r 2 > 0 and with angles α 1 < α 2 . We set the next sectorial annulus (centered at 1)
χ 1 = 1 + χ 0 = { 1 + x 0 / x 0 χ 0 }
and introduce the next open sectorial domain
T ϵ = { ϵ α 1 2 x / x χ 1 }
for all ϵ C .
In the next lemma, bounds estimates are supplied for the map a ( T , ϵ ) .
Lemma 1.
For any given δ > 0 , a small outer radius r 2 > 0 can be selected in a way that
a ( T , ϵ ) = 1 2 ϵ α + 1 2 log x 1 x + 1 × ( 1 + a in ( x ) )
holds provided that ϵ D ( 0 , ϵ 0 ) { 0 } , T = ϵ ( α + 1 ) / 2 x ϵ T ϵ , where a in ( s ) defines a function on χ 1 that suffers
sup s χ 1 | a in ( s ) | δ .
Proof. 
For T = ϵ ( α + 1 ) / 2 x where ϵ D ( 0 , ϵ 0 ) { 0 } and x χ 1 , we can expand
a ( T , ϵ ) = a ( ϵ α + 1 2 x , ϵ ) = 1 2 ϵ α + 1 2 log x 1 x + 1 .
Since we can write
log x 1 x + 1 = log x 1 x + 1 + 1 arg x 1 x + 1 = log x 1 x + 1 1 + 1 arg ( ( x 1 ) / ( x + 1 ) ) log ( | x 1 | / | x + 1 | )
where
r 1 2 + r 2 < x 1 x + 1 < r 2 2 r 2
is close to 0 provided that x χ 1 whenever 0 < r 1 < r 2 are taken small enough, Lemma 1 follows. □
To be able to build up actual solutions of (24), our first main technical task will be here to express the most basic monomial T in terms of special Laplace transforms. The next Section 2.1 is devoted to the explanation of the next proposition.
Proposition 1.
There exist
  • a positive radius ϵ 0 > 0 close to 0 and a small outer radius r 2 > 0 ,
  • a positive real number a 0 > 0 and an entire function z ω 0 ( z , ϵ ) on C for all ϵ D ( 0 , ϵ 0 ) { 0 } for which one can find two constants C , M > 0 with
    | ω 0 ( z , ϵ ) | C | z | 1 + | z | 2 exp ( M | z | )
    for all z C , all ϵ D ( 0 , ϵ 0 ) { 0 } ,
for which the next decomposition holds
T = L d ω 0 ( τ , ϵ ) exp ( τ a ( T , ϵ ) ) d τ τ + ϵ α + 1 2 a 0 + 2 ϵ α + 1 2 n 1 exp ( n ϵ α + 1 2 a ( T , ϵ ) )
where L d = R + e 1 d stands for a halfline in direction
d = arg ( ϵ α + 1 2 ) + Δ
for any positive real number Δ > 0 not too large (actually less than π / 2 ), provided that T ϵ T ϵ and ϵ D ( 0 , ϵ 0 ) { 0 } .

2.1. Expression of a Monomial as Exponential Series with Special Laplace Transforms

We first need to introduce an analytic Borel transform for an analytic function near the origin outside a discrete set of pole singularities and analyze its Laplace transform accordingly. The next proposition turns out to be a variant of the proposition 12 of [12] which dealt with bounded sectorial analytic functions.
Proposition 2.
(1) Let ρ > 0 be a real number and let F : D ( 0 , ρ ) { 0 } C be an analytic function apart of a discrete singular set Θ = { p n C / n Z } along which F possesses simple poles. We assume that
  • The set Θ is located on a line L 0 = l 0 R passing through 0 for some complex number l 0 C and is contained in the open disc D ( 0 , ρ / 2 ) .
  • There exists a complex number F 0 such that for every open sector W + (resp. W ) centered at 0, with radius ρ, bisecting direction arg ( l 0 ) + π 2 (resp. arg ( l 0 ) π 2 ), such that W + L 0 = (resp. W L 0 = ), the next limits
    lim u 0 , u W + F ( u ) = F 0 , lim u 0 , u W F ( u ) = F 0
    hold.
We set the analytic Borel transform (of order 1) of F as the next integral
( B 1 F ) ( z ) = 1 2 1 π C ( 0 , ρ / 2 ) F ( u ) exp ( z u ) z u 2 d u
along a positively oriented circle C ( 0 , ρ / 2 ) centered at 0 with radius ρ / 2 . The function ( B 1 F ) ( z ) defines an entire function on C and moreover we can find two constants C , M > 0 with
| ( B 1 F ) ( z ) | C | z | exp ( M | z | )
for all z C .
(2) Let B : C C be a holomorphic function with bounds
| B ( z ) | C | z | exp ( M | z | )
for some given constants C , M > 0 , for all z C . We define the Laplace transform (of order 1) of B in the direction d R as
( L 1 d B ) ( T ) = L d B ( τ ) exp ( τ / T ) d τ τ
where L d = R + exp ( 1 d ) stands for a halfline in direction d. The function ( L 1 d B ) ( T ) is analytic and bounded on every closed subsector S (centered at 0) of a sector S ( d , π , ρ ˜ ) D ( 0 , ρ / 2 ) which represents an open sector with bisecting direction d, opening π and well-chosen radius ρ ˜ > 0 .
(3) For all n Z , we denote Res u = p n ( F ( u ) ) the residue of the function F ( u ) at the pole u = p n . Assume that the next series
ψ ( T ) = n Z Res u = p n ( F ( u ) ) T p n ( T p n )
converges on some subsector S ψ (centered at 0) of S ( d , π , ρ ˜ ) . Then, the next identity
( L 1 d ( z ( B 1 F ) ( z ) ) ) ( T ) = F ( T ) ψ ( T )
holds for all T S ψ .
Proof. 
The proofs of the first two parts (1) and (2) are straightforward and can be performed by direct estimates on the integral representations. We focus on the third part (3). Using Fubini’s theorem, we can write
( L 1 d ( u ( B 1 F ) ( u ) ) ) ( T ) = L d ( 1 2 1 π C ( 0 , ρ / 2 ) F ( u ) e v / u v u 2 d u ) e v / T d v / v = 1 2 1 π C ( 0 , ρ / 2 ) F ( u ) u 2 ( L d exp ( v ( 1 u 1 T ) ) d v ) d u = 1 2 1 π C ( 0 , ρ / 2 ) F ( u ) u T T u d u .
On the other hand, provided that T S ψ , the function u F ( u ) u T T u is holomorphic on D ( 0 , ρ / 2 ) { 0 } except at the singular points Θ { T } , for which the residue can be computed explicitly
Res u = T ( F ( u ) u T T u ) = F ( T ) , Res u = p n ( F ( u ) u T T u ) = Res u = p n ( F ( u ) ) T p n ( T p n )
for all n Z . By definition of the residue, and following a similar line of arguments as in the classical proof of the residue formula (see [13], Chap. 6), we can find a holomorphic function u G T ( u ) on C except at Θ { T } (where it has simple poles) such that the function
H T ( u ) = F ( u ) u T T u G T ( u )
is holomorphic on the punctured disc D ( 0 , ρ / 2 ) { 0 } and such that
1 2 1 π C ( 0 , ρ / 2 ) F ( u ) u T T u d u = F ( T ) ψ ( T ) + 1 2 1 π C ( 0 , ρ / 2 ) H T ( u ) d u .
By Cauchy’s formula, one can deform the circle C ( 0 , ρ / 2 ) into any circle C ( 0 , δ ) centered at 0 with radius 0 < δ ρ / 2 without changing the value of the integral,
1 2 1 π C ( 0 , ρ / 2 ) H T ( u ) d u = 1 2 1 π C ( 0 , δ ) H T ( u ) d u .
Now, we set Δ 0 > 0 a small positive real number and we split the circle C ( 0 , δ ) into the union of four arcs of circles
C ( 0 , δ ) = j = 1 4 A j , Δ 0 ( 0 , δ )
where
A 1 , Δ 0 ( 0 , δ ) = { u C / | u | = δ , arg ( l 0 ) + Δ 0 arg ( u ) arg ( l 0 ) + π Δ 0 } , A 2 , Δ 0 ( 0 , δ ) = { u C / | u | = δ , arg ( l 0 ) + π Δ 0 arg ( u ) arg ( l 0 ) + π + Δ 0 } , A 3 , Δ 0 ( 0 , δ ) = { u C / | u | = δ , arg ( l 0 ) + π + Δ 0 arg ( u ) arg ( l 0 ) + 2 π Δ 0 } , A 4 , Δ 0 ( 0 , δ ) = { u C / | u | = δ , arg ( l 0 ) + 2 π Δ 0 arg ( u ) arg ( l 0 ) + 2 π + Δ 0 } .
Accordingly, we decompose the integral along the circle into four parts
1 2 1 π C ( 0 , δ ) H T ( u ) d u = j = 1 4 1 2 1 π A j , Δ 0 ( 0 , δ ) H T ( u ) d u .
From the hypotheses of the second item of 1), we can compute the next limit
lim δ 0 1 2 1 π A 1 , Δ 0 ( 0 , δ ) H T ( u ) d u = lim δ 0 1 2 1 π A 1 , Δ 0 ( 0 , δ ) 1 u F ( u ) T T u u G T ( u ) d u = lim δ 0 1 2 1 π arg ( l 0 ) + Δ 0 arg ( l 0 ) + π Δ 0 1 δ e 1 θ F ( δ e 1 θ ) T T δ e 1 θ δ e 1 θ G T ( δ e 1 θ ) × δ 1 e 1 θ d θ = 1 2 π F 0 ( π 2 Δ 0 )
and in a similar manner we get
lim δ 0 1 2 1 π A 3 , Δ 0 ( 0 , δ ) H T ( u ) d u = 1 2 π F 0 ( π 2 Δ 0 ) .
On the other hand, since H T ( u ) is in particular continuous on the circle C ( 0 , δ ) , we get that
lim Δ 0 0 1 2 1 π A j , Δ 0 ( 0 , δ ) H T ( u ) d u = 0
for j = 2 , 4 , all δ > 0 fixed. As a result, owing to the decomposition (40) and the above estimates (41), (42) together with (43), we observe that
lim δ 0 1 2 1 π C ( 0 , δ ) H T ( u ) d u = 0 .
Therefore, according to (39), we reach that
1 2 1 π C ( 0 , ρ / 2 ) H T ( u ) d u = 0 .
As a result, the identity (35) follows from (36), (38) and (44). □
We now roughly explain the strategy which leads to the expansion (32). Assume that we can find a function b ( u , ϵ ) that fulfills the next identity
b ( 1 a ( T , ϵ ) , ϵ ) = T .
We denote Θ = { p n / n Z } the set of poles of u b ( u , ϵ ) . From the identity (35), we get the next decomposition
( L 1 d ( z B 1 ( u b ( u , ϵ ) ) ) ) ( T ) = b ( T , ϵ ) n Z Res u = p n ( b ( u , ϵ ) ) T p n ( T p n ) .
If one replaces T by 1 / a ( T , ϵ ) in the latter decomposition, we can express T as a sum of a special Laplace transform of an entire function and a special series
T = ( L 1 d ( z B 1 ( u b ( u , ϵ ) ) ) ) ( 1 / a ( T , ϵ ) ) + n Z Res u = p n ( b ( u , ϵ ) ) 1 / a ( T , ϵ ) p n ( 1 a ( T , ϵ ) p n ) .
In a first step of the analysis, we compute b ( u , ϵ ) , describe its singular points and provide bounds w.r.t u and ϵ . We denote T a 1 ( T , ϵ ) the inverse function of T a ( T , ϵ ) that can be displayed as follows
a 1 ( T , ϵ ) = ϵ α + 1 2 1 + exp ( 2 ϵ α + 1 2 T ) 1 exp ( 2 ϵ α + 1 2 T ) .
According to the requirement (45), we deduce that b ( u , ϵ ) can be computed as
b ( u , ϵ ) = a 1 ( 1 / u , ϵ ) = ϵ α + 1 2 1 + exp ( 2 ϵ α + 1 2 / u ) 1 exp ( 2 ϵ α + 1 2 / u ) .
We observe that the function u b ( u , ϵ ) is holomorphic in C outside a discrete set of simple poles (which relies on ϵ ) given by
Θ ϵ = ϵ ( α + 1 ) / 2 1 π n = p n / n Z
and which is located on the line L 0 , ϵ = 1 ϵ ( α + 1 ) / 2 R passing through the origin.
Lemma 2.
(1) Let ρ , ϵ 0 > 0 be positive real numbers. There exists a constant C 1 > 0 (which relies on ρ and ϵ 0 ) such that
| b ( u , ϵ ) | C 1
for all u C ( 0 , ρ / 2 ) , ϵ D ( 0 , ϵ 0 ) { 0 } , provided that ϵ 0 > 0 is taken small enough.
(2) If W ϵ + (resp. W ϵ ) is an open sector centered at 0, with radius ρ, with bisecting direction arg ( ϵ ( α + 1 ) / 2 ) + π (resp. arg ( ϵ ( α + 1 ) / 2 ) ), such that W ϵ + L 0 , ϵ = (resp. W ϵ L 0 , ϵ = ), we get
lim u 0 , u W ϵ + b ( u , ϵ ) = ϵ ( α + 1 ) / 2 , lim u 0 , u W ϵ b ( u , ϵ ) = ϵ ( α + 1 ) / 2 .
Proof. 
(1) We parametrize the circle C ( 0 , ρ / 2 ) by
C ( 0 , ρ / 2 ) = { ρ 2 exp ( 1 θ ) / θ [ 0 , 2 π ) } .
When u is taken on C ( 0 , ρ / 2 ) , the function b ( u , ϵ ) is expressed as
b ( u , ϵ ) = ϵ α + 1 2 1 + exp ( 4 ρ ϵ α + 1 2 e 1 θ ) 1 exp ( 4 ρ ϵ α + 1 2 e 1 θ ) .
On the other hand, we remind that the convexity inequality | exp ( z ) | exp ( | z | ) holds for all z C and that there exists a holomorphic function ε ( z ) with e z = 1 + z + z ε ( z ) such that ε ( z ) tends to 0 when z comes close to the origin in C . As a result, we get that
| b ( u , ϵ ) | | ϵ | α + 1 2 1 + e 4 ρ | ϵ | ( α + 1 ) / 2 4 ρ | ϵ | ( α + 1 ) / 2 | 1 + ε ( 4 ρ ϵ α + 1 2 e 1 θ ) | ρ 6 ( 1 + e 4 ρ ϵ 0 ( α + 1 ) / 2 )
provided that ϵ 0 > 0 is chosen small enough. The first part (1) of the lemma follows.
(2) We take u W ϵ + and v W ϵ . By construction, we can write
u = s 1 ϵ α + 1 2 e 1 θ 1 , v = s 2 ϵ α + 1 2 e 1 θ 2
for some radii s 1 , s 2 [ 0 , ρ / | ϵ | ( α + 1 ) / 2 ) and angles θ 1 , θ 2 ( π 2 , π 2 ) . Hence, we can compute
b ( u , ϵ ) = ϵ α + 1 2 1 + exp ( 2 s 1 e 1 θ 1 ) 1 + exp ( 2 s 1 e 1 θ 1 ) , b ( v , ϵ ) = ϵ α + 1 2 1 + exp ( 2 s 2 e 1 θ 2 ) 1 + exp ( 2 s 2 e 1 θ 2 )
and since
| exp ( 2 s j e 1 θ 1 ) | = exp ( 2 s j cos ( θ j ) ) 0
as s j > 0 tends to 0, for j = 1 , 2 , we deduce
lim s 1 0 , s 1 > 0 b ( u , ϵ ) = ϵ α + 1 2 , lim s 2 0 , s 2 > 0 b ( v , ϵ ) = ϵ α + 1 2 .
The second point (2) follows. □
In the next lemma, we exhibit estimates for the analytic Borel transform of b ( u , ϵ ) .
Lemma 3.
We set
ω 1 ( z , ϵ ) = B 1 ( u b ( u , ϵ ) ) ( z )
as the analytic Borel transform of u b ( u , ϵ ) . The function z ω 1 ( z , ϵ ) defines an entire function on C for all ϵ D ( 0 , ϵ 0 ) { 0 } , moreover one can select two constants C , M > 0 (which rely on ρ and C 1 introduced in Lemma 2 (1) such that
| ω 1 ( z , ϵ ) | C | z | exp ( M | z | )
for all z C , all ϵ D ( 0 , ϵ 0 ) { 0 } , provided that ϵ 0 is close enough to 0.
Proof. 
By definition of the analytic Borel transform (34) and the bounds (49), we get that
| ω 1 ( z , ϵ ) | 1 2 π 0 2 π b ( ρ 2 e 1 θ , ϵ ) exp ( z ρ e 1 θ / 2 ) | z | ρ / 2 d θ 2 C 1 ρ | z | exp ( 2 ρ | z | )
for all z C , all ϵ D ( 0 , ϵ 0 ) { 0 } , whenever ϵ 0 > 0 is small enough. □
In a second step, we focus on the special series
ψ ( T , ϵ ) = n Z Res u = p n ( b ( u , ϵ ) ) T p n ( T p n ) .
We first need to compute the residue of the function u b ( u , ϵ ) at the singular points of the set Θ ϵ .
Lemma 4.
The residue of u b ( u , ϵ ) at the singular points p n of (48) are given by
Res u = p n ( b ( u , ϵ ) ) = p n 2
for all n Z .
Proof. 
If one sets f ( u ) = 1 exp ( 2 ϵ ( α + 1 ) / 2 / u ) and g ( u ) = 1 + exp ( 2 ϵ ( α + 1 ) / 2 / u ) , we observe that
Res u = p n ( b ( u , ϵ ) ) = ϵ ( α + 1 ) / 2 g ( p n ) f ( p n ) = p n 2
for all n Z . □
In the next lemma, we observe that each linear fractional map T T p n ( T p n ) can be expressed as a Laplace transform through an explicit formula. However, the direction of integration depends on the sign of n.
Lemma 5.
(1) Let n 1 be a positive integer. We choose a direction d + R such that
d + = arg ( ϵ α + 1 2 ) Δ +
for some Δ + > 0 not too large (less than π / 2 ). Then, the next formula
T p n ( T p n ) = L d + τ p n 2 exp ( τ p n ) exp ( τ T ) d τ τ
where L d + = R + e 1 d + , is valid whenever T C satisfies
cos ( d + arg ( T ) ) > 0 .
(2) Let n 1 be a negative integer. We take a direction d R with
d = arg ( ϵ α + 1 2 ) + Δ
for some Δ > 0 not too large (less than π / 2 ). Then, the next identity
T p n ( T p n ) = L d τ p n 2 exp ( τ p n ) exp ( τ T ) d τ τ
holds provided that T C fulfills
cos ( d arg ( T ) ) > 0 .
According to Lemmas 4 and 5, we notice that the special series ψ ( T , ϵ ) can be expressed through the next limit formula
ψ ( T , ϵ ) = lim δ 0 , δ > 0 ψ δ ( T , ϵ )
for
ψ δ ( T , ϵ ) = n 1 L d + , δ exp ( τ p n ) exp ( τ T ) d τ + n 1 L d , δ exp ( τ p n ) exp ( τ T ) d τ
where
L d , δ = [ δ , + ) e 1 d , L d + , δ = [ δ , + ) e 1 d +
represent halflines at distance δ of the origin, whenever T is subjected to both (56) and (59).
In the last part of the proof, our goal will be to provide an explicit formula for the right-hand side of the identity (60) as exponential series involving Laplace transforms along the single direction d . We set
K 1 ( τ , ϵ ) = n 1 exp ( τ p n ) = n 1 ( e τ / p 1 ) n = e τ / p 1 1 e τ / p 1
provided that | e τ / p 1 | < 1 . The function τ K 1 ( τ , ϵ ) can be analytically extended on the whole plane C (as a function again denoted K 1 ( τ , ϵ ) ) except at the discrete set of points
S ϵ = { 2 l ϵ α + 1 2 / l Z } .
We also define
K 1 ( τ , ϵ ) = n 1 e τ / p n = n 1 ( e τ / p 1 ) n = e τ / p 1 1 e τ / p 1 = e τ / p 1 1 e τ / p 1
whenever τ L d , δ . The next lemma holds.
Lemma 6.
Let ϵ D ( 0 , ϵ 0 ) { 0 } and δ chosen such that
0 < δ < 2 | ϵ | α + 1 2 .
The next formula holds
ψ δ ( T , ϵ ) = L d + , δ K 1 ( τ , ϵ ) exp ( τ / T ) d τ + L d , δ K 1 ( τ , ϵ ) exp ( τ / T ) d τ = 2 ϵ α + 1 2 n 1 exp ( 2 n ϵ α + 1 2 / T ) + L d , δ ( 1 ) e τ / T d τ C d d + , δ K 1 ( τ , ϵ ) e τ / T d τ
where C d d + , δ stands for (a well oriented) arc of circle of radius δ > 0 centered at 0 that joins the two halflines L d , δ and L d + , δ , provided that T C fulfills (56) and (59).
Proof. 
The first equality of (65) is a direct consequence of the uniform convergence of the series (61) (resp. (63)) on every compact segments of the halflines L d + , δ (resp. L d , δ ).
We discuss now the second equality. We integrate the function τ K 1 ( τ , ϵ ) exp ( τ / T ) along the oriented path formed by the union U d d + , δ of the segments L d , δ , C d d + , δ and L d + , δ . By construction, the path U d d + , δ encloses the set (which represents a subset of S ϵ described in (62))
S ϵ = { 2 l ϵ α + 1 2 / l 1 }
of poles of the map τ K 1 ( τ , ϵ ) exp ( τ / T ) , under the constraint (64). The residue theorem implies that the next identity holds
U d d + , δ K 1 ( τ , ϵ ) exp ( τ / T ) d τ = 2 1 π n 1 Res τ = 2 n ϵ α + 1 2 ( K 1 ( τ , ϵ ) exp ( τ / T ) )
for all T C under the restriction (56) and (59).
On the other hand, the residue of the function τ K 1 ( τ , ϵ ) exp ( τ / T ) at τ = 2 n ϵ α + 1 2 can be explicitly computed. Specifically, set g ( τ ) = e τ / p 1 exp ( τ / T ) and f ( τ ) = 1 e τ / p 1 . Then,
Res τ = 2 n ϵ α + 1 2 ( K 1 ( τ , ϵ ) exp ( τ / T ) ) = Res τ = 2 n ϵ α + 1 2 g ( τ ) f ( τ ) = g ( 2 n ϵ ( α + 1 ) / 2 ) f ( 2 n ϵ ( α + 1 ) / 2 ) = p 1 exp ( 2 n ϵ α + 1 2 / T ) .
Finally, a direct computation shows that the next relation
K 1 ( τ , ϵ ) + K 1 ( τ , ϵ ) = 1
takes place for every τ L d , δ . At last, gathering (66), (67) and (68) yields the expected expansion (65). □
The next lemma computes the limit when δ tends to the origin of the integral along the arc of circle appearing in the right-hand side of the decomposition (65).
Lemma 7.
For all fixed ϵ D ( 0 , ϵ 0 ) { 0 } , the next limit
lim δ 0 , δ > 0 C d d + , δ K 1 ( τ , ϵ ) e τ / T d τ = 1 p 1 ( d + d )
holds if T C suffers (56) and (59).
Proof. 
We parametrize the arc of circle
C d d + , δ = { δ e 1 θ / θ ( d , d + ) }
which yields the equality
C d d + , δ K 1 ( τ , ϵ ) e τ / T d τ = d d + exp ( δ e 1 θ / p 1 ) 1 exp ( δ e 1 θ / p 1 ) exp ( δ e 1 θ / T ) 1 δ e 1 θ d θ .
From the expansion e z = 1 + z + z ε ( z ) for a holomorphic function ε ( z ) near 0 such that lim z 0 ε ( z ) = 0 , we get in particular that
δ e 1 θ 1 exp ( δ e 1 θ / p 1 ) = p 1 1 + ε ( δ e 1 / p 1 )
for any fixed ϵ D ( 0 , ϵ 0 ) { 0 } and δ > 0 small enough. As a result, for any fixed ϵ D ( 0 , ϵ 0 ) { 0 } we get that
lim δ 0 , δ > 0 C d d + , δ K 1 ( τ , ϵ ) e τ / T d τ = d d + 1 p 1 d θ = 1 p 1 ( d + d ) .
 □
In the following closing lemma we provide an expression of the special series ψ ( T , ϵ ) as an exponential series involving Laplace transforms.
Lemma 8.
Let ϵ D ( 0 , ϵ 0 ) { 0 } . The next formula
ψ ( T , ϵ ) = 2 ϵ α + 1 2 n 1 exp ( 2 n ϵ α + 1 2 / T ) + L d ( 1 ) exp ( τ / T ) d τ + ϵ α + 1 2 d d + π
is valid provided that T satisfies (56) and (59).
Proof. 
The lemma is a direct consequence of (60) together with Lemmas 6 and 7. □
As a consequence of the two steps above, one can apply Proposition 2 to get the next decomposition
b ( T , ϵ ) = L d ( ω 1 ( τ , ϵ ) τ ) exp ( τ / T ) d τ τ + ϵ α + 1 2 d d + π + 2 ϵ α + 1 2 n 1 exp ( n ϵ α + 1 2 / T )
which is valid whenever T fulfills (56) and (59). From Lemma 1, we know that
1 / a ( T , ϵ ) = 2 ϵ α + 1 2 log x 1 x + 1 ( 1 + a in ( x ) ) 1
with sup s χ 1 | a in ( s ) | close to 0, whenever T = ϵ ( α + 1 ) / 2 x ϵ T ϵ , provided that the outer radius r 2 > 0 of χ 0 is close enough to 0. From the constraint (30), we observe in particular that
cos ( d + arg ( 1 / a ( T , ϵ ) ) ) > 0 , cos ( d arg ( 1 / a ( T , ϵ ) ) ) > 0
hold, where Δ + , Δ > 0 are taken not too large (actually less that π / 2 ). Therefore, both conditions (56) and (59) where T is replaced by 1 / a ( T , ϵ ) must hold.
As a result, we can substitute T by 1 / a ( T , ϵ ) in the identity (71) to get a decomposition of the monomial
T = L d ( ω 1 ( τ , ϵ ) τ ) exp ( τ a ( T , ϵ ) ) d τ τ + ϵ α + 1 2 d d + π + 2 ϵ α + 1 2 n 1 exp ( n ϵ α + 1 2 a ( T , ϵ ) )
that holds whenever T ϵ T ϵ and ϵ D ( 0 , ϵ 0 ) { 0 } . Furthermore, from the estimates (51), we deduce in particular that the entire function z ω 0 ( z , ϵ ) = ω 1 ( z , ϵ ) z is subjected to the next constraint: we can select two constants C , M > 0 such that
| ω 0 ( z , ϵ ) | C | z | 1 + | z | 2 exp ( M | z | )
for all z C , all ϵ D ( 0 , ϵ 0 ) { 0 } . Proposition 1 follows.

2.2. Construction of a Family of Convolution Equations

Our next assignment is the expression of the fundamental building blocks T l in Equation (24) for any integer l 2 in terms of special Laplace transforms and exponential transseries. The next proposition holds.
Proposition 3.
Let l 1 . There exists
  • a sequence of entire functions τ ω l , n ( τ , ϵ ) on C , for all n 0 , all ϵ D ( 0 , ϵ 0 ) { 0 } which suffer the upper bounds
    | ω l , n ( τ , ϵ ) | K l ( L l ) n | τ | 1 + | τ | 2 exp ( M | τ | )
    for all τ C , all ϵ D ( 0 , ϵ 0 ) { 0 } , all n 0 , for some well-chosen real numbers K l , L l > 0 and M > 0 chosen as in (31),
  • a sequence of polynomials ϵ a l , n ( ϵ ) , for all n 0 with the bounds
    sup ϵ D ( 0 , ϵ 0 ) | a l , n ( ϵ ) | A l ( B l ) n
    for all n 0 , for well selected positive numbers A l , B l > 0
such that
T l = n 0 L d ω l , n ( τ , ϵ ) exp ( τ a ( T , ϵ ) ) d τ τ + a l , n ( ϵ ) exp ( n ϵ α + 1 2 a ( T , ϵ ) ) .
Proof. 
The construction of the sequences ( ω l , n ( τ , ϵ ) ) n 0 and ( a l , n ( ϵ ) ) n 0 is obtained by induction on l. Specifically, according to Proposition 1, for l = 1 , we can set
ω 1 , 0 ( τ , ϵ ) = ω 0 ( τ , ϵ ) , ω 1 , n ( τ , ϵ ) = 0
for n 1 and
a 1 , 0 ( ϵ ) = ϵ α + 1 2 a 0 , a 1 , n ( ϵ ) = 2 ϵ α + 1 2
for n 1 . According to the bounds (31) and the choice of initial data (75) and (76), we deduce the existence of K 1 , L 1 > 0 and A 1 , B 1 > 0 for which (72) and (73) hold.
Assume that the identity (74) holds for a given l 1 . Then, we can compute the product
T l + 1 = T × T l = n 0 ( L d ω 1 , n ( τ , ϵ ) exp ( τ a ( T , ϵ ) ) d τ τ + a 1 , n ( ϵ ) ) exp ( n ϵ α + 1 2 a ( T , ϵ ) ) × n 0 ( L d ω l , n ( τ , ϵ ) exp ( τ a ( T , ϵ ) ) d τ τ + a l , n ( ϵ ) ) exp ( n ϵ α + 1 2 a ( T , ϵ ) ) = n 0 p + q = n ( L d ω 1 , p ( τ , ϵ ) exp ( τ a ( T , ϵ ) ) d τ τ + a 1 , p ( ϵ ) ) × ( L d ω l , q ( τ , ϵ ) exp ( τ a ( T , ϵ ) ) d τ τ + a l , q ( ϵ ) ) exp ( n ϵ α + 1 2 a ( T , ϵ ) ) .
Moreover, one defines the convolution product
ω 1 , p ( τ , ϵ ) τ ω l , q ( τ , ϵ ) : = τ 0 τ ω 1 , p ( τ s , ϵ ) ω l , q ( s , ϵ ) d s ( τ s ) s
where p , q 0 are integers, for all τ C , all ϵ D ( 0 , ϵ 0 ) { 0 } and an application of Fubini’s theorem yields the next equality
L d ω 1 , p ( τ , ϵ ) exp ( τ a ( T , ϵ ) ) d τ τ × L d ω l , q ( τ , ϵ ) exp ( τ a ( T , ϵ ) ) d τ τ = L d ( ω 1 , p ( τ , ϵ ) τ ω l , q ( τ , ϵ ) ) exp ( τ a ( T , ϵ ) ) d τ τ .
As a result, we set the family of functions ω l + 1 , n ( τ , ϵ ) and polynomials a l + 1 , n ( ϵ ) , for all n 0 , as
ω l + 1 , n ( τ , ϵ ) : = p + q = n ω 1 , p ( τ , ϵ ) τ ω l , q ( τ , ϵ ) + ω 1 , p ( τ , ϵ ) a l , q ( ϵ ) + a 1 , p ( ϵ ) ω l , q ( τ , ϵ )
and
a l + 1 , n ( ϵ ) : = p + q = n a 1 , p ( ϵ ) a l , q ( ϵ )
to obtain the identity
L d ω l + 1 , n ( τ , ϵ ) exp ( τ a ( T , ϵ ) ) d τ τ + a l + 1 , n ( ϵ ) = p + q = n ( L d ω 1 , p ( τ , ϵ ) exp ( τ a ( T , ϵ ) ) d τ τ + a 1 , p ( ϵ ) ) × ( L d ω l , q ( τ , ϵ ) exp ( τ a ( T , ϵ ) ) d τ τ + a l , q ( ϵ ) )
for all n 0 , which gives rise to the expansion (74) for T l + 1 , owing to (77).
In a last step, we need to provide bounds of the form (72) and (73) for ω l + 1 , n ( τ , ϵ ) and a l + 1 , n ( ϵ ) . We set K l , n = K l ( L l ) n and A l , n = A l ( B l ) n . According to (75), we notice that
p + q = n ω 1 , p ( τ , ϵ ) τ ω l , q ( τ , ϵ ) = ω 1 , 0 ( τ , ϵ ) τ ω l , n ( τ , ϵ ) .
Now, the bounds (72) for ω 1 , 0 ( τ , ϵ ) and ω l , n ( τ , ϵ ) implies
| ω 1 , 0 ( τ , ϵ ) τ ω l , n ( τ , ϵ ) | = τ 0 τ ω 1 , 0 ( τ s , ϵ ) ω l , n ( s , ϵ ) d s ( τ s ) s | τ | 0 | τ | K 1 , 0 K l , n 1 ( 1 + ( | τ | h ) 2 ) ( 1 + h 2 ) d h exp ( M | τ | ) K 1 , 0 K l , n F | τ | 1 + | τ | 2 exp ( M | τ | )
where F > 0 is a constant defined as
F = sup x 0 ( 1 + x 2 ) 0 x 1 ( 1 + ( x h ) 2 ) ( 1 + h 2 ) d h
which is finite due to Corollary 4.9 of [14].
For p 1 , all q 0 , we check that
ω 1 , p ( τ , ϵ ) a l , q = 0
owing to (75). Furthermore, the bounds (72) and (73) on ω 1 , 0 ( τ , ϵ ) , ω l , q ( τ , ϵ ) , a l , n ( ϵ ) , and a 1 , p ( ϵ ) lead to
| ω 1 , 0 ( τ , ϵ ) a l , n ( ϵ ) | K 1 , 0 A l , n | τ | 1 + | τ | 2 exp ( M | τ | )
and
| a 1 , p ( ϵ ) ω l , q ( τ , ϵ ) | A 1 , p K l , q | τ | 1 + | τ | 2 exp ( M | τ | )
for all integers p , q 0 with p + q = n .
Gathering (79), (82), (83), (85), (86) and (87) gives rise to the next estimates for ω l + 1 , n ( τ , ϵ ) ,
| ω l + 1 , n ( τ , ϵ ) | K 1 , 0 K l , n F + K 1 , 0 A l , n + p + q = n A 1 , p K l , q | τ | 1 + | τ | 2 exp ( M | τ | )
for all n 0 .
On the other hand, from the bounds (73) for a 1 , p ( ϵ ) and a l , q ( ϵ ) with p + q = n 0 , the relation (80) implies that the following bounds hold for a l + 1 , n ,
| a l + 1 , n ( ϵ ) | p + q = n | a 1 , p ( ϵ ) | | a l , q ( ϵ ) | p + q = n A 1 , p A l , q .
As a result, we can to choose A l + 1 , B l + 1 , K l + 1 , L l + 1 > 0 such that both inequalities
p + q = n A 1 , p A l , q = p + q = n A 1 ( B 1 ) p ( B l ) q A l A 1 A l ( n + 1 ) ( max ( B 1 , B l ) ) n A l + 1 ( B l + 1 ) n
and
K 1 , 0 K l , n F + K 1 , 0 A l , n + p + q = n A 1 , p K l , q K 1 K l ( L l ) n F + K 1 A l ( B l ) n + A 1 K l ( n + 1 ) ( max ( B 1 , L l ) ) n K l + 1 ( L l + 1 ) n
hold for all n 0 , in order to obtain the bounds (72) and (73) for ω l + 1 , n ( τ , ϵ ) and a l + 1 , n ( ϵ ) . Specifically, we select B l + 1 > 0 and A l + 1 > 0 such that
B l + 1 > max ( B 1 , B l ) , sup n 0 ( n + 1 ) ( max ( B 1 , B l ) B l + 1 ) n A l + 1 A 1 A l
which implies (90) and we single out L l + 1 > 0 and K l + 1 > 0 under the conditions
L l + 1 > L l , L l + 1 > B l , L l + 1 > max ( B 1 , L l ) , sup n 0 K 1 K l ( L l L l + 1 ) n F + K 1 A l ( B l L l + 1 ) n + A 1 K l ( n + 1 ) ( max ( B 1 , L l ) L l + 1 ) n K l + 1
from which (91) follows. □
At this stage of the proof, we can exhibit the shape of the solution to Equation (24) we are seeking for. Specifically, we assume that it can be expressed as an exponential transseries which involves infinitely many special Laplace transforms
U d ( T , z , ϵ ) : = n 0 L d W n ( τ , z , ϵ ) exp ( τ a ( T , ϵ ) ) d τ τ × exp ( n ϵ α + 1 2 a ( T , ϵ ) )
where L d is the halfline described in Proposition 1. We assume that for each n 0 , the expression ( τ , z , ϵ ) W n ( τ , z , ϵ ) represents a function on a domain ( S d D ( 0 , ρ ) ) × D ( 0 , r ) × D ( 0 , ϵ 0 ) { 0 } , for an unbounded sector S d with bisecting direction d . We also assume that each integral along L d composing U d makes sense.
From now on, we select the direction d in the formula (14) to be d = d . We assume that the sector S d and the direction d are properly chosen in a way that S d avoids the set R 2 of the roots of the polynomial P 2 ( τ ) , for all ϵ D ( 0 , ϵ 0 ) { 0 } .
In the remaining part of this subsection all the computations are made at a formal level. They are presented for the purpose to explain the reader how to derive a family of convolution equations that the sequence W n , n 0 is asked to solve in order that the expression U d ( T , z , ϵ ) fulfills the problem (24), (25). These computations will be justified and made rigorous later on (in the proof of Theorem 1), once we have shown that the resulting convolution Equations (100) and (101) possess actual holomorphic solutions subjected to the uniform bounds (149) (This will be the main objective of Section 3).
We first explain the action of the basic differential operator D ϵ , α ( T ) on each term of the series (94). Indeed, according to the definition of a ( T , ϵ ) given in (13), we get
D ϵ , α ( T ) L d W n ( τ , z , ϵ ) exp ( τ a ( T , ϵ ) ) d τ τ × exp ( n ϵ α + 1 2 a ( T , ϵ ) ) = L d ( τ + n ϵ α + 1 2 ) W n ( τ , z , ϵ ) exp ( τ a ( T , ϵ ) ) d τ τ × exp ( n ϵ α + 1 2 a ( T , ϵ ) ) .
Furthermore, with the help of the transseries expansion of T l 1 displayed in (74), one can expand the next expression T l 1 ( D ϵ , α ( T ) ) l 2 z l 3 U d ( T , z , ϵ ) provided that l 1 1 . Specifically,
T l 1 ( D ϵ , α ( T ) ) l 2 z l 3 U d ( T , z , ϵ ) = n 0 L d ω l 1 , n ( τ , ϵ ) exp ( τ a ( T , ϵ ) ) d τ τ + a l 1 , n ( ϵ ) exp ( n ϵ α + 1 2 a ( T , ϵ ) ) × n 0 L d ( τ + n ϵ α + 1 2 ) l 2 z l 3 W n ( τ , z , ϵ ) exp ( τ a ( T , ϵ ) ) d τ τ × exp ( n ϵ α + 1 2 a ( T , ϵ ) ) = n 0 p + q = n L d ω l 1 , p ( τ , ϵ ) exp ( τ a ( T , ϵ ) ) d τ τ + a l 1 , p ( ϵ ) × L d ( τ + q ϵ α + 1 2 ) l 2 z l 3 W q ( τ , z , ϵ ) exp ( τ a ( T , ϵ ) ) d τ τ × exp ( n ϵ α + 1 2 a ( T , ϵ ) ) .
Using Fubini’s theorem we get
L d ω l 1 , p ( τ , ϵ ) exp ( τ a ( T , ϵ ) ) d τ τ × L d ( τ + q ϵ α + 1 2 ) l 2 z l 3 W q ( τ , z , ϵ ) exp ( τ a ( T , ϵ ) ) d τ τ = L d ω l 1 , p ( τ , ϵ ) τ ( ( τ + q ϵ α + 1 2 ) l 2 z l 3 W q ( τ , z , ϵ ) ) × exp ( τ a ( T , ϵ ) ) d τ τ
where
ω l 1 , p ( τ , ϵ ) τ ( ( τ + q ϵ α + 1 2 ) l 2 z l 3 W q ( τ , z , ϵ ) ) = τ 0 τ ω l 1 , p ( τ s , ϵ ) ( s + q ϵ α + 1 2 ) l 2 z l 3 W q ( s , z , ϵ ) d s ( τ s ) s .
We now turn to the transseries expansions of the nonlinear term of (24). Indeed,
U d 2 ( T , z , ϵ ) = n 0 L d W n ( τ , z , ϵ ) exp ( τ a ( T , ϵ ) ) d τ τ exp ( n ϵ α + 1 2 a ( T , ϵ ) ) × n 0 L d W n ( τ , z , ϵ ) exp ( τ a ( T , ϵ ) ) d τ τ exp ( n ϵ α + 1 2 a ( T , ϵ ) ) = n 0 p + q = n L d W p ( τ , z , ϵ ) exp ( τ a ( T , ϵ ) ) d τ τ × L d W q ( τ , z , ϵ ) exp ( τ a ( T , ϵ ) ) d τ τ exp ( n ϵ α + 1 2 a ( T , ϵ ) ) .
Again, Fubini’s theorem applies and allows us to write
L d W p ( τ , z , ϵ ) exp ( τ a ( T , ϵ ) ) d τ τ × L d W q ( τ , m , ϵ ) exp ( τ a ( T , ϵ ) ) d τ τ = L d W p ( τ , z , ϵ ) τ W q ( τ , z , ϵ ) exp ( τ a ( T , ϵ ) ) d τ τ
where
W p ( τ , z , ϵ ) τ W q ( τ , z , ϵ ) = τ 0 τ W p ( τ s , z , ϵ ) W q ( s , z , ϵ ) d s ( τ s ) s .
We are now ready to display the set of convolution equations which is asked to be fulfilled by the sequence ( W n ) n 0 .
The function W 0 ( τ , z , ϵ ) is asked to fulfill the next nonlinear convolution equation
z S W 0 ( τ , z , ϵ ) = l = ( l 1 , l 2 , l 3 ) I , l 1 1 ϵ Δ l l 1 d l ( z , ϵ ) × ω l 1 , 0 ( τ , ϵ ) τ ( τ l 2 z l 3 W 0 ( τ , z , ϵ ) ) + a l 1 , 0 ( ϵ ) τ l 2 z l 3 W 0 ( τ , z , ϵ ) + l = ( l 1 , l 2 , l 3 ) I , l 1 = 0 ϵ Δ l l 1 d l ( z , ϵ ) τ l 2 z l 3 W 0 ( τ , z , ϵ ) + e ( z , ϵ ) W 0 ( τ , z , ϵ ) τ W 0 ( τ , z , ϵ ) + P 1 ( τ ) P 2 ( τ ) .
For n 1 , W n ( τ , z , ϵ ) is required to solve the following linear convolution equation
z S W n ( τ , z , ϵ ) = l = ( l 1 , l 2 , l 3 ) I , l 1 1 ϵ Δ l l 1 d l ( z , ϵ ) × p + q = n ω l 1 , p ( τ , ϵ ) τ { ( τ + q ϵ α + 1 2 ) l 2 z l 3 W q ( τ , z , ϵ ) } + a l 1 , p ( ϵ ) ( τ + q ϵ α + 1 2 ) l 2 z l 3 W q ( τ , z , ϵ ) + l = ( l 1 , l 2 , l 3 ) I , l 1 = 0 ϵ Δ l l 1 d l ( z , ϵ ) × ( τ + n ϵ α + 1 2 ) l 2 z l 3 W n ( τ , z , ϵ ) + e ( z , ϵ ) p + q = n W p ( τ , z , ϵ ) τ W q ( τ , z , ϵ ) .

3. Resolution of the Convolution Set of Equations within Banach Spaces of Holomorphic Functions

We seek for solutions W n ( τ , z , ϵ ) , n 0 of the convolution Equations (100) and (101) as formal power series w.r.t z, namely
W n ( τ , z , ϵ ) : = β 0 W n , β ( τ , ϵ ) β ! z β .
We first disclose a recursion formula, for each n 0 , for the sequence of expressions W n , β ( τ , ϵ ) , β 0 . We need to compute each piece of Equations (100) and (101). Specifically, for each n 0 , we get
z S W n ( τ , z , ϵ ) = β 0 W n , β + S ( τ , ϵ ) β ! z β
and
p + q = n ω l 1 , p ( τ , ϵ ) τ { ( τ + q ϵ α + 1 2 ) l 2 z l 3 W q ( τ , z , ϵ ) } + a l 1 , p ( ϵ ) ( τ + q ϵ α + 1 2 ) l 2 z l 3 W q ( τ , z , ϵ ) = β 0 p + q = n ω l 1 , p ( τ , ϵ ) τ ( τ + q ϵ α + 1 2 ) l 2 W q , β + l 3 ( τ , ϵ ) β ! + a l 1 , p ( ϵ ) ( τ + q ϵ α + 1 2 ) l 2 W q , β + l 3 ( τ , ϵ ) β ! ) z β .
Let the convergent Taylor expansion of d l ( z , ϵ ) w.r.t z at 0 be
d l ( z , ϵ ) = β 0 d l , β ( ϵ ) β ! z β
for all ϵ D ( 0 , ϵ 0 ) . Owing to (104) and (105), we get
d l ( z , ϵ ) × p + q = n ω l 1 , p ( τ , ϵ ) τ { ( τ + q ϵ α + 1 2 ) l 2 z l 3 W q ( τ , z , ϵ ) } + a l 1 , p ( ϵ ) ( τ + q ϵ α + 1 2 ) l 2 z l 3 W q ( τ , z , ϵ ) = β 0 β 1 + β 2 = β ( p + q = n ω l 1 , p ( τ , ϵ ) τ ( τ + q ϵ α + 1 2 ) l 2 W q , β 2 + l 3 ( τ , ϵ ) β 2 ! + a l 1 , p ( ϵ ) ( τ + q ϵ α + 1 2 ) l 2 W q , β 2 + l 3 ( τ , ϵ ) β 2 ! × d l , β 1 ( ϵ ) β 1 ! ) z β
and also
d l ( z , ϵ ) × ( τ + n ϵ α + 1 2 ) l 2 z l 3 W n ( τ , z , ϵ ) = β 0 β 1 + β 2 = β d l , β 1 ( ϵ ) β 1 ! ( τ + n ϵ α + 1 2 ) l 2 W n , β 2 + l 3 ( τ , ϵ ) β 2 ! z β .
On the other hand, we check that
p + q = n W p ( τ , z , ϵ ) τ W q ( τ , z , ϵ ) = β 0 p + q = n h 1 + h 2 = β W p , h 1 ( τ , ϵ ) h 1 ! τ W q , h 2 ( τ , ϵ ) h 2 ! z β
and if one expands e ( z , ϵ ) at z = 0 , namely
e ( z , ϵ ) = β 0 e β ( ϵ ) β ! z β
the next power series expansion for the nonlinear term holds
e ( z , ϵ ) p + q = n W p ( τ , z , ϵ ) τ W q ( τ , z , ϵ ) = β 0 β 1 + β 2 = β e β 1 ( ϵ ) β 1 ! × p + q = n h 1 + h 2 = β 2 W p , h 1 ( τ , ϵ ) h 1 ! τ W q , h 2 ( τ , ϵ ) h 2 ! z β .
As a result, we require that the sequence of expressions W 0 , β ( τ , ϵ ) , β 0 fulfills the next nonlinear recursive relation
W 0 , β + S ( τ , ϵ ) β ! = l = ( l 1 , l 2 , l 3 ) I , l 1 1 ϵ Δ l l 1 β 1 + β 2 = β ( ω l 1 , 0 ( τ , ϵ ) τ τ l 2 W 0 , β 2 + l 3 ( τ , ϵ ) β 2 ! + a l 1 , 0 ( ϵ ) τ l 2 W 0 , β 2 + l 3 ( τ , ϵ ) β 2 ! ) × d l , β 1 ( ϵ ) β 1 ! + l = ( l 1 , l 2 , l 3 ) I , l 1 = 0 ϵ Δ l l 1 β 1 + β 2 = β d l , β 1 ( ϵ ) β 1 ! τ l 2 W 0 , β 2 + l 3 ( τ , ϵ ) β 2 ! + β 1 + β 2 = β e β 1 ( ϵ ) β 1 ! × h 1 + h 2 = β 2 W 0 , h 1 ( τ , ϵ ) h 1 ! τ W 0 , h 2 ( τ , ϵ ) h 2 ! + P 1 ( τ ) P 2 ( τ ) δ 0 , β
where δ 0 , 0 = 1 and δ 0 , β = 0 whenever β 1 , under the assumption that
W 0 , j ( τ , ϵ ) = Q j ( τ ) , 0 j S 1 .
This latter constraint stems from the assumption (25) on the Cauchy data ( z j U d ) ( T , 0 , ϵ ) for 0 j S 1 . Furthermore, for each n 1 , we ask the sequence of expressions W n , β ( τ , ϵ ) , for n 1 , to be subjected to the next recursive relation
W n , β + S ( τ , ϵ ) β ! = l = ( l 1 , l 2 , l 3 ) I , l 1 1 ϵ Δ l l 1 β 1 + β 2 = β ( p + q = n [ ω l 1 , p ( τ , ϵ ) τ { ( τ + q ϵ α + 1 2 ) l 2 W q , β 2 + l 3 ( τ , ϵ ) β 2 ! } + a l 1 , p ( ϵ ) ( τ + q ϵ α + 1 2 ) l 2 W q , β 2 + l 3 ( τ , ϵ ) β 2 ! ] ) × d l , β 1 ( ϵ ) β 1 ! + l = ( l 1 , l 2 , l 3 ) I , l 1 = 0 ϵ Δ l l 1 β 1 + β 2 = β d l , β 1 ( ϵ ) β 1 ! ( τ + n ϵ α + 1 2 ) l 2 W n , β 2 + l 3 ( τ , ϵ ) β 2 ! + β 1 + β 2 = β e β 1 ( ϵ ) β 1 ! p + q = n h 1 + h 2 = β 2 W p , h 1 ( τ , ϵ ) h 1 ! τ W q , h 2 ( τ , ϵ ) h 2 !
provided that
W n , j ( τ , ϵ ) 0 , 0 j S 1
that originates from our requirement (25) on the Cauchy data of our problem (24).
We now need to specify in which spaces of functions our sequence of functions τ W n , β ( τ , ϵ ) are going to live, provided that ϵ D ( 0 , ϵ 0 ) { 0 } . These Banach spaces have already been introduced in a former work of the author in [15].
Definition 1.
Let S d be an unbounded sector centered at 0 with bisecting direction d R , D ( 0 , ρ ) be a disc centered at 0 with radius ρ > 0 and σ > 0 be a fixed real number. For each integer β 0 , we set F ( β , σ , S d , ρ ) as the vector space of holomorphic functions v : S d D ( 0 , ρ ) C such that the norm
| | v ( τ ) | | ( β , σ , S d , ρ ) : = sup τ S d D ( 0 , ρ ) | v ( τ ) | 1 + | τ | 2 | τ | exp ( σ r b ( β ) | τ | )
is finite, where r b ( β ) represents the partial Riemann series r b ( β ) : = n 0 β 1 / ( n + 1 ) b , for some integer b 2 .
The next technical proposition turns to be essential in the discussion that will lead to the fact that the sequence of functions τ W n , β ( τ , ϵ ) actually belong to the space F ( β , σ , S d , ρ ) for the direction d chosen as in Proposition 1 and for some small radius ρ > 0 .
Proposition 4.
Take a real number σ such that σ > M for M given in (31). Select a radius ρ > 0 such that the disc D ( 0 , ρ ) does not contain any element of the set R 2 of the roots of the polynomial P 2 ( τ ) .
(1) There exists a constant P 1 , 2 > 0 (which relies on σ , r b ( S ) , P 1 , P 2 ) such that
| | P 1 ( τ ) / P 2 ( τ ) | | ( S , σ , S d , ρ ) P 1 , 2 .
(2) Let n , β 0 be integers and l = ( l 1 , l 2 , l 3 ) I . Moreover, let 0 β 2 β , let p , q 0 satisfy the relation p + q = n . Finally, let 0 m 1 l 2 . We make the assumption that the map τ W q , β 2 + l 3 ( τ , ϵ ) belongs to the space F ( β 2 + l 3 , σ , S d , ρ ) , for all ϵ D ( 0 , ϵ 0 ) { 0 } . Then, the estimates
| | ω l 1 , p ( τ , ϵ ) τ τ m 1 W q , β 2 + l 3 ( τ , ϵ ) | | ( β + S , σ , S d , ρ ) K l 1 ( L l 1 ) p F m 1 m 1 e m 1 ( β + S + 1 ) b m 1 | | W q , β 2 + l 3 ( τ , ϵ ) | | ( β 2 + l 3 , σ , S d , ρ )
and
| | a l 1 , p ( ϵ ) τ m 1 W q , β 2 + l 3 ( τ , ϵ ) | | ( β + S , σ , S d , ρ ) A l 1 ( B l 1 ) p m 1 m 1 e m 1 ( β + S + 1 ) b m 1 | | W q , β 2 + l 3 ( τ , ϵ ) | | ( β 2 + l 3 , σ , S d , ρ )
hold where F is given by (84).
(3) Let n , β 0 be integers. Let p , q 0 be integers with p + q = n and h 1 , h 2 0 integers with h 1 + h 2 β . Take for granted that τ W p , h 1 ( τ , ϵ ) belongs to F ( h 1 , σ , S d , ρ ) and that τ W q , h 2 ( τ , ϵ ) belongs to F ( h 2 , σ , S d , ρ ) . Then, the next bounds
| | W p , h 1 ( τ , ϵ ) τ W q , h 2 ( τ , ϵ ) | | ( β + S , σ , S d , ρ ) F | | W p , h 1 ( τ , ϵ ) | | ( h 1 , σ , S d , ρ ) | | W q , h 2 ( τ , ϵ ) | | ( h 2 , σ , S d , ρ )
are valid for F displayed in (84).
Proof. 
We turn to the first point (1). By construction, both sets D ( 0 , ρ ) and S d a properly chosen in a way that they avoid the roots R 2 of the polynomial P 2 ( τ ) . We distinguish two cases.
First case: assume that deg ( P 1 ) < deg ( P 2 ) . Then, we can get a constant A 1 , 2 > 0 (which relies on P 1 , P 2 ) with
sup τ S d D ( 0 , ρ ) | P 1 ( τ ) / P 2 ( τ ) | 1 + | τ | 2 | τ | exp ( σ r b ( S ) | τ | ) sup x 0 A 1 , 2 exp ( σ r b ( S ) x ) = A 1 , 2 .
Second case: assume that deg ( P 1 ) deg ( P 2 ) . We need to recall the classical estimates for some real numbers m 1 0 , m 2 > 0 ,
sup x 0 x m 1 exp ( m 2 x ) = ( m 1 / m 2 ) m 1 e m 1
with the convention that 0 0 = 1 . Then, by construction, two constants A ^ 1 , 2 , B ^ 1 , 2 > 0 can be singled out with
sup τ S d D ( 0 , ρ ) | P 1 ( τ ) / P 2 ( τ ) | 1 + | τ | 2 | τ | exp ( σ r b ( S ) | τ | ) sup x 0 ( A ^ 1 , 2 x deg ( P 1 ) deg ( P 2 ) + 1 + B ^ 1 , 2 ) exp ( σ r b ( S ) x ) A ^ 1 , 2 deg ( P 1 ) deg ( P 2 ) + 1 σ r b ( S ) deg ( P 1 ) deg ( P 2 ) + 1 exp ( ( deg ( P 1 ) deg ( P 2 ) + 1 ) ) + B ^ 1 , 2 .
We now focus on the second point (2). From Proposition 3, one can choose two constants K l 1 , L l 1 > 0 and M > 0 introduced in (31) such that
| ω l 1 , p ( τ , ϵ ) | K l 1 ( L l 1 ) p | τ | 1 + | τ | 2 exp ( M | τ | )
holds for all τ C , provided that ϵ D ( 0 , ϵ 0 ) { 0 } . Moreover, from our hypothesis, we know that
| W q , β 2 + l 3 ( τ , ϵ ) | | | W q , β 2 + l 3 ( τ , ϵ ) | | ( β 2 + l 3 , σ , S d , ρ ) | τ | 1 + | τ | 2 exp ( σ r b ( β 2 + l 3 ) | τ | )
provided that τ S d D ( 0 , ρ ) and ϵ D ( 0 , ϵ 0 ) { 0 } . Furthermore, since r b ( β 2 + l 3 ) 1 , we observe that M σ r b ( β 2 + l 3 ) , and from the definition of F in (84), we deduce the next sequence of bounds
τ 0 τ ω l 1 , p ( τ s , ϵ ) s m 1 W q , β 2 + l 3 ( s , ϵ ) d s ( τ s ) s | τ | 0 | τ | K l 1 ( L l 1 ) p 1 1 + ( | τ | h ) 2 exp ( M ( | τ | h ) ) h m 1 | | W q , β 2 + l 3 ( τ , ϵ ) | | ( β 2 + l 3 , σ , S d , ρ ) × 1 1 + h 2 exp ( σ r b ( β 2 + l 3 ) h ) d h K l 1 ( L l 1 ) p | | W q , β 2 + l 3 ( τ , ϵ ) | | ( β 2 + l 3 , σ , S d , ρ ) × | τ | 0 | τ | 1 1 + ( | τ | h ) 2 1 1 + h 2 exp ( σ r b ( β 2 + l 3 ) ( | τ | h ) ) exp ( σ r b ( β 2 + l 3 ) h ) h m 1 d h K l 1 ( L l 1 ) p | | W q , β 2 + l 3 ( τ , ϵ ) | | ( β 2 + l 3 , σ , S d , ρ ) F | τ | 1 + | τ | 2 | τ | m 1 exp ( σ r b ( β 2 + l 3 ) | τ | ) K l 1 ( L l 1 ) p | | W q , β 2 + l 3 ( τ , ϵ ) | | ( β 2 + l 3 , σ , S d , ρ ) F × | τ | m 1 exp ( σ r b ( β 2 + l 3 ) σ r b ( β + S ) ) | τ | × | τ | 1 + | τ | 2 exp ( σ r b ( β + S ) | τ | )
for all τ S d D ( 0 , ρ ) and ϵ D ( 0 , ϵ 0 ) { 0 } . On the other hand, by construction of r b ( β ) , we observe that
r b ( β + S ) r b ( β 2 + l 3 ) = n = β 2 + l 3 + 1 β + S 1 ( n + 1 ) b β + S ( β 2 + l 3 ) ( β + S + 1 ) b = β 1 + S l 3 ( β + S + 1 ) b
for β 1 = β β 2 . Then, according to the exponential bounds (119), we observe that
| τ | m 1 exp ( σ r b ( β 2 + l 3 ) σ r b ( β + S ) ) | τ | | τ | m 1 exp σ β 1 + S l 3 ( β + S + 1 ) b | τ | sup x 0 x m 1 exp σ β 1 + S l 3 ( β + S + 1 ) b x = m 1 m 1 e m 1 ( β + S + 1 ) b m 1 ( β 1 + S l 3 ) m 1 m 1 m 1 e m 1 ( β + S + 1 ) b m 1
for all τ C . Finally, gathering (123) and (125) gives raise to (115).
For the second inequality of (2), we recall the bounds (73) from Proposition 3,
sup ϵ D ( 0 , ϵ 0 ) | a l 1 , p ( ϵ ) | A l 1 ( B l 1 ) p
and (122) from which the next estimates follow,
a l 1 , p ( ϵ ) τ m 1 W q , β 2 + l 3 ( τ , ϵ ) A l 1 ( B l 1 ) p | τ | m 1 | | W q , β 2 + l 3 ( τ , ϵ ) | | ( β 2 + l 3 , σ , S d , ρ ) × | τ | 1 + | τ | 2 exp ( σ r b ( β 2 + l 3 ) | τ | ) A l 1 ( B l 1 ) p | | W q , β 2 + l 3 ( τ , ϵ ) | | ( β 2 + l 3 , σ , S d , ρ ) | τ | m 1 exp ( σ r b ( β 2 + l 3 ) σ r b ( β + S ) ) | τ | ] × | τ | 1 + | τ | 2 exp ( σ r b ( β + S ) | τ | )
whenever τ S d D ( 0 , ρ ) and ϵ D ( 0 , ϵ 0 ) { 0 } . Calling in again (125) yields the expected bounds (116).
At last, we discuss the third point (3). Owing to our assumption, we can control the functions W p , h 1 and W q , h 2 from above as follows
| W p , h 1 ( τ , ϵ ) | | | W p , h 1 ( τ , ϵ ) | | ( h 1 , σ , S d , ρ ) | τ | 1 + | τ | 2 exp ( σ r b ( h 1 ) | τ | )
and
| W q , h 2 ( τ , ϵ ) | | | W q , h 2 ( τ , ϵ ) | | ( h 2 , σ , S d , ρ ) | τ | 1 + | τ | 2 exp ( σ r b ( h 2 ) | τ | )
for τ S d D ( 0 , ρ ) and ϵ D ( 0 , ϵ 0 ) { 0 } . Observing that r b ( h j ) r b ( β + S ) for j = 1 , 2 , and bearing in mind the definition of the constant F in (84), we deduce estimates for the convolution product
τ 0 τ W p , h 1 ( τ s , ϵ ) W q , h 2 ( s , ϵ ) d s ( τ s ) s | τ | 0 | τ | | | W p , h 1 ( τ , ϵ ) | | ( h 1 , σ , S d , ρ ) 1 1 + ( | τ | h ) 2 exp ( σ r b ( h 1 ) ( | τ | h ) ) × | | W q , h 2 ( τ , ϵ ) | | ( h 2 , σ , S d , ρ ) 1 1 + h 2 exp ( σ r b ( h 2 ) h ) d h F | | W p , h 1 ( τ , ϵ ) | | ( h 1 , σ , S d , ρ ) | | W q , h 2 ( τ , ϵ ) | | ( h 2 , σ , S d , ρ ) × | τ | 1 + | τ | 2 exp ( σ r b ( β + S ) | τ | )
provided that τ S d D ( 0 , ρ ) and ϵ D ( 0 , ϵ 0 ) { 0 } . This leads to (117). □
In the sequel, we define the next sequence of numbers
W n , β = sup ϵ D ( 0 , ϵ 0 ) { 0 } | | W n , β ( τ , ϵ ) | | ( β , σ , S d , ρ )
for all n , β 0 .
According to the recursion (110) together with the constraints (111) and taking into account the estimates of Proposition 4, we obtain the next inequalities for the sequence W 0 , β , β 0 ,
W 0 , β + S β ! l = ( l 1 , l 2 , l 3 ) I , l 1 1 ϵ 0 Δ l l 1 β 1 + β 2 = β ( K l 1 W 0 , β 2 + l 3 β 2 ! F l 2 l 2 e l 2 ( β + S + 1 ) b l 2 + A l 1 W 0 , β 2 + l 3 β 2 ! l 2 l 2 e l 2 ( β + S + 1 ) b l 2 ) × sup ϵ D ( 0 , ϵ 0 ) | d l , β 1 ( ϵ ) | β 1 ! + l = ( l 1 , l 2 , l 3 ) I , l 1 = 0 ϵ 0 Δ l l 1 β 1 + β 2 = β sup ϵ D ( 0 , ϵ 0 ) | d l , β 1 ( ϵ ) | β 1 ! W 0 , β 2 + l 3 β 2 ! l 2 l 2 e l 2 ( β + S + 1 ) b l 2 + β 1 + β 2 = β sup ϵ D ( 0 , ϵ 0 ) | e β 1 ( ϵ ) | β 1 ! × h 1 + h 2 = β 2 F W 0 , h 1 h 1 ! W 0 , h 2 h 2 ! + P 1 , 2 δ 0 , β
for δ 0 , 0 = 1 and δ 0 , β = 0 if β 1 , under the condition that
W 0 , j = sup ϵ D ( 0 , ϵ 0 ) { 0 } | | Q j ( τ ) | | ( j , σ , S d , ρ ) , 0 j S 1
which are, by construction, finite positive numbers. Moreover, owing to the recursion (112) subjected to the conditions (113), with the help of the binomial expansion
( τ + q ϵ α + 1 2 ) l 2 = m 1 + m 2 = l 2 l 2 ! m 1 ! m 2 ! τ m 1 ϵ α + 1 2 m 2 q m 2
for 0 q n , the bounds of Proposition 4 allows us to get inequalities for the whole sequence W n , β , for any n 1 , all β 0 . Specifically,
W n , β + S β ! l = ( l 1 , l 2 , l 3 ) I , l 1 1 ϵ 0 Δ l l 1 β 1 + β 2 = β ( p + q = n [ m 1 + m 2 = l 2 l 2 ! m 1 ! m 2 ! ϵ 0 α + 1 2 m 2 q m 2 × K l 1 ( L l 1 ) p W q , β 2 + l 3 β 2 ! F m 1 m 1 e m 1 ( β + S + 1 ) b m 1 + m 1 + m 2 = l 2 l 2 ! m 1 ! m 2 ! ϵ 0 α + 1 2 m 2 q m 2 × A l 1 ( B l 1 ) p W q , β 2 + l 3 β 2 ! m 1 m 1 e m 1 ( β + S + 1 ) b m 1 ] ) × sup ϵ D ( 0 , ϵ 0 ) | d l , β 1 ( ϵ ) | β 1 ! + l = ( l 1 , l 2 , l 3 ) I , l 1 = 0 ϵ 0 Δ l l 1 β 1 + β 2 = β sup ϵ D ( 0 , ϵ 0 ) | d l , β 1 ( ϵ ) | β 1 ! × [ m 1 + m 2 = l 2 l 2 ! m 1 ! m 2 ! ϵ 0 α + 1 2 m 2 n m 2 × W n , β 2 + l 3 β 2 ! m 1 m 1 e m 1 ( β + S + 1 ) b m 1 ] + β 1 + β 2 = β sup ϵ D ( 0 , ϵ 0 ) | e β 1 ( ϵ ) | β 1 ! × p + q = n h 1 + h 2 = β 2 W p , h 1 h 1 ! W q , h 2 h 2 ! F
under the additional condition that
W n , j = 0 , 0 j S 1 , n 1 .
At this point of the proof, we plan to apply a majorant series method in order to be able to provide upper bounds for the whole sequence W n , β , for any integers n , β 0 . Indeed, let us introduce a sequence of positive numbers W n , β for integers n , β 0 which are submitted to the next recursive relations.
For n = 0 , the sequence W 0 , β , β 0 fulfills
W 0 , β + S β ! = l = ( l 1 , l 2 , l 3 ) I , l 1 1 ϵ 0 Δ l l 1 β 1 + β 2 = β ( K l 1 W 0 , β 2 + l 3 β 2 ! F l 2 l 2 e l 2 ( β + S + 1 ) b l 2 + A l 1 W 0 , β 2 + l 3 β 2 ! l 2 l 2 e l 2 ( β + S + 1 ) b l 2 ) × sup ϵ D ( 0 , ϵ 0 ) | d l , β 1 ( ϵ ) | β 1 ! + l = ( l 1 , l 2 , l 3 ) I , l 1 = 0 ϵ 0 Δ l l 1 β 1 + β 2 = β sup ϵ D ( 0 , ϵ 0 ) | d l , β 1 ( ϵ ) | β 1 ! W 0 , β 2 + l 3 β 2 ! l 2 l 2 e l 2 ( β + S + 1 ) b l 2 + β 1 + β 2 = β sup ϵ D ( 0 , ϵ 0 ) | e β 1 ( ϵ ) | β 1 ! × h 1 + h 2 = β 2 F W 0 , h 1 h 1 ! W 0 , h 2 h 2 ! + P 1 , 2 δ 0 , β
for δ 0 , 0 = 1 and δ 0 , β = 0 if β 1 , strained to
W 0 , j = sup ϵ D ( 0 , ϵ 0 ) { 0 } | | Q j ( τ ) | | ( j , σ , S d , ρ ) , 0 j S 1 .
For any integer n 1 , the sequence W n , β obeys the next rule
W n , β + S β ! = l = ( l 1 , l 2 , l 3 ) I , l 1 1 ϵ 0 Δ l l 1 β 1 + β 2 = β ( p + q = n [ m 1 + m 2 = l 2 l 2 ! m 1 ! m 2 ! ϵ 0 α + 1 2 m 2 q m 2 × K l 1 ( L l 1 ) p W q , β 2 + l 3 β 2 ! F m 1 m 1 e m 1 ( β + S + 1 ) b m 1 + m 1 + m 2 = l 2 l 2 ! m 1 ! m 2 ! ϵ 0 α + 1 2 m 2 q m 2 × A l 1 ( B l 1 ) p W q , β 2 + l 3 β 2 ! m 1 m 1 e m 1 ( β + S + 1 ) b m 1 ] ) × sup ϵ D ( 0 , ϵ 0 ) | d l , β 1 ( ϵ ) | β 1 ! + l = ( l 1 , l 2 , l 3 ) I , l 1 = 0 ϵ 0 Δ l l 1 β 1 + β 2 = β sup ϵ D ( 0 , ϵ 0 ) | d l , β 1 ( ϵ ) | β 1 ! × [ m 1 + m 2 = l 2 l 2 ! m 1 ! m 2 ! ϵ 0 α + 1 2 m 2 n m 2 × W n , β 2 + l 3 β 2 ! m 1 m 1 e m 1 ( β + S + 1 ) b m 1 ] + β 1 + β 2 = β sup ϵ D ( 0 , ϵ 0 ) | e β 1 ( ϵ ) | β 1 ! × p + q = n h 1 + h 2 = β 2 W p , h 1 h 1 ! W q , h 2 h 2 ! F
for the given vanishing data
W n , j = 0 , 0 j S 1 , n 1 .
We can check by induction the important fact that
W n , β W n , β
for any integers n , β 0 . We build up the generating series
W ( X , Z ) = n 0 , β 0 W n , β β ! X n Z β .
Our next intention is to show that these series solve a Cauchy–Kowaleski type PDE, see (145), (146). Indeed, we define the next convergent series
G 1 , l 1 ( X ) = n 0 K l 1 ( L l 1 ) n X n , G 2 , l 1 ( X ) = n 0 A l 1 ( B l 1 ) n X n
and
D l ( Z ) = β 0 sup ϵ D ( 0 , ϵ 0 ) | d l , β ( ϵ ) | β ! Z β , E ( Z ) = β 0 sup ϵ D ( 0 , ϵ 0 ) | e β ( ϵ ) | β ! Z β
for l = ( l 1 , l 2 , l 3 ) I . We now briefly describe the action of basic differential operators on W ( X , Z ) , namely
z l W ( X , Z ) = n 0 , β 0 W n , β + l β ! X n Z β , ( Z Z ) m 1 W ( X , Z ) = n 0 , β 0 β m 1 W n , β β ! X n Z β , ( X X ) m 2 W ( X , Z ) = n 0 , β 0 n m 2 W n , β β ! X n Z β
for integers l , m 1 , m 2 1 and the product by convergent series
G ( X ) = n 0 G n X n , D ( Z ) = β 0 D β β ! Z β
with W which yields the expansions
G ( X ) W ( X , Z ) = n 0 , β 0 p + q = n G p W q , β β ! X n Z β , D ( Z ) W ( X , Z ) = n 0 , β 0 β 1 + β 2 = β D β 1 β 1 ! W n , β 2 β 2 ! X n Z β
together with
W ( X , Z ) W ( X , Z ) = n 0 , β 0 p + q = n h 1 + h 2 = β W p , h 1 h 1 ! W q , h 2 h 2 ! X n Z β .
From the recursions (134) and (136) under the Cauchy data (135) and (137), with the help of the above identities (142), (143) and (144) we obtain that W ( X , Z ) solves the next Cauchy problem
Z S W ( X , Z ) = l = ( l 1 , l 2 , l 3 ) I , l 1 1 ϵ 0 Δ l l 1 [ m 1 + m 2 = l 2 l 2 ! m 1 ! m 2 ! ϵ 0 α + 1 2 m 2 F m 1 m 1 e m 1 × ( Z Z + S + 1 ) b m 1 ( G 1 , l 1 ( X ) × ( X X ) m 2 Z l 3 W ( X , Z ) × D l ( Z ) ) + m 1 + m 2 = l 2 l 2 ! m 1 ! m 2 ! ϵ 0 α + 1 2 m 2 m 1 m 1 e m 1 × ( Z Z + S + 1 ) b m 1 ( G 2 , l 1 ( X ) × ( X X ) m 2 Z l 3 W ( X , Z ) × D l ( Z ) ) ] + l = ( l 1 , l 2 , l 3 ) I , l 1 = 0 ϵ 0 Δ l l 1 ( m 1 + m 2 = l 2 l 2 ! m 1 ! m 2 ! ϵ 0 α + 1 2 m 2 m 1 m 1 e m 1 ( Z Z + S + 1 ) b m 1 ( D l ( Z ) × ( X X ) m 2 Z l 3 W ( X , Z ) ) ) + E ( Z ) F ( W ( X , Z ) ) 2 + P 1 , 2
for given constant Cauchy data
( Z j W ) ( X , 0 ) W 0 , j , 0 j S 1 .
We now need to call upon the classical Cauchy-Kowalevski theorem (see [16], Chapter 1 for a reference), outlined below.
Theorem CK.
Consider a non-linear partial differential equation of the form
(a) 
x β u ( t , x ) = F ( t , x , ( t α 0 x α 1 u ( t , x ) ) ( α 0 , α 1 ) I )
for some integer β 1 , where I = { ( α 0 , α 1 ) N 2 : α 0 + α 1 β , α 1 < β } , and F is analytic in the variables t , x in a neighborhood of the origin in C 2 and polynomial in its other arguments, with Cauchy data
(b) 
( x k u ) ( t , 0 ) = φ k ( t ) , 0 k β 1
for 0 k β 1 , where φ k are analytic functions in a neighborhood of the origin in C . Then, the problem ( a ) , ( b ) has a unique solution u that is analytic in a neighborhood of the origin in C 2 .
Under the hypothesis that (10) hold, we observe that the above theorem applies. Hence, the problem (145), (146) has a unique analytic solution on some polydisc D ( 0 , X 0 ) × D ( 0 , Z 0 ) near 0 in C 2 for some X 0 , Z 0 > 0 . As a result, the constructed formal series W ( X , Z ) is actually convergent on the domain D ( 0 , X 0 ) × D ( 0 , Z 0 ) . This means that one can find constants W > 0 , X 1 , Z 1 > 0 such that
0 W n , β W ( X 1 ) n ( Z 1 ) β β !
for all n , β 0 .
In particular, from the lower bounds (138) and the definition of the sequence W n , β in (129), we deduce the next upper bounds for the set of functions W n , β ( τ , ϵ ) , n , β 0 that solve the recursive relations (110), (112) for Cauchy data (111), (113).
Proposition 5.
One can single out constants W , X 1 , Z 1 > 0 with
| W n , β ( τ , ϵ ) | W ( X 1 ) n ( Z 1 ) β β ! | τ | 1 + | τ | 2 exp ( σ r b ( β ) | τ | )
whenever ϵ D ( 0 , ϵ 0 ) { 0 } , for all τ S d D ( 0 , ρ ) , for a direction d (that relies on ϵ) constructed as in Proposition 1 and a small radius ρ chosen in a way that the domain S d D ( 0 , ρ ) avoids the set of the roots R 2 of the polynomial P 2 ( τ ) .
As a consequence of the latter proposition, the formal power series z W n ( τ , z , ϵ ) defined in (102) turns out to be be an analytic function on the disc D ( 0 , 1 / ( 2 Z 1 ) ) . More precisely, for all ϵ D ( 0 , ϵ 0 ) { 0 } , all integers n 0 , the map ( τ , z ) W n ( τ , z , ϵ ) is holomorphic on the product ( S d D ( 0 , ρ ) ) × D ( 0 , 1 / ( 2 Z 1 ) ) and suffers the next bounds
| W n ( τ , z , ϵ ) | 2 W ( X 1 ) n | τ | 1 + | τ | 2 exp ( σ ζ ( b ) | τ | )
where ζ ( b ) = n 0 1 / ( n + 1 ) b , provided that τ S d D ( 0 , ρ ) , z D ( 0 , 1 / ( 2 Z 1 ) ) . Furthermore, for n = 0 , W 0 ( τ , z , ϵ ) solves (100) and for n 1 , W n ( τ , z , ϵ ) fulfills (101) on the above domain.

4. Construction of Inner Analytic Solutions to the Main Problem and Their Parametric Asymptotic Expansions

We build up a set of genuine solutions to our initial problems (11) and (23) subjected to (12). We label these solutions as inner solutions in the terminology of the so-called boundary layer expansions since their domain of holomorphy in time turns out to depend on the parameter ϵ and comes close to the origin when ϵ tends to 0. This family of solutions is based on the following definition of so-called good covering in C .
Definition 2.
Let ι 2 be an integer. We consider a finite set E ̲ = { E p } 0 p ι 1 where E p stand for open sectors with vertex at 0 such that E p D ( 0 , ϵ 0 ) which fulfills the next three assumptions:
(i) 
E p E p + 1 for all 0 p ι 1 (with the convention that E ι = E 0 ).
(ii) 
E p 1 E p 2 E p 3 = for any distinct integers 0 p j ι 1 , j = 1 , 2 , 3 .
(iii) 
The union of all the sectors E p covers a punctured disc centered at 0 in C .
Then, the set E ̲ is called a good covering in C .
In the forthcoming definition, we describe the notion of admissible set of sectors relatively to a good covering.
Definition 3.
We consider a good covering E ̲ = { E p } 0 p ι 1 in C and a set of unbounded sectors S d p , 0 p ι 1 with bisecting direction d p R that fulfill the next two properties:
(1) The next inclusion
S d p ϵ E p S d
holds.
(2) There exists Δ > 0 such that for all ϵ E p , one can choose a direction γ p R (that may depend on ϵ) with L γ p = R + exp ( 1 γ p ) S d p { 0 } for which
cos ( γ p arg ( ϵ α + 1 2 ) + π ) < Δ
holds.
In that case, the family of sectors S = { S d p } 0 p ι 1 is called admissible relatively to E ̲ .
We now discuss the feasibility of such a construction. Indeed, for a given sector E p , we construct the sector
S d p = ϵ E p L arg ( ϵ ( α + 1 ) / 2 ) + Δ p
where
L arg ( ϵ ( α + 1 ) / 2 ) + Δ p = ( 0 , + ) exp ( 1 ( arg ( ϵ ( α + 1 ) / 2 ) + Δ p ) )
for some positive number Δ p > 0 (which is taken less than π / 2 and relies on p) and for each ϵ E p , we choose a sector S arg ( ϵ ( α + 1 ) / 2 ) + Δ p with bisecting direction arg ( ϵ ( α + 1 ) / 2 ) + Δ p and with large enough opening such that
S d p S arg ( ϵ ( α + 1 ) / 2 ) + Δ p
Furthermore, we adjust Δ p > 0 in a way that the union
ϵ E p S arg ( ϵ ( α + 1 ) / 2 ) + Δ p
avoids the set of the roots R 2 of the polynomial P 2 ( τ ) . Such an arrangement is achievable if the opening of E p is taken small enough. Therefore the first property (1) follows.
For the second point (2), let ϵ E p and set
γ p = arg ( ϵ ( α + 1 ) / 2 ) + Δ p .
Observe in particular that L γ p = R + e 1 γ p S d p { 0 } . By construction, we get that
cos ( γ p arg ( ϵ ( α + 1 ) / 2 ) + π ) = cos ( Δ p + π ) < Δ
for some Δ > 0 .
In the first main statement of the work, we construct a family of actual holomorphic solutions to our main problems (11) and (23) under the Cauchy data (12). These solutions are defined on the sectors of a good covering E ̲ = { E p } 0 p ι 1 in C w.r.t the perturbation parameter ϵ . We control the difference between neighboring solutions on the intersection of sectors E p E p + 1 where exponentially flat estimates are witnessed.
Theorem 1.
Assume that the requirement (10) on the shape of Equation (11) holds. We fix a good covering E ̲ = { E p } 0 p ι 1 in C together with an admissible set of sectors S = { S d p } 0 p ι 1 relatively to E ̲ .
Then, for all ϵ E p , one can exhibit a solution ( t , z ) u p ( t , z , ϵ ) of the main problems (11) and (23) submitted to the Cauchy data (12) that remains bounded holomorphic on a domain T ϵ × D ( 0 , r ) provided that r , ϵ 0 > 0 are taken small enough. This solution is represented as an exponential transseries expansion which contains infinitely many special Laplace transforms
u p ( t , z , ϵ ) = n 0 L γ p W n ( τ , z , ϵ ) exp ( τ a ( ϵ t , ϵ ) ) d τ τ exp n ϵ α + 1 2 a ( ϵ t , ϵ )
where W n ( τ , z , ϵ ) is the sequence of functions disclosed at the end of Section 3, for ϵ E p .
Furthermore, the functions
( x , z , ϵ ) u p ( ϵ α 1 2 x , z , ϵ )
are bounded holomorphic on the domain χ 1 × D ( 0 , r ) × E p , for 0 p ι 1 . These functions suffer the next bounds: There exist constants K p , M p > 0 such that
sup x χ 1 , z D ( 0 , r ) u p + 1 ( ϵ α 1 2 x , z , ϵ ) u p ( ϵ α 1 2 x , z , ϵ ) K p exp M p / | ϵ | α + 1 2
for all ϵ E p E p + 1 , for 0 p ι 1 (where by convention u ι = u 0 ).
Proof. 
In view of the feature (150) for the admissible set S , we remind the reader the construction we have reached at the end of Section 3. Specifically, we have singled out a sequence of functions W n ( τ , z , ϵ ) , n 0 satisfying the following property:
Let 0 p ι 1 and n 0 an integer, for all ϵ E p , the map ( τ , z ) W n ( τ , z , ϵ ) is holomorphic on the product ( S d p D ( 0 , ρ ) ) × D ( 0 , r ) , provided that 0 < r 1 / ( 2 Z 1 ) and is subjected to the bounds (149) whenever τ S d p D ( 0 , ρ ) and z D ( 0 , r ) .
For each 0 p ι 1 , we define the function
U p ( T , z , ϵ ) = n 0 L γ p W n ( τ , z , ϵ ) exp ( τ a ( T , ϵ ) ) d τ τ exp n ϵ α + 1 2 a ( T , ϵ )
where the integration halfline L γ p is chosen accordingly to Definition 3. We now show that when ϵ E p , the map ( T , z ) U p ( T , z , ϵ ) is well defined on the domain ϵ T ϵ × D ( 0 , r ) whenever the outer radius r 2 > 0 of χ 0 in (26) is taken small enough. Indeed, owing to the factorization (28), the next bounds hold
| U p ( T , z , ϵ ) | n 0 0 + 2 W ( X 1 ) n 1 1 + s 2 exp ( σ ζ ( b ) s ) × exp s 2 | ϵ | α + 1 2 log | x 1 x + 1 | | 1 + a in ( x ) | × cos γ p arg ( ϵ α + 1 2 ) + π + arg ( 1 + a in ( x ) ) d s × exp n 2 log | x 1 x + 1 | | 1 + a in ( x ) | × cos π + arg ( 1 + a in ( x ) )
for ϵ E p and ( T , z ) ϵ T ϵ × D ( 0 , r ) .
Bearing in mind (29), the lower bounds
| 1 + a in ( x ) | 1 δ
hold for x χ 1 , whenever δ > 0 is small enough and from (30), we deduce that
log | x 1 x + 1 | > log 2 r 2 r 2
provided that r 2 > 0 is small enough, when x χ 1 . Moreover, owing to the constraint (151), we deduce that
cos γ p arg ( ϵ α + 1 2 ) + π + arg ( 1 + a in ( x ) ) < Δ
for all x χ 1 whenever r 2 > 0 is taken small enough. Similarly, we can get a constant Δ 1 > 0 for which
cos π + arg ( 1 + a in ( x ) ) < Δ 1
when x belongs to χ 1 and r 2 > 0 is chosen close to 0.
Now, we choose r 2 > 0 in the vicinity of 0 in a way that both inequalities
0 < X 1 exp 1 2 log 2 r 2 r 2 ( 1 δ ) Δ 1 1 / 2
and
σ ζ ( b ) 1 2 ϵ 0 α + 1 2 log 2 r 2 r 2 ( 1 δ ) Δ 1 / 2
hold. Applying the lower bounds (155), (156) together with (157), (158) to (154) under the additional restrictions (159), (160), we deduce that
| U p ( T , z , ϵ ) | 2 W 0 + e s / 2 d s × n 0 ( 1 / 2 ) n = 8 W
for ϵ E p and ( T , z ) ϵ T ϵ × D ( 0 , r ) . Furthermore, from the bounds given above, for all ϵ E p , the series defining U p ( T , z , ϵ ) converge uniformly on the domain ϵ T ϵ × D ( 0 , r ) . Therefore, the map ( T , z ) U p ( T , z , ϵ ) is holomorphic on the domain ϵ T ϵ × D ( 0 , r ) . Since the function W 0 ( τ , z , ϵ ) solves the convolution Equation (100) and W n ( τ , z , ϵ ) satisfies (101) for all n 1 , the sequence of formal computations (95)–(99) are now justified and once performed they show that for all ϵ E p , the map ( T , z ) U p ( T , z , ϵ ) solves the Cauchy problem (24), (25) on the domain ϵ T ϵ × D ( 0 , r ) .
At last, for 0 p ι 1 , we set forth
u p ( t , z , ϵ ) = U p ( ϵ t , z , ϵ ) = n 0 L γ p W n ( τ , z , ϵ ) exp ( τ a ( ϵ t , ϵ ) ) d τ τ exp n ϵ α + 1 2 a ( ϵ t , ϵ ) .
According to the construction above, for each 0 p ι 1 , the function ( t , z ) u p ( t , z , ϵ ) is bounded, holomorphic and solves the main Cauchy problem (11), (12) (and hence the singularly perturbed Cauchy problem (23), (12)) on the domain T ϵ × D ( 0 , r ) . Furthermore, the maps
( x , z , ϵ ) u p ( ϵ α 1 2 x , z , ϵ )
represent bounded holomorphic functions on the domain χ 1 × D ( 0 , r ) × E p , for all 0 p ι 1 .
In the second part of the proof, we discuss the bounds (153). Let 0 p ι 1 . For all integers n 0 , the partial maps
τ W n ( τ , z , ϵ ) exp ( τ a ( ϵ t , ϵ ) ) / τ
are bounded and holomorphic on the disc D ( 0 , ρ ) , provided that ϵ E p E p + 1 and z D ( 0 , r ) . By Cauchy’s theorem, its integral must vanish along the next oriented path depicted as the union of
(a)
the segment joining 0 and ( ρ / 2 ) exp ( 1 γ p + 1 ) ,
(b)
the arc of circle with radius ρ / 2 which relates the two points ( ρ / 2 ) exp ( 1 γ p + 1 ) and ( ρ / 2 ) exp ( 1 γ p ) ,
(c)
the segment which attaches ( ρ / 2 ) exp ( 1 γ p ) and 0.
As a result, we can split the difference u p + 1 u p into a sum of three exponential transseries. Specifically,
u p + 1 ( ϵ α 1 2 x , z , ϵ ) u p ( ϵ α 1 2 x , z , ϵ ) = n 0 L ρ / 2 , γ p + 1 W n ( τ , z , ϵ ) exp ( τ a ( ϵ α + 1 2 x , ϵ ) ) d τ τ exp n ϵ α + 1 2 a ( ϵ α + 1 2 x , ϵ ) n 0 L ρ / 2 , γ p W n ( τ , z , ϵ ) exp ( τ a ( ϵ α + 1 2 x , ϵ ) ) d τ τ exp n ϵ α + 1 2 a ( ϵ α + 1 2 x , ϵ ) + n 0 C ρ / 2 , γ p , γ p + 1 W n ( τ , z , ϵ ) exp ( τ a ( ϵ α + 1 2 x , ϵ ) ) d τ τ exp n ϵ α + 1 2 a ( ϵ α + 1 2 x , ϵ )
where
L ρ / 2 , γ j = [ ρ / 2 , + ) exp ( 1 γ j ) , j = p , p + 1
are halflines in directions γ j at the distance ρ / 2 from the origin and C ρ / 2 , γ p , γ p + 1 represents an arc of circle with radius ρ / 2 that joins the above two lines.
We evaluate the first sum
I 1 = n 0 L ρ / 2 , γ p + 1 W n ( τ , z , ϵ ) exp ( τ a ( ϵ α + 1 2 x , ϵ ) ) d τ τ exp n ϵ α + 1 2 a ( ϵ α + 1 2 x , ϵ ) .
Bearing in mind the bounds (149) and the factorization (28), we get that
I 1 n 0 ρ / 2 + 2 W ( X 1 ) n 1 1 + s 2 exp ( σ ζ ( b ) s ) × exp s 2 | ϵ | α + 1 2 log | x 1 x + 1 | | 1 + a in ( x ) | × cos γ p + 1 arg ( ϵ α + 1 2 ) + π + arg ( 1 + a in ( x ) ) d s × exp n 2 log | x 1 x + 1 | | 1 + a in ( x ) | × cos π + arg ( 1 + a in ( x ) )
for ϵ E p E p + 1 , x χ 1 and z D ( 0 , r ) . The lower bounds (155), (156) and angles estimates (157) (for γ p replaced by γ p + 1 ), (158) yield that
I 1 n 0 ρ / 2 + 2 W ( X 1 ) n exp ( σ ζ ( b ) s ) × exp s 2 | ϵ | α + 1 2 log 2 r 2 r 2 ( 1 δ ) Δ d s × exp n 2 log 2 r 2 r 2 ( 1 δ ) Δ 1
for ϵ E p E p + 1 , x χ 1 , z D ( 0 , r ) . We select a positive real number δ 1 > 0 such that
σ ζ ( b ) ϵ 0 α + 1 2 1 2 log 2 r 2 r 2 ( 1 δ ) Δ δ 1
holds. Notice that such a δ 1 > 0 is ensured to exist if r 2 > 0 is taken close enough to 0. On the other hand, we take for granted that (159) is verified. Then, we obtain
I 1 2 W n 0 ( 1 / 2 ) n × ρ / 2 + exp δ 1 | ϵ | α + 1 2 s d s = 4 W | ϵ | α + 1 2 δ 1 exp δ 1 | ϵ | α + 1 2 ρ 2
provided that ϵ E p E p + 1 , x χ 1 , z D ( 0 , r ) .
In a similar manner, we can reach upper bounds for the second piece of the decomposition (161)
I 2 = n 0 L ρ / 2 , γ p W n ( τ , z , ϵ ) exp ( τ a ( ϵ α + 1 2 x , ϵ ) ) d τ τ exp n ϵ α + 1 2 a ( ϵ α + 1 2 x , ϵ ) .
Specifically,
I 2 4 W | ϵ | α + 1 2 δ 1 exp δ 1 | ϵ | α + 1 2 ρ 2
for all ϵ E p E p + 1 , x χ 1 , z D ( 0 , r ) and δ 1 > 0 chosen as above in (164).
For our last task, we handle the transseries integrated along an arc of circle
I 3 = n 0 C ρ / 2 , γ p , γ p + 1 W n ( τ , z , ϵ ) exp ( τ a ( ϵ α + 1 2 x , ϵ ) ) d τ τ exp n ϵ α + 1 2 a ( ϵ α + 1 2 x , ϵ ) .
Again the bounds (149) and the factorization (28) give rise to
I 3 n 0 γ p γ p + 1 2 W ( X 1 ) n ρ / 2 1 + ( ρ / 2 ) 2 exp ( σ ζ ( b ) ρ / 2 ) × exp ρ / 2 2 | ϵ | α + 1 2 log | x 1 x + 1 | | 1 + a in ( x ) | cos θ arg ( ϵ α + 1 2 ) + π + arg ( 1 + a in ( x ) ) d θ × exp n 2 log | x 1 x + 1 | | 1 + a in ( x ) | cos π + arg ( 1 + a in ( x ) ) .
Since the estimates (157) hold true for both angles γ p and γ p + 1 , one checks that
cos θ arg ( ϵ α + 1 2 ) + π + arg ( 1 + a in ( x ) ) < Δ
is valid for all θ ( γ p , γ p + 1 ) if γ p < γ p + 1 or θ ( γ p + 1 , γ p ) if γ p + 1 > γ p . Furthermore, taking into account the lower bounds (155), (156) together with the angle inequality (158), we come out with
I 3 n 0 | γ p γ p + 1 | 2 W ( X 1 ) n ρ / 2 1 + ( ρ / 2 ) 2 exp ( σ ζ ( b ) ρ / 2 ) × exp ρ / 2 2 | ϵ | α + 1 2 log 2 r 2 r 2 ( 1 δ ) Δ × exp n 2 log 2 r 2 r 2 ( 1 δ ) Δ 1
provided that ϵ E p E p + 1 , x χ 1 , z D ( 0 , r ) . We select δ 1 > 0 as in (164) and we assume that (159) to be valid. Then,
I 3 2 W | γ p γ p + 1 | ρ / 2 1 + ( ρ / 2 ) 2 exp δ 1 ρ 2 | ϵ | α + 1 2 n 0 ( 1 / 2 ) n = 4 W | γ p γ p + 1 | ρ / 2 1 + ( ρ / 2 ) 2 exp δ 1 ρ 2 | ϵ | α + 1 2
whenever ϵ E p E p + 1 , x χ 1 , z D ( 0 , r ) .
In conclusion, the collection of bounds (165), (166), (168) applied to the decomposition (161) give rise to the expected exponentially flat estimates (153). □
In the second central result of the paper, we show that the holomorphic inner solutions to (11) and (23) under the Cauchy data (12) obtained in Theorem 1 share a common asymptotic expansion relatively to ϵ on the sectors E p that turns out to be of Gevrey type.
Theorem 2.
Assume that the foregoing constraints listed in Theorem 1 hold. Let us denote O b ( χ 1 × D ( 0 , r ) ) the Banach space of C - valued bounded holomorphic functions on χ 1 × D ( 0 , r ) endowed with the sup norm.
Then, for all 0 p ι 1 , the holomorphic and bounded functions ϵ ( ( x , z ) u p ( ϵ α 1 2 x , z , ϵ ) ) built up in Theorem 1 and viewed as maps from E p into O b ( χ 1 × D ( 0 , r ) ) , admit a formal power series
I ^ ( ϵ ) = k 0 I k ϵ k O b ( χ 1 × D ( 0 , r ) ) [ [ ϵ ] ]
as Gevrey asymptotic expansion of order 2 α + 1 . This means that for all 0 p ι 1 , one can find constants A p , B p > 0 such that
sup x χ 1 , z D ( 0 , r ) u p ( ϵ α 1 2 x , z , ϵ ) k = 0 n 1 I k ϵ k A p ( B p ) n Γ ( 1 + 2 α + 1 n ) | ϵ | n
for all n 1 , whenever ϵ E p .
Proof. 
The proof leans on a cohomological criterion for the existence of Gevrey asymptotic expansions of order 1 / k , for real numbers k > 1 / 2 , for suitable families of sectorial holomorphic functions known as Ramis–Sibuya theorem in the literature, see [17], p.121 or [18] Lemma XI-2-6. Here we need a Banach valued version of this result that can be stated as follows.
Theorem Ramis–Sibuya. 
We set ( F , | | . | | F ) as a Banach space over C and consider a good covering { E p } 0 p ι 1 in C . For all 0 p ι 1 , G p stands for a holomorphic function from E p into the Banach space ( F , | | . | | F ) and let the cocycle Θ p ( ϵ ) = G p + 1 ( ϵ ) G p ( ϵ ) be a holomorphic function from the sector Z p = E p + 1 E p into E (under the convention that E ι = E 0 and G ι = G 0 ). We ask for the following requirements.
(1) The functions G p ( ϵ ) are bounded on E p , for all 0 p ι 1 .
(2) The functions Θ p ( ϵ ) suffer exponential flatness of order k on Z p , for all 0 p ι 1 . Specifically, there exist constants C p , A p > 0 such that
| | Θ p ( ϵ ) | | F C p e A p / | ϵ | k
for all ϵ Z p , all 0 p ι 1 .
Then, for all 0 p ι 1 , the functions G p ( ϵ ) share a common formal power series I ^ ( ϵ ) = k 0 I k ϵ k where the coefficients I k belong to F , as Gevrey asymptotic expansion of order 1 / k on E p . In other words, constants A p , B p > 0 can be selected with
| | G p ( ϵ ) k = 0 n 1 I k ϵ k | | F A p ( B p ) n Γ ( 1 + n k ) | ϵ | n
for all n 1 , provided that ϵ E p .
We apply the above theorem to the set of functions
G p ( ϵ ) : = ( x , z ) u p ( ϵ α 1 2 x , z , ϵ )
for 0 p ι 1 , which represent holomorphic and bounded functions from E p into the Banach space F = O b ( χ 1 × D ( 0 , r ) ) equipped with the sup norm over χ 1 × D ( 0 , r ) . Furthermore, the bounds (153) allow the cocycle Θ p ( ϵ ) = G p + 1 ( ϵ ) G p ( ϵ ) to fulfill the constraint (2) overhead. As a result, we deduce the existence of a formal power series I ^ ( ϵ ) that match the statement of Theorem 2. □

5. Conclusions and Perspectives

In this work we have considered Cauchy problems which are conjointly singularly perturbed and possess confluent fuchsian singularities relying on a single perturbation parameter. We constructed genuine solutions expressed as exponential transseries expansions which are shown to appear naturally from the polynomial structure of the coefficients in the equations involved.
It turns out that the nature of these special solutions and the extraction of their parametric asymptotic behavior impose rather strong constraints on the shape of the equations under study in this work, namely the reduction to an equation of Kowalevski type displayed in (11). Concerning that point we may provide some explanatory comments that may help to investigate future lines of research in this topic. Indeed, departing from the singularly perturbed Equation (23) under less restrictive conditions on the differential operator P would lead to corresponding sets of convolution equations similar to (101) that ought to be solved relatively to τ (and ϵ on a good covering E ̲ ) on a domain where the expression P 2 ( τ + n ϵ ( α + 1 ) / 2 ) is not equal to zero. Here P 2 is the polynomial introduced in Section 2. However, for τ = 0 , the quantity P 2 ( n ϵ ( α + 1 ) / 2 ) must vanish for a least some integer n 1 and some value of the parameter ϵ near 0. Consequently, the solution W n ( τ , z , ϵ ) to the convolution equation may not be defined at τ = 0 and the solutions to (23) would not be constructible by means of Laplace transforms with special kernel. Hence, relaxing those constraints would need a new framework and novel ideas. It is worthwhile noting that strong restrictions on the shape of the coefficients are also asked in related works on confluence problems, see the references in our previous contribution [1].
At last, we expect that our approach can be adapted to other related problems, for instance in the context of q - difference or difference equations.

Funding

This research was partially funded by the University of Lille.

Conflicts of Interest

The author declares no conflict of interest.

References

  1. Malek, S. On boundary layer expansions for a singularly perturbed problem with confluent fuchsian singularities. Mathematics 2020, 8, 189. [Google Scholar] [CrossRef] [Green Version]
  2. Costin, O. Asymptotics and Borel summability. In Chapman and Hall/CRC Monographs and Surveys in Pure and Applied Mathematics; CRC Press: Boca Raton, FL, USA, 2009; ISBN 978-1-4200-7031-6. [Google Scholar]
  3. Costin, O.; Costin, R. On the formation of singularities of solutions of nonlinear differential systems in antistokes directions. Invent. Math. 2001, 145, 425–485. [Google Scholar] [CrossRef] [Green Version]
  4. Braaksma, B.; Kuik, R. Asymptotics and singularities for a class of difference equations. In Analyzable Functions and Applications, Contemporary Mathematics; Amer Mathematical Society: Providence, RI, USA, 2005; Volume 373, pp. 113–135. [Google Scholar]
  5. Costin, O.; Tanveer, S. Complex singularity analysis for a nonlinear PDE. Commun. Partial Differ. Equ. 2006, 31, 593–637. [Google Scholar] [CrossRef]
  6. Costin, O.; Huang, M.; Fauvet, F. Global behavior of solutions of nonlinear ODEs: First order equations. Int. Math. Res. Not. IMRN 2012, 2012, 4830–4857. [Google Scholar] [CrossRef]
  7. Costin, O.; Costin, R.; Huang, M. A direct method to find Stokes multipliers in closed form for P1 and more general integrable systems. Trans. Amer Math. Soc. 2016, 368, 7579–7621. [Google Scholar] [CrossRef] [Green Version]
  8. Balser, W.; Yoshino, M. Integrability of Hamiltonian systems and transseries expansions. Math. Z. 2011, 268, 257–280. [Google Scholar] [CrossRef] [Green Version]
  9. Braaksma, B.; Kuik, R. Resurgence relations for classes of differential and difference equations. Ann. Fac. Sci. Toulouse Math. 2004, 13, 479–492. [Google Scholar] [CrossRef]
  10. Costin, O. On Borel summation and Stokes phenomena for rank-1 nonlinear systems of ordinary differential equations. Duke Math. J. 1998, 93, 289–344. [Google Scholar] [CrossRef]
  11. Fruchard, A.; Schäfke, R. On the parametric resurgence for a certain singularly perturbed linear differential equation of second order. In Asymptotics in Dynamics, Geometry and PDEs; Generalized Borel Summation, 12th ed.; CRM Series: Pisa, Italy, 2011; Volume II, pp. 213–243. [Google Scholar]
  12. Lastra, A.; Malek, S. On parametric multisummable formal solutions to some nonlinear initial value Cauchy problems. Adv. Differ. Equ. 2015, 2015, 200. [Google Scholar] [CrossRef] [Green Version]
  13. Lang, S. Complex Analysis, 4th ed.; Graduate Texts in Mathematics; Springer: New York, NY, USA, 1999. [Google Scholar]
  14. Costin, O.; Tanveer, S. Existence and uniqueness for a class of nonlinear higher-order partial differential equations in the complex plane. Comm. Pure Appl. Math. 2000, 53, 1092–1117. [Google Scholar] [CrossRef] [Green Version]
  15. Malek, S. On the summability of formal solutions for doubly singular nonlinear partial differential equations. J. Dyn. Control Syst. 2012, 18, 45–82. [Google Scholar] [CrossRef]
  16. Folland, G. Introduction to Partial Differential Equations, 2nd ed.; Princeton University Press: Princeton, NJ, USA, 1995. [Google Scholar]
  17. Balser, W. Formal Power Series and Linear Systems of Meromorphic Ordinary Differential Equations; Universitext; Springer: New York, NY, USA, 2000. [Google Scholar]
  18. Hsieh, P.; Sibuya, Y. Basic Theory of Ordinary Differential Equations; Universitext; Springer: New York, NY, USA, 1999. [Google Scholar]

Share and Cite

MDPI and ACS Style

Malek, S. On Inner Expansions for a Singularly Perturbed Cauchy Problem with Confluent Fuchsian Singularities. Mathematics 2020, 8, 976. https://doi.org/10.3390/math8060976

AMA Style

Malek S. On Inner Expansions for a Singularly Perturbed Cauchy Problem with Confluent Fuchsian Singularities. Mathematics. 2020; 8(6):976. https://doi.org/10.3390/math8060976

Chicago/Turabian Style

Malek, Stephane. 2020. "On Inner Expansions for a Singularly Perturbed Cauchy Problem with Confluent Fuchsian Singularities" Mathematics 8, no. 6: 976. https://doi.org/10.3390/math8060976

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop