Exterior Derivative Explained: Motivation & Calculation

  • Thread starter Terilien
  • Start date
  • Tags
    Derivative
In summary, the exterior derivative is a mathematical concept used in physics to measure the tendency of a vector field to rotate around a point or radiate through a surface. It is computed by taking the limit of the quotient formed by the integral of a one form over a loop or surface, divided by the area or volume of the loop or surface. Additionally, the exterior derivative satisfies the condition of nilpotency, which is a consequence of its definition. The modified Leibniz rule for wedge products can also be proven using the identities for exterior algebra.
  • #1
Terilien
140
0
What exactly is the exterior derivative? What is its motivation? how do you compute it? Most importantly why is that how you copute it?
 
Physics news on Phys.org
  • #2
well physicists understand this better than i do, but here's a try. in one variable, we know that F'(x) is the limit of [F(b)-F(a)]/(b-a) as a,b, approach x. this is by the ftc. or equivalently, the mvt.

this also holds true on the plane for a function of one variable. i.e. the value of the gradient on a tangent vector is this same limit as we let a,b, denoite the ends of a parametrized segment with the given tangent vector as velocity vector at x.

if F is a one form in 2 variables, by the ftc. or green, or whatever you call it, then dF at a point x, is the limit of the quotient formed by the integral of F over a loop centered at x, by the area of the inside of that loop.

thus it measures the tendency of the vector field dual to the one form in terms of a dot product, to rotate around the point x. so they call it the curl.

up one dimension it measures the tendency of these vectors to radiate through the surface of a sphere centered at x, hence it is called the divergence.

so to evaluate the exterior derivative of a k form on a k+1 vector at a point, you put a k+1 dimensional parametrized surface through that point, with its k+1 directional tangent vectors spanning the given k+1 vector, then you integrate the k form over the boundary of the surface, and divide by the K+1 dimensional volume of the surface.

take the limit, and by stokes theorem that is the value of the exterior derivative.

put another way, it is the thing that makes stokes theorem work. i.e. it is the "adjoint" of the boundary operator on surfaces, wrt the inner product defined by integration.

take this with a grain of salt. or maybe read bachmans book on this.
 
  • #3
Well could someone explain why we impose the condition d(da)=0. I think I understand but would still like an explanation...
 
  • #4
Terilien said:
Well could someone explain why we impose the condition d(da)=0. I think I understand but would still like an explanation...
Well, if you followed mathwonk's description that we use the exterior derivative because it makes Stoke's theorem work... then apply Stoke's theorem!

[tex]\int_R d(da) = \int_{\delta R} da = \int_{\delta(\delta R)} a[/tex]

If you take some shape (e.g. a disk), then look at its boundary (a circle)... what is the boundary of that?
 
  • #5
Terilien said:
Well could someone explain why we impose the condition d(da)=0, and it's not something to be "imposed" but is instead a consequence of the manner in which the exterior derivative is defined. I think I understand but would still like an explanation...

This condition is referred to as "nilpotency" of the exterior derivative. Suppose that you have some coordinate basis [itex]\{dx^a\}[/itex] for the cotangent space at a point in your manifold [itex]M[/itex], and denote the space of [itex]p[/itex]-forms at a point [itex]q\in M[/itex] by [itex]\Lambda^p_q(M)[/itex]. The existence of this coordinate basis means that we can write a [itex]p[/itex]-form [itex]\alpha\in\Lambda^p_q(M)[/itex] as

[itex]\alpha = \frac{1}{p!}\alpha_{a_1a_2\ldots a_p}\wedge_{i=1}^p dx^{a_i}[/itex]

where I have defined

[itex]\wedge_{i=1}^p dx^{a_i} \equiv dx^{a_1}\wedge dx^{a_2}\wedge \ldots dx^{a_p}[/itex]

Now the exterior derivative is defined to be a map [itex]d:\Lambda^p_q(M)\to\Lambda^{p+1}_q(M)[/itex], [itex]d:\alpha\mapsto d\alpha[/itex]. The exterior derivative of [itex]\alpha[/itex] can be expressed in terms of its components in the coordinate basis as

[tex]d\alpha = \frac{1}{p!}\partial_{a_1}\alpha_{a_2a_3\ldots a_{p+1}}\wedge_{i=2}^{p+1}dx^{a_i}[/tex]

If we apply the exterior derivative a second time we find that we obtain a [itex](p+2)[/itex]-form that can be written as

[tex]d(d\alpha) = d^2\alpha
= \frac{1}{p!}\partial_{a_1}\partial_{a_2}\alpha_{a_3a_4\ldots a_{p+2}}\wedge_{i=3}^{p+2}dx^{a_i}[/tex]

However, since partial derivatives are commutative and since [itex]\wedge_{i=3}^{p+2}dx^{a_i}[/itex] is totally antisymmetric it shouldn't take a great deal of thought to convince yourself that [itex]d^2\alpha=0[/itex]. See if you can figure this out - it's important that you understand it.
 
Last edited:
  • #6
So I did understand it. One last thing, I'm not sure if I understand the modified leibniz rule very well. could someone prove it rigorously?

I'm talking about the liebniz rule between wedge products. I don't quite know how to prove it...:(
 
Last edited:
  • #7
Terilien said:
So I did understand it. One last thing, I'm not sure if I understand the modified leibniz rule very well. could someone prove it rigorously?

I'm talking about the liebniz rule between wedge products. I don't quite know how to prove it...:(

What's modified about it? It says d(f g) = (df) g + f (dg), which is the same as the ordinary product rule.

Hrm -- are you simply thinking about the simplifications you can make by applying the identities (x and y are scalar fields):
d(df) = 0,
(dx)(dx) = 0,
(dx)(dy) = -(dy)(dx)?​
 
Last edited:
  • #8
I was talking about the exterior derivative of a wedge product.

It's suppose to be something like, p^dq +-1^p (q^dp) or something along those lines. how do we get that?>

i know its silly but i really don't know how its proven.
 
Last edited:
  • #9
Terilien said:
I was talking about the exterior derivative of a wedge product.

It's suppose to be something like, p^dq +-1^p (q^dp) or something along those lines. how do we get that?>

i know its silly but i really don't know how its proven.
When doing exterior algebra, I'm very much used to writing the product as
ab​
rather than
a/\b.​


What did you mean by -1^p? I assume you meant (-1)^(the rank of p * the rank of q)


Anyways, it's quite straightforward -- if you write down any example at all, it's fairly obvious what's happening. At least, if you apply the identities I mentioned. Algebraically, they are the defining property of the exterior algebra, so you need to take them to heart! (And they are actually all the same identity)


Or... did you mean to ask why d(fg) should be f dg + df g in the first place?
 
  • #10
Oh no. it's simply the wedge product thing. anyway could you write out an example because i don' think I got that(unless i arranged the terms wrong which i rpobably did without noticing).

I know this is stupid, but please do this for me. I know its weird and stupid...

i'm awful with details and miss them all the time.
 
Last edited:
  • #11
Well, what did you do? Incidentally, ignore the fact a derivative is involved. You're just looking at the basic properties of the product: how pq and qp are related, for arbitrary p and q.

(This might help with constructing a simpler example to understand what's going on)
 
  • #12
what i did was (p+dp)^(q+dq) -p^q. i evaluated that and got + p^dq +dp^q +dp^dq

what do we do with that? Wher do the other parts come in?

Again I'm sorry for my stupidity.
 
  • #13
Terilien said:
what i did was (p+dp)^(q+dq) -p^q. i evaluated that and got + p^dq +dp^q +dp^dq

what do we do with that?
That (generally) shouldn't be equal to d(p /\ q). So it's a good thing you didn't wind up with p /\ dq - q /\ dp.
 
  • #14
so where does the other thing come into play?
 
  • #15
Terilien said:
so where does the other thing come into play?
Well, I'm not really sure what you're asking anymore. :frown: And it's past my bedtime, so I can't help anymore today.
 
  • #17
Terilien said:
What exactly is the exterior derivative? What is its motivation? how do you compute it? Most importantly why is that how you copute it?

The exterior derivative allows the fundamental theorem of calculus to be generalized to integrals over areas and volumes and higher dimensional analogues.

The Fundamental Theorem of calculus says Integral from a to b of dF = F(a)-F(b). This means that the value of F on the boundary of the interval equals the integral of dF over the interior of the interval.

Stokes' Theorem says the same thing for integrating a form - its integral over the boundary of a region equals the integral of its exterior derivative over the interior of the region. You should try to prove this for yourself in a simple region. You will find that it is just the Fundamental Theorem all over again and the reason for its method of calculation will become obvious.

In three dimensions exterior derivatives can be thought of as describing properties of vector fields. These are the usual vector calculus pictures that are used in Physics.

A vector field has two key properties - its curl and its divergence. The curl represents the field's tendency to circulate The divergence detects the presence of sources of the field.

For instance in magnetostatics Gauss's Law says that the divergence of the magnetic field is zero. This means it has no sources and so must follow closed loops (in S3).

This law can be expressed in terms of differential forms as follows. If the magnetic field has components (a,b,c)the the exterior derivative of the 2 form ady^dz - bdx^dz + cdx^dy will be zero.

The curl of (a,b,c) can be thought of as the exterior derivative of the 1 form adx + bdy + cdz. By Ampere's Law, the integral of this 2 form over a piece of a surface will measure the total electric current passing through the region and this is the same as the circulation of the field around the boundary of the region.

I have found it helpful to learn all of these Physics pictures. There are many more.


One more picture. A 2 form can be thought of as dual to a small plane at each point and its integral over this plane determines an area measure. At each different point one gets a different area measure. But if the form is closed these measures are related. The kernel of the 2 form is 1 dimensional and thus can be integrated to determine a flow. If the form is closed then the area measure is preserved by the flow - Stokes Theorem again.
 
  • #18
Terilien said:
I was talking about the exterior derivative of a wedge product.

It's suppose to be something like, p^dq +-1^p (q^dp) or something along those lines. how do we get that?>

i know its silly but i really don't know how its proven.

Just write it out, like a lot of exercises :) I will do it for a one and a two form; you should generalize the argument

[tex]
\alpha = \alpha_{a}dx^a, \ \ \ \ \ \beta = \beta_{de}dx^d \wedge dx^e, \ \ \ \ \ \ \alpha\wedge\beta = (\alpha_a \wedge \beta_{de})dx^a \wedge dx^d \wedge dx^e
[/tex]

Then


[tex]
d(\alpha\wedge\beta) = [(\partial_{c}\alpha_a)\beta_{de} + \alpha_a \partial_c(\beta_{de})]dx^c \wedge dx^a \wedge dx^d \wedge dx^e
[/tex]

Look at the contraction of the components with the basisvectors: the indices of the first term on the LHS are in the same order as the basis indices; {cade}. But the order of the second term on the LHS are {acde}. So in the second term we exchange the {c} and {a} index, and we pick up a minus sign. Notice that this depends on the position of the partial derivative in the second term on the LHS, which is important for your generalization; it depends on what kind of form beta is. So in the end we obtain

[tex]
d(\alpha\wedge\beta) = [(\partial_{c}\alpha_a)\beta_{de} - \alpha_c \partial_a(\beta_{de})]dx^c \wedge dx^a \wedge dx^d \wedge dx^e
[/tex]

Hope this helps :)
 
  • #19
How do I compute an exterior derivative?
 

1. What is the purpose of the exterior derivative?

The exterior derivative is a mathematical operation that is used to measure how much a function changes over a surface or in a higher-dimensional space. It is a tool commonly used in differential geometry and calculus to understand the behavior of functions on manifolds.

2. How is the exterior derivative calculated?

The exterior derivative is calculated by taking the partial derivatives of a function with respect to each variable, and then combining them using the wedge product to create a differential form. This process can be generalized to higher dimensions, where the exterior derivative is represented by the exterior derivative operator, d.

3. What is the motivation behind using the exterior derivative?

The exterior derivative is motivated by the concept of differential forms, which are mathematical objects that can be used to describe the behavior of functions on manifolds. By using the exterior derivative, we can gain insight into the geometry and topology of a manifold by studying the behavior of functions on it.

4. How does the exterior derivative relate to other operations in calculus?

The exterior derivative is closely related to the gradient, divergence, and curl operations in multivariable calculus. In fact, the exterior derivative can be seen as a generalization of these operations to higher dimensions. Each of these operations can be obtained from the exterior derivative by manipulating the differential forms that it produces.

5. What are some applications of the exterior derivative?

The exterior derivative has many applications, particularly in physics and engineering. It is used to describe the behavior of electromagnetic fields in Maxwell's equations, as well as in the study of fluid mechanics and general relativity. It is also essential in understanding the concept of integration on manifolds, which is used in fields such as computer graphics and computer-aided design.

Similar threads

  • Differential Geometry
Replies
2
Views
3K
  • Differential Geometry
Replies
6
Views
6K
  • Differential Geometry
Replies
2
Views
3K
Replies
13
Views
423
  • Electromagnetism
Replies
2
Views
21K
Replies
3
Views
3K
Replies
4
Views
2K
  • Differential Geometry
Replies
11
Views
5K
  • Differential Geometry
Replies
6
Views
1K
  • Differential Geometry
Replies
3
Views
2K
Back
Top