# Basic diff. geometry question - Gradient of F

1. Feb 10, 2012

### Vasileios

Hi folks,

I have a basic question I would like to ask.
I ll start from the Euclidean analogue to try to explain what I want.

Suppose we have a smooth function (real valued scalar field)

$F(x,y)=x^2+y^2$, with $x,y \in ℝ$.

We also have the gradient $\nabla F=\left( \frac{\partial F}{\partial x},\frac{\partial F}{\partial y} \right)=\left( 2x,2y \right)$

Now lets imagine that F is defined on a Riemannian manifold $M$ with a metric $g_{ij}$.

I would like to calculate the gradient of $F$ for a point $x,y \in M$.

I read that in this case, that the local form of the gradient is

$\nabla F = g^{ij}\frac{∂F}{∂x^k}\frac{∂}{∂x^i}$

But I do not understand what exactly this formulation means. I have an anyltic expresion for $F, g^{i,j}$ but I am not sure how to calculate the gradient in this case. Can someone perhaps explain the above expresion in layman's terms to me? (I do understand Einstein notation btw).

Also, does the gradient vector live in the tangent space of the point at $x,y$? because somewhere I read about $\hat{F}=F \circ R$ as the pull back of $F$ through the retraction function $R$ onto the tangent space, and I was confused which "version" lie on the tangent space exactly.

Many thanks

Last edited: Feb 10, 2012
2. Feb 10, 2012

### lavinia

On a manifold a smooth function has a differential which is defined by the formula df(X) = X.f

where X is a tangent vector at some point and X.f is the directional derivative of f with respect to X. This definition does not require a Riemannian metric. df is a 1 form, That is df(aX + bY) = adf(X) + bdf(Y) for any linear combination of the tangent vectors X and Y.

With a Riemannian metric there is a tangent vector at each point which is the dual to df with respect to the metric. Different metrics give different gradients.

the defining formula is df(X) = <gradf,X>

3. Feb 10, 2012

### Vasileios

Hi, ok so practically so I can understand this.
What is $grad(F)$ for this specific case? Is it as in the Euclidean case $(2x,2y)$? or it is dependent on some arbitrary tangent vector and the Riemannian metric? I didnt understand your answer completely.

Lets try a practical simple example.
Say I have $g_{ij}=[ax, b; b, cy]$ and a tangent vector $t_{P}=[2,0]$ at some arbitrary point $P=(x_0,y_0)$. The scalar function $F$ is as before.

What is $gradF$ for this example?

And is $gradF \in T_PM$ ?

4. Feb 10, 2012

### Matterwave

The gradient is naturally a one form (the one that lavinia defined). To turn it into a vector, you should use the metric.

This is why, for example, you have those funky r and rsin(theta) terms in the formula for a gradient in spherical polar coordinates.

For example, the gradient (one form) in spherical coordinates is still simply:

$df=\frac{\partial f}{\partial r}dr+\frac{\partial f}{\partial \theta}d\theta+\frac{\partial f}{\partial \phi}d\phi$

Now, to convert this into a vector gradient, we then have very simply:

$$\nabla f=g^{ij}(df)_j \frac{\partial}{\partial x^i}=\frac{\partial f}{\partial r} \frac{\partial}{\partial r}+\frac{1}{r^2} \frac{\partial f}{\partial \theta} \frac{\partial}{\partial \theta}+\frac{1}{r^2\sin\theta^2} \frac{\partial f}{\partial \phi} \frac{\partial}{\partial \phi}$$

Like we usually expect in vector calculus.

EDIT: I think the expression I have is off by our usual definition in the coefficients. This is because the basis vectors I used are not ortho-normal bases but coordinate bases. If I switch to an orthonormal set of bases with the definitions: $$\frac{\partial}{\partial r'}=\frac{\partial}{\partial r}$$ $$\frac{\partial}{\partial \theta'}=\frac{1}{r}\frac{\partial}{\partial \theta}$$ $$\frac{\partial}{\partial \phi'}=\frac{1}{r\sin\theta} \frac{\partial}{\partial \phi}$$, then I will get the usual gradient.

Last edited: Feb 10, 2012
5. Feb 10, 2012

### lavinia

BTW:Your metric only works for x and y positive

The differential of F is 2xdx + 2ydy
Its value on a vector (a,b) is 2xa + 2yb

2x = axs + bt 2y = bs + cyt

The gradient is a tangent vector by definition. It is defined to be that tangent vector that is dual to the differential with respect to the metric.