首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到20条相似文献,搜索用时 437 毫秒
1.
对任一固定的集合AN(N表示自然数集),本文定义了λ-演算的一种扩充λA-演算.证明了λA-演算具有Church-Rosser性质,从而是协调的.并证明了λA-可定义全函数与A-递归函数是等价的.  相似文献   

2.
首先在测度空间上引入了一类μ-密度函数.证明了由这一类μ-密度函数能生成gλ-测度和条件gλ-测度.其次给出了与μ-密度函数相关的λ-独立性概念,得到一些有关的结果.  相似文献   

3.
本文在[7]的基础上,研究了一类特殊边界条件下奇异的特殊不定Sturm-Liouville问题.即左定S-L问题.类似于经典的方法,建立了左定S-L问题的谱函数ρ(λ),给出了Weyl函数m(λ)与谱函数ρ(λ)之间的关系.  相似文献   

4.
根据Blum,Shub和Smale定义实数环上的计算模型中将递归和μ-算子限制在自然数上这一特点,提出了基于自然数上的递归定义和μ-算子。研究了在可允许序数α-上定义的可计算函数-弱α-递归函数的弱α-递归论的基本性质及其与α-递归论的差别,证明了每个弱α-递归函数是以自然数为参量关于取值α上的变量的多项式函数,并且每个弱α-递归可枚举集与自然数集的交集是递归可枚举的。  相似文献   

5.
λ-演算这种计算模型,是一种良好的数学工具,与递归函数密切相关.λ-演算中的不动点算子,增强了系统的表达能力,表达了递归函数中递归的性质,但同时也略有不足,因为常见不动点算子,都没有β-范式.介绍了一种方法,可以不借助不动点算子,利用Church数字系统的特点,用β-范式定义所有可计算函数.  相似文献   

6.
双解析函数的黎曼-希尔伯特问题   总被引:3,自引:0,他引:3  
讨论了双解析函数的黎曼-希尔伯特问题(RH问题):寻求方程的解,要求它满足边界条件:这里,λ(t),γi(t),i=1,2是给定的H类函数,λ(t)≠0,不失一般性,可以认为|λ(t)|=1.对于指数x的不同情况我们分别得到了双解析函数黎曼-希尔伯特问题的可解性定理。  相似文献   

7.
把有关数值连续正定函数表示的Bochner定理推广到更一般的情形,并将证明从一个局部紧交换群到一个C*-代数的连续正定函数能够表示为向量值正测度的Fourier变换.局部紧交换群到C*-代数的连续正定函数对C*-代数上的广义函数有重要作用.同时给出一个具体应用,推广Bochner-Schwartz定理至算子代数情形,得到S′(A)上正定广义函数θ能表示为(θ,φ)=∫φ(λ)dμ(λ).  相似文献   

8.
首先在测度空间上引入了一类μ-密度函数,证明了由这一类μ-密度函数能生成gλ-测度和条件gλ-测度,其次给出了与μ-密度函数相关的λ-独立性概念,得到一些有关的结果。  相似文献   

9.
由等温过程的功率原理并利用分离变量导出了直杆在轴向动载荷P(t)作用下弹性动态屈曲模态的时间放大函数T(t)的常微分方程T+[λ2-λ1(P(t)]T=0.用Liapunov第二方法分析了该常微分方程的稳定性,导出了一个稳定性的充分条件Pmax<λ2/λ1;P(t)≥0.这是一个基于动力准则的稳定性条件。  相似文献   

10.
设A、B是有单位元的结合环,M是左A-右B-双模,则可定义一个Morita对偶当且仅当AMB可定义一个Morita对偶,且A是左Noether环,B是右Noether环。  相似文献   

11.
由等温过程的功率原理并利用分离变量法导出了直杆在轴向动载荷P(t)作用下弹性动态屈曲模态的时间放大函数T(t)的常微分方程T+[λ2-λ1P(t)]T=0.用Liapunov第二方法分析了该常微分方程的稳定性,导出了一个稳定性的充分条件Pmax<λ2/λ1;P(t)≥0.这是一个基于动力准则的稳定性条件。  相似文献   

12.
设n=2^λ-1+t,λ〉2,0≤t〈2^λ-1。反馈函数xn=f(x0,x1,…,xn-1)=1+x0+Σi∈It(xi+xn-i)产生n阶de Bruijn-Good图Gn的一个完全因子PFλ(2^λ-1+t)其中It={t;(ti)是奇整数,1≤i≤t}。  相似文献   

13.
精确计算了关联时间为τ1和τ2的两相关O-U噪声所驱动线性系统的关联函数、功率谱及定态几率分布.发现:a.噪声间关联强度λ对系统的关联函数、功率谱及定态几率分布都有很大的影响;b.当驱动两O-U噪声的白噪声间的关联时间τ和两O-U噪声的自关联时间相等(τ=τ1=τ2)时,直接关联和间接关联所计算出来的关联函数、功率谱及定态几率分布是相同的;C.在完全负关联(λ=-1),且各噪声的关联时间和强度都相等时,系统的关联函数、功率谱及相对涨落变为0,即确定论情形.  相似文献   

14.
将λ-二级有界变差函数推广至λ-三级有界变差函数,并给出了它的2个充分必要条件。  相似文献   

15.
本文通过引进二重递归函数类的一种分层{Y_n}_(n∈∞),证明了借助于本原函数(后继函数、零函数和投影函数)以及原始递归和复合运算,如果仅增加有限多个二重递归函数作为开始函数,则不足以产生全体二重递归函数。  相似文献   

16.
设图G是一个n阶简单图,G中的一个圈C称为Dλ—圈,如果G\V(C)的每个连通分支的阶都小于λ.当G是3—连通图,且有NCλ(G)≥n+42-2λ时,G含有Dλ—圈或G是Petersen图.  相似文献   

17.
推广了Banach空中谱测度、可测函数关于谱测度的积分、谱算子及其约当分解到局部凸空间.得到定理1设T∈L(X)为谱算子,E()为其单位分解.定义算子S=Φ(λ),其中λ代表函数f(λ)=λ,称S为T的标部.则(i)D(S)在X中稠,且S是一个闭线性算子.(i)当T∈Lb(X)时,S∈L(X),且N=T-S是一拟幂零算子,NS=SN.(ii)在D(S)上成立T=S+N,其中N满足:任意有界闭集e∈ΣP,NE(e)X是一拟幂零算子,且SN=NS在X的某稠密子空间上成立  相似文献   

18.
关联色噪声驱动的线性系统的统计分析   总被引:1,自引:0,他引:1  
周小计  曹力 《华中理工大学学报》1997,25(12):102-104,108
精确计算了关联时间的为τ1和τ2的两相关O-U噪声所驱动线性系统的关联函数、功率谱及定态几率分布,发现:a.噪声间关联强λ对系统的关联函数、功率谱及定态几率分布都有很大的影响;b。当驱劝两O-U噪声的白噪声间接在联时间τ和两O-U噪声的自关联时间的相等(τ=τ1=τ2)时,直接关联和间接关联所计算出来的关联函数、功率谱及定态几率分布是相同的:c.在完全负关联(λ=-1),且各噪声的关联时间和强度都  相似文献   

19.
张慕尧 《山东科学》1996,9(1):11-13
格林函数是数学物理方程中一种常用的解法,但不是所有的边值问题都可以直接应用格林函数法的。本文不亥姆霍兹方程△↓^2u+λu=-f在λ是本征值时,给出类似于格林函数的广义格林函数的解法。  相似文献   

20.
设F(z)=z+An+1z^n+1...,是单位圆内的一种Bazilevich函数。考察由组合式(f(z_/z)^a=(F(z)/z)^a+λz/(1-λ)[(F(z)/z^a]'定义的f(z)的性质,其中a>0,0<λ≤1/1+a证明了1/n√R0f仍然在F(z)所在的族中,其中R0<1是一个二次方程的正根。  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号