Let us consider a current on $\mathbb R^n$, that is a differential form whose coefficients are distributions. For simplicity, let us check the case of a $1$-form $$ u=\sum_{1\le j\le n} u_j dx_j,\quad u_j\in \mathscr D'(\mathbb R^n), $$ and assume that $du=0$, i.e. $\partial u_j/\partial x_k=\partial u_k/\partial x_j$. I want to prove that there exists $a\in\mathscr D'(\mathbb R^n)$ such that $da=u$. The same question can be raised for tempered distributions and also for higher degrees.
$\begingroup$
$\endgroup$
Add a comment
|
2 Answers
$\begingroup$
$\endgroup$
2
See page 20 of J P Demailly Complex Analytic geometry.The other source to look at is de Rham's book on differentiable manifolds.Yet another source to look at is Laurent Schwartz Theorie des Distributions pages 59 and 355 in 1978 edition .
answered Feb 12, 2016 at 19:55
-
6$\begingroup$ de Rham's book is wonderful btw and still reads as very modern. $\endgroup$ Commented Feb 12, 2016 at 21:58
-
2$\begingroup$ @TomMrowka . Absolutely ,the presentation is extremely efficient . $\endgroup$ Commented Feb 14, 2016 at 21:38
$\begingroup$
$\endgroup$
The case of a 1-form is also given in Proposition 4.3.9 on page 334 in John Horváth's Topological Vector Spaces and Distributions.
