[논문 리뷰] A weighted Moser-Trudinger inequality and its relation to the Caffarelli-Kohn-Nirenberg inequalities in two space dimensions

Jean Dolbeault, Maria J. Esteban외 1명|arXiv (Cornell University)|2007. 03. 29.

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

한 줄 요약

이 논문은 매개수 α > -1를 가진 ℝ² 위에서 가중치가 부여된 Moser-Trudinger 부등식을 수립하며, 모든 α > -1에 대해 원형 함수에 대해 성립하고 일반 함수에 대해서는 α ∈ (-1, 0]일 때에만 성립함을 증명한다. 이 부등식은 붕괴 분석을 통해 Caffarelli-Kohn-Nirenberg 부등식의 극한 경우로 나타나며, 두 차원에서 하드리-소볼레프 유형 부등식의 극값 함수에서의 대칭성 붕괴를 정확히 규명한다.

ABSTRACT

We first prove a weighted inequality of Moser-Trudinger type depending on a parameter, in the two-dimensional Euclidean space. The inequality holds for radial functions if the parameter is larger than -1. Without symmetry assumption, it holds if and only if the parameter is in the interval (-1,0]. The inequality gives us some insight on the symmetry breaking phenomenon for the extremal functions of the Hardy-Sobolev inequality, as established by Caffarelli-Kohn-Nirenberg, in two space dimensions. In fact, for suitable sets of parameters (asymptotically sharp) we prove symmetry or symmetry breaking by means of a blow-up method. In this way, the weighted Moser-Trudinger inequality appears as a limit case of the Hardy-Sobolev inequality.

연구 동기 및 목표

• 매개수 α > -1를 가진 ℝ²에서 가중치가 부여된 Moser-Trudinger 부등식을 수립하여, 확률 측도 dμα의 가족을 통해 고전적 부등식을 일반화한다.
• 부등식이 원형 함수와 비원형 함수에 대해 성립하는 조건을 조사하여, 일반 함수에 대해선 α ∈ (-1, 0]일 때에만 성립하는 날카로운 임계값을 규명한다.
• 붕괴 극한을 통해 가중치가 부여된 Moser-Trudinger 부등식을 Caffarelli-Kohn-Nirenberg 부등식과 연결하여, 그 한계 경우로서의 역할을 드러낸다.
• 매개수 변화에 따른 가중치가 부여된 Moser-Trudinger 부등식의 행동을 분석하여, 하드리-소볼레프 부등식의 극값 함수에서의 대칭성 붕괴를 분석한다.
• 구면, 유클리드 공간, 실린더 사이의 기하학적·해석적 프레임워크를 제공하여, 세 형태의 부등식이 서로 동치임을 보여준다.

제안 방법

• α > -1에 따라 변형된 구면 투영을 사용하여 구면 S²를 ℝ²로 매핑하고, dμα에 의존하는 측도를 이용해 ℝ² 위에서 가중치가 부여된 Moser-Trudinger 부등식을 유도한다.
• 원형 대칭성과 Emden-Fowler 변환을 활용하여, α > -1이면 𝒟α 내 모든 원형 함수에 대해 부등식이 성립함을 증명한다.
• 대칭성이 없을 경우, 부등식이 𝒟α에서 성립하기 위해선 α ∈ (-1, 0]이어야 하며, 이를 위해 날카로운 점근적 분석과 붕괴 기법을 사용한다.
• 켈빈 변환과 변수 변경을 통해 S², ℝ², 실린더 ℂ 위의 부등식 간의 동치성을 확립한다.
• 붕괴 분석을 통해 매개수의 임계값으로 수렴하는 극한에서, 가중치가 부여된 Moser-Trudinger 부등식이 Caffarelli-Kohn-Nirenberg 부등식과 관련됨을 규명한다.
• 실린더 모델을 통해 극값 함수를 분석하며, α > 0일 경우 각도 도함수 항이 중요해져 대칭성 붕괴가 발생함을 보인다.

실험 결과

연구 질문

• RQ1 α > -1 인 어떤 값에서, 원형 대칭이 없는 모든 함수에 대해 𝒟α 내에서 가중치가 부여된 Moser-Trudinger 부등식이 성립하는가?
• RQ2 붕괴 절차를 거칠 때, 가중치가 부여된 Moser-Trudinger 부등식은 Caffarelli-Kohn-Nirenberg 부등식의 어떤 극한 경우로 나타나는가?
• RQ3 매개수 α는 하드리-소볼레프 부등식의 극값 함수가 원형인지 여부를 결정하는 데 어떤 역할을 하는가?
• RQ4 왜 α > 0일 경우 원형 함수에선 성립하지만 일반 함수에선 실패하는가?
• RQ5 구면, ℝ², 실린더에서의 세 동치 형태는 극값 함수에서의 대칭성 붕괴 현상을 어떻게 반영하는가?

주요 결과

• 가중치가 부여된 Moser-Trudinger 부등식은 𝒟α 내 모든 원형 함수에 대해 α > -1일 때에만 성립한다.
• 원형 대칭이 없을 경우, 부등식은 𝒟α에서 α ∈ (-1, 0]일 때에만 성립하며, 이는 대칭성 붕괴에 대한 날카로운 임계값을 나타낸다.
• α > 0일 경우 실린더 위의 에너지 함수에서 각도 도함수 항이 존재하여 원형 대칭이 깨지며, 이로 인해 일반적으로 부등식이 성립하지 않는다.
• Caffarelli-Kohn-Nirenberg 부등식의 극값 함수는 α > 0일 때 대칭성 붕괴를 보이며, 붕괴 극한에서 b > h(a)에 해당한다.
• 매개수가 임계값으로 수렴하는 극한에서, 가중치가 부여된 Moser-Trudinger 부등식은 Caffarelli-Kohn-Nirenberg 부등식과 동치이며, 이는 후자가 극한 경우로 나타남을 의미한다.
• 변형된 구면 투영과 Emden-Fowler 변환을 통해 S², ℝ², 실린더 ℂ 위의 부등식 간의 동치성이 확립되며, 측도 dμα와 에너지 함수가 일관되게 변환된다.