σ-相关同伦元素的非平凡性

本文中,通过几何方法证明了σ相关同伦元素在球面稳定同伦群π_mS中是非平凡的,其中m=p~(n+1)q+2p~nq+(s+3)p~2q+(s+3)pq+(s+3)q-8,p≥7是奇素数,n3,0≤sp-3,且q=2(p-1).该σ相关同伦元素在Adams谱序列的E_2-项中由■_s+3■_ng0表示.     

换位子群是不可分Abel群的有限秩可除幂零群

完整地确定了换位子群是不可分Abel群的有限秩可除幂零群的结构,证明了下面的定理.设G是有限秩的可除幂零群,则G的换位子群是不可分Abel群当且仅当G'=Q或Q_p/Z且G可以分解为G=S×D,其中当G'=Q时,■当G'=Q_p/Z时,S有中心积分解S=S_1*S_2*…*S_r,并且可以将S形式化地写成■其中■,式中s,t都是非负整数,Q是有理数加群,π_κ(k=1,2,…,t)是某些素数的集合,满足π_1■Cπ_2■…■π_t,Q_π_k={m/n|(m,n)=1,m∈Z,n为正的π_k-数}.进一步地,当G'=Q时,(r;s;π_1,π_2,…,π_t)是群G的同构不变量;当G'=Q_p/Z时,(p,r;s;π_1,π_2,…,πt)是群G的同构不变量.即若群H也是有限秩的可除幂零群,它的换位子群是不可分Abel群,那么G同构于H的充分必要条件是它们有相同的不变量.     

Iterative algorithm for solving a class of general Sylvester-conjugate matrix equation \sum_{i = 1}^{s} A_{i}V + \sum_{j = 1}^{t} B_{j}W = \sum_{l = 1}^{m} E_{l}\overline{V}F_{l} + C

This paper is concerned with iterative solution to general Sylvester-conjugate matrix equation of the form $\sum_{i = 1}^{s} A_{i}V + \sum_{j = 1}^{t} B_{j}W = \sum_{l = 1}^{m} E_{l}\overline{V}F_{l} + C$ . An iterative algorithm is established to solve this matrix equation. When this matrix equation is consistent, for any initial matrices, the solutions can be obtained within finite iterative steps in the absence of round off errors. Some lemmas and theorems are stated and proved where the iterative solutions are obtained. Finally, a numerical example is given to verify the effectiveness of the proposed algorithm.     

An exact FCFS waiting time analysis for a general class of G/G/s queueing systems

A closed form expression for the waiting time distribution under FCFS is derived for the queueing system MGE_k/MGE_m/s, where MGE_n is the class of mixed generalized Erlang probability density functions (pdfs) of ordern, which is a subset of the Coxian pdfs that have rational Laplace transform. Using the calculus of difference equations and based on previous results of the author, it is proved that the waiting time distribution is of the form 1- , under the assumption that the rootsU _j are distinct, i.e. belongs to the Coxian class of distributions of order . The present approach offers qualitative insight by providing exact and asymptotic expressions, generalizes and unifies the well known theories developed for the G/G/1,G/M/s systems and leads to an algorithm, which is polynomial if only one of the parameterss orm varies, and is exponential if both parameters vary. As an example, numerical results for the waiting time distribution of the MGE₂/MGE₂/s queueing system are presented.     

Inequalities for combinatorial sums

For \(k,l\in \mathbf {N}\), let

$$\begin{aligned}&P_{k,l}=\Bigl (\frac{l}{k+l}\Bigr )^{k+l} \sum _{\nu =0}^{k-1} {k+l\atopwithdelims ()\nu } \Bigl (\frac{k}{l}\Bigr )^{\nu }\\&\quad \text{ and }\quad Q_{k,l}=\Bigl (\frac{l}{k+l}\Bigr )^{k+l} \sum _{\nu =0}^{k} {k+l\atopwithdelims ()\nu } \Bigl (\frac{k}{l}\Bigr )^{\nu }. \end{aligned}$$

We prove that the inequality

$$\begin{aligned} \frac{1}{4}\le P_{k,l} \end{aligned}$$

is valid for all natural numbers k and l. The sign of equality holds if and only if \(k=l=1\). This complements a result of Vietoris, who showed that

$$\begin{aligned} P_{k,l}<\frac{1}{2} \quad {(k,l\in \mathbf {N})}. \end{aligned}$$

An immediate corollary is that

$$\begin{aligned} \frac{1}{4}\le P_{k,l}<\frac{1}{2} <Q_{k,l}\le \frac{3}{4} \quad {(k,l\in \mathbf {N})}. \end{aligned}$$

The constant bounds are sharp.

     

Regularity of Positive Solutions for an Integral System on Heisenberg Group

In this paper, we are concerned with the properties of positive solutions of the following nonlinear integral systems on the Heisenberg group $\mathbb{H}^n$, \begin{equation} \left\{\begin{array}{ll} u(x)=\int_{\mathbb{H}^n}\frac{v^{q}(y)w^{r}(y)}{|x^{-1}y|^\alpha|y|^\beta}\,dy,\\ v(x)=\int_{\mathbb{H}^n}\frac{u^{p}(y)w^{r}(y)}{|x^{-1}y|^\alpha|y|^\beta}\,dy,\\ w(x)=\int_{\mathbb{H}^n}\frac{u^{p}(y)v^{q}(y)}{|x^{-1}y|^\alpha|y|^\beta}\,dy,\\ \end{array}\right.\end{equation} for $x\in \mathbb{H}^n$, where $0<\alpha 1$ satisfying $\frac{1}{p+1} $+ $\frac{1}{q+1} + \frac{1}{r+1} = \frac{Q+α+β}{Q}.$ We show that positive solution triples $(u,v,w)\in L^{p+1}(\mathbb{H}^n)\times L^{q+1}(\mathbb{H}^n)\times L^{r+1}(\mathbb{H}^n)$ are bounded and they converge to zero when $|x|→∞.$     

有循环极大子群的素数幂阶群的作用是边传递的图(II)

假定Γ是一个有限的、单的、无向的且无孤立点的图,G是Aut(Γ)的一个子群.如果G在Γ的边集合上传递,则称Γ是G-边传递图.我们完全分类了当G为一个有循环的极大子群的素数幂阶群时的G-边传递图.结果为:设图Γ含有一个阶为pn(p是素数,n≥2)的自同构群,且G有一个极大子群循环,则Γ是G-边传递的,当且仅当Γ同构于下列图之一1)pmK1,pn-1-m,0≤m≤n-1;2)pmK1,pn-m,0≤m≤n;3)pmKp,pn-m-1,0≤m≤n-2;4)pn-mCpm,pm≥3,m＜n;5)2n-2K1,1;6)pn-1-mCpm,pm≥3,m≤n-1;7)2pn-mCpm,pm≥3,m≤n-1;8)2pn-mK1,pm,0≤m≤n;9)pn-mK1,2pm,0≤m≤n;10)pn-mK2,pm,0＜m≤n;11)C(2pn-m,1,pm);12)pkC(2pm-k,1,pn-m),0＜k＜m,0＜m≤n;13)(t-s,2m)C(2m 1/(t-s,2m),1,2n-1-m),其中0≤m≤n-1,2n-2(s-1)≡0(mod 2m),t≡1(mod 2),s(≠)t(mod 2m),1≤s≤2m,1≤t≤2n-1;14)∪p i=1 Ci p n-1,其中Ci p n-1=Ca1a1 [1 (i-1)pn-2]a 1 2[1 (i--1)p n-2]…a 1 (pn-1-1)[1 (i-1)p n-2]≌Cp n-1,i=1,2,…,p;15)∪2 i=1 Ci 2n-1,其中Ci 2n-1=Ca1a 1 [1 (i-1)(2n-2-1)]a1 2[1 (i-1)(2n-2-1)]…a1 (2n-1-1)[1 (i-1)(2n-2-1)]≌C2n-1,i=1,2.     

Tests for the convergence of continued fractions,based on the fundamental system of inequalities

We have proved that if the partial numerators of the continued fraction f(c)=1/1+c₂/l+c₃/l+... are all nonzero and for at least some number n?1 satisfy the inequalities $$p_n \left| {1 + c_n + c_{n + 1} } \right| \ge p_{n - 2} p_n \left| {c_n } \right| + \left| {c_{n + 1} } \right|(n \ge 1,p_{ - 1} = p_0 = c_1 = 0,p_n \ge 0),$$ then f(c) converges in the wide sense if and only if at least one of the series $$\begin{array}{l} \sum\nolimits_{n = 1}^\infty {\left| {c_3 c_5 \ldots c_{2n - 1} /(c_2 c_4 \ldots c_{2n} )} \right|} , \\ \sum\nolimits_{n = 1}^\infty {\left| {c_2 c_4 \ldots c_{2n} /(c_3 c_5 \ldots c_{2n + 1} )} \right|} \\ \end{array}$$      

Local Solvability for a Class of Nonhomogeneous Left Invariant Differential Operators on HR \bigotimes Rk

In this paper we discuss tbe local solvability of the following nonhomogeneous left invariant differential operators on the nilpotent Lie group H_n⊗R^K: P(X, Y, T, Z) = Σ_{|α+β|+ζ+|y|≤m|α+β|+2l=a}a_{αβly}X^αY^βT^lZ^y where X_j, Y_j (j = 1, 2, …, n), T, Z_j(j = l, 2, …, K) are bases of left invariant vector fields on H_n⊗R^K and a_{αβly} are complex constants.     

Some Processes Associated with Fractional Bessel Processes

Let be a d-dimensional fractional Brownian motion with Hurst parameter H and let be the fractional Bessel process. Itôs formula for the fractional Brownian motion leads to the equation . In the Brownian motion case is a Brownian motion. In this paper it is shown that X_t is not an -fractional Brownian motion if H 1/2. We will study some other properties of this stochastic process as well.     

On the Convergence of Products γ^-sh1hn in the Adams Spectral Sequence

Abstract Let A be the mod p Steenrod algebra and S the sphere spectrum localized at p, where p is an odd prime. In 2001 Lin detected a new family in the stable homotopy of spheres which is represented by （b0hn-h1bn-1）∈ ExtA^3,（p^n＋p）q（Zp,Zp） in the Adams spectral sequence. At the same time, he proved that i.（hlhn） ∈ExtA^2,（p^n＋P）q（H^＊M, Zp） is a permanent cycle in the Adams spectral sequence and converges to a nontrivial element ξn∈π（p^n＋p）q-2M. In this paper, with Lin＇s results, we make use of the Adams spectral sequence and the May spectral sequence to detect a new nontrivial family of homotopy elements jj′j^-γsi^-i′ξn in the stable homotopy groups of spheres. The new one is of degree p^nq ＋ sp^2q ＋ spq ＋ （s - 2）q ＋ s - 6 and is represented up to a nonzero scalar by hlhnγ-s in the E2^s＋2,＊-term of the Adams spectral sequence, where p ≥ 7, q = 2（p - 1）, n ≥ 4 and 3 ≤ s 〈 p.     

A Non-Linear Filtering Problem and Its Applications

For partially observed process in n-dimensional space $\[\left\{ \begin{array}{l} {\beta _i} = {\beta _0} + \int\limits_0^t {{A_1}(s,{\beta _t})ds + \int\limits_0^t {{B_1}(s,{\beta _s})d{w_s}^{(1)},} } \{\xi _i} = \int\limits_0^t {B(s,{\xi _s}){B^*}(s,{\xi _s})\varphi (s,{\beta _s})ds + \int\limits_0^t {B(s,{\xi _s})d{w_s},} } \end{array} \right.\]$ under non-Lipschitz (even discontinuous) condition, a Bayes formula different from [1] is derived (Theorem 1). By means of this formula the innovation problem for the above process under rather weak condition is solved (Theorem 2) .Then the existence of an optimal pathwise Bang-Bang control for a partially observed process with bounded controls is obtained (Theorem 4).     

Best approximation and de la Vallée-Poussin sums

For the class C_ε={f∈C_2π: E_n, n≤Z₊} where \(\left\{ {\varepsilon _n } \right\}_{n \in Z_ + } \) is a sequence of numbers tending monotonically to zero, we establish the following precise (in the sense of order) bounds for the error of approximation by de la Vallée-Poussin sums: (1) $$c_1 \sum\nolimits_{j = n}^{2\left( {n + l} \right)} {\frac{{\varepsilon _j }}{{l + j - n + 1}}} \leqslant \mathop {\sup }\limits_{f \in C_\varepsilon } \left\| {f - V_{n, l} \left( f \right)} \right\|_C \leqslant c_2 \sum\nolimits_{j = n}^{2\left( {n + l} \right)} {\frac{{\varepsilon _j }}{{l + j - n + 1}}} \left( {n \in N} \right)$$ , where c₁ and c₂ are constants which do not depend on n orl. This solves the problem posed by S. B. Stechkin at the Conference on Approximation Theory (Bonn, 1976) and permits a unified treatment of many earlier results obtained only for special classes C_ε of (differentiable) functions. The result (1) substantially refines the estimate (see [1]) (2) $$\left\| {V_{n, l} \left( f \right) - f} \right\|_C = O\left( {\log {n \mathord{\left/ {\vphantom {n {\left( {l + 1} \right) + 1}}} \right. \kern-\nulldelimiterspace} {\left( {l + 1} \right) + 1}}} \right) E_n \left[ f \right] \left( {n \to \infty } \right)$$ and includes as particular cases the estimates of approximations by Fejér sums (see [2]) and by Fourier sums (see [3]).     

A Technique for Constructing Symmetric Designs

Let M be a set of incidence matrices of symmetric (v,k,)-designs and G a group of mappings M M. We give a sufficient condition for the matrix W M, where M M and W is a balanced generalized weighing matrix over G, to be the incidence matrix of a larger symmetric design. This condition is then applied to the designs corresponding to McFarland and Spence difference sets, and it results in four families of symmetric (v,k, )-designs with the following parameters k and (m and d are positive integers, p and q are prime powers): (i) ; (ii) ; (iii) ; (iv) .     

Strong Unique Continuation of Sub-elliptic Operator on the Heisenberg Group

In this paper, the Almgren’s frequency function of the following sub-elliptic equation with singular potential on the Heisenberg group: $$- \mathcal{L}u + V\left( {z,t} \right)u = - X_i \left( {a_{ij} \left( {z,t} \right)X_j u} \right) + V\left( {z,t} \right)u = 0$$ is introduced. The monotonicity property of the frequency is established and a doubling condition is obtained. Consequently, a quantitative proof of the strong unique continuation property for such equation is given.     

May谱序列中的一个非平凡积

In this paper,we prove the non-triviality of the product h 0 k o δ s＋4 ∈ Ext s＋6,t（s） A （Z p ,Z p ） in the classical Adams spectral sequence,where p ≥ 11,0 ≤ s p-4,t（s） = （s ＋ 4）p 3 q ＋ （s ＋ 3）p 2 q ＋ （s ＋ 4）pq ＋ （s ＋ 3）q ＋ s with q = 2（p-1）.The elementary method of proof is by explicit combinatorial analysis of the （modified） May spectral sequence.     

Möbius Homogeneous Hypersurfaces with Three Distinct Principal Curvatures in Sn+1

Let x : M~n→ S~(n+1) be an immersed hypersurface in the(n + 1)-dimensional sphere S~(n+1). If, for any points p, q ∈ Mn, there exists a Mbius transformation φ :S~(n+1)→ S~(n+1) such that φox(Mn~) = x(M~n) and φ ox(p) = x(q), then the hypersurface is called a Mbius homogeneous hypersurface. In this paper, the Mbius homogeneous hypersurfaces with three distinct principal curvatures are classified completely up to a Mbius transformation.     

Die Ungleichungen von Vietoris

The inequalities $$P_{k,l} = \frac{1}{{B(l + 1,k)}}\int\limits_0^{l/(k + l)} {x^l (1 - x)^{k - 1} dx = I_{l/(k + l)} (l + 1,k)< \frac{1}{2}}$$ and $$\Phi _{k,l,\mu } = \frac{1}{{B(k,k\mu + 1)}}\int\limits_0^1 {x^{k - 1} (1 - x)^{k\mu } I_x (l + 1,l\mu )dx< \frac{1}{2}}$$ are shown to be valid for any positive real numbersk, l, μ.     

Global Existence of Positive Periodic Solutions for a Distributed Delay Competition Model

By using the continuation theorem of Mawhin's coincidence degree theory, a sufficient condition is derived for the existence of positive periodic solutions for a distributed delay competition modelwhere ri and r2 are continuous w-periodic functions in R+=[0,∞) with ,ai,ci(i =1,2) are positive continuous w-periodic functions in R+=[0,∞),bi (i = 1,2) is nonnegative continuous w-periodic function in R+=[0,∞), w and T are positive constants. Ki,Lt ∈ C([-T,0], (01 88)) and Ki(s)ds = 1,ds - 1. i = 1,2. Some known results are improved and extended.