一类非线性三阶差分方程正周期解的存在性和多解性

考虑一类非线性三阶差分方程Δ³u(t-3)+αΔ²u(t-2)+βΔu(t-1)=f(t,u(t)), t∈［3,T］_Z正周期解的存在性和多解性, 其中 T>4, α>0, -1<β<0, f:［3,T］_Z×［0,∞)→R关于 u∈［0,∞)连续, f(t+ω,u)=f(t,u), ω∈Z⁺。主要结果的证明基于Guo-Krasnoselskii 不动点定理。     

2m阶Schrödinger方程组在实指数Sobolev 空间中的整体小解

Schrödinger型方程是一类非常重要的发展方程.通过应用Banach不动点定理,该文研究了在任意维数空间中2m阶非线性Schrödinger方程组{iu_t+(-Δ)^mu=a|u|^α-1u|v|^β+1,x∈Rⁿ,t≥0,iv_t+(-Δ)^mv=b|u|^α+1|v|^β-1v,x∈Rⁿ,t≥0,u(x,0)=φ(x),v(x,0)=ψ(x),x∈Rⁿ在实指数Sobolev空间H^s_p1(Rⁿ)×H^s_p2(Rⁿ)中的整体小解.     

关于函数域中相交多项式的一个注记

以Z表示有理整数环。设L为一个特征为p的域, f(x)=∑ⁿ_j=0a_jx^j∈L［x］,L［x］表示L上的多项式环。假定在L的某个代数闭包上, f(x)=a∏^r_i=1(x-η_i)^e_i。此处,a∈L,一切η_i是两两不同的,r,e₁,e₂,…,e_r是正整数,且r≥2, n=∑^r_j=1e_j。f的半判别式Δ(f)被定义为Δ(f)=a^2n-1∏_{1≤i,j≤ri≠j}(η_i-η_j)^{e_i e_j}。证明了下面的结果: 如果n1,e₂,…,e_r)有关的正整数m与G∈Z［x₀,x₁,…,x_n］,使得Δ(f)=1/mG(a₀,a₁,…,a_n)且m|n!。此外,当L为有限域时,还应用此结果研究了与环L［x］上相交多项式有关的一个问题。     

一类奇异二阶阻尼差分方程周期边值问题正解的存在性

研究了一类奇异二阶阻尼差分方程周期边值问题{Δ²x(t-1)+αΔx(t-1)+βx(t)=f(t,x(t), Δx(t-1)), t∈［1,T］_Z,x(0)=x(T), Δx(0)=Δx(T)正解的存在性,其中T >2是一个整数, α、 β均为常数, f(t,x,y):［1,T］_Z×(0,∞)×R→R关于(x,y)∈(0,∞)×R连续且允许f在x=0处奇异即lim_x→0⁺ f(t,x,y)=+∞,(t,y)∈［1,T］_Z×R。主要结果的证明基于Leray-Schauder非线性抉择。     

关于一个亚纯函数与其各级导数的公共Borel方向

证明了下列定理: 设 f(z)为一有穷正级λ(0<λ<+∞)的亚纯函数, 并设L: argz=θ₀为一方向。假定任给二数δ(0<δ<1)及ε(0<ε<λ), 恒可得一数r₀使对于每一数r>r₀,集合{z || z-re^iθ₀|<δr, |f(z)|≤e^rλ-ε}不能范围在有穷个圆|z-z_j|<ρ_i(j=1,2,...,p),Σ^p_j=1ρ_j≤e^-rε中,则下列二结论成立:1) 若对于一整数m≥1, L为f^(m)(z)的一个λ级Borel方向, 则L为f(z)的一个λ级Borel方向。2) 若L为f(z)的一个λ级Borel 方向, 则L为f(z)和所有各级导数 f^(m)(z) (m=1,2,...)的一个公共λ级Borel方向。     

三阶时滞微分方程边值问题正解的存在性

运用锥上的不动点定理, 研究三阶时滞微分方程边值问题{u(t)+λa(t)f(t,u(t-τ))=0, t∈(0,1), τ>0,u(t)=0,-τ≤t≤0,u(0)=u″(0)=0,u(1)=αu(η)正解的存在性, 其中 λ 是参数, 且 0<η<1, 0<α<1/η, f:［0,1］×［0,∞］→［0,∞)连续。     

一类耦合型薛定谔系统径向正解的存在性

利用变分法和椭圆方程理论研究如下的非线性薛定谔方程组: {-Δu+u=h(u)+λ(2uv²)/(1+u²v²),x∈R^N, -Δv+v=g(v)+λ(2u²v)/(1+u²v²),x∈R^N, u→0,v→0,|x|→+∞. 假设h和g满足一定的条件,λ₀∈(0,1),λ∈(0,λ₀),得到径向正解的存在性.     

次序统计量之和的中心极限定理

设{X, X_i, i≥1} 为独立同分布随机变量列,具有共同的非退化分布函数Ｆ,并且|X⁽¹⁾_n|≥|X⁽²⁾_n|≥...≥|X⁽ⁿ⁾_n|为|X₁|, |X₂|,...,|X_n|的次序统计量。对于r_n→+∞,r_n/n→0,记^(r_n)S_n=∑ⁿ_i=rn+1X⁽ⁱ⁾_n。本文得到了依分布收敛到正态的充要条件。     

与分圆方程有关的差集的不可能性

设f=Ord_p(q), ε_p为本原p次单位方根,γ∈Z[ε_p]。若f是奇数且γγ^-=n（其中n∈Z, q|n）,加上别的一些条件,Arasu和Pott证明了γ具有形式：γ＝∑^e_i=1a∑^f-1_j=0ε^iqj_p其中p-1=ef, 并且指出如果条件“f是奇数”能去掉的话,将是一个很好的结果,本文作者研究了f为偶数的情形并得到相应的结论。     

一类p-Laplacian差分方程多个正解的存在性

考察p-Laplacian差分方程边值问题Δ[φp(Δu(t-1))] a(t)f(u(t))=0,t∈[1,T 1],Δu(0)=u(T 2)=0的多解性,其中T为固定的正整数,φp(s)是p-Laplacian算子,φp(s)=|s|p-2s,p>1,(φp)-1=φq,1/p 1/q=1,且不要求lim l→0 f(l)/lp-1,lim l→∞f(l)/lp-1存在.     

三角代数上互逆元处的高阶ξ-Lie可导映射

设U=Tri(A,M,B )是含单位元1的三角代数,1_A、1_B分别是A和B的单位元。对任意的A∈A, B∈B分别存在整数k₁、k₂,使得k₁1_A-A, k₂1_B-B在三角代数中可逆。利用代数分解的方法,证明了如果{φ_n}_n∈N:U→U是一列线性映射满足对任意的U,V∈U且UV=VU=1,有φ_n(［U,V］_ξ)=∑_i+j=nφ_i(U)φ_j(V)-ξφ_i(V)φ_j(U)(ξ≠0,1),则{φ_n}_n∈N是U上的高阶导子,其中φ₀=id₀是恒等映射,［U,V］_ξ=UV-ξVU。     

关于polynomial自同构的一个注记

设φ是群G的自同构, 如果对于任意的x∈G, 都有φ(x)=(v^-1₁x^ε₁v₁)(v^-1₂x^ε₂v₂)…(v^-1_mx^ε_mv_m),其中ε_i=±1, v₁,v₂,…,v_m是G中固定的元素,那么称φ是G的polynomial自同构。证明了如果G是幂零类为c的幂零群被导长为d的可解群的扩张, 那么G的polynomial自同构生成的群是幂零类至多为c-1的幂零群被导长至多为2d的可解群的扩张。     

不含4-圈或弦6-圈的平面图是(3,0,0)-可染的

设d₁,d₂,…,d_k是k个非负整数,若图G=(V,E)的顶点集V能被剖分成k个子集V₁,V₂,…,V_k,使得对任意的i=1,2,…,k,V_i的点导出子图G［V_i］的最大度至多为d_i,则称图G是(d₁,d₂,…,d_k)-可染的。关于平面图的染色,有以下结论:不含4-圈或弦6-圈的平面图是(3,0,0)-可染的。     

一类非线性三阶三点边值问题正解的存在性、不存在性及多解性

考虑一类非线性三阶三点边值问题{u(t)+λf(t,u(t))=0, t∈［0,1］,u(0)=u'(0)=0, u'(1)=αu'(η)正解的存在性、不存在性以及多解性,其中λ>0是一个参数,0<η<1, 1<α<1/η, f:［0,1］×［0,∞)→(0,∞)是一个连续函数。主要定理的证明基于不动点指数理论、Leray-Schauder度以及上下解方法。     

形式三角矩阵环上的n-Gorenstein投射模

设n是整数,T=(A 0U B)是形式三角矩阵环,其中A,B是环,U是左B右A双模,_BU是投射模,U_A的平坦维数有限。证明了若左T-模(M₁M₂)_φ^M是n-Gorenstein投射模,则M₁是(n-1)-Gorenstein投射左A-模,M₂/Im(φ^M)是n-Gorenstein投射左B-模,并且 φ^M:U⊗_AM₁→M₂是单射。反过来,若M₁是n-Gorenstein投射左A-模,M₂/Im(φ^M)是n-Gorenstein投射左B-模,并且 φ^M:U⊗_AM₁→M₂是单射,则左T-模(M₁M₂)_φ^M是n-Gorenstein投射模。     

城市地理系统结构与功能的分形模型——关于地理系统异速生长方程与Cobb-Douglas函数的理论探讨与实证分析

从一般城市动力系统出发,推导出城市和城市体系的异速生长方程和Cobb-Douglas函数(即C-D函数),建立了二者之间的数理关系并揭示了其隐含的分形性质;进而证明城市C-D函数中的系数包含有其他各种要素的有关信息,这为借助单要素分析复杂地理动力系统提供了理论依据和实用方法。利用异速生长关系和要素-产出的弹性性质可将C-D函数化为二要素形式,据此发展了城市结构的广义维数方程。基于分形优化思想,运用数学规划原理,从上述模型中导出城市地理系统结构与功能的优化条件表达式。以郑州市为实证对象,对文中有关理论模型进行了实证分析,最后将结论推广到一般地理学领域。     

整可逆图的克罗内克积的逆

图G₁和G₂的克罗内克积G₁⊗G₂具有点集V(G₁)⊗V(G₂),在G₁⊗G₂中两个点(u₁,v₁)和(u₂,v₂)相邻当且仅当 u₁u₂∈E(G₁)且 v₁v₂∈E(G₂)。对整可逆图(即图的邻接矩阵的逆矩阵中只包含整数)的克罗内克积的逆进行刻画。     

亚纯函数微分多项式IM分担值的唯一性

研究了亚纯函数的微分多项式分担一个值的唯一性问题,证明了如果f(z)和g(z)为非常数亚纯函数,其零点和极点的重数至少为s,s为正整数,且满足(n+1)s≥24,n为正整数且n≥2。如果f ⁿf '和gⁿg'分担1 IM,则g(z)=c₁e^cz,f(z)=c₂e^-cz,其中c₁、c₂、c为常数,且满足(c₁c₂)ⁿ⁺¹c²=-1,或者f(z)=tg(z),其中tⁿ⁺¹=1。