[논문 리뷰] Representation of Classical Solutions to a Linear Wave Equation with Pure Delay

D. Ya. Khusainov, Michael Pokojovy외 1명|arXiv (Cornell University)|2014. 01. 22.

Stability and Controllability of Differential Equations참고 문헌 9인용 수 5

한 줄 요약

이 논문은 푸리에 급수와 지연 sine/cosine 함수를 사용하여 순수 지연을 가진 1차원 선형 파동방정식의 고전적 해의 유일 존재성과 명시적 표현을 확립한다. 초기/데이터 함수의 부드러움과 감쇠 조건 하에서 해 급수의 절대 수렴성과 균일 수렴성을 증명하였으며, 약한 외삽 노름에서의 연속적 의존성도 제시한다.

ABSTRACT

For a wave equation with pure delay, we study an inhomogeneous initial-boundary value problem in a bounded 1D domain. Under smoothness assumptions, we prove unique existence of classical solutions for any given finite time horizon and give their explicit representation. Continuous dependence on the data in a weak extrapolated norm is also shown.

연구 동기 및 목표

• 유계 1차원 영역 내 순수 지연을 가진 선형 파동방정식에 대한 고전적 해의 존재성과 유일성을 확립하기 위해.
• 지연 sine 및 cosine 함수를 포함한 푸리에 급수 형태로 해의 명시적 표현을 유도하기 위해.
• 초기 및 경계 데이터의 푸리에 계수에 대한 충분한 감쇠 조건 하에서 해 급수의 절대 수렴성과 균일 수렴성을 증명하기 위해.
• 약한 외삽 노름에서 초기, 경계 및 비동차 데이터에 대한 해의 연속적 의존성을 보여주기 위해.
• 해의 정규성과 호환성을 확보하기 위해 데이터에 대해 고차수 소볼레프 유형 조건을 적용하기 위해.

제안 방법

• 문제를 공간 고유함수와 시간 지연 상미분 방정식으로 분해하기 위해 푸리에의 분리변수법을 적용한다.
• 재귀적 급수 전개를 통해 정의된 지연 sine 및 cosine 함수를 도입하고, 이를 활용하여 지연된 시간 역학을 해결한다.
• 원래 문제를 연산자 $\mathcal{A} = a^2\partial_x^2 + b\partial_x + d$ 가 유계인 외삽 힐버트 공간 $X$ 내의 등가 시스템으로 변환한다.
• 지연 항을 처리하기 위해 역사 변수 $z(s,t,x) = w(t-s,x)$ 를 정의하고, $X$-노름에서 에너지 유형 추정을 유도한다.
• 초기 자료, 初속도 및 비동차 소스 항에 해당하는 세 개의 급수 $S_1$, $S_2$, $S_3$ 로 구성된 해를 구성한다.
• 중간값 정리와 지연 함수의 다항식 근사법을 적용하여 푸리에 계수의 감쇠를 추정하고 균일 수렴성을 보장한다.

실험 결과

연구 질문

• RQ1 유계 1차원 영역 내 순수 지연을 가진 선형 파동방정식에 대해 고전적 해가 존재하기 위한 조건은 무엇인가?
• RQ2 해는 지연 함수를 포함한 푸리에 급수 형태로 어떻게 명시적으로 표현할 수 있는가?
• RQ3 초기 및 경계 데이터의 푸리에 계수에 대해 어떤 감쇠 조건이 해 급수의 절대 수렴성과 균일 수렴성을 보장하는가?
• RQ4 약한 외삽 노름에서 해는 초기, 경계 및 비동차 데이터에 대해 어떻게 연속적으로 의존하는가?
• RQ5 해의 2차까지의 도함수들이 잘 정의되고 연속이 되기 위해 데이터에 요구되는 정규성 및 호환성 조건은 무엇인가?

주요 결과

• 주어진 초기경계값 문제에 대해 유일한 고전적 해가 임의의 유한 시간 간격 $[0,T]$ 에서 존재한다.
• 해는 명시적 푸리에 급수 표현을 가진다: $\xi(t,x) = S_1(t,x) + S_2(t,x) + S_3(t,x) + G(t,x)$, 각 성분은 서로 다른 자료 원천에 대응한다.
• 초기 자료의 푸리에 계수가 $\lim_{n\to\infty} (|\Phi_n(-\tau)| + |\dot{\Phi}_n(-\tau)|)n^{2k+3+\alpha} = 0$ 를 만족할 경우, 급수 $S_1$, $S_2$, $S_3$ 는 절대 수렴성과 균일 수렴성을 보인다.
• 해와 그 2차까지의 도함수의 균일 수렴성이 보장되려면 고차수 호환성 및 감쇠 조건, 예를 들어 $\lim_{n\to\infty} \max_{s\in[-\tau,0]}|\ddot{\Phi}_n(s)|n^{2m+3+\alpha} = 0$ 이 성립해야 한다.
• 해는 약한 외삽 노름 $\|\cdot\|_X$ 에서 데이터에 대해 연속적으로 의존하며, 이에 대한 상한은 $a, b, d, l, \tau, T$ 및 데이터의 $L^2$-노름 뿐만 아니라 그 외의 요소에 의존하지 않는다.
• 외삽 노름에서의 에너지 추정은 안정성을 보장하며, 초기, 경계 및 외부 힘 자료에 대한 해의 성장에 대한 정량적 경계를 제공한다.