[論文レビュー] Spectral portraits and the resolvent growth of a model problem associated with the Orr--Sommerfeld equation

А. А. Шкаликов|ArXiv.org|Jun 24, 2003

Numerical methods in inverse problems参考文献 4被引用数 5

ひとこと要約

本稿は、高レイノルズ数極限におけるオール・ゾンマーフェルト方程式から導かれたモデル問題のスペクトル挙動および解束の成長を分析する。WKB型近似と複素解析を用いて、固有値が三つの曲線 γ₊、γ₋、γ∞ からなる限界スペクトル図形 Γ に集中することを証明した。固有値の数え上げ関数は振動積分によって支配される。固有基底のリエス定数は指数関数的に増大し、これは擬スペクトルが領域 Ω のほぼ全域を占めるということを示し、トレフェンとレディ＝アル等の数値的観察を裏付けている。

ABSTRACT

A model problem of the form -iεy''+q(x)y=λy, y(-1)=y(1)=0, is associated with well-known in hydrodynamics Orr--Sommerfeld operator. Here (λ) is the spectral parameter, (ε) is the small parameter which is proportional to the viscocity of the liquid and to the reciprocal of the Reynolds number, and (q(x)) is the velocity of the stationary flow of the liquid in the channel (|x|\leqslant 1). We study the behaviour of the spectrum of the corresponding model operator as (ε o 0) with monotonous analytic functions. We assert that the sets of the accumulation points of the spectra (the limit spectral graphs) of the model and the corresponding Orr--Sommerfeld operators coincide as well as the main terms of the counting eigenvalue functions along the curves of the graphs. We prove the estimate from below for the resolvent of the operator (L(ε)) associated with the model problem. It turns out that the resolvent grows exponentially with respect to (ε) provided that the spectral parameter varies at some compacts belonging to the numerical range of the operator.

研究の動機と目的

• レイノルズ数 R → ∞ のとき、オール・ゾンマーフェルト方程式のスペクトル挙動を理解すること。
• 高レイノルズ数極限における関連作用素の解束の成長および擬スペクトル的性質を分析すること。
• 特徴的行列式の漸近挙動を通じて、モデル問題と元のオール・ゾンマーフェルト問題との間の厳密な関係を確立すること。
• 限界スペクトル図形 Γ およびその成分 γ₊、γ₋、γ∞ に沿った固有値の分布を特徴づけること。
• リエス定数および解束ノルムに対する指数的下界を証明し、擬スペクトル優位性を確認すること。

提案手法

• オール・ゾンマーフェルト方程式の R → ∞ における近似として、ディリクレ境界条件を伴うモデル問題 −iε²z'' + q(x)z = λz を導入する。ここで ε² = (αR)⁻¹ である。
• スペクトル曲線 γ₊、γ₋、γ∞ を、それぞれ Re Q₊(λ)、Re Q₋(λ)、Re Q(λ) の零点集合として定義する。ここで Q₊、Q₋、Q は √i(q(ξ)−λ) を含む複素積分である。
• 解析性および単調性の仮定（q ∈ AM）を用いて、スペクトル方程式の解の存在および一意性、および曲線の適切な定義を保証する。
• επ(k−1/4) および επk をそれぞれ γ₊、γ₋、γ∞ に沿うボール・ゾンマーフェルト型の量子化条件を用いて、固有値の数え上げ関数を確立する。
• オール・ゾンマーフェルト問題の特徴的行列式が、非消滅係数を除き、Γ の δ-近傍外では O(ε) の誤差でモデル問題のそれと漸近的に同値であることを示す。
• リエス基底理論およびグラム行列解析を用いて、リエス定数 C(ε) = ||T||·||T⁻¹|| を評価し、擬スペクトル解析を通じて解束ノルムに対する指数的下界を導出する。

実験結果

リサーチクエスチョン

• RQ1 レイノルズ数 R → ∞ のとき、オール・ゾンマーフェルト問題の固有値はどのように振る舞うか？
• RQ2 高レイノルズ数極限における限界スペクトル図形 Γ は何か？ その上に固有値が集中する。
• RQ3 ε = (αR)⁻¹/² に従って、γ₊、γ₋、γ∞ に沿った固有値の数え上げ関数はどのようにスケーリングされるか？
• RQ4 モデル問題の固有基底に関連するリエス定数 C(ε) の成長率は何か？
• RQ5 オール・ゾンマーフェルトおよびモデル作用素の擬スペクトルは、Γ で囲まれた領域 Ω のどの程度を占めるか？

主な発見

• ε → 0 のとき、モデル問題のスペクトルは Γ = γ₊ ∪ γ₋ ∪ γ∞ に集中する。十分に小さい ε に対して、Γ の任意の δ-近傍外には固有値が存在しない。
• γ₊、γ₋、γ∞ に近い固有値は、それぞれ ∫√i(q(ξ)−λ)dξ = επ(k−1/4) および ∫√i(q(ξ)−λ)dξ = επk の量子化条件によって決定される。
• 固有値の数え上げ関数は、N₊(λ) = (1/iπε)∫ξλ¹ √i(q(ξ)−λ)dξ + O(1) を満たし、ε → 0 のとき O(1) 項は一様に有界である。
• モデル問題の固有基底のリエス定数 C(ε) は、ある η > 0 を用いて C(ε) ≥ e^{η/ε} を満たし、指数的増大を示す。
• Γ で囲まれた領域 Ω のコンパクト部分集合内のすべての λ に対して、解束ノルム ||(L−λ)⁻¹|| は少なくとも e^{τ/ε} の割合で増大する。これは擬スペクトルが Ω を埋めるということを示唆する。
• 同様の指数的解束ノルム増大およびリエス定数の下界は、ソボレフ空間 Ẇ₁²[−1,1] における作用素 S に対しても成り立ち、元のオール・ゾンマーフェルト問題における擬スペクトル優位性を確認する。