关于Blaschke收敛定理的推广

[1]中讲述了Blaschke收敛定理。本文把这个定理推广到了赋范线性空间,并在度量空间中得到了类似的结果。§1 定义和引理设(X,d)是一个度量空间。对X中的集序列{A_n},定义其外极限为集合(?)A_n={x|x∈X,存在一串单调上升的自然数{n_k}及x_(n_k)∈A_(n_k),使x=(?)X_n_k};定义{A}的内极限为集合 (?)A_n={x|x∈X,存在自然数n_0~-及x_n∈A_n(n≥N_0~-)使x=(?)_n};若(?)A_n=(?)A_n=A,则称A为{A_n}的极限,或者说{A_n}收敛于A,记为(?)A_n=A。     

泛函I(u)=∫_ΩF(x,u,Du)dx在各向异性Sobolev空间_(p_i)~1(Ω)中的临界点存在性

以∑代替sum from i=1 to n,integral from F(x,u,Du)代替integral fromΩ(F(x,u,Du)dx),(?)代替们(?)(Ω),L_p代替L_p(Ω),“||·||”表(?)的范数,“||·||”表L_p范数.当乘积因子中出现相同下标时省略求和符号.以A(g)和A(?)分别表[1]中对(?)和(?)的嵌入定理的最佳嵌入常     

（O,A）类算子半群序列的收敛性

设X为Banach空间,{T_n(t)}是X上的(o,A)类算子半群序列。文献1,2和3的作者分别讨论了(Co)类、(1,A)类和(A)算子半群序列的收敛性,在这篇文章中我们证明了:若T_n(t),T(t)∈(0,A),并满足条件:(1)T(t)与T_n(s)可交换(n=1,2,…;t,s>0);(2)对任-t>0和且存在实数ω和M_x>0使和则当且仅当并且我们也建立了(0,A)类半群序列的一个收敛定理,所得结果推广了文献1,2和3的若干结论。     

谈谈A~(-1)=(1/|A|)A~*的证明方法

在高等代数中有一个非常重要的定理 :方阵 A可逆的充要条件是 | A|≠ 0 ,且可逆矩阵 A的逆矩阵为 A-1=1| A| A*。在大多数教科书中 ,这个定理所采用的证明方法是 :先定义 A*,再根据 A·A*=| A|· I来证明。在教学过程中 ,常常有学生问 :“怎么能够想到矩阵 A*?我可想不到”。他们在惊叹数学家思维奇妙的同时 ,也对自己学习数学的能力产生怀疑。其实 ,上述定理可用克莱姆法则来证明。下面给出证明方法。方法一 :设 AX=I,其中 I为 n阶单位矩阵A =a11　 a12 　…　 a1na2 1　 a2 2 　…　 a2 n…　…　…　…an1　 an2 　…　 ann,　　 …     

临界点理论在微分方程中的应用

考虑集合M_1={u|I′(u)u=0,u≠0,u∈E},这里I是定义在Banach空间E上的泛函,得出了一个抽象的临界点定理并把它应用于二阶椭圆型偏微分方程和一类Hamilton系统。     

局部Lipschitz泛函的第二形变定理

对局部Lipschitz泛函证明了第二形变定理定理A 设X是一Banach空间,f∈C~(1-0)(X,R),满足P.S.条件,c是f在[c,b](?)R的唯一临界值.再设K_c的连通分支皆为孤立点,则f_c是f_b的强形变收缩核,即存在连续映射τ:[0,1]×f_b→f_b,满足τ(0,·)=Id 、τ(t,·)|_f_c=Id|_f_c τ(1,x)∈f_c.(?)x∈f_b     

Riemann可积的充要条件

设 f:[a,b]→R,P={x_i|a≤x_0相似文献   

关于一致可积随机变量叙列的条件数学期望收敛性的一个反例

在[1]中引用了这样两定理:定理1、2:设随机变量叙列ζ_n~+,n=1,2,…,一致可积并且 E[1im_n supζ_n]存在,则E[lim_nsupζ_n|y]≥lim_nsupE[ζ_n|y] P-a.s.定理1、3:设0≤ζ_n→ζ(P-a.s.),Eζ_n<∞,u=1,2,…,则为了E[ζ_m|y]→E[ζ|y]<∞ P-a.s.当且仅当ζ_n,n=1,2,…,是一致可积的。     

Banach空间上相容算子方程的最小范数解的扰动分析

设~$X, Y$~是~Banach~空间, ~$T$~是\ $\mathcal{D}(T)\subset X$~%到\ $Y$~的稠定闭线性算子而且它的值域在\ $Y$~闭.~设相容算子方程~$Tx=b$~的非相容 扰动为\ $ \|(T+\delta T)x-\barb\|=\min\limits_{z\in\mathcal{D}(T)}\|(T+\delta T)z-\bar b\|,$~%这里\ $\delta T$~是\ $X\to Y$~的有界线性算子. ~在某些条件下\ (比如\$X, \, Y$~是自反的), ~设上述方程的最小范数 解为\ $\bar x_m$, 并 设\$Tx=b$~的解集\ $S(T, b)$~中的最小范数解为\ $x_m$. ~本文给出了当\$\delta(\Ker T, \Ker(T+\delta T))$~较小时, $\dfrac{\dist(\bar x_m,S(T, b))}{\|x_m\|}$~的上界估计式.     

可分Orlicz空间的Korovkin型定理

邱福成[1]建立了L_([a,b])~p (p≥1)空间上弱收敛的Korovkin型定理。本文将该结果([1]之定理1)推广到可分的Orlicz空间。设M(u),N(v)是一对互余的N函数,它们在闭区间[a,b]上生成的Orlicz空间记为L_M(赋Orlicz范数)和L_(N)(赋Luxemburg范数)。又设M(u)满足△_2条件,此时     

关于n维单形的几个不等式定理

本文给出了E~n空间中关于n维单形的有关几何量所满足的若干几何不等式。将结果写成下列定理形式: 定理1.设h_i分别是n维单形(?)的第i个界面上的高(i=0,1,…,n),r为(?)的内切球的半径,则定理2.设m_i是n维单形(?)的第i个界而上的中线(i=O,1,…,n),R为(?)的外接球半     

非游荡算子标准及非游荡算子的性质

讨论了无穷维Fréchet空间中的具有混沌性质的一类算子--非游荡算子.利用等价范数定理首次给出了判别一个线性算子是非游荡算子的判别方法--非游荡算子标准,然后利用这一标准证明了后移位算子B的解析半群T(t)=etB当t=1时是非游荡算子.最后运用泛函分析的方法得到了非游荡算子的性质若T关于E是非游荡算子,则Tm和T-m也是非游荡算子;若T在E1,E2上的限制T|E1,T|E2是非游荡算子,则当E1∩E2={0}时,T|E1(+)E2是非游荡算子.     

具有p-Laplacian算子的差分方程边值问题的多个正解

研究了差分方程△(φ(△u(k-1))) e(k)f(u(k))=0,k∈[1,2,…,T]边值问题的多个正解的存在性,其中,φ(v):=|v|p-2v,P＞1.通过引进Banach空间上的一个锥,应用锥上泛函的不动点定理,给出了这些边值问题至少有2个正解的存在性定理.     

半群T_(n,r)的极大(正则)子半群的完全分类

设S_n和T_n分别是X_n={1, 2,…,n}上的对称群和全变换半群.对1≤r≤n,令T(n,r)={α∈T_n:|im(α)|≤r},则T(n,r)是全变换半群T_n的双边理想.对1≤r≤n-1,考虑半群T_(n,r)=T(n,r)∪S_n,得到了半群T_(n,r)的极大子半群S有且仅有两类:S=T_(n,r)\[τ_i](1≤i≤p=p_r(n))和S=T(n,r)∪G,其中G是群S_n的极大子半群.同时,证明了半群T_(n,r)的极大子半群和极大正则子半群是一致的.所得结果推广了已有的结果.     

关于Frobenius的一个定理

§1.Frobenius曾证明了:如果f(λ)表λ的任一多项式,f(A)=0,那末Ψ(λ)|f(λ),其中Ψ(λ)=(△(λ))/(D_(n-1)(λ)),Ψ(λ),△(λ),分别表n阶方阵A的最小多项式,特徵多项式,D_(n-1)(λ)记特徵矩阵λE-A中所有n-1阶子式的最大公因式。Ostrowski,把Frobenius的定理推广到下面的结果:1.设F(x_1,…,x_m)=A_1x_1+…+A_mx_m,Ai为n阶常数矩阵且至少有一个是满秩的,f(x_1,…,x_m)=det|F(x_1,…,x_m)|,f_1(x_1,…,x_m)表,表,的所有n-1阶子式的最大公因式,ρ(x_1,…,x_m)为x_1,…,x_m的任一多项式。如果     

高阶Hermite-Fejer插值算子的新估计

<正> 设函数f(x)∈C[-1,1],T_n(x)=cosnθ(x=cosθ)是第一类Chebyshcu多项式,x_k=x_k~(n)-cosθ_k=cos(2k-1)/2n π(k=1,2,…,n)是T_n(x)的零点.1975年Sharma和Tzimbalario考虑了由条件L_n(f,x_k)=f(x_k)L_n~(S)(f,x_k)=0(s=1,2,3;k=1,2,…,n)所唯一确定的4n-1次Hermite-Fejer插值多项式L_n(f,x),并且     

算子限制的三角扩张谱与强不可约的

设T是作用在Hilbert空间H上的有界线性三角算子.σΔ(T)表示T的三角扩张谱,σΔ(T)={λ∈C存在b∈L(C,H)使得Tb0λ(H)/(C)不是三角算子}.本文证明了如果H1,H2…Hn是三角算子T的不变子空间,σ(T|Hi)∩σ(T|Hj)=,i≠j,H=ni=1Hi,则σΔ(T)=∪ni=1σΔ(T|Hi).如果T∈Bn(Ω)是强不可约的,σ(T)=,Ω=,则λ∈σΔ(T)当且仅当存在b∈L(C,H),使得Tb0λ(H)/(C)是强不可约的.本文还给出了一类半三角算子加小的紧算子相似于其三角算子部分.     

非线性波动方程整体解的存在性与唯一性

设R~n为n维空间,f(t,x,u)是R~+×R~(n+1)上的实连续函数。本文讨论 u_u-△u+λu_1+μu=f(t,x,u),λ,u>0 (1) u(0,x)=u_0(x),u_1(0,x)=u_1(x).x∈R~n (2)的整体解的存在性与唯一性。定义x_s及|||·|||_s为下列空间及其相应的范数     

二进平稳列的拟线性运算

我们曾引进了二进平稳列的概念,并给出了它的序率谱展式,本文在此基础上讨论二进平稳列的拟线性运算,特别给出一类拟差分方程的解答。本文结果可用于保密通讯中。 (一)设{ξ_k,k=0,1,2,…}为二进平稳列,则其相关函数R(m)可表为 R(m)=∫_0~1Ψ_m(u)G((?)u) m=0,1,2,…, (1)其中G(A)为U=[0,1]上有穷测度,称之为{ξ_k}的序率谱测度;且于(U,(?),G)上存在唯一取值于L{ξ_k,k=0,1,2,…}中的正交随机测度J(A),A∈(?),使对每k=0,1,2,…,有     

在大的邻域并图中长的控制路

设G是一个图。令 NC(G)=min{|N(u)∪N(V)|{u,v)(?)V(G),uv(?)E(G)},本文主要结论如下:定理1 设 G 是3—连通图,|V(G)|=n,{a,b)(?)V(G).若 G 含有一条(a,b)—控制路,则 G 中存在(a,b)—控制路 P,使得|V(P)|≥min{n,2NC(G)-1}定理2 设 G 是3—连通图,|V(G)|=n,NC(G)≥1/2(n+1).若对于任意{a,b)(?)V(G),G 中都有(a.b)—控制路,则 G 是 Hamilton—连通的。