Abstract
In this paper we study a class of variable coefficient third order partial differential operators on \({\mathbb {R}}^{n+1}\), containing, as a subclass, some variable coefficient operators of KdV-type in any space dimension. For such a class, as well as for the adjoint class, we obtain a Carleman estimate and the local solvability at any point of \({\mathbb {R}}^{n+1}\). A discussion of possible applications in the context of dispersive equations is provided.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In this paper, we will continue the investigation of some variable coefficient PDOs (partial differential operators) built from a system of real smooth vector fields, initiated in the works [13, 15, 18, 19] (see also [12, 14, 17]). Since when the celebrated works by Kolmogorov [31] first, and by Hörmander [24] afterwards, about the hypoellipticity of operators written as sums of squares of vector fields were published, a lot of connected problems have been investigated. In particular, Hörmander’s hypoelliptic theorem in [24] opened up the study of sub-Laplacians on Lie groups (see [40]), of parametrices for such operators, of sharp estimates in appropriate functional spaces (see the pioneering works [23, 40]), but also, among other questions, that of the local solvability of closely related models (see, for instance, [13, 15, 18, 19, 35, 39] and references therein).
In the series of works [13, 15, 18, 19], the authors focus on the local solvability of some classes of degenerate second order PDOs built from a system of real smooth vector fields and a somewhere vanishing function. The use of the vanishing function is twofold: on one side it adds degeneracy to a model which is already degenerate by itself, on the other side it permits to include in the treatment some operators generalizing the Kannai operator, that is operators having a changing sign principal symbol. The introduction of the vanishing function requires a price to pay, price which is given in terms of conditions on the lower order terms of the operators (see [12, 14, 17] for an overview of such results). Nevertheless, the classes studied in these works encompass different lower order terms, which makes it possible to include parabolic-type operators, Schrödinger-type operators, a blend of the two, and some prototypes with non-smooth coefficients.
What we do in the present paper, is to take inspiration by these works and by the form of some operators relevant in physics, and build a class of operators of order three (instead of two) starting from a system of smooth real vector fields. Let us say right away that we will not involve any additional somewhere vanishing function, since the model under consideration is already highly degenerate and complicated without this adjustment.
Besides the connection with the aforementioned previous works, the interest for such kind of operators has several motivations (see [30] and references therein). One of them is represented by the applications to variable coefficient dispersive equations of KdV-type, where we refer to KdV-type operators as those of the form \(i\partial _t+{\mathcal {L}}(t,x,D_x)\), with \({\mathcal {L}}\) being a third order PDO with smooth coefficients.
In the last decades variable coefficient Schrödinger equations have attracted lots of attention. Smoothing and Strichartz estimates have been proved under different hypotheses (see [2, 11, 20,21,22, 29, 34, 37, 41] and references therein), nonlinear problems have been solved (see [11, 20, 21, 25, 29, 34]), and uniqueness results have been proved (see [7, 8, 10, 27] in the constant coefficient case, and [3, 16] and references therein for variable coefficient cases). For KdV-type equations the investigation has not been pushed that far, possibly because of the unknown real analogue of this equation in dimensions higher than two, and also because variable coefficient third order equations can be much more challenging to study. Here we wish to start a local analysis of some variable coefficient cases, and prove Carleman type estimates to be employed to reach uniqueness results. Let us underline that such estimates have a pivotal role in establishing uniqueness properties, not only at a local (in space) level, but also for global results. In the context of dispersive equations, results for KdV and ZK (Zakharov-Kuznetsov) equations can be found, for instance, in [4, 9, 26, 28, 36, 44], while for nonlocal operators we refer the interested reader to [27, 38]. Note that all these cases deal with constant coefficients operators, while here we are concerned with the situation where the coefficients are variable. As far as the author knows, there are no results in the space variable coefficients setting, at least when the coefficients appear in the highest order part of the operator of KdV-type. Recently, some results on p-evolution equations in one space dimension have appeared in [1]. In that work the operators under investigation have time-dependent coefficients in the leading part, and the class includes KdV operators (since the space domain is one dimensional) with time variable coefficients in the leading part, but not ZK operators. Here we are concerned with space-dependent coefficients in any space dimension.
An other motivation driving this work is that of the local solvability problem for multiple characteristics PDOs. This problem is very hard to attack, and general results often require precise geometrical conditions on the characteristic set. We refer the interested reader to [43] for a nice overview of the classical local solvability problem, and to [5] for the resolution of the Nirenberg-Treves local solvability conjecture.
Let us give a description of the family of operators we will be considering in this paper.
Given a system of vector fields \(\{iX_j(x,D)\}_{j=0}^N\) on \({\mathbb {R}}^{n+1}\) - where N is a positive integer not necessarily equal to n or \(n+1\), and \(D=(D_1,\ldots , D_{n+1})=(-i\partial _{x_1}, \ldots , -i\partial _{x_{n+1}})\) - such that
-
the vector fields \(iX_j(x,D)\), \(j=0,\ldots ,N\), are smooth and real;
-
the vector fields \(iX_j(x,D)\); \(j=1,\ldots ,N\), form a global involutive distribution, that is, \([X_l,X_m](x,D)=-[iX_l,iX_m]\) is uniquely determined by a linear combination with smooth coefficients of the vector fields \(\{iX_j(x,D)\}_{j=1,\ldots ,N}\), for all \(l,m=1,\ldots , N,\) and for all \(x\in {\mathbb {R}}^{n+1}\);
-
\(X_1\) is nondegenerate, namely it is nowhere vanishing on \({\mathbb {R}}^{n+1}\);
we define \(P_1\) as the third order PDO of the form
The latter is the class of operators we will be dealing with, which, depending on N and on the choice of the system of vector fields, includes (linear) KdV-type operators of different kind.
We have already mentioned that our goal is to prove Carleman estimates for such class of operators. To be precise, we will not only obtain Carleman estimates for the class of operators represented by \(P_1\), but also for the adjoint class, that is the family of operators \(P_1^*\) obtained by taking the adjoint of \(P_1\), namely
which coincides with \(P_1\) up to a differential operator of order two.
The main motivation for the Carleman estimate for \(P_1^*\), is our interest in the local solvability of \(P_1\). We recall that the role of Carleman estimates—which is well-known to be determinant in the analysis of unique continuation problems (see, for instance, [32] and [42])—is also crucial to prove local solvability properties of partial differential equations with variable coefficients. An estimate of this sort for an operator P, yields a local solvability result for the adjoint operator \(P^*\). Hence, we can take advantage of the Carleman estimate for \(P_1^*\) to get the local solvability of \(P_1\).
The connection between our operator \(P_1\) and some important operators coming from physics, can be seen by analyzing the following two examples: the (linear) KdV operator and its higher dimensional generalization, the ZK operator. The (linear) KdV operator is described by \(iP_1\) with \(N=n=1\), \({\mathbb {R}}^{n+1}={\mathbb {R}}^2_{t,x}\), \(iX_0=\partial _t\). and \(iX_1=-\partial _{x}\). However, by taking \(iX_1(x)=a(x)\partial _x\), with \(a(x)\ne 0\) for all \(x\in {\mathbb {R}}\), then we get an operator, again of the form \(P_1\), that describes a variable coefficient KdV operator. If we consider \(N=n=2\), \({\mathbb {R}}^{n+1}={\mathbb {R}}_t\times {\mathbb {R}}^2_{x}\), \(iX_0=\partial _t\) and \(iX_j=-\partial _{x_j}\), \(j=1,2\), then \(iP_1\) describes the ZK operator. Again, by taking nonvanishing space-variable coefficient real vector fields satisfying condition \((\textrm{H}_1)\) in (2.1) below, we get a variable coefficient ZK model.
Note that both the classical KdV and the ZK operator (with constant coefficients) are built by taking an elliptic operator in \({\mathbb {R}}^n_x\), i.e. the Laplacian in \({\mathbb {R}}\) and \({\mathbb {R}}^2\) respectively, and then using the two vector fields \(iX_0=\partial _t\) and \(iX_1=\partial _{x_1}\) to define a third order operator. Observe that \(P_1\) is built exactly the same way, but employing variable coefficient real vector fields instead of constant coefficient ones. In fact, to define \(P_1\) we take operators being sums of squares, that is \(\sum _{j=1}^N X_j^* X_j\) (not necessarily elliptic in a subspace of dimension n of the \(n+1\)-dimensional domain), and cook up a third order operator by using \(X_1\) and \(X_0\). An example of variable coefficient KdV-type operator in a three-dimensional Euclidean space domain, can be constructed, for instance, by using the canonical basis of the Lie algebra of the Heisenberg group. Let
be four real smooth vector fields, where \(iX_1, iX_2\) are the generators of the stratified Lie algebra \({\mathfrak {h}}={\mathfrak {h}}_1 \oplus {\mathfrak {h}}_2\) of \({\mathbb {H}}^1\). Then \(\{iX_j\}_{j=1}^3\) is a global involutive distribution in \({\mathbb {R}}^4_{t,x}\),
is an elliptic operator on \({\mathbb {R}}^3_x\), and
is a variable coefficient KdV-type operator of the form \(P_1\) for every choice of \(j_0=1,2,3\), since \(X_{j_0}\) is nondegenerate for all \(j_0=1,2,3\).
The examples above show that \(P_1\)-type operators include KdV and ZK variable coefficient PDOs. However, our class is not limited to be just a generalization of KdV-type operators in any space dimension, since we are free to choose \(n\ge 3\), \(N\le n+1\), but also \(iX_0\ne \partial _t\), giving rise to a very wide family of degenerate operators.
Let us finally conclude this introduction with the plan of the paper. Section 2 is devoted to the the main results of this work, specifically Theorem 2.8 about a Carleman estimate for \(P_1\) and for \(P_1^*\), and Theorem 2.10 giving a local solvability result for both the aforementioned operators. Section 3 is dedicated to explicit examples of operators of the form under study and of KdV-type. The last section, Sect. 4, contains final remarks and the discussion of possible applications in the context of dispersive equations.
2 Carleman estimate and local solvability for \(P_1\) and \(P_1^*\)
We recall once more that in this section we are concerned with the proofs of the main results of the article: a Carleman estimate for \(P_1\) and \(P_1^*\), and a local solvability result for these operators. The Carleman estimate is the most important result of the paper, in that it is the key tool to get the solvability property. Moreover, it can find applications in other problems of our interest, like in uniqueness/unique continuation problems for dispersive equations. On the other hand, the investigation of the local solvability of highly degenerate operators is quite complicated, thus our results represent a step ahead in the understanding of certain kind of operators.
Before stating and proving our theorems, let us make precise the objects we are working with. Recall that, on \({\mathbb {R}}^{n+1}_{x}\), \(x=(x_1,\ldots , x_n, x_{n+1})\), \(n\ge 1\), we define the operator \(P_1\) as
where
with \(D_k=-i\partial _k:=-i\partial _{x_k}\), and \(a_{jk}\in C^\infty ({\mathbb {R}}^{n+1})\), for all \(j,k=1,\ldots , n+1\).
The condition we shall assume on the system of vector fields on \({\mathbb {R}}^{n+1}\) which make up \(P_1\) is the following:
- (\(\textrm{H}_1\)):
-
We say that a system of real smooth vector fields \(\{iX_l\}_{l=1,\ldots , N}\), \(1\le N\le n+1\), satisfies condition (\(\textrm{H}_1\)) if the distribution \(\Gamma (\{iX_l\}_{l=1,\ldots , N})\) is a global involutive distribution, that is, for all \(j,k=1,\ldots ,N\), there exist (uniquely determined) \(c^{jk}_l\in C^\infty ({\mathbb {R}}^{n+1},i{\mathbb {R}}), l=1,\ldots ,N\), such that
$$\begin{aligned}{}[X_j,X_k](x,D)=\sum _{l=1}^N c^{jk}_l(x) X_l(x,D), \quad \forall x\in {\mathbb {R}}^{n+1}, \end{aligned}$$(2.1)where \([X,Y]:=XY-YX\) denotes the commutator of the operators X and Y.
In other words \((\textrm{H}_1)\) amounts to the global involutivity of the system of real smooth vector fields \(\{iX_j\}_{j=1}^N\) on \({\mathbb {R}}^{n+1} \).
Remark 2.1
Due to the global involutivity of the system, and the fact that \(N\ge 1\), there exists at least one vector field \(iX_{j_0}\in \{iX_j\}_{j=1}^N\) being nondegenerate on \({\mathbb {R}}^{n+1}\), or, equivalently, a nowhere vanishing vector field on \({\mathbb {R}}^{n+1}\) in \(\{iX_j\}_{j=1}^N\). By possibly renaming the vector fields, we can always assume \(j_0=1\), so we will use this convention in the rest of the paper when assuming condition \((\textrm{H}_1)\) on a system of vector fields. This assumption will be crucial to derive the Carleman estimate below, and thus the solvability result as well. Note also that, if \(N\le n+1\) and \(\Gamma (\{iX_j\})\) is a global involutive distribution of \(\textrm{rank}=N\), then \(X_j\) is nondegenerate in \({\mathbb {R}}^{n+1}\) for all \(j=1,\ldots ,N\), and we are free to take any vector field in the system as the one playing the role of \(X_1\). Finally, observe that the requirement \(N\le n+1\) is not restrictive. Indeed, when the system is globally involutive and the rank of the distribution is \(M\le n+1\), then if \(N>n+1\) we can rewrite \(P_1\) in terms of \(M\le n+1< N\) vector fields in the second order part.
Remark 2.2
Notice that formula (2.1) holds true independently of the rank of the distribution. If the system of vector fields satisfies \((\textrm{H}_1)\), and the rank of \(\Gamma (\{iX_l\}_{l=1,\ldots , N})=M\le N\le n +1\), then
where some coefficients will be identically zero. Since we will not care about the precise rank of the distribution, we will simply use (2.1).
Remark 2.3
An additional remark is that, by imposing only (\(\textrm{H}_1\)) on the system of vector fields, \(P_1\) generates a class of operators larger than the one of KdV-type operators, in that the latter is modeled by using a system of vector fields satisfying the additional conditions
-
\(X_0(x,D)\ne 0, \quad \forall x\in {\mathbb {R}}^{n+1},\)
-
\([X_j,X_0]\equiv 0, \quad \forall j=1,\ldots ,N\),
-
\(X_j(x,D)=X_j(x_1,\ldots ,x_n, D_1,\ldots , D_n), \quad \forall j=1,\ldots ,N,\)
-
\(N=n\) and \(\sum _{j=1}^n X_j^*X_j\) is elliptic on \({\mathbb {R}}^n_{(x_1,\ldots ,x_n)}\).
Since we will be giving a local solvability result for \(P_1\) and \(P_1^*\), for completeness we recall here the definition of \(H^s-H^{s'}\) locally solvable partial differential operator at a point \(x_0\in \Omega \), where, adopting the usual notation, \(H^s(\Omega )\) will denote the standard Sobolev space of order s.
Definition 2.4
Let P be a partial differential operator with smooth coefficients defined on an open subset \(\Omega \) of \({\mathbb {R}}^n\), and let \(x_0\in \Omega \). We say that P is \(H^s-H^{s'}\) locally solvable at \(x_0\) if there exists a compact K containing \(x_0\) in its interior \(U_K\), such that, for every \(f\in H^{-s}_{loc}(\Omega )\) there exists \(u\in H^{-s'}_{loc}(\Omega )\) for which \(Pu=f\) in \(U_K\). We say that P is \(H^s-H^{s'}\) locally solvable in \(\Omega \), if it is locally solvable at each point of \(\Omega \).
When P is \(H^s-H^{s'}\) locally solvable at \(x_0\) with \(s=s'=0\), we will just say that the operator is \(L^2-L^2\) locally solvable at \(x_0\).
Notations. Below N will always be a positive integer, \(\lambda \) will be a real number, whereas \(A=\{a_{ji}(x)\}_{\begin{array}{c} j=0,\ldots ,N\\ i=1,\dots ,n+1 \end{array}}\) will denote the variable coefficient matrix containing the coefficients of the vector fields \(iX_j\), for \(j=0,\ldots ,N\). For a matrix A as above and \(\alpha \in {\mathbb {N}}^{n+1}\bigcup \{0\}^{n+1}\), we define
where \(\partial ^\alpha f=\partial _1^{\alpha _1}\ldots \partial _{n+1}^{\alpha _{n+1}}\). Throughout the paper we will write \(\Vert \cdot \Vert _{L^\infty }\), \(\Vert \cdot \Vert _{L^2}\), \(\Vert \cdot \Vert _{H^s} \) without specifying the set \(\Omega \) where the \(L^\infty (\Omega )\), \(L^2(\Omega )\), and the \(H^s(\Omega )\) norms are taken. Given that we will be working with compactly supported functions, the set \(\Omega \) will be the fixed support of the function (or its interior), so we omit it for simplicity. However, note that we can take \(\Vert \nabla ^\alpha A\Vert _{L^\infty }=\Vert \nabla ^\alpha A\Vert _{L^\infty ({\mathbb {R}}^{n+1})}\) in the coming estimates when A has \(C^\infty _b({\mathbb {R}}^{n+1})\) coefficients.
Given a partial differential operator P, we will write (Pf)g to indicate the multiplication of Pf and g, meaning that the operator P is applied to the function f only, while Pfg means that P acts on the product fg, that is on everything appearing on the right of the operator. For example, for two vector fields iX and iY, we will have \(X f g= (Xf)g + f (Xg)\), and \((Xf)Y g=(Xf)(Yg)\).
Finally, we shall use the notation \(\Gamma (\{iX_j\}_{j=1}^N)\) for the distribution spanned by the system of vector fields \(\{iX_j\}_{j=1}^N\).
In order to prove our Carleman inequality for \(P_1\) and for \(P_1^*\), we will make use of the subsequent fundamental lemma.
Lemma 2.5
Let \(f\in C^\infty ({\mathbb {R}}^{n+1})\), \(N\ge 1\), and \(\lambda \ge 1\). Let also \(P_1\) be as in (1.1) and \(\{iX_j\}_{j=1}^N\) satisfying \((\textrm{H}_1)\). Then, for every compact set K of \({\mathbb {R}}^{n+1}\), there exists a positive constant \(C_K=C_K\left( \{\Vert \partial ^\alpha f\Vert _{L^\infty (K)}\}_{|\alpha |=0,1,2},\right. \) \(\left. \{\Vert \nabla ^\alpha A\Vert _{L^\infty (K)}\}_{|\alpha |=0,1,2}\right) \) such that, for all \(u\in C_0^\infty (K),\)
where
with \(c^{j1}_k,\) as in (2.1), and \( c'_j:=\sum _{k=1}^N(\sum _{l=1}^Nc^{lk}_j+(X_kc_j^{k1})+d_kc_j^{k1}-2d_kc_k^{j1})\in C^\infty ({\mathbb {R}}^{n+1},i{\mathbb {R}})\) for all \(j,k=1,\ldots , N\).
Proof
We start the proof by computing the quantity
Writing
then
where \(L_2,L_1,L_0\) are the partial differential differential operators of order 2, 1, and 0, given, respectively, by
By the calculations above
so, for simplicity, we handle each term on the right-hand side separately.
Recall that, since the system of vector fields \(\{iX_j\}_{j=1,\ldots ,N}\) is globally involutive, that is satisfies \((\textrm{H}_1)\), for all \(j=1,\ldots , N\), there exist \(c^{j1}_k\in C^\infty ({\mathbb {R}}^{n+1},i{\mathbb {R}}), k=1,\ldots ,N\), such that
By the same token, there exist some \(c^{jk}_l\in C^\infty ({\mathbb {R}}^{n+1},i{\mathbb {R}}), l=1,\ldots ,N\), such that
Now, on putting \(v:=e^{-\lambda f}u\), and using the previous observation, we have
Adopting the notation \(\Vert \cdot \Vert _{L^\infty }:=\Vert \cdot \Vert _{L^\infty (K)}\), we get
where \(c'_j(x):=\sum _{k=1}^N(\sum _{l=1}^Nc^{lk}_j+(X_kc_j^{k1})+d_kc_j^{k1}-2d_kc_k^{j1})(x) \), while \(C_K\) denotes a constant depending on the \(L^\infty (K)\)-norm of some smooth functions, specifically functions depending on the coefficients of the vector fields \(iX_j\) and on their derivatives. Abusing of the notation, below we shall write \(C_K\) for any constant of this form, that is any constant depending on the \(L^\infty (K)\)-norms of f, of the coefficients of the vector fields \(iX_j,j=0,\ldots ,N\), and of the derivatives of these functions. Sometimes \(C_K\) will also depend on the \(L^\infty (K)\)-norm of \(c_j^{kl}\), \(k,l=1,\ldots , N\), \(j=\,\ldots ,n+1\).
As for the term containing \(L_2\), recalling that f is a real function and that \(X_1f\) takes purely imaginary values, we obtain
By similar considerations
and
Finally, by (2.3), (2.4), (2.5), (2.6), and the fact that \(\lambda \ge 1\), we can find a new suitable positive constant \(C_K\) such that
with
This completes the proof. \(\square \)
The same result as Lemma 2.5, with suitable small adjustments, is still valid for the operator \(P_1^*\), the adjoint of \(P_1\). We state the precise result in Lemma 2.6 below.
Lemma 2.6
Let \(f\in C^\infty ({\mathbb {R}}^{n+1})\), \(N\ge 1\), and \(\lambda \ge 1\). Let also \(P_1^*\) be as in (1.2), and \(\{iX_j\}_{j=1}^N\) satisfying \((\textrm{H}_1)\). Then, for every compact set K of \({\mathbb {R}}^{n+1}\), there exists a positive constant \(C_K=C_K\left( \{\Vert \partial ^\alpha f\Vert _{L^\infty (K)}\}_{|\alpha |=0,1,2},\right. \) \(\left. \{\Vert \nabla ^\alpha A\Vert _{L^\infty (K)}\}_{|\alpha |=0,1,2}\right) \) such that, for all \(u\in C_0^\infty (K),\)
where
with \(c^{j1}_k,\) as in (2.1), \( c''_j:=\sum _{k=1}^N\Big ( (X_kc_k^{j1})+(X_k^*c_k^{j1}) +(X_kc_j^{k1})+(X_k^*c_j^{k1})\Big )\in C^\infty ({\mathbb {R}}^{n+1},i{\mathbb {R}})\) for all \(j,k=1,\ldots , N\), and \(Q_j\), \(c_j'\), as in (2.2) for all \(j=1,\ldots ,N\).
Proof
To prove this lemma we make use of Lemma 2.5. By standard arguments we have
where \(c^{j1}_{k}\in C^\infty ({\mathbb {R}}^{n+1},i{\mathbb {R}})\) are such that
Next, as in the proof of Lemma 2.5, we compute
where
Using the same notations as in the proof of Lemma 2.5, we have
where \(Q_j\) is as in (2.2).
Next, we define \(g_j(x):=\sum _{k=1}^N(c^{j1}_{k}d_k-(X_k^*c_{j}^{k1}))\), and have that, since \(g_j\) and \((X_1d_j)\) are real valued functions, and since the \(c_k^{j1}\) take purely imaginary values, then
and
which gives
where
Inserting the last three inequalities, that is (2.10), (2.9) and (2.8), into (2.7), and using that \(\lambda \ge 1\), by rearranging the indices we conclude
with
that is \(Q_j'\) differs from \(Q_j\) in the coefficients of the second term in (2.11), and in the appearance of the function \(c'_j-c''_j\) instead of \(c'_j\) in the last term in (2.11). This completes the proof. \(\square \)
Remark 2.7
The estimates proved so far do not necessitate of the nondegeneracy of \(X_1\). The global nonvanishing requirement on \(X_1\) will come into play in the subsequent results.
In the next theorem we will consider both the case when the system of real smooth vector fields \(\{iX_i\}_{i=1}^N\) satisfies \((\textrm{H}_1)\), and the case when the system has the additional property to be locally elliptic, that is in an open set. Recall that the system is elliptic at a point \(x_0\) whenever \(iX_1(x_0,D),\ldots ,iX_N(x_0,D)\) generate the whole tangent space at that point, namely, in our case, \({\mathbb {R}}^{n+1}\). When this happens, the operator given as the sum of the squares of the vector fields, i.e. \(\sum _{j=1}^NX_j^*X_j\), is elliptic in a sufficiently small neighborhood of \(x_0\). Of course, the system is said to be elliptic in an open set U if it is elliptic at each point of U. The global ellipticity property - the ellipticity at each point of \({\mathbb {R}}^{n+1}\) - is stronger than the global involutivity in \((\textrm{H}_1)\). We can have globally involutive systems which are not globally elliptic. An easy example is given by the vector fields \(iX_1=\partial _{x_1}\) and \(iX_2=x_2\partial _{x_2}\) in \({\mathbb {R}}^2\), which commute and generate a globally involutive system, but form an elliptic system at any point of \({\mathbb {R}}^2{\setminus }\{x\in {\mathbb {R}}^2; x_2=0\}\) and not on the whole \({\mathbb {R}}^2\).
Theorem 2.8
(Carleman estimate for \(P_1\) and \(P_1^*\)) Let \(f\in C^\infty ({\mathbb {R}}^{n+1})\), \(\{iX_i\}_{i=1}^N\) be a system of real smooth vector fields satisfying \((\textrm{H}_1)\), and K a compact subset of \({\mathbb {R}}^{n+1}\). Then,
-
(i)
If \(f\in C^\infty ({\mathbb {R}}^n)\) is such that there exists \(C_0>0\) for which
$$\begin{aligned} -iX_1f(x)\ge C_0>0, \quad \forall x\in K, \end{aligned}$$then there exist \(\lambda _0=\lambda _0(K)\ge 1\) and \(C=C(K)>0\) such that, for every \(\lambda \ge \lambda _0\),
$$\begin{aligned} \Vert e^{-\lambda f}P_1^*u\Vert _{L^2}^2,\Vert e^{-\lambda f}P_1u\Vert _{L^2}^2\ge C \lambda \Vert e^{-\lambda f}u\Vert _{L^2}^2, \quad \forall u\in C_0^\infty (K). \end{aligned}$$ -
(ii)
If the system of vector fields \(\{iX_i\}_{i=1}^n\) is elliptic in a neighborhood of K, and if there exists \(C_0>0\) for which
$$\begin{aligned} -iX_1f(x)\ge C_0, \quad \forall x\in K, \end{aligned}$$then there exist \(\lambda _0=\lambda _0(K)\ge 1\) and \(C=C(K)>0\) such that, for every \(\lambda \ge \lambda _0\),
$$\begin{aligned} \Vert e^{-\lambda f}P_1^*u\Vert _{L^2}^2, \Vert e^{-\lambda f}P_1u\Vert _{L^2}^2\ge C \lambda \Vert e^{-\lambda f}u\Vert _{H^1}^2,\quad \forall u\in C_0^\infty (K). \end{aligned}$$
Proof
The proof relies on the use of Lemmas 2.5 and 2.6 when dealing with the statement for \(P_1\) and for \(P_1^*\) respectively. Below we shall give a detailed proof of the result for \(P_1\), and we omit the one for \(P_1^*\). This is done because the proofs of the estimates for \(P_1^*\) and for \(P_1\) are exactly the same, up to the appearance of different constants depending on the \(L^\infty (K)\)-norm of some smooth functions (because the difference between the estimates in Lemmas 2.5 and 2.6 is just in the appearance of possibly different smooth coefficients in \(Q_j'\) and \(Q_j\)). Since there is no substantial change in the two cases, we focus on \(P_1\).
By Lemma 2.5, for all \(\lambda \ge 1\), given a compact K of \({\mathbb {R}}^n\) on which \(-iX_1f\ge C_0>0\), we have
with
where \(i c^{j1}_k, i c'_k\), \(k=1,\ldots , N\), are smooth and real valued functions. Therefore, once \(\lambda \) is big enough, the proof of (i) and of (ii) depends on the estimate we can prove for the second order term \(\small {\sum _{j=1}^n}\textrm{Re}(Q_je^{-\lambda f}u,e^{-\lambda f}u)\). Then, let us focus on this term and show how different hypotheses lead to different lower bounds.
In the sequel we will use again the notation \(v:=e^{-\lambda f}u\). First observe that, by Cauchy–Schwarz inequality,
with \(c_0=c_0(\delta _0,\{\Vert \partial ^\alpha f\Vert _{L^\infty }\}_{|\alpha |=0,1,2}, \{\Vert \nabla ^\alpha A\Vert _{L^\infty }\}_{|\alpha |=0,1,2})\), and
with a new positive constant \(C_1:=\max _{j,k=1,\ldots ,N}\{ |c_k^{j1}|\}\), and where \(C_K\) is a positive constant depending on all the \(L^\infty \)-norms of the functions \(X_jd_1\) and \(X_kc_k^{j1}\). By similar considerations,
where \(C_K\) is a different suitable positive constant depending on the \(L^\infty \)-norms of \(f,a_{jk}\), \(c'_j\) and of their derivatives. Therefore,
with \(c_1=c_1(\delta _0,\delta _0',\delta _1,\{\Vert \partial ^\alpha f\Vert _{L^\infty }\}_{|\alpha |=0,1,2}, \{\Vert \nabla ^\alpha A\Vert _{L^\infty }\}_{|\alpha |=0,1,2})\). Then, choosing \(\lambda >4(C_1N+\Vert d_1\Vert _{L^\infty })C_0^{-1}\) big enough, and \(\delta _0,\delta _0',\delta _1\) sufficiently small, so that
we get
where \(C_K\) is a new positive constant since we have fixed \(\delta _0,\delta _0',\delta _1\).
The estimate above yields
hence, if \(\lambda >\max \{4(C_1N+\Vert d_1\Vert _{L^\infty })C_0^{-1},2 C_K/C_0^3\}=:\lambda _0=\lambda _0(K)\), we have
where, recall, \(C_K\) is a constant depending on some fixed constants \(N, \delta _0,\delta _0',\delta _1\) and on the \(L^\infty \)-norms on K of \(f, a_{jk}\), \(c'_j\), and of their derivatives.
Finally, by Cauchy-Schwarz inequality,
which gives, taking \(\delta \) small enough and not necessarily depending on K (since we can always assume \(\frac{C_K}{2}\cdot \lambda >1\) and take, for instance, \(\delta =1/2<\lambda ^2\frac{C_K}{4}\)), we reach
which proves part (i) of the theorem.
To prove part (ii) of the statement, we apply the Gårding inequality on the first term on the right hand side of (2.12), that is
This completes the proof. \(\square \)
Remark 2.9
(The case \(N=n=1\)) Note that when \(N=n=1\) \((\textrm{H}_1)\) is trivially satisfied. For the same reason, result (ii) does not apply to this case, since \(X_1\) alone cannot generate \({\mathbb {R}}^2\).
An immediate application of the Carleman estimates in Theorem 2.8 is the following local solvability result.
Theorem 2.10
Let \(\{iX_j\}_{j=1}^N\) be a system of vector fields satisfying \((\textrm{H}_1)\) such that \(X_1(x,D)\ne 0\) for all \(x\in {\mathbb {R}}^{n+1}\). Let also \(P_1\) and \(P_1^*\) be as in (1.1) and (1.2) respectively. Then the following properties hold.
-
(i)
\(P_1\) and \(P_1^*\) are \(L^2-L^2\) locally solvable at any point of \({\mathbb {R}}^{n+1}\).
-
(ii)
If \(\{iX_j\}_{j=1}^N\) is elliptic at \(x_0\in {\mathbb {R}}^{n+1}\), \(P_1\) and \(P_1^*\) are \(H^{-1}-L^2\) locally solvable at \(x_0\).
Proof
The proof is based on the use of Theorem 2.8 and of some standard functional analysis argument. More specifically, the \(H^s-L^2\) local solvability of \(P_1\) at a point \(x\in {\mathbb {R}}^{n+1}\), is equivalent to the validity of the following solvability estimate for the adjoint \(P_1^*\): there exists \(C>0\) and a compact K containing x in its interior \(U_K\), such that
The solvability estimate, Hahn-Banach and Riesz representation theorems, alltogether give the result (see, for instance, Lemma 1.2.30 in [33]). Since \(X_1\) is nondegenerate (see also Remark 2.1), given \(C_0>0\) and \(x_0\in {\mathbb {R}}^{n+1}\), it is always possible to find a smooth function f and a compact set \(K\subset {\mathbb {R}}^{n+1}\) containing \(x_0\) in its interior, such that \(iX_1f(x)\ge C_0>0\) for all \(x\in K\). Moreover, if \(\{iX_j\}_{j=1}^N\) is elliptic at \(x_0\), one can always choose K sufficiently small so that the system of vector fields is elliptic in a neighborhood of K. Hence, by the Carleman estimate for \(P_1^*\), for \(x_0\in {\mathbb {R}}^{n+1}\), and for the compact K chosen as above and containing \(x_0\) in its interior, there exists \(\lambda _0(K)>1\) and \(C>0\) such that, for all \(\lambda >\lambda _0\),
where \(s=0\) in case (i) and \(s=-1\) in case (ii). By estimating from above and from below \(e^{-\lambda f}\) on K with positive constants, (2.13) easily implies the solvability estimate with \(s=0\) under the hypothesis in part (i), and with \(s=-1\) under the hypothesis in part (ii). From the solvability estimate, by the standard considerations mentioned at the beginning of the proof (see [33]) we get the \(L^2-L^2\) and the \(H^{-1}-L^2\) local solvability of \(P_1\) at \(x_0\) according to the hypotheses in (i) and (ii) respectively. Finally, since (2.13) with \(s=0\) does not depend on the choice of \(x_0\), we conclude the \(L^2-L^2\) local solvability of \(P_1\) at any point of \({\mathbb {R}}^{n+1}\). This completes the proof (i) and of the theorem.
For the local solvability of \(P_1^*\), one repeats the same steps reversing the roles of \(P_1\) and \(P_1^*\). \(\square \)
Remark 2.11
When the vector field \(iX_1\) is nondegenerate only on a compact \(K \subset {\mathbb {R}}^{n+1}\), using the previous strategy we can reach the local solvability of \(P_1\) and of \(P_1^*\) at any point of the interior \(U_K\) of K.
Remark 2.12
Note that Theorem 2.10 says that we can have different types of local solvability at different points. At any point we have the \(L^2-L^2\) local solvability, but only at elliptic points - the points where the system is elliptic - we have a better local solvability, that is the \(H^{-1}-L^2\).
3 Examples and applications: KdV and non KdV-type operators with variable coefficients
In this section we would like to list a few examples of operators of \(P_1\)-type. We pointed out more than once that we are particularly interested in dispersive models, therefore we will mainly focus on such cases here, even though the class is more general and we could exhibit different type of operators.
Variable coefficient KdV operators. Let \(N=n=1\), \({\mathbb {R}}^{n+1}={\mathbb {R}}^2={\mathbb {R}}_t\times {\mathbb {R}}_x\), and
where \(a\in C^\infty ({\mathbb {R}}_x;{\mathbb {R}})\), \(a(x)\ne 0\) for all \(x\in {\mathbb {R}}\). Then
which is a KdV operator with space-variable coefficients. Our solvability theorem applies to this model, so we can assert that this operator, as well as \(iP_1\) of course, is \(L^2-L^2\) locally solvable at any point of \({\mathbb {R}}^2\). More generally, one can consider the coefficient a as a function of both (t, x), hence a(t, x), or even just a time dependent function, provided that it is everywhere nonvanishing. In this last case one can also describe some of the operators treated in [1].
Variable coefficient ZK operators. Let \(N=n=2\), \({\mathbb {R}}^{n+1}={\mathbb {R}}^3={\mathbb {R}}_t\times {\mathbb {R}}^2_x\), and
with \(X_1,X_2\) such that \({X_1}^*X_1(x,D_x)+{X_2}^*X_2(x,D)\) is an elliptic operator on \({\mathbb {R}}_x^2\). In other words, we are assuming the vector fields \(iX_j(x,D)\) to be nondegenerate and linearly independent at any point \(x\in {\mathbb {R}}^2_x\), so they form a global involutive distribution both in \({\mathbb {R}}^2\) and in \({\mathbb {R}}^3\). Under these assumptions the operator
is a prototype of a variable coefficient ZK-operator to which our solvability theorem applies. Hence, we have the \(L^2-L^2\) local solvability property for \(P_1\) in \({\mathbb {R}}^{n+1}\) by Theorem 2.10.
Notice that the ”ellipticity in space” of \({X_1}^*X_1(x,D_x)+{X_2}^*X_2(x,D)\) implies the global involutivity of the system \(\{iX_1,iX_2\}\), thus any prototype of this sort fits in our class. On the other hand, we assumed the ellipticity in space of \(X_1^*X_1(x,D_x)+{X_2}^*X_2(x,D)\) just in order to represent a variable coefficient analogue of the ZK operator, and not because \(P_1\)-type operators need to satisfy this requirement. In fact, we can take more general cases, provided that the global involutivity is satisfied. In general, to describe a variable coefficient \(P_1\)-type ZK operator, one can take \(X_1,X_2\) of the form
with \(a_{ij}\in C^\infty ({\mathbb {R}}^2;{\mathbb {R}})\) for all \(i,j=1,2\), where the global involutivity is given by the third condition. For instance, the example of globally involutive but not globally elliptic system given after Remark 2.7, that is \(X_1=D_1\), \(X_2=x_2D_2\), where \([X_1,X_2]=0\), fits in these cases. Here, by Theorem 2.10, we have \(L^2-L^2\) local solvability on \({\mathbb {R}}^2\), and \(H^{-1}-L^2\) local solvability at the elliptic points, i.e. at any point of \({\mathbb {R}}^2\setminus \{x\in {\mathbb {R}}^2; x_2=0\}\).
Non KdV-type operators. To give a more complete picture of the objects of this paper, we provide immediate examples of non KdV-type operators of \(P_1\)-type.
Let \(N\le n\) and \({\mathbb {R}}^{n+1}={\mathbb {R}}_t\times {\mathbb {R}}_x\). Let also \(\{iX_j \}_{j=1}^N\) be a global involutive system of real smooth vector fields in \({\mathbb {R}}^{n}_x\) (depending only on the space variables and on the space derivatives), \(X_1\) nondegenerate on \({\mathbb {R}}^{n+1}\), and \(X_0\equiv 0\). Then
is of \(P_1\)-type both on \({\mathbb {R}}^{n}\) and on \({\mathbb {R}}^{n+1}\) but not of KdV-type on \({\mathbb {R}}^{n+1}\), since there is no time-evolution here. Note that we could also take \(N\le n+1\) and define an operator whose leading part has variable coefficients depending both on space and time.
More degenerate variable coefficient KdV-type operators. Still in the case \(n=2\), one can consider models where \(N=1\), \(iX_1(x,D_t,D_x)=X_1(x,D_x)\) is a nonvanishing real vector field with smooth coefficients, and \(X_0=D_t\). In such a case we have no ellipticity in space for \(X_1^*X_1\), since \(X_1^*X_1\) cannot be elliptic under our assumption that \(iX_1\) has real coefficients. Nevertheless, all the hypotheses, namely \((\textrm{H1})\) and the nondegeneracy of \(X_1\), are satisfied, hence our results apply - the Carleman and the solvability theorem - and the operator is locally solvable at any point of \({\mathbb {R}}^3\).
This example can be generalized in any dimension \(n\ge 2\). By taking \(\{iX_j(x,D_x)\}_{j=1}^N\), \(N\le n\), being a globally involutive system of real smooth vector fields (indexed in such a way that \(X_1\) is nondegenerate), and taking \(iX_0=\partial _t\), the corresponding operator \(P_1\) is built from an operator \({\mathcal {L}}:=\sum _{j=1}^NX_j^*X_j\) which is not necessarily elliptic in space.
In the rest of this section we will give concrete examples of KdV and non KdV \(P_1\)-type operators constructed via some Lie algebras, specifically stratified Lie algebras. These cases are taken into account due to their global involutive structure. One can, of course, design many other different examples.
KdV-type operators built via the Heisenberg Lie algebra. Let us start with the example mentioned in the introduction and related to the Heisenberg group. We restrict ourselves to \(N=n=3\) - hence \(P_1\) is defined on \({\mathbb {R}}^4_{t,x}\)- which can be immediately generalized to the case \(N=n=2k+1\), for any positive integer k.
We take, as before, \(X_0=D_t\) and \(iX_j\), \(j=1,2,3,\) as the vector fields giving the canonical basis of the Lie algebra of \({\mathbb {H}}^1\). Recall that the Lie algebra \({\mathfrak {h}}^1\) is stratified of step 2, and that \(X_1,X_2\) are the so-called ”generators” of the stratified Lie algebra. These vector fields, together with their commutator, generate the whole Lie algebra \({\mathfrak {h}}^1=\textrm{Span}\{X_1,X_2,X_3\}\). In fact, \([X_1,X_2]=X_3\) and \([X_1,X_3]=[X_2,X_3]=0\) for all \(x\in {\mathbb {R}}^3\). This guarantees that the vector fields \(X_j\), \(j=1,2,3\), form a global involutive structure. For completeness, we recall the expression of the vector fields below
Note that \(X_j=X_j^*\), thus \(P_1=P_1^*\) in this case. Moreover, \(X_j(x,D)\) is nondegenerate for all \(j=0,\ldots , 3\), implying that the operators
are locally solvable at any point of \({\mathbb {R}}^4_{t,x}\) by Theorem 2.10. To define the same kind of operators in higher dimension it suffices to use the Heisenberg Lie algebra \({\mathfrak {h}}^k\) of dimension \(2k+1\), and take \(N=2k+1= n\).
KdV-type operators built via the Heisenberg Lie algebra in higher dimensional spaces. By taking the same vector fields as above generating \({\mathfrak {h}}^1\), one can cook up more singular operators in higher dimensional spaces. Take \(N=3<n\), \({\mathbb {R}}^{n+1}={\mathbb {R}}_t\times {\mathbb {R}}^3_x\times {\mathbb {R}}^{n-3}_y\), and \(P_{1,j_0}\) as before, but now defined on \({\mathbb {R}}^{n+1}\), that is
Then we have that the system of vector fields \(\{iX_j(x,D_x)\}_{j=1,2,3}\) is still globally involutive in \({\mathbb {R}}^{n+1}_{t,x,y}\), and the hypotheses of Theorem 2.10 are satisfied. Hence, we get local solvability for these operators at any point of \({\mathbb {R}}^{n+1}_{t,x,y}\).
Similar operators can be written by using the Heisenberg Lie algebra \({\mathfrak {h}}^k\), for every \(k\ge 1\), and \(N=2k+1<n\).
KdV-type operators built via stratified Lie algebras: general construction. Following the previous constructions, we can formalize the procedure to build operators as above with any stratified Lie algebra of step r on \({\mathbb {R}}^m\). Let \(\{iX_j\}_{j=1}^m\) be the canonical basis of \({\mathfrak {g}}\) (via the expnential map), and
where \({\mathfrak {g}}_1\) generates \({\mathfrak {g}}\) as an algebra, that is, linear combinations of the elements of \({\mathfrak {g}}_1\) and of their iterated commutators up to length r, generate the whole \({\mathfrak {g}}\). In particular, assuming \(n_0=0\), one has that
and
Let now \(N=m\le n\), \({\mathbb {R}}^{n+1}={\mathbb {R}}_t\times {\mathbb {R}}^m_x\times {\mathbb {R}}^{n-m}_y\), \(j_0=1,\ldots ,m,\) and
Then, once again, we have that \(\{iX_j\}_{j=1}^m\) is a global involutive system of vector fields on \({\mathbb {R}}^{n+1}\). Moreover, the vector fields, being elements of the canonical basis of the Lie algebra, are all nondegenerate in \({\mathbb {R}}^{n+1}\). Hence, for every \(j_0=1,\ldots , m\), the operator \( P_{1,j_0}\) satisfies the hypotheses of Theorem 2.10, leading to the local solvability property for all these models.
Non KdV-type operators built via Lie algebras. One can get immediate examples of non KdV-type operators just by taking the previous examples with \(X_0\equiv 0\).
Remark 3.1
In our examples above we have focused primarily on space-variable coefficient KdV-type operators. We want to stress that several KdV-type operators, with coefficients depending both on (t, x) or just on t, are still included in our class \(P_1\).
4 Final remarks and applications to dispersive equations
In this conclusive section we would like to discuss possible applications in the context of dispersive equations of KdV-type, as well as some open connected questions.
Uniqueness problems. Uniqueness problems, or Hardy uncertainty principles (see [7]), for dispersive equations, are strictly related to Carleman estimates.
In general, when dealing with dispersive equations, one aims at global in space and local or global in time results. Global in time results are more challenging an not always attainable, so it is a natural common rule to investigate local in time properties first, and, afterwards, to extend, if possible, the result at all times.
The same considerations apply to Carleman estimates. This means that one needs global in space and local in time estimates if one wants to apply them in the context of dispersive equations. This is usually done via a combination of strategies. One of this strategies consists in considering the operator with bounded space-variable coefficients with a certain decay property. This condition is actually not just a technical condition, but is also related to the validity of smoothing properties for dispersive operators (see, for instance, [6, 22, 29, 37, 34]). Once the Carleman estimate is made global (in space) through a series of conditions in spirit as the one above, then one can attain uniqueness results via a precise cutting off procedure according to the assumptions considered on the solutions.
That said, it should be possible to reach global (in all but at most one direction) Carleman estimates for \(P_1\) and \(P_1^*\) from our local estimates in Theorem 2.8. These global estimates can be applied to study uniqueness problems for dispersive operators belonging to our class. For what we just explained above, by introducing suitable conditions on the coefficients of the operator and on the weight function f, one should be able to produce the desired global inequality. However, even if the road map to get a global inequality is in the proof of Theorem 2.8, its derivation and the application to uniqueness problems is nontrivial.
Let us also stress that, if one is interested in the study of local unique continuation properties, then our estimates are already strong enough to pursue this goal, and one should focus more on the study of the geometric conditions leading to the result, that is, in other words, on the choice of the suitable weight function f.
Other KdV-type models and relative questions. In our discussion, we have motivated our analysis with the connection of the class \(P_1\) with KdV-type operators. However, it must be said that we have a rigorous derivation of the ZK equation as a sort of generalization of the KdV one in (space) dimension 2, but for the higher dimensional case the argument is much harder and not established to the author knowledge. On the other hand, it is known that third order equations play a central role in water waves, nonlinear optic and related fields. A detailed interesting description of third order dispersive equations and of their physical role is contained in [30], where a class of third order operators with constant coefficients is studied. Let us remark that a subclass of the class in [30] of constant coefficient operators is certainly contained in our general variable coefficient class \(P_1\). We also recall that \(P_1\) is defined in any space dimension, while the class in [30] concerns the case \({\mathbb {R}}^3={\mathbb {R}}_t\times {\mathbb {R}}^2_x\). That said, it would be interesting to investigate Carleman estimates, local solvability, and connected problems, for operators in the very general form
or
under a sort of ellipticity requirement in the spirit of condition (1.5) in [30], condition also appearing in the examples provided above to describe KdV-type operators. Note that these classes, which generalize and contain \(P_1\), clearly still contain KdV-type operators, both with constant and with variable coefficients, as well as the whole class studied in [30], at least in the case described by \(P_3\). Due to these considerations, it is natural to wonder whether \(P_2\) or \(P_3\) is the right generalization of (linear) KdV-type operators, or if \(P_1\) already provides the best description, being clear that \(P_2\) and \(P_3\) are classes wider than \(P_1\). In any case, the validity of Carleman estimates in this generality is still an open problem.
References
Arias Junior, A., Ascanelli, A., Cappiello, M.: KdV-type equations in projective Gevrey spaces. J. Math. Pures Appl. (9) 178, 110–140 (2023)
Constantin, P., Saut, J.C.: Local smoothing properties of dispersive equations. J. Am. Math. Soc. 1, 413–446 (1989)
Cassano, B., Fanelli, L.: Sharp Hardy uncertainty principle and Gaussian profiles of covariant Schrödinger evolutions. Trans. Am. Math. Soc. 367(3), 2213–2233 (2015)
Cossetti, L., Fanelli, L., Linares, F.: Uniqueness results for Zakharov–Kuznetsov equation. Commun. Partial Differ. Equ. 44(6), 504–544 (2019)
Dencker, N.: The resolution of the Nirenberg–Treves conjecture. Ann. Math. 163(2), 405–44 (2006)
Doi, S.: Remarks on the Cauchy problem for Schrödinger-type equations. Commun. Partial Differ. Equ. 21, 163–178 (1996)
Escauriaza, L., Kenig, C.E., Ponce, G., Vega, L.: Hardy’s uncertainty principle, convexity and Schrödinger evolutions. J. Eur. Math. Soc. (JEMS) 10(4), 883–907 (2008)
Escauriaza, L., Kenig, C.E., Ponce, G., Vega, L.: Convexity properties of solutions to the free Schrödinger equation with Gaussian decay. Math. Res. Lett. 15(5), 957–971 (2008)
Escauriaza, L., Kenig, C.E., Ponce, G., Vega, L.: On uniqueness properties of solutions of the k-generalized KdV equations. J. Funct. Anal. 244(2), 504–535 (2007)
Escauriaza, L., Kenig, C.E., Ponce, G., Vega, L.: On uniqueness properties of solutions of Schröodinger equations. Commun. Part. Differ. Equ. 31(12), 1811–1823 (2006)
Federico, S.: On some variable coefficient Schrödinger operators on \( \mathbb{R} \times \mathbb{R} ^n\) and \(\mathbb{R} \times \mathbb{T} ^2\). Mat. Contemp. 52, 17–37 (2022)
Federico, S.: Local Solvability of Some Partial Differential Operators with Non-smooth Coefficients. Springer INdAM Series, vol. 43, pp. 277–291. Springer, Cham (2021)
Federico, S.: Sufficient conditions for local solvability of some degenerate PDO with complex subprincipal symbol. J. Pseudo-Differ. Oper. Appl. 10(4), 929–940 (2019)
Federico, S.: Local solvability of a class of degenerate second order operators. Bruno Pini Math. Anal. Semin., 8 Università di Bologna, Alma Mater Studiorum, Bologna, pp. 185–203 (2017)
Federico, S.: A model of solvable second order PDE with non-smooth coefficients. J. Math. Anal. Appl. 440(2), 661–676 (2016)
Federico, S., Li, Z., Yu, X.: On the uniqueness of variable coefficient Schrödinger equations. Commun. Contemp. Math. (2024). https://doi.org/10.1142/S0219199724500160
Federico, S., Parmeggiani, A.: On the solvability of a class of second order degenerate operators, Advances in microlocal and time-frequency analysis, 207–226, p. C1. Cham, Appl. Numer. Harmon. Anal. Birkhäuser/Springer (2020)
Federico, S., Parmeggiani, A.: On the local solvability of a class of degenerate second order operators with complex coefficients. Commun. Partial Differ. Equ. 43(10), 1485–1501 (2018)
Federico, S., Parmeggiani, A.: Local solvability of a class of degenerate second order operators. Commun. Partial Differ. Equ. 41(3), 484–514 (2016)
Federico, S., Ruzhansky, M.: Smoothing and Strichartz estimates for degenerate Schrödinger-type equations. Nonlinear Anal. 242, 113500 (2024)
Federico, S., Staffilani, G.: Sharp Strichartz estimates for some variable coefficient Schrödinger operators on \({\mathbb{R}}\times {\mathbb{T}}^2\). Math. Eng. 4(4), Paper No. 033 (2022)
Federico, S., Staffilani, G.: Smoothing effect for time-degenrate Schrödinger operators. J. Differ. Equ. 298, 205–2047 (2021)
Folland, G., Stein, E.: Estimates for the \(\bar{\partial }_{b}\) complex and analysis on the Heisenberg group. Commun. Pure Appl. Math. 27, 429–522 (1974)
Hörmander, L.: Hypoelliptic second order differential equations. Acta Math. 119, 147–171 (1967)
Huang, T., Huang, S., Zheng, Q.: Unique continuation properties for one dimensional higher order Schrödinger equations. J. Geom. Anal. 32(5), Paper No. 167 (2022)
Isaza, P.: Unique continuation principle for high order equations of Korteweg–de Vries type. Electron. J. Differ. Equ., No. 246, 25 (2013)
Kenig, C.E., Pilod, D., Ponce, G., Vega, L.: On the unique continuation of solutions to non-local non-linear dispersive equations. Commun. Partial. Differ. Equ. 45(8), 872–886 (2020)
Kenig, C.E., Ponce, G., Vega, L.: On the unique continuation of solutions to the generalized KdV equation. Math. Res. Lett. 10(5–6), 833–846 (2003)
Kenig, C., Ponce, G., Rolvung, C., Vega, L.: Variable coefficients Schrödinger flows and ultrahyperbolic operators. Adv. Math. 196, 373–486 (2005)
Koch, H., Saut, J.C.: Local smoothing and local solvability for third order dispersive equations. SIAM J. Math. Anal. 38(5), 1528–1541 (2006/07/2007)
Kolmogorov, A.: Zufällige Bewegungen (zur Theorie der Brownschen Bewegung). Ann. Math. (2) 35(1), 116–117 (1934)
Lerner, N.: Carleman inequalities. An introduction and more. Grundlehren Math. Wiss., 353 [Fundamental Principles of Mathematical Sciences], p. xxvii+557. Springer, Cham (2019)
Lerner, N.: Metrics on the phase space and non-selfadjoint pseudo-differential operators. Pseudo Differ. Oper., vol. 3. Birkhäuser Verlag, Basel (2010)
Marzuola, J., Metcalfe, J., Tataru, D.: Strichartz estimates and local smoothing estimates for asymptotically flat Schrödinger equations. J. Funct. Anal. 255, 1497–1553 (2008)
Müller, D., Peloso, M., Ricci, F.: On local solvability for complex coefficient differential operators on the Heisenberg group. J. Reine Angew. Math. 513, 181–234 (1999)
Panthee, M.: A note on the unique continuation property for Zakharov–Kuznetsov equation. Nonlinear Anal. 59(3), 425–438 (2004)
Robbiano, L., Zuily, C.: Strichartz estimates for the Schrödinger equation with variable coefficients. Mém. Soc. Math. Fr. (N.S.) 101–102 (2005)
Roncal, L., Stan, D., Vega, L.: Carleman type inequalities for fractional relativistic operators. Rev. Mat. Complut. 36, 301–332 (2023)
Rothschild, L.: Local solvability of second order differential operators on nilpotent Lie groups. Ark. Mat. 19(2), 145–175 (1981)
Rothschild, L., Stein, E.: Hypoelliptic differential operators and nilpotent groups. Acta Math. 137(3–4), 247–320 (1976)
Staffilani, G., Tataru, D.: Strichartz estimates for a Schrödinger operator with nonsmooth coefficients. Commun. Partial Differ. Equ. 27, 1337–1372 (2002)
Tataru, D.: Carleman estimates, unique continuation and controllability for anizotropic PDEs, Optimization methods in partial differential equations (South Hadley, MA, 1996), pp. 267–279. Contemp. Math., 209 American Mathematical Society, Providence (1997)
Treves, F.: On local solvability of linear partial differential equations. Bull. Am. Math. Soc. 76(3), 552–571 (1970)
Zhang, B.Y.: Unique continuation for the Korteweg–de Vries equation. SIAM J. Math. Anal. 32, 55–71 (1992)
Funding
Open access funding provided by Alma Mater Studiorum - Università di Bologna within the CRUI-CARE Agreement.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The author has no Conflict of interest to disclose.
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
Federico, S. Carleman estimates for third order operators of KdV and non KdV-type and applications. Annali di Matematica (2024). https://doi.org/10.1007/s10231-024-01467-7
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s10231-024-01467-7
Keywords
- Third order equations with variable coefficients
- Variable coefficient KdV-type equations
- Carleman estimates
- Local solvability