[论文解读] Comparison results for the $p$-torsional rigidity on convex domains

Cristian Enache, Mihai Mihăilescu+1 more|arXiv (Cornell University)|Mar 13, 2026

Nonlinear Partial Differential Equations被引用 0

一句话总结

该论文为在不同内切半径的凸区域之间建立了对归一化的 p-扭曲刚度 T(p;Ω) 的尖锐、维度与 p 依赖的比较原理，并识别出一个普遍常数 gamma_{D,p}，决定何时 T(p;Ω_b) ≤ T(p;Ω_a）。

ABSTRACT

For each open, bounded and convex domain $Ω\subset \mathbb{R}^{D},$ $D\geq 2$, and each real number $p>1,$ we denote by $u_{p}$ the $p$\emph{-torsion function} on $Ω$, i.e. the solution of the \emph{torsional creep problem} $Δ_{p}u=-1$ in $Ω$, $u=0$ on $\partial Ω$, where $Δ_{p}u:=\operatorname{div}( \left\vert abla u ight\vert ^{p-2} abla u) $ is the $p$-Laplacian. Let $T_p(Ω)$ be the $p$\emph{-torsional rigidity} on $Ω$, defined as $T_{p}\left( Ω ight) :=\int_{Ω}u_{p}dx$. Define $T\left( p;Ω ight) :=\left\vert Ω ight\vert ^{p-1}T_{p}\left( Ω ight) ^{1-p}$, where $|Ω|$ stands for the Lebesgue measure of $Ω$. The main purpose of this paper is to compare the values of $T(p;Ω)$ for bounded convex domains having different inradii. We prove that for any $0

研究动机与目标

• 研究 bounded convex domains 的内切半径变化对归一化的 p-扭转刚度 T(p;Ω) 的影响以 motivate 之。
• 定义 p-扭转问题和归一化泛函 T(p;Ω) 以实现尺度不变的比较。
• 在给定 a<b 的情况下，建立一个尖锐的、依赖维度与 p 的准则（gamma_{D,p}）以判定 T(p;Ω_b) ≤ T(p;Ω_a) 是否成立，且 Ω_a∈P^D(a)、Ω_b∈P^D(b)。
• 分析极限情形（p→1^+ 和 p→∞）并通过模型族（矩形、正交多胞、椭圆、三角形）讨论尖锐性。
• 将结果推广到基于距离的泛函与在几何约束下的 Saint-Venant 型含义。

提出的方法

• 引入 p-扭转问题 -Δ_p u = 1 在 Ω 中，u = 0 在 ∂Ω，上述 T_p(Ω) = ∫_Ω u_p dx，T(p;Ω) = |Ω|^{p-1} T_p(Ω)^{1-p}。
• 利用变分表征 T_p(Ω)^{p-1} = sup_{u∈W_0^{1,p}(Ω) eq0} (∫_Ω |u| dx)^p / ∫_Ω |∇u|^p dx。
• 发展一个与尺度无关的量 Q_p(Ω) = (T(p;Ω) R_Ω^p / ((2p-1)/(p-1))^{p-1})^{1/p}，并定义 α, β 为其在凸域上的下确界/上确界，进而得到 γ_{D,p} = α/β。
• 证明主定理 2：对于所有 Ω_a∈P^D(a), Ω_b∈P^D(b)，当且仅当 γ_{D,p} b ≥ a 时，T(p;Ω_b) ≤ T(p;Ω_a)，并且在 γ_{D,p} b = a 时渐近等号成立。
• 利用尺度变换 T(p; tΩ) = t^{-p} T(p;Ω) 并结合尖锐的 Hersch-Protter 与 Buser 型不等式，以及几何估计 R_Ω P(Ω)/|Ω|，导出界。
• 第5节在模型族（矩形、正交多胞、椭圆、三角形）上计算 Q_p，以展示尖锐性与渐近行为。

实验结果

研究问题

• RQ1 是否存在一个普遍的、依赖维度与 p 的准则，可以将具有不同内切半径的凸域的 p-扭转刚度排序？
• RQ2 在内切半径、域几何形状与尺度不变的 T(p;Ω) 之间，究竟什么关系导致 a<b 时 T(p;Ω_b) ≤ T(p;Ω_a)？
• RQ3 极限情形 p→1^+ 与 p→∞ 如何影响比较，以及在模型域中这些界是否尖锐？
• RQ4 是否可以通过距离基泛函（δ(Ω)）将比较原理推广，并在几何约束下得到 Saint-Venant 型结果？
• RQ5 在关键凸族（矩形、正交多胞、椭圆、三角形）上，Q_p 及相关常数的行为如何，以及它们如何说明界的尖锐性？

主要发现

• 存在 γ_{D,p} ∈ [1/D, 1) ，仅依赖于 D 和 p，若且仅若 γ_{D,p} b ≥ a，则对所有凸 Ω_a 内切半径为 a、Ω_b 内切半径为 b 的情形有 T(p;Ω_b) ≤ T(p;Ω_a)。
• 若 γ_{D,p} b > a，不等式为严格；若 γ_{D,p} b = a，在退化域族极限下渐近达到相等。
• 推论将结果推广至单一 γ_D，表明在所有 p>1 的情况下，当 γ_D b ≥ a 时，对于所有 p，均有 T(p;Ω_b) ≤ T(p;Ω_a)，且当 γ_D b > a 时严格不等。
• 定理 3 通过平均距离框架 δ(Ω) 扩展结果，给出类似的 γ̄_{D,p}，界为 [2/(D(D+1)), 1) 。
• 模型族分析显示矩形、正交多胞、椭圆和三角形的 γ_{D,p} 尖锐性；极值通过退化（如拉长的区域或多胞体崩塌）而接近。
• 当 p→∞ 时，问题与距离边界的行为一致，平均距离框架提供扩展的比较结果（定理 3 与推论）。