[논문 리뷰] On the blow-up for critical semilinear wave equations with damping in the scattering case

Kyouhei Wakasa, Borislav Yordanov|arXiv (Cornell University)|2018. 07. 17.

Advanced Mathematical Physics Problems참고 문헌 10인용 수 3

한 줄 요약

이 논문은 $n \geq 2$ 인 $\mathbb{R}^n$ 에서 시간에 의존하는 산산이 흩어지는 감쇠를 갖는 임계 비선형 파동 방정식의 해의 폭발을 규명한다. 해가 소규모 초기 자료를 갖는 경우, 강도 $p$ 가 스트라우스 지수 $p_0(n)$ 와 일치할 때 유한 시간 내에 폭발함을 증명한다. 이 증명은 선형화된 방정식에 대한 에너지 추정과 기본 해의 점근적 분석을 통해 이전의 초임계 결과를 확장한다.

ABSTRACT

We consider the Cauchy problem for semilinear wave equations with variable coefficients and time-dependent scattering damping in $\mathbf{R}^n$, where $n\geq 2$. It is expected that the critical exponent will be Strauss' number $p_0(n)$, which is also the one for semilinear wave equations without damping terms. Lai and Takamura (2018) have obtained the blow-up part, together with the upper bound of lifespan, in the sub-critical case $p

연구 동기 및 목표

• 임계 지수 $p = p_0(n)$ 에서 산산이 흩어지는 감쇠를 갖는 비선형 파동 방정식에 대해 유한 시간 폭발 문제를 해결한다.
• 초임계 케이스($p < p_0(n)$)에서의 수명 상한 추정을 임계 케이스($p = p_0(n)$)로 확장한다.
• 적분 가능 조건 $\int_0^\infty a(t)dt < \infty$ 를 만족하는 변수 계수와 시간에 의존하는 감쇠 $a(t)$ 를 갖는 감쇠 파동 방정식의 기본 해의 행동을 분석한다.
• 선형화된 방정식 $L_a y = \lambda^2 y$ 의 기본 해 $y_1(t,s;\lambda)$ 와 $y_2(t,s;\lambda)$ 에 대해 이원적 경계를 수립한다.
• 산산이 흩어지는 감쇠 조건 하에서도 폭발의 임계 지수는 여전히 스트라우스 지수 $p_0(n)$ 라는 것을 확인하여, 임계 케이스에서의 추측을 확인한다.

제안 방법

• 감쇠 함수 $A(t) = \int_0^t a(r)dr$ 를 사용하여 항등식 $(y_1' e^{A(t)})' = \lambda^2 y_1 e^{A(t)}$ 을 이용해 선형화된 감쇠 파동 방정식의 기본 해 $y_1(t,s;\lambda)$ 에 대해 이원적 경계를 유도한다.
• 항등식 $\left(y_1 e^{A(t)} - \int_s^t a(r)y_1 e^{A(r)} dr\right)'' = \lambda^2 \left(y_1 e^{A(t)} - \int_s^t a(r)y_1 e^{A(r)} dr\right)$ 을 통해 $y_1(t,s;\lambda)$ 에 대한 하한을 확립한다.
• 와른스키안 항등식 $y_2 y_1' - y_2' y_1 = e^{A(s)-A(t)}$ 을 이용해 $y_2(t,s;\lambda)$ 와 $y_1(t,s;\lambda)$ 에 대한 비율에 대한 경계를 도출한다.
• 조건 $\|a\|_{L^1} < \infty$ 하에서 hyperbolic 함수 $\cosh\lambda(t-s)$ 와 $\sinh\lambda(t-s)/\lambda$ 와의 점근적 비교를 적용한다.
• 핵심 부등식 $e^{-\|a\|_{L^1}} \cosh\lambda(t-s) \leq y_1(t,s;\lambda) \leq \cosh\lambda(t-s)$ 를 유도하여, $y_1$ 이 상수 인자까지는 $\cosh\lambda(t-s)$ 와 유사하게 행동함을 보여준다.
• $y_2(t,s;\lambda)$ 의 도함수 항등식을 활용해 $e^{\|a\|_{L^1}} \frac{\sinh\lambda(t-s)}{\lambda} \geq y_2(t,s;\lambda) \geq e^{-2\|a\|_{L^1}} \frac{\sinh\lambda(t-s)}{\lambda}$ 를 증명하여, $y_2$ 의 점근적 행동을 확인한다.

실험 결과

연구 질문

• RQ1 산산이 흩어지는 감쇠를 갖는 비선형 파동 방정식의 폭발 임계 지수는 여전히 스트라우스 지수 $p_0(n)$ 인가?
• RQ2 초임계 케이스($p < p_0(n)$)에서의 수명 상한 추정을 임계 케이스($p = p_0(n)$)로 확장할 수 있는가?
• RQ3 감쇠 계수 $a(t)$ 가 $[0,\infty)$ 에서 적분 가능할 경우 감쇠 파동 방정식의 기본 해는 점근적으로 어떻게 행동하는가?
• RQ4 선형화된 방정식 $L_a y = \lambda^2 y$ 의 해 $y_1(t,s;\lambda)$ 와 $y_2(t,s;\lambda)$ 에 대해 정확한 이원적 경계는 무엇인가?
• RQ5 임계 지수 $p = p_0(n)$ 에서의 폭발 결과는 초임계 케이스의 수명 추정과 일치하는가, 즉 최선의 결과인가?

주요 결과

• 초기 조건이 작은 경우, $p = p_0(n)$ 인 감쇠 파동 방정식의 코시 문제 해는 유한 시간 내에 폭발하며, 스트라우스 추측의 임계 케이스를 확인한다.
• 수명 $T_\varepsilon$ 는 상한 $T_\varepsilon \leq C \varepsilon^{-2p(p-1)/\gamma(p,n)}$ 을 만족하며, 이는 초임계 추정과 일치하여 최선의 결과임을 시사한다.
• 기본 해 $y_1(t,s;\lambda)$ 는 $e^{-\|a\|_{L^1}} \cosh\lambda(t-s) \leq y_1(t,s;\lambda) \leq \cosh\lambda(t-s)$ 를 만족하며, 상수 인자까지는 $\cosh\lambda(t-s)$ 와 유사하게 행동함을 보여준다.
• 해 $y_2(t,s;\lambda)$ 는 $e^{-2\|a\|_{L^1}} \frac{\sinh\lambda(t-s)}{\lambda} \leq y_2(t,s;\lambda) \leq e^{\|a\|_{L^1}} \frac{\sinh\lambda(t-s)}{\lambda}$ 를 만족하며, $t-s \to \infty$ 일 때의 점근적 행동을 확인한다.
• 와른스키안 항등식 $y_2 y_1' - y_2' y_1 = e^{A(s)-A(t)}$ 는 $y_2/y_1$ 과 $y_2$ 자체의 경계 유도에 핵심적인 역할을 한다.
• 분석 결과, 산산이 흩어지는 감쇠 조건 하에서도 폭발의 임계 지수는 여전히 $p_0(n)$ 이며, 이는 비감쇠 케이스의 결과를 감쇠 설정으로 확장함을 확인한다.