Gevrey Estimates of Formal Solutions for Certain Moment Partial Differential Equations with Variable Coefficients

The goal of this paper is to investigate Gevrey properties of formal solutions of certain generalized linear partial differential equations with variable coefficients. In particular, we extend the notion of moment partial differential equations to include differential operators that are not connected with kernel functions. Using the modified version of Nagumo norms and the properties of the Newton polygon we compute the Gevrey estimate for formal solutions of such generalized partial differential equations.


Introduction
Over the last decade many studies have been devoted to the topic of the Gevrey properties of formal series solutions of linear partial differential equations. Main topics of interest include inhomogeneous PDEs with constant coefficients [3], the heat equation and its various generalizations [2,8,9] and PDEs with time-dependent coefficients [10]. Those results have also been generalized to the case of moment partial differential equations with constant and time-dependent coefficients [5][6][7].
In this paper we aim to further generalize the notion of moment partial differential equations. To this end, we define Gevrey-type sequences and operators, which maintain many of the characteristics of the moment functions and moment differential operators, respectively. More details on the subject are given in Section 2.
Maria Suwińska m.suwinska@op.pl 1 Faculty of Mathematics and Natural Sciences, College of Science, Cardinal Stefan Wyszyński University, Wóycickiego 1/3, 01-938 Warsaw, Poland Especially the second attribute is very important, because it enables us to estimate ∂ z f by f without making shrinking of the domain necessary. Unfortunately, the standard definition mentioned above could not be used to determine the Gevrey order of the solution of (1). This fact made creating a new tool with similar properties necessary and so certain modifications were utilized to generalize the Nagumo norms in a way more fitted to our needs. Indeed, it has been proven in Lemmas 2, 4 and 7 that the properties listed above hold for the modified Nagumo norms defined in Section 2. Moreover, in some cases both norms coincide for z ∈ C.
The main result of the paper, Theorem 1, shows that under certain additional assumptions the Gevrey order of the formal solution of (1) is equal to the reverse of the slope of the first non-horizontal segment in the Newton polygon for P . This outcome is a direct generalization of results found in [2,7,8,10].
The paper is structured as follows. In Section 2 we first establish the notation and then move on to defining Gevrey-type sequences and operators and presenting their characteristics. Some of the most important examples are listed there as well. We also recall the definition of the Newton polygon and alter it to better accommodate the structure of (1). Section 3 is entirely devoted to the modified Nagumo norms. Several important properties of these norms are presented. We also go into further detail on their connection with the Gevrey order of a function. Section 4 contains all conditions, under which we would like to consider our initial equation. After that we present the proof of Proposition 2, from which the main result of this paper follows. Ideas for further study are included in Section 5.

Notation
Let us introduce the notation that will be used throughout this paper. First, note that by N 0 we shall denote the set of all non-negative integers and N = N 0 \ {0}.
For any positive integer N , by D N R we denote a polydisc with a center at 0 and a radius R > 0, i.e., a set If ⊂ C N and a function f is holomorphic on the set then we write f ∈ O( ).
For any function f ∈ O(D R ) by ord t (f ) we denote the order of zero of the function f at t = 0.
A space of all formal power seriesû(t) = ∞ n=0 u n t n with coefficients from a given Banach space E will be denoted by E[[t]]. Throughout this paper we will restrict ourselves to the case when E is the space of all functions holomorphic on a polydisc D N R ⊂ C N and continuous on its closure, equipped with the standard norm For all multi-indices α = (α 1 , α 2 , . . . , α N ), β = (β 1 , β 2 , . . . , β N ) in N N 0 , points z = (z 1 , z 2 , . . . , z N ) ∈ C N and s = (s 1 , s 2 , . . . , s N ) ∈ R N , and A ∈ R the following notation will be used:

Gevrey-Type Sequences and Operators
Definition 2 Let m(n) denote a sequence of positive numbers such that m(0) = 1. Then m(n) will be called a Gevrey-type sequence of order s ≥ 0 if there exist constants a, A > 0 satisfying the condition a n n! s ≤ m(n) ≤ A n n! s for any n ∈ N 0 .
Note that Definition 2 encompasses a wide variety of sequences. In particular, (2) describes one of the main characteristics of so-called moment functions, which are in turn directly connected to kernel functions. For more information on the topic, we refer the reader to [1,Section 5.5]. In this paper we depart from this concept, but many elements used in the theory of moment functions and moment differential operators can be easily adapted to this more general family of sequences. We devote the next part of this chapter to presenting their various properties. Proposition 1 (see [1,Theorems 31 and 32]) Let m 1 and m 2 be two Gevrey-type sequences of non-negative orders s 1 and s 2 , respectively. Then m 1 · m 2 is a Gevrey-type sequence of order s 1 + s 2 . Moreover, if s 1 > s 2 then m 1 m 2 is a Gevrey-type sequence of order s 1 − s 2 .
Below we present several examples of Gevrey-type sequences.
-Let us put [n] q = 1 + q + . . . + q n−1 = q n −1 q−1 for a fixed q ∈ (0, 1). Then a sequence given by the formula is a Gevrey-type sequence of order 0. Indeed, it is easy to see that We will also use a special class of sequences defined below.

Definition 3 If m(n)
is a sequence of positive numbers such that m(0) = 1 and s ≥ 0 then we shall call m(n) a regular Gevrey-type sequence of order s if there exist constants a, A > 0 satisfying the condition Remark 1 It is easy to observe that every regular Gevrey-type sequence of order s is a Gevrey-type sequence of the same order and for the same constants a and A.
Regular Gevrey-type sequences satisfy the following properties: The class of regular Gevrey-type sequences is closed under multiplication and division. (ii) The class of regular Gevrey-type sequences contains the sequence s (n) = (1 + sn).
Definition 4 (see [3]) Let m be a Gevrey-type sequence. Then we define a Gevrey-type differential operator ∂ m,t : A couple of examples of Gevrey-type differential operators can be found below:

Example 2
-For m(n) = n! operator ∂ m,t coincides with the standard derivative ∂ t .
-Consider a Gevrey-type sequence s (n) defined in Example 1. Then we have with ∂ s t being the Caputo fractional derivative. -Suppose that m(n) = [n] q ! for a certain q ∈ (0, 1). We have established in Example 1 that m(n) is a Gevrey-type sequence of order 0. We will show that the q-difference differential operator given by Hence, We can now recall the basic definition of the Gevrey order.
is of Gevrey order s if and only if there exist B, C > 0 such that Remark 2 Definition 5 implies that any formal power series of Gevrey order 0 is convergent.

The Newton Polygon
The Newton polygon for linear partial differential operators with variable coefficients has been introduced in [11]. The notion was later extended in [6] to moment partial differential equations with constant coefficients with two variables. The definition presented below is based on [7], where the Newton polygon was defined for linear moment partial differential operators with time-dependent coefficients.
Let m 0 , m 1 , . . . , m N be Gevrey-type sequences of positive orders s 0 , s 1 , . . . , s N , respectively, and suppose that ∂ m 0 ,t , ∂ m 1 ,z 1 , . . . , ∂ m N ,z N are Gevrey-type differential operators. For m = (m 1 , m 2 , . . . , m N ) and any multi-index α ∈ N N 0 we use a notation ∂ α m,z := Suppose that J ⊂ N 0 and A⊂ N N 0 are finite sets of indices. We shall consider an operator of the form: where a j,α (t, z) are holomorphic with respect to t in an open neighborhood of zero for every (j, α) ∈ J × A. Furthermore let s = (s 1 , . . . , s N ).
Definition 6 We define the Newton polygon for the operator P given by (4) as An example of a Newton polygon can be seen on Fig. 1.

Modified Nagumo Norms
Definition 7 For any a ∈ N 0 and s ≥ 0 let us define a power series Θ It is worth mentioning that for N = 1 and s = 1 Definition 8 coincides with the standard way of defining the Nagumo norm. Indeed, let us take q ∈ N and 0 < r < R. Then, for any function f , (6) takes form Note that Remark 3 Note that · α,r,s is a norm on O(D N R ) for any α ∈ N N , 0 < r < R and s ∈ [1, ∞) N .
Then for the modified Nagumo norm defined by (6) the following properties hold: Before we can move on to the proof of these facts, let us introduce the following technical lemma:

Lemma 3 Let p, q be positive natural numbers. Then
Proof First let us note that for any x ∈ R satisfying |x| < 1 it is true that After differentiating both sides of (8) p − 1 times we receive Hence, On the other hand, we have which leads to the conclusion of this proof.
Let us now return to Lemma 2.
Proof of Lemma 2 Let us fix multi-indices α, β ∈ N N . By the definitions of the Nagumo norms and Θ From these two facts it follows that Using Lemma 3 and the fact that a s + b s ≤ (a + b) s for any a, b > 0 and s ≥ 1, we conclude that which finishes the proof of (i).
To show (ii), first we note that g(z) = γ ∈N N 0 g γ z γ . Analogously to the proof of (i) we can write: Since for any p ≥ 0 and k ≤ n we have k + p k ≤ n + p n , it follows that N N and m 1  Proof Since m j is a regular Gevrey-type sequence, there exist c, C > 0 such that c(n + 1) s j ≤ m j (n + 1) m j (n) ≤ C(n + 1) s j for any n ∈ N 0 .

Lemma 4 Assume that α ∈
Let us now fix α ∈ N N . It follows that: The following two lemmas connect Nagumo norms with the Gevrey order of formal power series.

Lemma 6 Let us consider
] w with w ≥ 0. Then for any 0 < r < R and α ∈ N N there exist A, B > 0 that satisfy f n (z) nα,r,s ≤ AB n n! w for any n ∈ N 0 .
Proof Since f (t, z) is of Gevrey order w, for any 0 < r < R there existÃ,B > 0 such that sup ζ ∈D N r |f n (ζ )| ≤ÃB n n! w for n ∈ N 0 .
Moreover, since f n (z) ∈ O D N R , we can use Cauchy Inequalities for the power series of the form f n (z) = γ ∈N N 0 f n,γ z γ . More precisely, for any 0 < r < R and γ ∈ N N 0 we have Hence, First suppose that n ≥ 1. Seeing as m l ≥ 1 for any l ≤ m, we receive From this it follows that f n (z) nα,r,z ≤ R n|α| sup ζ ∈D N r |f n (ζ )| ≤Ã(BR |α| ) n n! w . For n = 0 let us notice that Then |f 0,γ | ≤

Hence it is enough to put
Then for any 0 < ρ < r < R there exists A > 0 such that for any α ∈ N N ∪ {0} the following inequality holds: Proof When α = 0 it suffices to notice that for certain θ 1 , . . . , θ N ∈ [0, 2π) we have = (s 1 , s 2 , . . . , s N Our first step is to analyze the Newton polygon for (10). In this case it is given by Note that the first non-horizontal segment (if it exists) of the boundary of N(P , s 0 , s) connects points with coordinates (s 0 M, −M) and s 0 j * + s · α * , ord t (a j * ,α * ) − j * for a certain (j * , α * ) ∈ . The slope of this segment is positive and given by the formula Alternatively, we can define k 1 using the formula Let us consider a linear Cauchy problem of the form further assuming that: Before moving on to the proof of this theorem, we shall show that the following proposition holds true: and thatû(t, z) = ∞ n=0 u n (z)t n is a formal solution of (11). Then for any 0 < r < R there exist constants A, B > 0 such that u n (z) nα 0 ,r,s ≤ AB n n! 1/k 1 for any n ∈ N 0 . (12) Proof Without any loss of generality we may assume that u 0 (z) ≡ 0. Otherwise it is enough to use substitution v(t, z) := u(t, z) − φ 0 (z). Now we can proceed to show (12) by induction on n. It is easy to see that (12) holds for n ≤ M − 1. This fact follows directly from the properties of functions φ 1 (z), . . . , φ M−1 (z) Moreover, by Lemma 4 we have ∂ α m,z u n−p (z) (n−p)α 0 +α,r,s ≤ C |α| |α 0 | s·α u n−p (z) (n−p)α 0 ,r,s and, by the inductive assumption, Furthermore, let us observe that Hence, Moreover, It remains to notice that the last sum can be bounded from above by 1 2 for sufficiently large B > L. Now we can go back to the proof of Theorem 1.
Proof of Theorem 1 Using Proposition 2 and Lemma 7 we conclude that for any n ∈ N 0 and ρ < r there exist constantsÃ, A, and B such that

Suggestions for Further Research
It might be possible to extend the result from Theorem 1 to a certain class of non-linear Gevrey-type differential equations. We would like to achieve this by using methods inspired by the approach presented in this paper. Moreover, it is worth mentioning that an idea similar to the Gevrey-type sequences has already been considered in [4]. Sequences and operators defined there are similar to the ones presented in Definitions 2 and 3, with the Gevrey sequence n! s replaced with any given sequence M n of positive real numbers. Under certain additional assumptions concerning the sequence M n the authors were able to analyze the Gevrey properties of a certain class of linear equations with time-dependent coefficients using the approach similar to [10] and [7]. A question remains open, whether those findings can be extended to the case when the coefficients depend on both t ∈ C and z ∈ C N .

Funding Information This study was supported by Cardinal Stefan Wyszynski University in Warsaw.
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommonshorg/licenses/by/4.0/.