Analytic hypo-ellipticity and propagation of regularity for a system of microdifferential equations with non-involutory characteristics
type: Item
instance of: scholarly article
title: Analytic hypo-ellipticity and propagation of regularity for a system of microdifferential equations with non-involutory characteristics
zbMATH Open document ID: 0535.35012
DOI: 10.1007/BF01451415
published in: Mathematische Annalen
publication date: 1984-01-01T00:00:00Z
full work available at URL: https://eudml.org/doc/163927
review text: The author studies microdifferential (i.e. analytic pseudodifferential) operators of the form \(P=P_ 1P_ 2I_ m+Q;\) here \(P_ 1\) and \(P_ 2\) are scalar microdifferential operators of order \(\ell_ 1\) and \(\ell_ 2\) respectively such that the Poisson bracket \(\{\sigma(P_ 1),\sigma(P_ 2)\}\) of their principal symbols does not vanish at a point \(x^*\) of \(\sqrt{-1}T^*{\mathbb{R}}^ n-0, Q=(Q_{ij})\) is an \(m\times m\) matrix of microdifferential operators of order at most \(\ell_ 1+\ell_ 2-1\), and \(I_ m\) is the \(m\times m\) unit matrix. Suppose that \(P_ 1\) satisfies a condition (H), or equivalently that \(P_ 1\) can be transformed into the operator \(D_ 1+\sqrt{-1}x^ k\!_ 1D_ n\) near \(x^*\!_ 0=(0,\sqrt{-1}dx_ n)\) be a quantized contact transformation with a positive odd integer k; here \(D_ j=\partial /\partial x_ j.\) Suppose also that any eigenvalue of \((\sigma_{\ell -1}(Q_{ij})(x^*)/\{\sigma(P_ 1),\sigma(P_ 2)\}(x^*))\) is not a non-negative integer, where \(\sigma_{\ell -1}\) denotes the principal symbol of order \(\ell -1\). Under these conditions, it is proved that P is microlocally analytic hypo-elliptic at \(x^*\), i.e. the sheaf homomorphism \(P:C^ m\to C^ m\) is injective at \(x^*\), where C denotes the sheaf of microfunctions. For example, this result shows that a partial differential operator \((D_ 1+\sqrt{-1}x^ k\!_ 1D_ 2)(D_ 1\!^{\ell}-\sqrt{-1}x_ 1D_ 2\!^{\ell})+Q\) is locally analytic hypoelliptic at \((0,0)\in {\mathbb{R}}^ 2\) if k and \(\ell\) are positive odd integers, Q is a partial differential operator of order at most \(\ell\), and if \(\sigma_{\ell}(Q)(0,0:0,1)\) is not an integer. - To prove this result, the author uses the theory of positivity due to \textit{P. Schapira} [Ann. Sci. Éc. Norm. Supér., IV. Sér. 14, 121-139 (1981; Zbl 0473.58022)] and a canonical form (in the complex domain) of P which was given by the author [Invent. Math. 65, 491-525 (1982; Zbl 0493.35083)].
Mathematics Subject Classification ID: 35H10
Mathematics Subject Classification ID: 35S05
Mathematics Subject Classification ID: 35A20
zbMATH DE Number: 3849681
zbMATH Keywords: analytic hypo-ellipticity
zbMATH Keywords: propagation of regularity
zbMATH Keywords: microdifferential equations
zbMATH Keywords: non-involutory characteristics
author: Toshinori Oaku
MaRDI profile type: Publication
cites work: Hypoelliptic operators with double characteristics and related pseudo-differential operators
cites work: On a class of pseudodifferential operators with double characteristics
cites work: On a class of systems of pseudodifferential equations with double characteristics
cites work: ON A CLASS OF HYPOELLIPTIC OPERATORS
cites work: ON A CLASS OF ELLIPTIC PSEUDODIFFERENTIAL OPERATORS DEGENERATE ON A SUBMANIFOLD
cites work: A class of hypoelliptic pseudodifferential operators with double characteristics
cites work: Q3901996
cites work: Structure of cohomology groups whose coefficients are microfunction solution sheaves of systems of pseudo-differential equations withmultiple characteristics, I
cites work: Structure of a single pseudodifferential equation in a real domain
cites work: Q3697337
cites work: Q3892674
cites work: Q4063944
cites work: Fourier integral operators with complex phase functions and parametrix for an interior boundary value problem
cites work: Hypoellipticite analytique sur des groupes nilpotents de rang 2
cites work: Editorial board
cites work: A canonical form of a system of microdifferential equations with non- involutory characteristics and branching of singularities
cites work: Analytic hypo-ellipticity of a system of microdifferential equations with non-involutory characteristics
cites work: Analytic hypo-ellipticity and propagation of regularity for operators with non-involutory characteristics
cites work: Q4403324
cites work: On some subgroups of the group $PSp\left( {2n,q} \right)$
cites work: Conditions de positivité dans une variété symplectique complexe. Application à l'étude des microfonctions
cites work: Parametrices for pseudodifferential operators with multiple characteristics
cites work: Q3868136
cites work: The local real analyticity of solutions to d'Alembert-Operator(b) and the (partial d)--Neumann problem
cites work: Analytic hypo-ellipticity of a class of pseudodifferential operators with double characteristics and applications to the -neumann problem
description: scientific article; zbMATH DE number 3849681