# Basic diff. geometry question - Gradient of F

by Vasileios
Tags: basic, diff, geometry, gradient
 Share this thread:
 P: 6 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
Sci Advisor
P: 1,722
 Quote by 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
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>
 P: 6 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$ ?
 Sci Advisor P: 2,953 Basic diff. geometry question - Gradient of F 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.
Sci Advisor
P: 1,722
 Quote by 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$ ?
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

The gradient satisfies the equations

<gradF,(1,0)> = 2x <gradF,(0,1)>= 2y

If gradF = (s,t) then

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.

 Related Discussions Calculus & Beyond Homework 2 Differential Geometry 2 Differential Geometry 13 Calculus & Beyond Homework 0 Differential Geometry 22