多重循环群的一个注记

设A是秩为n的自由Abel群.熟知A的自同构群Aut(A)=GL(n,Z).设f(λ)=λⁿ+a_n-1λ^n-1+…+a₁λ+a₀∈Z[λ]是不可约多项式,其中a₀=±1.设T=<α>是无限循环群,α通过多项式f(λ)的Frobenius相伴矩阵诱导的自同构作用在A上.设G=A ■ T.我们证明G是剩余有限p-群当且仅当p整除f(1).     

二阶椭圆问题两种新的矩形混合元格式

1引言考虑Poisson方程的第一齐边值问题:（?）其中Ω∈Rⁿ（n=2,3）是有界凸多角形区域.f∈L²（Ω）是已知函数.令（?）=▽u.传统方法是定义:H_l={（?）∈L²（Ω）ⁿ;div（?）∈L²（Ω）},M₁=L²（Ω）,（?）H₁=(（?）+     

含Hardy位势的拟线性椭圆型方程非平凡解的存在性

设0∈Ω∈R^N,(N≥2)为有界光滑区域,利用山路定理,考虑如下一类含Hardy位势的拟线性椭圆型方程非平凡解的存在性:-△u-u△(|u|N,(N≥2)为有界光滑区域,利用山路定理,考虑如下一类含Hardy位势的拟线性椭圆型方程非平凡解的存在性:-△u-u△(|u|²)=μu/|x|2)=μu/|x|²+λg(x,u),x∈Ω,其中μ>0,λ>0为常数,g(x,u)为Caratheodory函数.     

因子von Neumann代数正锥上的凸序列积自同构

设H是复Hilbert空间,M是H上维数大于1的因子von Neumann代数,M₊是M的正锥.设λ∈[0,1],定义Ao_λ=λA^1/2BA^1/2+(1-λ)B^1/2AB^1/2,?A,B∈M₊,称o_λ为M₊上的凸序列积.本文证明了M₊上的凸序列积自同构是由M的一个*-同构或*-反同构实现.     

矩阵方程aX2+bX+cIn=O的一种解法

提出了矩阵方程aX2+bX+cIn=O,a,b,c∈R且a≠0,In是n阶单位矩阵,X∈Cn×n的一种解法.首先将方程转化为Y2=O或In,然后讨论了Y的所有解,最后根据转化式,得到了原方程中X的所有解.     

求数列前n项和的三种方法

<正>在我校一次质量检测试卷中,有一道数列题,原题如下:在等差数列{a_n}中,a_2=5,a_1+a_3+a_4=19.(1)求数列{an}的通项公式;(2)若数列{b_n}前n项和为S_n,且S_n+a_n-1/2ⁿ=λ(λ为常数),令c_n=b_(n+1()n∈Nn=λ(λ为常数),令c_n=b_(n+1()n∈N⁺).求数列{c_n}的前n项和T_n.     

函数与等差数列

<正>一、利用一次函数的图像例1已知等差数列{a_n},a_m=n,a_n=m,（m,n∈N^*,m≠n）,则a_m+n=_<sub><sub>.解对于等差数列{a_n),其通项a_n=a₁+     

双挠积复Finsler流形的局部对偶平坦性

设(M₁,F₁)和(M₂,F₂)是两个强凸的复Finsler流形,λ₁和λ₂是乘积流形M=M₁×M₂上的光滑实值函数,双挠积复Finsler流形(M₁×(λ₁,λ₂) M2,F)是在乘积流形上赋予了复Finsler度量F²=λ₁²F₁²+λ₂²F₂²的复Finsler流形.本文给出了双挠积复Finsler流形是局部对偶平坦流形的充要条件.     

一类四元数矩阵三次方程的可解性(英文)

确立了某类分块矩阵[M（₁1） M₁₂ XM₂₁ Y M₂₃Z M₃₂ M₃₃]的最大秩公式,其中,X,Y和Z是三个受限于四元数线性矩阵方程A₁X=C₁,XB₁=C₂,A₂Y=D₁,YB₂=D₂,A₃Z=E₁,ZB₃=E₂的变量矩阵.作为该公式的一项应用,我们推导出上述矩阵方程解集等同于某类四元数三次矩阵方程组A₁X=C₁,XB₁=C₂,A₂Y=D₁,YB₂=D₂,A₃Z=E₁,ZB₃=E₂,XYZ=J解集的条件.     

加强命题用导数解决数列不等式

<正>例1已知f(n)=n⁽ⁿ⁺¹⁾,g(x)=(n+1)(n+1),g(x)=(n+1)ⁿ,n∈N*.求证:当n≥3,n∈N*时,f(n)>g(x).本题用数学归纳法可以证明.但是用加强命题,再利用导数方法解决则是另外一种风味.证明对于上述命题,我们可以先加强命题x≥3,x∈R时,有xn,n∈N*.求证:当n≥3,n∈N*时,f(n)>g(x).本题用数学归纳法可以证明.但是用加强命题,再利用导数方法解决则是另外一种风味.证明对于上述命题,我们可以先加强命题x≥3,x∈R时,有x^(x+1)>(x+1)(x+1)>(x+1)^x.即(x+1)lnx>xln(x+1),因为x≥3,lnx>0,ln(x+1)>0,     

An extension of the hardy-littlewood-pólya inequality

The Hardy-Littlewood-Pólya （HLP） inequality [1] states that if a∈l^p,b∈l^q and p>1,q>1,1/p + 1/q>1, λ=2-（1/p+1/q）,then Σ[（a_rb_s）/︱r-s︱^λ]（r≠s）≤C‖a‖_P‖b‖_q.In this article, we prove the HLP inequality in the case where λ= 1, p = q = 2 with a logarithm correction, as conjectured by Ding [2]:Σ[（a_rb_s）/︱r-s︱^λ]（r≠s,1≤r,s≤N）≤（2㏑N+1）‖a‖₂‖b‖₂.In addition, we derive an accurate estimate for the best constant for this inequality.     

卢卡斯数列的一个奇妙性质

<正>文[1]介绍了卢卡斯数列.若令(1+(5^1/2))/2=α,(1-(5^1/2))/2=β,L_n=αⁿ+βⁿ,则称数列{L_n}为卢卡斯数列.卢卡斯有两个基本性质:1.各项均为整数;2.当n≥3时,L_n=L_n-1+L_n-2{L_n)的各项写出来是:1,3,4,7,11,18,….本文证明卢卡斯数列的一个奇妙性质.     

一类带临界指标的非自治Kirchhoff型方程非平凡解的存在性

该文研究下列非自治Kirchhoff型方程M (∫_R^N|▽u(x)|²+∫_R^N V(x)|u(x)|²)(-Δu+V(x)u)=λK(x)f(u)+u⁵,x∈R³非平凡解的存在性.其中,位势V(x)和K(x)在无穷远处消失,λ是一个大于零的参数.该文证明:存在λ^*> 0,当λ≥λ^*时,上述方程至少有一个非平凡解u_λ.     

带有超二次位势无限格点上的基态行波解

该文考察了一维格点上均为单位质量粒子的FPU型格点问题.这个系统的动力学方程描述如下q_n=U’(q_n+1-q_n)-U’(q_n-q_n-1),n∈Z,其中U是相邻两个粒子相互作用产生的位势,q_n(t)是第n个粒子在时刻t的状态.通过直接使用通常的变分方法,比起Pankov^[10],Zhang和Ma^[20]之前的工作,该文在更加宽泛的条件下研究了这类系统的基态行波解(即具有最小能量的非平凡行波解)的存在性.并且文中还讨论了孤立基态行波的单调性.     

实对称矩阵广义特征值反问题

本文研究如下实对称矩阵广义特征值反问题: 问题IGEP,给定X∈R~(n×m),1=diag(λ_II_k_I,…,λ_pI_k_p)∈R~(n×m),并且λ_I,…,λ_p互异,sum from i=1 to p(k_i=m,求K,M∈SR~(n×n),或K∈SR~(n×n),M∈SR_0~(n×m),或K,M∈SR_0~(n×n),或K∈SR~(n×n),M∈SR_+~(n×n),或K∈SR_0~(n×n),M∈SR_+~(n×n),或K,M∈SR_+~(n×m), (Ⅰ)使得 KX=MXA, (Ⅱ)使得 X~TMX=I_m,KX=MXA,其中SR~(n×n)={A∈R~(n×n)|A~T=A},SR_0~(n×n)={A∈SR~(n×n)|X~TAX≥0,X∈R~n},SR_+~(n×n)={A∈SR~(n×n)|X~TAX>0,X∈R~n,X≠0}. 利用矩阵X的奇异值分解和正交三角分解,我们给出了上述问题的解的表达式.     

矩阵方程aX^2＋bX＋cIn=0的一种解法

提出了矩阵方程aX2+bX+cIn=O,a,b,c∈R且a≠0,In是n阶单位矩阵,X∈Cn×n的一种解法.首先将方程转化为Y2=O或In,然后讨论了Y的所有解,最后根据转化式,得到了原方程中X的所有解.     

线性流形上的广义中心对称矩阵反问题

设R∈Cn×n是满足R=RH=R-1≠±In的广义反射矩阵.若A∈Cn×n满足RAR=A,则称A为n阶广义中心对称矩阵,n阶广义中心对称矩阵的全体记为GCSCn×n.令X1,Z1∈Cn×k1,Y1,W1∈Cn×l1,S={A|‖AX1-Z1‖2+‖Y1HA-W1H‖2=min,A∈GCSCn×n},本文研究如下问题.问题Ⅰ.给定矩阵Z2,X2∈Cn×k2,Y2,W2∈Cn×l2,求A∈S,使得其中‖·‖是Frobenius范数.问题Ⅱ.给定矩阵A∈Cn×n,求A∈SE,使得其中SE是问题Ⅰ的解集合.本文给出了问题Ⅰ解集合SE的表达式,并导出了矩阵方程AX2=Z2,Y2HA=W2H有解A∈S的充分必要条件及其通解表达式,并给出了问题Ⅱ解的表达式以及求解问题Ⅱ的数值方法和数值例子.     

线性流形上实对称半正定阵的一类反问题

1　引　　言文中记Rn×m为所有n×m阶实阵集合,SRn×n为所有n阶实对称阵集合,Pn表示所有n阶实对称半正定阵集合,A≥0表示方阵A对称半正定.A+、R(A)、N(A)分别表示矩阵A的Moore-Penrose广义逆,列空间和零空间,‖·‖表示Froblnius范数.对于Z.Y∈Rn×k,令S={A∈Pn|AZ=Y,ZTY∈PK,R(YT)=R(YTZ)}(1.1)　　现考虑如下问题:问题　给定X.B∈Rn×m,找A∈S,使得AX=B(1.2)　　问题　给定A∈Rn×n,找A∈SE,使得‖A-A‖=infA∈SE‖A-A‖(1.3)其中SE是问题的解集合.问题与具有重要的应用背景,当Y=ZΛ,Λ=diag(λ1,λ2,…     

一类联图的距离谱半径以及盖理论（英文）

令X=(n₁,n₂,…,n_t),Y=(m₁,m₂,…,m_t)是两个t维递减序列.如果对所有的j,1≤j≤t,都有∑_i=1~j、n_i≥∑_i=1~j m_i以及∑_i=1~t n_i=∑_i=1~t m_i,则称X可盖Y,记作X■Y.如果X≠Y,则记作X■Y.本文考虑联图G(n₁,n₂,…,n_t;a)=(K_n1∪_n2∪…∪K_nt)∨K_a的谱半径,这里n₁+n₂+…+n_t+a=n,(n₁,n     

边界条件含有特征参数的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）.