[논문 리뷰] Explicit representation of solutions to a linear wave equation with time delay

Javad A. Asadzade, Jasarat J. Gasimov외 2명|arXiv (Cornell University)|2026. 02. 05.

Stability and Controllability of Differential Equations인용 수 0

한 줄 요약

논문은 유한 구간에서 일정 시간 지연을 가지는 1차원 선형 파동 방정식 해에 대한 명시적 스펙트럴 표현을 변수분리, Sturm–Liouville 이론 및 지연 기초해를 사용하여 도출하고, 수렴을 증명하며 수치 예를 제공합니다.

ABSTRACT

This paper develops an explicit spectral representation for solutions of a one-dimensional linear wave equation with a constant time delay. The model is considered on a bounded interval with non-homogeneous Dirichlet boundary data and a prescribed history function. To accommodate the loss of global smoothness in time caused by delay terms, solutions are understood in a extit{stepwise classical sense}, allowing jump discontinuities in the second time derivative at multiples of the delay while maintaining continuity of the solution and its first time derivative. By combining separation of variables with Sturm-Liouville expansions, the delayed PDE is reduced to a family of scalar second-order delay differential equations. Using delay-dependent fundamental solutions, we derive closed-form representation formulas for the modal dynamics and reconstruct the PDE solution as a Fourier series. Convergence conditions guaranteeing uniform convergence and admissibility of termwise differentiation in space are established. A numerical example demonstrates the practical computation of truncated series solutions and their visualization.

연구 동기 및 목표

• 지연 반응을 보이는 매체에서의 파동 전파 연구의 동기 부여와 그것이 해의 규칙성 및 안정성에 미치는 영향.
• 단일 시간 지연과 비동질 경계 데이터가 있는 1D 선형 파동 방정식에 대한 명시적 해석적 해 프레임워크를 개발.
• 변수분리와 Sturm–Liouville 확장을 통해 지연 편미분방정식을 가산 가능한 스칼라 지연 미분방정식의 집합으로 환원한다.
• 지연에 적응한 기초해를 구성하고 균질 및 비동질 문제에 대한 닫힌 형태의 모드 표현을 도출한다.
• 수렴 기준을 확립하고 잘라진 Fourier 시리즈를 통한 수치 평가를 정당화한다.

제안 방법

• 시간 지연과 두 번째 시간 미분에서의 불연속성 가능성을 다루기 위해 단계별 고전적 해법 프레임워크를 적용한다.
• 일치 조건 하에서 지수 변환을 사용하여 1차 공간 도함수를 제거한다.
• 특이값 λn = nπ/L을 갖는 Fourier 모드에 대해 PDE를 스칼라 지연 미분방정식으로 환원한다.
• 지연된 ODE의 기초해로 Cτ^{a,b}와 Sτ^{a,b}라는 지연 섭동 함수들을 도입한다.
• 균질 및 강제 모드 동역학에 대한 명시적 표현을 얻고 해를 Fourier 시리즈로 재구성한다.
• Fourier 시리즈의 절대 수렴과 균일 수렴을 증명하고 공간에 대한 항별 미분의 타당성을 보인다.

실험 결과

연구 질문

• RQ1 비동질 경계 조건을 갖는 지연된 1D 파동 방정식 해의 명시적 표현을 어떻게 얻을 수 있는가?
• RQ2 Fourier 시리즈 표현과 항별 미분이 유효하게 되도록 하는 수렴 조건은 무엇인가?
• RQ3 지연 항이 모드 동역학과 해의 규칙성에 어떤 영향을 미치며, 이를 분석적으로 어떻게 다룰 수 있는가?
• RQ4 제안된 프레임워크 내에서 순수 지연 모델을 특수한 경우로 회수할 수 있는가?

주요 결과

• 해에 대한 명시적 Fourier 시리즈 기반 표현이 얻어지며 각 Fourier 모드는 2차 지연 미분방정식에 의해 지배된다.
• 지연 섭동 프레임워크(Cτ^{a,b}, Sτ^{a,b})가 고전 코사인/사인 기초해를 지연 설정으로 일반화한다.
• 시리즈의 절대 수렴 및 균일 수렴을 보장하고 항별 공간 미분의 적합성을 확보하는 수렴 조건이 확립된다.
• 방법은 v = v0 + v1 + G의 분해를 통해 비동질 Dirichlet 경계 데이터와 사전 기록을 수용한다.
• 수치 예는 잘려진 시리즈 해의 계산과 결과의 시각화를 보여준다.