0
$\begingroup$

If we have $\Omega$ - domain in $R^{n}$ and standard basis of $R^{n}$: $\{x^{1},..,x^{n}\}$, and $\{x^{*}_{1},..,x^{*}_{n}\}$ the dual affine coordinate system on $R_{n}^{*}$. And if we define map $\iota$ from $\Omega$ to $R_{n}^{*}$ by $x_{i}^{*}\circ\iota=-\frac{\partial \phi}{\partial x^{i}}$, how do we obtain that $\iota_{*}(\frac{\partial}{\partial x^{i}})=-\sum(g_{ij}\circ\iota^{-1})\frac{\partial}{\partial x_{j}^{*}}$, knowing that $g_{ij}=\frac{\partial^{2}\phi}{\partial x^{i}\partial x^{j}}$.

  • 0
    @Matt: I think the $x_i^*$ are meant to be coordinate functions on $(\mathbb{R^n})^*$ so that together they define a (global) chart.2012-11-18

1 Answers 1

1

I have to say, it took me a while to figure out your notation.

In general, if $F\colon \mathbb{R}^n \to N$ is a smooth map, $F(p) = q$, and $\{x^1, \ldots, x^n\}$ are coordinates on $\mathbb{R}^n$, and $\{y^j\}$ are coordinates on $N$, then

$F_*\left( \left. \frac{\partial}{\partial x^i}\right|_p \right) = \sum_{j} \left.\frac{\partial(y^j \circ F)}{\partial x^i}(p)\frac{\partial}{\partial y^j}\right|_{q}$

In your case, we take $F = \iota$ and $y^j = x^*_j$, so that

$\begin{align*} \iota_*\left( \left.\frac{\partial}{\partial x^i}\right|_p \right) &= \sum_{j=1}^n \left.\frac{\partial(x^*_j \circ \iota)}{\partial x^i}(p)\frac{\partial}{\partial x^*_j}\right|_{q} \\ & = \sum_{j=1}^n \left.\frac{\partial}{\partial x^i}\left(-\frac{\partial \phi}{\partial x^j}\right)(p)\frac{\partial}{\partial x^*_j}\right|_{q} \\ & = -\sum_{j=1}^n \left.g_{ij}(p) \frac{\partial}{\partial x^*_j}\right|_{q} \\ \end{align*}$ Now write $p = \iota^{-1}(q)$.