What is the second fundamental form?

[the.bone]

OK, this is more of a spot for an elaboration on a question I just posted in another thread. Not quite duplicating threads, I hope, I just wanted to have this not buried in another spot...

So, the question is this:

Let's say that we have a smooth manifold \mathcal{M}that may be viewed as a surface in \mathbb{R}^3 given by an embedding x. Denote by n the outward-pointing unit normal to \mathcal{M} (yes, we are assuming that \mathcal{M} is orientable), and by g and h the metric and second fundamental form, resp., defined by

g_{ij}=\left<\dfrac{\partial x}{\partial u^i},\dfrac{\partial x}{\partial u^j}\right>

h_{ij}=-\left<\dfrac{\partial^2x}{\partial u^i\partial u^j},n\right>

with respect to some local coordinates \left\lbrace u^1,u^2\right\rbrace for some (open) region of \mathcal{M}.

What I need to understand, basically, is how this notation works. I can easily see how one would obtain

g_{ij}=\dfrac{\partial y^k}{\partial u^i}\dfrac{\partial y^k}{\partial u^j};\hspace{0.75cm}k\text{ summed}

from the definition that g=g_{ij}du^i\otimes du^j, y^k=y^k\left(u^1,u^2\right), but I don't see how to go from here to the pairing above, and am even more confused about the pairing used to define h_{ij} above.

Any thoughts?

 

[gvk]

So, the question is this:
...
g_{ij}=\left<\dfrac{\partial x}{\partial u^i},\dfrac{\partial x}{\partial u^j}\right>
h_{ij}=-\left<\dfrac{\partial^2x}{\partial u^i\partial u^j},n\right>
...
What I need to understand, basically, is how this notation works.
...

I am only confused with the sign "-" in the definition for second fundamental form. From my prospective there should be "+",
but it does not effect the results. By the way, what kind of book do you use?
The most important thing is that the second fundamental form envolves the second derivitives of coordinate transformation!
Let suppose, you have a smooth manifold \mathcal{M} that may be viewed as a 2D (!) surface in 3D space with coordinates
x=(x^1,x^2,x^3) given by the equation x^3=f(x^1,x^2). Then two coordinates (u^1,u^2) on the surface can
be u^1=x^1, u^2=x^2. For simplicity I'll use the notion u=u^1, v=u^2 and parametric equations of the smooth
manifold \mathcal{M} are x^1=u, x^2=v, x^3=f(u,v)
Then
x_{u}=(1,0, \dfrac{\partial f}{\partial u}),
x_{v}=(0,1, \dfrac{\partial f}{\partial v}).
The second derivitives:
x_{u,u}=(0,0, \dfrac{\partial^2 f}{\partial u \partial u}),
x_{u,v}=x_{v,u} =(0,0, \dfrac{\partial^2 f}{\partial u \partial v}),
x_{v,v}=(0,0, \dfrac{\partial^2 f}{\partial v \partial v}).
From here you can easily calculate g_{ij} and h_{ij}.

 

[the.bone]

Thanks! I think...

If I understand you correctly, the above notation, then, is somwhat abusive in that typically, a pairing is usually between an element of one space, and something that is dual to it, like

\left<\dfrac{\partial}{\partial x},dx\right>

Not an iron fisted rule, mind you, but you see what I'm getting at--something like stating g_{ij} as above is... not quite in line with the usual methods, in particular because it requires something like the "k summed" note above to fix the fact that summation convention is, technically, violated. Moreover, as per your example above, a note like this would also be required to calculate h_{ij}, right?

Assuming then that I have this right, the next question would be how to extend this notation? That is, if \mathcal{M} is an m-dimensional manifold, and x:\mathcal{M}\rightarrow\mathbb{R}^{m+1}, then we may choose a Darboux frame \left(x;e_1,\ldots,e_m,e_{m+1}\right) on \mathcal{M}. But, in doing this, would this allow us to construct e_{m+1} as a "normal" vector to the "surface", as would be the case if m=\left\lbrace 1,2\right\rbrace?

Looking forward to all of your input!

Also, I'm not working with anyone book in particular, rather quite a conglomarate, as well as a stack of papers. However, the notation quoted above is explicitly used in http://wwwmaths.anu.edu.au/research.reports/mrr/98/031/MRR98-031.pdf , which is pretty goovy read!

 

[gvk]

Thanks! I think...
If I understand you correctly, the above notation, then, is somwhat abusive in that typically, a pairing is usually between an element of one space, and something that is dual to it, like
\left<\dfrac{\partial}{\partial x},dx\right>

No, it's not abusive. It's just simple scalar product. Of course you can do it if your space has a metric.

Assuming then that I have this right, the next question would be how to extend this notation? That is, if \mathcal{M} is an m-dimensional manifold, and x:\mathcal{M}\rightarrow\mathbb{R}^{m+1},...

Consider a smooth hypersurface in Euclidean \mathbb{R}^{m+1} with Euclidean coordinates x^1, ..., x^{m+1}, which we shall assume to be given in the graphical form x^{m+1} = f(x^1, ..., x^m). Then the normal vector to the hypersurface is is given by
n= \dfrac{(-f_{x^1},...,-f_{x^{m}},1)}{\sqrt{1+(f_{x^1})^2+...+(f_{x^m})^2}}

Also, I'm not working with anyone book in particular, rather quite a conglomarate, as well as a stack of papers. However, the notation quoted above is explicitly used in http://wwwmaths.anu.edu.au/research.reports/mrr/98/031/MRR98-031.pdf , which is pretty goovy read!

It's interested. Why are you doing this?

 

[bchui]

Recall that the coefficients of the II fundamental form are

L{i,j}= -\partial_i (r)\cdot\partial_j (n) = {\partial_{i,j}}^2(r)\cdot (n)

where I have used "\codt" instead of pairing.

 

[bchui]

So, how could we generalize and make definitions in higher dimension?