Vol. 20, No. 3, 1967

Download this article
Download this article. For screen
For printing
Recent Issues
Vol. 290: 1  2
Vol. 289: 1  2
Vol. 288: 1  2
Vol. 287: 1  2
Vol. 286: 1  2
Vol. 285: 1  2
Vol. 284: 1  2
Vol. 283: 1  2
Online Archive
Volume:
Issue:
     
The Journal
Editorial Board
Officers
Special Issues
Submission Guidelines
Submission Form
Subscriptions
Contacts
Author Index
To Appear
 
ISSN: 0030-8730
“The δ-Poincaré estimate”

William John Sweeney

Vol. 20 (1967), No. 3, 559–570
Abstract

The main application of the theorem proved here is to establish the local solvability of a system of linear partial differential equations, in the analytic case, by a homological procedure based on the associated Spencer resolution and δ-cohomology. The theorem states that the δ-cohomology associated with an involutive system of partial differential equations vanishes in a normed sense. From this one can show that the Spencer resolution associated with an involutive system is exact for analytic data, and thus by a result of D. G. Quillen the corresponding inhomogeneous system has local solutions, provided the inhomogeneous term is analytic and satisfies the appropriate compatibility conditions in the overdetermined case. It is well known that if an arbitrary system is prolonged a sufficient number of times, the resulting system will have vanishing δ-cohomology. According to a result of J. P. Serre this is equivalent to the resulting system being involutive. Thus the question of local solvability reduces to the involutive case, and we obtain the classical existence theorem of Cartan-Kähler.

Mathematical Subject Classification
Primary: 35.30
Secondary: 55.00
Milestones
Received: 22 June 1965
Published: 1 March 1967
Authors
William John Sweeney