Differential Forms Part 2: Differential Operators and Stokes Theorem

In the first post, we established a general intuition of how forms work and why they may provide a better geometric intuition of what is actually occurring. It was mentioned that these ideas extend the ideas of vector calculus so it seems natural to see how differential operators like gradient, curl, and divergence arise in the context of differential forms. It all comes out of the analysis of the exterior derivative $\textup{d}$ . I will stick to 3 dimensions for now and explain the extension into higher dimensions at the end.

Let’s start by differentiating a 0-form or function $f$ . Through chain rule, we know the following.

$\displaystyle \frac{\textup{d}f}{\textup{d}t} = \frac{\partial f}{\partial x}\frac{\textup{d}x}{\textup{d}t} + \frac{\partial f}{\partial y}\frac{\textup{d}y}{\textup{d}t} + \frac{\partial f}{\partial z}\frac{\textup{d}z}{\textup{d}t}$

Multiplying both sides by $\textup{d}t$ , we get a nice 1-form which we can “vectorize” like we did in the last post.

$\displaystyle \textup{d}f = \frac{\partial f}{\partial x}\textup{d}x + \frac{\partial f}{\partial y}\textup{d}y + \frac{\partial f}{\partial z}\textup{d}z$

$\displaystyle (\textup{d}f)^\sharp=\left(\frac{\partial f}{\partial x},\frac{\partial f}{\partial y},\frac{\partial f}{\partial z} \right)$

That vector is simply the gradient so “ $\textup{d}$ ” is equivalent to the gradient operator in some sense for 0-forms.

$\displaystyle \nabla f^\sharp=(\textup{d}f)^\sharp$

Let’s try to apply this operator to a 1-form instead of a function. We will use the 1-form $f=f_1\textup{d}x+f_2\textup{d}y+f_3\textup{d}z$ where $f_i$ are functions. Because $\textup{d}$ is practically a derivative, one can safely assume it is linear.

$\displaystyle f=\textup{d}(f_1\textup{d}x)+\textup{d}(f_2\textup{d}y)+\textup{d}(f_3\textup{d}z)$

Let’s just look at the first term. Because $f_1$ is a 0-form, the first term can be rewritten $\textup{d}(f_1\wedge\textup{d}x)$ . If we assume that the $\textup{d}$ operator follows product rule for derivatives (which to some extent would seem intuitive), the term can be rewritten as follows.

$\displaystyle \textup{d}f_1\wedge\textup{d}x+f_1\textup{d}(\textup{d}x)$

$\textup{d}(\textup{d}x)$ is just the derivative of a basis vector which is $0$ . The first term can be rewritten using our knowledge of gradients and the properties of the wedge product.

$\displaystyle \textup{d}f_1\wedge\textup{d}x=\left( \frac{\partial f}{\partial x}\textup{d}x + \frac{\partial f}{\partial y}\textup{d}y + \frac{\partial f}{\partial z}\textup{d}z \right)\wedge\textup{d}x$

$\displaystyle =\frac{\partial f}{\partial x}\textup{d}x\wedge\textup{d}x + \frac{\partial f}{\partial y}\textup{d}y\wedge\textup{d}x + \frac{\partial f}{\partial z}\textup{d}z\wedge\textup{d}x$

$\displaystyle =-\frac{\partial f}{\partial y}\textup{d}x\wedge\textup{d}y + \frac{\partial f}{\partial z}\textup{d}z\wedge\textup{d}x$

At this point, let’s take the Hodge star (it will become clear why soon).

$\displaystyle \star(\textup{d}f_1\wedge\textup{d}x)=-\frac{\partial f}{\partial y}\textup{d}z + \frac{\partial f}{\partial z}\textup{d}y$

Now, using this calculation, we can generalize it to calculate $\star\textup{d}f$ .

$\displaystyle \star\textup{d}f=\star\textup{d}(f_1\textup{d}x) + \star\textup{d}(f_2\textup{d}y) + \star\textup{d}(f_3\textup{d}z)$

$\displaystyle -\frac{\partial f}{\partial y}\textup{d}z+\frac{\partial f}{\partial z}\textup{d}y +\frac{\partial f}{\partial x}\textup{d}z-\frac{\partial f}{\partial z}\textup{d}x-\frac{\partial f}{\partial x}\textup{d}y+\frac{\partial f}{\partial y}\textup{d}x$

Rearranging and “vectorizing”, we get something very familiar.

$\displaystyle \left(\frac{\partial f}{\partial y}-\frac{\partial f}{\partial z}\right)\textup{d}x+\left(\frac{\partial f}{\partial z}-\frac{\partial f}{\partial x}\right)\textup{d}y+\left(\frac{\partial f}{\partial x}-\frac{\partial f}{\partial y}\right)\textup{d}z$

This is simply curl and now we can again rewrite familiar vector concepts in the language of forms.

$\displaystyle \nabla\times f^\sharp=(\star\textup{d}f)^\sharp$

Now what happens with a 2-form? Well, an inconvenience of vector calculus is that it does it does not allow for concepts like 2-forms but we can simply take the Hodge star of a 1-form to acquire one. Assume we have the same $f$ , then $\star f=f_1\textup{d}y\wedge\textup{d}z+f_2\textup{d}z\wedge\textup{d}x+f_3\textup{d}x\wedge\textup{d}y$ . Now let’s see what $\textup{d}\star f$ results in. We can calculate the first term with product rule and properties of the wedge product.

$\displaystyle \textup{d}\star f=\textup{d}(f_1\textup{d}y\wedge\textup{d}z)+\textup{d}(f_2\textup{d}z\wedge\textup{d}x)+\textup{d}(f_3\textup{d}x\wedge\textup{d}y)$

$\displaystyle \textup{d}(f_1\wedge\textup{d}y\wedge\textup{d}z)=\textup{d}f_1\wedge\textup{d}y\wedge\textup{d}z+f_2\wedge\textup{d}^2y\wedge\textup{d}z+f_3\wedge\textup{d}y\wedge\textup{d}^2z$

$\displaystyle =\left(\frac{\partial f_1}{\partial x}\textup{d}x+\frac{\partial f_1}{\partial y}\textup{d}y+\frac{\partial f_1}{\partial z}\textup{d}z\right)\wedge\textup{d}y\wedge\textup{d}z+0+0$

$\displaystyle =\frac{\partial f_1}{\partial x}\textup{d}x\wedge\textup{d}y\wedge\textup{d}z+\frac{\partial f_1}{\partial y}\textup{d}y\wedge\textup{d}y\wedge\textup{d}z+\frac{\partial f_1}{\partial z}\textup{d}z\wedge\textup{d}y\wedge\textup{d}z$

$\displaystyle =\frac{\partial f_1}{\partial x}\textup{d}x\wedge\textup{d}y\wedge\textup{d}z$

Now, if we generalize this process and solve for the second and third term, we get the following solution.

$\displaystyle \textup{d}\star f=\left(\frac{\partial f_1}{\partial x}+\frac{\partial f_2}{\partial y}+\frac{\partial f_3}{\partial z}\right)\textup{d}x\wedge\textup{d}y\wedge\textup{d}z$

The Hodge star of this is simply divergence.

$\displaystyle \nabla\cdot f^\sharp =(\star\textup{d}\star f)^\sharp$

There exists one more operator: the Laplacian. This however is easy as it is simply divergence and grad combined or formally the following.

$\nabla^2f^\sharp=\nabla\cdot\nabla f^\sharp=(\star\textup{d}\star\textup{d}f)^\sharp$

So now we have created all our operators.

$\displaystyle \nabla\rightarrow\textup{d}$

$\displaystyle \nabla\times\rightarrow\star\textup{d}$

$\displaystyle \nabla\cdot\rightarrow\star\textup{d}\star$

$\displaystyle \nabla^2\rightarrow\star\textup{d}\star\textup{d}$

This is elegant and shows that all these distinct operators are actually very similar to each other.

Now, for one more quick step. How is integration defined? For 0-forms, which are just functions, it is the same as usual. For a 1-form, which is basically a vector field, we can integrate across some path which is a familiar concept from vector calculus.

$\displaystyle \int_\sigma f=\int_\sigma f_1\textup{d}x+f_2\textup{d}y+f_3\textup{d}z$

$\displaystyle =\int_\sigma\left(f_1\frac{\textup{d}x}{\textup{d}t}+f_2\frac{\textup{d}y}{\textup{d}t}+f_3\frac{\textup{d}z}{\textup{d}t}\right)\textup{d}t$

$\displaystyle \int_\sigma f^\sharp\cdot\sigma'\textup{d}t$

$\displaystyle =\int_\sigma f^\sharp\cdot\textup{d}\sigma$

For a two form, which is a planar field, we integrate across some 2-dimensional surface. Here, instead of just using terms like $\frac{\textup{d}x}{\textup{d}t}$ , you would have to use the Jacobian with the parametrization of your surface. Essentially, for any form $f$ or vector function $v$ , $\int_M f=\int_M f^\sharp\cdot\textup{d}M$ or $\int_M v^\flat=\int_M v\cdot\textup{d}M$ because the integral measures the overlap of a form with the manifold $M$ being considered. From here, you can build up to higher dimensions so this concept is well-defined.

Now, for the biggest and final step: Stokes Theorem. This is the actual fundamental theorem of calculus.

Let’s start with a few cases.

Green’s Theorem

This is for two-dimensional vector functions. Classically, it is stated below where $v$ is some vector-valued function.

$\displaystyle \int_A\nabla\cdot v\textup{d}A=\int_{\partial A} n\cdot v\textup{d}s$

Let $n^*$ and $v^*$ denote the vectors 90 degrees counterclockwise to $n$ and $v$ respectively. Because dotting two rotated vectors doesn’t change the angle in between or the lengths, we know $n^*\cdot v^*=n\cdot v$ . Then the theorem can be restated.

$\displaystyle \int_A\nabla\cdot v\textup{d}A=\int_{\partial A} n^*\cdot v^*\textup{d}s$

Because $\textup{d}s$ and $n^*$ go in the same direction and $|n^*|=1$ , we know $n^*\cdot v^*\textup{d}s=v^*\cdot\textup{d}s$ .

$\displaystyle \int_A\nabla\cdot v\textup{d}A=\int_{\partial A} v^*\cdot\textup{d}s$

Now to put this in the language of differential forms. First, we substitute the divergence.

$\displaystyle \int_A \star\textup{d}\star v^\flat \textup{d}A=\int_{\partial A} v^*\cdot\textup{d}s$

Note that I did not use $(\star\textup{d}\star v^\flat)^\sharp$ because a 0-form and scalar are not just isomorphic, but equivalent. Knowing this, we see that the left integrand resembles a 2-form.

$\displaystyle \int_A\star(\star\textup{d}\star v^\flat) =\int_{\partial A}v^* \cdot\textup{d}s$

$\displaystyle \int_A\textup{d}\star v^\flat =\int_{\partial A}v^* \cdot\textup{d}s$

Now note $v* =(\star v^\flat)^\sharp$ because the Hodge dual, by definition, represents some sort of orthogonal structure in a space. Remembering how to take integrals for forms, we rewrite the right side of the equation.

$\displaystyle \int_A\textup{d}\star v^\flat =\int_{\partial A}((\star v^\flat)^\sharp)^\flat$

$\displaystyle \int_A\textup{d}\star v^\flat =\int_{\partial A}\star v^\flat$

Less Generalized Stokes’ Theorem

The theorem is stated below where $N$ is the vector perpendicular to the $\textup{d}S$ element and has a length equal to the area of the $\textup{d}S$ element.

$\displaystyle \int_S\nabla\times G\cdot\textup{d}N=\int_{\partial S}G\cdot\textup{d}s$

The definition of $\textup{d}N$ should sound immediately familiar when thinking of differential forms. It is simply the Hodge dual of $\textup{d}S$ .

$\displaystyle \int_S\nabla\times G\cdot(\star(\textup{d}S)^\flat)^\sharp =\int_{\partial S}G\cdot \textup{d}s$

The right side is simplified.

$\displaystyle \int_S\nabla\times G\cdot(\star(\textup{d}S)^\flat)^\sharp =\int_{\partial S}G^\flat$

We use our knowledge of curl.

$\displaystyle \int_S(\star\textup{d}G^\flat)^\sharp\cdot(\star(\textup{d}S)^\flat)^\sharp =\int_{\partial S}G^\flat$

As stated before, dotting the orthogonal version of vectors yields the same results as dotting the vectors themselves.

$\displaystyle \int_S(\textup{d}G^\flat)^\sharp\cdot((\textup{d}S)^\flat)^\sharp =\int_{\partial S}G^\flat$

$\displaystyle \int_S(\textup{d}G^\flat)^\sharp\cdot\textup{d}S =\int_{\partial S}G^\flat$

We once again use our knowledge of integrals of forms.

$\displaystyle \int_S\textup{d}G^\flat =\int_{\partial S}G^\flat$

Fundamental Theorem of Vector Calculus

There exists the classic fundamental theorem of calculus which is $\int_a^b f\textup{d}x=F(b)-F(a)$ . However, there is also the more generalized form that uses gradients and vectors stated below.

$\displaystyle \int_P\nabla F\cdot\textup{d}s=F(P_2)-F(P_1)$

$P_1$ and $P_2$ are the endpoints of path $P$ . In some sense, the right side is an integral of the function evaluated only at the endpoints.

$\displaystyle \int_P \nabla F\cdot\textup{d}s=\int_{\partial P} F$

We convert the left side using knowledge of forms and path integrals.

$\displaystyle \int_P \textup{d}F\cdot\textup{d}s=\int_{\partial P} F$

$\displaystyle \int_P \textup{d}F=\int_{\partial P} F$

Again, $F$ was used instead of $f^\flat$ because it’s a scalar. It’s funny how differential forms makes the originally complex fundamental theorem look so trivial.

Stokes Theorem

Let us restate all our previous theorems we translated.

$\displaystyle \int_A\textup{d}\star v^\flat =\int_{\partial A}\star v^\flat$

$\displaystyle \int_S\textup{d}G^\flat =\int_{\partial S}G^\flat$

$\displaystyle \int_P \textup{d}F=\int_{\partial P} F$

They all have the following form where $\Omega$ is some smooth manifold and $\omega$ is some form.

$\displaystyle \int_\Omega \textup{d}\omega=\int_{\partial\Omega}\omega$

This is Stokes’ Theorem. In essence, it is saying that by computing small changes within a manifold for some function, we can calculate how much it changes as a whole across it. It is an amazingly powerful yet simple theorem. The most powerful aspect is that it is a general statement that is not limited to any amount of dimensions or space. Note however that I did not, in any sense, prove this. I do not know how to do that but I encourage you to explore it. This is the essence of the differential forms or otherwise known as exterior calculus. There is so much more to explore and much of these last two posts have been hand-wavy anyway so it is worth the time to understand fundamentally what is happening when working through the above equations.

If you want to learn more or see where I started, look at A Quick and Dirty Introduction to Exterior Calculus.

m isedu December 19, 2017 / 1:26 pm

STOKES THEOREM
Author Mircea Orasanu
Reduction to Green’s Theorem
Stoke’s theorem is a direct generalization of Green’s theorem. Indeed, if we let F( x,y,z) =  M(x,y) ,N( x,y) ,0 and suppose that  is in the xy-plane, then as prof horia orasanu
Work =

 F•dr =

  M,N • dx,dy =

 Mdx+Ndy

Moreover, the curl formula in this case reduces to curl( F) =  0,0,NxMy and the vector surface differential is dS =  0,0,1 dA since the unit surface normal to any region in the xy-plane must be the unit vector k =  0,0,1 .

Thus, the flux of the curl of the vector field F through a region  in the plane is
flux
=

 

 curl( F) •dS

=

 

  0,0,NxMy • 0,0,1 dA

=

 

 ( NxMy) dA

Stoke’s theorem is equivalent to ”flux of curl through  = Circulation over ”, which leads to

 

 ( NxMy) dA =

 Mdx+Ndy

That is, Stoke’s theorem reduces to Green’s theorem in the 2-dimensional xy-plane.

EXAMPLE 2 Use Green’s theorem to find the flux of F =  x, y+z, 2x through the region  in the xy-plane enclosed by r( t) = t4t2,t6t2 , t in [ 0,1] .

Solution: Since dS = kdA, the flux of F through  is
flux = 
 

  x,y+z,2x •0,0,1 dA = 
 

 2xdA

If we apply Green’s theorem with Nx = 2x and My = 0, then N = x2 leads to
flux =

 0dx+x2dy

On the boundary curve, we have x = t4t2 and y = t6t2. Thus,
flux
=

 1

0 x2 dy

dt dt

=



0 ( t4t2) 2( 6t52t) dt

=

 1

0 ( 6t13+4t912t11+4t72t5) dt

=

 6t14

14 + 4t10

10  12t12

12 + 4t8

8  2t6

6 
 
 1

0 = 1

210

The xy-plane is not the only flat surface in 3-dimensional space. Other planes and surfaces yield different forms of Green’s theorem. Let’s look at an example.

EXAMPLE 3 What does Stoke’s theorem reduce to when  is a region in the yz-plane?

Solution: The vector i is the surface unit normal for the yz-plane, so dS =  1,0,0 dAyz where dAyz is the area differential for the yz-plane. Thus,
flux
=

 

 curl( F) •dS

=

 

 PyNz, MzPx, NxMy •1,0,0 dAyz

=

 

 ( PyNz) dAyz

Moreover, in the yz-plane, the displacement differential is dr =  0,dy,dz , so that the work integral reduces to
Work =

 F•dr =

  M,N,P •0, dy, dz =

 Ndy + Pdz

Stoke’s theorem says that ”flux through  = Work along ”, which in this case implies that
Schwarzian Derivative
The Schwarzian derivative is defined by

The Feigenbaum constant is universal for one-dimensional maps if its Schwarzian derivative is negative in the bounded interval (Tabor 1989, p. 220).

 

 ( PyNz) dAyz =

 Ndy+Pdz

Theories with a time dependent Newton’s constant admit two natural measures of time : atomic and astronomical

Check you

LikeLike

m isedu December 19, 2017 / 1:17 pm

here are very important as say prof dr mircea orasanu and prof horia orasanu

LikeLike

m isedu December 19, 2017 / 1:26 pm

STOKES THEOREM
Author Mircea Orasanu
Reduction to Green’s Theorem
Stoke’s theorem is a direct generalization of Green’s theorem. Indeed, if we let F( x,y,z) =  M(x,y) ,N( x,y) ,0 and suppose that  is in the xy-plane, then as prof horia orasanu
Work =

 F•dr =

  M,N • dx,dy =

 Mdx+Ndy

Moreover, the curl formula in this case reduces to curl( F) =  0,0,NxMy and the vector surface differential is dS =  0,0,1 dA since the unit surface normal to any region in the xy-plane must be the unit vector k =  0,0,1 .

Thus, the flux of the curl of the vector field F through a region  in the plane is
flux
=

 

 curl( F) •dS

=

 

  0,0,NxMy • 0,0,1 dA

=

 

 ( NxMy) dA

Stoke’s theorem is equivalent to ”flux of curl through  = Circulation over ”, which leads to

 

 ( NxMy) dA =

 Mdx+Ndy

That is, Stoke’s theorem reduces to Green’s theorem in the 2-dimensional xy-plane.

EXAMPLE 2 Use Green’s theorem to find the flux of F =  x, y+z, 2x through the region  in the xy-plane enclosed by r( t) = t4t2,t6t2 , t in [ 0,1] .

Solution: Since dS = kdA, the flux of F through  is
flux = 
 

  x,y+z,2x •0,0,1 dA = 
 

 2xdA

If we apply Green’s theorem with Nx = 2x and My = 0, then N = x2 leads to
flux =

 0dx+x2dy

On the boundary curve, we have x = t4t2 and y = t6t2. Thus,
flux
=

 1

0 x2 dy

dt dt

=



0 ( t4t2) 2( 6t52t) dt

=

 1

0 ( 6t13+4t912t11+4t72t5) dt

=

 6t14

14 + 4t10

10  12t12

12 + 4t8

8  2t6

6 
 
 1

0 = 1

210

The xy-plane is not the only flat surface in 3-dimensional space. Other planes and surfaces yield different forms of Green’s theorem. Let’s look at an example.

EXAMPLE 3 What does Stoke’s theorem reduce to when  is a region in the yz-plane?

Solution: The vector i is the surface unit normal for the yz-plane, so dS =  1,0,0 dAyz where dAyz is the area differential for the yz-plane. Thus,
flux
=

 

 curl( F) •dS

=

 

 PyNz, MzPx, NxMy •1,0,0 dAyz

=

 

 ( PyNz) dAyz

Moreover, in the yz-plane, the displacement differential is dr =  0,dy,dz , so that the work integral reduces to
Work =

 F•dr =

  M,N,P •0, dy, dz =

 Ndy + Pdz

Stoke’s theorem says that ”flux through  = Work along ”, which in this case implies that
Schwarzian Derivative
The Schwarzian derivative is defined by

The Feigenbaum constant is universal for one-dimensional maps if its Schwarzian derivative is negative in the bounded interval (Tabor 1989, p. 220).

 

 ( PyNz) dAyz =

 Ndy+Pdz

Theories with a time dependent Newton’s constant admit two natural measures of time : atomic and astronomical

Check you

LikeLike

coselu August 1, 2018 / 10:27 pm

in other situations the above can be extended

LikeLike

coselu August 3, 2018 / 1:10 pm

here we mention that are necessary to present tha PFaff results very important as Mir Oas fos consequences

LikeLike

dasadidu October 28, 2018 / 2:16 pm

for many situations Stokes Theorem is very important in applications and many then and as look prof dr mircea orasanu and prof drd horia orasanu considered as followed
OPERATORS AND DIFFERENTIAL FORMS
ABSTRACT
Instance with annotations:
This example uses xx-patent-document as the model for the creation of an example wo-patent-document. In particular the example is a PCT published application (an A1 document) – this PCT example uses some published parts of patent applications and parts created for example purposes only.
The example markup does not necessarily reflect PCT practice.

LikeLike

minciu November 14, 2018 / 1:20 pm

these theorems can be extended in more situations

LikeLike

haciasu January 2, 2019 / 10:30 am

many aspects are possible in these as for article published and with that presentation of prof dr mircea orasanu but not in case of prof serban virgil , c chites , caius iacob , lazar dragos, marcel chirita , or ene horia and gazeta matematica, f Facultatea de Matematica si Informatica and Faculty of Mathematics

LikeLike

Aakash's Physics Blog

Differential Forms Part 2: Differential Operators and Stokes Theorem

7 thoughts on “Differential Forms Part 2: Differential Operators and Stokes Theorem”

Leave a Reply Cancel reply

Share this:

Like this:

Related

7 thoughts on “Differential Forms Part 2: Differential Operators and Stokes Theorem”

Leave a Reply Cancel reply