[논문 리뷰] On the uniqueness and monotonicity of solutions of free boundary problems

Daniele Bartolucci, Aleks Jevnikar|arXiv (Cornell University)|2022. 01. 01.

Nonlinear Partial Differential Equations참고 문헌 52인용 수 9

한 줄 요약

이 논문은 플라즈마 물리학에서 발생하는 자유 경계 문제의 양해를 위한 이중 변분 형식을 사용하여, 그 해의 유일성과 단조성을 확립한다. 임의의 매끄럽고 유계인 도메인 Ω⊂ℝᴺ에 대해, 해는 경계 밀도와 에너지에 대해 일관된 단조성을 보이며, 소볼레프 집합 상수에 의해 결정되는 낼맞은 임계값까지 존재한다. 이 결과는 변분 해의 유일성에 관한 오랫동안 미해결이었던 문제를 해결하며, 두 차원 구의 해 분지에 대한 완전한 기술을 제공한다.

ABSTRACT

For any smooth and bounded domain Ω⊂RN, we prove uniqueness of positive solutions of free boundary problems arising in plasma physics on Ω in a neat interval depending only by the best constant of the Sobolev embedding H01(Ω)↪L2p(Ω), [Formula presented] and show that the boundary density and a suitably defined energy share a universal monotonic behavior. At least to our knowledge, for p>1, this is the first result about the uniqueness for a domain which is not a two-dimensional ball and in particular the very first result about the monotonicity of solutions, which seems to be new even for p=1. The threshold, which is sharp for p=1, yields a new condition which guarantees that there is no free boundary inside Ω. As a corollary, in the same range, we solve a long-standing open problem (dating back to the work of Berestycki-Brezis in 1980) about the uniqueness of variational solutions. Moreover, on a two-dimensional ball we describe the full branch of positive solutions, that is, we prove the monotonicity along the curve of positive solutions until the boundary density vanishes.

연구 동기 및 목표

• 자기 경계 문제의 변분 해에 대한 오랫동안 미해결이었던 유일성 문제를 해결하기 위해.
• 해 곡선을 따라 경계 밀도와 에너지의 단조적 행동을 확립하기 위해.
• 두 차원 구에서 양해의 전체 분지를 특성화하기 위해.
• Ω 내부에 자유 경계가 존재하지 않는 날개를 특정하는 날카로운 임계값을 규명하기 위해.
• p=1 또는 구형 대칭의 특수 케이스를 초월하여 유일성 결과를 일반화하기 위해.

제안 방법

• L∞ 함수 위의 제약 최소화를 포함하는 이중 변분 문제 (P)λ로 문제를 재구성하기 위해.
• (F)I와 (P)λ 사이의 쌍대성 관계를 이용하여 두 형식 간의 해 성질을 번역하기 위해.
• 스펙트럼 이론과 분기 분석을 적용하여 매개변수 λ에 대한 해 곡선 λ ↦ (αλ, ψλ)를 연구하기 위해.
• 수축 사상과 사전 경계를 사용하여 작은 λ에 대해 국소적 유일성과 정칙성을 증명하기 위해.
• 단조성 추론과 고유값 추정을 활용하여, 구간 [0, 1/p Λ(Ω,2p)) 내의 λ에 대해 dαλ/dλ < 0 및 dEλ/dλ > 0 를 보여주기 위해.
• 날카로운 임계값 1/p Λ(Ω,2p)을 활용하여 존재 가능한 최대 구간과 경계 행동을 특성화하기 위해.

실험 결과

연구 질문

• RQ1 일반적인 도메인과 p > 1에 대해, Ω 내부에 자유 경계가 존재하지 않는 날카로운 임계값이 존재하는가?
• RQ2 (αλ, ψλ) 해 곡선이 유일하게 매개변수화되고 실해석적, 단조적임을 입증할 수 있는가?
• RQ3 비구형 도메인에서 p > 1에 대해 양해의 유일성이 성립하는가?
• RQ4 해 곡선과 H¹₀(Ω) ↪ L²ᵖ(Ω)의 최적 상수 사이의 정확한 관계는 무엇인가?
• RQ5 경계 밀도와 에너지는 해 분지에 따라 어떻게 변화하며, 이 행동은 도메인에 관계없이 일반적인가?

주요 결과

• 임의의 매끄럽고 유계인 도메인 Ω⊂ℝᴺ 및 p ∈[1, pN)에 대해, (P)λ의 해 (αλ, ψλ)는 모든 λ ∈[0, 1/p Λ(Ω,2p)) 에서 고유하다.
• 해 곡선은 실해석적 단순 곡선이며, dαλ/dλ < 0 및 dEλ/dλ > 0 를 만족하여 αλ는 감소하고 에너지 Eλ는 증가함을 나타낸다.
• p=1일 때 임계값 λ = 1/p Λ(Ω,2p)는 날카로운 것으로, 첫 번째 딜리클레 고유값 λ(1)(Ω)과 일치하며, αλ → 0 가 되는 지점이다.
• 두 차원 구 D₂에서는 양해의 전체 분지가 기술된다: αλ는 1에서 0으로 감소하고, ψλ는 λ가 1/p Λ(D₂,2p)에 접근함에 따라 증가한다.
• λ → 0+ 일 때 에너지 Eλ는 Eλ = E₀(Ω) + O(λ) 를 만족하며, E₀(Ω) = ½ ∫∫ GΩ(x,y) dxdy ≤ |B₁|⁻²/ᴺ 4(N+2) 이다.
• p > 1일 때 결과는 오랫동안 미해결이었던 변분 해의 유일성 문제를 해결하며, 이러한 해가 존재하고 고유함을 보여주며, 정확히 λ < λ∗∗(Ω,p) = (I∗∗(Ω,p))¹/𝑞 인 경우에만 성립한다.