Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Directed Integration and the Fundamental Theorem of Calculus

  1. Mar 20, 2006 #1
    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:


    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:

    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: Mar 21, 2006
  2. jcsd
  3. Mar 20, 2006 #2


    User Avatar
    Science Advisor

    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!
  4. Mar 20, 2006 #3


    User Avatar
    Science Advisor
    Homework Helper

    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?
  5. Mar 20, 2006 #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: Mar 20, 2006
  6. Mar 20, 2006 #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].
  7. Mar 20, 2006 #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: Mar 21, 2006
  8. Mar 21, 2006 #7


    User Avatar
    Science Advisor

    It has hypotheses on being "simply connected" which is equivalent to the first homology group being trivial.
  9. Mar 22, 2006 #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.


    [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: Mar 22, 2006
  10. Mar 22, 2006 #9


    User Avatar
    Science Advisor
    Homework Helper

    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: Mar 22, 2006
  11. Mar 27, 2006 #10

    You're right, mathwonk. Simple connectivity is not required. Perhaps Halls was referring to contour integration using complex variables?
  12. Aug 26, 2006 #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: May 2, 2017
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook