[論文レビュー] Trace Hardy inequality for the Euclidean space with a cut and its applications

Monique Dauge, Michal Jex+1 more|arXiv (Cornell University)|Nov 30, 2020

Spectral Theory in Mathematical Physics参考文献 52被引用数 1

ひとこと要約

本稿は、d ≥ 2 におけるユークリッド空間において、有界で閉じていないカット Σ ⊂ ℝᵈ を持つ場合の、新しいトレースハーディー不等式を確立する。ハーディー重みは ∂Σ からの測地的距離に依存する。この不等式は2次元でも成り立つという顕著な特徴を持ち、古典的なトレースハーディー不等式とは異なり、Σ 上で絶縁境界条件を満たす熱方程式の長時間減衰を解析するのにも応用され、また Σ 上に弱い引力的 δ′-相互作用を有する場合の負の離散固有値の不在を示すのにも用いられる。

ABSTRACT

We obtain a trace Hardy inequality for the Euclidean space with a bounded cut $\Sigma\subset\mathbb R^d$, $d \ge 2$. In this novel geometric setting, the Hardy-type inequality non-typically holds also for $d = 2$. The respective Hardy weight is given in terms of the geodesic distance to the boundary of $\Sigma$. We provide its applications to the heat equation on $\mathbb R^d$ with an insulating cut at $\Sigma$ and to the Schr\"odinger operator with a $\delta'$-interaction supported on $\Sigma$. We also obtain generalizations of this trace Hardy inequality for a class of unbounded cuts.

研究の動機と目的

• d ≥ 2 における ℝᵈ において、有界で非閉じたカット Σ を持つ場合の、トレースのジャンプ [u]Σ = u|Σ+ − u|Σ− に対するトレースハーディー不等式を確立すること。ここで Σ は有界で向き付け可能で、リプシッツ的超曲面 Γ の相対的開部分集合である。
• 古典的なハーディー不等式の枠組みを、カットを伴う幾何的状況に拡張すること。重みは ∂Σ からの測地的距離に依存し、これにより d = 2 の次元でも不等式が成立可能となるようにする。
• 不等式を、Σ 上で絶縁境界条件（ノイマン条件）を満たす熱方程式に応用し、Σ を越える温度ジャンプの長時間減衰に対する上界を導出すること。
• Σ 上に特徴づけられるシュレーディンガー作用素の固有値性質を解析し、弱い引力的 δ′-相互作用に対して、負の離散固有値が存在しないことを証明すること。
• 適切な正則性および幾何的仮定の下で、不等式を非有界カット、特に錐型カットやメビウスの帯のような位相的に非自明なカットに一般化すること。

提案手法

• 有界カット Σ ⊂ Γ ⊂ ℝᵈ におけるジャンプ [u]Σ = u|Σ+ − u|Σ− に対するトレースハーディー不等式を定式化し、重みが ρΣ(x)⁻¹ に比例する形とし、ρΣ(x) は ∂Σ からの測地的距離を表す。
• カット付き領域におけるソボレフ空間論を用い、H¹(Ω±) におけるトレースの特徴づけを H¹/²(Γ \ Σ) に応用する。
• 局所化の議論により不等式を証明する：ℝᵈ を二重累乗の円環 Aj に分割し、全空間の推定を各 Aj 上の局所推定に還元し、有界ケースで用いたのと同じ手法を適用する。
• 錐型カットにおいて測地的距離 ρΣ とユークリッド距離 eρΣ の等価性を確立する。同次性を用いて、問題を固定された円環に還元する。
• 不等式を熱方程式に応用する際には、Σ を越える温度ジャンプの重み付き L²-ノルムを推定し、ρΣ⁻¹ 重みが決定的であることを示す。
• 不等式を用いて、有界で非閉じた Σ 上に弱い引力的 δ′-相互作用を持つ場合、負の離散固有値が生じないことを証明する。これは閉じた超曲面の場合とは対照的である。

実験結果

リサーチクエスチョン

• RQ1 d ≥ 2 における ℝᵈ において、有界で非閉じたカット Σ を持つ場合、∂Σ からの測地的距離に依存する重みを備えた、トレースのジャンプに対するトレースハーディー不等式を定式化できるか？
• RQ2 なぜこの幾何的状況では、古典的なトレース不等式とは異なり、d = 2 においてもトレースハーディー不等式が成立するのか？
• RQ3 ∂Σ に近づくと重み ρΣ⁻¹ が特異的になることにより、Σ 上で絶縁境界条件（ノイマン条件）を満たす熱方程式の解の長時間減衰にどのような影響が生じるか？
• RQ4 シュレーディンガー作用素に δ′-相互作用が Σ 上に特徴づけられる場合、トレースハーディー不等式からどのような固有値的結果が導かれるか？
• RQ5 錐型面やメビウスの帯のような位相的に非自明なカットのような非有界カットに対しても、この不等式を拡張できるか？

主な発見

• 有界で非閉じたカット Σ ⊂ ℝᵈ (d ≥ 2) に対して、∂Σ からの測地的距離 ρΣ(x) に依存する重み ρΣ(x)⁻¹ を備えたトレースハーディー不等式が確立された。
• この不等式は d = 2 においても成立するという、古典的なトレースハーディー不等式には見られない顕著な特徴を有する。これはカットが閉じていないことによるものである。
• Σ を除いた ℝᵈ 上の熱方程式において、Σ を越える温度ジャンプの L²-ノルムは、ρΣ⁻¹ 重みによって制御され、∂Σ に近づくほど減衰が速くなる。
• 不等式により、有界で非閉じた超曲面 Σ 上に特徴づけられる弱い引力的 δ′-相互作用は、負の離散固有値を生じないことが示唆される。これは閉じた超曲面の場合とは対照的である。
• 不等式は、非有界な錐型カット Σ ⊂ ℝᵈ (d ≥ 3) に一般化可能であり、重みは無限遠で |x′|⁻¹eρˆΣ(ˆx′)⁻¹ のように振る舞う。証明は、スケーリング不変性と局所化に依存する。
• メビウスの帯のような位相的に非自明なカットに対しても、領域を位相的に自明な部分に切り分けて、各部分の局所推定を足し合わせることで、全空間の不等式を回復できる。