由GA-凸函数的Hadamard型不等式生成的差值的估计

考虑由GA-凸函数的Hadamard型不等式右端部分生成的差值,将这个差值表示为涉及导函数的积分,然后结合Grüss积分不等式、Hlder积分不等式以及凸函数的定义给出这个差值的估计.     

从导函数的零点出发研究函数的单调性

<正>函数的单调性是函数的重要性质,利用导数研究函数单调性是常用的方法,判断可导函数单调性的依据是确定导函数的正负,而导函数的零点可以作为判断导函数正负的出发点.有关单调性的最基本问题是求一个函数的单调区间,函数的定义域通常被分成若干个区间,有单调递增区间、单调递减区间.这些区间的分割点就是导函数的零点.确定导函数的零点方法各异.     

导函数极限定理的应用及推广

文章首先阐述导函数极限定理并给予注记.进一步,利用该定理证明了导函数的一个特性,并讨论其在样条函数插值理论中的应用.最后给出了导函数极限定理在复变函数域中的推广.     

关于导数极限定理的几个应用及其推广

本文首先利用导数极限定理,总结了一些导函数分析性质,并举例说明各种类型间断点在导函数中出现的可能性,最后将导函数极限定理推广到二元函数情形.     

代数体函数的导函数的级

讨论了代数体函数的导函数,并首次证明了它也是代数体函数,证明了有限级整代数体函数的级等于其导函数级.     

导函数与原函数对称性的联系

文[1]对三次函数f(x)=ax3 bx2 cx d对称中心的研究中,同时也涉及到了它的导函数f′(x)=3ax2 2bx c的对称性.但是没有对一般的导函数与原函数的对称关系展开讨论,本文将对此展开进一步的探究.首先,我们来探究,原函数对称时,导函数的对称性如何?若函数f(x)关于x=a对称且可导,则f(x)=f(2a-x).根据复合函数导数的性质易得:f′(x)=-f′(2a-x),所以导函数f(′x)关于点(a,0)对称.同理可得:若函数f(x)关于点(h,k)对称且可导,则导函数f′(x)关于直线x=h对称.因此,我们得到如下结论.定理1若函数f(x)关于x=a对称且可导,则导函数f′(x)关于点(a,0)对称.…     

有关单位根集合上解析函数的一些计算和推广

在文献[1]中,Kazuo Habiro给出了单位根集上解析函数的概念.这是一类特殊的含一个变量x的级数.此类级数收敛当且仅当x是单位根.Habiro通过特殊方法构造了这种单位根集合上解析函数的导函数与在单位根处的泰勒展开.但是,对这些函数的导函数与泰勒展开文献[1]并未给出详细证明.因此,将通过详细的计算来研究这类解析函数的导函数和泰勒展开.引入比单位根集合更广的"集合系统"概念,把单位根集合上的解析函数推广到集合系统上.而且这些推广的解析函数仍能用类似的方式定义导函数和泰勒展开.     

Dirichlet函数与Riemann函数的性质及应用

探讨Dirichlet函数和Riemann函数的连续性、可导性和可积性,并由此分别构造出在一点连续、多点连续、一点可导、多点可导的函数.     

由一元参数方程组确定的隐函数的可导性

给出了由参数方程组确定的隐函数可导的一个充分必要条件.这个条件表明,一类并非处处可导的参数方程组确定的隐函数是可导的.     

分段函数在分界点求导的一个方法

在求分段函数的导函数时,学生们往往借助其分界点的左右导函数的极限来讨论它在分界点的可导性.由于教材上没有相应的定理可依,学生常出一些错误.本文就此问题给予诠释.     

Partial Geometric Difference Families

We introduce the notion of a partial geometric difference family as a variation on the classical difference family and a generalization of partial geometric difference sets. We study the relationship between partial geometric difference families and both partial geometric designs and difference families, and show that partial geometric difference families give rise to partial geometric designs. We construct several infinite families of partial geometric difference families using Galois rings and the cyclotomy of Galois fields. From these partial geometric difference families, we generate a list of infinite families of partial geometric designs and directed strongly regular graphs.     

Dimension polynomials of difference local algebras

We extend the concept of the difference dimension polynomial of a difference field extension to difference local algebras. The main theorem of the paper establishes the existence and form of the dimension polynomial associated with the localization of a finitely generated well-mixed difference algebra at a prime reflexive difference ideal.     

标准混合差集矩阵的构造

通过利用差集矩阵和投影矩阵的正交分解之间的关系,首先提出了构造小的标准混合差集矩阵的一般方法.其次,给定一个阶为r+1的标准混合差集矩阵和一个阶为r的差集矩阵,首先提出了构造阶为r(r+1)的标准混合差集矩阵的一般方法.如果阶为r的差集矩阵不存在但一个试验次数为r~2的正交表存在,也可以通过它们构造阶数较大的标准混合差集矩阵.     

基于Hele-shaw模型的斜井偏心环空顶替流体密度差优化

针对斜井中顶替流体密度差及套管偏心引起的顶替界面突进两相流体掺混严重的问题,考虑斜井密度差引起的驱动力沿周向角和半径的变化,建立了斜井偏心环空稳定顶替界面形状模型,利用该模型分析了密度差对顶替界面形状的影响,得到了不同井斜角及套管偏心条件下顶替流体的最优密度差及变化规律:斜井中顶替界面突进的位置及程度取决于套管偏心与密度差的相对作用,存在合理的密度差使得顶替界面长度最短;最优顶替流体密度差随套管偏心度的增加而增大,随井斜角的增大而减小;固井顶替时在满足压稳防漏的条件下直井所选用的密度差越大越好,水平井所选用的密度差应相对最小。     

Partial geometric difference sets and partial geometric difference families

The concept of a partial geometric difference set (or $1\frac{1}{2}$-difference set) was introduced by Olmez in 2014. Recently, Nowak, Olmez and Song introduced the notion of a partial geometric difference family, which generalizes both the classical difference family and the partial geometric difference set. It was shown that partial geometric difference sets and partial difference families give rise to partial geometric designs. In this paper, a number of new infinite families of partial geometric difference sets and partial geometric difference families are constructed. From these partial geometric difference sets and difference families, we generate a list of infinite families of partial geometric designs.     

A family of skew Hadamard difference sets

In 1933 a family of skew Hadamard difference sets was described by Paley using matrix language and was called the Paley-Hadamard difference sets in the literature. During the last 70 years, no new skew Hadamard difference sets were found. It was conjectured that there are no further examples of skew Hadamard difference sets. This conjecture was proved to be true for the cyclic case in 1954, and further progress in favor of this conjecture was made in the past 50 years. However, the conjecture remains open until today. In this paper, we present a family of new perfect nonlinear (also called planar) functions, and construct a family of skew Hadamard difference sets using these perfect nonlinear functions. We show that some of the skew Hadamard difference sets presented in this paper are inequivalent to the Paley-Hadamard difference sets. These new examples of skew Hadamard difference sets discovered 70 years after the Paley construction disprove the longstanding conjecture on skew Hadamard difference sets. The class of new perfect nonlinear functions has applications in cryptography, coding theory, and combinatorics.     

The Conservation and Convergence of Two Finite Difference Schemes for KdV Equations with Initial and Boundary Value Conditions

Korteweg-de Vries equation is a nonlinear evolutionary partial differential equation that is of third order in space. For the approximation to this equation with the initial and boundary value conditions using the finite difference method, the difficulty is how to construct matched finite difference schemes at all the inner grid points. In this paper, two finite difference schemes are constructed for the problem. The accuracy is second-order in time and first-order in space. The first scheme is a two-level nonlinear implicit finite difference scheme and the second one is a three-level linearized finite difference scheme. The Browder fixed point theorem is used to prove the existence of the nonlinear implicit finite difference scheme. The conservation, boundedness, stability, convergence of these schemes are discussed and analyzed by the energy method together with other techniques. The two-level nonlinear finite difference scheme is proved to be unconditionally convergent and the three-level linearized one is proved to be conditionally convergent. Some numerical examples illustrate the efficiency of the proposed finite difference schemes.     

一阶中立型时滞差分方程的线性化振动性定理

本文考虑一类非线性中立型时滞差分方程,证明了在一定条件下,若与此方程相关的一个线性差分方程的每个解振动,则该非线性差分方程的每个解也振动。     

逆差商的一个紧凑行列式表示

本文给出了逆差商的一个紧凑行列式表示,从该表示式易知,一个函数在某ｎ＋１个点的ｎ阶逆差商与这些点的排序有关,但与前ｎ－１个点的局部换序无关．此外,还从另一角度定义倒差商,得出了倒差商与逆差商之间的关系以及倒差商的整体换序无关性．     

解三维抛物型方程的一个高精度显式差分格式

提出了求解三维抛物型方程的一个高精度显式差分格式.首先,推导了一个特殊节点处一阶偏导数(■u)/(■/t)的一个差分近似表达式,利用待定系数法构造了一个显式差分格式,通过选取适当的参数使格式的截断误差在空间层上达到了四阶精度和在时间层上达到了三阶精度.然后,利用Fourier分析法证明了当r1/6时,差分格式是稳定的.最后,通过数值试验比较了差分格式的解与精确解的区别,结果说明了差分格式的有效性.