[論文レビュー] Radial symmetry and symmetry breaking for some interpolation inequalities

Jean Dolbeault, Maria J. Esteban+2 more|arXiv (Cornell University)|Sep 11, 2010

Nonlinear Partial Differential Equations被引用数 5

ひとこと要約

本稿は、Caffarelli-Kohn-Nirenbergおよび重み付き対数型Hardy不等式の極値関数における回転対称性と対称性の破れを調査する。変分法とEmden-Fowler変換を用いて、パrameter空間内に、回転対称性と対称性の破れを分ける連続的な表面を同定し、極値関数が局所的最小解である場合でさえ対称性の破れが生じうることを証明する。これは、線形不安定性に基づく従来の仮定に反する。

ABSTRACT

We analyze the radial symmetry of extremals for a class of interpolation inequalities known as Caffarelli-Kohn-Nirenberg inequalities, and for a class of weighted logarithmic Hardy inequalities which appear as limiting cases of the first ones. In both classes we show that there exists a continuous surface that splits the set of admissible parameters into a region where extremals are symmetric and a region where symmetry breaking occurs. In previous results, the symmetry breaking region was identified by showing the linear instability of the radial extremals. Here we prove that symmetry can be broken even within the set of parameters where radial extremals correspond to local minima for the variational problem associated with the inequality. For interpolation inequalities, such a symmetry breaking phenomenon is entirely new.

研究の動機と目的

• Caffarelli-Kohn-Nirenbergの補間不等式の極値関数の対称性の性質を特定すること。
• Caffarelli-Kohn-Nirenberg不等式の極限として生じる重み付き対数型Hardy不等式における極値関数の対称性を分析すること。
• 極値関数が局所的最小解である領域においても、回転対称性の破れが生じる条件を同定すること。
• 線形不安定性に依存する従来の仮定を覆し、不安定性がなくても対称性の破れが生じうることを示すこと。
• 両種の不等式クラスにおいて、対称的と対称性の破れの領域を分けるパrameter空間内に連続的な表面を確立すること。

提案手法

• パrameter Λ(a) = (a − a_c)^2 でパrameter化された回転対称性の観点から、変分問題を再定式化するためのEmden-Fowler変換を用いる。
• C_CKN*(θ,p,Λ) および C_WLH*(γ,Λ) で表される極値関数の明示的計算により、局所的最適定数とグローバル最適定数を比較する。
• p = 2 および θ = ϑ(p,d) の近傍における漸近解析を適用し、C_CKN*(θ,p,Λ) < C_CKN(θ,p,Λ) の厳密な不等式が成り立つことを示し、対称性の破れを示す。
• C_WLH*(γ,Λ) と C_LS（対数Sobolev定数）の比較を通じて、パrameter空間内における対称性の破れの閾値の連続性を確立する。
• Kelvin変換を用いて、a < a_c の制限を超えて結果を拡張する。
• DE2010およびDDFTの既知の存在結果を活用し、極値関数の存在との関係において、対称性の破れを文脈づける。

実験結果

リサーチクエスチョン

• RQ1 パrameter (a, b, p, θ, γ) がどのような条件下で、Caffarelli-Kohn-Nirenberg不等式の極値関数が回転対称でなくなるか。
• RQ2 極値関数が局所的最小解である領域でも、対称性の破れが生じうるか。すなわち、不安定な領域でのみ対称性の破れが生じるという仮定に反するか。
• RQ3 重み付き対数型Hardy不等式における対称性の破れの閾値が、対数Sobolev不等式とどのように比較できるか。
• RQ4 両種の不等式クラスにおいて、対称的と対称性の破れの領域を分けるパrameter空間内に連続的な表面が存在するか。
• RQ5 パrameter Λ(a) = (a − a_c)^2 が極値関数の対称性の性質を決定づける役割を果たすか。

主な発見

• パrameter空間内に、極値関数が回転対称である領域と対称性の破れが生じる領域を分ける連続的な表面が存在する。表面は、対数型Hardy不等式では Λ(a) = Λ_SB(γ,d) で定義される。
• 極値関数が局所的最小解である場合でさえ、対称性の破れが生じる。これは、従来の仮定である「対称性の破れは線形不安定性に起因する」という仮定に反する。
• Caffarelli-Kohn-Nirenberg不等式において、θ = ϑ(p,d) および a = a_−(p) のとき、p ∈ (2, 2+η)（η > 0 が十分小さい）で C_CKN*(θ,p,Λ) < C_CKN(θ,p,Λ) が厳密に成り立つ。これは、p ≈ 2 の近傍で対称性の破れが生じることを証明する。
• 重み付き対数型Hardy不等式では、Λ(a) > Λ_SB(γ,d) のとき対称性の破れが生じる。Λ_SB(γ,d) は明示的に定義され、d = 2,3,4,5,6 について数値的に検証されている。
• d ≥ 3 かつ γ = d/4 のとき a > a_* である場合、および d = 2 かつ γ → (1/2)+ のとき、C_WLH*(γ,Λ) < C_LS が成り立つ。これは、これらの領域で対称性の破れが生じることを示している。
• DE2010 の存在条件よりも、d ≥ 5 の場合、閾値 Λ_SB(γ,d) はより制限が厳しいが、小規模な d および特定の γ の区間では、より緩い。これは、存在性と対称性の間の複雑な相互作用を示している。