解半线性椭园型差分方程组的二阶迭代程序的收敛性

本文主要証明了解半綫性椭园型差分方程組 δ_(xx)φ_i=h~2F(x_i,φ_i,(φ_(i+1)-φ_(i-1))/2h),i=1,2,…N-1,Nh=1, φ_o=a, φ_N=b的二阶迭代程序φ_i~(n+1)=φ_i~n+α(δ_(xx)φ_i~n-h~2F(x_i,φ_i~n,(φ_(i+1)~n-φ(i-1)~n)/2h)), φ_o~n=a, φ_x~n=b的收歛性。     

一个二阶拟线性椭园型方程定解问题的奇摄动

我们考虑如下含有小参数的二阶拟线性椭园型方程的定解问题:L_ε〔w〕≡ε(■~2w)/(■y~2)+(■~2w)/(■x~2)-a(y)(■w)/(■y)+b(x,y,w)=0(1)〔(■w)/(■x)+λ_i(y)w〕x=σ_i(y)=(?)_i(y),(i=1,2)(2)w丨_(y=0)=(?)_1(x)(3)((?)w)/((?)y)_(y=1)=(?)_2(x)(4)其中0<ε《1,σ_1(y)<α<β<σ_2(y),σ_1(y),σ_2(y)在〔01〕上适当光滑,使得区域Ω={(x,y)丨σ_1≤x≤σ_2,0≤y≤1}在边界σ_1(y),σ_2(y)上每点满足内部球条件〔5〕。(-1)~iλ(y)>0,(?)_i(y)及(?)_i(x)均为它们所定义的那段边界上的连续可微函数,α(y)>0,b(x,     

中立型微分差分方程的振动性

本文研究中立型微分差分方程(?)的解的振动性态。我们推广文献[1]的许多结果。以下是一些主要结果。(A):设 P_i<0(i=1,2,…m)且存在一个 p_k<-1,1≤k≤m.则(*)的每个非振动解 x(t)必蕴涵(?)或-∞(t→+∞).(B):若 m=1,p_1<-1,且τ>σ_n.令λ_j=(?)(j=1,2,…,n),λ=max(λ_1,…λ_n)。最后设λ>1/e,那末方程(*)的每个解都振动。(C):设τ_1>σ_n,p_i<0(i=1,2,…,m),Q_j(t)≡Q_j(t-τ_i) t∈[t_0,+∞)(i=1,2,…,m;j=1,2,…,n)。且存在 p_k<-1.令(?)(j=1,2,…,n);μ=max(μ_1,…,μ_2).又设μ>1/e,那末方程(*)的每个解都振动。(D):设 p_i>0(i=1,2,…,m),则方程(*)的每个非振动解x(l)→0(l→+∞)。     

多元正态参数估计极大似然估计的注记

(一)设X′=(ξ_1~(?),ξ_2~(?),…,ξ_m)～N(0,R),其中R为m×m非负定矩阵,它的元素为α_(ij),α_(ij)=E(ξ_iξ_j),已知X的n个独立样本X′_i=(x_(i1),…,x_(in))i=1,2,…,n,用其估计α_(ij),i,j=1,2,…,m。本文讨论α_(ij)满足一定约束,比如α_(ij)=α_(|i-j|),即ξ_1,…ξ_m是平稳序列的一段时,α_(ij)的极大似然估计。 (二)下面列举一些求导公式。设M为m×m的矩阵,|M|表M的行列式,M′表M之转     

THE FREDHOLM THEOREM FOR SYSTEMS OF INTEGRO-FUNCTIONAL EQUATIONS

Some problems of hyperbolic systems of partial differential equations can be turned into systems of in-tegro-functional equations of the following form[1]here F(x) = (f_1(x),…,f_m(x))~T and H(x)=(h_1(x),…,t_m(x))~T both belong to (C~∞[-R,R])~m, are theunknown and know vector functions respectively; λis a parameter, 0相似文献   

线性最小二乘拟合问题的一个算法

一、引言 设给定x_i i=1,2…m,x_i∈[a,b]及此m个点上数据资料f_i i=1,2,…,m,寻求一函数φ(x)=sum from j=1 to n (α_jφ_j(x)),使sum from i=1 to m(ω(x_i)r_i~2)=sum from i=1 to m(ω(x_i))(f_i-(x)=sum from j=1 to n (α_jφ_j(x_i))~2达到最小,此即是带权ω(x)的线性最小二乘问题,其中ω(x)在[a,b]上定义,α_j是拟合系数,n是拟合阶数。     

任意矩阵特征值的秩1修正扰动界

设A是一个n阶的任意复矩阵且E是A的Hermite秩1扰动,即E=xx',其中x是n维的复列向量,x'是x的共轭转置向量.则A+E为矩阵A的Hermite秩1修正矩阵.基于矩阵分析理论中Hermite矩阵特征值分布的性质,研究得到了矩阵A特征值的任意Hermite秩1修正扰动的上下界限,即给出了矩阵A+E特征值的上下界限:λ_i(H(A))+l_i(x)+δ_i≤R(λ_i(A+xx'))≤λ_i(H(A))+u_i(x)+δ'_i(i=1,n),λ_i(H(A))+l_i(x)+δ_i≤R(λ_i(A+xx'))≤min{λ_i(H(A))+u_i(x),λ_(i-1)(H(A))}+δ'_i(2≤i≤n-1),且λ_(min)(-SH(A)τ)≤S(λ_i(A+xx'))≤λ_(max)(-SH(A)τ)(1≤i≤n),其中δ_i=sgn(‖SH(A)‖_2)[λ_(min)(H(A))-λ_(i-1)(H(A))-u_i(x)],δ'_i=sgn(‖SH(A)‖_2)[λ_(max)(H(A))-λ_i(H(A))-l_i(x)+‖x‖_2~2],gap_i=λ_(i-1)(A)-λ_i(A),i=2,…,n,H(A)和SH(A)分别代表矩阵A的Hermite部分和反Hermite部分,τ=(-1)~(1/2),sgn(·)代表符号函数.当A为Hermite矩阵时,上述结果退化为已有的结果λ_i(A)-‖x‖_2~2≤R(λ_i(A+xx'))≤λ_i(A)+‖x‖_2~2.     

HAMMERSTEIN型非线性积分算子的正不动点

本文主要研究多项式非线性积分算子Ax(t)=∫_0 k(t,S)f(s,x(s))ds的正固有值的存在和相应的正固有函数的个数。这里 G 为 N 维欧氏空间中的某有界闭域,f(t,u)=sum from i=1 to n b_i(t)u~(α_i),其中α_i>0(i=1,2,…n),α_i 不必是整数。     

多调和算子组的谱估计

设Ω是R~m(m≥2)中一个有界区域,考虑多调和算子组的特征值问题AΛ(△)u~T=λu~T,x∈Ωu~k=(?)u~k/(?)n=…=(?)~(k-1)u~k/(?)n~(k-1)=0,x∈(?)Ω,k=1,2,…,N其中,u=(u~1,u~2,…,u~N),n是(?)Ω的单位外法向量。将特征值按增加的顺序排列为0<λ_1≤λ_2≤…≤λ_n≤…则成立如下不等式λ_(n 1)≤λ_n 4/m~2n~2(sum from i=1 to n sum from h=1 to N λ_i~(1/k))(sum from i=1 to n sum from k=1 to N k(2k m-2)λ_i~(1-1/k)) sum from i=1 to n sum from k=1 to N λ_i~(1/k)/λ_(n 1)-λ_i≥m~2n~2/(sum from i=1 to n sum from k=1 to N 4k(2k m-2)λ_i~(1-1/k))     

二连通图的最长圈

本文证明:设G为n阶2连通图,D(x)={y|y∈V(G),d(x,y)≤2},d_d~*(x)表示D(x)中所有的点的度排成的非减度序列:d_1~*,d_2~*,…,d_j~*,d_(j+1)~*,…,d_(|D(x)|)~*中当下标j=d(x)时的度。δ_0=min{d(x)|x∈V(G)},D(δ_(i-1))={x|x∈V(G),d(x)≥δ(i-1)}(i=1,2,…,k),δ_i=min{d_(d(x))~*|x∈D(δ(i-1))}(i=1,2,…,k)且δ_0<δ_1<δ_2<…<δ_(k-1)≤δ_k,则C(G)≥min{n,2δ_k}。此外也给出δ_k的算法。     

微分中值定理中“中间点”的渐近状态

本文分别在f~i(x)与g~j(x)在[a、b)内存在(1=1,2,…,n;j=1,2,…,m),f~i(a)=0,g~j(a)=0;在(a,b)内,g’(x)≠0或g~j(x)≠0;f~(m+1)(a)与g~(m+1)(a)存在且不为0,等条件下,分特讨论了微分中值定理及其推广形式的中间点的渐进状态.     

一类四阶微分方程m点边值问题的正解

讨论一类四阶微分方程m点边值问题{u~((4))(t)+h(t)f(u)=0,u(0)=u'(0)=u″(0)=0,u″(1)=∑m=2i=1β_iu″(η_i),其中,η_i∈(0,1),0η_1η_2…η_(m-2)1,β_i∈[0,∞)且m=2∑i=1β_iη_i1.通过与一个线性算子相关的第一特征值的讨论,运用不动点指数定理,得到正解存在的结果,最后给出一个例子用以说明定理的应用.     

绝对连续函数的两个充要条件

本文给出绝对连续函数的两个充要条件,主要结果是定理1和定理2.首先给出如下定义定义1(1)设f(x)是定义在[a,b]上的有限函数,若对(?)ε>0,(?)δ>0,使当[a,b]中任意一组互不相交的开区间{(a_i,b_i)}_(i=1,2…,n)满足     

矩阵方程式AX-XB=C的一个解法

本文给了矩阵方程式AX—XB=C一个解法,是对B做正交相似变换B=THT~(-1),其中H=[1,α_i,β_(i 1)~-]~N_1是三对角阵,令Z=XT,和CT=R,建立逆推公式AZ_i-α_iZ_i-β_iZ_(i-1)-γ_i=Z_(i 1)(β_1=0,i=1,2;…,N-1),得到算法Z_1=P_N~(-1)q_N Z_(i 1)~(?)=P_iZ_1-q_i i=1,2,…N-1其中P_i=(A-Iα_i)P_(i-1)-β_iP_(i-2),i=1,2,…N-1。q_i=(A-Iα_i)q_(i-1)-β_iq_(i-2) γ_1 β_0=0,P_0=1,P_0=0。进一步可求出X=ZT’。求Z的过程,可看作解线性方程组的“追赶法”的扩充。     

互素多项式在矩阵秩中的应用

给出了互素多项式在矩阵秩讨论中的几个结果：1）设f(x),g(x)∈P[x],A∈Mn(P)若f(x),g(x)互素，且f（A)g(A)=0,则r(f(A)) r(g(A))=n。2）设fi(x)∈P[x],i=1,2,…，m,A∈Mn(P)，若f1(x),f2(x),…,fm(x)互素，且f1(A)f2(A)…fm(A)=0,则n≤r(f1(A)) r(f2(A)) … r(fm(A))≤（m-1)n。3）设fi(x)∈P[x],i=1,2,…，m,A∈Mn(P),若f1(x),f2(x),…，fm(x)两两互素，且fi(A)fj(A)=0,i≠j,i,j=1,2,…，m，则r(f1(A)) r(f2(A)) … r(fm(A))=n。     

关于泛函微分中值点渐近性的进一步讨论

本在赋范线性空间上讨论微分中值点的渐近性,利用泛函的微积分理论给出了f^(i)(x0)h^(i)=0,g^(i)(x0)h^(i)=0(i=1,2…n-1,j=1.2…m-1),f^(n)(x0)h^(n),g^(m)(x0)h^(m)都不存在时泛函微分中值点渐近性的估计式。     

Ritz方法中关于坐标函数选取的一个定理

引言:考虑微分方程边值问题 Au(p)=f(p) p∈Ω (1) Γ_iu/s=0 i=1,2,…,k.(2)A是2k阶的綫性微分标子,Ω是m維空間中的有限区域,s是Ω的边界,Γ_i是綫性微分算子且边值条件(2)是齐次的,并假定在边值条件(2)下,算子A是正定的。     

关于亚纯函数的微分多项式的零点

在本文中研究了具有形式:P(f)=W(β_1,β_2…,β_T~′,fα_1,fα_2,…,fα_1)的隆斯基行列式的零点,证明了一个不等式并给出了一些推广,其中f为一超越亚纯函数并且α_i(i=1,2,…,I),β_j(j=1,2,…,I′)为两组线性无关的亚纯函数满足条件: T(r,α_i)=o{T(r,f)},T(r,β_j)=o{T(r,f)}.     

平稳序列回归函数的最近邻估计的相合性

0 引言设(X,Y),(X_1,Y_1),…,(X_n,Y_n),…是R~d×R~1上的平稳φ-混合序列,即满足 sup sup |P(B|F_1~m)-P(B)—≤φ(n) B∈F_(m+n)~∞其中:F_a~b=σ(X_i,Y_i,a≤i≤b),φ(n)→0(n→∞),又设E|Y|<∞,m(x)=E(Y|X=x)     

纯量型紧算子是紧算子的交换子的一个充分条件

在[4]中证明了定理1 设S是非零复Banach空间X上的一个纯量型(scalar—type)紧算子,其所有的重数均为1。若其所有的非零特征值可以排列成{λ_i}使得 sum from i∈N|M_i|~(1/2)<∞(M_i=λ_i … λ_i,i=1,2,…),则S可以表成紧算子的交换子的形式。