二元函数的可积性澌论

本文应用有限复盖定理,对二元函数可积的充分性给出了两个新结论.定理1 设f(x,y)是定义在有界闭区域D={(x,y)|a≤x≤b,c≤y≤d}上的有界函数.若f(x,y)在D上对y关于x一致连续,对x只有第一类间断点,则f(x,y)在D上可积.定理2 设f(x,y)是定义在有界闭区域D={(x,y)|a≤x≤b,c≤y≤d}上的有界函数.f(x,y)在D上有无穷多个间断点,但对(?)(x_0,y_0)∈D,极限(?) f(x,y)都存在,则f(x,y)在D上可积.     

格上传递矩阵的性质

假设格L是有最小元0的分配格,(A)x,y∈L,定义x与y的二元运算x(-)y为:当x≤y时,x(-)y=0;否则,x(-)y=x.定义格上矩阵(R_(ij))n×n与(S(ij))_(n×n)的(-)合成为(R_(ij)(-)Sij)n×n.对幂零矩阵R,证明了(R/R)+=R~+;对非自反传递矩阵R,证明了R/R≤S≤R与R/R=S/R等价,其中R/S=R(-)(R⊙S),⊙是sup-inf合成算子,R~+是R的传递闭包.     

论厄米特核的双线性展开与其均值连续性

设K(x,y)是定义于区域a≤x,y≤b上的平方可积的厄米特核,即合条件: 若核K(x,y)是正定的,则更有其中f(x)表任意平方可积'数(夕f(x),'"相似文献   

有限保E-序部分变换半群的变种半群上的格林关系

设X是一个有限全序集,E是集合X上的等价关系.令PEOPx={α∈Px:(A)x,y∈domα,(x,y)∈E且x≤y(=>)(xα,yα)∈E且xα≤yα},取定θ∈PEOPx,在PEOPx上定义一个运算"o",其中α°β=αθβ,得到一个新的半群称为保E-序部分变换半群的变种半群,记为PEOPx(θ).本文主要刻划...     

二阶线性微分方程在李群之下的不变式

本文讨论线性二阶(常的与偏的)微分方程(非抛物型的),按照李群定义其不变式,证明了关系式λ(x,ε)(?)_o(x,x_o;ε)=λ(x_o,ε)W_o(x,x_o;ε),(?)及当h=i,1≤i≤m_1时,J_h(x,y;x_o,y_o;ε)=J_1.1(x,x_o;ε)当h=m_1+k,1≤k≤m_2时,J_h(x,y;x_o,y_o;ε)=J_2,k(y,y_o;ε)。     

二阶时滞微分方程边值问题的正解

利用锥映射不动点指数定理研究了二阶时滞微分方程的边值问题{y″(x)+f(x,y(x-τ(x)))=0,0≤x≤1y(x)=0,a≤x≤0或1≤x≤b}证明了其正解的存在性.     

一个二阶拟线性椭园型方程定解问题的奇摄动

我们考虑如下含有小参数的二阶拟线性椭园型方程的定解问题:L_ε〔w〕≡ε(■~2w)/(■y~2)+(■~2w)/(■x~2)-a(y)(■w)/(■y)+b(x,y,w)=0(1)〔(■w)/(■x)+λ_i(y)w〕x=σ_i(y)=(?)_i(y),(i=1,2)(2)w丨_(y=0)=(?)_1(x)(3)((?)w)/((?)y)_(y=1)=(?)_2(x)(4)其中0<ε《1,σ_1(y)<α<β<σ_2(y),σ_1(y),σ_2(y)在〔01〕上适当光滑,使得区域Ω={(x,y)丨σ_1≤x≤σ_2,0≤y≤1}在边界σ_1(y),σ_2(y)上每点满足内部球条件〔5〕。(-1)~iλ(y)>0,(?)_i(y)及(?)_i(x)均为它们所定义的那段边界上的连续可微函数,α(y)>0,b(x,     

可交换的s代数与格蕴涵代数

研究了一类模糊逻辑代数系统--交换s代数.给出了交换s代数一系列基本性质,证明了交换5代数关于其上的偏序关系≤构成格最后,证明了在交换s代数中定义x(+)y=x'→y,则X是一个格蕴涵代数,在格蕴涵代数L中,定义x(+)y=x'→y,则L是一个交换s代数.     

关于双曲型方程u_(xy)=f(x, y, u, u_x, u_y)特征問題解的一类唯一性定理

§1.引言本文考虑双曲型方程u_(xy)=f(x,y,u,u_x,u_y) (1)满足u(x,0)=σ(x) 0≤x≤a (2_1) σ(0)=τ(0) (2) u(0,y)=τ(y) 0≤y≤b (2_2)的特征問題的解的唯一性問題。如果在矩形R:0≤x≤a,0≤y≤b上存在非負的连續函数C_i(x,y)(i=1,2,3),对于R上每点(x,y)及任意的u,p,q,(?),(?),q滿足     

S-凸性与局部S-凸空间

本文以L~s[0,1](0相似文献   

关于二重积分的计算

我们知道，计算二重积分，是将其化为计算两次定积分，亦称二次积分或累次积分。能够正确迅速地计算二重积分，关键问题就是化成二次积分，因而，就得掌握一定的技巧和方法。首先，我们来看一下二重积分的表达式：它是由被积函数f（X，y），面积元素伽，积分区域D，三个主要部分构成。其次，为了掌握计算二重积分的决巧和方便起见，介绍如下几个定义、定理：定义1如果积分区域D是由两条连续曲线y＝y1（x）和y＝y2：（x），a≤x≤b，以及两条直线x＝a，x＝b所限制，测称积分区域D为X－型区域。图形如下：定理1在X－型区域上的积分是先对y…     

关于完全链格与完全格的讨论

<正> 1、问题的提出文[2]中讨论递归程序的不动点语义时,指出函数空间[(D~+)~n→D~+]关于Scott偏序“”是一个链半格,由此根据Kleen定理推断出连续泛函不动点的存在性。这里的链格与通常定义的完全格有何关系?设偏序集(L,≤),对任意的x,y∈L,都存在它的最大下界glb(x,y)和最小上界lub(x,y),则称L为格,对于CL,如对于任意x,y∈C,或有x≤y或有y≤x,称C为链。如果对格L中的任意链C,在L中都存在它的最小上界lub(c)和最大下界glb(c),则称L为完全链格。     

关于平方LCM矩阵和LCM方程的注记

设S={x1,…,xn}是由n个不同正整数组成的集合.第i行j列元素为xi和xj的最小公倍数[xi,xj]的n×n阶矩阵([xi,xj])称为定义在S上的LCM矩阵.如果对所有的1≤i,j≤n,有(xi,xj)∈S,称S是最大公因子封闭的(gcd closed).作者考虑了方程11+1(y2,y3)=0[y1,y2,y3,y4]-∑4(y1,y3)+1(y1,y2)+1yii=1的二次幂整数解,证明了对于给定的整数x,如果用ω(x)表示x的不同素因子的个数并令y=[y1,y2,y3,y4],那么当ω(y)<4时,方程没有t(≥2)次幂整数解,并且给出ω(y)=4时方程有二次幂整数解的必要条件.进一步证明了y≤1334025时方程无二次幂整数解.     

偏序超半群模糊理想类的刻画

本文介绍了偏序超半群左(右)理想、拟理想和双理想的概念,并给出了这些理想的另一种刻画.如果f为偏序超半群H的模糊子集,f称为H的模糊左(右)理想当且仅当f满足条件1)1of≤f(fo1≤f)和2)若x≤y,则f(x)≥f(y);f称为H的模糊拟理想当且仅当满足条件1)fo1∧1of≤f和2)若x≤y,则f(x)≥f(y);f称为H的模糊双理想当且仅当满足条件1)fo1of≤f和2)若x≤y,则f(x)≥f(y).本文结果推广了Kehayopulu的工作.     

半群TO_n(k)的格林关系及正则元

设T_n是[n]上的全变换半群.对任意的k∈[n].令TO_n(k)={α∈T_n:(?x,y∈[n])x≤y≤k?xα≤yα≤k},则TO_n(k)是T_n的子半群,进一步获得了半群TO_n(k)的格林关系及正则元.     

一类新混合积分不等式及应用

研究了如下混合积分不等式up（x,y）≤a（x,y）＋b（x,y）f^a（x0∫^a（x）0∫^∞βy[c（s,t）u（s,t）＋e（s,t）]dtds,u^p（x,y）≤a（x,y）＋∫a（x）0b（s,y）[u（s,y）]）^pds＋∫α（x）0∫^∞βy[c（s,t）u（s,t）＋e（s,t）]dtds及u^p（x,y）≤a（x,y）＋∫^a（x）0b（s,y）[u（s,y）]^pds＋∫^α（x）0∫^∞βyF（s,t,u（s,t））dtds,并给出了其具体的应用实例．     

保序递减变换半群的秩2自同态

令T_n为有限集X_n={1,2,…,n}上的全变换半群．本文刻画了子半群C_n={α∈T_n|?x,y∈X_n,x≤y?xα≤yα且xα≤x}上秩2的所有自同态,并得到C_n的秩2的所有自同态的个数．     

关于[x]的一个不等式

本文讨论了关于[r]的一个不等式,得到当且仅当自然数n满足1≤n≤3时有[x]+[y]+[nx+y]+[x+ny(n+2)x]+[(n+2)y]     

二阶微分方程组边值问题2个正解的存在性

讨论了二阶微分方程组x″(t)+λa(t)f(x(t),y(t))=0,y″(t)+λb(t)g(x(t),y(t))=0,0≤t≤1,x(0)=y(0)=x′(1)=y′(1)=0,其中f,g连续,并赋予f,g一定的增长条件,证明了方程组至少存在2个正解。     

两个保序全变换半群的直积上的自同构

令Tn为Xn={1,2,…,n}上的全变换半群,且令On={α∈Tn?x,y∈Xn,x≤y?xα≤yα}为Tn的保序全变换子半群,从而得到了直积Om×On上的自同构.