一类缺项算子矩阵的四类点谱的扰动

有界线性算子的点谱可进一步细分为4类,分别为$\sigma_{p1}$, $\sigma_{p2}$, $\sigma_{p3}$ 和$\sigma_{p4}$.设 $H, K$为无穷维可分的Hilbert空间,用$M_C$表示$2\times 2$上三角算子矩阵$\left(\begin{array}{cc} A & C \\ 0 & B \\ \end{array} \right)$,对于给定的 $A\in B(H),~B\in B(K)$,描述了集合$\bigcap\limits_{C\in B(K,H)}\sigma_{p1}(M_C)$, $\bigcap\limits_{C\in B(K,H)}\sigma_{p2}(M_C)$, $\bigcap\limits_{C\in B(K,H)}\sigma_{p3}(M_C)$和$\bigcap\limits_{C\in B(K,H)}\sigma_{p4}(M_C)$.     

与群PSL2(\mathcal{R})相关的交叉积{\mathcal{R}(\mathcal{A}},α)的一点注记

在上半复平面$\mathbb{H}$上给定双曲测度$dxdy/y^{2}$, 群$G={\rm PSL}_{2}(\mathbb{R})$ 在$\mathbb{H}$上的分式线性作用导出了$G$在Hilbert空间$L^{2}(\mathbb{H}, dxdy/y^{2})$上的酉表示$\alpha$. 证明了交叉积 $\mathcal{R}(\mathcal{A}, \alpha)$是$\mathrm{I}$型von Neumann代数, 其中$\mathcal{A}= \{M_{f}:f\in L^{\infty}(\mathbb{H},dxdy/y^{2} )\}$. 具体地, 交叉积代数$\mathcal{R}(\mathcal{A}, \alpha)$与von Neumann代数$\mathcal{B}(L^{2}(P, \nu))\overline{\otimes}\mathcal{L}_{K}$是*-同构的, 其中$\mathcal{L}_{K}$是$G$中子群 $K$的左正则表示生成的群von Neumann代数.     

Cn中单位球上$mu$-Bloch函数的等价刻画

设$\mu$是$[0,1)$上的正规函数, 给出了${\bf C}^{\it n}$中单位球$B$上$\mu$-Bloch空间$\beta_{\mu}$中函数的几种刻画. 证明了下列条件是等价的: (1) $f\in \beta_{\mu}$; \ (2) $f\in H(B)$且函数$\mu(|z|)(1-|z|^{2})^{\gamma-1}R^{\alpha,\gamma}f(z)$ 在$B$上有界; (3) $f\in H(B)$ 且函数${\mu(|z|)(1-|z|^{2})^{M_{1}-1}\frac{\partial^{M_{1}} f}{\partial z^{m}}(z)}$ 在$B$上有界, 其中$|m|=M_{1}$; (4) $f\in H(B)$ 且函数${\mu(|z|)(1-|z|^{2})^{M_{2}-1}R^{(M_{2})}f(z)}$ 在$B$上有界.     

一列连续函数的遍历优化

设$T:X\rightarrow X$是紧度量空间$X$上的连续映射, $\mathcal{F}=\{f_n\}_{n\geq 1}$是$X$上的一族连续函数. 如果 $\mathcal{F}$是渐近次可加的, 那么$\sup\limits_{x\in \mathrm{Reg}(\mathcal{F},T)}\lim\limits_{n\rightarrow\infty}\frac 1 n f_n (x)=\sup\limits_{x\in X} \limsup\limits_{n\rightarrow\infty}\frac 1 n f_n (x) =\lim\limits_{n\rightarrow\infty}\frac 1 n \max\limits_{x\in X}f_n (x)=\sup\{\mathcal{F}^*(\mu):\mu\in\mathcal{M}_T\}$, 其中$\mathcal{M}_T$表示$T$-\!\!不变的Borel概率测度空间, $\mathrm{Reg}(\mathcal{F},T)$ 表示函数族$\mathcal{F}$的正规点集, $\mathcal{F}^*(\mu)=\lim\limits_{n\rightarrow\infty}\frac 1 n \int f_n \mathrm{d}\mu$. 这把Jenkinson, Schreiber 和 Sturman 等人的一些结果推广到渐近次可加势函数, 并且给出了次可加势函数从属原理成立的充分条件, 最后给出了 一些相关的应用.     

强不可约算子的K0群及其近似相似不变量

令 $\mathcal H$ 表示复可分的Hilbert空间, ${\mathcal L}({\mathcal H})$ 表示 $\mathcal H$上全体有界线性算子的集合. 算子 $T \in{\mathcal L}{(\mathcal H)}$称为是强不可约的, 如果不存在非平凡的幂等元与 T 可交换. 对强不可约算子的近似不变量给出比以往文献更精细的刻画. 主要结果如下: 对任意具有连通谱的有界线性算子 T 及 ε>0, 存在强不可约算子A, 使得 $\|A-T\|<\varepsilon$, $V({\mathcal A}^{\prime}(A))\cong{\mathbb{N}}$, $K_{0}({\mathcal A}^{\prime}(A))\cong{\mathbb{Z}}$, 且 ${{\mathcal A}^{\prime}(A)}/{\rm rad}{{\mathcal A}^{\prime}(A)}$ 可交换, 这里${\mathcal A}^{\prime}(A)$ 表示A 的换位代数, 且 ${\rm rad}{\mathcal A}^{\prime}(A)$ 表示${\mathcal A}^{\prime}(A)$的Jacobson根.     

涉及分担超平面的正规定则

在本文中, 作者继续讨论涉及分担超平面的全纯曲线的正规性, 得到了如下结果:设$\mathcal F$是一族从区域$D\subset\mathbb C$到$\mathbb P^N(\mathbb C)$上的全纯曲线,$H_j=\{x\in\mathbb P^N(\mathbb C):\langle\bm{x},\alpha_j\rangle=0\}$是$\mathbb P^N(\mathbb C)$中处于一般位置的超平面, 这里$\alpha_j=(a_{j0},\cdots,a_{jN})^{\rm T}$且$a_{j0}\ne0$, $j=1,2,\cdots,2N+1$.若对于任意的$f\in\mathcal F$, 满足下列两个条件:(i) 如果$f(z)\in H_j$, 那么$\nabla f\in H_j$, 这里$j=1,2,\cdots,2N+1$;(ii) 如果$f(z)\in\bigcup\limits_{j=1}^{2N+1} H_j$, 那么$\frac{|\langle f(z),H_0\rangle|}{\|f\|\|H_0\|}\ge \delta$, 这里$0<\delta<1$是一个常数,而$H_0=\{w_0=0\}$,\noindent 则$\mathcal F$在$D$上正规.     

素*-代数上的非线性混合双斜Jordan三重导子

设$\mathcal{A}$是一个包含非平凡投影的单位素*-代数.本文证明了一个映射$\Phi:\mathcal{A}\rightarrow\mathcal{A}$满足对任意$A,B,C\in\mathcal{A}$有$\Phi([A,B]_{\diamond}\circC)=[\Phi(A),B]_{\diamond}\circC+[A,\Phi(B)]_{\diamond}\circC+[A,B]_{\diamond}\circ\Phi(C)$当且仅当$\Phi$是一个可加的*-导子, 其中$A\circ B=A^{*}B+B^{*}A$和$[A,B]_{\diamond}=A^{*}B-B^{*}A$.     

DMk OPERATORS AND SPECTRAL OPERATORS

1谱位于平面上的有界\[{\mathcal{D}_{ < {M_k} > }}\]型算子 记号与[1,2]相同，不再一一赘述.设序列 {Mk}满足（M.1)，(M.2)，(M.3)即.对数凸性、非拟解析性、可微性[1]. 由{M（k）}我们可以 定义二元相关函数\[M({t_1},{t_2})\](详见[7])以及二元\[{\mathcal{D}_{ < {M_k} > }}\]空间 \[{\mathcal{D}_{ < {M_k} > }} = \{ \varphi |\varphi \in \mathcal{D};\exists \nu ,st{\left\| \varphi \right\|_\nu } = \mathop {\sup }\limits_\begin{subarray}{l} s \in {R^2} \\ {k_i} \geqslant 0 \\ (i = 1,2) \end{subarray} |\frac{{{\partial ^{{k_1} + {k_2}}}}}{{{\partial ^{{k_1}}}{s_1}\partial _{{s_2}}^{{k_2}}}}\varphi (s)|/{\nu ^k}{M_k} < + \infty \} \] 其中\[s = ({s_1},{s_2})k = {k_1} + {k_2}\].关于谱位于复平面上的有界\[{\mathcal{D}_{ < {M_k} > }}\]型算子的定义及性质可 参看[3,4].设X为Banach空间，B(X)为X上有界线性算子的全体组成的环.当 \[T \in B(X)\]为\[{\mathcal{D}_{ < {M_k} > }}\]型算子时，有\[T = {T_1} + i{T_2};{T_1} = {U_{Ret}}{T_2}{\text{ = }}{U_{\operatorname{Im} {\kern 1pt} t}}\] ,此处U为T的谱超广义函数，t为复变量.由于supp(U)为紧集，故可将U延拓到\[{\varepsilon _{ < {M_k} > }}\]上且保持连续性. 经过简单的计算，若\[T \in B(X)\]为谱位于平面上的一个\[{\mathcal{D}_{ < {M_k} > }}\]型算子，则T的一个谱 超广义函数（1）U可表成 \[{U_\varphi } = \int_{ - \infty }^{ + \infty } {\int_{ - \infty }^{ + \infty } {{e^{i({t_1}{T_1} + {t_2}{T_2})}}\hat \varphi } } ({t_1},{t_2})d{t_1}d{t_2}\] 设\[T \in B(X)\]为谱算子，S、N、E（.)分别为T的标量部分、根部、谱测度.下面的定理给出了谱算子成为\[{\mathcal{D}_{ < {M_k} > }}\]型算子的一个充分条件： 定理1设T为谱算子适合下面的条件 \[\mathop {\sup }\limits_{k > 0} \mathop {\sup }\limits_\begin{subarray}{l} |{\mu _j}| < 1 \\ {\delta _j} \in \mathcal{B} \\ j = 1,2,...,k \end{subarray} {(\left\| {\frac{{{N^n}}}{{n!}}\sum\limits_{j = 1}^k {{\mu _j}E({\delta _j})} } \right\|{M_n})^{\frac{1}{n}}} \to 0(n \to \infty )\] 其中\[\mathcal{B}\]为平面本的Borel集类.则T为\[{\mathcal{D}_{ < {M_k} > }}\]型算子且它的一个谱广义函数可表为 \[{U_\varphi } = \sum\limits_{n = 0}^\infty {\frac{{{N^n}}}{{n!}}} \int {{\partial ^n}} \varphi (s)dE(s)\] 推论1设E（?），N满足 \[{(\frac{{{M_n}}}{{n!}} \vee ({N^n}E))^{\frac{1}{n}}} \to 0\] 则T为\[{\mathcal{D}_{ < {M_k} > }}\]型算子. 推论2设N为广义幂零算子，则对于任何与N可换的标量算子S,S+N为\[{\mathcal{D}_{ < {M_k} > }}\]型算子的充分必要条件是 \[{(\frac{{\left\| {{N^n}} \right\|}}{{n!}}{M_n})^{\frac{1}{n}}} \to 0{\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} (n \to \infty )\] 在[4]中称满足上式的算子为\[\{ {M_k}\} \]广义幂零算子.显然\[\{ {M_k}\} \]广义幂零算子必为通 常的广义幂零算子.下面的命题给出了\[\{ {M_k}\} \] 广义幂零算子的一些性质. 命题 设N为广义幂零算子，则下列事实等价： (i ) N为\[\{ {M_k}\} \]广义幂零算子； (ii)对于任给的\[\lambda > 0\],存在\[{B_\lambda } > 0\]使(1) \[\left\| {R(\xi ,N)} \right\| \leqslant {B_\lambda }{e^{{M^*}(\frac{\lambda }{{|\xi |}})}}\](\[{|\xi |}\]充分小)； (iii)对于任给的\[\mu > 0\],存在\[{A_\mu } > 0\]使 \[\left\| {{e^{izN}}} \right\| \leqslant {A_\mu }{e^{M(\mu |z|)}}\] 2谱位于实轴上的有界\[{\mathcal{D}_{ < {M_k} > }}\]型算子本节讨论有界\[{\mathcal{D}_{ < {M_k} > }}\]型算子T成为谱算子 的条件，这里假定\[{\mathcal{D}_{ < {M_k} > }}\]中的函数是一元的，于是Т的谱位于实轴上.X^*表示X的共轭 空间. 设\[f \in {\mathcal{D}^'}_{ < {M_k} > }\]，由[8, 9]，存在测度\[{\mu _n}(n \geqslant 0)\]使得对任何h>0,存在A>0适合 \[\sum\limits_{n = 0}^\infty {\frac{{{h^n}}}{{n!}}} {M_n}\int {|d{\mu _n}| \leqslant A} \]且 \[ < f,\varphi > = \sum\limits_{n = 0}^\infty {\frac{1}{{n!}}} \int {{\varphi ^{(n)}}} (t)d{\mu _n}(t)\] 一般说，上述\[{\mu _n}(n \geqslant 0)\]不是唯一的，为此我们引入 定义设\[{n_0}\]为正整，如果对一切\[n \geqslant {n_0}\]，存在测度\[{{\mu _n}}\]，它们的支集均包含在某一L 零测度闭集内，则称f是\[{n_0}\]奇异的，若\[{n_0}\] = 1，则称f是奇异的.设\[T \in B(X)\]为\[{\mathcal{D}_{ < {M_k} > }}\]型 算子，U为其谱超广义函数，如果对于任何\[x \in X{x^*} \in {X^*},{x^*}U\].x是\[{n_0}\]奇异的（奇异 的)，则称T是\[{n_0}\]奇异的(奇异的）\[{\mathcal{D}_{ < {M_k} > }}\]型算子. 经过若干准备，可以证明下面的 定理2 设X为自反的Banach空间，则\[T \in B(X)\]为奇异\[{\mathcal{D}_{ < {M_k} > }}\]型算子的充分必要 条件是T为满足下列条件的谱算子： (i)对每个\[x \in X\]及\[{x^*} \in X\]，\[\sup p({x^*}{N^n}E()x)\]包含在一个与\[n \geqslant 1\]无关的L零测 度闭集F内(F可以依赖于\[x{x^*}\])，此处E(?)、N分别是T的谱测度与根部； (ii)算子N是\[\{ {M_k}\} \]广义幂零算子. 推论 设X为自反的banach空间，\[T \in B(X)\]为奇异\[{\mathcal{D}_{ < {M_k} > }}\]型算子且\[\sigma (T)\]的测度 为零的充分必要条件是T为满足下列条件的谱算子： (i) E(?）的支集为L零测度集； (ii) 算子N是\[\{ {M_k}\} \]广义幂零算子.；     

一类非线性分数阶薛定谔-泊松系统非零解的存在性

本文研究了分数阶薛定谔-泊松系统$$\left\{\begin{array}{l}(-\Delta)^su+u+\phi u=\lambda f(u)\ \text {in} \ \mathbb {R}^3, \\ (-\Delta)^{\alpha}\phi =u^2\ \text {in} \ \mathbb {R}^3\emph{},\end{array}\right. $$ 非零解的存在性, 其中$s\in (\frac{3}{4},1), \alpha\in(0,1),\lambda$ 是正参数, $(-\Delta)^s,(-\Delta)^{\alpha}$是分数阶拉普拉斯算子. 在一定的假设条件下, 利用扰动法和Morse迭代法, 得到了系统至少一个非平凡解.     

EXISTENCE OF DISCONTINUOUS SOLUTIONS FOR A DOUBLY DEGENERATE ELLIPTIC EQUATIONS ON $R^N$

It is demonstrated that under the hypotheses I—III the problem $\[\left\{ {\begin{array}{*{20}{c}} {div((k(U) + \varepsilon )|DU{|^{M - 1}}DU) = f(|x|,U) + \varepsilon U{\text{ }}in{\text{ }}{R^N},N > 1,{\text{ (1}}{\text{.1}}{{\text{)}}_\varepsilon }} \ {U(0) > 0,U(x) \geqslant 0{\text{ on }}{R^N},U(x) \to 0{\text{ as }}|x| \to + \infty {\text{ }}(1.2)} \end{array}} \right.\]$ for each fixed $\epsilon >0$ has infinitely many distinct radially symmetric solutions $U_\epsilon=V_\epsilon(|x|)$ such that $V_\epsilon(s),s^{N-1}(k(V_\epsilon(s))+\epsilon)|V''(s)|^{M-1}V''_\epsilon(s)\in C[0,+\infinity)\capC^1(0,+\infinity)$, $\[\left\{ {\begin{array}{*{20}{c}} {({s^{N - 1}}(k({V_\varepsilon }(s)) + \varepsilon )|V''(s){|^{M - 1}}V''(s)) = {\varepsilon ^{N - 1}}(f(s,{V_\varepsilon }(s)) + \varepsilon {V_\varepsilon }(s))for{\text{ }}s > 0,{{(1.3)}_\varepsilon }} \ {{V_\varepsilon }(0) = B > 0,{V_\varepsilon }(s) \geqslant 0{\text{ for }}s > 0,and{\text{ }}{V_\varepsilon }( + \infty ) = 0,(1.4)} \end{array}} \right.\]$ where B is a positive number chosen arbitrarily, which extends the result in [3]. In particular, the author proves that $U_0(x)=V_0(|x|)$ is a weak solution of the problem $(l.l)_0-(1.2)$.     

三角Banach代数的Lie弱顺从性

设$\mathcal {A,\ B}$ 是含单位元的Banach代数, $\mathcal M$ 是一个Banach $\mathcal {A,\ B}$-双模. $\mathcal {T}=\left ( \begin{array}{cc} \mathcal {A} & \mathcal M \\ & \mathcal {B} \\ \end{array} \right )$按照通常矩阵加法和乘法,范数定义为$\|\left( \begin{array}{cc} a & m \\ & b\\ \end{array} \right)\|=\|a\|_{\mathcal A}+\|m\|_{\mathcal M}+\|b\|_{\mathcal B}$,构成三角Banach 代数.如果从$\mathcal T$到其$n$次对偶空间$\mathcal T^{n}$上的Lie导子都是标准的,则称$\mathcal T$是Lie $n$弱顺从的.本文研究了三角Banach代数$\mathcal T$上的Lie $n$弱顺从性,证明了有限维套代数是Lie $n$弱顺从的.     

Approximate Controllability of Nonlinear Delay Integro Differential Evolution Equations with Random Impulses

The basic concept of this research is to analyse the approximate controllability (AC) of a nonlinear delay integrodifferential evolution system (NDIDES) with random impulse of the type \begin{align*}&z''(\zeta)=\mathfrak{A}(\zeta)z(\zeta)+(\mathfrak{B}x)(\zeta)+\int_{0}^{\zeta}\mathcal{H}(\zeta, s,z(\beta(s))), \ \sigma_{q} <\zeta < \sigma_{q+1}, \ \zeta\in [\zeta_{0}, \mathcal{T}], \\ &z(\sigma_{q})=a_{q}(\tau_{q})z(\sigma^{-}_{q}), ~~q = 1,2,\ldots,\\ &z_{\zeta_{0}}=\upsilon,\end{align*} by assuming that the linear system is approximately controllable. The existence and uniqueness of the mild solution to above system have been determined by using the Banach contraction principle and trajectory accessible sets. We generalize the results for NDIDES with and without fixed-type impulsive moments.     

从$L^{\infty}$空间到Bloch型空间一类奇异积分算子的范数

本文研究了单位圆盘上从$L^{\infty}(\mathbb{D})$空间到Bloch型空间 $\mathcal{B}_\alpha$ 一类奇异积分算子$Q_\alpha, \alpha>0$的范数, 该算子可以看成投影算子$P$ 的推广,定义如下$$Q_\alpha f(z)=\alpha \int_{\mathbb{D}}\frac{f(w)}{(1-z\bar{w})^{\alpha+1}}\d A(w),$$ 同时我们也得到了该算子从 $C(\overline{\mathbb{D}})$空间到小Bloch型空间$\mathcal{B}_{\alpha,0}$上的范数.     

在Banach空间中推广的 Roper-Suffridge算子(III)

假定 $X$ 是具有范数$\|\cdot\|$的复 Banach 空间, $n$ 是一个满足 $\dim X\geq n\geq2$的正整数. 本文考虑由下式定义的推广的Roper-Suffridge算子 $\Phi_{n,\beta_2, \gamma_2, \ldots , \beta_{n+1}, \gamma_{n+1}}(f)$: \begin{equation} \begin{array}{lll} \Phi _{n, \beta_2, \gamma_2, \ldots, \beta_{n+1},\gamma_{n+1}}(f)(x) &;\hspace{-3mm}=&;\hspace{-3mm}\dl\he{j=1}{n}\bigg(\frac{f(x^*_1(x))}{x^*_1(x)})\bigg)^{\beta_j}(f''(x^*_1(x))^{\gamma_j}x^*_j(x) x_j\\ &;&;+\bigg(\dl\frac{f(x^*_1(x))}{x^*_1(x)}\bigg)^{\beta_{n+1}}(f''(x^*_1(x)))^{\gamma_{n+1}}\bigg(x-\dl\he{j=1}{n}x^*_j(x) x_j\bigg),\nonumber \end{array} \end{equation} 其中 $x\in\Omega_{p_1, p_2, \ldots, p_{n+1}}$, $\beta_1=1, \gamma_1=0$ 和 \begin{equation} \begin{array}{lll} \Omega_{p_1, p_2, \ldots, p_{n+1}}=\bigg\{x\in X: \dl\he{j=1}{n}| x^*_j(x)|^{p_j}+\bigg\|x-\dl\he{j=1}{n}x^*_j(x)x_j\bigg\|^{p_{n+1}}<1\bigg\},\nonumber \end{array} \end{equation} 这里 $p_j>1 \,( j=1, 2,\ldots, n+1$), 线性无关族 $\{x_1, x_2, \ldots, x_n \}\subset X $ 与 $\{x^*_1, x^*_2, \ldots, x^*_n \}\subset X^* $ 满足 $x^*_j(x_j)=\|x_j\|=1 (j=1, 2, \ldots, n)$ 和 $x^*_j(x_k)=0 \, (j\neq k)$, 我们选取幂函数的单值分支满足 $(\frac{f(\xi)}{\xi})^{\beta_j}|_{\xi=0}= 1$ 和 $(f''(\xi))^{\gamma_j}|_{\xi=0}=1, \, j=2, \ldots , n+1$. 本文将证明: 对某些合适的常数$\beta_j, \gamma_j$, 算子$\Phi_{n,\beta_2, \gamma_2, \ldots, \beta_{n+1}, \gamma_{n+1}}(f)$ 在$\Omega_{p_1, p_2, \ldots , p_{n+1}}$上保持$\alpha$阶的殆$\beta$型螺形映照和 $\alpha$阶的$\beta$型螺形映照.     

在Freud正交多项式零点处的Gr\"{u}nwald插值算子的收敛性

设$W_{\beta}(x)=\exp(-\frac{1}{2}|x|^{\beta})~(\beta > 7/6)$ 为Freud权, Freud正交多项式定义为满足下式$\int_{- \infty}^{\infty}p_{n}(x)p_{m}(x)W_{\beta}^{2}(x)\rd x=\left \{ \begin{array}{ll} 0 & \hspace{3mm} n \neq m , \\ 1 & \hspace{3mm}n = m \end{array} \right.$的     

UNBOUNDED SELF-ADJOINT OPERATOR ΠK SPACE

如果A是Πsubsub空间上的自共轭算子，由文[1]可知存在空间昨一个标准分解 \[{\Pi _k} = N \oplus \{ Z + {Z^*}\} \oplus P\] 在此分解下，A有三角模型\[A = \{ S,{A_N},{A_p},F,G,Q\} \].利用三角模型，我们直接证明了 定理1设A是\[{\Pi _k}\]上的-共轭算子，n是任何自然数，那末\[{A^n}\]也是自共轭算子. 定理2设A是\[{A^n}\]上的自共轭算子，那末对所有的\[{A^n}(n = 1,2,...)\]，存在一个公共 的标准分解，在此分解下 \[\begin{gathered} {A^n} = \{ {S^n},A_N^n,A_P^n,\sum\limits_{i = 0}^{n - 1} {{S^i}} FA_N^{n - 1 - i},\sum\limits_{i = 0}^{n - 1} {{S^i}GA_P^{n - 1 - i}} , \hfill \ \sum\limits_{i = 0}^{n - 1} {{S^i}} Q{S^{*n - 1 - i}} - \sum\limits_{i + j + k = n - 2} {{S^i}(FA_N^j{F^*} + GA_P^j{G^*}){S^{*k}}} \} \hfill \\ \end{gathered} \] 定理3 设A是瓜空间上的自共轭算子，\[\sigma (A) \subset [0,\infty ),0 \notin {\sigma _P}(A),\]，那末存在唯 一的自共轭算子A1，满足\[A_1^n = A,\sigma ({A_1}) \subset [0,\infty )\] 其次，我们研究了谱系在临界点附近的性状.记临界点全体为\[C(A)\]).对 \[{\lambda _0} \in C(A)\]记S与入0相应的最高阶根向量的阶数为\[r({\lambda _0})\] 定理4设A是\[{\Pi _k}\]空间上的无界自共轭算子，\[C(A) \cap ({\mu _1},{\nu _1}) = \{ {\lambda _0}\} \],那末以下四 个命题等价： (i）\[\mathop {sup}\limits_{\mu ,\nu } \{ \left\| {{E_{\mu \nu }}} \right\||{\lambda _0} \in (\mu ,\nu ) \subset ({\mu _1},{\nu _1})\} < \infty \] (ii）\[{\mu ^{{\text{1}}}}...,{\mu ^{{{\text{k}}_{\text{0}}}}}\]是全有限的测度； （iii）\[s - \lim {\kern 1pt} {\kern 1pt} {\kern 1pt} {E_{\mu \nu }}\]存在； （iv)A与\[{\lambda _0}\]相应的根子空间\[{\Phi _{{\lambda _0}}}\]非退化；这里\[{\mu ^{{\text{1}}}}...,{\mu ^{{{\text{k}}_{\text{0}}}}}\]是由\[{A_P}\]与G导出的测度. 定通5 设A是\[{\Pi _k}\]上自共轭算子，\[{\lambda _0} \in C(A),r({\lambda _0}) = n\]，那么 （i）\[{E_{\mu \nu }}\]在\[{{\lambda _0}}\]处的奇性次数不超过2n， （ii）\[s - \mathop {\lim }\limits_{\varepsilon \to 0} \int_{[{M_1},{\lambda _0} - \varepsilon )} {(t - {\lambda _0}} {)^{2n}}d{E_t},s - \mathop {\lim }\limits_{\varepsilon \to 0} \int_{[{\lambda _0} + \varepsilon ,{M_2})} {(t - {\lambda _0}} {)^{2n}}d{E_t},\]存在。这里\[{M_1},{M_2}\]满足\[[{M_1},{M_2}] \cap C(A) = \{ {\lambda _0}\} \] 定理6 设A是\[{\Pi _k}\]上的自共轭算子，临界点集\[C(A) = \{ {\lambda _1},...,{\lambda _l},{\lambda _{l + 1}},{\overline \lambda _{l + 1}},...,{\lambda _{l + p}},{\overline \lambda _{l + p}},\]，这里\[\operatorname{Im} {\lambda _v} = 0(1 \leqslant \nu \leqslant l),r({\lambda _\nu }) = {n_\nu }\]那么有 \[{(\lambda - A)^{ - 1}} = \int_{ - \infty }^\infty {K(\lambda ,t)d{E_t}} + \sum\limits_{\nu = 1}^l {\sum\limits_{i = 1}^{2{n_\nu } + 1} {\frac{{{B_{\nu i}}}}{{{{(\lambda - {\lambda _\nu })}^i}}}} } + \sum\limits_{\nu = l + 1}^{l + p} {\sum\limits_{i = 1}^{{n_\nu }} {[\frac{{{B_{\nu i}}}}{{{{(\lambda - {\lambda _\nu })}^i}}}} } + \frac{{B_{\nu i}^ + }}{{{{(\lambda - {{\overline \lambda }_v})}^i}}}]\] 这里 \[K(\lambda ,t) = \frac{1}{{\lambda - t}} - \sum\limits_{v = 1}^l {\delta (t - {\lambda _v}} )\sum\limits_{i = 1}^{2{n_v}} {\frac{{{{(t - {\lambda _v})}^{i - 1}}}}{{{{(\lambda - {\lambda _v})}^i}}}} ,\delta \lambda {\text{ = }}\left\{ \begin{gathered} {\text{1}}{\text{|}}\lambda {\text{| < }}\delta \hfill \ {\text{0}}{\text{|}}\lambda {\text{|}} \geqslant \delta \hfill \\ \end{gathered} \right.\] \[0 < \delta < \mathop {\min }\limits_\begin{subarray}{l} 1 \leqslant \mu ,v \leqslant l \\ {\lambda _\mu } \ne {\lambda _v} \end{subarray} |{\lambda _\mu } - {\lambda _v}|\].对\[1 \leqslant v \leqslant l\]，\[{B_{vi}}\]是\[{\Pi _k}\]上的有界自共轭算子，而当\[l + 1 \leqslant v \leqslant l + p\]时，\[{B_{vi}} = {({\lambda _\mu } - S)^{i - 1}}{P_{\lambda v}}\]是以与\[{{\lambda _v}}\]相应的根子空间为值域的某些平行投影. 定理7 在定理6的条件下，有 \[\begin{gathered} {\text{f}}(A) = \int_{ - \infty }^\infty {[f(t) - \sum\limits_{v = 1}^l {\delta (t - {\lambda _v}} } )\sum\limits_{i = 0}^{2{n_v} - 1} {\frac{{{f^{(i)}}({\lambda _v})}}{{i!}}} (t - {\lambda _v})d{E_t} \hfill \ {\text{ + }}\sum\limits_{{\text{v = 1}}}^{\text{l}} {\sum\limits_{i = 0}^{2{n_v}} {\frac{{{f^{(i)}}({\lambda _0})}}{{i!}}} } {B_v} + \sum\limits_{v = l + 1}^{l + p} {\sum\limits_{i = 0}^{{n_v} - 1} {[\frac{{{f^{(i)}}({\lambda _v})}}{{i!}}} } {B_{vi}} + \frac{{{f^{(i)}}({{\overline \lambda }_v})}}{{i!}}B_{vi}^ + ] \hfill \\ \end{gathered} \] 这里\[f(\lambda )\]在\[\sigma (A)\]的一个邻域内解析. 为了建立更一般的算子演算，我们引入两个特殊的代数： \[{\Omega _n} = \{ (f,\{ {a_i}\} _{i = 0}^{2n})|f\]为Borel可测函数，\[\{ {a_i}\} \]为一常数}。对\[F = (f,\{ {a_i}\} ) \in {\Omega _n},G = (g,\{ {b_i}\} ) \in {\Omega _n}\]，定义 \[\begin{gathered} \alpha F + \beta G = (\alpha f + \beta G,\{ \alpha {a_i} + \beta {b_i}\} ) \hfill \ F \cdot G = (f \cdot g,\{ \sum\limits_{j = 0}^i {{a_j}} {b_{i - j}}\} ),\overline F = (\overline f ,\{ {\overline a _i}\} ) \hfill \\ \end{gathered} \] 显然\[{\Omega _n}\]是一个交换代数，它的子代数\[{\omega _n}\]定义为 \[{\omega _n} = \{ F = (f,\{ {a_i}\} ) \in {\Omega _n}|\]在0点的一个与F有关的邻域中，成立\[{\text{|f(t) - }}\sum\limits_{i = 0}^{2n} {a{t^i}} | \leqslant {M_F}|t{|^{2n + 1}},{M_F}\]与F有关} 定义 设A是\[{\Pi _k}\]上的自共轭算子，C（A）={0}，r(0)=n,对\[F = (f,\{ {a_i}\} ) \in {\omega _n}\]，定义 \[\begin{gathered} FA{\text{ = }}\int_{{\text{ - }}\infty }^\infty {|f(t) - \sum\limits_{i = 0}^{2n} {{a_i}} } {t^i}{|^2}d{E_t} + \sum\limits_{i = 0}^{2n} {{a_i}} {A^i} \hfill \ DF(A)) = D({A^{2n}}) \cap \{ x \in {\Pi _k}\int_{{\text{ - }}\infty }^\infty {|f(t) - \sum\limits_{i = 0}^{2n} {{a_i}} } {t^i}{|^2}d{\left\| {{E_t}x} \right\|^2} < \infty \hfill \\ \end{gathered} \] 如果f解析，\[F = (f,\{ \frac{{{f^{(i)}}(0)}}{{i!}}\} )\]，那么可得F（A）=f（A）。 定理8 设A是有界自共轭算子，C（A）={0}，r（0）=n，\[G \in {\omega _n}\]，那么 \[\begin{gathered} \overline F (A) = {[F(A)]^ + },(\alpha F + \beta G)(A) = \alpha F(A) + \beta G(A) \hfill \ (FG)(A) = F(A)G(A). \hfill \\ \end{gathered} \] 定理9 设A是\[{\Pi _k}\]上的自共轭算子，C（A）={0}，r（0）=n，\[{F_1} = ({f_1},\{ {a_i}\} ) \in {\Omega _n}\]，\[{F_2} = ({f_2},\{ {a_i}\} ) \in {\omega _n},{f_1},{f_2}\]在\[( - \infty ,\infty )\]连续，在\[\sigma (A)\]上恒等，那么\[{F_1}(A) = {F_2}(A)\]。 定理10 设A是\[{\Pi _k}\]上自共轭算子C（A）={0}，r（0）=n，\[F = (f,\{ {a_i}\} ) \in {\Omega _n}\]f是连续函数，那么\[\sigma (F(A)) = \{ f(t)|t \in \sigma (A)\} \]。 在定理11中，我们建立了F（A）的三角模型并由此证明当\[F = \overline F \]时，\[C(F(A)) = \{ f(t)|t \in C(A)\} \] 定理12 设A施可析\[{\Pi _k}\]空间上的自共轭算子，C（A）={0}，r（0）=n，与0相应的根子空间非退化，T是稠定闭算子，那么\[T \in {\{ A\} ^{'}}\]的充要条件是存在\[F \in {\Omega _n}\]，使T=F（A）。这里\[{\{ A\} ^{'}} = \{ T|\]对满足\[BA \subset AB\]的有界算子B，均有\[BT \subset TB\]}     

MEAN APPROXIMATION OF A PERIODIC FUNCTION BY THE PARTIAL SUMS OF ITS FOURIER SERIES

Given a sequence of positive real numbers \[{\varepsilon _0},{\varepsilon _1},...,{\varepsilon _n},...\] which satisfy the conditions \[{\varepsilon _v} \to 0,{\varepsilon _v} - {\varepsilon _{v + 1}} \ge 0,{\varepsilon _v} - 2{\varepsilon _{v + 1}} + {\varepsilon _{v + 2}} \ge 0\] for v =0, 1, 2, ..., and a class L(s) of 2pi-periodic, L-integrable functions f(x) such that \[{E_n}{(f)_L} \le {\varepsilon _n}(n = 0,1,2,...)\], where \[{E_n}{(f)_L}\] is the best mean approximation of f(x) by trigonometrical polynomials of degree ≤n Let \[{S_n}(f)\] be the n-th partial sum of the Fourier series of f(x). It’s known that Oskolkov has proved \[\mathop {\sup }\limits_{f \in L(\varepsilon )} ||f - {S_n}{(f)_L}|| = \sum\limits_{v = n}^{2n} {\frac{{{\varepsilon _n}}}{{v - n + 1}}} \] where \[||f|{|_L} = \int_0^{2\pi } {|f(x)|} dx\] Oskolkov asked whether there is a single function \[{f_0}(x) \in L(s)\] for which the above relation is satisfied for all n, In this paper the following result is obtained. Theorem Let \[L(\varepsilon )\] be a class of 2pi-periodic, L-integrable functions as giyen above, then there exists a funotion \[{f_0}(x) \in L(\varepsilon )\] such that \[{{\tilde f}_0}(x) \in L(\varepsilon )\] and \[\begin{array}{l} \overline {\mathop {\lim }\limits_{n \to \infty } } \frac{{{{\left\| {{f_0} - {S_n}({f_0})} \right\|}_L}}}{{\sum\limits_{v = n}^{2n} {\frac{{{\varepsilon _n}}}{{v - n + 1}}} }} \ge C > 0\\overline {\mathop {\lim }\limits_{n \to \infty } } \frac{{{{\left\| {{{\tilde f}_0} - {S_n}({{\tilde f}_0})} \right\|}_L}}}{{\sum\limits_{v = n}^{2n} {\frac{{{\varepsilon _n}}}{{v - n + 1}}} }} \ge C > 0 \end{array}\] where C is an absolute constant. Some generalizations of the theorem are given.     

一致L-Lipschitz的渐近伪压缩映象不动点的Ishikawa迭代逼近问题

在任意实的Banach空间中研究了用具误差的修正的Ishikawa与Mann迭代程序来逼近一致L-Lipschitz的渐近伪压缩映象不动点的强收敛性问题,在去掉条件$$\sum\limits_{n=0}^{\infty}\alpha_{n}^{2}<\infty, \q \sum\limits_{n=0}^{\infty }\gamma_{n}<\infty,\q \sum\limits_{n=0}^{\infty }\alpha_{n}(\beta_{n}+\delta_{n})<\infty,\q \sum\limits_{n=0}^{\infty}\alpha_{n}(k_{n}-1)<\infty$$之下,证明了相关文献的结果仍然成立.所得结果不但改进和推广了最近一些人的最新结果,而且也从根本上改进了定理的证明方法.     

重调和方程非平凡解的存在性

该文主要研究$R^N(N>4)$上重调和方程\begin{eqnarray*}\left\{\begin{array}{ll} \Delta^2 u+\lambda u=\overline{f}(x,u);\\ \lim\limits_{|x|\rightarrow\infty}u(x)=0;\\u\in{H^2}(R^N),\hspace{0.1cm}x\in{R^N } \end{array}\right.\end{eqnarray*}的非平凡解的存在性.为了便于研究,将方程转化为$R^N(N>4)$ 上带有扰动项的重调和方程\begin{eqnarray*}\left\{\begin{array}{ll} \Delta^2 u+\lambda u=f(u)+\varepsilon g(x,u);\\ \lim\limits_{|x|\rightarrow\infty}u(x)=0;\\u\in{H^2}(R^N),\hspace{0.1cm}x\in{R^N } .\end{array}\right.\end{eqnarray*}并运用扰动方法进行研究(其中$f(u)=\lim\limits_{|x|\longrightarrow \infty}\overline{f}(x,u),\varepsilon g(x,u)=\overline{f}(x,u)-f(u),\varepsilon$为任意小常数),证明了在适当条件下上述问题非平凡解的存在性.     

A DIRECT SEARCH METHOD BY THE LOCAL POSITIVE BASIS FOR LINEARLY CONSTRAINED OPTIMIZATION

讨论下列线性约束最优化问题 \[LNP{\kern 1pt} {\kern 1pt} {\kern 1pt} \mathop {\min }\limits_{{\text{x}} \in X} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\text{f}}(x),X = \{ x|x \in {R^n},{({a^i})^T}x \geqslant {a_i},i \in {I_m}\} \] 其中\[{I_m} = \{ 1,2,...,m\} \]，对于X中的能行点，定义了局部能行锥与相应的局部正基一 即生成该锥的一组正独立的向量，给出了沿着局部正基方向进行目标函数值比较与迭代 点移动的算法模型，简称为局部正交基方向搜索法，本文并证明了这算法的收敛性定理： 定理 设约束集合\[X = \{ x|{({a^i})^T}x \geqslant {a_i},i \in {I_m}\} \]非空有界且非退化，目标函数f(x)连续可微，{yi}是局部正基方向搜索法产生的某个点列，那么{yi}的任意极限点x*必是问题（TNP）的Kuhn-Tucker点。