关于r进制表示法的一个问题数码和问题的探讨

设r>1是一个固定的正整数,则每一个正整数x都可以唯一地表示成x=anrn+an-1rn-1+…+a1r+a0其中ai为非负整数且≤r-1,0≤i≤n,an≠0.在序列{0,1,2…,r-1}上定义有界算术函数f(m),f(0)=0.令Sf(x)= ni=0f(ai),Br,f,k(x)=1x i≤x(Sf(i))k,k为任意给定的正整数.证明了Br,f,k(x)=f(1)+…+f(r-1)rklogkrx+O(logk-1rx)=f(1)+…+f(r-1)rklogkrx.     

一个新的非单调自动确定信赖域半径的信赖域算法

将非单调线搜索技术与自动确定信赖域半径的方法相结合,提出了求解无约束优化问题的一个新的非单调自动确定信赖域半径的信赖域算法.在假设对任意x1∈Rn,水平集L(x1)={x|f(x)≤f(x1)}有界,且目标函数f(x)在水平集L(x1)上连续可微;矩阵序列{Bk}一致有界的条件下证明了本算法的全局收敛性.数值结果显示本算法是有效的.     

非自治Plate方程指数吸引子的存在性

在光滑有界区域上,当非线性项f(u)满足增长性,外力项g(x,t)平移有界时,研究非自治Plate方程指数吸引子的存在性。     

一类非自治反应扩散方程指数吸引子的存在性

讨论了一类非自治反应扩散方程,当外力项g(x,t)仅满足平移有界、与时间有关的非线性项f(u,t)满足临界增长时,通过证明存在一致有界吸收集满足H9lder连续性,从而验证了非自治反应扩散方程指数吸引子的存在性.     

非自治扰动下的平衡点问题

自治系统x′=f(x),其中f:W→E是C1向量场,x∈W,f(x)=0.若Df(x)∈L(E)可逆,那么,在微小自治扰动后的系统在原系统平衡点附近存在唯一平衡点.利用自治系统的研究方法,研究了一般情形下非线性非自治系统x′=f(t,x),其中f:J×W→E为C1向量场,x∈W,f(t,x)=0, t∈J,在微小非自治扰动下的稳定性.给出了系统在微小非自治扰动下保持平衡的条件,推广了自治系统的相关结论.     

Gauss-Newton法的半局部收敛性

设f:Rn→Rm 是Frechet可微的 ,m≥n .则非线性最小二乘问题可描述为下面的极小化问题 :minF(x) :=12 f(x) Tf(x) .Gauss Newton法是求解非线性最小二乘问题的最基本的方法之一 ,其n + 1步迭代定义为 :xn + 1=xn - f′(xn) Tf′(x) -1f′(xn) Tf(xn) .本文主要研究解非线性最小二乘问题的Gauss Newton法的半局部收敛性 .假设f(x)在B(x0 ,r)内连续可导且f′(x0 )满秩 ,若f的导数满足Lipschitz连续F′(x) -f′(x′)≤γx -x′ , x ,x′∈B(x0 ,r) .在一个关于初始点x0 的判断准则c =f(x0 ) ,β =f′T(x0 )f′(x0 ) -1f′(x0 ) T ,β2 cγ <1 1 0下 ,Gauss Newton法产生的序列 {xn}收敛到一个驻点x ,从而给出了Gauss Newton法的半局部收敛性 .     

富里埃级数的蔡查罗求和

1.假如f(x)∈L[0,2π],且在[0,2π]的子区间[a,b]上是连续的,那末我们写着f(x)∈L[0,2π]·C[a,b], ω_2(f,δ;a,b)= sup |f(x+h)+f(x-h)-2f(x)|.关于这类函数的富里埃级数f(x)～a_0/2+sum form n=1 to ∞(1/n)(a_n COS nx+b_n sin nx),Flett,Sunouchi等作者讨论了蔡查罗局部逼近问题。本文的目的是在详尽地讨论这个局部逼近问题,指出局部性与整体性的差别,并且解决了局部饱和问题。我们建立两个定理。定理1.设f(x)∈L[0,2π],ω_2(f, δ;a,b)=O(δ~β),f(x)的富里埃系数a_n,b_n=O(n~(a-β)).则(i)当0<β<1时,在[α+2ε,b-2ε]中均匀地成立着σ_n~α(f;x)-f(x)=O(n~(-β));(ii)当β=1时,f′(x)在[a,b]中是有界的话,在[a+2ε,b-2ε」中均匀地成立着     

一类半线性椭圆型方程的爆破解

讨论半线性椭圆型方程Δu=p(x)f(u),其中f(s)是(0,+∞)中非负连续可微的单调递增函数,且lims→0f(s)=0,lims→∞(f(s))/(s)=k(k＜∞),p(x)是RN(N≥3)中局部Hlder连续的非负函数.当p(x)=p(x)时,方程存在整体爆破解的充要条件是∫∞0tp(t)dt=∞;而当p(x)满足∫∞0tφ(t)dt＜∞,其中φ(t)=maxx=tp(x)时,方程存在整体有界解.     

黎曼——斯蒂阶积分存在的一个充要条件

实函中证明了[a b]上的有界函数f(x)黎曼可积的充要条件是f(x)不连续点所成之集的勒贝格测度为零。关于黎曼——斯蒂阶积分也有类似定理:f(x)在[a,b]上有界,α(x)为[a,b]上的有界变差函数,则f(x)在[a,b]上关于a(x)黎曼——斯蒂阶可积的充要条件是α(x)在f(x)不连续点所成之集上的全变差为零。本文就是给出这个定理的一个证明。     

四阶半正超线性边值问题正解的存在性

在不要求非线性项f(x,y)连续且下方有界的情况下,证明了当f满足Carath啨odory条件时四阶半正边值问题正解的存在性.     

偏微分包含的端点问题

考虑一类偏微分包含边值问题： -Δ u∈ext G(x,u). 当集值函数G(x,u)为有界紧凸值的、 关于变量x是可测的、 关于变量u是连续的时, 利用Tolstonogov端点连续选择定理, 证明了其端点解的存在性.     

2n阶超线性半正边值问题正解的存在性

在不要求非线性项f(x,y)连续且下方有界的情况下,证明当f满足Caratheódory条件时2n阶超线性半正边值问题正解的存在性,改进已有的一些结果。     

一类发展包含的端点问题

考虑一类反周期发展包含端点解的存在性. 当集值函数G(t,x)取有界紧凸值, 且为关于变量t可测的、 关于变量x连续时, 利用Tolstonogov端点连续选择定理和Schauder不动点定理, 证明了端点反周期解的存在性.     

Zd中熵指标δ(m)(·)的一条性质

证明了欧基里德格内离散熵指标δ(m) (·)的一条性质 :对任意给定的无界子集A Zd 和任意给定的正整数m≥ 2 ,δ(m) (A) =δ( 2 ) (A) .     

具有半交换自同态的环

通过引入半交换自同态的概念, 研究具有半交换自同态的环(简称α-sc环). 对任何a,b∈R, 如果α(a)b=0, 有aRα(b)=0, 则环R的一个自同态α称为半交换的.
给出α-sc环与相关环的关系及α-sc环的一些扩张性质, 证明了： 1) 设α是约化环R的自同态, 则R是α-sc]环当且仅当R［x］/〈xⁿ〉是α-sc环, 其中〈xⁿ〉是由xⁿ生成的理想, n为任何正整数; 2) 设α是环R的自同构, R是对称的右Ore环, 则R是α-sc环当且仅当R的经典右商环Q(R)是α-sc环.     

一类偏微分包含解的存在性

考虑一类偏微分包含问题:-Δu∈G(x,u).当集值函数G(x,u)取有界紧凸值的、关于变量x是可测的、关于变量u是闭图像时,运用Kakutani-Fan不动点定理,证明了边值解的存在性,且解集是弱紧的.     

几类并图的优美标号

 对非连通并图的优美性进行了研究,给出了几类非连通的并图,得出了如下结果：对任意的正整数n,m,设s是不超过n/2的最大整数,P_n是n个顶点的路,St(m)是m+1个顶点的星形树,路P₂的补图与路P_n的联图记为A_n,则当n≥2时,A_2n与任意一个具有n-1条边的优美图的并图是一个优美图;当n≥5,m≥s+2时,A_n与星形树St(m)的并图是一个优美图,从而A_n与星形树St(n)的并图是一个优美图;当n≥5时,A_n与任意一条路P_n的并图是一个(n－s)-优美图。     

不动点集为RP5×RP2s的对合流形

设(M,T)是一个带有光滑对合T的光滑闭流形, T在M上的不动点集为F. 考虑F=RP⁵×RP^2s带有对合的闭流形(M,T)的等变协边分类, 给出了完全决定非协边于零的带有对合的闭流形(M,T)的维数及等变协边类.     

模糊模态逻辑系统M?uk中的可达广义重言式

将赋值格取为单位区间并将二元关系R模糊化,研究了模糊模态逻辑系统M?uk,然后 将其赋值格离散化研究了多值模态逻辑系统M?n;证明了在M?n中,对任一可能的赋值α 都存在可达α 重言式;在M?uk中对任一有理数α∈［0,1］都存在可达α重言式;指出了在R₀系统中起关键作用的升级算法对M?n系统已不再适用,并分析了其原因。     

K(θ)上可解多项式代数中左Grobner基的计算

给定域K的单代数扩域K(θ)上可解多项式代数A=K(θ)［a₁,…,a_n］, 设A的子代数A₀=K［a₁,…,a_n］是K上可解多项式代数. 通过考察A与多项式代数A₀［x］之间的结构关系, 给出将A中左Grobner基的计算转换为A₀［x］中左Grobner基计算的有效方法.