[논문 리뷰] The existence of the solution of the wave equation on graphs

Yong Lin, Yuanyuan Xie|arXiv (Cornell University)|2019. 08. 06.

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

한 줄 요약

이 논문은 Rothe의 방법을 사용하여 유한 가중 그래프 위에서 비동차 파동방정식의 해가 존재하고 유일함을 증명한다. 시간을 이산화하고 시간 차분 몫을 통해 근사해를 구성함으로써, 외력 항에 대한 Hölder 연속성 조건 하에서 해가 고전적 해로 수렴함을 증명하며, 고전적 PDE 이론을 디지털 그래프 구조로 확장한다. Dirichlet 경계 조건을 갖는다.

ABSTRACT

Let $G=(V, E)$ be a finite weighted graph, and $Ω\subseteq V$ be a domain such that $Ω^\circ eq\emptyset$. In this paper, we study the following initial boundary problem for the non-homogenous wave equation \begin{equation*} \left\{ \begin{aligned} &\partial_t^2 u(t,x)-Δ_Ωu(t,x)=f(t,x),\qquad&&(t,x)\in[0,\infty) imes Ω^\circ,\\ &u(0,x)=g(x),\qquad&& x\inΩ^\circ,\\ &\partial_tu(0,x)=h(x),\qquad&& x\inΩ^\circ,\\ &u(t,x)=0,\qquad&&(t,x)\in[0,\infty) imes\partial Ω, \end{aligned} ight. \end{equation*} where $Δ_Ω$ denotes the Dirichlet Laplacian on $Ω^\circ$. Using Rothe's method, we prove that the above wave equation has a unique solution.

연구 동기 및 목표

• 유한 가중 그래프 위에서 비동차 파동방정식의 초기경계값 문제에 대한 해의 존재성과 유일성을 확립하기 위해.
• 변분법과 시간 이산화 기법을 사용하여 만연체 위의 고전적 PDE 이론을 이산 그래프 구조로 확장하기 위해.
• 변분법을 쌍곡형 방정식에 직접 적용할 수 없는 문제를 해결하기 위해 Rothe의 방법을 구축적 접근 수 Mittel로 활용하기 위해.
• 조합적 그래프에서 Dirichlet 경계 조건을 갖는 파동 전파에 대한 엄밀한 분석적 프레임워크를 제공하기 위해.

제안 방법

• 시간을 균일한 간격 $ \ell = T/n $ 으로 이산화하고, 시간 도함수를 후진 차분 몫 $ \delta u_{n,i} $ 와 $ \delta^2 u_{n,i} $ 로 근사함으로써 Rothe의 방법을 적용함.
• 해와 그 시간 도함수를 근사하기 위해 조각상수 및 조각선형 Rothe 함수 $ u^{(n)}(t,x) $ 와 $ \overline{u}^{(n)}(t,x) $ 를 구성함.
• 이산 문제의 약한 공식화를 사용하고 $ L^2 $-기반 소볼레프 공간에서 일관된 유계성을 도출하여 수렴하는 부분수열을 추출함.
• 점근적 수렴을 위해 도미네이티드 수렴 정리와 그래프 위의 Dirichlet 라플라시안의 성질을 활용함.
• 정규직교 고유함수 $ \{\varphi_k\} $ 를 사용한 Dirichlet 라플라시안의 스펙트럼 분해를 기반으로 하여 정리 1.4에서 명시적 해 공식을 유도함.
• 에너지 방법을 사용하여 동차 문제의 유일한 해가 자명하다는 것을 보이며, 에너지 함수 $ e(t) = \int_\Omega |\nabla w|^2 d\mu + \int_{\Omega^\circ} |\partial_t w|^2 d\mu $ 를 이용함.

실험 결과

연구 질문

• RQ1 외력 항 $ f(t,x) $ 가 시간에 대해 충분히 연속적일 경우, 유한 가중 그래프 위에서 Dirichlet 경계 조건을 갖는 비동차 파동방정식은 고전적 해를 유일하게 갖는가?
• RQ2 이전에 타원형 문제에 성공적으로 적용된 바 있는 Rothe의 방법이, 이산 그래프 영역의 쌍곡형 방정식에 성공적으로 적용될 수 있는가?
• RQ3 외력 항 $ f(t,x) $ 가 어떤 조건을 만족해야 Rothe 근사 수열이 해로 수렴하는가?
• RQ4 그래프 위의 Dirichlet 라플라시안의 스펙트럼 구조가 해의 명시적 형태에 어떤 영향을 미치는가?
• RQ5 주어진 초기 및 경계 조건 하에서 그래프 위의 파동방정식 해는 유일한가?

주요 결과

• 외력 항 $ f(t,x) $ 가 시간에 대해 Hölder 연속성을 만족할 경우, 즉 $ \|f(t,\cdot) - f(s,\cdot)\|_{L^2(\Omega^\circ)} \leq c|t-s|^\alpha $ 를 만족할 경우, $ \alpha > 0 $ 이면, 유한 가중 그래프 위에서 Dirichlet 경계 조건을 갖는 파동방정식은 유일한 해를 갖는다.
• 해는 Rothe의 방법을 통해 구성되며, 시간 이산화 근사가 $ C^1 $-노름에서 고전적 해로 수렴하며, 이는 시간에 대해 두 번 연속 미분 가능하다.
• 외력 항이 $ f(t,x) = \sum_{k=1}^N b_k(t)\varphi_k(x) $ 의 형태일 경우, 해는 고유값 $ \sqrt{\lambda_k} $ 의 사인 및余弦 함수를 포함한 모드 성분의 초월적 중첩으로 명시적으로 주어진다.
• 두 해의 차이에 대응하는 에너지 함수 $ e(t) $ 는 항등적으로 0이 되며, 기울기와 시간 도함수 항이 모두 0이 되므로 유일성이 증명된다.
• 이 방법은 내부 영역 $ \Omega^\circ $ 가 비어 있지 않은 임의의 유한 가중 그래프에 적용 가능하며, 해는 모든 $ t \geq 0 $ 에 대해 경계 조건 $ u(t,x) = 0 $ 를 만족한다.
• 결과는 고전적 파동방정식 이론을 이산 그래프 영역으로 일반화하며, 네트워크 및 조합적 구조에서의 파동 전파 연구를 위한 기초를 제공한다.