From zero solutions with partially bounded supports to solvability and Runge approximation for partial differential equations

技術要約：部分的に有界な支持を持つ零解から、偏微分方程式の解存在性とルンゲ近似へ

問題提起
本論文は、定数係数の線形偏微分作用素（PDO）の理論における2つの根本的な問題に取り組んでいる：

1. 解の存在性（Solvability）： 偏微分作用素 $P(D)$ が滑らかな関数、超関数、または局所的部分空間において全射となるための幾何学的条件を特徴付けること（具体的には、開集合 $X \subset \mathbb{R}^d$ が「支持に関して $P$-凸（$P$-convex for supports）」である条件を決定すること）。楕円型作用素や特定のケース（例：2次元の波動作用素）については古典的な結果が存在するが、任意の次元における非楕円型作用素に対する一般的な幾何学的特徴付けは依然として未解決である。
2. ルンゲ近似（Runge Approximation）： より小さな集合上の同次方程式の解が、より大きな集合上の解によって近似可能であるための幾何学的基準を、滑らかな関数、超関数、および滑らかなホップ・ホイットニー・ジェット（Whitney jets）を含む様々な関数空間にわたって決定すること（これは流体力学から生じる方程式の系において特に重要である）。

著者らは、非自明な「零解（$P(D)u=0$ の解）」の存在が、全射性のための必要条件を確立し、ルング型の近似定理を証明するための前提条件であることを指摘している。

手法
本論文は、特定の零解の存在を中心とした構成的なアプローチを採用し、その後に関数解析的な議論を用いて幾何学的特徴付けを導出する。

1. 零解の構成（セクション2）：

   • 著者らはまず、広範なクラスの作用素に対して、部分的に有界な支持を持つ非自trivialな滑らかな零解の存在を確立する。
   • 彼らはゲブレ（Gevrey）級数を利用し、$P(\xi', \xi_d) = \xi_d^m + \sum Q_k(\xi')\xi_d^k$ という形式の作用素に関するコーシー問題を解く（定理2）。これには、ゲブレ空間における級数展開による解の構成と、係数の微分の評価を用いた収束性の証明が含まれる。
   • 畳み込みの手法と補題4（部分的に有界な支持を持つ畳み込みの性質）を用いることで、これらの結果を、線形部分空間 $Z$ 上で**直交退化（orthogonally degenerate）**している作用素へと拡張する。具体的には、その支持が $Z$ に直交する方向において有界である解 $v$ の存在を証明する（定理9）。
   • このクラスの作用素には、すべての**半楕円型作用士（semi-elliptic operators）**および、その主部が波動作用素である作用素が含まれる。

2. $P$-凸性の幾何学的特徴付け（セクション3）：

   • 構成された零解を利用して、著者らは$P$-凸性のための必要条件を導出する。すなわち、境界距離関数 $d_X$ は、特性錐（characteristic cone）の直交補空間に平行なあらゆるアフィン部分空間において**最小原理（minimum principle）**を満たさなければならない。
   • 特性錐に対して直交退化している作用素の場合、この条件は十分条件でもあることが示される。
   • 著者らは、**臨界点（critical points）や、部分空間に関する内側支持点（points of inner support）**といった幾何学的概念を導入し、最小原理の条件を再定式化する。彼らは、このような点の不在が、このクラスの作用素に対する$P$-凸性と同値であることを証明する（系21）。
   • さらに、半楕円型作用素については、その核（kernel）が条件($\Omega$)（分裂理論に関連するフレシェ空間の性質）を満たすことを確立し、これによりベクトル値の滑らかな関数空間への全射性とパラメータ依存性の問題を解決する。

3. ルンゲ近似（セクション4および5）：

   • 部分的に有界な支持を持つ零解の存在は、**ルング対（Runge pairs）**の必要条件を導出するために用いられる。具体的には、$(F_1, F_2)$ がルング対である場合、$F_2$ は $(\mathbb{R}^d \setminus F_1) \cap (x + Z^\perp)$ の有界連結成分を含んではならない。
   • 特性錐に対して直交退化している作用素に対しては、これらの条件は十分条件であることが示される（定理33）。
   • この枠組みは、定数係数偏微分作用素の**正方系（square systems）**へと拡張される。伴行列（adjugate matrix）と系の行列式を利用することで、著者らは系の近似問題をスカラーの場合へと帰着させる（定理39）。
   • 彼らはこれらの一般的な結果を以下の特定の系に適用する：
     • ベルトラミ場（Beltrami fields）（カール作用素の固有関数）。
     • 3次元非定常ストークス系。

主要な貢献と結果

• 部分的に有界な零解の存在： 本論文は、線形部分空間に対して直交退化している任意の定数係数作用素に対して、特定の方向において支持が有界な非自明な滑らかな解が存在することを証明する（定理9）。これは、従来の知見（Cohoonの結果など）を一般化し、半楕円型作用素や波動型作用素にも適用されるものである。
• 解の存在性の幾何学的特徴付け： 直交退化している作用素（すべての半楕円型作用素を含む）のクラスに対して、著者らは$P$-凸性（支持に関して）の完全な幾何学的特徴付けを提供する。これは、特性ハイパープレーンにおける境界距離関数の最小原理、および臨界点や内側支持点の不在によって表現される（系21）。
• 条件($\Omega$)とパラメータ依存性： 著者らは、すべての全射的な半楕円型作用素の核が条件($\Omega$)を満たすことを証明する。その結果、VogtとWagnerの分裂定理により、これらの作用素はベクトル値の滑らかな関数空間に対しても全射となり、これらの作用器に関するパラメータ依存性の問題を解決する。
• 系のルンゲ近似： 正方系のルング近似のための一般的な枠組みが構築される。これにより、ベルトラミ場や3次元非定常ストークス系（Higaki/SueurおよびEnciso/Peralta-Salasによって以前に研究されたもの）に関する既知の結果を、代替的な手法を通じて回収する。
• ホップ・ホイットニー・ジェットと境界近似： 結果は、閉集合上の滑らかなホップ・ホイットニー・ジェットの空間へと拡張される。これにより、開集合に関する既存の結果を補完する、ヘルダー連続な境界を持つ領域における境界までの近似定理が得られる。

意義と主張
本論文は、Hörmanderによる$P$-凸性の古典的な幾何学的アイデアを、特性錐に対して直交退化している広範な非楕円型作用素へと拡張することを主張している。部分的に有界な支持を持つ零解の存在を確立することで、著者らは解の存在性と近似の両方の問題に取り組むための統一的なツールを提供している。

本研究の意義は以下の通りである：

1. 統一： 半楕円型作用素、波動作用素、および様々な系をカバーする一般的な枠組みを提供し、これまでバラバラであった結果を統一する。
2. 新しい幾何学的基準： 解の存在性と近似のための明示的な幾何学的条件（最小原理、臨界点の不在）を、これまで特徴付けが不完全であった次元において提供する。
3. 流体力学への応用： 結果はストークス系やベルトラミ系に直接適用され、流体方程式の研究に関連する新しい近似定理（境界までの近似を含む）を提供する。
4. 関数解析： 半楕円型作用素の核が条件($\Omega$)を満たすことを証明することは、これらの作用素に関するパラメータ依存性の問題を解決する。

著者らは、任意の次元における一般の作用素に対する$P$-凸性の幾何学的特徴付けは依然として未解決であるが、彼らの結果はすべての半楕円型作用素を含む「広範なクラス」をカバーしており、それによって解の存在性と近似理論の既知の領域を大幅に拡張していることを強調している。