1925 年, Hardy 在文献[1]中得到了推广的具有最佳常数因子的 Hilbert 离散不等式: 若 $\frac{1}{p}+\frac{1}{q}=1\,(p>1)$, 则

其中 $\tilde{a}=\{a_{m}\}\in l_{p}$, $\tilde{b}=\{b_{n}\}\in l_{q}$. 当 $p=q=2$ 时, (1) 式为经典的 Hilbert 不等式^[2]. 由式 (1) 可导出具有相同核$\frac{1}{m+n}$ 的离散算子

是 $l_{p}$ 中的有界算子, 且 $T$ 的算子范数 $\|T\|=\frac{\pi}{\sin(\pi/p)}$.

讨论算子的有界性及算子范数是调和分析等分析类学科的一个基本问题, 为了进一步讨论离散算子, 人们先后研究了齐次核、拟齐次核和若干非齐次核的情形, 并将 $l_{p}$ 作了带权推广: 若 $p>1$, $\alpha\in \mathbb{R}$, 称

为加权赋范序列空间, 目前关于离散算子及与之相关的 Hilbert 型离散不等式的研究已取得了丰硕的成果^{[3⇓⇓⇓⇓⇓⇓⇓⇓⇓⇓⇓⇓⇓-17]}.

本文将在已获得的众多成果的基础上, 引入更宽更广的超齐次函数概念, 在加权赋范序列空间中, 探讨具有超齐次核的有界离散算子的构建条件及算子范数的估计, 得到此类算子有界的判别方法及算子范数的估计式, 并在一定的条件下得到算子范数的精确计算公式.

设实参数 $\sigma_{1},\sigma_{2},\tau_{1},\tau_{2}$ 及二元实函数 $K(u,v)$ 满足: 对任意 $t>0$, 有

则称 $K(u,v)$ 是具有参数 $\{\sigma_{1},\sigma_{2},\tau_{1},\tau_{2}\}$ 的超齐次函数.

显然超齐次函数具有性质

若 $K(u,v)$ 是 $\lambda$ 阶齐次函数, 则 $K(u,v)$ 是具有参数 $\{\lambda,\lambda,-1,-1\}$ 的超齐次函数, $K_{1}(u,v)=K(u^{\lambda_{1}},v^{\lambda_{2}})$ 是具有参数 $\{\lambda\lambda_{1},\lambda\lambda_{2}, -\frac{\lambda_{1}}{\lambda_{2}},-\frac{\lambda_{2}}{\lambda_{1}}\}$ 的超齐次函数; 若 $G(u)$ 是一元实函数, 则 $K_{2}(u,v)=G(u^{\lambda_{1}}v^{\lambda_{2}})$ 是具有参数$\{0,0,\frac{\lambda_{1}}{\lambda_{2}},\frac{\lambda_{2}}{\lambda_{1}}\}$ 的超齐次函数, $K_{3}(u,v)=G(u^{\lambda_{1}}/v^{\lambda_{2}})$ 是具有参数$\{0,0,-\frac{\lambda_{1}}{\lambda_{2}},-\frac{\lambda_{2}}{\lambda_{1}}\}$ 的超齐次函数. 可见超齐次函数是齐次函数的推广, 它包含了许多常用基本算子的核函数.

根据超齐次函数的定义, 有

由此可知, 一般而言, 超齐次函数的参数应满足条件: $\tau_{1}\tau_{2}=1$, $\sigma_{1}+\tau_{1}\sigma_{2}=0$.

本文中记

引理 2.1 当且仅当 $\tau_{1}\tau_{2}=1$, $\sigma_{1}+\tau_{1}\sigma_{2}=0$ 时, $\tau_{1}\frac{\beta+1}{q}-\frac{\alpha+1}{p}=\tau_{1}-\sigma_{1}-1$ 与 $\tau_{2}\frac{\alpha+1}{p}-\frac{\beta+1}{q}=\tau_{2}-\sigma_{2}-1$ 等价.

证 记 $\frac{\beta+1}{q}=x_{1}$, $\frac{\alpha+1}{p}=x_{2}$, 则问题化为线性方程组

有无穷多解, 即 $\frac{\tau_{1}}{-1}=\frac{-1}{\tau_{2}}=\frac{\tau_{1}-\sigma_{1}-1}{\tau_{2}-\sigma_{2}-1}$, 而此式等价于 $\tau_{1}\tau_{2}=1$, $\sigma_{1}+\tau_{1}\sigma_{2}=0$, 故引理 2.1 成立.

引理 2.2 设 $\tau_{1}\tau_{2}=1$, $\sigma_{1}+\tau_{1}\sigma_{2}=0$, $\tau_{1}\frac{\beta+1}{q}-\frac{\alpha+1}{p}=\tau_{1}-\sigma_{1}-1$, $K(u,v)$ 是具有参数 $\{\sigma_{1},\sigma_{2},\tau_{1}$, $\tau_{2}\}$ 的超齐次函数, 则 $W_{1}(-\frac{\beta+1}{q})=\frac{1}{|\tau_{2}|}W_{2}(-\frac{\alpha+1}{p})$.

证 根据已知条件和引理 2.1, 有 $\tau_{2}\frac{\alpha+1}{p}-\frac{\beta+1}{q}=\tau_{2}-\sigma_{2}-1$, 于是

证毕.

引理 2.3 设 $K(u,v)$ 是具有参数 $\{\sigma_{1},\sigma_{2},\tau_{1}$, $\tau_{2}\}$ 的超齐次函数, $c_{1},c_{2}\in \mathbb{R}$, $K(1,t)t^{-c_{1}}$ 及 $K(t,1)t^{-c_{2}}$ 在 $(0,+\infty)$ 上递减, 则

证 因为 $K(1,t)t^{-c_{1}}$ 在 $(0,+\infty)$ 上递减, 故有

类似地, 由 $K(t,1)t^{-c_{2}}$ 在 $(0,+\infty)$ 上递减, 可得 $\bar{\omega}_{2}(n,c_{2}) \leq n^{\sigma_{2}+\tau_{2}(c_{2}-1)}W_{2}(-c_{2})$.

定理 3.1 设 $\frac{1}{p}+\frac{1}{q}=1\,(p>1)$, $\alpha,\beta\in\mathbb{R}$, $K(u,v)\geq0$ 是具有参数 $\{\sigma_{1},\sigma_{2},\tau_{1},\tau_{2}\}$ 的超齐次可测函数, $K(1,t)$ 及 $K(t,1)$ 几乎处处大于0, $\tau_{1}\tau_{2}=1$, $\sigma_{1}+\tau_{1}\sigma_{2}=0$, $\tau_{1}\frac{\beta+1}{q}-\frac{\alpha+1}{p}-(\tau_{1}-\sigma_{1}-1)=c$, $K(t,1)t^{-\frac{\alpha+1}{p}},K(1,t)t^{-\frac{\beta+1}{q}},K(t,1)t^{-\frac{\alpha+1}{p}-c}$ 及 $K(1,t)t^{-\frac{\beta+1}{q}+\tau_{2}c}$ 都在 $(0,+\infty)$ 上递减, $0<W_{2}(-\frac{\alpha+1}{p})<+\infty$, $0<W_{2}(-\frac{\alpha+1}{p}-c)<+\infty$, $\tilde{a}=\{a_{m}\}\in l_{p}^{\alpha}$, $\tilde{b}=\{b_{n}\}\in l_{q}^{\beta}$. 那么

(i) 若 $\tau_{1}>0$, 则不论 $c$ 为何值, 都存在常数 $M_{1}>0$, 使得

(ii) 若 $\tau_{1}<0$, 则当且仅当 $c\leq 0$, 即 $\tau_{1}\frac{\beta+1}{q}-\frac{\alpha+1}{p}\leq \tau_{1}-\sigma_{1}-1$ 时, 存在常数 $M_{2}>0$, 使得

且当 $\tau_{1}\frac{\beta+1}{q}-\frac{\alpha+1}{p}=\tau_{1}-\sigma_{1}-1$ 时, (3.2) 式的最佳常数因子为

证 (i) 若 $\tau_{1}>0$, 则 $\tau_{2}>0$. 当 $c\leq 0$ 时, 由$\tau_{1}\frac{\beta+1}{q}-\frac{\alpha+1}{p}-(\tau_{1}-\sigma_{1}-1)=c$, 可得

根据 Hölder 不等式、引理 2.3 和引理 2.2, 并注意 $pc\leq 0$, 有

此时, 取常数 $M_{1}\geq (\frac{1}{|\tau_{2}|})^{\frac{1}{p}}W_{2}(-\frac{\alpha+1}{q}-c)$, 可得 (3.1) 式.

当 $c>0$ 时, 由 $\tau_{1}\frac{\beta+1}{q}-\frac{\alpha+1}{p}-(\tau_{1}-\sigma_{1}-1)=c$, $\tau_{1}\tau_{2}=1$, 可得

同样地, 根据 Hölder 不等式、引理 2.3 和引理 2.2, 并注意 $\tau_{2}qc>0$, 有

此时, 取常数 $M_{1}\geq (\frac{1}{|\tau_{2}|})^{\frac{1}{p}}W_{2}(-\frac{\alpha+1}{q})$, 可得 (3.1) 式.

(ii) 充分性: 若 $\tau_{1}<0$, 则 $\tau_{2}<0$. 设 $c\leq0$, 利用与 (i) 类似的证明方法, 可得

取常数 $M_{2}\geq (\frac{1}{|\tau_{2}|})^{\frac{1}{p}}W_{2}(-\frac{\alpha+1}{q}-c)$, 可得 (3.2) 式.

必要性: 设 (3.2) 式成立. 若 $c>0$, 取

因为 $c>0$, $\frac{c}{\tau_{1}}<0$, 故

因为 $K(1,t)t^{-\frac{\beta+1}{p}}$ 在 $(0,+\infty)$ 上递减, $\tau_{1}<0$, 故有

于是得到

但 $\sum\limits_{m=2}^{\infty}m^{-1}=+\infty$, $K(1,t)$ 几乎处处大于 $0$, 这就得到了矛盾, 故 $c>0$ 不成立, 从而 $c\leq0$.

当 $\tau_{1}\frac{\beta+1}{q}-\frac{\alpha+1}{p}=\tau_{1}-\sigma_{1}-1$ 时, $c=0$. 设 (3.2) 式的最佳常数因子为$M_{0}>0$, 则 $\bar{A}(K,\tilde{a},\tilde{b})\leq M_{0}\|\tilde{a}\|_{p,\alpha}\|\tilde{b}\|_{q,\beta}$, 且由前面充分性的证明, 可知

取充分小的 $\varepsilon>0$ 及足够大的自然数 $N$, 令

则

于是得到

从而

不失科学性, 视 $\varepsilon$ 为一个趋于 $0$ 的正项数列 $\{c_{k}\}$, 根据著名的 Fatou 引理, 有

据此, 在式 (3.3) 中令 $\varepsilon\rightarrow0^{+}$, 有

再令 $N\rightarrow+\infty$, 并注意 $\tau_{1}<0$, 得到

于是有 $M_{0}=(\frac{1}{|\tau_{1}|})^{\frac{1}{q}}W_{1}(-\frac{\beta+1}{q})$. 所以式 (3.2) 的最佳常数因子为

证毕.

定理 4.1 设 $p>1$, $\alpha,\gamma\in\mathbb{R}$, $\tau_{1}\tau_{2}=1$, $\sigma_{1}+\tau_{1}\sigma_{2}=0$, $K(u,v)\geq0$ 是具有参数 $\{\sigma_{1},\sigma_{2},\tau_{1},\tau_{2}\}$ 的超齐次可测函数, $K(1,t)$ 及 $K(t,1)$ 几乎处处大于0, $\sigma_{1}+1-\tau_{1}\frac{\gamma+1}{p}-\frac{\alpha+1}{p}=c$, $0<W_{2}(-\frac{\alpha+1}{p})<+\infty$, $0<W_{2}(-\frac{\alpha+1}{p}-c)<+\infty$, 且 $K(t,1)t^{-\frac{\alpha+1}{p}}$, $K(1,t)t^{\frac{\gamma+1}{p}-1}$, $K(t,1)t^{-\frac{\alpha+1}{p}-c}$ 及 $K(1,t)t^{\frac{\gamma+1}{p}-1+\tau_{2}c}$ 都在 $(0,+\infty)$ 上递减, 离散算子 $T$ 为

(i) 若 $\tau_{1}>0$, 则不论 $c$ 为何值, $T$ 都是 $l_{p}^{\alpha}$ 到 $l_{p}^{\gamma}$ 的有界算子, 即存在常数 $M>0$, 使得

且 $c>0$ 时, $\|T\|\leq (\frac{1}{|\tau_{2}|})^{\frac{1}{p}}W_{2}(-\frac{\alpha+1}{p})$; $c\leq0$ 时, $\|T\|\leq (\frac{1}{|\tau_{2}|})^{\frac{1}{p}}W_{2}(-\frac{\alpha+1}{p}-c)$.

(ii) 若 $\tau_{1}<0$, 则当且仅当 $c\leq0$, 即 $\sigma_{1}+1\leq \tau_{1}\frac{\gamma+1}{p}+\frac{\alpha+1}{p}$ 时, $T$ 是 $l_{p}^{\alpha}$ 到 $l_{p}^{\gamma}$ 的有界算子. 当 $\sigma_{1}+1=\tau_{1}\frac{\gamma+1}{p}+\frac{\alpha+1}{p}$ 时, $T$ 的算子范数为

证 令 $q=\frac{p}{p-1}$, $\beta=\frac{\gamma}{1-p}$, 则 $\frac{1}{p}+\frac{1}{q}=1$, $\gamma=\beta(1-p)$, $-\frac{\beta+1}{q}=\frac{\gamma+1}{p}-1$, 且

又根据 Hilbert 型不等式的基本理论^[18], 下列 Hilbert 型离散不等式及算子不等式

等价, 于是由定理 3.1, 知定理 4.1 成立.

在定理 4.1 中, 取 $\alpha=\gamma=0$, 则可得下面推论.

命题 4.1 设 $p>1$, $\tau_{1}\tau_{2}=1$, $\sigma_{1}+\tau_{1}\sigma_{2}=0$, $K(u,v)$ 是具有参数 $\{\sigma_{1},\sigma_{2},\tau_{1},\tau_{2}\}$ 的超齐次非负可测函数, $\sigma_{1}+1-\frac{\tau_{1}+1}{p}=c$, $0<W_{2}(-\frac{1}{p})<+\infty$, $0<W_{2}(-\frac{1}{p}-c)<+\infty$, 且 $K(t,1)t^{-\frac{1}{p}}$, $K(1,t)t^{\frac{1}{p}-1}$, $K(t,1)t^{-\frac{1}{p}-c}$ 及 $K(1,t)t^{\frac{1}{p}-1+\tau_{2}c}$ 都在 $(0,+\infty)$ 上递减, 离散算子 $T$ 为

(i) 若 $\tau_{1}>0$, 则不论 $c$ 为何值, $T$ 都是 $l_{p}$ 中的有界算子, 即存在常数 $M>0$, 使得

且 $c>0$ 时, $\|T\|\leq (\frac{1}{|\tau_{2}|})^{\frac{1}{p}}W_{2}(-\frac{1}{p})$ ; $c\leq0$ 时, $\|T\|\leq (\frac{1}{|\tau_{2}|})^{\frac{1}{p}}W_{2}(-\frac{1}{p}-c)$.

(ii) 若 $\tau_{1}<0$, 则当且仅当 $c\leq0$, 即 $\sigma_{1}+1\leq \frac{\tau_{1}+1}{p}$ 时, $T$ 是 $l_{p}$ 中的有界算子. 当 $\sigma_{1}+1=\frac{\tau_{1}+1}{p}$ 时, $T$ 的算子范数为

命题 4.2 设 $p>1$, $0<\lambda_{1}\leq 1$, $0<\lambda_{2}\leq 1$, $c>0$, 离散算子 $T$ 为

则 $T$ 是 $l_{p}^{p(1-\lambda_{1})-1}$ 到 $l_{p}^{\lambda_{2}p-1}$ 的有界算子, 且 $T$ 的算子范数为$\|T\|=\frac{1}{\lambda_{1}^{1/q}\lambda_{2}^{1/p}}\Big(\frac{\pi}{2}-\arctan(c)\Big).$

证 设$K(u,v)=\frac{1}{(u^{\lambda_{1}}+cv^{\lambda_{2}})^{2}+v^{2\lambda_{2}}}\ (u>0,v>0),$ 则 $K(u,v)$ 是具有参数 $\{-2\lambda_{1},-2\lambda_{2},$$-\frac{\lambda_{1}}{\lambda_{2}},-\frac{\lambda_{2}}{\lambda_{1}}\}$ 的超齐次非负函数. 因为 $\sigma_{1}=-2\lambda_{1}$, $\sigma_{2}=-2\lambda_{2}$, $\tau_{1}=-\frac{\lambda_{1}}{\lambda_{2}}$, $\tau_{2}=-\frac{\lambda_{2}}{\lambda_{1}}$, 故 $\tau_{1}\tau_{2}=1$, $\sigma_{1}+\tau_{1}\sigma_{2}=0$. 记 $\alpha=p(1-\lambda_{1})-1$, $\gamma=\lambda_{2}p-1$, 则

由 $0<\lambda_{1}\leq 1$, $0<\lambda_{2}\leq 1$, $c>0$, 可知

都在 $(0,+\infty)$ 上递减. 又因为 $\tau_{1}=-\frac{\lambda_{1}}{\lambda_{2}}<0$, 且

从而根据定理 4.1(ii), 可知 $T$ 是 $l_{p}^{p(1-\lambda_{1})-1}$ 到 $l_{p}^{\lambda_{2}p-1}$ 的有界算子, 且 $T$ 的算子范数为

证毕.

在命题 4.2 中, 取 $\lambda_{1}=1-\frac{1}{p}$, $\lambda_{2}=\frac{1}{p}$, 则 $0<\lambda_{1}<1$, $0<\lambda_{2}<1$, 且$\alpha=p(1-\lambda_{1})-1=0$, $\gamma=\lambda_{2}p-1=0$, 于是可得下面推论.

命题 4.3 设 $\frac{1}{p}+\frac{1}{q}=1\,(p>1)$, $c>0$, 离散算子 $T$ 为

则 $T$ 是 $l_{p}$ 中的有界算子, 且 $T$ 的算子范数为

在命题 4.3 中, 再取 $p=q=2$, 则可得下列结果.

命题 4.4 设 $c>0$, 离散算子 $T$ 为

则 $T$ 是 $l_{2}$ 中的有界算子, 且 $T$ 的算子范数为