Linear partial differential operators
Das Erscheinen dieser Publikation ist das größte Ereignis auf dem Gebiete der Literatur der partiellen Differentialgleichungen seit einem Vierteljahrhundert, d. h. seit 1937, als der II. Band von Courant-Hilbert erschien [\textit{R. Courant} and \textit{D. Hilbert}, Methoden der mathematischen Physik. Bd. 2. Berlin: Springer (1937; Zbl 0017.39702; JFM 63.0449.05)]. Das Buch besteht aus drei Teilen = 10 Kapiteln. Der 1. Teil ( ``Funktionalanalysis ) enthält im 1. Kapitel eine elementare, aber elegante Einführung in die Distributionentheorie von L. Schwartz, die gipfelt in den Sätzen vom Paley-Wiener Typus über die Fourier-Laplacesche Transformation der Distributionen, deren singulärer Träger: sing \(\sup u\subset R (0, r)\). Dabei ist sing \(\sup~u\) eine solche kleinste abgeschloßene Menge \(K\), daß \(u\in C^{\infty}(CK)\). Es werden auch Distributionen auf Mannigfaltigkeiten eingeführt. Im 2. Kapitel werden viele -- für die späteren Anwendungen wichtige -- Distributionenräume eingeführt und untersucht. Die eigentliche Theorie der Differentialoperatoren umfaßt Kapitel III--X. Auf diesen knapp 200 Seiten sind ungeheuer viel Fakten und Methoden zusammengepreßt, wobei hervorzuheben ist, daß der Verf. alles streng beweist (es wird nie wegen ``schwieriger Beweise auf die Literatur verwiesen). Schon die Einteilung der Theorie ist für den Nichtspezialisten revolutionär: In allen klassischen Textbüchern wird meistens nur die Theorie der Gleichungen zweiter Ordnung behandelt, wobei man zuerst die (algebraische) Einteilung in Typen (elliptisch, hyperbolisch usw.) vornimmt und dann jeden Typus in einem besonderen Teil behandelt. Verf. dagegen behandelt gleich Operatoren beliebiger Ordnung. Seine Einteilung: konstante Koeffizienten Kapitel III--V; variable Koeffizienten: Kap. VI--X. Selbstverständlich kann man aus dieser Fülle hier nur probeweise einiges hervorheben. Kapitel III: Eine Distribution \(E\in \mathcal D'(R_n)\) heißt Fundamentallösung des Operators \(P(D)\), falls \(P(D)\mathcal E=\delta_0\) (Diracsches Maß). Es wird die Existenz einer Fundamentallösung (für jeden Operator mit konstanten Koeffizienten) bewiesen. Weiter wird eine Konstruktion der Fundamentallösung mit benötigten lokalen Eigenschaften gegeben. Diese Konstruktion erlaubt dem Verf., die lokale Regularität der Lösungen der Gleichung \(P(D)u = f\) zu untersuchen. Ein Satz vom Runge-Typus wird bewiesen und die Lösbarkeit der Gleichung \(P(D)u = f\) für \(f\in \mathcal D'_F (\Omega)\) -- Distribution endlicher Ordnung -- entwickelt. Kapitel IV: Regularität der Lösungen im Innern des Gebietes. Es werden die bekannten (Hörmanderschen) Bedingungen für die Hypoelliptizität (H. e.) von \(P(D)\) aufgestellt: es sind Bedingungen dafür, daß die Gleichung \(P (D) u = f\) für \(f\in C^{\infty}\) nur \(C^{\infty}\)-Lösungen besitzt. Formuliert in der Sprache der Träger: \(P^*\) ist h. e., falls \(\mathrm{sing}\sup u = \mathrm{sing}\sup P^*(D)u\), \(u \in \mathcal D' (\Omega)\). Kapitel V: Cauchy-Problem (konstante Koeffizienten). Es werden u. a. in moderner Form klassische Sätze von Cauchy--Kovalevskaja sowie von Holmgren hergeleitet. Weiter wird ein globaler Satz von F. John bewiesen und eine Charakterisierung der Gleichungen gegeben, für welche das nichtanalytische Cauchy-Problem für beliebige rechte Seite und Cauchyanfangsdaten der Klasse \(C^{\infty}\) lösbar ist. Kapitel VI: Gleichungen ohne Lösungen. \textit{H. Lewy} [Ann. Math. (2) 66, 155--158 (1957; Zbl 0078.08104), erratum. ibid. 68, 202 (1958)] hat entdeckt, daß die Gleichung \[ \partial u/\partial x_1 + \partial u/\partial x_2 + 2i(x_1 + i x_2) \partial u/\partial x_3 = f\] in jedem offenem \(\Omega\subset\mathbb{R}_3\) bei ``passender Wahl von \(f\in C^{\infty} (\mathbb{R}_3)\) keine Lösung besitzt. Verf. verallgemeinert dieses Ergebnis folgendermaßen: Satz. Es sei \(P\) von einer Ordnung \(\leq m\), woraus folgt, daß der Kommutator \(C: = P^*P-PP^*\) von einer Ordnung \(\leq 2m-1\) ist. Angenommen, für ein \(x\in\Omega\) und einen kovarianten Vektor \(\xi\) gilt \((*)~P_m(x,\xi) = 0\), \(C_{2m-1}(x,\xi)\neq 0\), dann gibt es ein \(f\in C^{\infty} (\Omega)\), so daß die Gleichung \(P u = f\) in keiner Umgebung von \(x\) eine Lösung -- sogar im Sinne der Distributionentheorie -- besitzt. Wenn für jedes \(x\) in einer dichten Untermenge von \(\Omega\) (*) für ein \(\xi\) erfüllt ist, dann gibt es ein \(f\in C^{\infty} (\Omega)\), so daß die Gleichung \(P u = f\) in keiner offenen Untermenge von \(\Omega\) eine Distributionenlösung besitzt. Kapitel VII: Differentialoperatoren von konstanter Stärke (k. S.). Es sei \[ \tilde{P}(x, \xi) :=\sum_{| \alpha |\geq 0}| P^{\alpha}(x,\xi)|^2, \] wobei \(P^{\alpha}(\eta): = i^{|\alpha|} D^{\alpha}P(\eta)\). Ein Operator \(P(x, D)\) ist von k. S. in \(\Omega\), falls für \(x, y\in\Omega\) gilt \(\tilde{P}(x, \xi)/\tilde{P}(y, \xi) \leq c(x, y)\) mit \(\xi\in \mathbb{R}^n\). Verf. beweist die Existenz eines Greenschen Operators (eine Verallgemeinerung der klassischen Greenschen Funktion) für ein abstraktes Randwertproblem für einen Operator \(P\) von k. S., nämlich: Wenn \(P(x, D)\) \(C^{\infty}\)-Koeffizienten besitzt und von k. S. in einer Umgebung von \(x_0\) ist, und falls \(\Omega\) eine hinreichend kleine Umgebung von \(x_0\) ist, dann gibt es eine lineare Abbildung \(E: \mathcal E' (R_n) \to\mathcal E'(R_n)\) mit folgenden Eigenschaften: \(P (x, D) E f = f\) in \(\Omega\) für \(f\in \mathcal E (R_n)\); \(E P (x, D)u = u\) in \(\Omega\) für \(u\in \mathcal E'(\Omega)\). Kapitel VIII (Differentialoperatoren mit einfachen Charakteristiken) enthält die vielleicht schönsten Ergebnisse des Verf.; wir heben folgende hervor: Zuerst werden Abschätzungen vom Carlemanschen Typus diskutiert, d. h. für eine fixierte Funktion \(\varphi\): \[ \tau\sum_{| \alpha |\leq m-1}\int| D^{\alpha}u|^2 \exp (2\tau\varphi)dx\leq K_1\int | P(x,D)u|^2 \exp(2\tau\varphi)\,dx + K_2 \sum_{| \alpha |\leq m-2} \tau^{2(m-|\alpha|)-1}\int| D^{\alpha}u|^2 \exp (2\tau\varphi)\,dx \tag{*}, \] \(u\in C_0^{\infty}(\Omega)\), \(\tau>\tau_0\). Es sei \(N = \mathrm{grad} \varphi (x)\) mit \(x\in\Omega\); \(\zeta=\xi+i\sigma N\) mit \(\xi\in\mathbb R_n\) und \(0 \neq \sigma\in \mathbb R_1\) genüge der charakteristischen Gleichung \(P_m (x, \zeta) = 0\). Mit (*) gilt dann auch die Ungleichung \[ |\zeta|^{2(m-1)}-K_2\sigma^2(|\zeta|^2+\sigma^2)^{m-2}\leq 2K_1\varphi_P(x,\xi,\sigma) , \] wenn die linke Seite positiv ist. Dabei wurde die folgende Abkürzung benutzt \[ \varphi_P(x,\xi,\sigma)=\sum_{i,k=1}^n \frac{\partial^2\varphi}{\partial x_i\partial x_k} P_m^{(j)}(x,\zeta)\overline{P_m^{(k)}(x,\zeta)}+\sigma^{-1}\mathrm{Im}\left(\sum_1^n P_{m,k}(x,\zeta) \overline{P_m^{(k)}(x,\zeta)}\right),\tag{**} \] wo \(P_m^{(j)}(x,\xi)=\partial P_m(x,\xi)/\partial \xi_j\), \(P_{m,j}(x,\xi)=\partial P_m(x,\xi)/\partial x_j\). Definition. \(P\) heißt prinzipiell normal (principally normal), wenn es einen Differentialoperator \(Q\) der Ordnung \(m-1\) gibt, so daß \(C_{2m-1}(x,\xi)=2\mathrm{Re}\,P_m(x,\xi) \overline{Q_{m-1}(x,\xi)}\), \(x\in \mathbb R_n\). Es gilt eine (Teil-)Umkehrung des vorstehenden Satzes: Es sei \(P\) prinzipiell normal und es sei \(\varphi_P(x,\xi,\sigma) > 0\), wenn \(x \in\Omega\), \(0\neq \xi\in \mathbb R_n\) und \(P_n (x,\xi) = 0\). Ist \(K\) eine kompakte Untermenge von \(\Omega\), dann gilt für eine Konstante \(C\) \[ \sum_1^{m-1} \tau^{2(m-j)-1} \int| D^ju|^2 \exp (2\tau\varphi)\,dx\leq C\int (| Pu|^2+\tau^{2m-1}| u |^2 \exp (2\tau\varphi)\,dx,~u\in C^{\infty}_0(K). \] Wenn außerdem \(\varphi_P(x, \xi, \sigma) > 0\) für alle \(x\in\Omega\), \(\xi\in \mathbb R_n\), \(\sigma\in \mathbb R\) mit \(\sigma\neq 0\) der Gleichung \(P_m(x,\xi + i\sigma N) = 0\) genügt, dann gilt \[ \sum_1^{m-1} \tau^{2(m-j)-1} \int| D^ju|^2 \exp (2\tau\varphi)\,dx\leq C\int | Pu|^2 \exp (2\tau\varphi)\,dx,~u\in C^{\infty}_0(K) \tag{***}. \] Bemerkung. \(| D^j u|^2: = \sum_{| \alpha |\leq j}| D^{\alpha}u|^2\); bei \(P_m(x,\xi+i\sigma N) = 0\) ändert man (**), indem man das zweite Glied ersetzt durch \[ \sigma^{-1}\mathrm{Im}\sum_1^n P_{m,k}(x,\zeta) \overline{P_m^{(k)}(x,\zeta)}-\mathrm{Re}\,P_{m}(x,\zeta) \overline{Q_{m-1}(x,\zeta)}. \] Aus der Ungleichung (***) bekommt man den folgenden Satz (Eindeutigkeit des Cauchyproblems): Es sei \(\varphi\) eine reelle Funktion in \(C^2(\Omega)\) und \(P\) ein Differentialoperator, der entweder elliptisch oder prinzipiell normal ist. Weiter sei \(x_0\in \Omega\) und grad\(\varphi(x_0) = N^0\neq 0\) sowie \(\varphi_P (x_0, \xi,\sigma) > 0\) für \(0\neq \zeta=\xi+i\sigma N^0\), \(\xi\in\mathbb R_n\), \(\sigma\in \mathbb R_1\), und \(\zeta\) sei eine Lösung der Gleichung \(P_m (x_0,\zeta) = 0\), \(\sum_1^n P_m^{(j)}(x_0,\zeta)N^0_j= 0\). Dann gibt es eine solche Umgebung \(\Omega'\) von \(x_0\), daß jedes \(u \in\mathcal D'(\Omega)\), das der Gleichung \(Pu = 0\) in \(\Omega\) genügt und auf \(\Omega^+= \{x : x\in \Omega, \varphi(x) > \varphi (x_0) \}\) verschwindet, in \(\Omega_1\) identisch verschwindet. Eindeutige Fortsetzung der Singularitäten garantiert der folgende Satz: Es sei \(\varphi\) eine reelle Funktion in \(C^2 (\Omega)\) und \(P\) prinzipiell normal. Weiter sei \(x_0\) ein Punkt in \(\Omega\) mit grad\(\varphi (x_0) = N^0 \neq 0\), und es sei \(\varphi_P(x_0,\xi,\sigma)> 0\) für \(0 \neq\xi \in \mathbb R_n\) und \(P_m (x_0,\zeta) = 0\), \(\sum_1^n P_m^{(j)}(x_0,\zeta)N^0_j= 0\). Dann gibt es eine solche Umgebung \(\Omega'\) von \(x_0\), daß jedes \(u \in\mathcal D'(\Omega)\), für welches \(Pu \in C^{\infty}(\Omega)\) und \(u\in C^{\infty}(\Omega^+)\) gilt, in \(C^{\infty}(\Omega)\) enthalten ist. Im Kapitel IX (Cauchy-Problem für variable Koeffizienten) gelingt es dem Verf. zum großen Teil, Ergebnisse des V. Kapitels auf Operatoren mit variablen Koeffizienten zu übertragen. Kapitel X (Elliptische Randwertaufgaben). In letzter Zeit ist es gelungen, eine richtige Definition des elliptischen Randwertproblems beliebiger Ordnung zu geben. In diesem Kapitel gibt der Verf. eine moderne Fassung dieses Problems: Das Randwertproblem wird betrachtet als eine lineare (stetige) Abbildung eines geeigneten Funktionenraumes in, ein Produkt geeigneter Funktionenräume. Verf. betrachtet gleich kompakte differenzierbare Mannigfaltigkeiten mit Rand. Es werden auch (allgemeine) adjungierte Probleme definiert. Endlichkeit des Indexes der Randwertaufgabe und Stabilität des Indexes bei kleinen Störungen werden bewiesen. Verf. beweist weiterhin die differenzierbare Abhängigkeit der Lösungen elliptischer Randwertaufgaben von den Daten des Problems. Kurz skizziert wird auch eine Übertragung des obigen Resultats auf elliptische Systeme. Zum Schluß möchte der Ref. einige ``kritische Bemerkungen hinzufügen: Diese Publikation wird mit Sicherheit ein Standardwerk werden, so daß bald eine zweite Auflage nötig sein wird. Dann wäre es wünschenswert, beide Indexe zu vervollständigen: z. B. in dem ``Index of notations fehlen die oft benutzten Bezeichnungen: \(P^{\alpha}\), \(\tilde{P}\), \(R^0_n\), \(\mathcal M(\Omega;\omega,\mu)\), \(\mathcal M_0\), \(\mathcal M_{-\infty}(R_n, R_n;\mu)\). Im ``Index: uniqueness of Cauchy problem, continuation of singularities etc. Dem Nichtspezialisten wäre mit kurzen Brückenschlägen zur konventionellen Betrachtungsweise geholfen, z. B. warum der schöne Satz 8.9.1 wirklich Eindeutigkeit des Cauchyproblems ergibt. Doch niemand hat bisher aller Menschen Wünsche befriedigt\dots. Wir sind dem Verf. jedenfalls zutiefst dankbar, daß er uns dieses Werk geschenkt hat.
- Laplace approximation for stochastic line integrals
- Well-posedness of the Cauchy problem for hyperbolic equations with non-Lipschitz coefficients
- Carleman estimates for parabolic equations with nonhomogeneous boundary conditions
- Interior regularity operators
- Criteria for the discreteness of the spectrum of a hypoelliptic operator
- Compactness in translation invariant Banach spaces of distributions and compact multipliers
- On the closure of spaces of sums of Ridge functions and the range of the X-ray transform
- Quasi-analyticity for hypoelliptic operators
- Infinite dimensional stochastic differential equation models for spatially distributed neurons
- L^ 2 estimates and existence theorems for the tangential Cauchy-Riemann complex
- Certain nonelliptic boundary-value problems for a system of second-order elliptic equations with the principal part in the form of the Laplace operator
- Asymptotics of maximal and typical dimensions of irreducible representations of a symmetric group
- Uniqueness of extension of solutions of hyperbolic equations
- Wiener estimates at boundary points for parabolic equations
- Non prolongement unique des solutions d'opérateurs somme de carrés. (Unique non extension of solutions of sums of square operators)
- Partial differential equations without solution operators in weighted spaces of (generalized) functions
- On a closed range property of a linear differential operator
- A generic existence theorem for convective motions in a viscous fluid
- Hilbert integrals, singular integrals, and Radon transforms. I
- A class of inverse problems for nonlinear parabolic equations
- On the global existence of holomorphic solutions and the semi-global existence of real analytic solutions of linear partial differential equations
- On Gårding's inequality
- Root functions of boundary eigenvalue operator functions
- Hilbert integrals, singular integrals, and Radon transforms. II
- Exact boundary controllability of a hybrid system of elasticity
- Uniqueness and stability of extension of solution of an elliptic equation from a set to a domain
- Nodal sets of eigenfunctions on Riemannian manifolds
- Carleman's and subelliptic estimates
- On semi-Fredholm properties of a boundary value problem in \({\mathbb{R}}^ n_+\)
- Fourier integral operators and inhomogeneous Gevrey classes
- Limitations on the rate of decrease of solutions of elliptic equations in unbounded domains
- Liouville type theorem for a system \(\{P(D),B_j(D),j=1,\dots ,p\}\) of differential operators with constant coefficients in a half space
- Sistemi del tipo (Pu=f, Qu=g) non globalmente risolubili
- Sur le problème de Cauchy pour les opérateurs partiellement multiquasi- elliptiques
- Solvability of invariant differential operators of principal type on certain Lie groups and symmetric spaces
- Selberg type zeta functions for the group of complex two by two matrices of determinant one
- Un'estensione del teorema sulle suriezioni fra spazi di Frechet. Qualche sua applicazione
- The local real analyticity of solutions to d'Alembert-Operator(b) and the (partial d)--Neumann problem
- Lifting-Probleme für Vektorfunktionen und Tensorprodukt-Sequenzen
- \(L^ p-\)inequalities for the Laplacian and unique continuation
- A link between C^ and analytic solvability for P.D.E. with constant coefficients
- Perturbations of pseudo-differential operators with double characteristics of constant multiplicity
- Absolute continuity, singularity, and supports of Gauss semigroups on a Lie group
- Necessary conditions for local solvability of homogeneous left invariant differential operators on nilpotent Lie groups
- Ein Indexsatz für Flächen konstanter mittlerer Krümmung
- Transformation of boundary problems
- A sufficient condition for existence of real analytic solutions of P.D.E. with constant coefficients, in open sets of \(R^ 2\).
- On global regularity and solvability of linear pseudo-differential equations
- Nodal domains and growth of harmonic functions on noncompact manifolds
- The fundamental solutions of orthotropic shallow shells
- Local existence theorems with estimates for \(\bar \partial_ b\) on weakly pseudo-convex CR manifolds
- Examples of cylindrical shock wave conversion by focusing
- On semielliptic boundary value problems
- Konstruktion von Operatoren und Kernen mit Hilfe von Absorptionsmengen
- A new proof of a Paley-Wiener type theorem for the Jacobi transform
- Einige elementare Ungleichungen für Exponentialpolynome
- Propagation des singularités analytiques pour les solutions des équations aux derivées partielles
- Propagation of singularities for operators with multiple involutive characteristics
- On boundary values of generalized solutions of elliptic systems
- Hölder estimates and hypoellipticity
- Holomorphe Störungstheorie in lokalkonvexen Räumen
- A theorem about the complete set of isomorphisms for systems elliptic in the sense of Douglis and Nirenberg
- Konstruktion von Fundamentallösungen für Convolutoren
- Intersection properties of weak analytically uniform classes of functions
- The boundary problems of physical geodesy
- On best error bounds for approximation by piecewise polynomial functions
- On temperate fundamental solutions supported by a convex cone
- Traces of commutators of integral operators
- Curved finite element methods for the solution of singular integral equations on surfaces in R^3
- Esistenza ed unicita delle soluzioni di una classe di problemi ipoellittici
- Local surjectivity in C^ for a class of pseudo-differential operators
- On the Nirenberg-Treves condition for local solvability
- An example of a locally unsolvable differential equation of quasiprincipal type with a realvalued weighted principal symbol
- Fredholm representations of uniform subgroups
- The Cauchy problem for differential equations with double characteristics
- Regularity for a class of nonlinear elliptic systems
- The propagation of singularities along gliding rays
- General function spaces. III: (Spaces \(B^{g(x)}_{p,q}\) and \(F^{g(x)}_{p,q}\), \(1<p<\infty\): basic properties)
- Parametrix and propagation of singularities for the interior mixed hyperbolic problem
- Distributional boundary values and the tempered ultra-distributions
- Ein Schwach-Stark-Prinzip der Dualitätstheorie lokalkonvexer Räume als Fortsetzungsmethode
- Lower bounds at infinity of solutions of partial differential equations in the exterior of a proper cone
- The cohomology of nets over Minkowski space
- Traces of functions in a generalized Liouville class
- Holomorphic continuation of solutions of degenerate partial differential equations in two variables
- Boundary values of generalized solutions of system that are elliptic in the sense of Douglis and Nirenberg
- \(L^ p\) estimates for local solutions of \({\bar \partial}_ b\) on strongly pseudo-convex CR-manifolds
- Asymptotic properties of eigenfunctions -- the hyperbolic plane
- Singularités de séries de Dirichlet associées à des polynômes de plusieurs variables et applications en théorie analytique des nombres. (Singularities of Dirichlet series associated to polynomials of several variables and applications to analytic number theory)
- Local solvability of analytic pseudodifferential complexes in top degree
- On a weakly hyperbolic equation with a term of order zero
- Rappresentazione integrale delle soluzioni in un angolo delle equazioni a derivate parziali in due variabili a coefficienti costanti
- Backward uniqueness for parabolic equations
- Bi-expansion approximation of the Bessel functions applied to analytical integration based BEM for Reissner plates.
- Automorphic Green functions associated with the secondary spherical functions
- Local p-convexity
- Junctions of singularly degenerating domains with different limit dimensions. II
- The theory of primary measurements after Poincaré-Ehrenfest for the nonstationary Schrödinger equation
- Abelian-regular positive semirings
- A new approach to the theory of linear problems for systems of differential partial equations. II
This page was built for publication: Linear partial differential operators
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3843833)
