交比在k-拟共形映射下的偏差

研究Agard的η-偏差函数与k-拟共形映射上(下)界的关系,应用Agard的η-偏差函数的性质,给出k-拟共形映射上(下)界的表达式;得到交比在k-拟共形映射下的偏差估计:若f(z)∈Q,则[exp(1/k-k)π]︱(z1,z2,z3,z4)︱km≤︱(f(z1),f(z2)f(z3),f(z4))︱≤[exp(k-1/k)π]︱(z1,z2,z3,z4)︱kn其中,当︱(z1,z2,z3,z4)︱≤1,时n=-1,m=1;当︱(z1,z2,z3,z4)︱>1时,n=1,m=-1。且︱(z1,z2,z3,z4)︱=(z1-z3)(z2-z4)/(z1-z4)(z2-z3)表示扩充复平面C珔2上不同四点的交比。     

短碳纤维增强聚芳醚酮复合材料的断裂机理

考虑如下一类常微分方程初值问题：u′=f(t,u),u(0)=u0．当函数f(t,u)满足李强朴西兹条件|f(t,u)-f(t,v)≤g(t)|u-v|,其中g(t)满足：∫∞0 g(t)dt,∫∞′(t)|dt有界时,其数值格式：∫ 0 ∫ 0 un+1-un-1=f(tn,un n=1.2,… / 2τ=f(tn,un) u0=u0,u′=u0+τf(0,(0,u0)具有长时间稳定性和收敛性。     

关于Heisenberg不等式的几点说明(英文)

设f(t)在区间[-a,a](a>0)一致连续,则(∫-+∞∞|f(t)|2dt)2≤4u2v2-A2,A=2(x0u-y0v),u2=∫-+∞∞t2|f(t)|2dt,v2=∫-+∞∞|f'(t)|2dt,x0=∫-+∞∞[f(t)/(1+t2)π]'dt和y0=∫-+∞∞[f'(t)/(1+t2)π]dt是有限的。     

一类二维非线性Schrodinger方程大时间

用Fourier谱方法讨论如下的非线性Schrodinger方程及其周期初值问题ut-(λ+iα)Δu+(k+iβ)|u|2u+yu=f(x,t),u(x+2π,t)=u(x,t), u(x,0)=u0(x)构造了全离散的Fourier谱逼近格式,并证明了格式的大时间收敛性.     

一类非线性四阶波动方程的初边值问题

研究当n≥4一类弱阻尼非线性四阶波动方程的初边值问题utt+Δ2u+αut=f(u),α0,x∈Ω,t0,u(x,0)=u0(x),ut(x,0)=u1(x),u|Ω=0,Δu|Ω=0,其中Ω∈Rn为有界域.利用Galerkin方法证明了如果f′(s)≤C0且存在常数A、B使得|f′(s)|≤A|s|p+B,其中0p≤n 4-4,n4;0p∞,n=4,u0∈H02(Ω)∩H01(Ω),u1∈L2(Ω),则问题存在整体弱解u(x,t)∈L∞(0,T;H02(Ω)∩H10(Ω)).并且讨论了问题整体弱解的唯一性及渐进性,拓宽了文献[1,2,5]所研究的问题,得到了较好的结果.     

分段连续型随机微分方程的均方稳定性分析

考虑了自变量分段连续型随机微分方程(dX(t)=(a1X(t) a2X([t]))dt (61X(t) b2X([t]))dW(t)的解析解和数值解的均方稳定性.得到了解析解的表达形式,证明了当2a1 b2 b21 b222|a2 b1b2<0时,解析解是均方稳定的.在此条件下,讨论了由半隐式欧拉方法得到的数值解的稳定性,得到如下结论:当0≤θ相似文献   

任意维数半线性拟抛物方程的整体W2,p(2＜p＜∞)解

研究有界域上的任意维数的半线性拟抛物方程的初边值问题ut-△ut=f(u) x∈Ω, t＞0 (1.1)u(x, 0)= u0(x) x∈Ω (1.2)u| Ω=0 t≥0 (1.3)利用逐次磨光法,证明了,若f∈C1,f(u)上方有界,且满足(H) |f′u)|≤A1|u|γ1+B1, 0≤γ1＜∞ ifn=4; 0≤γ1＜4/n-4 if n＞4u0(x)∈W2,p(Ω)∩W1,p 0(Ω)(2＜p＜∞),则对任一T(x),问题(1.1)-(1.3)存在唯一整体解u(x,t)∈W2,∞(0,T;W2,p(Ω)∩W1,p 0(Ω)).从实质上改进和推广了文献[1-3]的结果.     

关于柱图Cλ(Pn)的细分图的k-优美性

一个简单图G=(V,E)是k-优美的(k≥1为整数),如果存在单射f:V(G)→{0,1,2,…,｜E｜+k-1}使得对所有的边uv∈E(G),由f*(uv)=｜f(u)-f(v)｜导出的映射f*:E(G)→{k,k+1,…,｜E｜+k-1}是双射.若G是简单图,且在G的所有相邻的两个顶点之间都加入一个顶点,则所得到的图称为G的细分图,该文证明了当λ≥2,n≡0(mod2)时,Cλ(Pn)的细分图Cλ(Pn)是k-优美图.     

单位球上Zp空间到βp空间的点乘子

主要讨论Cn中单位球上Zygmund型空间Zp到Bloch型空间βp上的点乘子,得到(1)当O≤o＜2时,φ∈βp;(2)当p=2时,supz∈B(1-|z|2)2log2/1-|z|2Rφ(z)|＜∞;(3)当p＞2时,φ∈β2.     

一类p-Laplacian系统同宿轨道的存在性

讨论一类p-laplacian系统d/dt(|u.(t)|p-2 u.(t))-l(t)|u(t)|p-2u(t)+▽W(t,u(t))=f(t)同宿轨道的存在性,其中p1,t∈R,u∈Rn,l:R→R,W1,W2∈C1(R×Rn,R),f∈C(R,Rn)且关于t不是周期的,结果推广和改进了文献中已有的结果.     

一类P-叶解析函数的若干卷积性质

给出了单位圆盘U={z|z|＜1}上的P叶解析函数类P(p,α)(P∈N={1,2,…},α＜p)的若干解析性质.此外,对于f∈P(p,α),证明了积分算子Jp,c(f)∈(p,β),这里β=(2α-p)-(p-α) (c+p,c+p+1;-1)是严格的.     

障碍问题局部可积性的一个注记

考虑A-调和方程divA(x,u)=0,设算子A满足:(i)强制性条件A(x,ξ),ξ≥α|ξ|p-φ1(x);(ii)控制增长条件|A(x,ξ)|≤β|ξ|p-1+φ2(x);(iii)齐次性条件A(x,0)=0,其中1pn,0α≤β∞是非负常数,φ1(x)∈Llso/cp(Ω),φ2(x)∈Lslo/c(p-1)(Ω),1psn。设Kψp,θ(Ω)={v∈W1,p(Ω):v≥ψ,a.e.Ω,v-θ∈W01,p(Ω)},ψ为定义于Ω取值于R∪{±∞}的障碍函数,θ∈W01,p(Ω)为边值。利用Sobolev空间的不等式及嵌入引理,得到了如下局部可积性结果:若0≤ψ∈Wl1o,cs(Ω),则Kψp,θ-障碍问题的解u∈Llso*c(Ω),s*=nn-ss。本结果可看成是高红亚,田会英的结果的推广。     

无界域上半线性抛物方程的整体W2,2解

研究无界域上半线性拟抛物方程的初边值问题ut-△ut=f(U),x∈Ω,t>0,u(x,0)=u0(x),x∈Ω,u|αΩ=0,与相应的柯西问题,证明了,若f∈C1,f(u)上方有界,且满足(H)|f'(u)|≤A|u|r,0≤γ<∞ if n=4;0≤γ≤4/n-4 if n>4且f(0)=0,u0(x)∈W2,2,2(Ω)∩W1,2,2(Ω)(对柯西问题为W2,2(Rn)),则问题存在一个整体W2,2解.     

涉及亚纯函数微分多项式和分担值的正规函数

研究亚纯函数的微分多项式与分担值的关系,得到了一族新的正规函数,即:设F是定义在单位圆盘上的一族亚纯函数,零点重级至少为k并且存在正数A≥1,使得当f(z)=0时有f(k)(z)≤A.f的微分多项式为F(z),如果对于任意的f∈F,有f(z)∈{a,b}F(z)∈{a,b},这里a,b是2个互异的非零有穷复常数,则存在仅与a,b有关的正数M,使得对于每个f∈F,有(1-∣z∣)2∣f′(z)∣f 1+∣f(z)∣2≤M     

亚纯多叶函数的一子类性质

设∑P表示单位圆盘E内形如f(z)=z-p+sum from ∞ to k=1(akzk-p)的解析函数类,利用线性算子Lp(a,c)定义了亚纯多叶函数的一子类Ωp+(a,c;A,B),研究了函数f(z)=z-p+sum from ∞ to k=1(︱ak︱zk-p)在类Ωp+(a,c;A,B)中的充分必要条件以及星像函数和凸像函数在类Ωp+(a,c;A,B)中的半径,给出了此类中诸多函数形式的极值函数.     

某类整系数齐次线性微分方程解的增长性

研究齐次线性微分方程f(k) Ak-1f(k-1) … Asf(s) … A0f=0(1)的增长性问题,其中A0,A1,…,Ak-1是整函数,当存在某个系数As(s∈{0,1,…,k-1})为缺项级数且比其它系数有较快增长的意义下时,得到了微分方程(1)的一定条件下超越解的超级的精确估计.     

关于某些单叶调和函数

用H表示形如f(z)=h(z) (g(z))的调和函数族,其中h和g是单位圆盘内的解析函数.考虑日的三类子族函数.其中的两族为PH(α)={f:Re(f(z)/z)≥α}和NH(α)={f:Re((e)f(z)/(e)θ/(e)z/(e)θ)≥α},),式中0≤α＜1和θ=argz.得到了函数f属于其中一族的一个充分必要条件,并且获得了一些系数不等式和模的估计.当h(z)-z具有负系数g(z)具有正系数时,得到这几类函数族之间的包含关系、偏差性质和极值点等.     

关于Ramsey数rk(Km,n)在n充分大时的上界

改进了Tur偄n数和k-色Ramsey数的上界,对充分大的n和固定的正整数k,m≥2,它们分别满足:ex(N;Km,n)≤12[(n-1)1/mN1-1/m(N-m 1) (m-1)N],rk(Km,n)≤km(n-1) m[(k-1)m-k 2] 1.