Divergence defined from volume element

In summary, Geroch is discussing the divergence theorem and how to construct operators from a smooth manifold with a volume-element. He introduces operators, and explains how to use the divergence theorem to construct them. However, he is still not clear on what \nabla_a is. He suggests that either a Lie derivative or an exterior derivative could be used to define it, but he does not understand either. Finally, he provides a brief summary of the content.
  • #1
Fredrik
Staff Emeritus
Science Advisor
Gold Member
10,877
422
I need some help understanding a definition:
It is well-known that the divergence of a contravariant vector field can be defined on a manifold with a volume-element [itex]\epsilon_{a_1\cdots a_n}[/itex].
...
For instance, using Lie derivatives we define "[itex]\nabla_av^a[/itex]" by:

[tex]\mathcal L_{v^m}\epsilon_{a_1\cdots a_n}=(\nabla_a v^a)\epsilon_{a_1\cdots a_n}[/tex]
(Note that, since the left side is totally skew, it must be some multiple of [itex]\epsilon_{a_1\cdots a_n}[/itex].)

This is supposed to be an explanation of what the author did on the page before. He had just described how to construct a (complex) Hilbert space from a (real) smooth manifold with a smooth nowhere vanishing volume element, and then moved on to construct operators on that Hilbert space.

We now introduce some operators. Let [itex]v^a[/itex] be any smooth (complex) contravariant vector field, and [itex]v^a[/itex] any smooth (complex) scalar field on M. Then with each smooth, complex-valued function f on M we may associate the function

[tex]Vf=v^a\nabla_af+vf[/tex]

where [itex]\nabla_a[/itex] denotes the gradient on M.

I would appreciate if someone who understands what he's talking about could explain it to me, and maybe translate it to a coordinate independent notation.
 
Physics news on Phys.org
  • #2
Here's another clue:

Let f and g be smooth functions on M, of compact support.
Then:

[tex](Vf,g)=\int_M (v^a\nabla_a f + vf)g^*dV=\int_M[-fv^a\nabla_a g^*+fg^*(-\nabla_a v^a+v)]dV[/tex]
 
  • #3
OK, let me ask the question in a different way: Suppose we have just constructed a complex Hilbert space from the set of complex-valued functions defined on a manifold M. Is there a natural way to use the manifold to also construct operators on this Hilbert space?

That seems to be what this author is doing. One operator for each function, and one operator for each vector field. But if we want to construct an operator corresponding to a vector field X, why not just define it as the map [itex]f\mapsto Xf[/itex], where [itex]Xf[/itex] is the map [itex]p\mapsto X_pf[/itex]? Maybe that's what he means by [itex]v^a\nabla_a[/itex], (but probably not, since he mentions Lie derivatives and a volume form), but then what's [itex]\nabla_a v^a[/itex]?

The text I'm reading is available http://home.uchicago.edu/~seifert/geroch.notes/ [Broken]. The relevant pages are 14-15.
 
Last edited by a moderator:
  • #4
By the divergence theorem and the compact supports, [itex]\int_M \nabla_a \left( f g^* v^a \right) dV = 0[/itex], so that the product rule gives

[tex]
0 = \int_M \nabla_a \left( f g^* v^a \right) dV = \int_M \left( g^* v^a \nabla_a f + f v^a \nabla_a g^* + fg^* \nabla_a v^a \right) dV.
[/tex]

Thus,

[tex]
\int_M \left( v^a \nabla_a f \right) g^* dV = - \int_M \left( f v^a \nabla_a g^* + fg^* \nabla_a v^a \right) dV.
[/tex]
 
  • #5
Thanks George. I see now that I made a really silly blunder that made me think that that the method you used couldn't work.

Unfortunately I still don't understand what [itex]\nabla_a[/itex] is. I think the natural way to define a linear operator V for each pair (X,v) where X is a vector field and v a scalar field, is

[tex]Vf=Xf+vf=X^\mu\partial_\mu f+vf[/tex]

but this isn't what Geroch is doing. He says that you can define [itex]\nabla_a[/itex] using either a Lie derivative or an exterior derivative. I think I understand Lie derivatives, but I don't understand his definition.
 
Last edited:
  • #6
Fredrik said:
Unfortunately I still don't understand what [itex]\nabla_a[/itex] is. I think the natural way to define a linear operator V for each pair (X,v) where X is a vector field and v a scalar field, is

[tex]Vf=Xf+vf=X^\mu\partial_\mu f+vf[/tex]

but this isn't what Geroch is doing. He says that you can define [itex]\nabla_a[/itex] using either a Lie derivative or an exterior derivative. I think I understand Lie derivatives, but I don't understand his definition.

Actually your equation is correct and equivalent to (27) in Geroch's notes. [itex]\nabla_a[/itex] represents a covariant derivative, but covariant derivatives of scalar functions are equal to partial derivatives. Covariant derivatives are so frequently used in differential geometry that they become standard currency.



Dave
 
  • #7
Fredrik said:
[tex]
Vf=v^a\nabla_af+vf
[/tex]

I would appreciate if someone who understands what he's talking about could explain it to me, and maybe translate it to a coordinate independent notation.

If you take v^a to be a unit vector in the time direction on flat space, and choose the scalar function as v=0, then the operator V becomes d/dt, the energy operator. Or if you take v^a as a unit vector in some space direction, and v=0, then V = d/dx, the momentum operator. On the other hand put the vector v^a to 0 and choose the coordinate function v(x) = x. Then V = multiplication by x, the position operator. So the general expression above includes both the mom-energy operator and a position operator, which are the most important examples of operator in quantum mechanics. The idea is to get both types at once, and do the whole thing on a curved manifold.

Best
Dave
 
  • #8
schieghoven said:
[itex]\nabla_a[/itex] represents a covariant derivative
But Geroch says that it isn't a covariant derivative. His exact words are: "We don't have a metric, or a covariant derivative, defined on M." It's near the top of page 15, just before the stuff I quoted in #1.

schieghoven said:
If you take v^a to be a unit vector in the time direction on flat space, and choose the scalar function as v=0, then the operator V becomes d/dt, the energy operator. Or if you take v^a as a unit vector in some space direction, and v=0, then V = d/dx, the momentum operator. On the other hand put the vector v^a to 0 and choose the coordinate function v(x) = x. Then V = multiplication by x, the position operator. So the general expression above includes both the mom-energy operator and a position operator, which are the most important examples of operator in quantum mechanics. The idea is to get both types at once, and do the whole thing on a curved manifold.
I haven't really tried to understand Geroch's definition of the momentum and position operators since I got stuck on this divergence thing, but I'm looking at it now. I think you got the part about momentum operators right, but I'm not sure about the position operators. His definition looks more complicated, but I haven't tried to understand it yet.
 
  • #9
Fredrik said:
But Geroch says that it isn't a covariant derivative. His exact words are: "We don't have a metric, or a covariant derivative, defined on M." It's near the top of page 15, just before the stuff I quoted in #1.
Oh, I see. The covariant derivative of a scalar function is simply the partial derivative, so without a metric, you still have a covariant derivative of scalar functions. The other required quantity is the divergence of the vector, which can be defined using only a volume form. The volume form is also needed to define the integrals used in the Stokes' theorem (28) and (29). I'm a little sceptical about having a volume form without a metric, since a metric is the obvious dynamical quantity to use to define a volume form. And really, you can't get far in either differential geometry or the exterior algebra without a metric.

Fredrik said:
I haven't really tried to understand Geroch's definition of the momentum and position operators since I got stuck on this divergence thing, but I'm looking at it now. I think you got the part about momentum operators right, but I'm not sure about the position operators. His definition looks more complicated, but I haven't tried to understand it yet.
Tell me if you develop another interpretation! However, I still contend that operators id/dx and x on flat space are both of the form (27) and satisfy the Hermiticity condition (30).



Dave
 
  • #10
schieghoven said:
Tell me if you develop another interpretation! However, I still contend that operators id/dx and x on flat space are both of the form (27) and satisfy the Hermiticity condition (30).
They are and they do, but your definitions still look very different from Geroch's definitions, and it seems that the "eigenfunction" of your x is a Dirac delta, while his definition leads to some other function describing "a particle at the origin". (See the end of section 5).

I don't understand everything that he's doing, but I'll explain some of the things I do understand, in my own words and my own notation.

A positive-frequency solution can be written as

[tex]\phi^+(x)=\int_{\mathbb R^3}d^3p\ a(\vec p)e^{-ipx}[/tex]

where [itex]p^0=\sqrt{\vec p^2+m^2}[/itex]. We could take the set of such solutions to be our Hilbert space. If we do, it seems natural to define the position and momentum operators the way you did. However, Geroch does things differently. First he rewrites [itex]\phi^+(x)[/itex] as

[tex]\phi^+(x)=\int_{M_+}dV\ f(p)e^{-ipx}[/tex]

where [itex]M_+=\{p\in\mathbb R^4|p^0=\sqrt{\vec p^2+m^2}\}[/itex] is the future mass shell, and dV is the volume form on M+. This f is a function from M+ into [itex]\mathbb R[/itex]. Geroch takes the set of such functions to be the Hilbert space.

Then he makes the observation that if v is an arbitrary four-vector and [itex]\phi^+[/itex] an arbitrary positive-frequency solution, then [itex]i v^\mu\partial_\mu\phi^+[/itex] is also a positive-frequency solution.

[tex]i v^\mu\partial_\mu\phi^+(x)= \int_{M_+}dV\ f(p) vp e^{-ipx}[/itex]

So "your" momentum operator acting on [itex]\phi^+[/itex] defines "his" momentum operator acting on f. His definition can be written as

[tex]P(v)f=vpf[/tex]

We can also define

[tex]P_\mu=P(e_\mu)=(e_\mu)^\nu p_\nu =p_\nu[/tex]

I still don't understand the definition of the position operator, but it's clear that it's a vector field on M+.
 

What is divergence defined from volume element?

Divergence defined from volume element is a mathematical concept used in vector calculus to measure the rate of change of a vector field within a given volume. It represents the amount of flux flowing out of a region per unit volume.

How is divergence calculated?

Divergence is calculated by taking the dot product of the vector field with the del operator (represented as ∇) and then taking the limit as the volume approaches zero. This can be expressed as ∇ · F = lim(V->0) (1/V) ∫∫∫ F dV, where F is the vector field and V is the volume element.

What does a positive/negative divergence value indicate?

A positive divergence value indicates that the vector field is diverging, meaning that it is spreading out or flowing away from a point. A negative divergence value indicates that the vector field is converging, meaning that it is coming together or flowing towards a point.

How is divergence related to the continuity equation?

The continuity equation states that the rate of change of the density of a fluid is equal to the negative divergence of the velocity field. This means that if there is a positive divergence in a region, the fluid is expanding and therefore the density is decreasing, and vice versa for negative divergence.

Where is divergence used in real-life applications?

Divergence defined from volume element is used in various fields such as fluid dynamics, electromagnetism, and thermodynamics. It is used to analyze the flow of fluids, the behavior of electric and magnetic fields, and the distribution of heat and energy in physical systems.

Similar threads

  • Calculus and Beyond Homework Help
Replies
9
Views
1K
Replies
22
Views
3K
  • Special and General Relativity
2
Replies
38
Views
4K
  • Math Proof Training and Practice
Replies
25
Views
2K
Replies
2
Views
2K
  • Math Proof Training and Practice
2
Replies
61
Views
6K
  • Advanced Physics Homework Help
Replies
13
Views
2K
Replies
4
Views
3K
Replies
3
Views
372
  • Special and General Relativity
Replies
33
Views
4K
Back
Top