[논문 리뷰] On compactness in the Trudinger-Moser inequality

Adimurthi, Kyril Tintarev|arXiv (Cornell University)|2011. 10. 17.

Nonlinear Partial Differential Equations참고 문헌 14인용 수 5

한 줄 요약

이 논문은 ℝ² 내의 유계 도메인에서 Trudinger-Moser 함수가 약한 연속성을 잃는 것은 정확히 집중형 Moser 함수의 이동에 비슷한 행동을 보이는 수열에서만 발생함을 밝혀낸다. 특히, $ s_k \to 0 $ 인 수열 $ u_k = g_{s_k}[(2\pi)^{-1/2} \min\{1, \log(1/|x|)\}] $ 형태이며, 이는 이동과 $ H_0^1 $-노름에서 0으로 수렴하는 잔여항을 제외하고 정확히 일치한다. 이 결과는 두 차원에 특화된 새로운 프로파일 분해를 통해 도출되었으며, 스케일링 연산자 하에서 반경 방향 농도 프로파일을 통해 약한 연속성의 정확한 결함을 규명한다.

ABSTRACT

The paper studies continutity of Moser nonlinearity in two dimensions with respect to weak convergence. Unlike the critical nonlinearity in the Sobolev inequality, which lacks weak continuity at any point, Moser functional fails to be weakly continuous only in an exceptional case of a concentrating sequence of functions from the Moser family (up to translations and the remainder vanishing in Sobolev norm). The argument is based on a structural description of the defect of weak converegence, analogous to the profile decomposition established by Solimini for Sobolev inequalities, but involving gauge operators specific for the two-dimensional case.

연구 동기 및 목표

• 비판적 두 차원 Trudinger-Moser 부등식에서 Moser 함수가 약한 연속성을 잃는 정확한 수열의 집합을 규명하는 것.
• 높은 차원의 소볼레프 포함에서 비선형 함수의 약한 연속성 이해를 두 차원의 최종 경우로 확장하는 것.
• H_0^1(\Omega)에서 Trudinger-Moser 함수에 대해 Solimini의 방법과 유사하지만 두 차원 설정에 맞게 조정된 프로파일 분해를 수립하는 것.
• 약한 연속성이 유지되지 않는 수열은 점에 집중하는 Moser 함수의 형태로, 이동과 $ H_0^1 $-노름에서 0으로 수렴하는 잔여항을 제외하고는 반드시 그러한 형태를 가져야 한다는 것을 보여주는 것.

제안 방법

• 저자들은 Solimini의 기법을 영감으로 삼았지만, 두 차원의 특성에 맞게 특별한 스케일링 연산자 $ g_s $ 를 사용한 프로파일 분해 기법을 사용한다. 이는 $ g_s w(r) = s^{-1/2} w(r^s) $ 로 정의된다.
• 이 분해는 $ \mathcal{B} = \{ u \in H_0^1(\Omega) : \|\nabla u\|_2 \leq 1 \} $ 에서 $ u_k \rightharpoonup u $ 이고 $ \liminf J(u_k) > J(u) $ 를 만족하는 수열을 분석함으로써 농도 프로파일을 분리한다.
• 핵심 단계는 이러한 수열이 $ s_k \to 0 $ 이면, 이동을 제외하고는 $ H_0^1 $-노름에서 $ u_k = g_{s_k}[(2\pi)^{-1/2} \min\{1, \log(1/|x|)\}] + o(1) $ 를 만족해야 한다는 것을 보이는 것이다.
• 이 증명은 점근적 성장과 농도를 연결하는 데 핵심적인 역할을 하는 반경 방향 추정식 $ \sup_r |u(r)| \log(1/r)^{-1/2} \leq \pi^{-1/2} \|\nabla u\|_2 $ 에 의존한다.
• 분석은 N=2 인 경우, 비반경형 농도 수열이 $ g_s $-스케일링 하에서 점점 반경형이 되지 않으면서 $ \exp L^2 $-노름을 유지할 수 없다는 사실을 활용한다.
• 함수 $ J(u) = \int_\Omega (e^{4\pi u^2} - 1) \, dx $ 는 비판적 농도 프로파일을 생성하는 스케일링된 형태 $ g_s m_t $ 를 갖는 고전적 Moser 함수 $ m_t(r) = (2\pi)^{-1/2} \min\{1, \log(1/r)\} $ 과 비교하여 분석된다.

실험 결과

연구 질문

• RQ1 H_0^1(\Omega) 내에서 Trudinger-Moser 함수가 약한 연속성을 잃는 수열은 무엇으로 특징지어질 수 있는가?
• RQ2 2차원 Trudinger-Moser 부등식에서 약한 연속성의 결함은 농도 프로파일 측면에서 정확히 어떻게 묘사될 수 있는가?
• RQ3 비반경형 수열은 왜 $ g_s $-스케일링 하에서 점점 반경형이 되지 않으면서 $ \exp L^2 $-노름을 유지할 수 없는가?
• RQ4 N=2 에서 Moser 함수의 프로파일 분해는 고차원의 경우와 어떻게 다를까?
• RQ5 한 개의 매개변수를 가진 스케일링 연산자 $ g_s $ 가 수열의 농도 행동을 어느 정도 정확히 기술할 수 있는가?

주요 결과

• 함수 $ J(u) = \int_\Omega (e^{4\pi u^2} - 1) \, dx $ 는 $ \mathcal{B} $ 에서 약한 연속성을 잃는다. 이는 이동과 $ H_0^1 $-노름에서 0으로 수렴하는 잔여항을 제외하고는 $ s_k \to 0 $ 인 수열 $ u_k = g_{s_k}[(2\pi)^{-1/2} \min\{1, \log(1/|x|)\}] $ 의 형태일 때에만 발생한다.
• 이러한 수열은 점점 반경형이 되며, 한 점에 집중하는 경향이 있으며, 농도 프로파일은 고전적 Moser 함수의 스케일링된 형태이다.
• 약한 연속성의 실패는 이 집합에 의해 완전히 특징지어지며, 이 외의 수열은 $ \exp L^2 $-노름에서 동일한 결함을 보이지 않는다.
• 이 증명에서 사용된 프로파일 분해는 두 차원에 특화되어 있으며, $ H_0^1 $-노름을 유지하고 Moser 함수를 다른 Moser 함수로 매핑하는 스케일링 연산자 $ g_s $ 를 활용한다.
• 반경 방향 추정식 $ \sup_r |u(r)| \log(1/r)^{-1/2} \leq \pi^{-1/2} \|\nabla u\|_2 $ 는 점근적 성장과 농도를 연결하는 데 핵심적인 역할을 한다.
• 고차원과 달리, 두 차원에서는 어떤 프로파일이든 농도를 일으킬 수는 없으며, 오직 $ g_s $-스케일링 하에서 Moser 함수와 점점 유사해지는 수열만이 약한 연속성의 실패를 일으킬 수 있다.