拟线性椭圆型问题有限元近似解的迭代加速分析

一、问题的提出 我们考察二阶拟线性椭圆型第一边值问题: -?(α(x,u)?u)=f(x,u),在Ω内, u(x)=0,在?Ω上,其中Ω是R~n(n=2,3)中有界开区域,?Ω是Ω的光滑边界。若u(x),α(x,u(x))和f(x,u(x))有足够正规性,则问题(1)的等价弱形式方程是:对于u∈H_0~1(Ω), (α(x,u)?u,?v)=(f(x,u),v),?v∈H_0~1(Ω)。 (2)这里假设α(x,u)在Ω×R中为正的且有界,内积     

Laplace算子特征值和的精细下界

该文研究了Rⁿ中Laplace算子在有界域Ω上的Dirichlet特征值和的下界.众所周知:第k个Dirichlet特征值λ_k(Ω)服从Weyl渐近公式,即λ_k(Ω)～4π²/[w_nV(Ω)]^2/nk^2/n当k→∞时,其中w_n和V(Ω)分别为是Rⁿ中n维单位球的体积和Ω的体积.根据上述公式,Pólya猜测λ_k(Ω)≥4π²/[w_nV(Ω)]^2/nk^2/n,?k∈N.这就是著名的Pólya猜想.对这一问题的研究由来已久,已有很多的工作.特别是,近几十年来最显著的成就之一是由Berezin^[4],以及李伟光和丘成桐^[3]分别独立取得的.他们部分解决了Pólya猜想,只是多了一个因子n/(n+2).后来,Melas^[7]改进...     

使用Kantorovich定理计算变分不等式的可靠解

<正>1引言给定R~n中非空子集Ω和函数F:R~n→R~n,变分不等式问题(简记为VIP(Ω,F))是指寻求向量x~*∈Ω满足(y-x~*)~T F(x~*)≥0,?y∈Ω.常见的VIP(Ω,F)是集合Ω为区间[l,u]的情形,即Ω=[l,u]={x=(xi)∈R~n|l_i≤x_i≤u_i,i=1,…,n},其中l_iu_i,i=1,…,n.在一些文献中,这一问题也称为混合互补问题(见[7]).容易证明,x~*=(x_i~*)∈R~n是VIP([l,u],F)的解的充要条件是     

Bloch空间与BMOA空间的等价性

设Ω是有限复平面C上的双曲型区域,λ_Ω(z)为其上的曲率为-4的Poincare度量,δ_Ω(z):=dist(z,?Ω)。用B(Ω),BH(Ω),BMOA(Ω,m)和BMOH(Ω,m)分别表示Ω上的Bloch空间,拟梯度函数空间,解析的面积BMO空间和实值调和的面积BMO空间。本文证明了如下结论: 定理 设Ω是C上的双曲型区域。如果C(Ω):=(?)λ_Ω(z)δ_Ω(z)>0,那么下面四条是等价的: (1)f∈B(Ω);(2)Ref∈BMOH(Ω,m);(3)f∈BMOA(Ω,m);(4)Ref∈BH(Ω)。     

一个新的算术函数及其均值

对任意正整数n,我们定义算术函数(Ω)(n)为(Ω)(1)=0,当n＞1,且n=pα11·pα22…pαkk为n的标准分解式时,定义(Ω)(n)=α1p1 α2p2 … αkpk.显然这个函数是可加函数.即就是对任意正整数m及n有(Ω)(m·n)=(Ω)(m) (Ω)(n).本文主要目的是利用初等方法研究函数(Ω)(n)的算术性质,并给出一个较强的均值公式及有趣的恒等式.     

关于强P除环上方阵的酉相似理论的一点注记

在文[1]中定义了强p除环Ω,即满足如下条件(1)—(4)的除环Ω: (1)存在Ω的对合反自同构σ(即σ为反自同构,且σ(σ(α))=α Aα∈Ω) (2)Aα_i∈Ω,i=1,…,n(n∈N) sum from i=1 to n(α_iσ(α_i)=0 α_i=0,i=1,2,…,n)。 (3)命R={α∈Ω|σ(α)=α},则R含在Ω的中心中。 (4)Aα_i∈Ω,i=1,2,…,n(n∈N)方程x~2-sum from i-1 to n(α_iσ(α_i))=0在Ω中有且只有两解。 事实上,除了平凡的情况外,强p除环Ω就是R上的四元数除环。确切地说,我们有 定理1 设Ω为强p除环,则Ω为(1)R,(2)R+R_i或(3)R上的四元数除环。这里     

锥中边界函数分式Poisson展式的边界极限

设GC_((n))(Ω)为有界开集,f∈L(C_((n))(Ω)),PIΩf(P)=∫s_(((n)(Ω)))(P,Q)f(Q)dσQ,其中PI_((Ω))(P,Q)是锥C_((n))(Ω)内的Poisson核.本文将给出正规化算子(PIΩf(P))/(PIΩXG(P))在锥中的边界极限,所得结果推广了潘国双在半空间中的相关结论.     

简单分歧数值解的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中通     

简单分歧数值解的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中通     

随机微分方程数值解法

§1.前言 设?_t为(Ω,?,P)上的m维布朗运动(简记为BM).?_t≡σ(B_s;s≤t),于是可在(Ω,?_t,?,P)上定义随机微分方程(记成SDE) ?其中?∈R~n,?是n×m矩阵. 方程(1.1)在物理、化学、生物学等各种不同领域有着重要的应用;就数学本身而言,它在微分方程、控制论、非线性滤波中的作用也日益显著.因此,SDE的数值解法的研究,引起人们的广泛注意.本文研究的是?=1的数值解法,对一般情形,也可完全类似地得到一系列结果,只是数值解具有不同的精度.本文仅给出一维结果,多维情形平行可得.