数学物理学报  2015, Vol. 35 Issue (5): 947-955   PDF (323 KB)    
扩展功能
加入收藏夹
复制引文信息
加入引用管理器
Email Alert
RSS
本文作者相关文章
宋艳萍
唐金波
胡永建
Stieltjes函数生成的广义Loewner矩阵的秩不变性
宋艳萍1,2, 唐金波1, 胡永建1    
1 北京师范大学数学科学学院 北京 100875;
2 新疆农业大学数理学院 乌鲁木齐 830052
摘要: 研究由Stieltjes函数生成的两类广义Loewner矩阵的秩不变性,证明了由同一Stieltjes函数生成的第一类同型的广义Loewner矩阵的秩是相等的,而生成的第二类同型的广义Loewner矩阵的秩相等或者相差1.
关键词: Stieltjes函数     广义Loewner矩阵     Hankel矩阵     秩不变     Stieltjes矩量问题    
On Rank Invariance of Generalized Loewner Matrices Generated by Stieltjes Function
Song Yanping1,2, Tang Jinbo1, Hu Yongjian1    
1 School of Mathematical Sciences, Beijing Normal University, Beijing 100875;
2 The College of Mathematics and Physics, Xinjiang Agricultural University, Urumqi 830052
Abstract: In this paper we study the statements on rank invariance of generalized Loewner matrices of two types generated by the values of a given Stieltjes function. We show that the ranks of such matrices of the first type of the same size are equal, while the ranks of such matrices of the second type with the same size are either equal or differ with difference one.
Key words: Stieltjes function     Generalized Loewner matrix     Hankel matrix     Rank invariance     Stieltjes moment problem    
1 引言

广义 Loewner 矩阵和广义 Pick 矩阵在求解 Stieltjes,Nevanlinna, Carath\'{e}odory 以及 Schur 函数类中的 Nevanlinna-Pick 插值问题中有着重要的应用, 如见文献[1, 2, 11]. 近年来,国内外许多文献研究了广义 Loewner矩阵和 Pick 矩阵的秩不变性. 其中,Fritzsche,Kirstein 和 Lasarow[4, 5, 6, 7] 研究了由 Carath\'{e}odory 函数和 Schur 函数生成的广义 Pick 矩阵的秩不变性; 胡永建和陈公宁[9]证明了由 Nevanlinna 函数生成的广义 Loewner 矩阵的秩不变性; 贺勤,徐清舟和陈公宁[10] 利用 Toeplitz 向量方法,证明了由 Carath\'{e}odory 函数生成的广义 Pick 矩阵的秩不变性.

本文主要研究由 Stieltjes 函数生成的两类广义 Loewner 矩阵的秩不变性,利用广义 Loewner 矩阵和 Hankel 矩阵之间的联系,以及 Stieltjes 矩量问题的相关结果[1, 8, 11], 证明了由 Stieltjes 函数生成的第一类同型的广义 Loewner 矩阵的秩是相等的,而第二类同型的广义 Loewner 矩阵的秩相等,或者相差1.

用 ${\Bbb C}^{m\times n}$ 表示全体 $m\times n$ 阶复矩阵构成的集合. 设 $A,B $ 为同型的 Hermite 矩阵,用记号 $A\geq B(A>B)$表示 $A-B$ 是 Hermite 半正定(正定)矩阵. 如果 $f(z)$ 在开的上半复平面 $ {\Bbb C}^+$ 内解析, 在负半实轴 $(-\infty,0)$ 上连续且非负,并且在 $ {\Bbb C}^+$ 内具有非负的虚部, 则称 $f(z)$ 为 Stieltjes 函数,记 ${\cal S}$ 为全体 Stieltjes 函数构成的集合. 众所周知,函数 $f(z)\in {\cal S}$ 当且仅当有如下积分表示[1, 11]

$\begin{equation}\label{1.1} f(z)=\alpha+\int_0^{+\infty}(u-z)^{-1}{\rm d}\tau(u), \end{equation}$ (1.1)

其中,$\alpha\geq 0,$ $ \tau(u)$ 是区间 $[0,+\infty)$ 上的正测度并且满足

$\begin{equation}\label{1.2} \int_0^{+\infty}(1+u)^{-1}{\rm d}\tau(u)<+\infty. \end{equation}$ (1.2)

对任意$f(z)\in{\cal S}$,应用反射 $f(z)=\overline{f(\bar{z})}$, 总可以将$f(z)$的定义域解析开拓到开的下半复平面 ${\Bbb C}^{-}$.

2 Stieltjes 函数生成的广义 Loewner 矩阵

设 $z_{1},\cdots,z_{\rho}$是 ${\Bbb C}^{+}$内 $\rho$个不同的点, 重数分别为 $\tau_{1},\cdots,\tau_{\rho}$; 设 $\alpha_{1},\cdots,\alpha_{\theta}$是 $(-\infty,0)$内 $\theta$个不同的点,重数分别为 $\nu_{1},\cdots,\nu_{\theta}$. 用 $\Delta$ 表示由下列有序数对构成的数据集

$\begin{equation}\label{2.1} \Delta=\{(z_i,\tau_i)_{i=1}^\rho,\ (\bar{z}_i,\tau_i)_{i=1}^\rho,\ (\alpha_j,\nu_j)_{j=1}^{\theta}\}. \end{equation}$ (2.1)

记 $N=2\sum\limits_{i=1}^\rho\tau_{i}+\sum\limits_{j=1}^\theta\nu_{j},$ 称$N$为 $\Delta$ 的维数. 用 ${\cal F}_{N}^{+}$ 表示所有形如(2.1)式的维数为 $N$ 的数据集 $\Delta$ 构 成的集合. 对任意 $\Delta\in {\cal F}_N^+$,我们都可以将它划分为一对数据集 $\{\Delta_{1},\Delta_{2}\}$,其中

$ \begin{equation}\label{2.2} \Delta_{1}=\{(x_i,m_i)_{i=1}^u\},\ \Delta_{2}=\{(y_j,n_j)_{j=1}^v\}, \end{equation}$ (2.2)

其维数分别为$m=\sum\limits_{i=1}^um_{i}$,$n=\sum\limits_{j=1}^vn_{j}$. 这里,$m+n=N,$ 且 $x_{1},\cdots,x_{u}$ ($y_{1},\cdots,y_{v}$) 互不相同, 重数分别为 $m_{1},\cdots,m_{u}$ ($n_{1},\cdots,n_{v}$). 进一步地,如果 $x_{i}=y_{j}=z_{k}\ (\overline{z}_{k},\ \alpha_{k}$), 则 $m_{i}+n_{j}=\tau_{k}\ (\tau_{k},\ \nu_{k}$). 这里, 称由(2.2)式给出的一对数据集 $\{\Delta_1,\Delta_2\}$ 为 $\Delta$ 的一个 $(m,n)$ -劈分.

设$f(z)\in s$,$\{\Delta_{1},\Delta_{2}\}$ 为数据集 $\Delta\in {\cal F}_{N}^{+}$ 的一个 $(m,n)$ -劈分,定义如下形式的 $m\times n$ 阶广义 Loewner 矩阵

$\begin{equation}\label{2.3} P_f^{\Delta_{1},\Delta_{2}}:=(P_{ij})_{i,j=1}^{u,v}\in {\Bbb C}^{m \times n}, \ P_{ij}=(p_{ij}^{kl})_{k,l=0}^{m_{i}-1,n_{j}-1}\in {\Bbb C}^{m_{i}\times n_{j}} \end{equation}$ (2.3)

式中元素 $p_{ij}^{kl}$ 由下式给出

$\begin{equation}\label{2.5} p_{ij}^{kl}= \left\{\begin{array}{ll} { \frac{1}{k!l!}\frac{\partial^{k+l}}{\partial^{k}s \partial^{l}t}\Big(\frac{f(s)-f(t)}{s-t}\Big)_{s=x_{i},t=y_{j}}}, &\ \mbox{如果 $x_{i}\neq y_{j}$};\\[4mm] { \frac{1}{(k+l+1)!}f^{(k+l+1)}(x_{i})},& \ \mbox{如果 $x_{i}=y_{j}$}. \end{array}\right. \end{equation}$ (2.4)

设$f(z)\in S,$ $m,n$ 为正整数且满足 $m+n=N.$ 选取不同的 $\Delta\in {\cal F}_N^+$ 或 $\Delta$的不同的 $(m,n)$ -劈分,可以得到一系列 $m\times n$ 广义 Loewner 矩阵. 我们称这样的矩阵为由 Stieltjes 函数$f(z)$生成的第一类广义 Loewner 矩阵. 将所有第一类 $m\times n$ 广义 Loewner 矩阵构成的集合记作 ${\cal M}_{m,n}(f)$. 本文将证明集合 ${\cal M}_{m,n}(f)$ 中的所有矩阵都具有相同的秩(见定理5.1), 或者等价地,由$f(z)$生成的第一类同型的广义 Loewner 矩阵的秩与 $\Delta\in {\cal F}_N^+$ 及 $\Delta$ 的 $(m,n)$ -劈分的选取无关, 这里,$m+n=N$.

如果用 $zf(z)$ 替换(2.3)和(2.4)式中的 $f(z)$,我们将得到广义 Loewner 矩阵$P_{zf}^{\Delta_{1},\Delta_{2}}$,称之为由 Stieltjes 函数$f(z)$生成的第二类广义 Loewner 矩阵. 为方便起见,用 $\tilde{{\cal M}}_{m,n}(f)$ 表示所有由函数 $f(z)$ 生成的第二类 $m\times n$ 广义 Loewner 矩阵构成的集合. 本文将证明集合 $\tilde{{\cal M}}_{m,n}(f)$ 中的所有矩阵的秩或者相等, 或者相差1 (见定理5.2). 特别地,如果 $f(z)$ 具有积分表达式(1.1)且 $\alpha=0$ ,则由$f(z)$生成的第二类同型的广义 Loewner 矩阵的秩相等.

3 广义 Loewner 矩阵与 Hankel 矩阵的联系

本节将给出由 Stieltjes 函数 $f(z)$ 生成的第一类和第二类 $m\times n$ 广义 Loewner 矩阵与 $[0,+\infty)$ 上的正测度生成的 $m\times n$ Hankel 矩阵之间的联系.

设 $\Delta\in {\cal F}_N^+$,$\{{{\Delta }_{1}},{{\Delta }_{2}}\}$ 是 $\Delta $ 的一个 $(m,n)$ -劈分. 定义

$\begin{equation}\label{3.1} p(z)=\prod_{i=1}^{\rho}(z-z_{i})^{\tau_{i}}(z-\overline{z}_{i})^{\tau_{i}} \prod_{j=1}^{\theta}(z-\alpha_{j})^{\nu_{j}}. \end{equation}$ (3.1)

容易验证,$p(z)$ 是一个$N$次首一的实系数多项式,并且$p(z)$ 在区间 $[0,+\infty)$ 上恒大于0. 根据 $\Delta$ 的 $(m,n)$ -劈分 $\{{{\Delta }_{1}},{{\Delta }_{2}}\}$ 我们可将 $p(z)$ 分解为两个首一多项式 $p_{1}(z)$ 和 $p_{2}(z)$ 的乘积,次数分别为 $m$ 和 $n$

$\begin{equation}\label{3.2} p_{1}(z)=\prod_{j=1}^{u}(z-x_{j})^{m_{j}},\ p_{2}(z)=\prod_{j=1}^{v}(z-y_{j})^{n_{j}}. \end{equation}$ (3.2)

下面引入两组多项式

$\begin{equation}\label{3.3} \begin{array}{ll} p_{1}^{ik}(z):=\frac{p_{1}(z)}{(z-x_{i})^{k+1}},\ &1\leq i \leq u,\ 0\leq k\leq m_{i}-1,\\ p_{2}^{jl}(z):=\frac{p_{2}(z)}{(z-y_{j})^{l+1}},\ &1\leq j \leq v,\ 0\leq l\leq n_{j}-1, \end{array} \end{equation}$ (3.3)

那么,$\{p_{1}^{ik}(z)\}_{i=1,k=0}^{u,m_{i}-1}$ 和 $\{p_{2}^{jl}(z)\}_{j=1,l=0}^{v,n_{j}-1}$ 分别是多项式线性空间 ${\cal P}_{m-1}$ 和 ${\cal P}_{n-1}$ 的一组基.

用 $W_{\Delta_{1}}$ 和 $W_{\Delta_{2}}$ 分别表示 ${\cal P}_{m-1}$ 和 ${\cal P}_{n-1}$ 的标准基 $\{1,z,\cdots,z^{m-1}\}$ 和 $\{1,z,\cdots,z^{n-1}\}$ 到基 $\{p_{1}^{ik}(z)\}_{i=1,k=0}^{u,m_{i}-1}$ 和 $\{p_{2}^{jl}(z)\}_{j=1,l=0}^{v,n_{j}-1}$ 的过渡矩阵,即

$\begin{equation}\label{3.4} \begin{array}{rl} \left(\begin{array}{c} p_{1}^{10}(z)\\ \vdots\\ p_{1}^{1,m_1-1}(z)\\ \vdots\\ p_{1}^{u0}(z)\\ \vdots\\ p_{1}^{u,m_u-1}(z) \end{array}\right) =W_{\Delta_{1}} \left(\begin{array}{c} 1\\ z\\ \vdots\\ z^{m-1} \end{array}\right),\\ \left(\begin{array}{c} p_{2}^{10}(z)\\ \vdots\\ p_{2}^{1,n_1-1}(z)\\ \vdots\\ p_{2}^{v0}(z)\\ \vdots\\ p_{2}^{v,n_v-1}(z) \end{array}\right) =W_{\Delta_{2}} \left(\begin{array}{c} 1\\ z\\ \vdots\\ z^{n-1} \end{array}\right). \end{array} \end{equation}$ (3.4)

显然,$W_{\Delta_{1}}\in {\Bbb C}^{m \times m}$ 和 $W_{\Delta_{2}}\in {\Bbb C}^{n \times n}$ 都是非奇异矩阵.

设$f(z)\in S$ 具有积分表示(1.1),$p(z)$ 由(3.1)式给出. 定义实数序列

$\begin{equation}\label{3.5} s_i^{(\tau,p)}=\int_0^{+\infty}u^ip(u)^{-1}d\tau(u) (i=0,1,\cdots,N-1), \end{equation}$ (3.5)

其中 $\tau$ 由(1.1)和(1.2)式给出.

下面的定理给出了由$f(z)$生成的第一类广义 Loewner 矩阵 $P_{f}^{\Delta_{1},\Delta_{2}}$ 和由实数 $s_i^{(\tau,p)}$ $ (i=0,$ $1,\cdots,N-2)$ 构成的 Hankel 矩阵之间的联系.

定理3.1    设 $f(z)\in S$ 具有积分表示 (1.1),$\{\Delta_{1},\Delta_{2}\}$ 是 $\Delta\in {\cal F}_N^+$ 的一个 $(m,n)$ -劈分,$P_{f}^{\Delta_{1},\Delta_{2}}$, $W_{\Delta_{i}}\ (i=1,2)$ 分别由 (2.3)-(2.4)式 和 (3.2)-(3.4)式给出. 则

$\begin{equation}\label{3.6} P_f^{\Delta_{1},\Delta_{2}}=W_{\Delta_{1}}H_{m,n}^{(\tau,p)}(W_{\Delta_{2}})^{\rm T}, \end{equation}$ (3.6)

其中 $H_{m,n}^{(\tau,p)}=(s_{i+j}^{(\tau,p)})_{i,j=0}^{m-1,n-1} \in {\Bbb C}^{m\times n}$, 这里 $s_i^{(\tau,p)}\ (i=0,1,\cdots,N-2)$ 由 (3.5)式定义.

   利用(2.4)式和 $f(z)$ 的积分表示(1.1),对所有 $k,l,i,j,$ 我们有

$$\begin{align} & p_{ij}^{kl}=\frac{1}{k!l!}\frac{{{\partial }^{k+l}}}{\partial {{s}^{k}}\partial {{t}^{l}}}{{(\int_{0}^{+\infty }{\frac{1}{(u-s)(u-t)}}\text{d}\tau (u))}_{s={{x}_{i}},t={{y}_{j}}}} \\ & \ \ \ \ \ =\int_{0}^{+\infty }{\frac{1}{{{(u-{{x}_{i}})}^{k+1}}{{(u-{{y}_{j}})}^{l+1}}}}\text{d}\tau (u) \\ & \ \ \ \ \ =\int_{0}^{+\infty }{\frac{{{p}_{1}}(u){{p}_{2}}(u)}{{{(u-{{x}_{i}})}^{k+1}}{{(u-{{y}_{j}})}^{l+1}}}}\frac{\text{d}\tau (u)}{p(u)} \\ & \ \ \ \ \ =\int_{0}^{+\infty }{p_{1}^{ik}}(u)p_{2}^{jl}(u)p{{(u)}^{-1}}\text{d}\tau (u) \\ \end{align}$$

其中,$p_{1}^{ik}(z)$ 和 $p_{2}^{jl}(z)$ 由 (3.3)式给出. 于是由 (3.4)和 (3.5)式知,

$$\begin{align} & P_{f}^{{{\Delta }_{1}},{{\Delta }_{2}}}={{W}_{{{\Delta }_{1}}}}\left( \int\limits_{0}^{+\infty }{{{u}^{i+j}}}p{{(u)}^{-1}}d\tau (u) \right)_{i,j=0}^{m-1,n-1}{{({{W}_{{{\Delta }_{2}}}})}^{\text{T}}} \\ & \ \ \ \ \ \ \ \ ={{W}_{{{\Delta }_{1}}}}H_{m,n}^{(\tau ,p)}{{({{W}_{{{\Delta }_{2}}}})}^{\text{T}}},\\ \end{align}$$

因此结论得证.

对任意$\alpha\ge 0$,常函数 $f(z)\equiv \alpha$ 是一个 Stieltjes 函数, 于是 $P_{z\alpha}^{\Delta_{1},\Delta_{2}}$ 是第二类广义 Loewner 矩阵

$$ P_{z\alpha}^{\Delta_{1},\Delta_{2}}=(P_{ij}^{\Delta_{1},\Delta_{2}})_{i,j=1}^{u,v} \in {\Bbb C}^{m \times n}, $$ $$ P_{ij}^{\Delta_{1},\Delta_{2}}=\left(\begin{array}{cccc} \alpha& 0&\cdots&0\\ 0&0&\cdots&0\\ \vdots&\vdots& &\vdots\\ 0&0&\cdots&0 \end{array}\right) \in{\Bbb C}^{m_i \times n_j},i=1,\cdots,u,j=1,\cdots,v. $$

通过直接计算,我们得到如下引理

引理3.1    设 $\alpha\ge 0$,$\{\Delta_{1},\Delta_{2}\}$ 是 $\Delta\in {\cal F}_N^+$ 的一个 $(m,n)$ -劈分,$W_{\Delta_{i}}\ (i=1,2)$ 是由 (3.2)-(3.4)式给出的过渡矩阵,则

$\begin{equation}\label{3.7} P_{z\alpha}^{\Delta_{1},\Delta_{2}}=W_{\Delta_{1}} \left(\begin{array}{cccc} 0 & \cdots & 0 & 0 \\ \vdots &\ddots & \vdots& \vdots \\ 0 &\cdots & 0 & 0\\ 0 & \cdots & 0 & \alpha \end{array}\right) (W_{\Delta_{2}})^{\rm T}. \end{equation}$ (3.7)

   由(3.4)式,过渡矩阵 $W_{\Delta_{1}},W_{\Delta_{2}}$ 的最后一列分别为如下两个向量

$$\xi_1=( \mathop{\underbrace{1,0,\cdots,0}}\limits_{m_1}, \cdots, %\underset{m_u} \mathop{\underbrace{1,0,\cdots,0}}\limits_{m_u} )^{\rm T}\in {\Bbb C}^{m} \ \mbox{和} \ \xi_2=( %\underset{n_1} \mathop{\underbrace{1,0,\cdots,0}}\limits_{n_1}, \cdots, %\underset{n_v} \mathop{\underbrace{1,0,\cdots,0}}\limits_{n_v})^{\rm T}\in {\Bbb C}^{n},$$

$$\begin{align} & {{W}_{{{\Delta }_{1}}}}\left( \begin{matrix} 0 & \cdots & 0 & 0 \\ \vdots & \ddots & \vdots & \vdots \\ 0 & \cdots & 0 & 0 \\ 0 & \cdots & 0 & \alpha \\ \end{matrix} \right){{({{W}_{{{\Delta }_{2}}}})}^{\text{T}}}={{W}_{{{\Delta }_{1}}}}\left( \begin{matrix} 0 \\ \vdots \\ 0 \\ 1 \\ \end{matrix} \right)\alpha \left( \begin{matrix} 0,& \cdots & 0,& 1 \\ \end{matrix} \right){{({{W}_{{{\Delta }_{2}}}})}^{\text{T}}} \\ & \ \ \ \ \ \ \ \ \ \ \ ={{\xi }_{1}}\alpha \xi _{2}^{\text{T}}=(P_{ij}^{{{\Delta }_{1}},{{\Delta }_{2}}})_{i,j=1}^{u,v}=P_{z\alpha }^{{{\Delta }_{1}},{{\Delta }_{2}}},\\ \end{align}$$

结论得证.

类似于定理3.1和引理3.1的证明,我们可以得到第二类广义 Loewner 矩阵 $P_{zf}^{\Delta_{1},\Delta_{2}}$ 和由实数 $s_i^{(\tau,p)}\ (i=1,2,\cdots,N-1)$ 构成的 Hankel 矩阵之间的联系.

定理3.2    设 $f(z)\in S$ 具有积分表示 (1.1),$\{\Delta_{1},\Delta_{2}\}$ 是 $\Delta\in {\cal F}_N^+$ 的一个 $(m,n)$ -劈分,$P_{zf}^{\Delta_{1},\Delta_{2}}$, $W_{\Delta_{i}}\ (i=1,2)$ 分别由 (2.3)-(2.4)和(3.2)-(3.4)式给出,则

$P_{zf}^{{{\Delta }_{1}},{{\Delta }_{2}}}={{W}_{{{\Delta }_{1}}}}(\tilde{H}_{m,n}^{(\tau ,p)}+\left( \begin{matrix} 0 & \cdots & 0 & 0 \\ \vdots & \ddots & \vdots & \vdots \\ 0 & \cdots & 0 & 0 \\ 0 & \cdots & 0 & \alpha \\ \end{matrix} \right)){{({{W}_{{{\Delta }_{2}}}})}^{\text{T}}},$ (3.8)

其中 $\tilde{H}_{m,n}^{(\tau ,p)}=(s_{i+j+1}^{(\tau ,p)})_{i,j=0}^{m-1,n-1}\in {{\mathbb{C}}^{m\times n}}$,这里 $s_i^{(\tau,p)}\ (i=1,2,\cdots,N-1)$ 由 (3.5)式定义.

   由于 $f(z)$ 有积分表示(1.1),因此 $f(z)-\alpha$ 是一个 Stieltjes 函数. 在(2.4)式中用 $z(f(z)-\alpha)$ 替换 $f(z)$,于是

$$\begin{eqnarray*} p_{ij}^{kl}&=&\frac{1}{k!l!}\frac{\partial^{k+l}}{\partial s^{k}\partial t^{l}}\Big( \frac{s(f(s)-\alpha)-t(f(t)-\alpha)}{s-t} \Big )_{s=x_{i},t=y_{j}}\\ &=&\int_{0}^{+\infty}\frac{u}{(u-x_{i})^{k+1}(u-y_{j})^{l+1}}{\rm d}\tau(u) \\ &=&\int_{0}^{+\infty}\frac{u p_{1}(u)p_{2}(u)}{(u-x_{i})^{k+1}(u-y_{j})^{l+1}} \frac{{\rm d}\tau(u)}{p(u)}\\ &=&\int_{0}^{+\infty}u p_{1}^{ik}(u)p_{2}^{jl}(u)p(u)^{-1}{\rm d}\tau(u),\ \forall\ i,j,k,l. \end{eqnarray*}$$

利用(3.4)和(3.5)式,上述等式可以表示为矩阵乘积的形式

$\begin{align} & P_{z(f-\alpha )}^{{{\Delta }_{1}},{{\Delta }_{2}}}={{W}_{{{\Delta }_{1}}}}\left( \int\limits_{0}^{+\infty }{{{u}^{i+j+1}}}p{{(u)}^{-1}}d\tau (u) \right)_{i,j=0}^{m-1,n-1}{{({{W}_{{{\Delta }_{2}}}})}^{\text{T}}} \\ & \ \ \ \ \ \ \ \ \ \ \ ={{W}_{{{\Delta }_{1}}}}\text{\tilde{H}}_{m,n}^{(\tau ,p)}{{({{W}_{{{\Delta }_{2}}}})}^{\text{T}}}. \\ \end{align}$ (3.9)

另一方面,由第二类广义 Loewner 矩阵的定义可知

$P_{zf}^{{{\Delta }_{1}},{{\Delta }_{2}}}=P_{z\alpha }^{{{\Delta }_{1}},{{\Delta }_{2}}}+P_{z(f-\alpha )}^{{{\Delta }_{1}},{{\Delta }_{2}}}.$ (3.10)

将(3.7)和(3.9)式代入(3.10)式中,即得到 (3.8)式,定理得证.

定理 3.1 和定理 3.2 表明研究由 Stieltjes 函数生成的第一类和第二类广义 Loewner 矩阵的秩特征可以转化为研究区间 $[0,+\infty)$ 上的正测度生成的 Hankel 矩阵的秩特征.

4 区间 $[0,+\infty)$ 上正测度生成的 Hankel 矩阵的秩不变性

设 $s_i^{(\tau,p)}\ (i=0,1,\cdots,N-1)$由 (3.5)式定义. 考察 Stieltjes 矩量问题(SM): 求区间 $[0,+\infty)$ 上的所有正测度 $\sigma(u),$ 满足

$\begin{equation}\label{4.1} s_i^{(\tau,p)}=\int_0^{+\infty}u^i{\rm d}\sigma(u),\ i=0,1,\cdots,N-1. \end{equation}$ (4.1)

显然,SM 问题 (4.1) 总是可解的. 例如,由下式给出的正测度 $\tau_p(u)$就是 SM 问题(4.1)的一个解.

$\begin{equation}\label{4.2} \tau_p(u)=\int_0^up(s)^{-1}{\rm d}\tau(s),\ u\in [0,+\infty). \end{equation}$ (4.2)

利用 Stieltjes 矩量问题的解[1, 8, 11],可以证明如下定理

定理4.1    设 $H_{k,l}^{(\tau,p)}=(s_{i+j}^{(\tau,p)})_{i,j=0}^{k-1,l-1}$, $\text{\tilde{H}}_{k,l}^{(\tau ,p)}=(s_{i+j+1}^{(\tau ,p)})_{i,j=0}^{k-1,l-1}\ (k+l\le N)$,则

$$\text{rank}(\text{H}_{k,l}^{(\tau ,p)})=\text{rank}(\text{H}_{r,r}^{(\tau ,p)}),\ \text{rank}(\text{\tilde{H}}_{k,l}^{(\tau ,p)})=\text{rank}(\text{\tilde{H}}_{r,r}^{(\tau ,p)}),$$

其中 $r=\min\{k,l\}$.

   当 $k=l$ 时结论显然成立. 只需证明当 $k\neq l$ 时结论成立即可.

不失一般性,假设 $k < l$,则 $r=k$. 注意到 SM 问题(4.1) 总是可解的,根据文献[8] 中给出的 SM 问题的解的参数化表示形式,总存在 SM 问题(4.1)的一个解 $\sigma (u)$ 满足 $\phi (z)=\int_{0}^{+\infty }{{{(u-z)}^{-1}}}\text{d}\sigma (u),$ 并且$\phi(z)$是一个有理 Stieltjes 函数. 设 $\phi(z)$ 在 $z=\infty$ 处的展开式为

$$\begin{eqnarray*} \phi(z)=-\frac{s_{0}}{z}-\frac{s_{1}}{z^{2}}-\cdots-\frac{s_{i-1}}{z^{i}}- \frac{s_{i}}{z^{i+1}}-\cdots. \end{eqnarray*}$$

则由文献[8,引理 2.2]可得

$$\begin{eqnarray*} s_i=\int_0^{+\infty}u^i{\rm d}\sigma (u),\ i=0,1,2,\cdots. \end{eqnarray*}$$

由于(4.2)式定义的 $\tau_p(u)$ 是 SM 问题(4.1)的解,故 $s_i=s_i^{(\tau,p)}\ (i=0,1,\cdots,N-1)$. 基于以下事实

$$\begin{eqnarray*}%\label{3-12} H=(s_{i+j})_{i,j=0}^{l-1}=\left(\begin{array}{cc} H_{k,k}^{(\tau,p)} ~~& A\\[2mm] A^* ~~&B \end{array}\right)=\left(\int_0^{+\infty}u^{i+j}{\rm d}\sigma (u)\right)_{i,j=0}^{l-1}\ge 0, \end{eqnarray*}$$

其中 $A=(s_{i+j})_{i=0,j=k}^{k-1,l-1}$,$B=(s_{i+j})_{i,j=k}^{l-1}$, 可以推出 $R(A)\subseteq R(H_{k,k}^{(\tau,p)})$,从而 ${\rm rank}(H_{k,l}^{(\tau,p)})={\rm rank}(H_{k,k}^{(\tau,p)},A) ={\rm rank}(H_{k,k}^{(\tau,p)}).$

类似地,

$${\rm{\tilde H = }}({{\rm{s}}_{{\rm{i + j + 1}}}})_{{\rm{i}},{\rm{j = 0}}}^{{\rm{l - 1}}}{\rm{ = }}\left( {\begin{array}{*{20}{c}} {{\rm{\tilde H}}_{{\rm{k}},{\rm{k}}}^{(\tau ,{\rm{p}})}}&{{\rm{\tilde A}}}\\ {{{{\rm{\tilde A}}}^{\rm{*}}}}&{\tilde B} \end{array}} \right){\rm{ = }}\left( {\int_{\rm{0}}^{{\rm{ + }}\infty } {{{\rm{u}}^{{\rm{i + j + 1}}}}} {\rm{d}}\tilde \tau ({\rm{u}})} \right)_{{\rm{i}},{\rm{j = 0}}}^{{\rm{l - 1}}} \ge {\rm{0}},$$

其中 $\tilde{A}=(s_{i+j+1})_{i=0,j=k}^{k-1,l-1}$,$\tilde{B}=(s_{i+j+1})_{i,j=k}^{l-1}$. 由 ${\rm{\tilde H}}$ 的非负性,可以得出 $R(\tilde{A})\subseteq R({\rm{\tilde H}}_{k,k}^{(\tau,p)}),$ 所以 ${\rm rank}({\rm{\tilde H}}_{k,l}^{(\tau,p)})={\rm rank}({\rm{\tilde H}}_{k,k}^{(\tau,p)}, \tilde{A})={\rm rank}({\rm{\tilde H}}_{k,k}^{(\tau,p)}).$ 定理得证.

设 $N$ 是一个给定的正整数,$\tau(u)$ 是 $f(z)$ 的积分表示 (1.1)中的正测度. 令

$\begin{equation}\label{4.3} \begin{array}{l} p_{0}(z)=(1+z)^{N},\\[2mm] {\displaystyle s_{i}^{{(\tau,p_{0})}}=\int_{0}^{+\infty}u^{i}p_0(u)^{-1}{\rm d}\tau(u), \ i=0,1,\cdots,N-1.} \end{array} \end{equation}$ (4.3)

利用实数 $s_{i}^{(\tau,p_{0})}\ (i=0,1,\cdots,N-1)$可定义两个 Hankel 矩阵

$$ H_{r,r}^{(\tau,p_{0})}=(s_{i+j}^{(\tau,p_0)})_{i,j=0}^{r-1},\ {\rm{\tilde H}}_{r,r}^{(\tau,p_{0})}=(s_{i+j+1}^{(\tau,p_0)})_{i,j=0}^{r-1}\ (1\le r\le N/2). $$

下面的定理表明: 对于由(3.1)式给出的任意实多项式 $p(z)$,$H_{r,r}^{(\tau,p)}$ 和 ${\rm{\tilde H}}_{r,r}^{(\tau,p)}$ 的秩是不变的,并且分别等于 $H_{r,r}^{(\tau,p_{0})},$ ${\rm{\tilde H}}_{r,r}^{(\tau,p_{0})}$ 的秩.

定理4.2    设 $H_{r,r}^{(\tau,p)},\ {\rm{\tilde H}}_{r,r}^{(\tau,p)},\ H_{r,r}^{(\tau,p_0)}$, ${\rm{\tilde H}}_{r,r}^{(\tau,p_0)}\ (1\le r\le N/2)$ 如前所述,则
$\begin{equation}\label{4.4} {\rm rank}(H_{r,r}^{(\tau,p)})={\rm rank}(H_{r,r}^{(\tau,p_{0})}),\ {\rm rank}({\rm{\tilde H}}_{r,r}^{(\tau,p)})={\rm rank}({\rm{\tilde H}}_{r,r}^{(\tau,p_{0})}). \end{equation}$ (4.4)

    由于 $p(z)$ 和 $p_0(z)$ 都是次数为 $N$ 的实多项式并且在区间 $[0,+\infty)$ 上恒大于0,因此实函数 $g(u)=p(u)p_{0}(u)^{-1}\ (0\leq u <+\infty)$ 在区间 $[0,+\infty)$ 上连续有界并且恒大于0. 故总存在两个正数 $c_1$ 和 $c_2$ 使得对任意 $u\in[0,+\infty)$,都有 $c_1 \leq g(u)\leq c_2$,或者等价地,$c_1p(u)^{-1}\leq p_{0}(u)^{-1}\leq c_2p(u)^{-1}\ (0\leq u<+\infty).$ 由此得出如下两个不等式链

$$\begin{eqnarray*} &&c_1\int_{0}^{+\infty} \big( 1, u, \cdots, u^{r-1} \big)^{\rm T} p(u)^{-1}{\rm d}\tau(u) \big( 1,u,\cdots,u^{r-1} \big) \\ &\leq &\int_{0}^{+\infty} \big( 1, u, \cdots, u^{r-1} \big)^{\rm T} p_0(u)^{-1}{\rm d}\tau(u) \big( 1,u,\cdots,u^{r-1} \big)\\ &\leq & c_2 \int_{0}^{+\infty} \big( 1, u, \cdots, u^{r-1} \big)^{\rm T}p(u)^{-1} {\rm d}\tau(u) \big( 1,u,\cdots,u^{r-1} \big) \end{eqnarray*}$$

$$\begin{eqnarray*} &&c_1\int_{0}^{+\infty} \big( 1, u, \cdots, u^{r-1} \big)^{\rm T} up(u)^{-1}{\rm d}\tau(u) \big( 1,u,\cdots,u^{r-1} \big) \\ &\leq &\int_{0}^{+\infty} \big( 1, u, \cdots, u^{r-1} \big)^{\rm T} up_0(u)^{-1}{\rm d}\tau(u) \big( 1,u,\cdots,u^{r-1} \big)\\ &\leq &c_2 \int_{0}^{+\infty} \big( 1, u, \cdots, u^{r-1} \big)^{\rm T}up(u)^{-1} {\rm d}\tau(u) \big( 1,u,\cdots,u^{r-1} \big). \end{eqnarray*}$$

再由 (3.5) 和 (4.3)式可得, $c_1H_{r,r}^{(\tau,p)}\leq {H}_{r,r}^{(\tau,p_{0})}\leq c_2{H}_{r,r}^{(\tau,p)}$, $c_1{\rm{\tilde H}}_{r,r}^{(\tau,p)}\leq {\rm{\tilde H}}_{r,r}^{(\tau,p_{0})}\leq c_2{\rm{\tilde H}}_{r,r}^{(\tau,p)}$. 注意到 ${H}_{r,r}^{(\tau,p)}$ 和 ${\rm{\tilde H}}_{r,r}^{(\tau,p)}$ 都是 Hermite 正定(半正定)矩阵. 因此(4.4)式得证.

5 第一类和第二类广义 Loewner 矩阵的秩不变性

本节利用第一类和第二类广义 Loewner 矩阵与区间 $[0,+\infty)$ 上某个正测度生成的 Hankel 矩阵之间的联系,证明这两类广义 Loewner 矩阵的秩不变性.

定理5.1    设 $f(z)\in {\cal S}$,$m,n$ 为给定的正整数,则矩阵 $P_{f}^{\Delta_{1},\Delta_{2}}\in {\cal M}_{m,n}(f)$ 具有相同的秩.

   设 $f(z)$ 具有积分表示 (1.1),对任意 $\Delta \in F_N^ + $ 和 $\Delta$ 的任意 $(m,n)$ -劈分 $\{\Delta_1,\Delta_2\}$,由定理 3.1 可知

$\begin{equation}\label{5.1} {\rm rank}(P_{f}^{\Delta_{1},\Delta_{2}})= {\rm rank}(H_{m,n}^{(\tau,p)}), \end{equation}$ (5.1)

其中 $p(z)$ 是由(3.1)式给出的多项式. 另一方面,由定理4.1和定理4.2知,

$\begin{equation}\label{5.2} {\rm rank}(H_{m,n}^{(\tau,p)})={\rm rank}(H_{r,r}^{(\tau,p_0)}), \end{equation}$ (5.2)

其中 $r=\min\{m,n\}$,$p_0(z)=(1+z)^N$. 结合(5.1)和(5.2)式, 可知广义 Loewner 矩阵 $P_{f}^{\Delta_{1},\Delta_{2}}$ 的秩和 $\Delta$ 及其 $(m,n)$ -劈分 $\{\Delta_{1},\Delta_{2}\}$ 的选取无关,并且它的秩等于 Hankel 矩阵 $H_{r,r}^{(\tau,p_0)}$ 的秩. 定理得证.

类似于定理5.1,我们可以证明如下定理.

定理5.2    设 $f(z)\in { S}$,$m,n$ 为给定的正整数,则矩阵 $P_{zf}^{{\Delta _1},{\Delta _2}} \in {\tilde M_{m,n}}(f)$ 的秩或者相等,或者相差$1$.

   设 $f(z)\in S$ 具有积分表示(1.1),对任意 $\Delta \in{\cal F}_N^+$ 和 $\Delta$ 的任意 $(m,n)$ -劈分 $\{\Delta_1,\Delta_2\}$,由定理3.2可知

$$ {\rm rank}(P_{zf}^{\Delta_{1},\Delta_{2}})={\rm rank}({\rm{\tilde H}}_{m,n}^{(\tau,p)}+ \left(\begin{array}{cccc} 0 & \cdots & 0 & 0 \\ \vdots &\ddots & \vdots& \vdots \\ 0 &\cdots & 0 & 0\\ 0 & \cdots & 0 & \alpha \end{array}\right)), $$

其中 $p(z)$ 是由(3.1)式给出的多项式. 因此,

$\begin{equation}\label{5.3} {\rm rank}({\rm{\tilde H}}_{m,n}^{(\tau,p)})\le {\rm rank}(P_{zf}^{\Delta_{1}, \Delta_{2}})\le{\rm rank}({\rm{\tilde H}}_{m,n}^{(\tau,p)})+1. \end{equation}$ (5.3)

另一方面,由定理4.1和定理4.2可知

$\begin{equation}\label{5.4} {\rm rank}({\rm{\tilde H}}_{m,n}^{(\tau,p)})={\rm rank}({\rm{\tilde H}}_{r,r}^{(\tau,p_0)}), \end{equation}$ (5.4)

其中 $r=\min\{m,n\}$,$p_0(z)=(1+z)^N$. 将({5.4})式代入({5.3})式可得

$$\begin{eqnarray*} {\rm rank}({\rm{\tilde H}}_{r,r}^{(\tau,p_0)})\le {\rm rank}(P_{zf}^{\Delta_{1}, \Delta_{2}})\le{\rm rank}({\rm{\tilde H}}_{r,r}^{(\tau,p_0)})+1. \end{eqnarray*}$$

上述不等式组说明所有广义 Loewner 矩阵 $P_{zf}^{\Delta_{1},\Delta_{2}}$ 的秩或者相等, 或者相差1. 定理得证.

利用定理5.2的证明可知,如果 $f(z)$ 具有积分表示(1.1),并且 $\alpha=0$, 则所有第二类 $m\times n$ 广义 Loewner 矩阵 $P_{zf}^{\Delta_{1},\Delta_{2}}\in \tilde M_{m,n}(f)$ 具有相同的秩.

参考文献
[1] Akhiezer N I. The Classical Moment Problem and Some Related Questions in Analysis. London:Oliver and Boyd, 1965
[2] 陈公宁, 胡永建. Nevanlinna-Pick 插值和矩量问题. 北京:北京师范大学出版社, 2003
[3] Chen G N, Li X Q. The Nevanlinna-Pick interpolation problems and the power moment problems for matrix-valued functions. Linear Algebra Appl, 1999, 288:123-148
[4] Fritzsche B, Kirstein B, Lasarow A. On rank invariance of Schwarz-Pick-Potapov block matrices of matrix-valued Caratheodory function. Operator Theory:Advances and Applications, 2002, 135:161-181
[5] Fritzsche B, Kirstein B, Lasarow A. On rank invariance of generalized Schwarz-Pick-Potapov block matrices of matrix-valued Caratheodory function. Linear Algebra Appl, 2006, 413:36-58
[6] Fritzsche B, Kirstein B, Lasarow A. On rank invariance of Schwarz-Pick-Potapov block matrices of matrical Schur function. Integral Equation Operator Theory, 2004, 48:305-330
[7] Fritzsche B, Kirstein B, Lasarow A. On rank invariance of moment matrices of nonnegative Hermitian-valued Borel measures on the unit circle. Math Nachr, 2004, 263/264:103-132
[8] Hu Y J, Chen G N. A unified treatment for the matrix Stieltjes moment problem. Linear Algebra Appl, 2004, 380:227-239
[9] Hu Y J, Chen G N. On rank variation of block matrices generated by Nevanlinna matrix functions. Math Nachr, 2009, 282:611-621
[10] 贺勤, 徐清舟, 陈公宁. 矩阵值 Carathéodory 函数广义块 Pick 矩阵的秩不变性. 数学物理学报, 2012, 32A(1):103-112
[11] Krein M G, Nudel'man A A. The Markov Moment Problem and Extremal Problems, Trans Math Monographs 50. Providence:American Math Soc, 1977
[12] Narcowich F J. R-Operators II. On the approximation of certain operator-valued analytic functions and the Hermitian moment problem. Indiana U Math J, 1977, 26:483-513
[13] Huppert B, Blackburn N. Finite Groups II. New York:Springer-Verlag, 1982
[14] Lorenzini D, Tucker T J. The equations and the method of Chabauty-Coleman. Invent Math, 2002, 148:1-46