[论文解读] 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 时的迭代 Hardy 型不等式建立了新的刻画，推导出 Hardy 型算子在单调函数上以及广义 Stieltjes 变换在有界性方面的精确条件。主要贡献在于对包含三个权函数的加权范数不等式给出了完整且显式的刻画，将先前结果推广至一般 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, ∞] 以及三个权函数 u, v, w，刻画 θ = 1 时迭代 Hardy 型不等式的有界性。
• 为限制在非增函数锥上的 Hardy 型算子的有界性提供新刻画。
• 建立广义 Stieltjes 变换在加权 Lebesgue 空间之间有界性的必要与充分条件。
• 通过覆盖 p 与 q 的完整范围（包括端点情况）扩展文献中已有的结果。
• 发展并应用约化定理，将广义 Stieltjes 算子与迭代 Hardy 不等式框架联系起来。

提出的方法

• 应用先前工作中发展的离散化与反离散化方法，将连续不等式转化为离散序列不等式。
• 利用 Lebesgue-Stieltjes 积分与分部积分公式，处理一般权函数及测度论结构。
• 定义关键泛函如 U(t) = ∫₀ᵗ u(s)ds 和 V(t) = ∫₀ᵗ v(s)ds，以表达加权范数与算子作用。
• 引入辅助函数 ϕ(t) := ess supₛ∈(0,t) U(s) ess supτ∈(s,∞) w(τ)/U(τ)，以捕捉本质上确界的性质。
• 通过约化定理（定理 5.5）建立广义 Stieltjes 变换与 Hardy 型算子之间的等价性。
• 利用拟范空间与加权 Lebesgue 空间理论，推导出有界性的精确等价条件。

实验结果

研究问题

• RQ1 在何种条件下，θ = 1 时的迭代 Hardy 型不等式对一般 p ∈ (0, ∞) 和 q ∈ (0, ∞] 有界？
• RQ2 如何通过权条件刻画 Hardy 型算子在单调递减函数锥上的有界性？
• RQ3 广义 Stieltjes 变换在加权 Lp 与 Lq 空间之间有界的必要与充分条件是什么？
• RQ4 如何通过函数变换将广义 Stieltjes 变换约化为 Hardy 型不等式？
• RQ5 辅助函数 U(t)、V(t) 与 ϕ(t) 在刻画最佳常数时起什么作用？

主要发现

• 不等式 ∥∫ₜ^∞ h(z)dz∥_{p,u,(0,t)}^{q,w,(0,∞)} ≤ c∥h∥_{1,v,(0,∞)} 成立当且仅当常数 C5 := supₓ∈(0,∞) [ess supₛ∈(0,∞) w(s)U(x,s)] U(x)⁻¹ supₜ∈(0,x) U(t)V(t)⁻¹/p 有限，当 0 < p ≤ 1 时。
• 当 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′} < ∞。
• 对于广义 Stieltjes 变换 S(h)(x) = ∫₀^∞ h(t)dt/(U(x)+U(t))，从 Lp(v) 到 Lq(w) 的有界性成立当且仅当 S1、S2、S3、S4 或 S5 有限，具体取决于 p 与 q 的范围。
• 广义 Stieltjes 不等式中最佳常数 c 满足 c ≈ S1、S2、S3、S4 或 S5，具体取决于情形。
• 一个显式的约化定理（定理 5.5）表明，Stieltjes 不等式等价于涉及函数 Hu(∫ₜ^∞ h) 的 Hardy 型不等式。
• 通过 U(s) 与 w(τ)/U(τ) 的本质上确界定义的函数 ϕ(t) 必须相对于 U 非退化，刻画才成立。