[논문 리뷰] A Hardy-Moser-Trudinger inequality

Guofang Wang, Dong Ye|arXiv (Cornell University)|2010. 12. 27.

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

한 줄 요약

이 논문은 두 차원에서의 고전적 모제르-트루딩거 부등식과 하디 부등식을 결합하여 단위 원판에서 날카선 하디-모제르-트루딩거 부등식을 수립한다. 이는 지수 적분의 상한이 유한하고 가중 힐버트 공간에서 도달된다는 것을 증명한다. 핵심 결과는 하드이 포텐셜을 포함하는 에너지 함수 $ H(u) $를 고려할 때, 모든 $ u \in \mathcal{H} $에 대해 $ \int_B e^{\frac{4\pi u^2}{H(u)}} dx \leq C_0 $ 를 만족하는 유한한 날카운 상수 $ C_0 $ 가 존재한다는 것이다.

ABSTRACT

In this paper we obtain an inequality on the unit disc $B$ in the plane, which improves the classical Moser-Trudinger inequality and the classical Hardy inequality at the same time. Namely, there exists a constant $C_0>0$ such that \[ \int_B e^{\frac {4πu^2}{H(u)}} dx \le C_0 < \infty, \quad \forall\; u\in C^\infty_0(B),\] where $$H(u) := \int_B | u|^2 dx - \int_B \frac {u^2}{(1-|x|^2)^2} dx.$$ This inequality is a two dimensional analog of the Hardy-Sobolev-Maz'ya inequality in higher dimensions, which was recently intensively studied. We also prove that the supremum is achieved in a suitable function space, which is an analog of the celebrated result of Carleson-Chang for the Moser-Trudinger inequality.

연구 동기 및 목표

• 두 차원에서 하드이 포텐셜을 포함하는 통합 기능적 프레임워크를 도입하여 고전적 모제르-트루딩거 부등식과 하디 부등식을 통합하는 것.
• 모든 $ u \in \mathcal{H} $에 대해 $ \int_B e^{\frac{4\pi u^2}{H(u)}} dx \leq C_0 < \infty $ 형태의 날카운 부등식을 수립하는 것, 여기서 $ \mathcal{H} $ 는 $ C_0^\infty(B) $ 가 $ \|u\| = \sqrt{H(u)} $ 에서 완비된 공간이다.
• 이 부등식의 최적 상수가 $ \mathcal{H} $ 내의 최대화자에 의해 도달됨을 증명하여, 카르레손-창 결과를 하디 수정 설정으로 확장하는 것.
• 거리에 기반한 하디 타입 포텐셜을 갖는 일반 도메인 $ \Omega \subset \mathbb{R}^2 $ 에 대한 이러한 부등식의 일반화를 추측하는 것.

제안 방법

• 함수 $ H(u) = \int_B |\nabla u|^2 dx - \int_B \frac{u^2}{(1-|x|^2)^2} dx $ 를 정의하여, 이는 비음수이며 $ \mathcal{H} $ 위에서 힐버트 공간 노름을 정의한다.
• 원점 근처에 집중하는 블로업 분석과 시험 함수를 사용하여, 모든 $ u \in \mathcal{H} $ 에 대해 $ \int_B e^{\frac{4\pi u^2}{H(u)}} dx \leq C_0 < \infty $ 를 증명한다.
• 녹색 함수와 커팅 오프 함수를 사용하여 농도를 국소화하는 방식으로, $ H(f_\varepsilon) = 1 $ 이 되도록 하는 시험 함수 $ f_\varepsilon $ 의 가족을 구성한다.
• 로그 함수 및 녹색 함수 항의 점근 전개를 이용하여 $ e^{4\pi f_\varepsilon^2} $ 의 $ L^1 $-노름을 아래에서 추정한다.
• $ \varepsilon \to 0 $ 일 때 $ \beta_\varepsilon $ 와 $ \gamma_\varepsilon $ 의 점근적 행동을 이용하여, 적분이 $ \pi + \pi e^{4\pi C_G + 1} $ 보다 엄밀히 큰 값을 초과함을 보여, 고전적 경우보다 상한이 엄밀히 더 크다는 것을 증명한다.
• 변분 방법과 컴actness 추론을 적용하여 상한이 $ \mathcal{H} $ 내에서 도달됨을 보이며, 최대화자는 $ H_0^1(B) $ 에 속하지 않음을 보인다.

실험 결과

연구 질문

• RQ1 두 차원에서 하드이 포텐셜을 포함함으로써 고전적 모제르-트루딩거 부등식을 개선할 수 있는가?
• RQ2 개선된 부등식의 최적 상수가 적절한 함수 공간에서 유한하고 도달 가능한가?
• RQ3 지수 함수 기능의 최대화자는 $ H_0^1(B) $ 에 속하는가, 아니면 엄밀히 더 큰 공간 $ \mathcal{H} $ 에 속하는가?
• RQ4 이 부등식은 거리 기반 하드이 포텐셜을 갖는 일반적인 유계 볼록 도메인 $ \mathbb{R}^2 $ 에로 확장될 수 있는가?
• RQ5 블로업 수열에서 에너지 함수 $ H(u) $ 의 점근적 행동은 어떠한가, 그리고 지수 적분에 어떤 영향을 미치는가?

주요 결과

• 모든 $ u \in \mathcal{H} $ 에 대해 $ \int_B e^{\frac{4\pi u^2}{H(u)}} dx \leq C_0 < \infty $ 이 성립하며, $ C_0 > 0 $ 은 유한한 날카운 상수이다.
• 단위 원판에서 $ \mathcal{H} $ 내에서 $ \int_B e^{4\pi u^2} dx $ 의 상한은 $ \|u_0\| = 1 $ 인 함수 $ u_0 \in \mathcal{H} $ 에 의해 도달되며, 이는 카르레손-창 결과를 하디 수정 설정으로 확장한다.
• 최대화자 $ u_0 $ 는 $ H_0^1(B) $ 에 속하지 않으며, 이는 공간 $ \mathcal{H} $ 가 $ H_0^1(B) $ 보다 엄밀히 더 크다는 것을 나타내며, 부등식이 엄밀히 더 강력하다는 것을 의미한다.
• 증명은 $ \varepsilon $ 가 작을 때 $ \int_B e^{4\pi f_\varepsilon^2} dx $ 가 $ \pi + \pi e^{4\pi C_G + 1} $ 보다 엄밀히 큰 값을 초과함을 보여, 상수의 날카움을 증명한다.
• 점근적 분석은 $ \beta_\varepsilon = O(|\ln \varepsilon|^{1/2}) $ 이며, $ \varepsilon \to 0 $ 일 때 $ \gamma_\varepsilon \to 1 $ 임을 확인하며, 이는 지수 적분의 하한에 있어 핵심적이다.
• 결과는 고차원에서 하디-소볼레프-마즈야 부등식의 두 차원 버전이며, 고전적 모제르-트루딩거 부등식과 동일한 날카운 상수 $ 4\pi $ 를 갖는다.