[论文解读] Counterexamples to quasiconcavity for the heat equation

Albert Chau, Ben Weinkove|arXiv (Cornell University)|Feb 13, 2018

Geometric Analysis and Curvature Flows参考文献 24被引用 3

一句话总结

本文在凸环形区域上构造了热方程下拟凹性保持性的显式反例，表明即使初始数据光滑、次调和且拟凹，其解的空间上水平集仍可能随时间失去凸性。作者通过非球面对称的水平集对径向热流进行扰动，破坏了拟凹性，并进一步通过两点函数方法证明，即使在径向对称条件下，时空拟凹性也未能保持。

ABSTRACT

We construct solutions to the heat equation on convex rings showing that quasiconcavity may not be preserved along the flow, even for smooth and subharmonic initial data.

研究动机与目标

• 研究初始数据的拟凹性是否足以在热流下保持空间或时空拟凹性。
• 挑战初始数据次调和性可确保抛物型流中拟凹性保持的假设。
• 在维度 $ n \geq 2 $ 中构造显式反例，表明解的上水平集在正时间后可能变为非凸。
• 证明初始数据的径向对称性并不能保证解的时空拟凹性。
• 分析两点函数 $ \mathcal{H} $ 无法保持非正，表明时空拟凹性发生破坏。

提出的方法

• 构造一个径向初始函数 $ V $，使其从 1 快速衰减至 0，确保在热流下水平集为球面。
• 设计一个非径向初始函数 $ W $，使其在 $ \Omega_1 $ 附近水平集为椭球面，向外逐渐过渡为球形。
• 构造凸组合 $ u_0 = (1-\varepsilon)V + \varepsilon W $，其中 $ \varepsilon > 0 $ 足够小，以保持初始数据的适定性与拟凹性。
• 利用热流演化 $ u_0 $，表明球面与椭球面水平集之间的相互作用导致在正时间产生非凸的上水平集。
• 应用两点函数 $ \mathcal{H}((x,s),(y,t)) = (Du(y,t)-Du(x,s))\cdot(y-x) + (u_t(y,t)-u_t(x,s))(t-s) $ 检测时空拟凹性的失效。
• 在 $ s=0 $ 处分析 $ \mathcal{H} $，表明其在大 $ t $ 时变为正值，与时空拟凹性的必要条件矛盾。

实验结果

研究问题

• RQ1 初始数据的拟凹性是否意味着对所有 $ t > 0 $，均有 $ x \mapsto u(x,t) $ 保持拟凹？
• RQ2 具有紧支集的次调和初始数据能否在热方程下保持拟凹性？
• RQ3 当初始数据为径向对称且拟凹时，时空拟凹性是否仍被保持？
• RQ4 在凸环形区域上，热方程解的两点函数 $ \mathcal{H} $ 是否保持非正？
• RQ5 在热流下确保拟凹性保持的初始数据，其最小正则性与几何条件为何？

主要发现

• 对于 $ n \geq 2 $，存在一个在环形区域 $ 1 < r < 2 $ 上光滑、拟凹、次调和的初始函数 $ u_0 $，使得对某个 $ t_0 > 0 $，有 $ u(x,t_0) $ 不再拟凹。
• 从此类 $ u_0 $ 出发的热方程解 $ u(x,t) $ 在空间中发展出非凸的上水平集，导致在正时间后违反空间拟凹性。
• 即使 $ u_0 $ 为径向对称且拟凹，解 $ u(x,t) $ 仍无法保持时空拟凹性，表现为在大 $ t $ 时两点函数 $ \mathcal{H} $ 为正。
• 反例依赖于球面与非球面对称椭球面并集的非凸性，通过扰动径向热流实现。
• 在某些点 $ ((x,0),(y,t)) $ 处，两点函数 $ \mathcal{H} $ 被证明严格为正，与时空拟凹性的必要条件矛盾。
• 该构造否定了文献 [15, 定理 3] 中的某项断言，并凸显了在抛物型拟凹性结果中需要更强的假设。