Abstract
We improve the result by Feola and Iandoli (J Math Pures Appl 157:243–281, 2022), showing that quasilinear Hamiltonian Schrödinger type equations are well posed on \(H^s({{\mathbb {T}}}^d)\) if \(s>d/2+3\). We exploit the sharp paradifferential calculus on \({{\mathbb {T}}}^d\) developed by Berti et al. (J Dyn Differ Equ 33(3):1475–1513, 2021).
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In this paper we study the local in time solvability of the Cauchy problem associated to the following quasilinear Schrödinger equation
where \( u=u(t,x)\,\) and \( x=(x_1,\ldots ,x_{d})\in \mathbb {T}^{d}:=(\mathbb {R}/2\pi \mathbb {Z})^{d} \) and where we denoted \(\partial _{u}:=(\partial _{\textrm{Re}(u)}-\textrm{i}\partial _{\textrm{Im}(u)})/2\) and \(\partial _{\bar{u}}:=(\partial _{\textrm{Re}(u)}+\textrm{i}\partial _{\textrm{Im}(u)})/2\) the Wirtinger derivatives. The function \(F(y_0,y_1,\ldots ,y_{d})\) is a real valued polynomial in the complex variables \((y_0,\ldots ,y_d)\in {{\mathbb {C}}}^{d+1}\). Here \( \nabla u=(\partial _{x_{1}} u, \ldots , \partial _{x_d}u) \) is the gradient.
Notice that Eq. (1.1) is Hamiltonian, i.e.
where \(\nabla _{\bar{u}}:=(\nabla _{\textrm{Re}(u)}-\textrm{i}\nabla _{\textrm{Im}(u)})/2\) and \(\nabla \) denote the \(L^{2}\)-gradient. We assume that the function F, defining the non-linearity, satisfies following ellipticity condition: there exists \(\texttt {c}>0\) such that for any \(\xi =(\xi _1,\ldots ,\xi _{d})\in \mathbb {R}^{d}\), \(y=(y_0,\ldots ,y_d)\in \mathbb {C}^{d+1}\) one has
Note that this condition implies that
which are the assumptions made in the paper [9]. The main result of this paper is the following local well posedness theorem on Sobolev spaces (see Sect. 2).
Theorem 1.1
(Local well-posedness) Let \(s\ge \mathfrak {s}_0> d/2+3\), consider the Eq. (1.1) with initial condition \(u(0,x)=u_0(x)\) in \(H^s(\mathbb {T}^d;\mathbb {C})\), and with F satisfying (1.3). There exists a time \(0<T=T(\Vert u_0\Vert _{\mathfrak {s}_0})\) and a unique solution u(t, x) of (1.1) in \(C^0([0,T),H^s) \cap C^1([0,T),H^{s-2}).\) Moreover the solution map \(u_0(x)\mapsto u(t,x)\) is continuous with respect to the \(H^s\) topology for any t in [0, T).
Theorem 1.1 improves the results in [8, 9] in terms of the required regularity on the initial datum. Furthermore the time of existence of the solutions depends only on the low norm \(\Vert \cdot \Vert _{\mathfrak {s}_0}\). The regularity threshold \(d/2+3\) is the same required by Marzuola et al. [15] (which improves the pioneering result by Kenig et al. [14]) for general quasilinear Schrödinger equations on \({{\mathbb {R}}}^d\). Moreover, as in [15], when the function defining the Hamiltonian has the special form \(F(u,\nabla u)=|\nabla h(|u|^2)|^2\) we can improve the result requiring only \(s>d/2+2\). We have the following.
Theorem 1.2
If, in addition to the hypotheses of Theorem 1.1, one has \(F(u,\nabla u)=|\nabla h(|u|^2)|^2\) for some polynomial function \(h:{{\mathbb {C}}}\rightarrow {{\mathbb {C}}}\), then the result of Theorem 1.1 holds true for any \(\mathfrak {s}_0>d/2+2\).
The equation satisfying the hypotheses of Theorem 1.2 is the one considered in [5, 7, 11].
A very efficient way to prove the well posedness for a quasilinear equation, is to paralinearize it and consider a quasilinear iterative scheme à la Kato [13] to build up the solutions. The key step, in order to pass to the limit in the iterative scheme, is to obtain some a priori estimates on the solutions of the paralinearized system. This method has been refined recently, see for instance [2, 8, 9, 15].
In [9] the authors introduce a non sharp paradifferential calculus on \({{\mathbb {T}}}^d\), which has been refined by Berti et al. [2]. Moreover in [9], to obtain a priori estimates, the authors perform some changes of coordinates of \(H^s\) in order to diagonalize the paralinearized system at the positive orders. In [2], instead of changing unknown, the authors, inspired also by Alazard et al. [1], introduce a modified norm in \(H^s\) which is tailored to the problem and which allows them to obtain the wanted estimates. This is less expensive in terms of amount of regularity, for this reason we follow closely this approach. The main difference with respect to [2] is that the the matrix of symbols which diagonalizes the principal order, see (4.5), depends on \(\xi \), u and \(\nabla u\), while in [2] (and in the case that F satisfies the hypotheses of Theorem 1.2) it depends only on u. The \(\xi \)-dependence imposes a lower order correction in the diagonalization process, see (4.6), in order to have a well defined parametrix with a remainder gaining two derivatives. In [2], to show the existence for the paralinearized problem, the authors use a finite rank projection with a cut-off which is tailored to the problem. It is not clear to the author of the present paper if this approach works for lower order symbolic calculus, which is needed here for the aforementioned reasons for the general Eq. (1.1) (it clearly works in the case that the nonlinearity satisfies the hypothesis of Theorem 1.2). We use, instead, the artificial viscosity approximation to build the solutions. A Garding type inequality is therefore needed, see Lemma 4.8, to close the energy estimates.
The (1.1) is slightly more general than the equation considered in [9], where the presence of the linear term \(\Delta u\) was required. The presence of this linear term was somehow used in the proof of the existence of the solutions of the paralinearized problem.
We conclude this introduction quoting the recent paper by Jeong and Oh [12] about the ill posedness in \({{\mathbb {R}}}^d\) of the problem in the case that (1.3) is not satisfied. We also mention the paper by Christ [4], in which the author gives some examples of non Hamiltonian Schrödinger type equations which are ill posed on the circle.
2 Paradifferential calculus
We fix some notation concerning Sobolev spaces. We denote by \(H^{s}(\mathbb {T}^d;\mathbb {C})\) (resp. \(H^{s}(\mathbb {T}^d;\mathbb {C}^{2})\)) the usual Sobolev space of functions \(\mathbb {T}^{d}\ni x \mapsto u(x)\in \mathbb {C}\) (resp. \({{\mathbb {C}}}^{2}\)). We expand a function u(x) , \(x\in \mathbb {T}^{d}\), in Fourier series as
We also use the notation \(u_n := \hat{u}(n)\) and \( \overline{u_n} := \overline{\hat{u}(n)} \,. \) We set \(\langle j \rangle :=\sqrt{1+|j|^{2}}\) for \(j\in \mathbb {Z}^{d}\). We endow \(H^{s}(\mathbb {T}^{d};\mathbb {C})\) with the norm
For \(U=(u_1,u_2)\in H^{s}(\mathbb {T}^d;\mathbb {C}^{2})\) we just set \(\Vert U\Vert _{{s}}=\Vert u_1\Vert _{{s}}+\Vert u_2\Vert _{{s}}\). We shall also write the norm in (2.2) as
where \((\cdot ,\cdot )_{L^{2}}\) denotes the standard complex \(L^{2}\)-scalar product
We introduce also the product spaces
With abuse of notation we shall denote by \(\Vert \cdot \Vert _{{s}}\) the natural norm of the product space \(\mathcal {H}^{s}\). On the space \( \mathcal {H}^s\) we naturally extend the scalar product (2.3) as
We recall the following interpolation estimate
Notation. We shall use the notation \(A\lesssim B\) to denote \(A\le C B\) where C is a positive constant depending on parameters fixed once for all, for instance d and s. We will emphasize by writing \(\lesssim _{q}\) when the constant C depends on some other parameter q. When we have both \(A\lesssim B\) and \(B\lesssim A\) we shall write \(A\sim B\).
We now recall some results concerning the paradifferential calculus. We follow [2].
Definition 2.1
Given \(m,s\in \mathbb {R}\) we denote by \(\Gamma ^m_s\) the space of functions \(a(x,\xi )\) defined on \({{\mathbb {T}}}^d\times {{\mathbb {R}}}^d\) with values in \({{\mathbb {C}}}\), which are \(C^{\infty }\) with respect to the variable \(\xi \in {{\mathbb {R}}}^d\) and such that for any \(\beta \in {{\mathbb {N}}}\cup \{0\}\), there exists a constant \(C_{\beta }>0\) such that
The elements of \(\Gamma _s^m\) are called symbols of order m.
We endow the space \(\Gamma ^m_{s}\) with the family of semi-norms
Consider a function \(\chi \in C^{\infty }({{\mathbb {R}}}^d,[0,1])\) such that
Let \(\epsilon \in (0,1)\) and define \(\chi _{\epsilon }(\xi ):=\chi (\xi /\epsilon ).\) Given a symbol \(a(x,\xi )\) in \(\Gamma ^m_s\) we define its Bony–Weyl quantization
We list a series of technical results that we shall systematically use throughout the paper. The following is Theorem 2.4 in [2] and concerns the action of paradifferential operators on Sobolev spaces.
Theorem 2.2
(Action on Sobolev spaces) Let \(s_0>d/2\), \(m\in {{\mathbb {R}}}\) and \(a\in \Gamma ^m_{s_0}\). Then \({Op^{\textrm{BW}}}(a)\) extends as a bounded operator from \({H}^{s}({{\mathbb {T}}}^d;{{\mathbb {C}}})\) to \({H}^{s-m}({{\mathbb {T}}}^d;{{\mathbb {C}}})\), for all \(s\in {{\mathbb {R}}}\), with the following estimate
Moreover for any \(\rho \ge 0\) we have
Definition 2.3
Let \(\rho \in (0, 2]\). Given two symbols \(a\in \Gamma ^m_{s_0+\rho }\) and \(b\in \Gamma ^{ m'}_{s_0+\rho }\), we define
where we denoted by \(\{a,b\}:=\nabla _{\xi }a\cdot \nabla _xb-\nabla _xa\cdot \nabla _{\xi }b\) the Poisson’s bracket between symbols.
The following is Theorem 2.5 in [2]. This result concerns the symbolic calculus for the composition of Bony–Weyl paradifferential operators.
Theorem 2.4
(Composition) Let \(s_0>d/2\), \(m,m'\in \mathbb {R}\), \(\rho \in (0,2]\) and \(a\in \Gamma ^m_{s_0+\rho }\), \(b\in \Gamma ^{m'}_{s_0+\rho }\). We have
where the linear operator \(R^{c}_{\rho }\) maps \({H}^s({{\mathbb {T}}})\) into \({H}^{s+\rho -m-m'}\), for any \(s\in {{\mathbb {R}}}\).
Moreover it satisfies the following estimate, for all \(u\in {H}^s\),
where \(N\ge 3d+4\).
The next result is Lemma 2.7 in [2].
Lemma 2.5
(Paraproduct) Fix \(s_0>d/2\) and let \(f\in H^s\) and \(g\in H^r\) with \(s + r \ge 0\). Then
where the bilinear operator \(R: H^s \times H^r\rightarrow H^{s + r - s_0}\) satisfies the estimate
3 Paralinearization
We rewrite Eq. (1.1) as a system of paradifferential equations as done in [8, 9], but we use the paradifferential framework introduced above. Let \(u\in H^{{s}}\), with \({s}>d/2+1\), we introduce the symbols
where \(F=F(u,\nabla u)\) in (1.2). Furthermore, since the symbols may contain one derivative of the unknown u, one proves the estimates on the seminorms (recall (2.8))
We have the following.
Proposition 3.1
Fix \(s_0>d/2\). The Eq. (1.1) is equivalent to the following system:
where
the matrices \(A_2(x,\xi )=A_2(U;x,\xi )\), \(A_1(x,\xi )=A_1(U;x,\xi )\) have the form
and \(a_2,a_1,b_2\) are the symbol in (3.1). For any \(s\ge s_0+3\) and any \( U,V\in {{\mathcal {H}}}^{s}(\mathbb {T}^{d};\mathbb {C}^{2}) \), the remainder R satisfies the estimates
where \(\texttt {C}(\cdot ,\cdot ):={C}(\max \{\cdot ,\cdot \})>0\), for some non decreasing function \(C(\cdot )\). Concerning the unbounded part of the equation we have for any \({\sigma }\ge 0\) and \(j=1,2\)
for any U, V, W in \({{\mathcal {H}}}^{{\sigma }}\).
In order to prove Proposition 3.1, we first show the following lemma.
Lemma 3.2
Fix \(s_0>d/2\) and \(s\ge s_0\). Consider \(u\in H^{s}(\mathbb {T}^{d};\mathbb {C})\), then we have that
where R(u)u is a remainder satisfying
where \(\texttt {C}(\cdot )\) is a non decreasing function.
Proof
Since the nonlinearity is a polynomial, the (3.11)–(3.13) follow by a repeated application of the paraproduct Lemma 2.5 (for more general nonlinearities one can look at [16]). \(\square \)
proof of Proposition 3.1
Consider now the first paradifferential term in (3.13). We have, for any \(j,k=1,\ldots ,d\),
By applying Proposition 2.4 with \(\rho =2\), we obtain
where\( \Vert {R}(u)u\Vert _{{s}}\lesssim \texttt {C}(\Vert u\Vert _{{s_0+3}})\Vert u\Vert _{{s}}\,,\) for some non increasing function \(\texttt {C}(\cdot )>0\). Then
where we used the symmetry of the matrix \(\partial _{\overline{\nabla u}\, \nabla u}F\) (recall F is real). By performing similar explicit computations on the other summands in (3.11)–(3.13) we get the (3.3), (3.5) with symbols in (3.1). By the discussion above we deduced that the remainder R(U)U in (3.3) satisfies the bound (3.6). The estimate (3.7) follow by the fact that the nonlinearity is polynomial and therefore all the remainders are by multilinear. \(\square \)
Remark 3.3
If the nonlinearity satisfies the hypotheses of Theorem 1.2, then the symbols of the paralinearized system are simpler, in particular \(a_2\) and \(b_2\) do not depend on \(\xi \) and on \(\nabla u\)
Since they do not contain derivatives of u, we have the improved estimates on their semi-norms
This implies that the result of Theorem 3.1, in the case that F satisfies the hypotheses of Theorem 1.2, holds true changing \(s_0+1\rightsquigarrow s_0\) therein. In other words, the minimal regularity needed on the solution U is \(\mathfrak {s}_0>d/2+2\) instead of \(d/2+3\).
4 Modified energy and linear well posedness
In this section we shall define a norm on \(H^s\) which is almost equivalent to the standard Sobolev one and which is tailored to the problem (3.1), in such a way that we shall be able to obtain a priori estimates on the solutions. We consider first a linearized, regularized, homogeneous version of (3.3)
where \(\Delta ^2U:={Op^{\textrm{BW}}}(|\xi |^4)U \) and \({{\underline{\varvec{U}}}}\) is a fixed function satisfying for \(s_0>d/2\)
for some \(\Theta \ge r>0\). For any \(\epsilon >0\) the Eq. (4.1) admits a unique solution defined on a small interval (depending on \(\epsilon \)), this is the content of the following lemma. This method is called artificial viscosity, or parabolic regularization, it was used directly on the nonlinear problem in [14], while it has used on the linear problem in [6, 10].
Lemma 4.1
Let \(\sigma \ge 0\) and assume (4.2). For any \(\epsilon >0\) there exists \(T_{\epsilon }>0\) such that the following holds. For any initial condition \(U_0=U(0,x)\in {{\mathcal {H}}}^{{\sigma }}\) there exists a unique solution \(U^{\epsilon }(t,x)\) of (4.1) which belongs to the space \(C^0([0,T_{\epsilon });{{\mathcal {H}}}^{{\sigma }})\cap C^1([0,T_{\epsilon });{{\mathcal {H}}}^{{\sigma }-2})\).
Proof
We consider the operator
We have \(\Vert e^{-\epsilon t\Delta ^2}U_0\Vert _{{{\sigma }}}\le \Vert U_0\Vert _{H^{{\sigma }}}\) and \(\Vert \int _0^te^{-\epsilon (t-t')\Delta ^2} f(t',\cdot )\hbox {d}t'\Vert _{{{\sigma }}}\le t^{\frac{1}{2}}\epsilon ^{-\frac{1}{2}}\Vert f\Vert _{{{\sigma }-2}}\), with these estimates, (3.2), (4.2) and Theorem 2.2 one may apply a fixed point argument in a suitable subspace of \(C^{0}([0,T_{\epsilon });{{\mathcal {H}}}^{{\sigma }})\) for a suitable time \(T_{\epsilon }\) (going to zero when \(\epsilon \) goes to zero). Let us prove the second one of the above inequalities. We use the Minkowski inequality and the boundedness of the function \(\alpha ^{3/2}e^{-\alpha }\) for \(\alpha \ge 0\), we get
\(\square \)
4.1 Diagonalization at the highest order
Recall (3.4), (3.5), (3.1), consider the matrix \(E\widetilde{A}_{2}(x,\xi )\)
Define
Notice that the symbol \(\lambda \) is well-defined thanks to (1.3). The matrix of the normalized eigenvectors associated to the eigenvalues \(\pm \lambda (x,\xi )\) of \(E\widetilde{A}_{2}(x,\xi )\) is
Let us also define the lower order correction
We needed to introduce such a lower order correction in order to build a parametrix (i.e. an invertible map up to smoothing operators) having a remainder gaining two derivatives, see Lemma 4.2. We have the following estimates on the seminorms of the symbols in the matrices above
Lemma 4.2
Fix \(s_0>{d}/{2}\), there exists a linear operator \(R_{-2}({{\underline{\varvec{U}}}})[\cdot ]\) satisfying
for any \(s\ge {s}_0+3\) and such that
Proof
It is a direct consequence of Theorem 2.4 used with \(\rho =1\). \(\square \)
We diagonalize the highest order \(E{Op^{\textrm{BW}}}(A_2)\) (recall Proposition 3.1) by means of the parametrix constructed above.
Proposition 4.3
Fix \(s_0>d/2\), there exists a linear operator \(R_{0}({{\underline{\varvec{U}}}})[\cdot ]\), satisfying
such that
where \(\lambda (x,\xi )\) is the eigenvalue defined in (4.4) and \({A}_1^+(x,\xi )\) is a matrix of symbols having the form
with \({a_1^+}\) being real and \(a_1^+, b_1^+\) odd with respect to \(\xi \). Moreover we have the estimates on the seminorms
Proof
We set the following notation: given an operator H, we define \(\overline{H}(u):=\overline{H(\overline{u})}\), \(R_0({{\underline{\varvec{U}}}})\) is a remainder satisfying (4.10) and may change from line to line throughout the proof. We have
By using Theorem 2.4 with \(\rho =1\) and \(s_1^2-|s_2|^2=1\), we have \( C_1=T_{a_{1}}+R_0({{\underline{\varvec{U}}}})\,\) and \( C_2=R_0({{\underline{\varvec{U}}}}). \) By an explicit computation, using Theorem 2.4 with \(\rho =2\) and (3.2), (4.7) we have
where
We study each term separately. By using symbolic calculus, i.e. Theorem 2.4 with \(\rho =2\), and the estimates on the seminorms (3.2), (4.7), we get
where
By expanding the Poisson bracket we get that
Moreover, recalling the estimates on the seminorms (3.2), (4.7), we have
Reasoning similarly we can develop \(B_2\) in (4.14) as follows \(B_2:=T_{d_2}+T_{d_1}+R_0({{\underline{\varvec{U}}}}),\) where
By expanding the Poisson bracket we get that \(d_1(x,\xi )\equiv 0\,.\) We now study the second summand in the right hand side of (4.13), we compute the matrix of symbols of order 1
where
Moreover one can check that the symbols \(r_1,r_2\) satisfy
and, using the estimates on the seminorms (3.2), (4.7), that
One concludes by noticing that \({Op^{\textrm{BW}}}(S^{-1}EA_2S)=E{Op^{\textrm{BW}}}(\lambda (x,\xi )|\xi |^2)\). \(\square \)
Remark 4.4
When the nonlinearity satisfies the hypotheses of Theorem 1.2, the eigenvalues (4.4) and the symbols in (4.5) do not depend on \(\xi \). This implies, by using Theorem 2.4 with \(\rho =2\), that \({Op^{\textrm{BW}}}(S(x))\circ {Op^{\textrm{BW}}}(S^{-1}(x))=\mathbbm {1}+R_{-2}({{\underline{\varvec{U}}}})[\cdot ]\). In other words, we do not need, in this special case, corrections to obtain a parametrix with a remainder gaining two derivatives. This case is very similar, indeed, to [2]. As a consequence we also have that \(b_1^+\) in the matrix \(A_1^+\) in (4.11) equals to zero, indeed the off diagonal terms at order one were generated by (see (4.15), (4.16)) \({Op^{\textrm{BW}}}\Big ( S^{-1}E{A}_2S_*)\), which is equal to zero in this context.
4.2 Diagonalization at the sub-principal order
In this section we eliminate the off diagonal term in the matrix of symbols of order one \(A^+_1(x,\xi )\) in (4.11), this is possible by multiplying on the left by a matrix of paradifferential operators of order \(-1\).
Let \(\varphi (\xi )\) an even function in \(C^{\infty }_c({{\mathbb {R}}})\) with \(supp(\varphi )\subset \{|\xi |\ge 1/2\}\) and \(\varphi \equiv 0\) on \(\{|\xi |\le 1/4\}\). We define the matrix
where \(b_1^+(x,\xi )\) is given by Proposition 4.3 and \(\lambda (x,\xi )\) is defined in (4.4). We note that, thanks to the ellipticity (1.3) and the estimates (4.12), \(c(x,\xi )\) is a well defined symbol of order \(-1\) verifying
Lemma 4.5
There exists an operator \(R_0({{\underline{\varvec{U}}}})[\cdot ]\), different from the one in Proposition 4.3, satisfying the estimate (4.10), such that
where \(a_1^+(x,\xi )\) is the one of Proposition 4.3 and \(\lambda (x,\xi )\) is defined in (4.4).
Proof
We begin by noticing that the operators
are bounded, then their contribution may be absorbed in the remainder \(R_0({{\underline{\varvec{U}}}})\) thanks to Theorems 2.2, (4.12) and (4.19). We use symbol calculus, i. e. Theorem 2.4, with \(\rho =1\) and we obtain
from which, thanks to the choice of \(c(x,\xi )\) in (4.18), we conclude the proof. \(\square \)
Remark 4.6
This step is not needed in the case that the nonlinearity satisfies the hypothesis of Theorem 1.2.
4.3 The modified energy
We define the operator
where \(C(x,\xi )\) is defined in (4.18) and \(S^{-1}(x,\xi )\) is defined in (4.5). We introduce the following norm
We prove that this norm is almost equivalent to the standard Sobolev one \(\Vert \cdot \Vert ^2_{{\sigma }}\).
Lemma 4.7
Fix \(\sigma \ge 0\) and \(r>0\) as in (4.2). There exists a constant \(C_r>0\) such that
Proof
The upper bound follows by Theorems 2.2, (4.12) and (4.19), indeed
We focus on the lower bound. Let \(\delta >0\) such that \(s_0-\delta >d/2\), we use Theorem 2.4 with \(\rho =\delta \) and we obtain
where \(\Vert R_{-\delta }({{\underline{\varvec{U}}}})V\Vert _{\sigma }\lesssim C_{\Theta }\Vert V\Vert _{\sigma -\delta }\). Analogously we obtain
where \(\Vert R_{2{\sigma }-\delta }({{\underline{\varvec{U}}}})\Vert _{{\sigma }'-2{\sigma }+\delta }\le C_{\Theta }\Vert U\Vert _{{\sigma }'}\). We have the following chain of inequalities
By using the interpolation inequality (2.6), Young inequality \(ab\le p^{-1}a^p+q^{-1}b^q\) with \(p=\frac{2({\sigma }+2)}{\delta }\), \(q=\frac{2({\sigma }+2)}{2({\sigma }+2)-\delta }\), we obtain \(\Vert V\Vert _{{\sigma }-{\delta }/{2}}^2\le \eta ^{-\frac{2({\sigma }+2)}{\delta }}\Vert V\Vert _{-2}^2+\eta ^{\frac{2({\sigma }+2)}{2({\sigma }+2)-\delta }}\Vert V\Vert _{{\sigma }}^2\) for any \(\eta >0\). We conclude by choosing \(\eta \) small enough. \(\square \)
Lemma 4.8
(Garding type inequality) Let \({{\underline{\varvec{U}}}}\) be as in (4.2), there exist \(C_{\Theta }, C_r>0\) such that
Proof
We prove the first inequality, being the second one similar. By using symbolic calculus, i.e. Theorem 2.4, with \(\rho =1\) we obtain an operator \(R_{2\sigma +3}({{\underline{\varvec{U}}}})\) satisfying \(\Vert R_{2\sigma +3}({{\underline{\varvec{U}}}})V\Vert _{0}\le C_{\Theta }\Vert V\Vert _{2{\sigma }+3}\) such that
As a consequence of the above equation we have
where in the last equality we have used the self adjoint character of \({Op^{\textrm{BW}}}(|\xi |^2)\) and \({Op^{\textrm{BW}}}(|\xi |^2){{\mathcal {C}}}-{{\mathcal {C}}}{Op^{\textrm{BW}}}(|\xi |^2)=R_{1}({{\underline{\varvec{U}}}})\), with \(\Vert R_{1}({{\underline{\varvec{U}}}})\Vert _{{\sigma }}\le C_{\Theta }\Vert U\Vert _{{\sigma }+1}\) for any \({\sigma }\ge 0\). By means of the duality inequality \(\langle \cdot ,\cdot \rangle \le \Vert \cdot \Vert _{-{\sigma }-1/2}\Vert \cdot \Vert _{{\sigma }+1/2}\), the action Theorem 2.2, the estimates on the semi norms (4.12), (4.19), we infer that
Analogously, by using \(\langle \cdot ,\cdot \rangle \le \Vert \cdot \Vert _{-{\sigma }-3/2}\Vert \cdot \Vert _{{\sigma }+3/2}\) we obtain
Recalling (4.24), we use the left inequality in Lemma 4.7 and inequalities (4.25), (4.26) to infer that
from which one obtains the thesis by using the interpolation inequality \(\Vert U\Vert ^2_{{\sigma }+3/2}\le \eta \Vert U\Vert ^2_{{\sigma }+2}+\eta ^{-1}\Vert U\Vert ^2_{{\sigma }}\) with \(\eta \) small enough. \(\square \)
In the following we prove the energy estimates on the solutions of the linear problem (4.1).
Proposition 4.9
Let \({{\underline{\varvec{U}}}}\) satisfy (4.2). For any \(\sigma >0\) there exist constants \(C_r>0\) and \(C_{\Theta }>0\) such that the unique solution of (4.1) fullfills
As a consequence one also has
Proof
We take the time derivative of the energy (4.21) along the solutions of the Eq. (4.1). We obtain
The first summand in the r.h.s. of (4.28) is bounded from above by \(C_{\Theta }\Vert U^{\epsilon }\Vert _\sigma ^2\), indeed, by using (4.2)
therefore, thanks also to (4.7) and (4.19) one is in position to use Theorem 2.2 together with the duality inequality \(\langle \cdot ,\cdot \rangle \le \Vert \cdot \Vert _{-{\sigma }}\Vert \cdot \Vert _{{\sigma }} \). With an analogous reasoning one may bound from above the second line in (4.28) by \(C_{\Theta }\Vert U^{\epsilon }\Vert _\sigma ^2\).
We focus on the third line of (4.28), by using the Eq. (4.1) and setting \(A:=A_2({{\underline{\varvec{U}}}};x,\xi )+A_1({{\underline{\varvec{U}}}};x,\xi )\), we get
Concerning (4.30) we may use Lemma 4.8 and bound it from above by
In (4.29) we have to see a cancellation. By Lemma 4.2 we have
modulo a remainder which, by means of (4.8), Cauchy–Schwarz inequality and Theorem 2.2, is bounded from above by \(C_{\Theta }\Vert U^{\epsilon }\Vert _{\sigma }^2\). Furthermore, we plug the operator \((\mathbbm {1}+{Op^{\textrm{BW}}}(C(x,\xi )))(\mathbbm {1}-{Op^{\textrm{BW}}}(C(x,\xi )))\) between \({Op^{\textrm{BW}}}(S+S_{*})\) and \({Op^{\textrm{BW}}}(S^{-1})\), inside the scalar products above, this is possible since \((\mathbbm {1}+{Op^{\textrm{BW}}}(C(x,\xi )))(\mathbbm {1}-{Op^{\textrm{BW}}}(C(x,\xi )))\) equals to the identity modulo and operator gaining two derivatives. Recalling (4.20), we are in position to use Proposition 4.3 and Lemma 4.5 and obtain
modulo remainders which are bounded from above by \(C_{\Theta }\Vert U^{\epsilon }\Vert _{\sigma }^2\). Using the skew-adjoint character of the operator \( \textrm{i}{Op^{\textrm{BW}}}(E\lambda |\xi |^{2}+\mathbbm {1}a_1^+\big )\), we may write
where we have defined \({{\mathcal {A}}}:={Op^{\textrm{BW}}}(E\lambda |\xi |^{2}+\mathbbm {1}a_1^+)\), modulo terms bounded by \(C_{\Theta }\Vert U^{\epsilon }\Vert _{\sigma }^2\). By using the symbolic calculus, i.e. Theorem 2.4, with \(\rho =2\) we obtain
modulo remainders bounded by \(C_{\Theta }\Vert U^{\epsilon }\Vert _{{\sigma }}^2\). We conclude the proof noticing that the above Poisson bracket equals to zero.
We eventually obtained \(\tfrac{\hbox {d}}{\hbox {d}t}\Vert U^{\epsilon }\Vert _{{{\underline{\varvec{U}}}},{\sigma }}^2\le C_{\Theta }\Vert U^{\epsilon }\Vert ^2_{{\sigma }}\), integrating over the time interval [0, t) we obtain
We now use (4.7) and the fact that \(\Vert \partial _{t}U^{\epsilon }\Vert _{{-2}}\le C_{\Theta }\Vert U^{\epsilon }\Vert _{{0}}\le C_{\Theta } \Vert U^{\epsilon }\Vert _{{\sigma }}\) since \(\sigma \ge 0.\) \(\square \)
We are in position to state and prove the following linear well posedness result.
Proposition 4.10
Let \(\Theta \ge r>0\) and \({{\underline{\varvec{U}}}}\) be a function in \(C^0([0,T); {{\mathcal {H}}}^{s_0+3})\cap C^1([0,T); {{\mathcal {H}}}^{s_0+1})\), satisfying (4.2) with \(s_0>d/2\). Let \(\sigma \ge 0\) and R(t) be a function in \(C^0([0,T);{{\mathcal {H}}}^{{\sigma }})\). Then there exists a unique solution V in \(C^0([0,T); {{\mathcal {H}}}^{{\sigma }})\cap C^1([0,T); {{\mathcal {H}}}^{{\sigma }-2})\) of the linear inhomogeneous problem
with initial condition \(V(0,x)=V_0(x)\in {{\mathcal {H}}}^{{\sigma }}\). Furthermore the solution satisfies
Proof
We consider the following smoothed version of the initial condition \(V_0\)
where \(\chi \) is a \(C^{\infty }\) function with compact support being equal to one on \([-1,1]\) and zero on \({{\mathbb {R}}}\setminus [-2,2]\). We consider moreover the smoothed, homogeneous version of (4.31), i.e. equation (4.1). All the solutions \(V^{\epsilon }\) are defined on a common time interval [0, T) with \(T>0\) independent on \(\epsilon \), because of Proposition 4.9. We prove that the sequence \(V^{\epsilon }\) converges to a solution of (4.1) with \(\epsilon \) equal to zero both in the initial condition and in the equation. Let \(0<\epsilon '<\epsilon \), set \(V^{\epsilon ,\epsilon '}=V^{\epsilon }-V^{\epsilon '}\), then
Thanks to the discussion above there exists the flow \(\Phi (t)\) of the equation
and it has estimates independent of \(\epsilon ,\epsilon '\). By means of Duhamel formula, we can write the solution of (4.33) in the implicit form
using (4.27) we obtain \(\Vert V^{\epsilon ,\epsilon '}(t,x)\Vert _{L^{\infty }H^{\sigma }}\le C (\epsilon -\epsilon ')\Vert V_0\Vert _{ H^{\sigma }}+(\epsilon -\epsilon ')\Vert V_0^{\epsilon }(t)\Vert _{H^{\sigma +4}}\) . We conclude using the smoothing estimate \(\Vert V_0^{\epsilon }\Vert _{H^{\sigma +4}}\le \epsilon ^{-\frac{1}{2}}\Vert V_0\Vert _{H^{\sigma }}\). We eventually proved that we have a well defined flow of the Eq. (4.31) with \(\mathfrak {R}(t)=0\). The non homogeneous case, i.e. \(\mathfrak {R}(t)\ne 0\), follows by using the Duhamel formula. \(\square \)
Remark 4.11
In the case that the nonlinearity satisfies the hypotheses of Theorem 1.2, the modified energy in (4.20), (4.21) is defined by the simpler operator \({{\mathcal {C}}}:={Op^{\textrm{BW}}}(S^{-1}(x,\xi )).\) This modified energy is similar to the one in [2]. As consequence of this and of Remarks 3.3, 4.4, 4.6 the (4.2) may be replaced by
so that Proposition 4.10 holds for \({{\underline{\varvec{U}}}}\) satisfying (4.34).
5 Nonlinear well posedness
This section is nowadays standard, we mostly follow [2], analogous reasonings are developed also in [6, 9]. We set \({{\mathcal {A}}}({{\underline{\varvec{U}}}}):=\textrm{i}E{Op^{\textrm{BW}}}(A_2({{\underline{\varvec{U}}}};x,\xi )+A_{1}({{\underline{\varvec{U}}}};x,\xi ))\), \(U^0(t,x)=U_0(x)\) and we define the following iterative scheme (recall (3.3))
In the following lemma we prove that each problem \({{\mathcal {P}}}_n\), admits a unique solution for any \(n\ge 1\), and that the sequence of such solutions converges.
Lemma 5.1
Let \(U_0\in {{\mathcal {H}}}^{s}\), \(s>d/2+3\) and set \(r=2\Vert U_0\Vert _{H^{s_0+1}}\), \(s_0>d/2\). There exists \(T:=T(s,\Vert U_0\Vert _{s_0+3})\) such that for any \(n\ge 1\) we have the following.
- \((S1)_n\)-:
-
The problem \({{\mathcal {P}}}_n\) admits a unique solution \(U^n\) belonging to the functional space \(C^0([0,T);{{\mathcal {H}}}^{s})\cap C^1([0,T);{{\mathcal {H}}}^{s-2})\).
- \((S2)_n\)-:
-
There exists a constant \(C_r>0\) such that, setting \(\Theta := 4C_r\Vert U_0\Vert _{s_0+3}\) and \(M:= 4C_r\Vert U_0\Vert _{s}\) we have for any \(1\le m\le n\)
$$\begin{aligned}&\Vert U^m\Vert _{L^{\infty }H^{s_0+1}}\le r, \end{aligned}$$(5.2)$$\begin{aligned}&\Vert U^m\Vert _{L^{\infty }H^{s_0+3}}\le \Theta , \quad \Vert \partial _tU^m\Vert _{L^{\infty }H^{s_0+1}}\le C_r \Theta , \end{aligned}$$(5.3)$$\begin{aligned}&\Vert U^m\Vert _{L^{\infty }H^{s}}\le M, \quad \quad \Vert \partial _tU^m\Vert _{L^{\infty }H^{s-2}}\le C_r M. \end{aligned}$$(5.4) - \((S3)_n\)-:
-
For any \(1\le m\le n\) we have \(\Vert U^m-U^{m-1}\Vert _{L^{\infty }H^{s_0+1}}\le 2^{-m}r\).
Proof
We proceed by induction over \(n\ge 1.\) We prove \((S1)_1\) by using Proposition 4.10 with \(R(t):=R(U_0)U_0\). Moreover by using (4.32) we have
for any \(\sigma \ge s_0+1\). By using the latter inequality with \({\sigma }= s_0+3\), the choice of \(\Theta \) in the statement and \(T>0\) such that \(TC_{\Theta } e^{TC_{\Theta }}\le 1/4\) we obtain the first in (5.3) at the level \(n=1\). To obtain the second in (5.3) one has to use directly the Eq. (5.1) together with the estimates (3.6), (3.9) and the first in (5.3) The (5.4) at the level \(n=1\) is obtained similarly. To prove (5.2) at the level \(n=1\) we note that \(V^1:=U^1-U_0\) solves the equation
with initial condition \(V^1(0,x)=0\). Using (4.32), (3.9) and (3.6), we may bound \(\Vert V^1\Vert _{L^{\infty }H^{{\sigma }}}\)by \(C_rC_{\Theta }\Theta Te^{C_{\Theta }T}\), therefore we prove (5.2) at the level \(n=1\) and \((S3)_1\) by choosing T in such a way that \(C_rC_{\Theta }\Theta Te^{C_{\Theta }T}\le r/2\).
We now assume that \((S1)_{n-1},\) \((S2)_{n-1},\) \((S3)_{n-1},\) hold true and we prove them at the level n. Owing to (5.2),(5.3), (5.4) at the level \(n-1\) we can use Proposition 4.10 in order to show \((S1)_n\). We prove (5.3). By using (4.32) with \(\sigma =s_0+3\), we obtain
therefore we obtain the first in (5.3) by choosing \(T\Theta \) small enough. To obtain the second in (5.3), we can reason as done in the case of (5.3) at the level \(n=1\). The (5.4) is obtained in a similar way, by using Proposition 4.10 with \({\sigma }=s\). The (5.2) is a consequence of \((S3)_n\). We prove \((S3)_n\). Set \(V^n:=U^{n}-U^{n-1}\), we have
where
We note that, by means of (3.10) and (3.8) we have
We are in position to use Proposition 4.10 with \({\sigma }=s_0+1\) and \(R(t):= f_{n}\)
we conclude again by choosing T small enough. \(\square \)
Remark 5.2
In view of Remarks 3.3, 4.4, 4.6, 4.11 if the nonlinearity satisfies the hypotheses of Theorem 1.1, we may replace \(s_0+1\rightsquigarrow s_0\) in the statement of Lemma 5.1.
We are now in position to prove the main theorem.
Proof of Theorems 1.1 and 1.2
We prove Theorem 1.1. By means of Proposition 3.1 we know that (1.1) is equivalent to (3.3). As a consequence of Lemma 5.1 we obtain a Cauchy sequence in \(U^n\in C^0([0,T),{{\mathcal {H}}}^{s'})\cap C^1([0,T),{{\mathcal {H}}}^{s'-2})\) for \(s>s'\ge s_0+1\). Indeed, for \(s'=s_0+1\) this is the \((S3)_n\) and for \(s>s'> s_0+1\) we can interpolate \((S3)_n\) and (5.4) by means of (2.6). Analogously one proves that \(\partial _t U^n\) is a Cauchy sequence in \(C^0([0,T),{{\mathcal {H}}}^{s'-2})\). Let U(t) be the limit, in order to show that U(t) solves (3.3) it is enough to prove that
converges to 0 in \(L^{\infty }{{\mathcal {H}}}^{s'-2}\), but this is a consequence of Theorem 2.2 and contraction estimates (3.10), (3.7). The uniqueness may be proved by contradiction with similar computations to the ones performed in Lemma 5.1. Thanks to (5.4) we have that \(U^n\) is a bounded sequence in \(C^0([0,T),{{\mathcal {H}}}^{s})\cap C^1([0,T),{{\mathcal {H}}}^{s-2})\), which implies that \(U\in L^{\infty }([0,T),{{\mathcal {H}}}^{s})\cap Lip([0,T),{{\mathcal {H}}}^{s-2})\). To prove that it is actually continuous with the \({{\mathcal {H}}}^s\) topology, as well as the continuity of the solution map, one has to use the Bona–Smith technique [3] as done in [2] or [9]. We do not reproduce the proof here.
Concerning the proof of Theorem 1.2 one has to reason exactly in the same way taking into account Remarks 3.3, 4.4, 4.6, 4.11, 5.2. \(\square \)
References
Alazard, T., Burq, N., Zuily, C.: On the water-wave equations with surface tension. Duke Math. J. 158(3), 413–499 (2011)
Berti, M., Maspero, A., Murgante, F.: Local well posedness of the Euler–Korteweg equations on \({\mathbb{T} }^{d}\). J. Dyn. Differ. Equ. 33(3), 1475–1513 (2021)
Bona, J.L., Smith, R.: The initial-value problem for the Korteweg–de Vries equation. Philos. Trans. R. Soc. Lond. Ser. A 278, 555–601 (1975)
Christ, M.: Illposedness of a Schrödinger equation with derivative nonlinearity. preprint (2003)
Colin, M.: On the local well-posedness of quasilinear Schrödinger equations in arbitrary space dimension. Commun. Partial Differ. Equ. 27, 325–354 (2002)
Feola, R., Giuliani, F., Iandoli, F., Massetti, J.E.: Local well posedness for a system of quasilinear PDEs modelling suspension bridges. Nonlinear Anal. TMA (2024). https://doi.org/10.1016/j.na.2023.113442
Feola, R., Grébert, B., Iandoli, F.: Long time solutions for quasilinear Hamiltonian perturbations of Schrödinger and Klein–Gordon equations on tori. Anal. PDE 16(5), 1133–1203 (2023)
Feola, R., Iandoli, F.: Local well-posedness for quasilinear NLS with large Cauchy data on the circle. Ann. I. H. Poincaré (C) Anal. Non Linéaire 36(1), 119–164 (2018)
Feola, R., Iandoli, F.: Local well-posedness for the quasilinear Hamiltonian Schrödinger equation on tori. J. Mathé. Pures Appl. 157, 243–281 (2022)
Iandoli, F.: On the Cauchy problem for quasilinear Hamiltonian KdV-type equations. In: Qualitative Properties of Dispersive PDEs. INdAM 2021. Springer INdAM Series, vol. 52 (2022)
Iandoli, F., Niu, J.: Controllability of quasilinear Hamiltonian Schrödinger equations on tori. Journal of differential equations, Volume 390, Pages 125–170, 2024. https://doi.org/10.1016/j.jde.2024.01.032
Jeong, I.J., Oh, S.-J.: Illposedness for dispersive equations: Degenerate dispersion and Takeuchi–Mizohata condition arXiv:2308.15408
Kato, T.: Quasi-linear equations of evolution, with applications to partial differential equations. In: Spectral Theory and Differential Equations (Proceedings of Symposium, Dundee, 1974; Dedicated to Konrad Jörgens), Lecture Notes in Mathematics, vol. 448, pp. 25–70. Springer, Berlin (1975)
Kenig, C.E., Ponce, G., Vega, L.: The Cauchy problem for quasilinear Schrödinger equations. Invent. Math. 158, 343–388 (2004)
Marzuola, J., Metcalfe, J., Tataru, D.: Quasilinear Schrödinger equations III: large data and short time. Arch. Ration. Mech. Anal. 242, 1119–1175 (2021)
Métivier, G.: Para-Differential Calculus and Applications to the Cauchy Problem for Nonlinear Systems, volume 5 of CRM Series. Edizioni della Normale Superiore di Pisa (2008)
Acknowledgements
F. Iandoli has been partially supported by research project PRIN 2017JPCAPN: “Qualitative and quantitative aspects of nonlinear PDEs" of the Italian Ministry of Education and Research (MIUR).
Funding
Open access funding provided by Università della Calabria within the CRUI-CARE Agreement.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Iandoli, F. On the quasilinear Schrödinger equations on tori. Annali di Matematica 203, 1913–1930 (2024). https://doi.org/10.1007/s10231-024-01428-0
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10231-024-01428-0