[논문 리뷰] Application of Rothe's method to a nonlinear wave equation on graphs

Yong Lin, Yuanyuan Xie|arXiv (Cornell University)|2021. 08. 30.

Advanced Mathematical Physics Problems참고 문헌 13인용 수 4

한 줄 요약

이 논문은 Rothe의 방법과 에너지 추정을 사용하여 유한한 연결된 가중 그래프 위에서 비선형 항 $|u_t|^{p-1}u_t$ ($p > 1$) 를 포함한 비선형 파동 방정식의 전역 해의 존재성과 유일성을 확립한다. 주요 기여는 이전에 타원형 문제에만 적용된 Rothe의 방법을 강한 비선형 소산을 가진 초월 방정식에 확장하여 이산 그래프 구조에서 적용 가능하게 한 것이다. 외부 힘 항 $f$ 에 대한 호일더 연속성 조건 하에서 성립한다.

ABSTRACT

We study a nonlinear wave equation on finite connected weighted graphs. Using Rothe's and energy methods, we prove the existence and uniqueness of solution under certain assumption. For linear wave equation on graphs, Lin and Xie \cite{Lin-Xie} obtained the existence and uniqueness of solution. The main novelty of this paper is that the wave equation we considered has the nonlinear damping term $|u_t|^{p-1}\cdot u_t$ ($p>1$).

연구 동기 및 목표

• 유한한 가중 그래프 위에서 비선형 소산 항을 갖는 비선형 파동 방정식에 대한 전역 해의 존재성과 유일성을 확립하기.
• 이전에 타원형 방정식에 사용된 Rothe의 방법을 비선형 소산 항을 포함한 초월 문제에 대한 그래프 영역으로 확장하기.
• 외부 힘 항 $f$ 에 대한 호일더 연속성 조건 하에서 해의 거동 분석하기.
• 이산 그래프 구조에서 비선형 파동 역학을 위한 엄밀한 함수해석학적 프레임워크 제공하기.

제안 방법

• 시간을 $n$ 개의 등간격으로 이산화하고 각 시간 단계에서 타원형 유사 문제를 풀어 Rothe의 방법 적용하기.
• 시간에 대한 조각별 선형 보간 함수인 Rothe 함수 $u^{(n)}(t,x)$ 를 구성하여 해를 근사하기.
• 에너지 추정과 이산 도함수의 균일한 유계성 조건을 이용하여 약한 컴팩턴스를 통해 수렴하는 부분수열 추출하기.
• 그린의 공식과 이산 그래디언트 형식 $\Gamma(v_1,v_2)$ 를 활용하여 약한 공식에서 그래프 라플라스 연산자 $\Delta_\Omega$ 다루기.
• 지배 수렴 정리와 이산 노름의 수렴성을 활용하여 시간 이산화 방정식에서 극한으로 넘어가기.
• 비선형 소산 항 $|u_t|^{p-1}u_t$ 의 단조성 특성을 이용한 에너지 유형의 증명을 통해 유일성 입증하기.

실험 결과

연구 질문

• RQ1 비선형 소산 항 $|u_t|^{p-1}u_t$ 를 갖는 비선형 파동 방정식은 유한한 가중 그래프 위에서 전역 해를 갖는가?
• RQ2 Rothe의 방법은 그래프 영역에서 강한 비선형 소산을 포함한 초월 PDE를 다룰 수 있도록 적응 가능한가?
• RQ3 외부 힘 항 $f$ 에 대해 어떤 정규성 조건이 성립할 경우 해가 전역적으로 정의되는가?
• RQ4 비선형 소산 항이 존재할 경우 해는 유일한가?

주요 결과

• 외부 힘 항에 대한 호일더 연속성 조건 $\|f(s_1,\cdot) - f(s_2,\cdot)\|_{L^2(\Omega^\circ)} \leq C_{\Omega^\circ} |s_1 - s_2|^\gamma$ 하에서 문제 (1.1) 은 유일한 전역 해를 갖는다.
• 해 $u$ 는 시간에 대해 두 번 연속 미분 가능하며, 초기 조건과 경계 조건을 고전적 의미에서 만족한다.
• Rothe 함수 $u^{(n)}$ 이 $L^2$-기반 에너지 공간에서 극한 해 $u$ 로 수렴함을 확립하였으며, $u_t$ 와 $u_{tt}$ 는 약한 수렴을 보인다.
• 유일성 증명은 비선형 소산 항의 단조성에 기반한다: $p > 1$ 에 대해 $(u_t - \tilde{u}_t)(|u_t|^{p-1}u_t - |\tilde{u}_t|^{p-1}\tilde{u}_t) \geq 0$.
• 운동 에너지와 기울기 에너지를 포함하는 에너지 함수 $G(t)$ 는 비증가하며, 초기에 영이 되므로 두 해의 차이에 대해 $\varphi \equiv 0$ 임을 의미한다.
• 이 방법은 선형 소산보다 존재성 증명을 복잡하게 만드는 소산 항의 비선형성을 효과적으로 다룰 수 있다.