[論文レビュー] A Beurling-Helson type theorem for modulation spaces

Kasso A. Okoudjou|ArXiv.org|Jan 9, 2008

Mathematical Analysis and Transform Methods参考文献 11被引用数 4

ひとこと要約

本稿は、変数変換が変調空間 $c^{p,q}(Ò^d)$ を保存するための $c^1$ 変換がアフィン変換に限ることを示すことにより、モジュレーション空間におけるベルリング＝ヘルソン型定理を確立する。この結果は、スヨーランド代数およびフェヒトゥンガー代数に関する先行研究を拡張し、$q \neq 2$ かつ $q < \infty$ の場合に、コンパクトに台を持つ関数とフーリエ代数 $\mathcal{F}L^q$ 間の関係を用いて、このような不変性がアフィン写像を特徴づけることを示している。主な貢献は、滑らかさおよび可積分性の条件下で、全モジュレーション空間族における不変な変数変換の完全な特徴付けを達成したことである。

ABSTRACT

We prove a Beurling-Helson type theorem on modulation spaces. More precisely, we show that the only $\mathcal{C}^{1}$ changes of variables that leave invariant the modulation spaces $\M{p,q}( d)$ are affine functions on $ d$. A special case of our result involving the Sjöstrand algebra was considered earlier by A. Boulkhemair.

研究の動機と目的

• 変調空間 $c^{p,q}(Ò^d)$ におけるベルリング＝ヘルソン定理を一般化し、スヨーランド代数およびフェヒトゥンガー代数に関する先行結果を拡張すること。
• 合成作用素の下でノルム構造を保存する $c^1$ 微分同相写像のクラスを同定すること。
• $1 \leq p,q \leq \infty$, $q \neq 2$, $q < \infty$ の場合に、$c^{p,q}(Ò^d)$ を保存する変数変換はアフィン写像に限られることを確立し、このような不変変換の特徴付けを完成させること。
• フーリエ乗数作用素と変調空間の理論を結びつけることにより、合成作用素 $\phi^*$ の有界性が位相空間変換の幾何学的性質と $\mathcal{F}L^q$ の構造にどのように関係するかを明らかにすること。

提案手法

• コンパクトに台を持つ関数が $c^{p,q}(Ò^d)$ に属することと、フーリエ代数 $c^1(Ò^d)$ に属することの同定に依拠し、$\mathcal{M}_{\text{comp}}^{p,q} = (\mathcal{F}L^q)_{\text{comp}}$ であることに着目する。
• 既知の結果を用いる：$A_1(\mathbb{T})$ におけるベルリング＝ヘルソン定理、および $p \neq 2$ の場合の $A_p(\mathbb{R}^d)$ に対する高次元への拡張により、空間を保存するのはアフィン写像に限ることを導く。
• 作用素 $\phi^*$ が $\mathcal{M}^{p,q}$ 上で有界であることを、コンパクトに台を持つ関数の部分空間に制限することで、問題をフーリエ代数の設定に還元する。
• 次元 $d$ とパrameter $q$ についての場合分けによる議論を展開し、$d=1, q=1$ については [1]、$d=1, 1<q<\infty$, $q\neq2$ については [16]、$d>1, q=1$ については [17]、$d>1, 1<q<\infty$, $q\neq2$ については再び [16] を引用する。
• 鍵となる技術的ステップは、$\phi^*$ が $\mathcal{M}^{p,q}$ を保存するならば、その作用が $\mathcal{F}L^q$ に台を持つ関数の部分空間を保存することを示すことである。この部分空間はフーリエ代数の構造を引き継ぐ。
• 既知の $A_p(\mathbb{R}^d)$ 内での写像の分類から、$\phi$ がアフィン写像でなければならないことが導かれる。

実験結果

リサーチクエスチョン

• RQ1 $1 \leq p,q \leq \infty$, $q \neq 2$, $q < \infty$ の場合に、どの $\mathcal{C}^1$ 変数変換 $\phi: \mathbb{R}^d \to \mathbb{R}^d$ が変調空間 $\mathcal{M}^{p,q}(\mathbb{R}^d)$ を保存するか？
• RQ2 フェヒトゥンガー代数 $\mathcal{M}^{1,1}(\mathbb{R}^d)$ は変調空間の特別な場合として、ノルムを保存する変数変換としてアフィン写像のみを含むか？
• RQ3 フーリエ代数 $A_p(\mathbb{R}^d)$ から変調空間 $\mathcal{M}^{p,q}$ へのベルリング＝ヘルソン定理の一般化は可能か？
• RQ4 スヨーランド代数 $\mathcal{M}^{\infty,1}(\mathbb{R}^d)$ は、変調空間へのベルリング＝ヘルソン定理の拡張において果たす役割は何か？
• RQ5 $\mathcal{M}^{p,q}$ 上での合成作用素 $\phi^*$ の有界性は、位相空間の幾何学的性質および $\mathcal{F}L^q$ の構造とどのように関係するか？

主な発見

• $1 \leq p,q \leq \infty$, $q \neq 2$, $q < \infty$ の場合に、変調空間 $\mathcal{M}^{p,q}(\mathbb{R}^d)$ を保存する唯一の $\mathcal{C}^1$ 変数変換 $\phi: \mathbb{R}^d \to \mathbb{R}^d$ は、$A$ を実可逆 $d \times d$ 行列とする $\phi(x) = Ax + \phi(0)$ の形のアフィン関数である。
• フェヒトゥンガー代数 $\mathcal{M}^{1,1}(\mathbb{R}^d)$ が $\phi^*$ で保存されるのは、$\phi$ がアフィン写像である場合に限る。これは、このバナッハ代数における不変性に関する長年の未解決問題を確認するものである。
• ボルケマイールのスヨーランド代数 $\mathcal{M}^{\infty,1}(\mathbb{R}^d)$ に関する以前の定理（$\phi$ の適切性のみを要件としていた）を、$\mathcal{C}^1$ の正則性のもとで、全変調空間族に一般化した。
• 本証明は、$\mathcal{M}^{p,q}(\mathbb{R}^d)$ とコンパクトに台を持つ関数の空間の共通部分が、$\mathcal{F}L^q(\mathbb{R}^d)$ 内のコンパクトに台を持つ関数の集合と一致することに依拠しており、これによりフーリエ代数における既知の結果に還元可能である。
• $q = 2$ の場合には一般には成り立たない。なぜなら $\mathcal{M}^{p,2}(\mathbb{R}^d) = L^2(\mathbb{R}^d)$ であり、$L^2$ ノルムを合成作用素の下で保存する非線形写像が多数存在するからである。
• $\mathcal{C}^1$ 条件は鋭い。$\phi$ が $\mathcal{C}^2$ かつ非線形であれば、$\phi^*$ は $\mathcal{M}^{p,q}$ 上で有界でない。これは、特徴付けに必要な最小の正則性が $\mathcal{C}^1$ であることを示している。