[논문 리뷰] Weighted interpolation inequalities: a perturbation approach

Jean Dolbeault, Matteo Muratori외 1명|arXiv (Cornell University)|2015. 09. 30.

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

한 줄 요약

이 논문은 스펙트럼 갭 부등식과 농도-콤팩트니스 기반의 페르투르베이션 접근법을 사용하여, 작은 거듭제곱 가중치에 대해 가중치가 있는 Caffarelli-Kohn-Nirenberg 부등식에서 최적 함수의 원형 대칭성을 확립한다. 가중치 지수 γ가 충분히 작을 경우 최적 함수는 이동을 제외하고 원형 대칭임을 증명하고, 페르투르베이션 영역에서 Barenblatt 유형의 프로파일로 명시적으로 특정한다.

ABSTRACT

We study optimal functions in a family of Caffarelli-Kohn-Nirenberg inequalities with a power-law weight, in a regime for which standard symmetrization techniques fail. We establish the existence of optimal functions, study their properties and prove that they are radial when the power in the weight is small enough. Radial symmetry up to translations is true for the limiting case where the weight vanishes, a case which corresponds to a well-known subfamily of Gagliardo-Nirenberg inequalities. Our approach is based on a concentration-compactness analysis and on a perturbation method which uses a spectral gap inequality. As a consequence, we prove that optimal functions are explicit and given by Barenblatt-type profiles in the perturbative regime.

연구 동기 및 목표

• 가중치가 거듭제곱 형태인 가중치가 있는 Caffarelli-Kohn-Nirenberg 부등식의 가족에서 최적 함수의 존재성과 대칭성 성질을 확립하는 것.
• 작은 γ에 대해 이러한 부등식에서 대칭성 붕괴가 발생하는지 여부라는 열린 문제를 해결하는 것.
• γ → 0에 가까운 페르투르베이션 영역에서 최적 상수와 최적 함수를 특성화하는 것.
• γ = 0인 Gagliardo-Nirenberg 케이스에서 알려진 대칭성 결과를 새로운 페르투르베이션 방법을 사용하여 작은 γ > 0로 확장하는 것.

제안 방법

• 최적 함수가 원형이 되고 Barenblatt 유형의 프로파일로 주어지는 γ = 0 케이스를 기준으로 페르투르베이션 접근법을 적용한다.
• 최소화자의 극한을 γ → 0에서 분석하기 위해 농도-콤팩트니스와 감마-수렴 기법을 사용한다.
• 기준 해 주위의 선형화된 연산자의 스펙트럼 갭 부등식을 사용하여 γ에 대한 1차 변동을 제어한다.
• 최소화 문제와 관련된 오일러-라그랑주 방정식을 분석하고, 최소화자의 방향 도함수가 극한에서 0이 됨을 증명한다.
• L² 공간에서의 약한 수렴과 강한 수렴 추론을 사용하여 페르투르베이션된 최소화자들이 만족하는 방정식에서 극한을 취한다.
• 비원형 대칭성을 가정할 경우, 각도 도함수를 포함하는 특정 적분이 0이 되어야 함을 보여, 이는 극한 프로파일의 원형 구조와 부합하지 않음을 유도하여 모순을 도출한다.

실험 결과

연구 질문

• RQ1 표준 대칭화 기법의 실패에도 불구하고, 작은 γ > 0에 대해 가중치가 있는 Caffarelli-Kohn-Nirenberg 부등식의 최적 함수가 여전히 원형 대칭을 유지하는가?
• RQ2 γ = 0에 가까운 페르투르베이션 영역에서 부등식의 최적 상수가 명시적으로 특성화될 수 있는가?
• RQ3 작은 γ에 대해 대칭성 붕괴가 가능할까, 아니면 최적 함수는 이동을 제외하고 여전히 원형 대칭을 유지하는가?
• RQ4 γ → 0일 때 최적 함수의 정밀한 점근적 행동은 무엇이며, 기존의 알려진 Barenblatt 프로파일과의 관계는 어떠한가?
• RQ5 선형화된 연산자의 스펙트럼 갭이 γ-편미분 프레임워크에서 최소화자의 정규성과 대칭성을 제어하는 데 사용될 수 있는가?

주요 결과

• 모든 d ≥ 3 및 p ∈ (1, d/(d−2))에 대해, γ* > 0가 존재하여 모든 γ ∈ (0, γ*)에 대해 최적 함수는 원형 대칭이다.
• 작은 γ에 대한 페르투르베이션 영역에서 최적 함수는 명시적으로 Barenblatt 유형의 프로파일로 주어진다: w*(x) = (1 + |x|²⁻ᵞ)⁻¹/(ᵖ⁻¹).
• 작은 γ에 대해 최적 상수 C_γ는 원형 함수에 의해 달성되며, 이는 이 영역에서 대칭성 붕괴가 발생하지 않음을 의미한다.
• γ → 0일 때의 극한 프로파일은 원형 대칭이며, Gagliardo-Nirenberg 부등식(γ = 0)에서 알려진 최적 함수에 해당한다.
• 페르투르베이션 방법을 통해 최소화자의 1차 변동이 모든 방향에서 0이 됨을 증명하여, 극한에서 원형 대칭이 성립함을 밝혔다.
• 비원형 대칭성을 가정할 경우 각도 도함수가 0이 되어야 함을 보여, 이는 극한 프로파일의 원형 구조와 부합하지 않음을 유도하여 모순을 도출하였다.