[论文解读] The Dirichlet boundary problem for second order parabolic operators satisfying Carleson condition

Martin Dindoš, Sukjung Hwang|arXiv (Cornell University)|Feb 1, 2014

Differential Equations and Boundary Problems参考文献 23被引用 6

一句话总结

本文建立了在时变域中，对于满足小 Carleson 条件的系数的二阶抛物方程，其 Dirichlet 问题在 $L^p$ 范数下可解（$2 \leq p \leq \infty$）。关键结果是：Carleson 范数的小性是精确的——若去除该小性条件，则对任意给定的 $p$，$L^p$ 可解性将不成立。作者通过一种关于非切向极大函数的新估计，给出了先前结果的显著更短证明。

ABSTRACT

We establish $L^p$, $2\le p\le\infty$ solvability of the Dirichlet boundary value problem for a parabolic equation $u_t-\mbox{div}(A abla u)=0$ on time-varying domains with coefficient matrix $A=(a_{ij})$ that satisfy a small Carleson condition. The result is motivated by similar results for the elliptic equation $\mbox{div}(A abla u)=0$ that were established previously.

研究动机与目标

• 建立满足小 Carleson 条件的非对称系数抛物方程 Dirichlet 问题的 $L^p$ 可解性。
• 证明对 Carleson 范数的小性假设是精确的，即若去除该假设，则对任意给定的 $p$，$L^p$ 可解性将不成立。
• 提供早期关于大 Carleson 条件下 $L^p$ 可解性的结果的显著更短证明。
• 通过使用抛物度量和到边界的距离，将椭圆 Carleson 条件框架推广至抛物设置。

提出的方法

• 使用抛物度量 $d[(X,t),(Y,\tau)] = (|X-Y|^2 + |t-\tau|)^{1/2}$，将椭圆 Carleson 条件适配至抛物设置。
• 定义到边界的抛物距离 $\delta(X,t) = \inf_{(Y,\tau)\in\partial\Omega} d[(X,t),(Y,\tau)]$。
• 以 $\delta(X,t)^{-1}$ 和 $\delta(X,t)$ 分别加权系数 $a_{ij}$ 的振荡和 $\bm{B}$ 的上确界范数，从而表述 Carleson 条件。
• 使用微分同胚将原区域映射至光滑区域，使得系数的 Carleson 范数较小，从而可使用正则化解。
• 应用 Harnack 不等式（引理 4.7）以控制抛物锥内解的逐点增长。
• 建立不同张角参数的非切向极大函数之间的等价性（引理 4.2），并利用迭代估计推导出非切向极大函数的 $L^2$ 估计。

实验结果

研究问题

• RQ1 在系数满足小抛物 Carleson 条件的前提下，抛物 Dirichlet 问题的 $L^p$ 可解性是否成立？
• RQ2 能否在不损失对给定 $p$ 的 $L^p$ 可解性的前提下，去除对 Carleson 范数的小性假设？
• RQ3 能否通过一个新关键估计，简化在大 Carleson 条件下 $L^p$ 可解性的证明？
• RQ4 在此抛物设置中，不同张角参数的非切向极大函数是否等价？
• RQ5 抛物 Carleson 条件是否自然地源于光滑系数在时变图上的坐标变换？

主要发现

• 若系数扰动的抛物 Carleson 范数足够小，则方程 $u_t - \text{div}(A\nabla u) - \bm{B}\cdot\nabla u = 0$ 的 $L^p$ Dirichlet 问题对所有 $p \in [2, \infty]$ 可解。
• 对 Carleson 范数的小性假设是精确的：对任意 $p \in (1, \infty)$，存在满足 Carleson 条件但不具有 $L^p$ 可解性的算子，当该范数不小时。
• 作者提出了一种新方法，显著缩短了早期关于大 Carleson 条件下 $L^p$ 可解性的证明，其核心依赖于一个关键估计（引理 3.3）关于非切向极大函数。
• 非切向极大函数 $N(u)$ 满足 $\|N(u)\|_{L^2(\partial\Omega)} \leq C \|f\|_{L^2(\partial\Omega)}$，其中 $C$ 仅依赖于区域和强椭圆常数。
• 建立了不同张角参数的非切向极大函数之间的等价性，从而可通过 $\|N^{4r}(u)\|_{L^2}$ 迭代控制 $\|N^r(u)\|_{L^2}$。
• 在小 Carleson 条件下，通过结合 $L^2$ 估计、对偶性与外推法，结果可推广至完整范围 $p \in [2, \infty]$。