Cauchy integral decomposition for harmonic forms (Q1385409): Difference between revisions

Let \(G\) be a domain in \({\mathbb{R}}^n\) with a \(C^1\)-smooth boundary \(S\) and let \(\omega\) be a continuous \(p\)-form defined at all points of \(S\). In analogy with the Cauchy integral decomposition of functions in the plane, the author looks for necessary and sufficient conditions that it is possible to represent \(\omega\) as a sum \(\omega(x) = {\omega}_+(x) + {\omega}_-(x)\), \(x \in S\), where \({\omega}_+\), respectively \({\omega}_-\), is a harmonic form of class \({\mathcal H}^s\), \(s > 0\), in \(G\), respectively \({\mathbb{R}}^n \setminus \overline G\), such that \({\omega}_-(\infty) = 0\). A necessary condition is that the form \(\omega\) and its Hodge conjugate form \(*\omega\) are closed in \(S\) in the sense of currents. The author proves that this necessary condition is also sufficient when supplied with an additional local approximation condition for \(\omega\) in terms of polynomial harmonic \(p\)-forms in balls centered on \(S\).