[논문 리뷰] Extremal functions for Trudinger-Moser inequalities of Adimurthi-Druet type in dimension two

Yunyan Yang|arXiv (Cornell University)|2015. 01. 01.

Nonlinear Partial Differential Equations참고 문헌 28인용 수 5

한 줄 요약

이 논문은 두 차원에서 Adimurthi-Druet 유형의 Trudinger-Moser 부등식에 대한 극값 함수의 존재성을 입증한다. 이는 유계 영역 ℝ² 및 경계가 없는 컴act Riemannian 곡면에서 모두 성립한다. Carleson-Chang의 농도-콤���터성 프레임워크와 블로우업 분석을 조합하여, 유클리드 경우에서는 모든 α < λ₁(Ω) 및 곡면에서는 α < λ₁(Σ)일 때 이러한 부등식의 상한이 도달됨을 증명한다. 이는 오랫동안 미해결이었던 이 날카른 지수 Trudinger-Moser 설정에서의 존재 문제를 해결한다.

ABSTRACT

Combining Carleson-Chang's result with blow-up analysis, we prove existence of extremal functions for certain Trudinger-Moser inequalities in dimension two. This kind of inequality was originally proposed by Adimurthi and O. Druet, extended by the author to high dimensional case and Riemannian surface case, generalized by C. Tintarev to wider cases including singular form and by M. de Souza and J. M. do Ó to the whole Euclidean space R^2. In addition to the Euclidean case, we also consider the Riemannian surface case. The results in the current paper complement that of L. Carleson and A. Chang, M. Struwe, M. Flucher, K. Lin, and Adimurthi-Druet, our previous ones, and part of C. Tintarev.

연구 동기 및 목표

• 두 차원 유클리드 공간 ℝ²에서 Adimurthi-Druet 유형의 Trudinger-Moser 부등식에 대한 극값 함수의 존재를 확립한다.
• 경계가 없는 컴act Riemannian 곡면으로 존재 결과를 확장하여, 동일한 날카른 조건 α < λ₁(Σ) 하에서 상한의 도달을 증명한다.
• 함수의 L² 노름에 따라 비선형성의 지수에 영향을 주는 임계 경우에서 이러한 날카른 Trudinger-Moser 부등식의 상한이 도달되는지 여부라는 열린 문제를 해결한다.
• Carleson-Chang, Adimurthi-Druet, de Souza-do Ó의 이전 결과를 통합하고 일반화하여 저차원에서 Trudinger-Moser 부등식에 대한 극값 함수에 관한 결과를 확장한다.
• 블로우업 분석과 변분 방법을 통해 엄밀한 존재 증명을 제공하며, 극한 경우에서의 이전의 도달 불가 결과를 보완한다.

제안 방법

• Carleson-Chang의 농도-콤팩터성 접근법과 블로우업 분석을 조합하여 최대화 수열의 행동을 연구한다.
• 기본 ℓ 고유함수의 직교보완공간 Eₗ⊥ 내에서 손실된 질량을 방지하기 위해 테스트 함수 수열 φₙ*를 구성한다.
• 블로우업 점 p 근처의 블로우업 프로파일을 모델링하기 위해 그린 함수 G와 로그 스케일링 R = –log ε를 사용한다.
• 타원형 추정과 L² 노름 제어를 적용하여 정규화된 수열 φₙ*가 하위수열에 대해 W¹,²(Σ)에서 강한 수렴을 보임을 보인다.
• 만약 상한이 도달하지 못했다면 ∫Σ e^{4π(φₙ* – φ̄ₙ*)²} dv_g ≥ Vol_g(Σ) + πe^{1+4πAₚ} + 4π‖G‖₂²/c² + o(1/c²)라는 항등식을 이용해 모순을 도출한다.
• 제약 조건 ‖φₙ*‖₁,α = 1 및 ∫Σ φₙ* dv_g = 0 를 만족시키도록 테스트 함수를 정규화하여 허용 가능한 클래스 내에 있도록 보장한다.

실험 결과

연구 질문

• RQ1 ℝ²에서 Adimurthi-Druet 유형의 Trudinger-Moser 부등식에서 상한이 모든 α < λ₁(ℝ²)에 대해 유한하고 도달 가능한가?
• RQ2 α < λ₁(Σ) 조건 하에서 경계가 없는 컴act Riemannian 곡면에서 날카른 Trudinger-Moser 부등식에 대해 극값 함수를 구성할 수 있는가?
• RQ3 함수의 L² 노름이 지수에 영향을 주는 비선형성에서 최대화 수열은 어떻게 되는가?
• RQ4 최대화 수열의 블로우업 행동이 어떻게 제어되어 정규화 및 직교 프로젝션을 통해 극값 함수를 추출할 수 있는가?
• RQ5 생성된 테스트 수열 φₙ*를 통한 모순 추론을 통해 농도 매개변수 cₙ의 유계성을 증명하고, 이로 인해 콤팩터성과 존재성을 입증할 수 있는가?

주요 결과

• ℝ²에서 Adimurthi-Druet 유형의 Trudinger-Moser 부등식에서 상한은 모든 α < λ₁(ℝ²)에 대해 도달되며, 이는 이전 결과를 허용 가능한 α의 전체 범위로 확장한다.
• 경계가 없는 컴act Riemannian 곡면 Σ에서 부등식 ∫Σ e^{4πu²(1+α‖u‖₂²)} dv_g 의 상한은 모든 α < λ₁(Σ)에 대해 도달되며, 극값 함수의 존재를 확인한다.
• 극값 함수는 모순 추론을 통해 도출된다: 상한이 도달하지 못한다고 가정하면 ∫Σ e^{4π(φₙ*)²} dv_g > Vol_g(Σ) + πe^{1+4πAₚ} 를 만족하는 테스트 수열 φₙ*가 존재하여 기존 상한과 모순된다.
• 블로우업 수열 φₙ 은 그린 함수 G와 로그 스케일링 R = –log ε 를 사용하여 구성되며, c² = O(–log ε) 이므로 지수 항의 적절한 성장률을 보장한다.
• 정규화된 수열 φₙ* = φ̃ₙ / ‖φ̃ₙ‖₁,α 는 제약 조건 ‖φₙ*‖₁,α = 1 및 ∫Σ φₙ* dv_g = 0 를 만족하며, Eₗ⊥ 내에 있으므로 스토퍼브 공간에서 수렴한다.
• 핵심 부등식 ∫Σ e^{4π(φₙ* – φ̄ₙ*)²} dv_g ≥ Vol_g(Σ) + πe^{1+4πAₚ} + 4π‖G‖₂²/c² + o(1/c²) 는 cₙ 이 유계가 아니라고 가정할 경우 모순을 도출하는 데 사용되며, 이는 콤팩터성과 존재성을 증명한다.