[论文解读] McKean-Vlasov equations involving hitting times: blow-ups and global solvability

Erhan Bayraktar, Gaoyue Guo+2 more|arXiv (Cornell University)|Oct 27, 2020

Mathematical Biology Tumor Growth参考文献 23被引用 5

一句话总结

本文分析了涉及吸收时间至零的两个McKean-Vlasov方程中的爆破现象，通过与过冷Stefan问题的联系以及一种新颖的基于熵的变换，建立了全局可解性条件。对于第一个带有负反馈的方程，若 α 和初始分布满足一个简单条件，则全局存在性成立；对于第二个带有对数反馈的方程，当 β 较大且 α 较小时，通过相对熵分析与非局部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方程中的爆破现象，这些现象会阻碍全局可解性。
• 建立参数 α 和 β 的充分条件，使得Fokker-Planck方程对所有时间 t ≥ 0 均保持适定。
• 将第一个方程与过冷Stefan问题联系起来，并利用比较原理证明全局存在性。
• 提出一种新变换以消除第二个方程的Fokker-Planck方程中的非局部性，并应用相对熵分析。
• 证明生存概率的时间导数的全局 L² 有界性，从而防止爆破。

提出的方法

• 对于第一个方程（X(t) = X(0−) + B(t) − αℙ(τ ≤ t)），利用与过冷Stefan问题的联系，通过比较原理推导出全局存在性。
• 采用广义解概念以处理累积分布函数 ℙ(τ ≤ t) 中可能出现的爆破。
• 对于第二个方程（X(t) = X(0−) + βt + B(t) + α ln ℙ(τ > t)），引入一种新颖变换以消除Fokker-Planck方程中的非局部项。
• 对变换后的方程应用相对熵分析，推导出解的 L² 范数的微分不等式。
• 构造一个类似Lyapunov的函数 I(t)，以控制解和 λ(t)（即 ln ℙ(τ > t) 的时间导数）的增长。
• 利用Young不等式和截断函数，推导出 I(t) 和 λ(t) 的估计，从而得到 λ(t) 的全局 L² 有界性。

实验结果

研究问题

• RQ1 当参数 α 和初始分布 X(0−) 满足何种条件时，带有负反馈项 −αℙ(τ ≤ t) 的McKean-Vlasov方程能保证无爆破的全局解？
• RQ2 如何分析由对数反馈项 α ln ℙ(τ > t) 引起的非局部Fokker-Planck方程，以防止爆破？
• RQ3 能否构造一种变换以消除第二个模型中Fokker-Planck方程的非局部项？
• RQ4 相对熵在建立变换后方程解的全局有界性方面起到何种作用？
• RQ5 是否存在 β 和 α 的定量阈值，可保证第二个方程的全局可解性？

主要发现

• 对于第一个方程（β = 0，f(x) = −αx），若 α 和初始分布满足一个简单条件，则全局可解性成立，可防止Fokker-Planck方程中的爆破。
• 与过冷Stefan问题的联系使得能够利用比较原理，证明物理解的全局存在性与唯一性。
• 对于第二个方程（β > 0，f(x) = α ln(1−x)），当 β ≥ C₀ 且 α ≤ 1/C₀ 时，全局可解性得以确立，其中 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) 有界，从而防止爆破。