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.
We study the change of quantization for a class of global pseudodifferential operators of infinite order in the setting of ultradifferentiable functions of Beurling type. The composition of different quantizations as well as the transpose of a quantization are also analysed, with applications to the Weyl calculus. We also compare global $ω$-hypoellipticity and global $ω$-regularity of these classes of pseudodifferential operators.
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.
We characterize the action of isotropic pseudodifferential operators on functions in terms of their action on Hermite functions. We show that an operator $A : S(\mathbb{R}) \to S(\mathbb{R})$ is an isotropic pseudodifferential operator of order r if and only if its "matrix" $(K(A))_{m,n} := < Aϕ_n,ϕ_m>_{L^2(\mathbb{R})}$ is rapidly decreasing away from the diagonal $\{m = n\}$, order $\frac {r}{2}$ in $m + n$, and where applying the discrete difference operator along the diagonal decreases the order by one. Additionally, we use this result to prove an analogue of Beal's theorem for isotropic p…
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 parametrices for a class of pseudodifferential operators of infinite order acting on spaces of tempered ultradistributions of Beurling and Roumieu type. As a consequence we obtain a result of hypoellipticity in these spaces.
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.
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.
By using a time slicing procedure, we represent the solution operator of a second-order parabolic pseudodifferential equation on $\R^n$ as an infinite product of zero-order pseudodifferential operators. A similar representation formula is proven for parabolic differential equations on a compact Riemannian manifold. Each operator in the multi-product is given by a simple explicit Ansatz. The proof is based on an effective use of the Weyl calculus and the Fefferman-Phong inequality.
We consider toroidal pseudodifferential operators with operator-valued symbols, their mapping properties and the generation of analytic semigroups on vector-valued Besov and Sobolev spaces. We show that a parabolic toroiodal pseudodifferential operator generates an analytic semigroup both on Banach space-valued Besov spaces and on Banach space-valued Sobolev spaces. Here, no condition on the Banach space is imposed. For the proof of the Sobolev space result, we establish a uniform estimate on the kernel which is given as an infinite parameter-dependent sum. An application to abstract non-auton…
We aim at extending the definition of the Weyl calculus to an infinite dimensional setting, by replacing the phase space $ \mathbb{R}^{2n}$ by $B^2$, where $(i,H,B)$ is an abstract Wiener space. A first approach is to generalize the integral definition using the Wigner function. The symbol is then a function defined on $B^2$ and belonging to a $L^1$ space for a gaussian measure, the Weyl operator is defined as a quadratic form on a dense subspace of $L^2(B)$. For example, the symbol can be the stochastic extension on $B^2$, in the sense of L. Gross, of a function $F$ which is continuous and bo…
The construction, in [AJN], of a pseudodifferential calculus analogous to the Weyl calculus, in an infinite dimensional setting, required the introduction of convenient classes of symbols. In this article, we proceed with the study of these classes in order to establish, later on, the properties that a pseudodifferential calculus is expected to satisfy. The introduction and the study of a new class are rendered necessary in view of applications in QED. We prove here that the symbols of both classes and the terms of their Taylorexpansions admit stochastic extensions. We define, in this infinite…
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.
We consider pseudodifferential operators on functions on $\R^{n+1}$ which commute with the Euler operator, and can thus be restricted to spaces of functions homogeneous of some given degree. Their symbols can be regarded as functions on a reduced phase space, isomorphic to the homogeneous space $G_n/H_n=SL(n+1,\R)/GL(n,\R)$, and the resulting calculus is a pseudodifferential analysis of operators acting on spaces of appropriate sections of line bundles over the projective space $P_n(\R)$ : these spaces are the representation spaces of the maximal degenerate series $(π_{iλ,ε})$ of $G_n$ . This …
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…
We define a noncommutative residue for classical Euclidean pseudodifferential operators on a torus of arbitrary dimension. We prove that, up to multiplication by a constant, it is the unique trace on the algebra of classical pseudodifferential operators modulo infinitely smoothing operators. In the case of the two torus, we show that the noncommutative residue is the semiclassical limit of a noncommutative residue defined on classical pseudodifferential operators on noncommutative two tori.
We study strictly hyperbolic partial differential operators of second order with non-smooth coefficients. After modelling them as semiclassical Colombeau equations of log-type we provide a factorization procedure on some time-space-frequency domain. As a result the operator is written as a product of two semiclassical first-order constituents of log-type which approximates the modelled operator microlocally at infinite points. We then present a diagonalization method so that microlocally at infinity the governing equation is equal to a coupled system of two semiclassical first-order strictly h…
In this paper we consider the solvability of pseudodifferential operators when the principal symbol vanishes of at least second order at a non-radial involutive manifold $Σ_2$. We shall assume that the subprincipal symbol is of principal type with Hamilton vector field tangent to $Σ_2$ at the characteristics, but transversal to the symplectic leaves of $Σ_2$. We shall also assume that the subprincipal symbol is essentially constant on the leaves of $Σ_2$ and does not satisfy the Nirenberg-Treves condition ($Ψ$) on $Σ_2$. In the case when the sign change is of infinite order, we also need a con…
The goal of this paper is to establish a global well-posedness for a broad class of strictly hyperbolic Cauchy problems with coefficients in $C^2((0,T];C^\infty(\mathbb{R}^n))$ growing polynomially in $x$ and singular in $t$. The problems we study are of strictly hyperbolic type with respect to a generic weight and a metric on the phase space. The singular behavior is captured by the blow-up of the first and second $t$-derivatives of the coefficients which allows the coefficients to be either logarithmic-type or oscillatory-type near $t=0$. To arrive at an energy estimate, we perform a conjuga…
Nonlinear and nonlinear evolution equations of the form $u_t=Łu \pm|\nabla u|^q$, where $Ł$ is a pseudodifferential operator representing the infinitesimal generator of a Lévy stochastic process, have been derived as models for growing interfaces in the case when the continuous Brownian diffusion surface transport is augmented by a random hopping mechanism. The goal of this paper is to study properties of solutions to this equation resulting from the interplay between the strengths of the "diffusive" linear and "hyperbolic" nonlinear terms, posed in the whole space $\bbfR^N$, and supplemented …
