TY  - JOUR
A1  - Shlapunov, Alexander
A1  - Tarkhanov, Nikolai Nikolaevich
T1  - Formal poincare lemma
JF  - Preprint / Universität Potsdam, Institut für Mathematik, Arbeitsgruppe Partiell
Y1  - 2007
SN  - 1437-739X
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - INPR
A1  - Shlapunov, Alexander
A1  - Tarkhanov, Nikolai Nikolaevich
T1  - Formal Poincaré lemma
N2  - We show how the multiple application of the formal Cauchy-Kovalevskaya theorem leads to the main result of the formal theory of overdetermined systems of partial differential equations. Namely, any sufficiently regular system Au = f with smooth coefficients on an open set U ⊂ Rn admits a solution in smooth sections of a bundle of formal power series, provided that f satisfies a compatibility condition in U.
T3  - Preprint - (2007) 02 
Y1  - 2007
U6  - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-30231
ER  -