Local solvability of analytic pseudodifferential complexes in top degree
type: Item
instance of: scholarly article
title: Local solvability of analytic pseudodifferential complexes in top degree
zbMATH Open document ID: 0873.47031
DOI: 10.1215/S0012-7094-97-08701-9
author: Zuhong Han
published in: Duke Mathematical Journal
publication date: 1997-09-22T00:00:00Z
review text: Let \(\Omega\) be an open set in \({\mathbb{R}}^{n+1}\) and \(\Psi(\Omega)\) be the ring of pseudodifferential operators on \(\Omega\). A left ideal \({\mathcal P}\) in \(\Psi(\Omega)\) is said to be a Frobenius ideal of rank \(n\) if, for every point \(y\in\Omega\), there exists an open neighborhood \(U\) of \(y\) and \(n\) first-order pseudodifferential operators \(P_1,\ldots,P_n\in{\mathcal P}\) such that \(P_1,\ldots,P_n\) are linearly independent over \(\Psi(U)\), and for all \(P\in{\mathcal P}\), there exist \(A_1,\ldots,A_n\in\Psi(U)\) such that \(P=\sum_{i=1}^n A_iP_i\) and there exist \(c_{jk}^l\in\Psi^0(\Omega)\) such that \([P_j,P_k]=\sum_l c_{jk}^l P_l\). The characteristic set of \({\mathcal P}\) is \(\text{ char} {\mathcal P}={\text{char}}P_1\cap\cdots\cap{\text{char}}P_n\). \({\mathcal P}\) is elliptic at \(0\) if \({\text{char}} {\mathcal P}|_0=\{0\}\). Here it is assumed that \({\mathcal P}\) is nonelliptic at \(0\) and has simple real characteristics. A phase function \(S(y,\eta)\) of \({\mathcal P}\) is defined by the equations \(p_{j,0}(y,S_y)=0\), \(j=1,2,\ldots,n\), \(S_y(0)=\eta\), where \(\eta\in{\text{char}} {\mathcal P}|_0\) is fixed and \(p_{j,0}\) is the principal symbol of \(P_j\). A condition \((\Psi)_{n-1}\) at \(0\) is introduced as follows: For any open neighborhood \(U\) of \(0\), there exists another open neighborhood \(V\) of \(0\), \(V\subset U\) such that the level set \(\{y\in V: {\text{Re}} S=u_0, {\text{Im}} S\geq v_0\}\) has no compact components whatever \(u_0\), \(v_0\in{\mathbb{R}}\). With this notation, the equation \(Pu:=P_1u_1+P_2u_2+\cdots P_nu_n=f\) is locally solvable at \(0\) if for any \(f\in C^\infty(U)\) there exist \(u_1,\ldots u_n \in{\mathcal E}'(U)\) such that \(Pu=f\) is satisfied in \(V\subset U\). The author proves the following theorem: Equation \(Pu=f\) is locally solvable at \(0\) if and only if \({\mathcal P}\) satisfies condition \((\Psi)_{n-1}\) at \(0\).
Mathematics Subject Classification ID: 47G30
Mathematics Subject Classification ID: 35S05
zbMATH DE Number: 1011421
zbMATH Keywords: pseudodifferential complexes
zbMATH Keywords: local solvability
zbMATH Keywords: pseudodifferential operators
zbMATH Keywords: Frobenius ideal
reviewed by: Rémi Vaillancourt
MaRDI profile type: Publication
cites work: Local exactness in a class of differential complexes
cites work: On Local Solvability of Underdetermined Systems of Vector Fields
cites work: Q3843833
cites work: Notions of convexity
cites work: Sufficiency of condition (\(\psi\) ) for local solvability in two dimensions
cites work: Local solvability in a class of overdetermined systems of linear PDE
cites work: On local solvability of linear partial differential equations—part II. Sufficient conditions
cites work: On local solvability of linear partial differential equations part I: Necessary conditions
cites work: Q3950959
cites work: Study of a model in the theory of complexes of pseudodifferential operators
cites work: Q3900553
cites work: On the local solvability and the local integrability of systems of vector fields
description: scientific article; zbMATH DE number 1011421