具有离散核的Bochner-Martinelli公式

周知,在一般有界域上至今尚未建立具有全纯核的多复变数整体积分公式.本文的目的是要在一般有界域上建立一类具有离散全纯核的Bochner-Martinelli整体积分公式,并能在(?)方程和奇异积分方程等研究中得到重要的应用.设D是C~n中具有C~1光滑边界(?)D的有界域,(?)={B_n|n∈N}是D的一个σ局部有限开覆盖,B_j ∈(?),J是N的有限子集}是(?)的一个σ局部有限加细,记为(?).(?)表示C~n中的欧氏拓扑,(?)表示(?)在D中的相对拓扑.1 构造单位分解和离散核定义1.1 设Ψ是拓补空间(C~n,(?))的子空间(D,(?))中一可数可积函数族,若对每一点z∈D,存在z的邻域U,使得除了Ψ的有限个成员之外在点z或U上均为零,而这有限个成员在U中是全纯的,则称Ψ是D上的一个σ点有限局部全纯的函数族.定义1.2 设(?)是域D的一个开覆盖,Ψ={f_n:n∈N}是D上的一个σ点有限局部全纯的函数族,若对每一点z∈D,满足,并且对每一f_n∈Ψ,存在一个U∈(?)使得{z∈D|f_n(z)≠0}=U,则称Ψ是D上的一个从属于(?)的σ点有限局部全纯的单位分解我们容易验证下面的引理.     

边色数的分类问题及其有关性质

设图G为简单连通图,由Vizing定理可知△(G)≤x′(G)≤△(G)+1。其中,△(G)表示图G的最大顶点次,x′(G)是图G的边色数。若x′(x)=△(G),则称G为第一类图,并记为G∈C~1;若 x′(G)=△(G)+1,则称G为第二类图,记为G∈C~2。本文的目的在于讨论边色数的分类问题及其有关性     

调和Hardy空间和混合模空间之间的连续嵌入

设D={x∈R~n;λ(x)<0}是一具有光滑边界的有界区域,λ∈C~∞(R~n)是D的一个定义函数,(?)λ在(?)D={x∈R~n;λ(x)=0}的某个邻域内处处不为零.对r>0,我们以dσ_r和dσ分别记(?)D_r={x∈R~n; λ(x)=-r}和(?)D上的n-1维Hausdorff测度,而以dm记R~n中的Lebesgue测度D上复值调和函数的全体记h(D)对f∈h(D)及非负整数m,置grad_mf为f的m阶梯度,其模为此处α=(α_1,α_2,…α_n)为n重指标,|α|=α_1+α_2+…+α_n,grad(?)=f.对0相似文献   

变分不等式的并行Schwarz算法

设Ω为R~d中有界多角形区域,V为Sobo1ev空间H~k(Ω)的子空间,a(·,·)为V×V上连续强制对称双线性型,f∈V。为简单计,设V中元素在Ω上满足齐次边界条件。考虑变分不等式:求u∈K使 a(u,v—u)≥f(v—u), (?)v∈K, (1) 其中 K={v∈V:v≥φ于Ω},φ≤0于(?)Ω, (2) 或者 K={v∈V:φ≤v≤ψ于Ω}, φ≤0≤ψ于(?)Ω, (3) 且φ,ψ∈H~1(Ω)∩C~0(Ω)。 设V~h(?)H_0~1(Ω)是V的有限元逼近且其结点参数值包含在结点的函数值。问题(1),(2)或问题(1),(3)的有限元逼近为:求u_h∈K_h使     

二阶混合型方程的广义Tricomi问题

1.问题的提出 在区域■(=■~ U■~-)中考虑混合型方程 Lw≡k(x,y)w_(xx) w_(yy) α(x,y)w_x β(x,y)w_y γ(x,y)w=f(x,y),(1)其中函数k(x,y)满足条件:yk>0当y≠0,k(x,0)=0,k∈C~1((?)),α,β,γ∈C((?)),f∈L_2((?))。(?)~ 的外边界是一条逐段光滑曲线Γ_0,两端和蜕型线上A,B点相连接,(?)~-的     

推广的C~1封闭引理的较简证明

设M是n+1维C~2流形(n≥1),σ:M→TM是M上的一个C~1向量场,φ:D→M是σ产生的流。仿照文献[1],我们不限定M是紧致的。因此,φ的定义域D,可以不是整个的M×R而仅是M×R的一个连通开子集。设v_0∈M,当如下两条成立时,称v_0是φ的一个非游荡点:(ⅰ){v_0}×R~+D(R~+=[0,∞));(ⅱ)对V_0在M中的任一个邻域     

复加权Plancherel公式与Jacobi变换

设v∈c,考虑复平面上单位圆盘D上的测度。设D(D)是由D上具有紧支集的C~∞函数组成的空间,D~#(D)是由D~#(D)中的径向函数组成的子空间.M(?)bius群SU(1,1)在D~#(D)上的表现T~v定义为　　则由射影表示T~v诱导出来的不变Laplace算子为　　设φ_λ~v(z)是满足φ_λ~v(0)=1和     

半空间上半线性椭圆型方程组正解的对称性

1979年,Gidas等人用平移平面法结合极大值原理讨论了椭圆型方程正解的对称性和单调性.此后十几年中,这方面的研究工作开展得十分活跃,如Gidas等人证明了“如果u∈C~2(?)是方程面△u u~p=0,u(?)Ω=0在半空间Ω=│x=(x_1,x_2,…,x_N)│X_N>0│中的非负解,12是空间维数,则u只依赖于X_N”正如文献[2]中指出的那样,这个结果好就好在对解在无穷远处未加限制.1993年,Berestycki等人应用文献[4]中提出的滑动方法证明了“如果u∈C~2(?)是方程△u f(u)=0,u(?)Ω=0在半空间Ω=│x=(x_1,x_2,…,x_N)│x_N>0│中的正解,且supu=M< ∞,f是[0,M]上的Lipschitz连续函数,f(M)≤0,则u只依赖于X_N”上述这些结果,以及由此产生的各种方法,如平移平面法、滑动方法、窄区域上的极值原理等等,对我们研究非线性椭圆型方程的解的对称性、单调性及解的先验估计等提供了某些行之有效的办法.关于半线性椭圆型方程组的解的对称性和单调性研究,至今为止还未广泛开展.众所周     

二阶可化为“积分小”系数含阻尼项的非线性泛函微分方程解的振动性质

本文研究下列二阶微分方程解的振动性: 其中r∈C~1[(t_0,∞),(0,∞)],P,q∈C[[t_0,     

关于两类图的整和数

本文中的图均指无向简单图,以N,Z分别表示全体自然数及全体整数集合.对子集S(?)Z(N),S上的整和(和)图定义为图G=(S,E),满足条件对u,v∈S,uv∈E当且仅当u v∈s.此时,S称为G的一个整和(和)标号.一个图称为整和(和)图,如果它同构于某一子集S(?)Z(N)上的整和(和)图.容易验证,对一个有m条边的n阶图G,G∪mK_1是一个和图,只需标定G的顶点为2~i,1≤i≤n,同时对v_i,v_j∈E(G),标定对应的孤立点2~i 2~j即可.因此,对每一个图G,存在一个最小的非负整数r,使G∪rK_1为和图,记σ(G)=r,并称为G的和数.图的整和数ξ(G)类似定义,只是标号范围放宽到整数集上.容易看到ξ(G)≤σ(G).     

条件Brown运动新定理简证

§1.引言本文第一作者1979年在北京演讲时曾提出下列问题:设{x_t,t>0}为R~d(d≥2)中Brown运动,D为连通区域,m(D)<∞(本文以m表示Lebesgue测度),h为在D中的正调和函数,τ_D为初离时,即τ_D=inf {t>0:x_t(?)D}。则对任何x∈D,是否成立     

基本域上的Bloch函数

设D={z∈C:|z|<1}是有限复平面C上的单位圆盘,而Γ为D上的Fuchs群.又设Ω={z∈D:|z|<|γz|,id≠γ∈Γ}是Γ作用下的基本域.如果Γ={id},那么就令Ω=D.若用Ω与(?)Ω分别表示Ω在D上的闭包与边界,则Ω具有如下三条性质:(i)当id≠γ∈Γ时,γΩ∩Ω=φ;(ii)(?)γ(?)=D;(iii)(?)Ω的二维Lebesgue测度为零.再用A(Γ)表示D上的关于Γ成自守的解析函数之全体.就f∈A(Γ)来说,如果     

可化为一个“积分小”系数的二阶微分方程解的振动性质

本文讨论二阶微分方程 (r(t)ψ(x)x′)′+p(t)f(x)=0, t≥t_0≥0 (1)和它的特殊形式 (r(t)x′)′+p(t)x=0 (2)的解的振动性。其中r∈C~1([t_0,∞),(0,∞)),     

全局渐近稳定性的Jacobi猜想的证明

设f∈C~1(R~2,R~2),f(o)=0.考虑平面微分方程x=f(x) (1)很久以来人们猜测:如果(?)x∈R~2,f的Jacobi矩阵Df(x)的特征值都具有负实部,则微分方程(1)的零解全局渐近稳定.在文献中,此猜想被称为Jacobi猜想或平面Markus-Yamabe猜想.1963年,Olech证明此猜想等价于f的全局单射性.1988年,Meisters和Olech证明,当f是多项式映射时,Jacobi猜想成立.1991年Gassull,Llibre和Sotomayor证明,当f是Khovansky函数(一类解析函数)时,Jacobi猜想成立.本文对一般情况证明了Jacobi猜想成立.1 预备知识设S~k(R~2,R~2)={f∈C~k(R~2,R~2)|(?)_x∈R~2,Df(x)是稳定矩阵},k=1,2,…, ∞ .设f∈S~∞(R~2,R~2),则(?)_x∈R~2,Lyapunov矩阵方程Df(x)G(x)十G(x)(Df(x))~T=-I_2 (2)有唯一正定解G(x),其中I_2为2×2单位阵.显然G∈C~∞(R~2,R~(2×2)).定义微分方程(?)y=G(y)ν,ν∈R~2, (3)y(0)=x,     

Hopf余模余代数的Morita理论

自1958年建立Morita理论以来,Morita context被广泛应用于代数结构的研究。1986年,Cohen和Fischman对Hopf模代数建立了Morita理论,并把它用于研究Smash积。之后,Cohen,Fishchman和Montgomery等又作了发展。为了对余模建立相应的理论,Takeuchi于1977年定义了所谓的pre-equivalence date,即Morita context的对偶概念。本文的目的是对Hopf余模余代数建立Morita理论,并把它用来研究Hopf cogalois。 本文的所有讨论都在固定的域k上进行。有关Hopf代数的基本事实见文献[4,5],采用Sweedler的记法,但省略和号∑。 设C为左H-余模余代数,β:C→H(?)C,β(c)=C~(1)(?)C~(2)(已省略∑,下同)为结构映射,即(?)c∈C有     

N参数广义Wiener过程的点常返性

简记R_+~N中点t=为;如果所有t_i=λ,记t=<λ>;记称之为方体;记△()=△(<0>,)。设函数f(s),s∈R_+~N在任何方体上平方可积,此类函数全体记为(?)~2(R_+~N)。设W~((N))为连续N参数Wiener过程。定义σ-域及(R_+~N)上随机     

反射扩散过程的极集

设DR~d为有界C~3区域,边界■D上的单位内法向为n(x)=(n_1(x),…,N_d(x)),x∈D.对u∈C~1(?),记     

带无关小项电路化简的布尔方法

定义1 给定B~n={0,1}~n上n元布尔函数f(X),令T_f={X∈B~n|f(X)=1},F_f={X∈B~n|f(X)=0}。当T_f∪F_f(?)B~n时,称f(X)为部分定义布尔函数。一个带无关小项的组合电路对应一个部分定义布尔函数。     

关于Reinhardt域(Ⅱ)

对C~n中域Ω的Bergman核函数K(z,(?))的边界性状的研究,已经有相当长的历史了,它一直可追溯到Bergman的原始的研究工作.后来,Fefferman及稍后的Boutet de Monvel和Sj(?)strand得到了当Ω(?)C~n是强拟凸域时K_Ω(z,(?)的渐近展开.对C~2中的区域,Catlin给出了在边界(?)Ω的有限型点附近K_Ω(z,(?))性状的明确的描述,McNeal和Negal等人则得到了该类域的K_Ω(z,(?))的精确估计.对C~n中的耦合类(decoupled class Ω(?)C~n,McNeal对边界(?)Ω上的有限型点z给出了K_Ω(z,(?))的精确估计,而对Reinhardl域(1)式,D＇Angelo给出了Bergman核函数K(z,(?))的级数形式为     

非线性拟抛物型复方程的Riemann-Hilbert初边值问题

在平面N+1连通域D(不妨设D为N+1连通圆界域)上考虑非线性拟抛物型复方程