[논문 리뷰] Regularity of viscosity solutions defined by Hopf-type formula for Hamilton-Jacobi equations

Nguyen Hoang|arXiv (Cornell University)|2012. 08. 16.

Geometric Analysis and Curvature Flows참고 문헌 5인용 수 4

한 줄 요약

이 논문은 시간에 의존하는 해밀턴-자코비 방정식의 해밀턴-자코비 방정식에 대해 히포프 유형의 공식을 통해 정의된 점성 해의 규칙성을 조사한다. 주로 미분 가능성과 특이점 전파를 다룬다. 논문은 해가 시간에 따라 앞으로 향하는 스트립에서 연속적으로 미분 가능해지는 조건을 확립하고, 초기 자료와 해밀턴 함수가 특정 조건을 만족할 경우 특이점이 시간이 흐름에 따라 전파됨을 증명한다. 특성 곡선 분석과 최대화자 집합의 기하학을 사용한다.

ABSTRACT

Some properties of characteristic curves in connection with viscosity solutions of Hamilton-Jacobi equations defined by Hopf-type formula are studied. We investigate the points where the Hopf-type formula $u(t,x)$ is differentiable, and the strip of the form $(0,t_0) imes \R^n$ of the domain $Ω$ where the viscosity solution $u(t,x)$ is continuously differentiable. Moreover, we present the propagation of singularity in forward of $u(t,x).$

연구 동기 및 목표

• 시간에 의존하는 해밀턴-자코비 방정식에 대해 히포프 유형의 공식으로 정의된 점성 해의 미분 가능성 성질을 연구한다.
• 해가 시간에 따라 앞으로 향하는 스트립 $(0,t_0)\times\mathbb{R}^n$ 에서 연속적으로 미분 가능해지는 조건을 규명한다.
• 초기 특이점에서부터 해의 특이점이 시간이 흐름에 따라 어떻게 전파되는지 조사한다.
• 최대화자 집합 기반으로 특성 곡선을 분류하고, 이를 해의 미분 가능성과 특이점 구조와 연결한다.
• 기존의 일차원 사례 결과를 고차원($n > 1$)으로 확장한다. 기하학적 및 해석적 기법을 최대화자 집합에 적용한다.

제안 방법

• 해의 표현으로 히포프 유형의 공식 $u(t,x) = \max_{q\in\mathbb{R}^n} \{\langle x,q\rangle - \sigma^*(q) - \int_0^t H(\tau,q)\,d\tau\}$ 을 사용한다.
• 최대화자 $q$ 가 $q$ 에서 $\sigma$ 의 하위미분에 속하는지 여부에 따라 유형 (I) 및 (II) 특성 곡선을 분석한다.
• 최대화자 집합 $\ell(t,x)$ 의 개념을 적용하여, 이 집합의 원소 수와 구조에 따라 점을 정규 또는 특이로 분류한다.
• 해밀턴 함수의 기울기 $H_p$ 에 기반한 연속 사상에 대한 고정점 정리를 적용하여 특이점과 연결된 특성 곡선의 존재를 증명한다.
• 특성 곡선의 시간 간격에 따른 전파를 제어하기 위해 $\sigma^*$ 의 유효 정의역의 유계성과 $H_p$ 의 균일 연속성을 활용한다.
• 음함수정리와 $H_p$ 의 연속성을 적용하여 국소적 정규성과 스트립의 미분 가능성을 확립한다.

실험 결과

연구 질문

• RQ1 히포프 유형의 공식으로 정의된 점성 해가 시간 스트립 $(0,t_0)\times\mathbb{R}^n$ 에서 연속적으로 미분 가능해지는 조건은 무엇인가?
• RQ2 유형 (I) 및 (II) 특성 곡선은 주어진 점에서 해의 미분 가능성과 어떻게 관련되는가?
• RQ3 해의 특이점은 시간이 흐름에 따라 앞으로 전파될 수 있는가? 만약 가능하다면 어떤 조건에서 가능한가?
• RQ4 최대화자 집합 $\ell(t,x)$ 는 해의 정규성 결정에 어떤 역할을 하는가?
• RQ5 해밀턴 함수가 시간에 의존하고 비볼록일 경우 해의 구조는 어떻게 변화하는가?

주요 결과

• 초기 자료 $\sigma$ 가 볼록이면서 리프시츠이고 해밀턴 함수 $H(t,p)$ 가 연속적이며 $H_p$ 가 유계일 경우, 해 $u(t,x)$ 는 스트립 $(0,t_0)\times\mathbb{R}^n$ 에서 연속적으로 미분 가능하다.
• 특이점 $(t_0,x_0)$ 는 $H_p$ 가 균일 유계일 경우, 공간-시간에서의 이웃 영역 내에서 특이점이 앞으로 전파됨을 의미한다.
• 만약 $\ell(t,x)$ 가 싱글턴일 경우, 해는 $(t,x)$ 에서 미분 가능하다; $\ell(t,x)$ 가 다수의 점을 포함하면 해는 특이가 될 수 있다.
• 특이점은 시간이 흐름에 따라 앞으로 전파된다: 임의의 $t > t_0$ 에 대해, $x_0$ 를 중심으로 반지름 $m\epsilon$ 이내의 구 안에 특이점이 존재하며, $m$ 은 시간 간격에 따라 달라진다.
• 예시에서는 해가 $(0,\frac{1}{\sqrt{2}})\times\mathbb{R}$ 에서 연속적으로 미분 가능하고, $t = \frac{1}{\sqrt{2}}$ 에서 특이점이 나타나며, $t > \frac{1}{\sqrt{2}}$ 에서 $x=0$ 의 선분이 특이점 집합이 된다.
• 특정 점에서 다수의 특성 곡선이 존재한다고 해서 반드시 특이점이 되는 것은 아니다. 오직 최대화자 집합 $\ell(t,x)$ 가 다수의 점을 포함하고 곡선이 유형 (II)일 경우에만 특이점이 발생한다.