0 views

Uploaded by josgau

Geometric Calculus

- Functional Expansions II
- Fraction_Worksheets
- 1403.7583
- MATH 2930 - Worksheet 6 Solutions
- mixture problem.pdf
- Worded Simultaneous Equations
- Petkov v. (Ed.) Minkowski Spacetime.. a Hundred Years Later (FTP0165, Springer, 2010)(ISBN 9048134749)(O)(359s)_PGr
- Tesi LM Boffo
- SummativeQuestion (Vector)
- Nonmetricity and the Riemann-Christoffel Tensor
- The four particles paradox in special relativity
- Algebra
- decimal expansion of fractions
- GATE 2014 Syllabus
- Dido' Problem Contromechanics
- Function
- 12 Maths CBSE Exam Papers 2014 Comptt Outside Set 3
- DE51-DC51-DE101-DC101-J16
- 1490228969-Equation of Circles
- Where Do Space and Time Come From

You are on page 1of 7

In mathematics, geometric calculus extends the geometric algebra to include differentiation and integration. The

formalism is powerful and can be shown to encompass other mathematical theories including differential geometry and

differential forms.[1]

Contents

Differentiation

Product rule

Interior and exterior derivative

Integration

Fundamental theorem of geometric calculus

Covariant derivative

Relation to differential geometry

Relation to differential forms

History

References and further reading

Differentiation

With a geometric algebra given, let and be vectors and let be a multivector-valued function. The directional

derivative of along is defined as

provided that the limit exists, where the limit is taken for scalar . This is similar to the usual definition of a directional

derivative but extends it to functions that are not necessarily scalar-valued.

Next, choose a set of basis vectors and consider the operators, denoted , that perform directional derivatives in the

directions of :

which means

It can be shown that this operator is independent of the choice of frame, and can thus be used to define the geometric

derivative:

This is similar to the usual definition of the gradient, but it, too, extends to functions that are not necessarily scalar-valued.

It can be shown that the directional derivative is linear regarding its direction, that is:

From this follows that the directional derivative is the inner product of its direction by the geometric derivative. All needs

to be observed is that the direction can be written , so that:

The standard order of operations for the geometric derivative is that it acts only on the function closest to its immediate

right. Given two functions and , then for example we have

Product rule

Although the partial derivative exhibits a product rule, the geometric derivative only partially inherits this property.

Consider two functions and :

Since the geometric product is not commutative with in general, we cannot proceed further without new

notation. A solution is to adopt the overdot notation, in which the scope of a geometric derivative with an overdot is the

multivector-valued function sharing the same overdot. In this case, if we define

Let be an -grade multivector. Then we can define an additional pair of operators, the interior and exterior derivatives,

In particular, if is grade 1 (vector-valued function), then we can write

Note, however, that these two operators are considerably weaker than the geometric derivative counterpart for several

reasons. Neither the interior derivative operator nor the exterior derivative operator is invertible.

Integration

Let be a set of basis vectors that span an -dimensional vector space. From geometric algebra, we interpret

the pseudoscalar to be the signed volume of the -parallelotope subtended by these basis vectors. If the

basis vectors are orthonormal, then this is the unit pseudoscalar.

More generally, we may restrict ourselves to a subset of of the basis vectors, where , to treat the length, area,

or other general -volume of a subspace in the overall -dimensional vector space. We denote these selected basis vectors

by . A general -volume of the -parallelotope subtended by these basis vectors is the grade multivector

.

Even more generally, we may consider a new set of vectors proportional to the basis vectors, where

each of the is a component that scales one of the basis vectors. We are free to choose components as infinitesimally

small as we wish as long as they remain nonzero. Since the outer product of these terms can be interpreted as a -volume,

a natural way to define a measure is

The measure is therefore always proportional to the unit pseudoscalar of a -dimensional subspace of the vector space.

Compare the Riemannian volume form in the theory of differential forms. The integral is taken with respect to this

measure:

More formally, consider some directed volume of the subspace. We may divide this volume into a sum of simplices. Let

be the coordinates of the vertices. At each vertex we assign a measure as the average measure of the

simplices sharing the vertex. Then the integral of with respect to over this volume is obtained in the limit of

finer partitioning of the volume into smaller simplices:

Fundamental theorem of geometric calculus

The reason for defining the geometric derivative and integral as above is that they allow a strong generalization of Stokes'

theorem. Let be a multivector-valued function of -grade input and general position , linear in its first

argument. Then the fundamental theorem of geometric calculus relates the integral of a derivative over the volume to

the integral over its boundary:

that

Likewise,

Covariant derivative

A sufficiently smooth -surface in an -dimensional space is deemed a manifold. To each point on the manifold, we may

attach a -blade that is tangent to the manifold. Locally, acts as a pseudoscalar of the -dimensional space. This blade

defines a projection of vectors onto the manifold:

Just as the geometric derivative is defined over the entire -dimensional space, we may wish to define an intrinsic

derivative , locally defined on the manifold:

(Note: The right hand side of the above may not lie in the tangent space to the manifold. Therefore, it is not the same as

, which necessarily does lie in the tangent space.)

If is a vector tangent to the manifold, then indeed both the geometric derivative and intrinsic derivative give the same

directional derivative:

Although this operation is perfectly valid, it is not always useful because itself is not necessarily on the manifold.

Therefore, we define the covariant derivative to be the forced projection of the intrinsic derivative back onto the

manifold:

Since any general multivector can be expressed as a sum of a projection and a rejection, in this case

where is the commutator product. In a local coordinate basis spanning the tangent surface, the shape tensor is

given by

Importantly, on a general manifold, the covariant derivative does not commute. In particular, the commutator is related to

the shape tensor by

Clearly the term is of interest. However it, like the intrinsic derivative, is not necessarily on the manifold.

Therefore, we can define the Riemann tensor to be the projection back onto the manifold:

Lastly, if is of grade , then we can define interior and exterior covariant derivatives as

On a manifold, locally we may assign a tangent surface spanned by a set of basis vectors . We can associate the

components of a metric tensor, the Christoffel symbols, and the Riemann curvature tensor as follows:

These relations embed the theory of differential geometry within geometric calculus.

In a local coordinate system ( ), the coordinate differentials , ..., form a basic set of one-forms within

the coordinate chart. Given a multi-index with for , we can define a -form

and a measure

Apart from a subtle difference in meaning for the exterior product with respect to differential forms versus the exterior

product with respect to vectors (in the former the increments are covectors, whereas in the latter they represent scalars),

we see the correspondences of the differential form

its derivative

History

Following is a diagram summarizing the history of geometric calculus.

History of geometric calculus.

1. David Hestenes, Garrett Sobczyk: Clifford Algebra to Geometric Calculus, a Unified Language for mathematics and

Physics (Dordrecht/Boston:G.Reidel Publ.Co., 1984, ISBN 90-277-2561-6

CreateSpace. ISBN 9781480132450. OCLC 829395829 (https://www.worldcat.org/oclc/829395829).

Text is available under the Creative Commons Attribution-ShareAlike License; additional terms may apply. By using this

site, you agree to the Terms of Use and Privacy Policy. Wikipedia® is a registered trademark of the Wikimedia

Foundation, Inc., a non-profit organization.

- Functional Expansions IIUploaded byJohn Gill
- Fraction_WorksheetsUploaded byalxndr45
- 1403.7583Uploaded bycrocoali
- MATH 2930 - Worksheet 6 SolutionsUploaded byBrimwoodboy
- mixture problem.pdfUploaded byCara Delevingne
- Worded Simultaneous EquationsUploaded byDonald Wilson
- Petkov v. (Ed.) Minkowski Spacetime.. a Hundred Years Later (FTP0165, Springer, 2010)(ISBN 9048134749)(O)(359s)_PGrUploaded bymanoj
- Tesi LM BoffoUploaded byImansyah Putra
- SummativeQuestion (Vector)Uploaded byJamaliah Daud
- Nonmetricity and the Riemann-Christoffel TensorUploaded byweylguy
- The four particles paradox in special relativityUploaded byJavier Muñoz
- AlgebraUploaded bySaurabh Jain
- decimal expansion of fractionsUploaded byapi-261958886
- GATE 2014 SyllabusUploaded byVishak H Pillai
- Dido' Problem ContromechanicsUploaded bySyed Haider Jawad Abidi
- FunctionUploaded bynurza83
- 12 Maths CBSE Exam Papers 2014 Comptt Outside Set 3Uploaded byAjay Gupta
- DE51-DC51-DE101-DC101-J16Uploaded bysuraj
- 1490228969-Equation of CirclesUploaded byJohn Dave Marbella
- Where Do Space and Time Come FromUploaded byEric Tang
- Prop La Place TransformUploaded byprasantachar
- Mathemat Ext1 03Uploaded byYe Zhang
- 2012 Galois SolutionUploaded byscribd-in-action
- 0606_s06_qp_2Uploaded byBaoz Ping
- Algebra and Linear Equations _(14!8!2014)Uploaded bySudhir Kumar
- 4024_w03_qp_1Uploaded byMuawiz Butt
- The Unit CircleUploaded byZeck Aviel Alcantara
- ON THE SECOND SMARANDACHE'S PROBLEMUploaded byMia Amalia
- f02q3sol (1).pdfUploaded bySam Mi
- Golden Ratio FinalUploaded byIoana Harton

- ElectromecánicaUploaded byjosgau
- Density on a ManifoldUploaded byjosgau
- Tullio Levi CivitaUploaded byjosgau
- Geometría analíticaUploaded byjosgau
- Qué es un imán.docxUploaded byCornelio Fernandez
- Aplicación LinealUploaded byjosgau
- Magnetic CircuitUploaded byjosgau
- Theory of RelativityUploaded byjosgau
- Riemann Curvature TensorUploaded byjosgau
- Tensor FieldUploaded byjosgau
- TensorUploaded byjosgau
- Tensor CalculusUploaded byjosgau
- ArduinoUploaded byjosgau
- Ley de AmpèreUploaded byjosgau
- Energía RenovableUploaded byjosgau
- Absolute Differential Form in NLabUploaded byjosgau
- Super Fi CieUploaded byjosgau
- Dualidad de PontryaginUploaded byjosgau
- Geometría No EuclidianaUploaded byjosgau
- Espacio AfínUploaded byjosgau
- Geometría analíticaUploaded byjosgau
- FibradoUploaded byjosgau
- Line ElementUploaded byjosgau
- Análisis RealUploaded byjosgau
- Green VehicleUploaded byjosgau
- Mathematical AnalysisUploaded byjosgau
- Differential GeometryUploaded byjosgau
- Electric Power SystemUploaded byjosgau
- Transformación afínUploaded byjosgau

- 308 NotesUploaded byVenkat Macharla
- Regula FalsiUploaded byMark Anthony Caro
- algebra 2 unit 3 studentUploaded byapi-327127977
- Personal calculator has key to solve any equation f(x)=0 - Kahan HPJ 1979-12Uploaded byAnonymous kdqf49qb
- Saharon Shelah- Borel Whitehead GroupsUploaded byHutsDM
- Shortest path finding: A comparison between A*, Breadth First Search, and Uniform Cost SearchUploaded byNguyen Phuc Nguyen
- Polynomial ZerosUploaded bycarman007
- Hopfield: an exampleUploaded byRoots999
- Gromoll Meyer an Exoctic Sphere With Non Negative Sectional CurvatureUploaded byCobsen
- Example of Hessenberg ReductionUploaded byMohammad Umar Rehman
- Algebra de BooleUploaded byJuan Lopez Casto
- Chapter1 Limits ContinuityUploaded byCik Nursharwani
- nacm-2.pdfUploaded byKetan Joshi
- piUploaded bydissipog1932
- Introduction to Computation and Programming Using Python%2C Revised - Guttag%2C John v..257Uploaded byZhichaoWang
- Transform Analysis of LTI SystemsUploaded byAnonymous 1MIgfL
- Grade 10 Arithmetic Progressions : EduGain.comUploaded byEduGain
- A summary of Zeta regularization method for the regularlization of divergent integralsUploaded byeljose1234
- Math BasicsUploaded byEly Daliman
- 03 Silver 1 - FP1 Edexcel.pdfUploaded byRyantyler13
- lecture-static-color-04_003.pdfUploaded byAshoka Vanjare
- A Penang 2015 Trial k1Uploaded byEmyRa
- Merge Sort Input: Unsorted Array Output: SortedUploaded byapi-25964902
- 23 Quick SortUploaded bybui ton
- Alg_Complete_Practice.pdfUploaded byMeetidiothere2219
- Rumen Zarev -Joining and gluing sutured Floer homologyUploaded byDuncan_Vim
- Steven_G._Krantz_An_episodic_history_of_mathematics._Mathematical_culture_through_problem_solving__2006.pdfUploaded byMario Zamora
- AI note1Uploaded byfor_books
- 9. Algorithmic Composition and Nonlinear Dynamics of Networks I - Jonathan Owen Clark, Brunel UnUploaded bysaudade96
- MAthcad Polinoame InterpolationUploaded byLiviu Stefanescu