[논문 리뷰] Concavity of the Lagrangian Phase Operator and Applications

Tristan C. Collins, Sébastien Picard외 1명|arXiv (Cornell University)|2016. 07. 25.

Nonlinear Partial Differential Equations참고 문헌 30인용 수 4

한 줄 요약

이 논문은 초임계 위상 조건 $ h(x) > (n-2)\frac{\pi}{2} $ 하에서 하위해 조건이 존재하면 실수 및 복소 설정에서 라그랑주 위상 연산자의 딜리클레 문제의 해가 존재함을 보이며, 이를 통해 고유한 해를 보장한다. 저자들은 연속성 방법과 경계 추정을 사용하여 $ C^{3,\beta} $ 정칙성을 도출하며, 비볼록이지만 수준-볼록인 연산자로 하위해 방법을 확장한다.

ABSTRACT

We study the Dirichlet problem for the Lagrangian phase operator, in both the real and complex setting. Our main result states that if $Ω$ is a compact domain in $\mathbb{R}^{n}$ or $\mathbb{C}^n$, then there exists a solution to the Dirichlet problem with right-hand side $h(x)$ satisfying $|h(x)| > (n-2)\fracπ{2}$ and boundary data $ϕ$ if and only if there exists a subsolution.

연구 동기 및 목표

• 실수 및 복소 도메인에서 라그랑주 위상 연산자의 딜리클레 문제의 가역성을 확립한다.
• 비볼록이지만 수준-볼록인 완전 비선형 연산자로 하위해 방법을 확장한다.
• 초임계 위상 조건 $ h(x) > (n-2)\frac{\pi}{2} $ 하에서 해의 $ C^{3,\beta} $ 정칙성을 증명한다.
• 몽제-암페르 및 복소 몽제-암페르 방정식의 결과를 라그랑주 위상 설정으로 일반화한다.

제안 방법

• 하위해 조건을 요구하는 하위해 방법을 사용하며, $ \underline{u} $ 가 $ \Omega $ 내에서 $ \sum \arctan \underline{\lambda}_i \geq h(x) $ 를 만족함을 보장한다.
• 문제를 알려진 해가 존재하는 경우로 연결하기 위해 연속성 방법을 적용한다.
• 경계 함수 $ \Phi $ 를 구성함으로써 $ \tilde{G} $, $ \eta $, 및 $ \psi(z) = -e^{-h(z)} $ 를 포함하여 사전 $ C^2 $ 추정을 유도한다.
• 좌표 정규화와 곡률 항 $ \sigma_{\alpha\bar{\beta}} $ 를 사용하여 경계점에서 $ u_{n\bar{n}} $ 를 추정함으로써 경계 $ C^2 $ 추정을 확립한다.
• 에반스-크릴로프 정리와 왕의 확장 기법을 적용하여 내부 $ C^{2,\alpha} $ 추정을 도출한다.
• 크릴로프의 방법을 사용하여 경계 $ C^{2,\alpha} $ 추정을 도출함으로써 사전 추정을 완성한다.

실험 결과

연구 질문

• RQ1 라그랑주 위상 연산자의 딜리클레 문제는 $ \mathbb{R}^n $ 또는 $ \mathbb{C}^n $ 에서 어떤 조건에서 해를 가질 수 있는가?
• RQ2 비볼록이지만 수준-볼록인 연산자로 하위해 방법을 확장할 수 있는가?
• RQ3 초임계 위상 조건 하에서 어떤 정규성 성질(예: $ C^{3,\alpha} $)을 보장할 수 있는가?
• RQ4 경계에서 복소 헤시안 $ \partial\bar{\partial}u $ 의 추정은 $ \partial\Omega $ 의 기하학적 성질에 어떻게 의존하는가?
• RQ5 $ \psi(z) = -e^{-h(z)} $ 는 경계 장벽을 구성하는 데 어떤 역할을 하는가?

주요 결과

• 초임계 위상 조건 $ h(x) > (n-2)\frac{\pi}{2} $ 하에서, 딜리클레 문제의 해가 존재함은 하위해가 존재함과 동치이다.
• 해는 유일하며 $ C^{3,\alpha}(\overline{\Omega}) $ 에 속하며, 입력 데이터가 모두 미분 가능하면 해의 정규성도 이를 따르게 된다.
• 사전 $ C^2 $ 추정은 $ \tilde{G} $, $ \eta $, 및 $ \psi(z) $ 로 구성된 장벽 함수 $ \Phi $ 를 통해 확립되며, 이는 경계에서 $ u_{n\bar{n}} \leq C $ 를 보장한다.
• 에반스-크릴로프 정리와 왕의 확장 기법은 내부 $ C^{2,\alpha} $ 추정을, 크릴로프의 방법은 경계 $ C^{2,\alpha} $ 추정을 제공한다.
• 사전 $ C^{2,\alpha} $ 추정은 $ \Omega $, $ \|\underline{u}\|_{C^4} $, $ \|h\|_{C^2} $, 및 $ \delta $ 에만 의존하며, 여기서 $ h(x) \geq (n-2)\frac{\pi}{2} + \delta $ 이다.
• 연속성 방법을 통해 하위해로부터 해를 구성함으로써 증명이 완성되며, 존재성과 정규성을 확인한다.