Boundary value problems for some quasilinear parabolic equations under minimal conditions on the coefficients

技术摘要：极小条件下拟线性抛物型方程的边值问题

问题陈述
本文研究了一类拟线性抛物型方程的边值问题，其形式为：
$$Mu = u_t - \sum_{i,j=1}^n \frac{\partial}{\partial x_i}(a_{ij}(t, x, u)u_{x_j}) + b(t, x, u, \nabla u) = 0$$
定义在柱体 $Q = (0, T) \times G$ 上，其中 $G \subset \mathbb{R}^n$ 是一个有界区域。本研究针对两种主要的边界条件情景：

1. Dirichlet（狄利克雷）条件： $u|_{t=0} = u_0$ 且 $u|_S = g(t, x)$，其中 $S = (0, T) \times \Gamma$。
2. Robin（罗宾/斜）条件： $u|_{t=0} = u_0$ 且 $\frac{\partial u}{\partial N} + \psi(t, x, u)|_S = 0$，其中 $\frac{\partial u}{\partial N}$ 是共形导数。

核心目标是在极小光滑度条件下，在 Sobolev 空间 $W^{1,2}_p(Q)$ 内建立解的存在性与唯一性定理。这与现有的文献（例如专著 [1], [2]）形成对比，后者通常要求系数满足 Hölder 连续性或更强的正则性假设。

方法论
证明策略结合了几种先进的分析技术：

• 先验估计（A Priori Estimates）： 作者推导了解的尖锐界限。
  • 极大值原理： 建立了极大值原理以限制解的 $L^\infty$ 范数。不同于以往在 Hölder 空间中的方法，作者利用一种不同的方法来处理广义解，特别是针对 Robin 边界条件 (3)。
  • Hölder 连续性： 借鉴并改进了 [1] 中的方法，以证明解具有 Hölder 连续性，这是处理系数中非线性的前提条件。
  • 冻结系数法（Frozen Coefficients）： 为了获得 $W^{1,2}_p$ 估计，采用了“冻结系数”的方法。将非线性问题局部近似为具有常数（冻结）系数的线性问题，从而允许使用线性理论估计。
• 参数连续延拓法（Continuation in a Parameter）： 使用参数 $\gamma \in [0, 1]$ 的延拓法来证明存在性。通过将问题从线性热方程（$\gamma=0$）变形为完整的拟线性方程（$\gamma=1$）。
• 不动点理论（Fixed Point Theory）： 将变形问题的可解性归结为寻找一个紧致连续算子的不动点。其紧致性依赖于 Sobolev 空间向 Hölder 空间的嵌入定理。
• 唯一性分析： 通过分析两个潜在解之间的差异来证明唯一性，利用了函数 $b$ 和边界项 $\psi$ 特定的增长性和 Lipschitz 型条件。

主要贡献与结果
本文提供了建立以下内容的定理：

1. $W^{1,2}_p(Q)$ 中的存在性与唯一性：

   • 定理 7 证明了对于 Dirichlet 和 Robin 问题，只要 $p > (n+2)/2$，则存在唯一的解 $u \in W^{1,2}_p(Q)$。
   • 数据条件是极小的：
     • 系数 $a_{ij}$ 在所有变量上连续且满足一致椭圆性。
     • 导数 $a_{ij, x_i}$ 和 $a_{ij, u}$ 满足特定的可积性和连续性条件（例如，$a_{ij, x_i} \in L^{q_3}(Q; C([-R, R]))$）。
     • 函数 $b$ 满足 Carathéodory 条件及特定的增长界限（关于 $\nabla u$ 为二次方）。
     • 对于 Robin 条件，$\psi$ 及其导数满足类似的 Sobolev 连续性条件。
   • 需要在 $t=0$ 处满足相容条件（匹配初始数据与边界数据），特别是在 Robin 情况下的 $p > 3$ 时。

2. 先验界限（A Priori Bounds）：

   • 定理 3 和 4 建立了取决于数据范数和椭圆常数 $\delta_0$ 的解的 $L^\infty$ 界限。
   • 定理 5 确立了解的 Hölder 连续性（$C^{\alpha_1, 2\alpha_1}$），这对于不动点论证至关重要。
   • 定理 6 提供了关键的 $W^{1,2}_p$ 估计，表明解的范数受限于初始数据和边界数据的范数，且独立于解本身。

3. 局部可解性：

   • 定理 8 处理了更广泛的数据类，即全局光滑度最初可能不成立的情况。它证明如果初始数据 $u_0$ 及其梯度是有界的，那么即使系数 $a_{ij}$ 和 $b$ 仅在初始数据范围的邻域内有定义/连续，解在局部时间（$Q_{\tau_0}$）内也是存在的。

4. 唯一性条件：

   • 根据 $p$ 的取值提供了不同的唯一性条件：
     • 对于 $p > n+2$，关于 $u$ 和 $\nabla u$ 的标准 Lipschitz 条件（由 $L^q$ 函数加权）即足够。
     • 对于 $(n+2)/2 < p \le n+2$，涉及 $\nabla u$ 多项式增长的较弱条件也是足够的，前提是系数 $g_1, g_2$ 属于特定的 $L^q$ 空间。

意义与主张
本文声称揭示了数据中“尖锐的条件”，这些条件在以往的工作（特别是指向 [1] 和 [2] 中的 Hölder 空间要求）中是“远非最优的”。通过在 $p > (n+2)/2$ 的 $W^{1,2}_p(Q)$ Sobolev 空间中开展工作，作者允许系数仅为连续的（或具有特定 $L^q$ 空间中的广义导数），而非要求 $C^k$ 或 Hölder 连续性。

作者强调，他们处理极大值估计的方法使得处理 Robin 边界条件下的广义解成为可能，而此前 [1] 和 [2] 中的方法不足以处理此类情况。其研究结果旨在促进：

• 反向抛物型问题的可解性分析。
• 在扰动下的存在性与唯一性证明。
• 通过迭代技术开发构造性逼近方法。

本研究由俄罗斯科学基金会及汉特-曼西自治州-尤格拉政府资助。