Directed Integration and the Fundamental Theorem of Calculus

In summary: Geometric Calculus of David HestenesIn summary, the geometric calculus of David Hestenes states that if a smooth manifold S has a pseudoscalar field at every point x, then the integral of a multivector field over S is equal to the sum of the multivector field divided by the pseudoscalar field at each point. If S contains one or more internal points where field F is singular, then the integral becomes impossible to continuously shrink to an arbitrarily small neighborhood around any internal point. Finally, if S is a flat manifold, then I_m is constant and the integral of a multivector field over S can be pulled out of the integration to get the total volume of
  • #1
kryptyk
41
0
I'm still new to much of this stuff, so I do not claim to be an expert. But I thought I'd still comment. I'm trying to better understand the geometric calculus of David Hestenes:

http://modelingnts.la.asu.edu/

A fairly common form for the Fundamental Theorem of Calculus is:

[tex]\int_S d\omega = \oint_{\partial S} \omega[/tex]

Typically only scalar [tex]\omega[/tex] are considered. However, it is also possible to consider multivector-valued [tex]\omega[/tex] in which case [tex]d\omega[/tex] is a directed measure rather than a scalar.

Any smooth manifold will have a pseudoscalar field at every point [tex]x[/tex] which we denote by [tex]I(x)[/tex]. For an n-dimensional manifold, this will be an n-blade which identifies the tangent space at the point x. I talked a bit about blades in this thread:
https://www.physicsforums.com/showthread.php?t=114604

For flat manifolds, [tex]I[/tex] is constant. In fact, one could use this as the defining condition for flatness. So then:

[tex]d\omega = \mid d\omega\mid I[/tex]

There seem to be some advantages to this approach. Any ideas?
 
Last edited:
Physics news on Phys.org
  • #2
It's very general and very abstract. You'd better have a good grounding in differential geometry and manifolds before you go that route!
For example
[tex]\int_S d\omega = \oint_{\partial S} \omega[/tex]
is only true if the fundamental homology group of S is trivial!
 
  • #3
I'm not sure what you are thinking of halls, but the theorem you have written above looks like stokes theorem, which I think does not have any hypotheses on homology?
 
  • #4
The Need for Trivial Homology

I do think Halls is right.

If [tex]S[/tex] contains one or more internal points where field [tex]F[/tex] is singular then it becomes impossible to continuously shrink [tex]\partial S[/tex] to an arbitrarily small neighborhood around any internal point in [tex]S[/tex].
 
Last edited:
  • #5
Boundary Normal

I think a key idea here is that if [tex]S[/tex] is an m-dimensional manifold then [tex]\partial S[/tex] is a closed (m-1)-dimensional manifold. Given an m-blade field [tex]I_m[/tex] on [tex]S[/tex] and an (m-1)-blade field [tex]I_{m-1}[/tex] on [tex]\partial S[/tex] each representing the tangent spaces of [tex]S[/tex] and [tex]\partial S[/tex] respectively, it is possible to find a normal vector field [tex]\mathbf{n}[/tex] on [tex]\partial S[/tex] such that [tex]I_{m} = I_{m-1} \wedge \mathbf{n}[/tex].

But then [tex]\mathbf{n}[/tex] is everywhere orthogonal to [tex]I_{m-1}[/tex] and so [tex]I_{m-1} \cdot\mathbf{n} [/tex] vanishes. Thus we have:

[tex]I_{m} = I_{m-1} \mathbf{n}[/tex]

So we find an expression that relates the tangent spaces of [tex]S[/tex] and [tex]\partial S[/tex] at each point on [tex]\partial S[/tex].
 
  • #6
Directed Measures

The following is a brief summary of some core ideas in Hestenes[98].

Let [tex]S[/tex] be parametrized by m coordinates [tex]\{x^1, x^2, \ldots, x^m\}[/tex].

Then at each point [tex]\mathbf{x}[/tex] in [tex]S[/tex] we have a covariant frame [tex]\{\mathbf{e}_k\}[/tex] given by:

[tex]\mathbf{e}_k = \frac{\partial\mathbf{x}}{\partial x^k}[/tex]

It is now possible to define an m-blade (pseudoscalar) field [tex]I_m[/tex] giving the orientation of [tex]S[/tex]:

[tex]I_m = \mathbf{e}_1 \wedge\mathbf{e}_2 \wedge \ldots \wedge\mathbf{e}_m[/tex]

We then define the vector differentials:

[tex]d\mathbf{x}^k = d x^k \mathbf{e}_k[/tex]

Now we can explicitly construct a directed measure on [tex]S[/tex]:

[tex]d^m \mathbf{x} = d\mathbf{x}^1 \wedge d\mathbf{x}^2 \wedge \ldots \wedge d\mathbf{x}^m[/tex]

But [tex]d x^k[/tex] are scalars, so we have:

[tex]d^m \mathbf{x} = d\mathbf{x}^1 \wedge d\mathbf{x}^2 \wedge \ldots \wedge d\mathbf{x}^m = \mathbf{e}_1 \wedge\mathbf{e}_2 \wedge \ldots \wedge\mathbf{e}_m d x^1 d x^2 \ldots d x^m = I_m d x^1 d x^2 \ldots d x^m = I_m d^m x[/tex]

Now we can integrate a multivector field [tex]F[/tex] over [tex]S[/tex] using scalar calculus methods (i.e. Riemann integrals, iterated integrals):

[tex]\int_S d^m \mathbf{x} F = \int_S I_m d^m x F[/tex]

For flat manifolds, [tex]I_m[/tex] is constant and we can pull it out of the integral to get

[tex]\int_S d^m \mathbf{x} F = I_m \int_S d^m x F[/tex]
 
Last edited:
  • #7
mathwonk said:
I'm not sure what you are thinking of halls, but the theorem you have written above looks like stokes theorem, which I think does not have any hypotheses on homology?

It has hypotheses on being "simply connected" which is equivalent to the first homology group being trivial.
 
  • #8
Intuitive argument for the homology condition

Halls is right - but beyond the axiomatic "reasons" for this condition being necessary, it is possible to develop a strong intuitive argument just by looking at the properties of [tex]\partial S[/tex] as we shrink it around the neighborhood of a point in [tex]S[/tex]. If a field [tex]F[/tex] defined on [tex]S[/tex] is not smooth as [tex]\partial S[/tex] shrinks around some point [tex]\mathbf x[/tex] then it is clear that the theorem must fail for certain boundaries since that would imply that

[tex]\int_{\partial S} F[/tex]

would not be smooth as [tex]\partial S[/tex] is allowed to change smoothly through these points.

But,

[tex]\int_S d F[/tex]

must change smoothly as [tex]\partial S[/tex] is allowed to change smoothly so that both integrals are well-defined and converge.

However, if the points of discontinuity are removable, we can still define a Lebesgue integral even if we cannot define a Riemann integral - and so the theorem would hold for all [tex]\partial S[/tex] that do not pass through one of these points.
 
Last edited:
  • #9
is this some specuial version of stokes theorem i have not heard of, i.e. in "directed integration" as opposed to ordinary inmtegration of differential forms? certainly the usual one for integration of forms on a manifold with boundary has no hypotheses of simple connectivity at all, or am i losing my mind here?


see spivak, cal on manifolds, p.124, or guillemin and pollack differetial topology, p.183, or lang, analysis II, page 453.

perhaps hestenes version is something i am unfamiliar with?

or are you using forms that are not smooth?

for as smooth n-1 form w on a smootj n manifold M with boundary ?M, the integral of w over ?M equals the integral of dw over M. this is just the fundamental theorem of calculus, plus fubini's theorem, globalized via local ccordinate charts.

but surely you know all this, so I must be unaware of what type of situation you are speaking of.

what are your hypotheses?
 
Last edited:
  • #10
Nevermind...

You're right, mathwonk. Simple connectivity is not required. Perhaps Halls was referring to contour integration using complex variables?
 
  • #11
http://modelingnts.la.asu.edu/pdf/DIF_FORM.pdf [Broken]
http://modelingnts.la.asu.edu/pdf/UnifiedLang.pdf [Broken]
http://modelingnts.la.asu.edu/html/CA_to_GC.html [Broken]
Clifford Algebra to Geometric Calculus (1986)

Chapter 7 / Directed Integration Theory
7-1. Directed Integrals
7-2. Derivatives from Integrals
7-3. The Fundamental Theorem of Calculus
7-4. Antiderivatives, Analytic Functions and Complex Variables
7-5. Changing Integration Variables
7-6. Inverse and Implicit Functions
7-7. Winding Numbers
7-8. The Gauss-Bonnet Theorem
 
Last edited by a moderator:

1. What is directed integration?

Directed integration is a mathematical process used to find the area under a curve or the total change in a function over a given interval. It involves dividing the interval into smaller segments and approximating the area under the curve using rectangles or trapezoids.

2. What is the Fundamental Theorem of Calculus?

The Fundamental Theorem of Calculus is a fundamental concept in calculus that relates the process of differentiation to integration. It states that the integral of a function f(x) over an interval [a, b] can be found by evaluating the antiderivative of f(x) at the endpoints of the interval, or in other words, by finding the difference between the values of the antiderivative at b and a.

3. How is directed integration related to the Fundamental Theorem of Calculus?

Directed integration is a key component of the Fundamental Theorem of Calculus. The process of directed integration is used to evaluate the integral in the theorem, and the theorem itself is used to find the antiderivative needed for directed integration.

4. Can the Fundamental Theorem of Calculus be applied to any function?

Yes, the Fundamental Theorem of Calculus can be applied to any continuous function. However, if the antiderivative of the function cannot be found analytically, numerical methods such as Riemann sums or Simpson's rule can be used to approximate the integral.

5. Is there a practical application of directed integration and the Fundamental Theorem of Calculus?

Yes, directed integration and the Fundamental Theorem of Calculus have many practical applications in fields such as physics, engineering, economics, and statistics. For example, they can be used to find the total distance traveled by an object with a changing velocity, the total cost of producing a product with a changing production rate, or the total population growth over a certain time period.

Similar threads

Replies
2
Views
169
Replies
1
Views
831
Replies
2
Views
1K
Replies
6
Views
2K
Replies
3
Views
1K
Replies
9
Views
2K
Replies
42
Views
4K
Replies
1
Views
1K
Replies
2
Views
1K
Replies
3
Views
1K
Back
Top