Showing 1–13 of 13 results for author: Bove, A

On a Class of Globally Analytic Hypoelliptic Sums of Squares

Authors: Antonio Bove, Gregorio Chinni

Abstract: 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. 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. △ Less

Submitted 23 January, 2022; originally announced January 2022.

MSC Class: 35H10; 35H20 (primary); 35B65; 35A20; 35A27 (secondary)

Optimal Gevrey Regularity for Certain Sums of Squares in Two Variables

Authors: Antonio Bove, Marco Mughetti

Abstract: 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 th… ▽ More 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 operator (\cite{metivier81}) when $ a = 1 $, $ q = 2 $. We give a description of the characteristic manifold of the operator and of its relation with the Treves conjecture on the real analytic regularity for sums of squares. △ Less

Submitted 11 December, 2021; originally announced December 2021.

MSC Class: 35H10; 35H20 (primary); 35B65; 35A20; 35A27 (secondary)

Partial regularity of minimizers for real-analytic sub-Riemannian metrics

Authors: Paolo Albano, Antonio Bove

Abstract: In the real-analytic setting, we show that all sub-Riemannian minimizers (parametrized by the arc-length) are real-analytic everywhere except an at most countable non-dense set. In particular, non-analyticity may occur only on a set of measure zero of the domain of definition of a sub-Riemannian minimizer. Furthermore, we provide a geometrical condition which implies the absence of the so called s… ▽ More In the real-analytic setting, we show that all sub-Riemannian minimizers (parametrized by the arc-length) are real-analytic everywhere except an at most countable non-dense set. In particular, non-analyticity may occur only on a set of measure zero of the domain of definition of a sub-Riemannian minimizer. Furthermore, we provide a geometrical condition which implies the absence of the so called strictly abnormal minimizers. In particular, under such condition, all sub-Riemannian minimizers (parametrized by the arc-length) are real-analytic. △ Less

Submitted 9 April, 2018; v1 submitted 28 March, 2018; originally announced March 2018.

Comments: There is a gap in the proof of Theorem 2.3

Analytic and Gevrey Hypoellipticity for Perturbed Sums of Squares Operators

Authors: Antonio Bove, Gregorio Chinni

Abstract: 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… ▽ More 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 Theorem 1.2 below) that ensure the analytic hypoellipticity. △ Less

Submitted 3 August, 2017; originally announced August 2017.

MSC Class: 35H10; 35H20 (primary); 35B65; 35A20; 35A27 (secondary)

Analytic Hypoellipticity for Sums of Squares and the Treves Conjecture

Authors: Paolo Albano, Antonio Bove, Marco Mughetti

Abstract: 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… ▽ More 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 counterexample to the sufficient part of Treves conjecture and not to the necessary part, which is still an open problem. △ Less

Submitted 12 May, 2016; originally announced May 2016.

Cauchy problem for effectively hyperbolic operators with triple characteristics of variable multiplicity

Authors: Enrico Bernardi, Antonio Bove, Vesselin Petkov

Abstract: We study a class of third order hyperbolic operators $P$ in $G = \{(t, x):0 \leq t \leq T, x \in U \Subset {\mathbb R}^{n}\}$ with triple characteristics at $ρ= (0, x_0, ξ), ξ\in {\mathbb R}^n \setminus \{0\}$. We consider the case when the fundamental matrix of the principal symbol of $P$ at $ρ$ has a couple of non-vanishing real eigenvalues. Such operators are called {\it effectively hyperbolic}… ▽ More We study a class of third order hyperbolic operators $P$ in $G = \{(t, x):0 \leq t \leq T, x \in U \Subset {\mathbb R}^{n}\}$ with triple characteristics at $ρ= (0, x_0, ξ), ξ\in {\mathbb R}^n \setminus \{0\}$. We consider the case when the fundamental matrix of the principal symbol of $P$ at $ρ$ has a couple of non-vanishing real eigenvalues. Such operators are called {\it effectively hyperbolic}. V. Ivrii introduced the conjecture that every effectively hyperbolic operator is {\it strongly hyperbolic}, that is the Cauchy problem for $P + Q$ is locally well posed for any lower order terms $Q$. This conjecture has been solved for operators having at most double characteristics and for operators with triple characteristics in the case when the principal symbol admits a factorization. A strongly hyperbolic operator in $G$ could have triple characteristics in $G$ only for $t = 0$ or for $t = T$. We prove that the operators in our class are strongly hyperbolic if $T$ is small enough. Our proof is based on energy estimates with a loss of regularity. △ Less

Submitted 12 September, 2015; v1 submitted 5 March, 2013; originally announced March 2013.

Comments: Some misprints are corrected. To appear in Journal of Hyperbolic Differential Equations

MSC Class: 35L30; 35L25

Cauchy problem for hyperbolic operators with triple characteristics of variable multiplicity

Authors: Enrico Bernardi, Antonio Bove, Vesselin Petkov

Abstract: We study a class of third order hyperbolic operators $P$ in $G = Ω\cap \{0 \leq t \leq T\},\: Ω\subset \R^{n+1}$ with triple characteristics on $t = 0$. We consider the case when the fundamental matrix of the principal symbol for $t = 0$ has a couple of non vanishing real eigenvalues and $P$ is strictly hyperbolic for $t > 0.$ We prove that $P$ is strongly hyperbolic, that is the Cauchy problem fo… ▽ More We study a class of third order hyperbolic operators $P$ in $G = Ω\cap \{0 \leq t \leq T\},\: Ω\subset \R^{n+1}$ with triple characteristics on $t = 0$. We consider the case when the fundamental matrix of the principal symbol for $t = 0$ has a couple of non vanishing real eigenvalues and $P$ is strictly hyperbolic for $t > 0.$ We prove that $P$ is strongly hyperbolic, that is the Cauchy problem for $P + Q$ is well posed in $G$ for any lower order terms $Q$. △ Less

Submitted 15 October, 2010; originally announced October 2010.

MSC Class: 35L30; 35M10

A Class of Sums of Squares with a Given Poisson-Treves Stratification

Authors: Antonio Bove, David S. Tartakoff

Abstract: 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 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. △ Less

Submitted 28 September, 2006; originally announced September 2006.

Comments: 39 pp

MSC Class: 35H10; 35A27

Journal ref: J. Geom. Anal. 13 (2003), no. 3, 391--420

Analytic Hypoellipticity at Non-Symplectic Poisson-Treves Strata for Sums of Squares of Vector Fields

Authors: Antonio Bove, David S. Tartakoff

Abstract: 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 arou… ▽ More 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. △ Less

Submitted 27 September, 2006; originally announced September 2006.

Comments: 20pp

MSC Class: 35H10; 35N15

Analytic Hypoellipticity in the Presence of Lower Order Terms

Authors: Paolo Albano, Antonio Bove, David S. Tartakoff

Abstract: We consider a second order operator with analytic coefficients whose principal symbol vanishes exactly to order two on a symplectic real analytic manifold. We assume that the first (non degenerate) eigenvalue vanishes on a symplectic submanifold of the characteristic manifold. In the $C^\infty$ framework this situation would mean a loss of 3/2 derivatives. We prove that this operator is analytic… ▽ More We consider a second order operator with analytic coefficients whose principal symbol vanishes exactly to order two on a symplectic real analytic manifold. We assume that the first (non degenerate) eigenvalue vanishes on a symplectic submanifold of the characteristic manifold. In the $C^\infty$ framework this situation would mean a loss of 3/2 derivatives. We prove that this operator is analytic hypoelliptic. The main tool is the FBI transform. A case in which $C^\infty$ hypoellipticity fails is also discussed. △ Less

Submitted 28 September, 2006; v1 submitted 13 March, 2006; originally announced March 2006.

Comments: 40 pages

MSC Class: 35H10; 35N15

Singular Sums of Squares of Degenerate Vector Fields

Authors: Antonio Bove, Makhlouf Derridj, Joseph J. Kohn, David S. Tartakoff

Abstract: 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 hypoelliptic… ▽ More 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. △ Less

Submitted 21 January, 2006; originally announced January 2006.

Comments: 19 pages

MSC Class: 35H10

Journal ref: Mathematical Research Letters {\bf 13} (5), (2006), pp.~683-702.

Analytic Hypoellipticity for a Class of Sums of Squares of Vector Fields with Non-Symplectic Characteristic Variety

Authors: Antonio Bove, Makhlouf Derridj, David S. Tartakoff

Abstract: 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 Baouen… ▽ More 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. △ Less

Submitted 7 April, 2005; originally announced April 2005.

Comments: 11 pages

MSC Class: 35H10; 35N15

Journal ref: Journal of Functional Analysis {\bf 234} (2), (2006), pp~464-472.

Propagation of Gevrey Regularity for a Class of Hypoelliptic Equations

Authors: Antonio Bove, David S. Tartakoff

Abstract: We prove results on the propagation of Gevrey and analytic wave front sets for a class of $C^\infty$ hypoelliptic equations with double characteristics. We prove results on the propagation of Gevrey and analytic wave front sets for a class of $C^\infty$ hypoelliptic equations with double characteristics. △ Less

Submitted 30 November, 1994; originally announced November 1994.

MSC Class: 32