[论文解读] An Asymmetric Affine Pólya--Szegö Principle

Christoph Haberl, Franz E. Schuster+1 more|ArXiv.org|Aug 11, 2009

Point processes and geometric inequalities参考文献 57被引用 11

一句话总结

本文提出了一种非对称仿射Pólya–Szegö原理，通过引入非对称方向导数，强化了经典且此前已确立的仿射Pólya–Szegö不等式，方法是利用非对称$L^p$仿射能量$\mathcal{E}_p^+(f)$。主要结果证明了$\mathcal{E}_p^+(f^\star) \leq \mathcal{E}_p^+(f)$，该结果蕴含了对称仿射不等式，并导出了更强版本的仿射Sobolev、Moser–Trudinger及对数Sobolev不等式，包括一个比其欧几里得对应版本更优的精确仿射对数Sobolev不等式。

ABSTRACT

An affine rearrangement inequality is established which strengthens and implies the recently obtained affine Pólya--Szegö symmetrization principle for functions on $\mathbb{R}^n$. Several applications of this new inequality are derived. In particular, a sharp affine logarithmic Sobolev inequality is established which is stronger than its classical Euclidean counterpart.

研究动机与目标

• 开发一种更强的仿射对称化原理，以考虑方向导数中的非对称性。
• 通过引入非对称$L^p$仿射能量$\mathcal{E}_p^+(f)$，推广经典及对称仿射Pólya–Szegö不等式。
• 推导更精细的仿射泛函不等式，包括Moser–Trudinger、Morrey–Sobolev及对数Sobolev不等式的改进版本。
• 建立一个新锐的仿射对数Sobolev不等式，其强于经典欧几里得版本。

提出的方法

• 定义非对称$L^p$仿射能量$\mathcal{E}_p^+(f) = 2^{1/p}c_{n,p}\left(\int_{S^{n-1}}\|\mathrm{D}_u^+f\|_p^{-n}\,du\right)^{-1/n}$，其中$\mathrm{D}_u^+f$为方向导数的正部。
• 证明非对称仿射Pólya–Szegö不等式：对所有$f \in W^{1,p}(\mathbb{R}^n)$，有$\mathcal{E}_p^+(f^\star) \leq \mathcal{E}_p^+(f)$，其中$f^\star$为$f$的对称重排。
• 通过在现有结果中以非对称$\mathcal{E}_p^+(f)$替代对称$\mathcal{E}_p(f)$，利用该不等式推导出更强版本的已知仿射不等式。
• 通过将新不等式应用于对数Sobolev框架，建立一个锐的仿射对数Sobolev不等式，证明其强于经典版本。
• 通过将主不等式与已知锐不等式结合，推导出新的非对称仿射Gagliardo–Nirenberg与Nash不等式。
• 通过显式计算极值函数（包括紧支集与幂律衰减函数）验证等号成立情形。

实验结果

研究问题

• RQ1 能否通过引入非对称方向导数来强化仿射Pólya–Szegö原理？
• RQ2 非对称$L^p$仿射能量$\mathcal{E}_p^+(f)$是否能产生严格强于对称版本$\mathcal{E}_p(f)$的不等式？
• RQ3 新不等式能否导出已知仿射泛函不等式的更优版本，如Moser–Trudinger与对数Sobolev不等式？
• RQ4 是否存在一个强于经典欧几里得版本的锐仿射对数Sobolev不等式？
• RQ5 新非对称仿射不等式的极值函数是什么？

主要发现

• 非对称仿射Pólya–Szegö不等式$\mathcal{E}_p^+(f^\star) \leq \mathcal{E}_p^+(f)$对所有$f \in W^{1,p}(\mathbb{R}^n)$及$p \geq 1$成立，且当且仅当$\|\mathrm{D}_u^+f\|_p$在$S^{n-1}$上为偶函数时取等。
• 该新不等式蕴含Cianchi等人提出的对称仿射Pólya–Szegö原理，因此严格强于经典及对称仿射版本。
• 建立了锐的仿射对数Sobolev不等式，其强于经典欧几里得对数Sobolev不等式。
• 推导出新的锐仿射Moser–Trudinger与Morrey–Sobolev不等式，其优于Cianchi等人此前所得结果。
• 获得新的非对称仿射Gagliardo–Nirenberg不等式：$\|f\|_r \leq \gamma_{n,p,q}\mathcal{E}_p^+(f)^\theta\|f\|_q^{1-\theta}$，等号对形如$f(x) = a(1 + |\phi(x-x_0)|^{p/(p-1)})^{-(p-1)/(q-p)}$的函数成立。
• 推导出新的锐仿射Nash不等式：$\|f\|_2^{1+2/n} \leq \beta_n \mathcal{E}_2^+(f)\|f\|_1^{2/n}$，等号对归一化、缩放后的紧支集径向函数成立。