[논문 리뷰] Symmetry and monotonicity properties of singular solutions to some cooperative semilinear elliptic systems involving critical nonlinearities

Francesco Esposito|arXiv (Cornell University)|2019. 04. 08.

Nonlinear Partial Differential Equations인용 수 11

한 줄 요약

이 논문은 유계 및 비유계 영역 내 임계 비선형성을 가진 협동형 비선형 타원계수 시스템의 양의 특이 해에 대한 대칭성 및 단조성 성질을 움직이는 평면 방법을 사용하여 수립한다. 볼록 대칭성과 특이 집합에 대한 영 용량 조건이 만족될 경우, 해는 초평면에 대해 대칭적이며, 그에 수직인 방향으로 엄격히 증가함을 증명한다.

ABSTRACT

We investigate qualitative properties of positive singular solutions of some elliptic systems in bounded and unbounded domains. We deduce symmetry and monotonicity properties via the moving plane procedure. Moreover, in the unbounded case, we study some cooperative elliptic systems involving critical nonlinearities in $\\mathbb{R}^n$.

연구 동기 및 목표

• 협동형 비선형 타원계수 시스템의 양의 특이 해에 대한 대칭성 및 단조성 성질을 조사하는 것.
• 움직이는 평면 방법을 비유계 영역, 특히 R^n 내 임계 비선형성을 가진 시스템으로 확장하는 것.
• R^n 내 고립된 특이점 또는 2-용량이 0인 닫힌 특이 집합을 가진 해를 분석하는 것.
• 협동 구조와 도메인의 대칭성 조건 하에서 엄격한 단조성 및 대칭성과 같은 정성적 행동을 확립하는 것.
• 임계 성장 시스템에서 컴팩턴스 부족과 비변분적 구조로 인해 발생하는 과제를 다루는 것.

제안 방법

• R^n 내 임계 비선형성을 가진 협동형 m×m 타원계수 시스템에 움직이는 평면 방법을 적용한다.
• 비유계 영역에서의 대칭성과 단조성을 분석하기 위해 켈빈 변환과 반사 기법을 사용한다.
• 자기 함수와 근사화를 포함하는 시험 함수를 사용하여 특이성과 임계 성장을 다룬다.
• 움직이는 평면 절차에서 L^{2^*} 노름을 제어하기 위해 소볼레프 포함과 컴팩턴스 추론에 의존한다.
• 극한에서 첫 번째 고유값과 포호자프 유형의 항등식을 기반으로 한 모순 추론을 구현한다.
• 해의 해석적 성질을 보장하기 위해 타원형 정규성과 국소 C^{1,α} 추정을 활용하여 특이 집합 외부에서의 해의 매끄러움을 확보한다.

실험 결과

연구 질문

• RQ1 R^n 내 협동형 비선형 타원계수 시스템의 양의 특이 해가 대칭성과 단조성을 보일 조건은 무엇인가?
• RQ2 움직이는 평면 방법은 임계 비선형성과 2-용량이 0인 특이 집합을 가진 시스템에 어떻게 적용되는가?
• RQ3 협동 구조(비음성 교차 미분)는 단조성과 대칭성을 보장하는 데 어떤 역할을 하는가?
• RQ4 컴팩턴스가 상실될 경우 움직이는 평면 방법은 임계 성장 시스템으로 어떻게 확장될 수 있는가?
• RQ5 특이 집합과 그 용량은 해의 정성적 행동에 어떤 영향을 미치는가?

주요 결과

• 도메인이 볼록하고 대칭적이며, 특이 집합 Γ가 초평면 {x₁ = 0} 위에 있을 경우, 해는 초평면 {x₁ = 0}에 대해 대칭적이다.
• 영역 {x₁ < 0} 내에서 해는 x₁ 방향으로 엄격히 증가하며, 모든 i에 대해 Ω ∩ {x₁ < 0} 내에서 ∂x₁uᵢ > 0이다.
• R^n 내 임계 시스템에서는 동일한 조건 하에 해가 초평면 {x₁ = 0}에 대해 대칭적이고 x₁ 방향으로 엄격히 증가한다.
• 움직이는 평면 방법이 임계 케이스에서 성공한 이유는 컴팩트 집합과 자기 함수를 통한 L^{2^*} 노름의 정교한 제어 덕분이다.
• 증명은 움직이는 평면 절차에서 모순 추론에 기반하며, 극한에서의 엄격한 부등식은 반사된 차이의 기울기가 소멸하게 만든다.
• 이 결과는 n ≥ 3일 경우 특이 집합이 R^n 내에서 2-용량이 0이어야 하며, n = 2일 경우 특이 집합이 한 점이어야 한다는 가정 하에 성립한다.