디리클레 문제에서 퇴화된 k 헤시안 방정식의 해 존재성 연구

초록

본 논문은 비음의 우변 f를 갖는 k-헤시안 방정식의 디리클레 문제에 대한 전역 C¹,¹ 해의 존재성을 탐구합니다. 특히 f에 필요한 최적 조건인 f¹/(k-¹) ∈ C¹,¹ 및 f³/(²k-²) ∈ C²,¹을 제시하고, 이 조건들이 고전적 반례를 통해 최적임을 입증합니다. Monge-Ampère 방정식(k=n)과 일반 k-헤시안 방정식 각각에 대해 해의 존재성을 보장하는 구체적인 조건들을 정리합니다.

상세 분석

이 논문은 퇴화된(degenerate) k-헤시안 방정식, 즉 우변 f가 일부 점에서 0이 될 수 있는 경우의 디리클레 문제를 다룹니다. 핵심 과제는 해의 2계 도함수에 대한 전역적 C¹,¹ 선형 추정을 f의 최소값에 독립적으로 얻는 것입니다. 주요 기술적 도전은 경계에서의 2계 법선 도함수 추정입니다.

논문은 두 가지 주요 방법론을 활용합니다: Guan-Trudinger-Wang(1995)의 방법(볼록해와 볼록 영역을 활용)과 Ivochkina-Trudinger-Wang(1995)/Krylov의 방법(PDE 기반의 “약한 내부 추정” 및 “내부 관점의 경계 추정”). 전자는 Monge-Ampère 방정식(k=n)에 적용되어 최적 조건 f³/(²ⁿ⁻²) ∈ C²,¹ 하에서 해 존재성을 증명합니다(정리 1.1). 후자는 일반 k-헤시안 방정식(2 ≤ k ≤ n-1)에 적용됩니다.

핵심 통찰은 우변 f의 정규성 조건을 그 지수함 형태(f¹/(k-¹) 또는 f³/(²k-²))의 정규성으로 변환하는 것입니다. Lemma 2.1은 이러한 변환 하에서도 유용한 점별 부등식(예: |∇g|²/g의 유계, ∂ₑₑg - α|∂ₑg|²/g의 하한)이 유지됨을 보여줍니다. 이는 추정 과정에서 f의 최소값에 의존하지 않는 상수를 얻는 데 필수적입니다.

정리 1.3은 일반 k-헤시안 방정식에 대한 해 존재성 결과로, 세 가지 조건 하에서 C¹,¹ 해의 존재를 보장합니다. 특히 조건 (i)(f¹/(k-¹) ∈ C¹,¹)는 Ivochkina-Trudinger-Wang이 제기한 오랜 미해결 문제를 해결한 Dong(2016)의 결과와 관련되지만, 본 논문에서는 추가 조건 inf ∆u ≥ 1이 필요합니다. 저자는 이 추가 조건이 제거된다면 미해결 문제가 완전히 해결될 것이라고 지적하며(Remark 1.4), 본 결과가 그 실마리를 제공할 수 있기를 기대합니다.