一类带约束的二维弱奇异积分方程的解*

本文找出二维弱奇异第一类积分方程作用着约束方程的解p.p=p(r,θ)={2/[π2k(φ₀]}√F(r,θ)-c_*(0≤r≤r_*)其中是(s,φ)原点在M(r,θ)的局部极坐标,(r,θ)是原点在O(0,0)的总体极坐标:k和F是给出的连续函数;φ₀是一常数;F(_*,θ)=c_*(常数)是研究域Q的边界围线。所用方法可推广到三维情形。     

非线性边值问题的奇摄动

本文研究边值问题:εy"=f(x,y,y',ε,μ)(μ0(ε,μ)y(x,ε,μ)|(x=1-μ)=φ₁(ε,μ)其中ε,μ是两个正的小参数 在f_y’≤-k<0和其他适当的限制下,存在一个解且满足其中y₀,0(x)是退化问题 f(x,y,y',0,0)=0(01(0,0)的解,而y_i-j,j(x)(j=0,1,…,i;i=1,2,…m)能够从某些线性方程逐次求得.     

自反矩阵与反自反矩阵的广义逆特征值问题

1引言在振动设计中,往往需要修改一个系统的数学模型的物理参数,这在数学上可以归结为矩阵的逆特征值问题或广义逆特征值问题（见[1]）.例如,下面给出振动系统中刚度矩阵与质量矩阵的校正问题.设ω₁,ω₂,…,ω_m（m≤n）是m个自然频率,φ₁,φ₂,…,φ_m是相应的振型,令Ω²=diag（ω₁²,ω₂²,…,ω_m²）,φ=（φ₁,φ₂,…,φ_m）.设K为待校正的刚度矩阵,M为待校正的质量矩阵,它们满足下列条件（1.1）特征方程Kφ=MφΩ²,     

辅助函数法应用举例

本文给出用辅助函数法解题的若干例子。由此可以看出辅助函数法应用的一斑。例1 已知acosθ bsinθ=c,acosφ bsinφ=c((θ-φ)/2≠kπ,k为整数)。求证a/cos(θ φ)/2=b/sin(θ φ)/2=c/cos(θ-φ)/2 证明作辅助函数f=(x,y)=ax by-c,则点P(cosθ,sinθ),Q(cosφ,sinφ)在直线f(x,y)=0上,此时直线方程为ax by=c,由两点式可得 (y-sinθ)/(x-cosθ) =(sinθ-sinφ)/(cosθ-cosφ) ∴xcos[(θ φ)/2] ysin[(θ φ)/2] =cos[(θ-φ)/2],     

自伴标准算子代数上强保持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是偶数时后一情形不出现.     

正交异性半无限固支板条的弹性解

正交异性半无限固支板条在表面为应力自由和在无穷远处受载时的弹性解的控制微分方程为φ,yyyy+(2+δ₀)φ,yyzz+φ,zzzz=0(δ₀>-4).基于文献[10]对δ₀>0情形的工作,本文完成对各向同性材料δ₀=0和正交异性材料0>δ₀>-4情形的讨论.上述问题的解在边界位移数据给定情形的板理论的边界条件的合理提法方面有重要应用.     

关于Neyman-Pearson基本引理的几个注记

本文探讨了Neyman-Pearson基本引理.通过论证总体参数θ只有θ₀或θ₁两种可能时最优检验功效函数的唯一性,得到了两种假设T₁:θ=θ₀←→θ=θ₁和T₂:θ=θ₁←→θ=θ₀各自对应最优检验的两类错误概率可以互换的结论.     

非线性方程组的Newton流线法

为求解非线性方程组F(x)=0, 研究了Newton流方程x_t=V(x)=-(DF(x))^-1F(x),x(0)=x⁰,及数值Newton流x^j+1=x^j+hV(x^j),h∈(0,1].导出了减幅指标g_j(h)=||F(x^j+1)||/||F(x^j)||=1-h+h²d_jh<1和m重根x^*附近的表示g_j(h)=(1-h/m)^m+h²O(||x^j-x^*||).最后基于4个可计算量g_j,d_j,K_j,q_j,提出了新的Newton流线法,如果投入大量的随机初始点, 能找到所有实根、重根和复根.     

二阶奇异非线性微分方程边值问题的正解

分别在0≤f₀+<M₁,m₁<f_∞-≤∞和0≤f_∞+<M₁,m₁<f₀-≤∞的情形下研究了非线性奇异边值问题u″+g(t)f(u)=0,0<t<1,αu(0)-βu′(0)=0,γu(1)+δu′(1)=0正解的存在性,其中f₀+=₀f(u)/u,f_∞-=_∞f(u)/u,f₀-=₀f(u)/u,f_∞+=_∞f(u)/u,g在区间[0,1]的端点可以具有奇性。     

拟周期系统的Floquet理论

在这篇文章,我们对拟周期系统dx/dt=A(ω₁t,ω₂t.…,ω_mt)x (0.1)建立了Floquet理论.其中n×n方阵A(u₁,u₂,…,u_m)是u₁,u₂,…,u_m以2π为周期的周期方阵,同时假定A(u₁,u₂,…,u_m)∈Cτ,τ=(N+1)τ₀,τ₀=2(m+1),N=1/2n(n+1).我们定义了(0.1)的特征指数根β₁,β₂,…,β_n,假设下式成立:其中K(ω),K(ω,β)>0,k_μ,i_v是整数,k₁,k₂…,k_m不全为零:i2=-1.那末有拟周期线性变换,把(0.1)化为常系数的线性系统.     

多小波采样定理的拓展

采样定理在数字信号通讯中发挥了十分重要的作用,因为信号通常由它的离散采样数据来恢复.Han Bin等人在[J.Comput.Appl.Math.,2009,227:254-270]中构造了广义插值加细函数向量.本文研究与广义插值加细函数向量有关的采样定理的拓展问题.具体而言,对于已知的广义插值d-加细函数向量φ=(φ_1,…,φ_r)~T,即φe(m/r+k)=δ_kδ_(e-1-m),k∈Z,m=0,1,…,r-1,e=1,…,r我们将构造一组函数{φ_(r+1),…,φ_(dr)},使得φ~ロ=(φ~T,φ_(r+1),…,φ_(dr))~T也是d-加细的,而且满足φ_e(m/(dr)+k)=δ_kδ_(θ_(d,r(e)-m))k∈Z,m=0,1,…,dr-1,e=r+1,…,dr,其中θ_(d,r(e))=e-r+R_(e-1-r,d-1),R_(e-1-r,d-1)=「(e-1-r)/(d-1)」.我们建立与φ~■有关的采样定理.显然,φ的多小波子空间采样定理的适用范围得到了拓展.给出φ~■的多小波子空间采样级数的截断误差估计.     

右半平面解析的Laplace-Stieltjes变换的广义级与型

给出右半平面解析的Laplace-Stieltjes变换的广义级与广义型的定义,研究了最大模M_u(σ,F)=sup{|∫_0~x e~(-(σ+it)y)dv(y)|:x∈(0,+∞),t∈R},最大项μ(σ,F)=max_(n∈N){A_n~*e~(-λnσ)},最大项指标v(σ,F)=max_k{λ_k|μ(σ,F)=A_k~*e~(-λkσ)}及其系数之间的关系,推广了Dirichlet级数的相关结果.     

3×3阶上三角算子矩阵的点谱、剩余谱和连续谱

记■为Hilbert空间■上的上三角算子矩阵.我们借助对角元A,B和C的谱性质给出了σ_*(M_(D,E,F))=σ_*(A)∪σ_*(B)∪σ_*(C)对任意D∈B(H_2,H_1),E∈B(H_3,H_1),F∈B(H_3,H_2)均成立的充要条件,其中σ_*代表某类特定的谱,如点谱、剩余谱和连续谱等.此外,给出了一些例证.     

正交酉元列在有限von Neumann代数的迹自由积中的应用

令M_1为一个有限的von Neumann代数,τ_1为其上的一个忠实正规迹态.我们将证明,如果M_1中存在一列两两正交的酉元列{u_k:k∈N},则对任意具有忠实正规迹态τ_2的有限von Neumann代数M_2(≠C),迹自由积(M_1,τ_1)*(M_2,τ_2)是Ⅱ_1型因子.作为推论可以得出,如果M_1有一个von Neumann子代数N不包含最小投影,则对任意具有忠实迹态τ_2的有限von Neumann代数M_2(≠C),迹自由积(M_1,τ_1)*(M_2,τ_2)是Ⅱ_1型因子.     

一阶系统非线性边值问题的奇摄动*

本文应用比较定理研究了一类非线性边界条件的向量非线性奇摄动问题εx='f(t,x,y,e)εy'=g(t,x,y,ε)x(0)=A(ξ₁,ξ₂,x(1)-x(0),y(1)-y(0),ε)y(0)=B(ξ₁,ξ,x(1)-x(0),y(1)-y(0),ε)这里ξ₁,ξ₂为ε的函数。0<ε<<1,在适当的条件下,作出了任意次精度的渐近展式。并得出余项估计。     

Nonlinear skew lie triple derivations between factors

Let A be a factor.For A,B∈A,define by [A,B]_*=AB-BA~* the skew Lie product of A and B.In this article,it is proved that a map Φ:A→A satisfies Φ([[A,B]_*,C]_*)=[[Φ(A),B]_*,C]_w+[[A,Φ(B)]_*,C]_*+[[A,B]_*,Φ(C)]_* for all A,B,C∈A if and only if Φ is an additive *-derivation.