Continuity of the solution map for hyperbolic polynomials

問題の所在

本論文は、双曲多項式の解写像に関する正則性と連続性の性質を扱っている。次数 $d$ の単項実多項式が、すべての根が実数であるとき、「双曲的」と呼ばれる。研究の中心となる対象は、そのような多項式の係数を、増加順に並べられた根へと写す「解写像」 $S$ である。

Bronshteinの定理は、係数が $C^{d-1,1}$ クラス（$(d-1)$ 階微分がリプシッツ連続な関数）である双曲多項式の族に対して、根が局所リプシッツ（$C^{0,1}$）なパラメータ化を持つことを確立しているが、係数空間の位相に対する解写像自体の連続性は未解決の問いであった。具体的には、著者らは、写像 $S: C^{d-1,1} \to C^{0,1}$ が連続であるかどうかを調査している。本論文における反例によって示されている通り、ターゲット空間に標準的な $C^{0,1}$（リプシッツ）位相を付与した場合、この写像は連続ではない。本論文は、ターゲット空間の位相を緩和する（例：ソボレフ空間）、あるいはソース空間の正則性を強化する（例：$C^d$）ことによって、連続性が回復できるかどうかを追求している。

手法

著者らは、実解析、双曲多項式の理論、および関数解析を組み合わせた手法を用いている。核心となる手法は以下の通りである：

1. チュルンハウゼン変換（Tschirnhausen Transformation）： 根の解析を簡略化するために、多項式をチュルンハウゼン形式（$Z^{d-1}$ の係数がゼロとなる形式）へと変換する。これにより、スケーリングの議論や、固定された第2係数を持つ多項式の空間の研究が可能になる。
2. 分解原理（Splitting Principle）： 双曲多項式を低次の因子へと局所的に分解する手法が鍵となる。逆関数定理と判別式の構造を用いることで、根が互いに異なる点、あるいは特定の多重構造を持つ点の近傍において、多項式が係数に対して解析的な依存性を持つ双曲因子へと分解できることを著者らは示している。
3. 単一点におけるBronshteinの定理（Single-Point Bronshtein Theorem）： 著者らは、単一点におけるBronshteinの定理（定理 4.7）の精緻化されたバージョンを開発している。これは、$x_0$ が「リクルーシブ・ポイント（reclusive point）」（係数の零集合における特定の孤立点）でない限り、係数とその微分を用いて、点 $x_0$ における根の微分の明示的な境界を与えるものである。
4. 優収束（Dominated Convergence）： ソボレフノルムにおける解写像の収束を証明するために、著者らは、根の微分の列が（Bronssteinの定理を通じて）一様に有界であり、かつほとんど至る所で点ごとに収束することを確立する。そして、ドミネーテッド・コンバージェンス・セオレム（優収束定理）を適用することで、$1 \le q < \infty$ における $W^{1,q}$ への収束を確立する。
5. 次数の帰納法： 微分の収束に関する証明は、分解原理を利用して問題を低次の多項式へと帰着させる、多項式の次数に関する帰納法に基づいている。

主要な貢献と結果

主要な貢献は、特定の位相的制約の下での解写像の連続性の証明である：

• 主定理（定理 1.1）： 次数 $d$ の双曲多項式の、ソース空間が $C^d$ の自然なフレシェ位相を持ち、ターゲット空間がすべての $1 \le q < \infty$ に対してソボレフ空間 $W^{1,q}_{loc}$ のトレース位相を備えている場合の、解写像 $S$（増加順に並べられた根への写像）は連続である。
• ヘルダー連続性（系 1.2）： この結果として、写像はすべての $0 < \alpha < 1$ に対してホルダー空間 $C^{0,\alpha}$ への連続性を持つが、$\alpha = 1$（リプシッツの場合）では連続性を失う。
• 技術的中核（定理 1.3）： 係数の列 $a_n$ が $C^d$ において $a$ に収束する場合、根の列 $S(a_n)$ は任意の $1 \le q < \infty$ に対して $S(a)$ に $W^{1,q}_{loc}$ で収束することを、本論文は確立している。これは、単一点Bronshteinの変種を用いて証明される、ほとんど至る所での微分の点収束に基づいている。
• 行列および特異値への応用：
  • エルミート行列： これらの結果は、エルミート行列の固有値に適用される。$C^d$ 曲線を持つエルミート行列を、その順序付けられた固有値へと写す写像は、$W^{1,q}_{loc}$ および $C^{0,\alpha}$ への連続性が示されている。
  • 特異値： 複素行列の $C^{2d}$ 族の特異値に対しても、同様の結果が得られている。
• 幾何学的帰結：
  • 表面積： 各根のグラフの表面積が局所的に収束することを本論文は証明している。
  • 零集合： 双曲多項式の零集合の面積は、局所的な下半連続性を示す。具体的には、$a_n \to a$ が $C^d$ で成立する場合、零集合のハウスドルフ測度は $\liminf_{n \to \infty} \mathcal{H}^m(Z_n) \ge \mathcal{H}^m(Z)$ を満たす。
• 近似： 著者らは、任意の $C^d$ 係数を持つ双曲多項式が、単純な根（至る所で異なる根）を持つ双曲多項式の列によって近似可能であり、その近似列の根が元の根に対して $W^{1,q}_{loc}$ 位相で収束することを示している。

意義と主張

本論文は、著者らによる以前のサーベイ（[PR25]）におけるオープン・プロブレム 3.8を解決したと主張している。その意義は、線形作用素の摂動論や偏微分方程式に深く根ざした問題である、双曲多項式の解写像の最適な正則性と連続性を明確化した点にある。

著者らは、Bronshteinの定理が $C^{d-1,1}$ 係数に対してリプシッツ連続な根の存在を保証する一方で、これらの根を係数に割り当てる写像の連続性には、ソースに対してより高い正則性（$C^d$）と、ターゲットに対してより弱い位相（$W^{1,q}$ または $C^{0,\alpha}$）が必要であることを強調している。$C^{0,1}$ ターゲット位相における連続性の失敗が明示的に示されており、これが結果の鋭さ（sharpness）を際立たせている。

また、本論文は、双曲多項式に関する結果が一般的な複素多項式（[PR24]で扱われたもの）よりも強力であることを指摘している。複素多項式の場合、解写像は $q < d/(d-1)$ に対してのみ $W^{1,q}$ への連続性を持つ。双曲多項式については、すべての $q < \infty$ に対して連続性が保持される。

著者らは、$C^{d-1,1}$ のケースについては控えめな姿勢を保っており、連続性の結果が $C^{d-1,1}(U, \text{Hyp}(d))$ 上の解写像に拡張されるかどうかを（質問 1.7として）未解決の問いとして提示している。同様に、エルミート行列についても、正則性の要件を $C^d$ から $C^1$ へ下げられるか（質問 1.11）を問うており、$d=2$ の場合については肯定的に答えられるが、それ以外については言及していない。