[論文レビュー] Generalized Hilbert Operator Acting on Bloch Type Spaces

Shanli Ye, Zhihui Zhou|arXiv (Cornell University)|Jul 22, 2022

Holomorphic and Operator Theory被引用数 4

ひとこと要約

この論文は、一般化されたヒルベルト作用素 H_{μ,α} がブロッハ型空間 B_β から B_{α−1} への有界性またはコンパクト性を満たすような [0,1) 上の正のボレル測度 μ を特徴づけ、α と β に依存する鋭いカーレソン測度条件を確立する。α ≥ 2 の場合、有界性とコンパクト性は、0 < β < 1 のとき μ が 2-カーレソン測度であること、1 < β < ∞ のとき μ が (β+1)-カーレソン測度であること、β = 1 のとき μ が 1-対数的 2-カーレソン測度（またはその消失版）であることと同値である。

ABSTRACT

Let $μ$ be a positive Borel measure on the interval [0,1). For $α&gt;0$, the Hankel matrix $\mathcal{H}_{μ,α}=(μ_{n,k,α})_{n,k\geq 0}$ with entries $μ_{n,k,α}=\int_{[0,1)}\frac{Γ(n+α)}{n!Γ(α)}t^{n+k}dμ(t)$ formally induces the operator $$\mathcal{H}_{μ,α}(f)(z)=\sum_{n=0}^{\infty}\left(\sum_{k=0}^{\infty} μ_{n, k,α} a_{k} ight)z^{n} $$ on the space of all analytic functions $f(z)=\sum_{k=0}^{\infty}a_{k}z^{k}$ in the unit disc $\mathbb{D}$. In this paper, we characterize the measures $μ$ for which $\mathcal{H}_{μ,α}$ ($α\geq 2$) is a bounded (resp., compact) operator from the Bloch type space $\mathscr{B}_β$ ($0&lt;β&lt;\infty$) into $\mathscr{B}_{α-1}$. We also give a necessary condition for which $\mathcal{H}_{μ,α}$ is a bounded operator by acting on Bloch type spaces for general cases.

研究の動機と目的

• ブロッハ型空間 B_β から B_{α−1} への一般化されたヒルベルト作用素 H_{μ,α} が有界またはコンパクトであるような [0,1) 上の正のボレル測度 μ を特徴づけること。
• α ≥ 2 の場合に、H_{μ,α} の有界性とコンパクト性を決定する鋭い測度論的条件（カーレソン型）を確立すること。
• 古典的および導関数付きヒルベルト作用素に関する既知の結果を、パラメータ α > 0 の一般化された場合に拡張すること。
• 一般の α > 0 に対して、H_{μ,α} が B_β に作用するときの有界性に対する必要条件を提示すること、特に 0 < α ≤ 1 の場合に注目すること。

提案手法

• 一般化されたヒルベルト作用素 H_{μ,α} は、Hankel 行列を介して定義され、その成分は μ_{n,k,α} = ∫_{[0,1)} Γ(n+α)/(n!Γ(α)) t^{n+k} dμ(t) で与えられ、単位円板内における正則関数のテイラー係数に作用する。
• 作用素は積分表現 H_{μ,α}(f)(z) = ∫_{[0,1)} f(t)/(1−tz)^α dμ(t) を通じて解析され、一般化された積分-ヒルベルト作用素 I_{μ,α} と関連づけられる。
• テスト関数として f(z) = 1 および f_λ(z) = (1−λz)^{-β} を用い、ブロッハ空間および Q_p 空間におけるノルム推定を通じて、μ に対する必要条件を導出する。
• カーレソン測度および対数的カーレソン測度理論が適用され、測度の減衰を μ([λ,1)) を用いて評価し、(1−λ)^s または (1−λ)^s (log(2π/|I|))^α と関連付けることが中心的なアイデアである。
• Stirling の公式を用いた漸近解析により、Γ(n+α)/(n!Γ(α)) ∼ n^{α−1} (n → ∞) を推定する。
• Bergman 空間および Hardy 空間理論の技法が適応され、特にブロッハ空間および Q_p 空間の積分不等式と埋め込み定理が用いられる。

実験結果

リサーチクエスチョン

• RQ1 α ≥ 2 の場合、H_{μ,α} が B_β から B_{α−1} への有界作用素であるための μ に対する測度的条件は何か？
• RQ2 α ≥ 2 の場合、H_{μ,α} が B_β から B_{α−1} へのコンパクト作用素であるための μ に対する測度的条件は何か？
• RQ3 0 < α ≤ 1 および 0 < β < 1 の場合、H_{μ,α} が B_β から Q_p または BMOA への有界作用素であるならば、μ に課される必要条件は何か？
• RQ4 β と α の異なる範囲において、有界性の必要条件はどのように異なり、カーレソン測度の強さとどのように関係するか？
• RQ5 H_{μ,α} の作用素ノルムと μ のカーレソン測度または対数的カーレソン測度ノルムとの正確な関係は何か？

主な発見

• α ≥ 2 および 0 < β < 1 の場合、H_{μ,α} が B_β から B_{α−1} への有界作用素（それぞれコンパクト作用素）であるための必要十分条件は、μ が 2-カーレソン測度（それぞれ消失 2-カーレソン測度）であることである。
• α ≥ 2 および β = 1 の場合、H_{μ,α} が B から B_{α−1} への有界作用素（それぞれコンパクト作用素）であるための必要十分条件は、μ が 1-対数的 2-カーレソン測度（それぞれ消失 1-対数的 2-カーレソン測度）であることである。
• α ≥ 2 および 1 < β < ∞ の場合、H_{μ,α} が B_β から B_{α−1} への有界作用素（それぞれコンパクト作用素）であるための必要十分条件は、μ が (β+1)-カーレソン測度（それぞれ消失 (β+1)-カーレソン測度）であることである。
• 0 < α ≤ 1 および 0 < β < 1 の場合、H_{μ,α} が B_β から Q_p への有界作用素であるならば、μ は α-カーレソン測度でなければならない。これは必要条件を示している。
• 0 < α ≤ 1 および 0 < β < 1 の場合、H_{μ,α} が B_β から BMOA またはブロッハ空間 B への有界作用素であるならば、μ は α-カーレソン測度でなければならない。
• これらの結果は、μ に要請されるカーレソン条件の強さが β とともに増大し、α に強く依存することを示しており、有界性とコンパクト性の同値性が成立するための閾値 α ≥ 2 が本質的であることを示している。