关于半鞅随机微分方程解的存在性和唯一性

(一)预备、半鞅分解 这节简述本文所需有关半鞅分解的结果。 设(Ω,(?),P)是完备概率空间,(?)的子σ-域族((?)_t)_(t>0)满足通常条件(单调上升,右连续,(?)_0包含(?)的全体零测集)。π,(?)分别表示循序可测σ-域,可选σ-域,可料σ-域。 (1)设M是一维半鞅,按其跳可定义取非负整数值的随机测度(?)(ω,·),     

定常Navier-Stokes方程有限元分析

的近似解.方程(1.1)中的Γ是区域Ω(R~N)的边界.假设Γ充分光滑,在适当条件下,上述问题的解(u,p)(∈(H_0~1)(Ω))~N×L_0~2(Ω))是存在唯一的.关于H_0~1(Ω),L_0~2(Ω)等记号将在下面统一说明.Falk曾用Galerkin-Langrange乘子法找Stokes问题的近似解,近似解空间(V_(1h)~0)~N×X_h取为(H_0~1(Ω))~N×L~2(Ω)的有限维子空间.[3]中指出,当Ω不是多角形区域时,构造H_0~1(Ω)且满足一定条件的有限维子空间V_(1h)~0是比较复杂     

关于Wilson矩形元L~∞-估计的一个注记

1.引言与预备知识 为方便起见,我们仅考虑如下的模型问题: -△u=f,在Ω中,u|Ω=0, (1.1)其中Ω R~2是边平行坐标轴的矩形域。 W~(m,p)(Ω),W_0~(m,p)(Ω)(m为整数,1≤p≤∞)表示通常定义的Sobolev空间,||·||_(m,p,Ω),|·|_(m,p,Ω)为通常定义的范数和半范数,定义W~(m,2)(Ω):=H~m(Ω),W_0~(m,2)(Ω):=H_0~m(Ω)。     

关于条件期望的一点注意

不久前Shu-Teh Chen Moy当作函数空间的变换求出了条件期望的特征性质.他取的函数空间是这样的.给定概率空间(Ω,F,μ),一次取空间S(Ω),即Ω上的F可测函数空间,但是当作半序线性空间看;另一次取L~p(Ω)(p≥1),即Ω上的p次方μ可积函数空间,但是当作Banach空间看.笔者以为S(Ω)空间的看法更有意思些.根据这一看法,在本文里,作了更一般的处理.为了便于与[1]比较,证明步骤的区分与[1]写成一样;有些证明是一样的也全写出.笔者在这里详当感谢王寿仁同志对于笔者     

关于Schwarz交替法的收敛因子

§1.Schwarz交替法的收敛因子 我们就二阶自共轭椭圆型方程的Dirichlet问题来讨论.设Ω?R~2为一多边形区域, a(u,v)=(f,v),v∈H_0~1(Ω),f∈H~(-1)(Ω), u∈H_0~1(Ω)是定义在其上的边值问题的变分形式,双线性型时a(·,·)满足     

一致抛物型方程广义解的弱最大值原理和唯一性定理

Trudinger和Gilbarg—Trudinger对椭园型方程的广义解推广了古典的最大值原理,唯一性定理也有新发展。现在我们把结果推广到一致抛物型方程的第一边值问题。 设Ω是n维欧氏空间E~n中的有界域,Ω为其边界,Q=Ω×(O,T),T是有限值。用(Q)记空间W_2~1(Q)的子空间,其函数在意义下满足如下边界条件: u(x,0)=0,x∈Ω和u(x,t)=0,x∈Ω,t∈(0,T)。 在Q考虑下面形状的方程     

Cn中有界对称域上不同加权Bergman空间之间的复合算子

本文研究了Cn中有界对称域Ω上不同加权Bergman空间之间的复合算子,引入了η-αCarleson测度,利用它作为工具给出了有界的或紧的复合算子Cφ:Lαp(Ω,dνα)Lαq(Ω,dνβ)的特征.     

凸角域上的椭圆Neumann问题的H^2正则性

对凸角域上的Neumann问题△u au＝finΩ，эu/эn＝0onэΩ，这里α≥0是Ω上的有界可测函数且不恒为0，我们证明了：若f∈L^2（Ω)，则解u∈H^2(Ω)，且有正则性估计‖u‖2.0≤C‖f‖0.Ω。     

一类m-空间中的等距逼近问题

在本文中,我们讨论了空间?[m(N),m(Ω)]上的等距逼近问题。 首先,我们指出:当m(Ω_2)为Banach空间、m(Ω_1)为Banach格时,任何T∈?[m(Ω_1),m(Ω_2)],如在正锥m(Ω_1)~+上是“ε-等距”的(0≤ε<1),且||T||≤1+ε。那么,T亦在m(Ω_1)上为“3ε-等距”算子。此外,我们证明了:在空间?[m(N),M(Ω)]中等距逼近问题的回答是肯定;并给出了一些推理。     

紧空间上的正则向量值测度

J.Diestel和J.J.Uhl,Jr在他们的专著《Vector Measures》一书的第六章讨论了向量测度与C(Ω)上有界线性算子的关系。我们利用其中的一些结果得到紧空间上一类正则向量测度通过数值测度表示的定理。设Ω是紧Hausdorff空间,∑是Ω的所有Borel集构成的σ-代数,X是Banach空间,G:∑→X称为Ω上的正则X-值测度,若(i)当     

条件马尔可夫过程的表示

设函数空间型马氏过程 X=(Ω,(?),(?)_t,X_t θ_t,P~x)是以(E,(?))为状态空间的暂留的Hunt 过程,ξ为(E,(?))上 Radon 测度,X 的位势核 U(x,A)=integral A u(x,y)ξ(dy),而 u(x,y)满足 chung、Rao[6]的基本假定。我们找到了一个由 u(x,y)确定的零势集∧(等价于ξ(∧)=0),证明了下述结论:定理 设μ为(?)上测度,μ(∧)=0,h=Uμ(?)∫u(·y)ξ(dy).记 E~h={0相似文献   

可三向剖分域上S_3~1空间的B样条对偶基与拟插值

一阶连续的二元三次多项式在多元样条的研究和应用中有重要地位。本文将[1]中有关S_3~1维数和基底的结果,从矩形域推广到可三向分割域Ω,指出“S_3~1(Ω)的维数等于Ω的一层扩展域Ω_1中所有面元个数T_1减3(第2节),并进而证明,Ω_1中任取T_1-3个B样条构成基底的充分必要条件是这三个面元的重心不共线。 构造对偶基和拟插值对于揭示函数空间的内在性质很有用。第3节在[3]基础上,     

生灭过程V-逗留时间的矩

<正> 设 x={x_t(ω),t≥0}为概率空间(Ω,(?),P)上的生灭过程,相空间 E=(0,1,2,…),生灭速度分别为 bi>0(i≥0),a_i>0=a_0(i>0),且不妨设 X 可分、Borel 可测及一切样本函数右下半连续,因此,X 是强马氏过程.     

简单分歧数值解的L_p估计

§1.问题的提出 考虑单参数二阶椭圆拟线性微分方程:λ∈R,Ω?R~N(N=1,2)是多角形凸域(要求?Ω是Lipschitz连续的)或光滑域.[a_(ij)]∈C~1满足正定条件.f(x,y)∈C~2f(x,0)≡0,f_y(x,θ)≥0,但f_y(x,0)?0,?x∈Ω.记||·||_(j,p,Ω),p≥1,j=0,1,2为通常的W~(j,p)(Ω)范.H_0~1?W_0~(1,2),(·,·)为H_0~j中通     

关于Sobolev空间中的K泛函及其应用

设Ω是R~n中的LG域,0≤v≤r,0相似文献   

简单分歧数值解的L_p估计

§1.问题的提出 考虑单参数二阶椭圆拟线性微分方程:λ∈R,Ω?R~N(N=1,2)是多角形凸域(要求?Ω是Lipschitz连续的)或光滑域.[a_(ij)]∈C~1满足正定条件.f(x,y)∈C~2f(x,0)≡0,f_y(x,θ)≥0,但f_y(x,0)?0,?x∈Ω.记||·||_(j,p,Ω),p≥1,j=0,1,2为通常的W~(j,p)(Ω)范.H_0~1?W_0~(1,2),(·,·)为H_0~j中通     

生灭过程高态V-逗留时间与首次通过时间的分布

<正> §1.引言设 x={x_i(ω),t≥0}是概率空间(Ω,(?),P)上的生灭过程,相空间 E={0,1,2,…},生灭率分别为 b_i>0(i≥0),a_i>0=a_0(i>0),且不妨设 X 为可分、Borel 可测、右下半连续的强马氏过程.     

马氏链的离散分布(Ⅱ)

设X(ω)={x(t,ω), t≥0}是定义在完备概率空间(Ω,,p)上的马氏链。其状态空间1={0,1,2,…}。如不作特别声明都假定X(ω)具有标准转移矩阵,完全可分,Borel可测,状态稳定。令     

凸区域上拟线性椭圆型方程的尖峰解

本文讨论奇异扰动的拟线性椭圆型方程-εΔ_pu(x)=f(u(x)),u(x)≥0,x∈Ω;u=0,x∈Ω在 Dirichlet边值条件下极小能量解的存在性和结构。其中ε>0是小参数,p>2,Δ_pu=div(|Du|~(p-2)Du),f(s)=s~q-s~(p-1),p-1相似文献   

具有阻尼的半线性波动方程解的衰减估计

研究具有阻尼的半线性波动方程的初边值问题u_(tt)-△u+βu_t=|u|~(p-1)u,x∈Ω,t>0u(x,0)=u_0(x),u_t(x,0)=u_1(x),x∈Ωu|_((?)Ω)=0,t≥0其中γ为正常数,Ω■R~n为有界域,当n≥3时,1相似文献