[논문 리뷰] McKean-Vlasov equations involving hitting times: blow-ups and global solvability

Erhan Bayraktar, Gaoyue Guo외 2명|arXiv (Cornell University)|2020. 10. 27.

Mathematical Biology Tumor Growth참고 문헌 23인용 수 5

한 줄 요약

이 논문은 영점 도달 시간을 포함하는 두 개의 McKean-Vlasov 방정식에서의 폭발 현상을 분석하여, 초냉각 스테판 문제와 새로운 엔트로피 기반 변환을 통해 전역 해 존재 조건을 확립한다. 첫 번째 방정식(음성 피드백)의 경우, α와 초기 법칙이 단순한 조건을 만족하면 전역 존재성이 확보된다. 두 번째 방정식(로그 피드백)의 경우, β가 크고 α가 작을 때, 상대 엔트로피와 비국소성 제거를 위한 새로운 변환을 사용한 비국소 Fokker-Planck 방정식 분석을 통해 전역 해 존재성이 증명된다.

ABSTRACT

This paper is concerned with the analysis of blow-ups for two McKean-Vlasov equations involving hitting times. Let $(B(t); \, t \ge 0)$ be standard Brownian motion, and $τ:= \inf\{t \ge 0: X(t) \le 0\}$ be the hitting time to zero of a given process $X$. The first equation is $X(t) = X(0) + B(t) - α\mathbb{P}(τ\le t)$. We provide a simple condition on $α$ and the distribution of $X(0)$ such that the corresponding Fokker-Planck equation has no blow-up, and thus the McKean-Vlasov dynamics is well-defined for all time $t \ge 0$. Our approach relies on a connection between the McKean-Vlasov equation and the supercooled Stefan problem, as well as several comparison principles. The second equation is $X(t) = X(0) + βt + B(t) + α\log \mathbb{P}(τ> t)$, whose Fokker-Planck equation is non-local. We prove that for $β> 0$ sufficiently large and $α$ no greater than a sufficiently small positive constant, there is no blow-up and the McKean-Vlasov dynamics is well-defined for all time $t \ge 0$. The argument is based on a new transform, which removes the non-local term, followed by a relative entropy analysis.

연구 동기 및 목표

• 영점 도달 시간을 포함하는 McKean-Vlasov 방정식에서의 폭발 현상을 분석하여 전역 해 존재성을 방해하는 원인를 규명한다.
• 모든 시간 t ≥ 0 에서 Fokker-Planck 방정식이 잘 정의되도록 하기 위한 매개수 α와 β에 대한 충분조건을 확립한다.
• 첫 번째 방정식을 초냉각 스테판 문제와 연결하고 비교 원리를 적용하여 전역 존재성을 증명한다.
• 두 번째 방정식의 Fokker-Planck 방정식에서 비국소성을 제거하기 위한 새로운 변환을 개발하고 상대 엔트로피 분석을 적용한다.
• 생존 확률의 시간 도함수에 대한 전역 L² 유계성을 증명하여 폭발을 방지한다.

제안 방법

• 첫 번째 방정식(X(t) = X(0−) + B(t) − αℙ(τ ≤ t))의 경우, 초냉각 스테판 문제와의 연결을 통해 비교 원리를 이용하여 전역 존재성을 도출한다.
• 누적 분포 함수 ℙ(τ ≤ t)에서 발생할 수 있는 폭발 현상을 다루기 위해 일반화된 해 개념을 도입한다.
• 두 번째 방정식(X(t) = X(0−) + βt + B(t) + α ln ℙ(τ > t))의 경우, Fokker-Planck 방정식의 비국소 항을 제거하기 위해 새로운 변환을 도입한다.
• 변환된 방정식에 상대 엔트로피 분석을 적용하여 해의 L² 노름에 대한 미분 부등식을 유도한다.
• 해의 성장과 λ(t), 즉 ln ℙ(τ > t)의 시간 도함수를 제어하기 위해 리아푸노프 유형 함수 I(t)를 구성한다.
• 요용 부등식과 컷오프 함수를 사용하여 I(t)와 λ(t)에 대한 추정을 도출하고, 이로 인해 λ(t)에 대한 전역 L² 유계성을 확보한다.

실험 결과

연구 질문

• RQ1 음성 피드백 −αℙ(τ ≤ t)을 포함하는 McKean-Vlasov 방정식이 폭발 없이 전역 해를 가지기 위한 α와 초기 법칙 X(0−)에 대한 조건은 무엇인가?
• RQ2 로그 피드백 α ln ℙ(τ > t)로 인해 발생하는 비국소 Fokker-Planck 방정식을 어떻게 분석하여 폭발을 방지할 수 있는가?
• RQ3 두 번째 모델의 Fokker-Planck 방정식에서 비국소 항을 제거할 수 있는 변환을 구성할 수 있는가?
• RQ4 상대 엔트로피는 변환된 방정식의 해에 대한 전역 유계성을 확립하는 데 어떤 역할을 하는가?
• RQ5 두 번째 방정식에 대한 전역 해 존재성을 보장하는 β와 α에 대한 정량적 임계값이 존재하는가?

주요 결과

• β = 0 이고 f(x) = −αx 인 첫 번째 방정식의 경우, α와 초기 법칙이 단순한 조건을 만족하면 Fokker-Planck 방정식에서 폭발이 발생하지 않도록 전역 해 존재성이 보장된다.
• 초냉각 스테판 문제와의 연결을 통해 비교 원리를 적용하여 물리적 해의 전역 존재성과 유일성을 증명할 수 있다.
• β > 0 이고 f(x) = α ln(1−x) 인 두 번째 방정식의 경우, 초기 자료와 상수에 따라 의존하는 충분히 큰 C₀에 대해 β ≥ C₀ 이고 α ≤ 1/C₀ 라면 전역 해 존재성이 확립된다.
• 새로운 변환이 Fokker-Planck 방정식의 비국소 항을 성공적으로 제거하여 상대 엔트로피 기법의 적용을 가능하게 하였다.
• λ(t) = ∂t ln ℙ(τ > t)에 대한 전역 L² 유계성이 도출되었다: 모든 t > 0 에 대해 ∫₀ᵗ λ²(s)ds ≤ 4eκ(C₁t + M), 여기서 M = max{1, I(0)}이다.
• I′(t) ≤ −1/(4eκ)λ²(t) + C₁ 인 미분 부등식이 확립되어 I(t)가 유계이므로 폭발이 방지됨을 보장한다.