楔上的覆盖映照

在研究微分方程、积分方程的正解时,需要讨论楔上或锥上的映照是否为同胚。Banch空间中的集合K称为楔,若K是闭凸集,且(?)≥0有tK(?)K。设P、Q为楔,称映照f:P→p有线段提升性质,若(?)∈P,y_0=f(x_0),y_1∈Q,在P中存在道路x(t),0≤t≤1,x(0)=x_0,使得     

多重Fourier级数及其共轭Fourier积分的球形求和

设E_K为K维欧氏空间,E_K中的点x记为x=(x_1,x_2,…,x_k),Q_k{x∈E_k;-π≤x_i<π,1≤i≤K},B(x_0,r)={x∈E_k;|x-x_0|≤r},Q={x∈E_k;|x|=1},K(x)=P(x/|x|)|x|~(-k)为球调和核,此处P(t)为n次齐次调和多项式。     

一类具有变量时滞的非线性中立型微分方程组解的稳定性和渐近稳定性

考虑如下非线性中立型微分方程组(t)=A(t)x(t) f(t,x(t-△(t)),(t-(△t))),(1)其中时滞△(t)是连续函数,且满足条件0<△_0≤     

关于循环自动机若干问题的多项式时间算法

自动机A=(Q,Σ,δ)称为循环的。如果存在状态q_0∈Q,使得对于任何状态P∈Q,有x∈Σ~*,成立ε(q_0,x)=P;q_0称为A的一个生成元。本文中所指的自动机均为有限自动机。自动机A=(Q,Σ,δ)的一个自同态是一个映射ξ:Q→Q,满足(?)_a∈Σ,P∈Q(ξ(δ(P,a))=     

Neutral方程解的渐近性态

在电力系统中往往会遇到如下的滞后微分系统x’(t)=Ax’(t-τ) Bx(t) Cx(t-τ),t≥0,(1)X(t)=(?)(t),-τ ≤t≤0,(2)这里A,B和C为N×N常数复阵,τ>0为常数滞后量,(?)(t)为已知向量函数,x(t)为未知向量函数.     

Opial不等式之进一步推广

定理1 令在u≥0上P(u)及Q(u)非减且Q为凸,P(0)=Q(0)=0,Q~(-1)(v)为Q(u)之右连续逆;则当f∈AC[a,b],f(a)=0时     

一类半线性抛物系统正解的爆破速度

近来有关抛物方程爆破问题的研究有了较大进展,越来越多的工作是对抛物系统爆破条件、爆破速度、爆破点集及渐近形态的研究,本文考虑如下Dirichlet问题: u_t-△u=υ~q,υ_t-△υ=u~q,(x,t)∈B_R×（O,T） u(x,t)=υ(x,t)=0,(x,t)∈S_R×(O,T), (1) u(x,0)=u_0(x),υ(x,0)=υ_0(x),x∈B_R, 其中B_R={|x|1（不妨设p≤q）,u_0,υ_0∈C~2是径向对称非增非负函数满足u_0(x)=υ_0(x)=0,x∈S_R且△u_0 υ_0~P≥0,△υ_0 u_0~P≥0,x∈B_R.我们得到 定理 设（u,υ）是式（1）的非平凡解,在有限时刻T爆破,那么存在常数c和C使得 c（T-t）~（-α）≤ sup_x∈B_Ru（x,t）=u（0,t）≤C（T-t）~（-α）,t∈（0,T）, C（T-t）~（-β）≤sup_x∈B_Rυ（x,t）=υ（0,t）≤C（T-t）~(-β),t∈（0,T）,     

Banach空间中相应于抛物方程的线性发展系统的扰动定理

设X是Banach空间,△={(t,s);0≤s≤t<∞}。又设{A(t)}_(t≥0)是X上的线性算子族,且满足以下条件: (P_1)A(t)(t≥0)的定义域(A(t))在X中稠密,且不依赖于t。     

关于(p,p)型数域(p≤19)的单位群

设K为(p,p)型数域,即K是有理数域Q的Galois扩张,Gaiois群Gal(K/Q)=C_p×C_p,这里C_p表示P阶循环群,P是奇素数。可以证明K洽好有(p+1)个P次循环子域,记作K_i 1≤i≤p+1。设U和U_i分别是数域K和K_i的单位群;再记     

用满足Micchelli条件的Kantorovi■型算子的L逼近性质

设T是C[0,1]■AC[0,1]的线性算子,对g(u)∈C[0,1]有:T(g(u),0)=0,T(g(u),1)=g(1),f(t)∈L[0,1],F(u)=integral from 0 to n (f(t)dt),A(f(t),称A为Kantorovi(?)型算子,记为A∈(?),它是Kantorovi(?)多项式P_n(f)的推广。B_n~([k])(F)和和P_n~([k](f)分别是Bernstein多项式B_n(F)     

指数有界C-半群的生成元和Hille-Yosida空间

(X,‖ ‖)是Banach空间,C是X中的单射有界线性算子。X上的强连续有界线性算子族{S(t);t≥0}称为指数有界C-半群(以下简称C-半群),如果S(0)=C,S(t)S(s)=S(t+s)C,(?)t,s≥0,以及‖S(t)‖≤Me~(at),(?)t≥0。C-半群{S(t);t≥0}的生成元A定义如下:     

非线性中立型时滞系统的大范围指数稳定性

研究如下的非线性中立型时滞系统(t)=f[t,x(t),x(t-△(t)),(t-△(t))]的零解在C_1空间中的大范围指数稳定性。其中时滞△(t是非负有界连续函数,即0≤△(t)≤△,△表     

一类含时滞的偏泛函微分方程解的稳定性

考虑含常时滞的偏泛函微分方程其中A(t),B(t)是在R~+=[0,+∞)上连续的n×n矩阵,D(t)=diag(d_1(t),…,d_n(t)),C(x,t)=diag(c_1(x,t),…,c_n(x,t)),而d_i(x,t)>0,c_i(x,t)≥0,i=1,2,…,n。φ是Ω×[—τ,0]上适当光滑的已知n维     

交换环上模的Euler特征数

设R为带单位元1的交换环,P为R-模,如果P有有限的有限生成自由分解O→F_m→…F_1→F_0→P→0,则记P∈FFR且称x(P)=Sum from i=1 to m((-1)~i)rankF_i为P的Euler特征数。在刻画交换环的模结构方面,Euler特征数发挥了很大作用。本文采用同调方法,给出了半遗传环和遗传环上x(P(?)Q)=x(P)x(Q),x(Hom(P,Q))=x(P)x(Q)成立的充要条件。 1 预备知识 假设所讨论的环都是带单位元1的交换环,模指酉模。     

一类代数数的有效有理逼近

设P(x)=x~3+mx~2-(m+3)x+,m≥2,m∈N.ρ为P(x)的根,Q(ρ)称为最简三次域,许多人研究了Q(ρ)的各种性质。最近Thomas证明当21.365×10~7时,方程     

二阶线性中立型微分差分方程非振动解的类型与判别

本文讨论二阶线性中立型微分差分方程其中τ>0,σ>0,c∈R,p∈R~+-{0}。给出了方程(1)的非振动解的所有类型及其判别。 置 z(t)=x(t)-cx(t-τ)。 定理1 当c≤0时,方程(1)不存在     

一个指数有界C-半群的扰动定理

设(X,|| ||)是Banach空间,B(X)是X中有界线性算子的全体.算子C∈B(X)为一单射,B(X)中强连续算子族{S(t);t≥0}称为指数有界C-半群(以下简称 C-半群),如果S(o)=C,S(t)S(s)=S(t S)C,(?)_(t,s) ≥ 0,以及||S(t)||≤Me~at,(?)_t≥0;而S(t)的生成元A定义如下:     

函数类L_α(k,ρ)与解析函数的(α,ρ)型邻域

设f(z)在E={z:|x|<1}内解析,且f(0)=0,f′(0)=1,记其全体为A。本文中,α≥0,δ≥0,0≤ρ<1,整数k≥1;S~*(ρ),K(ρ)同通常意义一样。记     

普适弛豫的统一模型

普适弛豫不同于理想的Debye弛豫,但是具有一般介质所具有的弛豫规律、Ngai首先假设并为大量实验结果证实:时域普适弛豫函数φ(t)可用如下的关系来描述 e~-(?) t相似文献   

理想流体的数值解

U(x_1,x_2,…,x_n,t)表示速度向量,其分量是U~((i)),1≤i≤n。P表示压力与密度之比,v(x_1,x_2,…,x_n,t)是运动粘性系数,0≤v_0≤v≤v_1,f(x_1,x_2,…,x_n,t)表示体积力,那末Narier-Stokes方程如下