关于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(Ω)。     

Lp(x)(Ω)中关于Luxemburg范数和共轭Orlicz范数间的一个最佳不等式

令Lp(x)(Ω)为变指数Lebesgue空间,其中pΩ→[1,∞].‖·‖p(x)和‖·‖op(x)分别表示Lp(x)(Ω)中的Luxemburg范数和共轭orlicz范数.本文证明成立最佳不等式‖·‖p(x)≤‖·‖op(x)≤d(p_,p+)‖·‖p(x),其中d(p-,p+)是一个依赖于p-=essinfΩp(x)和p+=esssupΩp(x)的常数.当1＜p-＜p+＜∞时,d(p-,p+)=((p--1)p--1/p-p-)p+-1/p+-p-(p+p+/(p+-1)p+-1)p--1/p+-p-+(p-p-/(p--1)p--1(p+-1)p+-1/p+p+)1/p+-p-;当p-=1或p+=∞时,d(p-,p+)是相应的极限形式.     

数值积分下四阶方程协调有限元解的L_∞估计

|u|_(m,Ω), ‖u‖_(m,Ω)(以下下标为Ω时略去),p=∞时采用通常的修正定义.H(?)(Ω)是C_0~∞(Ω)在模‖·‖(?)下的闭包,(·,·)表示L_2内积。另外,记‖u‖m, ,h=(sum from e ((‖u‖_m~p),p,e)p。 讨论下列四阶方程的有限元逼近问题:     

关于R.WHITLEY定理

以‖·‖(?)表示〔-1,1〕上的 L_p 范数,1≤p≤∝,‖·‖_p=(?)|·|~p dx,0相似文献   

L~(p(x))(Ω)中关于Luxemburg范数和共轭Orlicz范数间的一个最佳不等式

令 L~(p(x))(Ω)为变指数 Lebesgue空间,其中 p：Ω→[1,∞]．‖·‖_(p(x))和‖·‖_(p(x))~o 分别表示 L~(p(x))(Ω)中的 Luxemburg 范数和共轭 Orlicz 范数．本文证明成立最佳不等式‖·‖_(p(x))≤‖·‖_(p(x))~o ≤ d_(p-,p )‖·‖_(p(x)),其中 d_(p-,p )是一个依赖于 p-=essinf_Ωp(x)和 p =esssup_Ωp(x)的常数．当1＜p-＜p ＜∞时, (?) 当 p-=1或 p =∞时,d(p-,p )是相应的极限形式．     

Banach平面上的圆周率

为了更好掌握凸性理论与有关技巧,我们在老师的指导下,考虑了 Banach 平面上圆周率的上下界问题,并证明了如下有趣的事实:Banach 平面上的圆周率介于3与4之间,且3和4是可达的.一、Banach 平面及圆周率Banach 平面即为二维的线性赋范空间.鉴于二维线性空间必线性同构于 R~2,故不妨设 Banach 平面即为赋有范数‖·‖_*的 R~2空间,记为 (R~2,‖·‖_*).定义1.设 (R~2,‖·‖_*)上以 x_0为圆心,r 为半径的圆为 O={x|‖x-x_0‖_*=r,x∈R~2}.圆周长定义为圆内接多边形当边长一致趋于零时边长之和的极限.注.这里的边长是指关于范数‖·‖_* 的长度,以后若无特殊说明,均按此理解.     

多滞量线性微分方程系统的数值收敛性分析

1　引　　言本文将涉及多滞量线性微分方程系统y′(t)=By(t)+km=1Bmy(t-τm),t∈[t0,T],y(t)=φ(t),t∈[t0-τ,t0],(1.1)其中B=(bij),Bm=(b(m)ij)∈CN×N,0<τm≤τ(1≤m≤k),y(t)=(y1(t),y2(t),…,yN(t))T∈CN是未知函数.下文中恒设(1.1)有唯一充分光滑的解y(t),且其满足‖y(i)(t)‖≤Mi,　　t∈[t0-τ,T],(1.2)这里‖·‖为CN中某内积〈·,·〉导出的范数,即‖ξ‖=〈ξ,ξ〉(ξ∈CN).文[1]中指出:当(1.1)的系数阵满足km=1‖Bm‖<-12λmax(B+B*)(1.3)时(其中矩阵范数‖·‖定义为:‖B‖=sup‖ξ‖=1‖Bξ‖,B∈CN×N),系统(1.1…     

有限元的L~p估计

为书写方便,仅考虑如下二次泛函数的极小问题[注1]:其中W_p~m(Ω)为通常的空间(范数记为‖·‖m,p).假定凸域ΩR~2的边界满足文[1]中的条件(详见以下的(6),(6)＇).并假定Ω=Ω∪Ω上给出了三角形(或四边形)网格族_h,(0相似文献   

逼近转化论和泛系逼近论(Ⅳ)

Theorem 1 If 1≤p≤∞, f∈W_p~(l)(D), then ω_k(δ,f,W_p~(l)(D))≤c(‖f‖_(l)_p),if f∈C~〔k+l〕(D), then ω_k(δ, f,W_p~(l)(D))≤c(δ~kmax‖(D)~(k)f‖_(()p)), where c is independent of δ≥0 and f. Theorem 2 If f∈W_p~(r)H_M~(a)(〔a,b〕)is of period b-a<∞, then ‖f‖_((s)t)≤cM~d‖f‖_((u)υ)~e, where d=δ/θ, e=(θ-δ)/θ, p≥1, t≥υ≥1, r>s≥u, δ=s-u+     

关于径向矩阵与谱矩阵

§1.引言与记号 设A∈C~(s×n),则称 ‖A‖=‖AX‖/‖X‖ 为A的谱模(谱范数),其中‖X‖表示向量X∈C~(n×1)的Euclid范数。即当X=(x_1,…,x_n)~(?)时,‖X‖=(XX)~1/2=sum from i=1 to n(|X_1|~2)~1/2;‖AX‖为向量AX的Euclid范数。 如众周知,我们有如下结论: 引理 1[1]、设A、B∈C~(n×n),则谱模满足范数的三个条件: 1>.恒正性:‖A‖≥0且‖A‖=0 A=0; 2>.齐次性:若α∈C,则‖αA‖=|α|·‖A‖; 3>.三角不等式:‖A+B‖≤‖A‖+‖B‖。     

一个范数构造定理的反例及修正

1 引 言 近年来,范数在矩阵计算[2]、扰动理论[4]等领域中的应用越来越广泛.有关范数不等式的运用在一些证明中也越来越常见. 在文[3]中,Horn和Johnson引用了这样的一个范数定理: 命题 V为域F(C或R)上的向量空间,若‖·‖a1,…,‖·‖am为V上的向量范数,‖·‖β是Rm上的向量范数,则函数f:V|→R     

关于非线性微分方程渐近稳定的线性化原理

<正> 解的等渐近稳定性的条件.设 E 是 Banach 空间(范数为‖·‖_E),A(t)是几乎处处定义于[0,+∞)取值于 E 的有界线性算子空间(?)(范数为‖·‖)的局部一致(Bochner)可积函数,即 A(t)在每一紧区间[t_1,t_2)(?)[0,+∞)一致可测([2])和∫_(t_1)~(t_2)‖A(s)‖ds<+∞.这时(1)的几乎处处可微绝对连续解存在唯一.令 S_r={x∈E;‖x‖_E≤r},用 C(t_0,t_1,E)表定     

关于T.J.Rivlin的一个问题

本文在连续函数空间内按两种范数‖·‖_Ｍ（Ｏｒｌｉｃｚ范数）和‖·‖_(Ｍ)（Ｌｕｘｅｍｂｕｒｇ范数分别解决了Ｔ．Ｊ．Ｒｉｖｌｉｎ的一个问题     

具有左、右特征向量及特征值约束下逆特征值问题

§1 问题的提法R~(n×m)表示所有 n×m 阶实阵集合,(A)表示矩阵 A 的列空间,A~+表示 A 的 Moore-Penrose 广义逆,P_A=AA~+表示到(A)的正交投影核子;I_n 表示 n 阶单位阵,‖·‖_F 表示 Frobenius 范数。问题Ⅰ给定X,Y∈~(n×m),Λ=diag(λ_1,λ_2,…,λ_m)∈R~(m×m),找 A∈R~(n×m),使得问题Ⅱ给定 A~*∈R~(n×n),找∈S_E,使得‖A~*-‖_F=‖A~*-A‖_F,其中 S_E是问题Ⅰ的集合。本文讨论问题Ⅰ有解的充分与必要条件,且求出 S_E的表达式,同时给出的表达式。     

矩阵特征值的几个扰动定理

1 引言 设A∈C~(n×m),B∈C~(m×m)(m≤n),它们的特征值分别为{λ_k}_(k=1)~n和{μ_k}_(k=1)~m.令 R=AQ-QB (1)这里Q∈C~(n×m)为列满秩矩阵.Kahan研究了矩阵A在C~(n×m)上的Rayleigh商的性质,证明了下列定理:设A为Hermite矩阵,Q为列正交矩阵,即Q~HQ=I,而B=Q~HAQ,则存在 1,2,… ,n的某个排列π,使得 {sum from j=1 to m │μ_j-λ_(π(j))│~2}~(1/2)≤2~(1/2)‖R‖_F (2)其中R如(1)所示,‖·‖_F为矩阵的Frobenius范数.刘新国在[2]中将此定理推广到B为可对角化矩阵的情形,并且还建立了较为一般的扰动定理:设A为正规矩阵,B为可对角化矩阵;存在非奇异矩阵G,使得G~(-1)BG为对角阵,则存在1,2,…,n的某个排列π,使得 │μ_j-λ_(π(j))│≤2(2~(1/2))nK(G)_(σ_m~(-1))‖R‖_F,j=1,2,…,m. (3)     

边界层的奇性分析

设 λ∈[λ_0,∞)(0<λ_0<<1),H_1=H_0~2(Ω)∩H~3(Ω),H_2=H_0~1(Ω)∩H~3(Ω),H_3=H~3(Ω),k_1=1/4,k_2=1/12,k_3=1/36,J_6(λ)=integral d(x,Γ)≥a~λlog(1+a~(-β) |△▽(u_e-u)|~2dx,α(ε)=1/6×log_ε1/C(C>1).我们考虑问题(?)定理.若 u=f∈H_i,对问题(1),有如下三种情形成立:i)正规区域 当 λ_0≤λ≤1/6-α(ε)时,有J_6(λ)≤C‖f‖_(H~3(Ω))~2;ii)奇性增长区域当1/6-α(ε)<λ<1/6+k_i/6时,有J_6(λ)≤Cε~(-6λ+2k_i)‖f‖_(H~3(Ω))~2;iii)奇性稳定区域当 λ≥1/6+(k_i)/6时,有J_6(λ)≤Cε~(-1+k_i)‖f‖_(H~3(Ω))~2;其中 i=1,2,3,β≥(45)/(32),C 为同 ε 无关的常数(见图1).     

Robin反问题的线性互补解法

正1引言考虑二维Laplace方程的Robin边界问题{△u=0,u∈Ω,?u/?v+pu=g,u∈?Ω=Γ,(1)其中Ω■R~2,Γ表示区域Ω的边界,v(向量)表示Γ上的单位外法向量,Robin系数p是一个非负函数,其支撑Γ_1■Γ,g是给定的函数,其支撑Γ_0■Γ,Γ_0与Γ_1满足Γ_0∩Γ_1=?.这类微分方程产生于一些实际应用,例如模拟电导体和周围环境之间的稳态热传导模型和半导体中金属和硅的接触面模型等,方程中的u,p,g在不同的环境下代表不同的     

特征值问题有限元逼近的Lp估计与超收敛性

设Ω是R~2中的一个开域,边界Г满足李普希兹条件。W_(m,p)(Ω)表示通常意义下的obolev空间,其范数用‖·‖m,p表示,记     

关于鞍点问题的Babuska-Brezzi条件的必要性

在研究 Lagrange 乘子法导出的鞍点问题解的存在唯一性及其混合有限元逼近时,如所周知 Babuska-Brezzi 条件(即 B-B 条件)起着决定性的作用.在 Brezzi 的基本工作中,不仅证明了 B-B 条件是保证上述鞍点问题存在唯一解的充分条件之一,而且也是一个必要条件.本文将对 B-B 条件的必要性作进一步更细致的分析.令 V,M 是二个 Hilbert 空间,V′,M′分别为 V,M 的对偶空间;‖·‖_V,‖·‖_M,‖·‖_V′及‖·‖_M′ 分别为对应空间中的范数〈·,·〉为对应空间的对偶积.令 A∈(?)(V;V′),B∈L(V;M′)为两个连续线性算子,从而 B 的对偶算子 B′∈(?)(M;V′),即〈B′μ,v〉=〈B_v,μ〉,(?)_v∈V,μ∈M.(1.1)定义两个连续双线性型如下:     

矩阵方程的最小二乘解

1　引言与引理设 Rm× n表示所有 m× n阶实矩阵的集合 ,ORn× n为所有 n阶实正交矩阵的全体 ,In 是 n阶单位矩阵 .AT、A+、rank A分别表示矩阵 A的转置、MP逆及秩 ;‖·‖是矩阵的Frobenius范数 .此外 ,对于 A =(αij)∈ Rs× s,B =(βij)∈ Rs× s,A * B表示 A与 B的Hadamard积 ,其定义为 :A* B=(αijβij) 1≤ i,j≤ s,现考虑如下问题 :问题 P　给定 A∈Rn× m,B∈Rp× m,D∈Rm× m求 X∈Rn× p,使得Φ =‖ ATXB - BTXTA - D‖ =m in　　我们知道 ,矩阵方程 ATX B- BTXTA=D在自动控制理论中有很重要的作用[1 ,2 ] .…