[論文レビュー] Differential complexes and exterior calculus

Jenny Harrison|ArXiv.org|Jan 9, 2006

Homotopy and Cohomology in Algebraic Topology参考文献 17被引用数 5

ひとこと要約

本稿では、滑らかな多様体上のk次元領域に対して、チェーンレット複体を用いた座標に依存しない一様な微積分を導入する。これは古典的微分形式および離散的微積分を一般化する。点での前微分作用素と前積分作用素を定義し、モノポール的チェーンへ線形に拡張することで、局所的ユークリッド構造を必要とせず連続体への収束を達成し、ニュートン型とカルタン型微積分を特別な場合として含む、マルチベクトル解析の新しい枠組みを提供する。

ABSTRACT

In this paper we present a new theory of calculus over $k$-dimensional domains in a smooth $n$-manifold, unifying the discrete, exterior, and continuum theories. The calculus begins at a single point and is extended to chains of finitely many points by linearity, or superposition. It converges to the smooth continuum with respect to a norm on the space of ``pointed chains,'' culminating in the chainlet complex. Through this complex, we discover a broad theory of coordinate free, multivector analysis in smooth manifolds for which both the classical Newtonian calculus and the Cartan exterior calculus become special cases. The chainlet operators, products and integrals apply to both symmetric and antisymmetric tensor cochains. As corollaries, we obtain the full calculus on Euclidean space, cell complexes, bilayer structures (e.g., soap films) and nonsmooth domains, with equal ease. The power comes from the recently discovered prederivative and preintegral that are antecedent to the Newtonian theory. These lead to new models for the continuum of space and time, and permit analysis of domains that may not be locally Euclidean, or locally connected, or with locally finite mass.

研究の動機と目的

• 滑らかなn次元多様体上のk次元領域に対して、古典的座標依存的または多様体固有の仮定に依存しない統一的微積分を構築すること。
• 滑らかでない、局所的に接続されていない、または局所的に有限質量でない領域を扱う古典的微積分の限界を克服すること。
• ニュートン型とカルタン外微分型微積分を特別な場合として自然に含むマルチベクトル解析の基盤を提供すること。
• 過剰な極限を避け、幾何的直観を保ちながら連続体への収束を可能にする前微分および前積分作用素に基づく新しい連続体モデルを確立すること。
• 標準的微積分が失敗する複雑な構造（石鹸膜、バイレイヤー構造、量子スケール領域など）における解析を可能にすること。

提案手法

• 理論は、点における前微分作用素∇ᵤの定義から始まり、モノポール的kチェーンへ線形に拡張される。
• モノポール的kチェーン（離散的点におけるkベクトルの有限和）はノルムを備え、このノルムにおける完備化としてチェーンレット複体が得られる。
• 外微分dは境界作用素∂との双対性を用いて定義され、『魔法の公式』∇ₓJ = ∂eₓJ + eₓ∂J を用いる。
• 前積分はリーマン積分の前提となる基本的演算として導入され、事前に積分を用いずとも連続体への収束を可能にする。
• コシュール複体を用いることで構成が簡略化され、多面体チェーンや座標への依存が排除される。
• 基本定理、グリーンの定理、ストークスの定理といった重要な恒等式が、公理的枠組みから直接導かれる。

実験結果

リサーチクエスチョン

• RQ1 局所的ユークリッド構造を仮定しないで、滑らかな多様体上のk次元領域に統一的微積分を構築する方法は何か？
• RQ2 座標に依存せず、マルチベクトルに基づく解析を構築し、ニュートン型とカルタン型微積分を一般化できるか？
• RQ3 連続体への収束を実現するための基礎的作用素（例：前微分、前積分）は何か？極限処理を減らせるか？
• RQ4 滑らかでない、局所的に接続されていない、またはバイレイヤー構造（例：石鹸膜）のような領域に微積分を適用する方法は？
• RQ5 最小限の点での微積分において、境界作用素とその外微分との双対性の役割は何か？

主な発見

• 前微分作用素∇ᵤは基盤的であり、境界∂と外積の間を魔法の公式∇ₓJ = ∂eₓJ + eₓ∂J で結ぶ。
• ノルム完備化として得られるチェーンレット複体は、局所的連結性や有限質量を要件とせず、完全な微積分を可能にする。
• 基本定理、グリーンの定理、ストークスの定理は、公理的枠組みから直接導かれる結果であり、別個の定理としてではなく、必然的帰結である。
• 発散定理は3つの積分へ一般化され、曲がった空間における保存則のモデル化を、古典的表現よりも自然に可能にする。
• 理論は、ユークリッド空間、セル複体、バイレイヤー構造（例：石鹸膜）、滑らかでない領域において一様に適用可能であり、特別な処理を要しない。
• このフレームワークは、対称的および反対称的テンソルコチェーンを自然に扱えるため、物理学および幾何学における広範な応用が可能である。