2
$\begingroup$

I was just reading about De Rham theorem :

Let $\Omega$ be an open set of $\mathbb R^n$. Let pose $\mathcal V := \{u=(u_1,...,u_N)\in \mathcal D^N (\Omega)\}$, And $f=(f_1,...,f_N) \in (\mathcal D' (\Omega))^N $; So The two properties are equivalent:

1) $\exists P \in \mathcal D' (\Omega)$ such that: $f = \nabla P . \\ $

2) $\left \langle f,v \right \rangle = 0$, $\forall v \in \mathcal V .$

I want to prove that $2\Rightarrow 1 $, ($1\Rightarrow 2$ is OKEY).

I need a reference for learning the proof. I will be very happy if someone could help me to prove it.

Thanks!

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.