[논문 리뷰] Symmetry for extremal functions in subcritical Caffarelli-Kohn-Nirenberg inequalities

Jean Dolbeault, Maria J. Esteban외 2명|arXiv (Cornell University)|2016. 05. 20.

Nonlinear Partial Differential Equations참고 문헌 27인용 수 23

한 줄 요약

이 논문은 레니 엔트로피의 법칙과 변분적 강성 접근법을 사용하여 초임계적 Caffarelli-Kohn-Nirenberg 부등식에서 극값 함수의 대칭 범위를 규명한다. 극값 함수가 대칭성 파괴 영역 외부에 있는 매개수를 가질 경우, 그 함수들이 구형 대칭임을 증명한다. 이는 구형 해의 선형 불안정성과 보완적인 날카러운 조건으로 특징지어지며, 최근의 임계 케이스 결과를 새로운 도구를 통해 확장한 것으로, 대칭성 상실과 수정된 Emden-Fowler 변환으로 인해 발생하는 새로운 분석적 과제를 해결한다.

ABSTRACT

We use the formalism of the R{\\'e}nyi entropies to establish the symmetry range of extremal functions in a family of subcriti-cal Caffarelli-Kohn-Nirenberg inequalities. By extremal functions we mean functions which realize the equality case in the inequalities, written with optimal constants. The method extends recent results on critical Caffarelli-Kohn-Nirenberg inequalities. Using heuristics given by a nonlinear diffusion equation, we give a variational proof of a symmetry result, by establishing a rigidity theorem: in the symmetry region, all positive critical points have radial symmetry and are therefore equal to the unique positive, radial critical point, up to scalings and multiplications. This result is sharp. The condition on the parameters is indeed complementary of the condition which determines the region in which symmetry breaking holds as a consequence of the linear instability of radial optimal functions. Compared to the critical case, the subcritical range requires new tools. The Fisher information has to be replaced by R{\\'e}nyi entropy powers, and since some invariances are lost, the estimates based on the Emden-Fowler transformation have to be modified.

연구 동기 및 목표

• 초임계적 Caffarelli-Kohn-Nirenberg 부등식의 극값 함수가 구형 대칭이 되는 정확한 매개수 범위를 규명하는 것.
• 대칭 영역 내에서 모든 양의 임계점이 구형임을 보여주는 변분적 강성 결과를 수립하는 것. 이는 스케일링과 곱셈에 대해 유일성을 의미한다.
• 최근의 임계 부등식 결과를 초임계적 케이스로 확장하는 것. 이 경우 대칭성 상실과 수정된 스케일링으로 인해 새로운 분석 도구가 필요로 한다.
• 선형 분석에서 유도된 불안정성 조건을 보완함으로써 대칭성 파괴 영역을 날카롭게 특성화하는 것.
• 비선형 확산 방정식 히우리스틱을 사용하여 변분 증명의 지도를 제공하고, 엔트로피 기반 방법과 최적 함수 행동을 연결하는 것.

제안 방법

• 저자들은 초임계적 영역에서 피셔 정보 대신 레니 엔트로피의 법칙을 사용하여 대칭성을 분석한다.
• 비선형 확산 방정식 히우리스틱을 사용하여 극값 함수를 위한 변분 프레임워크를 구성하는 데 지도한다.
• 강성 정리 증명: 대칭 영역 내에서 모든 양의 임계점은 반드시 구형이어야 하며, 따라서 스케일링과 곱셈에 대해 유일하다.
• 대칭성 상실로 인해 초임계적 케이스에서 수정이 필요한 Emden-Fowler 변환을 적응하여 점점 더 큰 근사치를 도출한다.
• 증명은 구상 위의 스펙트럼 추정치에 기반한 파incare 부등식을 사용하여 해의 각도 도함수를 제어한다.
• 점근적 전개와 적분 표현을 사용하여 무한대와 원점에서의 해의 행동을 분석함으로써, 감쇠성과 유계성 성질을 보장한다.

실험 결과

연구 질문

• RQ1 매개수 β, γ, p에 어떤 조건이 성립할 경우, 초임계적 Caffarelli-Kohn-Nirenberg 부등식의 극값 함수가 구형 대칭이 되는가?
• RQ2 대칭 영역은 임계 케이스에서 구형 해의 선형 불안정성과 어떻게 관련이 있는가?
• RQ3 레니 엔트로피의 법칙이 초임계적 부등식의 대칭성 결과를 증명하는 데 피셔 정보를 대체할 수 있는가?
• RQ4 대칭성 상실로 인해 초임계적 케이스에서 Emden-Fowler 변환에 어떤 수정이 필요한가?
• RQ5 대칭 영역은 날카로운가? 그리고 불안정성으로부터 유도된 알려진 대칭성 파괴 영역과 보완되는가?

주요 결과

• 초임계적 Caffarelli-Kohn-Nirenberg 부등식에서 극값 함수의 대칭 영역은 γ < 0일 때 조건 β ∈ (β_FS(γ), (d−2)/d γ)의 보완 조건으로 특징지어진다.
• 대칭 영역 내에서 관련 함수의 모든 양의 임계점은 구형 대칭이 되며, 이는 스케일링과 곱셈에 대해 유일성을 의미한다.
• 극값 함수 w_*(x) = (1 + |x|^{2+β−γ})^{−1/(p−1)}는 대칭 영역 내에서 유일한 양의 구형 해이다.
• 대칭 결과는 날카롭다: 대칭성 파괴는 정확히 구형 함수의 선형 불안정성이 존재할 때 발생한다.
• 이 방법은 피셔 정보를 레니 엔트로피의 법칙으로 성공적으로 대체하였으며, Emden-Fowler 변환을 초임계적 설정에 적응시켰다.
• 증명은 φ(z,ω)의 도함수 비율이 z → +∞일 때 상수로 수렴함을 보여주며, 각도 감쇠 추정치를 통해 구형 행동을 확인한다.