三角代数上Jordan积为幂等元处的高阶ξ-Lie可导映射

设u=Tri(A,M,B)是三角代数,{φn}n∈N:u→u是一列线性映射.本文利用代数分解的方法,证明了如果对任意U,V∈u且U。V=P为标准幂等元,有φn([U,V]ξ)=Σi+j=n(φi(U)φj(V)-ξφi(V)φj(U))(ξ≠±1),则{φn}n∈N是一个高阶导子,其中φ0=id为恒等映射,UoV=UV+VU为Jordan积,[U,V]ξ=UV-ξVU为ξ-Lie积.     

自伴标准算子代数上强保持k-斜交换性映射的刻画

令H是维数大于2的复Hilbert空间,A是H上自伴标准算子代数.对于给定的正整数k≥1,H上算子A与B的k-斜交换子递推地定义为_*[A,B]_k=_*[A,_*[A,B]_k-1],其中_*[A,B]₀=B,_*[A,B]₁=AB-BA^*.设k≥4,φ是A上的值域包含所有一秩投影的映射.本文证明了φ满足_*[φ（A）,φ（B）]_k=_*[A,B]_k对任意A,B∈A都成立的充分必要条件是φ（A）=A对任意A∈A都成立,或φ（A）=-A对任意A∈A都成立.当k是偶数时后一情形不出现.     

边界条件含有特征参数的Sturm-Liouville算子的唯一性定理

建立了一类Sturm-Liouville问题的唯一性定理.对于固定的n∈Z,证明了该Sturm-Liouville问题的第n个特征值λ_n（q,a）关于a是严格单调的.对不同系数的a_k,如果能够测得第n个特征值的谱集合{λ_n（q,a_k）}_k=1^+∞,则谱集合{λ_n（q,a_k）}_k=1^+∞能够唯一确定[0,π]上的势函数q（x）.     

因子von Neumann代数上的非线性混合ξ-Jordan三重可导映射

设A是一个的因子von Neumann代数.我们证明了每一个非线性混合ξ-Jordan（ξ≠0，-1）三重可导映射φ：A → A都是可加的*-导子，且对任意的A ∈ A，有φ（ξA）=ξφ（A）.     

Asymptotics for the joint tail probability of bidimensional randomly weighted sums with applications to insurance

This paper studies the joint tail behavior of two randomly weighted sums ∑_i=1^m Θ_i X_i and ∑_j=1ⁿ θ_jY_j for some m, n∈N∪{∞}, in which the primary random variables {X_i; i∈N} and {Y_i; i∈N}, respectively,are real-valued, dependent and heavy-tailed, while the random weights {Θi, θi; i ∈ N} are nonnegative and arbitrarily dependent, but the three sequences {X_i; i∈N}, {Y_i; i∈...     

达到渐近GV界的一种线性映射族构造方法——生成Shannon好码渐近序列的新进展

给定有限域F_q(q≥2)、任意正整数n和k(n>k),F_q上的线性映射序列(代数族){σ_i}(σ_i:F_q^k→F_qⁿ(i→∞))的构造方法已经成为信息科学中编码理论的一个中心问题,一般称为实现Shannon理想的代数族途径.迄今为止,发现这种代数族{σ_i}的更好结构,并由它导出Shannon好码渐近序列{[n_i,k_i,d_i]}仍是一个尚未彻底解决的挑战性难题和持续不断的努力目标.衡量这种代数族的好坏,除了看{σ_i}的构造是否有利于通信工程实现(构造简明,执行复杂度低)之外,最重要的一个基本标准是看{σ_i}导出的序列{[n_i,k_i,d_i]}诸参数的渐近极限结果是否不至于衰减到渐近GilbertVarshamov(GV)界之下,该问题吸引了许多数学工作者的关注.本文从矩阵映射的观点给出一种生成任意有限域F_q上代数族{σ_i}的新方法,并表明由{σ_i}导出的渐近码序列{[n_i,k_i,d_i]}可达渐近GV界之上.这种新的代数族生成途径对于信息编码理论及其工程应用都具有很重要的意义.     

单位球上F(p,q,s)空间的分解和刻画

设p>0,s ≥ 0,q>max{-n-1,-s-1},本文探讨了单位球上F（p,q,s）空间的一种等价刻画和分解问题.具体结果为：（1） f∈ F（p,q,s）当且仅当f∈ H（B）,且I^p=sup_a∈B∫_B|R^α,γf（z）|^p（1-|z|²）^q+pγ-p（1-|φ_a（z）|²）^sdv（z）<∞,其中α>-1 和γ>max{0,1-（q+s+1）/p,1-（q+n+1）/p}. （2） 若{d_k}∈ ∫^p,则存在序列{w_k}⊂B,使得 f（z）=∑_k=1^∞（d_k（1-|w_k|²）^t+1）/（1-k>）^{t+（q+n+1）/p}）（z∈B）属于F（p,q,s）,其中t>max{1-1/p,0}（q+n+1）+max{1/p,1}s-1.     

Banach空间中含强增生算子的非线性方程的迭代解

设X为实Banach空间,X*为其一致凸的共轭空间.设T:X→X为Lipschitzian强增生映象,L≥1为其Lipschitzian常数,k∈(0,1)为其强增生常数.设{α_n},{β_n}为[0,1]中的两个实数列满足:(ⅰ)α_n→0(n→∞);(ⅱ)β_n<L(1+L)/k(1-k)(n≥0);(ⅲ).假设为X中两序列满足:=o(β_n)与μ_n→0(n→∞).任取x₀∈X,则由(IS)1x_n+1=(1-α_n)x_n+α_nSy_n+u_ny_n=(1-β_n)x_n+β_nSx_n+μ_n(_n≥0){所定义的迭代序列{x_n强收敛于方程T     

三角代数上Jordan高阶导子的刻画

设u=Tri(A,M,B)是含单位元I的三角代数,()={()_n}_(n∈N)是u上一簇线性映射.本文证明了:如果对任意U,V∈u且UV=VU=I,有()_n(UV+VU)=∑_(i+j=n)(()_i(U)_(()_j)(V)+()_i(V)()_j(U)),则()={()_n}_(n∈N)是u上高阶导子.作为应用,得到了套代数上Jordan高阶导子的一个刻画.     

von Neumann代数上的局部可乘Lie n-导子

A₁，…，A_n的（n-1）-换位子记为p_n（A₁，…，A_n）.令M是von Neumann代数，n ≥ 2是任意正整数，L：M → M是一个映射.本文证明了，若M不含I₁型中心直和项，且L满足L（p_n（A₁，…，A_n））=∑_k=1ⁿ p_n（A₁，…，A_k-1，L（A_k），A_k+1，…，A_n）对所有满足条件A₁A₂=0的A₁，A₂，…，A_n ∈ M成立，则L（A）=φ（A）+f（A）对所有A ∈ M成立，其中φ：M → M和f：M → Z（M）（M的中心）是两个映射，且满足φ在P_iMP_j上是可加导子，f（p_n（A₁，A₂，…，A_n））=0对所有满足A₁A₂=0的A₁，A₂，…，A_n ∈ P_iMP_j成立（1 ≤ i，j ≤ 2），P₁ ∈ M是core-free投影，P₂=I-P₁；若M还是因子且n ≥ 3，则L满足条件L（p_n（A₁，A₂，…，A_n））=∑_k=1ⁿ p_n（A₁，…，A_k-1，L（A_k），A_k+1，…，A_n）对所有满足A₁A₂A₁=0的A₁，A₂，…，A_n ∈ M成立当且仅当L（A）=φ（A）+h（A）I对所有A ∈ M成立，其中φ是M上的可加导子，h是M上的泛函且满足h（p_n（A₁，A₂，…，A_n））=0对所有满足条件A₁A₂A₁=0的A₁，A₂，…，A_n ∈ M成立.     

一类具有多个偏差变元的高阶中立型微分方程的周期解

利用Mawhin重合度理论,获得了一类具有多个偏差变元的高阶中立型微分方程(x(t)-cx(t-r))~(l)+h(x(t))x′(t)+■α~i(t)f(x′(t-μ_i(t))+■β_j(t)g(x(t-τ_i(t)))=p(t)周期解存在性的新结果,推广和改进了已有文献的相关结果.     

关于有限秩的幂零群的自同构

设G是有限秩的幂零群,1=ζ_0Gζ_1G …ζ_cG=G是G的上中心列,End(ζ_iG/ζ_(i-1)G)是Abel群ζ_iG/ζ_(i-1)G的自同态环(1≤i≤c),End(ζ_iG/ζ_(i-1)G)可以自然地作成一个Lie环.α_1,α_2,…,α_n是G的n个自同构,把它们在ζ_iG/ζ_(i-1)G上的诱导自同构分别记为α_(1i),α_(2i),…,α_(ni)(1≤i≤c).如果由α_(1i),α_(2i),…,α_(ni)生成的Lie环End(ζ_iG/ζ_(i-1)G)的Lie子环都是完全可解的,那么α_1,α_2,…,α_n生成的AutG的子群具有良好的幂零性质.考虑G的下中心列,可以得到对偶的结果.     

Gowers norms and pseudorandom measures of subsets

Let $A \subset {{\Bbb Z}_N}$, and ${f_A}(s) = \left\{ {\begin{array}{*{20}{l}}{1 - \frac{{|A|}}{N},}&{{\rm{for}}\;s \in A,}\\{ - \frac{{|A|}}{N},}&{{\rm{for}}\;s \notin A.}\end{array}} \right.$ We define the pseudorandom measure of order k of the subset A as follows, P_k(A, N) = $\begin{array}{*{20}{c}}{\max }\\D\end{array}$|$\mathop \Sigma \limits_{n \in {\mathbb{Z}_N}}$f_A(n + c₁)f_A(n + c₂) … f_A(n + c_k)|, where the maximum is taken over all D = (c₁, c₂, . . . , c_k) ∈ ${\mathbb{Z}^k}$ with 0 ≤ c₁ < c₂ < … < c_k ≤ N - 1. The subset A ⊂ ${{\mathbb{Z}_N}}$ is considered as a pseudorandom subset of degree k if P_k(A, N) is “small” in terms of N. We establish a link between the Gowers norm and our pseudorandom measure, and show that “good” pseudorandom subsets must have “small” Gowers norm. We give an example to suggest that subsets with “small” Gowers norm may have large pseudorandom measure. Finally, we prove that the pseudorandom subset of degree L(k) contains an arithmetic progression of length k, where L(k) = 2·lcm(2, 4, . . . , 2|$\frac{k}{2}$|), for k ≥ 4, and lcm(a₁, a₂, . . . , a_l) denotes the least common multiple of a₁, a₂, . . . , a_l.     

Strong Laws of Large Numbers for Double Sums of Banach Space Valued Random Elements

For a double array {V_(m,n), m ≥ 1, n ≥ 1} of independent, mean 0 random elements in a real separable Rademacher type p(1 ≤ p ≤ 2) Banach space and an increasing double array {b_(m,n), m ≥1, n ≥ 1} of positive constants, the limit law ■ and in L_p as m∨n→∞ is shown to hold if ■ This strong law of large numbers provides a complete characterization of Rademacher type p Banach spaces. Results of this form are also established when 0 p ≤ 1 where no independence or mean 0 conditions are placed on the random elements and without any geometric conditions placed on the underlying Banach space.     

Maximal integral over observable measures

Let f be a continuous transformation on a compact,finite-dimensional manifold M,andψa continuous function on M.This paper establishes the following formula:ess sup lim sup n→∞ 1/n ψ_n(x)=sup{∫ψdμ︱μ∈O_f}≤lim sup n→∞ 1/n ess sup ψ_n(x),where ess sup denotes the essential supremum taken against the Lebesgue measure,ψ_n(x)=n-1 ∑ i=0 ψ(f~ix) and O_f is the set of observable measures.Examples are provided to illustrate that the inequality could be an equality or strict.Moreover,if μ is the unique maximizing observable measure for ψ,it is weakly statistical stable.     

玛欣凯维奇函数与泊松核的一个新微分性质

将Stein[On the functions of Littlewood-Paley,Lusin,and Marcinkiewicz,Trans.Amer.Math.Soc.,1958,88:430-466]中的玛欣凯维奇函数的逆向不等式推广到一般情形.主要结果是对于n-维欧几里得空间k-阶球面调和函数空间的任意一基底,得到玛欣凯维奇函数的一般性的逆向不等式,即存在不依赖于函数f正常数C_p,使得||f||_p≤C_pΣ_(j=1)~N=1||μ_j(f)||_p,其中{μ_j(f)}_(j=1)~N是f的由这些球面调和函数生成的玛欣凯维奇函数.此外,对于任意的n-变元的k-阶调和多项式Q(x)以及泊松核P_t(x),有Q(D)P_t(x)=C_n k(tQ(x))/((|x|)~2+t~2~(n+2k+1)/2).     

离散型p次Dirichlet型第一特征值

设μ=(μ_i)_i≥0为Z_+上的测度且p 1,考虑下述离散型p次Dirichlet型D_p(f)=Σ_(i=0)~∞μ_ib_i(f_i-f_(i+1))(f_i~(p-1)-f_(i+1)~(p-1)),f≥0,其中(b_i)_(i≥0)为Z_+上的正序列.本文旨在给出空间L~p(μ)上p次Dirichlet型D_p(f)所对应的第一特征值λ_(0,p)=inf{D_p(f):‖f‖_p=1,f非负且具有紧支撑}的上下界精细估计.     

The fractional metric dimension of permutation graphs

Let G =(V(G), E(G)) be a graph with vertex set V(G) and edge set E(G). For two distinct vertices x and y of a graph G, let RG{x, y} denote the set of vertices z such that the distance from x to z is not equa l to the distance from y to z in G. For a function g defined on V(G) and for U■V(G), let g(U) =∑s∈Ug(s). A real-valued function g : V(G) → [0, 1] is a resolving function of G if g(RG{x, y}) ≥ 1 for any two distinct vertices x, y ∈ V(G). The fractional metric dimension dimf(G)of a graph G is min{g(V(G)) : g is a resolving function of G}. Let G1 and G2 be disjoint copies of a graph G, and let σ : V(G1) → V(G2) be a bijection. Then, a permutation graph Gσ =(V, E) has the vertex set V = V(G1) ∪ V(G2) and the edge set E = E(G1) ∪ E(G2) ∪ {uv | v = σ(u)}. First,we determine dimf(T) for any tree T. We show that 1 dimf(Gσ) ≤1/2(|V(G)| + |S(G)|) for any connected graph G of order at least 3, where S(G) denotes the set of support vertices of G. We also show that, for any ε 0, there exists a permutation graph Gσ such that dimf(Gσ)- 1 ε. We give examples showing that neither is there a function h1 such that dimf(G) h1(dimf(Gσ)) for all pairs(G, σ), nor is there a function h2 such that h2(dimf(G)) dimf(Gσ) for all pairs(G, σ). Furthermore,we investigate dimf(Gσ) when G is a complete k-partite graph or a cycle.