New characterizations of BLO spaces by heat semigroups and applications

技術的要約：熱半群によるBLO空間の新たな特徴付けとその応用

問題提起
本論文は、ユークリッド空間 $\mathbb{R}^n$ 上の有界下限振動（BLO）関数空間の特性化を扱う。ハーディ空間（$H^1$）や有界平均振動（BMO）空間の理論は確立されているが、CoifmanとRochbergによってBMOのサブセットとして導入されたBLO空間は、$A_1$ マック・ニューマン重みおよび特異積分作用素との関係において、ますます注目を集めている。既存の特性化には、$A_1$ 重み（$e^{\epsilon f} \in A_1$ を通じて）に関連する古典的な結果や、C. Bennettによるハーディ・リトルウッド最大作用素の変種を用いた特性化がある。著者らは、ガウス熱半群を用いてBLO空間の新たな特性化を提供し、BLO境界データを持つ熱方程式の解の正則性に関する性質を調査することを目的としている。

手法
主要な手法には、古典的な熱半群 $W_t$ およびその関連核 $W_in(x, y) = (4\pi t)^{-n/2} e^{-|x-y|^2/4t}$ の使用が含まれる。著者らは、半群の手法を用いて、BLOノルムと関数の熱進化から導かれる量との間の等価性を確立する。

主な技術的ツールは以下の通りである：

1. 熱半群による特性化： 関数 $f$ がBLOに属ための必要十分条件は、半径 $\sqrt{t}$ の球における熱進化 $W_t f$ の振動が $L^\infty$ において一様に有界であることであることを確立する。
2. 重みの特性化： 熱半群とハーディ・リトルウッド最大作用素の関係を利用して、$W_t(e^{\epsilon f}) \leq C e^{\epsilon f}$ という不等式を含む新たな条件を導出する。
3. 分解と核の評価： リトルウッド・パレイ $g$ 関数の有界性を証明するために、著者らは球に対する「近傍」部分と「遠方」部分に関数を分解し、BMO関数のジョン・ニーレンベルグ不等式および熱核の精密な勾配評価を用いる。
4. 反例と安定性： BLO空間の非線形性を示すための具体的な例を構成し、$L^\infty$ 摂動の下での安定性を証明する。

主要な貢献と結果

1. 新しい熱半群による特性化 (定理 1.2)：
   局可積分関数 $f$ が $BLO(\mathbb{R}^n)$ に属ための必要十分条件は以下である：
   $$\sup_{t>0} \left\| W_t f(\cdot) - \inf_{z \in B(\cdot, \sqrt{t})} W_t f(z) \right\|_{L^\infty(\mathbb{R}^n)} < \infty.$$
   さらに、BLOノルムはこの上限と等価である。これは、熱流の幾何学的な振動とBLOの性質との間の直接的な結びつきを提供する。

2. 熱方程式の解の正則性 (定理 2.1 & 2.2)：
   この新しい特性化を適用することで、本論文は初期データ $f \in BLO(\mathbb{R}^n)$ を持つ熱方程式 $\partial_t u = \Delta u$ の解 $u(x, t)$ に関する正則性評価を確立している。具体的には、解は以下の条件を満たす：
   $$u(x, t) \leq \inf_{z \in B(x, \sqrt{t})} u(z, t) + C\|f\|_{BLO}.$$
   これは、解の局所的な振動が初期データのBLOノルムによって制御されていることを意味する。著者らは、これらの結果が一様楕円係数を持つ一般的な放物型方程式にも拡張できると述べている。

3. $A_1$ 重みによる熱的特性化 (定理 1.5)：
   本論文は、熱半群に基づく条件を導入することで、$f \in BLO$ と $e^{\epsilon f} \in A_1$ の間の等価性を再確立する：
   $$W_t(e^{\epsilon f})(x) \leq C e^{\epsilon f}(x) \quad (\text{すべての } t > 0 \text{ およびほとんど至る所の } x \text{ に対して}).$$
   これは、Coifman-Rochbergの定理の定量的バージョンを提供し、熱不等式を満たす $\epsilon$ と $C_0$ の下限の包含関係を伴うノルムの等価性を提供する。

4. リトルウッド・パレイ $g$ 関数のBMO-BLO有界性 (定理 2.4)：
   著者らは、リトルウッド・パレイ $g$ 関数の二乗 $[g(f)]^2$ が $BMO(\mathbb{R}^n)$ から $BLO(\mathbb{R}^n)$ へ有界に写すという結果を、以前の手法を回避して再証明している。この証明では、熱半群によるBLOの特性化と核の評価を用いている。その結果、$g(f) \in BLO$ であり、対応するノルム評価が成り立つ。

5. 非線形性と安定性 (セクション 4)：
   本論文は、BLOが線形空間ではないこと（具体的には、$f \in BLO$ であっても $-f$ がBLOになるとは限らない）を示すために、具体的な例（$f(x) = -\ln|x|$）を提示している。しかしながら、$f \in BLO$ かつ $g \in L^\infty$ であれば $f-g \in BLO$ であるという、$L^\infty$ 摂動の下での安定性を証明している。

意義
本論文は、熱半群の観点を通じてBLO空間を分析するための統一的な枠組みを提供することに意義があると主張している。熱流を通じてBLOを特性化することにより、著者らはBLO境界値を持つ拡散方程式の正則性の研究を容易にしている。さらに、熱半群によるアプローチは、BMOからBLOへのリトルウッド・パレイ $g$ 関数の有界性に関する、より簡潔な証明を提示しており、調和解析における半群手法の有用性を強化している。熱半群を介したBLOノルムと$A_1$重みの定数との間に確立された定量的な関係は、これらの関数空間の構造的性質に関する理解をさらに深めるものである。