[논문 리뷰] Examples of very unstable linear partial functional differential equations

Р. С. Исмагилов, Н. А. Раутиан외 1명|arXiv (Cornell University)|2014. 02. 17.

Advanced Mathematical Modeling in Engineering참고 문헌 4인용 수 4

한 줄 요약

이 논문은 라플라스 연산자에 지연이 포함된 선형 부분 함수 미분방정식이 스펙트럼에 실수부가 무한대로 발산하는 고유값을 포함함으로써 극도로 불안정하다는 것을 보여준다. 푸리에 분석과 특성 퀘이지다항식을 이용하여, 지연된 열 방정식, 지연된 파동 방정식, 그리고 왜곡된 지연된 파동 방정식과 같은 방정식들이 불안정한 스펙트럼 구조를 지닌다는 것을 증명한다. 이는 표준 타원형 및 쌍곡형 방정식의 안정적인 스펙트럼과 뚜렷하게 대비된다.

ABSTRACT

We consider the examples of partial functional differential equations with delay in the Laplacian. First of these equations is linear parabolic equation, the second one is linear hyperbolic equation, third equation is perturbed hyperbolic equation with delay. We show that there are the sequence of eigenvalues in both cases with real parts tends to plus infinity.

연구 동기 및 목표

• 라플라스 연산자에 지연이 포함된 부분 함수 미분방정식이 극도로 불안정한 스펙트럼 특성을 보임을 보여주는 것.
• 시간 지연이 있는 PDE의 스펙트럼 행동을 고전적 타원형 및 쌍곡형 방정식과 대조하는 것.
• 지연된 PDE에서 유도된 특성 퀘이지다항식의 고유값의 점근적 분포를 분석하는 것.
• 이러한 지연된 방정식의 초기값 문제를 해결하기 위해 표준 가중치를 가진 소볼레프 공간이 부적합하다는 것을 보여주는 것.
• 지연된 방정식의 스펙트럼이 실수부가 +∞로 발산하는 고유값을 가질 수 있음을 입증하여 근본적인 불안정성을 나타내는 것.

제안 방법

• 공간 영역 (0, π)에서 해를 고유함수 전개로 분해하기 위해 푸리에 방법을 적용하여 PDE를 무한한 일반 지연 미분방정식 시스템으로 환원하는 것.
• 각 방정식에 대한 특성 퀘이지다항식 유도: 타원형의 경우 λ + n²e^(-λh) = 0, 쌍곡형의 경우 λ² + n²e^(-λh) = 0, 왜곡된 쌍곡형의 경우 λ² + n²(1 + e^(-λh)) = 0.
• 복소해석학 및 점근 해석을 이용하여 특성 퀘이지다항식의 복소평면 상의 근의 위치를 연구하는 것.
• 레마 1을 적용하여 큰 |w|에서 w를 중심으로 한 원판 내에서 λ + b·lnλ = w에 대한 유일한 해 λ(w)가 존재함을 증명하고, 고유값의 점근 해석을 가능하게 하는 것.
• n → ∞일 때 고유값의 점근적 행동을 분석하여 실수부가 ln(n²) − ln|π/2 + 2πk| + o(1/|k|)로 로그적으로 증가함을 보이는 것.
• 지연된 방정식의 스펙트럼 구조를 고전적 맥스웰-카타네오 방정식 및 지연이 없는 방정식과 비교하여 안정성 측면에서의 정성적 차이를 부각하는 것.

실험 결과

연구 질문

• RQ1 라플라스 연산자에 지연이 포함된 선형 부분 함수 미분방정식은 스펙트럼 불안정성을 보이는가?
• RQ2 지연된 열 방정식의 스펙트럼은 표준 타원형 방정식과 어떻게 다를까?
• RQ3 지연된 파동형 타입 방정식의 고유값 실수부는 +∞로 발산할 수 있는가?
• RQ4 왜 표준 가중치를 가진 소볼레프 공간 W_{2,γ}^1(R_+, A²)는 이러한 지연된 PDE의 초기값 문제를 해결하지 못하는가?
• RQ5 n → ∞일 때 지연된 PDE의 특성 퀘이지다항식의 고유값 점근적 행동은 어떠한가?

주요 결과

• 지연된 열 방정식의 특성 퀘이지다항식 λ + n²e^(-λh) = 0은 실수부가 Re(λ_nk) = ln(n²) − ln|π/2 + 2πk| + o(1/|k|)를 만족하는 고유값 λ_nk를 가지며, 이는 k → ∞일 때 무한히 증가할 수 있다.
• 지연된 파동 방정식 λ² + n²e^(-λh) = 0의 경우, 특정 수열을 따라 고유값의 실수부도 +∞로 발산하여 극도로 불안정함을 나타낸다.
• 왜곡된 지연된 파동 방정식 λ² + n²(1 + e^(-λh)) = 0는 어떤 ω > 0에 대해서도 고유값이 왼쪽 반평면 {Re λ ≤ ω}에 머무르므로 안정적인 스펙트럼을 지닌다. 이는 다른 두 방정식과 대조된다.
• 지연된 열 방정식의 고유값 점근 전개는 Re(λ_nk) ~ ln(n²) − ln|π/2 + 2πk|로 나타나며, 이는 |k|가 증가함에 따라 발산한다.
• 지연된 방정식 (3)의 스펙트럼은 고전적 맥스웰-카타네오 방정식 (1)과 구조적으로 다름을 보이며, 후자는 오른쪽 반평면으로 고유값이 퍼져 있음을 나타낸다.
• 표준 가중치 소볼레프 공간 W_{2,γ}^1(R_+, A²)가 해를 포함하지 못하는 이유는 라플라스 변환의 해석성이 Re λ > γ에서 성립하기 때문이며, 이는 실수부가 +∞로 발산하는 고유값을 수용할 수 없다.