text:
# 1 Introduction

## 1 Introduction

This is the third paper where we study the theory of scattering and more precisely the existence of modified wave operators for a class of long range Hartree type equations

$$i_tu+\frac{1}{2}\mathrm{\Delta }u=\stackrel{~}{g}(|u|^2)u$$
$`(1.1)`$
where $`u`$ is a complex function defined in space time $`IR^{n+1}`$, $`\mathrm{\Delta }`$ is the Laplacian in $`IR^n`$, and

$$\stackrel{~}{g}(|u|^2)=\kappa t^{\mu \gamma }||^{\mu n}|u|^2$$
$`(1.2)`$
with $`||=(\mathrm{\Delta })^{1/2}`$, $`\kappa IR`$, $`0<\gamma 1`$ and $`0<\mu n`$. For $`\mu <n`$, the operator $`||^{\mu n}`$ can be represented by the convolution in $`IR^n`$

$$||^{\mu n}f=C_{n,\mu }|x|^\mu f$$
$`(1.3)`$
so that (1.2) is a Hartree type interaction with potential $`V(x)=C|x|^\mu `$. The more standard Hartree equation corresponds to the case $`\gamma =\mu `$. In that case, the nonlinearity $`\stackrel{~}{g}(|u|^2)`$ becomes

$$\stackrel{~}{g}(|u|^2)=V|u|^2=\kappa |x|^\gamma |u|^2$$
$`(1.4)`$
with a suitable redefinition of $`\kappa `$.

A large amount of work has been devoted to the theory of scattering for the Hartree equation (1.1) with nonlinearity (1.4) as well as with similar nonlinearities with more general potentials. As in the case of the linear Schrödinger equation, one must distinguish the short range case, corresponding to $`\gamma >1`$, from the long range case corresponding to $`\gamma 1`$. In the short range case, it is known that the (ordinary) wave operators exist in suitable function spaces for $`\gamma >1`$ . Furthermore for repulsive interactions, namely for $`\kappa 0`$, it is known that all solutions in suitable spaces admit asymptotic states in $`L^2`$ for $`\gamma >1`$, and that asymptotic completeness holds for $`\gamma >4/3`$ . In the long range case $`\gamma 1`$, the ordinary wave operators are known not to exist in any reasonable sense , and should be replaced by modified wave operators including a suitable phase in their definition, as is the case for the linear Schrödinger equation. A well developed theory of long range scattering exists for the latter. See for instance  for a recent treatment and for an extensive bibliography. In contrast with that situation, only partial results are available for the Hartree equation. For small solutions (or equivalently small asymptotic states) the existence of modified wave operators has been proved in the critical case $`\gamma =1`$ . On the other hand, it has been shown, first in the critical case $`\gamma =1`$ and then in the whole range $`0<\gamma 1`$  that the global solutions of the Hartree equation (1.1) with nonlinearity (1.4) and with small initial data exhibit an asymptotic behaviour as $`t\pm \mathrm{}`$ of the expected scattering type characterized by scattering states $`u_\pm `$ and including suitable phase factors that are typical of long range scattering.

In the previous two papers of this series   (hereafter referred to as I and II) we proved the existence of modified wave operators in suitable spaces for the equation (1.1) with nonlinearity (1.2), and we gave a description of the asymptotic behaviour in time of solutions in the ranges of those operators, with no size restriction on the data, first for $`1/2<\gamma <1`$ in I and then in the whole range $`0<\gamma 1`$ in II. The method is an extension of the energy method used in , and uses in particular an auxiliary system of equations introduced in  to study the asymptotic behaviour of small solutions. The spaces of initial data, namely in the present case of asymptotic states, are Sobolev spaces of finite order. However there occurs a loss of derivatives in the auxiliary system, which has to be compensated for by the smoothing effect of the operator $`||^{\mu n}`$ in (1.2). This is done in the framework of Sobolev spaces at the expense of assuming $`\mu n2`$, which in particular restrict the space dimension to $`n3`$. In the present paper, we overcome that difficulty by treating the problem in Gevrey spaces , following and extending the method used in  to treat the case of small solutions. This makes it possible to cover the whole range $`0<\mu n`$, and in particular the case of dimensions 1 and 2 and the case of cubic nonlinear Schrödinger (NLS) equations (with time dependent nonlinearity). More precisely we use Gevrey classes $`G^{1/\nu }`$ of order $`1/\nu `$ with $`0<\nu 1`$, and the method applies under the condition $`\mu n2+2\nu `$. In particular for cubic NLS equations we need $`\nu =1`$, namely spaces of analytic functions. The previous restriction on $`\mu `$ and $`\nu `$ can still be weakened and has been weakened in  at the expense of introducing parabolic terms in the auxiliary system of equations. However those terms introduce a priviledged orientation of time, which is inconvenient for the study of scattering theory, where we like to go back and forth from finite to infinite time, and we shall not make use of that extension here. The origin of the derivative loss and the mechanism by which that loss is overcome in Gevrey spaces, which is the same as in , will be described in Section 3 after sufficient technical material has been introduced, namely after Lemma 3.4.

The construction of the modified wave operators is in its principle the same as in II and will be recalled in Section 2 below, which is mostly a summary of Section 2 of II. It involves the study of the same auxiliary system of equations as in II for an amplitude $`w`$ and a phase $`\phi `$ which replace the original function $`u`$, and the definition of the same modified asymptotic dynamics for that system as in II.

We now give a brief outline of the contents of this paper. A more technical description will be given at the end of Section 2. In Section 3 we define the relevant Gevrey spaces and derive the basic estimates in those spaces that are needed to study the auxiliary system. In Section 4 we prove the existence of the large time dynamics associated with that system and some preliminary asymptotic properties of that dynamics. In Section 5 we study the asymptotic dynamics and we prove the existence of asymptotic states for the previously constructed solutions of the auxiliary system. In Section 6 we construct the local wave operators at infinity for the auxiliary system by solving the Cauchy problem for that system with infinite initial time. We then come back from the auxiliary system to the original equation (1.1) for $`u`$ and construct the (local) wave operators (at infinity) for $`u`$ in Section 7, where the main result is stated as Proposition 7.5.

We have tried to make this paper self-contained and at the same time to keep duplication with I and II to a minimum. Duplication occurs in Section 2, as already mentioned, and in part of Section 7. The more technical sections 3 to 6 follow the same pattern as in II, but there is almost no duplication because the functional framework is significantly different.

We conclude this section by giving some general notation which will be used freely throughout this paper. We shall work mostly in Fourier space. We denote by $``$ the convolution in $`IR^n`$, by $`F`$ the Fourier transform, and by $`\widehat{u}=Fu`$ the Fourier transform of $`u`$. We denote by $`_r`$ the norm in $`L^rL^r(IR^n)`$ and by $`<,>`$ the scalar product in $`L^2`$. For any interval $`I`$ and any Banach space $`X`$, we denote by $`𝒞(I,X)`$ the space of strongly continuous functions from $`I`$ to $`X`$, by $`L^{\mathrm{}}(I,X)`$ (resp. $`L_{loc}^{\mathrm{}}(I,X))`$ the space of measurable essentially bounded (resp. locally essentially bounded) functions from $`I`$ to $`X`$, and by $`L^2(I,X)`$ (resp. $`L_{loc}^2(I,X)`$, resp. $`L_\rho ^2(I,X))`$ the space of measurable functions $`u`$ from $`I`$ to $`X`$ such that $`u();X`$ belongs to $`L^2(I)`$ (resp. $`L_{loc}^2(I)`$, resp. $`L_\rho ^2(I))`$, where $`L_\rho ^2(I)`$ is the weighted space $`L^2(I,\rho (t)dt)`$ for some positive function $`\rho `$. For real numbers $`a`$ and $`b`$, we use the notation $`ab=\mathrm{Max}(a,b)`$ and $`ab=\mathrm{Min}(a,b)`$. In the estimates of solutions of the relevant equations, we shall use the letter $`C`$ to denote constants, possibly different from an estimate to the next, depending on various parameters such as $`\gamma `$, but not on the solutions themselves or on their initial data. Those constants will be bounded in $`\gamma `$ for $`\gamma `$ away from zero. We shall use the notation $`A(a_1,a_2,\mathrm{})`$ for estimating functions, also possibly different from an estimate to the next, depending in addition on suitable norms $`a_1,a_2,\mathrm{}`$ of the solutions or of their initial data. If (p.q) is a double inequality, we denote by (p.qa) and (p.qb) the first and second inequality in (p.q). Finally, Item (p.q) of I or II will be referred to as Item (I.p.q.) or (II.p.q). Additional notation will be given when needed.

In all this paper, we assume that $`0<\mu n`$ and $`0<\gamma 1`$.

## 2 Heuristics

In this section, we describe in heuristic terms the construction of the modified wave operators for the equation (1.1). That construction is the same as that performed in II, and this section is mostly a summary of Section II.2, which we include in order to make this paper self-contained.

The problem that we address is that of classifying the possible asymptotic behaviours of the solutions of (1.1) by relating them to a set of model functions $`𝒱=\{v=v(u_+)\}`$ parametrized by some data $`u_+`$ and with suitably chosen and preferably simple asymptotic behaviour in time. For each $`v𝒱`$, one tries to construct a solution $`u`$ of (1.1) such that $`u(t)`$ behaves as $`v(t)`$ when $`t\mathrm{}`$ in a suitable sense. The map $`\mathrm{\Omega }:u_+u`$ thereby obtained classifies the asymptotic behaviours of solutions of (1.1) and is a preliminary version of the wave operator for positive time. A similar question can be asked for $`t\mathrm{}`$. From now on we restrict our attention to positive time.

In the short range case corresponding to $`\gamma >1`$ in (1.2), the previous scheme can be implemented by taking for $`𝒱`$ the set $`𝒱=\{v=U(t)u_+\}`$ of solutions of the equation

$$i_tv+\frac{1}{2}\mathrm{\Delta }v=0,$$
$`(2.1)`$
with $`U(t)`$ being the unitary group

$$U(t)=\mathrm{exp}\left(i(t/2)\mathrm{\Delta }\right).$$
$`(2.2)`$
The initial data $`u_+`$ for $`v`$ is called the asymptotic state for $`u`$.

In the long range case corresponding to $`\gamma 1`$ in (1.2), the previous set is known to be inadequate and has to be replaced by a better set of model functions obtained by modifying the previous ones by a suitable phase. The modification that we use requires additional structure of $`U(t)`$. In fact $`U(t)`$ can be written as

$$U(t)=M(t)D(t)FM(t)$$
$`(2.3)`$
where $`M(t)`$ is the operator of multiplication by the function

$$M(t)=\mathrm{exp}\left(ix^2/2t\right),$$
$`(2.4)`$
and $`D(t)`$ is the dilation operator defined by

$$\left(D(t)f\right)(x)=(it)^{n/2}f(x/t).$$
$`(2.5)`$
Let now $`\phi ^{(0)}=\phi ^{(0)}(x,t)`$ be a real function of space time and let $`z^{(0)}(x,t)=\mathrm{exp}(i\phi ^{(0)}(x,t))`$. We replace $`v(t)=U(t)u_+`$ by the modified free evolution

$$v(t)=M(t)D(t)z^{(0)}(t)w_+$$
$`(2.6)`$
where $`w_+=Fu_+`$. In order to allow for easy comparison of $`u`$ with $`v`$, it is then convenient to represent $`u`$ in terms of a phase factor $`z(t)=\mathrm{exp}(i\phi (t))`$ and of an amplitude $`w(t)`$ in such a way that asymptotically $`\phi (t)`$ behaves as $`\phi ^{(0)}(t)`$ and $`w(t)`$ tends to $`w_+`$. This is done by writing $`u`$ in the form

$$u(t)=M(t)D(t)z(t)w(t)\left(\mathrm{\Lambda }(w,\phi )\right)(t).$$
$`(2.7)`$
The construction of the wave operators for $`u`$ proceeds by first constructing the wave operators for the pair $`(w,\phi )`$ and then recovering the wave operators for $`u`$ therefrom by the use of (2.7). The evolution equation for $`(w,\phi )`$ is obtained by substituting (2.7) into the equation (1.1). One obtains the equation

$$\left(i_t+(2t^2)^1\mathrm{\Delta }D^{}\stackrel{~}{g}D\right)zw=0$$
$`(2.8)`$
for $`zw`$, with

$$\stackrel{~}{g}\stackrel{~}{g}\left(|u|^2\right)=\stackrel{~}{g}\left(|Dw|^2\right),$$
$`(2.9)`$
or equivalently, by expanding the derivatives in (2.8),

$$\left\{i_t+(2t^2)^1\mathrm{\Delta }i(2t^2)^1\left(2\phi +(\mathrm{\Delta }\phi )\right)\right\}w$$

$$+\left\{_t\phi (2t^2)^1|\phi |^2D^{}\stackrel{~}{g}D\right\}w=0.$$
$`(2.10)`$
We are now in the situation of a gauge theory. The equation (2.8) or (2.10) is invariant under the gauge transformation $`(w,\phi )(w\mathrm{exp}(i\omega ),\phi +\omega )`$, where $`\omega `$ is an arbitrary function of space time, and the original gauge invariant equation is not sufficient to provide evolution equations for the two gauge dependent quantities $`w`$ and $`\phi `$. At this point we arbitrarily add the Hamilton-Jacobi equation as a gauge condition. This yields a system of evolution equations for $`(w,\phi )`$, namely

$$\{\begin{array}{cc}_tw=i(2t^2)^1\mathrm{\Delta }w+(2t^2)^1\left(2\phi +(\mathrm{\Delta }\phi )\right)w\hfill & (2.11)\hfill \\ & \\ _t\phi =(2t^2)^1|\phi |^2+t^\gamma g_0(w,w)\hfill & (2.12)\hfill \end{array}$$

where we have defined

$$g_0(w_1,w_2)=\kappa \mathrm{Re}||^{\mu n}w_1\overline{w}_2$$
$`(2.13)`$
and rewritten the nonlinear interaction term in (2.10) as

$$D^{}\stackrel{~}{g}\left(|Dw|^2\right)D=t^\gamma g_0(w,w).$$

The gauge freedom in (2.11)-(2.12) is now reduced to that given by an arbitrary function of space only. It will be shown in Section 4 that the Cauchy problem for the system (2.11)-(2.12) is locally well-posed in a neighborhood of infinity in time. The solutions thereby obtained behave asymptotically as $`w(t)=O(1)`$ and $`\phi (t)O(t^{1\gamma })`$ as $`t\mathrm{}`$, a behaviour that is immediately seen to be compatible with (2.11)-(2.12).

We next study the asymptotic behaviour of the solutions of the auxiliary system (2.11)-(2.12) in more detail and try to construct wave operators for that system. For that purpose, we need to choose a set of model functions playing the role of $`v`$, in the spirit of (2.6). We proceed as follows. Let $`p0`$ be an integer. We write

$$\{\begin{array}{cc}w=\underset{0mp}{}w_m+q_{p+1}W_p+q_{p+1}\hfill & (2.14)\hfill \\ & \\ \phi =\underset{0mp}{}\phi _m+\psi _{p+1}\varphi _p+\psi _{p+1}\hfill & (2.15)\hfill \end{array}$$

with the understanding that asymptotically in $`t`$

$$w_m(t)=O\left(t^{m\gamma }\right),q_{p+1}(t)=o\left(t^{p\gamma }\right),$$
$`(2.16)`$
$$\phi _m(t)=O\left(t^{1(m+1)\gamma }\right),\psi _{p+1}(t)=o\left(t^{1(p+1)\gamma }\right).$$
$`(2.17)`$
Substituting (2.14)-(2.15) into (2.11)-(2.12) and identifying the various powers of $`t^\gamma `$ yields the following system of equations for $`(w_m,\phi _m)`$ :

$$\{\begin{array}{cc}_tw_{m+1}=\left(2t^2\right)^1\underset{0jm}{}\left(2\phi _j+(\mathrm{\Delta }\phi _j)\right)w_{mj}\hfill & (2.18)\hfill \\ & \\ _t\phi _{m+1}=\left(2t^2\right)^1\underset{0jm}{}\phi _j\phi _{mj}+t^\gamma \underset{0jm+1}{}g_0(w_j,w_{m+1j})\hfill & (2.19)\hfill \end{array}$$

for $`m+10`$. Here it is understood that $`w_j=0`$ and $`\phi _j=0`$ for $`j<0`$. We supplement that system with the initial conditions

$$\{\begin{array}{cc}w_0(\mathrm{})=w_+,w_m(\mathrm{})=0\text{for}m1\hfill & (2.20)\hfill \\ & \\ \phi _m(1)=0\text{for}0mp.\hfill & (2.21)\hfill \end{array}$$

The system (2.18)-(2.19) with the initial conditions (2.20)-(2.21) can be solved by successive integrations : knowing $`(w_j,\phi _j)`$ for $`0jm`$, one constructs successively $`w_{m+1}`$ by integrating (2.18) between $`t`$ and $`\mathrm{}`$, and then $`\phi _{m+1}`$ by integrating (2.19) between 1 and $`t`$.

If $`(p+1)\gamma <1`$, that method of resolution reproduces the asymptotic behaviour in time (2.16) (2.17) which was used in the first place to provide a heuristic derivation of the system (2.18)-(2.19). For sufficiently large $`p`$, $`\varphi _p`$ is a sufficiently good approximation for $`\phi `$ to ensure that $`\psi _{p+1}`$ has a limit as $`t\mathrm{}`$. In fact by comparing the system (2.18)-(2.19) with (2.11)-(2.12), one finds that $`_t\psi _{p+1}`$ is essentially of the same order in $`t`$ as $`_t\phi _{p+1}`$, namely $`_t\psi _{p+1}O(t^{(p+2)\gamma })`$, which is integrable at infinity for $`(p+2)\gamma >1`$. In this way every solution $`(w,\phi )`$ of the system (2.11)-(2.12) as obtained previously has asymptotic states consisting of $`w_+=\underset{t\mathrm{}}{lim}w(t)`$ and $`\psi _+=\underset{t\mathrm{}}{lim}\psi _{p+1}(t)`$.

Conversely, under the condition $`(p+2)\gamma >1`$, we shall be able to solve the system (2.11)-(2.12) by looking for solutions in the form (2.14)-(2.15) with the additional initial condition $`\psi _{p+1}(\mathrm{})=\psi _+`$, thereby getting a solution which is asymptotic to $`(W_p,\varphi _p+\psi _+)`$ with

$$wW_pO\left(t^{(p+1)\gamma }\right),\phi \varphi _p\psi _+O\left(t^{1(p+2)\gamma }\right).$$
$`(2.22)`$
This allows to define a map $`\mathrm{\Omega }_0:(w_+,\psi _+)(w,\phi )`$ which is essentially the wave operator for $`(w,\phi )`$.

We next discuss the gauge covariance properties of $`\mathrm{\Omega }_0`$. Two solutions $`(w,\phi )`$ and $`(w^{},\phi ^{})`$ of the system (2.11)-(2.12) will be said to be gauge equivalent if they give rise to the same $`u`$ through (2.7), namely if $`w\mathrm{exp}(i\phi )=w^{}\mathrm{exp}(i\phi ^{})`$. If $`(w,\phi )`$ and $`(w^{},\phi ^{})`$ are two gauge equivalent solutions, one can show easily that the difference $`\phi _{}=\phi ^{}\phi `$ has a limit $`\omega `$ when $`t\mathrm{}`$ and that $`w_+^{}=w_+\mathrm{exp}(i\omega )`$. Under that condition, it turns out that the phases $`\{\phi _j\}`$ and $`\varphi _p`$ (but not the amplitudes) obtained by solving (2.18)-(2.19) are gauge invariant, namely $`\phi _m=\phi _m^{}`$ for $`0mp`$ and therefore $`\varphi _p=\varphi _p^{}`$, so that $`\psi _+^{}=\psi _++\omega `$. It is then natural to define gauge equivalence of asymptotic states $`(w_+,\psi _+)`$ and $`(w_+^{},\psi _+^{})`$ by the condition $`w_+\mathrm{exp}(i\psi _+)=w_+^{}\mathrm{exp}(i\psi _+^{})`$ and the previous result can be rephrased as the statement that gauge equivalent solutions of (2.11)-(2.12) in $`(\mathrm{\Omega }_0)`$ have gauge equivalent asymptotic states. Conversely, we shall show that gauge equivalent asymptotic states have gauge equivalent images under $`\mathrm{\Omega }_0`$. Here however we meet with a technical problem coming from the construction of $`\mathrm{\Omega }_0`$ itself. For given $`(w_+,\psi _+)`$ we construct $`(w,\phi )`$ in practice as follows. We take a (large) finite time $`t_0`$ and we define a solution $`(w_{t_0},\phi _{t_0})`$ of the system (2.11)-(2.12) by imposing a suitable initial condition at $`t_0`$, depending on $`(w_+,\psi _+)`$, and solving the Cauchy problem with finite initial time. We then let $`t_0`$ tend to infinity and obtain $`(w,\phi )`$ as the limit of $`(w_{t_0},\phi _{t_0})`$. The simplest way to prove the gauge equivalence of two solutions $`(w,\phi )`$ and $`(w^{},\phi ^{})`$ obtained in this way from gauge equivalent $`(w_+,\psi _+)`$ and $`(w_+^{},\psi _+^{})`$ consists in using an initial condition at $`t_0`$ which already ensures that $`(w_{t_0},\phi _{t_0})`$ and $`(w_{t_0}^{},\phi _{t_0}^{})`$ are gauge equivalent. However the natural choice $`(w_{t_0}(t_0),\phi _{t_0}(t_0))=(W_p(t_0),\varphi _p(t_0)+\psi _+)`$ does not satisfy that requirement as soon as $`p1`$ because $`\varphi _p(t_0)`$ is gauge invariant while $`W_p(t_0)\mathrm{exp}(\psi _+)`$ is not. In order to overcome that difficulty, we introduce a new amplitude $`V`$ and a new phase $`\chi `$ defined by solving the transport equations

$$\{\begin{array}{cc}_tV=(2t^2)^1\left(2\varphi _{p1}+\left(\mathrm{\Delta }\varphi _{p1}\right)\right)V\hfill & (2.23)\hfill \\ & \\ _t\chi =t^2\varphi _{p1}\chi \hfill & (2.24)\hfill \end{array}$$

with initial condition

$$V(\mathrm{})=w_+,\chi (\mathrm{})=\psi _+.$$
$`(2.25)`$
It follows from (2.23) (2.24) that $`V\mathrm{exp}(i\chi )`$ satisfies the same transport equation as $`V`$, now with gauge invariant initial condition $`(V\mathrm{exp}(i\chi ))(\mathrm{})=w_+\mathrm{exp}(i\psi _+)`$, and is therefore gauge invariant. Furthermore, $`(V,\chi )`$ is a sufficiently good approximation of $`(W_p,\psi _+)`$ in the sense that

$$V(t)W_p(t)O\left(t^{(p+1)\gamma }\right),\chi (t)\psi _+O(t^\gamma ).$$
$`(2.26)`$
One then takes $`(w_{t_0}(t_0),\phi _{t_0}(t_0))=(V(t_0),\varphi _p(t_0)+\chi (t_0))`$ as an initial condition at time $`t_0`$, thereby ensuring that $`(w_{t_0},\phi _{t_0})`$ and $`(w_{t_0}^{},\phi _{t_0}^{})`$ are gauge equivalent. That equivalence is easily seen to be preserved in the limit $`t_0\mathrm{}`$. Furthermore, the estimates (2.26) ensure that the asymptotic properties (2.22) are preserved by the modified construction. As a consequence of the previous discussion, the map $`\mathrm{\Omega }_0`$ is gauge covariant, namely induces an injective map of gauge equivalence classes of asymptotic states $`(w_+,\psi _+)`$ to gauge equivalence classes of solutions $`(w,\phi )`$ of the system (2.11)-(2.12).

The wave operator for $`u`$ is obtained from $`\mathrm{\Omega }_0`$ just defined and from $`\mathrm{\Lambda }`$ defined by (2.7). From the previous discussion it follows that the map $`\mathrm{\Lambda }\mathrm{\Omega }_0:(w_+,\psi _+)u`$ is injective from gauge equivalence classes of asymptotic states $`(w_+,\psi _+)`$ to solutions of (1.1). In order to define a wave operator for $`u`$ involving only the asymptotic state $`u_+`$ but not an arbitrary phase $`\psi _+`$, we choose a representative in each equivalence class $`(w_+,\psi _+)`$, namely we define the wave operator for $`u`$ as the map $`\mathrm{\Omega }:u_+u=(\mathrm{\Lambda }\mathrm{\Omega }_0)(Fu_+,0)`$. Since each equivalence class of asymptotic states contains at most one element with $`\psi _+=0`$, the map $`\mathrm{\Omega }`$ is again injective.

The previous heuristic discussion was based in part on a number of time decay estimates in terms of negative powers of $`t`$. In practice however two complications occur, namely (i) for integer $`\gamma ^1`$, some of the estimates involve logarithmic factors in time, and (ii) the use of Gevrey spaces requires that of norms defined by integrals over time involving a convergence factor which eventually produces a small loss in the time decays. Both difficulties are handled by introducing suitable estimating functions of time, some of which are defined by integral representations and generalize in a natural way a similar family of functions defined in II.

In the same way as in I, the system (2.11)-(2.12) can be rewritten as a system of equations for $`w`$ and for $`s=\phi `$, from which $`\phi `$ can then be recovered by (2.12), thereby leading to a slightly more general theory since the system for $`(w,s)`$ can be studied without even assuming that $`s`$ is a gradient. For simplicity, and in the same way as in II, we shall not follow that track. However, we shall use systematically the notation $`s=\phi `$, and for the purposes of estimation, we shall supplement the system (2.11)-(2.12) with the equation satisfied by $`s`$, which is simply the gradient of (2.12), namely

$$_ts=t^2ss+t^\gamma g_0(w,w).$$
$`(2.27)`$
We are now in a position to describe in more detail the contents of the technical sections 3-7 of this paper. In Section 3, we introduce the relevant Gevrey spaces and derive the basic estimates in those spaces that are needed to study the system (2.11)-(2.12) (Lemmas 3.4-3.7), we explain in passing the mechanism by which those spaces make it possible to overcome the derivative loss in (2.11)-(2.12) for $`\mu >n2`$ (after Lemma 3.4) and finally we introduce the estimating functions of time mentioned above and obtain some estimates for them. In Section 4, we prove that the Cauchy problem for the system (2.11)-(2.12) is well-posed for large time, with large but finite initial time (Proposition 4.1), we prove the existence of a limit for $`w(t)`$ as $`t\mathrm{}`$ for the solutions thereby obtained (Proposition 4.2) and we derive a uniqueness result of solutions with prescribed asymptotic behaviour (Proposition 4.3). In Section 5, we study the asymptotic behaviour in time of the solutions obtained in Section 4. We derive a number of properties and estimates for the solutions of the asymptotic system (2.18)-(2.19), defined inductively (Proposition 5.2). We then obtain asymptotic estimates on the approximation of the solutions of the system (2.11)-(2.12) by the asymptotic functions $`(W_m,\varphi _m)`$ defined by (2.14)-(2.15), and in particular we complete the proof of the existence of asymptotic states for those solutions (Proposition 5.3). In Section 6, we study the Cauchy problem with infinite initial time, first for the transport equations (2.23) (Proposition 6.1) and (2.24) (Proposition 6.2), and then for the system (2.11)-(2.12). For a given solution $`(V,\chi )`$ of the system (2.23)-(2.24) and a given (large) $`t_0`$, we construct a solution $`(w_{t_0},\phi _{t_0})`$ of the system (2.11)-(2.12) which coincides with $`(V,\varphi _p+\chi )`$ at $`t_0`$ and we estimate it uniformly in $`t_0`$ (Proposition 6.4). We then prove that when $`t_0\mathrm{}`$, $`(w_{t_0},\phi _{t_0})`$ has a limit $`(w,\phi )`$ which is asymptotic both to $`(V,\varphi _p+\chi )`$ and to $`(W_p,\varphi _p+\psi _+)`$ (Proposition 6.5). In Section 7, we exploit the results of Section 6 to construct the wave operators for the equation (1.1) and to describe the asymptotic behaviour of solutions in their range. We first prove that the local wave operator at infinity for the system (2.11)-(2.12) defined through Proposition 6.5 in Definition 7.1 is gauge covariant in the sense of Definitions 7.2 and 7.3 in the best form that can be expected with the available regularity (Propositions 7.2 and 7.3). With the help of some information on the Cauchy problem for (1.1) at finite time (Proposition 7.1), we then define the wave operator $`\mathrm{\Omega }:u_+u`$ (Definition 7.4), and we prove that it is injective. We then collect all the available information on $`\mathrm{\Omega }`$ and on solutions of (1.1) in its range in Proposition 7.5, which contains the main results of this paper. Finally some side results relevant for the definition and properties of the Gevrey spaces used here are collected in two Appendices.

## 3 Gevrey spaces and preliminary estimates

In this section, we define the Gevrey spaces where we shall study the auxiliary system (2.11)-(2.12) and we derive a number of energy type estimates which hold in those spaces and play an essential role in that study. We then introduce some estimating functions of time generalizing those of II and we derive a number of estimates for them.

The relevant spaces will be defined with the help of the functions

$$f_0(\xi )=\mathrm{exp}\left(\rho |\xi |^\nu \right),f(\xi )=\mathrm{exp}\left(\rho (|\xi |^\nu 1)\right)$$
$`(3.1)`$
where $`0<\nu 1`$, $`\rho `$ is a positive parameter to be specified later, and $`\xi IR^n`$. The dependence of $`f`$ on $`\rho `$ will always be omitted in the notation.

In all this paper, one could use instead of $`f_0`$ the function

$$\stackrel{~}{f}(\xi )=\underset{j0}{}(j!)^{1/\nu }\rho ^{j/\nu }|\xi |^j$$
$`(3.2)`$
which satisfies the same basic estimates and would yield essentially the same results. The function $`\stackrel{~}{f}`$ is also convenient in order to relate the definition of the Gevrey spaces $`K_\rho ^k`$ and $`Y_\rho ^{\mathrm{}}`$ (see (3.8) (3.9) below) to more standard definitions. Those points are discussed in Appendix A.

The functions $`f_0`$ and $`f`$ satisfy the following estimates.

Lemma 3.1. Let $`\xi `$, $`\eta IR^n`$. Then $`f`$ satisfies the estimates :

$$f(\xi )f(\xi \eta )f(\eta )\text{for all }\xi \text{ , }\eta ,$$
$`(3.3)`$
$$f(\xi )f(\xi \eta )f_0(\eta )^\nu \text{for}|\xi ||\eta ||\xi \eta |,$$
$`(3.4)`$
$$|f(\xi )f(\eta )||\eta |^{1\nu }|\xi \eta |^{1\nu }f(\xi \eta )f(\eta )\text{for all }\xi \text{}\eta ,$$
$`(3.5)`$
$$|f(\xi )f(\eta )||\eta |^{1\nu }C|\xi \eta |^{1\nu }f_0(\xi \eta )^\nu f(\eta )\text{for}|\xi ||\xi \eta ||\eta |,$$
$`(3.6)`$
$$|f(\xi )f(\eta )||\eta |^{1\nu }C|\xi \eta |^{1\nu }f(\xi \eta )f_0(\eta )^\nu \text{for}|\xi ||\eta ||\xi \eta |.$$
$`(3.7)`$
In (3.6) and (3.7), one can take $`C=1`$, except in the region $`|\xi ||\xi \eta ||\eta |`$ where $`C=2^{1\nu }`$.

The function $`f_0`$ satisfies the same estimates as $`f`$.

Proof. We first prove the estimates for $`f_0`$

(3.3) follows from the fact that $`|\xi |^\nu |\xi \eta |^\nu +|\eta |^\nu `$.

(3.4) is obvious for $`|\xi ||\xi \eta |`$. For $`|\eta ||\xi \eta ||\xi |`$, we estimate

$$|\xi |^\nu |\xi \eta |^\nu +\nu |\xi \eta |^{\nu 1}|\eta ||\xi \eta |^\nu +\nu |\eta |^\nu .$$

(3.5) follows from (3.3) for $`|\eta ||\xi \eta |`$ and from (3.6) with $`C=1`$ for $`|\xi \eta ||\xi ||\eta |`$. For $`|\xi ||\xi \eta ||\eta |`$, we estimate

$$\left(f_0(\eta )f_0(\xi )\right)|\eta |^{1\nu }f_0(\eta )|\eta |^{1\nu }\left(1\mathrm{exp}(\rho |\eta |^\nu )\right)f_0(\eta )\rho |\eta |$$

$$f_0(\eta )\left(|\eta |/|\xi \eta |\right)|\xi \eta |^{1\nu }\rho |\xi \eta |^\nu $$

and the result follows from the fact that $`|\eta |2|\xi \eta |`$ and $`\rho |\xi \eta |^\nu e^1f_0(\xi \eta )`$.

(3.6) is obvious for $`|\xi ||\eta ||\xi \eta |`$, with $`C=1`$.

For $`|\xi ||\xi \eta ||\eta |`$, we estimate

$$\left(f_0(\eta )f_0(\xi )\right)|\eta |^{1\nu }2^{1\nu }|\xi \eta |^{1\nu }f_0(\eta )$$

which yields (3.6) with $`C=2^{1\nu }`$ since $`|\eta |2|\xi \eta |`$.

The really crucial case is the case $`|\xi \eta ||\xi ||\eta |`$.

For $`|\xi \eta ||\xi ||\eta |`$, we estimate

$$\left(f_0(\eta )f_0(\xi )\right)|\eta |^{1\nu }f_0(\eta )|\eta |^{1\nu }\left(1\mathrm{exp}(\rho \nu |\xi \eta ||\xi |^{\nu 1})\right)$$

where we have used

$$|\eta |^\nu |\xi |^\nu \nu |\xi |^{\nu 1}|\xi \eta |,$$

$$\mathrm{}f_0(\eta )\left(|\eta |/|\xi |\right)^{1\nu }\rho \nu |\xi \eta |$$

$$f_0(\eta )|\xi \eta |^{1\nu }2^{1\nu }e^1f_0(\xi \eta )^\nu $$

since $`|\eta |2|\xi |`$ and $`\rho \nu |\xi \eta |^\nu e^1f_0(\xi \eta )^\nu `$. This proves (3.6) with $`C=1`$ in that case.

For $`|\xi \eta ||\eta ||\xi |`$, we estimate similarly

$$\left(f_0(\xi )f_0(\eta )\right)|\eta |^{1\nu }f_0(\eta )\left\{|\eta |^{1\nu }\left(\mathrm{exp}(\rho \nu |\xi \eta ||\eta |^{\nu 1})1\right)\right\}.$$

Now for fixed $`|\xi \eta |`$, the last bracket is a decreasing function of $`|\eta |`$, and is therefore bounded by its value for $`|\eta |=|\xi \eta |`$, so that

$$\mathrm{}f_0(\eta )|\xi \eta |^{1\nu }\left(f_0(\xi \eta )^\nu 1\right)$$

which proves (3.6) with $`C=1`$ in that case.

(3.7) is obvious for $`|\xi ||\eta ||\xi \eta |`$ and follows from (3.4) with $`C=1`$ for $`|\eta ||\xi ||\xi \eta |`$. For $`|\xi ||\xi \eta ||\eta |`$, we estimate

$$\left(f_0(\eta )f_0(\xi )\right)|\eta |^{1\nu }2^{1\nu }|\xi \eta |^{1\nu }f_0(\eta )$$

and (3.7) with $`C=2^{1\nu }`$ follows from

$$|\eta |^\nu \nu |\eta |^\nu +(1\nu )2^\nu |\xi \eta |^\nu \nu |\eta |^\nu +|\xi \eta |^\nu .$$

The estimates for $`f`$ follow from those for $`f_0`$. This is obvious for (3.3) (3.4). For (3.5) (3.6) (3.7), it follows from the fact that for all $`\xi `$, $`\eta `$ and all $`a>0`$

$$|f_0(\xi )af_0(\eta )a||f_0(\xi )f_0(\eta )|.$$

$``$$``$

We now turn to the definition of the spaces where we shall solve the system (2.11)-(2.12). For any tempered distribution $`u`$ in $`IR^n`$ with $`\widehat{u}L_{loc}^1(IR^n)`$, we define $`u_{\genfrac{}{}{0pt}{}{>}{<}}`$ by $`\widehat{u}_>(\xi )=\widehat{u}(\xi )`$ for $`|\xi |>1`$, $`\widehat{u}_>(\xi )=0`$ for $`|\xi |1`$, $`\widehat{u}_<(\xi )=0`$ for $`|\xi |>1`$, $`\widehat{u}_<(\xi )=\widehat{u}(\xi )`$ for $`|\xi |1`$. Similarly, for $`\xi IR^n`$ and $`mIR`$, we define $`|\xi |_>^m`$ and $`|\xi |_<^m`$ to be equal to $`|\xi |^m`$ for $`|\xi |>1`$ and $`|\xi |1`$ respectively, and zero otherwise. Occasionally we shall make the separation between low and high $`|\xi |`$ at some value $`a1`$. In that case we shall denote by $`u_{<a}`$ and $`u_{>a}`$ the corresponding components of $`u`$.

Let now $`\rho >0`$, $`kIR`$, $`\mathrm{}IR`$ and $`0\mathrm{}_<<n/2`$. Starting from Lemma 3.4 below (but not until then), we shall assume in addition that $`\mathrm{}_<>n/2\mu `$. We define

$$K_\rho ^k=\{w:|w|_k^2w;K_\rho ^k^2|\xi |^kf(\xi )\widehat{w}_>(\xi )_2^2+f(\xi )\widehat{w}_<(\xi )_2^2<\mathrm{}\},$$
$`(3.8)`$
$$Y_\rho ^{\mathrm{}}=\{\phi :\widehat{\phi }L_{loc}^1(IR^n)\text{and}|\phi |_{\mathrm{}}^2\phi ;Y_\rho ^{\mathrm{}}^2|\xi |^{\mathrm{}+2}f(\xi )\widehat{\phi }_>(\xi )_2^2$$

$$+|\xi |^\mathrm{}_<f(\xi )\widehat{\phi }_<(\xi )_2^2<\mathrm{}\}.$$
$`(3.9)`$
The apparent ambiguity in the notation $`||_b`$ will be lifted by the fact that the symbol $`b`$ will always contain the letter $`k`$ when referring to $`K_\rho ^k`$ spaces and the letter $`\mathrm{}`$ when referring to $`Y_\rho ^{\mathrm{}}`$ spaces. The spaces $`K_\rho ^k`$ and $`Y_\rho ^{\mathrm{}}`$ are Hilbert spaces and satisfy the embeddings $`K_\rho ^kK_\rho ^k^{}`$ for $`kk^{}`$ and $`Y_\rho ^{\mathrm{}}Y_\rho ^{\mathrm{}^{}}`$ for $`\mathrm{}\mathrm{}^{}`$, $`K_\rho ^kK_\rho ^{}^k`$ and $`Y_\rho ^{\mathrm{}}Y_\rho ^{}^{\mathrm{}}`$, for $`\rho \rho ^{}`$.

Remark 3.1. The norms in the spaces $`K_\rho ^k`$ and $`Y_\rho ^{\mathrm{}}`$ are both of the form $`f_1f\widehat{u}_2`$ with

$$f_1=|\xi |_>^{k_>}+|\xi |_<^{k_<}$$
$`(3.10)`$
where $`(k_>,k_<)=(k,0)`$ for $`K_\rho ^k`$ and $`(k_>,k_<)=(\mathrm{}+2,\mathrm{}_<)`$ for $`Y_\rho ^{\mathrm{}}`$. In particular this implies that

$$\{\begin{array}{c}w;K_\rho ^k=F^1(f\widehat{w});K_0^k\hfill \\ \\ \phi ;Y_\rho ^{\mathrm{}}=F^1(f\widehat{\phi });Y_0^{\mathrm{}}.\hfill \end{array}$$
$`(3.11)`$
If $`k_>k_<`$, namely if $`k0`$ for $`K_\rho ^k`$ and if $`\mathrm{}+2\mathrm{}_<`$ for $`Y_\rho ^{\mathrm{}}`$ (which will always be the case in the applications), one can omit either or both of the upper and lower restrictions in the definition of $`K_\rho ^k`$ or $`Y_\rho ^{\mathrm{}}`$, thereby obtaining equivalent norms uniformly in $`\rho `$. In fact, in that case

$$|\xi |_>^{2k_>}+|\xi |_<^{2k_<}|\xi |^{2k_>}+|\xi |^{2k_<}2\left(|\xi |_>^{2k_>}+|\xi |_<^{2k_<}\right).$$

Furthermore, the relations (3.11) are preserved under thoses changes.

We shall use the spaces $`K_\rho ^k`$ and $`Y_\rho ^{\mathrm{}}`$ with a time dependent parameter $`\rho 𝒞^1(IR^+,IR^+)`$. The form (3.8)-(3.9) of the norms has been chosen so as to ensure that for fixed (time independent) $`w`$ and $`\phi `$, the following relations hold

$$\{\begin{array}{c}\frac{d}{dt}|w|_k^2=2\rho ^{}|w|_{k+\nu /2}^2,\hfill \\ \\ \frac{d}{dt}|\phi |_{\mathrm{}}^2=2\rho ^{}|\phi |_{\mathrm{}+\nu /2}^2,\hfill \end{array}$$
$`(3.12)`$
where $`\rho ^{}=d\rho /dt`$.

We shall look for $`w`$ as complex $`K_\rho ^k`$ valued functions of time and for $`\phi `$ as real $`Y_\rho ^{\mathrm{}}`$ valued functions of time. More precisely, we shall look for $`(w,\phi )`$ such that for some interval $`I[1,\mathrm{})`$

$$(w,\phi )𝒳_{\rho ,loc}^{k,\mathrm{}}(I)𝒞(I,K_\rho ^kY_\rho ^{\mathrm{}})L_{loc}^2(I,K_\rho ^{k+\nu /2}Y_\rho ^{\mathrm{}+\nu /2})$$
$`(3.13)`$
by which is meant, especially as regards continuity, that

$$(F^1f\widehat{w},F^1f\widehat{\phi })𝒳_{0,loc}^{k,\mathrm{}}(I)𝒞(I,K_0^kY_0^{\mathrm{}})L_{loc}^2(I,K_0^{k+\nu /2}Y_0^{\mathrm{}+\nu /2})$$

in the usual sense. In particular, when taking norms such as $`|w(t)|_k`$ or $`|\phi (t)|_{\mathrm{}}`$ with time dependent $`\rho `$, it will always be understood that $`\rho `$ in the definition of the relevant space is taken at the same value of the time as $`w`$ or $`\phi `$.

We shall also need global versions of the previous spaces, especially when the interval $`I`$ is unbounded. The definition of those global versions will require assumptions on $`\rho `$ that are irrelevant for the considerations of this section and will be postponed until the beginning of Section 4.

We shall need the following elementary estimates.

Lemma 3.2. Let $`mIR`$. The following estimates hold :

$$|\xi |^m\widehat{(u_1u_2)}_>_2C<\xi >^{k_1}\widehat{u}_1_2<\xi >^{k_2}\widehat{u}_2_2$$
$`(3.14)`$
for $`k_1`$, $`k_2m0`$ and $`k_1+k_2>m+n/2`$, where $`<>=(1+||^2)^{1/2}`$,

$$|\xi |^m\widehat{(u_1u_2)}_<_2Cu_1_2u_2_2$$
$`(3.15)`$
for $`m>n/2`$.

Proof. (3.14) for $`m0`$ follows from (3.14) (3.15) for $`m=0`$ and from

$$|\xi |^m\widehat{(u_1u_2)}_2C\left((|\xi |^m|\widehat{u}_1|)|\widehat{u}_2|_2+|\widehat{u}_1|(|\xi |^m|\widehat{u}_2|)_2\right).$$

For $`m<0`$, we estimate by the Hölder and Young inequalities

$$|\xi |^m\widehat{(u_1u_2)}_>_2C|\xi |_>^m_s\widehat{u}_1_{\overline{r}_1}\widehat{u}_2_{\overline{r}_2}$$

with $`1/s+1/\overline{r}_1+1/\overline{r}_2=3/2`$ , $`n/s<|m|`$ and $`1\overline{r}_1`$, $`\overline{r}_22`$. The last two norms are estimated by $`<\xi >^{k_i}\widehat{u}_i_2`$ provided $`k_i>n/\overline{r}_in/2`$. One can find $`\overline{r}_1`$, $`\overline{r}_2`$ satisfying all previous conditions under the assumptions made on $`k_i`$.

For $`m=0`$, we apply the same argument with $`s=\mathrm{}`$.

For the proof of (3.15) we estimate by the Schwarz and Young inequalities

$$|\xi |^m\widehat{(u_1u_2)}_<_2|\xi |_<^m_2u_1_2u_2_2$$

for $`m>n/2`$.

$``$$``$

For future reference, we also state the following elementary inequalities

$$|\xi |^m\widehat{\phi }_<_1C|\xi |^\mathrm{}_<\widehat{\phi }_<_2\text{for all}m0,$$
$`(3.16)`$
$$|\xi |^m\widehat{\phi }_>_1C|\xi |^{\mathrm{}+2}\widehat{\phi }_>_2\text{for }\mathrm{}+2>m+n/2.$$
$`(3.17)`$
In what follows, we shall repeatedly estimate norms such as $`|\xi |^mf\widehat{u_1u_2}_2`$ with $`m0`$. For that purpose, using (3.3), we shall write

$$|\xi |^mf|\widehat{u_1u_2}||\xi |^m𝑑\eta f(\xi )|\widehat{u}_1(\xi \eta )||\widehat{u}_2(\eta )|$$

$$2^m𝑑\eta \left(|\xi \eta |^m+|\eta |^m\right)f(\xi \eta )f(\eta )|\widehat{u}_1(\xi \eta )||\widehat{u}_2(\eta )|$$

$$=2^m\{(||^mf|\widehat{u}_1|)(f|\widehat{u}_2|)+(12)\}.$$
$`(3.18)`$
That inequality will be often combined with restrictions to low or high values of $`|\xi |`$, either in the product $`(u_1u_2)`$ or in $`u_1`$ or $`u_2`$ separately.

The next lemma states that under suitable assumptions on $`k`$ and $`\mathrm{}`$, $`Y_\rho ^{\mathrm{}}`$ is an algebra under ordinary multiplication and acts boundedly on $`K_\rho ^k`$ by multiplication.

Lemma 3.3. Let $`\mathrm{}+2>n/2`$ and $`0k\mathrm{}+2`$. Then there exist constants $`C_1`$ and $`C_2`$, independent of $`\rho `$, such that

$$|\phi \psi |_{\mathrm{}}C_1|\phi |_{\mathrm{}}|\psi |_{\mathrm{}}\text{for all }\phi \text{,}\psi Y_\rho ^{\mathrm{}},$$
$`(3.19)`$
$$|\phi w|_kC_2|\phi |_{\mathrm{}}|w|_k\text{for all }\phi Y_\rho ^{\mathrm{}}\text{,}wK_\rho ^k.$$
$`(3.20)`$
In particular

$$|(\mathrm{exp}(i\phi )1)w|_kC_2C_1^1\left(\mathrm{exp}(C_1|\phi |_{\mathrm{}})1\right)|w|_k$$
$`(3.21)`$
for all $`\phi Y_\rho ^{\mathrm{}}`$, $`wK_\rho ^k`$.

Proof. From the definitions (3.8) (3.9) of the norms and in particular from (3.11), and from (3.3), it follows that (3.19) (3.20) for $`\rho =0`$ imply the same estimates for arbitrary $`\rho >0`$ with the same constants. We therefore restrict our attention to the case $`\rho =0`$. In that case (3.19) (3.20) are almost standard properties of Sobolev spaces, except for the presence of $`|\xi |_<^\mathrm{}_<`$ with possibly $`\mathrm{}_<>0`$ in (3.9). We give a proof for completeness.

(3.19). From the definition (3.9) with $`\rho =0`$, it follows that it is sufficient to estimate $`|\xi |^{\mathrm{}+2}(\widehat{\phi \psi })_{>2}_2`$ and $`|\xi |^\mathrm{}_<\widehat{\phi \psi }_2`$. We estimate

$$|\xi |^{\mathrm{}+2}(\widehat{\phi \psi })_{>2}_2C\{(|\xi |^{\mathrm{}+2}|\widehat{\phi }_>|)|\widehat{\psi }|_2$$

$$+|\widehat{\phi }_<||\widehat{\psi }_>|_2+(\phi \psi )\}$$

$$C\{|\xi |^{\mathrm{}+2}\widehat{\phi }_>_2\widehat{\psi }_1+\widehat{\phi }_<_1\widehat{\psi }_>_2+(\phi \psi )\}$$

$$C|\phi |_{\mathrm{}}|\psi |_{\mathrm{}}$$

by (3.3), by the Young inequality and by (3.16) (3.17). The lower restriction $`|\xi |>2`$ in $`\phi \psi `$ implies that there is no $`\phi _<\psi _<`$ contribution.

On the other hand

$$|\xi |^\mathrm{}<\widehat{\phi \psi }_2C\{|\xi |^\mathrm{}_<\widehat{\phi }_2\widehat{\psi }_1+(\phi \psi )\}C|\phi |_{\mathrm{}}|\psi |_{\mathrm{}}$$

by the Young inequality and (3.16) (3.17).

(3.20). We estimate similarly by (3.3) and the Young inequality

$$<\xi >^k\widehat{\phi w}_2C\{\widehat{\phi }_1<\xi >^k\widehat{w}_2+\widehat{\phi }_<_1\widehat{w}_2$$

$$+(|\xi |^k|\widehat{\phi }_>|)|\widehat{w}|_2\}$$

and the result follows from (3.16) (3.17) and from Lemma 3.2 with $`m=0`$, $`k_1=\mathrm{}+2k`$ and $`k_2=k`$.

(3.21) follows immediately from a repeated application of (3.19) (3.20).

$``$$``$

Remark 3.2. In Lemma 3.3 we have used only (3.3) from Lemma 3.1. For $`\nu <1`$, by using (3.4), one can obtain more general results. In particular $`K_\rho ^k`$ and $`Y_\rho ^{\mathrm{}}`$ are algebras under multiplication for any $`k`$ and $`\mathrm{}`$ in $`IR^+`$ (see Appendix B). Similarly in what follows, we shall use only (3.3) and (3.5). For $`\nu <1`$, by using in addition (3.4) and (3.6), one could generalize some of the results by weakening the assumptions made on $`k`$ and $`\mathrm{}`$. That extension however would not hold uniformly in $`\nu `$ for $`\nu 1`$, and we shall therefore refrain from following that track.

We now turn to the derivation of the basic estimates needed to study the auxiliary system (2.11)-(2.12). For that purpose, we shall use a regularization. Let $`j𝒞^1(IR^n,IR)`$ with $`0j1`$ and $`j(0)=1`$. We denote by $`j_\epsilon `$ both the function $`j_\epsilon (\xi )=j(\epsilon \xi )`$ and the operator of multiplication by that function in Fourier space variables, and by $`J_\epsilon `$ the operator $`F^{}j_\epsilon F`$.

We recall that $`g_0`$ is defined by (2.13). We shall use systematically the notation $`s=\phi `$ and whenever convenient, start from the equation (2.27) satisfied by $`s`$ instead of the equation (2.12) satisfied by $`\phi `$.

We first state the basic estimates.

Lemma 3.4. Let $`m0`$. The following estimates hold :

$$|\mathrm{Re}<j_\epsilon |\xi |^kf\widehat{w},j_\epsilon |\xi |^kf(\widehat{sw})>|+|\mathrm{Re}<j_\epsilon f\widehat{w},j_\epsilon f(\widehat{sw})>|C|w|_{k+\nu /2}^2|\phi |_{\mathrm{}}$$
$`(3.22)`$
uniformly in $`\epsilon `$, for $`\mathrm{}>n/2\nu `$ , $`k\nu /2`$ , $`\mathrm{}+1k\nu /2`$.

$$|\xi |^mf(\widehat{sw})_2C|\phi |_{\mathrm{}}|w|_k$$
$`(3.23)`$
for $`k+\mathrm{}>m+n/2`$ , $`km+1`$ , $`\mathrm{}+1m`$.

$$|\xi |^mf((\widehat{s)w})_2C|\phi |_{\mathrm{}}|w|_k$$
$`(3.24)`$
for $`k+\mathrm{}>m+n/2`$ , $`km`$ , $`\mathrm{}m`$.

$$|\mathrm{Re}<j_\epsilon |\xi |^{\mathrm{}^{}+1}f\widehat{s_>^{}},j_\epsilon |\xi |^{\mathrm{}^{}+1}f(\widehat{ss^{}})_>>|C|\phi ^{}|_{\mathrm{}^{}+\nu /2}^2|\phi |_{\mathrm{}}$$
$`(3.25)`$
uniformly in $`\epsilon `$, for $`\mathrm{}>n/2\nu `$ , $`\mathrm{}^{}+1\nu /2`$ , $`\mathrm{}\mathrm{}^{}\nu /2`$.

$$|\xi |^mf(\widehat{ss^{}})_>_2C|\phi |_{\mathrm{}}|\phi ^{}|_{\mathrm{}^{}}$$
$`(3.26)`$
for $`\mathrm{}+\mathrm{}^{}>m1+n/2`$ , $`\mathrm{}+1m`$ , $`\mathrm{}^{}m`$.

$$|\xi |^\mathrm{}_<f(\widehat{ss^{}})_2C|\phi |_{\mathrm{}}|\phi ^{}|_{\mathrm{}^{}}$$
$`(3.27)`$
for $`\mathrm{}`$, $`\mathrm{}^{}>n/22`$.

$$|\xi |^mf\widehat{g_0(w_1}w_2)_>_2C\{|w_1|_{k_1}|w_2|_{k_2}+|w_1|_{k_1^{}}|w_2|_{k_2^{}}\}$$
$`(3.28)`$
for $`(k_1+k_2)(k_1^{}+k_2^{})>\beta +n/2`$ , $`k_1k_2^{}\beta 0`$ , $`k_2k_1^{}0`$, where $`\beta =m+\mu n`$.

$$|\xi |^\mathrm{}_<\widehat{g_0(w_1}w_2)_<_2Cw_1_2w_2_2$$
$`(3.29)`$
for $`\mathrm{}_<>n/2\mu `$.

The constants $`C`$ in (3.22)-(3.29) can be taken independent of $`\rho `$.

Proof. (3.22). We have to estimate

$$\mathrm{Im}𝑑\xi 𝑑\eta j_\epsilon (\xi )|\xi |^kf(\xi )\overline{\widehat{w}}(\xi )j_\epsilon (\xi )|\xi |^kf(\xi )\widehat{s}(\xi \eta )\eta \widehat{w}(\eta )$$
$`(3.30)`$
and a similar expression with $`k=0`$. We consider only the former one. The proof for the latter is similar and simpler. We split the domain of integration into three regions, namely

$$|\xi \eta ||\xi ||\eta |,|\xi ||\xi \eta ||\eta |\text{and}|\eta ||\xi ||\xi \eta |$$

and correspondingly the integral (3.30) is written as the sum $`I_1+I_2+I_3`$ of three terms which we estimate successively.

Region $`|\xi \eta ||\xi ||\eta |`$, estimate of $`I_1`$.

In this region we decompose the integrand according to the identity

$$j_\epsilon (\xi )|\xi |^kf(\xi )\eta =j_\epsilon (\xi )|\xi |^k\left(f(\xi )f(\eta )\right)\eta +\left(j_\epsilon (\xi )|\xi |^kj_\epsilon (\eta )|\eta |^k\right)f(\eta )\eta +j_\epsilon (\eta )|\eta |^kf(\eta )\eta $$
$`(3.31)`$
and correspondingly $`I_1`$ is written as the sum $`I_{1,1}+I_{1,2}+I_{1,3}`$ of three terms which we estimate successively.

Estimate of $`I_{1,1}`$. From (3.5) of Lemma 3.1, we obtain

$$\left|j_\epsilon (\xi )|\xi |^{2k}(f(\xi )f(\eta ))\eta \right|C|\xi |^{k+\nu /2}|\xi \eta |^{1\nu }|\eta |^{k+\nu /2}f(\xi \eta )f(\eta )$$

and therefore by the Schwarz and Young inequalities

$$|I_{1,1}|C|w|_{k+\nu /2}^2|\xi |^{1\nu }f\widehat{s}_1$$

so that by (3.16) (3.17)

$$|I_{1,1}|C|w|_{k+\nu /2}^2|\phi |_{\mathrm{}}.$$
$`(3.32)`$
Estimate of $`I_{1,2}`$. We rewrite

$$\left(j_\epsilon (\xi )|\xi |^kj_\epsilon (\eta )|\eta |^k\right)\eta =j_\epsilon (\xi )\left(|\xi |^k|\eta |^k\right)\eta +|\eta |^k\left(j_\epsilon (\xi )j_\epsilon (\eta )\right)\eta .$$
$`(3.33)`$
We estimate

$$\left||\xi |^k|\eta |^k\right||\eta |k2^{|k1|}|\xi \eta ||\eta |^k$$
$`(3.34)`$
and we rewrite

$$\left(j_\epsilon (\xi )j_\epsilon (\eta )\right)\eta =j_\epsilon (\xi )\xi j_\epsilon (\eta )\eta j_\epsilon (\xi )(\xi \eta )$$

$$=_0^1𝑑\theta \left\{(\xi \eta )j_\epsilon (\xi _\theta )\xi _\theta +(j_\epsilon (\xi _\theta )j_\epsilon (\xi ))(\xi \eta )\right\}$$
$`(3.35)`$
with $`\xi _\theta =\theta \xi +(1\theta )\eta `$, so that

$$|j_\epsilon (\xi )j_\epsilon (\eta )||\eta |(||j_{\mathrm{}}+2)|\xi \eta |.$$
$`(3.36)`$
Comparing (3.33) (3.34) (3.36), we obtain

$$\left|j_\epsilon (\xi )|\xi |^kj_\epsilon (\eta )|\eta |^k\right||\eta |C|\xi \eta ||\eta |^kC|\xi |^{\nu /2}|\xi \eta |^{1\nu }|\eta |^{k+\nu /2}$$
$`(3.37)`$
from which we obtain as previously

$$|I_{1,2}|C|w|_{k+\nu /2}^2|\phi |_{\mathrm{}}.$$
$`(3.38)`$
Estimate of $`I_{1,3}`$. By reality and symmetry, which is the Fourier space version of integration by parts, $`I_{1,3}`$ can be rewritten as

$$I_{1,3}=(i/2)_{|\xi \eta ||\xi ||\eta |}𝑑\xi 𝑑\eta j_\epsilon (\xi )|\xi |^kf(\xi )\overline{\widehat{w}}(\xi )(\xi \eta )\widehat{s}(\xi \eta )j_\epsilon (\eta )|\eta |^kf(\eta )\widehat{w}(\eta ).$$

Using the second inequality in (3.37) we obtain as previously

$$|I_{1,3}|C|w|_{k+\nu /2}^2|s|_{\mathrm{}}.$$
$`(3.39)`$
We now turn to the contribution of the region $`|\xi ||\xi \eta ||\eta |`$.

Estimate of $`I_2`$. Using (3.3) and

$$|\xi |^{2k}|\eta |C|\xi |^{k+\nu /2}|\xi \eta |^{1\nu }|\eta |^{k+\nu /2}$$
$`(3.40)`$
we obtain as previously

$$|I_2|C|w|_{k+\nu /2}^2|\phi |_{\mathrm{}}.$$
$`(3.41)`$
We finally consider the region $`|\eta ||\xi ||\xi \eta |`$.

Estimate of $`|I_3|`$. Using (3.3) and

$$|\xi |^{2k}|\eta |C|\xi |^{k+\nu /2}|\xi \eta |^{k\nu /2+1\theta }|\eta |^\theta $$

with $`0\theta 1`$ and decomposing $`s=s_>+s_<`$, we estimate

$$|I_3|C|w|_{k+\nu /2}\{(|\xi |^{k\nu /2+1}f|\widehat{s}_<|)(f|\widehat{w}|)_2$$

$$+(|\xi |^{k\nu /2+1\theta }f|\widehat{s}_>|)(|\xi |^\theta f|\widehat{w}|)_2\}.$$
$`(3.42)`$
Using the Young inequality for the term in $`s_<`$ and Lemma 3.2 for the term in $`s_>`$, we obtain

$$|I_3|C|w|_{k+\nu /2}\left\{|\xi |^{k\nu /2+1}f\widehat{s}_<_1f\widehat{w}_2+|\xi |^{\mathrm{}+1}f\widehat{s}_>_2|\xi |^{k+\nu /2}f\widehat{w}_2\right\}$$

with $`\mathrm{}>n/2\nu `$ , $`k+\nu /2\theta `$ and $`\mathrm{}k\nu /2\theta `$. We choose $`\theta =1(k+\nu /2)`$ and the last two conditions reduce to $`\mathrm{}+1k\nu /2`$. Using (3.16), we obtain

$$|I_3|C|w|_{k+\nu /2}^2|\phi |_{\mathrm{}}.$$
$`(3.43)`$
Collecting (3.32) (3.38) (3.39) (3.41) (3.43) yields (3.22).

The constants $`C`$ appearing in the proof of (3.22) are independent of $`\rho `$. This can be checked explicitly on each case. More generally, it is a consequence of the following facts. We treat $`f`$ only through the inequalities (3.3) and (3.5) of Lemma 3.1, until we end up with integrals of the type (3.30) with however $`f`$ appearing only through the product $`f(\xi )f(\xi \eta )f(\eta )`$ (possibly after adding one missing $`f`$ and using the fact that $`f1`$). It then follows from (3.11) that an estimate of the type (3.22) of such a quantity for $`\rho =0`$ implies the same estimate for any $`\rho >0`$ with the same constant. The same argument applies to all subsequent estimates of Lemma 3.4 that contain $`f`$. Therefore from now on and in the same way as in the proof of Lemma 3.3, we omit $`f`$ in the proofs.

(3.23). We estimate

$$|\xi |^m(\widehat{sw})_2C\left\{|\widehat{s}|(|\xi |^{m+1}|\widehat{w}|)_2+(|\xi |^m|\widehat{s}|)(|\xi ||\widehat{w}|)_2\right\}.$$

We decompose $`s=s_<+s_>`$, we estimate the contribution of $`s_<`$ by the Young inequality and the contribution of $`s_>`$ by Lemma 3.2, thereby obtaining

$$\mathrm{}C\left\{\widehat{s}_<_1\left(|\xi |^{m+1}\widehat{w}_2+|\xi |\widehat{w}_2\right)+|\xi |^{\mathrm{}+1}\widehat{s}_>_2|\xi |^k\widehat{w}_2\right\}$$

under the condition stated on $`k`$, $`\mathrm{}`$, $`m`$. (3.23) then follows by (3.16).

(3.24). We estimate

$$|\xi |^m(\widehat{(s)w})_2C\left\{(|\xi |^{m+1}|\widehat{s}|)|\widehat{w}|_2+(|\xi ||\widehat{s}|)(|\xi |^m|\widehat{w}|)_2\right\}.$$

Proceeding as above, we obtain

$$\mathrm{}C\left\{\widehat{s}_<_1\left(|\xi |^m\widehat{w}_2+\widehat{w}_2\right)+|\xi |^{\mathrm{}+1}\widehat{s}_>_2|\xi |^k\widehat{w}_2\right\}$$

from which (3.24) follows by the same argument as above.

(3.25) and (3.26). We decompose $`s^{}=s_>^{}+s_<^{}`$. The contribution of $`s_>^{}`$ to (3.25) and (3.26) is estimated by (3.22) and (3.24) respectively, by replacing $`w`$ by $`s_>^{}`$ and $`k`$ by $`\mathrm{}^{}+1`$. In order to complete the proof it remains to estimate $`|\xi |_>^m(\widehat{ss_<^{}})_2`$ with $`m=\mathrm{}^{}+1\nu /2`$ for (3.25) and with general $`m`$ for (3.26), namely to estimate the $`L^2`$ norm in $`\xi `$ of the integral

$$J=|\xi |_>^mf(\xi )𝑑\eta \widehat{s}(\xi \eta )\eta \widehat{s}_<^{}(\eta ).$$

For that purpose, we decompose $`s=s_{>1/2}+s_{<1/2}`$ and correspondingly $`J=J_>+J_<`$. In $`J_>`$ we have $`|\eta |12|\xi \eta |`$ and therefore $`|\xi |3|\xi \eta |`$, so that

$$\begin{array}{cc}J_>_2\hfill & C(|\xi |^m|\widehat{s}_{>1/2}|)(|\eta ||\widehat{s}_<^{}|)_2\hfill \\ & \\ & C|s|_{\mathrm{}}\widehat{s}_<^{}_1\hfill \end{array}$$
$`(3.44)`$
by the Young inequality, provided $`m\mathrm{}+1`$, a condition which appears explicitly in (3.25) and which reduces to $`\mathrm{}\mathrm{}^{}\nu /2`$ in (3.26) for $`m=\mathrm{}^{}+1\nu /2`$.

In $`J_<`$, we have $`|\xi \eta |1/2`$, $`|\xi |1`$ and $`|\eta |1`$, and therefore $`1/2|\eta |1`$ and $`|\xi |3/2`$, so that

$$J_<_2C\widehat{s}_{<1/2}_1s_{>1/2}^{}_2.$$
$`(3.45)`$
(3.25) and (3.26) now follow from (3.22) (3.24), (3.44) (3.16) and (3.45).

(3.27) follows immediately from

$$|\xi |^\mathrm{}_<(\widehat{ss^{}})_2C\{(|\xi |^\mathrm{}<|\widehat{s}|)|\widehat{s}^{}|_2+(ss^{})\}$$

$$C\{|\xi |^\mathrm{}_<\widehat{s}_2\widehat{s}^{}_1+(ss^{})\}$$

and from (3.16) (3.17).

(3.28) follows from (3.14) either directly for $`\beta 0`$, or through the inequality

$$|\xi |^m\widehat{g_0(w_1}w_2)_>_2C\{(|\xi |^\beta |\widehat{w}_1|)(|\widehat{w}_2|)_2+(12)\}$$

for $`\beta 0`$.

(3.29) follows from (3.15) with $`m=\beta `$.

$``$$``$

We now explain the origin of the derivative loss in the system (2.11)-(2.12) for$`\lambda \mu n+2>0`$ and the mechanism by which that loss is overcome through the use of the spaces $`𝒳_{\rho ,loc}^{k,\mathrm{}}`$ defined by (3.13). If we try to solve the system (2.11)-(2.12) by the energy method in a space like $`𝒞(I,H^k\dot{H}^{\mathrm{}+2}`$), we have to estimate in particular

$$\{\begin{array}{c}_t^kw_2^2=2\mathrm{R}\mathrm{e}<^kw,^k_tw>\hfill \\ \\ _t^{\mathrm{}+2}\phi _2^2=2<^{\mathrm{}+2}\phi ,^{\mathrm{}+2}_t\phi >.\hfill \end{array}$$
$`(3.46)`$
The term with $`\mathrm{\Delta }\varphi `$ from $`_tw`$ forces us to apply $`k+2`$ derivatives to $`\phi `$ and requires therefore $`\mathrm{}k`$, while the term with $`g_0`$ from $`_t\phi `$ forces us to apply $`\mathrm{}+2`$ derivatives to $`g_0`$ or equivalently $`\mathrm{}+\lambda `$ derivatives to $`|w|^2`$ and requires therefore $`k\mathrm{}+\lambda `$. The terms with $`\phi w`$ from $`_tw`$ and with $`|\phi |^2`$ from $`_t\phi `$ can be handled essentially under the same assumptions, possibly after an integration by parts. The method therefore applies only if $`\lambda 0`$, namely $`\mu n2`$, which is the case treated in I and II.

If we try instead to solve the same problem in the space $`𝒳_{\rho ,loc}^{k,\mathrm{}}`$ with time dependent $`\rho `$, we have by (3.12)

$$\{\begin{array}{c}_t|w|_k^2=2\rho ^{}|w|_{k+\nu /2}^2+2\mathrm{R}\mathrm{e}<w,_tw>_k\hfill \\ \\ _t|\phi |_{\mathrm{}}^2=2\rho ^{}|\phi |_{\mathrm{}+\nu /2}^2+2<\phi ,_t\phi >_{\mathrm{}}\hfill \end{array}$$
$`(3.47)`$
where $`<,>_k`$ and $`<,>_{\mathrm{}}`$ denote the scalar products in $`K_\rho ^k`$ and $`Y_\rho ^{\mathrm{}}`$. If $`\rho ^{}`$ has a favourable sign, namely if $`\rho `$ decreases away from the initial time, the terms containing $`\rho ^{}`$ provide a control of the norm in $`L^2(K_\rho ^{k+\nu /2}Y_\rho ^{\mathrm{}+\nu /2})`$, and it suffices to control the scalar products at most quadratically in terms of the norms in $`K_\rho ^{k+\nu /2}`$ and $`Y_\rho ^{\mathrm{}+\nu /2}`$. In the term with $`\mathrm{\Delta }\varphi `$ from $`_tw`$, after distributing the function $`f`$ with the help of (3.3) and shifting $`\nu /2`$ derivatives on the first vector of the scalar product, it suffices to apply $`k\nu /2`$ derivatives on $`\mathrm{\Delta }\varphi `$ while one is allowed to use the norm $`|\phi |_{\mathrm{}+\nu /2}`$. This requires only $`\mathrm{}k\nu `$. Similarly in the term with $`g_0`$ from $`_t\phi `$, it suffices to apply $`\mathrm{}+2\nu /2`$ derivatives to $`g_0`$ or equivalently $`\mathrm{}+\lambda \nu /2`$ derivatives to $`|w|^2`$, while one is allowed to use $`|w|_{k+\nu /2}`$. This requires only $`k\mathrm{}+\lambda \nu `$. The two conditions on $`(k,\mathrm{})`$ are compatible provided $`\lambda 2\nu `$, which allows for $`\mu n`$ under that condition. It remains to estimate the terms $`\phi w`$ from $`_tw`$ and $`|\phi |^2`$ from $`_t\phi `$, which in the Sobolev case requires the integration by part of one derivative. Here however, by the same argument as above, it suffices to integrate by parts $`1\nu `$ derivative. Now it turns out that integration by parts of $`1\nu `$ derivative is exactly what is allowed by the inequality (3.5), which is exploited through (3.31) to derive the estimates (3.22) (3.25) where that integration by parts occurs. Actually the inequality (3.5) is optimal in the dangerous part $`|\xi \eta ||\xi ||\eta |`$ of the region where it is used, and more precisely when $`|\eta |\mathrm{}`$ for fixed $`|\xi \eta |`$. The conditions $`\mathrm{}k\nu `$ and $`k\mathrm{}+\lambda \nu `$ and therefore their consequence $`\lambda 2\nu `$ will appear from the next lemma onward as the most important part of the condition (3.48) and will propagate throughout this paper (except in Section 5) up to the main and final results of Propositions 6.5 and 7.5.

We now exploit Lemma 3.4 to derive energy like estimates for the solutions of the auxiliary system (2.11)-(2.12). In the following three lemmas, $`I`$ is an interval contained in $`[1,\mathrm{})`$, $`\rho `$ is a nonnegative continuous and piecewise $`𝒞^1`$ function defined in $`I`$. We shall be interested in solutions $`(w,\phi )`$ in spaces of the type $`𝒳_{\rho ,loc}^{k,\mathrm{}}(I)`$ for suitable values of $`k`$ and $`\mathrm{}`$. The estimates will hold in integrated form in any compact subinterval of $`I`$ under the available regularity, but will be stated in differential form for brevity.

Lemma 3.5. Let $`k`$, $`\mathrm{}`$ satisfy

$$\{\begin{array}{c}\mathrm{}>n/2\nu ,k\nu /2,\mathrm{}k\nu ,\hfill \\ \\ k\mathrm{}+\lambda \nu ,2k>\mathrm{}+\lambda \nu +n/2,\hfill \end{array}$$
$`(3.48)`$
where $`\lambda =\mu n+2`$.

Let $`(w,\phi )𝒳_{\rho ,loc}^{k,\mathrm{}}(I)`$ be a solution of the system (2.11)-(2.12). Then the following estimates hold :

$$\left|_t|w|_k^22\rho ^{}|w|_{k+\nu /2}^2\right|Ct^2\left\{|w|_{k+\nu /2}^2|\phi |_{\mathrm{}}+|w|_{k+\nu /2}|\phi |_{\mathrm{}+\nu /2}|w|_k\right\},$$
$`(3.49)`$
$$\left|_t|\phi |_{\mathrm{}}^22\rho ^{}|\phi |_{\mathrm{}+\nu /2}^2\right|Ct^2|\phi |_{\mathrm{}+\nu /2}^2|\phi |_{\mathrm{}}+Ct^\gamma |\phi |_{\mathrm{}+\nu /2}|w|_{k+\nu /2}|w|_k.$$
$`(3.50)`$
Proof. We use the same regularization as in the proof of Lemma 3.4. From (3.12) we obtain

$$_t|J_\epsilon w|_k^22\rho ^{}|J_\epsilon w|_{k+\nu /2}^2=2\mathrm{R}\mathrm{e}(<j_\epsilon |\xi |^kf\widehat{w}_>,j_\epsilon |\xi |^kf_t\widehat{w}_>>+<j_\epsilon f\widehat{w}_<,j_\epsilon f_t\widehat{w}_<>).$$
$`(3.51)`$
We substitute $`_tw`$ from (2.11) and we estimate the various terms successively. The term with $`\mathrm{\Delta }w`$ does not contribute. The term $`sw`$ is estimated by (3.22) under the conditions

$$\mathrm{}>n/2\nu ,k\nu /2,\mathrm{}+1k\nu /2.$$

The term $`(s)w`$ is estimated by (3.24) with $`m=k\nu /2`$ or $`m=0`$, and $`\mathrm{}`$ replaced by $`\mathrm{}+\nu /2`$, under the conditions

$$\mathrm{}>n/2\nu ,\mathrm{}k\nu .$$

Substituting those two estimates into (3.51), integrating over time and taking the limit $`\epsilon 0`$ yields the integrated form of (3.49). The required conditions on $`k`$, $`\mathrm{}`$ are implied by (3.48).

Similarly, we obtain from (3.12)

$$_t|J_\epsilon \phi |_{\mathrm{}}^22\rho ^{}|J_\epsilon \phi |_{\mathrm{}+\nu /2}^2=2<j_\epsilon |\xi |^{\mathrm{}+1}f\widehat{s}_>,j_\epsilon |\xi |^{\mathrm{}+1}f_t\widehat{s}_>>+2<j_\epsilon |\xi |^\mathrm{}_<f\widehat{\phi }_<,j_\epsilon |\xi |^\mathrm{}_<f_t\widehat{\phi }_<>.$$
$`(3.52)`$
We substitute $`_ts`$ and $`_t\phi `$ from (2.27) (2.12) into (3.52) and we estimate the various terms successively. The term $`ss`$ from $`_ts`$ is estimated by (3.25) with $`s^{}=s`$, $`\mathrm{}^{}=\mathrm{}`$ under the conditions

$$\mathrm{}>n/2\nu ,\mathrm{}+1\nu /2.$$

The term $`g_0`$ from $`_ts`$ is estimated by (3.28) with $`m=\mathrm{}+2\nu /2`$, $`w_1=w_2=w`$, $`k_1(=k_2^{})=k+\nu /2`$ , $`k_2(=k_1^{})=k`$ , under the conditions

$$2k>\mathrm{}+\lambda \nu +n/2,k\mathrm{}+\lambda \nu .$$

The terms $`|s|^2`$ and $`g_0`$ from $`_t\phi _<`$ are estimated by (3.27) and (3.29) respectively. Using those estimates yields (3.50) in the same way as above. The required conditions on $`k`$, $`\mathrm{}`$ are implied by (3.48). In particular the condition $`\mathrm{}+1\nu /2`$ follows from $`\mathrm{}>n/2\nu `$.

$``$$``$

The next lemma is a regularity result.

Lemma 3.6. Let $`k`$, $`\mathrm{}`$ satisfy (3.48) and let $`\overline{k}`$, $`\overline{\mathrm{}}`$ satisfy

$$\overline{k}k=\overline{\mathrm{}}\mathrm{}0.$$
$`(3.53)`$
Let $`(w,\phi )𝒳_{\rho ,loc}^{\overline{k},\overline{\mathrm{}}}(I)`$ be a solution of the system (2.11)-(2.12). Then the following estimates hold :

$$\left|_t|w|_{\overline{k}}^22\rho ^{}|w|_{\overline{k}+\nu /2}^2\right|Ct^2\left\{|w|_{\overline{k}+\nu /2}^2|\phi |_{\mathrm{}}+|w|_{\overline{k}+\nu /2}|\phi |_{\overline{\mathrm{}}+\nu /2}|w|_k\right\},$$
$`(3.54)`$
$$\left|_t|\phi |_\overline{\mathrm{}}^22\rho ^{}|\phi |_{\overline{\mathrm{}}+\nu /2}^2\right|Ct^2|\phi |_{\overline{\mathrm{}}+\nu /2}^2|\phi |_{\mathrm{}}+Ct^\gamma |\phi |_{\overline{\mathrm{}}+\nu /2}|w|_{\overline{k}+\nu /2}|w|_k.$$
$`(3.55)`$
Proof. The proof follows the same pattern as that of Lemma 3.5 and we concentrate on the differences, which bear on the estimates connected with Lemma 3.4, omitting the regularization for brevity. We estimate only the contribution of the high $`|\xi |`$ region, since that of the low $`|\xi |`$ region is already estimated by Lemma 3.5.

We first estimate $`_t|w|\frac{2}{k}`$, starting from (3.51) with $`k`$ replaced by $`\overline{k}`$ and with $`J_\epsilon `$ omitted and we estimate successively the contribution of the various terms form (2.11).

The contribution of $`sw`$, namely

$$2\mathrm{R}\mathrm{e}<|\xi |^{\overline{k}}f\widehat{w},|\xi |^{\overline{k}}f(\widehat{sw})>$$

is estimated in the same way as in the proof of (3.22). The contributions $`I_1`$ and $`I_2`$ of the regions $`|\xi \eta ||\xi ||\eta |`$ and $`|\xi ||\xi \eta ||\eta |`$ are estimated as in the latter with $`k`$ replaced by $`\overline{k}`$ under the conditions $`\overline{k}\nu /2`$ , $`\mathrm{}>n/2\nu `$.

The contribution of the region $`|\eta ||\xi ||\xi \eta |`$ is estimated by (3.42) with $`k`$ replaced by $`\overline{k}`$ and with $`\theta =0`$, or equivalently

$$|I_3|C|w|_{\overline{k}+\nu /2}\left\{f\widehat{s}_<_1f\widehat{w}_2+(|\xi |^{\overline{k}\nu /2+1}f|\widehat{s}_>|)(f|\widehat{w}|)_2\right\}.$$

The last norm is then estimated by Lemma 3.2, thereby yielding

$$|I_3|C|w|_{\overline{k}+\nu /2}|\phi |_{\overline{\mathrm{}}+\nu /2}|w|_k$$

under the conditions

$$k+\overline{\mathrm{}}>\overline{k}+n/2\nu ,\overline{\mathrm{}}\overline{k}\nu $$

which for $`\overline{k}k=\overline{\mathrm{}}\mathrm{}`$ reduce to

$$\mathrm{}>n/2\nu ,\mathrm{}k\nu .$$

The contribution of $`(s)w`$ is estimated by

$$|w|_{\overline{k}+\nu /2}|\xi |^{\overline{k}\nu /2}f(\widehat{(s)w})_2$$

and subsequently in a way similar to the proof of (3.24) with $`m=\overline{k}\nu /2`$. Using the elementary inequality

$$|\xi |^m|\xi \eta |2^m\left(|\xi \eta |^{m+1}+|\eta |^{m+\theta }|\xi \eta |^{1\theta }\right)$$
$`(3.56)`$
valid for $`m0`$ and $`0\theta 1`$, we estimate the last norm by

$$\mathrm{}C\left\{(|\xi |^{m+1}f|\widehat{s}|)(f|\widehat{w}|)_2+(|\xi |^{1\theta }f|\widehat{s}|)(|\xi |^{m+\theta }f|\widehat{w}|)_2\right\}.$$

We then estimate the first term by Lemma 3.2 and the second term with $`\theta =\nu `$ by the Young inequality and (3.16) (3.17), thereby obtaining

$$\mathrm{}C\left(|\phi |_{\overline{\mathrm{}}+\nu /2}|w|_k+|\phi |_{\mathrm{}}|w|_{\overline{k}+\nu /2}\right)$$

under the same conditions as before, namely

$$k+\overline{\mathrm{}}>\overline{k}+n/2\nu ,\overline{\mathrm{}}\overline{k}\nu .$$

This completes the proof of (3.54).

We next estimate $`_t|\phi |_\overline{\mathrm{}}^2`$ by substituting similarly the various terms from (2.12) (2.27) into the right-hand side of (3.52) with $`\mathrm{}`$ replaced by $`\overline{\mathrm{}}`$ and $`J_\epsilon `$ omitted. The contribution of $`ss`$ to the high $`|\xi |`$ part of the norm, namely

$$<|\xi |^{\overline{\mathrm{}}+1}f\widehat{s}_>,|\xi |^{\overline{\mathrm{}}+1}f(\widehat{ss})_>>$$

is estimated by modifying the proof of (3.25) along the same lines as that of (3.22) above.

The contribution of $`g_0(w,w)_>`$ is estimated by

$$|\phi |_{\overline{\mathrm{}}+\nu /2}|\xi |^{\overline{\mathrm{}}+1\nu /2}f\widehat{g_0(w,}w)_>_2$$

followed by (3.28) with $`m=\overline{\mathrm{}}+2\nu /2`$ , $`k_1(=k_2^{})=\overline{k}+\nu /2`$ , $`k_2(=k_1^{})=k`$ under the conditions

$$k+\overline{k}>\overline{\mathrm{}}+\lambda \nu +n/2,\overline{k}\overline{\mathrm{}}+\lambda \nu $$

which reduce to the same conditions with $`(\overline{k},\overline{\mathrm{}})`$ replaced by $`(k,\mathrm{})`$ under the condition $`\overline{k}k=\overline{\mathrm{}}\mathrm{}`$.

This completes the proof of (3.55).

$``$$``$

We next estimate the difference between two solutions of the system (2.11)-(2.12).

Lemma 3.7. Let $`k`$, $`\mathrm{}`$ satisfy (3.48) and let $`k^{}`$, $`\mathrm{}^{}`$ satisfy

$$k^{}\nu /2,kk^{}=\mathrm{}\mathrm{}^{}1\nu .$$
$`(3.57)`$
Let $`(w_1,\phi _1)`$ and $`(w_2,\phi _2)𝒳_{\rho ,loc}^{k,\mathrm{}}(I)`$ be two solutions of the system (2.11)-(2.12) and let $`w_\pm =w_1\pm w_2`$, $`\phi _\pm =\phi _1\pm \phi _2`$. Then the following estimates hold :

$$|_t|w_{}|_k^{}^22\rho ^{}|w_{}|_{k^{}+\nu /2}^2|Ct^2\{|w_{}|_{k^{}+\nu /2}^2|\phi _+|_{\mathrm{}}$$

$$+|w_{}|_{k^{}+\nu /2}(|w_+|_{k+\nu /2}|\phi _{}|_{\mathrm{}^{}}+|\phi _+|_{\mathrm{}+\nu /2}|w_{}|_k^{}+|\phi _{}|_{\mathrm{}^{}+\nu /2}|w_+|_k)\},$$
$`(3.58)`$
$$\left|_t|\phi _{}|_{\mathrm{}^{}}^22\rho ^{}|\phi _{}|_{\mathrm{}^{}+\nu /2}^2\right|Ct^2\left\{|\phi _{}|_{\mathrm{}^{}+\nu /2}^2|\phi _+|_{\mathrm{}}+|\phi _{}|_{\mathrm{}^{}+\nu /2}|\phi _{}|_{\mathrm{}^{}}|\phi _+|_{\mathrm{}+\nu /2}\right\}$$

$$+Ct^\gamma |\phi _{}|_{\mathrm{}^{}+\nu /2}\left\{|w_+|_{k+\nu /2}|w_{}|_k^{}+|w_{}|_{k^{}+\nu /2}|w_+|_k\right\}.$$
$`(3.59)`$
Proof. The proof follows the same pattern as that of Lemma 3.5, using the estimates of Lemma 3.4. We omit again the regularization for brevity. The equations satisfied by $`(w_{},\phi _{})`$ are

$$_tw_{}=i(2t^2)^1\mathrm{\Delta }w_{}+(2t)^2\left\{2s_+w_{}+2s_{}w_++(s_+)w_{}+(s_{})w_+\right\},$$
$`(3.60)`$
$$_t\phi _{}=(2t^2)^1(s_+s_{})+t^\gamma g_0(w_+,w_{}),$$
$`(3.61)`$
and in the same way as in the proof of Lemma 3.5, we shall also use the equation for $`s_{}`$ obtained by taking the gradient of (3.61), namely

$$_ts_{}=(2t^2)^1\left(s_+s_{}+s_{}s_+\right)+t^\gamma g_0(w_+,w_{}).$$
$`(3.62)`$
From (3.12), we obtain

$$|_t|w_{}]_k^{}^22\rho ^{}|w_{}|_{k^{}+\nu /2}^2|=2\mathrm{R}\mathrm{e}(<|\xi |^k^{}f\widehat{w}_>,|\xi |^k^{}f_t\widehat{w}_>>+<f\widehat{w}_<,f_t\widehat{w}_<>).$$
$`(3.63)`$
We substitute $`_tw_{}`$ from (3.60) into (3.63) and we estimate the various terms successively. The term $`\mathrm{\Delta }w_{}`$ does not contribute. We consider only the contribution of the high $`|\xi |`$ region. The low $`|\xi |`$ region is treated in a similar and simpler way.

Term with $`s_+w_{}`$. We apply (3.22) with $`k`$ replaced by $`k^{}`$, thereby obtaining a contribution

$$|w_{}|_{k^{}+\nu /2}^2|\phi _+|_{\mathrm{}}$$

under conditions which follows from (3.48) and from $`\nu /2k^{}k`$.

Term with $`s_{}w_+`$. We apply (3.23) with $`m=k^{}\nu /2`$ , $`\mathrm{}`$ replaced by $`\mathrm{}^{}`$ and $`k`$ replaced by $`k+\nu /2`$, thereby obtaining a contribution

$$|w_{}|_{k^{}+\nu /2}|w_+|_{k+\nu /2}|\phi _{}|_{\mathrm{}^{}}$$

under the conditions

$$k+\mathrm{}^{}>k^{}+n/2\nu ,k+\nu k^{}+1,\mathrm{}+1k^{}\nu /2,$$

which follow from (3.48) (3.57).

Term with $`(s_+)w_{}`$. We apply (3.24) with $`m=k^{}\nu /2`$, $`k`$ replaced by $`k^{}`$ and $`\mathrm{}`$ replaced by $`\mathrm{}+\nu /2`$, thereby obtaining a contribution

$$|w_{}|_{k^{}+\nu /2}|\phi _+|_{\mathrm{}+\nu /2}|w_{}|_k^{}$$

under the conditions

$$\mathrm{}>n/2\nu ,\mathrm{}k^{}\nu ,$$

which follow from (3.48) and from $`k^{}k`$.

Term with $`(s_{})w_+`$. We apply (3.24) with $`m=k^{}\nu /2`$, and $`\mathrm{}`$ replaced by $`\mathrm{}^{}+\nu /2`$, thereby obtaining a contribution

$$|w_{}|_{k^{}+\nu /2}|\phi _{}|_{\mathrm{}^{}+\nu /2}|w_+|_k$$

under the conditions

$$k+\mathrm{}^{}>k^{}+n/2\nu ,\mathrm{}^{}k^{}\nu ,kk^{}\nu /2,$$

which follow from (3.48) (3.57).

Collecting the previous four estimates together with the contribution of the low $`|\xi |`$ region, yields (3.58).

We now turn to the estimate of $`\phi _{}`$. From (3.12) we obtain

$$_t|\phi _{}|_{\mathrm{}^{}}^22\rho ^{}|\phi _{}|_{\mathrm{}^{}+\nu /2}^2=2<|\xi |^{\mathrm{}^{}+1}f\widehat{s}_>,|\xi |^{\mathrm{}^{}+1}f_t\widehat{s}_>>+2<|\xi |^\mathrm{}_<f\widehat{\phi }_<,|\xi |^\mathrm{}_<f\widehat{\phi }_<>.$$
$`(3.64)`$
We substitute $`_ts_{}`$ and $`_t\phi _{}`$ from (3.62) and (3.61) into (3.64) and we estimate the various terms successively.

Term with $`s_+s_{}`$. We apply (3.25) with $`s^{}=s_{}`$ and obtain a contribution

$$|\phi _{}|_{\mathrm{}^{}+\nu /2}^2|\phi _+|_{\mathrm{}}$$

under the conditions

$$\mathrm{}>n/2\nu ,\mathrm{}^{}+1\nu /2,\mathrm{}\mathrm{}^{}\nu /2,$$

which follow from (3.48), from $`\mathrm{}^{}+1k^{}+1\nu 1\nu /2\nu /2`$ and from $`\mathrm{}\mathrm{}^{}`$.

Term with $`s_{}s_+`$. We apply (3.26) with $`m=\mathrm{}^{}+1\nu /2`$ , $`\mathrm{}`$ replaced by $`\mathrm{}^{}`$ and $`\mathrm{}^{}`$ replaced by $`\mathrm{}+\nu /2`$, thereby obtaining a contribution

$$|\phi _{}|_{\mathrm{}^{}+\nu /2}|\phi _{}|_{\mathrm{}^{}}|\phi _+|_{\mathrm{}+\nu /2}$$

under the conditions

$$\mathrm{}>n/2\nu ,\mathrm{}\mathrm{}^{}+1\nu ,$$

which follow from (3.48) (3.57).

Term with $`g_0(w_+,w_{})_>`$. We apply (3.28) with $`m=\mathrm{}^{}+1\nu /2`$, $`w_1=w_+`$, $`w_2=w_{}`$, $`k_1=k+\nu /2`$ , $`k_2=k^{}`$ , $`k_1^{}=k`$ , $`k_2^{}=k^{}+\nu /2`$, thereby obtaining a contribution

$$|\phi _{}|_{\mathrm{}^{}+\nu /2}\left\{|w_+|_{k+\nu /2}|w_{}|_k^{}+|w_{}|_{k^{}+\nu /2}|w_+|_k\right\}$$

under the conditions

$$k+k^{}+\nu >\mathrm{}^{}+\mu n+2+n/2,k^{}+\nu \mathrm{}^{}+\mu n+2$$

which follow from (3.48) (3.57).

The terms with $`(s_+,s_{})_<`$ and $`g_0(w_+w_{})_<`$ are treated by the use of (3.27) and (3.29) as in the proof of Lemma 3.5.

Collecting the previous estimates yields (3.59).

$``$$``$

We conclude this section by introducing a number of estimating functions of time generalizing those introduced in Section II.3 and by deriving a number of estimates for them. Those functions will be defined in terms of the derivative $`h_0^{}`$ of a given function $`h_0`$ on which we make the following assumptions

$$h_0𝒞^1([1,\mathrm{}),IR^+),h_0^{}0,t^2h_0(t)L^1([1,\mathrm{})),t^1h_0^{}(t)L^1([1,\mathrm{})).$$
$`(3.65)`$
From the relation

$$t_2^1h_0(t_2)t_1^1h_0(t_1)=_{t_1}^{t_2}𝑑tt^1h_0^{}(t)_{t_1}^{t_2}𝑑tt^2h_0(t)$$
$`(3.66)`$
it follows that the last condition on $`h_0`$ in (3.65) can be replaced by the condition that $`t^1h_0(t)`$ tends to zero when $`t\mathrm{}`$. A typical example for $`h_0^{}`$ is that considered in Section II.3, namely $`h_0^{}(t)=t^\gamma `$.

The first and basic estimating function $`h`$ is defined by

$$h(t)=_1^{\mathrm{}}𝑑t_1(tt_1)^1h_0^{}(t_1)$$
$`(3.67)`$
from which it follows that $`h(t)`$ is decreasing in $`t`$ and tends to zero when $`t\mathrm{}`$, while $`th(t)`$ is increasing in $`t`$. We next define for any $`m0`$

$$N_m(t)=_1^t𝑑t_1h_0^{}(t_1)h^m(t_1),$$
$`(3.68)`$
$$Q_m(t)=_1^{\mathrm{}}𝑑t_1(tt_1)^1h_0^{}(t_1)h^m(t_1),$$
$`(3.69)`$
where the integral in (3.69) is convergent since $`t^1h_0^{}(t)L^1([1,\mathrm{}))`$ and since $`h(t)`$ is decreasing in $`t`$. It follows from (3.68) that $`N_m(t)`$ is increasing in $`t`$ and from (3.69) that $`Q_m(t)`$ is decreasing in $`t`$ and tends to zero when $`t\mathrm{}`$, while $`tQ_m(t)`$ is increasing in $`t`$, so that $`Q_m(t)t^1Q_m(1)`$. Moreover, for any nonnegative integers $`i`$ and $`j`$

$$N_{i+j}(t)h(1)^iN_j(t)h(1)^{i+j}N_0(t),$$
$`(3.70)`$
$$Q_{i+j}(t)h(1)^iQ_j(t)h(1)^{i+j}h(t)h(1)^{i+j+1}.$$
$`(3.71)`$
Clearly $`N_0(t)=h_0(t)h_0(1)`$ and $`Q_0=h`$. It will be convenient to introduce the notation $`Q_1=1`$.

Finally we set

$$P_m(t)=_1^{\mathrm{}}𝑑t_1h(tt_1)h_0^{}(t_1)h^m(t_1)$$
$`(3.72)`$
which is well defined provided

$$P_m(1)=_1^{\mathrm{}}𝑑t_1h_0^{}(t_1)h^{m+1}(t_1)<\mathrm{}.$$
$`(3.73)`$
It follows from (3.72) that $`P_m(t)`$ is decreasing in $`t`$ and tends to zero when $`t\mathrm{}`$ while $`h(t)^1P_m(t)`$ is increasing in $`t`$, so that

$$P_m(1)h(t)h(1)P_m(t)h(1)P_m(1).$$
$`(3.74)`$
We now collect a number of identities and inequalities satisfied by the previous estimating functions.

Lemma 3.8 Let $`i`$, $`j`$ and $`m`$ be nonnegative integers, let $`1ab`$ and $`t1`$. Then the following identities and inequalities hold :

$$_t^{\mathrm{}}𝑑t_1t_1^2N_m(t_1)=Q_m(t_1)$$
$`(3.75)`$
$$_1^t𝑑t_1t_1^2N_0(t_1)N_m(t_1)=N_{m+1}(t)h(t)N_m(t)N_{m+1}(t)$$
$`(3.76)`$
$$_t^{\mathrm{}}𝑑t_1t_1^2N_0(t_1)N_m(t_1)=P_m(t)\text{if (3.73) holds}$$
$`(3.77)`$
$$N_i(t)N_j(t)N_0(t)N_{i+j}(t)$$
$`(3.78)`$
$$N_i(t)Q_j(t)h(t)N_{i+j}(t)N_{i+j+1}(t)$$
$`(3.79)`$
$$Q_i(t)Q_j(t)h(t)Q_{i+j}(t)2Q_{i+j+1}(t)$$
$`(3.80)`$
$$_t^{\mathrm{}}𝑑t_1h_0^{}(t_1)h(t_1)Q_{m1}(t_1)_t^{\mathrm{}}𝑑t_1h_0^{}(t_1)Q_m(t_1)$$
$`(3.81)`$
$$_t^{\mathrm{}}𝑑t_1h_0^{}(t_1)Q_m(t_1)P_m(t_1)\text{if (3.73) holds}$$
$`(3.82)`$
$$_1^t𝑑t_1h_0^{}(t_1)h(t_1)Q_{m1}(t_1)N_{m+1}(t_1)$$
$`(3.83)`$
$$_1^t𝑑t_1h_0^{}(t_1)Q_m(t_1)N_{m+1}(t)$$
$`(3.84)`$
$$_a^b𝑑th_0^{}(t)Q_m(t)Q_m(a)\left(h_0(b)h_0(a)\right)$$
$`(3.85)`$
$$_a^b𝑑th_0^{}(t)h(t)Q_{m1}(t)2Q_m(a)\left(h_0(b)h_0(a)\right).$$
$`(3.86)`$
Proof. This lemma is a generalization of Lemma II.3.6 and most of the proofs are obtained by manipulations of integrals similar to those of the corresponding integrals in Lemma II.3.6, after the replacement of $`t^\gamma `$ by $`h_0^{}(t)`$. This applies to (3.75) (3.76) (3.77) (3.81) (3.82) (3.83) (3.84) and (3.80b). (The latter is the generalization of (II.3.49)). The estimates (3.78) and (3.80a) follow from the Hölder inequality. The estimate (3.79a) is the pointwise counterpart of (II.3.39) and is proved in the same way. The estimate (3.79b) follows from the decrease of $`h`$, (3.85) follows from the decrease of $`Q_m`$, and (3.86) follows from (3.80b) and from (3.85).

$``$$``$

## 4 Cauchy problem and preliminary asymptotics for the auxiliary system

In this section, we study the existence of solutions in a neighborhood of infinity in time for the auxiliary system (2.11)-(2.12) and we derive some preliminary results on the asymptotic behaviour in time of the solutions thereby obtained. We first introduce some notation.

We choose once for all a strictly positive $`𝒞^1`$ function defined in $`[1,\mathrm{})`$, which we call $`|\rho ^{}|`$ for reasons that will soon become obvious. We assume that $`|\rho ^{}|`$ satisfies the following properties

(i) $`|\rho ^{}|L^1([1,\mathrm{}))`$,

(ii) the function $`t^\gamma |\rho ^{}|^1`$ is nondecreasing (and therefore $`|\rho ^{}|`$ is nonincreasing), and the function $`t^2|\rho ^{}|^1`$ is nonincreasing and tends to zero at infinity.

Typical examples of suitable functions $`|\rho ^{}|`$ are $`t^{1\epsilon }`$ for $`\epsilon `$ sufficiently small, depending on $`\gamma `$, or $`t^1(\alpha +\mathrm{}nt)^\alpha `$ for $`\alpha >1`$. It will be useful to keep those examples in mind in order to understand the time decay implied by the subsequent estimates.

Let now $`I[1,\mathrm{})`$ be an interval, possibly unbounded, and let $`t_0I`$ (or $`t_0=\mathrm{}`$ if $`I`$ is unbounded). We define a function $`\rho `$ in $`I`$ by

$$\rho (t)=\rho (t_0)\left|_{t_0}^t𝑑t_1|\rho ^{}(t_1)|\right|$$
$`(4.1)`$
so that $`\rho `$ is increasing (resp. decreasing) for $`tt_0`$ (resp. $`tt_0`$) and has $`|\rho ^{}|`$ as the absolute value of its derivative, which justifies the notation. We take $`\rho (t_0)`$ sufficiently large so that $`\rho `$ is nonnegative in $`I`$. All subsequent estimates will be independent of $`\rho (t_0)`$ (they will however depend on $`|\rho ^{}|`$). The previous choice of $`\rho `$ will be used in this section without further comment unless otherwise stated. We now define the global version of the fundamental spaces, corresponding to the local version (3.13). We define

$$𝒳_\rho ^{k,\mathrm{}}(I)\left(𝒞L^{\mathrm{}}\right)(I,K_\rho ^kY_\rho ^{\mathrm{}})L_{|\rho ^{}|}^2(I,K_\rho ^{k+\nu /2}Y_\rho ^{\mathrm{}+\nu /2})$$
$`(4.2)`$
where $`L_{|\rho ^{}|}^2`$ denotes weighted $`L^2`$ in time with weight $`|\rho ^{}|`$. More precisely, especially as regards continuity, $`(w,\phi )𝒳_\rho ^{k,\mathrm{}}(I)`$ is understood to mean that

$$(F^1f\widehat{w},F^1f\widehat{\phi })𝒳_0^{k,\mathrm{}}(I)\left(𝒞L^{\mathrm{}}\right)(I,K_0^kY_0^{\mathrm{}})L_{|\rho ^{}|}^2(I,K_0^{k+\nu /2}Y_0^{\mathrm{}+\nu /2}).$$
$`(4.3)`$
Note that in (4.3) we keep the weight $`|\rho ^{}|`$ in the $`L^2`$ part.

The norm of $`(w,\phi )`$ in $`𝒳_\rho ^{k,\mathrm{}}`$ is made up of several pieces for which we introduce additional notation which will be most helpful in the derivation of the estimates. Let $`H`$ be a continuous strictly positive function defined in $`I`$. We define

$$y(w;I,H,k)=\underset{tI}{Sup}H^1(t)|w(t)|_k,$$
$`(4.4)`$
$$y_1(w;I,H,k)=\left\{_I𝑑t\right|\rho ^{}(t)|H^2(t)|w(t)|_{k+\nu /2}^2\}^{1/2},$$
$`(4.5)`$
$$Y(w;I,H,k)=(yy_1)(w;I,H,k),$$
$`(4.6)`$
$$z(\phi ;I,H,\mathrm{})=\underset{tI}{Sup}H^1(t)|\phi (t)|_{\mathrm{}},$$
$`(4.7)`$
$$z_1(w;I,H,\mathrm{})=\left\{_I𝑑t\right|\rho ^{}(t)|H^2(t)|\phi (t)|_{\mathrm{}+\nu /2}^2\}^{1/2},$$
$`(4.8)`$
$$Z(\phi ;I,H,\mathrm{})=(zz_1)(\phi ,I,H,\mathrm{}).$$
$`(4.9)`$
We then take

$$(w,\phi );𝒳_\rho ^{k,\mathrm{}}(I)=Y(w;I,1,k)+Z(\phi ;I,1,\mathrm{}).$$
$`(4.10)`$
In order to study the Cauchy problem for the auxiliary system (2.11)-(2.12) we need additional a priori estimates of solutions of that system, which are a continuation of those of Lemmas 3.5, 3.6 and 3.7 in which we now take into account the dependence on time in the framework of the spaces $`𝒳_\rho ^{k,\mathrm{}}`$ just defined.

Lemma 4.1. Let $`k`$, $`\mathrm{}`$ satisfy (3.48). Let $`1Tt_0<\mathrm{}`$ and let $`(w,\phi )𝒳_{\rho ,loc}^{k,\mathrm{}}([T,\mathrm{}))`$ be a solution of the system (2.11)-(2.12). Let $`h_0`$ and $`h_1`$ be $`𝒞^1`$ positive functions defined in $`[T,\mathrm{})`$, with $`h_0`$ nondecreasing, $`h_1`$ nonincreasing, $`h_0t^\gamma |\rho ^{}|^1`$ and $`h_1t^2|\rho ^{}|^1h_0`$. Let $`a_0=|w(t_0)|_k`$ and $`b_0=h_0(t_0)^1|\phi (t_0)|_{\mathrm{}}`$.

(1) There exist constants $`c`$ and $`C`$ such that if

$$\left(b_0+a_0^2\right)h_1(t_0)c,$$
$`(4.11)`$
then $`(w,h_0^1\phi )𝒳_\rho ^{k,\mathrm{}}([t_0,\mathrm{}))`$ and $`(w,\phi )`$ satisfies the estimates

$$\{\begin{array}{c}Y(w;[t_0,\mathrm{}),1,k)Ca_0,\hfill \\ \\ Z(\phi ;[t_0,\mathrm{}],h_0,\mathrm{})C\left(b_0+a_0^2\right).\hfill \end{array}$$
$`(4.12)`$
(2) There exist constants $`c`$ and $`C`$ such that if

$$\left(b_0+a_0^2\right)T^2|\rho ^{}(T)|^1h_0(t_0)c,$$
$`(4.13)`$
then $`(w,\phi )`$ satisfies the estimates

$$\{\begin{array}{c}Y(w;[T,t_0],1,k)Ca_0,\hfill \\ \\ Z(\phi ;[T,t_0],1,\mathrm{})C\left(b_0+a_0^2\right)h_0(t_0).\hfill \end{array}$$
$`(4.14)`$
Proof. The proof requires the same regularization procedure as that of (the integrated form of) the estimates of Lemma 3.5, but we omit it for brevity. We begin the proof by treating simultaneously the cases $`tt_0`$ and $`tt_0`$. Let $`H`$ be a $`𝒞^1`$ positive function of time, increasing for $`tt_0`$ and decreasing for $`tt_0`$ and let $`\stackrel{~}{\phi }=H^1\phi `$. From Lemma 3.5 we obtain

$$_t|w|_k^2\underset{>}{<}2\rho ^{}|w|_{k+\nu /2}^2\pm Ct^2\left\{|w|_{k+\nu /2}^2|\phi |_{\mathrm{}}+|w|_{k+\nu /2}|\phi |_{\mathrm{}+\nu /2}|w|_k\right\}$$
$`(4.15)`$
$$_t|\stackrel{~}{\phi }|_{\mathrm{}}^2\underset{>}{<}2\rho ^{}|\stackrel{~}{\phi }|_{\mathrm{}+\nu /2}^2\pm Ct^2|\stackrel{~}{\phi }|_{\mathrm{}+\nu /2}^2|\phi |_{\mathrm{}}\pm Ct^\gamma H^1|\stackrel{~}{\phi }|_{\mathrm{}+\nu /2}|w|_{k+\nu /2}|w|_k$$
$`(4.16)`$
for $`t\underset{<}{>}t_0`$. In (4.16), we have dropped the term $`2H^{}H^1|\stackrel{~}{\phi }|_{\mathrm{}}^2`$ coming from the derivative of $`H`$. Let now $`y_{(1)}=y_{(1)}(w;I,1,k)`$ and $`z_{(1)}=z_{(1)}(\phi ;I,H,\mathrm{})`$ where $`I=[t_0,t]`$ for $`tt_0`$ and $`I=[t,t_0]`$ for $`tt_0`$. Integrating (4.15) (4.16) over time and using the Schwarz inequality, we obtain

$$|w(t)|_k^2+y_1^2y_0^2+C\{\underset{tI}{Sup}t^2|\rho ^{}|^1H\}(y_1^2z+y_1z_1y)$$
$`(4.17)`$
$$|\stackrel{~}{\phi }(t)|_{\mathrm{}}^2+z_1^2z_0^2+C\left\{\underset{tI}{Sup}(t^2|\rho ^{}|^1H)\right\}z_1^2z+C\{\underset{tI}{Sup}t^\gamma |\rho ^{}|^1H^1\}z_1y_1y$$
$`(4.18)`$
where $`y_0=|w(t_0)|_k=a_0`$ and $`z_0=|\stackrel{~}{\phi }(t_0)|_{\mathrm{}}`$, and since the RHS of (4.17) (4.18) is increasing in $`|tt_0|`$,

$$y^2y_1^2\text{RHS of (4.17)}$$

$$z^2z_1^2\text{RHS of (4.18)}$$

so that $`Y=yy_1`$ and $`Z=zz_1`$ satisfy

$$\{\begin{array}{c}Y^2y_0^2+m_1Y^2Z\hfill \\ \\ Z^2z_0^2+m_1Z^3+m_2ZY^2\hfill \end{array}$$

with

$$m_1=C\underset{tI}{Sup}t^2|\rho ^{}|^1H,m_2=C\underset{tI}{Sup}(t^\gamma |\rho ^{}|^1H^1).$$

If we can arrange that $`m_1Z1/2`$, then we obtain

$$\{\begin{array}{c}Y^22y_0^2\hfill \\ \\ Z^22z_0^2+2m_2ZY^22z_0^2+4m_2y_0^2Z\hfill \end{array}$$

so that

$$\{\begin{array}{c}Y2a_0\hfill \\ \\ Z2z_0+4m_2a_0^2\hfill \end{array}$$
$`(4.19)`$
which will yield the final estimates, while the condition $`m_1Z1/2`$ is implied by

$$4m_1\left(z_0+2m_2a_0^2\right)1.$$
$`(4.20)`$
We now consider separately the cases $`tt_0`$ and $`tt_0`$.

For $`tt_0`$, we choose $`H=h_0`$, so that $`m_21`$ and $`m_1h_1(t_0)`$. Furthermore $`z_0=b_0`$. Then (4.19) reduces to (4.12) and (4.20) reduces to (4.11).

For $`tt_0`$, we choose $`H=1`$, so that $`m_2=t_0^\gamma |\rho ^{}(t_0)|^1h_0(t_0)`$, $`z_0=b_0h_0(t_0)`$ and $`m_1=t^2|\rho ^{}(t)|^1`$. Then (4.19) reduces to (4.14) and (4.20) reduces to (4.13) with $`t`$ replaced by $`T`$.

$``$$``$

Remark 4.1. The optimal time decay results in Lemma 4.1 are obtained by saturating the conditions on $`h_0`$ and $`h_1`$, namely by taking $`h_0=t^\gamma |\rho ^{}|^1`$, which we have already assumed to be nondecreasing, and $`h_1=t^2|\rho ^{}|^1h_0=t^{2\gamma }|\rho ^{}|^2`$, in so far as that function is nonincreasing, a property that we could have (but have not) assumed. We have stated Lemma 4.1 with inequalities instead of the previous special choices, in order not to hide the flexibility allowed by the proof, and we shall proceed in the same way in all subsequent similar estimates. In the special case $`|\rho ^{}|=t^{1\epsilon }`$, the optimal decays obtained with the previous special choices are $`h_0=t^{1\gamma +\epsilon }`$ and $`h_1=t^{\gamma +2\epsilon }`$.

We now turn to the extension of the regularity result of Lemma 3.6.

Lemma 4.2. Let $`k`$, $`\mathrm{}`$ satisfy (3.48) and let $`\overline{k}`$, $`\overline{\mathrm{}}`$ satisfy $`\overline{k}k=\overline{\mathrm{}}\mathrm{}0`$. Let $`1Tt_0<\mathrm{}`$ and let $`(w,\phi )𝒳_{\rho ,loc}^{\overline{k},\overline{\mathrm{}}}([T,\mathrm{}))`$ be a solution of the system (2.11)-(2.12). Let $`h_0`$ and $`h_1`$ be as in Lemma 4.1 and assume that $`(w,\phi )`$ satisfies

$$|w(t)|_ka,|\phi (t)|_{\mathrm{}}bh_0(t)\text{or}|\phi (t)|_{\mathrm{}}bh_0(tt_0).$$
$`(4.21)`$
(1) There exist constants $`c`$ and $`C`$ such that if

$$(b+a^2)h_1(t_0)c,$$
$`(4.22)`$
then $`(w,h_0^1\phi )𝒳_\rho ^{\overline{k},\overline{\mathrm{}}}([t_0,\mathrm{}))`$ and $`(w,\phi )`$ satisfies the estimates

$$\{\begin{array}{c}Y(w;[t_0,\mathrm{}),1,\overline{k})C\left\{|w(t_0)|_{\overline{k}}+ah_1(t_0)h_0(t_0)^1|\phi (t_0)|_\overline{\mathrm{}}\right\},\hfill \\ \\ Z(\phi ;[t_0,\mathrm{}),h_0,\overline{\mathrm{}})C\left\{h_0(t_0)^1\right|\phi (t_0)|_\overline{\mathrm{}}+a|w(t_0)|_{\overline{k}}\}.\hfill \end{array}$$
$`(4.23)`$
(2) In the case where $`|\phi (t)|_{\mathrm{}}bh_0(tt_0)`$, there exist constants $`c`$ and $`C`$ such that if

$$(b+a^2)T^2|\rho ^{}(T)|^1h_0(t_0)c,$$
$`(4.24)`$
then $`(w,\phi )`$ satisfies the estimates

$$\{\begin{array}{c}Y(w;[t,t_0],1,\overline{k})C\left\{|w(t_0)|_{\overline{k}}+at^2|\rho ^{}|^1|\phi (t_0)|_\overline{\mathrm{}}\right\}\text{for all}t[T,t_0],\hfill \\ \\ Z(\phi ;[T,t_0],1,\overline{\mathrm{}})C\left\{|\phi (t_0)|_\overline{\mathrm{}}+ah_0(t_0)|w(t_0)|_{\overline{k}}\right\}.\hfill \end{array}$$
$`(4.25)`$
(3) In the case where $`|\phi (t)|_{\mathrm{}}bh_0(t)`$, there exist constants $`c`$ and $`C`$ such that if

$$(b+a^2)h_1(T)c,$$
$`(4.26)`$
then $`(w,\phi )`$ satisfies the estimates

$$\{\begin{array}{c}Y(w;[t,t_0],h_0^1,\overline{k})C\left\{h_0(t_0)\right|w(t_0)|_{\overline{k}}+ah_1(t)|\phi (t_0)|_\overline{\mathrm{}}\}\text{for all}t[T,t_0],\hfill \\ \\ Z(\phi ;[T,t_0],1,\overline{\mathrm{}})C\left\{|\phi (t_0)|_\overline{\mathrm{}}+ah_0(t_0)|w(t_0)|_{\overline{k}}\right\}.\hfill \end{array}$$
$`(4.27)`$
Proof. The proof follows closely that of Lemma 4.1. Let $`h_2`$ and $`h_3`$ be $`𝒞^1`$ positive functions of time, increasing for $`tt_0`$ and decreasing for $`tt_0`$, and let $`\stackrel{~}{w}=h_2^1w`$, $`\stackrel{~}{\phi }=h_3^1\phi `$. From Lemma 3.6 we obtain for $`t\underset{<}{>}t_0`$

$$_t|\stackrel{~}{w}|_{\overline{k}}^2\underset{>}{<}2\rho ^{}|\stackrel{~}{w}|_{\overline{k}+\nu /2}^2\pm Ct^2\left\{|\stackrel{~}{w}|_{\overline{k}+\nu /2}^2|\phi |_{\mathrm{}}+h_3h_2^1|\stackrel{~}{w}|_{\overline{k}+\nu /2}|\stackrel{~}{\phi }|_{\overline{\mathrm{}}+\nu /2}|w|_k\right\},$$
$`(4.28)`$
$$_t|\stackrel{~}{\phi }|_\overline{\mathrm{}}^2\underset{>}{<}2\rho ^{}|\stackrel{~}{\phi }|_{\overline{\mathrm{}}+\nu /2}^2\pm Ct^2|\stackrel{~}{\phi }|_{\overline{\mathrm{}}+\nu /2}^2|\phi |_{\mathrm{}}\pm Ct^\gamma h_3^1h_2|\stackrel{~}{\phi }|_{\overline{\mathrm{}}+\nu /2}|\stackrel{~}{w}|_{\overline{k}+\nu /2}|w|_k$$
$`(4.29)`$
where we have omitted the terms containing $`h_2^{}`$ and $`h_3^{}`$. We define $`y_{(1)}=y_{(1)}(w;I,h_2,\overline{k})`$ and $`z_{(1)}=z_{(1)}(\phi ;I,h_3,\overline{\mathrm{}})`$ where $`I=[t_0,t]`$ for $`tt_0`$ and $`I=[t,t_0]`$ for $`tt_0`$. Proceeding as in the proof of Lemma 4.1, we obtain from (4.28) (4.29)

$$\{\begin{array}{c}y^2y_1^2y_0^2+m_0y_1^2+m_1ay_1z_1\hfill \\ \\ z^2z_1^2z_0^2+m_0z_1^2+m_2ay_1z_1\hfill \end{array}$$
$`(4.30)`$
where $`y_0=|\stackrel{~}{w}(t_0)|_{\overline{k}}`$, $`z_0=|\stackrel{~}{\phi }(t_0)|_\overline{\mathrm{}}`$,

$$m_0=C\underset{tI}{Sup}t^2|\rho ^{}|^1|\phi (t)|_{\mathrm{}},$$

$$m_1=C\underset{tI}{Sup}t^2|\rho ^{}|^1h_3h_2^1,m_2=C\underset{tI}{Sup}t^\gamma |\rho ^{}|^1h_2h_3^1.$$
$`(4.31)`$
If we can arrange that $`m_01/2`$, then $`Y=yy_1`$ and $`Z=zz_1`$ satisfy

$$\{\begin{array}{c}Y^22y_0^2+2m_1aYZ\hfill \\ \\ Z^22z_0^2+2m_2aYZ.\hfill \end{array}$$
$`(4.32)`$
By an elementary computation, one obtains from (4.32) the estimates

$$\{\begin{array}{c}Y4\left(y_0+2am_1z_0\right)\hfill \\ \\ Z4\left(z_0+2am_2y_0\right)\hfill \end{array}$$
$`(4.33)`$
under the condition

$$8a^2m_1m_21.$$
$`(4.34)`$
We now consider separately the various cases at hand.

For $`tt_0`$, we take $`h_2=1`$ and $`h_3=h_0`$, so that

$$y_0=|w(t_0)|_{\overline{k}},z_0=h_0(t_0)^1|\phi (t_0)|_\overline{\mathrm{}},$$

$$m_0Cbh_1(t_0),m_1Ch_1(t_0),m_2C.$$

The estimate (4.33) then reduces to (4.23), while the conditions $`m_01/2`$ and (4.34) recombine to yield (4.22).

For $`tt_0`$, in the case where $`|\phi (t)|_{\mathrm{}}bh_0(t_0)`$, we take $`h_2=h_3`$ = 1, so that

$$y_0=|w(t_0)|_{\overline{k}},z_0=|\phi (t_0)|_\overline{\mathrm{}},$$

$$m_0Cbt^2\rho ^1h_0(t_0),m_1Ct^2\rho ^1\text{and}m_2Ch_0(t_0),$$

thereby obtaining (4.25) under the condition (4.24).

For $`tt_0`$, in the case where $`|\phi (t)|_{\mathrm{}}bh_0(t)`$, we take $`h_2=h_0^1`$, $`h_3=1`$, so that

$$y_0=h_0(t_0)|w(t_0)|_{\overline{k}},z_0=|\phi (t_0)|_\overline{\mathrm{}},$$

$$m_0Cbh_1(t),m_1Ch_1(t)\text{and}m_2C,$$

thereby obtaining (4.27) under the condition (4.26).

$``$$``$

We now turn to the estimate of the difference of two solutions of the system (2.11)-(2.12).

Lemma 4.3. Let $`k`$, $`\mathrm{}`$ satisfy (3.48) and let $`k^{}`$, $`\mathrm{}^{}`$ satisfy (3.57). Let $`1Tt_0<\mathrm{}`$. Let $`h_0`$ and $`h_1`$ be as in Lemma 4.1 and let $`(w_i,\phi _i)`$, $`i=1,2`$, be two solutions of the system (2.11)-(2.12) such that $`(w_i,h_0^1\phi _i)𝒳_\rho ^{k,\mathrm{}}([T,\mathrm{}))`$ and such that $`(w_i,\phi _i)`$ satisfy the estimates

$$Y(w_i,[T,\mathrm{}),1,k)a,$$
$`(4.35)`$
$$Z(\phi _i,[t_0,\mathrm{}),h_0,\mathrm{})b,$$
$`(4.36)`$
and either

$$Z(\phi _i,[T,t_0),1,\mathrm{})bh_0(t_0)$$
$`(4.37)`$
or

$$Z(\phi _i,[T,t_0),h_0,\mathrm{})b.$$
$`(4.38)`$
Let $`w_\pm =w_1\pm w_2`$ and $`\phi _\pm =\phi _1\pm \phi _2`$.

(1) There exist constants $`c`$ and $`C`$ such that under the condition (4.22), $`(w_{},\phi _{})`$ satisfies the estimates

$$\{\begin{array}{c}Y(w_{};[t_0,\mathrm{}),1,k^{})C\left\{|w_{}(t_0)|_k^{}+ah_1(t_0)h_0(t_0)^1|\phi _{}(t_0)|_{\mathrm{}^{}}\right\},\hfill \\ \\ Z(\phi _{};[t_0,\mathrm{}),h_0,\mathrm{}^{})C\left\{h_0(t_0)^1\right|\phi _{}(t_0)|_{\mathrm{}^{}}+a|w_{}(t_0)|_k^{}\}.\hfill \end{array}$$
$`(4.39)`$
(2) In the case where $`\phi _i`$ satisfy (4.37), there exist constants $`c`$ and $`C`$ such that under the condition (4.24), $`(w_{},\phi _{})`$ satisfies the estimates

$$\{\begin{array}{c}Y(w_{};[t,t_0,],1,k^{})C\{|w_{}(t_0)|_k^{}+at^2|\rho ^{}|^1|\phi _{}(t_0)|_{\mathrm{}^{}}\}\text{for all}t[T,t_0],\hfill \\ \\ Z(\phi _{};[T,t_0],1,\mathrm{}^{})C\left\{|\phi _{}(t_0)|_{\mathrm{}^{}}+ah_0(t_0)|w_{}(t_0)|_k^{}\right\}.\hfill \end{array}$$
$`(4.40)`$
(3) In the case where $`\phi _i`$ satisfy (4.38), there exist constants $`c`$ and $`C`$ such that under the condition (4.26) $`(w_{},\phi _{})`$ satisfies the estimates

$$\{\begin{array}{c}Y(w_{},[t,t_0,],h_0^1,k^{})C\{h_0(t_0)|w_{}(t_0)|_k^{}+ah_1(t)|\phi _{}(t_0)|_{\mathrm{}^{}}\}\text{for all}t[T,t_0],\hfill \\ \\ Z(\phi _{},[T,t_0],1,\mathrm{}^{})C\left\{|\phi _{}(t_0)|_{\mathrm{}^{}}+ah_0(t_0)|w_{}(t_0)|_k^{}\right\}.\hfill \end{array}$$
$`(4.41)`$
(The estimates (4.39) (4.40) and (4.41) are obtained from (4.23) (4.25) and (4.27) by replacing $`(w,\phi )`$ by $`(w_{},\phi _{})`$ and $`(\overline{k},\overline{\mathrm{}})`$ by $`(k^{},\mathrm{}^{}`$).

Proof. The proof follows closely that of Lemma 4.2. Let $`h_2`$ and $`h_3`$ be $`𝒞^1`$ positive functions of time, increasing for $`tt_0`$ and decreasing for $`tt_0`$ and let $`\stackrel{~}{w}_{}=h_2^1w_{}`$, $`\stackrel{~}{\phi }_{}=h_3^1\phi _{}`$. Let $`H(t)=h_0(t)`$ in cases where (4.36) (4.38) are relevant, $`H(t)=h_0(t_0)`$ in the case where (4.37) is relevant. From Lemma 3.7 we obtain for $`t\underset{<}{>}t_0`$

$$_t|\stackrel{~}{w}_{}|_k^{}^2\underset{>}{<}2\rho ^{}|\stackrel{~}{w}_{}|_{k^{}+\nu /2}^2\pm Ct^2\left\{|\stackrel{~}{w}_{}|_{k^{}+\nu /2}^2|\phi _+|_{\mathrm{}}+|\stackrel{~}{w}_{}|_{k^{}+\nu /2}|\stackrel{~}{w}_{}|_k^{}|\phi _+|_{\mathrm{}+\nu /2}\right\}$$

$$\pm Ct^2h_3h_2^1|\stackrel{~}{w}_{}|_{k^{}+\nu /2}\left\{|\stackrel{~}{\phi }_{}|_{\mathrm{}^{}}|w_+|_{k+\nu /2}+|\stackrel{~}{\phi }_{}|_{\mathrm{}^{}+\nu /2}|w_+|_k\right\},$$
$`(4.42)`$
$$_t|\stackrel{~}{\phi }_{}|_{\mathrm{}^{}}^2\underset{>}{<}2\rho ^{}|\stackrel{~}{\phi }_{}|_{\mathrm{}^{}+\nu /2}^2\pm Ct^2\left\{|\stackrel{~}{\phi }_{}|_{\mathrm{}^{}+\nu /2}^2|\phi _+|_{\mathrm{}}+|\stackrel{~}{\phi }_{}|_{\mathrm{}^{}+\nu /2}|\stackrel{~}{\phi }_{}|_{\mathrm{}^{}}|\phi _+|_{\mathrm{}+\nu /2}\right\}$$

$$+Ct^\gamma h_2h_3^1|\stackrel{~}{\phi }_{}|_{\mathrm{}^{}+\nu /2}\left\{|\stackrel{~}{w}_{}|_k^{}|w_+|_{k+\nu /2}+|\stackrel{~}{w}_{}|_{k^{}+\nu /2}|w_+|_k\right\},$$
$`(4.43)`$
where we have omitted the terms containing $`h_2^{}`$ and $`h_3^{}`$. We define $`y_{(1)}=y_{(1)}(w_{};I,h_2,k^{})`$ and $`z_{(1)}=z_{(1)}(\phi _{};I,h_3,\mathrm{}^{})`$ where $`I=[t_0,t]`$ for $`tt_0`$ and $`I=[t,t_0]`$ for $`tt_0`$. Proceding as in the proof of Lemmas 4.1 and 4.2, we obtain from (4.42) (4.43) supplemented by (4.35)-(4.38) applied to $`(w_+,\phi _+)`$

$$\{\begin{array}{c}y^2y_1^2y_0^2+m_0by_1(y+y_1)+m_1ay_1(z+z_1)\hfill \\ \\ z^2z_1^2z_0^2+m_0bz_1(z+z_1)+m_2az_1(y+y_1)\hfill \end{array}$$
$`(4.44)`$
where

$$y_0=|\stackrel{~}{w}_{}(t_0)|_k^{},z_0=|\stackrel{~}{\phi }_{}(t_0)|_{\mathrm{}^{}},$$

$$m_0=C\underset{tI}{Sup}\left(t^2|\rho ^{}|^1H(t)\right)$$

and $`m_1`$, $`m_2`$ are defined by (4.31). From there on, the proof is identical with that of Lemma 4.2, with (4.30) replaced by (4.44).

$``$$``$

Remark 4.2. It is an unfortunate feature of Lemmas 4.2 and 4.3 that the derivation of regularity and of difference estimates requires a large time restriction (see (4.22) (4.24) (4.26)) whereas one would expect those estimates to hold for all times where the solution is a priori defined, since those estimates are linear in the higher or difference norm and are expected to follow from some kind of Gronwall’s inequality. The reason for that fact is the occurrence of integral norms in the definition of the spaces, for which we obtain algebraic inequalities which require some kind of smallness condition in order to enable us to conclude.

In practice, the conditions (4.22) (4.24) (4.26) required for those estimates to hold have the same form and the same dependence on basic parameters such as $`a_0`$, $`b_0`$ as the conditions that will be needed anyway in order to derive the a priori estimates on one single solution that are needed to solve the Cauchy problem. We shall impose all such conditions together, without any significant limitation on the range of validity of the results (see the proof of Proposition 4.1 below).

We now turn to the Cauchy problem for large time for the system (2.11)-(2.12).

Proposition 4.1. Let $`(k,\mathrm{})`$ satisfy (3.48) and in addition $`k1\nu /2`$. Let $`h_0`$ and $`h_1`$ be $`𝒞^1`$ positive functions defined in $`[1,\mathrm{})`$ with $`h_0`$ nondecreasing, $`h_1`$ nonincreasing and tending to zero at infinity, $`h_0t^\gamma |\rho ^{}|^1`$ and $`h_1t^2|\rho ^{}|^1h_0`$. Let $`a_0>0`$, $`b_0>0`$.

(1) There exists $`T_0<\mathrm{}`$, depending on $`a_0`$, $`b_0`$, such that for all $`t_0T_0`$, there exists $`Tt_0`$, depending on $`a_0`$, $`b_0`$ and $`t_0`$, such that for any $`(w_0,\phi _0)K_{\rho __0}^kY_{\rho __0}^{\mathrm{}}`$, where $`\rho _0=\rho (t_0)`$, satisfying $`|w_0|_ka_0`$, $`|\phi _0|_{\mathrm{}}h_0(t_0)^1b_0`$, the system (2.11)-(2.12) has a unique solution in the interval $`[T,\mathrm{})`$ with $`w(t_0)=w_0`$, $`\phi (t_0)=\phi _0`$, such that $`(w,h_0^1\phi )𝒳_\rho ^{k,\mathrm{}}([T,\mathrm{}))`$. One can define $`T_0`$ and $`T`$ by

$$\left(b_0+a_0^2\right)h_1(T_0)=c$$
$`(4.45)`$
$$T^2|\rho ^{}(T)|^1h_0(t_0)h_1(T_0)^1=1$$
$`(4.46)`$
and the solution $`(w,\phi )`$ satisfies the estimates

$$Y(w;[T,\mathrm{}),1,k)Ca_0,$$
$`(4.47)`$
$$Z(\phi ;[t_0,\mathrm{}),h_0,\mathrm{})C\left(b_0+a_0^2\right),$$
$`(4.48)`$
$$Z(\phi ;[T,t_0],1,\mathrm{})C\left(b_0+a_0^2\right)h_0(t_0).$$
$`(4.49)`$
(2) If $`(w_0,\phi _0)K_{\rho _0}^{\overline{k}}Y_{\rho _0}^\overline{\mathrm{}}`$ for some $`\overline{k}`$, $`\overline{\mathrm{}}`$ with $`\overline{k}k=\overline{\mathrm{}}\mathrm{}>0`$, then $`(w,h_0^1\phi )𝒳_\rho ^{\overline{k},\overline{\mathrm{}}}([T,\mathrm{}))`$, possibly after changing the constant $`c`$ in (4.45) (see Remark 4.2).

(3) The map $`(w_0,\phi _0)(w,\phi )`$ is norm continuous on the bounded sets of $`K_{\rho __0}^kY_{\rho __0}^{\mathrm{}}`$ from the norm of $`(w_0,\phi _0)`$ in $`K_{\rho __0}^k^{}Y_{\rho __0}^{\mathrm{}^{}}`$ to the norm of $`(w,h_0^1\phi )`$ in $`𝒳_\rho ^{k^{\prime \prime },\mathrm{}^{\prime \prime }}([T,\mathrm{}))`$ for $`k^{}\nu /2`$, $`kk^{}=\mathrm{}\mathrm{}^{}1\nu `$, $`kk^{\prime \prime }=\mathrm{}\mathrm{}^{\prime \prime }>0`$. Furthermore the same map is continuous from the same topology on $`(w_0,\phi _0)`$ to the weak-$``$ topology of $`(w,h_0^1\phi )`$ in $`𝒳_\rho ^{k,\mathrm{}}([T,\mathrm{}))`$.

Proof. Part (1). The proof proceeds in several steps using a parabolic regularization and a limiting procedure. We consider first the case $`tt_0`$. We shall then indicate briefly the modifications needed in the case $`tt_0`$. We shall need the function $`\stackrel{~}{w}`$ defined by $`\stackrel{~}{w}(t)=U(1/t)w(t)`$. Since the operator $`U(1/t)`$ is unitary in $`K_\rho ^k`$ for all $`k`$ and $`\rho `$, all subsequent norm estimates for $`\stackrel{~}{w}`$ in $`K_\rho ^k`$ are identical with the same estimates for $`w`$.

Step 1. Parabolic regularization and local resolution.

We rewrite the system (2.11)-(2.12) in the equivalent form

$$\{\begin{array}{c}_t\stackrel{~}{w}=\left(2t^2\right)^1U(1/t)\left(2s+(s)\right)U(1/t)^{}\stackrel{~}{w}G_1(\stackrel{~}{w},s),\hfill \\ \\ _t\phi =\left(2t^2\right)^1|s|^2+t^\gamma g_0\left(U(1/t)^{}\stackrel{~}{w}\right)G_2(\stackrel{~}{w},s).\hfill \end{array}$$
$`(4.50)`$
We introduce a parabolic regularization and consider the regularized system

$$\{\begin{array}{c}_t\stackrel{~}{w}=\theta \mathrm{\Delta }\stackrel{~}{w}+G_1(\stackrel{~}{w},s)\hfill \\ \\ _t\phi =\theta \mathrm{\Delta }\phi +G_2(\stackrel{~}{w},s)\hfill \end{array}$$
$`(4.51)`$
with $`\theta >0`$. We also regularize the initial data $`(\stackrel{~}{w}_0,\phi _0)`$ at time $`t_0`$ to $`(\overline{\stackrel{~}{w}}_0,\overline{\phi }_0)X_{\rho __0}^{\overline{k},\overline{\mathrm{}}}K_{\rho __0}^{\overline{k}}Y_{\rho _0}^\overline{\mathrm{}}`$ with $`\rho _0=\rho (t_0)`$ , $`\overline{k}k(1+\nu /2)`$ , $`\overline{\mathrm{}}\mathrm{}=\overline{k}k`$. For the purpose of proving Part (1), one can take equality in the previous condition, namely $`\overline{k}=k(1+\nu /2)`$ and in particular that second regularization is unnecessary if $`k1+\nu /2`$. We continue the argument with general $`(\overline{k},\overline{\mathrm{}})`$ because it will be useful for the proof of Part (2).

We rewrite the Cauchy problem for the system (4.51) in the integral form

$$\left(\genfrac{}{}{0pt}{}{\stackrel{~}{w}}{\phi }\right)(t)=V_\theta (tt_0)\left(\genfrac{}{}{0pt}{}{\overline{\stackrel{~}{w}}_0}{\overline{\phi }_0}\right)+_{t_0}^t𝑑t^{}V_\theta (tt^{})\left(\genfrac{}{}{0pt}{}{G_1(\stackrel{~}{w},s)}{G_2(\stackrel{~}{w},s)}\right)(t^{})$$
$`(4.52)`$
where $`V_\theta (t)\mathrm{exp}(\theta t\mathrm{\Delta })`$ is a contraction in $`X_{\rho __0}^{\overline{k},\overline{\mathrm{}}}`$ and satisfies the bound

$$V_\theta (t);(X_{\rho __0}^{\overline{k},\overline{\mathrm{}}})C(\theta t)^{1/2}.$$
$`(4.53)`$
By (3.23) (3.24) (3.26) (3.27) (3.28) (3.29) of Lemma 3.4, we estimate

$$\{\begin{array}{c}|G_1(\stackrel{~}{w},s)|_{\overline{k}1}Ct^2\left(|\stackrel{~}{w}|_{\overline{k}}|\phi |_{\overline{\mathrm{}}1}+|\stackrel{~}{w}|_{\overline{k}1}|\phi |_\overline{\mathrm{}}\right)\hfill \\ \\ |G_2(\stackrel{~}{w},s)|_{\overline{\mathrm{}}1}Ct^2|\phi |_\overline{\mathrm{}}|\phi |_{\overline{\mathrm{}}1}+Ct^\gamma |\stackrel{~}{w}|_{\overline{k}}|\stackrel{~}{w}|_{\overline{k}1}\hfill \end{array}$$
$`(4.54)`$
under the conditions (which follow from (3.48))

$$\overline{\mathrm{}}>n/2,\overline{\mathrm{}}\overline{k}10,\overline{k}\overline{\mathrm{}}+\lambda 1,2\overline{k}>\overline{\mathrm{}}+\lambda +n/2,$$

where $`\lambda =\mu n+2`$. In (4.54) the various norms are taken with constant $`\rho (t)\rho _0`$. By a standard contraction argument, the system (4.52) has a unique solution

$$(\stackrel{~}{w},\phi )𝒞([t_0,t_0+\tau )],X_{\rho __0}^{\overline{k},\overline{\mathrm{}}})$$
$`(4.55)`$
where one can take

$$\tau =C\theta \left(t_0^2h_0(t_0)+t_0^\gamma h_0(t_0)^1\right)^2\left(\overline{a}_0+\overline{b}_0\right)^2$$
$`(4.56)`$
with

$$\overline{a}_0=|\overline{\stackrel{~}{w}}_0|_{\overline{k}},\overline{b}_0=h_0(t_0)^1|\overline{\phi }_0|_\overline{\mathrm{}}.$$

Furthermore, from the estimates

$$_t|\stackrel{~}{w}|_{\overline{k}}^2+2\theta |\stackrel{~}{w}|_{\overline{k}}^2=2\mathrm{R}\mathrm{e}<|\xi |^{\overline{k}+1}f\widehat{\stackrel{~}{w}},|\xi |^{\overline{k}1}f\widehat{G_1}(\stackrel{~}{w},\phi )>+\text{lower order terms}$$

$$|\stackrel{~}{w}|_{\overline{k}+1}A_1(t,|\stackrel{~}{w}|_{\overline{k}},|\phi |_\overline{\mathrm{}}),$$
$`(4.57)`$
$$_t|\phi |_\overline{\mathrm{}}^2+2\theta |\phi |_\overline{\mathrm{}}^2=2<|\xi |^{\overline{\mathrm{}}+3}f\widehat{\phi },|\xi |^{\overline{\mathrm{}}+1}f\widehat{G_2}(\stackrel{~}{w},\phi )>+\text{lower order terms}$$

$$|\phi |_{\overline{\mathrm{}}+1}A_2(t,|\stackrel{~}{w}|_{\overline{k}},|\phi |_\overline{\mathrm{}})$$
$`(4.58)`$
for some estimating functions $`A_1`$ and $`A_2`$, it follows that

$$(\stackrel{~}{w},\phi )L^2([t_0,t_0+\tau ],X_{\rho __0}^{\overline{k}+1,\overline{\mathrm{}}+1}).$$
$`(4.59)`$
The estimates (4.57) (4.58) are derived with the help of a regularization $`j_\epsilon `$, which we have omitted for brevity, and of the estimate (4.54).

Step 2. Uniform estimates and globalisation.

¿From the regularity conditions (4.55) (4.59), from the fact that $`\rho `$ is decreasing and from Lemmas 4.1 and 4.2, especially (4.12) and (4.23), it follows that $`(\stackrel{~}{w},\phi )𝒳_\rho ^{\overline{k},\overline{\mathrm{}}}([t_0,t_0+\tau ])`$ and that $`(\stackrel{~}{w},\phi )`$ satisfies the estimates

$$\{\begin{array}{c}Y(\stackrel{~}{w};I,1,k)Ca_0\hfill \\ \\ Z(\phi ;I,h_0,\mathrm{})C\left(b_0+a_0^2\right),\hfill \end{array}$$
$`(4.60)`$
$$\{\begin{array}{c}Y(\stackrel{~}{w};I,1,\overline{k})C\left(\overline{a}_0+h_1(t_0)a_0\overline{b}_0\right)\hfill \\ \\ Z(\phi ;I,h_0,\overline{\mathrm{}})C\left(\overline{b}_0+a_0\overline{a}_0\right),\hfill \end{array}$$
$`(4.61)`$
for $`I=[t_0,t_0+\tau ]`$ and $`t_0T_0`$, under the condition (4.45) which ensures (4.11) (4.22). The estimates (4.60) (4.61) are uniform in $`\theta `$. From (4.56), from (4.60) (4.61) for general $`I`$ and from the fact that $`\rho `$ is decreasing, it follows by a minor modification of a standard globalisation argument that $`(\stackrel{~}{w},\phi )`$ can be continued to a solution of the system (4.51) such that $`(\stackrel{~}{w},h_0^1\phi )`$ belongs to $`𝒳_\rho ^{\overline{k},\overline{\mathrm{}}}([t_0,\mathrm{}))`$ and that $`(\stackrel{~}{w},\phi )`$ satisfies (4.60) (4.61) with $`I=[t_0,\mathrm{})`$.

Step 3. Limiting procedure.

We now take the limits $`\theta 0`$ and $`(\overline{\stackrel{~}{w}}_0,\overline{\phi }_0)(\stackrel{~}{w}_0,\phi _0)`$ in that order. We first keep $`(\overline{\stackrel{~}{w}}_0,\overline{\phi }_0)`$ fixed and consider two solutions $`(\stackrel{~}{w}_1,\phi _1)`$ and $`(\stackrel{~}{w}_2,\phi _2)`$ with $`(\stackrel{~}{w}_i,h_0^1\phi _i)𝒳_{\rho __0}^{\overline{k},\overline{\mathrm{}}}([t_0,\mathrm{}))`$ as obtained in Step 2, corresponding to two values $`\theta _1`$ and $`\theta _2`$. We estimate the difference $`(\stackrel{~}{w}_{},\phi _{})=(\stackrel{~}{w}_1\stackrel{~}{w}_2,\phi _1\phi _2)`$ by a minor variation of Lemma 4.3 with $`(k,\mathrm{})`$ replaced by $`(\overline{k},\overline{\mathrm{}})`$ and $`(k^{},\mathrm{}^{})=(\overline{k}1,\overline{\mathrm{}}1)`$, under the condition (4.22) which follows from $`t_0T_0`$ and from (4.45) (4.60), possibly after changing the constant $`c`$. More precisely in the proof of (4.39), we take the initial condition $`\stackrel{~}{w}_{}(t_0)=0`$, $`\phi _{}(t_0)=0`$, but we have an additional term coming from the parabolic regularization in the analogue of (4.42) (4.43), namely

$$\{\begin{array}{c}_t|\stackrel{~}{w}_{}|_{\overline{k}1}^22|\stackrel{~}{w}_{}|_{\overline{k}}\{\theta _1|\stackrel{~}{w}_1|_{\overline{k}}+\theta _2|\stackrel{~}{w}_2|_{\overline{k}})+\text{previous terms},\hfill \\ \\ _t|\phi _{}|_{\overline{\mathrm{}}1}^22|\phi _{}|_\overline{\mathrm{}}\left(\theta _1|\phi _1|_\overline{\mathrm{}}+\theta _2|\phi _2|_\overline{\mathrm{}}\right)+\text{previous terms}.\hfill \end{array}$$
$`(4.62)`$
(The tildas in (4.62) and in (4.42) (4.43) have different meanings, but this has no implication on the argument). From (4.61) and (4.62), for any $`t_1`$ with $`t_0<t_1<\mathrm{}`$, we obtain estimates of the type (4.44) for the quantities $`y_{(1)}=y_{(1)}(w_{};[t_0,t_1],1,\overline{k}1)`$ and $`z_{(1)}=z_{(1)}(\phi _{};[t_0,t_1],h_0,\overline{\mathrm{}}1)`$ where now

$$y_0^2z_0^2|t_1t_0|(\theta _1+\theta _2)A(t_0,\overline{a}_0,\overline{b}_0).$$
$`(4.63)`$
Therefore, by the same argument as in the proof of (4.39)

$$\{\begin{array}{c}Y(\stackrel{~}{w}_{};[t_0,t_1],1,\overline{k}1)C\left(y_0+a_0h_1(t_0)z_0\right)\hfill \\ \\ Z(\phi _{};[t_0,t_1],h_0,\overline{\mathrm{}}1)C\left(z_0+a_0y_0\right),\hfill \end{array}$$
$`(4.64)`$
which implies that the solution $`(\stackrel{~}{w}_\theta ,\phi _\theta )`$ associated with $`\theta `$ converges in norm in $`𝒳_\rho ^{\overline{k}1,\overline{\mathrm{}}1}([t_0,t_1])`$ when $`\theta 0`$ for all $`t_1t_0`$. Furthermore, the limit $`(\stackrel{~}{w},\phi )`$ is such that $`(\stackrel{~}{w},h_0^1\phi )𝒳_\rho ^{\overline{k},\overline{\mathrm{}}}([t_0,\mathrm{}))`$ and $`(\stackrel{~}{w},\phi )`$ satisfies (4.47) (4.48). This follows from the bound (4.61) with $`I=[t_0,\mathrm{})`$, which is uniform in $`\theta `$, and from the previous convergence by standard compactness arguments, except for the strong continuity in time. The latter follows from the weak continuity, which also follows from a compactness argument, and from the fact that the $`K_\rho ^{\overline{k}}Y_\rho ^\overline{\mathrm{}}`$ norm of $`(\stackrel{~}{w},\phi )`$ is (absolutely) continuous in $`t`$ by Lemma 3.5 with $`k`$, $`\mathrm{}`$ replaced by $`\overline{k}`$, $`\overline{\mathrm{}}`$. The limit obviously satisfies the system (4.50).

We let now $`(\overline{\stackrel{~}{w}}_0,\overline{\phi }_0)`$ tend to $`(\stackrel{~}{w}_0,\phi _0)`$ in $`K_{\rho __0}^kY_{\rho __0}^{\mathrm{}}`$ (that step is not needed if $`\overline{k}=k1+\nu /2`$). Let $`(\overline{\stackrel{~}{w}}_{0i},\overline{\phi }_{0i})K_{\rho __0}^{\overline{k}}Y_{\rho __0}^\overline{\mathrm{}}`$, $`i=1,2`$, be two sets of regularized initial conditions and let $`(\stackrel{~}{w}_i,\phi _i)`$ be the solutions of the system (4.50) obtained previously. The difference $`(\stackrel{~}{w}_{},\phi _{})=(\stackrel{~}{w}_1\stackrel{~}{w}_2,\phi _1\phi _2)`$ is then estimated by (4.39) with $`a`$ replaced by $`a_0`$ as follows from (4.60), under the condition $`t_0T_0`$ and (4.45) as previously. One can (but need not) take $`k^{}=k1+\nu `$, $`\mathrm{}^{}=\mathrm{}1+\nu `$. This implies that the solution $`(\overline{\stackrel{~}{w}},\overline{\phi })`$ associated with $`(\overline{\stackrel{~}{w}}_0,\overline{\phi }_0)`$ converges in the norm of $`(\overline{\stackrel{~}{w}},h^1\overline{\phi })`$ in $`𝒳_\rho ^{k^{},\mathrm{}^{}}([t_0,\mathrm{}))`$ when $`(\overline{\stackrel{~}{w}}_0,\overline{\phi }_0)`$ converges to $`(\stackrel{~}{w}_0,\phi _0)`$ in the norm of $`K_{\rho __0}^k^{}Y_{\rho __0}^{\mathrm{}^{}}`$ on the bounded sets of $`K_{\rho __0}^kY_{\rho __0}^{\mathrm{}}`$ (and a fortiori in the norm of $`K_{\rho __0}^kY_{\rho __0}^{\mathrm{}}`$). Let $`(\stackrel{~}{w},\phi )`$ be the limit. By the same arguments as above, $`(\stackrel{~}{w},h_0^1\phi )𝒳_\rho ^{k,\mathrm{}}([t_0,\mathrm{}))`$ and $`(\stackrel{~}{w},\phi )`$ satisfies the system (4.50) and the estimates (4.47) (4.48).

Step 4. Uniqueness follows immediately from Lemma 4.3, part (1).

We now turn to the case $`tt_0`$. The proof proceeds exactly in the same way, with Parts 1 of Lemmas 4.1, 4.2 and 4.3 replaced by Parts 2 of the same Lemmas. In the same way as before, (4.14) implies that (4.24) follows from (4.13), possibly after a change of constant $`c`$. With $`T_0`$ defined by (4.45) and possibly with another change of constant $`c`$, the condition (4.13) follows from (4.46).

Part (2). If $`\overline{k}1+\nu /2`$, the result follows from the proof of Part (1) with the second limiting procedure omitted. If $`\overline{k}<1+\nu /2`$, the result follows from the proof of Part (1) with $`\overline{k}`$ replaced by $`1+\nu /2`$ and with the second limiting procedure going down from $`1+\nu /2`$ to $`\overline{k}`$ instead of going down from $`1+\nu /2`$ to $`k`$.

Note that in the previous proof, the constant $`c`$ in (4.45) comes from a successive application of Lemma 4.1, especially from (4.11) (4.13), and of Lemmas 4.2 and 4.3, especially from (4.22) (4.24). In particular that constant depends on $`(k,\mathrm{})`$ and on $`(\overline{k},\overline{\mathrm{}})`$ (the pair $`(k^{},\mathrm{}^{})`$ in the applications of Lemma 4.3 is chosen as a function of $`(k,\mathrm{})`$ or $`(\overline{k},\overline{\mathrm{}}))`$. In the proof of Part (1), one can in addition choose $`\overline{k}=k(1+\nu /2)`$, $`\overline{k}k=\overline{\mathrm{}}\mathrm{}`$, and the constant $`c`$ therefore depends only on $`(k,\mathrm{})`$. In contrast with that, in the proof of Part (2), the pairs $`(k,\mathrm{})`$ and $`(\overline{k},\overline{\mathrm{}})`$ are independent, and the constant $`c`$ in (4.45) needed for Part (2) to hold may (and is expected to) depend on both $`(k,\mathrm{})`$ and $`(\overline{k},\overline{\mathrm{}})`$. The crucial information contained in Part (2) is the fact that (4.45) does not involve $`|w_0|_{\overline{k}}`$, $`|\phi _0|_\overline{\mathrm{}}`$, but only $`|w_0|_k`$ and $`|\phi _0|_{\mathrm{}}`$.

Part (3). Continuity with respect to initial data follows from Lemma 4.3 parts 1 and 2, and from the a priori estimates (4.47) (4.48) (4.49) by interpolation and compactness arguments.

$``$$``$

We conclude this section with two properties of the behaviour at infinity of solutions of the system (2.11)-(2.12) in spaces $`𝒳_\rho ^{k,\mathrm{}}`$. There is no initial time involved in those properties and $`\rho `$ is only required to satisfy a suitable monotony condition at infinity. The first property is the existence of a limit for $`w(t)`$ as $`t\mathrm{}`$. It applies in particular to the solutions constructed in Proposition 4.1. There is a large flexibility on the assumptions under which such a limit exist. We shall give another example in the next section in a different context.

Proposition 4.2. Let $`T1`$, $`\rho _{\mathrm{}}0`$ and

$$\rho (t)=\rho _{\mathrm{}}+_t^{\mathrm{}}𝑑t_1|\rho ^{}(t_1)|$$

for $`tT`$. Let $`k`$, $`\mathrm{}`$ satisfy

$$\mathrm{}>n/21,1\nu /2k\mathrm{}+1.$$
$`(4.65)`$
Let $`h_0`$ and $`h_1`$ be as in Proposition 4.1. Let $`(w,\phi )`$ be a solution of the system (2.11)-(2.12) such that $`(w,h_0^1\phi )𝒳_\rho ^{k,\mathrm{}}([T,\mathrm{}))`$. Let

$$a=Y(w;[T,\mathrm{}),1,k),b=Z(\phi ;[T,\mathrm{}),h_0,\mathrm{}).$$

Then there exists $`w_+K_\rho _{\mathrm{}}^k`$ such that $`w(t)`$ tends to $`w_+`$ strongly in $`K_\rho _{\mathrm{}}^k^{}`$ for $`k^{}<k`$ and weakly in $`K_\rho _{\mathrm{}}^k`$ when $`t\mathrm{}`$. Furthermore, the following estimates hold :

$$|w_+|_kw_+;K_\rho _{\mathrm{}}^ka,$$
$`(4.66)`$
$$Y(\stackrel{~}{w}\stackrel{~}{w}(t_1);[t_1,\mathrm{}),1,k^{})Cabh_1(t_1),$$
$`(4.67)`$
$$\stackrel{~}{w}(t)w_+;K_\rho _{\mathrm{}}^k^{}Cabh_1(t),$$
$`(4.68)`$
for $`k^{}=k1+\nu `$, for all $`t`$, $`t_1T`$, and with $`\stackrel{~}{w}(t)=U(1/t)w(t)`$.

Proof. We first prove (4.67). Let $`tt_1`$ and $`w_1(t)=\stackrel{~}{w}(t)\stackrel{~}{w}(t_1)`$ so that by (4.50)

$$_tw_1=(2t^2)^1U(1/t)(2s+(s))U(1/t)^{}\stackrel{~}{w}.$$

Using (3.12) and (3.23) (3.24) from Lemma 3.4 with $`k^{}=k1+\nu `$ , $`m=k^{}\nu /2`$, we obtain

$$_t|w_1|_k^{}^22\rho ^{}|w_1|_{k^{}+\nu /2}^2Ct^2|w_1|_{k^{}+\nu /2}\left\{|w|_{k+\nu /2}|\phi |_{\mathrm{}}+|\phi |_{\mathrm{}+\nu /2}|w|_k\right\}$$
$`(4.69)`$
under the conditions $`k^{}\nu /2`$ , $`\mathrm{}>n/21`$ , $`\mathrm{}k1`$, which reduce to (4.65). Let $`y_{(1)}=y_{(1)}(w_1;[t_1,t],1,k^{})`$. Integrating (4.69) over time in the same way as in Lemma 4.1, we obtain

$$y^2y_1^2Caby_1\left\{\underset{t^{}[t_1,t]}{Sup}t^2|\rho ^{}(t^{})|^1h_0(t^{})\right\}Caby_1h_1(t_1)$$

from which (4.67) follows. From (4.67) and from the fact that $`\rho `$ is decreasing, it follows that $`w(t)`$ has a strong limit $`w_+K_\rho _{_{\mathrm{}}}^k^{}`$ and that (4.68) holds. By standard compactness and interpolation arguments, $`w_+K_\rho _{\mathrm{}}^k`$, $`w_+`$ satisfies (4.66) and $`w(t)`$ converges to $`w_+`$ weakly in $`K_\rho _{_{\mathrm{}}}^k`$ and strongly in $`K_\rho _{_{\mathrm{}}}^k^{}`$ for $`k^{}<k`$.

$``$$``$

The second property is a uniqueness property for solutions with suitable restrictions on the behaviour at infinity. It will be used in Section 6. Since it corresponds to a situation with infinite initial time, it requires $`\rho `$ to be increasing.

Proposition 4.3. Let $`T1`$, $`\rho _{\mathrm{}}>0`$ and

$$\rho (t)=\rho _{\mathrm{}}_t^{\mathrm{}}𝑑t_1|\rho ^{}(t_1)|$$

with $`\rho (t)0`$ for $`tT`$. Let $`(k,\mathrm{})`$ satisfy (3.48) and $`k1\nu /2`$. Let $`h_0`$ and $`h_1`$ be as in Proposition 4.1. Let $`(w_i,\phi _i)`$, $`i=1,2`$ be two solutions of the system (2.11)-(2.12) such that $`(w_i,h_0^1\phi _i)𝒳_\rho ^{k,\mathrm{}}([T,\mathrm{}))`$ and such that

$$|w_1(t)w_2(t)|_k^{}h_0(t)0,|\phi _1(t)\phi _2(t)|_{\mathrm{}^{}}0$$

when $`t\mathrm{}`$, for some $`(k^{},\mathrm{}^{})`$ such that $`\nu /2k^{}k1+\nu `$, $`\mathrm{}\mathrm{}^{}=kk^{}`$. Let

$$a=\underset{i}{Max}Y(w_i;[T,\mathrm{}),1,k),b=\underset{i}{Max}Z(\phi _i;[T,\mathrm{}),h_0,\mathrm{}).$$

Then there exists a constant $`c`$ such that if (4.26) holds, then $`(w_1,\phi _1)=(w_2,\phi _2)`$.

Proof. The result follows immediately from Lemma 4.3, part (3) by taking the limit $`t_0\mathrm{}`$ in (4.41).

$``$$``$

## 5 Asymptotics of solutions of the auxiliary system

In this section, we continue the study of the asymptotic properties of the solutions of the auxiliary system (2.11)-(2.12) obtained in Proposition 4.1. We have already proved the existence of a limit $`w_+`$ for $`w(t)`$ as $`t\mathrm{}`$ for such solutions. Under suitable additional regularity assumptions in the form of stronger lower bounds on $`(k,\mathrm{})`$, we shall obtain estimates on the asymptotic behaviour in time of the asymptotic functions $`(w_m,\phi _m)`$ and $`(W_m,\varphi _m)`$ defined by (2.14)-(2.15) and estimates on the remainders $`(q_{p+1},\psi _{p+1})=(wW_p,\phi \varphi _p)`$, also defined by (2.14)-(2.15), eventually leading to the existence of an asymptotic state for the phase $`\phi `$ in the form of a limit $`\psi _+`$ for $`\psi _{p+1}`$ as $`t\mathrm{}`$ for sufficiently large $`t`$.

At a technical level however, the situation here differs significantly from that in Section 4. We are no longer trying to solve the system (2.11)-(2.12), but instead we assume a solution of that system to be given, and we estimate successively the asymptotic functions $`(w_m,\phi _m)`$ and the remainders $`(q_m,\psi _m)`$, which are defined by triangular systems of equations. As a consequence, there is no need to control the loss of derivatives as in (2.11)-(2.12), and we can simply let that loss accumulate in the solution of the triangular system. Therefore we no longer need a time dependent $`\rho `$ (see (3.12)), integral norms in $`𝒳_\rho ^{k,\mathrm{}}`$, and integration by parts (see (3.22) (3.25)). We do not even need Gevrey spaces, and we could use instead ordinary Sobolev spaces, in the same way as in II. We shall of course nevertheless keep Gevrey spaces in order to make contact with Section 4, but in all this section we shall take $`\rho `$ to be constant. Instead of the spaces $`𝒳_\rho ^{k,\mathrm{}}`$ defined by (4.2), we shall use the simpler spaces

$$𝒴_\rho ^{k,\mathrm{}}(I)=(𝒞L^{\mathrm{}})(I,K_\rho ^kY_\rho ^{\mathrm{}}).$$
$`(5.1)`$
The contact with Section 4, in particular the applicability of the results of this section to the solutions obtained in Proposition 4.1, will be achieved through the fact that if $`\rho `$ is defined in $`[t_0,\mathrm{})`$ by (4.1) or equivalently by

$$\rho (t)=\rho _{\mathrm{}}+_t^{\mathrm{}}𝑑t_1|\rho ^{}(t_1)|,$$
$`(5.2)`$
then

$$𝒳_\rho ^{k,\mathrm{}}([t_0,\mathrm{}))𝒴_\rho _{\mathrm{}}^{k,\mathrm{}}([t_0,\mathrm{})).$$
$`(5.3)`$
In all the estimates of this section, the function $`f`$ occurring in the definition (3.8) (3.9) of the spaces plays no role whatsoever, and is consistently eliminated from the proofs by using the submultiplicativity property (3.3). As a consequence all the estimates are uniform in (actually independent of) $`\rho `$ and $`\nu `$, and no assumption is made connecting $`\nu `$ to other parameters such as $`\mu `$ or $`(k,\mathrm{})`$ : we only assume $`0\nu 1`$ and $`\rho 0`$.

As a preliminary result, we give an existence result of the limit $`w_+`$ of $`w(t)`$ as $`t\mathrm{}`$ for a solution of the system (2.11)-(2.12). That result is a simplified version of Proposition 4.2 appropriate to the present context.

Proposition 5.1. Let $`(k,\mathrm{})`$ satisfy

$$k1,\mathrm{}0,k+\mathrm{}>n/2.$$
$`(5.4)`$
Let $`1T<\mathrm{}`$ and let $`h_0`$ be a $`𝒞^1`$ positive nondecreasing function defined in $`[T,\mathrm{})`$ with $`t^2h_0L^1([T,\mathrm{}))`$. Let $`(w,\phi )`$ be a solution of the system (2.11)-(2.12) such that $`(w,h_0^1\phi )𝒴_\rho ^{k,\mathrm{}}([T,\mathrm{}))`$. Then there exists $`w_+K_\rho ^k`$ such that $`w(t)`$ tends to $`w_+`$ strongly in $`K_\rho ^k^{}`$ for $`k^{}<k`$ and weakly in $`K_\rho ^k`$. Furthermore, the following estimate holds :

$$|\stackrel{~}{w}(t)w_+|_k^{}Cabh(t)$$
$`(5.5)`$
for $`0k^{}k1`$, $`k^{}\mathrm{}`$, $`k^{}<k+\mathrm{}n/2`$, where

$$a=\underset{t}{Sup}|w(t)|_k,b=\underset{t}{Sup}h_0^1(t)|\phi (t)|_{\mathrm{}},$$
$`(5.6)`$
$`h(t)=_t^{\mathrm{}}𝑑t_1t_1^2h_0(t_1)`$ and $`\stackrel{~}{w}(t)=U(1/t)w(t)`$.

Proof. By (3.23) (3.24), we estimate

$$|_t(\stackrel{~}{w}(t)\stackrel{~}{w}(t_1))|_k^{}Ct^2|w(t)|_k|\phi (t)|_{\mathrm{}}Ct^2h_0(t)ab$$

under the conditions stated on $`k^{}`$, and therefore by integration

$$|\stackrel{~}{w}(t)\stackrel{~}{w}(t_1)|_k^{}Cabh(tt_1)$$

which implies the existence of $`w_+K_\rho ^k^{}`$ satisfying the estimate (5.5). By standard compactness arguments, $`w_+K_\rho ^k`$, $`|w_+|_ka`$ and $`w(t)`$ tends weakly to $`w_+`$ in $`K_\rho ^k`$ when $`t\mathrm{}`$. The other convergences follow by interpolation.

$``$$``$

We now estimate the asymptotic functions $`(w_m,\phi _m)`$ defined by successive integrations from the system (2.18)-(2.19) with initial condition (2.20)-(2.21). For that purpose, we need the function

$$\overline{h}_0(t)=_1^t𝑑t_1t_1^\gamma $$
$`(5.7)`$
and the associated estimating functions defined by (3.68) (3.69) (3.72), which we denote by $`\overline{N}_m`$, $`\overline{Q}_m`$ and $`\overline{P}_m`$ for that special choice of $`h_0`$. (Those functions appeared already in II where they were called $`h_0`$, $`N_m`$, $`Q_m`$ and $`P_m`$, see (II.3.19) (II.3.25) (II.3.26) (II.3.31)). We recall that $`\lambda =\mu n+2`$ and we define $`\overline{\lambda }=\lambda 1`$. The following proposition is the extension to the present context of Proposition II.5.1.

Proposition 5.2. Let $`p0`$ be an integer, let $`k`$ satisfy

$$k>n/2,k(p+2)\overline{\lambda }1,$$

and let

$$k_m=km\overline{\lambda },\mathrm{}_m=km\overline{\lambda }\lambda ,0mp+1.$$
$`(5.8)`$
Let $`w_+K_\rho ^k`$ and let $`a=|w_+|_k`$. Let $`\{w_0=w_+,w_{m+1}\}`$ and $`\{\phi _m\}`$, $`0mp`$ be the solution of the system (2.18)-(2.19) with initial conditions (2.20)-(2.21). Then

(1) $`w_{m+1}𝒞([1,\mathrm{})`$, $`K_\rho ^{k_{m+1}})`$, $`\phi _m𝒞([1,\mathrm{}),Y_\rho ^\mathrm{}_m)`$ and the following estimates hold for all $`t1`$ :

$$|w_{m+1}(t)|_{k_{m+1}}A(a)\overline{Q}_m(t),$$
$`(5.9)`$
$$|\phi _m(t)|_\mathrm{}_mA(a)\overline{N}_m(t),$$
$`(5.10)`$
for some estimating function $`A(a)`$.

If in addition $`(p+2)\gamma >1`$ and if we define $`\phi _{p+1}`$ by (2.19) with initial condition $`\phi _{p+1}(\mathrm{})=0`$, then $`\phi _{p+1}𝒞([1,\mathrm{}),Y^{\mathrm{}_{p+1}})`$ and the following estimate holds :

$$|\phi _{p+1}(t)|_{\mathrm{}_{p+1}}A(a)\overline{P}_p(t).$$
$`(5.11)`$
(2) The functions $`\{\phi _m\}`$ are gauge invariant, namely if $`w_+^{}=w_+\mathrm{exp}(i\omega )`$ for some real valued function $`\omega `$ and if $`w_+^{}`$ gives rise to $`\{\phi _m^{}\}`$, then $`\phi _m^{}=\phi _m`$ for $`0mp+1`$.

(3) The map $`w_+\{w_{m+1},\phi _m\}`$ is uniformly Lipschitz continuous on the bounded sets from the norm topology of $`w_+`$ in $`K_\rho ^k`$ to the norms $`\overline{Q}_m^1w_{m+1};L^{\mathrm{}}([1,\mathrm{}),K_\rho ^{k_{m+1}})`$ and $`\overline{N}_m^1\phi _m;L^{\mathrm{}}([1,\mathrm{}),Y_\rho ^\mathrm{}_m)`$, $`0mp`$. A similar continuity holds for $`\phi _{p+1}`$.

Proof. The proof is essentially the same as that of Proposition II.5.1.

Part (1). We proceed by induction on $`m`$, starting from the assumption on $`w_+`$. We assume the results to hold for $`(w_j,\phi _j)`$ for $`jm`$ and we prove them for $`w_{m+1}`$ and $`\phi _{m+1}`$. We first consider $`w_{m+1}`$. Letting the exponents $`(k_m,\mathrm{}_m)`$ be undefined for the moment except for being nonincreasing in $`m`$, we obtain from (2.18) and from (3.23) (3.24)

$$|_tw_{m+1}|_{k_{m+1}}A(a)t^2\left\{\underset{0jm1}{}\overline{N}_j(t)\overline{Q}_{mj1}(t)+\overline{N}_m(t)\right\}$$
$`(5.12)`$
under the conditions

$$\{\begin{array}{c}k_{m+1}0,k_{m+1}(k_m1)\mathrm{}_m,\hfill \\ \\ k_{m+1}+n/2<k_j+\mathrm{}_{mj},0jm.\hfill \end{array}$$
$`(5.13)`$
Integrating (5.12) between $`t`$ and $`\mathrm{}`$ with $`w_{m+1}(\mathrm{})=0`$ and using (3.79) (3.75) yields the result for $`w_{m+1}`$.

We next consider $`\phi _{m+1}`$. From (2.19) and from (3.26) (3.27) (3.28) (3.29) we obtain

$$|_t\phi _{m+1}|_{\mathrm{}_{m+1}}A(a)\left\{t^2\underset{0jm}{}\overline{N}_j(t)\overline{N}_{mj}(t)+t^\gamma \left(\underset{0jm1}{}\overline{Q}_j(t)\overline{Q}_{m1j}(t)+\overline{Q}_m(t)\right)\right\}$$
$`(5.14)`$
under the conditions

$$\{\begin{array}{c}\mathrm{}_{m+1}+10,\mathrm{}_{m+1}(\mathrm{}_m1)(k_{m+1}\lambda ),\hfill \\ \\ \mathrm{}_{m+1}+\frac{n}{2}<\mathrm{}_j+\mathrm{}_{mj},\mathrm{}_{m+1}+\lambda +n/2<k_j+k_{m+1j},0jm,\hfill \end{array}$$
$`(5.15)`$
and for $`\phi _0`$

$$\mathrm{}_0+\lambda k,\mathrm{}_0+\lambda +n/2<2k.$$
$`(5.16)`$
Integrating (5.14) between 1 and $`t`$ with $`\phi _m(1)=0`$ and using (3.78) (3.76) and (3.80) (3.84) yields the result for $`\phi _{m+1}`$ (and similarly for $`\phi _0`$).

We saturate the nonstrict part of (5.13) (5.15) (5.16) by the choice (5.8), where in addition we optimize (maximize) $`\{\mathrm{}_m\}`$ for given $`k`$. The strict conditions then reduce to $`k>n/2`$, while the condition $`k(p+2)\overline{\lambda }1`$ is simply the condition $`k_{p+1}(\mathrm{}_{p+1}+1)0`$.

Finally, if $`(p+2)\gamma >1`$, we integrate (5.14) with $`m=p`$ between $`t`$ and $`\mathrm{}`$ and use (3.77) (3.78) and (3.80) (3.82) with $`m=p`$.

Part (2). The proof is identical with that of Proposition II.5.1 and will be omitted.

Part (3). From the fact that the RHS of (2.18)-(2.19) are bilinear, it follows by induction of $`m`$ that the difference between two solutions $`\{w_m,\phi _m\}`$ and $`\{w_m^{},\phi _m^{}\}`$ associated with $`w_+`$ and $`w_+^{}`$ is estimated by

$$|w_{m+1}w_{m+1}^{}|_{k_{m+1}}A(a)|w_+w_+^{}|_k\overline{Q}_m(t),$$
$`(5.17)`$
$$|\phi _m\phi _m^{}|_\mathrm{}_mA(a)|w_+w_+^{}|_k\overline{N}_m(t)$$
$`(5.18)`$
for $`0mp`$, and if $`(p+2)\gamma >1`$,

$$|\phi _{p+1}\phi _{p+1}^{}|_{\mathrm{}_{p+1}}A(a)|w_+w_+^{}|_k\overline{P}_p(t),$$
$`(5.19)`$
where $`a=|w_+|_k|w_+^{}|_k`$. The continuity stated in Part (3) follows from those estimates.

$``$$``$

We now turn to the main result of this section, namely to the proof of existence of asymptotic states $`(w_+,\psi _+)`$ for solutions of the auxiliary system (2.11)-(2.12). That result relies heavily on suitable estimates of the remainders

$$q_{m+1}(t)=w(t)W_m(t)$$
$`(5.20)`$
$$\psi _{m+1}(t)=\phi (t)\varphi _m(t)$$
$`(5.21)`$
where $`W_m`$ and $`\varphi _m`$ are defined (see (2.14) (2.15)) by

$$W_m=\underset{0jm}{}w_j,\varphi _m=\underset{0jm}{}\phi _j.$$
$`(5.22)`$
In view of Proposition 4.1, we shall consider solutions $`(w,\phi )`$ of the system (2.11)-(2.12) such that $`(w,h_0^1\phi )𝒴_\rho ^{k,\mathrm{}}([T,\mathrm{}))`$, where $`h_0`$ is a suitable $`𝒞^1`$ positive increasing function of time. We shall assume in addition that $`t^\gamma ch_0^{}`$, a property which occurs naturally in the interesting examples relevant for Section 4. In addition to the estimating functions $`\overline{N}_m`$, $`\overline{Q}_m`$ and $`\overline{P}_m`$ associated with $`\overline{h}_0`$, we shall also need the estimating functions $`N_m`$, $`Q_m`$ and $`P_m`$ associated with $`h_0`$, defined by (3.68) (3.69) (3.72). From the relation $`t^\gamma ch_0^{}`$, it follows that $`\overline{N}_m`$, $`\overline{Q}_m`$ and $`\overline{P}_m`$ are estimated by $`N_m`$, $`Q_m`$, and $`P_m`$, and more precisely

$$\overline{N}_mc^{m+1}N_m,\overline{Q}_mc^{m+1}Q_m,\overline{P}_mc^{m+2}P_m.$$
$`(5.23)`$
We can now state the main result of this section, which is the extension of Proposition II.6.1 to the present context.

Proposition 5.3. Let $`p0`$ be an integer. Let $`(k,\mathrm{},k_0)`$ satisfy

$$k>n/2+(p2)\overline{\lambda }+\lambda 0,kk_0\overline{\lambda }+2,\mathrm{}k_0\lambda ,$$
$`(5.24)`$
$$k_0>n/2,k_0(p+2)\overline{\lambda }1,$$
$`(5.25)`$
and let

$$k_m=k_0m\overline{\lambda },\mathrm{}_m=k_0\lambda m\overline{\lambda },0mp+1.$$
$`(5.26)`$
Let $`h_0`$ be a $`𝒞^1`$ positive increasing function defined in $`[1,\mathrm{})`$, such that $`t^2h_0`$, $`t^1h_0^{}L^1([1,\mathrm{}))`$ and $`t^\gamma ch_0^{}`$. Let $`T2`$, let $`(w,\phi )`$ be a solution of the system (2.11)-(2.12) such that $`(w,h_0^1\phi )𝒴_\rho ^{k,\mathrm{}}([T,\mathrm{}))`$ and define $`a`$, $`b`$ by (5.6). Let $`w_+=\underset{t\mathrm{}}{lim}w(t)K_\rho ^k`$ be defined by Proposition 5.1, so that in particular

$$|w(t)w_+|_{k_1}0\text{when}t\mathrm{}.$$
$`(5.27)`$
Let $`(w_{m+1},\phi _m)`$, $`0mp`$ be defined by Proposition 5.2 and let $`(W_m,\varphi _m)`$, $`0mp`$, be defined by (5.22). Then the following estimates hold for all $`t[T,\mathrm{})`$ :

$$|w(t)W_m(t)|_{k_{m+1}}A(a,b)Q_m(t),$$
$`(5.28)`$
$$|\phi (t)\varphi _m(t)|_{\mathrm{}_{m+1}}A(a,b)N_{m+1}(t).$$
$`(5.29)`$
for $`0mp`$, and for some estimating function $`A(a,b)`$.

If in addition $`(p+2)\gamma >1`$ and if $`P_p(1)<\mathrm{}`$, then the following limit exists

$$\underset{t\mathrm{}}{lim}\left(\phi (t)\varphi _p(t)\right)=\psi _+$$
$`(5.30)`$
as a strong limit in $`Y_\rho ^{\mathrm{}_{p+1}}`$, and the following estimate holds

$$|\phi (t)\varphi _p(t)\psi _+|_{\mathrm{}_{p+1}}A(a,b)P_p(t).$$
$`(5.31)`$
Remark 5.1. When applied to solutions $`(w,\phi )`$ of the system (2.11)-(2.12) obtained in Proposition 4.1, the time decay estimates of Proposition 5.3 will take the following typical form. Take $`|\rho ^{}|=t^{1\epsilon }`$ and $`h_0=t^{1\gamma +\epsilon }`$, which is adequate for Propostion 4.1. Then for $`(p+1)\gamma <1`$ and sufficiently small $`\epsilon `$

$$N_m(t)t^{1(m+1)(\gamma \epsilon )},Q_mt^{(m+1)(\gamma \epsilon )},P_p(t)t^{1(p+2)(\gamma \epsilon )}$$

and the condition $`P_p(1)<\mathrm{}`$ reduces to $`(p+2)(\gamma \epsilon )>1`$. For $`(p+1)(\gamma \epsilon )>1`$, the time decay saturates at $`N_p(t)1`$, $`Q_p(t)t^1`$ and $`P_p(t)t^\gamma `$, as explained in Section II.3.

Remark 5.2. We have kept the parameter $`k_0`$ in the statement of Proposition 5.3 because it plays a central role in the proof. For a given solution $`(w,\phi )`$, namely for given $`(k,\mathrm{})`$, we can optimize the results by maximizing $`k_0`$ as allowed by (5.24), namely by taking $`k_0=(k+\overline{\lambda }2)(\mathrm{}+\lambda )`$. The condition (5.25) then reduces to lower bounds on $`(k,\mathrm{})`$. Those bounds are stronger than (5.4) and therefore allow for the application of Proposition 5.1. Note also that the regularity obtained for the remainders $`(q_m,\psi _m)`$ for $`m1`$ is weaker than that of the estimating functions of the same level $`(w_m,\phi _m)`$ since $`(k_m,\mathrm{}_m)`$ in (5.26) contain only $`k_0k`$ whereas $`(k_m,\mathrm{}_m)`$ in (5.8) contain $`k`$ and $`w_+K_\rho ^k`$ in both cases.

Proof of Proposition 5.3. The proof is essentially the same as that of Proposition II.6.1 and proceeds by an induction on $`m`$, the starting point of which is the estimate for $`q_1`$. We assume the estimates (5.28) (5.29) to hold for $`(q_j,\psi _j)`$, $`0jm`$, and we derive them for $`(q_{m+1},\psi _{m+1})`$, with $`(q_m,\psi _m)`$ defined by (5.20) (5.21) and $`(q_0,\psi _0)=(w,\phi )`$.

We substitute the decompositions $`w=W_m+q_{m+1}`$ and $`\phi =\varphi _m+\psi _{m+1}`$ in the LHS of (2.11)-(2.12) and the decompositions $`w=W_{m1}+q_m`$ and $`\phi =\varphi _{m1}+\psi _m`$ in the RHS of the same, thereby obtaining

$$_tq_{m+1}=\left(2t^2\right)^1\{i\mathrm{\Delta }w+(2\phi +(\mathrm{\Delta }\phi ))q_m$$

$$+(2\psi _m+(\mathrm{\Delta }\psi _m))W_{m1}+\underset{\genfrac{}{}{0pt}{}{0i,jm1}{i+jm}}{}(2\phi _i+(\mathrm{\Delta }\phi _i))w_j\}$$
$`(5.32)`$
$$_t\psi _{m+1}=\left(2t^2\right)^1\left\{\left(\phi +\varphi _{m1}\right)\psi _m+\underset{\genfrac{}{}{0pt}{}{0i,jm1}{i+jm}}{}\phi _i\phi _j\right\}$$

$$+t^\gamma \left\{g_0(q_m,q_1)+g_0(q_m,W_{m1}w_0)+2g_0(q_{m+1},w_0)+\underset{\genfrac{}{}{0pt}{}{0i,jm1}{i+jm+1}}{}g_0(w_i,w_j)\right\}$$
$`(5.33)`$
for $`m1`$ and

$$\{\begin{array}{c}_tq_1=\left(2t^2\right)^1\left\{i\mathrm{\Delta }w+2\phi w+(\mathrm{\Delta }\phi )w\right\}\hfill \\ \\ _t\psi _1=\left(2t^2\right)^1|\phi |^2+t^\gamma g_0(q_1,w+w_+)\hfill \end{array}$$
$`(5.34)`$
for $`m=0`$. We let the exponents $`(k_m,\mathrm{}_m)`$ be undefined for the moment, except for the property of being decreasing in $`m`$ and of being not larger than the corresponding exponents of Proposition 5.2, which we denote momentarily by $`(\overline{k}_m,\overline{\mathrm{}}_m)`$ inside this proof, namely

$$k_m\overline{k}_m=km\overline{\lambda },\mathrm{}_m\overline{\mathrm{}}_m=k\lambda m\overline{\lambda }.$$

We estimate (5.32) by (3.23) (3.24), by (5.9) (5.10) (5.23) and by the induction assumption, and we estimate similarly (5.33) by (3.26) (3.27) (3.28) (3.29) and the same other ingredients, thereby obtaining

$$|_tq_{m+1}|_{k_{m+1}}A(a,b)t^2\left\{1+h_0Q_{m1}+N_m+\underset{mi+j2(m1)}{}N_iQ_{j1}\right\}$$
$`(5.35)`$
$$|_t\psi _{m+1}|_{\mathrm{}_{m+1}}A(a,b)\{t^2(h_0N_m+\underset{mi+j2(m1)}{}N_iN_j)$$

$$+t^\gamma (Q_0Q_{m1}+Q_m+\underset{m+1i+j2(m1)}{}Q_{i1}Q_{j1})\}$$
$`(5.36)`$
for $`m1`$, under the conditions

$$k_{m+1}(k_m1)\mathrm{}_m,\mathrm{}_{m+1}(\mathrm{}_m1)(k_{m+1}\lambda ),$$
$`(5.37)`$
$$\{\begin{array}{c}k_{m+1}+n/2<\left(\mathrm{}+k_m\right)\left(\mathrm{}_m+\overline{k}_{m1}\right)\hfill \\ \\ \mathrm{}_{m+1}+n/2<\left(\mathrm{}+\mathrm{}_m\right)\left(\mathrm{}_m+\overline{\mathrm{}}_{m1}\right)\hfill \\ \\ \mathrm{}_{m+1}+n/2+\lambda <\left(k_m+k_1\right)\left(k_m+\overline{k}_{m1}\right)\left(k_{m+1}+k\right),\hfill \end{array}$$
$`(5.38)`$
and

$$|_tq_1|_{k_1}Ct^2(a+h_0ab)$$
$`(5.39)`$
$$|_t\psi _1|_\mathrm{}_1Ct^2h_0^2b^2+Ct^\gamma A(a,b)Q_0$$
$`(5.40)`$
under the conditions

$$k_1(k2)\mathrm{},\mathrm{}_1(\mathrm{}1)(k_1\lambda ),$$
$`(5.41)`$
$$k_1+n/2<k+\mathrm{},\mathrm{}_1+n/2<2\mathrm{}(k_1+k\lambda )$$
$`(5.42)`$
for $`m=0`$.

As in the proof of Proposition 5.2, we saturate (5.37) and maximize $`\mathrm{}_m`$ with respect to $`k_m`$ by the choice (5.26). Then (5.41) reduces to the last two conditions of (5.24), while (5.38) is easily seen to reduce to $`k_0>n/2`$ and to the first condition of (5.24), and (5.42) follows from (5.24) and (5.25). The conditions $`k_m\overline{k}_m`$ and $`\mathrm{}_m\overline{\mathrm{}}_m`$ follow from the fact that $`kk_0`$, implied by (5.24).

Integrating (5.39) between $`t`$ and $`\mathrm{}`$ with initial condition (5.27) yields

$$|q_1(t)|_{k_1}C\left(a+h_0(1)\right)t^1+CabQ_0(t),$$
$`(5.43)`$
namely the estimate (5.28) for $`m=0`$ (since $`Q_0(t)t^1Q_0(1))`$ which is the starting point of the induction procedure. Integrating (5.35) between $`t`$ and $`\mathrm{}`$ with the initial condition $`q_{m+1}(\mathrm{})=0`$ for $`m1`$ and using (3.79) (3.75) yields (5.28). Similarly, integrating (5.40) and (5.36) between $`T`$ and $`t`$ and using (3.78) (3.76) and (3.80) (3.84) yields (5.29). Finally, if $`(p+2)\gamma >1`$ and $`P_p(1)<\mathrm{}`$, the RHS of (5.36) with $`m=p`$ is integrable at infinity in time, which proves the existence of the limit (5.30). Integrating (5.36) between $`t`$ and $`\mathrm{}`$ and using (3.78) (3.77) and (3.80) (3.82) yields (5.31).

$``$$``$

## 6 Cauchy problem at infinity and wave operators for the auxiliary system

In this section we derive the main technical result of this paper, which is in some sense the converse of Proposition 5.3, namely we prove that sufficiently regular asymptotic states $`(w_+,\psi _+)`$ generate solutions $`(w,\phi )`$ of the system (2.11)-(2.12) in the sense described in Section 2, thereby allowing for the definition of the local wave operator at infinity $`\mathrm{\Omega }_0`$ : $`(w_+,\psi _+)(w,\phi )`$. As a preliminary, and in order to allow for an easy proof of the gauge invariance of the construction, we first solve the linear transport equations (2.23) (2.24) with initial condition (2.25) and derive some asymptotic properties of their solutions.

In all this section, as in Proposition 4.1 and in contrast with Section 5, we are again solving the system (2.11)-(2.12) and we have to solve the simpler equations (2.23) (2.24) in the same framework. As a consequence, we again need the full machinery of Gevrey spaces with time dependent $`\rho `$ so as to be able to use (3.12), we need the integral norms in $`𝒳_\rho ^{k,\mathrm{}}`$ and the integration by parts (3.22) and (3.25). We therefore begin by choosing $`|\rho ^{}|`$ exactly as in Section 4. Now however in contrast with Proposition 4.1 where we kept $`t_0`$ finite, we want to take $`t_0=\mathrm{}`$, and therefore we must take $`\rho `$ to be increasing. Therefore, in all this section, we take

$$\rho (t)=\rho _{\mathrm{}}_t^{\mathrm{}}𝑑t_1|\rho ^{}(t_1)|,$$
$`(6.1)`$
taking $`\rho _{\mathrm{}}`$ sufficiently large for $`\rho (t)`$ to be nonnegative in the (asymptotic) region of interest, a sufficient condition for which being that $`\rho _{\mathrm{}}|\rho ^{}|;L^1([1,\mathrm{}))`$. Except for that condition, $`\rho _{\mathrm{}}`$ will be arbitrary (but fixed), and all subsequent estimates will be independent of $`\rho _{\mathrm{}}`$, for the same reasons as in the previous sections.

Solving the Cauchy problem either for the system (2.11)-(2.12) or for the transport equations (2.23) (2.24) with infinite initial time will be done as in II by first solving that system (or equation) with large but finite initial time $`t_0`$ and then letting $`t_0`$ tend to infinity. In order not to make this paper too cumbersome, we shall restrict our attention to solving that problem only for $`tt_0`$ when $`t_0`$ is finite. The solutions could easily be extended to $`[t_0,\mathrm{})`$ with a modified $`\rho `$ of the type (4.1), but that extension would be useless in the limit $`t_0\mathrm{}`$, and we shall refrain from performing it.

By analogy with the spaces $`𝒳_\rho ^{k,\mathrm{}}(I)`$ defined by (4.2) (4.3), we extend the definition (5.1) of the spaces $`𝒴_\rho ^{k,\mathrm{}}(I)`$ from the case of constant $`\rho `$ to the case of variable $`\rho `$ considered in this section by

$$𝒴_\rho ^{k,\mathrm{}}(I)=\{(w,\phi ):(F^1f\widehat{w},F^1f\widehat{\phi })𝒴_0^{k,\mathrm{}}(I)\}$$
$`(6.2)`$
with $`f`$ defined by (3.1), $`\rho `$ defined by (6.1) and $`𝒴_0^{k,\mathrm{}}(I)`$ defined by (5.1). Occasionally, we shall have to state that a single function $`w`$ or $`\phi `$ belongs to the $`w`$-subspace or to the $`\phi `$-subspace of some space $`𝒳_\rho ^{k,\mathrm{}}`$ or $`𝒴_\rho ^{k,\mathrm{}}`$. In order to avoid introducing additional notation, we shall then write $`(w,0)𝒳_\rho ^{k,0}(I)`$ or $`(0,\phi )𝒳_\rho ^{0,\mathrm{}}(I)`$, and similarly with $`𝒳`$ replaced by $`𝒴`$.

We shall have to consider norms of the type $`|w_{}|_k`$ or $`|\phi _{}|_{\mathrm{}}`$ for $`w_{}`$ or $`\phi _{}`$ that are differences of functions taken at different times, possibly leaving in doubt the value of $`t`$ appearing in $`\rho (t)`$ in the definition of the norm. In such cases it will be understood that the value of $`t`$ appearing in $`\rho (t)`$ should be the smaller of the times appearing in $`w_{}`$ or $`\phi _{}`$, thereby yielding the smaller of the corresponding values of $`\rho `$.

We begin with the study of the transport equation (2.23). As compared with the treatment of that problem given in II, however, a new difficulty arises. In order to compare $`V`$ with the asymptotic approximation $`W_p`$ to the anticipated solution of (2.11)-(2.12), it is no longer sufficient to take for $`V`$ the initial condition $`V(t_0)=w_+`$ when solving (2.23) with finite initial time $`t_0`$, and we have to use instead the better initial condition $`V(t_0)=W_p(t_0)`$. On the other hand, the results on the Cauchy problem for (2.23) (2.24) do not depend on detailed properties of $`\varphi _{p1}`$ and $`W_p`$. They are therefore stated in Propositions 6.1 and 6.2 in terms of general functions $`\varphi `$ and $`W`$, to be taken as $`\varphi _{p1}`$ and $`W_p`$ from Proposition 6.3 on.

In all this section, we use systematically the notation $`y_{(1)}`$, $`Y`$, $`z_{(1)}`$, $`Z`$ defined by (4.4)-(4.9).

We begin with the study of the transport equation (2.23) which we rewrite with general $`\varphi `$ as

$$_tV=\left(2t^2\right)^1\left(2\varphi +(\mathrm{\Delta }\varphi )\right)V.$$
$`(6.3)`$
Proposition 6.1. Let $`(\stackrel{~}{k},\stackrel{~}{\mathrm{}},\overline{k},k)`$ satisfy

$$\stackrel{~}{\mathrm{}}>n/2\nu ,\stackrel{~}{k}(\stackrel{~}{\mathrm{}}+\nu /2)\overline{k}k+1\nu ,k\nu /2.$$
$`(6.4)`$
Let $`1T<\mathrm{}`$. Let $`h_0`$ and $`h_1`$ be $`𝒞^1`$ positive functions defined in $`[T,\mathrm{})`$ with $`h_0`$ nondecreasing, $`h_1`$ nonincreasing and tending to zero at infinity, and $`h_1t^2\rho ^1h_0`$. Let $`w_+K_\rho _{_{\mathrm{}}}^{\stackrel{~}{k}}`$. Let $`(W,\varphi )`$ be such that $`(W,h_0^1\varphi )𝒴_\rho ^{\stackrel{~}{k},\stackrel{~}{\mathrm{}}}([T,\mathrm{}))`$ and that $`W(t)`$ tends to $`w_+`$ as $`t\mathrm{}`$, with an estimate

$$|W(t)w_+|_kc_1h_1(t)$$
$`(6.5)`$
for some constant $`c_1`$. Let

$$a=\underset{t}{Sup}|W(t)|_{\stackrel{~}{k}},b=\underset{t}{Sup}h_0^1(t)|\varphi (t)|_\stackrel{~}{\mathrm{}}.$$
$`(6.6)`$
Then

(1) There exist constants $`c`$ and $`C`$ such that if

$$bh_1(T)c,$$
$`(6.7)`$
there exists a unique solution $`V`$ of the equation (6.3) such that $`(V,0)𝒳_\rho ^{\overline{k},0}([T,\mathrm{}))`$ and such that the following estimates hold :

$$Y(V;[T,\mathrm{}),1,\overline{k})Ca,$$
$`(6.8)`$
$$Y(Vw_+;[T,\mathrm{}),h_1,k)Cab.$$
$`(6.9)`$
(2) $`V`$ is the limit as $`t_0\mathrm{}`$ of solutions $`V_{t_0}`$ of (6.3) such that $`V_{t_0}(t_0)=W(t_0)`$ and $`(V_{t_0},0)𝒳_\rho ^{\overline{k},0}([T,t_0])`$. The convergence is in the strong sense in $`𝒳_\rho ^{k^{},0}([T,T_1])`$ for $`k^{}<\overline{k}`$ and in the weak-$``$ sense in $`𝒳_\rho ^{\overline{k},0}([T,T_1])`$ for every $`T_1`$, $`T<T_1<\mathrm{}`$ and the following estimate holds for all $`t_0>T`$

$$Y(VV_{t_0};[T,t_0],1,k)C\left(ab+c_1\right)h_1(t_0).$$
$`(6.10)`$
(3) The solution $`V`$ is unique in $`L^{\mathrm{}}([T,\mathrm{}),L^2)`$ under the condition that $`V(t)w_+_2`$ tends to zero when $`t\mathrm{}`$.

Remark 6.1. From the uniqueness statement of Proposition 6.1, Part (2), it follows that for given $`\varphi `$ and $`w_+`$, $`V`$ is independent of $`W`$. Actually Parts (1) and (3) make no reference to $`W`$ and could be proved by taking $`W(t)w_+`$. $`W`$ appears only in the limiting process of Part (2), which however will be esssential to derive the more accurate estimates of Proposition 6.3.

Proof. We prove Parts (1) and (2) together.

We first solve (6.3) with initial data $`V_{t_0}(t_0)=W(t_0)`$ at finite $`t_0`$. This is a linear transport equation with $`𝒞^{\mathrm{}}`$ vector field $`\varphi `$ and $`𝒞^{\mathrm{}}`$ initial data and the existence and uniqueness of a solution, for instance with value in $`H^N`$, is a standard result. We concentrate on the Gevrey estimates and on the subsequent limit $`t_0\mathrm{}`$.

In the same way as in the proof of Lemma 3.5, from (3.22) (3.24) we obtain for $`tt_0`$

$$_t|V_{t_0}|_{\overline{k}}^22\rho ^{}|V_{t_0}|_{\overline{k}+\nu /2}^2Ct^2|V_{t_0}|_{\overline{k}+\nu /2}^2|\varphi |_\stackrel{~}{\mathrm{}}$$
$`(6.11)`$
under the conditions

$$\stackrel{~}{\mathrm{}}>n/2\nu ,\overline{k}\nu /2,\stackrel{~}{\mathrm{}}+1\overline{k}\nu /2$$

and

$$\overline{k}+\stackrel{~}{\mathrm{}}+\nu /2>\overline{k}\nu /2+n/2,\stackrel{~}{\mathrm{}}\overline{k}\nu /2$$

which follow from (6.4). Integrating (6.11) over time and using (6.6), we obtain as in the proof of Lemma 4.1

$$y^2y_1^2y_0^2+Cby_1^2h_1(t)$$
$`(6.12)`$
where $`y_{(1)}=y_{(1)}(V_{t_0};[t,t_0],1,\overline{k})`$ and $`y_0=|W(t_0)|_{\overline{k}}`$, which under the condition (6.7) yields

$$Y(V_{t_0};[T,t_0],1,\overline{k})Ca.$$
$`(6.13)`$
We next estimate the difference $`v_1(t)V_{t_0}(t)V_{t_0}(t_0)V_{t_0}(t)W(t_0)`$, which satisfies the equation

$$_tv_1=\left(2t^2\right)^1\left(2\varphi +(\mathrm{\Delta }\varphi )\right)V_{t_0}$$
$`(6.14)`$
with initial condition $`v_1(t_0)=0`$. Let $`\stackrel{~}{v}_1=h_1^1v_1`$. From (3.23) (3.24) with $`m=k\nu /2`$, $`k\overline{k}+\nu /2`$ and $`\mathrm{}=\stackrel{~}{\mathrm{}}`$, we obtain

$$_t|\stackrel{~}{v}_1|_k^22\rho ^{}|\stackrel{~}{v}_1|_{k+\nu /2}^2Ct^2h_1^1|\stackrel{~}{v}_1|_{k+\nu /2}|V_{t_0}|_{\overline{k}+\nu /2}|\varphi |_\stackrel{~}{\mathrm{}}$$
$`(6.15)`$
under the conditions

$$\overline{k}+\stackrel{~}{\mathrm{}}>k+n/2\nu ,\stackrel{~}{\mathrm{}}k\nu /20,\overline{k}+\nu /2k+1\nu /2,$$

which follow from (6.4).

Defining $`y_{(1)}=y_{(1)}(v_1;[T,t_0],h_1,k)`$, integrating over time and using (6.6) (6.13) and the Schwarz inequality we obtain in the same way as before

$$y^2y_1^2Caby_1\left\{\underset{t}{Sup}t^2\rho ^1h_0h_1^1\right\}=Caby_1$$

and therefore

$$Y(V_{t_0}W(t_0);[T,t_0],h_1,k)Cab.$$
$`(6.16)`$
We now take the limit $`t_0\mathrm{}`$, and for that purpose we estimate the difference $`V_{t_1}V_{t_0}`$ of two solutions corresponding to $`t_0`$ and $`t_1`$, with $`T<t_0t_1`$. Since the equation (6.3) is linear in $`V`$, the difference of two solutions is estimated in the same way as a single solution. In the same way as in the proof of (6.13), we obtain

$$Y(V_{t_1}V_{t_0};[T,t_0],1,k)C\left|V_{t_1}(t_0)V_{t_0}(t_0)\right|_k$$

$$C\left\{\left|V_{t_1}(t_0)W(t_1)\right|_k+\left|W(t_1)W(t_0)\right|_k\right\}.$$
$`(6.17)`$
We estimate the first norm in the last member of (6.17) by (6.16) with $`t_1`$ replacing $`t_0`$, and where we use the pointwise estimate taken at $`t=t_0`$, and we estimate the second norm by (6.5) used both for $`t=t_0`$ and $`t=t_1`$, thereby obtaining

$$Y(V_{t_1}V_{t_0};[T,t_0],1,k)C\left(ab+c_1\right)h_1(t_0).$$
$`(6.18)`$
From (6.18) it follows that when $`t_0\mathrm{}`$, $`V_{t_0}`$ converges to some $`V`$ such that $`(V,0)𝒳_\rho ^{k,0}([T,\mathrm{}))`$ strongly in $`𝒳_\rho ^{k,0}([T,T_1])`$ for all $`T_1`$, $`T<T_1<\mathrm{}`$. By standard compactness arguments and by (6.13) $`(V,0)𝒳_\rho ^{\overline{k},0}([T,\mathrm{}))`$, $`V`$ satisfies (6.8) and the convergence holds in the sense of Part (2) of the proposition. Furthermore, taking the limit $`t_1\mathrm{}`$ in (6.18) yields (6.10).

It remains only to prove (6.9). For that purpose, we take again $`T<t_0<t_1`$ and we estimate

$$Y(Vw_+;[T,t_0],h_1,k)Y(V_{t_1}W(t_1);[T,t_0],h_1,k)$$

$$+h_1(t_0)^1\left\{Y(VV_{t_1};[T,t_0],1,k)+Y(W(t_1)w_+;[T,t_0],1,k)\right\}$$

$$Cab+h_1(t_0)^1\left\{C\left(ab+c_1\right)h_1(t_1)+Cc_1h_1(t_1)\left(\rho (t_1)\rho (t_0)\right)^{1/2}\right\}$$

by (6.16) and (6.10) with $`t_1`$ replacing $`t_0`$, and by (6.5) and the fact that $`\rho (t)`$ is strictly increasing, so that

$$_T^{t_0}𝑑t\rho ^{}|W(t_1)w_+|_{\rho (t),k+\nu /2}^2C|W(t_1)w_+|_{\rho (t_1),k}^2|\rho (t_1)\rho (t_0)|^1\rho ^{}_1$$

where $`||_{\rho ,k}`$ denotes the norm in $`K_\rho ^k`$. Taking the limits $`t_1\mathrm{}`$ and $`t_0\mathrm{}`$ in that order yields (6.9), with the same constant as in (6.16).

Part (3) follows from an elementary energy estimate for the $`L^2`$ norm of the difference of two solutions, namely

$$V_1(t)V_2(t)_2V_1(t^{})V_2(t^{})_2\mathrm{exp}\left(Cb|h(t)h(t^{})|\right)$$

where $`h(t)=_t^{\mathrm{}}𝑑t_1t_1^2h_0(t_1)`$.

$``$$``$

We now turn to the transport equation (2.24), which we rewrite with general $`\varphi `$ as

$$_t\chi =t^2\varphi \chi .$$
$`(6.19)`$
Proposition 6.2. Let $`(\stackrel{~}{\mathrm{}},\overline{\mathrm{}},\mathrm{})`$ satisfy

$$\stackrel{~}{\mathrm{}}>n/2\nu ,\stackrel{~}{\mathrm{}}+\nu /2\overline{\mathrm{}}+1,\overline{\mathrm{}}\mathrm{}+1\nu ,\mathrm{}+1\nu /2.$$
$`(6.20)`$
Let $`1T<\mathrm{}`$ and let $`h_0`$, $`h_1`$ be as in Proposition 6.1. Let $`\psi _+Y_\rho _{_{\mathrm{}}}^\overline{\mathrm{}}`$ and let $`\beta =|\psi _+|_\overline{\mathrm{}}`$. Let $`\varphi `$ be such that $`(0,h_0^1\varphi )Y_\rho ^{0,\stackrel{~}{\mathrm{}}}([T,\mathrm{}))`$ with

$$b=\underset{t}{Sup}h_0(t)^1|\varphi (t)|_\stackrel{~}{\mathrm{}}.$$
$`(6.21)`$
Then

(1) There exist constants $`c`$ and $`C`$ such that if (6.7) holds, there exists a unique solution $`\chi `$ of the equation (6.19) such that $`(0,\chi )𝒳_\rho ^{0,\overline{\mathrm{}}}([T,\mathrm{}))`$ and such that the following estimates hold

$$Z(\chi ;[T,\mathrm{}),1,\overline{\mathrm{}})C\beta ,$$
$`(6.22)`$
$$Z(\chi \psi _+;[T,\mathrm{}),h_1,\mathrm{})Cb\beta .$$
$`(6.23)`$
(2) $`\chi `$ is the limit as $`t_0\mathrm{}`$ of solutions $`\chi _{t_0}`$ of (6.19) such that $`\chi _{t_0}(t_0)=\psi _+`$ and $`(0,\chi _{t_0})𝒳_\rho ^{0,\overline{\mathrm{}}}([T,t_0))`$. The convergence is in the strong sense in $`𝒳_\rho ^{0,\mathrm{}^{}}([T,T_1])`$ for $`\mathrm{}^{}\overline{\mathrm{}}`$ and in the weak-$``$ sense in $`𝒳_\rho ^{0,\overline{\mathrm{}}}([T,T_1])`$ for every $`T_1`$, $`T<T_1<\mathrm{}`$, and the following estimate holds

$$Z(\chi \chi _{t_0};[T,t_0],1,\mathrm{})Cb\beta h_1(t_0).$$
$`(6.24)`$
(3) The solution $`\chi `$ is unique in $`L^{\mathrm{}}(I,L^{\mathrm{}})`$ under the condition that $`\chi (t)\psi _+_{\mathrm{}}`$ tends to zero as $`t\mathrm{}`$.

(4) Let in addition $`(\stackrel{~}{k},\overline{k},k)`$ satisfy (6.4), let $`w_+K_\rho _{_{\mathrm{}}}^{\stackrel{~}{k}}`$ and let $`V`$ be defined by Proposition 6.1 for some $`W`$ (for instance $`W(t)w_+`$). Then for fixed $`\varphi `$, $`V\mathrm{exp}(i\chi )`$ is gauge invariant in the following sense. If $`(V,\chi )`$ and $`(V^{},\chi ^{})`$ are the solutions obtained from $`(w_+,\psi _+)`$ and $`(w_+^{},\psi _+^{})`$ with $`w_+\mathrm{exp}(i\psi _+)=w_+^{}\mathrm{exp}(i\psi _+^{})`$, then $`V(t)\mathrm{exp}(i\chi (t))=V^{}(t)\mathrm{exp}(i\chi ^{}(t))`$ for all $`tI`$.

Proof. Parts (1) and (2). The proof is very similar to that of Proposition 6.1 and we concentrate again on the Gevrey estimates and on the limit $`t_0\mathrm{}`$. Let $`\chi _{t_0}`$ be the solution of (6.19) with initial data $`\chi _{t_0}(t_0)=\psi _+`$. In addition to (6.19), it is convenient to use also the equation

$$_t\tau =t^2\left(S\tau +\tau S\right)$$
$`(6.25)`$
satisfies by $`\tau =\chi `$, with $`S=\varphi `$.

We estimate $`_t|\chi _{t_0}|_\overline{\mathrm{}}^2`$ in the same way as in the proof of Lemma 3.5. We estimate the contribution of $`S\tau _{t_0}`$ from (6.25) by (3.25) with $`(s,s^{},\mathrm{},\mathrm{}^{})`$ replaced by $`(S,\tau _{t_0},\stackrel{~}{\mathrm{}},\overline{\mathrm{}})`$ and the contribution of $`\tau _{t_0}S`$ by (3.26) with $`(s,s^{},\mathrm{},\mathrm{}^{},m)`$ replaced by $`(\tau _{t_0},S,\overline{\mathrm{}}+\nu /2,\stackrel{~}{\mathrm{}},\overline{\mathrm{}}\nu /2)`$, thereby obtaining

$$_t|\chi _{t_0}|_\overline{\mathrm{}}^22\rho ^{}|\chi _{t_0}|_{\overline{\mathrm{}}+\nu /2}^2Ct^2|\chi _{t_0}|_{\overline{\mathrm{}}+\nu /2}^2|\varphi |_\stackrel{~}{\mathrm{}}$$
$`(6.26)`$
under the conditions

$$\stackrel{~}{\mathrm{}}>n/2\nu ,\overline{\mathrm{}}+1\nu /2,\stackrel{~}{\mathrm{}}\overline{\mathrm{}}+1\nu /2$$

which follow from (6.20). Introducing $`z_{(1)}=z_{(1)}(\chi _{t_0};[T,t_0],1,\overline{\mathrm{}})`$ and integrating (6.26) over time, we obtain in the same way as before

$$z^2z_1^2z_0^2+Cbh_1(T)z_1^2$$

with $`z_0=\beta `$, which under the conditions (6.7) implies

$$Z(\chi _{t_0};[T,t_0],1,\overline{\mathrm{}})C\beta .$$
$`(6.27)`$
We next estimate the difference $`\chi _1(t)\chi _{t_0}(t)\chi _{t_0}(t_0)\chi _{t_0}(t)\psi _+`$ which satisfies the equations

$$_t\chi _1=t^2\varphi \chi _{t_0}$$

$$_t\tau _1=t^2\left(S\tau _{t_0}+\tau _{t_0}S\right).$$

Let $`\stackrel{~}{\chi }_1=h_1^1\chi _1`$. Using again (3.26) with $`(s,s^{})=(S,\tau _{t_0})`$ or $`(\tau _{t_0},S)`$, with $`m=\mathrm{}\nu /2`$ and with $`(\mathrm{},\mathrm{}^{})=(\stackrel{~}{\mathrm{}},\overline{\mathrm{}}+\nu /2)`$ or $`(\overline{\mathrm{}}+\nu /2,\stackrel{~}{\mathrm{}})`$, we obtain

$$_t|\stackrel{~}{\chi }_1|_{\mathrm{}}^22\rho ^{}|\stackrel{~}{\chi }_1|_{\mathrm{}+\nu /2}^2Ct^2h_1^1|\stackrel{~}{\chi }_1|_{\mathrm{}+\nu /2}|\chi _{t_0}|_{\overline{\mathrm{}}+\nu /2}|\varphi |_\stackrel{~}{\mathrm{}}$$
$`(6.28)`$
under the conditions

$$\stackrel{~}{\mathrm{}}+\overline{\mathrm{}}>\mathrm{}+n/2\nu ,\stackrel{~}{\mathrm{}}\mathrm{}+1\nu /2,\overline{\mathrm{}}\mathrm{}+1\nu ,\mathrm{}+1\nu /2$$

which also follow from (6.20). Defining now $`z_{(1)}=z_{(1)}(\chi _1;[T,t_0],h_1,\mathrm{})`$, integrating over time and using (6.21) (6.27), we obtain in the same way as before

$$z^2z_1^2Cb\beta z_1\underset{t}{Sup}\left\{t^2\rho ^1h_0h_1^1\right\}=Cb\beta z_1$$

and therefore

$$Z(\chi _{t_0}\psi _+;[T,t_0],h_1,\mathrm{})Cb\beta .$$
$`(6.29)`$
Starting from the basic estimates (6.27) and (6.29), the end of the proof is the same as that of Proposition 6.1 based on (6.13) (6.16), with the simplification that the initial condition at $`t_0`$ is given by a fixed $`\psi _+`$ instead of a time dependent $`W`$. The difference between two solutions $`\chi _{t_1}`$ and $`\chi _{t_0}`$ with $`T<t_0<t_1`$ is estimated with the help of the extension of (6.27) to that difference and of the pointwise part of (6.29) with $`t_0`$ replaced by $`t_1`$ taken at time $`t=t_0`$ as

$$Z(\chi _{t_1}\chi _{t_0};[T,t_0],1,\mathrm{})C\left|\chi _{t_1}(t_0)\psi _+\right|_{\mathrm{}}Cb\beta h_1(t_0)$$
$`(6.30)`$
from which the existence of $`\chi `$ with the properties and convergences stated in Part (2) follow. Taking the limit $`t_1\mathrm{}`$ in (6.30) yields (6.24), while taking the limit $`t_0\mathrm{}`$ in (6.27) (6.29) yields (6.22) (6.23) in the same way as in the proof of Proposition 6.1.

Part (3) follows from elementary estimates together with the estimate on $`\varphi `$ expressed by (6.21).

Part (4). It follows from (6.3) and (6.19) that $`V\mathrm{exp}(i\chi )`$ also satisfies (6.3), with gauge invariant initial condition $`V(\mathrm{})\mathrm{exp}(i\chi (\mathrm{}))=w_+\mathrm{exp}(i\psi _+)`$. The result then follows from the uniqueness statement of Proposition 6.1, part (3).

$``$$``$

Remark 6.2. Because of the linearity of the equations (6.3) (6.19), the solutions $`V`$ and $`\chi `$ constructed in Propositions 6.1 and 6.2 have obvious continuity properties with respect to $`w_+`$ and $`\psi _+`$ respectively. The continuity with respect to $`\varphi `$ is more delicate and will not be considered here.

We shall use the results of Propositions 6.1 and 6.2 in the special case where $`\varphi =\varphi _{p1}`$ and $`W=W_p`$ as defined by (5.22). In that case, $`V`$ satisfies an asymptotic estimate which is much more accurate than (6.9) and which shows that $`V`$ is a good approximation to $`W_p`$. In order to state that result, we need the results of Proposition 5.2. We need in particular the special function $`\overline{h}_0`$ defined by (5.7) and the associated functions $`\overline{N}_m`$ and $`\overline{Q}_m`$ associated with it according to (3.68) (3.69). The result can be stated as follows.

Proposition 6.3. Let $`p1`$ be an integer. Let $`(k_+,\overline{k},k)`$ satisfy

$$k_+>n/2,\stackrel{~}{\mathrm{}}>n/2\nu ,\stackrel{~}{k}k+1\nu /2,\stackrel{~}{k}\overline{k}k+1\nu ,k\nu /2$$
$`(6.31)`$
where $`\stackrel{~}{\mathrm{}}(\mathrm{}_{p1})=k_+\lambda (p1)\overline{\lambda }`$ and $`\stackrel{~}{k}(k_p)=k_+p\overline{\lambda }`$. Let $`w_+K_\rho _{_{\mathrm{}}}^{k_+}`$ and let $`a_+=|w_+|_{k_+}`$. Let $`\overline{h}_1`$ and $`h_2`$ be $`𝒞^1`$ positive nonincreasing functions defined in $`[1,\mathrm{})`$ and tending to zero at infinity, with $`\overline{h}_1t^2\rho ^1\overline{h}_0`$ and $`h_2t^2\rho ^1\overline{N}_p`$. Let $`\varphi =\varphi _{p1}`$ and $`W=W_p`$ be defined by (5.22), and let

$$b=\underset{t}{Sup}\overline{h}_0(t)^1|\varphi |_\stackrel{~}{\mathrm{}}\underset{t}{Sup}\overline{h}_0(t)^1|\varphi _{p1}(t)|_{\mathrm{}_{p1}}.$$
$`(6.32)`$
Let $`T,1<T<\mathrm{}`$ satisfy

$$b\overline{h}_1(T)c$$
$`(6.33)`$
for a suitable constant $`c`$ (see (6.7)) and let $`V`$ be the solution of the equation (6.3) constructed in Proposition 6.1, and such that $`(V,0)𝒳_\rho ^{\overline{k},0}([T,\mathrm{}))`$. Then $`V`$ satisfies the following estimate

$$Y(VW_p;[T,\mathrm{}),h_2,k)A(a_+).$$
$`(6.34)`$
Proof. One checks easily that the assumptions of Proposition 6.3 imply the relevant assumptions of Propositions 5.2 and 6.1. In particular (6.31) implies (6.4) and the exponents $`\stackrel{~}{k}`$ and $`\stackrel{~}{\mathrm{}}`$ are those given by Proposition 5.2. Let now $`V_{t_0}`$ be defined in Proposition 6.1, part (2), let $`r=V_{t_0}W_p`$ so that in particular $`r(t_0)=0`$, and $`r`$ satisfies the equation

$$_tr=\left(2t^2\right)^1\left\{\left(2\varphi _{p1}+(\mathrm{\Delta }\varphi _{p1})\right)r+\underset{\genfrac{}{}{0pt}{}{ip1,jp}{i+jp}}{}\left(2\phi _i+(\mathrm{\Delta }\phi _i)\right)w_j\right\}$$
$`(6.35)`$
obtained by taking the difference between (6.3) and the appropriate sum of (2.18). Let $`\stackrel{~}{r}=h_2^1r`$. We now estimate $`_t|\stackrel{~}{r}|_k^2`$. The contribution of the terms containing $`r`$ in the RHS are estimated exactly as in the proof of Proposition 6.1. The remaining terms are estimated by (3.23) (3.24) with $`m=k\nu /2`$, $`k\stackrel{~}{k}`$ and $`\mathrm{}\stackrel{~}{\mathrm{}}`$ under the conditions $`\stackrel{~}{\mathrm{}}>n/2\nu `$, $`0k\nu /2\stackrel{~}{k}1`$, which follow from (6.31). We obtain

$$_t|\stackrel{~}{r}|_k^22\rho ^{}|\stackrel{~}{r}|_{k+\nu /2}^2Ct^2|\stackrel{~}{r}|_{k+\nu /2}^2|\varphi |_\stackrel{~}{\mathrm{}}Ct^2h_2^1|\stackrel{~}{r}|_{k+\nu /2}|\phi _i|_\stackrel{~}{\mathrm{}}|w_j|_{\stackrel{~}{k}}$$

$$2\rho ^{}|\stackrel{~}{r}|_{k+\nu /2}^2Cbt^2\overline{h}_0(t)|\stackrel{~}{r}|_{k+\nu /2}^2A(a_+)t^2h_2^1\overline{N}_p|\stackrel{~}{r}|_{k+\nu /2}$$
$`(6.36)`$
by (6.32) (5.9) (5.10) (3.70) and (3.79). Defining $`y_{(1)}=y_{(1)}(r,[T,t_0],h_2,k)`$ and integrating (6.36) over time with the initial condition $`r(t_0)=0`$, we obtain in the same way as before

$$y^2y_1^2Cb\overline{h}_1(t)y_1^2+A(a_+)y_1$$

by using the properties of $`\overline{h}_1`$ and $`h_2`$, and therefore, under the condition (6.33)

$$Y(r;[T,t_0],h_2,k)A(a_+).$$
$`(6.37)`$
We now take $`T<t_0<t_1`$, and take the limit $`t_1\mathrm{}`$, $`t_0\mathrm{}`$ in that order in the estimate

$$Y(V_{t_1}W;[T,t_0],h_2,k)A(a_+)$$

which follows from (6.37). The estimate (6.34) then follows from the convergence (6.10).

$``$$``$

Remark 6.2. In order to appreciate the improvement of the asymptotic accuracy of Proposition 6.3, especially (6.34) over Proposition 6.1, especially (6.9), it is useful to consider again the special case $`\rho ^{}=t^{1\epsilon }`$. Proposition 6.1 with $`\varphi =\varphi _{p1}`$ is now applied with $`h_0=\overline{h}_0t^{1\gamma }`$ and therefore $`h_1=\overline{h}_1t^{\gamma +\epsilon }`$, so that the pointwise part of (6.9) states that

$$|V(t)w_+|_k<Cabt^{\gamma +\epsilon }.$$

On the other hand $`\overline{N}_pt^{1(p+1)\gamma }`$ for $`(p+1)\gamma <1`$ thereby allowing for $`h_2t^2\rho ^1\overline{N}_pt^{(p+1)\gamma +\epsilon }`$ in Proposition 6.3, so that the pointwise part of (6.34) states that

$$|V(t)W_p(t)|_k<A(a_+)t^{(p+1)\gamma +\epsilon }.$$

That improvement will play an essential role in the estimates of Proposition 6.4 below.

We now turn to the construction of solutions $`(w,\phi )`$ of the system (2.11)-(2.12) with given asymptotic states $`(w_+,\psi _+)`$. For that purpose, we first take a large positive $`t_0`$ and we construct a solution $`(w_{t_0},\phi _{t_0})`$ of (2.11)-(2.12) with initial data $`(V(t_0),\varphi _p(t_0)+\chi (t_0))`$ at $`t_0`$. The solution $`(w,\phi )`$ will be obtained therefrom by taking the limit $`t_0\mathrm{}`$, as explained in Section 2.

Proposition 6.4. Let $`(k,\mathrm{})`$ satisfy (3.48) and $`k1\nu /2`$, let $`p`$ be an integer such that $`(p+2)\gamma >1`$ and let $`k_+`$ and $`\mathrm{}_+`$ satisfy

$$k_+>n/2,k_+(k+2\nu )(\mathrm{}+\lambda +1)+p\overline{\lambda },\mathrm{}_+\mathrm{}+1,$$
$`(6.38)`$
where $`\lambda =\mu n+2`$ and $`\overline{\lambda }=\lambda 1`$. Let $`\overline{h}_0`$ be defined by (5.7) and let $`\overline{N}_m`$, $`\overline{Q}_m`$ be the associated estimating functions defined by (3.68) (3.69). Let $`\overline{h}_1`$, $`h_1`$, $`h_2`$ and $`h_3`$ be positive nonincreasing $`𝒞^1`$ functions defined in $`[1,\mathrm{})`$, tending to zero at infinity, and satisfying

$$\overline{h}_1t^2\rho ^1\overline{h}_0,h_2t^2\rho ^1\overline{N}_p,h_2\overline{Q}_p\mathrm{𝑖𝑓}p1,$$
$`(6.39)`$
$$h_3t^\gamma \rho ^1h_2,h_1t^2\rho ^1h_3h_2^1,h_3C\overline{h}_1.$$
$`(6.40)`$
Let $`w_+K_\rho _{_{\mathrm{}}}^{k_+}`$ and let $`(W_m,\varphi _m)`$, $`0mp`$, be defined by (5.22) so that $`(W_m,\overline{h}_0^1\varphi _m)𝒴_\rho _{_{\mathrm{}}}^{k_m,\mathrm{}_m}([1,\mathrm{}))`$ by Proposition 5.2. Let $`V`$ be defined by Proposition 6.1 with $`(W,\varphi )=(W_p,\varphi _{p1})`$ and $`(\stackrel{~}{k},\stackrel{~}{\mathrm{}})=(k_p,\mathrm{}_{p1})`$. Let $`\psi _+Y_\rho _{_{\mathrm{}}}^\mathrm{}_+`$ and let $`\chi `$ be defined by Proposition 6.2 with the same $`(W,\varphi )`$. Let

$$a_+=|w_+|_{\rho _{_{\mathrm{}}},k_+},b_+=|\psi _+|_{\rho _{_{\mathrm{}}},\mathrm{}_+}.$$

Then there exists $`T`$, $`1T<\mathrm{}`$, depending only on $`(\gamma ,p,a_+,b_+)`$ such that for all $`t_0T`$, the system (2.11)-(2.12) with initial data $`w(t_0)=V(t_0)`$, $`\phi (t_0)=\varphi _p(t_0)+\chi (t_0)`$ has a unique solution $`(w_{t_0},\phi _{t_0})𝒳_\rho ^{k,\mathrm{}}([T,t_0])`$. One can define $`T`$ by a condition of the type

$$A(a_+,b_+)\left(h_1(T)\overline{h}_1(T)h_2(T)\right)=1$$
$`(6.41)`$
and the solution satifies the estimates

$$Y(w_{t_0}V;[T,t_0],h_2,k)Y(w_{t_0}W_p;[T,t_0],h_2,k)A(a_+,b_+)$$
$`(6.42)`$
$$Z(\phi _{t_0}\varphi _p\chi ;[T,t_0],h_3,\mathrm{})Z(\phi _{t_0}\varphi _p\psi _+;[T,t_0],h_3,\mathrm{})A(a_+,b_+)$$
$`(6.43)`$
$$Y(w_{t_0};[T,t_0],1,k)A(a_+,b_+),$$
$`(6.44)`$
$$Z(\phi _{t_0};[T,t_0],\overline{h}_0,\mathrm{})A(a_+,b_+).$$
$`(6.45)`$
Remark 6.3. As mentioned previously, in the same way as in Propositions 6.1 and 6.2, we could easily (but we shall not) extend the solution $`(w_{t_0},\phi _{t_0})`$ to the interval $`[T,\mathrm{})`$.

Remark 6.4. In order to understand the time decay estimates implied by (6.42) (6.43), it is useful to consider again the special case $`\rho ^{}=t^{1\epsilon }`$. Saturating as far as possible the inequalities in (6.39) (6.40), we obtain

$$\overline{h}_1t^{\gamma +\epsilon },h_2t^{(p+1)\gamma +\epsilon },h_3t^{1(p+2)\gamma +2\epsilon },h_1=t^{\gamma +2\epsilon }$$

for $`(p+1)\gamma <1`$, and the assumptions are satisfied for $`\epsilon `$ sufficiently small, namely $`2\epsilon <(p+2)\gamma 1`$. In particular the condition that $`h_3`$ be decreasing in $`t`$ essentially imposes the condition $`(p+2)\gamma >1`$.

Note also that in the condition (6.41) $`h_2`$ yields only a marginal restriction as soon as $`p1`$, while for $`p=0`$ it is natural to take $`h_2=\overline{h}_1`$ (see (6.39) with $`\overline{N}_0=\overline{h}_0)`$. Finally, the condition $`h_3C\overline{h}_1`$ will in general be automatically satisfied for any reasonable choice of the estimating functions $`\overline{h}_1`$ and $`h_3`$.

Proof. The proof follows the same pattern as that of Proposition 4.1, involving a parabolic regularization, possibly a regularization of the initial data, the local resolution of the regularized system by a fixed point method, the derivation of a priori estimates uniform in the regularization, and a limiting procedure. The only difference lies in the a priori estimates of the solutions in $`𝒳_\rho ^{k,\mathrm{}}([T,t_0])`$. Those estimates are much more elaborate than previously and will ensure in particular that $`T`$ can be taken independent of $`t_0`$, contrary to what happened in Lemma 4.1 (see especially (4.13)). We concentrate on the proof of those estimates, omitting the parabolic regularization terms for brevity. Their contribution will be briefly discussed at the end of that proof.

Let $`(w_{t_0},\phi _{t_0})𝒳_\rho ^{k,\mathrm{}}([T,t_0])`$ be a solution of the system (2.11)-(2.12) with initial condition $`(w_{t_0}(t_0),\phi _{t_0}(t_0))=(V(t_0),\varphi _p(t_0)+\chi (t_0))`$ where $`V`$ and $`\chi `$ are defined by Propositions 6.1 and 6.2. Instead of estimating $`(w_{t_0},\phi _{t_0})`$ directly, we estimate the differences $`q=w_{t_0}V`$ and $`\psi =\phi _{t_0}\varphi _p\chi `$. For convenience we also introduce the gradients $`\sigma =\psi `$, $`s_{t_0}=\phi _{t_0}`$, $`\tau =\chi `$, as well as $`s_m=\phi _m`$, $`S_m=\varphi _m`$ for $`0mp`$. Comparing the equations (2.11)-(2.12) and (6.3) (6.19) with $`\varphi =\varphi _{p1}`$, we obtain

$$_tq=\left(2t^2\right)^1\left\{i\mathrm{\Delta }w_{t_0}+2s_{t_0}q+2(\sigma +s_p+\tau )V+(\sigma )w_{t_0}+((S_p+\tau ))q+((s_p+\tau ))V\right\}$$
$`(6.46)`$
$$_t\psi =\left(2t^2\right)^1\left\{|\sigma |^2+2\sigma (S_p+\tau )+|\tau |^2+2\tau s_p+\underset{\genfrac{}{}{0pt}{}{i,jp}{i+jp}}{}s_is_j\right\}$$

$$+t^\gamma \left\{g_0(q,q)+2g_0(q,V)+q_0(VW_p,V+W_p)+\underset{\genfrac{}{}{0pt}{}{i,jp}{i+j>p}}{}g_0(w_i,w_j)\right\}.$$
$`(6.47)`$
It is convenient to write also the equation for $`\sigma =\psi `$, namely

$$_t\sigma =t^2\left\{s_{t_0}\sigma +\sigma (S_p+\tau )+(\tau +s_p)\tau +\tau s_p+\underset{\genfrac{}{}{0pt}{}{i,jp}{i+jp}}{}s_is_j\right\}$$

$$+t^\gamma \left\{g_0(q,q)+2g_0(q,V)+q_0(VW_p,V+W_p)+\underset{\genfrac{}{}{0pt}{}{i,jp}{i+j>p}}{}g_0(w_i,w_j)\right\}.$$
$`(6.48)`$
We define $`\stackrel{~}{q}=h_2^1q`$ and $`\stackrel{~}{\psi }=h_3^1\psi `$ and we estimate $`_t|\stackrel{~}{q}|_k^2`$ and $`_t|\stackrel{~}{\psi }|_{\mathrm{}}^2`$ by exactly the same method as in Lemmas 3.5, 3.6, 3.7, based on Lemma 3.4, using in particular (3.22) (3.23) (3.24) for $`\stackrel{~}{q}`$ and (3.25) (3.26) (3.28) for $`\stackrel{~}{\psi }`$, and omitting the terms with $`h_2^{}`$ and $`h_3^{}`$. We obtain for $`tt_0`$

$$_t|\stackrel{~}{q}|_k^22\rho ^{}|\stackrel{~}{q}|_{k+\nu /2}^2Ct^2|\stackrel{~}{q}|_{k+\nu /2}\{h_2^1|V|_{k+2\nu /2}$$

$$+|\stackrel{~}{q}|_{k+\nu /2}|\psi +\varphi _p+\chi |_{\mathrm{}}+h_2^1|V|_{k+1\nu /2}|\psi +\phi _p+\chi |_{\mathrm{}}$$

$$+(|\stackrel{~}{q}|_k+h_2^1|V|_k)|\psi |_{\mathrm{}+\nu /2}+|\stackrel{~}{q}|_k|\varphi _p+\chi |_{\mathrm{}+\nu /2}+h_2^1|V|_k|\phi _p+\chi |_{\mathrm{}+\nu /2}\}$$
$`(6.49)`$
$$_t|\stackrel{~}{\psi }|_{\mathrm{}}^22\rho ^{}|\stackrel{~}{\psi }|_{\mathrm{}+\nu /2}^2Ct^2|\stackrel{~}{\psi }|_{\mathrm{}+\nu /2}\{|\stackrel{~}{\psi }|_{\mathrm{}+\nu /2}|\psi +\varphi _p+\chi |_{\mathrm{}}$$

$$+|\stackrel{~}{\psi }|_{\mathrm{}}|\varphi _p+\chi |_{\mathrm{}+1\nu /2}+h_3^1|\phi _p+\chi |_{\mathrm{}}|\chi |_{\mathrm{}+1\nu /2}+h_3^1|\chi |_{\mathrm{}}|\phi _p|_{\mathrm{}+1\nu /2}$$

$$+h_3^1\underset{\genfrac{}{}{0pt}{}{i,jp}{i+jp}}{}|\phi _i|_{\mathrm{}}|\phi _j|_{\mathrm{}+1\nu /2}\}Ct^\gamma h_3^1|\stackrel{~}{\psi }|_{\mathrm{}+\nu /2}\{h_2|\stackrel{~}{q}|_{k+\nu /2}$$

$$\left(|q|_k+|V|_k\right)+h_2|\stackrel{~}{q}|_k|V|_{k+\nu /2}+|VW_p|_k|V+W_p|_{k+\nu /2}$$

$$+|VW_p|_{k+\nu /2}|V+W_p|_k+\underset{\genfrac{}{}{0pt}{}{i,jp}{i+j>p}}{}|w_i|_k|w_j|_{k+\nu /2}\}.$$
$`(6.50)`$
In order to continue the estimates, we need some information on $`V`$, $`\chi `$ and on the $`(\phi _m,w_m)`$. Applying Proposition 6.1 with $`\varphi =\varphi _{p1}`$ and Proposition 6.3, both with $`\overline{k}=k+2\nu `$, we rewrite (6.8) and (6.34) as

$$Y(V;[T,\mathrm{}),1,k+2\nu )a$$
$`(6.51)`$
$$Y(VW_p;[T,\mathrm{}),h_2,k)a$$
$`(6.52)`$
for some $`a`$ depending on $`a_+`$, under the conditions

$$k_+>n/2,\mathrm{}_{p1}>n/2\nu ,k_pk+2\nu $$
$`(6.53)`$
where (cf (5.8))

$$k_m=k_+m\overline{\lambda },\mathrm{}_m=k_+\lambda m\overline{\lambda }.$$

Similarly, applying Proposition 6.2 with $`\varphi =\varphi _{p1}`$, $`\overline{\mathrm{}}=\mathrm{}+1`$, $`h_0=\overline{h}_0`$ and therefore $`h_1=\overline{h}_1`$, we rewrite (6.22) (6.23) as

$$Z(\chi ;[T,\mathrm{}),1,\mathrm{}+1)b$$
$`(6.54)`$
$$Z(\chi \psi _+;[T,\mathrm{}),\overline{h}_1,\mathrm{})b$$
$`(6.55)`$
for some $`b`$ depending on $`a_+`$ and $`b_+`$, under the conditions

$$\mathrm{}_{p1}>n/2\nu ,\mathrm{}_{p1}\mathrm{}+2\nu /2,\mathrm{}_+\mathrm{}+1.$$
$`(6.56)`$
Finally, from Proposition 5.2, we obtain

$$|w_j(t)|_{k+\nu /2}a\overline{Q}_{j1}(t)\mathrm{for}1jp,$$
$`(6.57)`$
$$|W_p(t)|_{k+\nu /2}a,$$
$`(6.58)`$
for some $`a`$ depending on $`a_+`$, under the conditions

$$k_+>n/2,k_pk+\nu /2,$$
$`(6.59)`$
and

$$|\phi _j(t)|_{\mathrm{}+1\nu /2}b\overline{N}_j(t)\mathrm{for}0jp,$$
$`(6.60)`$
$$|\varphi _p(t)|_{\mathrm{}+1\nu /2}b\overline{h}_0(t)$$
$`(6.61)`$
for some $`b`$ depending on $`a_+`$, under the conditions

$$k_+>n/2,\mathrm{}_p\mathrm{}+1\nu /2.$$
$`(6.62)`$
In the estimates (6.51) (6.52) (6.54) (6.55) (6.57) (6.58) (6.60) (6.61), we use two common letters $`a`$ and $`b`$ to refer to estimates of amplitudes and phases respectively. The constant $`a`$ depends only on $`a_+`$, while $`b`$ depends on $`a_+`$ and on $`b_+`$. The conditions (6.53) (6.56) (6.59) (6.62) are implied by (6.38), which is the statement of

$$k_+>n/2,k_pk+2\nu ,\mathrm{}_p\mathrm{}+1,\mathrm{}_+\mathrm{}+1.$$

With the estimates (6.51)-(6.61) available, we continue to estimate $`(q,\psi )`$ by integrating (6.49) (6.50) over time in the interval $`[t,t_0]`$. We define $`y_{(1)}=y_{(1)}(q;[t,t_0],h_2,k)`$ and $`z_{(1)}=z_{(1)}(\psi ;[t,t_0],h_3,\mathrm{})`$. We proceed exactly as in the proofs of Lemmas 4.1, 4.2 and 4.3, using the Schwarz inequality for the time integrals whenever necessary. We use furthermore the fact that (6.49) (resp. (6.50)) contains $`|\stackrel{~}{q}|_{k+\nu /2}`$ (resp. $`|\stackrel{~}{\psi }|_{\mathrm{}+\nu /2})`$ as a factor in its RHS, thereby yielding a factor $`y_1`$ (resp. $`z_1`$) after integration, and the elementary fact that

$$y^2y_1^2Ay_1yy_1A$$

and its analogue for $`(z,z_1)`$. We then obtain the following estimates, where Sup means that the Supremum of the function of time that follows is taken in the interval $`[t,t_0]`$, and where an overall constant $`C`$ is omitted for brevity.

$$yy_1a\mathrm{Sup}\left(t^2\rho ^1h_2^1\right)+ab\mathrm{Sup}\left(t^2\rho ^1\overline{N}_ph_2^1\right)$$

$$+b(y+y_1)\mathrm{Sup}\left(t^2\rho ^1\overline{h}_0\right)+a(z+z_1)\mathrm{Sup}\left(t^2\rho ^1h_2^1h_3\right)$$

$$+(yz_1+y_1z)\mathrm{Sup}\left(t^2\rho ^1h_3\right),$$
$`(6.63)`$
$$zz_1b^2\mathrm{Sup}\left(t^2\rho ^1\overline{h}_0h_3^1\overline{N}_p\right)+b(z+z_1)\mathrm{Sup}\left(t^2\rho ^1\overline{h}_0\right)$$

$$+zz_1\mathrm{Sup}\left(t^2\rho ^1h_3\right)+a(y+y_1)\mathrm{Sup}\left(t^\gamma \rho ^1h_3^1h_2\right)$$

$$+yy_1\mathrm{Sup}\left(t^\gamma \rho ^1h_3^1h_2^2\right)+pa^2\mathrm{Sup}\left(t^\gamma \rho ^1h_3^1(h_2+\overline{Q}_p)\right)$$
$`(6.64)`$
where the factor $`p`$ in the last term simply means that that term is absent for $`p=0`$. The various Sup in time are estimated in an obvious way with the help of the conditions (6.39) (6.40) which are taylored for that purpose. The only non-obvious term is the coefficient of $`b^2`$ in (6.64), which is estimated by (6.39) (6.40) as

$$\left(t^2\rho ^1\overline{N}_ph_2^1\right)\left(t^\gamma \rho ^1h_2h_3^1\right)\left(t^\gamma \rho ^{}\overline{h}_0\right)\rho ^{}_1$$

since

$$\overline{h}_0=_1^t𝑑t_1t_1^\gamma \rho ^{}(t_1)^1\rho ^{}(t_1)t^\gamma \rho ^{}(t)^1_1^t𝑑t_1\rho ^{}(t_1)\rho ^{}_1t^\gamma \rho ^1$$
$`(6.65)`$
by the monotony of $`t^\gamma \rho ^1`$. Absorbing the factor $`\rho ^{}_1`$ in the (again omitted) overall constant and defining as previously $`Y=yy_1`$ and $`Z=zz_1`$, we end up with

$$Ya+ab+bY\overline{h}_1+aZh_1+YZh_1h_2$$
$`(6.66)`$
$$Zb^2+pa^2+bZ\overline{h}_1+Z^2h_1h_2+aY+Y^2h_2$$
$`(6.67)`$
where the functions $`h_1`$, $`\overline{h}_1`$ and $`h_2`$ are taken at time $`t`$ where they take their Supremum in $`[t,t_0]`$, since they are assumed to be decreasing.

In order to conclude the estimates, we impose the conditions

$$4b\overline{h}_1(T)1,4(1+b)h_2(T)1,Zh_1(t)(1+b)$$
$`(6.68)`$
which together imply $`4Zh_1(t)h_2(t)1`$ for all $`tT`$. We then obtain

$$Y2a(1+b)+2aZh_14a(1+b)$$
$`(6.69)`$
$$Z2(b^2+pa^2)+2aY+2Y(Yh_2)2(b^2+pa^2)+4aY2(b^2+pa^2)+16a^2(1+b).$$
$`(6.70)`$
The condition $`Zh_11+b`$ then reduces to

$$\left(2(b^2+pa^2)(1+b)^1+16a^2\right)h_11$$

which is implied by

$$\left(2b+(16+2p)a^2\right)h_1(T)1.$$
$`(6.71)`$
The condition (6.71) together with the first two conditions of (6.68) then take the form (6.41), while the estimates (6.69) (6.70) yield the estimate of the first terms in the LHS of (6.42) (6.43). The estimates of the second terms follow from those of the first ones and from (6.52) and (6.55), together with the condition $`h_3C\overline{h}_1`$ from (6.40).

Finally the estimates (6.44) (6.45) follow immediately from (6.42) (6.43), from (6.51) or (6.58) and from (6.61) (6.54).

We now discuss briefly the contribution of the parabolic regularization terms in the previous proof. We regularize the system (2.11)-(2.12) in the same way as in the proof of Proposition 4.1 (see (4.51), where however the sign of the regularizing terms should be changed since we are now solving the equations for decreasing $`t`$ starting from $`t_0`$). Instead of (6.49) (6.50), we then obtain

$$_t|\stackrel{~}{q}|_k^22\theta (|\stackrel{~}{q}|_k^2+h_2^1\mathrm{Re}<\stackrel{~}{q},V>_k)+\text{previous terms},$$

$$_t|\stackrel{~}{\psi }|_{\mathrm{}}^22\theta (|\stackrel{~}{\psi }|_{\mathrm{}}^2+h_3^1<\stackrel{~}{\psi },(\varphi _p+\chi )>_{\mathrm{}})+\text{previous terms}$$

where $`<,>_k`$ and $`<,>_{\mathrm{}}`$ denote the scalar products in $`K_\rho ^k`$ and $`Y_\rho ^{\mathrm{}}`$. The scalar products are controlled since we have assumed that $`(V,\varphi _p+\chi )𝒳_{\rho ,loc}^{k+1,\mathrm{}+1}`$ by imposing $`\overline{k}=k+2\nu `$, $`\overline{\mathrm{}}=\mathrm{}+1`$ and $`\mathrm{}_p\mathrm{}+1`$. They produce additional terms in the final estimates which are uniformly bounded in $`\theta `$ in a neighborhood of zero.

With the a priori estimates (6.44) (6.45) replacing Lemma 4.1, the proof of Proposition 6.4 proceeds in the same way as that of Proposition 4.1, as mentioned above. In particular, the required regularity estimates and difference estimates are provided by Parts 3 of Lemmas 4.2 and 4.3, which are taylored for that purpose. The assumption on $`(w,\phi )`$ made in those parts follow from (6.44) (6.45) and from the relation

$$\overline{h}_0\rho ^{}_1h_0$$

which follows from (6.65), while the regularity assumptions on the initial data required in Lemma 4.2 are ensured by the previous regularity of $`V`$ and $`\varphi _p+\chi `$.

$``$$``$

We can now take the limit $`t_0\mathrm{}`$ of the solution $`(w_{t_0},\phi _{t_0})`$ constructed in Proposition 6.4, for fixed $`(w_+,\psi _+)`$.

Proposition 6.5. Let the assumptions of Proposition 6.4 be satisfied. Then

(1) There exists $`T`$, $`1T<\mathrm{}`$, depending only on $`(\gamma ,p,a_+,b_+)`$ and there exists a unique solution $`(w,\phi )`$ of the system (2.11)-(2.12) in the interval $`[T,\mathrm{})`$ such that $`(w,\overline{h}_0^1\phi )𝒳_\rho ^{k,\mathrm{}}([T,\mathrm{}))`$ and such that the following estimates hold

$$Y(wV;[T,\mathrm{}),h_2,k)Y(wW_p;[T,\mathrm{}),h_2,k)A(a_+,b_+),$$
$`(6.72)`$
$$Z(\phi \varphi _p\chi ;[T,\mathrm{}),h_3,\mathrm{})Z(\phi \varphi _p\psi _+;[T,\mathrm{}),h_3,\mathrm{})A(a_+,b_+),$$
$`(6.73)`$
$$Y(w;[T,\mathrm{}),1,k)A(a_+,b_+),$$
$`(6.74)`$
$$Z(\phi ;[T,\mathrm{}),\overline{h}_0,\mathrm{})A(a_+,b_+).$$
$`(6.75)`$
One can define $`T`$ by a condition of the type (6.41).

(2) Let $`(w_{t_0},\phi _{t_0})𝒳_\rho ^{k,\mathrm{}}([T,t_0])`$ be the solution of the system (2.11)-(2.12) constructed in Proposition 6.4. Then $`(w_{t_0},\phi _{t_0})`$ converges to $`(w,\phi )`$ in norm in $`𝒳_\rho ^{k^{},\mathrm{}^{}}([T,T_1])`$ for $`k^{}<k`$, $`\mathrm{}^{}<\mathrm{}`$ and in the weak-$``$ sense in $`𝒳_\rho ^{k,\mathrm{}}([T,T_1])`$ for any $`T_1`$, $`T<T_1<\mathrm{}`$, and in the weak-$``$ sense in $`K_\rho ^kY_\rho ^{\mathrm{}}`$ pointwise in $`t`$ for all $`tT`$.

(3) The map $`(w_+,\psi _+)(w,\phi )`$ defined in Part (1) is continuous from the norm topology of $`(w_+,\psi _+)`$ in $`K_\rho _{_{\mathrm{}}}^{k_+}Y_\rho _{_{\mathrm{}}}^\mathrm{}_+`$ to the norm topology of $`(w,\phi )`$ in $`𝒳_\rho ^{k^{},\mathrm{}^{}}([T,T_1])`$ for $`k^{}<k`$, $`\mathrm{}^{}<\mathrm{}`$ and to the weak-$``$ topology in $`𝒳_\rho ^{k,\mathrm{}}([T,T_1])`$ for any $`T_1`$, $`T<T_1<\mathrm{}`$, and to the weak-$``$ topology in $`K_\rho ^kY_\rho ^{\mathrm{}}`$ pointwise in $`t`$ for all $`tT`$.

Remark 6.5. For simplicity, we have not stated the strongest continuity properties that would follow by tracking more accurately the exponents in the proof of Part (3). Actually the required topology on $`(w_+,\psi _+)`$ could be weakened to the norm topology of $`K_\rho _{_{\mathrm{}}}^k^{}Y_\rho _{_{\mathrm{}}}^{\mathrm{}^{}}`$ on the bounded sets of $`K_\rho _{_{\mathrm{}}}^{k_+}Y_\rho _{_{\mathrm{}}}^\mathrm{}_+`$ for suitable $`(k^{},\mathrm{}^{})`$ smaller than $`(k_+,\mathrm{}_+)`$.

Proof. Parts (1) and (2) will follow from the convergence of $`(w_{t_0},\phi _{t_0})`$ when $`t_0\mathrm{}`$ in the topologies stated in Part (2). Let $`Tt_0t_1`$, let $`(w_{t_0},\phi _{t_0})`$ and $`(w_{t_1},\phi _{t_1})`$ be the corresponding solutions of the system (2.11)-(2.12) obtained in Proposition 6.4, and let $`(w_{},\phi _{})=(w_{t_0}w_{t_1},\phi _{t_0}\phi _{t_1})`$. From (6.42) (6.43) and their analogues for $`(w_{t_1},\phi _{t_1})`$, it follows that

$$\{\begin{array}{c}Y(w_{};[T,t_0],h_2,k)A(a_+,b_+)\hfill \\ \\ Z(\phi _{};[T,t_0],h_3,\mathrm{})A(a_+,b_+)\hfill \end{array}$$
$`(6.76)`$
so that in particular

$$\{\begin{array}{c}\left|w_{}(t_0)\right|_kA(a_+,b_+)h_2(t_0)\hfill \\ \\ \left|\phi _{}(t_0)\right|_{\mathrm{}}A(a_+,b_+)h_3(t_0).\hfill \end{array}$$
$`(6.77)`$
We now apply Lemma 4.3, part (3) to $`(w_{},\phi _{})`$. For that purpose we take $`h_0=t^\gamma \rho ^1`$, so that by (6.40)

$$h_1t^2\rho ^1h_0,h_2h_0h_3$$
$`(6.78)`$
and in particular $`(h_0,h_1)`$ satisfy the assumptions of Lemma 4.3. The assumptions (4.35) (restricted to the relevant interval $`[T,t_0])`$ and (4.38) follow from (6.44) (6.45) and from (6.65), while the condition (4.26) can be included in (6.41). We now apply (4.41) with $`k^{}=k1+\nu `$ $`\mathrm{}^{}=\mathrm{}1+\nu `$, together with (6.77) (6.78), thereby obtaining

$$Y(w_{};[T,t_0],h_0^1,k1+\nu )A(a_+,b_+)\left\{h_0(t_0)\right|w_{}(t_0)|_{k1+\nu }+h_1(T)|\phi _{}(t_0)|_{\mathrm{}1+\nu }\}$$

$$A(a_+,b_+)h_3(t_0)$$
$`(6.79)`$
$$Z(\phi _{};[T,t_0],1,\mathrm{}1+\nu )A(a_+,b_+)\left\{|\phi _{}(t_0)|_{\mathrm{}1+\nu }+h_0(t_0)|w_{}(t_0)|_{k1+\nu }\right\}$$

$$A(a_+,b_+)h_3(t_0).$$
$`(6.80)`$
From (6.79) (6.80) and from the fact that $`h_3`$ tends to zero at infinity, it follows that there exists $`(w,\phi )𝒳_{\rho ,loc}^{k1+\nu ,\mathrm{}1+\nu }([T,\mathrm{}))`$ such that $`(w_{t_0},\phi _{t_0})`$ converges to $`(w,\phi )`$ in norm in $`𝒳_\rho ^{k1+\nu ,\mathrm{}1+\nu }([T,T_1])`$ for all $`T_1`$, $`T<T_1<\mathrm{}`$. From that convergence, from (6.42)-(6.45) and from standard compactness, continuity and interpolation arguments, it follows that $`(w,\overline{h}_0^1\phi )𝒳_\rho ^{k,\mathrm{}}([T,\mathrm{}))`$, that $`(w,\phi )`$ satisfies the estimates (6.72)-(6.75) and that $`(w_{t_0},\phi _{t_0})`$ converges to $`(w,\phi )`$ in the other topologies stated in Part (2). Furthermore $`(w,\phi )`$ satisfies the system (2.11)-(2.12), and uniqueness of $`(w,\phi )`$ under the conditions (6.72) (6.73) follows from Proposition 4.3 and from the fact that $`h_3(t)`$ tends to zero at infinity.

Part (3). Let $`(w_+,\psi _+)`$ and $`(w_+^{},\psi _+^{})`$ belong to a fixed bounded set of $`K_\rho _{_{\mathrm{}}}^{k_+}Y_\rho _{_{\mathrm{}}}^\mathrm{}_+`$, so that (5.17) (5.18) and (6.72)-(6.75) hold with fixed $`A`$. Let $`(W_p,\varphi _p)`$ and $`(W_p^{},\varphi _p^{})`$ be the associated functions defined by (5.22) and let $`(w,\phi )`$ and $`(w^{},\phi ^{})`$ be the associated solutions of the system (2.11)-(2.12) defined in Part (1). We assume that $`(w_+^{},\psi _+^{})`$ is close to $`(w_+,\psi _+)`$ in the sense that

$$|w_+w_+^{}|_{k_+}\epsilon ,|\psi _+\psi _+^{}|_{\mathrm{}}\epsilon _0.$$
$`(6.81)`$
Let $`w_{}=ww^{}`$, $`\phi _{}=\phi \phi ^{}`$ and let $`t_0>T`$ be defined by $`h_2(t_0)=\epsilon `$, which can be done for any (sufficiently small) $`\epsilon >0`$ and which implies that $`t_0\mathrm{}`$ when $`\epsilon 0`$. It follows from (6.72) and (5.17) that

$$|w_{}(t_0)|_kAh_2(t_0)+|W_p(t_0)W_p^{}(t_0)|_kA\left(h_2(t_0)+\epsilon \right)Ah_2(t_0)$$
$`(6.82)`$
and from (6.73) and (5.18) that

$$\begin{array}{cc}|\phi _{}(t_0)|_{\mathrm{}}\hfill & Ah_3(t_0)+|\varphi _p(t_0)\varphi _p^{}(t_0)|_{\mathrm{}}+|\psi _+\psi _+^{}|_{\mathrm{}}\hfill \\ & \\ & A\left(h_3(t_0)+\overline{h}_0(t_0)\epsilon \right)+|\psi _+\psi _+^{}|_{\mathrm{}}Ah_3(t_0)+\epsilon _0.\hfill \end{array}$$
$`(6.83)`$
We now apply Lemma 4.3, part (3) with $`k^{}=k1+\nu `$, $`\mathrm{}^{}=\mathrm{}1+\nu `$, thereby obtaining

$$\begin{array}{cc}Y(w_{};[T,t_0],h_0^1,k1+\nu )\hfill & A\left(h_0(t_0)h_2(t_0)+h_1(T)(h_3(t_0)+\epsilon _0)\right)\hfill \\ & \\ & A\left(h_3(t_0)+\epsilon _0\right)\hfill \end{array}$$
$`(6.84)`$
$$\begin{array}{cc}Z(\phi _{};[T,t_0],1,\mathrm{}1+\nu )\hfill & A\left\{h_3(t_0)+\epsilon _0+h_0(t_0)h_2(t_0)\right\}\hfill \\ & \\ & A\left(h_3(t_0)+\epsilon _0\right).\hfill \end{array}$$
$`(6.85)`$
When $`\epsilon `$ tends to zero, $`h_3(t_0)`$ tends to zero, and therefore (6.84) (6.85) imply norm continuity in $`𝒳_\rho ^{k1+\nu ,\mathrm{}1+\nu }([T,T_1])`$ for all $`T_1`$, $`T<T_1<\mathrm{}`$. The other continuities follow therefrom, from the estimates (6.74) (6.75) and from standard continuity, interpolation and compactness arguments.

$``$$``$

## 7 Asymptotics and wave operators for $`u`$

In this section we complete the construction of the wave operators for the equation (1.1) and we derive asymptotic properties of solutions in their range. The construction relies in an essential way on those of Section 6, especially Proposition 6.5, and will require a discussion of the gauge invariance of those constructions. This section follows closely Section II.7.

We first define the wave operator for the auxiliary system (2.11)-(2.12).

Definition 7.1. We define the wave operator $`\mathrm{\Omega }_0`$ as the map

$$\mathrm{\Omega }_0:(w_+,\psi _+)(w,\phi )$$
$`(7.1)`$
from $`K_\rho _{_{\mathrm{}}}^{k_+}Y_\rho _{_{\mathrm{}}}^\mathrm{}_+`$ to the space of $`(w,\phi )`$ such that $`(w,\overline{h}_0^1\phi )𝒳_\rho ^{k,\mathrm{}}([T,\mathrm{}))`$ for some $`T`$, $`1T<\mathrm{}`$, where $`\rho `$, $`k_+`$, $`\mathrm{}_+`$, $`k`$, $`\mathrm{}`$ satisfy the assumptions of Proposition 6.5 and $`(w,\phi )`$ is the solution of the system (2.11)-(2.12) obtained in Part (1) of that proposition.

In order to study the gauge invariance of $`\mathrm{\Omega }_0`$, we need some information on the Cauchy problem at finite times for the equation (1.1). We define the operator $`JJ(t)=x+it`$, which satisfies the commutation relation

$$iMD=JMD,$$
$`(7.2)`$
where $`M`$ and $`D`$ are defined by (2.4) (2.5). For any interval $`I[1,\mathrm{})`$, any nonnegative integer $`k`$ and any nonnegative $`𝒞^1`$ function $`\rho `$ defined in $`I`$, we define the space

$$\begin{array}{cc}X_\rho ^k(I)\hfill & =\{u:D^{}M^{}u𝒞(I,K_\rho ^k)\}\hfill \\ & \\ & =\{u:<J(t)>^kf(J(t))u𝒞(I,L^2)\}.\hfill \end{array}$$
$`(7.3)`$
where $`<\lambda >=(1+\lambda ^2)^{1/2}`$ for any real number or self-adjoint operator $`\lambda `$ and where the second equality follows from (7.2) and from Remark 3.1. (The space $`X_0^k(I)`$ was denoted $`𝒳^k(I)`$ in II). We recall the following result (see Proposition I.7.1).

Proposition 7.1. Let $`k`$ be a positive integer and let $`0<\mu <2k`$. Then the Cauchy problem for the equation (1.1) with initial data $`u(t_0)=u_0`$ such that $`<J(t_0)>^k`$ $`u_0L^2`$ at some initial time $`t_01`$ is locally well posed in $`𝒳_0^k()`$, namely

(1) There exists $`T>0`$ such that (1.1) has a unique solution with initial data $`u(t_0)=u_0`$ in $`𝒳_0^k([1(t_0T),t_0+T])`$.

(2) For any interval $`I`$, $`t_0I[1,\mathrm{})`$, (1.1) with initial data $`u(t_0)=u_0`$ has at most one solution in $`𝒳_0^k(I)`$.

(3) The solution of Part (1) depends continuously on $`u_0`$ in the norms considered there.

We come back from the system (2.11)-(2.12) to the equation (1.1) by reconstructing $`u`$ from $`(w,\phi )`$ by (2.7) and accordingly we define the map

$$\mathrm{\Lambda }:(w,\phi )u=MD\mathrm{exp}(i\phi )w.$$
$`(7.4)`$
It follows immediately from Lemma 3.3 that the map $`\mathrm{\Lambda }`$ satisfies the following property.

Lemma 7.1. Let $`\mathrm{}+2>n/2`$ and $`0k\mathrm{}+2`$. Then for any interval $`I[1,\mathrm{})`$ and any nonnegative $`𝒞^1`$ function $`\rho `$ defined in $`I`$, the map $`\mathrm{\Lambda }`$ is bounded and continuous from $`𝒴_{\rho ,loc}^{k,\mathrm{}}(I)`$ (defined by (5.1) (6.2)) to $`X_\rho ^k(I)`$, with norm estimates in compact intervals independent of $`\rho `$.

We now give the following definition

Definition 7.2. Two solutions $`(w,\phi )`$ and $`(w^{},\phi ^{})`$ of the system (2.11)-(2.12) in $`𝒴_{\rho ,loc}^{k,\mathrm{}}(I)`$ for some $`k`$, $`\mathrm{}`$, $`\rho `$ and some interval $`I[1,\mathrm{})`$ are said to be gauge equivalent if $`\mathrm{\Lambda }(w,\phi )=\mathrm{\Lambda }(w^{},\phi ^{})`$, or equivalently if

$$\mathrm{exp}(i\phi (t))w(t)=\mathrm{exp}(i\phi ^{}(t))w^{}(t)$$
$`(7.5)`$
for all $`tI`$.

The following sufficient condition for gauge equivalence follows immediately from Lemma 7.1 and from the uniqueness statement of Proposition 7.1, part (2).

Lemma 7.2. Let $`\mathrm{}+2>n/2`$ and $`0k\mathrm{}+2`$. Let $`I[1,\mathrm{})`$ be an interval, let $`\rho `$ be a strictly positive $`𝒞^1`$ function defined in $`I`$, and let $`(w,\phi )`$ and $`(w^{},\phi ^{})`$ be two solutions of the system (2.11)-(2.12) in $`𝒴_{\rho ,loc}^{k,\mathrm{}}(I)`$. In order that $`(w,\phi )`$ and $`(w^{},\phi ^{})`$ be gauge equivalent, it is sufficient that (7.5) holds for one $`tI`$.

We now turn to the study of the gauge equivalence of asymptotic states (if any) for solutions of the system (2.11)-(2.12) such as those obtained in Proposition 4.1. For that purpose, we need $`\rho `$ to be decreasing, namely to be defined by (4.1) for some $`t_01`$.

Proposition 7.2. Let $`k0`$ and $`\mathrm{}>n/2\nu `$. Let $`\rho `$ be defined by (4.1) for some $`t_01`$ and let $`h_0`$ and $`h_1`$ be as in Proposition 4.1. Let $`(w,\phi )`$ and $`(w^{},\phi ^{})`$ be two gauge equivalent solutions of the system (2.11)-(2.12) such that $`(w,h_0^1\phi )`$, $`(w^{},h_0^1\phi ^{})𝒳_\rho ^{k,\mathrm{}}([T,\mathrm{}))`$ for some $`T`$, $`t_0T<\mathrm{}`$. Let

$$b=Z(\phi ;[T,\mathrm{}),h_0,\mathrm{})Z(\phi ^{};[T,\mathrm{}),h_0,\mathrm{}).$$
$`(7.6)`$
Then

(1) There exists $`\omega Y_{\rho (\mathrm{})}^{\mathrm{}1+\nu }`$ such that $`\phi ^{}(t)\phi (t)`$ converges to $`\omega `$ strongly in $`Y_{\rho (\mathrm{})}^{\mathrm{}^{}}`$ for $`\mathrm{}^{}<\mathrm{}1+\nu `$ and weakly in $`Y_{\rho (\mathrm{})}^{\mathrm{}1+\nu }`$. The following estimate holds :

$$\left|\phi ^{}(t)\phi (t)\omega \right|_{\mathrm{}2+\nu }Cb\left|\phi ^{}(T_1)\phi (T_1)\right|_{\mathrm{}1+\nu }h_1(t)$$
$`(7.7)`$
for $`tT_1`$, for some $`T_1`$ sufficiently large, namely satisfying

$$bh_1(T_1)c$$
$`(7.8)`$
for some constant $`c`$.

(2) Assume in addition that $`1\nu /2k\mathrm{}+1`$ and let $`w_+`$ and $`w_+^{}`$ be the limits of $`w(t)`$ and $`w^{}(t)`$ as $`t\mathrm{}`$ obtained in Proposition 4.2. Then $`w_+^{}=w_+\mathrm{exp}(i\omega )`$.

(3) Let $`p0`$ be an integer. Assume in addition that $`w_+`$, $`w_+^{}K_{\rho (\mathrm{})}^{k_+}`$ where $`k_+`$ satisfies

$$k_+>n/2,k_+(p+1)\overline{\lambda }1$$
$`(7.9)`$
and let $`\varphi _p`$, $`\varphi _p^{}`$ be associated with $`(w_+,w_+^{})`$ according to (5.22) and Proposition 5.2. Assume that the following limits exist

$$\underset{t\mathrm{}}{lim}(\phi (t)\varphi _p(t))=\psi _+,\underset{t\mathrm{}}{lim}(\phi ^{}(t)\varphi _p^{}(t))=\psi _+^{}$$
$`(7.10)`$
as strong limits in $`L^{\mathrm{}}`$. Then $`\psi _+^{}=\psi _++\omega `$.

Proof. Part (1). Let $`\phi _\pm (t)=\phi ^{}(t)\pm \phi (t)`$. By the same estimates as in the proof of Lemma 3.7, we obtain

$$_t|\phi _{}|_{\mathrm{}^{}}^22\rho ^{}|\phi _{}|_{\mathrm{}^{}+\nu /2}^2Ct^2|\phi _{}|_{\mathrm{}^{}+\nu /2}\left\{|\phi _{}|_{\mathrm{}^{}+\nu /2}|\phi _+|_{\mathrm{}}+|\phi _{}|_{\mathrm{}^{}}|\phi _+|_{\mathrm{}+\nu /2}\right\}$$
$`(7.11)`$
for $`\nu /2\mathrm{}^{}+1\mathrm{}+\nu `$. Defining $`z_{(1)}=z_{(1)}(\phi _{};[T_1,t],1,\mathrm{}^{})`$ with $`TT_1<t`$, integrating over time and using (7.6), we obtain

$$\begin{array}{cc}z^2z_1^2\hfill & z_0^2+C(\underset{[T_1,t]}{Sup}t^2|\rho ^{}|^1h_0)bz_1(z+z_1)\hfill \\ & \\ & z_0^2+Cbh_1(T_1)z_1(z+z_1)\hfill \end{array}$$

where $`z_0=|\phi _{}(T_1)|_{\mathrm{}^{}}`$, which under the condition (7.8) with suitable $`c`$, yields

$$Z(\phi _{};[T_1,\mathrm{}),1,\mathrm{}^{})C|\phi _{}(T_1)|_{\mathrm{}^{}}.$$
$`(7.12)`$
From

$$_t\phi _{}=\left(2t^2\right)^1\left(\phi _{}\phi _+\right)$$

we next estimate directly

$$\begin{array}{cc}|_t\phi _{}|_\mathrm{}^{}1\hfill & Ct^2|\phi _{}|_{\mathrm{}^{}}|\phi _+|_{\mathrm{}}\hfill \\ & \\ & Ct^2h_0b|\phi _{}(T_1)|_{\mathrm{}^{}}\hfill \end{array}$$
$`(7.13)`$
by (7.6) and (7.12). The last member of (7.13) is integrable in time since

$$_t^{\mathrm{}}𝑑t_1t_1^2h_0(t_1)\rho ^{}_1h_1(t),$$
$`(7.14)`$
which for $`\mathrm{}^{}=\mathrm{}1+\nu `$ proves the existence of the limit $`\omega Y_{\rho (\mathrm{})}^{\mathrm{}2+\nu }`$ for $`\phi _{}`$ together with the estimate (7.7). The fact that actually $`\omega Y_{\rho (\mathrm{})}^{\mathrm{}1+\nu }`$ and the other convergences stated in Part (1) follow therefrom and from (7.12) by standard compactness and interpolation arguments.

Parts (2) and (3). The proof is identical with that of the corresponding statements in Proposition II.7.2 and will be omitted.

$``$$``$

Remark 7.1. The assumptions made on $`(k,\mathrm{})`$ in Parts (1) and (2) of Proposition 7.2 are implied by the assumptions (3.48) and $`k1\nu /2`$ of Proposition 4.1, so that Parts (1) and (2) apply directly to the solutions of the system (2.11)-(2.12) constructed in that proposition. In Part (3), the assumption (7.9) is that required in Proposition 5.2 to ensure the existence and appropriate estimates of $`\varphi _p`$, $`\varphi _p^{}`$. That assumption, together with the existence of the limits (7.10), is ensured under the assumptions of Proposition 5.3, namely if $`(k,\mathrm{})`$ satisfy in addition (5.24) for some $`k_0`$ satisfying (5.25) and if $`(p+2)\gamma >1`$ and $`P_p(1)<\mathrm{}`$.

Proposition 7.2 prompts us to make the following definition.

Definition 7.3. Two pairs of asymptotic states $`(w_+,\psi _+)`$ and $`(w_+^{},\psi _+^{})`$ are gauge equivalent if $`w_+\mathrm{exp}(i\psi _+)=w_+^{}\mathrm{exp}(i\psi _+^{})`$.

With this definition, Proposition 7.2 implies that two gauge equivalent solutions of the system (2.11)-(2.12) in $`(\mathrm{\Omega }_0)`$ are images of two gauge equivalent pairs of asymptotic states. One should however not overlook the following fact. The wave operator $`\mathrm{\Omega }_0`$ is defined through Proposition 6.5 which uses an increasing $`\rho `$ defined by (6.1) whereas Proposition 7.2 uses a decreasing $`\rho `$ (essentially in the proof of (7.12)). In order to apply Proposition 7.2 to the solutions constructed in Proposition 6.5 with increasing $`\rho `$, one has therefore to take some large $`t_0`$, to define

$$\stackrel{~}{\rho }(t)=\rho (t_0)_{t_0}^t\rho ^{}(t_1)𝑑t_1$$

and to apply Proposition 7.2 with that new $`\stackrel{~}{\rho }`$, thereby ending up with information on $`(\omega ,w_+,w_+^{},`$ $`\psi _+,\psi _+^{})`$ in spaces $`K`$ or $`Y`$ associated with $`\stackrel{~}{\rho }(\mathrm{})=\rho (\mathrm{})2_{t_0}^{\mathrm{}}\rho ^{}(t)𝑑t<\rho (\mathrm{})`$. That fact of course does not impair the algebraic relations expressing gauge invariance.

We now turn to the converse result, namely to the fact that gauge equivalent asymptotic states generate gauge equivalent solutions through $`\mathrm{\Omega }_0`$.

Proposition 7.3. Let $`(k,\mathrm{})`$ and $`(k_+,\mathrm{}_+)`$ satisfy the assumptions of Proposition 6.5, namely (3.48), $`k1\nu /2`$ and (6.38). Let $`\rho `$ and the estimating functions of time also satisfy the assumptions of Proposition 6.5. Let $`(w_+,\psi _+)`$, $`(w_+^{},\psi _+^{})K_\rho _{_{\mathrm{}}}^{k_+}Y_\rho _{_{\mathrm{}}}^\mathrm{}_+`$ be gauge equivalent and let $`(w,\phi )`$, $`(w^{},\phi ^{})`$ be their images under $`\mathrm{\Omega }_0`$. Then $`(w,\phi )`$ and $`(w^{},\phi ^{})`$ are gauge equivalent.

Proof. The proof is identical with that of Proposition II.7.3. We reproduce it for completeness.

Let $`t_0`$ be sufficiently large and let $`(w_{t_0},\phi _{t_0})`$ and $`(w_{t_0}^{},\phi _{t_0}^{})`$ be the solutions of the system (2.11)-(2.12) constructed by Proposition 6.4. From the initial conditions

$$w_{t_0}(t_0)=V(t_0),w_{t_0}^{}(t_0)=V^{}(t_0),$$

$$\phi _{t_0}(t_0)=\varphi _p(t_0)+\chi (t_0),\phi _{t_0}^{}(t_0)=\varphi _p^{}(t_0)+\chi ^{}(t_0),$$

from the fact that $`\varphi _p=\varphi _p^{}`$ by Proposition 5.2, part (2) and that $`V\mathrm{exp}(i\chi )=V^{}\mathrm{exp}(i\chi ^{})`$ by Proposition 6.2, part (4), it follows that

$$w_{t_0}(t_0)\mathrm{exp}(i\phi _{t_0}(t_0))=w_{t_0}^{}(t_0)\mathrm{exp}(i\phi _{t_0}^{}(t_0))$$

and therefore by Lemma 7.2, $`(w_{t_0},\phi _{t_0})`$ and $`(w_{t_0}^{},\phi _{t_0}^{})`$ are gauge equivalent, namely

$$w_{t_0}(t)\mathrm{exp}(i\phi _{t_0}(t))=w_{t_0}^{}(t)\mathrm{exp}(i\phi _{t_0}^{}(t))$$
$`(7.15)`$
for all $`t`$ for which both solutions are defined.

We now take the limit $`t_0\mathrm{}`$ for fixed $`t`$ in (7.15). By Proposition 6.5, part (2), for fixed $`t`$, $`(w_{t_0},\phi _{t_0})`$ and $`(w_{t_0}^{},\phi _{t_0}^{})`$ converge respectively to $`(w,\phi )`$ and $`(w^{},\phi ^{})`$ in $`K_\rho ^k^{}Y_\rho ^{\mathrm{}^{}}`$. By Lemma 3.3, one can take the limit $`t_0\mathrm{}`$ in (7.15), thereby obtaining (7.5), so that $`(w,\phi )`$ and $`(w^{},\phi ^{})`$ are gauge equivalent.

$``$$``$

We can now define the (local) wave operators (at infinity) for $`u`$.

Definition 7.4. The wave operator $`\mathrm{\Omega }`$ is defined as the map

$$\mathrm{\Omega }:u_+u=(\mathrm{\Lambda }\mathrm{\Omega }_0)(Fu_+,0)$$
$`(7.16)`$
where $`\mathrm{\Omega }_0`$ and $`\mathrm{\Lambda }`$ are defined by Definition 7.1 and by (7.4).

We collect in the following proposition the information on $`\mathrm{\Omega }`$ that follows from the previous study, in particular from Propositions 6.5 and 7.3.

Proposition 7.4. Let $`p0`$ be an integer with $`(p+2)\gamma >1`$. Let $`\rho `$ (defined by (6.1)) and the estimating functions of time satisfy the assumptions of Proposition 6.5 (see especially (6.39) (6.40) and Remark 6.4). Let

$$\lambda =\mu n+22\nu ,$$
$`(7.17)`$
$$k1\nu /2,k>1\nu +\mu /2.$$
$`(7.18)`$
Let $`k_+`$ satisfy (6.38) for some $`\mathrm{}`$ satisfying $`\mathrm{}>n/2\nu `$, $`\mathrm{}k\nu `$. Then

(1) The wave operator $`\mathrm{\Omega }`$ maps $`FK_\rho _{_{\mathrm{}}}^{k_+}`$ to $`X_\rho ^k([T,\mathrm{}))`$ for some $`T`$, $`1T<\mathrm{}`$. (Actually $`T`$ depends on $`u_+`$).

(2) $`\mathrm{\Omega }`$ is injective.

Proof. Part (1) follows from the definitions, from Lemma 7.1 and from Proposition 6.5 with $`\psi _+=0`$. The only point to be checked is the fact that (7.17) (7.18) imply the existence of $`\mathrm{}`$ such that $`(k,\mathrm{})`$ satisfies (3.48). Now the $`\mathrm{}`$ dependent part of (3.48) reduces to

$$k\nu \mathrm{}k+\nu \lambda $$
$`(7.19)`$
$$n/2\nu <\mathrm{}<2k\lambda +\nu n/2$$
$`(7.20)`$
and the compatibility of (7.19) (7.20) for $`\mathrm{}`$ is easily seen to reduce to (7.17) and to the second inequality in (7.18).

Part (2) follows from Proposition 7.2 and from the fact that a gauge equivalence class of asymptotic states contains at most one element with $`\psi _+=0`$.

$``$$``$

Remark 7.2. One may wonder whether the restriction to asymptotic states with $`\psi _+=0`$ in (7.16) restricts the range of $`\mathrm{\Omega }`$ as compared with that of $`\mathrm{\Lambda }\mathrm{\Omega }_0`$. From Proposition 7.3, it follows that

$$(\mathrm{\Lambda }\mathrm{\Omega }_0)(w_+,\psi _+)=(\mathrm{\Lambda }\mathrm{\Omega }_0)(w_+\mathrm{exp}(i\psi _+),0)$$

in so far as $`w_+\mathrm{exp}(i\psi _+)`$ has the regularity needed to apply Proposition 6.5. This is the case if $`\mathrm{}_+k_+2`$ by Lemma 3.3. That condition however is significantly stronger than the condition on $`\mathrm{}_+`$ contained in (6.38), especially for large $`p`$, i.e. for small $`\gamma `$. Therefore, there is actually a restriction of the range for regularity reasons, in spite of the (algebraic) gauge invariance of the construction expressed by Proposition 7.3.

We next collect the information and in particular the asymptotic estimates obtained for the solutions of the equation (1.1) in $`(\mathrm{\Omega })`$.

Proposition 7.5. Let $`0<\mu n2+2\nu n`$. Let $`0<\gamma 1`$ and let $`p0`$ be an integer with $`(p+2)\gamma >1`$. Let $`\rho `$ (defined by 6.1) and the estimating functions of time satisfy the assumptions of Proposition 6.5 (especially (6.39) (6.40)). Let $`(k,\mathrm{},k_+)`$ satisfy (7.18) (3.48) (6.38). Let $`u_+FK_\rho _{_{\mathrm{}}}^{k_+}`$ and $`a_+=Fu_+;K_\rho _{_{\mathrm{}}}^{k_+}`$. Then

(1) There exists $`T`$, $`1T<\mathrm{}`$, and there exists a unique solution $`uX_\rho ^k([T,\mathrm{}))`$ of the equation (1.1) which can be represented as

$$u=MD\mathrm{exp}(i\phi )w$$

where $`(w,\phi )`$ is a solution of the system (2.11)-(2.12) such that $`(w,\overline{h}_0^1\phi )𝒳_\rho ^{k,\mathrm{}}([T,\mathrm{}))`$ and such that

$$|w(t)Fu_+|_{k1+\nu }h_0(t)0$$
$`(7.21)`$
$$|\phi (t)\varphi _p(t)|_{\mathrm{}1+\nu }0$$
$`(7.22)`$
when $`t\mathrm{}`$. The time $`T`$ can be defined by a condition of the type (6.41) with $`b_+=0`$.

(2) The solution is obtained as $`u=\mathrm{\Omega }u_+`$, following Definition 7.4.

(3) The map $`\mathrm{\Omega }`$ is continuous from $`FK_\rho _{_{\mathrm{}}}^{k_+}`$ to the norm topology of $`X_\rho ^k^{}(I)`$ for $`k^{}<k`$ and to the weak-$``$ topology of $`X_\rho ^k(I)`$ for any compact interval $`I[T,\mathrm{})`$, and to the weak topology of $`MDK_\rho ^k`$ pointwise in $`t`$.

(4) The solution $`u`$ satisfies the following estimate for $`tT`$ :

$$<J(t)>^kf(J(t))\left(\mathrm{exp}[i\varphi _p(t,x/t)]u(t)M(t)D(t)Fu_+\right)_2A(a_+)h_3(t)$$
$`(7.23)`$
for some estimating function $`A(a_+)`$.

(5) Let $`2r<\mathrm{}`$. The solution $`u`$ satisfies the following estimate :

$$u(t)\mathrm{exp}[i\varphi _p(t,x/t)]M(t)D(t)Fu_+_rA(a_+)\rho (t)^\beta t^{\delta (r)}h_3(t)$$
$`(7.24)`$
where $`\delta (r)=n/2n/r`$, $`\beta =\nu ^1(\delta (r)k)0`$ if $`r<\mathrm{}`$ or $`k>n/2`$, $`\beta =\nu ^1(n/2k+\epsilon )`$ if $`r=\mathrm{}`$ and $`kn/2`$.

Proof. Parts (1) (2) (3) follow from Propositions 6.5 and 4.3, from Definition 7.4 and from Proposition 7.4.

Part (4). From the commutation relation (7.2), from Remark 3.1 and from Lemma 3.3, it follows that the LHS of (7.23) is estimated by

$$_2C|\mathrm{exp}(i(\varphi _p\phi ))wFu_+|_kC\{|wFu_+|_k+|\mathrm{exp}(i(\varphi _p\phi ))1|_{\mathrm{}}|w|_k\}$$

$$C\left\{\left|wW_p\right|_k+\left|W_pw_+\right|_k+\mathrm{exp}\left(C\left|\varphi _p\phi \right|_{\mathrm{}}\right)\left|\varphi _p\phi \right|_{\mathrm{}}|w|_k\right\}$$

and the result follows from the estimates (6.72) (5.9) (6.73) (6.74).

Part (5) follows from Part (4) and from the inequality

$$\begin{array}{cc}v_r\hfill & =t^{\delta (r)}D^{}M^{}v_rCt^{\delta (r)}<>^mD^{}M^{}v_2\hfill \\ & \\ & =Ct^{\delta (r)}<J(t)>^mv_2\hfill \end{array}$$

which follows from (7.2) and Sobolev inequalities with $`m=\delta (r)`$ if $`r<\mathrm{}`$, $`m=n/2+\epsilon `$ if $`r=\mathrm{}`$, together with the fact that

$$|\xi |^{mk}f(\xi )^1C\rho ^\beta .$$

$``$$``$

Remark 7.3. In (7.23) and (7.24), one could replace $`MDFu_+`$ by $`U(t)u_+`$ since the difference is small in the relevant norms. One could also replace $`Fu_+`$ by $`W_p`$, but this would not produce any improvement in the estimates, since the main contribution comes from the phase. The estimate (7.24) is a rather weak one, since we have omitted the function $`f`$ which generates the Gevrey regularity. It is only one example of a large number of similar estimates exhibiting the typical $`t^{\delta (r)}`$ decay associated with $`L^r`$ norms.

The final step of the standard construction of the wave operators for the equation (1.1) would consist in extending the solutions $`u`$ to arbitrary finite times, and defining the maps $`\mathrm{\Omega }_1:u_+u(1)`$ where $`u=\mathrm{\Omega }u_+`$. In order not to waste the Gevrey regularity of the local solutions at infinity, this would require a treatment of the global Cauchy problem at finite times for arbitrarily large data in the same Gevrey framework. This is a rather different problem and we shall refrain from considering it here.

Acknowledgements. Part of this work was done while one of the authors (G.V.) was visiting the Institut des Hautes Etudes Scientifiques (IHES), Bures-sur-Yvette, France and the Laboratoire de Physique Théorique (LPT), Université de Paris-Sud, France. He is very grateful to Professor Jean-Pierre Bourguignon, Director of the IHES, and to Professor Dominique Schiff, Director of the LPT, for the kind hospitality extended to him.

## Appendix A

In this appendix we derive a number of properties of the function $`\stackrel{~}{f}`$ defined by (3.2), which make it a possible substitute for the function $`f_0`$ defined by (3.1) in the definition of the spaces $`𝒳_\rho ^{k,\mathrm{}}`$. In all this appendix, we assume $`0<\nu 1`$ and we take $`\rho =1`$. The parameter $`\rho `$ can be reintroduced easily by scaling. Accordingly we define

$$\stackrel{~}{f}(\xi )=\underset{j0}{}(j!)^{1/\nu }|\xi |^j,$$
$`(\mathrm{A}.1)`$
$$F(\xi )=\underset{j0}{}(j+1)^1(j!)^{1/\nu }|\xi |^{j+1}.$$
$`(\mathrm{A}.2)`$
We also use (A.1) and (A.2) to define $`\stackrel{~}{f}`$ and $`F`$ when applied to $`\xi IR^+`$. With that convention, we have $`\stackrel{~}{f}(\xi )=\stackrel{~}{f}(|\xi |)`$ and $`F(\xi )=F(|\xi |)`$ for all $`\xi IR^n`$. Furthermore $`\stackrel{~}{f}=dF/d|\xi |`$.

We first derive some preliminary estimates which allow in particular for a comparison of $`\stackrel{~}{f}`$ and $`f_0`$.

Lemma A.1. The following estimates hold for all $`\xi IR^n`$ :

$$\underset{j1}{}j(j!)^{1/\nu }|\xi |^j|\xi |^\nu \underset{j0}{}(j!)^{1/\nu }|\xi |^j\underset{j0}{}(j+1)(j!)^{1/\nu }|\xi |^j,$$
$`(\mathrm{A}.3)`$
$$\underset{j0}{}(j+1)^1(j!)^{1/\nu }|\xi |^{j+1}|\xi |^{1\nu }\underset{j0}{}(j!)^{1/\nu }|\xi |^j,$$
$`(\mathrm{A}.4)`$
$$\stackrel{~}{f}^1(d\stackrel{~}{f}/d|\xi |)|\xi |^{\nu 1}F^1\stackrel{~}{f}=F^1(dF/d|\xi |),$$
$`(\mathrm{A}.5)`$
$$|\xi |^\nu \stackrel{~}{f}d(|\xi |\stackrel{~}{f})/d|\xi |,$$
$`(\mathrm{A}.6)`$
$$F(a)(|\xi |a)^{\nu 1}\mathrm{exp}\left(\nu ^1(|\xi |^\nu a^\nu )\right)\stackrel{~}{f}(\xi )\mathrm{exp}(\nu ^1|\xi |^\nu )$$
$`(\mathrm{A}.7)`$
for all $`a>0`$,

$$\stackrel{~}{f}(\xi )=(2\pi )^{(\nu 1)/2\nu }\nu ^{1/2}|\xi |^{(\nu 1)/2}\mathrm{exp}\left(\nu ^1|\xi |^\nu \right)(1+o(1))\mathrm{𝑤ℎ𝑒𝑛}|\xi |\mathrm{}.$$
$`(\mathrm{A}.8)`$
Proof. (A.3a) and (A.4) follow from the Hölder inequality on $`\mathrm{Z}\mathrm{}^+`$ with the measure $`(j!)^{1/\nu }|\xi |^j`$ and the exponents $`1/\nu `$ and $`1/(1\nu )`$, applied respectively to the pairs of functions $`(j,1)`$ and $`((j+1)^1,1)`$.

(A.3b) follows similarly from the Hölder inequality with the measure $`(j+1)(j!)^{1/\nu }|\xi |^j`$ and the exponents $`\nu ^1(1+\nu )`$ and $`1+\nu `$, applied to the functions $`(j+1)^1`$ and 1.

(A.5) is a rewriting of (A.3a) and (A.4), while (A.6) is a rewriting of (A.3b).

(A.7) follows from (A.5). In fact (A.5) states that the functions $`\stackrel{~}{f}(\xi )\mathrm{exp}(|\xi |^\nu /\nu )`$ and $`F(\xi )\mathrm{exp}(|\xi |^\nu /\nu )`$ are respectively decreasing (and therefore less than one) and increasing in $`|\xi |`$. The first fact yields (A.7b) while both of them together with $`\stackrel{~}{f}|\xi |^{\nu 1}F`$ yield (A.7a). Note also that (A.7b) follows directly from the definition (A.1) and from the fact that

$$\stackrel{~}{f}(\xi )=(j!)^1|\xi |^{\nu j};\mathrm{}^{1/\nu }^{1/\nu }(j!)^1|\xi |^{\nu j};\mathrm{}^1^{1/\nu }=\mathrm{exp}(\nu ^1|\xi |^\nu )$$

by the standard embedding of $`\mathrm{}^p`$ spaces.

(A.8) is proved in  (see (8.07) p. 308) in the special case $`\nu 1/4`$, but the proof extends easily to the whole range $`0<\nu 1`$.

$``$$``$

The estimates (A.7) and the asymptotic property (A.8) compare $`\stackrel{~}{f}`$ with $`f_0`$ by stating that essentially $`\stackrel{~}{f}f_0^{1/\nu }`$. On the other hand (A.6) is the analogue of the fact that $`df_0/d|\xi |=\nu |\xi |^{\nu 1}f_0`$ and allows for the construction of function space norms satisfying an inequality which can replace (3.12) in the subsequent estimates.

We next show that $`\stackrel{~}{f}`$ satisfies estimates similar to those of Lemma 3.1.

Lemma A.2. Let $`(\xi ,\eta )IR^n`$. Then $`\stackrel{~}{f}`$ satisfies the estimates

$$\stackrel{~}{f}(\xi )\stackrel{~}{f}(\xi \eta )\stackrel{~}{f}(\eta )\mathrm{𝑓𝑜𝑟}\mathrm{𝑎𝑙𝑙}(\xi ,\eta ),$$
$`(\mathrm{A}.9)`$
$$\stackrel{~}{f}(\xi )\stackrel{~}{f}(\xi \eta )\mathrm{exp}(|\eta |^\nu )\mathrm{𝑓𝑜𝑟}|\xi ||\eta ||\xi \eta |,$$
$`(\mathrm{A}.10)`$
$$(\stackrel{~}{f}(\eta )\stackrel{~}{f}(\xi ))|\eta |^{1\nu }|\xi \eta |\stackrel{~}{f}(\eta )\mathrm{𝑓𝑜𝑟}|\xi ||\eta |,$$
$`(\mathrm{A}.11)`$
$$|\stackrel{~}{f}(\xi )\stackrel{~}{f}(\eta )||\eta |^{1\nu }|\xi \eta |^{1\nu }\stackrel{~}{f}(\xi \eta )\stackrel{~}{f}(\eta )\mathrm{𝑓𝑜𝑟}\mathrm{𝑎𝑙𝑙}(\xi ,\eta ),$$
$`(\mathrm{A}.12)`$
$$|\stackrel{~}{f}(\xi )\stackrel{~}{f}(\eta )||\eta |^{1\nu }|\xi \eta |^{1\nu }(\mathrm{exp}(|\xi \eta |^\nu )1)\stackrel{~}{f}(\eta )\mathrm{𝑓𝑜𝑟}|\xi ||\xi \eta ||\eta |,$$
$`(\mathrm{A}.13)`$
$$|\stackrel{~}{f}(\xi )\stackrel{~}{f}(\eta )||\eta |^{1\nu }C|\xi \eta |^{1\nu }(\stackrel{~}{f}(\xi \eta )1)\mathrm{exp}(|\eta |^\nu )\mathrm{𝑓𝑜𝑟}|\xi ||\eta ||\xi \eta |.$$
$`(\mathrm{A}.14)`$
In (A.14) one can take $`C=1`$, except in the region $`|\xi ||\xi \eta ||\eta |`$ where $`C=2^{1\nu }`$.

The function $`\stackrel{~}{f}(\xi )\stackrel{~}{f}(1)`$ satisfies the same estimates as $`\stackrel{~}{f}(\xi )`$.

Proof. (A.9) is trivial except if $`|\xi ||\eta ||\xi \eta |`$. In all cases, we estimate

$$\begin{array}{cc}\stackrel{~}{f}(\xi )\hfill & \underset{j,k0}{}(j!)^1(k!)^1((j+k)!)^{11/\nu }|\xi \eta |^j|\eta |^k\hfill \\ & \\ & \underset{j,k0}{}(j!)^{1/\nu }(k!)^{1/\nu }|\xi \eta |^j|\eta |^k=\stackrel{~}{f}(\xi \eta )\stackrel{~}{f}(\eta )\hfill \end{array}$$
$`(\mathrm{A}.15)`$
since $`(j+k)!j!k!`$.

(A.10) is trivial in the allowed region except if $`|\eta ||\xi \eta ||\xi |`$. In that case, we rewrite the first inequality in (A.15) as

$$\begin{array}{cc}\stackrel{~}{f}(\xi )\hfill & \underset{k0}{}\left\{\underset{j0}{}\left((j!)^{1/\nu }|\xi \eta |^j\right)^\nu \left(((j+k)!)^{1/\nu }|\xi \eta |^{j+k}\right)^{1\nu }\right\}(k!)^1|\eta |^k|\xi \eta |^{(\nu 1)k}\hfill \\ & \\ & \stackrel{~}{f}(\xi \eta )\mathrm{exp}\left(|\eta ||\xi \eta |^{\nu 1}\right)\stackrel{~}{f}(\xi \eta )\mathrm{exp}(|\eta |^\nu )\hfill \end{array}$$
$`(\mathrm{A}.16)`$
by the Hölder inequality applied to the sum over $`j`$ for fixed $`k`$ and the fact that $`|\eta ||\xi \eta |`$.

(A.11). We estimate

$$\stackrel{~}{f}(\eta )\stackrel{~}{f}(\xi )=\underset{j1}{}(j!)^{1/\nu }(|\eta |^j|\xi |^j)|\xi \eta |\underset{j1}{}(j!)^{1/\nu }j|\eta |^{j1}|\xi \eta ||\eta |^{\nu 1}\stackrel{~}{f}(\eta )$$

by (A.3a).

(A.12) follows from (A.11) and from $`|\xi \eta |^\nu \stackrel{~}{f}(\xi \eta )`$ if $`|\xi ||\eta |`$. If $`|\xi ||\eta |`$, we estimate

$$\stackrel{~}{f}(\xi )\stackrel{~}{f}(\eta )\underset{j1,k0}{}(j!)^1(k!)^1((j+k)!)^{11/\nu }|\xi \eta |^j|\eta |^k$$

$$=\underset{j,k0}{}((j+1)!)^1(k!)^1((j+k+1)!)^{11/\nu }|\xi \eta |^{j+1}|\eta |^k$$

$$\underset{j,k0}{}(j+1)^1(j!)^{1/\nu }|\xi \eta |^{j+1}(k+1)((k+1)!)^{1/\nu }|\eta |^k$$

since $`(j+k+1)!j!(k+1)!`$,

$$\mathrm{}|\xi \eta |^{1\nu }\stackrel{~}{f}(\xi \eta )|\eta |^{\nu 1}\stackrel{~}{f}(\eta )$$

by (A.3a) and (A.4).

(A.13) follows from (A.11) and $`|\xi \eta |^\nu (\mathrm{exp}(|\xi \eta |^\nu )1)`$ if $`|\xi ||\eta |`$. If $`|\xi \eta ||\eta ||\xi |`$, we estimate in the same way as in (A.16)

$$(\stackrel{~}{f}(\xi )\stackrel{~}{f}(\eta ))|\eta |^{1\nu }|\eta |^{1\nu }\underset{j1}{}\left\{\underset{k0}{}((k!)^{1/\nu }|\eta |^k)^\nu \left(((j+k)!)^{1/\nu }|\eta |^{j+k}\right)^{1\nu }\right\}$$

$$\times (j!)^1|\xi \eta |^j|\eta |^{(\nu 1)j}$$

$$\stackrel{~}{f}(\eta )\left\{|\eta |^{1\nu }(\mathrm{exp}(|\xi \eta ||\eta |^{\nu 1})1)\right\}$$
$`(\mathrm{A}.17)`$
by the Hölder inequality applied to the sum over $`k`$ for fixed $`j`$. Now for fixed $`|\xi \eta |`$, the last bracket in (A.17) is a decreasing function of $`|\eta |`$ and for $`|\eta ||\xi \eta |`$ is therefore less than its value for $`|\eta |=|\xi \eta |`$, which yields (A.13) in that case.

(A.14). If $`|\xi ||\eta ||\xi \eta |`$, (A.14) with $`C=1`$ follows from $`|\eta ||\xi \eta |`$ and from

$$|\stackrel{~}{f}(\xi )\stackrel{~}{f}(\eta )|\stackrel{~}{f}(\xi \eta )1.$$

If $`|\eta ||\xi \eta ||\xi |`$, (A.14) with $`C=1`$ follows from $`|\eta ||\xi \eta |`$ and from a minor variant of (A.16) with the sum over $`j`$ restricted to $`j1`$, so that

$$\stackrel{~}{f}(\xi )\stackrel{~}{f}(\eta )(\stackrel{~}{f}(\xi \eta )1)\mathrm{exp}(|\eta |^\nu ).$$
$`(\mathrm{A}.18)`$
If $`|\xi ||\xi \eta ||\eta |`$, (A.14) with $`C=2^{1\nu }`$ follows from $`|\eta |2|\xi \eta |`$ and from (A.18) with $`\xi `$ and $`\eta `$ interchanged.

The last statement of Lemma A.2 is obvious as regards (A.9) (A.10) and follows from the fact that

$$|\stackrel{~}{f}(\xi )a\stackrel{~}{f}(\eta )a||\stackrel{~}{f}(\xi )\stackrel{~}{f}(\eta )|$$

for all $`\xi `$, $`\eta `$ and $`a>0`$ as regards (A.11)-(A.14), in the same way as in Lemma 3.1.

$``$$``$

It follows from Lemma A.2 that $`\stackrel{~}{f}(\xi )`$ and $`\stackrel{~}{f}(\xi )\stackrel{~}{f}(1)`$ satisfy the basic estimates (A.9) and (A.12) which are used throughout this paper, thereby making those functions into suitable substitutes for $`f_0`$ and $`f`$ in the definition of the spaces. Note also that by (A.7) (A.8), $`\mathrm{exp}(|\eta |^\nu )\stackrel{~}{f}(\eta )^\nu `$ (up to a small power of $`\eta `$), which makes (A.10) (A.13) (A.14) into close analogues of (3.4) (3.6) (3.7).

We finally use the function $`\stackrel{~}{f}`$ to relate the definition of spaces such as $`K_\rho ^k`$ or $`Y_\rho ^{\mathrm{}}`$ to more standard definition of Gevrey spaces. Since this part is meant to be only illustrative, we restrict our attention to space dimension $`n=1`$. The Gevrey class $`G_{1/\nu }`$ can be defined as the vector space of $`𝒞^{\mathrm{}}`$ functions $`u`$ such that there exists a constant $`C`$ such that

$$c_jC^j(j!)^{1/\nu }^ju\mathrm{}_j^p(L_x^q)$$
$`(\mathrm{A}.19)`$
where $`1p`$, $`q\mathrm{}`$ and $`\{c_j\}`$ is a sequence of positive numbers with at most polynomial increase or decrease at infinity. Of course if one allows for all possible $`C>0`$, the parameters $`p`$, $`q`$, and $`\{c_j\}`$ are irrelevant, and one can take $`p=q=\mathrm{}`$ and $`c_j1`$, which yields the standard definition. Here however we fix $`C`$, in fact $`C=\rho ^{1/\nu }`$, so as to obtain a Banach space, and those parameters become important. Since moreover we want a Hilbert space in order to apply the energy method in a convenient way, we take $`p=q=2`$, thereby obtaining the Gevrey Hilbert space $`X`$ with norm

$$u;X=b_j\rho ^{j/\nu }^ju;\mathrm{}_j^2(L_x^2)$$
$`(\mathrm{A}.20)`$
where $`b_j=c_j(j!)^{1/\nu }`$. Let now

$$f(\xi )=f(|\xi |)=\underset{j0}{}a_j|\xi |^j=f_+(\xi )+f_{}(\xi )$$

where $`\{a_j\}`$ is a sequence of positive numbers and where $`f_+`$ and $`f_{}`$ denote the sums over even and odd $`j`$ respectively. We claim that for a suitable relation between $`\{a_j\}`$ and $`\{b_j\}`$, the norm in $`X`$ is equivalent to the norm

$$u_{}=f(\rho ^{1/\nu }\xi )\widehat{u}_2.$$
$`(\mathrm{A}.21)`$
In fact

$$f_+(\xi )^2+f_{}(\xi )^2f(\xi )^22\left(f_+(\xi )^2+f_{}(\xi )^2\right)$$

so that if we define $`\{b_j\}`$ by

$$f_+(\xi )^2+f_{}(\xi )^2=\underset{j0}{}b_j^2|\xi |^{2j}$$
$`(A.22)`$
then

$$u;Xu_{}\sqrt{2}u;X$$
$`(A.23)`$
which proves the equivalence. The relation (A.22) can be rewritten as

$$b_k^2=\underset{0j2k}{}a_ja_{2kj}.$$

In the special case of $`\stackrel{~}{f}`$, where $`a_j=(j!)^{1/\nu }`$, it is obvious that

$$a_jb_j\sqrt{2j+1}a_j$$

and one can show that actually when $`j\mathrm{}`$

$$b_j=a_j(\pi \nu j)^{1/4}(1+o(1))$$
$`(A.24)`$
which together with (A.8) makes it possible to define equivalent norms of the form (A.20) for the spaces $`K_\rho ^k`$ and $`Y_\rho ^{\mathrm{}}`$.

## Appendix B

In this appendix we prove a Lemma which exemplifies the fact that for $`\rho >0`$ and $`\nu <1`$, the lower condition $`\mathrm{}+2>n/2`$ on $`\mathrm{}`$ needed in Lemma 3.3 in order to make $`Y_\rho ^{\mathrm{}}`$ into an algebra can be relaxed by using the estimate (3.4) instead of (3.3) (but not uniformly in $`\nu `$ and $`\rho `$). Following Remark 3.1, we consider the Hilbert space $`K`$ with norm

$$u;K=\overline{f}\widehat{u}_2$$

where $`\overline{f}`$ is either $`ff_1`$ or $`f_0f_1`$ with $`f_0`$, $`f`$ defined by (3.1) and $`f_1`$ defined by (3.10) for some $`k_<`$, $`k_>IR^+`$.

Lemma B.1. Let $`K`$ be as above, with $`0<\nu <1`$, $`\rho >0`$, $`k_>0`$ and $`0k_<<n/2`$. Then $`K`$ is an algebra, namely there exists a constant $`C`$ such that for all $`u_1`$, $`u_2K`$

$$u_1u_2;KCu_1;Ku_2;K.$$
$`(\mathrm{B}.1)`$
One can take

$$C^2=𝑑\eta \overline{f}(\eta )^2\left(1+2^{2k}f_0(\eta )^{2\nu }\right)$$
$`(\mathrm{B}.2)`$
where $`k=k_<k_>`$ and the integral converges under the assumptions made on $`\nu `$, $`\rho `$ and $`k_<`$.

Proof. By the Schwarz inequality, we estimate

$$\overline{f}\widehat{u_1u_2}_2^2=𝑑\xi \overline{f}(\xi )^2\left|𝑑\eta \widehat{u}_1(\eta )\widehat{u}_2(\xi \eta )\right|^2𝑑\xi \overline{f}(\xi )^2\left\{𝑑\eta \overline{f}(\eta )^2\overline{f}(\xi \eta )^2\right\}$$

$$\times \{d\eta \overline{f}(\eta )^2\overline{f}(\xi \eta )^2|\widehat{u}_1(\eta )|^2|\widehat{u}_2(\xi \eta )|^2\}C^2\overline{f}\widehat{u}_1_2^2\overline{f}\widehat{u}_2_2^2$$

where

$`C^2`$ $`=`$ $`\underset{\xi }{Sup}\overline{f}(\xi )^2{\displaystyle 𝑑\eta \overline{f}(\eta )^2\overline{f}(\xi \eta )^2}`$
$`=`$ $`2\underset{\xi }{Sup}\overline{f}(\xi )^2{\displaystyle _{|\eta ||\xi \eta |}}\overline{f}(\eta )^2\overline{f}(\xi \eta )^2.`$
Now for $`|\xi ||\xi \eta |`$, $`\overline{f}(\xi )\overline{f}(\xi \eta )`$ while for $`|\eta ||\xi \eta ||\xi |`$ one has $`|\xi |2|\xi \eta |`$ so that

$$f_1(\xi )2^{k_<k_>}f_1(\xi \eta )=2^kf_1(\xi \eta ),$$

and

$$f_{(0)}(\xi )f_{(0)}(\xi \eta )f_0(\eta )^\nu $$

by (3.4). Therefore

$$C^22\underset{\xi }{Sup}\left\{_{|\eta ||\xi ||\xi \eta |}𝑑\eta \overline{f}(\eta )^2+_{|\eta ||\xi \eta ||\xi |}𝑑\eta \overline{f}(\eta )^22^{2k}f_0(\eta )^{2\nu }\right\}.$$

The Supremum over $`\xi `$ is easily seen to be the limit $`|\xi |\mathrm{}`$, namely

$`C^2`$ $``$ $`2\left\{{\displaystyle _{\xi \eta 0}}𝑑\eta \overline{f}(\eta )^2+{\displaystyle _{\xi \eta 0}}𝑑\eta \overline{f}(\eta )^22^{2k}f_0(\eta )^{2\nu }\right\}`$
$`=`$ $`{\displaystyle 𝑑\eta \overline{f}(\eta )^2\left(1+2^{2k}f_0(\eta )^{2\nu }\right)}`$
and the integral converges for small $`\eta `$ by the condition $`k_<<n/2`$ and for large $`\eta `$ by the conditions $`\rho >0`$ and $`\nu <1`$.

$``$$``$

The same result with essentially the same proof holds if one replaces $`f_0`$ by $`\stackrel{~}{f}`$ in the definition of $`K`$. One then has to replace (3.4) by (A.10) in the proof. The same result also holds for arbitrary $`k_>IR`$ (still with $`0k_<<n/2)`$, but the proof is more cumbersome for $`k_><0`$.