arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2003.07391math.APmath.FAmath.MG

从仿射Poincaré不等式到仿射谱不等式

From affine Poincaré inequalities to affine spectral inequalities

Julián Haddad, Carlos Hugo Jiménez, Marcos Montenegro

AI总结:

本文建立仿射球的弱闭性与紧性,发展仿射p-Laplace算子及特征值理论,证明仿射Faber-Krahn不等式,所得仿射不等式强于经典Poincaré不等式。

摘要:

给定 $\mathbb R^n$ 中的有界开子集 $\Omega$,我们建立了由 Lutwak、Yang 和 Zhang 在文献 [43] 中引入的仿射泛函 $\mathcal E_p f$ 所定义的仿射球 $B^{\mathcal A}_p(\Omega) = \{f \in W^{1,p}_0(\Omega):\\ \mathcal E_p f \leq 1\}$ 的弱闭性,以及其在 $L^p(\Omega)$ 中的紧性,该结论对所有 $p \geq 1$ 成立。这些结论强烈依赖于著名的 Blaschke-Santaló 不等式。作为对应,我们在有界域中发展了仿射情形下 $p$-Rayleigh 商的基本理论($p\geq 1$)。更具体地,我们建立了 Poincaré 不等式的 $p$-仿射版本及其一些推论。我们引入了仿射不变 $p$-Laplace 算子 $\Delta_p^{\mathcal A} f$,它定义了 $p$-仿射 Rayleigh 商最小化问题的 Euler-Lagrange 方程。我们还研究了其第一特征值 $\lambda^{\mathcal A}_{1,p}(\Omega)$,该特征值满足相应的仿射 Faber-Krahn 不等式,即 $\lambda^{\mathcal A}_{1,p}(\Omega)$ 仅在 $\Omega$ 为椭球时(在等体积集合中)达到最小。这一点从根本上依赖于针对算子 $\Delta_p^{\mathcal A} f$ 的 PDE 正则性分析。我们还给出了仿射特征值与经典特征值之间的一些比较,包括通过刻画 $p \geq 1$ 时等号情形得到的刚性结果。所有获得的仿射不等式都更强,并直接蕴含经典不等式。

英文摘要:

Given a bounded open subset $Ω$ of $\mathbb R^n$, we establish the weak closure of the affine ball $B^{\mathcal A}_p(Ω) = \{f \in W^{1,p}_0(Ω):\ \mathcal E_p f \leq 1\}$ with respect to the affine functional $\mathcal E_pf$ introduced by Lutwak, Yang and Zhang in [43] as well as its compactness in $L^p(Ω)$ for any $p \geq 1$. These points use strongly the celebrated Blaschke-Santaló inequality. As counterpart, we develop the basic theory of $p$-Rayleigh quotients in bounded domains, in the affine case, for $p\geq 1$. More specifically, we establish $p$-affine versions of the Poincaré inequality and some of their consequences. We introduce the affine invariant $p$-Laplace operator $Δ_p^{\mathcal A} f$ defining the Euler-Lagrange equation of the minimization problem of the $p$-affine Rayleigh quotient. We also study its first eigenvalue $λ^{\mathcal A}_{1,p}(Ω)$ which satisfies the corresponding affine Faber-Krahn inequality, this is that $λ^{\mathcal A}_{1,p}(Ω)$ is minimized (among sets of equal volume) only when $Ω$ is an ellipsoid. This point depends fundamentally on PDEs regularity analysis aimed at the operator $Δ_p^{\mathcal A} f$. We also present some comparisons between affine and classical eigenvalues, including a result of rigidity through the characterization of equality cases for $p \geq 1$. All affine inequalities obtained are stronger and directly imply the classical ones.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑