|
|
| Line 1: |
Line 1: |
| {{distinguish|vector calculus}}
| | My name's Leland Sampson but everybody calls me Leland. I'm from Germany. I'm studying at the high school (final year) and I play the French Horn for 4 years. Usually I choose music from my famous films ;). <br>I have two brothers. I like Leaf collecting and pressing, watching movies and Exhibition Drill.<br>xunjie 事業再生と強力なブランド価値を、 |
| {{Calculus |Multivariable}}
| | セクシーな女神は気質もたくさん悪いです、 |
| | これは長い安価なブランドが心に調理されたファンをマッシュアップして大きな流れとなっている。 [http://www.jaincentreleicester.com/XML/hot/list/tiffany.php �����ϩ`�� ���n] 今日の子供の下着市場は無限の機会を市場へと発展しています。 |
| | 着色されたフロックのジャケットや北欧を乾燥スタイルのセーターは......我々はすべての使用カラーとディテールが豊富でありながらスタイリッシュな厚い冬の興味深いレイヤーしたなり、 |
| | 知名度の高いデザインの大きなポケットは、 [http://www.jaincentreleicester.com/assets/about/nike.html �ʥ��� �����ޥå���95] 完全子会社の完成での残りの株式資本を取得するマーヴィン製造業社のブランド、 |
| | この少女の未来は明るいように配合！陰と陽の宝日付の習得：2013年8月24日午前10時43分11秒劉翔メディア交渉はあまりにも多くのメディアは、 |
| | ユニークな優雅さを示しています。[http://alpha-printing.com/users/bottega.html �ܥåƥ���ͥ� ؔ�� �����ۤ�] キーワード：3次元3次元の花びら花びら模様2012春と夏の女性ではドルチェ＆ガッバーナのショーフロアはYidufangrong、 |
| | 快適な少し休暇を過ごすためにあなたを同行する印刷エキゾチックなカラフルで満たされた、 |
| | 多くのファッションエディターがキム·ジュン鎬が次のファッション寵児となることが期待されていると述べた。 |
| | そのスタイリッシュなデザインで知られるジェニファーのランジェリーブランドはまだあなたとジェニファーを持つすべての女性、 [http://www.kalamazoooptometry.com/img/gagashop.html ���<br><br>�� �rӋ �˚�] |
|
| |
|
| In [[mathematics]], '''geometric calculus''' extends the [[geometric algebra]] to include [[Derivative|differentiation]] and [[Integral|integration]]. The formalism is powerful and can be shown to encompass other mathematical theories including [[differential geometry]] and [[differential form]]s.<ref>[[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</ref>
| | My web site :: [http://alpha-printing.com/templates/shop/chloe.php SK-2 アイクリー�] |
| | |
| ==Differentiation==
| |
| | |
| With a geometric algebra given, let ''a'' and ''b'' be [[vector (mathematics and physics)|vectors]] and let ''F(a)'' be a [[multivector]]-valued function. The [[directional derivative]] of ''F(a)'' along ''b'' is defined as
| |
| | |
| :<math>b \cdot \nabla F(a) = \lim_{\epsilon \rightarrow 0}{\frac{F(a + \epsilon b) - F(a)}{\epsilon}}</math>
| |
| | |
| 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 vector]]s <math>\{e_i\}</math> and let <math>a=x^ie_i</math>, where we use the [[Einstein summation notation]]. This allows the geometric derivative to be treated as an operator
| |
| | |
| :<math>\nabla=e^i\frac{\partial}{\partial x^i}=e^i\partial_i,</math>
| |
| | |
| which is independent of the choice of frame. This is similar to the usual definition of the [[gradient]], but it, too, extends to functions that are not necessarily scalar-valued.
| |
| | |
| 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 ''F'' and ''G'', then for example we have
| |
| | |
| :<math>\nabla FG = (\nabla F)G.</math>
| |
| | |
| ===Product rule===
| |
| | |
| Although the partial derivative exhibits a [[product rule]], the geometric derivative only partially inherits this property. Consider two functions ''F'' and ''G'':
| |
| | |
| :<math>\begin{align}\nabla(FG) &= e^i\partial_i(FG) \\
| |
| &= e^i((\partial_iF)G+F(\partial_iG)) \\
| |
| &= e^i(\partial_iF)G+e^iF(\partial_iG) \end{align}</math>
| |
| | |
| Since the geometric product is not [[commutative]] with <math>e^iF \ne Fe^i</math> 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
| |
| | |
| :<math>\dot{\nabla}F\dot{G}=e^iF(\partial_iG),</math>
| |
| | |
| then the product rule for the geometric derivative is
| |
| | |
| :<math>\nabla(FG) = \nabla FG+\dot{\nabla}F\dot{G}</math>
| |
| | |
| ===Interior and exterior derivative===
| |
| | |
| Let ''F'' be an ''r''-grade multivector. Then we can define an additional pair of operators, the interior and exterior derivatives,
| |
| | |
| :<math>\nabla \cdot F = \langle \nabla F \rangle_{r-1} = e^i \cdot \partial_i F</math>
| |
| | |
| :<math>\nabla \wedge F = \langle \nabla F \rangle_{r+1} = e^i \wedge \partial_i F.</math>
| |
| | |
| In particular, if ''F'' is grade 1 (vector-valued function), then we can write
| |
| | |
| :<math>\nabla F = \nabla \cdot F + \nabla \wedge F</math>
| |
| | |
| and identify the [[divergence]] and [[curl (mathematics)|curl]] as
| |
| | |
| :<math>\nabla \cdot F = \operatorname{div} F</math>
| |
| | |
| :<math>\nabla \wedge F = I \, \operatorname{curl} F.</math>
| |
| | |
| 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]]. Unlike the exterior product, the exterior derivative is not even [[associative]].
| |
| | |
| ==Integration==
| |
| | |
| Let <math>\{e_1, \, ... \, e_n\}</math> be a set of basis vectors that span an ''n''-dimensional vector space. From geometric algebra, we interpret the [[pseudoscalar]] <math>e_1 \wedge e_2 \wedge\cdots\wedge e_n</math> to be the [[signed volume]] of the ''n''-[[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 ''k'' of the basis vectors, where <math>1 \le k \le n</math>, to treat the length, area, or other general ''k''-volume of a subspace in the overall ''n''-dimensional vector space. We denote these selected basis vectors by <math>\{e_{i_1}, \, ... \, e_{i_k} \}</math>. A general ''k''-volume of the ''k''-parallelotope subtended by these basis vectors is the grade ''k'' multivector <math>e_{i_1} \wedge e_{i_2} \wedge\cdots\wedge e_{i_k}</math>.
| |
| | |
| Even more generally, we may consider a new set of vectors <math>\{x^{i_1}e_{i_1}, \, ... \, x^{i_k}e_{i_k} \}</math> proportional to the ''k'' basis vectors, where each of the <math>\{x^{i_j}\}</math> 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 ''k''-volume, a natural way to define a [[measure (mathematics)|measure]] is
| |
| | |
| :<math>\begin{align}\mathrm{d}^kX &= \left(\mathrm{d}x^{i_1} e_{i_1}\right) \wedge \left(\mathrm{d}x^{i_2}e_{i_2}\right) \wedge\cdots\wedge \left(\mathrm{d}x^{i_k}e_{i_k}\right) \\
| |
| &= \left( e_{i_1}\wedge e_{i_2}\wedge\cdots\wedge e_{i_k} \right) \mathrm{d}x^{i_1} \mathrm{d}x^{i_2} \cdots \mathrm{d}x^{i_k}\end{align}</math>
| |
| | |
| The measure is therefore always proportional to the unit pseudoscalar of a ''k''-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:
| |
| | |
| :<math>\int_V F(x) \mathrm{d}^kX = \int_V F(x) \left( e_{i_1}\wedge e_{i_2}\wedge\cdots\wedge e_{i_k} \right) \mathrm{d}x^{i_1} \mathrm{d}x^{i_2} \cdots \mathrm{d}x^{i_k}</math>
| |
| | |
| More formally, consider some directed volume ''V'' of the subspace. We may divide this volume into a sum of [[simplices]]. Let <math>\{x_i\}</math> be the coordinates of the vertices. At each vertex we assign a measure <math>\Delta U_i(x)</math> as the average measure of the simplices sharing the vertex. Then the integral of ''F(x)'' with respect to ''U(x)'' over this volume is obtained in the limit of finer partitioning of the volume into smaller simplices:
| |
| | |
| <math>\int_V F dU = \lim_{n \rightarrow \infty} \sum_{i=1}^n F(x_i) \Delta U_i(x).</math>
| |
| | |
| ===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 <math>\mathsf{L}(A;x)</math> be a multivector-valued function of ''r''-grade input ''A'' and general position ''x'', linear in its first argument. Then the fundamental theorem of geometric calculus relates the integral of a derivative over the volume ''V'' to the integral over its boundary:
| |
| | |
| {{Equation box 1
| |
| |indent =:
| |
| |equation = <math>\int_V \dot{\mathsf{L}} \left(\dot{\nabla} dX;x \right) = \oint_{\partial V} \mathsf{L} (dS;x)</math>
| |
| |cellpadding= 6
| |
| |border
| |
| |border colour = #0073CF
| |
| |background colour=#F5FFFA}}
| |
| | |
| As an example, let <math>\mathsf{L}(A;x)=\langle F(x) A I^{-1} \rangle</math> for a vector-valued function ''F(x)'' and a (''n''-1)-grade multivector ''A''. We find that
| |
| | |
| :<math>\begin{align}\int_V \dot{\mathsf{L}} \left(\dot{\nabla} dX;x \right) &= \int_V \langle\dot{F}(x)\dot{\nabla} dX I^{-1} \rangle \\ | |
| &= \int_V \langle\dot{F}(x)\dot{\nabla} |dX| \rangle \\
| |
| &= \int_V \nabla \cdot F(x) |dX| . \end{align}</math>
| |
| | |
| and likewise
| |
| | |
| :<math>\begin{align}\oint_{\partial V} \mathsf{L} (dS;x) &= \oint_{\partial V} \langle F(x) dS I^{-1} \rangle \\
| |
| &= \oint_{\partial V} \langle F(x) \hat{n} |dS| \rangle \\
| |
| &= \oint_{\partial V} F(x) \cdot \hat{n} |dS| \end{align}</math>
| |
| | |
| Thus we recover the [[divergence theorem]],
| |
| | |
| :<math>\int_V \nabla \cdot F(x) |dX| = \oint_{\partial V} F(x) \cdot \hat{n} |dS|.</math> | |
| | |
| ==Covariant derivative==
| |
| | |
| A sufficiently smooth ''k''-surface in an ''n''-dimensional space is deemed a [[manifold]]. To each point on the manifold, we may attach a ''k''-blade ''B'' that is tangent to the manifold. Locally, ''B'' acts as a pseudoscalar of the ''k''-dimensional space. This blade defines a [[geometric algebra#Projection and rejection|projection]] of vectors onto the manifold:
| |
| | |
| :<math>\mathcal{P}_B (A) = (A \cdot B^{-1}) B</math>
| |
| | |
| Just as the geometric derivative <math>\nabla</math> is defined over the entire ''n''-dimensional space, we may wish to define an ''intrinsic derivative'' <math>\partial</math>, locally defined on the manifold:
| |
| | |
| :<math>\partial F = \mathcal{P}_B (\nabla )F</math>
| |
| | |
| (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 <math>\mathcal{P}_B (\nabla F)</math>, which necessarily does lie in the tangent space.)
| |
| | |
| If ''a'' is a vector tangent to the manifold, then indeed both the geometric derivative and intrinsic derivative give the same directional derivative:
| |
| | |
| :<math>a \cdot \partial F = a \cdot \nabla F</math>
| |
| | |
| Although this operation is perfectly valid, it is not always useful because <math>\partial F</math> 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:
| |
| | |
| :<math>a \cdot DF = \mathcal{P}_B (a \cdot \partial F) = \mathcal{P}_B (a \cdot \mathcal{P}_B (\nabla F))</math>
| |
| | |
| Since any general multivector can be expressed as a sum of a projection and a rejection, in this case
| |
| | |
| :<math>a \cdot \partial F = \mathcal{P}_B (a \cdot \partial F) + \mathcal{P}_B^{\perp} (a \cdot \partial F),</math>
| |
| | |
| we introduce a new function, the [[shape tensor]] <math>\mathsf{S}(a)</math>, which satisfies
| |
| | |
| :<math>F \times \mathsf{S}(a) = \mathcal{P}_B^{\perp} (a \cdot \partial F),</math>
| |
| | |
| where <math>\times</math> is the commutator product. In a local coordinate basis <math>\{e_i\}</math> spanning the tangent surface, the shape tensor is given by
| |
| | |
| :<math>\mathsf{S}(a) = e^i \wedge \mathcal{P}_B^{\perp} (a \cdot \partial e_i).</math>
| |
| | |
| Importantly, on a general manifold, the covariant derivative does not commute. In particular, the [[commutator]] is related to the shape tensor by
| |
| | |
| :<math>[a \cdot D, \, b \cdot D]F=-(\mathsf{S}(a) \times \mathsf{S}(b)) \times F.</math>
| |
| | |
| Clearly the term <math>\mathsf{S}(a) \times \mathsf{S}(b)</math> 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:
| |
| | |
| :<math>\mathsf{R}(a \wedge b)=-\mathcal{P}_B (\mathsf{S}(a) \times \mathsf{S}(b)).</math>
| |
| | |
| Lastly, if ''F'' is of grade ''r'', then we can define interior and exterior covariant derivatives as
| |
| | |
| :<math>D \cdot F = \langle DF \rangle_{r-1}</math>
| |
| | |
| :<math>D \wedge F = \langle D F \rangle_{r+1},</math>
| |
| | |
| and likewise for the intrinsic derivative.
| |
| | |
| ==Relation to differential geometry==
| |
| | |
| On a manifold, locally we may assign a tangent surface spanned by a set of basis vectors <math>\{e_i\}</math>. We can associate the components of a [[metric tensor]], the [[Christoffel symbols]], and the Riemann tensor as follows:
| |
| | |
| :<math>g_{ij}=e_i \cdot e_j</math>
| |
| :<math>\Gamma^k_{ij}=(e_i \cdot De_j) \cdot e^k</math>
| |
| :<math>R_{ijkl}=(\mathsf{R}(e_i \wedge e_j) \cdot e_k) \cdot e_l</math>
| |
| | |
| These relations embed the theory of differential geometry within geometric calculus.
| |
| | |
| ==Relation to differential forms==
| |
| | |
| In a [[local coordinate system]] (''x''<sup>1</sup>, ..., ''x''<sup>''n''</sup>), the coordinate differentials d''x''<sup>1</sup>, ..., d''x''<sup>''n''</sup> form a basic set of one-forms within the [[coordinate chart]]. Given a [[multi-index]] {{nowrap|''i''<sub>1</sub>, ..., ''i''<sub>''k''</sub>}} with {{nowrap|1 ≤ ''i<sub>p</sub>'' ≤ ''n''}} for {{nowrap|1 ≤ ''p'' ≤ ''k''}}, we can define a ''k''-form
| |
| :<math>\omega = f_I\mathrm{d}x^I=f_{i_1,i_2\cdots i_k}\mathrm{d}x^{i_1}\wedge \mathrm{d}x^{i_2}\wedge\cdots\wedge \mathrm{d}x^{i_k}.</math>
| |
| | |
| We can alternatively introduce a ''k''-grade multivector ''A'' as
| |
| | |
| :<math>A = f_{i_1,i_2\cdots i_k}e^{i_1}\wedge e^{i_2}\wedge\cdots\wedge e^{i_k}</math>
| |
| | |
| and a measure
| |
| | |
| :<math>\begin{align}\mathrm{d}^kX &= \left(\mathrm{d}x^{i_1} e_{i_1}\right) \wedge \left(\mathrm{d}x^{i_2}e_{i_2}\right) \wedge\cdots\wedge \left(\mathrm{d}x^{i_k}e_{i_k}\right) \\
| |
| &= \left( e_{i_1}\wedge e_{i_2}\wedge\cdots\wedge e_{i_k} \right) \mathrm{d}x^{i_1} \mathrm{d}x^{i_2} \cdots \mathrm{d}x^{i_k}\end{align}.</math>
| |
| | |
| Apart from a subtle difference in meaning for the exterior product with respect to differential forms versus the exterior product with respect to vectors (indeed one should note that in the former the ''increments'' are covectors, whereas in the latter they represent scalars), we see the correspondences of the differential form
| |
| | |
| :<math>\omega \cong A^{\dagger} \cdot \mathrm{d}^kX = A \cdot \left(\mathrm{d}^kX \right)^{\dagger},</math>
| |
| | |
| its derivative
| |
| | |
| :<math>\mathrm{d}\omega \cong (D \wedge A)^{\dagger} \cdot \mathrm{d}^{k+1}X = (D \wedge A) \cdot \left(\mathrm{d}^{k+1}X \right)^{\dagger},</math>
| |
| | |
| and its [[Hodge dual]]
| |
| | |
| :<math>\star\omega \cong (I^{-1} A)^{\dagger} \cdot \mathrm{d}^kX,</math>
| |
| | |
| embed the theory of differential forms within geometric calculus.
| |
| | |
| == History ==
| |
| | |
| Following is a diagram summarizing the history of geometric calculus.
| |
| | |
| [[File:Geometric Calculus Family Tree.png|center|300px|thumb |Figure 1 (from [32])|History of geometric calculus.]]
| |
| | |
| {{-}}
| |
| | |
| == References ==
| |
| {{reflist}}
| |
| | |
| [[Category:Calculus]]
| |