Abstract
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.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 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.
We focus our attention on a general Cauchy problem of the form:
where \(P\left (\partial _{m_{0},t},\partial _{m_{1},z_{1}},\dots ,\partial _{m_{N},z_{N}}\right )\) is a linear operator with coefficients depending on both variables \(t\in \mathbb {C}\) and \(\mathbf {z}\in \mathbb {C}^{N}\), and \(\partial _{m_{0},t},\partial _{m_{1},z_{1}},\dots ,\partial _{m_{N},z_{N}}\) are Gevrey-type differential operators (see Definition 3). Our goal is to connect the Gevrey order of its solution with the orders of the inhomogeneity f and the variable coefficients.
While analyzing an equation very similar to the ones studied in [7, 10], we mostly draw inspiration from [2, 8], where the concept of Nagumo norms is utilized. Below we recall the definition used in papers mentioned above:
Definition 1
Let us consider a function f holomorphic on a disc \(D_{R}=\left \{ z\in \mathbb {C}:\ |z|<R\right \} \), p ≥ 0 and 0 < r < R. Then the Nagumo norm ∥f∥p,r off is defined by
The usefulness of this family of norms lays in their properties. Namely, for any two functions f1,f2 holomorphic on DR, non-negative numbers p,q and 0 < r < R we have:
-
∥f1f2∥p+q,r ≤∥f1∥p,r∥f2∥q,r,
-
∥∂zf1∥p+ 1,r ≤ C(p + 1)∥f1∥p,r for a certain constant C > 0,
-
|f1(z)|≤∥f1∥p,r(r −|z|)−p for all z ∈ Dr.
Especially the second attribute is very important, because it enables us to estimate ∂zf 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\in \mathbb {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.
2 Preliminaries
2.1 Notation
Let us introduce the notation that will be used throughout this paper. First, note that by \(\mathbb {N}_{0}\) we shall denote the set of all non-negative integers and \(\mathbb {N}=\mathbb {N}_{0}\setminus \{ 0\} \).
For any positive integer N, by \({D_{R}^{N}}\) we denote a polydisc with a center at 0 and a radius R > 0, i.e., a set
If \({\Omega }\subset \mathbb {C}^{N}\) and a function f is holomorphic on the set Ω then we write \(f\in {\mathscr{O}}({\Omega })\).
For any function \(f\in {\mathscr{O}}(D_{R})\) by ordt(f) we denote the order of zero of the function f at t = 0.
A space of all formal power series \(\hat {u}(t)={\sum }_{n=0}^{\infty }u_{n}t^{n}\) with coefficients from a given Banach space \(\mathbb {E}\) will be denoted by \(\mathbb {E}[[t]]\). Throughout this paper we will restrict ourselves to the case when \(\mathbb {E}\) is the space \({\mathscr{O}}({D_{R}^{N}})\cap C(\overline {D}_{R}^{N})\) of all functions holomorphic on a polydisc \({D_{R}^{N}}\subset \mathbb {C}^{N}\) and continuous on its closure, equipped with the standard norm \(\|f\|=\sup _{\zeta \in {D_{R}^{N}}}|f(\zeta )|\).
For all multi-indices \(\alpha =(\alpha _{1},\alpha _{2},\dots ,\alpha _{N})\), \(\beta =(\beta _{1},\beta _{2},\dots ,\beta _{N})\) in \({\mathbb {N}_{0}^{N}}\), points \(\mathbf {z}=(z_{1},z_{2},\dots ,z_{N})\in \mathbb {C}^{N}\) and \(\mathbf {s}=(s_{1},s_{2},\dots ,s_{N})\in \mathbb {R}^{N},\) and \(A\in \mathbb {R}\) the following notation will be used:
Let \(a(\mathbf {z})={\sum }_{{\gamma \in \mathbb {N}_{0}^{N}}}a_{\gamma }\mathbf {z}^{\gamma }\) and \(b(\mathbf {z})={\sum }_{{\gamma \in \mathbb {N}_{0}^{N}}}b_{\gamma }\mathbf {z}^{\gamma }\) be two formal power series. Then we call b(z) a majorant of a(z) and write a(z) ≪ b(z) if |aγ|≤ bγ for every \({\gamma \in \mathbb {N}_{0}^{N}}\).
2.2 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
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 m1 and m2 be two Gevrey-type sequences of non-negative orders s1 and s2, respectively. Then m1 ⋅ m2 is a Gevrey-type sequence of order s1 + s2. Moreover, if s1 > s2 then \(\frac {m_{1}}{m_{2}}\) is a Gevrey-type sequence of order s1 − s2.
Below we present several examples of Gevrey-type sequences.
Example 1
-
Function Γs(n) = Γ(1 + sn), where s > 0, is a Gevrey-type sequence of order s.
-
Let us put \([n]_{q}=1+q+\ldots +q^{n-1}=\frac {q^{n}-1}{q-1}\) for a fixed q ∈ (0,1). Then a sequence given by the formula
$$ [n]_{q}!= \left\{\begin{array}{lr} [n]_{q}\cdot[n-1]_{q}\cdot\ldots\cdot[1]_{q} & ~\text{ for }n\geq1\\ 1 & \text{ for }n=0 \end{array}\right. $$is a Gevrey-type sequence of order 0. Indeed, it is easy to see that
$$ 1\leq[n]_{q}!\leq\frac{1}{(1-q)^{n}}\text{ for any }n\in\mathbb{N}_{0}. $$
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:
Lemma 1 (compare [7, Lemma 2.1])
-
(i)
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 \(\partial _{m,t}\colon \mathbb {E}[[t]]\to \mathbb {E}[[t]]\) by the formula:
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
$$ {\partial_{t}^{s}}u(t^{s})=\left( \partial_{{\Gamma}_{s},w}u\right)(t^{s}) $$with \({\partial _{t}^{s}}\) 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
$$ D_{q,t}u(t)=\frac{u(qt)-u(t)}{qt-t} $$is equal to the Gevrey-type operator ∂m,t for any function \(u(t)={\sum }_{n=0}^{\infty }\frac {u_{n}}{[n]_{q}!}t^{n}\). Indeed, let us note that
$$ D_{q,t}t^{n}=\frac{q^{n}t^{n}-t^{n}}{qt-t}=[n]_{q}t^{n-1}\text{ for any }n\in\mathbb{N}. $$Hence,
$$ D_{q,t}u(t)=\sum\limits_{n=1}^{\infty}\frac{u_{n}}{[n]_{q}!}[n]_{q}t^{n-1}=\sum\limits_{n=1}^{\infty}\frac{u_{n}}{[n-1]_{q}!} t^{n-1}=\partial_{m,t}\left( \sum\limits_{n=0}^{\infty}\frac{u_{n}}{[n]_{q}!}t^{n}\right). $$
We can now recall the basic definition of the Gevrey order.
Definition 5
The formal series \(\hat {u}(t)={\sum }_{n=0}^{\infty }u_{n}t^{n}\in \mathbb {E}[[t]]\) is of Gevrey order s if and only if there exist B,C > 0 such that
Then we write that \(\hat {u}(t)\in \mathbb {E}[[t]]_{s}\).
Remark 2
Definition 5 implies that any formal power series of Gevrey order 0 is convergent.
2.3 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},\dots ,m_{N}\) be Gevrey-type sequences of positive orders s0,s1, \(\dots \), sN, respectively, and suppose that \(\partial _{m_{0},t}\), \(\partial _{m_{1},z_{1}},\dots ,\partial _{m_{N},z_{N}}\) are Gevrey-type differential operators. For \(\mathbf {m}=(m_{1},m_{2},\dots ,m_{N})\) and any multi-index \({\alpha \in \mathbb {N}_{0}^{N}}\) we use a notation \(\partial _{\mathbf {m},\mathbf {z}}^{\alpha }:=\partial _{m_{1},z_{1}}^{\alpha _{1}}\partial _{m_{2},z_{2}}^{\alpha _{2}}{\dots } \partial _{m_{N},z_{N}}^{\alpha _{N}}\). Suppose that \(J\subset \mathbb {N}_{0}\) and \(A{\subset \mathbb {N}_{0}^{N}}\) are finite sets of indices. We shall consider an operator of the form:
where aj,α(t,z) are holomorphic with respect to t in an open neighborhood of zero for every (j,α) ∈ J × A. Furthermore let \(\mathbf {s}=(s_{1},\dots ,s_{N})\).
Definition 6
We define the Newton polygon for the operator P given by (4) as
where \({\Delta }(a,b)=\left \{ (x,y)\in \mathbb {R}^{2}:\ x\leq a, y\geq b\right \} \) for any \(a,b\in \mathbb {R}^{2}\).
An example of a Newton polygon can be seen on Fig. 1.
3 Modified Nagumo Norms
Definition 7
For any \(a\in \mathbb {N}_{0}\) and s ≥ 0 let us define a power series \(\varTheta _{s}^{(a)}(x)\) by the formula
Using series \(\varTheta _{s}^{(a)}(x)\) we can define a modified version of the Nagumo norm.
Definition 8
For any \(\mathbf {s}\in [1, \infty )^{N}\), \(\alpha \in \mathbb {N}^{N}\), 0 < r < R and \(\mathbf {z}\in {D_{r}^{N}}\) we define the modified Nagumo norm∥f(z)∥α,r,s of \(f\in {\mathscr{O}}({D_{R}^{N}})\) by the formula:
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\in \mathbb {N}\) and 0 < r < R. Then, for any function f, (6) takes form
Note that
which gives us
for any ρ < r. Hence, \(A\geq (r-\rho )^{q}\sup _{|z|<\rho }|f(z)|\).
Remark 3
Note that ∥⋅∥α,r,s is a norm on \({\mathscr{O}}({D_{R}^{N}})\) for any \(\alpha \in \mathbb {N}^{N}\), 0 < r < R and \(\mathbf {s}\in [1,\infty )^{N}\).
Remark 4
For the multi-index 0 we put ∥f(z)∥0,r,s equal to the standard norm in the space ℓ1 for any 0 < r < R and \(\mathbf {s}\in [1,\infty )^{N}\), i.e., if \(f(\mathbf {z})={\sum }_{{\gamma \in \mathbb {N}^{N}_{0}}}f_{\gamma }\mathbf {z}^{\gamma }\) then
Lemma 2
Let \(f,g\in {\mathscr{O}}\left ({D_{R}^{N}}\right )\), \(\alpha , \beta \in \mathbb {N}^{N}\). Then for the modified Nagumo norm defined by (6) the following properties hold:
-
(i)
∥f(z) ⋅ g(z)∥α+β,r,s ≤∥f(z)∥α,r,s∥g(z)∥β,r,s,
-
(ii)
∥f(z) ⋅ g(z)∥α,r,s ≤∥f(z)∥α,r,s∥g(z)∥0,r,s.
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\in \mathbb {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 Proof of Lemma 2
Let us fix multi-indices \(\alpha , \beta \in \mathbb {N}^{N}\). By the definitions of the Nagumo norms and \(\varTheta _{s}^{(a)}(x)\) we have
and
From these two facts it follows that
Using Lemma 3 and the fact that as + bs ≤ (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(\mathbf {z})={\sum }_{{\gamma \in \mathbb {N}_{0}^{N}}}g_{\gamma }\mathbf {z}^{\gamma }\). Analogously to the proof of (i) we can write:
Since for any p ≥ 0 and k ≤ n we have \(\left (\begin {array}{c}k+p\\k \end {array}\right )\leq \left (\begin {array}{c}n+p\\n \end {array}\right )\), it follows that
□
Lemma 4
Assume that \(\alpha \in \mathbb {N}^{N}\) and \(m_{1},\dots ,m_{N}\) are regular Gevrey-type sequences of orders \(s_{1},\dots ,s_{N}\), respectively, with every sj ≥ 1. Then
for \(j=1,\dots ,N\), where ej denotes a multi-index with a 1 in the j th coordinate and zeros everywhere else.
Proof
Since mj is a regular Gevrey-type sequence, there exist c,C > 0 such that
Let us now fix \(\alpha \in \mathbb {N}^{N}\). It follows that:
where \(\tilde {\alpha }=\alpha +\mathbf {e}_{j}\). From this it follows that \(\left \Vert \partial _{m_{j},z_{j}}f(\mathbf {z})\right \Vert _{\tilde {\alpha },r,\mathbf {s}}\leq C\alpha _{j}^{s_{j}}\|f(\mathbf {z})\|_{\alpha ,r,\mathbf {s}}\). □
Lemma 5
Let \(f\in {\mathscr{O}}\left ({D_{R}^{N}}\right )\). Then
for any 0 < r < R, \(\alpha \in \mathbb {N}^{N}\cup \left \{ \mathbf {0}\right \} \) and \(\beta \in \mathbb {N}^{N}\).
Proof
This fact follows directly from Lemma 2. More precisely, it is true that ∥f(z)∥α+β,r,s ≤∥1∥β,r,s∥f(z)∥α,r,s. Moreover, ∥1∥β,r,s = r|β|, because
and the same is not true for \((1-\varepsilon ){\sum }_{{\gamma \in \mathbb {N}_{0}^{N}}}\frac {z^{\gamma }}{r^{|\gamma |}}\), no matter how small ε > 0 we choose. Hence, \(1=\frac {\|1\|_{\beta ,r,\mathbf {s}}}{r^{|\beta |}}\), which finishes the proof. □
The following two lemmas connect Nagumo norms with the Gevrey order of formal power series.
Lemma 6
Let us consider \(\mathbb {E}=\mathcal {O}\left (D_{R}^{N}\right )\cap C(\overline {D}_R^N)\) and \(f(t,\mathbf {z})={\sum }_{n=0}^{\infty }f_{n}(\mathbf {z})t^{n}\in \mathbb {E}[[t]]_{w}\) with w ≥ 0. Then for any 0 < r < R and \(\alpha \in \mathbb {N}^{N}\) there exist A,B > 0 that satisfy
Proof
Since f(t,z) is of Gevrey order w, for any 0 < r < R there exist \(\tilde {A},\tilde {B}>0\) such that
Moreover, since \(f_{n}(\mathbf {z})\in {\mathscr{O}}\left ({D_{R}^{N}}\right )\), we can use Cauchy Inequalities for the power series of the form \(f_{n}(\mathbf {z})={\sum }_{{\gamma \in \mathbb {N}_{0}^{N}}}f_{n,\gamma }\mathbf {z}^{\gamma }\). More precisely, for any 0 < r < R and \({\gamma \in \mathbb {N}_{0}^{N}}\) we have
Hence,
First suppose that n ≥ 1. Seeing as \(\left (\begin {array}{c}m\\l \end {array}\right )\geq 1\) for any l ≤ m, we receive
From this it follows that \(\left \Vert f_{n}(\mathbf {z})\right \Vert _{n\alpha ,r,\mathbf {z}}\leq R^{n|\alpha |}\sup _{\zeta \in {D_{r}^{N}}}\left |f_{n}(\zeta )\right |\leq \tilde {A}(\tilde {B}R^{|\alpha |})^{n}n!^{w}\).
For n = 0 let us notice that \(f_{0}(\mathbf {z})\in {\mathscr{O}}({D_{R}^{N}})\cap C(\overline {D}_{R}^{N})\) and
Then \(|f_{0,\gamma }|\leq \frac {\sup _{\zeta \in {D_{R}^{N}}}|f_{0}(\zeta )|}{R^{|\gamma |}}\) for any \({\gamma \in \mathbb {N}_{0}^{N}}\) and
Hence it is enough to put \(A=\max \limits \left \{ \tilde {A}, \sup _{\zeta \in {D_{R}^{N}}}|f_{0}(\zeta )|\frac {R^{N}}{\left (R-r\right )^{N}}\right \} \) and \(B=\tilde {B}R^{|\alpha |}\). □
Lemma 7
Let \(f\in {\mathscr{O}}\left ({D_{R}^{N}}\right )\). Then for any 0 < ρ < r < R there exists A > 0 such that for any \(\alpha \in \mathbb {N}^{N}\cup \left \{ \mathbf {0}\right \} \) the following inequality holds:
Proof
When α = 0 it suffices to notice that for certain \(\theta _{1},\dots ,\theta _{N}\in [0, 2\pi )\) we have
To prove the same for \(\alpha \in \mathbb {N}^{N}\) first let us note that for any a,b ≥ 0, \(p\in \mathbb {N}\) and \(n\in \mathbb {N}_{0}\) we have
In particular, if we set ε > 0 small enough that ρ(1 + ε)|s|−N < r then (9) holds for a + b = 1 and a− 1 = 1 + ε. Then for any \(n\in \mathbb {N}_{0}\) and \(i=1,\dots ,N\) we get
Now we can apply this fact to majorize f(z) in the following way:
In particular, the majorization above is true for any \(\mathbf {z}\in D_{\rho }^{N}\) and so we can conclude that
Moreover, because of the properties of our chosen ε, for \(i=1,\dots ,N\) we have
From this fact it follows that
Therefore it is enough to put \(A=\max \limits \left \{ 1, \frac {(1+\varepsilon )^{|\mathbf {s}|}}{\varepsilon ^{|\mathbf {s}|}\left [r-(1+\varepsilon )^{|\mathbf {s}|-N}\rho \right ]}\right \}\). □
4 The Linear Cauchy Problem
Suppose that \(t\in \mathbb {C}\) and \(\mathbf {z}\in \mathbb {C}^{N}\), N ≥ 1, and let \(\mathbf {m}=(m_{1},\dots ,m_{N})\), where \(m_{0},m_{1},\dots ,m_{N}\) are regular Gevrey-type sequences of non-negative orders \(s_{0},s_{1},\dots ,s_{N}\), respectively. Then we define the Gevrey-type differential operator \(P\left (\partial _{m_{0},t},\partial _{\mathbf {m},\mathbf {z}}\right )\) by the formula:
with additional assumptions:
-
(a)
\(\mathbf {s}=(s_{1},s_{2},\dots ,s_{N})\in [1,\infty )^{N}\),
-
(b)
\({\Lambda }\subset \mathbb {N}_{0}^{1+N}\) is a finite set of indices,
-
(c)
\(\text {ord}_{t}\left (a_{j,\alpha }\right )\geq \max \limits \left \{ 0, j-M+1\right \} \) for all (j,α) ∈Λ.
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,s0,s) connects points with coordinates (s0M,−M) and \(\left (s_{0}j^{\ast }+\mathbf {s}\cdot \alpha ^{\ast }, \text {ord}_{t}(a_{j^{\ast },\alpha ^{\ast }})-j^{\ast }\right )\) for a certain (j∗,α∗) ∈Λ. The slope of this segment is positive and given by the formula
Alternatively, we can define k1 using the formula
Let us consider a linear Cauchy problem of the form
further assuming that:
-
(d)
\(f(t,\mathbf {z})\in {\mathscr{O}}\left ({D_{R}^{N}}\right )[[t]]_{1/k_{1}}\) and \(a_{j,\alpha }(t,\mathbf {z})\in {\mathscr{O}}\left ({D_{R}^{N}}\right )[[t]]_{1/k_{1}}\) for all (j,α) ∈Λ,
-
(e)
\(\phi _{j}\in {\mathscr{O}}\left ({D_{R}^{N}}\right )\) for 0 ≤ j < M.
Our aim is to prove the following theorem:
Theorem 1
Under assumptions (a)-(e) listed above the formal solution \(\hat {u}(t,\mathbf {z})={\sum }_{n=0}^{\infty }u_{n}(\mathbf {z})t^{n}\) of (11) is of the Gevrey order \(\frac {1}{k_{1}}\).
Before moving on to the proof of this theorem, we shall show that the following proposition holds true:
Proposition 2
Suppose that \(\alpha _{0}=(\alpha _{0,1},\alpha _{0,2},\dots ,\alpha _{0,N})\) is a multi-index such that
and that \(\hat {u}(t,\mathbf {z})={\sum }_{n=0}^{\infty }u_{n}(\mathbf {z})t^{n}\) is a formal solution of (11). Then for any 0 < r < R there exist constants A,B > 0 such that
Proof
Without any loss of generality we may assume that u0(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 \(\phi _{1}(\mathbf {z}),\dots ,\phi _{M-1}(\mathbf {z})\) and Lemma 6. Let us then show that if n ≥ M and the proposition (with n replaced by i) holds for any i < n then it is also true for n.
Let \(t^{M}f(t,\mathbf {z})={\sum }_{n=M}^{\infty }f_{n}(\mathbf {z})t^{n}\) and \(t^{M-j}a_{j,\alpha }(t,\mathbf {z})={\sum }_{n=q_{j,\alpha }}^{\infty }a_{j,\alpha ,n}(\mathbf {z})t^{n}\) with \(q_{j,\alpha }=\text {ord}_{t}\left (a_{j,\alpha }(t,\mathbf {z})\right )-j+M\) for every (j,α) ∈Λ. Using these facts we find a recurrence relation describing un(z) for n ≥ M:
From this point on we shall use a convention that a term \(\frac {m_{0}(n-p)}{m_{0}(n-p-j)}\) disappears whenever n − p − j < 0.
Let us fix 0 < r < R. By assumption (d) and Lemma 6 there exist positive constants F,G, for which \(\|f_{n}(\mathbf {z})\|_{n\alpha _{0},r,\mathbf {s}}\leq FG^{n}n!^{1/k_{1}}\). Moreover, from regularity of m0 and \(m_{1},\dots ,m_{N}\), there exist constants c,C > 0 such that
Hence, we have
It is easy to see that the first term on the right-hand side of the inequality above can be bounded by \(\frac {1}{2}AB^{n}n!^{1/k_{1}}\) if we put A ≥ 2c−MF and B ≥ G.
Now we can analyze the term:
By Lemma 2 we have
By Lemma 5 and the definition of α0 we also get
Note that qj,α ≥ 1 for every (j,α) ∈Λ and so we can write that \(t^{M-j}a_{j,\alpha }(t,\mathbf {z})=t^{q_{j,\alpha }}{\sum }_{n=q_{j,\alpha }}^{\infty }a_{j,\alpha ,n}(\mathbf {z})t^{n-q_{j,\alpha }}\) and treat every aj,α,n(z) like the \(\left (n-q_{j,\alpha }\right )\)th coefficient of the formal power series. Hence, using Lemma 6 we receive
for a certain pair of positive constants \(\tilde {K}, L\). If we put \(K=R^{q_{j,\alpha }|\alpha _{0}|}\tilde {K}\) then
Moreover, by Lemma 4 we have
and, by the inductive assumption,
Furthermore, let us observe that
and
Hence,
Moreover,
and
By combining facts listed above we receive
It remains to notice that the last sum can be bounded from above by \(\frac {1}{2}\) for sufficiently large B > L. □
Now we can go back to the proof of Theorem 1.
Proof Proof of Theorem 1
Using Proposition 2 and Lemma 7 we conclude that for any \(n\in \mathbb {N}_{0}\) and ρ < r there exist constants \(\tilde {A}\), A, and B such that
Hence, \(\hat {u}(t,\mathbf {z})\in {\mathscr{O}}\left ({D_{R}^{N}}\right )[[t]]_{1/k_{1}}\). □
5 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 Mn of positive real numbers. Under certain additional assumptions concerning the sequence Mn 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\in \mathbb {C}\) and \(\mathbf {z}\in \mathbb {C}^{N}\).
References
Balser W. Formal power series and linear systems of meromorphic ordinary differential equations. New York: Springer; 2000.
Balser W, Loday-Richaud M. Summability of solutions of the heat equation with inhomogeneous thermal conductivity in two variables. Advances in Dynamical Systems and Applications 2009;4(2):159–177.
Balser W, Yoshino M. Gevrey order of formal power series solutions of inhomogeneous partial differential equations with constant coefficients. Funkcial Ekvac 2010;53:411–434.
Lastra M, Michalik S, Suwińska M. 2020. Estimates of formal solutions for some generalized moment partial differential equations. arXiv:https://arxiv.org/abs/1911.11998.
Michalik S. Analytic solutions of moment partial differential equations with constant coefficients. Funkcial Ekvac 2013;56:19–50.
Michalik S. Analytic and summable solutions of inhomogeneous moment partial differential equations. Funkcial Ekvac 2017;60:325–351.
Michalik S, Suwińska M. Gevrey estimates for certain moment partial differential equations. Complex Differential and Difference Equations, pp. 391–408. De Gruyter Proceedings in Mathematics; 2020.
Remy P. Gevrey order and summability of formal series solutions of some classes of inhomogeneous linear partial differential equations with variable coefficients. J Dyn Control Syst 2016;22:693–711.
Remy P. Gevrey order and summability of formal series solutions of certain classes of inhomogeneous linear integro-differential equations with variable coefficients. J Dyn Control Syst 2017;23:853–878.
Tahara H, Yamazawa H. Multisummability of formal solutions to the cauchy problem for some linear partial differential equations. J Differential Equations 2013;255:3592–3637.
Yonemura A. Newton polygons and formal Gevrey classes. Publ RIMS Kyoto Univ 1990;26:197–204.
Funding
This study was supported by Cardinal Stefan Wyszynski University in Warsaw.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
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://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Suwińska, M. Gevrey Estimates of Formal Solutions for Certain Moment Partial Differential Equations with Variable Coefficients. J Dyn Control Syst 27, 355–370 (2021). https://doi.org/10.1007/s10883-020-09504-3
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10883-020-09504-3