Filtern
Volltext vorhanden
- ja (2)
Erscheinungsjahr
- 2007 (2) (entfernen)
Dokumenttyp
- Preprint (2) (entfernen)
Sprache
- Englisch (2)
Institut
Formal Poincaré lemma
(2007)
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.