The Geometric Heat Equation-WTF?

  • Thread starter Thread starter the.bone
  • Start date Start date
  • Tags Tags
    Geometric Heat
the.bone
Messages
9
Reaction score
0
The Geometric Heat Equation--WTF??

I need some help getting from point A to B. Let's say we have the plain ol' heat equation
u_t=\Delta u
where the u=u\left(x,t\right), and that's all good. Then, we also have the so-called geometric heat equation
\dfrac{\partial F}{\partial t}=kN
where F:\mathcal{M}\rightarrow\mathcal{M}' is a smooth map between btween Riemannian manifolds, k the curvature, and N the unit normal vector. Intuitivly, I can see how these are the same, but I cannot seem to work out how to go from \Delta to kN.
Of course, I can explain my woes further if anyone has any ideas, so let me know what you all think. Thanks!
 
Physics news on Phys.org
Your kN is called The Laplace-Beltrami equation u can see this on google
 
Well, I don't think so...

As I understand it, the Laplace-Beltrami equation is merely a generalization of the Laplacian as it applies to taking the laplacian of a k-form on a manifold.

What I am after is how to perfom the specific acrobatics to get from the "regular" heat equation to the geometric one, but in a general sort of way. That is, the geometric one is typically applied to evolving closed curves in the plane, where it becomes obvious how to get from one to the other by simply parameterizing the curve by it's arc length. But let's assume that we have the more general situation of a closed (Riemannain) submanifold evolving on/within another (Riemannian) manifold. Then what would the so-called geometric heat equation look like?
 
***UPDATE***

OK, so here's where I'm at. We can, with some trickery, view the action of the laplacian on a function on a Riemannian manifold as

\Delta f = \dfrac{1}{\sqrt{\det g}}\dfrac{\partial}{\partial x^j}\left(g^{ij}\sqrt{\det g}\dfrac{\partial}{\partial x^i}f\right)

and we also can calculate the Gaussian curvature via

K=-\dfrac{R\left(X,Y,X,Y\right)}{G\left(X,Y,X,Y\right)}

=-\dfrac{\left<X\otimes Y\otimes X\otimes Y,R\right>}{g_{ij}X^iX^jg_{kl}Y^kY^l-\left(g_{ij}X^iY^j\right)^2}

which, for the "common" case of a two dimensional manifold embedded in \mathbb{R}^3 reduces toK=-\dfrac{R_{1212}}{\det g}

which would allow one to compare this to \Delta f =Kn, in theory. However, I am still at a loss as to what I am getting here. Specifically, the question of what n is even supposed to be in a general setting is a bit of a mystery to me... I have come across the relation

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

a few times in various literature, where h_{ij} is the second fundamental form, but as well as the fact that I cannot figure out what this pairing is, I (still) cannot see how to state n in general. Would I need to specify a Darboux frame, and embed my manifold in \mathbb{R}^{n+1} so that I may view the orginal manifold as a hypersurface or something? I'm rather lost at the moment, so any help would be greatly appreciated...
 
Last edited:
Back
Top