[論文レビュー] Ornstein's non-inequalities Riesz product approach

Krystian Kazaniecki, Michał Wojciechowski|arXiv (Cornell University)|Jun 27, 2014

Mathematics and Applications参考文献 2被引用数 3

ひとこと要約

本稿では、幾何的に異なる多重添字を備えた微分作用素に対して、オルンシュタインの非不等式を示すために、リエス積に基づく新しい手法を提示する。反復的なリエス積を用いて滑らかな三角多項式を構築し、適切に選ばれた周波数ベクトルにより方向的成長を制御することで、ある微分のL1ノルムが、同じ同次次数を持つ他の微分のL1ノルムの和よりも任意に大きくできることが示された。

ABSTRACT

We provide a new technique to prove Ornstein's non-inequalities for derivatives with some geometrical dependence on their indexes.

研究の動機と目的

• 幾何的に異なる多重添字を有する微分作用素を含む特別な場合におけるオルンシュタインの非不等式の代替証明法の提供。
• 同じ次数の線形独立な同次微分作用素間における事前L1ノルム推定の不成立を確立すること。
• 任意の所定の定数Kにかかわらず、1つの微分が他の微分の和のL1ノルムを支配するトーラス上の滑らかな関数の構成。
• リエス積構造と周波数ベクトルの選択を活用し、異なる微分ノルムの相対的成長を制御すること。

提案手法

• 整数周波数ベクトル $ a_k \in \mathbb{Z}^2 $ を用いて、$ R_n(x) = -1 + \prod_{k=1}^n (1 + \cos(2\pi \langle x, a_k \rangle)) $ として変更されたリエス積を構築する。
• 各 $ l \leq m $ に対して、$ \left| \frac{(q(2)^2 / q(1))^{l} - (\sigma_k / \sqrt{n})^l \right| \leq 1/3^n $ を満たすように $ a_k $ を帰納的に選ぶことで、微分項の成長を制御する。
• 周波数の組み合わせが係数 $\{-1,0,1\}$ に属するすべての $ q \in A_k \cup (-A_k) $ を集めるために $ A_k $ を定義し、三角多項式 $ Z(x) = \sum_{k=1}^n \sum_{q \in A_k \cup (-A_k)} \frac{1}{q(1)^4} \frac{1}{2^{r(q)}} e^{2\pi i \langle q, x \rangle} $ を定義する。
• $ D^{\alpha_0}Z = R_n $ であることを示し、$ \|D^{\alpha_0}Z\|_{L_1} \leq 2 $ を得ることで、基本的な微分の有界性を確立する。
• $ D^{\alpha_l}Z $ を2つの部分に分解する：$ I_l $ は理想化された成長からのずれを表し、$ II_l $ は一般化されたリエス積構造に一致する。
• 補題1を用いて $ \|II_1\|_{L_1} \geq C\sqrt{n} $ を示し、$ m \geq 2 $ に対して $ \|II_m\|_{L_1} \leq 1 $ を示すことで、最初の微分からの寄与が支配的であることを保証する。

実験結果

リサーチクエスチョン

• RQ1 リエス積に基づく構成により、同じ次数の線形独立な同次微分作用素間における事前L1ノルム推定の不成立を示せるか？
• RQ2 多重添字 $ \alpha_j $ にどのような幾何的条件を課すと、ある微分のL1ノルムが他の微分の和よりも任意の係数Kだけ大きくできるか？
• RQ3 $ \mathbb{T}^2 $ 上に、高階の混合微分が他のすべての微分のL1ノルムを支配する滑らかな関数を構成することは可能か？
• RQ4 リエス積フレームワークにおいて、異なる微分項の相対的成長を制御するために、周波数ベクトル $ a_k $ を帰納的にどのように選べるか？
• RQ5 パrameter $ n $ は、構築された多項式における特定の微分ノルムを他の微分と比較してどのように拡大するか？

主な発見

• 任意の $ K > 0 $ に対して、$ \left\| \frac{\partial^5}{\partial x_1^3 \partial x_2^2} f \right\|_{L_1} \geq K \left( \sum_{j \neq 1} \| D^{\alpha_j} f \|_{L_1} \right) $ を満たす滑らかな関数 $ f \in C^\infty(\mathbb{T}^2) $ が存在し、これが所望の非不等式を証明する。
• 構成により $ \|D^{\alpha_0}Z\|_{L_1} \leq 2 $ であり、$ \|II_1\|_{L_1} \geq C\sqrt{n} $ であり、$ n > 64K^2 C^{-2} $ のとき、これは $ 8K+1 $ を超える。これにより、必要なノルム支配が得られる。
• 理想化された成長からのずれを表す項 $ I_l $ は、一様な誤差項 $ \leq 1/3^n $ のため、$ \|I_l\|_{L_1} \leq 1 $ を満たし、寄与は無視できるほど小さい。
• $ m \geq 2 $ のとき、項 $ II_m $ は $ \|II_m\|_{L_1} \leq n^{-m/2} \cdot n \leq 1 $ を満たすため、ノルムが有界であり、最初の微分の支配的寄与に干渉しない。
• 重要な不等式 $ \|II_1\|_{L_1} \geq C\sqrt{n} $ は補題1から導かれ、$ |a_{k+1}| > M_n |a_k| $ の条件下で成り立つ。これにより周波数の指数的増加が保証される。
• 最終的な結果は、$ n > 64K^2 C^{-2} $ を選ぶことで得られ、このとき $ C\sqrt{n} > 8K+1 $ となる。これにより、必要なノルム比が $ K $ を超えることが保証される。