We consider the Cauchy problem for a hyperbolic pseudodifferential operator whose symbol is generalized, resembling a representative of a Colombeau generalized function. Such equations arise, for example, after a reduction-decoupling of second-order model systems of differential equations in seismology. We prove existence of a unique generalized solution under log-type growth conditions on the symbol, thereby extending known results for the case of differential operators with generalized functions as coefficients.
In this paper, we study the boundedness of pseudodifferential operators with symbols in the Hörmander class $S^0_{ρ,ρ}$ on $α$-modulation spaces $M_{p,q}^{s,α}$, and consider the relation between $α$ and $ρ$. In particular, we show that pseudodifferential operators with symbols in $S^0_{α,α}$ are bounded on all $α$-modulation spaces $M^{s,α}_{p,q}$, for arbitrary $s\in\mathbb{R}$ and for the whole range of exponents $0 < p,q \leq \infty$.
We investigate pseudodifferential operators on arbitrary locally compact abelian groups. As symbol classes for the Kohn-Nirenberg calculus we introduce a version of Sjoestrand's class. Pseudodifferential operators with such symbols form a Banach algebra that is closed under inversion. Since "hard analysis" techniques are not available on locally compact abelian groups, a new time-frequency approach is used with the emphasis on modulation spaces, Gabor frames, and Banach algebras of matrices. Sjoestrand's original results are thus understood as a phenomenon of abstract harmonic analysis rather …
We consider here pseudo-differential operators whose symbol $σ(x,ξ)$ is not infinitely smooth with respect to $x$. Decomposing such symbols into four -sometimes five- components and using tools of paradifferential calculus, we derive sharp estimates on the action of such pseudo-differential operators on Sobolev spaces and give explicit expressions for their operator norm in terms of the symbol $σ(x,ξ)$. We also study commutator estimates involving such operators, and generalize or improve the so-called Kato-Ponce and Calderon-Coifman-Meyer estimates in various ways.
A new symbol theory for pseudodifferential operators in the complex analytic category is given. This theory provides a cohomological foundation of symbolic calculus.
Mixed-norm Lebesgue spaces found their place in the study of some questions in the theory of partial differential equations, as can be seen from recent interest in the continuity of certain classes of pseudodifferential operators on these spaces. In this paper, we use some recent advances in the pseudodifferential calculus for nonsmooth symbols to prove the boundedness of pseudodifferential operators with such symbols on mixed-norm Lebesgue spaces.
In this paper we establish explicit lower bounds for pseudodifferential operators with a radial symbol. The proofs use classical Weyl calculus techniques and some useful, if not celebrated, properties of the Laguerre polynomials.
In this paper we investigate $L^p$ and Sobolev boundedness of a certain class of pseudodifferential operators with non-regular symbols. We employ regularisation methods, namely convolution with a net of mollifiers $(ρ_\eps)_\eps$, and we study the corresponding net of pseudodifferential operators providing $L^p$ and Sobolev estimates which relate the parameter $\eps$ with the non-regularity of the symbol.
We present in this paper the construction of a pseudodifferential calculus on smooth non-compact manifolds associated to a globally defined and coordinate independant complete symbol calculus, that generalizes the standard pseudodifferential calculus on $\R^n$. We consider the case of manifolds $M$ with linearization in the sense of Bokobza-Haggiag, such that the associated (abstract) exponential map provides global diffeomorphisms of $M$ with $\R^n$ at any point. Cartan--Hadamard manifolds are special cases of such manifolds. The abstract exponential map encodes a notion of infinity on the ma…
Smooth pseudodifferential operators on $\mathbb{R}^n$ can be characterized by their mapping properties between $L^p-$Sobolev spaces due to Beals and Ueberberg. In applications such a characterization would also be useful in the non-smooth case, for example to show the regularity of solutions of a partial differential equation. Therefore, we will show that every linear operator $P$, which satisfies some specific continuity assumptions, is a non-smooth pseudodifferential operator of the symbol-class $C^τ S^m_{1,0}(\mathbb{R}^n \times \mathbb{R}^n)$. The main new difficulties are the limited mapp…
It is shown that an elliptic scattering operator $A$ on a compact manifold with boundary with coefficients in the bounded operators of a bundle of Banach spaces of class (HT) and Pisier's property $(α)$ has maximal regularity (up to a spectral shift), provided that the spectrum of the principal symbol of $A$ on the scattering cotangent bundle of the manifold avoids the right half-plane. This is deduced directly from a Seeley theorem, i.e. the resolvent is represented in terms of pseudodifferential operators with R-bounded symbols, thus showing by an iteration argument the R-boundedness of $λ(A…
Motivated by the recent paper of Boggiatto-Garello in J. Pseudo-Differ. Oper. Appl. \textbf{11} (2020), 93-117, where a Gabor operator is regarded as pseudodifferential operator with symbol $p(x,ω)$ periodic on both the variables, we study the continuity and invertibility, on general time frequency invariant spaces, of pseudodifferential operators with completely periodic symbol and general $τ$ quantization.
We give a complete characterization of the continuity of pseudodifferential operators with symbols in modulation spaces $M^{p,q}$, acting on a given Lebesgue space $L^r$. Namely, we find the full range of triples $(p,q,r)$, for which such a boundedness occurs. More generally, we completely characterize the same problem for operators acting on Wiener amalgam space $W(L^r,L^s)$ and even on modulation spaces $M^{r,s}$. Finally the action of pseudodifferential operators with symbols in $W(\Fur L^1,L^\infty)$ is also investigated.
We prove continuity results for Fourier integral operators with symbols in modulation spaces, acting between modulation spaces. The phase functions belong to a class of nondegenerate generalized quadratic forms that includes Schrödinger propagators and pseudodifferential operators. As a byproduct we obtain a characterization of all exponents $p,q,r_1,r_2,t_1,t_2 \in [1,\infty]$ of modulation spaces such that a symbol in $M^{p,q}(\mathbb R^{2d})$ gives a pseudodifferential operator that is continuous from $M^{r_1,r_2}(\mathbb R^d)$ into $M^{t_1,t_2}(\mathbb R^d)$.
In this paper we establish some endpoint estimates for bilinearpseudodifferential operators with symbol in the class BS^m_{1,1}, involving the space of functions with local bounded mean oscillation bmo. As a consequence we also obtain an endpoint estimate of Kato-Ponce type.
We study almost periodic pseudodifferential operators acting on almost periodic functions $G_{\rm ap}^s(\rr d)$ of Gevrey regularity index $s \geq 1$. We prove that almost periodic operators with symbols of Hörmander type $S_{ρ,δ}^m$ satisfying an $s$-Gevrey condition are continuous on $G_{\rm ap}^s(\rr d)$ provided $0 < ρ\leq 1$, $δ=0$ and $s ρ\geq 1$. A calculus is developed for symbols and operators using a notion of regularizing operator adapted to almost periodic Gevrey functions and its duality. We apply the results to show a regularity result in this context for a class of hypoelliptic …
Classically, Gohberg-type Lemmas provide lower bounds for the distance of suitable pseudodifferential operators acting in a Hilbert space to the ideal of compact operators, in terms of "the behavior of the symbol at infinity". In this article the pseudodifferential operators are associated to a compact Abelian group $X$ and an important role is played by its Pontryagin dual $\widehat X$. Hörmander-type classes of symbols are not always available; they will be replaced by crossed product $C^*$-algebras involving a vanishing oscillation condition, which anyway is more general even in the particu…
We investigate properties of pseudodifferential operators on $L^2$ space on manifold with ends including asymptotically conical or hyperbolic ends. Our pseudodifferential operators are a generalization of the canonical quantization which naturally appears in the quantum mechanics on curved spaces. We prove a Calderón-Vaillancourt type theorem for our pseudodifferential operators and discuss a construction of parametrix of elliptic differential operators on manifolds with ends.
Specific global symbol classes and corresponding pseudodifferential operators of infinite order that act continuously on the space of tempered ultradistributions of Beurling and Roumieu type are constructed. For these classes, symbolic calculus is developed.
An approximation Ansatz for the operator solution, $U(z',z)$, of a hyperbolic first-order pseudodifferential equation, $\d_z + a(z,x,D_x)$ with $\Re (a) \geq 0$, is constructed as the composition of global Fourier integral operators with complex phases. An estimate of the operator norm in $L(H^{(s)},H^{(s)})$ of these operators is provided which allows to prove a convergence result for the Ansatz to $U(z',z)$ in some Sobolev space as the number of operators in the composition goes to $\infty$.
This paper deals with positivity properties for a pseudodifferential calculus, generalizing Weyl's classical quantization, and set on an infinite dimensional phase space, the Wiener space. In this frame, we show that a positive symbol does not, in general, give a positive operator. In order to measure the nonpositivity, we establish a Gårding's inequality, which holds for the symbol classes at hand. Nevertheless, for symbols with radial aspects, additional assumptions ensure the positivity of the associated operator.
The aim of this article is to prove a Beals type characterization theorem for pseudodifferential operators in Wiener spaces. The definition of pseudodifferential operators in Wiener spaces and a Calderón-Vaillancourt type result appear in [1]. The set of symbols considered here is the one of [1]. The Weyl calculus in infinite dimension considered here emphasizes the role of the Wick bi-symbols.
In this paper we obtain new estimates for bilinear pseudodifferential operators with symbol in the class $BS_{1,1}^m$, when both arguments belong to Triebel-Lizorkin spaces of the type $F_{p,q}^{n/p}(\mathbb{R}^n)$. The inequalities are obtained as a consequence of a refinement of the classical Sobolev embedding $F^{n/p}_{p,q}(\mathbb{R}^n)\hookrightarrow\mathrm{bmo}(\mathbb{R}^n)$, where we replace $\mathrm{bmo}(\mathbb{R}^n)$ by an appropriate subspace which contains $L^\infty(\mathbb{R}^n)$. As an application, we study the product of functions on $F_{p,q}^{n/p}(\mathbb{R}^n)$ when $1<p<\inf…
A generalization of differential operators are pseudodifferential operators which are used for reasoning about partial differential equations with variable coefficients. A lot of useful properties about classical pseudodifferential operators are already discovered by the works of H. Kumano-Go and L. Hörmander. In this work, we like to transfer their ideas on those operators which symbols are merely Hölder-continous. We focus on the composition of operators, symbol smoothing and operators on manifolds.
We produce, on general homogeneous groups, an analogue of the usual Hörmander pseudodifferential calculus on Euclidean space, at least as far as products and adjoints are concerned. In contrast to earlier works, we do not limit ourselves to analogues of classical symbols, nor to the Heisenberg group. The key technique is to understand ``multipliers'' of any given order j, and the operators of convolution with their inverse Fourier transforms, which we here call convolution operators of order j. (Here a ``multiplier'' is an analogue of a Hörmander-type symbol a(x,ξ), which is independent of x.)…
The paper concerns algebras of almost periodic pseudodifferential operators on $\mathbb R^d$ with symbols in Hörmander classes. We study three representations of such algebras, one of which was introduced by Coburn, Moyer and Singer and the other two inspired by results in probability theory by Gladyshev. Two of the representations are shown to be unitarily equivalent for nonpositive order. We apply the results to spectral theory for almost periodic pseudodifferential operators acting on $L^2$ and on the Besicovitch Hilbert space of almost periodic functions.
Consider an elliptic self-adjoint pseudodifferential operator $A$ acting on $m$-columns of half-densities on a closed manifold $M$, whose principal symbol is assumed to have simple eigenvalues. Relying on a basis of pseudodifferential projections commuting with $A$, we construct an almost-unitary pseudodifferential operator that diagonalizes $A$ modulo an infinitely smoothing operator. We provide an invariant algorithm for the computation of its full symbol, as well as an explicit closed formula for its subprincipal symbol. Finally, we give a quantitative description of the relation between th…
Summarizing basic facts from abstract topological modules over Colombeau generalized complex numbers we discuss duality of Colombeau algebras. In particular, we focus on generalized delta functionals and operator kernels as elements of dual spaces. A large class of examples is provided by pseudodifferential operators acting on Colombeau algebras. By a refinement of symbol calculus we review a new characterization of the wave front set for generalized functions with applications to microlocal analysis.
We obtain new semiclassical estimates for pseudodifferential operators with low regular symbols. Such symbols appear naturally in a Cauchy Problem related to recent weak solutions to the unstable Muskat problem constructed via convex integration in [CCF16]. In particular, our new estimates reveal the tight relation between the speed of opening of the mixing zone and the regularity of the interphase.
We study the microlocal kernel of h-pseudodifferential operators P(x,hD)-z, where z belongs to some neighborhood of size O(h) of a critical value of its principal symbol. We suppose that this critical value corresponds to a hyperbolic fixed point of the associated Hamiltonian flow. First we describe propagation of singularities at such a hyperbolic fixed point, both in the analytic and in the smooth category. In both cases, we show that the null solution is the only element of this microlocal kernel which vanishes on the stable incoming manifold, but for energies z in some discrete set. For en…
We are consider domains in cotangent bundles with the property that the null foliation of their boundary is fibrating and the leaves satisfy a Bohr-Sommerfeld condition (for example, the unit disk bundle of a Zoll metric). Given such a domain, we construct an algebra of associated semiclassical pseudodifferential operators with singular symbols. The Schwartz kernels of the operators have frequency set contained in the union of the diagonal and the flow-out of the null foliation of the boundary of the domain. We develop a symbolic calculus, prove the existence of projectors (under a mild additi…
Polyhomogeneous symbols, defined by Kohn-Nirenberg and Hörmander in the 60's, play a central role in the symbolic calculus of most pseudodifferential calculi. We prove a simple characterisation of polyhomogeneous functions which avoids the use of asymptotic expansions. Specifically, if $U$ is open subset of $\mathbb{R}^d$, then a polyhomogeneous symbol on $U \times \mathbb{R}^d$ is precisely the restriction to $t=1$ of a function on $U \times \mathbb{R}^{d+1}$ which is homogeneous for the dilations of $\mathbb{R}^{d+1}$ modulo Schwartz class functions. This result holds for arbitrary graded di…
Consider an elliptic self-adjoint pseudodifferential operator $A$ acting on $m$-columns of half-densities on a closed manifold $M$, whose principal symbol is assumed to have simple eigenvalues. We show existence and uniqueness of $m$ orthonormal pseudodifferential projections commuting with the operator $A$ and provide an algorithm for the computation of their full symbols, as well as explicit closed formulae for their subprincipal symbols. Pseudodifferential projections yield a decomposition of $L^2(M)$ into invariant subspaces under the action of $A$ modulo $C^\infty(M)$. Furthermore, they a…
In this paper, we consider pseudodifferential operators on the torus with operator-valued symbols and prove continuity properties on vector-valued toroidal Besov spaces, without assumptions on the underlying Banach spaces. The symbols are of limited smoothness with respect to $x$ and satisfy a finite number of estimates on the discrete derivatives. The proof of the main result is based on a description of the operator as a convolution operator with a kernel representation which is related to the dyadic decomposition appearing in the definition of the Besov space.
In this paper we discuss some spectral invariance results for non-smooth pseudodifferential operators with coefficients in Hölder spaces. In analogy to the proof in the smooth case of Beals and Ueberberg, we use the characterization of non-smooth pseudodifferential operators to get such a result. The main new difficulties are the limited mapping properties of pseudodifferential operators with non-smooth symbols and the fact, that in general the composition of two non-smooth pseudodifferential operators is not a pseudodifferential operator. In order to improve these spectral invariance results …
Starting out from a new description of a class of parameter-dependent pseudodifferential operators with finite regularity number due to G. Grubb, we introduce a calculus of parameter-dependent, poly-homogeneous symbols whose homogeneous components have a particular type of point-singularity in the covariable-parameter space. Such symbols admit intrinsically a second kind of expansion which is closely related to the expansion in the Grubb-Seeley calculus and permits to recover the resolvent-trace expansion for elliptic pseudodifferential oerators originally proved by Grubb-Seeley. Another appli…
We present a calculus of pseudodifferential operators that contains both usual parameter-dependent operators -- where a real parameter τ enters as an additional covariable -- as well as operators not depending on τ. Parameter-ellipticity is characterized by the invertibility of three associated principal symbols. The homogeneous principal symbol is not smooth on the whole co-sphere bundle but only admits directional limits at the north-poles, encoded by a principal angular symbol. Furthermore there is a limit-family for τ\to+\infty. Ellipticity permits to construct parametrices that are invers…
We show that if the Hardy-Littlewood maximal operator is bounded on a separable Banach function space $X(\mathbb{R}^n)$ and on its associate space $X'(\mathbb{R}^n)$, then a pseudodifferential operator $\operatorname{Op}(a)$ is bounded on $X(\mathbb{R}^n)$ whenever the symbol $a$ belongs to the Hörmander class $S_{ρ,δ}^{n(ρ-1)}$ with $0<ρ\le 1$, $0\leδ<1$ or to the the Miyachi class $S_{ρ,δ}^{n(ρ-1)}(\varkappa,n)$ with $0\leδ\leρ\le 1$, $0\leδ<1$, and $\varkappa>0$. This result is applied to the case of variable Lebesgue spaces $L^{p(\cdot)}(\mathbb{R}^n)$.
Bilinear pseudodifferential operators with symbols in the bilinear analog of all the Hörmander classes are considered and the possibility of a symbolic calculus for the transposes of the operators in such classes is investigated. Precise results about which classes are closed under transposition and can be characterized in terms of asymptotic expansions are presented. This work extends the results for more limited classes studied before in the literature and, hence, allows the use of the symbolic calculus (when it exists) as an alternative way to recover the boundedness on products of Lebesgue…
Boundedness properties for pseudodifferential operators with symbols in the bilinear Hörmander classes of sufficiently negative order are proved. The results are obtained in the scale of Lebesgue spaces and, in some cases, end-point estimates involving weak-type spaces and BMO are provided as well. From the Lebesgue space estimates, Sobolev ones are then easily obtained using functional calculus and interpolation. In addition, it is shown that, in contrast with the linear case, operators associated with symbols of order zero may fail to be bounded on products of Lebesgue spaces.
We develop a theory of pseudodifferential operators of infinite order for the global classes $\mathcal{S}_ω$ of ultradifferentiable functions in the sense of Björck, following the previous ideas given by Prangoski for ultradifferentiable classes in the sense of Komatsu. We study the composition and the transpose of such operators with symbolic calculus and provide several examples.
The paper studies the solvability for square systems of pseudodifferential operators. We assume that the system is of principal type, i.e., the principal symbol vanishes of first order on the kernel. We shall also assume that the eigenvalues of the principal symbol close to zero have constant multiplicity. We prove that local solvability for the system is equivalent to condition (PSI) on the eigenvalues of the principal symbol. This condition rules out any sign changes from - to + of the imaginary part of the eigenvalue when going in the positive direction on the bicharacteristics of the real …
We prove an index theorem for families of pseudodifferential operators generalizing those studied by C. Callias, N. Anghel and others. Specifically, we consider operators on a manifold with boundary equipped with an asymptotically conic (scattering) metric, which have the form D + i Φ, where D is elliptic pseudodifferential with Hermitian symbols, and Φis a Hermitian bundle endomorphism which is invertible at the boundary and commutes with the symbol of D there. The index of such operators is completely determined by the symbolic data over the boundary. We use the scattering calculus of R. Mel…
We extend the classical regularity theorem of elliptic operators to maximally hypoelliptic differential operators. More precisely, given vector fields $X_1,\ldots,X_m$ on a smooth manifold which satisfy Hörmander's bracket generating condition, we define a principal symbol for \textit{any} linear differential operator. Our symbol takes into account the vector fields $X_i$ and their commutators. We show that for an arbitrary differential operator, its principal symbol is invertible if and only if the operator is maximally hypoelliptic. This answers affirmatively a conjecture due to Helffer and …
We give a brief survey of recent results concerning almost diagonalization of pseudodifferential operators via Gabor frames. Moreover, we show new connections between symbols with Gevrey, analytic or ultra-analityc regularity and time-frequency analysis of the corresponding pseudodifferential operators.
For operators belonging either to a class of global bisingular pseudodifferential operators on $R^m \times R^n$ or to a class of bisingular pseudodifferential operators on a product $M \times N$ of two closed smooth manifolds, we show the equivalence of their ellipticity (defined by the invertibility of certain associated homogeneous principal symbols) and their Fredholm mapping property in associated scales of Sobolev spaces. We also prove the spectral invariance of these operator classes and then extend these results to the even larger classes of Toeplitz type operators.
In previous papers, a generalization of the Weyl calculus was introduced in connection with the quantization of a particle moving in $\mathbb R^n$ under the influence of a variable magnetic field $B$. It incorporates phase factors defined by $B$ and reproduces the usual Weyl calculus for B=0. In the present article we develop the classical pseudodifferential theory of this formalism for the standard symbol classes $S^m_{ρ,δ}$. Among others, we obtain properties and asymptotic developments for the magnetic symbol multiplication, existence of parametrices, boundedness and positivity results, pro…
We consider a periodic pseudodifferential operator $H=(-Δ)^l+A$ ($l>0$) in $\R^d$ which satisfies the following conditions: (i) the symbol of $H$ is smooth in $x$, and (ii) the perturbation $A$ has order smaller than $2l-1$. Under these assumptions, we prove that the spectrum of $H$ contains a half-line.
We obtain improved bounds for pseudodifferential operators with rough symbols on Hardy spaces for Fourier integral operators. The symbols $a(x,η)$ are elements of $C^{r}_{*}S^{m}_{1,δ}$ classes that have limited regularity in the $x$ variable. We show that the associated pseudodifferential operator $a(x,D)$ maps between Sobolev spaces $\mathcal{H}^{s,p}_{FIO}(\mathbb{R}^{n})$ and $\mathcal{H}^{t,p}_{FIO}(\mathbb{R}^{n})$ over the Hardy space for Fourier integral operators $\mathcal{H}^{p}_{FIO}(\mathbb{R}^{n})$. Our main result is that for all $r>0$, $m=0$ and $δ=1/2$, there exists an interval…
In this paper, we are interested in the construction of a bilinear pseudodifferential calculus. We define some symbolic classes which contains those of Coifman-Meyer. These new classes allow us to consider operators closely related to the bilinear Hilbert transform. We give a description of the action of our bilinear operators on Sobolev spaces. These classes also have a ``nice'' behavior through the transposition and the composition operations that we will present.
We construct a parametrix of a resolvent of elliptic differential operators acting on half-densities on manifolds with ends. The construction is carried out by introducing suitable pseudodifferential operators compatible with the end structure. Our class of pseudodifferential operators and symbols is independent of the choice of Riemannian metric on the manifold and applicable to both of asymptotically conical and hyperbolic manifolds. As an application, we prove the essential self-adjointness of elliptic symmetric differential operators on manifolds.
We study a class of semilinear elliptic equations on spaces of tempered ultradistributions of Beurling and Roumieu type. Assuming that the linear part of the equation is an elliptic pseudodifferential operator of infinite order with a sub-exponential growth of its symbol and that the non linear part is given by an infinite sum of powers of $u$ with sub-exponential growth with respect to $u,$ we prove a regularity result in the functional setting of the quoted ultradistribution spaces for a weak Sobolev type solution $u$.
We construct an abstract pseudodifferential calculus with operator-valued symbol, adapted to the treatment of Coulomb-type interactions, and we apply it to study the quantum evolution of molecules in the Born-Oppenheimer approximation, in the case where the electronic Hamiltonian admits a local gap in its spectrum. In particular, we show that the molecular evolution can be reduced to the one of a system of smooth semiclassical operators, the symbol of which can be computed explicitely. In addition, we study the propagation of certain wave packets up to long time values of Ehrenfest order. (Thi…
We will present versions of the Rellich-Kondrachov theorem for pseudo-differential operators acting on localizable Hardy spaces. One of the techniques includes boundedness properties for pseudodifferential operators with symbols in the Hörmander class, that might be of interest in his own right, extending results previously obtained by Goldberg, Alvarez and Hounie, Taylor - among others. As application, we obtain compact embedding results for distributions in nonhomogeneous localizable Hardy-Sobolev spaces.
