0

This is a question from Do Carmo's Differential Forms and Applications. A vector $v$ is called locally potential if, locally, there is a function $g$ where $v = \text{grad} \ g$.

This looks simple, but I can't understand one thing: $\omega (u) = \left<v,u\right>$ is supposed to be a $1-$form, but $u$ is a vector on $\Bbb{R}^{n}$. Writing $u=(u_{1},\dots,u_{n})$, the $\text{d}x_{i}$ parts won't appear. Then, I can't calculate de differential of the $1-$form (which is the way I thinks this question is supposed to be answeared).

Arctic Char
  • 16,007
big_GolfUniformIndia
  • 632
  • 3
  • 18
  • 1
    Remember that for every point there is an isomorphism $\mathbb{R}^n \simeq T_x(\mathbb{R}^n) \simeq T_x^(\mathbb{R}^n)$. See $v$ as a covector, i.e., an element of $T_x^(\mathbb{R}^n)$ and $u$ as a vector, i.e., an element of $T_x(\mathbb{R}^n)$ – Rundasice Jul 16 '21 at 18:52
  • 1
    I guess $\omega(u) = \langle v,u \rangle = v_1u_1 + \cdots + v_n u_n$, and we remember that $u_i = dx_i(u)$, so $\omega(u) = v_1,dx_1(u) + \cdots + v_n dx_n(u)$, showing us how to write $\omega$ as a linear combination of $dx_1, \ldots, dx_n$. – Jesse Madnick Jul 16 '21 at 18:54

1 Answers1

2

The equation $v=\text{grad}(g)$ is an equality of vector fields. By using the musical isomorphism given by the metric tensor field, the associated covector field equation is \begin{align} \langle v,\cdot\rangle&= \langle\text{grad}(g),\,\,\cdot\,\, \rangle \end{align} The LHS is what the book calls $\omega$, and the RHS, by definition of the gradient vector field is simply the exterior derivative $dg$.

i.e your question once reformulated from the vector field language (which is unnecessarily complicated) into one about covector fields/1-forms says

Prove that a 1-form $\omega$ is locally exact (i.e every point has an open neighborhood $A$ on which there is a smooth $0$-form i.e a function $g$ such that $\omega=dg$ on $A$) if and only if $d\omega =0$.

Surely you can prove this statement/ refer to a very well-known theorem.

peek-a-boo
  • 55,725
  • 2
  • 45
  • 89