[论文解读] The profile of boundary gradient blow-up for the diffusive Hamilton-Jacobi equation

Alessio Porretta, Philippe Souplet|arXiv (Cornell University)|Aug 27, 2015

Advanced Mathematical Physics Problems参考文献 39被引用 20

一句话总结

该论文精确确定了二维空间中带狄利克雷边界条件的扩散型哈密顿-雅可比方程 $u_t - \Delta u = |\nabla u|^p$ 在 $2 < p \leq 3$ 时梯度爆破的最终渐近形态。研究推导出一个精确的各向异性形态，其中法向梯度分量以 $y^{-1/(p-1)}$ 速率爆破，切向分量以 $|x|^{-2/(p-2)}$ 速率爆破，揭示了强烈的方向不对称性，违反了方程的自相似标度性质。

ABSTRACT

We consider the diffusive Hamilton-Jacobi equation $$u_t-\\Delta u=|\ abla u|^p,$$ with Dirichlet boundary conditions in two space dimensions, which arises in the KPZ model of growing interfaces. For $p&gt;2$, solutions may develop gradient singularities on the boundary in finite time, and examples of single-point gradient blowup on the boundary are known, but the space-profile in the tangential direction has remained a completely open problem. In the parameter range $2&lt;p\\le 3$, for the case of a flat boundary and an isolated singularity at the origin, we give an answer to this question, obtaining the precise final asymptotic profile, under the form $$u_y(x,y,T) \\sim d_p\\Bigl[y+C|x|^{2(p-1)/(p-2)}\\Bigr]^{-1/(p-1)},\\quad\\hbox{as $(x,y)\ o (0,0)$.}$$ Interestingly, this result displays a new phenomenon of strong anisotropy of the profile, quite different to what is observed in other blowup problems for nonlinear parabolic equations, with the exponents $1/(p-1)$ in the normal direction $y$ and $2/(p-2)$ in the tangential direction $x$. Furthermore, the tangential profile violates the (self-similar) scale invariance of the equation, whereas the normal profile remains self-similar.

研究动机与目标

• 解决长期悬而未决的问题：即扩散型哈密顿-雅可比方程在孤立边界奇点处梯度爆破的切向形态。
• 在平坦边界上孤立奇点附近，对 $\nabla u(x,y,T)$ 提供精确的渐近描述。
• 阐明爆破形态中各向异性的来源，特别是切向方向自相似性的破坏。
• 利用障碍法与最大值原理论证，建立爆破形态的下界与上界。
• 阐明最大值原理在约束形态中的作用，特别是通过 $u_{xx} \geq -C$ 与 $|u_t| \leq C$ 约束。

提出的方法

• 作者采用自相似假设 $u(x,y,t) \approx d_p[(y + h(t,x))^{-\beta} - h(t,x)^{-\beta}]$，其中 $\beta = 1/(p-1)$，以建模奇点附近的爆破结构。
• 通过在约束 $u_{xx} \geq -C$ 上应用最大值原理，推导出切向形态的下界，得到 $h(T,x) \leq Cx^{2/(1-\beta)}$。
• 构造正则化障碍物以控制边界与奇点附近 $u$ 和 $\nabla u$ 的行为，确保渐近展开的有效性。
• 通过反证法与障碍构造的精细化，获得上界，表明形态不可能比 $|x|^{-2/(p-2)}$ 更为奇异。
• 使用准稳态近似从直观上解释法向方向 $1/(p-1)$ 与切向方向 $2/(p-2)$ 指数的来源。
• 分析依赖于抛物型估计，且由于 $\nabla u$ 在原点外有界，使得最终形态 $\nabla u(x,y,T)$ 可定义。

实验结果

研究问题

• RQ1 当 $t \to T$ 时，在孤立边界梯度爆破点附近，$\nabla u$ 的切向方向的精确渐近形态是什么？
• RQ2 为何爆破形态表现出强烈的各向异性，法向与切向方向具有不同的指数？
• RQ3 最大值原理如何约束爆破形态，特别是通过 $u_{xx} \geq -C$ 与 $|u_t| \leq C$ 的约束？
• RQ4 为何切向形态违反了方程的自相似标度，而法向形态仍保持自相似？
• RQ5 当 $p > 3$ 时，爆破形态是否在定性上不同，或是否保持相同结构？

主要发现

• 最终梯度爆破形态为 $u_y(x,y,T) \sim d_p \left[ y + C|x|^{2(p-1)/(p-2)} \right]^{-1/(p-1)}$，当 $(x,y) \to (0,0)$ 时，其中 $d_p$ 为依赖于 $p$ 的正常数。
• 梯度的法向分量以 $y^{-1/(p-1)}$ 速率爆破，与自相似标度一致。
• 梯度的切向分量以 $|x|^{-2/(p-2)}$ 速率爆破，违反了方程的自相似标度，表明强烈的各向异性。
• 切向方向的指数 $2/(p-2)$ 源于从最大值原理导出的约束 $u_{xx} \geq -C$。
• 爆破的时间速率满足 $\|\nabla u(t)\|_\infty \sim (T-t)^{-1/(p-2)}$，同样违反自相似性，且由 $|u_t| \leq C$ 推导得出。
• 当 $p > 3$ 时，上界论证因 $\mathcal{P}J$ 在奇点附近可能为正而失效，提示形态结构可能发生改变，但此问题仍待解决。