[논문 리뷰] The sharp upper bound of the lifespan of solutions to critical semilinear wave equations in high dimensions

Hiroyuki Takamura, Kyouhei Wakasa|arXiv (Cornell University)|2011. 03. 14.

Advanced Mathematical Physics Problems참고 문헌 23인용 수 71

한 줄 요약

이 논문은 네 개의 공간 차원에서 비선형 파동 방정식 $u_{tt} - \Delta u = u^2$의 해의 생존 기간에 대한 날카운 상계를 확립한다. 해의 $L^p$ 노름에 대한 새로운 반복 추론 기법과 상수항의 정밀한 추정을 통해, 작고 초기 데이터에 대해 생존 기간 $T(\varepsilon)$가 $T(\varepsilon) \leq \exp\left(C\varepsilon^{-2}\right)$를 만족함을 증명하며, 이는 이전에 알려진 날카운 하계와 일치하고 고차원에서 스트라우스 추측의 마지막 열린 최적성 문제를 해결한다.

ABSTRACT

The final open part of Strauss' conjecture on semilinear wave equations was the blow-up theorem for the critical case in high dimensions. This problem was solved by Yordanov and Zhang in 2006, or Zhou in 2007 independently. But the estimate for the lifespan, the maximal existence time, of solutions was not clarified in both papers. In this paper, we refine their theorems and introduce a new iteration argument to get the sharp upper bound of the lifespan. As a result, with the sharp lower bound by Li and Zhou in 1995, the lifespan $T(\e)$ of solutions of $u_{tt}-\Delta u=u^2$ in $\R^4 imes[0,\infty)$ with the initial data $u(x,0)=\e f(x),u_t(x,0)=\e g(x)$ of a small parameter $\e>0$, compactly supported smooth functions $f$ and $g$, has an estimate \[ \exp(c\e^{-2})\le T(\e)\le\exp(C\e^{-2}), \] where $c$ and $C$ are positive constants depending only on $f$ and $g$. This upper bound has been known to be the last open optimality of the general theory for fully nonlinear wave equations.

연구 동기 및 목표

• 고차원에서 비선형 파동 방정식에 대한 스트라우스 추측의 마지막 열린 문제를 해결하기 위해 고차원에서 생존 기간에 대한 날카운 상계를 확립하는 것.
• 4차원에서 임계 경우 $p = p_0(4) = 2$에 대해 요르단오프와 챙 [17] 및 주우 [20]의 폭발 정리들을 개선하는 것.
• 기존에 알려진 날카운 하계(리와 주우 [9])와 이전에 최적성이 떨어지는 상계 사이의 최적성 갭을 해결하는 것.
• 해의 $L^p$ 노름에 대한 새로운 반복 추론 기법을 개발하여 날카운 추정 $T(\varepsilon) \leq \exp(C\varepsilon^{-2})$를 달성하는 것.
• 리와 주우 [9]의 날카운 하계와 일치함을 통해 상계가 최적임을 증명함으로써, 네 차원에서 임계 경우에 대한 그림을 완성하는 것.

제안 방법

• 해의 $L^p$ 노름에 대한 새로운 반복 추론 기법을 도입하여, 특히 $F(t) = \int_{\mathbb{R}^n} u(x,t)\,dx$를 통해 점차 더 날카운 하계를 유도하는 것.
• 파동 방정식과 허더의 부등식을 통해 유도된 적분 부등식 $F''(t) \geq \{\text{vol}(B_n(0,1))\}^{1-p} (t+R)^{-n(p-1)} |F(t)|^p$ 를 사용하는 것.
• 해의 성장률을 제어하기 위해 반복 기반의 순환 수열 $C_j$를 정의하는 것: $C_{j+1} = C_0^{p-1} C_j^p / C_j^p$.
• 반복된 적분에 대해 정밀한 로그 추정을 적용하여 $\log C_j$의 성장을 추적함으로써 $F(t)$에 대한 이중지수 하계를 도출하는 것.
• 레마 2.1을 활용하여 $F(t)$의 하계를 생존 기간 $T(\varepsilon)$에 대한 상계로 연결하는 것. 이때 조건 $\varepsilon^{p(p-1)} \log t \geq E$ 를 활용한다.
• 최종적으로 $T_0(\varepsilon) = \exp(E\varepsilon^{-2})$ 를 선택하고 구간 $[T_0(\varepsilon), T(\varepsilon))$ 에서 레마를 적용하여 상계 $T(\varepsilon) \leq \exp(2E\varepsilon^{-2})$ 를 확립하는 것.

실험 결과

연구 질문

• RQ1 네 차원에서 비선형 파동 방정식 $u_{tt} - \Delta u = u^2$의 해 생존 기간 $T(\varepsilon)$에 대한 날카운 상계는 무엇인가요?
• RQ2 기존에 최적성이 떨어지는 상계 $T(\varepsilon) \leq \exp(\exp(C\varepsilon^{-2}))$ 는 날카운 하계 $\exp(c\varepsilon^{-2})$ 와 일치하도록 향상시킬 수 있는가요?
• RQ3 해의 $L^p$ 노름에 대한 새로운 반복 추론 기법은 기존 방법보다 임계 경우에 더 날카운 추정을 가능하게 하는가요?
• RQ4 리와 주우 [9]의 날카운 하계와 결합했을 때 상계 $T(\varepsilon) \leq \exp(C\varepsilon^{-2})$ 는 최적인가요?
• RQ5 이 방법은 나머지 최적성 문제를 해결하기 위해 다른 임계 지수나 차원으로 확장될 수 있는가요?

주요 결과

• 작은 $\varepsilon > 0$ 에 대해 $\mathbb{R}^4$ 에서 $u_{tt} - \Delta u = u^2$ 의 해 생존 기간 $T(\varepsilon)$ 는 $T(\varepsilon) \leq \exp(C\varepsilon^{-2})$ 를 만족하며, 여기서 $C$ 는 초기 자료 $f$, $g$, $n$, $p$, 및 $R$ 에만 의존한다.
• 이 상계는 리와 주우 [9]가 확립한 날카운 하계 $\exp(c\varepsilon^{-2})$ 와 일치하며, 임계 경우 $p = p_0(4) = 2$ 에서 생존 기간 추정의 최적성을 확인한다.
• 이 증명은 해의 $L^p$ 노름에 대한 새로운 반복 추론 기법을 도입하여, 순환 수열 $C_j$ 를 통한 체계적 제어를 통해 $F(t) = \int u(x,t)\,dx$ 에 대한 하계를 점차 향상시키는 데 성공한다.
• 특히 $\log C_j$ 의 성장을 재귀식 $\log C_{j+1} = p \log C_j - j \log C_p + \log C_0^{p-1}$ 을 통해 정밀하게 추적함으로써, 적분 추정에서 로그 항을 철저히 제어함으로써 날카운 추정을 달성한다.
• 이 결과는 완전 비선형 파동 방정식 이론의 일반 이론에서 마지막으로 남아 있던 열린 문제를 해결하며, 고차원에서 임계 경우의 생존 기간 추정의 완전성과 최적성을 완성한다.
• 어떤 더 큰 생존 기간도 도출된 $F(t)$ 의 하계와 모순됨을 보여줌으로써 상계가 최적임을 입증함으로써, 알려진 하계와 상계 사이의 갭을 완전히 닫는다.