[論文レビュー] Some new iterated hardy-type inequalities: The case $ heta = 1$

Амиран Гогатишвили, Rza Mustafayev+1 more|arXiv (Cornell University)|Feb 14, 2013

Advanced Harmonic Analysis Research参考文献 16被引用数 5

ひとこと要約

本稿は、θ = 1 における反復ハーディー型不等式について、離散化および反離散化技術を用いて新しい特徴付けを確立する。これにより、単調関数上でのハーディー型作用素および一般化されたスティルチェス変換の有界性に関する鋭い条件が導かれる。主な貢献は、三つの重みを含む重み付きノルムを伴う不等式の完全かつ明示的な特徴付けであり、従来の結果を一般の p ∈ (0, ∞) および q ∈ (0, ∞] にまで拡張したものである。

ABSTRACT

In this paper we characterize the validity of the Hardy-type inequality &#8741 &#8741 &#8747 <sub>s</sub>&#8734) h(z)dz &#8741 p,u,(0,t) &#8741 q,w,(=,&#8734≤ c&#8741h&#8741 1,v(0,&#8734) where 0 < p < ∞,0< q ≤ +∞, u, w and v are weight functions on (0,∞). It is pointed out that this characterization can be used to obtain new characterizations for the boundedness between weighted Lebesgue spaces for Hardy-type operators restricted to the cone of monotone functions and for the generalized Stieltjes operator.

研究の動機と目的

• 一般の p ∈ (0, ∞) および q ∈ (0, ∞] に対して、θ = 1 である反復ハーディー型不等式の有界性を、三つの重み u, v, w を用いて特徴づける。
• 単調減少関数のコーンに制限されたハーディー型作用素の有界性に関する新しい特徴付けを提供する。
• 重み付きルベーグ空間間での一般化されたスティルチェス変換の有界性に関する必要十分条件を確立する。
• 文献における既存の結果を、端点ケースを含む p と q の全域にわたって拡張する。
• 還元定理を構築し、一般化されたスティルチェス作用素を反復ハーディー不等式の枠組みに結びつける。

提案手法

• 先行研究で開発された離散化および反離散化手法を適用し、連続的な不等式を離散的な数列不等式に変換する。
• 一般の重み関数および測度論的構造を扱うために、ルベーグ＝スティルチェス積分および部分積分公式を用いる。
• U(t) = ∫₀ᵗ u(s)ds および V(t) = ∫₀ᵗ v(s)ds といった主要な関数を定義し、重み付きノルムおよび作用素の作用を表現する。
• U(s) の本質的上界と w(τ)/U(τ) の本質的上界を組み合わせた補助関数 ϕ(t) := ess supₛ∈(0,t) U(s) ess supτ∈(s,∞) w(τ)/U(τ) を導入し、本質的上界の挙動を捉える。
• 還元定理（定理 5.5）を用いて、一般化されたスティルチェス変換とハーディー型作用素との同値性を確立する。
• 準ノルム空間および重み付きルベーグ空間の理論を用いて、有界性の鋭い同値条件を導出する。

実験結果

リサーチクエスチョン

• RQ1 一般の p ∈ (0, ∞) および q ∈ (0, ∞] に対して、θ = 1 である反復ハーディー型不等式が有界となる条件は何か？
• RQ2 単調減少関数のコーン上でのハーディー型作用素の有界性は、重み条件をどのように特徴づけられるか？
• RQ3 重み付き Lp と Lq 空間間での一般化されたスティルチェス変換の有界性に関する必要十分条件は何か？
• RQ4 関数変換を用いて、一般化されたスティルチェス変換をどのようにハーディー型不等式に還元できるか？
• RQ5 補助関数 U(t), V(t), ϕ(t) は、鋭い定数の特徴付けにおいて果たす役割は何か？

主な発見

• 不等式 ∥∫ₜ^∞ h(z)dz∥_{p,u,(0,t)}^{q,w,(0,∞)} ≤ c∥h∥_{1,v,(0,∞)} が成り立つのは、0 < p ≤ 1 のとき、かつそのときに限り、定数 C5 := supₓ∈(0,∞) [ess supₛ∈(0,∞) w(s)U(x,s)] U(x)⁻¹ supₜ∈(0,x) U(t)V(t)⁻¹/p が有限であるときである。
• 1 < p < ∞ のとき、不等式が成り立つのは、かつそのときに限り、C6 := supₓ∈(0,∞) [ess supₛ∈(0,∞) w(s)U(x,s)] × [∫₀^∞ U(t,x)^p′ v(t)/V(t)^p′ dt]^{1/p′} が有限であるときである。
• 一般化されたスティルチェス変換 S(h)(x) = ∫₀^∞ h(t)dt/(U(x)+U(t)) が Lp(v) から Lq(w) に有界であるのは、p と q の範囲に応じて、S1, S2, S3, S4, または S5 が有限であるとき、かつそのときに限り成り立つ。
• 一般化されたスティルチェス不等式における最良の定数 c は、それぞれのケースに応じて c ≈ S1, S2, S3, S4, または S5 と近似される。
• 明示的な還元定理（定理 5.5）により、スティルチェス不等式が関数 Hu(∫ₜ^∞ h) を含むハーディー型不等式と同値であることが示される。
• U に関して非退化であることが必要不可欠である。