Log-gamma函数在有理点的值和e~απ的超越性

Γ（x）:=integral fromn=0 to ∞(e^-tt^x-1dt),x>0为gamma函数。设f（x）:=logΓ（x）+logΓ（1-x）,x∈Q(0,12]。证明如果存在有理数y0∈Q(0,12],使得f（y0）=logΓ（y0）+logΓ（1-y0）∈Q,则集合{eαπ|α∈珚Q}中恰好有一个代数数,即e-f（y0）π,且e-f（y0）π=sinπy0。     

关于函数常表素数的问题

用单调有界定理和黎曼(f)函数的深刻性质研究了Gauss函数[x]常表素数的问题,得到下面的结果:有一实数α存在,使得[αn]常表素数.     

函数f(x;A,B)=-x+(Acosx+B)/sinx的性质

讨论了函数f(x;A,B)=-x+(Acosx+B)/sinx在不同系数情况下的单调性,并给出了反函数的存在性,完整地刻划了其性态。这类函数在给出线性自治RDDEx(t)+ax(t)+bx(t-τ)+dx(t-τ)=0零解渐进稳定的充要条件,并直接从方程的系数预报稳定性与非稳定性中起重要作用。     

布尔函数的其它单调分解定理和布尔代数B≠{0,1}上的单调分解定理

文献[1]给出了{0,1}上能分解为单调上升函数与单调下降函数同或运算的充要条件.本文将这充要条件推广到其它二元运算,同时亦给出布尔代数B≠{0,1}上n元函数可单调分解的充要条件.     

亚纯函数微分多项式的值分布

研究了亚纯函数微分多项式fkQ[f]的值分布.证明了对于满足δ(∞,f)≥1-α>0的超越亚纯函数f(z),微分多项式fkQ[f]在任意不含极点的可数个圆盘并集之外取任何非零有限复数无穷次,其中k>1-α,ΓQ是Q[f]的权.     

三类函数关系的探讨

文章给出了单调函数、有界变差函数、绝对连续函数的定义并讨论了三者之间的关系．     

在偏序集上单调函数的一些性质

给出单调函数在偏序集上的一些性质,并给予证明.同时,将全序集上的单调函数与偏序关系中的单调函数进行了比较.     

一类可化为变量分离微分方程的题型推广

对一类可化为变量分离方程的微分方程dy/dx=(a1x+b1y+c1)/(a2x+b2y+c2)(a1,a2,b1,b2,c1,c2均为常数)进行了次数上的推广,得到方程dy/dx=(a1xα+b1xβyγ+cxβ)/(a1yα+b1xγyβ-cyβ)(β+γ=α,β=γ-1),并给出其通用解法.     

一个包含Gauss函数的方程及其实数解

利用初等方法以及Guass函数的性质研究函数方程xy-[x]y=x的可解性,并证明了对任意正整数n,在区间[n,n+1)内有且只有该方程的一个解,从而推出方程xy-[x]y=x有无穷多组实数解.同时在y=1,2,3时,给出了对应解x的具体形式.     

B2上布尔函数的拟单调分解

系统地讨论了B₂上布尔函数的拟单调分解.先使用拟单调分解树来定义布尔函数拟单调分解的一般形式,使其在应用中具有很大的灵活性.然后对⊚、⊕、∪和°运算给出几种实用的拟单调分解法.最后将上述结果推广到布尔函数拟单调分解的一般形式,给出一个布尔函数可以分解成k个单调函数的逻辑组合的充分必要条件.