[论文解读] 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 → ∞ 时奥尔–索默菲尔德方程的谱行为。
• 分析关联算子在高雷诺数极限下的预解式增长与伪谱性质。
• 通过特征行列式渐近分析，建立模型问题与原始奥尔–索默菲尔德问题之间的严格联系。
• 表征极限谱图 Γ 及其分量 γ₊、γ₋ 和 γ∞ 上的特征值分布。
• 证明里埃斯常数与预解式范数的指数下界，确认伪谱主导性。

提出的方法

• 引入模型问题 −iε²z'' + q(x)z = λz 及其狄利克雷边界条件，其中 ε² = (αR)⁻¹，作为 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)，其中 O(1) 在 ε → 0 时一致有界。
• 模型问题特征基的里埃斯常数 C(ε) 满足 C(ε) ≥ e^{η/ε}（η > 0），表明其呈指数增长。
• 对由 Γ 围成的区域 Ω 内的任意紧子集中的所有 λ，预解式范数 ||(L−λ)⁻¹|| 至少以 e^{τ/ε} 的速率增长，意味着伪谱填满 Ω。
• 在索伯列夫空间 Ẇ₁²[−1,1] 中，算子 S 的相同指数预解式增长与里埃斯常数界成立，证实了原始奥尔–索默菲尔德问题的伪谱主导性。