[논문 리뷰] Regularity and lifespan of small solutions to systems of quasi-linear wave equations with multiple speeds,I: almost global existence

Kunio Hidano|arXiv (Cornell University)|2016. 10. 16.

Advanced Mathematical Physics Problems참고 문헌 15인용 수 5

한 줄 요약

이 논문은 3차원 및 2차원에서 다중 속도를 가진 비선형 파동 방정식계에 대해, $H^1$-$L^p$ 클라인어먼-소볼레프 부등식이 존재하지 않는 상황을 회피하기 위해 새로운 가중 치수 소볼레프 부등식 프레임워크를 사용하여, 초기 데이터 크기가 $\varepsilon$인 작은 미세한 해에 대해 거의 전역 존재성을 확립한다. 주요 결과는 초기 데이터 크기가 $\varepsilon$인 해에 대해 순서 $\exp(C\varepsilon^{-1})$의 수명 예측을 제공하는 것으로, 최소한의 정규성 노름 조건 하에서 성립한다.

ABSTRACT

In this paper, we show almost global existence of small solutions to the Cauchy problem for symmetric system of wave equations with quadratic (in 3D) or cubic (in 2D) nonlinear terms and multiple propagation speeds. To measure the size of initial data, we employ a weighted Sobolev norm whose regularity index is the smallest among all the admissible Sobolev norms of integer order. We must overcome the difficulty caused by the absence of the $H^1$-$L^p$ Klainerman-Sobolev type inequality, in order to obtain a required a priori bound in the low-order Sobolev norm. The introduction of good substitutes for this inequality is therefore at the core of this paper. Using the idea of showing the well-known Ladyženskaja inequality, we prove some weighted inequalities, which, together with the generalized Strauss inequality, play a role as the good substitute.

연구 동기 및 목표

• 3차원 및 2차원에서 다중 전파 속도를 가진 비선형 파동 방정식계에 대해 작은 해에 대한 거의 전역 존재성을 확립한다.
• 저정규성 설정에서 $H^1$-$L^p$ 클라인어먼-소볼레프 부등식이 존재하지 않는 문제를 해결한다.
• 결여된 클라인어먼-소볼레프 추정을 대체할 새로운 가중 부등식을 개발하고 적용한다.
• 해의 생존 기간에 대한 사전 조건을 최소 허용 가능한 소볼레프 노름($H^3$ 기반)에서 확보한다.
• 전통적인 거의 전역 존재 프레임워크를 제곱 또는 세차 비선형성과 함께 다중 속도를 가진 시스템으로 확장한다.

제안 방법

• 초기 데이터 크기를 측정하기 위해 최소 정규성 지수($H^3$)를 가진 가중 소볼레프 노름을 도입한다.
• 레이즈엔스카야의 방법에 영감을 얻어, 결여된 $H^1$-$L^p$ 클라인어먼-소볼레프 부등식을 대체하기 위한 새로운 가중 부등식을 개발한다.
• 이러한 부등식을 일반화된 슈트라우스 부등식과 결합하여 도함수의 점별 감쇠를 제어한다.
• 벡터 장($\Gamma^a$)을 사용한 에너지 추정을 적용하여 고차 도함수를 제어하고, 해의 소형성을 유지한다.
• 해의 국소 존재 시간을 초월하여 연장하기 위해 $N_4(u(t)) \leq 7\varepsilon/4$ 기반의 계속성 추론을 사용한다.
• 추정식 $\tilde{E}_4'(u(t)) \leq C\langle t\rangle^{-1} N_4(u(t)) \tilde{E}_4(u(t))$를 통해 사전 조건 제어를 확립하여 지수적 수명을 도출한다.

실험 결과

연구 질문

• RQ1 최소한의 정규성 가정 하에서 다중 속도를 가진 비선형 파동 방정식계에 대해 거의 전역 존재성을 확립할 수 있는가?
• RQ2 기본적인 $H^1$-$L^p$ 클라인어먼-소볼레프 부등식이 실패할 경우, 작은 해의 수명을 어떻게 제어할 수 있는가?
• RQ3 저정규성 영역에서 결여된 클라인어먼-소볼레프 추정을 대체할 수 있는 대체 가중 부등식은 무엇인가?
• RQ4 다중 전파 속도의 구조는 해의 감쇠성과 정규성에 어느 정도의 영향을 미치는가?
• RQ5 국소 해에 대한 계속성 추론을 $H^3$ 기반 에너지 추정만을 사용하여 거의 전역 존재성으로 확장할 수 있는가?

주요 결과

• 논문은 제곱 비선형성을 가진 3차원 시스템과 세차 비선형성을 가진 2차원 시스템에 대해 작은 해에 대한 거의 전역 존재성을 증명한다.
• 해의 수명은 $\exp(C\varepsilon^{-1})$ 이하로 하한이 설정되며, 여기서 $\varepsilon$는 최소 허용 가능한 소볼레프 노름에서의 초기 데이터 크기이다.
• 레이즈엔스카야 유형의 추론을 통해 구성된 새로운 가중 부등식 가족이 결여된 $H^1$-$L^p$ 클라인어먼-소볼레프 부등식을 대체한다.
• 일반화된 슈트라우스 부등식은 새로운 가중 추정과 함께 사용되어 도함수의 점별 감쇠를 제어한다.
• $N_4(u(t)) \leq 7\varepsilon/4$의 사전 조건은 모든 $t < T_*$에서 성립하며, $\varepsilon \log(1+T_*) < B$일 경우 $T_*$의 정의와 모순되므로, 거의 전역 의미에서 $T_* = \infty$임을 강제한다.
• 결과는 시간 이동에 대한 시스템의 불변성에 대해 강건하며, 컴팩트 지지 $C^\infty$ 초기 데이터에 대해 균일하게 성립한다.