[논문 리뷰] Uniform bounds via regularity estimates for elliptic PDE with critical growth in the gradient

Boyan Sirakov|arXiv (Cornell University)|2015. 09. 15.

Nonlinear Partial Differential Equations참고 문헌 11인용 수 6

한 줄 요약

이 논문은 점근적 선형성과 2차 미분항의 스케일링이 일치하는 비선형 완전 타원형 PDE의 점도해에 대한 균일한 사전 경계를, 새로운 경계 성장 레미마와 반-하르낙 부등식을 사용하여 확립한다. 주요 기여는 재스케일링이나 모순에 의존하지 않는 강력한 방법을 제공함으로써, 계수의 연속성이 없더라도 존재성 및 비유일성 결과를 도출할 수 있게 한다. 이는 이전 결과를 라플라스 연산자 이상의 일반 이사스 연산자로 확장한다.

ABSTRACT

We prove non-uniqueness and study the behaviour of viscosity solutions of a class of uniformly elliptic fully nonlinear equations of Hamilton-Jacobi-Bellman-Isaacs type, with quadratic growth in the gradient. The crucial a priori bound for the solutions is proved through an argument which uses a boundary growth lemma, and consequences such as boundary "half"-Harnack inequalities, which are of independent interest. Our results are new even for linear equations.

연구 동기 및 목표

• 1阶 및 2阶 항 간의 스케일링이 일치하는 이유로 임계적인 경사의 제곱 성장이 있는 균일 타원형 PDE의 점도해에 대한 균일한 사전 경계를 확립하는 것.
• 제로차수 계수 c(x)가 양일 때 딜리클레 문제에서 비유일성 문제가 열려 있는 것을 해결하여, 이전 결과가 라플라스 연산자 또는 엄격히 양인 μ(x)로 국한된 것을 일반화하는 것.
• 라플라스 연산자 구조에 의존하지 않는 방법을 개발하여, 유일 타원성과 계수의 유계성에만 기반함으로써 일반 이사스 연산자로 결과를 일반화하는 것.
• 재스케일링 및 모순 증명 기법을 회피함으로써, 연속성 가정을 최소화한 조건 하에서 해의 존재성 및 비유일성을 입증하는 것.

제안 방법

• 경계 근처에서 해의 행동을 제어하기 위해 경계 성장 레미마를 사용하여 해와 경계까지의 거리 비율의 하한을 확립한다.
• 반-하르낙 부등식(경계 '반'-하르낙)을 핵심 기술 도구로 도출하여, 해의 하한 근처에서의 하위해에 대한 국소적 제어를 가능하게 한다.
• 원래 PDE로부터 유도된 두 개의 한쪽 방향 부등식 시스템에 대해 경계 약한 하르낙 부등식(BWHI)과 경계 강한 최대원리(BQSMP)를 적용한다.
• 변환 v = μ⁻¹(1 - e^{μu})를 사용하여 원래 부등식을 오른쪽 항이 유계인 형태로 변환함으로써, 경계에서 표준 리프시츠 추정이 가능해지게 한다.
• 적분 추정과 가중 리만 공간 내의 보간에 기반하여 재스케일링, 모순, 극한 취득을 모두 회피한다.
• v₁이 경사항을 제어하고 v₂가 제로차수항을 제어하는 v₁과 v₂로 구성된 시스템에 방법을 적용하며, 핵심 단계는 로그 성장을 이용하여 v₂를 v₁로 유계화하는 것.

실험 결과

연구 질문

• RQ1 계수의 연속성 또는 라플라스 연산자 구조를 가정하지 않고, 임계 제곱 성장이 있는 균일 타원형 PDE의 점도해에 대해 균일한 사전 경계를 확립할 수 있는가?
• RQ2 c(x) > 0일 때 이러한 방정식의 딜리클레 문제에서 다수의 해가 존재하는 조건은 무엇인가?
• RQ3 이전에 연구된 경우를 초월하여, 일반적으로 사전 경계의 필요 조건인 c(x)와 μ(x)의 지지집합의 교차가 구 내에 포함되어야 한다는 조건이 충분한가?
• RQ4 재스케일링 또는 모순을 사용하지 않고 사전 경계를 증명할 수 있으며, 이 방법은 일반 이사스 연산자로 확장 가능한가?
• RQ5 부등식 −Δv₂ ≤ f₂(x,v₂)에서 계수 d(x) = c(x)u(x)의 날카운 정규성 임계값은 무엇이며, v₂가 유계임을 보장하는가?

주요 결과

• 최소한의 계수 가정 하에 일반적인 균일 타원형 이사스 연산자와 제곱 경사 성장이 있는 딜리클레 문제의 점도해에 대해 균일한 사전 경계를 확립하였다.
• 경계는 타원성 상수, 계수의 L∞ 유계성, 그리고 ∫_B c^ε dx에 대한 하한에만 의존하며, ε > 0는 차원에 따라 달라진다.
• c(x) ≡ c₀ > 0이 작고 M(x) = μ₀I일 때 해의 비유일성을 입증하였으며, 이는 이전 결과를 일반 연산자로 확장한 것이다.
• 재스케일링, 모순, 극한 과정을 모두 회피하여 경계의 유계성을 직접적이고 강력한 방식으로 증명하였다.
• 문헌 [15]에서 제시된 필요 조건—즉, supp(c) ∩ supp(μ)가 구를 포함해야 한다—가 n ≤ 4 차원이거나 경계 근처의 추가 성장 조건이 있을 경우 일반적으로 충분한 것으로 밝혀졌다.
• 바자케즈의 강한 최대원리는 음의 μ 경우에 무한대가 되는 하위해가 존재하지 않음을 규명하여, 어떤 수열의 하위해도 무한대가 될 수 없음을 증명함으로써 경계의 유계성을 보장한다.