[論文レビュー] Best constant and value of extremizers for a k-plane transform inequality

Alexis Drouot|arXiv (Cornell University)|Nov 21, 2011

Advanced Harmonic Analysis Research参考文献 14被引用数 5

ひとこと要約

この論文は、BaernsteinとLossによる$k$-平面変換不等式に関する予想の端点ケースを解き、すべての$k$と$d$に対して最良定数と極値関数を明示的に特定した。極値関数は、$h(x) = \left[\frac{C}{1 + \|Lx\|^2}\right]^{(k+1)/2}$ の形をした径数的で非増加関数であり、最良定数は$A(k,d) = \left[2^{k-d}\frac{|S^k|^d}{|S^d|^k}\right]^{1/(d+1)}$ として得られた。これは調和解析における長年の問題を解決するものである。

ABSTRACT

The k-plane transform acting on test functions on R^d satisfies a dilation-invariant L^p to L^q inequality for some exponents p,q. We will explicit some extremizers and the value of the best constant for any value of k and d, solving the limit case of a 1997 conjecture from Baernstein and Loss. This extends their own result for k=2 and Christ's result for k=d-1.

研究の動機と目的

• BaernsteinとLossによる$k$-平面変換不等式に関する予想の端点ケースを解明すること。
• $k$-平面変換の$L^{\frac{d+1}{k+1}} \to L^{d+1}$作用素ノルム不等式における最良定数$A(k,d)$を明示的に特定すること。
• 不等式のすべての径数的で非増加極値関数を特徴付け、それらの拡大変換に関して相対コンパクト性を証明すること。
• BaernsteinとLoss（$k=2$）およびChrist（$k=d-1$）の先行結果を、$k$と$d$の全範囲に拡張すること。

提案手法

• Liebの対称化と集中コンパクト性の手法を用いて、径数的で非増加関数の極値列の存在と相対コンパクト性を証明する。
• 変換$\mathcal{S}$（$k$-平面変換）と$V$（対称再配分）を用いた競合対称性理論を適用する。
• 径数的関数への$V\mathcal{S}$作用の分析により、極値関数上で拡大変換として作用することを示す。
• 対称性制約の下で方程式系を解き、スケーリングおよび回転不変性によりパラメータを削減することで、極値関数の関数的形を導出する。
• 関係式$\left(V\mathcal{S}\right)^2 f(r) = \mu^{d/p} f(\mu r)$を用いて、繰り返し適用が自己相似的プロファイルを導くことを示す。
• 反復$V\mathcal{S}$変換の収束を分析することで、極値関数が$f(x) = \left[\frac{1}{a + b\|x\|^2}\right]^{(k+1)/2}$ の形を取らなければならないことを確立する。

実験結果

リサーチクエスチョン

• RQ1 $k$-平面変換の$L^{\frac{d+1}{k+1}} \to L^{d+1}$不等式における最良定数$A(k,d)$は何か？
• RQ2 任意の$k$と$d$に対して、この不等式の明示的極値関数の形は何か？
• RQ3 径数的で非増加関数の極値列は、拡大変換群に関して相対的にコンパクトか？
• RQ4 BaernsteinとLossによる極値関数に関する予想は、$k=2$を越えて一般化可能か？
• RQ5 $k$-平面変換の対称性は、極値関数の構造にどのように制約を加えるか？

主な発見

• $k$-平面変換不等式の最良定数は$A(k,d) = \left[2^{k-d}\frac{|S^k|^d}{|S^d|^k}\right]^{1/(d+1)}$ であり、ここで$|S^{i-1}|$は$(i-1)$-球の表面測度を表す。
• 径数的で非増加極値関数は存在し、スケーリングおよび可逆アフィン写像群の作用を除いて一意である。
• すべての極値関数は、ある可逆線形写像$L$と定数$C$を用いて$h(x) = \left[\frac{C}{1 + \|Lx\|^2}\right]^{(k+1)/2}$ の形に表される。
• 任意の径数的で非増加関数の極値列は、適切なスケーリングを施すことで収束するため、拡大変換に関して相対的にコンパクトである。
• $V\mathcal{S}$作用素（$k$-平面変換と対称再配分の合成）は、極値関数上で拡大変換として作用し、自己相似的プロファイルを導く。
• 解は、すべての$k$と$d$に対してBaernstein-Loss予想の端点ケースを確認し、$k=2$および$k=d-1$の先行結果を一般化する。