[논문 리뷰] Nonsolvability of the asymptotic Dirichlet problems for some quasilinear elliptic PDEs on Hadamard manifolds

Ilkka Holopainen, Jaime Ripoll|arXiv (Cornell University)|2013. 12. 21.

Geometric Analysis and Curvature Flows참고 문헌 18인용 수 6

한 줄 요약

이 논문은 3차원 카르탕-하다마르드 다양체에서 섹션 굴률 ≤ −1인 경우, 최소 그래프 방정식을 포함한 일련의 양성 타원형 비선형 편미분방정식에 대해 점점 가까이 다가가는 딜리클레 문제의 비해결 가능성을 보여준다. 보르베리의 구성 방식을 수정함으로써, 임의의 연속 경계 데이터에 대해 연속적이면서 비상수인 해가 존재하지 않는 명시적 예를 제시함으로써, 최소 그래프 방정식 이론에서 오랫동안 남아 있던 격차를 메웠다.

ABSTRACT

We show, by modifying Borbély's example, that there are $3$-dimen\-sional Cartan-Hadamard manifolds $M$, with sectional curvatures $\le -1$, such that the asymptotic Dirichlet problem for a class of quasilinear elliptic PDEs, including the minimal graph equation, is not solvable.

연구 동기 및 목표

• 카르탕-하다마르드 다양체에서 굴률 ≤ −1 조건 하에, 광범위한 양성 타원형 편미분방정식에 대해 점점 가까이 다가가는 딜리클레 문제의 비해결 가능성을 입증하는 것.
• 기존 문헌에서 최소 그래프 방정식에 대해 알려진 반례가 없었기 때문에, 이에 대한 첫 번째 반례를 제시함으로써 이론적 격차를 메우는 것.
• 라플라스 및 p-라플라스 방정식에 대한 이전의 비해결 가능성 결과를 최소 그래프 방정식의 경우로 확장하는 것.
• 연속적이면서 비상수 경계 데이터에 대해 점점 가까이 다가가는 딜리클레 문제가 실패하는 3차원 카르탕-하다마르드 다양체의 명시적 예를 구성하는 것.

제안 방법

• 최소 그래프 방정식에 대한 반례로 쓸 수 있도록, 굴률 ≤ −1인 카르탕-하다마르드 다양체를 보르베리의 구성 방식을 수정하여 만든다.
• ρ_a가 볼록 집합 V_{a−b}까지의 거리일 때, v_{a,c} = c tanh(δρ_a)로 정의된 연속적이며 양수인 Q-상위해 ψ_{a,c} = c − v_{a,c}의 가중치를 정의한다.
• 굴률 상한과 연산자 A(t)의 성장 조건을 이용하여 Q[v] = div(A(|∇v|²)∇v)의 하한을 유도함으로써, 이 값이 음이 아님을 보인다.
• 페르미 좌표계에서 발산 정리와 비교 추론을 적용하여, ψ_{a,c}가 전체 다양체 M에서 Q-상위해임을 확인한다.
• 가족 {ψ_{a,c}}가 정리 2.3에 필요한 조건을 만족함을 입증함으로써, 점점 가까이 다가가는 딜리클레 문제의 비해결 가능성을 유도한다.
• 최소 그래프 방정식이 요구하는 성장 조건과 정규성 조건 (A) 및 (B)를 만족함을 확인함으로써, 이론적 프레임워크가 적용 가능함을 보장한다.

실험 결과

연구 질문

• RQ1 3차원 카르탕-하다마르드 다양체에서 섹션 굴률 ≤ −1 조건 하에 최소 그래프 방정식에 대해 점점 가까이 다가가는 딜리클레 문제가 실패하는가?
• RQ2 최소 그래프 방정식에 대해, 연속적이면서 비상수 경계 데이터에 대해 연속해가 존재하지 않는 명시적 반례를 구성할 수 있는가?
• RQ3 이러한 다양체에서 최소 그래프 방정식이 성장 조건 (1.3)–(1.5) 및 정규성 조건 (A)와 (B)를 만족하는가? 이는 이론적 프레임워크의 타당성을 보장한다.
• RQ4 모든 a, c에 대해 ψ_{a,c}가 무한대에서 0으로 감소하고 양수로 유지되도록 하는 일관된 상수 δ = δ(B₀)가 존재하는가?
• RQ5 p-라플라스 및 라플라스의 경우에 대한 구성 방식을 최소 그래프 방정식으로 확장할 수 있는가? 이는 표준 p-라플라스 프레임워크 외부에 있는 경우이다.

주요 결과

• 3차원 카르탕-하다마르드 다양체에서 섹션 굴률 ≤ −1 조건 하에 최소 그래프 방정식에 대해 점점 가까이 다가가는 딜리클레 문제가 비해결 가능하다.
• 기존 연속 경계 데이터에 대해 연속적이면서 비상수인 해가 존재하지 않는, 이러한 다양체의 명시적 예를 저자들이 구성하였다.
• δ = 1/(2(1 + 2B₀))로 정의된 Q-상위해의 가족 ψ_{a,c} = c − c tanh(δρ_a)를 기반으로 한 구성으로, 이는 무한대에서 0으로 감소하고 볼록 집합에서 일정하다.
• 이 상위해들이 약한 의미에서 Q[ψ_{a,c}] ≤ 0임을 보였으며, 이는 연속적인 Q-해가 무한대에서 비상수 경계 데이터를 따를 수 없음을 의미한다.
• 최소 그래프 방정식은 요구되는 성장 조건 (1.3)–(1.5)와 정규성 가정 (A) 및 (B)를 만족함을 확인하여, 이론적 프레임워크의 적용 가능성을 확인하였다.
• 이 결과는 굴률 ≤ −1 조건 하에 최소 그래프 방정식에 대해 첫 번째 반례를 제공함으로써 오랫동안 남아 있던 열린 문제를 해결하였으며, 이는 이전의 라플라스 및 p-라플라스 방정식 결과를 확장하는 바이다.