[论文解读] The Dirichlet problem for second order parabolic operators in divergence form

Pascal Auscher, Moritz Egert+1 more|arXiv (Cornell University)|Nov 3, 2016

Advanced Mathematical Modeling in Engineering参考文献 25被引用 13

一句话总结

本文建立了上半空间中具有实系数、有界可测、一致强椭圆且非对称的二阶非退化抛物型微分算子的抛物测度的A∞性质。通过平方函数估计与非切向极大函数控制，作者证明了抛物测度关于面积测度的绝对连续性，将Dahlberg的经典结果推广至抛物设置，并为椭圆情形提供了简化的证明。

ABSTRACT

We study parabolic operators H = $\\partial$t -- div $\\lambda$,x A(x, t)$\ abla$ $\\lambda$,x in the parabolic upper half space R n+2 + = {($\\lambda$, x, t) : $\\lambda$ > 0}. We assume that the coefficients are real, bounded, measurable, uniformly elliptic, but not necessarily symmetric. We prove that the associated parabolic measure is absolutely continuous with respect to the surface measure on R n+1 in the sense defined by A$\\infty$(dx dt). Our argument also gives a simplified proof of the corresponding result for elliptic measure.

研究动机与目标

• 建立具有非对称、时间依赖系数的二阶抛物型微分算子的抛物测度的A∞性质。
• 将Dahlberg关于调和测度的经典结果推广至抛物设置。
• 利用相同框架为椭圆测度的A∞性质提供简化的证明。
• 通过非切向极大函数控制求解具有Lq数据的Dirichlet问题。

提出的方法

• 利用先前工作中发展的时间依赖抛物型算子的平方函数估计与非切向极大函数估计。
• 依照[9]中的技术，将问题约化为Carleson测度估计。
• 通过 dyadic cubes 与抛物膨胀，将解分解为 dyadic 频率与空间尺度块。
• 使用单位分解与 dyadic 截断来局部化问题并控制误差项。
• 通过Poisson核及其近似，对热核及其导数施加逐点界。
• 在能量型估计中，利用分部积分与Cauchy-Schwarz/Young不等式控制误差项。

实验结果

研究问题

• RQ1 具有非对称、时间依赖的非退化形式抛物型算子的抛物测度是否满足相对于面积测度的A∞条件？
• RQ2 能否通过非切向极大函数控制求解此类算子的Dirichlet问题，且数据属于Lq空间？
• RQ3 抛物问题的Poisson核是否在Lp中满足反H"older不等式（对某个p > 1）？
• RQ4 能否在不依赖椭圆理论中常用的变量替换技巧的前提下，建立抛物测度的A∞性质？
• RQ5 该证明方法是否简化了对称情形下已知的椭圆测度结果？

主要发现

• 抛物测度关于面积测度dx dt绝对连续，其Radon-Nikodym导数（即Poisson核）在Lp中满足某个p ∈ (1, ∞)的尺度不变反H"older不等式。
• 当q为p的H"older共轭时，具有Lq数据的Dirichlet问题可解，且非切向极大函数受到控制。
• 该方法建立了实系数、有界可测、一致强椭圆且非对称系数下抛物测度的A∞性质，将先前结果推广至非对称情形。
• 该方法为椭圆测度的A∞性质提供了简化且直接的证明，避免了如[14]中使用的变量替换技巧。
• 关键估计依赖于平方函数控制与Carleson测度估计，误差项通过dyadic分解与逐点核界实现一致有界。
• 该结果在上半空间Rn+2+中成立，其边界为Rn+1，且系数依赖于空间与时间变量。