[논문 리뷰] Blow-up of solutions to critical semilinear wave equations with variable coefficients

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

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

한 줄 요약

이 논문은 변수 계수를 가진 반선형 파동방정식에 대한 Strauss의 추측의 임계 케이스 $ p = p_0(n) $ 를 증명하며, 작은 초기 자료에 대해 유한 시간 내 폭발을 증명한다. 라플라스 연산자의 지수적 고유함수와 존의 반복법, 그리고 조각자르기 방법을 조합하여, 형태 $ T_\varepsilon \lesssim \exp\big(C \varepsilon^{-p(p-1)}\big) $ 의 날카운 수명 상한을 도출함으로써, 매끄럽고 지수적으로 감쇠하는 계량 편항이 존재하는 모든 차원 $ n \geq 2 $ 에서 추측을 확인한다.

ABSTRACT

We verify the critical case $p=p_0(n)$ of Strauss' conjecture (1981) concerning the blow-up of solutions to semilinear wave equations with variable coefficients in $\mathbf{R}^n$, where $n\geq 2$. The perturbations of Laplace operator are assumed to be smooth and decay exponentially fast at infinity. We also obtain a sharp lifespan upper bound for solutions with compactly supported data when $p=p_0(n)$. The unified approach to blow-up problems in all dimensions combines several classical ideas in order to generalize and simplify the method of Zhou(2007) and Zhou and Han (2014): exponential "eigenfunctions" of the Laplacian are used to construct the test function $ϕ_q$ for linear wave equation with variable coefficients and John's method of iterations (1979) is augmented with the "slicing method" of Agemi, Kurokawa and Takamura (2000) for lower bounds in the critical case.

연구 동기 및 목표

• 변수 계수를 가진 반선형 파동방정식에 대한 Strauss의 추측의 임계 케이스 $ p = p_0(n) $ 를 해결하기 위해.
• 모두가 컴팩트하게 지지된 초기 자료를 가진 해의 수명에 대한 날카운 상한을 $ p = p_0(n) $ 일 때 확립하기 위해.
• 존의 반복법과 조각자르기 방법을 통합함으로써 이전 방법들을 일반화하고 단순화하여 폭발 분석에 활용하기 위해.
• 라플라스 연산자의 매끄럽고 지수적으로 감쇠하는 계량 편항이 존재하는 경우에도 임계 폭발 결과를 확장하기 위해.

제안 방법

• 변수 계수 라플라스 연산자 $ \Delta_g $ 의 지수적 고유함수를 사용하여 테스트 함수 $ \phi_q $ 를 구성하며, 이는 $ \Delta_g \phi_q \approx \lambda_q \phi_q $ 를 만족하고 $ \lambda_q \sim q^2 $ 를 만족한다.
• 변수 계수를 가진 선형화된 방정식을 사용하여 존의 반복 방법을 적용하여 해의 에너지에 대한 하한을 도출한다.
• 아게미, 쿠로카와, 타쿠라모토의 조각자르기 방법을 도입하여 임계 케이스 $ p = p_0(n) $ 에서 하한을 정밀화함으로써 날카운 추정을 가능하게 한다.
• 반복적 적분과 로그 스케일링을 사용하여 해의 노름 $ F(t) $ 에 대한 재귀적 추정을 유도하며, 연속적인 시간 간격을 통해 성장을 추적한다.
• 구간 $ [l_j t / l_{j+1}, t] $ 에서 부분 적분과 영역 절단을 적용하여 $ F(t) $ 에 대한 재귀 부등식을 도출하며, 이는 이중 지수적 성장을 이끈다.
• 하한에 포함된 상수에 대한 재귀 관계 $ C_{j+1} = E C_j^p / (2p)^j $ 를 확립하여, $ j \to \infty $ 일 때 $ F(t) \to \infty $ 가 되도록 함으로써, 해가 유한 시간 내에 폭발함을 증명한다.

실험 결과

연구 질문

• RQ1 Strauss의 추측에서 임계 지수 $ p = p_0(n) $ 는 변수 계수를 가진 반선형 파동방정식에서 유한 시간 내 폭발을 유도하는가?
• RQ2 모든 $ \varepsilon > 0 $ 에 대해 $ p = p_0(n) $ 일 때 수명 $ T_\varepsilon $ 에 대한 날카운 상한을 확립할 수 있는가?
• RQ3 무한대에서 지수적으로 감쇠하는 메트릭 편항 $ g_{ij}(x) $ 는 폭발 행동과 수명 추정에 어떤 영향을 미치는가?
• RQ4 존의 반복법을 조각자르기 방법과 융합하여 임계 케이스에서 날카운 성능을 달성할 수 있는가?
• RQ5 임계 지수 $ p = p_0(n) $ 에서 수명 상한 $ T_\varepsilon \lesssim \exp(C \varepsilon^{-p(p-1)}) $ 는 최적인가?

주요 결과

• Strauss의 추측에서 임계 케이스 $ p = p_0(n) $ 는 완전히 해결되었다: 모든 $ \varepsilon > 0 $ 에 대해 컴팩트하게 지지된 초기 자료를 가진 해는 유한 시간 내에 폭발한다.
• 수명에 대한 날카운 상한이 확립되었다: $ T_\varepsilon \lesssim \exp\big(C \varepsilon^{-p(p-1)}\big) $ 로서, $ \varepsilon^{-1} $ 에 대한 지수적 의존성이 예상된 그대로 확인된다.
• 수명 상한은 최적이며, 반복적 구성 과정이 해의 노름에서 이중 지수적 성장을 이끌어내어, 시간 $ \sim \exp(C \varepsilon^{-p(p-1)}) $ 내에 폭발을 유도한다.
• 지수적 고유함수와 조각자르기 방법을 통합함으로써 이전의 접근법을 일반화하고 단순화하여, 모든 차원 $ n \geq 2 $ 에서 날카운 추정이 가능해졌다.
• 일반적인 조건 하에서 결과가 성립한다: $ g_{ij} \in C^\infty({\bf R}^n) $, $ \Delta_g $ 는 균일 타원형이며, $ g_{ij} - \delta_{ij} $ 는 무한대에서 지수적으로 감쇠한다.
• 재귀 부등식 $ C_{j+1} = E C_j^p / (2p)^j $ 가 확립되었으며, 이의 해는 $ F(t) \to \infty $ 가 되어 $ T > \exp\big(B^{-1} \varepsilon^{-p(p-1)}\big) $ 일 때 폭발을 증명한다.