시간 지연 파동 방정식 해의 명시적 스펙트럼 표현

초록

본 논문은 유한 구간에서 일정한 시간 지연을 갖는 1차원 선형 파동 방정식에 대해, 해를 스펙트럼(푸리에) 형태로 명시적으로 전개하는 방법을 제시한다. 시간 지연으로 인해 전역적인 C² 정칙성이 깨지므로, 해를 “단계별 고전적 해” 개념으로 정의하고, 변수분리와 Sturm‑Liouville 전개를 이용해 무한개의 지연 상미분 방정식으로 환원한다. 지연에 의존하는 코사인·사인 형태의 기본함수를 도입해 각 모드의 해를 닫힌 형태로 구하고, 급수의 균일 수렴 및 공간 미분에 대한 항별 연산 가능성을 증명한다. 마지막으로 수치 예제로 전개식의 실제 계산과 시각화를 보여준다.

상세 분석

이 논문은 시간 지연이 포함된 파동 방정식이 전통적인 해석 틀에서 겪는 정칙성 손실을 정확히 파악하고, 이를 보완하기 위해 “단계별 고전적 해(stepwise classical solution)”라는 새로운 해 개념을 도입한다. 이 정의에 따르면 해와 그 1차 시간 미분은 연속성을 유지하지만, 2차 시간 미분은 지연 격자점 t = kτ(k∈ℕ)에서 점프할 수 있다. 이러한 특성을 반영해, 저자는 먼저 u(t,x)=e^{−αx}v(t,x) 변환을 적용해 1차 공간 미분 항을 소거하고, a₁b₂=a₂b₁이라는 계수 관계 하에 방정식을 a₁²∂ₓₓv + a₂²∂ₓₓv(t−τ) + d₁v + d₂v(t−τ) + f 형태로 단순화한다. 이후 경계조건을 만족하도록 v를 세 부분(v₀, v₁, G)으로 분해하고, v₀는 동질 지연 파동 방정식, v₁은 강제 항을 포함한 지연 파동 방정식으로 각각 다룬다. Sturm‑Liouville 고유값 문제를 통해 λₙ=nπ/L, Xₙ(x)=sin(λₙx) 를 얻고, 각 모드에 대해 Tₙ(t) 가 다음 형태의 2차 지연 ODE를 만족한다:  ¨Tₙ(t)=−ωₙ²Tₙ(t)−νₙ²Tₙ(t−τ). 여기서 ωₙ, νₙ는 a₁, a₂, d₁, d₂ 및 λₙ에 의해 정의된다. 핵심은 이 스칼라 지연 ODE의 해를 지연 코사인 C_{a,b,τ}(t)와 지연 사인 S_{a,b,τ}(t) 라는 무한 급수 형태의 기본함수로 표현한 점이다. 저자는 이 함수들이 단계별 고전적 해의 정의를 만족하고, 초기·역사 데이터에 대해 Cauchy‑type 전개식을 제공함을 증명한다. 또한 급수 전개의 절대·균일 수렴 조건을 상세히 제시하여, 푸리에 급수와 그 공간 미분이 항별로 허용됨을 보인다. 마지막으로, 제한된 모드 수(N)만을 사용한 수치 시뮬레이션을 통해 해의 수렴성, 지연에 의한 파동 전파 특성, 그리고 경계·강제 항의 영향을 시각적으로 확인한다. 전체적으로, 이 연구는 지연 파동 방정식의 해를 명시적으로 구성하고, 수치 구현을 위한 이론적 기반을 견고히 제공한다는 점에서 의미가 크다.