G(o)del逻辑和L*逻辑中公式的真度分布

研究了G\"{o}del逻辑系统和$L^\ast$逻辑系统中公式的真度的分布情况. 结果表明在G\"{o}del逻辑系统和$L^\ast$逻辑系统中含有$n$个原子命题的公式($n$元公式)的真度集分别为$\{\frac{i}{(n+ 1)!}\vert 0 \le i \le (n + 1)! ,i \in N\}$和$\{\frac{i}{(n + 1)!}\vert 0\le i \le 2^n(n + 1)!,i \in N\}.$ 进而得到了G\"{o}del逻辑系统和$L^\ast$逻辑系统中公式的真度集均为[0,1]上的有理数集. 最后,还给出了两系统中公式的相似度,伪距离的分布情况.     

关于广义{\Phi}-增生算子的最速下降法的收敛定理

设$E$为一致光滑Banach空间,$A:E\to E$为有界次连续广义${\it \Phi} $-增生算子满足:对任意$x_0\in E$,选取$m\ge 1$,使得$\| x_0 - x^* \| \le m$且$\mathop {\underline {\lim } }\limits_{r \to \infty } {\it \Phi} (r) > m\left\| {Ax_0 } \right\|$.设$\{C_n\}$为$[0,1]$中数列满足控制条件: i)$C_n\to 0\,(n\to\infty)$; ii)$\sum\limits_{n = 0}^\infty {C_n } = \infty $.设$\{x_n\}_{n\ge0}$由下式产生x_{n + 1} = x_n - C_n Ax_n ,\q n \ge 0, \eqno{(@)}$$则存在常数$a>0$,当$C_n < a$时,$\{x_n\}$强收敛于$A$的唯一零点$x^{*}$.     

功率和的强逼近

设$\{\xi_n, n\geq 1\}$是正的随机变量序列, $\ep \xi_1=\theta>0$, 设$S_n = \sum\limits_{i=1}^n \xi_i, Y_n=n\theta\log (S_n/(n\theta))$. 在该文中, 当$\{\xi_n\}$是独立同分布或强平稳$\varphi$ -混合的正随机变量序列时,作者给出功率和$\{Y_n\}$用Wiener过程的强逼近结果.     

在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$型螺形映照.     

$l^{0}(\{X_{i}\})$型赋$F$-范空间的共轭空间的表示定理

作者在《数学学报》(2016, {\bf 59}(4))上的一篇文章中, 给出了几个$l^{0}$型赋$F$-范空间的共轭空间的表示定理. 对于赋范空间序列$\{X_{i}\}$,本文研究$l^{0}(\{X_{i}\})$型赋$F$- 范空间的共轭空间的表示问题,得到代数表示连等式$\left(l^{0}(\{X_{i}\})\right)^{*}\stackrel{A}{=}\left(c^{0}_{00}(\{X_{i}\})\right)^{*}\stackrel{A}{=}c_{00}(\{X^{*}_{i}\})$,$$\left(l^{0}(X)\right)^{*}\stackrel{\mathrm{A}}{=}\left(c^{0}(X)\right)^{*}\stackrel{\mathrm{A}}{=}\left(c_{0}^{0}(X)\right)^{*}\stackrel{\mathrm{A}}{=}\left(c^{0}_{00}(X)\right)^{*}\stackrel{\mathrm{A}}{=}c_{00}(X^{*}),$$以及序列弱星拓扑下的拓扑表示定理$\left(c^{0}_{00}(\{X^{*}_{i}\}),sw^{*}\right)=c^{0}_{00}(\{X^{*}_{i}\})$. 对于内积空间序列与通常拓扑下的数域空间序列,文章最后给出了基本表示定理的具体表现形式.     

在${\mathbb{R}}^m$中重对数广义律的精确速率

令\{$X$, $X_n$, $n\ge 1$\}是期望为${\mathbb{E}}X=(0,\ldots,0)_{m\times 1}$和协方差阵为${\rm Cov}(X,X)=\sigma^2I_m$的独立同分布的随机向量列, 记$S_n=\sum_{i=1}^{n}X_i$, $n\ge 1$. 对任意$d>0$和$a_n=o((\log\log n)^{-d})$, 本文研究了${{\mathbb{P}}(|S_n|\ge (\varepsilon+a_n)\sigma \sqrt{n}(\log\log n)^d)$的一类加权无穷级数的重对数广义律的精确速率.     

On an Extension of Hadamard Inequalities for Convex Functions(in English)

设f是区间[a,b]上连续的凸函数，我们证明了Hadamard的不等式 $[f(\frac{{a + b}}{2}) \le \frac{1}{{b - a}}\int_a^b {f(x)dx \le \frac{{f(a) + f(b)}}{2}}$ 可以拓广成对[a,b]中任意n+1个点x_0,\cdots,x_n和正数组p_0,\cdots,p_n都成立的下列不等式 $f(\frac{\sum\limits_{i=0}^n p_ix_i}{\sum\limits_{i=0}^n p_i}) \leq |\Omega|^-1 \int_\Omega f(x(t))dt \leq \frac{\sum\limits _{i=0}^n {p_if(x_i)}}{\sum\limits_{i=0}^n p_i}$ 式中\Omega是一个包含于n维单位立方体的n维长方体，其重心的第i个坐标为$\sum\limits _{j=i}^n p_j /\sum\limits_{j=i-1}^n p_i$,|\Omega|为\Omega的体积，对\Omega中的任意点$t=(t_1,\cdots,t_n)$, $w(t)=x_0(1-t_1)+\sum\limits _{i=1}^{n-1} x_i(1-t_{i+1})\prod\limits_{j = 1}^i {{t_j}} +x_n \prod\limits _{j=1}^n t_j$ 不等式中两个等号分别成立的情形亦已被分离出来。 此不等式是著名的Jensen 不等式的精密化。     

偶图Kn,r-A(|A|≤3)的圈长分布唯一性

阶为$n$的图$G$的圈长分布是序列$(c_1,c_2,\cdots,c_n)$, 其中$c_i$ 是图$G$ 中长为$i$的圈数.设$A\subseteq E(K_{n,r})$.本文得到如下结果: 若$\mid A\mid =2$,且$n\leq r\leq \min\{n+6,2n-5\}$,则$G=K_{n,r}-A$是由它的圈长分布确定的;若$\mid A\mid =3$,且$n \leq r\leq \min\{n+6,2n-7\}$,则$G=K_{n,r}-A$也是由它的圈长分布确定的.     

线性过程关于大数律的精确渐近性

该文主要讨论的是滑线性过程 $X_k=\sum\limits_{i=-\infty}^\infty a_{i+k}\varepsilon_i$,其中 $\{\varepsilon_i; -\infty$\varphi$ -混合或负相伴随机变量序列,$\{a_i;-\inftyp$, 若 $E|\varepsilon_1|^r<\infty$$\lim_{\epsilon\searrow 0}\epsilon^{2(r-p)/(2-p)}\sum\limits_{n=1}^\infty n^{r/p-2}P\{|S_n|\geq \epsilonn^{1/p}\}=\frac{p}{r-p}E|Z|^{2(r-p)/(2-p)},$ 其中 $Z$ 是服从均值为零,方差为 $\tau^2=\sigma^2\cdot(\sum\limits_{i=-\infty}^\infty a_i)^2$的正态分布.     

关于伪压缩映象不动点迭代的一点注记

设$K$是自反的并且具有一致Gateaux可微范数的Banach空间$E$的非空有界闭凸子集.设$T:K\rightarrow K$是一致连续的伪压缩映象.假设$K$的每一非空有界闭凸子集对非扩张映象具有不动点性质.设$\{\lambda_n\}$是$(0,\frac{1}{2}]$中序列满足: (i) $\lim_{n\rightarrow \infty}\lambda_n=0$; (ii) $\sum_{n=0}^{\infty}\lambda_n=\infty$.任给$x_1\in K$,定义迭代序列$\{x_n\}$为:$x_{n+1}=(1-\lambda_n)x_n+\lambda_nTx_n-\lambda_n(x_n-x_1),n\geq 1.$若$\lim_{n\rightarrow \infty}\|x_n-Tx_n\|=0$, 则上述迭代产生的$\{x_n\}$强收敛到$T$的不动点.     

具误差隐格式迭代逼近严格伪压缩映像族公共不动点 (英)

设$K$是实Banach空间$E$中非空闭凸集, $\{T_i\}_i=1^{N}$是$N$个具公共不动点集$F$的严格伪压缩映像, $\{\alpha_n\}\subset [0,1]$是实数列, $\{u_n\}\subset K$是序列, 且满足下面条件 (i)\ 设$K$是实Banach空间$E$中非空闭凸集, $\{T_i\}_i=1^{N}$是$N$个具公共不动点集$F$的严格伪压缩映像, $\{\alpha_n\}\subset [0,1]$是实数列, $\{u_n\}\subset K$是序列, 且满足下面条件 (i)\ 设$K$是实Banach空间$E$中非空闭凸集, $\{T_i\}_i=1^{N}$是$N$个具公共不动点集$F$的严格伪压缩映像, $\{\alpha_n\}\subset [0,1]$是实数列, $\{u_n\}\subset K$是序列, 且满足下面条件 (i)\ 设K是实Banach空间E中非空闭凸集，{Ti}i=1^N是N个具公共不动点集F的严格伪压缩映像，{αn}包括于[0,1]是实数例，{un}包括于K是序列，且满足下面条件（i）0〈α≤αn≤1;（ii）∑n=1∞（1-αn）=＋∞.（iii）∑n=1∞ ‖un‖〈＋∞.设x0∈K,{xn}由正式定义xn=αnxn-1＋（1-αn）Tnxn＋un-1,n≥1,其中Tn=Tnmodn，则下面结论（i）limn→∞‖xn-p‖存在，对所有p∈F；（ii）limn→∞d（xn,F）存在，当d（xn,F）=infp∈F‖xn-p‖；（iii）lim infn→∞‖xn-Tnxn‖=0.文中另一个结果是，如果{xn}包括于[1-2^-n,1]，则{xn}收敛，文中结果改进与扩展了Osilike（2004）最近的结果，证明方法也不同。     

Banach空间中有限族渐进伪压缩映象的迭代程序

Let E be a real Banach space and K be a nonempty closed convex and bounded subset of E. Let Ti ： K→ K, i=1, 2,... ,N, be N uniformly L-Lipschitzian, uniformly asymptotically regular with sequences {ε^（i）n} and asymptotically pseudocontractive mappings with sequences {κ^（i）n}, where {κ^（i）n} and {ε^（i）n}, i = 1, 2,... ,N, satisfy certain mild conditions. Let a sequence {xn} be generated from x1 ∈ K by zn：= （1-μn）xn＋μnT^nnxn, xn＋1 ：= λnθnx1＋ [1 - λn（1 ＋ θn）]xn ＋ λnT^nnzn for all integer n ≥ 1, where Tn = Tn（mod N）, and {λn}, {θn} and {μn} are three real sequences in [0, 1] satisfying appropriate conditions. Then ｜｜xn- Tixn｜｜→ 0 as n→∞ for each l ∈ {1, 2,..., N}. The results presented in this paper generalize and improve the corresponding results of Chidume and Zegeye, Reinermann, Rhoades and Schu.     

单圈图的最大特征值的上界的改进

Let G（V, E） be a unicyclic graph, Cm be a cycle of length m and Cm G, and ui ∈ V（Cm）. The G - E（Cm） are m trees, denoted by Ti, i = 1, 2,..., m. For i = 1, 2,..., m, let eui be the excentricity of ui in Ti and ec = max{eui ： i = 1, 2 , m}. Let κ = ec＋1. Forj = 1,2,...,k- 1, let δij = max{dv ： dist（v, ui） = j,v ∈ Ti}, δj = max{δij ： i = 1, 2,..., m}, δ0 = max{dui ： ui ∈ V（Cm）}. Then λ1（G）≤max{max 2≤j≤k-2 （√δj-1-1＋√δj-1）,2＋√δ0-2,√δ0-2＋√δ1-1}. If G ≌ Cn, then the equality holds, where λ1 （G） is the largest eigenvalue of the adjacency matrix of G.     

一类奇型Sturm-Liouville算子的逆问题

研究了奇型Sturm-Liouville算子的逆问题.对于固定的n∈N,证明了Sturm-Liouville问题(1.3)-(1.5)的第n个特征值λ_n(q,H)关于H是严格单调增加的,及一组不同边界条件下的第n个特征值的谱集合{λ_n(q,H_k)}_(k=1)~(+∞)能够唯一确定(0,πr)上的势函数q(x).     

关于正态分布的次序统计量的随机序

设$X_1,X_2,\cdots,X_n$和$X^*_1,X^*_2,\cdots,X^*_n$分别服从正态分布$N(\mu_i,\sigma^2)$和$N(\mu^*_i,\sigma^2)$,以$X_{(1)}$,$X^*_{(1)}$分别表示$X_1,\cdots,X_n$和$X^*_1,\cdots,X^*_n$的极小次序统计量,以$X_{(n)}$, $X^*_{(n)}$分别表示$X_1,\cdots,X_n$和$X^*_1,\cdots$,$X^*_n$的极大次序统计量. 我们得到了如下结果:(i)\,如果存在严格单调函数$f$使得$(f(\mu_{1}),\cdots,f(\mu_{n}))\succeq_{\text{m}}$ $(f(\mu^{*}_{1}),\cdots,f(\mu^{*}_{n}))$,且$f'(x)f'(x)\!\geq\!0$, 则$X_{(1)}\!\leq_{\text{st}}\!X^*_{(1)}$;(ii)\,如果存在严格单调函数$f$使得$(f(\mu_{1})$,$\cdots,f(\mu_{n}))\succeq_{\text{m}}(f(\mu^{*}_{1}),\cdots,f(\mu^{*}_{n}))$,且$f'(x)f'(x)\leq 0$, 则$X_{(n)}\geq_{\text{st}}X^*_{(n)}$.(iii)\,设$X_{1},X_{2},\cdots,X_{n}$和\, $X^*_{1},X^*_{2},\cdots,X^*_{n}$分别服从正态分布$N(\mu,\sigma_i^2)$和$N(\mu,\sigma_i^{*2})$,若$({1}/{\sigma_{1}},\cdots,{1}/{\sigma_{n}})\succeq_{\text{m}}({1}/{\sigma^{*}_{1}},\cdots,{1}/{\sigma^{*}_{n}})$,则有$X_{(1)}\leq_{\text{st}}X^*_{(1)}$和$X_{(n)}\geq_{\text{st}}X^*_{(n)}$同时成立.     

Banach空间中有限个增生算子公共零点的带误差项的迭代逼近

令E为实一致凸Banach空间,满足Opial条件或其范数是Frechet可微的.令为增生算子,满足值域条件且为非空闭凸子集且满足 .将引入新的带误差项的迭代算法并证明迭代序列弱收敛于{Ai}ki=1的公共零点.     

On Robustness of Orbit Spaces for Partially Hyperbolic Endomorphisms

In this paper, the robustness of the orbit structure is investigated for a partially hyperbolic endomorphism f on a compact manifold M. It is first proved that the dynamical structure of its orbit space(the inverse limit space) M~f of f is topologically quasi-stable under C~0-small perturbations in the following sense: For any covering endomorphism g C~0-close to f, there is a continuous map φ from M~g to Multiply form -∞ to ∞ M such that for any {y_i }_(i∈Z) ∈φ(M~g), y_(i+1) and f(y_i) differ only by a motion along the center direction. It is then proved that f has quasi-shadowing property in the following sense: For any pseudo-orbit {x_i }_(i∈Z),there is a sequence of points {y_i }_(i∈Z) tracing it, in which y_(i+1) is obtained from f(y_i) by a motion along the center direction.     

Hall's theorem revisited

Let 1)$"> be sets. By a simple graph-theoretic argument we show that any set of distinct representatives of can be extended to a set of distinct representatives of in more than ways. This yields a natural induction proof of the well-known theorem of P. Hall.

     

一维$P$-Laplace二阶差分系统奇异边值问题正解的存在性

应用锥压缩锥拉伸不动点定理和Leray-Schauder 抉择定理研究了一类具有P-Laplace算子的奇异离散边值问题$$\left\{\begin{array}{l}\Delta[\phi (\Delta x(i-1))]+ q_{1}(i)f_{1}(i,x(i),y(i))=0, ~~~i\in \{1,2,...,T\}\\\Delta[\phi (\Delta y(i-1))]+ q_{2}(i)f_{2}(i,x(i),y(i))=0,\\x(0)=x(T+1)=y(0)=y(T+1)=0,\end{array}\right.$$的单一和多重正解的存在性,其中$\phi(s) = |s|^{p-2}s, ~p>1$,非线性项$f_{k}(i,x,y)(k=1,2)$在$(x,y)=(0,0)$具有奇性.