Confusion about Divergence Theorem Step in Tong's Notes

Click For Summary
SUMMARY

The discussion centers on the application of the divergence theorem in the context of differential geometry, specifically referencing Tong's notes. The key equation discussed is $$\int_M d^n x \partial_{\mu}(\sqrt{g} X^{\mu}) = \int_{\partial M} d^{n-1}x \sqrt{\gamma N^2} X^{\mu} n_{\mu}$$, where the normal vector is defined as $$n_{\mu} = (0, \dots, N)$$. The confusion arises from the distinction between the normal vector used with the Riemannian metric and the one used with the metric $$g_{\mu \nu}$$. The resolution involves recognizing that the correct unit normal vector should be $$m^{\mu} = (0,\dots, 1)$$, leading to the correct formulation of the divergence theorem.

PREREQUISITES
  • Understanding of the divergence theorem in differential geometry
  • Familiarity with Riemannian metrics and normal vectors
  • Knowledge of the notation and concepts related to differential forms
  • Experience with tensor calculus and the properties of determinants in geometry
NEXT STEPS
  • Study the properties of Riemannian metrics and their implications for normal vectors
  • Explore the derivation and applications of the divergence theorem in various geometrical contexts
  • Learn about the relationship between different metrics and their unit normal vectors
  • Investigate the role of determinants in the context of differential geometry, particularly $$\sqrt{g}$$ and $$\sqrt{\gamma}$$
USEFUL FOR

Mathematicians, physicists, and students studying differential geometry, particularly those focusing on the applications of the divergence theorem and the properties of Riemannian manifolds.

etotheipi
I wanted to ask about a step I couldn't understand in Tong's notes$$\int_M d^n x \partial_{\mu}(\sqrt{g} X^{\mu}) = \int_{\partial M} d^{n-1}x \sqrt{\gamma N^2} X^n = \int_{\partial M} d^{n-1}x \sqrt{\gamma} n_{\mu} X^{\mu}$$we're told that in these coordinates ##\partial M## is a surface of constant ##x^n##, and further that ##g = \mathrm{det}(g_{\mu \nu}) = \gamma N^2## where ##\gamma_{ij}## is the pull-back of ##g_{\mu \nu}## to ##\partial M##. Also, the normal vector is ##n^{\mu} = (0, \dots, 1/N)##, or with downstairs components ##n_{\mu} = (0, \dots, N)##.

But, I thought the usual divergence theorem was stated$$\int_M d^n x \partial_{\mu} V^{\mu} = \int_{\partial M} d^{n-1}x V^{\mu} n_{\mu}$$in which case I'd get
$$\int_M d^n x \partial_{\mu}(\sqrt{g} X^{\mu}) = \int_{\partial M} d^{n-1}x \sqrt{\gamma N^2} X^{\mu} n_{\mu} = N \int_{\partial M} d^{n-1}x \sqrt{\gamma} n_{\mu} X^{\mu} $$i.e. I'd still have the extra factor of ##N##. What am I forgetting...? Thanks!
 
Last edited by a moderator:
  • Like
Likes   Reactions: JD_PM
Physics news on Phys.org
The theorem uses a unit normal vector, yours is not. In the first step it is not ##n##.
 
  • Like
Likes   Reactions: etotheipi
Ah, so did I need to use a normal vector which is unit with respect to the Riemannian metric ##\delta_{\mu \nu}##, e.g. ##m^{\mu} = (0,\dots, 1)##, and not ##n^{\mu}## which is unit with respect to the ##g_{\mu \nu}## metric? These would be related by ##n_{\mu} = N m_{\mu}## and I could write$$\int_M d^n x \partial_{\mu}(\sqrt{g} X^{\mu}) = \int_{\partial M} d^{n-1}x \sqrt{\gamma N^2} X^{\mu} m_{\mu} = \int_{\partial M} d^{n-1}x \sqrt{\gamma} n_{\mu} X^{\mu}$$which is what we want...
 

Similar threads

  • · Replies 4 ·
Replies
4
Views
1K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 24 ·
Replies
24
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 0 ·
Replies
0
Views
1K
  • · Replies 38 ·
2
Replies
38
Views
2K
  • · Replies 1 ·
Replies
1
Views
717
  • · Replies 4 ·
Replies
4
Views
1K
  • · Replies 62 ·
3
Replies
62
Views
6K