Very weak solutions of quadratic Hessian equations

あなたは、パズルのピースが形をしており、そのルールが「数学」という名の秘密のコードで書かれた、巨大で複雑なパズルを解こうとしているところだと想像してください。具体的には、この論文は**偏微分方程式（PDE）**の世界に存在しています。PDEを、熱がフライパンにどのように広がるかから、光がレンズをどのように屈折するかに至るまで、宇宙の中で物事がどのように変化し、動くのかを示す究極の「取扱説明書」だと考えてください。通常、これらのパズルを解くために、数学者は扱っている形が、磨き上げられた大理石の彫像のように、完璧に滑らかで行儀が良いことを要求します。彼らはこれらを「強」解と呼びます。

しかし、もしその形が少し荒かったり、ぐにゃぐにゃしていたり、あるいは少し壊れていたりしたらどうなるでしょうか？もしそれが、磨かれた彫像ではなく、丸まった紙屑のようなものだったら？長い間、数学者はこのような「乱れた」形ではパズルを解けないと考えてきました。しかし、「凸積分（convex integration）」と呼ばれる巧妙なトリックが、ゲームのルールを変えました。正方形の杭を丸い穴に無理やり入れようとしている場面を想像してください。無理に押し込むのではなく、杭を非常に細かく、高速で震わせることで、肉眼では完璧にフィットしているように見せかけるのです。実際には、近くで見れば激しく振動しているのですが。この論文は、この「震わせる」手法を、**ヘッセ行列（Hessian matrices）**を含む特定の種類の方程式に対して探求しています。ヘッセ行列とは、表面があらゆる方向にどのように曲がっているかを伝える地図のようなものです。著者たちはこう問いかけています。「もし表面が（激しすぎない程度に）震えたり、ゆらいだりすることを許容するならば、それでもなお、方程式を解くことができるのだろうか？」

この問いは、剛性（硬さ）に対する私たちの理解に挑戦するものです。現実の世界では、ある構造がある特定の見た目であるならば、それは特定の、硬い方法で構築されていなければならないと私たちは想定しがちです。しかし、この研究は、もし注意深く観察すれば、私たちが知らなかった混沌とした柔軟性の隠れた層が存在する可能性があることを示唆しています。それは、一見すると頑丈な壁が、実は数十億の小さな、振動するバネでできており、細部を注視しない限り、どんな形にも適合するようにそれ自体を再構成できることに気づくようなものです。

---

数学における「ゆとり」：新しい種類の解

この論文において、スワヴォミール・ディネフ（Sławomir Dinew）とシモン・ミガ（Szymon Myga）という著者たちは、**「非常に弱い解（very weak solutions）」**という領域へと大胆な一歩を踏み出しています。これを理解するために、デコボコ道を描写しようとしている場面を想像してください。「強い」解は、すべての小石の正確な高さを知ることを要求します。「弱い」解は、狭い範囲での平均的な高さを求めるかもしれません。しかし、「非常に弱い」解はさらにリラックスしています。それは、「目を細めて遠くから道路を見たとき、それは記述に適合しているように『感じられる』か？」と問うのです。

著者たちは、複素 $\sigma_2$ 方程式（または複素2-ヘッセ方程式）と呼ばれる特定の方程式に焦点を当てています。平易な言葉で言えば、この方程式は、多次元空間（具体的には、私たちの日常的な3D世界とは少し異なる挙動を示す複素空間）において、表面がどのように曲がるかについてのルールです。通常、これを解くには、表面が「2-劣調和（2-subharmonic）」であること、つまり表面があらゆる場所で特定の正の方向に曲がっていることを保証する厳格なルールが必要です。

著者たちは、大胆な問いを投げかけます。「もし、その厳格なルールを放棄したらどうなるだろうか？」 もし、この「目を細めて見る（非常に弱い）」意味において方程式を満たしている限り、表面が少し乱れていてもよいとしたらどうでしょうか？

大きな発見：混沌はどこにでもある

論文は、もしあなたがこれらの「非常に弱い」解を受け入れる用意があるならば、答えは明確に「イエス」であり、しかも単に数個ではなく、**「たくさん」あることを証明しています。実際、著者たちは、これらの震えるような解が、すべての連続関数の空間において稠密（dense）**であることを示しています。

比喩を使って説明しましょう。あなたが滑らかな粘土のシートを持っているとします。特定の形に成形したいのですが、崩れないように厳格なルールに従わなければなりません。しかし、著者たちは、もし粘土が微視的なレベルで振動することを許せば、ほとんどどんな形にでも成形でき、かつ数学的なルールを満たし続けることができる、ということを示しています。彼らは、任意の関数 $f$（これはターゲットとなる形として機能します）が、十分に滑らかである（具体的には、$p > n + \frac{1}{2}$ の $L^p$ クラス）場合、その解が $C^{1,\beta}$ の正則性を持つことを見出しました。

$C^{1,\beta}$ とはどういう意味でしょうか？それは、解が至る所で定義された傾斜（スロープ）を持つほど滑らかであるが、少しは震えることができる、という意味です。著者たちは、どれくらい震えることができるかを正確に計算しました。彼らは、「震え（ゆらぎ）」の指数 $\beta$ が、次元数 $n$ に対して $\frac{1}{1+2n}$ 未満であればよいことを見つけました。

例えば、2次元（$n=2$）の空間で作業している場合、解は $\frac{1}{5}$ 程度の滑らかさを持ち得ます。3次元であれば、限界は $\frac{1}{7}$ まで下がります。次元が高くなるほど、ルールに適合するために、より多く震えなければなりません。

なぜこれが重要なのか（そして何ではないのか）

著者たちは、自分たちが**「何をしていないか」についても非常に慎重に述べています。彼らは、これらの震える解が、自然界で見られる「現実の物理的な形」であると言っているわけではありません。実際、彼らは、これらの解は通常、「2-劣調和」ではない**ことを認めています。現実の世界において、もしこれらの解に基づいて構造物を建てようとすれば、それは固形物というよりも、振動する塊のように見えるでしょう。

しかし、この論文は数学的な柔軟性における巨大な突破口です。これは、方程式の「ルール」が、私たちが考えていたよりもずっと緩いものであることを示しています。もし、微小なスケールで激しく振動する解を受け入れるのであれば、方程式は驚くほど柔軟になり、以前は不可能と考えられていた膨大な数の解を許容するようになります。

また、彼らはこの方程式の実数版（複素数ではなく普通の数を扱うもの）の結果も研ぎ澄ませています。この論文より前では、これらの実数解がどの程度滑らかであり得るかについての既知の限界は $\frac{1}{1+n+n^2}$ でした。著者たちはこれを $\frac{1}{1+2n}$ に改善しました。これは大幅なアップグレードであり、解をより滑らかにし、数学をより精密にしています。$n=2$ の場合、これは他の数学者によって発見された有名な閾値である $\frac{1}{5}$ を回収するものですが、今や彼らは、あらゆる次元に対してこれに到達するための統一的な方法を持っています。

秘密の武器：対角化

どのようにして彼らはこれを行ったのでしょうか？論文は、**対角化（diagonalization）**と呼ばれる巧妙なトリックに依拠しています。絡まり合ったワイヤーの乱雑な束（方程式）を想像してください。著者たちは、それらを整理して、整然とした対角線のスタック（積み重ね）に並べ替えられる程度に、ちょうどよく解きほぐす方法を見つけました。彼らは、単位行列に近い行列を、対角部分（整然としたスタック）と、カーネル部分（ルールを壊さない、震えて振動する乱雑な部分）に分解できるという特定の数学的補題（命題 5.1）を証明しました。

この対角化こそが、「非常に弱い」解への扉を開く鍵です。これにより、彼らは**反復手順（iteration procedure）**を用いることができます。これは彫刻のようなものだと考えてください：

1. 大まかな推測から始める。
2. 誤差を修正するために、微小で高周波の震えを加える。
3. このプロセスを何度も繰り返す。
4. 各ステップごとに、震えはより小さく、より速くなり、形はターゲットに近づいていく。

この対角化のトリックを持っているおかげで、彼らは震えを完璧に制御し、最終的な結果が、顕微鏡で見れば激しく振動しているとしても、有効な解であることを保証できるのです。

結論

この論文は、物理的なエンジニアリングの問題を解決したり、天気を予測したりするものではありません。その代わりに、深い理論的なパズルを解いています。「曲率のルールは、どれほど柔軟なのか？」

答えは、**「私たちが考えていたよりも、はるかに柔軟である」**ということです。解が「非常に弱い」（つまり、緩やかな平均の意味で方程式を満たし、微小なスケールで震えている）ことを受け入れるのであれば、ほとんどあらゆるターゲットとなる形に対して解を見つけることができます。著者たちは、どれほどの「ゆとり」が存在するかを正確に描き出し、複素ヘッセ方程式の世界において、混沌と秩序が非常に特定の方法で、数学的に美しい形で共存できることを証明しました。

彼らは、将来に向けた含みを残した問いを投げかけています。この「震わせる」トリックは、さらに複雑な方程式（例えば $k \ge 3$ の $\sigma_k$）でも通用するのだろうか？著者たちはまだ分かっていませんが、彼らは扉を開きました。そしてその道筋は、その振動を追う勇気のある人々にとって、非常に有望に見えています。