A Mind for Madness

Musings on art, philosophy, mathematics, and physics

What is a Morse function?

2 Comments


A Morse function is a smooth function from a smooth manifold, M, to \mathbb{R} that is in some sense “non-degenerate.”

Suppose p\in M, then define the Hessian of f at p, H_f(p): T_pM\times T_pM\to \mathbb{R} to be the bilinear form that sends \displaystyle (\frac{\partial}{\partial x^i}, \frac{\partial}{\partial x^j})\mapsto \frac{\partial^2f}{\partial x_i\partial x_j}\Big|_p.

So picking a basis, the Hessian is just the matrix of second partial derivatives.

Now we call f:M\to\mathbb{R} a Morse function if for any a\in\mathbb{R} we have f^{-1}((-\infty, a]) is compact, and for any critical point of f (the derivative is 0), then H_f(p) is non-singular. So in matrix form, it would have non-zero determinant. In bilinear form terms, it is non-degenerate or zero is not an eigenvalue.

The index at p, is the index of the Hessian at p as a bilinear form. Recall that the index of a bilinear form is the maximal dimension of a linear subspace such that the form is negative definite. (This is sort of backwards of the intuition of counting how big the positive dimension can be. So note that a form is positive semidefinite iff it has index 0).

We really have to check that the property of being a “Morse function” actually is a well-defined concept for smooth manifolds. i.e. is it a diffeomorphism invariant?

We’ll work locally in coordinates. Suppose we have \phi : V\to U a diffeomorphism where \phi(q)=p. Define g= f\circ \phi (i.e. the change of coordinates of our so-called Morse function). The well-defined claim is that q is a critical point of g and that the Hessian of g at p is non-singular.

Well, the critical point claim is just the chain rule. Now we’ll actually compute the Hessian. I propose that it is H_g(q)=(D\phi(q))^T H_f(p) (D\phi(q)) to make it easier to follow.

We’ll do the right hand side first. The j-th column \displaystyle (H_f(p)D\phi(q))_j= \left(\sum_{l=1}^n \frac{\partial^2 f}{\partial x_1\partial x_l}(\phi(q))\frac{\partial \phi^l}{\partial x_j}(q)\cdots \sum_{l=1}^n \frac{\partial^2 f}{\partial x_n\partial x_l}(\phi(q))\frac{\partial \phi^l}{\partial x_j}(q)\right).

Thus the i-j entry of the right side is multiplying on the left by the ith row of (D\phi(q))^T, which gives \displaystyle \sum_{k=1}^n \sum_{l=1}^n \frac{\partial^2 f}{\partial x_k \partial x_l}(p)\frac{\partial \phi^k}{\partial x_i}(q)\frac{\partial \phi^l}{\partial x_j}(q).

Now we’ll calculate the i-j entry of the left side and see if it is the same. So we’ll need the chain rule for partial derivatives.

\displaystyle (H_g(q))_{ij}=\frac{\partial^2}{\partial x_i \partial x_j}(f\circ \phi)(q)
\displaystyle = \frac{\partial}{\partial x_i}\sum_{k=1}^n\frac{\partial f}{\partial x_k}(\phi (q))\frac{\partial \phi^k}{\partial x_j}(q)
\displaystyle = \sum_{k=1}^n\frac{\partial}{\partial x_i}(\frac{\partial f}{\partial x_k}(p))\frac{\partial \phi^k}{\partial x_j}(q) + \sum_{k=1}^n\frac{\partial f}{\partial x_k}(p)\frac{\partial}{\partial x_i}(\frac{\partial \phi^k}{\partial x_j})(q)
= \displaystyle \sum_{k=1}^n \sum_{l=1}^n \frac{\partial^2 f}{\partial x_k \partial x_l}(p)\frac{\partial \phi^k}{\partial x_i}(q)\frac{\partial \phi^l}{\partial x_j}(q) +\sum_{k=1}^n\frac{\partial^2\phi^k}{\partial x_i \partial x_j}(q)\frac{\partial f}{\partial x_k}(p).

But that last line is the same as the right side with that extra plus stuff. But since f is critical at p, that term is zero, and the two sides are equal.

So there is no problem calling a smooth function Morse, but I also introduced the idea of the index of f at a point. Hopefully this doesn’t change under diffeomorphism. Let’s check.

Suppose index_f(p)=k. Then since \phi is a diffeo, D\phi is non-singular. But the index is a well-defined notion of a bilinear form at a point, so it is independent of choice of basis. Our previous calculation showed that H_g(q)=(D\phi(q))^TH_f(p)(D\phi(q)) which is just a change of basis, so index_g(q)=k as well.

I don’t want to leave you without some sort of concrete idea of what is going on. So define f:S^2\to \mathbb{R} to be the “height function” (x_1, x_2, x_3)\mapsto x_3. If I’m not at the north or south pole, then I can write this function in one of the “side” coordinate patches, i.e. f(\sqrt{1-x_2^2-x_3^2}, x_2, x_3)=x_3. Hence the Jacobian is non-singular. So every point that is not the north or south pole is a regular value.

The north and south poles are critical values. Now write f(u,v)=\sqrt{1-u^2-v^2} in the “north patch.” Then at the north pole we are at u=v=0. Thus H_f(N)=\left(\begin{matrix} -1 & 0 \\ 0 & -1 \end{matrix}\right). Not only does this tell us that the critical point is non-degenerate, but it tells us the index is 2. In fact, the index of the south pole is 0.

Some final points that our example might have just revealed. The index seems to actually give us some information. Note that we could have done the same thing for S^n\to \mathbb{R}. In this case, the two critical points are the same, but the indexes are 0 and n. Is it in fact the case that local mins of Morse functions have index 0 and local maxes on an n-manifold have index n? What does it even mean for a critical point to be something other than a local max or min (i.e. if the previous conjecture holds what is the meaning of an index strictly between 0 and n)? Non-critical points are regular values, and since f is smooth to a 1-manifold (\mathbb{R}), the level sets are codimension 1 properly embedded submanifolds (“hypersurfaces?”). What happens are the relations of these families of submanifolds as we cross critical values?

Alright. I think that is enough of a preview of what is coming up.

About these ads

Author: hilbertthm90

I write about math, philosophy, literature, music, science, computer science, gaming or whatever strikes my fancy that day.

2 thoughts on “What is a Morse function?

  1. Nice post.
    Thanks sir for writing about Morse function , I am a high school student and I enjoy reading blogs of math professionals. Thanks again for the Explanation on Morse Function.

  2. No problem. I’m glad you enjoyed it.

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

Follow

Get every new post delivered to your Inbox.

Join 198 other followers