Formal integrability of systems of partial differential equations
We review some basic definitions and results of the formal theory of overdetermined systems of partial differential equations. We have tried to present them the most simply possible, in a language for non-experts. As illustration, we treat a familiar example for physicists : the Einstein equations.
KeywordsVector Bundle Formal Solution Einstein Equation Ricci Curvature Linear Differential Operator
Unable to display preview. Download preview PDF.
The reader can consult: For linear equations
For non-linear equation
- H. GOLDSCHMIDT, Integrability criteria for systems of non linear partial differential equations, J. Differential Geometry, 1 (1967), 269–307.Google Scholar
For the proof of existence of local solutions in the analytic case
- B. MALGRANGE, Equations de Lie II, J. Differential Geometry, 7 (1972), 117–141.Google Scholar
- M. DLBOIS-VIOLETTE, The theory of overdetermined linear systems and its applications to non-linear field equations, (Lectures at the Banach Center, Warsaw, October 83).Google Scholar
For general applications in Geometry, the introduction of
- J. GASQUI-H. GOLDSCHMIDT, Déformations.infinitésimales des structures conformes plates, Progress in Math., Birkhäuser (1984).Google Scholar
For Einstein equations or Ricci curvature
- M. DUBOIS-VIOLETTE, Remarks on the local structure of Yang-Mills and Einstein equations, Phys. Lett. 131 B (1983) 323–326.Google Scholar
- J. GASQUI, Sur la résolubilité locale des equations d'Einstein, Compositio Math. 47 (1982), 43–69.Google Scholar
- D. DE Turck, Existence of Metrics with prescribed Ricci curvature: Local theory, Inventiones Math. 65 (1983), 327–349.Google Scholar