Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I'd like to construct a closed but not exact $n-1$-form $\omega$ on $\mathbb{R}^n\setminus\{0\}$ in analogy to the winding form: $$\frac{x~dy-y~dx}{x^2+y^2}$$

I think something like $$\omega=\frac{\sum_{i=1}^n x_i(\star dx_i)}{(x_1^2+\dots+x_n^2)^{n/2}}$$ should probably work. $\star$ is the hodge star operator, for example $\star dx_1=dx_2\wedge\dots\wedge dx_n$ and $\star dx_2=-dx_1\wedge dx_3\wedge\dots\wedge dx_n$. $\omega$ is closed since $$d\omega=\sum_{i=1}^nd\left(\frac{ x_i}{(x_1^2+\dots+x_n^2)^{n/2}}\right)\wedge\star dx_i=\sum_{i=1}^n \frac{(\sum x_j^2)^{n/2}-n x_i^2 (\sum x_j^2)^{n/2-1}}{(\sum x_j^2)^{n}} dx_1\wedge\dots\wedge dx_n=0$$ Now it remains to show that $\omega$ is not exact. I guess a direct computation is not the way to do it. I thought about assuming that there exists $d\eta=\omega$ and then using Stoke's theorem to get the contradiction $0\not=\int_{S^{n-1}}\omega=\int_\emptyset \eta=0$. Two questions about this:

  1. Is the general argument correct?
  2. How to prove $0\not=\int_{S^{n-1}}\omega$? I guess a direct computation using generalized sphere coordinates is rather tedious.
share|cite|improve this question
up vote 5 down vote accepted
  1. Yes, this is a reasonable way to go about things.

  2. Let $\psi=\sum_{i=1}^n x_i (\star dx_i)$. Then $\left.\psi\right|_{S^{n-1}}=\left.\omega\right|_{S^{n-1}}$, and so $\int_{S^{n-1}} \omega = \int_{S^{n-1}} \psi$. Moreover, $d\psi$ is a constant multiple of the volume form on $\Bbb{R}^n$. Now, apply Stokes' theorem to $B^n$ and $S^{n-1}$...

share|cite|improve this answer
What do you mean by $d\psi$ is a constant multiple of the volume form on $\mathbb{R}^n$? What is a volume form? – Julian Jan 24 '13 at 21:42
The volume form is $dx_1 \wedge dx_2 \wedge \dots \wedge dx_n$ (that is, the form $\Omega$ such that $\int_{D} \Omega$ gives the volume of any domain $D$ in $\Bbb{R}^n$). – Micah Jan 24 '13 at 21:44
Isn't $\psi$ a $n-1$-form and this volume form a $n$-form? – Julian Jan 24 '13 at 21:46
Yes. It's $d\psi$ which coincides with the volume form. – Micah Jan 24 '13 at 21:46
So $d\psi=n dx_1\wedge\dots\wedge dx_n$ and therefore $0\not=\operatorname{vol} B_n=\int_{B_n} \frac{d\psi}{n}=\frac{1}{n}\int_{S^{n-1}} \psi$? – Julian Jan 24 '13 at 21:51

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.