비정형 계수의 에이코날 방정식 정규성 및 반볼록성 연구

본 논문은 공간 변수에 대해 Hölder 연속성을 갖는 비정형 계수를 가진 에이코날형 해밀턴-자코비 방정식 $H(x,-Du)=1$의 해의 정규성 문제를 다룬다. 서론에서는 반볼록성(semiconcavity)이 최적 제어와 해밀턴-자코비 방정식 이론에서 얼마나 중요한 역할을 하는지를 강조하고, 기존 연구들은 주로 $x$에 대해 Lipschitz 연속이거나 $H$가 $p$에 대해 엄격히 볼록·초선형인 경우에만 결과를 얻었다는 점을 지적한다. 본 논문은 이러한 제한을 완화하여 $H(\cdot,p)$가 $2\alpha$-Hölder 연속($\alpha\in(0,1/2)$)이고, $H(x,\cdot)$는 양의 동차성 1과 선형 성장, 그리고 $C^{1}$이며 (5)식에 의해 강한 단조성을 만족하는 경우를 고려한다. 섹션 2에서는 기본 기호와 가정을 명시하고, 대표적인 예시로 $H(x,p)=|A(x)p|$(여기서 $A$는 $\alpha$-Hölder 연속이고 가역) 를 제시한다. 섹션 3에서는 $F(x)=\operatorname{co}\{D_{p}H(x,p):p\neq0\}$의 기본 성질을 전개한다. Lemma 3.1은 $F$가 $2\alpha$-Hölder 연속이며, 곡률 상하한 (9), (10)을 만족함을 보인다. Lemma 3.3·3.4·3.5·3.6·3.7 등 일련의 보조 결과를 통해 $f_{p}(x)=D_{p}H(x,p)$와 그 역함수인 $H_{0}$(극대화 함수)의 연속성, 곡률 추정, 그리고 $F_{0}(x)=\{p:H(x,p)\le1\}$의 구조적 특성을 확보한다. 특히 Lemma 3.7은 $F_{0}(x)$가 엄격히 볼록이며, 그 경계의 곡률이 하한 $R'$을 갖는다는 점을 증명한다. 섹션 4는 논문의 핵심인 극점 궤적의 정규성을 다룬다. 미분 포함식 $x'(t)\in F(x(t))$의 극점 궤적 $\bar x$에 대해, $\bar p(t)=D_{q}H_{0}(\bar x(t),\bar x'(t))$를 정의하고 $\bar x'(t)=D_{p}H(\bar x(t),\bar p(t))$라는 Hamiltonian 시스템 형태를 얻는다. Lemma 3.8·3.9를 이용해 $D_{q}H_{0}$가 $q$에 대해 0차 동차이며 Lipschitz 연속임을 확보하고, 곡률 하한을 이용한 에너지 추정과 $F$의 Hölder 연속성을 결합해 $\bar x'$가 $\alpha/2$-홀더 연속임을 보인다(정리 4.1). 이는 기존에 시간 의존적·등방성 해밀턴에 대해서만 알려졌던 결과를 일반 차원 $N$과 비정형 $x$-의존성으로 확장한 것이다. 섹션 5에서는 위 정리를 이용해 원래의 Dirichlet 문제 $H(x,-Du)=1$, $u=0$ on $\partial\Omega$의 해 $u$가 지역적으로 $\omega(t)=Ct^{\theta}$(여기서 $\theta>0$는 $\alpha$와 $N$에 의존) 형태의 파워 모듈러스를 갖는 반볼록성을 가진다는 정리 5.1을 증명한다. 증명은 $u(x)$를 $\partial\Omega$까지 도달하는 최소 시간으로 표현하고, 극점 궤적의 $\mathcal C^{1,\alpha/2}$ 정규성을 이용해 시간-거리 관계를 정밀히 추정함으로써 얻어진다. 결과적으로 $u$는 $C^{1,1}$가 아니더라도 충분히 좋은 정규성을 가지며, 이는 최적 제어의 가치 함수와 특이점 전파 이론에 직접적인 응용 가능성을 제공한다. 마지막으로, 저자들은 본 연구가 비정형 계수 하에서의 해밀턴-자코비 방정식 정규성 이론을 크게 확장했으며, 극점 궤적의 정규성 결과가 미분 포함식 이론 및 최적 제어 이론에 새로운 도구가 될 것이라고 강조한다. 향후 연구로는 더 일반적인 비선형 동차성, 비볼록성, 그리고 시간 의존성을 포함한 경우로의 확장이 제시된다.