We consider sums of squares operators globally defined on the torus. We show that if some assumptions are satisfied the operators are globally analytic hypoelliptic. The purpose of the assumptions is to rule out the existence of a Hamilton leaf on the characteristic variety lying along the fiber of the cotangent bundle, i.e. the case of the (global) Métivier operator.
The global and semi-global analytic hypoellipticity on the torus is proved for two classes of sums of squares operators, introduced in "Analytic Hypoellipticity for Sums of Squares and the Treves Conjecture" by P. Albano and A. Bove and M. Mughetti, and in "Analytic Hypoellipticity for Sums of Squares and the Treves Conjecture. II" by A. Bove and M. Mughetti, satisfying the Hörmander condition and which fail to be neither locally nor microlocally analytic hypoelliptic.
Certain second-order partial differential operators, which are expressed as sums of squares of real-analytic vector fields in $\Bbb R^3$ and which are well known to be $C^\infty$ hypoelliptic, fail to be analytic hypoelliptic.
We prove a couple of results concerning pseudodifferential perturbations of differential operators being sums of squares of vector fields and satisfying Hörmander's condition. The first is on the minimal Gevrey regularity: if a sum of squares with analytic coefficients is perturbed with a pseudodifferential operator of order strictly less than its subelliptic index it still has the Gevrey minimal regularity. We also prove a statement concerning real analytic hypoellipticity for the same type of pseudodifferential perturbations, provided the operator satisfies to some extra conditions (see Theo…
We are concerned with the problem of real analytic regularity of the solutions of sums of squares with real analytic coefficients. Treves conjecture states that an operator of this type is analytic hypoelliptic if and only if all the strata in the Poisson-Treves stratification are symplectic. We produce a model operator, $ P_{1} $, having a single symplectic stratum and prove that it is Gevrey $ s_{0} $ hypoelliptic and not better. See Theorem \ref{th:1} for a definition of $ s_{0} $. We also show that this phenomenon has a microlocal character. We point out explicitly that this is a counterex…
We consider an operator $ P $ which is a sum of squares of vector fields with analytic coefficients. The operator has a non-symplectic characteristic manifold, but the rank of the symplectic form $ σ$ is not constant on $ \Char P $. Moreover the Hamilton foliation of the non symplectic stratum of the Poisson-Treves stratification for $ P $ consists of closed curves in a ring-shaped open set around the origin. We prove that then $ P $ is analytic hypoelliptic on that open set. And we note explicitly that the local Gevrey hypoellipticity for $ P $ is $ G^{k+1} $ and that this is sharp.
Inspired by results of A. Bergamasco on perturbations of vector fields defined on the two-dimensional torus, and of J. Delgado and M. Ruzhansky on properties of invariant operators with respect to an elliptic operator defined on a closed manifold, we give necessary and sufficient conditions to ensure that perturbations of a globally hypoelliptic operator defined on $\T\times M$, continue to be globally hypoelliptic, where $\T$ is the flat torus and $M$ is a closed smooth manifold. For this, we analyze the behavior, at infinity, of the sequences of eigenvalues generated by the family of matrice…
This article presents an investigation on the global hypoellipticity problem for systems belonging to the class $P = D_t + Q(t,D_x)$, where $Q(t,D_x)$ is a $m\times m$ matrix with entries $c_{j,k}(t)Q_{j,k}(D_x)$. The coefficients $c_{j,k}(t)$ are smooth, complex-valued functions on the torus $\mathbb{T} \simeq \mathbb{R}/2π\mathbb{Z}$ and $Q_{j,k}(D_x)$ are pseudo-differential operators on $ \mathbb{T}^n$. The approach consists in establishing conditions on the matrix symbol $Q(t,ξ)$ such that it can be transformed into a suitable triangular form $Λ(t,ξ) + \mathcal{N}(t,ξ)$, where $Λ(t,ξ)$ is…
We attach representations to non-symplectic stratum in the characteristic set of real vector fields. This leads to Schrodinger operators. The analysis of the solutions of these Schrodinger equations allows us to construct smooth, non-analytic solutions of the sub-elliptic operator formed by taking sums of squares of the real vector fields.
A global real analytic regularity theorem for a quasilinear sum of squares of vector fields of Hormander rank 2 is given. A related local result for a special case was proved recently by the second author and L. Zanghirati in a paper titled "Local Real Analyticity of Solutions for sums of squares of non-linear vector fields".
The recent example of Hanges: $P = \partial_t^2 + t^2Δ_x + \partial^2_{θ(x)}$ in $R^3$ is analytic hypoelliptic in the sense of germs but not in the strong sense in any neighborhood of the origin. And its characteristic variety is non-symplectic. We give a purely $L^2,$ and hence quite flexible, proof of this result and generalizations, and link it to, and contrast it with, the celebrated Baouendi-Goulaouic operator. We point out that the results are consistent with the conjecture of Treves.
In this paper, we present necessary and sufficient conditions to have global analytic hypoellipticity for a class of first-order operators defined on $\mathbb{T}^1 \times \mathbb{S}^3$. In the case of real-valued coefficients, we prove that an operator in this class is conjugated to a constant-coefficient operator satisfying a Diophantine condition, and that such conjugation preserves the global analytic hypoellipticity. In the case where the imaginary part of the coefficients is non-zero, we show that the operator is globally analytic hypoelliptic if the Nirenberg-Treves condition ($\mathcal{…
We show that all smooth solutions of model non-linear sums of squares of vector fields are locally real analytic. A global result for more general operators is presented in a paper by Makhlouf Derridj and the first author under the title "Global Analytic Hypoellipticity for a Class of Quasilinear Sums of Squares of Vector Fields".
We study a class of sum of squares exhibiting the same Poisson-Treves stratification as the Oleinik-Radkevič operator. We find three types of operators having distinct microlocal structures. For one of these we prove a Gevrey hypoellipticity theorem analogous to our recent result for the corresponding Oleinik-Radkevič operator.
We simplify and give an alternative proof of hypoellipticity for generalizations of the singular sum of squares of complex vector fields studied by Kohn, with an appendix by Derridj and Tartakoff, in the Annals of Mathematics, vol. 162 no. 2, 2005, pp. 943-986. The main generalization is that the complex vector fields now come from domains of finite type. We also prove real analytic hypoellipticity and the optimality of our estimates.
In this paper we consider a class of hypoelliptic second-order partial differential operators $\mathcal{L}$ in divergence form on $\mathbb{R}^N$, arising from CR geometry and Lie group theory, and we prove the Strong and Weak Maximum Principles and the Harnack Inequality for $\mathcal{L}$. The involved operators are not assumed to belong to the Hörmander hypoellipticity class, nor to satisfy subelliptic estimates, nor Muckenhoupt-type estimates on the degeneracy of the second order part; indeed our results hold true in the infinitely-degenerate case and for operators which are not necessarily …
In this paper we give several global characterisations of the Hormander class of pseudo-differential operators on compact Lie groups. The result is applied to give criteria for the ellipticity and the global hypoellipticity of pseudo-differential operators in terms of their matrix-valued full symbols. Several examples of the first and second order globally hypoelliptic differential operators are given. Where the global hypoelliptiticy fails, one can construct explicit examples based on the analysis of the global symbols.
In this paper we prove local analytic hypoellipticity for a degenerate sum of squares of complex vector fields generalizing those of Kohn in "Hypoellipticity and Loss of Derivatives". Kohn's article is to appear in the Annals of Mathematics with an appendix by Derridj and Tartakoff proving local analyticity in that case. Here we consider vector fields corresponding to a CR manifold of finite type so there is a kind of double degeneracy, and prove local analyticity using our balanced localization of high derivatives in the "missing" direction T. In a forthcoming paper, Bove, Derridj, Kohn and T…
Let $G_1$ and $G_2$ be compact Lie groups, $X_1 \in \mathfrak{g}_1$, $X_2 \in \mathfrak{g}_2$ and consider the operator \begin{equation*} L_{aq} = X_1 + a(x_1)X_2 + q(x_1,x_2), \end{equation*} where $a$ and $q$ are ultradifferentiable functions in the sense of Komatsu, and $a$ is real-valued. We characterize completely the global hypoellipticity and the global solvability of $L_{aq}$ in the sense of Komatsu. For this, we present a conjugation between $L_{aq}$ and a constant-coefficient operator that preserves these global properties in Komatsu classes. We also present examples of globally hypo…
We introduce a class of time-periodic Gelfand-Shilov spaces of functions on $\mathbb{T} \times \mathbb{R}^n$, where $\mathbb{T} \sim \mathbb{R} /2π\mathbb{Z}$ is the one-dimensional torus. We develop a Fourier analysis inspired by the characterization of the Gelfand-Shilov spaces in terms of the eigenfunction expansions given by a fixed normal, globally elliptic differential operator on $\mathbb{R}^n$. In this setting, as an application, we characterize the global hypoellipticity for a class of linear differential evolution operators on $\mathbb{T} \times \mathbb{R}^n$.
This note is a comment on a recent paper by J. J. Kohn. We give an example of a second order partial differential operator, expressed as a sum of squares of complex vector fields satisfying the bracket condition, that is not hypoelliptic.
We study the partial Gelfand-Shilov regularizing effect and the exponential decay for the solutions to evolution equations associated to a class of accretive non-selfadjoint quadratic operators, which fail to be globally hypoelliptic on the whole phase space. By taking advantage of the associated Gevrey regularizing effects, we study the null-controllability of parabolic equations posed on the whole Euclidean space associated to this class of possibly non-globally hypoelliptic quadratic operators. We prove that these parabolic equations are null-controllable in any positive time from thick con…
For $ q $, $ a $ integers such that $ a \geq 1 $, $ 1 < q $, $ (x, y) \in U $, $ U $ a neighborhood of the origin in $ \mathbb{R}^{2} $, we consider the operator $$ D_{x}^{2} + x^{2(q-1)} D_{y}^{2} + y^{2a} D_{y}^{2} . $$ Slightly modifying the method of proof of \cite{monom} we can see that it is Gevrey $ s_{0} $ hypoelliptic, where $ s_{0}^{-1} = 1 - a^{-1} (q - 1) q^{-1} $. Here we show that this value is optimal, i.e. that there are solutions to $ P u = f $ with $ f $ more regular than $ G^{s_{0}} $ that are not better than Gevrey $ s_{0} $. The above operator reduces to the Métivier opera…
The overall goal of this dissertation is to investigate certain classical results from harmonic analysis, replacing the Euclidean setting, the abelian structure and the elliptic Laplace operator with a non-commutative environment and hypoelliptic operators. More specifically, we consider wave equations for hypoelliptic homogeneous left-invariant operators on graded Lie groups with time-dependent non-negative propagation speeds that are Hölder-regular or even more so. The corresponding Euclidean problem has been extensively studied in the `80s and some additional results have been recently obta…
We study the regularity of Gevrey vectors for Hörmander operators $$ P = \sum_{j=1}^m X_j^2 + X_0 + c$$ where the $X_j$ are real vector fields and $c(x)$ is a smooth function, all in Gevrey class $G^{s}.$ The principal hypothesis is that $P$ satisfies the subelliptic estimate: for some $\varepsilon >0, \; \exists \,C$ such that $$\|v\|_\varepsilon^2 \leq C\left(|(Pv, v)| + \|v\|_0^2\right) \qquad \forall v\in C_0^\infty.$$ We prove directly (without the now familiar use of adding a variable $t$ and proving suitable hypoellipticity for $Q=-D_t^2-P$ and then, using the hypothesis on the iterates…
For a class of ordinary differential operators $P$ with polynomial coefficients, we give a necessary and sufficient condition for $P$ to be globally regular in $\R$, i.e. $u\in\cS^\prime(\R)$ and $Pu\in\cS(\R)$ imply $u\in \cS(\R)$ (this can be regarded as a global version of the Schwartz' hypoellipticity notion). The condition involves the asymptotic behaviour, at infinity, of the roots $ξ=ξ_j(x)$ of the equation $p(x,ξ)=0$, where $p(x,ξ)$ is the (Weyl) symbol of $P$.
In this paper we investigate the well-posedness of the Cauchy problem for the wave equation for sums of squares of vector fields on compact Lie groups. We obtain the loss of regularity for solutions to the Cauchy problem in local Sobolev spaces depending on the order to which the Hörmander condition is satisfied, but no loss in globally defined spaces. We also establish Gevrey well-posedness for equations with irregular coefficients and/or multiple characteristics. As in the Sobolev spaces, if formulated in local coordinates, we observe well-posedness with the loss of local Gevrey order depend…