[論文レビュー] Smooth Gluing in the Kernel of Underdetermined Elliptic Operators, with Applications

Erwann Delay|arXiv (Cornell University)|Mar 2, 2010

Advanced Numerical Methods in Computational Mathematics被引用数 1

ひとこと要約

本稿では、任意の順序の未定義楕円型偏微分方程式に対して、滑らかで compact な台を持つ解を、所定の領域で二つの滑らかな核要素を接合することで構成するための十分条件を確立する。主な結果は、このような接合が滑らかさと外部領域での正確な等しさを保ち、一意的拡張の原理に反することを示しており、任意の相対的にコンパクトな領域で消失する解や台がコンパクトな解の構成を可能にする。

ABSTRACT

We give sufficient conditions for some underdetermined elliptic PDE of any order to construct smooth compactly supported solutions. In particular we show that two smooth elements in the kernel of certain underdetermined linear elliptic operators $P$ can be glued in a chosen region in order to obtain a new smooth solution. This new solution is exactly equal to the starting elements outside the gluing region. This result completely contrasts with the usual unique continuation for determined or overdetermined elliptic operators. As a corollary we obtain compactly supported solutions in the kernel of $P$ and also solutions vanishing in a chosen relatively compact open region. We apply the result for natural geometric and physics contexts such as divergence free fields or TT-tensors.

研究の動機と目的

• 未定義楕円型作用素の核内に滑らかで台がコンパクトな解が存在するための十分条件を同定すること。
• このような作用素の核内に属する二つの滑らかな解を、所定の領域で滑らかに接合し、正則性の損失なしに新たな解を生成できることを示すこと。
• 一意的拡張の原理が、特定の未定義楕円型系に対して成り立たないことを示し、従来の考え方に挑戦すること。
• 接合構成法を、発散なしベクトル場やTTテンソルなどの幾何的・物理的設定に応用すること。
• 所定の相対的にコンパクトな開集合内で恒等的に消失する、または台がコンパクトな解を生成すること。

提案手法

• 接合領域を分離する被覆に従属する partition of unity を構築する方法に依存する。
• 滑らかなカットオフ関数を用いて、接合領域内で二つの与えられた滑らかな核要素をブレンドし、核条件を保つ。
• 作用素の未定義性を利用することで、解の組み合わせに柔軟性をもたせる。
• 結果として得られる解は、接合領域外部で元の要素と正確に等しく、かつ滑らかであることが示される。
• このアプローチは任意の順序の楕円型作用素に一般に適用可能である。
• この方法は、幾何解析における発散なし場やTTテンソルへの応用を通じて検証されている。

実験結果

リサーチクエスチョン

• RQ1 未定義楕円型作用素の二つの滑らかな解を、指定された領域で滑らかに接合して、核内に新たな解を構成できる条件は何か？
• RQ2 一意的拡張の原理が、特定の未定義楕円型系に対して成り立たない場合があるのか、その条件は何か？
• RQ3 構成的接合プロセスを通じて、台がコンパクトな解を、このような作用素の核内に構成できるか？
• RQ4 接合技術は、TTテンソルや発散なしベクトル場のような幾何的対象にどのように応用できるか？
• RQ5 所定の相対的にコンパクトな開集合内で恒等的に消失する解を構成できるか？

主な発見

• 提案された十分条件のもとで、特定の未定義楕円型作用素の核内に滑らかで台がコンパクトな解が存在する。
• 核内に属する二つの滑らかな解を、所定の領域で接合することで、元の要素と接合領域外部で正確に一致する新たな滑らかな解が得られる。
• 結果として得られる解は、接合領域外部で元の関数と正確に等しく、滑らかさと核内属性を保つ。
• 接合法を用いて、所定の相対的にコンパクトな開集合内で恒等的に消失する解を構成できる。
• この方法は、発散なし場やTTテンソルを記述する自然な幾何的・物理的作用素に適用可能である。
• この構成は、一意的拡張とは根本的に対照的であり、これらの未定義系では一意的拡張が成り立たないことを示している。