Fundamental definition of extrinsic curvature

  • #1
PLuz
64
0
My question is quite simple: what is the fundamental definition of extrinsic curvature of an hypersurface?

Let me explain why I have not just copied one definition from the abundant literature. The specific structure on the Lorentzian manifold that I'm considering does not imply that an hypersurface orthogonal congruence of time-like curves has zero vorticity and the many definitions that I've seen assume this fact. My guess is that the fundamental definition should be:

$$K_{ab}=\frac{1}{2}\mathcal{L}_n~h_{ab}~,$$

where ##h_{ab}## represents the induced metric on the hypersurface and ##\mathcal{L}_n## the Lie derivative along the normal to the hypersurface. By the way, should there be a minus sign in the above expression, I have seen both cases and it should not be irrelevant?
 
Last edited:

Answers and Replies

  • #2
martinbn
Science Advisor
2,976
1,304
There is no such thing as "the fundamental" definition of anything. Any two equivalent definitions are equally fundamental although one may be more convenient in some situations.

The definition of extrinsic curvature does not even mention vorticity or a congruence of curves.
 
  • #3
PLuz
64
0
There is no such thing as "the fundamental" definition of anything. Any two equivalent definitions are equally fundamental although one may be more convenient in some situations.

The definition of extrinsic curvature does not even mention vorticity or a congruence of curves.

Indeed, a definition is a definition. Yet, definitions can be made broader, or more generic. Maybe fundamental was a bad choice of words.
In either case, I understand the extrinsic curvature as the tangential rate of change of the normal to an hypersurface. Now, the rate of change: is it computed using the covariant derivative, the Lie derivative? Just so happens that in the context that is usually studied in the literature, it does not matter, both will define the same quantity that, however, does not have to be the case, in general. So, there must be a more generic - fundamental - way of defining the extrinsic curvature. A practical example, I have seen defining the extrinsic curvature of an hypersurface as ##K_{ab}=h_a^i h_b^j \nabla_{(i}n_{j)} ## but in general this is not the same as the expression in the original post... Care to help me?
 
  • #4
martinbn
Science Advisor
2,976
1,304
I am not sure what you are looking for. The most general definition or the equivalence of the different definitions. Clearly something bothers you, but I am not sure what. It could be that you are not yet used to the new notion.
 

Suggested for: Fundamental definition of extrinsic curvature

Replies
1
Views
727
Replies
2
Views
2K
Replies
42
Views
5K
  • Last Post
Replies
10
Views
1K
  • Last Post
Replies
4
Views
2K
Replies
1
Views
530
Replies
5
Views
1K
Replies
4
Views
196
  • Last Post
Replies
1
Views
2K
  • Last Post
Replies
5
Views
2K
Top