[論文レビュー] Generalized Differential Geometry

Juriaans, O., S.+2 more|arXiv (Cornell University)|Jan 1, 2023

Mathematical and Theoretical Analysis被引用数 1

ひとこと要約

本稿は、非アーベル的で超距離的な一般化実数環（eR）を用いた一般化微分幾何学の枠組みを導入し、ニュートン微積分および分布論的微積分の自然な拡張を可能にする。特異点が消える一般化多様体が構成され、非線形積が適切に定義され、サポート理論を通じて古典的解が回復可能である。最終的に、無限大と無限小が共存し、非古典的現象（例えば「不気味さ」やグリッド依存解）を引き起こす一般化時空モデルが得られる。

ABSTRACT

Generalized Functions play a central role in the understanding of differential equations containing singularities and nonlinearities. Introducing infinitesimals and infinities to deal with these obstructions leads to controversies concerning the existence, rigor and the amount of non-standard analysis needed to understand these theories. Milieus constructed over the generalized reals sidestep them all. A Riemannian manifold M embeds discretely into a generalized manifold $M^*$ on which singularities vanish and products of nonlinearities make sense. Linking this to an already existing global theory provides an algebra embedding $κ:\hat{\cal{G}}(M)\longrightarrow {\cal{C}}^{\infty}(M^*,\widetilde{\mathbb{R}}_f)$. Generalized Space-Time is constructed and its possible effects on Classical Space-Time are examined.

研究の動機と目的

• 本稿の目的は、特異性や非線形性を含む微分方程式を一貫して解くことができる数学的環境を構築することである。
• 非標準解析に依存しないようにするため、代数的および位相的性質が良好な一般化実数環 eR を用いることである。
• 古典的分布およびリーマン多様体を一般化構造に埋め込み、古典的解を回復することを目的とする。
• サポートの概念を通じて、一般化解と古典的解との関係を解明することである。
• 一般化変分法の基礎を提供し、一般化時空における物理的意味を検討することである。

提案手法

• 構成は一般化実数 eR から始まる。eR は部分的に順序付けられ、超距離的で非アーベル的であり、R は等間隔の離散グリッドとして含まれる。
• eR は R の拡張として構成され、冪零元を含まず、可逆元は開かつ稠密である。また、(R, +) の同型コピー αr が存在し、αr·αs = αr+s を満たす。
• eR^n 上の関数は、古典的 C∞ 関数を代数的埋め込みにより代数 C∞(M∗, eRf) に埋め込むことで定義され、一般化微積分が可能になる。
• 微分可能性はニュートン微積分の自然な拡張として定義され、δ(x) や xδ(x) のような分布に対しても導関数が存在する。
• 一般化関数のサポートは、分布論における「関連」の一般化として導入され、古典的解の回復が可能になる。
• 完全な一般化環境 eRf において固定点定理が証明され、古典的多様体の離散埋め込みによって一般化リーマン多様体が構成される。

実験結果

リサーチクエスチョン

• RQ1 ニュートン微積分およびシュワーツの分布論的微積分を自然に拡張し、無限小と無限大を同時に取り扱える一般化微積分を構築できるか？
• RQ2 特異性や非線形性を含む古典的微分方程式が、このような対象が共存する枠組みの中で一貫して解けるか？
• RQ3 サポートの役割は、一般化解から古典的解を回復する際に果たすか？
• RQ4 グリッド（idempotent で表される）の選択が、この枠組みにおける微分方程式の数値解にどのように影響するか？
• RQ5 無限大と無限小の共存が一般化時空に与える物理的現象（非局所性や乱流など）は何か？

主な発見

• 一般化実数 eR は、冪零元を含まず、可逆元が開かつ稠密な部分的に順序付けられ、超距離的で非アーベル的な環である。
• デルタ関数 δ(x) は eR において微分可能な関数となり、δ(0) = α−1（無限大）であり、xδ(x) は 0 でない微分可能な関数となり、f(0) = 0 を満たす。
• 初期条件 u(0,x) = xα−1 の下で ut + uux = 0 の解は、u(t0α, x0α) = x0/(1 + t0) ∈ R となり、離散点で古典的解が回復される。
• 関数 w(t) = arctan(α−1t) は、w²(t0α²) ∈ halo(0) を満たすが、(w²)'(t0α²) ∈ halo(2t0) であるため、無限小時間内に任意に大きな導関数を持つ。
• 数値解は使用するグリッド・イデムポテン（idempotent）に依存し、唯一の微調整されたグリッドでのみ同一の結果が得られる。これは、一般化解のサポートにクラスターポイントが存在することを示唆する。
• 一般化時空には、古典的時空が離散的で有界かつ等間隔のグリッドとして含まれており、相互に重なり合うイデムポテンと無限大の崩壊から、即時的効果やカオス的現象が生じる。