[논문 리뷰] Equivalent Moser type inequalities in R2 and the zero mass case

Daniele Cassani, Federica Sani외 1명|arXiv (Cornell University)|2014. 02. 10.

Nonlinear Partial Differential Equations참고 문헌 29인용 수 6

한 줄 요약

이 논문은 $ℝ^2$에서 비판적 Moser 유형 부등식(Ruf의 부등식)과 개선된 비비판적 Adachi-Tanaka 부등식 사이의 동치성을 확립하며, 둘 다 도달 가능하고 날카롭다는 것을 증명한다. 또한 $ℝ^{1,2}(ℝ^2)$의 극한 공간에서 최적의 Lorentz-Zygmund 부등식을 유도하여 명시적인 극값을 제공하고, 비유계 영역에서의 고전적 Trudinger-Moser 부등식들을 통합한다.

ABSTRACT

We first investigate concentration and vanishing phenomena concerning Moser type inequalities in the whole plane which involve complete and reduced Sobolev norms. In particular we show that the critical Ruf inequality is equivalent to an improved version of the subcritical Adachi-Tanaka inequality which we prove to be attained. Then, we consider the limiting space $\mathcal{D}^{1,2}(\mathbb{R}^2)$, completion of smooth compactly supported functions with respect to the Dirichlet norm $\| abla\cdot\|_2$, and we prove an optimal Lorentz-Zygmund type inequality with explicit extremals and from which can be derived classical inequalities in $H^1(\mathbb{R}^2)$ such as the Adachi-Tanaka inequality and a version of Ruf's inequality.

연구 동기 및 목표

• 비판적 Trudinger-Moser 부등식의 비판적 성격을 농도, 소멸, 컴팩트성 부족 현상 분석을 통해 명확히 하기 위해.
• 비비판적 Adachi-Tanaka 부등식이 개선될 수 있으며, Ruf의 비판적 부등식과 동치임을 증명하기 위해.
• 동질 공간 $ℝ^{1,2}(ℝ^2)$에서 최적의 Lorentz-Zygmund 유형 부등식을 도출하고, 명시적인 극값을 제공하기 위해.
• 비유계 영역에서의 고전적 부등식들인 Adachi-Tanaka 및 Ruf의 부등식들을 극한 공간 $ℝ^{1,2}(ℝ^2)$를 통해 통합하는 데 목적이 있다.

제안 방법

• L^2 및 Dirichlet 노름을 모두 포함하는 Moser 유형 부등식에 대해 $ℝ^2$에서의 농도 및 소멸 현상을 분석한다.
• 참고문헌 [35]의 척도 불변성과 컴팩트성 추론을 사용하여, 극값이 농도 및 소멸 수준을 피한다는 것을 보인다.
• 함수의 L^2-노름과 Dirichlet 노름이 유계임을 조건으로 기능을 제한하여 Adachi-Tanaka 부등식의 개선된 버전을 도출한다.
• 척도 성질 $J_\beta(u) = \tau J_\beta(u_\tau)$를 적용하여 서로 다른 노름을 가진 부등식들 간의 관계를 설정하고, 동치성을 증명한다.
• 수정된 지수 함수 $\phi_p(t) = \sum_{j \geq p/2} \frac{t^j}{j!}$를 사용하여 $ℝ^{1,2}(ℝ^2) \cap L^p(\u211d^2)$에서 극한 부등식을 구성한다.
• 최상의 부등식이 유한한 최대값을 가지며 이를 극값이 도달한다는 것을 보여줌으로써, 부등식의 날카움과 도달 가능성의 성립을 증명한다.

실험 결과

연구 질문

• RQ1 Ruf의 비판적 Moser 부등식은 $ℝ^2$에서 비비판적 Adachi-Tanaka 부등식의 개선된 형태와 동치인가?
• RQ2 L^2-노름이 유계일 때, Adachi-Tanaka 프레임워크에서 비판적 임계값 $\beta = 4\pi$가 도달 가능한가?
• RQ3 극한 공간 $ℝ^{1,2}(ℝ^2)$에서 최적의 Trudinger-Moser 유형 부등식은 무엇이며, 명시적인 극값을 가질 수 있는가?
• RQ4 대칭성과 컴팩트성 부족(농도, 소멸)은 이러한 부등식의 도달 가능성에 어떻게 영향을 미치는가?
• RQ5 H^1(ℝ^2)에서의 고전적 부등식들은 $ℝ^{1,2}(ℝ^2)$에서 하나의 프레임워크로 통합될 수 있는가?

주요 결과

• Adachi-Tanaka 부등식은 개선되었으며, $\delta \in [0,1)$에 대해 $\beta < 4\pi(1 - \delta)^{-2}$일 때 Ruf의 비판적 부등식과 동치임을 입증하였다.
• 개선된 부등식 (1.5)는 모든 $\beta < 4\pi(1 - \delta)^{-2}$에서 도달 가능하며, 최대값이 유한하고 농도 및 소멸을 피하는 극값에 의해 도달된다.
• 최적의 Lorentz-Zygmund 부등식이 $ℝ^{1,2}(ℝ^2)$에서 도출되었으며, 날카운 상수 $C(\beta, \delta, K)$는 명시적으로 유계이며 극값이 구성되었다.
• 비판적 경우 $\beta = 4\pi$는 Adachi-Tanaka 프레임워크에서 최대값이 무한해지는 임계점임이 입증되었으며, 이는 그 비판적 성격을 확인한다.
• 척도 및 컴팩트성 추론을 통해 개선된 Adachi-Tanaka 부등식과 Ruf의 부등식 간의 동치성이 확립되었으며, 둘 다 날카롭고 도달 가능하다는 것이 입증되었다.
• $p \geq 1$일 때 $ℝ^{1,2}(ℝ^2) \cap L^p(\u211d^2)$에서 $\int_{\u211d^2} \phi_p(4\pi u^2) \, dx \leq C_p \|u\|_p^p$ 부등식이 성립함을 보였으며, 이는 기존 결과를 극한 공간으로 확장한다.