[論文レビュー] Difference Problems and Differential Problems

Wolfgang Bertram|ArXiv.org|Dec 3, 2007

Mathematics and Applications参考文献 9被引用数 3

ひとこと要約

本稿は差分微分積分学と微分積分学の基礎的関係を調査し、高階の差分商とその連続的極限（微分）が、微分積分学を理解するための統一的枠組みを形成することを提案する。明示的公式、積分、点毎の微分可能性に関する未解決問題を特定し、一般化された設定における逆微分問題を解くために、差分微分学のより深い理解が不可欠であることを強調する。

ABSTRACT

We state some elementary problems concerning the relation between difference calculus and differential calculus, and we try to convince the reader that, in spite of the simplicity of the statements, a solution of these problems would be a significant contribution to the understanding of the foundations of differential and integral calculus.

研究の動機と目的

• 差分微分学と微分積分学の構造的関係を、離散的商の連続的極限として明確化すること。
• 高階の差分微分学および微分積分学における未解決の基礎的問題を特定・定式化すること。
• 差分微分学に基づく一般化された逆微分（antiderivative）理論の可能性を検討すること。
• 古典的フレシェ微分可能性よりも強く、かつグローバルな $ C^k $ 理論と整合する点毎の微分可能性の概念を確立すること。
• 実数の場合における高階の差分商の積分表現を調査し、ペアノ核関数および多変数積分と関連付けること。

提案手法

• $ t \in \mathbb{K}^\times $ に対して、$ f^{]1[}(x,v,t) = \frac{f(x+tv) - f(x)}{t} $ を定義し、定義域を $ U^{]1[} \subset U \times V \times \mathbb{K}^\times $ とする。
• 拡張された差分商写像 $ \Delta^{]1[}f(x,v,t) = \bigl(f(x), f^{]1[}(x,v,t), t\bigr) $ を導入し、関手的性質 $ \Delta^{]1[}(g \circ f) = \Delta^{]1[}g \circ \Delta^{]1[}f $ を満たすことを示す。
• 微分を $ f^{]1[} $ を $ t = 0 $ に連続的拡張することで定義し、$ f^{[1]}(x,v,0) = df(x)v $ を得る。$ f $ が $ \mathcal{C}^1 $ 級であるとは、この拡張が存在して連続であることに等しい。
• この構成を繰り返し、高階の差分・微分写像 $ f^{]k[} $, $ f^{[k]} $, および $ \Delta^{[k]}f $ を定義し、その定義域構造が複雑化することを示す。
• 位相的環において $ \mathbb{K}^\times $ が $ \mathbb{K} $ に密であることを用いて、$ t = 0 $ における連続的拡張の一意性を保証し、差分微分学から合成関数の法則および線形性を導出する。
• 実数の場合に、$ d^kf $ の繰り返し積分を用いて $ f^{[k]} $ の積分表現を提案し、標準単体およびペアノ核関数と関連付ける。

実験結果

リサーチクエスチョン

• RQ1 高階の差分商写像 $ f^{]k[} $ に対して、$ k \geq 2 $ の場合に、繰り返し関数値評価の観点から明示的・閉形式の公式が得られるか。
• RQ2 与えられた写像の差分商をもつ関数の存在を保証する必要十分条件を備えた、差分微分学の一般化された逆微分理論が存在するか。
• RQ3 すべての点で点毎に $ \mathcal{C}^k $-滑らかであるという点毎の $ \mathcal{C}^k $-滑らかさの概念を、グローバルに $ \mathcal{C}^k $-滑らかであることに等価となるように厳密に定義できるか。
• RQ4 高階の微分商 $ f^{[k]} $ が、$ k $ 階微分と核関数を含む積分公式として表されるか。これは、差分商のペアノ核公式に類似するものか。
• RQ5 $ f^{[k]} $ および $ \Delta^{[k]}f $ の構造（$ 2^{k+1} - 1 $ 個の変数に依存）が、単体やカルノー群などの組合せ的・幾何的構造とどのように関係するか。

主な発見

• 一階の差分商 $ f^{]1[} $ が $ t = 0 $ に連続的拡張可能であることは、$ f $ が $ \mathcal{C}^1 $ 級であることと同値であり、この拡張により標準的な微分 $ df(x)v $ が得られ、密度の議論により古典的合成関数の法則が回復される。
• $ k = 2 $ の場合、$ f^{]2[} $ の明示的公式が導出され、$ x_1 + t_3x_2 + (t_1 + t_2t_3)(v_1 + t_3v_2) $ のような点での関数の入れ子評価を含む複雑さが示される。
• 拡張写像 $ \Delta^{]k[}f $ は $ 2^{k+1} - 1 $ 個の成分を有し、すべての中間差分商を追跡するために必要な変数数の組合せ的爆発を反映している。
• 実数の場合、$ f^{[k]} $ は $ k $ 次元単体上での $ d^kf $ の繰り返し積分として表現可能であり、最終的な式にはペアノ核 $ M_{k+1} $ が現れる。この核関数 $ M_{k+1} $ は $ \mathcal{C}^{k-2} $ かつ、補間点の間の区間で次数 $ \leq k-2 $ の区分的多項式である。
• 点毎の $ \mathcal{C}^k $-滑らかさの概念は、$ f^{]k[} $ が $ t = 0 $ の近傍における集合 $ U_a^{[k]} $ に拡張可能であることに基づいて定義され、すべての点でこの性質が満たされれば、グローバルな $ \mathcal{C}^k $-滑らかさと同値である。
• 理論は古典的微分積分学を一般化する：有限次元実ベクトル空間では、ここでの $ \mathcal{C}^1 $-滑らかさは標準的な $ \mathcal{C}^1 $-滑らかさと一致し、点での厳密微分可能性は点毎の $ \mathcal{C}^1 $-滑らかさと同値である。