递归算术的复迭系统(Ⅰ)

建立“复迭算术”主要困难有两个:一是推出函数D_α的性质,一是推出函数[x~(1/2)]的性质。作者建立了一个递归算术的复迭系统A~1V_2W,其中A~1是用允许一个参数的复迭式定义的存在性公理,V_2是用允许两个参数的复迭式定义的函数的唯一性规则,W是用参数变异递归式定义的函数唯一性规则。     

递归算术的复迭系统(Ⅱ)

建立“复迭算术”其困难有两个,一个是推导出函数Dx的性质,一个是推导出函数R(x)(即[x~(1/2)])的性质,前者已写在“递归算术的复迭系统(Ⅰ)”中,本文着手解决第二个问题——推导出[x~(1/2)]的性质,从而推导出整个的递归算术。     

第一类原始递归算术A~0甲

<正> 在文[1]的绪论中,我们提出了几个问题,其中第二个问题是:若使用(无参数)原始复迭式 A~0(即推出 Gladstone 在1971年的结果),需在基础系统中再加入怎样的高等规则?本文即为回答此问题而作.我们曾把规则称为软规则和硬规则两类,前者为初等规则而后者为高等规则.凡一个规则的前提中含有硬变元的称为硬规则.例如     

递归算术公理的简化

本文,我们把递归算术系统简化为下列三个系统:A_0V_2、A_0V_1I_2θ_2及A_0V_1I_2θ_2~*,此处A_0为存在性公理,而V_n、I_n、θ_n、θ_n~*为唯一性规则,其定义如下:A_0是:给了H(x,y),存在一函数F(u,x),使得规则V_n是:此处是指“可推导出”,x为约束变元,它在前件中不能进行代入,I_n是V_n当H是么函数I(I(x)=x)时的特例,θ_n是V_n当H为θ(θ(x)=0)时的特例,θ_n~*又是θ_n当F(u_1,…,u_n,0)=0时的特例。     

第二类原始递归算术 A~0(D)

<正> 当只使用三个本原函数(即后继函数,零函数和广义么函数)和一个(m,n)迭置算子时,对原始递归式算子能作怎样的化简,一直是一个吸引人的问题.1934年,R.Peter首先把原始递归式归结为只含一个参数的情况,即     

(C)n空间中Cauchy-Leray公式与Cauchy-Fantappiè公式的拓广

本文得到Cn空间中有界域上光滑函数的一个抽象的积分公式,这个公式的特点是积分核中含有m-1个抽象的向量函数W（1）,W（2）,…,W（m-1）和m-1个定义在R中的独立参数t2,t3,…,tm,其中m=2,3,…,N（N<+∞）.由这个公式,不但可以得到Cn中有界域上光滑函数一些已有积分公式（包括著名的Leray公式）,还可以得到Cn空间中有界域上全纯函数著名的Cauchy-Fantappie公式的一种积分核,含有m-1个抽象的向量函数W（1）,W（2）,…,W（m-1）和m-2个独立参数t2,t3;…,tm-1的拓广式,而利用这个拓广式,通过适当选择其中m-1个向量函数和m-2个独立参数,就可得到至今许多区域上全纯函数著名的积分公式的种种拓广式.     

曲线上的复样条函数

本文证明了定义在有限长逐段光滑曲线上、具有某种最小模性质的一类复样条函数的存在唯一性,给出了借助于Aronszajn-Bergman再生核的表示式,研究了这类复样条函数的基本性质,特别是它的收敛性质。最后,作为应用,求出了通常积分以及Cauchy型奇异积分的求积公式,讨论了误差估计。     

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

对任意正整数n,我们定义两个新的算术函数f(n)和它的对偶函数-f(n)为f(1)=-f(1)=1,当n>1且n,=pα11pα22…pαkk为n的标准分解式时,定义f(n)=max(α1,α2,…,αk)和-f(n)=min(α1,α2,…,αk).本文的主要目的是利用初等和解析方法研究这两个函数的算术性质,并给出两个有趣的均值公式.     

复插值样条函数及其收敛性

关于复插值样条函数的研究,一种途径是在所给复区域的边界曲线上定义一类分段复多项式样条,再由Cauchy型积分得出一类定义于区域内的解析样条函数,例如[1,2,6-8],这是Ahlbexg J.H.等人在1967年所开始的工作;而另一种途径是利用Aronszajn-Bergman再生核理论,直接得出一类定义于区域内的解析样条函数,例如[3-5],这是Atteia M.在1971年所开始的工作。但是这类样条函数只是在复平面上的单连通有界开区域中给出。这里,我们将把其结论推广到多连通有界开区域Q(?)C的情形。 在本文中,我们证明了Q中的m阶复插值样条函数的存在及唯一性,及其借助于Aronszajn-Borgman再生核的表示式,给出了几个特例。最后,我们证明了可以用这类样条函数逼近某一类定义于Q中的解析函数。     

有限几何与不完全区组设计的构作(Ⅱ)——利用有限域上辛几何而构作的若干两个結合类的部分平衡不完全区组设计

<正> §1.引言我们先重述一下结合方案以及部分平衡不完全区组设计的定义.定义1.设有ν个处理,m 种关系.我们用 V,V_1,V_2,…表示处理,(V_1,V_2)=i表示处理 V_1和 V_2有第 i 种关系.如果这ν个处理对这 m 种关系满足:1)任给两个不同的处理 V_1,V_2,都有唯一的 i,1≤i≤m,使得(V_1,V_2)=i;而且     

求最佳Lagrange型插值逼近的一种方法

设W是紧空间,两点x,y间的距离用ρ(x,y)表示,对于W的任一紧子集Y,用C(Y)表示Y上的实(或复)连续函数空间。对任意g∈C(Y),定义‖g‖=sup{|g(x)|:x∈Y}。 设X是W的紧子集,Z是X的有限子集。又设F是连续依赖于参数A的逼近函数,A在实(或复)n维空间的一个非空闭子集P内取值,且对一切A∈P,均有     

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

对任意正整数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)的算术性质,并给出一个较强的均值公式及有趣的恒等式.     

哈密尔顿平面图最小平衡二部划分的上界

设G(V,F)是一个图,V_1,V_2是V的一个二部划分,用e(V_1,V_2)表示一条边的两个端点在不同划分里边的总数目,当‖V_1|-|V_2‖≤1时,称V1,V2是V的一个平衡二部划分。最小平衡二部划分是指寻找G(V,F)的一个平衡二部划分使得e(V1,V2)最小。对于哈密尔顿平面图G(V,F),研究了当Perfect-内部三角形最大边函数值与最小边函数值之差为d时,e(V_1,V_2)最小值的上界与d之间的关系。     

水体富营养化状态脉冲控制系统周期解的存在性和唯一性

本文基于藻类治理问题,建立了一个具有状态依赖脉冲和Holling I型功能性反应函数的藻类治理模型,利用常微分方程的定性理论和Lambert W函数以及Poincare映射的性质研究了系统阶1周期解的存在性和唯一性.最后,通过数值模拟对文中主要结论进行了验证.     

水体富营养化状态脉冲控制系统周期解的存在性和唯一性北大核心CSCD

本文基于藻类治理问题,建立了一个具有状态依赖脉冲和Holling I型功能性反应函数的藻类治理模型,利用常微分方程的定性理论和Lambert W函数以及Poincare映射的性质研究了系统阶1周期解的存在性和唯一性.最后,通过数值模拟对文中主要结论进行了验证.     

对称性在微积分中的一些应用

对称的概念在数学领域有着非常广泛而重要的作用,人们可以利用问题涉及的数学对象本身具有的对称因素去解决问题,在微积分部分,利用函数,积分域等所具有的对称性可以拓展思路,简化运算,下面举例说明,仅供教学中参考．一、在微分计算中的应用定义1若将n元函数中任意两个变元对换而函数不变,则称是对称函数．规则是偏导数存在的对称。数,则具,中的X换成y,y换成X,就得到了．规则1可以推广到任意n元对称函数中每一个变元的任意m阶偏导数．利用函数X的对称性,将（1）、（2）式中X,y互换得将（1）、（2）式中工,Z互换得定义2如果…     

三角域上带两个形状参数的Bézier曲面的扩展

给出了三角域上带双参数λ1,λ2的类三次Bernstein基函数,它是三角域上三次Bernstein基函数的扩展.分析了该组基的性质并定义了三角域上带有两个形状参数λ1,λ2的类三次Bernstein-Bézier(B-B)参数曲面.该基函数及参数曲面分别具有与三次Bernstein基函数及三次B-B参数曲面类似的性质.当λ1,λ2取特殊的值时,可分别得到三次Bernstein基函数及三次B-B参数曲面以及参考文献中所定义的类三次Bernstein基函数及类三次B-B参数曲面.由实例可知,通过改变形状参数的取值,可以调整曲面的形状.     

哈密尔顿平面图最小平衡二部划分的上界

设$G（V，E）$是一个图，$V_{1}，V_{2}$是$V$的一个二部划分，用$e（V_{1}，V_{2}）$表示一条边的两个端点在不同划分里边的总数目，当$||V_{1}|-|V_{2}||\leq 1$时，称$V_{1}，V_{2}$是$V$的一个平衡二部划分。最小平衡二部划分是指寻找$G（V，E）$的一个平衡二部划分使得$e（V_{1}，V_{2}）$最小。对于哈密尔顿平面图$G（V，E）$，研究了当Perfect-内部三角形最大边函数值与最小边函数值之差为$d$时，$e（V_{1}，V_{2}）$最小值的上界与$d$之间的关系。     

二维风险模型中Copula 相依下的破产概率

在本文中, 我们把Copula 连结函数用到二维的风险模型中, 考虑两个模型索赔额之间基于Copula 的相依关系. 首先对二维复合Poisson 模型给出了最早破产时刻定义下的生存概率满足的偏微分方程; 然后对二维的复合二项模型, 分别在连续型索赔额分布和离散型索赔额分布下给出了不同定义的生存概率和破产概率的递归公式, 并且特别选择了FGM Copula 连结函数, 给出了相应的结果; 另外在离散型分布下, 对于其Copula 函数的不唯一性进行了说明.     

迭代·递归·一类函数的周期性

求已知函数f(x)的n次迭代式f(f(…(f(x))))的明显表达式,是一个古老、有趣而又困难的问题。本文先指出函数迭代与递归数列的关系;然后给出求函数迭代式的一种简便方法——递归法,最后探讨一类函数的周期性。一、设f(x)是定义在D上的函数,记