🔢 mathematics

A solution to Morrey's problem in $\mathbb{R}^{2\times m}$

本論文は、十分大きな $m$ に対して、 $\mathbb{R}^{2\times m}$ 上の至る所で準凸（quasiconvex）ではない同次ランク1凸被積分関数を構成し、それによってこの特定の次元におけるモレーの問題への解を提供している。

原著者： Gabriele Cassese

公開日 2026-08-05

📖 1 分で読めます🧠 じっくり読む

CC BY 4.0

原著者： Gabriele Cassese

原論文は CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) でライセンスされています。 ✨ これは以下の論文のAI生成解説です。著者が執筆または承認したものではありません。技術的な正確性については原論文を参照してください。免責事項の全文を読む

あなたは、奇妙で柔軟な素材の山から、最も効率的で安定した構造物を構築しようとしている建築家だと想像してください。数学の世界では、これが**変分法（Calculus of Variations）の仕事です。これは、石鹸の泡が表面張力を最小化したり、橋がストレスを最小化したりするように、システムの「最適な」形状や経路を見つけ出すことに特化した数学の分野です。これを行うために、数学者は被積分関数（integrand）**と呼ばれる巨大な数式を使用します。この被積分関数は、素材がどのように曲がったり伸びたりするかに対して「コスト」や「エネルギー」を割り当てるルールブックだと考えてください。目標は、総コストが最も低くなるような形状を見つけることです。

しかし、ここに落とし穴があります。完璧な形状を見つけることは非常に困難です。解が存在することを保証するためには、ルールブック（被積分関数）が準凸性（quasiconvexity）という、非常に厳格で、ほとんど魔法のような性質に従っている必要があります。この性質は、形状をわずかに揺らしたとしても、エネルギーが突然低下して数学的な破綻を招くことがないことを保証します。しかし、ルールブックがこの性質を持っているかどうかを確認することは、砂浜のすべての砂粒を味わって塩分があるかどうかを確認するようなもので、実質的に不可能です。そのため、数十年にわたり、数学者たちはショートカット（近道）を期待していました。彼らは、より単純で確認しやすい性質であるランク一凸性（rank-one convexity）（これは、素材を特定のひとつの方向に引っ張ったときに安定しているかどうかを確認することに似ています）があれば、魔法の準凸性を保証するのに十分ではないかと考えました。もしこれが真実であれば、物理学から工学に至るあらゆるものの解決策を解き明かす「魔法の鍵」となる、大幅な時短術となるはずでした。

『A Solution to Morrey's Problem in $\mathbb{R}^{2 \times m}$ 』と題されたこの論文は、数学者ガブリエレ・カッセゼ（Gabriele Cassese）が、その魔法の鍵を実際に試みた結果、それが機能しないことを突き止めた物語です。1950年代に天才チャールズ・モリー（Charles Morrey）によって提示された問いは、「もし素材があらゆる直線的な引きに対して安定しているなら、それは自動的にあらゆる複雑でうねるようなひねりに対しても安定しているのか？」というものでした。長い間、人々はこの答えが「イエス」であると考えてきました。しかし、カッセゼは、素材が十分に「幅広く」なる場合（具体的には、次元が十分に大きい場合）、答えは明確に「ノー」であることを証明しました。彼は、単純な「直線的な」テストには完璧に合格するが、複雑な「うねり」のテストには失敗する、特定の奇妙なルールブックを構築しました。これは、誰もが望んでいた単純なショートカットという希望を打ち砕く反例です。

期待外れの偉大なショートカット

これらの数学的な素材の世界には、ルールブックが「良い」かどうかを確認する2つの方法があります。第一のランク一凸性は、ゴムバンドを直線に引いてテストすることに似ています。もしそれが一方向において抵抗し、うまく振る舞うのであれば、テストに合格します。第二の準凸性は、本当のボス戦です。これは、「ある塊の素材を取り出し、あらゆる混沌とした方法で同時に揺らしたとき、それでも形を保てるか？」と問いかけます。

数十年間、数学者たちは、直線的なテスト（ランク一凸性）に合格していれば、混沌とした揺らぎのテスト（準凸性）にも合格することを保証するのに十分だと疑っていました。それは論理的に思えました。あらゆる直線において強いのであれば、あらゆる場所で強いはずだ、と。これがモリーの問題でした。もしこれが真実であれば、あらゆる揺らぎをチェックするという不可能な数学をスキップして、直線だけをチェックすればよいということになります。

しかし、この論文の中で、カッセゼは彼らを否定するために「フランケンシュタインの怪物」のようなルールブックを構築しました。彼は、マルチンゲール（酔っ払いの千鳥足のような、ランダムなステップの連鎖という洗練された言葉）と、バナッハ空間（私たちが通常使うような、綺麗で丸みを帯びた空間とは異なる抽象的な数学の遊び場）を用いた巧妙なトリックを用いて、数学的対象を構築しました。

彼は次のような数式を構築しました：
$\text{コスト} = C \times (\text{パートA})^p - (\text{パートB})^p$
ここで、「パートA」と「パートB」は、素材の形状を測定する2つの異なる方法です。数値 $C$ は「チューニングノブ（調整つまみ）」です。

直線テスト（ランク一凸性）： カッセゼは、素材を直線に引くと、パートAとパートBが厳格な数学的ルールによって結びついていることを示しました。それらは完全に同期して動きます。そのため、ノブ $C$ を十分に高く設定すれば、数式は常に正の状態を保ちます。これにより、簡単なテストに合格します。
揺らぎテスト（準凸性）： 次に、彼は素材を揺らしたときに何が起こるかを調べました。彼は、パートBがパートAに対して突如として巨大になる、特定の非常に激しい揺らぎを持つ形状（テスト関数）を見つけ出しました。もしノブ $C$ が「無限」に高くなければ、数式は負の値に転じます。素材は崩壊します。

この論文の天才的な点は、ノブ $C$ の「ゴルディロックス・ゾーン（適温領域）」を見つけたことです。彼は、素材の幅（具体的には次元 $m$ ）が十分に大きい場合、ノブが直線テストに合格するほど高く、かつ揺らぎテストに合格するには低すぎる、という「スイートスポット」が存在することを証明しました。

結果：「多くの次元における『ノー』」

この論文は、単に一つの奇妙な例を見つけただけではありません。一連の例を見つけ出しています。

大きな次元： どのような「冪（べき）」（コストがどのようにスケールするかを制御するもの）に対しても、素材が十分に幅広ければ（次元 $m$ が大きければ）、常にこの反例を構築できることをカッセゼは証明しています。論文では、直ちに「十分に大きい」具体的な数字は示していませんが、そのような数字が存在することを証明しています。
正方形の場合： 彼はまた、正方形の素材（幅と高さが等しい $d \times d$ ）においても、その正方形が十分に大きければ、これが成立することも示しています。
4×2 のケース： 彼は、冪 $p$ が正確に2ではない場合に限り、より小さな4×2のグリッドの中にさえ、反例を押し込むことに成功しました。

なぜこれが重要なのか（そしてなぜ痛手なのか）

この結果は、単純なショートカットを望んでいた人々にとっては少し残念なニュースです。これは、ランク一凸性は準凸性を意味しないということを意味します。直線だけをチェックして、残りの部分も大丈夫だと決めつけることはできません。「魔法の鍵」は偽物だったのです。

しかし、これは数学的真理にとっての大きな勝利です。これは1950年代から開かれていた問いに決着をつけるものです。この結果は、これらの変分積分の世界が、私たちが考えていたよりもはるかに複雑で「非線形」であることを教えてくれます。また、この論文は**イワニエツ予想（Iwaniec Conjecture）**と呼ばれる有名な未解決のパズル（2×2の特定のケースに関するもの）にも触れています。カッセゼの研究は、もしそのパズルに解が存在するならば、それはその2×2のケースが持つ非常に特殊でユニークな特徴に依存しているはずであることを示唆しています。なぜなら、彼の一般的な手法（より大きな次元で機能するもの）は、そこでは機能しないからです。

要約すると、カッセゼは数学的な「不可能物体」を構築したのです。それは、あらゆる直線的な角度からは完璧に安定しているように見えるが、実は崩壊を待つのみの「トランプの城」である素材です。これは、数学の深い世界においては、物事は決して見た目ほど単純ではなく、時には真実を知る唯一の方法は、自分自身で反例を構築することであるということを思い出させてくれます。

技術的要約： $\mathbb{R}^{2\times m}$ におけるモリーの問題への解法

問題の定義
本論文は、1952年に提起された変分問題における中心的な問いである、モリーの問題（Morrey's problem）を扱っている。すなわち、「ランクワン凸性は、被積分関数 $f: \mathbb{R}^{d\times m} \to \mathbb{R}$ に対して、準凸性を導くか？」という問いである。Šverák (1992) は、 $d \ge 3$ かつ $m \ge 2$ の次元において反例を示したが、 $d=2$ （具体的には $2 \times m$ ）の場合については未解決のままであった。さらに、本論文は「均質モリー問題（homogeneous Morrey problem）」についても調査しており、これは $p$ -均質被積分関数（ $f(tA) = |t|^p f(A)$ ）に対して、ランクワン凸性が原点における準凸性を導くかどうかを問うものである。Kirchheim–Kristensenによる既知の定理では、 $p=1$ の場合にランクワン凸性が原点における準凸性を導くことが確立されているが、 $p \in (1, \infty)$ のケースは未解決のまま残されていた。

手法
著者は、以下の形式の被積分関数に基づく「閾値分離スキーム（threshold-separation scheme）」を用いて反例を構成している：
$f_{C,p}(A) = C^p \|P(A)\|_X^p - \|Q(A)\|_X^p$
ここで、 $P$ と $Q$ は $\mathbb{R}^{d\times m}$ からバナッハ空間 $X$ への線形写像であり、 $C$ は定数である。戦略は、ランクワン凸性の閾値（ $C_{rc}$ ）と、原点における準凸性の閾値（ $C_{qc}$ ）を分離することにある。

ランクワン凸性 ( $C_{rc}$ ): 著者は、ランクワン凸性とマルチンゲール変換との間の対応関係を利用する。具体的には、原点におけるランクワン凸性は、すべてのランクワン・ラデマッハー・マルチンゲール $M_n$ に対して $f(0) \le \mathbb{E}[f(M_n)]$ であるという条件と同値である。 $C_{rc}$ の評価は、**UMD（非条件付きマルチンゲール差）**空間理論とバークホルダーの不等式を用いて制御される。この構成は、ターゲット空間 $X$ （具体的には $q \neq 2$ の $\ell_q$ 空間）の非ヒルベルト的な幾何学を利用して、 $C_{rc}$ を有界に保つものである。
準凸性 ( $C_{qc}$ ): $C_{qc}$ の下限は、トーラスまたは立方体上の明示的なテスト写像（ベクトル場） $u$ を構成することによって推定される。著者は、特定の振動的なテスト関数（例：複素共役の積や三角和）を用いて、比率 $\|Q(\nabla u)\| / \|P(\nabla u)\|$ が次元 $m$ （または $d$ ）とともに増大し、最終的に $C_{rc}$ の境界を超えることを示す。
エンベロープの構成: $C_{rc} < C < C_{qc}$ となる定数 $C$ を選択した後、構築された関数は原点において準凸ではない。最終的な被積分関数が至る所でランクワン凸であることを保証するために、著者は構築された関数のランクワン凸包（rank-one convex envelope）を取る。命題2.3は、均質被積分関数の場合、そのエンベロープが原点で準凸でないならば、その関数は至る所準凸ではないことを保証している。

主要な貢献と結果

本論文は、高次元における元のモリー問題および均質モリー問題の両方に対して、負の回答を提供している：

定理 1.2 ( $2 \times m$ のケース): 任意の $p \in (1, \infty)$ に対して、ある次元 $m_0(p)$ が存在し、すべての $m \ge m_0(p)$ に対して、ランクワン凸であるが至る所準凸ではない $p$ -均質被積分関数 $f: \mathbb{R}^{2\times m} \to \mathbb{R}$ が存在する。この構成は、「ブロックごとのウィリンガー対（blockwise Wirtinger pair）」と $\ell_q^n$ の非ヒルベルト構造に基づいている。
定理 1.3 (正方行列のケース $d \times d$ ): 任意の $p \in (1, \infty)$ に対して、ある $d_0(p)$ が存在し、すべての $d \ge d_0(p)$ に対して、共役および転置に対して不変な $p$ -均質被積分関数 $\mathbb{R}^{d\times d}$ 上の、ランクワン凸であるが至る所準凸ではない関数が存在する。これは、シェーテン $q$ -ノルムにおける勾配の対称部分と反対称部分の差を利用することで達成される。
定理 1.4 ( $4 \times 2$ のケース): 任意の $p \in (1, \infty) \setminus \{2\}$ に対して、ランクワン凸であるが至る所準凸ではない $p$ -均質被積分関数 $\mathbb{R}^{4\times 2}$ 上の関数が存在する。この結果は、ベリュー・アフラフ変換に関連する特定の線形写像を用いた具体的な構成によって得られる。

明示的な構成
本論文は、特定のパラメータに対する明示的な例を提供している：

$p=3$ の場合、 $\ell_6$ ノルムを含む特定の被積分関数のランクワン凸性に関する初等的な証明が与えられている。
正方行列のケースで $p=q=4$ の場合、著者は、十分に大きな $d$ に対して原点で準凸性を満たさない、次数4の全体的なランクワン凸の均質多項式を構成している。
$4 \times 2$ で $p=4$ の場合、次数4の均質多項式の反例が明示的に構成されている。

意義と主張
本論文は、高次元（ $2 \times m$ , $d \times d$ , $4 \times 2$ ）における均質モリー問題に対して否定的な解決を与えたと主張している。

含意: 均質モリー問題への肯定的な回答は、共形および反共形部分に関連する特定の被積分関数に関するイワニエツ（Iwaniec）の予想（準凸性に関するもの）を導くことになる。これらの反例を提供することにより、本論文は、イワニエツの予想が、ランクワン凸性から原点における準凸性への一般的な帰結から証明することはできないことを示している。すなわち、証明は、これらの反例には存在しない、イワニエツの被積分関数の特有の性質に依拠しなければならない。
非局所性: これらの結果は、 $2 \times m$ において準凸性が非局所的な条件であることを示唆している。なぜなら、構築された被積分関数は一様なレジェンドル・アダマール不等式（強楕円性）を満たすが、大域的な準凸性は満たさないからである。
対称性: 正方行列のケースにおける反例は、共役および転置に対して不変となるよう構成されており、強い対称性の仮定があっても高次元では準凸性が強制されないことを示している。

限界と未解決問題
著者は、これらの結果が $2 \times 2$ のケースを解決していないことを明記している。構成は、UMD定数と準凸性の閾値を分離するために、次元 $m$ が十分に大きいことに依存している。本論文は、均質モリー問題は $2 \times 2$ においては肯定的な回答を持つ可能性が高いと推測しており、現在の手法では、UMD定数と準凸性の閾値のより精緻な評価なしには、これを否定することはできないとしている。また、等方的な（回転不変な）ランクワン凸被積分関数は依然として原点で準凸であるという予想についても、議論の余地を残している。

期待外れの偉大なショートカット

結果：「多くの次元における『ノー』」

なぜこれが重要なのか（そしてなぜ痛手なのか）

技術的要約：R2×m\mathbb{R}^{2\times m}R2×m におけるモリーの問題への解法

関連論文

技術的要約： $\mathbb{R}^{2\times m}$ におけるモリーの問題への解法