We prove via FBI-transform a result concerning the microlocal Gevrey regularity of analytic vectors for operators sums of squares of vector fields with real-valued real analytic coefficients of Hörmander type, thus providing a microlocal version, in the analytic category, of a result due to M. Derridj in "Local estimates for Hörmander's operators of first kind with analytic Gevrey coefficients and application to the regularity of their Gevrey vectors", concerning the problem of the local regularity for the Gevrey vectors for sums of squares of vector fields with real-valued real analytic/Gevrey coefficients.
Nous démontrons , en utilisant la transformation de Fourier-Bros-Iagolnitzer, un résultat de régularité Gevrey microlocale , optimale, des vecteurs analytiques d'opérateurs de Hörmander de type "Sommes de carrés de champs de vecteurs" à coefficients analytiques sur un ouvert. Ce résultat est, dans le cadre analytique, la version microlocale du résultat de M.Derridj "Local estimates for Hörmander's operators of first kind with analytic Gevrey coefficients and application to the regularity of their Gevrey vectors", obtenu pour les vecteurs de Gevrey de tels opérateurs à coefficients Gevrey.
We study the continuity in weighted Fourier Lebesgue spaces for a class of pseudodifferential operators, whose symbol has finite Fourier Lebesgue regularity with respect to $x$ and satisfies a quasi-homogeneous decay of derivatives with respect to the $ξ$ variable. Applications to Fourier Lebesgue microlocal regularity of linear and nonlinear partial differential equations are given.
In this work we study microlocal regularity of hyperfunctions defining in this context a class of generalized FBI transforms first introduced for distributions by Berhanu and Hounie. Using a microlocal decomposition of a hyperfunction and the generalized FBI transforms we were able to characterize the wave-front set of hyperfunctions according several types of regularity. The microlocal decomposition allowed us to recover and generalize both classical and recent results and, in particular, we proved for differential operators with real-analytic coefficients that if the elliptic regularity theo…
We prove the existence of approximate solutions in the (regular) Denjoy-Carleman sense for some systems of smooth complex vector fields. Such approximate solutions provide a well defined notion of Denjoy-Carleman wave front set of distributions on maximally real submanifolds in complex space which can be characterized in terms of the decay of the Fourier-Bros-Iagolnitzer transform. We also apply the approximate solutions to analyze the Denjoy-Carleman microlocal regularity of solutions of certain systems of first-order nonlinear partial differential equations.
We characterize microlocal regularity of Colombeau generalized functions by an appropriate extension of the classical notion of micro-ellipticity to pseudodifferential operators with slow scale generalized symbols. Thus we obtain an alternative, yet equivalent, way to determine generalized wave front sets, which is analogous to the original definition of the wave front set of distributions via intersections over characteristic sets. The new methods are then applied to regularity theory of generalized solutions of (pseudo-)differential equations, where we extend the general noncharacteristic re…
Using a standard linearization technique and previously obtained microlocal properties for pseudodifferential operators with smooth coefficients, the authors state results of microlocal regularity in generalized Besov spaces for solutions to non linear PDE.
We develop a semiclassical second microlocal calculus of pseudodifferential operators associated to linear coisotropic submanifolds $\mathcal{C}\subset T^* \mathbb{T}^n$, where $\mathbb{T}^n = \mathbb{R}^n / \mathbb{Z}^n$. First microlocalization is localization in phase space $T^* \mathbb{T}^n$; second microlocalization is finer localization near a submanifold of $T^* \mathbb{T}^n$. Our second microlocal operators test distributions on $\mathbb{T}^n$ (e.g., Laplace eigenfunctions) for a coisotropic wavefront set, a second microlocal measure of absence of \emph{coisotropic regularity}. This wa…
We introduce different notions of wave front set for the functionals in the dual of the Colombeau algebra $\Gc(\Om)$ providing a way to measure the $\G$ and the $\Ginf$- regularity in $\LL(\Gc(\Om),\wt{\C})$. For the smaller family of functionals having a ``basic structure'' we obtain a Fourier transform-characterization for this type of generalized wave front sets and results of noncharacteristic $\G$ and $\Ginf$-regularity.
We define the notions of micro-support and regularity for ind-sheaves, and prove their invariance by contact transformations. We apply the results to the ind-sheaves of temperate holomorphic solutions of D-modules. We prove that the micro-support of such an ind-sheaf is the characteristic variety of the corresponding D-module and that the ind-sheaf is regular if the D-module is regular holonomic.
We study the regularity of stationary and time-dependent solutions to strong perturbations of the free Schrödinger equation on two-dimensional flat tori. This is achieved by performing a second microlocalization related to the size of the perturbation and by analysing concentration and nonconcentration properties at this new scale. In particular, we show that sufficiently accurate quasimodes can only concentrate on the set of critical points of the average of the potential along geodesics.
We study spaces of ultradifferentiable functions which contain Gevrey classes. Although the corresponding defining sequences do not satisfy Komatsu's condition (M.2)', we prove appropriate continuity properties under the action of (ultra)differentiable operators. Furthermore, we study convenient localization procedure which leads to the concept of wave-front set with respect to our regularity conditions. As an application, we identify the standard projections of intersections/unions of wave-front sets as singular supports of suitable spaces of ultradifferentiable functions.
The purpose of this article is to investigate the structure of singular measures from a microlocal perspective. Motivated by the result of De Philippis-Rindler [10] and the notions of wave cone of Murat-Tartar [19,20,26,27] and of polarisation set of Denker [9] we introduce a notion of $L^1$-regularity wave front set for scalar and vector distributions. Our main result is a proper microlocal characterisation of the support of the singular part of tempered Radon measures and of their polar functions at these points. The proof is based on De Philippis-Rindler's approach reinforced by microlocal …
In global seismology Earth's properties of fractal nature occur. Zygmund classes appear as the most appropriate and systematic way to measure this local fractality. For the purpose of seismic wave propagation, we model the Earth's properties as Colombeau generalized functions. In one spatial dimension, we have a precise characterization of Zygmund regularity in Colombeau algebras. This is made possible via a relation between mollifiers and wavelets.
We investigate global microlocal properties of localization operators and Shubin pseudodifferential operators. The microlocal regularity is measured in terms of a scale of Shubin-type Sobolev spaces. In particular, we prove microlocality and microellipticity of these operators.
We develop a second-microlocal calculus of pseudodifferential operators in the semiclassical setting. These operators test for Lagrangian regularity of semiclassical families of distributions on a manifold $X$ with respect to a Lagrangian submanifold of $T^*X.$ The construction of the calculus, closely analogous to one performed by Bony in the setting of homogeneous Lagrangians, proceeds via the consideration of a model case, that of the zero section of $T^*\mathbb{R}^n,$ and conjugation by appropriate Fourier integral operators. We prove a propagation theorem for the associated wavefront set …
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.
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.
A systematic geometric theory for the ultradifferentiable (non-quasianalytic and quasianalytic) wavefront set similar to the well-known theory in the classic smooth and analytic setting is developed. In particular an analogue of Bony's Theorem and the invariance of the ultradifferentiable wavefront set under diffeomorphisms of the same regularity is proven using a Theorem of Dyn'kin about the almost-analytic extension of ultradifferentiable functions. Furthermore we prove a microlocal elliptic regularity theorem for operators defined on ultradifferentiable vector bundles. As an application we …
The micro-local Gevrey regularity of a class of "sums of squares" with real analytic coefficients is studied in detail. Some partial regularity result is also given.
This paper mainly discuss the regularity behavior of the hyperbolic magnetic Schroedinger equation with singular coefficients near the origin. We apply the techniques from the microlocal analysis to explore the upper bound of loss of regularity. Furthermore, in order to demonstrate the optimality of the result, a delicate counterexample with periodic coefficients will be constructed to show the lower bound of loss of regularity by the application of harmonic analysis and instability arguments.
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…
The paper addresses questions of existence and regularity of solutions to linear partial differential equations whose coefficients are generalized functions or generalized constants in the sense of Colombeau. We introduce various new notions of ellipticity and hypoellipticity, study their interrelation, and give a number of new examples and counterexamples. Using the concept of $\G^\infty$-regularity of generalized functions, we derive a general global regularity result in the case of operators with constant generalized coefficients, a more specialized result for second order operators, and a …
We investigate global solvability, in the framework of smooth functions and Schwartz distributions, of certain sums of squares of vector fields defined on a product of compact Riemannian manifolds $T \times G$, where $G$ is further assumed to be a Lie group. As in a recent article due to the authors, our analysis is carried out in terms of a system of left-invariant vector fields on $G$ naturally associated with the operator under study, a simpler object which nevertheless conveys enough information about the original operator so as to fully encode its solvability. As a welcome side effect of …
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…
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 review and extend the description of ultradifferentiable functions by their almost analytic extensions, i.e., extensions to the complex domain with specific vanishing rate of the $\bar \partial$-derivative near the real domain. We work in a general uniform framework which comprises the main classical ultradifferentiable classes but also allows to treat unions and intersections of such. The second part of the paper is devoted to applications in microlocal analysis. The ultradifferentiable wave front set is defined in this general setting and characterized in terms of almost analytic extensio…
We prove Hölder continuous regularity of bounded, uniformly continuous, viscosity solutions of degenerate fully nonlinear equations defined in all of $\mathbb{R}^n$ space. In particular the result applies also to some operators in Carnot groups.
We show that linear scalar waves are bounded and continuous up to the Cauchy horizon of Reissner-Nordström-de Sitter and Kerr-de Sitter spacetimes, and in fact decay exponentially fast to a constant along the Cauchy horizon. We obtain our results by modifying the spacetime beyond the Cauchy horizon in a suitable manner, which puts the wave equation into a framework in which a number of standard as well as more recent microlocal regularity and scattering theory results apply. In particular, the conormal regularity of waves at the Cauchy horizon - which yields the boundedness statement - is a co…
In this paper we study microlocal regularity of a $\mathcal{C}^2$ solution $u$ of the equation \begin{equation*} u_t = f(x,t,u,u_x), \end{equation*} where $f(x,t,ζ_0, ζ)$ is ultradifferentiable in the variables $(x,t)\in \mathbb{R}^{N} \times \mathbb{R}$ and holomorphic in the variables $(ζ_0,ζ) \in \mathbb{C} \times \mathbb{C}^{N}$. We proved that if $\mathcal{C}^{\mathcal{M}}$ is a regular Denjoy-Carleman class (including the quasianalytic case) then: \begin{equation*} \mathrm{WF}_\mathcal{M} (u)\subset \mathrm{Char}(L^u), \end{equation*} where $\mathrm{WF}_\mathcal{M}(u)$ is the Denjoy-Carl…
We develop a paradifferential approach for studying non-smooth hyperbolic dynamics and related non-linear PDE from a microlocal point of view. As an application, we describe the microlocal regularity, i.e the $H^s$ wave-front set for all $s$, of the unstable bundle $E_u$ for an Anosov flow. We also recover rigidity results of Hurder-Katok and Hasselblatt in the Sobolev class rather than Hölder: there is $s_0>0$ such that if $E_u$ has $H^s$ regularity for $s>s_0$ then it is smooth (with $s_0=2$ for volume preserving $3$-dimensional Anosov flows). In the appendix by Guedes Bonthonneau, it is als…
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…
We introduce a class of embedded CR manifolds satisfying a geometric condition that we call weak $Y(q)$. For such manifolds, we show that dbar-b has closed range on $L^2$ and that the complex Green operator is continuous on $L^2$. Our methods involves building a weighted norm from a microlocal decomposition. We also prove that at any Sobolev level there is a weight such that the complex Green operator inverting the weighted Kohn Laplacian is continuous. Thus, we can solve the dbar-b equation in $C^\infty$.
We define and study classes of smooth functions which are less regular than Gevrey functions. To that end we introduce two-parameter dependent sequences which do not satisfy Komatsu's condition (M.2)', which implies stability under differential operators within the spaces of ultradifferentiable functions. Our classes therefore have particular behavior under the action of differentiable operators. On a more advanced level, we study microlocal properties and prove that $${\rm WF}_{0,\infty}(P(D)u)\subseteq {\rm WF}_{0,\infty}(u)\subseteq {\rm WF}_{0,\infty}(P(D)u) \cup {\rm Char}(P),$$ where $u$…
Let $\mathcal{L}=\sum_{j=1}^m X_j^2$ be a Hörmander sum of squares of vector fields in space $\mathbb{R}^n$, where any $X_j$ is homogeneous of degree $1$ with respect to a family of non-isotropic dilations in space. In this paper we prove global estimates and regularity properties for $\mathcal{L}$ in the $X$-Sobolev spaces $W^{k,p}_X(\mathbb{R}^n)$, where $X = \{X_1,\ldots,X_m\}$. In our approach, we combine local results for general Hörmander sums of squares, the homogeneity property of the $X_j$'s, plus a global lifting technique for homogeneous vector fields.
We study nonlinear elliptic equations for operators corresponding to non-stable Lévy diffusions. We include a sum of fractional Laplacians of different orders. Such operators are infinitesimal generators of non-stable (i.e., non self-similar) Lévy processes. We establish the regularity of solutions, as well as sharp energy estimates. As a consequence, we prove a 1-D symmetry result for monotone solutions to Allen-Cahn type equations with a non-stable Lévy diffusion. These operators may still be realized as local operators using a system of PDEs ---in the spirit of the extension problem of Caff…
In this note we investigate local properties for microlocally symmetrizable hyperbolic systems with just time dependent coefficients. Thanks to Paley-Wiener theorem, we establish finite propagation speed by showing precise estimates on the evolution of the support of the solution in terms of suitable norms of the coefficients of the operator and of the symmetrizer. From this result, local existence and uniqueness follow by quite standard methods. Our argument relies on the use of Fourier transform, and it cannot be extended to operators whose coefficients depend also on the space variables. On…
Elegant 'microlocal' methods have long since been extensively developed for the analysis of conventional Schroedinger eigenvalue problems. For technical reasons though these methods have not heretofore been applicable to quantum field theories. In this article however we initiate a 'Euclidean signature semi-classical' program to extend the scope of these analytical techniques to encompass the study of self-interacting scalar fields in 1 + 1, 2 + 1 and 3 + 1 dimensions. The basic microlocal approach entails, first of all, the solution of a single, nonlinear equation of Hamilton-Jacobi type foll…
This paper is concerned with an inverse source problem for the stochastic biharmonic operator wave equation. The driven source is assumed to be a microlocally isotropic Gaussian random field with its covariance operator being a classical pseudo-differential operator. The well-posedness of the direct problem is examined in the distribution sense and the regularity of the solution is discussed for the given rough source. For the inverse problem, the strength of the random source, involved in the principal symbol of its covariance operator, is shown to be uniquely determined by a single realizati…
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".
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…
This paper addresses the direct and inverse source problems for the stochastic acoustic, biharmonic, electromagnetic, and elastic wave equations in a unified framework. The driven source is assumed to be a centered generalized microlocally isotropic Gaussian random field, whose covariance and relation operators are classical pseudo-differential operators. Given the random source, the direct problems are shown to be well-posed in the sense of distributions and the regularity of the solutions are given. For the inverse problems, we demonstrate by ergodicity that the principal symbols of the cova…
