[논문 리뷰] Periodic Homogenization for Weakly Elliptic Hamilton-Jacobi-Bellman Equations with Critical Fractional Diffusion

Adina Ciomaga, Daria Ghilli외 1명|arXiv (Cornell University)|2020. 02. 21.

Advanced Mathematical Modeling in Engineering참고 문헌 39인용 수 5

한 줄 요약

이 논문은 점탄성 해밀토니안-자코비-벨만 방정식에 대해 임계 분수형 확산을 갖는 약한 타원성 조건 하에서, 점탄성 해법과 반중간 극한을 사용하여 주기적 동질화를 수립한다. 효과적 해밀토니안의 리프시츠 연속성과 약한 타원성 조건 하에서의 수렴 결과를 증명하며, 확산항과 이탈항의 크기가 동일한 순서인 임계 스케일링 영역에서 보정 함수의 정밀한 리프시츠 추정에 의존한다.

ABSTRACT

In this paper we establish periodic homogenization for Hamilton-Jacobi-Bellman (HJB) equations, associated to nonlocal operators of integro-differential type. We consider the case when the fractional diffusion has the same order as the drift term, and is weakly elliptic. The outcome of the paper is twofold. One one hand, we provide Lipschitz regularity results for weakly elliptic non-local HJB, extending the results previously obtained in [8]. On the other hand, we establish a convergence result, based on half relaxed limits and a comparison principle for the effective problem. The latter strongly relies on the regularity and the ellipticity properties of the effective Hamiltonian, for which a fine Lipschitz estimate of the corrector plays a crucial role.

연구 동기 및 목표

• 비국소적이고 임계 순서의 분수형 확산을 갖는 해밀토니안-자코비-벨만 방정식에 대해 주기적 동질화를 수립하는 것.
• 이전 연구를 일반화하여 약한 타원성 분수적 미분 연산자에 대해 리프시츠 정칙성 결과를 확장하는 것.
• 반중간 극한과 비교 원리를 사용하여 동질화 매개수 ε → 0 일 때 해의 수렴을 증명하는 것.
• 효과적 해밀토니안의 정칙성과 타원성 분석을 통해 수렴 증명의 핵심 요소를 확보하는 것.
• 지점별 균일 타원성 대신 적분형 Lévy 조건을 만족하는 커널을 다루는 것.

제안 방법

• Lévy 타입 생성자를 갖는 비국소적이고 두 번째 순서의 적분미분방정식에 대해 점탄성 해법 이론을 적용한다.
• 동질화 과정에서 극한을 취하기 위해 반중간 극한 방법을 적용한다.
• 효과적 해밀토니안의 정칙성을 제어하기 위해 정밀한 리프시츠 추정을 갖는 보정 함수를 사용한다.
• 효과적 해밀토니안의 타원성과 정칙성에 의존하는, 극한 방정식에 대한 비교 원리를 활용한다.
• 커널에 대한 적분 조건 ∫ min(1,|z|²)K^a(ξ,z)dz < ∞ 를 통해 약한 타원성을 도입하며, 지점별 유계 조건이 아닌 것을 사용한다.
• 비국소 항을 제어하기 위해 철저히 구성된 테스트 함수 φ와 ψ를 사용한 변형된 테스트 함수 방법을 적용한다.

실험 결과

연구 질문

• RQ1 비국소적 HJB 방정식에 대해 약한 타원성 조건 하에서, 분수형 확산의 순서가 이탈항과 동일한 경우 주기적 동질화를 성립시킬 수 있는가?
• RQ2 약한 타원성 조건 하에서 보정 함수로부터 효과적 해밀토니안이 어떤 정칙성 성질을 물려받는가?
• RQ3 비국소 연산자의 구조와 커널의 적분 가능성에 따라 ε-해의 수렴이 어떻게 달라지는가?
• RQ4 약한 타원성과 임계 스케일링 조건 하에서 효과적 문제에 대해 비교 원리를 적용할 수 있는가?
• RQ5 보정 함수의 리프시츠 추정이 동질화 과정의 수렴을 보장하는 데 어떤 역할을 하는가?

주요 결과

• 효과적 해밀토니안이 리프시츠 연속임을 보여주었으며, 이는 동질화 극한에서 비교 원리에 필수적이다.
• 반중간 극한과 점탄성 해법 기법을 통해 ε-해가 동질화된 해로 수렴함을 증명하였다.
• 증명은 비국소 항을 제어하는 데 핵심적인 정밀한 보정 함수의 리프시츠 추정에 의존한다.
• 확산항과 이탈항이 모두 주어진 순서인 임계 스케일링 영역에서 약한 타원성 조건 하에서도 처리되었으며, 이는 이전 연구에서 요구하던 균일 타원성 조건을 일반화한 것이다.
• 비국소 항은 작은 점프와 큰 점프로 분해하여 제어하였으며, Lévy 조건과 커널의 허더형 정칙성에 기반한 추정을 도출하였다.
• 증명의 최종 모순 추론은 ρ = ρ₀ε²ʳ (r < γ) 를 선택함으로써 이루어지며, ε, ζ → 0 일 때 소멸하는 o_ε(1) + o_ζ(1) 항들이 발생한다.