In this paper we study the behavior of dilation operators $ D_λ\colon f \mapsto f(λ\,\cdot) $ with $ λ> 1 $ in the context of Triebel-Lizorkin-Morrey spaces $\mathcal{E}^{s}_{u,p,q}(\mathbb{R}^d)$. For that purpose we prove upper and lower bounds for the operator (quasi-)norm $\| D_λ\,|\, \mathcal{L}\big(\mathcal{E}^s_{u,p,q}(\mathbb{R}^d)\big) \| $. We show that for $s>Ï_p $ the operator (quasi-)norm $\| D_λ\,|\, \mathcal{L}\big(\mathcal{E}^s_{u,p,q}(\mathbb{R}^d)\big) \| $ up to constants behaves as $λ^{s - \frac{d}{u}} $. For the borderline case $ s = Ï_{p} $ we observe a behavior of the form $λ^{Ï_p- \frac{d}{u}}$, multiplied with logarithmic terms of $λ$ that also depend on the fine index $q$. For $s < Ï_{p}$ and $p \geq 1$ we find the relation $\| D_λ\,|\, \mathcal{L}\big(\mathcal{E}^s_{u,p,q}(\mathbb{R}^d)\big) \| \sim λ^{ - \frac{d}{u}}$. The case $s < Ï_{p}$ and $p < 1$ is investigated as well. Our proofs are mainly based on the Fourier analytic approach to Triebel-Lizorkin-Morrey spaces. As byproducts we show an advanced Fourier multiplier theorem for band-limited functions in the context of Morrey spaces and derive some new equivalent (quasi-)norms and characterizations of $\mathcal{E}^{s}_{u,p,q}(\mathbb{R}^d)$.
Keywords: Dilation Operator, Morrey space, Triebel-Lizorkin-Morrey space, Fourier multiplier
論文ID : 2510.11439タイトル : On the boundedness of dilation operators in the context of Triebel-Lizorkin-Morrey spaces著者 : Marc Hovemann (Friedrich-Schiller-Universität Jena), Markus Weimar (Julius-Maximilians-Universität Würzburg)分類 : math.FA (関数解析), cs.NA (数値解析), math.AP (偏微分方程式解析), math.NA (数値解析)発表日 : 2025年10月14日論文リンク : https://arxiv.org/abs/2510.11439 本論文は、拡張作用素 D λ : f ↦ f ( λ ⋅ ) D_\lambda: f \mapsto f(\lambda \cdot) D λ : f ↦ f ( λ ⋅ ) (ただし λ > 1 \lambda > 1 λ > 1 )の Triebel-Lizorkin-Morrey 空間 E u , p , q s ( R d ) E^s_{u,p,q}(\mathbb{R}^d) E u , p , q s ( R d ) における振る舞いを研究している。著者らは作用素(準)ノルム ∥ D λ ∣ L ( E u , p , q s ( R d ) ) ∥ \|D_\lambda \,|\, \mathcal{L}(E^s_{u,p,q}(\mathbb{R}^d))\| ∥ D λ ∣ L ( E u , p , q s ( R d )) ∥ の上界と下界を証明した。主要な結果は以下の通りである:s > σ p s > \sigma_p s > σ p のとき、作用素ノルムは λ s − d u \lambda^{s-\frac{d}{u}} λ s − u d として振る舞う;臨界的な場合 s = σ p s = \sigma_p s = σ p では、λ σ p − d u \lambda^{\sigma_p-\frac{d}{u}} λ σ p − u d に細かい指数 q q q に依存する対数項を乗じた形;s < σ p s < \sigma_p s < σ p かつ p ≥ 1 p \geq 1 p ≥ 1 のとき、∥ D λ ∥ ∼ λ − d u \|D_\lambda\| \sim \lambda^{-\frac{d}{u}} ∥ D λ ∥ ∼ λ − u d の関係が成立する。証明は主に Triebel-Lizorkin-Morrey 空間のフーリエ解析的手法に基づいている。
関数空間理論の発展 :Triebel-Lizorkin 空間 F p , q s ( R d ) F^s_{p,q}(\mathbb{R}^d) F p , q s ( R d ) は古典的な L p L^p L p -Sobolev 空間 H p s ( R d ) H^s_p(\mathbb{R}^d) H p s ( R d ) の一般化であり、関数と分布の正則性を記述する上で重要な役割を果たしている。Morrey 空間の導入 :近年、古典的なルベーグ空間 L p L^p L p ではなく Morrey 空間 M p u M^u_p M p u に基づいて定義された Triebel-Lizorkin-Morrey 空間 E u , p , q s ( R d ) E^s_{u,p,q}(\mathbb{R}^d) E u , p , q s ( R d ) が注目を集めている。拡張作用素の重要性 :拡張作用素は関数空間理論において広く応用されており、特に以下の分野で重要である:偏微分方程式の正則性解析 精密な局所化空間理論 斉次空間理論 理論の完成 :古典的な Triebel-Lizorkin 空間における拡張作用素の有界性は既に研究されているが、Triebel-Lizorkin-Morrey 空間における振る舞いはまだ完全には理解されていない。技術的課題 :異なるパラメータの組み合わせに対する評価の難易度は大きく異なり、特に臨界的な場合 s = σ p s = \sigma_p s = σ p および p < 1 p < 1 p < 1 の場合が困難である。応用上の必要性 :精密な作用素ノルム評価は、関数空間の特性付けにおいて特定の準ノルムの同値性を否定するために使用でき、重要な意義を持つ。完全なノルム評価 :Triebel-Lizorkin-Morrey 空間 E u , p , q s ( R d ) E^s_{u,p,q}(\mathbb{R}^d) E u , p , q s ( R d ) における拡張作用素 D λ D_\lambda D λ に対して、完全な上界と下界の評価を提供した。臨界的な場合の精密な特性付け :特に臨界的な場合 s = σ p s = \sigma_p s = σ p を扱い、対数項を含む精密な評価を与えた。高度なフーリエ乗数定理 :Morrey 空間における帯域制限関数に対する高度なフーリエ乗数定理(定理 2.4)を証明した。新しい同値準ノルム :E u , p , q s ( R d ) E^s_{u,p,q}(\mathbb{R}^d) E u , p , q s ( R d ) の新しい同値準ノルムと特性付けを導出した。古典的結果の一般化 :古典的な Triebel-Lizorkin 空間の結果をより一般的な Morrey 設定に推広した。λ > 0 \lambda > 0 λ > 0 に対して、拡張作用素は以下のように定義される:
D λ : M ( R d ) → M ( R d ) , g ↦ D λ g : = g ( λ ⋅ ) D_\lambda: M(\mathbb{R}^d) \to M(\mathbb{R}^d), \quad g \mapsto D_\lambda g := g(\lambda \cdot) D λ : M ( R d ) → M ( R d ) , g ↦ D λ g := g ( λ ⋅ )
分布の意味では以下のように拡張される:
( D λ f ) ( ϕ ) : = λ − d f ( D λ − 1 ϕ ) , f ∈ Y ′ ( R d ) , ϕ ∈ Y ( R d ) (D_\lambda f)(\phi) := \lambda^{-d} f(D_{\lambda^{-1}}\phi), \quad f \in Y'(\mathbb{R}^d), \phi \in Y(\mathbb{R}^d) ( D λ f ) ( ϕ ) := λ − d f ( D λ − 1 ϕ ) , f ∈ Y ′ ( R d ) , ϕ ∈ Y ( R d )
s ∈ R s \in \mathbb{R} s ∈ R , 0 < p ≤ u < ∞ 0 < p \leq u < \infty 0 < p ≤ u < ∞ , 0 < q ≤ ∞ 0 < q \leq \infty 0 < q ≤ ∞ に対して、空間 E u , p , q s ( R d ) E^s_{u,p,q}(\mathbb{R}^d) E u , p , q s ( R d ) は以下の条件を満たす f ∈ S ′ ( R d ) f \in S'(\mathbb{R}^d) f ∈ S ′ ( R d ) から構成される:
∥ f ∥ E u , p , q s ( R d ) : = ∥ ( ∑ k = 0 ∞ 2 k s q ∣ ( F − 1 [ ϕ k F f ] ) ( ⋅ ) ∣ q ) 1 / q ∥ M p u ( R d ) < ∞ \|f\|_{E^s_{u,p,q}(\mathbb{R}^d)} := \left\|\left(\sum_{k=0}^{\infty} 2^{ksq} |(\mathcal{F}^{-1}[\phi_k \mathcal{F}f])(\cdot)|^q\right)^{1/q}\right\|_{M^u_p(\mathbb{R}^d)} < \infty ∥ f ∥ E u , p , q s ( R d ) := ( ∑ k = 0 ∞ 2 k s q ∣ ( F − 1 [ ϕ k F f ]) ( ⋅ ) ∣ q ) 1/ q M p u ( R d ) < ∞
ここで ( ϕ k ) k ∈ N 0 (\phi_k)_{k \in \mathbb{N}_0} ( ϕ k ) k ∈ N 0 は滑らかな二進分解の単位元である。
D 2 j f D_{2^j}f D 2 j f を三つの部分に分解する:
D 2 j f = U 1 + U 2 + U 3 D_{2^j}f = U_1 + U_2 + U_3 D 2 j f = U 1 + U 2 + U 3
ここで:
U 1 U_1 U 1 :低周波部分U 2 U_2 U 2 :中周波部分(k = 1 , … , j k = 1, \ldots, j k = 1 , … , j )U 3 U_3 U 3 :高周波部分(k ≥ j + 1 k \geq j+1 k ≥ j + 1 )定理 2.4 :0 < p ≤ u < ∞ 0 < p \leq u < \infty 0 < p ≤ u < ∞ , m , ℓ > 0 m, \ell > 0 m , ℓ > 0 とする。すべての M ∈ S ( R d ) M \in S(\mathbb{R}^d) M ∈ S ( R d ) で supp M ⊆ B ( 0 , m ) \text{supp } M \subseteq B(0,m) supp M ⊆ B ( 0 , m ) を満たし、f ∈ M p u ( R d ) f \in M^u_p(\mathbb{R}^d) f ∈ M p u ( R d ) で supp ( F f ) ⊆ B ( 0 , ℓ ) \text{supp}(\mathcal{F}f) \subseteq B(0,\ell) supp ( F f ) ⊆ B ( 0 , ℓ ) を満たすものに対して、以下が成立する:
∥ F − 1 [ M F f ] ∥ M p u ( R d ) ≲ ( m + ℓ ) σ p ∥ F − 1 M ∥ L min { 1 , p } ( R d ) ∥ f ∥ M p u ( R d ) \|\mathcal{F}^{-1}[M \mathcal{F}f]\|_{M^u_p(\mathbb{R}^d)} \lesssim (m+\ell)^{\sigma_p} \|\mathcal{F}^{-1}M\|_{L^{\min\{1,p\}}(\mathbb{R}^d)} \|f\|_{M^u_p(\mathbb{R}^d)} ∥ F − 1 [ M F f ] ∥ M p u ( R d ) ≲ ( m + ℓ ) σ p ∥ F − 1 M ∥ L m i n { 1 , p } ( R d ) ∥ f ∥ M p u ( R d )
Yuan, Sickel, Yang の二進環形準則を利用して関数を構成し評価する。
0 < p ≤ u < ∞ 0 < p \leq u < \infty 0 < p ≤ u < ∞ , 0 < q ≤ ∞ 0 < q \leq \infty 0 < q ≤ ∞ , s ∈ R s \in \mathbb{R} s ∈ R とする。
(1)小さな拡張の場合 :1 2 < λ < 2 \frac{1}{2} < \lambda < 2 2 1 < λ < 2 に対して、
∥ D λ ∣ L ( E u , p , q s ( R d ) ) ∥ ∼ 1 \|D_\lambda \,|\, \mathcal{L}(E^s_{u,p,q}(\mathbb{R}^d))\| \sim 1 ∥ D λ ∣ L ( E u , p , q s ( R d )) ∥ ∼ 1
(2)大きな拡張の場合 :λ ≥ 2 \lambda \geq 2 λ ≥ 2 に対して:
(i) s > σ p s > \sigma_p s > σ p のとき:
∥ D λ ∣ L ( E u , p , q s ( R d ) ) ∥ ∼ λ s − d u \|D_\lambda \,|\, \mathcal{L}(E^s_{u,p,q}(\mathbb{R}^d))\| \sim \lambda^{s-\frac{d}{u}} ∥ D λ ∣ L ( E u , p , q s ( R d )) ∥ ∼ λ s − u d
(ii) s = σ p s = \sigma_p s = σ p のとき:
p > 1 p > 1 p > 1 の場合:∥ D λ ∥ ∼ λ σ p − d u ( log 2 λ ) max { 0 , 1 q − 1 2 } \|D_\lambda\| \sim \lambda^{\sigma_p-\frac{d}{u}} (\log_2 \lambda)^{\max\{0, \frac{1}{q}-\frac{1}{2}\}} ∥ D λ ∥ ∼ λ σ p − u d ( log 2 λ ) m a x { 0 , q 1 − 2 1 } p = 1 p = 1 p = 1 の場合:上界と下界が存在し、( log 2 λ ) max { 1 p , 1 q } (\log_2 \lambda)^{\max\{\frac{1}{p}, \frac{1}{q}\}} ( log 2 λ ) m a x { p 1 , q 1 } を含むp < 1 p < 1 p < 1 の場合:同様の対数項評価(iii) s < σ p s < \sigma_p s < σ p のとき:
p ≥ 1 p \geq 1 p ≥ 1 の場合:∥ D λ ∥ ∼ λ σ p − d u \|D_\lambda\| \sim \lambda^{\sigma_p-\frac{d}{u}} ∥ D λ ∥ ∼ λ σ p − u d p < 1 p < 1 p < 1 の場合:より複雑な評価で、λ max { s , σ u } − d u \lambda^{\max\{s,\sigma_u\}-\frac{d}{u}} λ m a x { s , σ u } − u d を含む特例として、u = p u = p u = p のとき古典的な Triebel-Lizorkin 空間 F p , q s ( R d ) = E p , p , q s ( R d ) F^s_{p,q}(\mathbb{R}^d) = E^s_{p,p,q}(\mathbb{R}^d) F p , q s ( R d ) = E p , p , q s ( R d ) の結果が得られる。
すべてのパラメータの場合を統一的な枠組みで処理 任意の λ > 1 \lambda > 1 λ > 1 (λ = 2 j \lambda = 2^j λ = 2 j だけでなく)に対する評価を提供 臨界的な場合 s = σ p s = \sigma_p s = σ p において q q q に依存する精密な対数項を与える p > 1 p > 1 p > 1 , p = 1 p = 1 p = 1 , p < 1 p < 1 p < 1 の異なる場合を区別定理 2.4 は高階 Bessel ポテンシャルノルムを避け、より良い評価を与える L p ( R d ) L^p(\mathbb{R}^d) L p ( R d ) から Morrey 空間への古典的結果を拡張巧妙なテスト関数の構成により鋭い下界を与える 局所平均特性付けと Gagliardo-Nirenberg 不等式を使用 二進的な場合への約化 :命題 3.1 を利用して一般的な λ \lambda λ を λ = 2 j \lambda = 2^j λ = 2 j に約化三部分分解 :D 2 j f D_{2^j}f D 2 j f を U 1 + U 2 + U 3 U_1 + U_2 + U_3 U 1 + U 2 + U 3 に分解個別評価 :
U 1 U_1 U 1 :フーリエ乗数定理を使用U 2 U_2 U 2 :異なるパラメータ場合を区別し、Littlewood-Paley 理論を使用U 3 U_3 U 3 :直接評価基本的な下界 :特殊な関数 η m \eta_m η m と係数 c m c_m c m を構成改良された下界 :p ≤ 1 p \leq 1 p ≤ 1 および s ≤ σ p s \leq \sigma_p s ≤ σ p の場合に対して、局所平均特性付けと補間を使用定理 4.3 :E u , p , q s ( R d ) E^s_{u,p,q}(\mathbb{R}^d) E u , p , q s ( R d ) の新しい特性付けを与える:
∥ f ∥ E u , p , q s ( R d ) ∼ ∥ F − 1 [ ϕ 0 F f ] ∥ M p u ( R d ) + ∣ f ∣ K \|f\|_{E^s_{u,p,q}(\mathbb{R}^d)} \sim \|\mathcal{F}^{-1}[\phi_0 \mathcal{F}f]\|_{M^u_p(\mathbb{R}^d)} + |f|_K ∥ f ∥ E u , p , q s ( R d ) ∼ ∥ F − 1 [ ϕ 0 F f ] ∥ M p u ( R d ) + ∣ f ∣ K
定理 4.5 :s > p u σ p s > \frac{p}{u}\sigma_p s > u p σ p のとき:
∥ f ∥ E u , p , q s ( R d ) ∼ ∥ f ∥ M p u ( R d ) + ∣ f ∣ K \|f\|_{E^s_{u,p,q}(\mathbb{R}^d)} \sim \|f\|_{M^u_p(\mathbb{R}^d)} + |f|_K ∥ f ∥ E u , p , q s ( R d ) ∼ ∥ f ∥ M p u ( R d ) + ∣ f ∣ K
Bessel ポテンシャル空間 :古典的結果 ∥ D λ ∥ H p s ∼ λ max { s , 0 } − d p \|D_\lambda\|_{H^s_p} \sim \lambda^{\max\{s,0\}-\frac{d}{p}} ∥ D λ ∥ H p s ∼ λ m a x { s , 0 } − p d Besov 空間 :Triebel, Edmunds-Triebel の結果Triebel-Lizorkin 空間 :Schneider-Vyb́ıral の部分的な結果完全性 :すべてのパラメータ場合に対する完全な評価を提供精密性 :特に臨界的な場合の精密な対数項一般性 :古典的空間から Morrey 設定への一般化Triebel-Lizorkin-Morrey 空間における拡張作用素の有界性を完全に特性付けた パラメータ s s s , u u u , p p p , q q q が作用素ノルムに与える精密な影響を明らかにした 臨界的な場合に対数項を含む精密な評価を与えた s < σ p s < \sigma_p s < σ p かつ p < 1 p < 1 p < 1 の場合、下界にはさらなる改善の余地がある可能性がある特定の関数構成に依存する証明があり、より直接的な方法が存在する可能性がある 他の関数空間への一般化 より一般的な作用素クラスの研究 偏微分方程式の正則性理論への応用 理論的完全性 :この問題に対する完全な解決策を提供している技術的革新 :フーリエ乗数定理の改良は独立した価値を持つ証明の厳密性 :上界と下界の評価は精密であり、特に臨界的な場合が優れている実用的価値 :結果は関数空間の特性付けと応用に使用できる複雑性 :異なるパラメータ場合の処理が複雑であり、可読性に影響する可能性がある技術的性質 :高度に技術的な内容は応用範囲を制限する可能性がある部分的な改善余地 :特定の場合の評価はさらに鋭い可能性がある学術的価値 :関数空間理論に重要なツールを提供する応用の見通し :偏微分方程式と調和解析における潜在的な応用方法論的貢献 :証明技術は関連する問題に参考になる関数空間理論の研究 偏微分方程式の正則性解析 調和解析における作用素理論 数値解析における関数近似理論 論文は33篇の参考文献を含み、関数空間理論の古典的および現代的文献、特に Triebel の一連の専著と近年の Morrey 空間に関する重要な研究をカバーしている。
本論文は関数空間理論における重要な貢献であり、Triebel-Lizorkin-Morrey 空間における拡張作用素の有界性問題に対して完全かつ精密な解答を提供しており、高い理論的価値と技術的内容を有している。