Practical tensor calculus on embedded submanifolds of arbitrary codimension

3 次元の部屋を漂う紙の一片の形状と動き、あるいは石鹸の泡、あるいはさらに視覚化しにくい複雑な高次元の形状を記述しようとしていると想像してください。数学において、これらの形状は部分多様体と呼ばれます。

長らく、数学者たちはこれらの形状上で微積分（変化と運動の数学）を行うために、非常に具体的で硬直的な方法を用いてきました。それは、まず紙の上にグラフ用紙の格子を貼り付け、すべての点の座標を書き出し、その格子に基づいて複雑な計算を行うことで紙の動きを記述しようとするようなものです。これは機能しますが、煩雑で計算が難しく、紙がねじれたり曲がったり、時間とともに形状を変化させると破綻してしまいます。

論文の大きなアイデア：「木構造法」
ウラジミール・ユシュティンは、この数学を行うための新しい、よりクリーンな方法を提案します。形状に格子を貼り付ける代わりに、その形状を「外側」（それが漂っている部屋）から眺め、彼が**「行表現」**と呼ぶ特別な再帰的構造を使用することを提案します。

テンソル（方向と大きさに関する情報を保持する複雑な数学的対象）を、巨大な数値の表としてではなく、完全な木として考えてみてください。

木の頂点は主要な対象です。
枝はより小さな部分（行）に分裂します。
葉は実際の数値です。

この「木」構造により、数学はアルゴリズム的になります。つまり、形状がどれだけ複雑であっても、あるいは何次元であっても、木の枝をたどるだけでこれらの形状を処理するコンピュータ・プログラムを作成できることを意味します。形状の特定の座標を気にする必要はなく、木の規則に従うだけでよいのです。

3 つの主要な発見
著者は、この新しい「木」メソッドを用いて、以前は困難であったり誤解されていたりした 3 つの特定の課題を解決します。

「正味の推力ゼロ」の法則（オイラー流）：
球や鞍面のような曲面上を、水のような流体が滑らかに流れていると想像してください。従来の数学では、その表面に対称性（完全な左右または上下のバランス）がない場合、流体が表面を奇妙な方法で押しやる可能性があると考えられていました。
- 発見： この新しい方法を用いることで、著者は流体が非圧縮性（圧縮されない）である場合、表面全体に対する総推力（運動量）は常にゼロになることを証明します。流体が激しく渦巻いていても、力は形状全体で完全に互いに打ち消し合います。まるで人々が船を四方八方から押しているようなもので、彼らが無作為に押したとしても、全員が船の上にいる限り、船全体として前後に移動することはありません。
「切断」の誤解（コーシー応力）：
工学において、私たちは材料内部の「応力」について語ります。通常、材料の一片を切断すると、力は切断面に沿ってのみ作用すると考えられています。平坦なシートであればこれは容易です。しかし、ねじれたロープや湾曲したシェルのような湾曲した 3 次元形状の場合、力が常に表面に対して「平坦」に保たれなければならないのか、それとも「上」や「下」を向くことができるのかについて、数学者たちは議論を続けてきました。
- 発見： この論文は、従来のモデルが過度に制限的であったと主張します。それらは、材料を特定の平坦な方法でしか切断できないと仮定していました。著者は、任意の切断（奇妙で傾いたものでさえも）を許容すれば、数学は力が表面に対して平坦に保たれる必要はないことを証明すると示しています。力は任意の方向を向くことができ、物理法則（ニュートンの法則）は依然として真実です。これは、複雑で湾曲した材料における応力のモデル化の仕方を変えます。
変化する形状の追跡（進化する部分多様体）：
膨張し、収縮し、揺らぐ石鹸の泡を想像してください。その泡が変化するにつれて、泡に描かれたパターンのエネルギーをどのように計算しますか？
- 発見： 著者は、形状自体が移動し変形するにつれて、パターンの「エネルギー」がどのように変化するかを正確に計算する式を作成しました。これは「物質微分」を用いて行われます。物質微分とは、形状の変化を内部から追跡しつつ、外部世界における形状の動きも考慮する、形状と共に移動するカメラのようなものです。これにより、成長する生物組織や変形する膜などをモデル化するための精密なツールが提供されます。

なぜこれが重要なのか
この論文は単に新しい理論を提示するだけでなく、実用的なツールキットを提供します。これらの複雑な形状をデータの「木」として扱うことで、数学は以下のようになります。

座標非依存： 特定の格子系を選ぶ必要がありません。
再帰的： 大きな問題を、木の枝を葉までたどるような、より小さな同一のステップに分解することで解決できます。
普遍的： 任意の次元と任意の「厚さ」（余次元）の形状に機能します。

要約すれば、この論文は、曲面上でのものの動き、押し合い、変化を記述するための、新しい、より柔軟でコンピュータに優しい言語を提供し、煩雑で古風な座標格子の必要性を取り除きます。

技術的概要：任意の余次元を持つ埋め込み部分多様体上の実用的テンソル解析

問題定義
多くの科学問題において、 $\mathbb{R}^n$ に埋め込まれた部分多様体上で定義されたテンソル場が関与する。これらの問題に対する従来の数学的ツール、すなわち微分作用素や積分則は、通常、局所座標パラメータ化またはリッチの添字表記を用いた内在的な方法で導入される。この形式は強力であるが、幾何学的進化や任意の次元および余次元を持つ部分多様体を扱う際、計算を妨げる可能性がある。既存の外在的アプローチは、スカラーの場合、ランク 2 のテンソル、あるいは余次元 1 のシナリオに限定されることが多く、任意の余次元における一般ランクのテンソルに対する統一的な枠組みを欠いている。

手法
本論文は、完全に外在的であり、パラメータ化不要かつ成分不要なテンソル解析の変種を提案する。この手法は、 $\mathbb{R}^n$ における環境（ambient）のカルテシアン微分と、部分多様体の幾何学に対する外在的レベルセット記述に依存する。

この枠組みの中核は、テンソルの再帰的行表現である。行列の添字や座標成分を使用する代わりに、ランク $q$ のテンソルは、それぞれがランク $q-1$ のテンソルである $n$ 個の行成分のリストとして表現される。この構造は、葉ノードが値を格納し、内部ノードが再帰的なドット積を通じて評価を導く完全 $n$ 分木に類似している。この表現により、以下のことが可能となる：

アルゴリズム的再帰性: 射影、勾配、発散、回転などの演算が、行成分に対して再帰的に定義される。
外在的微分: 部分多様体勾配 $\nabla_M$ は、接空間に射影された環境勾配を通じて定義され、内在的接続を必要としない。
接射影: 一般のテンソル場を部分多様体の接部分空間に射影する再帰的アルゴリズム。
積分: 成分ごとの積分定義により、標準的なストークスの定理が任意ランクのテンソルに拡張され、平均曲率ベクトル $\kappa$ を含む項を有する外在的ストークス公式が得られる。

主要な貢献と結果
本論文は、この枠組みの実用性を、任意の次元および余次元に対する新規結果を導出する 3 つの異なる応用を通じて実証する：

オイラー方程式と外在的運動量:
著者らは、リーマン多様体上の非圧縮性オイラー流れに対する新たな大域的保存則を導出した。彼らは、多様体の対称性に関わらず、任意の接方向の非圧縮性流れに対して外在的運動量（多様体上の速度共変ベクトルの積分）がゼロになることを示した。これにより、ヤング・ラプラス力、境界反応力、および求心力の和がゼロとなる環境力平衡方程式が導かれる。この結果は、 $\mathbb{R}^2$ または $\mathbb{R}^3$ の固定領域における既知のゼロ正味圧力力という性質を一般化するものである。
部分多様体上のコーシー応力:
本論文は、正の余次元を持つ埋め込み部分多様体上のコーシー応力の概念を再考する。応力テンソルが接方向の切断にのみ作用するという仮定を緩和することで、著者らは一般的に方向付けられた切断に対する平衡方程式を導出した。彼らは、角運動量の保存が接方向の向きに対する応力ベクトルの接方向性を意味する一方で、応力テンソル自体が対称であるか、あるいは純粋に接方向である必要はないことを証明した。応力ベクトルの「接方向に対する法線成分」が相殺される限り、ニュートンの法則に違反することなく、応力テンソルは非対称かつ非接方向となり得る。
進化する部分多様体上のディリクレエネルギー:
進化する部分多様体に対して、著者らは一般ランクのテンソル場に対する外在的物質微分を導入する。彼らは、テンソル的ディリクレエネルギーの時間的変化率の式を導出した。この導出は、物質微分と部分多様体勾配との交換子を利用し、スカラー場およびベクトル場に関する以前の結果を、任意のテンソルランク、次元、および余次元に一般化するものである。

意義と主張
本論文は、提案された枠組みが、数学的モデリング、幾何学を考慮した偏微分方程式（PDE）の解析、および埋め込み部分多様体上の数値法において、即座に使用可能な実用的な表記法およびツール群を提供すると主張している。

強調される特徴は以下の通りである：

一般性: 任意の次元および余次元を持つ部分多様体に適用され、任意ランクのテンソルを扱う。
計算への適合性: 再帰的行表現は完全木の構造を反映しており、この解析をアルゴリズム的実装および理論的解析に適したものにしている。
外在的明瞭性: 局所座標を避け、環境微分に依存することで、幾何学的進化および境界条件の処理を簡素化する。

著者らは、このアプローチが、従来の一般設定では定式化が困難であった新たな保存則および平衡条件の導出を容易にするとし、開発されたツールを用いた数値解析、変分計算、および形状分類における将来の方向性を提案している。

関連論文