[論文レビュー] Behavior as $t ightarrow \infty$ of Solutions of a problem in Mathematical Physics

S. D. Troitskaya|arXiv (Cornell University)|Mar 31, 2016

Algebraic and Geometric Analysis参考文献 23被引用数 11

ひとこと要約

本稿は、角を持つ三角形領域における理想回転流体の微小振動をモデル化する2次元のポincare–ソボレフ方程式に対する明示的解を構成する。関連する作用素Aのスペクトル解析を用いて、L²ノルムが任意の負のべきよりも速く時間tに対して減少する解の存在を証明し、t → ∞のときエネルギーが頂点付近に集中することを示す。これは作用素Aの純粋連続スペクトルに起因する非ほぼ周期的かつ減衰的挙動を示している。

ABSTRACT

A class of solutions, decaying as $t ightarrow \infty$, of a two-dimensional model problem on the oscillations of an ideal rotating fluid in some domains with angular points is constructed explicitly. The existence of solutions whose $L_2$-norms decrease more rapidly than any negative power of $t$, is established.

研究の動機と目的

• 角を持つ有界領域における回転理想流体をモデル化するポincare–ソボレフ方程式の解の長時間挙動を解析すること。
• 特にスペクトルが純粋連続である領域における、方程式に関連する作用素Aのスペクトル構造を調査すること。
• 任意の負のべきよりも速くL²ノルムが減少する明示的解を構成すること。
• このような解のエネルギーがt → ∞のとき、任意に小さな領域の頂点付近に集中することを示すこと。
• 本手法を、類似したスペクトル的および減衰的性質を有する角を持つ曲線境界を有するより一般の領域に拡張できることを示すこと。

提案手法

• Sobolev空間W⁷₁₂(D)上での自己共役かつ有界作用素Aを用いて、初期境界値問題を抽象的コーシー問題として定式化する。
• ラプラシアンと2階y微分を含む変分問題を定義し、AをH¹内積に関して自己共役に保証する。
• 三角形領域の幾何的性質を活用して、λ ∈ (0, (1+α²)−¹) に対してスペクトル方程式Aφ = λφの微分的解を構成する。
• 連続スペクトル上のフーリエ型積分を用いて、p(x,y;t) = ∫ cos(√λ t) σₐ(λ) u(x,y;λ) dλ の形の時刻依存解を構築する。
• 部分積分とL²推定を適用し、解の時間微分がO(1/t)のオーダーで減少することを示す。これにより、L²ノルムが任意の負のべきよりも速く減少することが示される。
• エネルギー集中を解析するため、頂点OおよびBの近傍におけるL²ノルムを収縮する領域で推定し、t → ∞のときエネルギーがそれらに蓄積されることを示す。

実験結果

リサーチクエスチョン

• RQ1 純粋連続スペクトルを有する三角形領域におけるポincare–ソボレフ方程式に対して、明示的解を構成できるか？
• RQ2 このような領域において、L²ノルムが任意の負のべきよりも速く減少する解が存在するか？
• RQ3 流体のエネルギーは時間とともにどのように変化し、t → ∞のときどこに局在化するか？
• RQ4 微分的スペクトル解を構成する手法を、角を持つより一般の領域に拡張できるか？
• RQ5 領域の幾何的性質が、流体振動の長時間挙動をどのように決定するか？

主な発見

• 三角形領域におけるポincare–ソボレフ方程式の解は、任意の負のべきよりも速くL²ノルムが減少し、非ほぼ周期的挙動を示す。
• 作用素Aのスペクトルは区間(0, (1+α²)−¹)上で純粋連続であり、構成された解はこの連続スペクトルに関連している。
• t → ∞のとき、解のエネルギーは頂点OおよびBの任意に小さな近傍に集中する。その集中の位置はスペクトル表現における初期データの台に依存する。
• 解の時間微分のL²ノルムはO(1/t)のオーダーで減少し、これは解のエネルギーが任意の負のべきよりも速く減少することを示唆する。
• スペクトル方程式の微分的解を構成する手法は、特性光線が角内に反射する条件を満たす曲線境界を有する領域へ拡張可能である。
• 初期データが(0, (1+α²)−¹)に台を持つ場合、エネルギーは頂点O付近に集中する。初期データが((1+α²)−¹, 1)に台を持つ場合、エネルギーは頂点B付近に集中する。