[논문 리뷰] The \infty eigenvalue problem and a problem of optimal transportation

Thierry Champion, Luigi De Pascale외 1명|arXiv (Cornell University)|2008. 11. 12.

Mathematics and Applications인용 수 14

한 줄 요약

이 논문은 최적 운반 문제를 통해 ∞-라플라시안의 첫 번째 고유값과 고유함수를 새로운 방식으로 특성화한다. 이는 p→∞일 때 p-라플라시안 고유값 문제의 점근적 극한을 질량 운반 이론과 연결한다. 고유함수 u∞는 반지름의 역수로 스케일링된 거리 함수임을 입증하며, 극한 측도 f∞의 지지집합이 u∞의 최대화자들에 포함됨을 보이고, u∞가 운반 선상에서 복소해의 하부해 성질을 만족함을 보여준다.

ABSTRACT

The so-called eigenvalues and eigenfunctions of the infinite Laplacian $Δ_\infty$ are defined through an asymptotic study of that of the usual $p$-Laplacian $Δ_p$, this brings to a characterization via a non-linear eigenvalue problem for a PDE satisfied in the viscosity sense. In this paper, we obtain an other characterization of the first eigenvalue via a problem of optimal transportation, and recover properties of the first eigenvalue and corresponding positive eigenfunctions.

연구 동기 및 목표

• 최적 운반 이론을 통해 첫 번째 ∞-고유값과 고유함수를 새로운 방식으로 특성화하기.
• 운반 이론적 방법을 사용하여 p→∞일 때 p-라플라시안 고유값 문제의 점근적 행동 분석하기.
• 극한 고유함수 u∞의 성질을 확립하기, 특히 거리 함수와 내접원 반지름과의 관계 포함.
• 극한 측도 f∞의 지지집합의 구조와 u∞의 최대화자들과의 관계 조사하기.
• Ω의 다양한 영역에서 u∞의 PDE 성질 탐구하기, 특히 운반 선상에서의 성질

제안 방법

• p→∞일 때 p-라플라시안 고유값 문제의 형식적 점근적 분석을 통해 복소해의 의미에서 ∞-고유값 문제 유도.
• 레이일리 몫과 임계값을 사용하여 p-라플라시안의 고유값 정의.
• 비용 함수 |x−y|를 갖는 최적 운반 문제 (P∞) 도입 및 f∞가 argmax u∞에 지지된 원천 측도로 설정.
• 운반 집합 T를 y1∈spt(f∞), y2∈p∂Ω(x)인 구간 [y1,y2]의 합집합으로 정의하고, 운반 선으로 간주.
• 복소해 이론을 적용하여 T\(spt(f∞)∪∂Ω)에서 −Δ∞u∞≤0임을 증명.
• u_p→u∞의 균일수렴과 (1−α/2)^{p−1}을 포함한 점별 추정을 사용하여 f∞의 지지집합 분석

실험 결과

연구 질문

• RQ1 첫 번째 ∞-고유값과 고유함수는 최적 운반 문제를 통해 특성화될 수 있는가?
• RQ2 극한 측도 f∞의 지지집합은 u∞의 최대화자 집합에 포함되는가?
• RQ3 고유함수 u∞는 운반 선상에서 복소해의 의미에서 −Δ∞u∞≤0을 만족하는가?
• RQ4 argmax u∞와 argmax dΩ가 일치하는 조건은 무엇인가?
• RQ5 운반 집합 T의 구조는 Ω의 다양한 영역에서 u∞의 PDE 행동과 어떻게 관련되는가?

주요 결과

• 첫 번째 ∞-고유값은 Λ∞ = 1/R1이며, 여기서 R1은 Ω의 내접원 반지름이다.
• 극한 고유함수 u∞는 u∞(x) ≤ (1/R1)dΩ(x)를 만족하며, 최대화자에서 등호가 성립하므로 argmax u∞ ⊆ argmax dΩ임을 의미한다.
• f∞의 지지집합은 균일수렴과 (1−α/2)^{p−1}의 감쇠를 통해 argmax u∞에 포함됨을 보였다.
• 운반 집합 T\(spt(f∞)∪∂Ω)에서 u∞는 미분 가능하며, 복소해의 의미에서 −Δ∞u∞ ≤ 0을 만족한다.
• 각 운반 선 [y1,y2]에서 u∞(z) = Λ∞|z−y2|이며, 모든 z∈]y1,y2[에서 |∇u∞(z)| = Λ∞이다.
• 이 결과는 spt(f∞) = argmax dΩ라는 추측을 뒷받침하며, 이는 argmax 집합의 일치에 관한 열린 문제를 해결할 수 있다.