[論文レビュー] Sharp constants for composition with a bi-Lipschitz measure-preserving map

Frédéric Bernicot, Sahbi Keraani|arXiv (Cornell University)|Apr 26, 2012

Holomorphic and Operator Theory参考文献 2被引用数 3

ひとこと要約

本稿は、BMO、ハーディー、カーレソン空間における双リプシッツ的かつ測度を保存する写像の合成に関して、鋭い対数的評価を確立する。合成作用素の作用素ノルムが双リプシッツ定数 $ K_\theta $ に対して高々対数的に増大することを証明し、これはBMOにおいて最適であり、粗いベクトル場を伴う輸送PDEの事前推定を改善するために応用される。

ABSTRACT

In this note, we aim to describe sharp constants for the composition operator with a bi-Lipschitz measure-preserving map in several functional spaces (BMO, Hardy space, Carleson measures, ...). It is interesting to see how the measure preserving property allows us to improve these constants. Moreover, we will prove the optimality of our results for the BMO space and describe improved estimates for solutions of transport PDEs.

研究の動機と目的

• 双リプシッツ的かつ測度を保存する微分同相写像 $ \theta $ に対して、合成写像 $ f \to f \times \theta $ の作用素ノルムの鋭い評価を求める。
• 測度を保存するかつ双リプシッツ的条件下で、BMO、ハーディー、カーレソン空間における $ f \circ \theta $ のノルムの最適な増大率を特定する。
• BMOノルムにおいて、双リプシッツ定数 $ K_\theta $ に対する対数的増大が最適であることを証明する。
• これらの鋭い評価を、発散なしのベクトル場を伴う輸送PDEの解に対する事前推定を改善するために応用する。
• 対数的依存性が $ K_\theta $ に対して必要であり、測度保存性のもとでも改善できないことを示す。

提案手法

• 双リプシッツ歪みを測る量 $ K_\theta = \sup_{x \neq y} \left( \frac{|\theta(x) - \theta(y)|}{|x - y|} + \frac{|x - y|}{|\theta(x) - \theta(y)|} \right) $ を導入し、$ K_\theta \geq 2 $ であり、等号成立は $ \theta $ が等長写像である場合に限る。
• 測度を保存する双リプシッツ写像が球を、半径が同程度の球 $ K_\theta^d $ 個で被覆可能な集合に写すという幾何的補題を用い、体積および振動の推定を可能にする。
• ジョン＝ニレングベルクの不等式を適用して、$ \|f \circ \theta\|_{\text{BMO}} \lesssim \log(K_\theta) \|f\|_{\text{BMO}} $ を示し、対数的依存性が最適であることを示す。
• 同様に、$ \|f \circ \theta\|_{\text{Lip}_p(a)} \lesssim K_\theta^a \|f\|_{\text{Lip}_p(a)} $ およびカーレソン測度に関して $ \|\mu^{\sharp\theta}\|_{\mathcal{C}} \lesssim \log(K_\theta) \|\mu\|_{\mathcal{C}} $（$ \mu^{\sharp\theta} $ は引き戻し測度）の対数的評価を確立する。
• H^1 と BMO の双対性を用いて、$ \|f \circ \theta\|_{H^1} \lesssim \log(K_\theta) \|f\|_{H^1} $ を導出し、原子の像が $ \sim \log(K_\theta) $ 個の原子に分裂することを示す。
• 結果を輸送PDEに適用：$ \partial_t u + v \cdot \nabla u = 0 $ に対して、解は $ \|u(t)\|_{\text{BMO}} \lesssim (1 + \|v\|_{L^1_t \text{Lip}}) \exp(ct) \|u_0\|_{\text{BMO}} $ を満たし、$ K_\theta $ におけるナイーブな指数的評価よりも改善される。

実験結果

リサーチクエスチョン

• RQ1 測度を保存する写像 $ \theta $ に対して、BMO空間における作用素ノルム $ \|f \circ \theta\|_X $ が双リプシッツ定数 $ K_\theta $ に対してどのように鋭く依存するか？
• RQ2 BMOにおける合成作用素のノルムに対する $ K_\theta $ における対数的増大は改善可能か、それとも最適か？
• RQ3 他の関数空間、例えばハーディー空間 $ H^1 $、リプシッツ空間 $ \text{Lip}_p(a) $、カーレソン測度において、合成ノルムはどのように振る舞うか？
• RQ4 これらの鋭い評価を、粗いベクトル場を伴う輸送PDEの解に対する改善された事前推定に応用できるか？
• RQ5 測度保存性が、合成作用素ノルムにおける累乗的増大から対数的増大へと変える役割を果たす理由は何か？

主な発見

• 任意の $ f \in \text{BMO}({\mathbb{R}}^d) $ に対して、合成 $ f \circ \theta $ は $ \|f \circ \theta\|_{\text{BMO}} \lesssim \log(K_\theta) \|f\|_{\text{BMO}} $ を満たし、この対数的依存性は最適である。
• $ f \in \text{Lip}_p(a) $ に対して、合成は $ \|f \circ \theta\|_{\text{Lip}_p(a)} \lesssim K_\theta^a \|f\|_{\text{Lip}_p(a)} $ を満たし、これは与えられた仮定のもとで最適であり、改善できない。
• カーレソン測度のクラス $ \mathcal{S}C $ に対して、引き戻し $ \mu^{\sharp\theta} $ は $ \|\mu^{\sharp\theta}\|_{\mathcal{C}} \lesssim \log(K_\theta) \|\mu\|_{\mathcal{C}} $ を満たし、測度保存性のもとで対数的増大が成立することを示す。
• 双対性により、ハーディー空間ノルムは $ \|f \circ \theta\|_{H^1} \lesssim \log(K_\theta) \|f\|_{H^1} $ を満たし、原子の像が $ \sim \log(K_\theta) $ 個の原子に分裂することを示す。
• 発散なしのベクトル場 $ v $ を伴う輸送方程式 $ \partial_t u + v \cdot \nabla u = 0 $ に対して、解は $ \|u(t)\|_{\text{BMO}} \lesssim (1 + \|v\|_{L^1_t \text{Lip}}) \exp(ct) \|u_0\|_{\text{BMO}} $ を満たし、$ K_\theta $ における対数的依存性が増大評価を改善する。
• 本稿では、測度保存性のもとでも、対数的評価が鋭く、改善できないことを示すために、[3]の参考文献に基づく構成により最適性を証明している。