[논문 리뷰] Boundary blow-up solutions in the unit ball : asymptotics, uniqueness and symmetry (v3)

Ovidiu Costin, Louis Dupaigne|arXiv (Cornell University)|2010. 03. 18.

Nonlinear Partial Differential Equations참고 문헌 4인용 수 3

한 줄 요약

이 논문은 일반적인 비선형성 $f$에 대해 단위 구에서 경계 폭발 해의 완전한 점근 전개를 수립하며, 최소한의 가정 하에 날카로운 유일성 및 중심대칭 결과를 증명한다. 이는 McKenna의 유일성에 대한 추측을 해결하며, $f(t) = \tilde{f}(t) - \lambda_1 t$ 이고 $\tilde{f}$ 가 비감소일 경우 유일한 큰 해가 존재함을 보여준다.

ABSTRACT

We calculate the full asymptotic expansion of boundary blow-up solutions, for any nonlinearity f. Our approach enables us to state sharp qualitative results regarding uniqueness and ra-dial symmetry of solutions, as well as a characterization of nonlinearities for which the blow-up rate is universal. Lastly, we study in more detail the standard nonlinearities f(u) = u^p, p > 1.

연구 동기 및 목표

• 임의의 $C^1$ 비선형성 $f$에 대해 단위 구에서 경계 폭발 해의 완전한 점근 전개를 유도하기 위해.
• 비선형성 $f$의 볼록성 또는 단조성 조건 없이도 큰 해에 대해 날카로운 유일성 및 중심대칭 결과를 확립하기 위해.
• 폭발 속도가 해에 독립적인, 즉 유일한 폭발 속도를 가지는 비선형성의 조건을 규명하기 위해.
• $f(u) = u^p$, $p > 1$ 의 특수한 경우를 분석하고, 이 경우 해의 완전한 점근 전개를 도출하기 위해.

제안 방법

• 반경 방향 미분방정식을 변형하고 반복적 적분을 통해 $x \to \partial B$ 일 때 해 $u(x)$ 의 완전한 점근 전개를 유도한다.
• 반경 방향 방정식 $u'' + \frac{N-1}{r}u' = f(u)$ 를 선형화하고 근사하기 위해 $v_n = \sqrt{2F(u)}$ 를 통한 변수변환을 도입한다.
• 단위 구의 중심대칭 구조를 이용해 PDE 를 ODE 로 환원하고, 반복적인 정밀화 기법을 적용하여 임의의 차수까지의 항을 도출한다.
• 최대원리와 비교 논증을 적용하여, $f(t) + \lambda_1 t$ 가 비감소일 조건 하에 유일성을 증명한다.
• 두 해의 차이를 제어하기 위해 $\int_{u(x)}^\infty \frac{dt}{F(t)}$ 를 포함하는 적분 추정을 사용한다.
• $f(u) = u^p$ 인 경우, $F(u) = \frac{1}{2}u^{2q}$ 라고 재정의하고 $2q - 1 = p$ 를 만족시키며, 귀납법을 통해 $d = 1 - |x|$ 의 거듭제곱에 대한 점근 급수를 유도한다.

실험 결과

연구 질문

• RQ1 비선형성 $f$ 에 어떤 조건이 성립할 경우 단위 구에서 경계 폭발 해가 존재하는가?
• RQ2 추가 가정 없이도 임의의 $C^1$ 비선형성에 대해 큰 해의 완전한 점근 전개를 도출할 수 있는가?
• RQ3 언제 해가 유일하며, 어떤 조건이 유일성을 보장하는가?
• RQ4 비선형성 $f(u) = u^p$, $p > 1$ 인 경우 해의 경계 근처에서 정확한 점근적 행동은 무엇인가?
• RQ5 비선형성 $f$ 에 대한 최소한의 가정 하에 큰 해에 대해 중심대칭이 성립하는가?

주요 결과

• 모든 $f \in C^1(\mathbb{R})$ 가 켈러-오세라 조건 $\int^\infty \frac{dt}{\sqrt{F(t)}} < \infty$ 를 만족할 경우, 임의의 두 큰 해 $u_1$ 과 $u_2$ 사이의 차이는 $x \to \partial B$ 일 때 $|u_1(x) - u_2(x)| \leq C \int_{u_2(x)}^\infty \frac{dt}{F(t)}$ 를 만족한다.
• 차이 $F(u_1) - F(u_2)$ 는 $B$ 에서 유계이므로, 큰 해의 $F$-값은 항상 균일하게 가까이 유지된다.
• 만약 $f(t) = \tilde{f}(t) - \lambda_1 t$ 이고 $\tilde{f}$ 가 비감소일 경우, 단위 구에서 유일한 큰 해가 존재한다.
• $f(u) = u^p$, $p > 1$ 인 경우, 해는 $d = 1 - |x|$ 의 거듭제곱에 대한 완전한 점근 전개를 가지며, 계수는 $p$, $N$, 및 전개 차수에만 의존한다.
• 폭발 속도가 유일할 조건은 $f(u) = u^p$ 이고 $p = 1 + \frac{2}{N-1}$ 일 때에만 성립한다. 이는 주된 항이 해에 독립적이게 되는 임계 지수이다.
• 비선형성 $f$ 가 선형 항의 편향을 포함한 증가 함수일 경우, 즉 $f(t) = \tilde{f}(t) - Kt$ 이고 $\tilde{f}$ 가 증가할 경우, $|\nabla(u_1 - u_2)|$ 는 $B$ 에서 유계이다.