[논문 리뷰] Spectral portraits and the resolvent growth of a model problem associated with the Orr--Sommerfeld equation

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

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 → ∞ 근사에서 오르-쇠머펠드 방정식의 근사로 사용하기 위해, ε² = (αR)⁻¹ 이고 딜리클레 경계 조건을 가진 모델 문제 −iε²z'' + q(x)z = λz 를 도입한다.
• γ₊, γ₋, γ∞를 각각 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^{η/ε} 를 만족하며, 이는 지수적 증가를 나타낸다.
• Γ로 둘러싸인 도메인 Ω의 컴acts부분에 속한 모든 λ 에 대해 해석적 노름 ||(L−λ)⁻¹|| 이 적어도 e^{τ/ε} 만큼 증가하므로, 편미분 스펙트럼이 Ω를 메운다.
• 동일한 지수적 해석적 성장과 리에즈 상수 유계화 조건이 소볼레프 공간 Ẇ₁²[−1,1] 내의 연산자 S 에 대해서도 성립함을 확인하여, 원래 오르-쇠머펠드 문제의 편미분 스펙트럼 지배성이 확인된다.