[论文解读] Regularity for minimizers of non-autonomous non-quadratic functionals in the case 1 < p < 2: an a priori estimate

Andrea Gentile|arXiv (Cornell University)|Jul 27, 2018

Nonlinear Partial Differential Equations参考文献 11被引用 7

一句话总结

本文在梯度依赖项的弱导数属于 L^q(Ω)（q ≥ 2n/p）的假设下，为非自伴、非二次型泛函在次二次增长（1 < p < 2）情形下，局部极小化元的二阶导数建立了先验估计。关键结果是通过新颖的差商方法与双重迭代技术，实现了 D²u 在 ||Du||_L^p 与 ||g||_L^q 下的 L^p 有界性，成功处理了次二次情形下的临界可 summability 问题。

ABSTRACT

We prove an a priori estimate for the second derivatives of local minimizers of integral functionals of calculus of variation with convex integrand with respect to the gradient variable, assuming that the function that measures the oscillation of the integrand with respect to the x variable belongs to a suitable Sobolev space. The novelty here is that we deal with integrands satisfying subquadratic growth conditions with respect to gradient variable.

研究动机与目标

• 为非自伴、非二次型泛函在次二次增长（1 < p < 2）情形下，局部极小化元的二阶导数建立先验估计。
• 将正则性理论推广至被积函数 f(x, ξ) 在 ξ 上满足次二次增长，且在 x 上具有索博列夫型正则性的梯度依赖情形。
• 解决在次二次增长与索博列夫系数下，向量值极小化元缺乏更高可微性结果的问题，特别是当 p < 2 时。
• 证明 Dξf(x, ξ) 关于 x 的弱可微性（属于 L^q）可推出极小化元 u 的二阶可积性。

提出的方法

• 利用差商方法，通过辅助函数 Vp(Du) 的梯度的 L^2 范数来估计 D²u 的 L^p 范数。
• 应用哈拉兹点态索博列夫函数刻画方法，通过局部可积函数 g ∈ L^q_loc(Ω) 控制 Dξf 关于 x 的振荡。
• 采用双重迭代技术，重新吸收具有临界可 summability 的项，尤其在次二次情形下标准估计失效时。
• 使用霍尔德不等式与杨不等式，并精心选择指数，以平衡涉及 g、Du 与 τhDu 的各项。
• 采用迭代引理（引理 2.3），将 |τhDu|/|h| 的局部 L^p 有界性提升为 ||D²u||_L^p 的全局估计。
• 借助索博列夫嵌入定理，控制 |Du| 的 L^{pq/(q-2)} 范数，当 q ≥ 2n/p 时，确保临界项的收敛性。

实验结果

研究问题

• RQ1 能否在非自伴、非二次型泛函且 1 < p < 2、梯度方向次二次增长的情形下，为局部极小化元的二阶导数建立先验估计？
• RQ2 当 p < 2 时，Dξf(x, ξ) 关于 x 的弱可微性（属于 L^q）是否意味着 D²u 的更高可积性？
• RQ3 差商方法能否被调整以应对次二次情形（p < 2）下出现的临界可 summability 挑战？
• RQ4 为确保 D²u ∈ L^p，系数函数 g（衡量 Dξf 的 x-振荡）的最优可积性条件是什么？
• RQ5 当 p < 2 且 q ≥ 2n/p 时，p 与 q 之间的相互作用如何影响先验估计的结构？

主要发现

• 建立了 ||D²u||_L^p(B_r) 的先验估计，其上界为 ||Du||_L^p(B_R) + ||g||_L^q(B_R) 的常数倍，其中 q ≥ 2n/p。
• 估计式 (1.6) 对任意满足 BR ⋐ Ω 的 0 < r < R 成立，常数 C 仅依赖于 α、β、p 与 n。
• 证明依赖于一种新颖的双重迭代技术，以控制具有临界可 summability 的项，这在次二次情形（p < 2）中至关重要。
• 通过霍尔德不等式与杨不等式的组合，控制了 ∫ |τhDu|^p / |h|^p dx 项，其中涉及 g 与 Du 的临界项通过索博列夫嵌入进行估计。
• 条件 q ≥ 2n/p 确保了 |Du| 的 L^{pq/(q-2)} 范数有限，从而可利用索博列夫嵌入定理完成估计。
• 该结果将正则性理论推广至此前未被探索的次二次增长（1 < p < 2）与索博列夫系数情形，填补了文献中的关键空白。