[논문 리뷰] On existence and uniqueness of solutions for semilinear fractional wave equations

Yavar Kian, Masahiro Yamamoto|arXiv (Cornell University)|2015. 10. 12.

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

한 줄 요약

이 논문은 $\alpha \in (1,2)$ 인 Caputo 시간 도함수를 갖는 반선형 분수파동방정식에 대해, 선형 문제의 성질에 기반한 새로운 약한 해 정의를 통해 국소적 약한 해의 존재성과 유일성을 확립한다. 주요 결과로는 초기 데이터 크기에 따라 존재 시간이 명시적으로 의존하며, 초기 데이터가 작을수록 더 긴 존재 시간을 가지는 것으로 나타났다. 이는 적절한 비선형 성장 조건 하에서 성립한다.

ABSTRACT

Let $Ω$ be a $\mathcal C^2$-bounded domain of $\mathbb R^d$, $d=2,3$, and fix $Q=(0,T) imesΩ$ with $T\in(0,+\infty]$. In the present paper we consider a Dirichlet initial-boundary value problem associated to the semilinear fractional wave equation $\partial_t^αu+\mathcal A u=f_b(u)$ in $Q$ where $11$. We first provide a definition of local weak solutions of this problem by applying some properties of the associated linear equation $\partial_t^αu+\mathcal A u=f(t,x)$ in $Q$. Then, we prove existence of local solutions of the semilinear fractional wave equation for some suitable values of $b>1$. Moreover, we obtain an explicit dependence of the time of existence of solutions with respect to the initial data that allows longer time of existence for small initial data.

연구 동기 및 목표

• 유계 $\mathcal{C}^2$ 영역에서 $1<\alpha<2$ 인 Caputo 도함수 $\partial_t^\alpha$ 를 갖는 반선형 분수파동방정식에 대해 적절한 약한 해의 정의를 제시하는 것.
• 비선형성 $|f_b'(u)| \leq C|u|^{b-1}$ 를 만족하는 조건 하에서 반선형 방정식의 초기경계값 문제의 잘 정의됨을 확립하는 것.
• 해의 존재 시간이 초기 데이터 $u_0, u_1$ 의 크기에 어떻게 명시적으로 의존하는지 유도하는 것.
• 선형 문제의 성질에 기반하여, 낮은 정규성 조건을 갖는 소스 항에 대해 약한 해 이론을 분수파동방정식으로 확장하는 것.

제안 방법

• 선형 분수파동방정식 $\partial_t^\alpha u + \mathcal{A}u = f(t,x)$ 와 관련된 약한 해를 정의하기 위해 스펙트럼 분해와 에너지 추정을 사용한다.
• 적절한 함수 공간 $Z_T = \mathcal{C}([0,T];L^2(\Omega)) \cap L^p(0,T;L^q(\Omega))$ 내에서 반복 근사법(고정점 추론)을 적용한다.
• 분수파동방정식에 적합하게 조정된 Strichartz 유사 추정을 사용하여 비선형 항 $f_b(u)$ 를 $L^1(0,T;L^2(\Omega))$ 내에서 통제한다.
• Young의 부등식과 스펙트럼 프로젝터의 $L^p$-유계성을 활용하여 반복 수열이 $W^{1,\ell}(0,T;L^2(\Omega))$ 내에서 수렴함을 증명한다.
• 시리즈 수렴을 $L^2$-직교 기저에서 고려하여 $W^{1,\ell}(0,T;L^2(\Omega))$ 와 $\mathcal{C}([0,T];H^{2\gamma}(\Omega))$ 내에서 해의 정(regularity)을 확립한다.
• 해의 존재 시간 $T$ 가 초기 데이터 노름에 따라 명시적으로 의존함을 도출하며, $p > b$ 인 경우에 $T \propto (\|u_0\|_{H^{2\gamma}} + \|u_1\|_{H^{2s}})^{-(b-1)/p}$ 를 만족한다.

실험 결과

연구 질문

• RQ1 표준적인 부분적분이 실패할 경우, $1<\alpha<2$ 인 Caputo 도함수 $\partial_t^\alpha$ 를 갖는 반선형 분수파동방정식에 대해 일관된 약한 해 정의를 어떻게 제안할 수 있는가?
• RQ2 비선형성 $f_b(u)$ 가 어떤 조건을 만족해야 하는가면, 적절한 함수 공간 내에서 국소적 해의 존재성과 유일성이 보장되는가?
• RQ3 해의 존재 시간이 초기 데이터 $u_0, u_1$ 의 크기에 어떻게 의존하는가?
• RQ4 제안된 프레임워크 하에서 해가 충분한 정(regularity)을 갖는 것으로 보일 수 있는가, 예를 들어 $W^{1,\ell}(0,T;L^2(\Omega))$ 에 속하는가?
• RQ5 고전적 파동방정식에서 사용된 Strichartz 유사 접근법을 $\alpha \in (1,2)$ 인 분수 설정으로 확장할 수 있는가?

주요 결과

• 선형 문제의 잘 정의됨에 기반한 새로운 국소적 약한 해 정의가 반선형 분수파동방정식에 제안되었다.
• 적절한 $p,q,\ell$ 에 대해 공간 $L^p(0,T;L^q(\Omega)) \cap \mathcal{C}([0,T];L^2(\Omega)) \cap W^{1,\ell}(0,T;L^2(\Omega))$ 내에서 국소적 약한 해의 존재성과 유일성이 증명되었다.
• 해의 존재 시간 $T$ 는 $T \leq \min\left\{ (3C M^{b-1})^{-p/(p-b)}, T_0 \right\}$ 를 만족하며, 여기서 $M$ 은 해 노름의 상한이다. 이는 초기 데이터가 작을수록 더 긴 존재 시간을 의미한다.
• 해가 $W^{1,\ell}(0,T;L^2(\Omega))$ 에 속함을 보여, 약한 공식화가 성립하기 위한 충분한 시간 정(regularity)이 확보됨을 확인하였다.
• 비선형 항 $f_b(u)$ 가 $L^1(0,T;L^2(\Omega))$ 에 속함을 보여, 적분 표현과 고정점 추론의 사용이 가능함을 입증하였다.
• 공간 $Z_T$ 내에서 해 노름에 대한 균일한 상한이 확립되어, 고정점 반복의 수렴성을 보장하였으며, 이는 유일한 해의 존재를 의미한다.