[論文レビュー] 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 新しい非対称アフィン不等式の極値関数は何か？

主な発見

• すべての$f \in W^{1,p}(\mathbb{R}^n)$および$p \geq 1$に対して、非対称アフィンPólya–Szegö不等式$\mathcal{E}_p^+(f^\star) \leq \mathcal{E}_p^+(f)$が成り立ち、等号成立は$\|\mathrm{D}_u^+f\|_p$が$S^{n-1}$上で偶関数である場合に限る。
• 新しい不等式は、Cianchiらの対称的アフィンPólya–Szegö原理を含むため、古典的および対称的アフィンバージョンよりも厳密に強い。
• 鋭いアフィン対数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}$。等号成立は、正規化され、スケーリングされ、コンパクトに台を持つ径対称関数に対して成り立つ。