[論文レビュー] Some properties of (C,E,P)-algebras : Overgneration and 0-order estimates

Antoine Delcroix|ArXiv.org|Oct 5, 2008

Mathematical and Theoretical Analysis参考文献 9被引用数 4

ひとこと要約

本稿は、特に $\mathcal{E} = C^\infty$ の場合に、$(\mathcal{C},\mathcal{E},\mathcal{P})$-代数における過生成環の新しい定義を導入し、中程度の元が $C^0$-順序推定を満たすときかつそのときに限り無視可能であることを証明する。この同値性により、特異微分問題における存在および一意性の証明が、無視可能性を点ごとの $C^0$-制御に還元することで簡略化される。

ABSTRACT

We give a new definition of the so-called overgenerated rings, which are the usual tool used to define the asymptotic structure of a (C,E,P)-algebra, written as a factor space M_{(A,E,P)}/N_{(I_{A},E,P)}. With this new definition and in the particular case of E=C^{∞}, we show that a moderate element i.e. in M_{(A,E,P)} is negligible if and only if it satisfies the C⁰-order estimate for the ideal N_{(I_{A},E,P)}.

研究の動機と目的

• 特異微分問題における特異性への適合性を向上させるために、$(\mathcal{C},\mathcal{E},\mathcal{P})$-代数における過生成環の概念を精緻化すること。
• 特に $\mathcal{E} = C^\infty$ の場合に、無視可能性を $C^0$-順序推定の観点から特徴づけることにより、漸近的解析を簡素化すること。
• 非線形一般化関数の特異微分問題における存在および一意性の証明を簡便にする基盤的ツールを提供すること。

提案手法

• 特異性との代数的整合性を高めるために、$\mathcal{C} = A/I_A$ の漸近的構造に基づいた、過生成環の新しい定義を導入する。
• $\mathcal{M}_{(A,\mathcal{E},\mathcal{P})}$ を、すべての $ p \in \mathcal{P}(\Omega) $ に対して $ (p(u_\lambda))_\lambda \in |A| $ を満たす $ \mathcal{E}(\Omega)^\Lambda $ 内の列 $ (u_\lambda)_\lambda $ として、中程度の元の層を定義する。
• $\mathcal{N}_{(I_A,\mathcal{E},\mathcal{P})}$ を、すべての $ p \in \mathcal{P}(\Omega) $ に対して $ (p(u_\lambda))_\lambda \in |I_A| $ を満たす列 $ (u_\lambda)_\lambda $ として、無視可能な元の層を定義する。
• 剰余項を含むテイラー展開と、$ b_\lambda $, $ \beta_\lambda $, $ a_\lambda $ を用いた推定により、$ u_\lambda $ の微分を評価し、$ \lim_\Lambda a_\lambda = 0 $ に依存する。
• $ P_{K,0}(u_\lambda) \in |I_\mathcal{B}| $ ならば $ P_{K,0}((\partial/\partial x_i)u_\lambda) \in |I_\mathcal{B}| $ であることを確立することで、微分の帰納的制御を実現する。
• $ \mathcal{B} $ が逆元に関して安定であり、$ \lim_\Lambda a_\lambda = 0 $ を満たす $ (a_\lambda) \in \mathcal{B} $ が存在することを活用して、コンパクト集合全体にわたる一様推定を構築する。

実験結果

リサーチクエスチョン

• RQ1 過生成環の新しい定義は、$(\mathcal{C},\mathcal{E},\mathcal{P})$-代数の特異微分問題における特異性への構造的適合性を向上させるか？
• RQ2 $\mathcal{E} = C^\infty$ の場合に、$ \mathcal{M}_{(A,\mathcal{E},\mathcal{P})} $ 内の中程度の元の無視可能性は、$ C^0 $-順序推定のみによって特徴づけられるか？
• RQ3 $ C^0 $-推定条件は、一般化関数論における存在および一意性の証明をどの程度簡略化するか？
• RQ4 新しい過生成概念は、$ \mathcal{C} = A/I_A $ の古典的漸近的構造とどのように関係しているか？
• RQ5 $ \lim_\Lambda a_\lambda = 0 $ を満たす $ \mathcal{B} $ の漸近的性質、特にその役割は、微分の推定を導出するために果たすか？

主な発見

• 中程度の元が $ \mathcal{M}_{(A,\mathcal{E},\mathcal{P})} $ 内にあるとき、$ \mathcal{E} = C^\infty $ の場合に限り、$ \mathcal{N}_{(I_A,\mathcal{E},\mathcal{P})} $ 内で無視可能であることは、$ \mathcal{N}_{(I_A,\mathcal{E},\mathcal{P})} $ のための $ C^0 $-順序推定を満たすことと同値である。
• 証明は、剰余項を含むテイラー展開と、$ b_\lambda = a_\lambda c_\lambda / (a_\lambda + c_\lambda) $ を含む推定に依存し、$ (a_\lambda) \in \mathcal{B} $ が $ \lim_\Lambda a_\lambda = 0 $ を満たすものとする。
• 構成により、$ P_{K,0}(u_\lambda) \in |I_\mathcal{B}| $ ならば $ P_{K,0}((\partial/\partial x_i)u_\lambda) \in |I_\mathcal{B}| $ であることが保証され、微分の帰納的制御が可能になる。
• $ \lim_\Lambda \beta_\lambda = \infty $ を満たす $ \beta_\lambda $ の使用により、差分商による微分の一様近似が可能になる。
• この結果は、$ \mathcal{B} $ が逆元に関して安定であり、$ \lim_\Lambda a_\lambda = 0 $ を満たす列 $ (a_\lambda) $ を含むという仮定のもとで成り立つが、これはすべての実用的状況で満たされる。
• 無視可能性と $ C^0 $-順序推定の同値性は、非線形一般化関数論、特に特異PDEにおける証明を根本的に簡略化する。