集论公理的简约与基数的方幂

如命 tran_R m 指(uRv ∧usm→·usm),而 xR_*y 指m(tran_Rm∧ysm→·xsm),则集论的六条公理(对偶、联集、幂集、分出、替换、无穷)可合并为一条:x!yφ(x,y)→sy(yssx(xs_*axp_*b·φ(x,y)),这里“!y”指“最多只有一个 y”,而 xpb 指“x 为 b 的幂集”.给定无穷基数 a 后,可定义:f_0(α)=μβ(α~β>α),σ_0(α)=μγ(γ~(f_0(α))>α);f_(k 1)(a)=μβ(γ<σ_k(α))γ~β>α,σ_(k 1)(α)=μγ(γ~(f_(k 1)(α))>α).则有定理:当1≤βγ,则有:当g(δ)≤α≤g(δ)~β时α~β=g(δ)~β,对此外的α,则必α~β=α.     

抛物型积分算子的弱型极限行为

设0≤βα, q=α/(α-β), f≥0.本文研究带齐次核?的抛物型奇异积分和分数次积分算子的弱型极限行为,建立了如下结果:limλ→0+λqm({x∈Rn:Tα?,βf(x)λ})=1α||?||q q||f||q L1(Rn),以及limλ→0+λqm({x∈Rn:Tα?,βf(x)-?(x)ρ(x)α-β||f||L1(Rn)λ})=0,其中?满足Lqβ-Dini条件,当β=0时,还需满足∫Sn-1?(x′)J(x′)dσ(x′)=0.同时,给出了相应的抛物型极大奇异积分和Marcinkiewicz积分的弱型极限行为.此外,建立了关于Heisenberg群Hn上Hardy-Littlewood极大函数的相应结果.     

H lder不等式的推广及其应用

§1 引言文[1]叙述Holder不等式如下: 设α,β,¨,λ皆为正,且α+β+…+λ=1。则式中等号当且仅当(a),(b),…,(l)中存在一组与各组皆成比例时适用。 Jensen在上述条件不变的情况下,只将α+β+¨+λ≥1改变。不等式(1)仍然成立。本文类似上述情况,将条件改为0<α+β中…+λ<1时,不等式(1)仍然成立,即定理1 设α_i>0,α_(ij)>0(i=1,2.…,n;j=1,2,…,m),且.则     

求解中立型比例延迟泛函微分方程的数值方法

正1引言在本文中,我们主要考虑带有以下边界条件的中立型泛函微分方程(u(t)+a(t)u(pm~t))~(m)=βu(t)+(m-1)∑(k=0)b_k(t)u~(k)(pkt)+f(t),t≥0,(1.1)(m-1)∑(k=0)c_(ik)u~(k)(0)=λ_i,i=0,1,…,m-1,其中a(t)和b_k(t)(k=0,1,…,m-1)是已知的解析函数,β,pk,c_(ik),λ_i为已知的常数且0pk1(k=0,1,…,m).中立型延迟泛函微分方程描述一种特殊的延迟微分方程.这     

一个含参数根式不等式链

文[1]给出了如下含参数根式不等式:定理1设ai∈R ,i=1,2,…,n,且∑ni=1ai=k,λ>0,μ≥0,则λk μ (n-1)μ0,μ≥0,则λk μn2≤n∑i=1λkai2 μ<λk μ (     

严格伪压缩映象的复合隐格式迭代序列的收敛率估计

设K是实Banach空间E的非空闭凸集,{Ti}iN=1:K→K是N个严格伪压缩映象且公共不动集F=∩Ni=1F(Ti)≠φ,其中F(Ti)={x∈K:Tix=x}.{αn}n∞=1,{βn}n∞=1[0,1]是实序列且满足条件:(i)sum from n=1 to ∞ (αn)(ii)lim(n→∞)αn=lim(n→∞)βn=0(iii)αnβnL2<1,n≥1其中L≥1是{Ti}iN=1的公共Lipschitz常数.对于任意的x0∈K,设{xn}n∞=1是由下列产生的复合隐格式迭代序列:xn=(1-αn)xn-1+αn Tnynyn=(1-βn)xn-1+βnTnxn其中Tn=Tn mod N,则{xn}强收敛到{Ti}iN=1的公共不动点.结果推广和改进了相关文献的结果,且主要定理的证明方法也是不同的.并且进一步给出了序列的收敛率估计.     

J-子空间格代数上中心化子和广义导子的刻画

设L是Banach空间X上的J-子空间格,AlgL是相应的(J-子空间格代数.设φ:AlgL→AlgL是可加映射,对每个K∈(J)(L),dimK≥2.该文证明了下列表述等价:(1)φ是中心化子;(2)φ满足AB=0■φ(A)B=Aφ(B)=0;(3)φ满足AB+BA=0■φ(A)B+φ(B)A=Aφ(B)+Bφ(A)=0;(4)φ满足ABC+CBA=0■φ(A)BC+φ(C)BA=ABφ(C)+CBφ(A)=0.作为应用,得到AlgL上在零点广义可导的可加映射的完全刻画.     

非负定函数正则的充要条件

§0.引言为了下面解释的方便起见,我们首先给出如下几个定义:定义1 称一个连续实变复值函数φ(t)为一个非负定函数,如果对任何 n≥1,实数t_1,…,t_n 及复数λ_1,…,λ_n,有 sum from i,k=1 to n λ_iλ_kφ(t_i-t_k)≥0.而当φ(0)=1时,此φ(t)被称为标准非负定函数(实际上就是概率论中的特征函数).定义2 称非负定函数φ(t)是正则的,如果存在 f(x)∈L~1(-∞,∞),使φ(t)为f(x)的 L~1-Fourier 变换.而称产 f(x)为φ(t)的密度函数.定义3 设 g(t)是 L~1(-∞,+∞)中某函数的 L~1-Fourier 变换,若     

有限型的首次返回例外集的测度和维数北大核心CSCD

设M=(m_(ij))是一个b×b阶矩阵且m_(ij)∈{0,1},∑_(M)是矩阵M=(m_(ij))诱导产生的有限型,σ是其上左推移算子.本文主要研究的是有限型动力系统(∑_(M),σ)上的首次返回速度问题.令τ_(k)(x)是点x∈∑_(M)首次返回到包含x的k阶柱集时间,且E_(α,β)={x∈∑_(M):lim inf_(k→∞)(logτ_(k)(x))/k=α,lim sup_(k→∞)(logτ_(k)(x))/k=β}.我们证明了:当M是不可约矩阵时,对任意0≤α≤β≤+∞,集合E_(α,β)的Markov测度要么等于0要么等于1并且具有满的Hausdorff维数.     

分式Brown运动的重点与Hausdorff维数

设X(t)(t∈R~N)是d维分式Browa运动,本文研究X(t)的k重点集的Hausdorff维数。证明了:若P_1,…,P_k是R~N中内部不空的紧集,P=multiply from i=1 to k P_i, L_k(P)={x∈R~d|存在(t_1,…,t_k)∈P,使X(t_1)=…=X(t_k)=x},则当N≤ad,Nk>(k-1)ad时,P{dim L_k(P)=Nk/a-(k-1)d}>0,当N>ad时,P{dim L_k(P)=d}>0。当N≤ad时,对R~N\{0}中互不相交的紧集E_1,…,E_k得到了dim(X(E_1)∩…∩X(E_k))的一个上界和dim(X(E_1)∩X(E_2))的下界,从而当k=2时,证明了Testard猜想。     

Bargmann空间中无界Gribov-Intissar算子的谱逼近（英文）

在[Adv.Math.(China),2015,44(3):335-353]中,我们研究了经典Bargmann空间Bo中的非自伴算子H_μ:H_μ=S_μ+H_λ,其中S_μ=μz d/(dz),H_λ=iλ(z(d~2)/(dz~2)+z~2 d/(dz)),i~2=-1,参数μ,λ都是实数.我们给出了H_μ的谱分析和H_μ的广义特征向量的渐近分析.设ek(z)=(z~k)/((k!)~(1/2)),k=1,2,…是B0的正交基.算子H_μ可以被一列三对角矩阵逼近,此三对角矩阵的主对角线元素为β_k=μk,次对角线元素α_k=iλk(k+1)~(1/2),1≤k≤n,n∈N.对于μ∈C和λ∈C,本文主要研究上述矩阵的特征值z_(k,n)(μ,λ)的局部化,它是多项式P_(n+1)~(μ,λ)(z)的零点,P_(n+1)~(μ,λ)(z)满足三项递推关系:若"∈R和λ∈R,则上述矩阵是复对称的.在这种情况下,我们证明了R上有界变分复值函数∈(z)的存在性,它使得权重为∈(z)的多项式P_n~(μ,λ)(z)是正交的.我们也考虑了H_μ的扰动H_λ'=S_λ'+H_λ,其中S_λ'=λ'z~2(d~2)/(dz~2)+S_μ,λ'∈R,H_λ可以被矩阵(h_(jk)~λ)_(j,k=1)~∞表示.证明了可以通过S_λ'的特征值和有限矩阵(h_(jk)~λ)_(j,k=1)~n的特征值的组合来逼近H_λ'的特征值.     

Banach空间中一类广义Lipschitz非线性算子迭代序列的收敛定理

1　引言与预备知识设 X为一实 Banach空间 ,X*是 X的对偶空间 ,正规对偶映射 J:X→ 2 X*定义为 :J( x) ={ f∈ X*;〈x,f〉 =‖ f‖ .‖ x‖ ,‖ f‖ =‖ x‖ }其中〈· ,·〉表示 X和 X*的广义对偶组 .用 j(· )表示单值的正规对偶映射 .设 K是 X的一非空子集 ,算子 T:K→ X称为φ-强增生的[1 ,2 ] ,如果存在一个严格增加函数φ:[0 ,+∞ )→ [0 ,+∞ ) ,φ( 0 ) =0满足 x,y∈ K, j( x-y)∈ J( x-y)使得〈Tx -Ty,j( x -y)〉≥φ(‖ x -y‖ ) .‖ x -y‖ ( 1 )( 1 )中若 φ( t) =kt(其中 k>0 ) ,相应地称 T为强增生算子 ,k称为 T的…     

关于完备λ超曲面的第二拼挤定理

欧氏空间R~(n+1)中满足方程H=-X~N+λ的浸入超曲面称为λ超曲面.本文主要研究欧氏空间中完备λ超曲面的第二拼挤问题.设M为R~(n+1)中具有多项式体积增长的n维完备λ超曲面.设M的第二基本形式为A.本文证明存在正的绝对常数γ,如果|λ|≤γ,β_λ≤|A|~2≤β_λ+~1/21,其中β_λ=1/2(2+λ~2+|λ|(λ~2+4)~1/2),那么|A|~2≡β_λ,λ≥0,且M必为n维球面S~n(n~1/2)、n维圆柱面S~k(k~1/2)×R~(n-k)(1≤ k≤ n-1)或S(((λ2+4)~1/2-|λ|)/2)×R~(n-1)之一.     

向量值H~P空间上的Cesàro算子

设X为一复Banach空间,f:D→X为一个X-值解析函数,f(z)=sum from n≥0(a_nz~n),a_n∈X,设C(f)(z)=sum from n≥0((a_0 a_1 … a_n)/(n 1)z~n)A(f)(z)=sum from n≥0(sum from k=n to ∞(a_k/(k 1))z~n本文证明了对于任意的1≤p<∞以及复Banach空间X,C为从H~p(X)到H~p(X)的有界线性算子;对于任意的1相似文献   

偶特征有限域上一类正规基及其对偶基(英文)

设正整数n(≥2),N={α_i|i=0,1,…,n-1)是有限域F_(2n)在F_2的正规基,且t_i=Tr(αα_i)(i=0,1,…,n-1),其中Tr(α)是α∈F_(2n)在F_2上的迹映射.本文讨论了F_(2n)在F_2上的满足如下条件的高斯正规基的存在性:t_0=t_1=t_(n-1),t_i=0(i≠0,1,n-1).给出了这种正规基的对偶基,并由此确定了F_(2n)在F_2上满足上述条件的全部最优正规基.     

拟线性可约化双曲组经典解的生命区间及其应用

本文对一类拟线性可约化双曲组考察具有紧支集小初值的Cauchy问题: t=0:r=εr_0(x),s=εs_0(x)(2)其中k(v)适当光滑,k(0)>0,并设存在一正整数p≥1使 k’(0)=…k~(p-1)(0)=0 而k~(p)(0)≠0,(3)而r_0(x),s_0(x)为紧支集C~1函数,且不同时为零,证明了其经典解的生命区间T(s)=O(ε~(-p)),并给出了在非线性波动方程中的应用。     

含三个Riemann-Liouville分数阶导数的脉冲Langevin型方程的边值问题的可解性

设n,l,k为正整数且α∈(n-1,n),β∈(l-1,l),γ∈(k-1,k).该文首先利用迭代方法给出具有三个分数阶导数的Langevin方程[D_0~α+D_(0+)~β-λD_(0+)~γ]x(t)=P(t)的连续通解.然后,该文使用数学归纳法获得脉冲分数阶Langevin方程[D_0~α+D_(0+)~β-λD_(0+)~γ]x(t)=P(t),t∈(t_i,t_(i+1)],i∈N_0~m分片连续通解.接下来,该文运用获得的结果研究具有三个分数阶导数α,β∈(1,2),γ∈(0,1)的非线性脉冲Langevin方程的一类边值问题,通过将其化为积分方程,运用不动点定理建立这类边值问题解的存在性定理.最后,该文给出例子说明了主要结果的应用.     

一道美国奥林匹克题的进一步推广

美国第33届数学奥林匹克第5题是:设a,b,c为正实数,证明:(a5-a2 3)(b5-b2 3)(c5-c2 3)≥(a b c)3.这是一道被广泛关注的问题.文[1]将此题推广为:推广1设ai>0(i=1,2,3,…,3k,k∈N ),证明:∏3ki=1(ai5k-ai2k 3k)≥(i∑3=k1ai)3k.文[2]将此题再推广为:推广2设ai>0(i=1,2,3,…,n,n∈N ),αβ>0,则∏ni=1(aiα β-aiβ n)≥(i∑=n1ainα)n.事实上推广2可进一步推广为:推广3设ai>0(i=1,2,3,…,n,n∈N ),αβ>0,0≤λ≤1,则∏ni=1(aiα β-λαiβ μ)≥(α βα-λβi∑=n1aiαn)n,其中μ=n λ nαβ-nαλβ-1.为了证明推广3,我们先引进著名的加…     

排序法计算指数寿命型元件失效率经典精确最优置信上限

设有指数寿命型元件,寿命服从参数为λ的指数分布,λ未知,设有此元件的分组数据(grouped data):对N个元件进行定时检测,0=t_0相似文献   

非线性四阶周期边值问题多个正解的存在性

利用不动点和度理论,证明了四阶周期边值问题u(4)(t)-βu″(t)+αu(t)=λf(t,u(t)),0≤t≤1,u(i)(0)=u(i)(1),i=0,1,2,3,至少存在两个正解,其中β>-2π2,0<α<(1/2β+2π2)2,α/π4+β/π2+1>0,f:[0,1]×[0,+∞)→[0,+∞)是连续函数,λ>0是常数.