[论文解读] Estimate of the Fundamental Solution for Parabolic Operators with Discontinuous Coefficients

Michele Di Cristo, Kyoungsun Kim+1 more|ArXiv.org|Jun 24, 2009

Advanced Mathematical Modeling in Engineering参考文献 6被引用 4

一句话总结

本文建立了具有非连续系数的散度型抛物型算子的基本解的精确梯度估计。通过采用改进的Li-Nirenberg论证方法，证明了在解的时空梯度上存在内部 $L^∞$ 有界性，作者推导出关键估计式 $| abla_x ilde{\Gamma}(x,t;y,s)| \leq C(t-s)^{-(n+1)/2} \exp(-c|x-y|^2/(t-s))$，该估计对于涉及具有非连续夹杂物的热传导介质的反问题至关重要。

ABSTRACT

We will show that the same type of estimates known for the fundamental solutions for scalar parabolic equations with smooth enough coefficients hold for the first order derivatives of fundamental solution with respect to space variables of scalar parabolic equations of divergence form with discontinuous coefficients. The estimate is very important for many applications. For example, it is important for the inverse problem identifying inclusions inside a heat conductive medium from boundary measurements.

研究动机与目标

• 建立具有非连续、有界且一致椭圆系数的标量抛物型算子基本解的梯度估计。
• 将已知的基本解的逐点估计推广至其一阶空间导数。
• 为从边界测量数据识别热传导介质中非连续夹杂物的反问题提供理论基础。
• 推广抛物型方程解的内部正则性估计，即使夹杂物接触边界时也适用。

提出的方法

• 将椭圆系统中的Li-Nirenberg方法适配至抛物型情形，通过缩放、平移和旋转将问题约化为原点处的局部估计。
• 采用[7]中引理4.3的改进版本，控制在系数矩阵 $A$ 属于 $C^\mu$ 的子区域中其霍尔德范数。
• 通过在更大抛物柱体上对 $u$ 的 $L^2$ 范数表示，推导出 $|\nabla_x u|$ 的关键内部 $L^\infty$ 有界性。
• 以具有狄利克雷边界条件的双层立方体中格林函数的存在性及其估计作为基础工具。
• 应用分部积分与复分析技术，控制由基本解的傅里叶表示产生的振荡积分。
• 通过分析频域中符号及其逆的性质，建立基本解及其梯度的逐点指数衰减估计。

实验结果

研究问题

• RQ1 能否将抛物型方程基本解的经典梯度估计推广至非连续系数的情形？
• RQ2 对于具有非连续、一致椭圆系数的抛物型算子，解的空间梯度的内部 $L^\infty$ 有界性是否成立？
• RQ3 能否利用此类梯度估计严格证明反问题的动态探测法？
• RQ4 当系数在子区域中具有 $C^\mu$ 正则性时，基本解的正则性是否得以保持？
• RQ5 该估计能否推广至系统或含低阶项的算子？

主要发现

• 对所有 $t>s$ 和几乎处处的 $x,y\in D$，梯度估计 $|\nabla_x \Gamma(x,t;y,s)| \leq C(t-s)^{-(n+1)/2} \exp(-c|x-y|^2/(t-s))$ 成立，其中常数 $C$ 仅依赖于 $n$ 和系数矩阵 $A$。
• 该估计源自对抛物型方程解 $u$ 的 $|\nabla_x u|$ 的内部 $L^\infty$ 有界性，该有界性通过Li-Nirenberg论证的局部化版本得以证明。
• 证明依赖于具有狄利克雷边界条件的双层立方体中格林函数的存在性及其逐点估计。
• 梯度估计对于反边界值问题的稳定性分析及动态探测法的收敛性至关重要。
• 结果可推广至抛物型系统及含低阶项的算子，如注记1.2所述。
• 即使介质中的夹杂物接触边界，该方法依然有效，这由内部估计的鲁棒性得以体现。