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  - 2009
UR  - https://publishup.uni-potsdam.de/frontdoor/index/index/docId/2858
UR  - https://nbn-resolving.org/urn:nbn:de:kobv:517-opus-30231
ER  -