[論文レビュー] On the algebraic dual of D(\Omega)

Michael Oberguggenberger|arXiv (Cornell University)|Apr 9, 2013

Mathematical Analysis and Transform Methods参考文献 9被引用数 3

ひとこと要約

本稿は、compactly supported smooth functions の空間 𝒟(Ω) の代数的双対 𝒟*(Ω) を調査し、標準的な分布空間 𝒟′(Ω) と対比する。𝒟*(Ω) は連続性に基づく解析的制御を欠くが、基本解の存在と畳み込みを用いた代数的可解性のおかげで、𝒟′(Ω) で解けない PDE でさえもすべての定数係数 PDE を解ける。主な貢献は、正則性や局所構造の喪失にもかかわらず、すべての非ゼロ定数係数 PDE が 𝒟*(Ω) で全射であることを示したことである。

ABSTRACT

This paper is concerned with the algebraic dual D*(\\Omega) of the space of test functions D(\\Omega). The emphasis is on failures and successes of D*(\\Omega) as compared to the continuous dual D'(\\Omega), the space of distributions. Topological properties, operations with elements of D*(\\Omega) and applications to linear partial differential equations are discussed.

研究の動機と目的

• コンパクトに台を持つ滑らかな関数の空間 𝒟(Ω) の代数的双対 𝒟*(Ω) を調べ、標準的な分布空間 𝒟′(Ω) と対比する。
• 𝒟*(Ω) が解析において抱える制限、特に連続性、局所的順序、正則化性の欠如を特定する。
• 𝒟*(Ω) が、𝒟′(Ω) で解けない線形偏微分方程式を解くための実用的枠組みとして機能できるかどうかを調査する。
• 𝒟*(Ω) の解において、代数的可解性と解析的制御の喪失の間のトレードオフを明確にする。

提案手法

• 連続性を要しない、𝒟(Ω) 上のすべての線形汎関数の集合として定義される代数的双対空間 𝒟*(Ω) を用いる。
• 特にバーレット性と双対性を用いて、𝒟*(Ω) の構造的性質を位相的ベクトル空間論によって分析する。
• 畳み込みと転置作用素を、⟨T ⋆ φ, ψ⟩ = ⟨T, φ̌ ⋆ ψ⟩ という公式を用いて 𝒟*(Ω) 内の解を定義する。
• 定数係数作用素に対して、代数的拡張によるマルグラング–エーレンプライスの定理の拡張によって、𝒟*(Ω) 内に基本解が存在することを活用する。
• 𝒟*(Ω) における可解性と、特に P-凸性や超特異性に関する古典的結果 𝒟′(Ω) とを比較する。
• 反例を用いて畳み込み、テンソル積、局所的順序における失敗を示しながらも、微分や滑らかな関数による乗算では成功することを示す。

実験結果

リサーチクエスチョン

• RQ1 すべての定数係数線形 PDE が、𝒟′(Ω) で解けない場合でも、代数的双対空間 𝒟*(Ω) で解けるだろうか？
• RQ2 特に畳み込み、テンソル積、局所的挙動に関して、𝒟*(Ω) は 𝒟′(Ω) に比べてどのような構造的・位相的欠陥を示すのか？
• RQ3 右辺が滑らかである場合に、𝒟*(Ω) 内の解が滑らかさや正則性といった解析的性質をどの程度保持するのか？
• RQ4 𝒟*(Ω) における連続性の欠如が、畳み込みや層論的構成の定義および挙動にどのように影響するのか？
• RQ5 定数係数 PDE に対する基本解を 𝒟*(Ω) 内で代数的に構成できるだろうか？ そして、𝒟′(Ω) 内の連続対応物と比べてどう異なるのか？

主な発見

• すべての非ゼロ定数係数線形偏微分作用素 P(∂) は 𝒟*(Ω) で全射であり、任意の F ∈ 𝒟*(Ω) に対して P(∂)U = F を満たす U ∈ 𝒟*(Ω) が存在する。これは滑らかな F に対しても成り立つ。
• 𝒟′(Ω) で局所的に可解でないことで知られるルー作用素も、𝒟*(Ω) では解をもつ。これは代数的双対におけるより広い可解性を示している。
• 滑らかな右辺を持つ超特異的作用素の 𝒟*(Ω) 内の解は、滑らかでないことがある。これは、超特異性が代数的双対で保存されないことを示している。
• すべての非ゼロ定数係数 PDE は、𝒟*(ℝⁿ) に基本解を持つ。これは、転置作用素の代数的可解性から導かれる結果である。
• コンパクトに台を持つ滑らかな関数 F ∈ 𝒟(ℝⁿ) または分布 T ∈ 𝒟′(ℝⁿ) との畳み込みは、𝒟*(ℝⁿ) 内でwell-definedな解を与える。これは ⟨S ⋆ F, ψ⟩ = ⟨F, ψ̌ ⋆ S⟩ を用いて示された。
• 可解性にもかかわらず、𝒟*(Ω) 内の解は、正則性、台、局所的順序といった解析的性質の制御を欠く。これは連続性の欠如に起因する。