积分型中值定理的推广及统一表示

通过减弱连续的条件,推广了一类积分型中值定理,在适当的条件下,用一个式子将Lagrange中值定理、Cauchy微分中值定理、积分型Cauchy中值定理、积分中值定理、积分第一中值定理、Lagrange型积分中值定理、Cauchy型积分中值定理及推广的积分第一中值定理这8个中值定理统一起来.     

基于改进的两类积分中值定理的一题多解

综述了第一和第二积分中值定理的中值点在区间内部取得的改进定理,得到了一个简单的改进的积分第二中值定理.利用改进的第一和第二积分中值定理,对文献[1]中的一个典型题目给出了一题多解.     

积分第二中值定理的中值点的近似计算

研究了积分第二中值定理的中值点的近似计算,利用连续函数的零点定理,设计了一个求积分第二中值定理的近似中值点的非线性优化方法,为抽象的积分第二中值定理的可视化问题提供了一种实现方案和算法.最后给出了两个实例的Matlab图示.     

多元向量函数的中值定理及应用

中值定理是可微函数的重要性质,是证明某些等式和不等式的重要工具,而等式形式的向量函数的微分中值定理一般是不成立的,通常只能得到微分中值不等式.本文从一元函数的Newton-Leibniz公式出发,证明了一个多元向量函数等式形式的积分型中值定理.该定理揭示了多元向量函数等式形式的微分中值定理不成立的原因,也蕴含了微分中值不等式.     

积分中值定理的推广及其应用(英文)

给出了积分中值定理的一个推广,讨论了推广的积分中值定理中间值的渐近性.     

有关中值定理的探究性教学

通过对中值定理教学思路的设计,给出探究性教学方法的一个实例,即通过导数概念的物理意义导出Lagrange中值定理,经特殊化后推出Rolle定理,再经化归思想给出Lagrange定理的证明,最后推广得到Cauchy中值定理,并借助类比或化归思想分别给出Cauchy定理的证明．     

微积分中值定理间的关系

直观地阐述从微分中值定理到积分中值定理,乃至第二积分中值定理的演绎过程,指出积分中值定理的实质仍是微分中值定理,并在经典积分中值定理的条件下,得到更强的结论。     

柯西中值定理的一个证法

柯西中值定理是微分学中最主要定理之一,通常是利用罗尔定理来证明的。其证明难点在于构造辅助函数。本文给出了柯西中值定理的另一个证法:先给出一个简单的引理,再利用关于导函数的介值性的达布定理,证明柯西中值定理,从而可把罗尔定理和拉格朗日中值定理作为特殊情形。同时,在证明中构造的辅助函数,也较易于接受。     

积分型Cauchy中值定理的推广及逆问题

给出了一个积分型Cauchy中值定理的推广,并讨论了连续函数的积分型Cauchy中值定理的逆问题.     

一种积分的极限计算方法的讨论

针对用积分中值定理计算积分的极限中存在的问题进行讨论,结合实例指出常见的一种计算错误,说明在利用积分中值定理计算积分的极限时,必须注意中值点的不确定性,仔细分析,严谨推证．同时针对有关例题计算中的广义积分,介绍一个推广的积分中值定理．     

Lagrange、Cauchy、积分中值定理与Taylor公式的统一证明

通过一个定理的结论,给出L agrange、C auchy、积分中值定理和T ay lor公式的统一证明,同时得出计算不定型极限的L′Hosp ita l法则的推广定理.     

A note on a sufficiency theorem for optimal control

A sufficiency theorem for optimal control is given; this theorem is somewhat more general than one given earlier by the author. The theorem is applied to a linear, time-optimal problem.This work was supported by the Office of Naval Research, Contract No. Nonr 3656 (31).     

带有多个分歧参数的等变分歧问题的万有开折

对于含一个分歧参数的分歧问题,已有万有开折定理阻［１,２］．本文考虑带有多个分歧参数的等变分歧问题,并且允许它的状态空间与靶空间可以不同,给出了等变万有开折定理的更一般的形式,［１,２］中相关结果其特殊情形．     

知识规律与规律的属性扰动

By employing the knowledge(R-element equivalence class)in one direction Srough sets and dual of one direction S-rough sets,the concept of knowledge law is given;the generation theorem of knowledge law,the excursion theorem of knowledge law,and the attribute disturbance discernible theorem of knowledge law are proposed.Knowledge law is a new characteristic of S-rough sets.     

三维线弹性力学修正的功的互等定理及其应用

该研究发现,三维线弹性力学Betti(贝蒂)功的互等定理命题中的两个主要前提,“一个弹性体”和“两组力的作用”是相互矛盾的,因为两组力的任意一组力都可能改变已知的弹性体为另外一个弹性体.这一矛盾导致Betti功的互等定理是一个具有逻辑错误的定理.基于对这一矛盾的分析,提出了修正的功的互等定理,在这一定理中,给出了功的互等定理的正确命题.此外,该修正的功的互等定理为功的互等法提供理论基础,该法是结构分析的一个新颖的和强有力的方法.     

多个生成子生成的Gabor框架

本文首先给出了由多个生成子生成的Gabor系成为Gabor框架(多Gabor框架)的几个充分条件.然后利用上述充分条件之一,构造出了一类多Gabor框架,它的生成子具有很好的时-频局部性质,此构造结果规避了Balian-Low定理的限制.另外,文中又给出了两种构造方案,通过这些方案可以对已有的多Gabor框架进行修正从而得到许多新的多Gabor框架.     

一类近于凸映照子族精确的偏差定理

首先建立了C~n中单位多圆柱上一类近于凸映照子族精确的偏差定理,同时在复Banach空间单位球上也建立了该类映照精确的偏差定理的下界估计.其次在复Banach空间单位球上建立了准星形映照精确的偏差定理.所得结果将单复变中近于凸函数和星形函数的偏差定理推广至高维情形,并且对龚升提出的一个公开问题给出肯定的回答.     

A correct proof of the McMorris-Powers’ theorem on the consensus of phylogenies

McMorris and Powers proved an Arrow-type theorem on phylogenies given as collections of quartets. There is an error in one of the main lemmas used to prove this theorem. However, this lemma (and thereby the theorem) is still true, and we provide a corrected proof.     

弹性板中精化理论与分解定理的等价性

将Cheng氏精化理论和Gregory分解定理联系起来,获得了两者的等价性(Cheng利用算子矩阵行列式求解多元偏微方程组的方法,得到了一个方程,他认为这个方程的解是3个微分方程的解的和,没有证明这种分解的合理性)．从Papkovich-Neuber通解出发给出一个完整的精化理论的证明．首先将板内的位移利用中面上位移及其沿板厚方向的梯度表示出来,并获得板内应力张量．再利用附录中给出的定理,由边界条件和Lur'e算子方法获得精化理论．最后利用基本的数学工具分别证明了,Cheng氏精化理论中的3个方程分别与Gregory分解定理的三个应力状态的等价性．即:Cheng氏精化理论的双调和方程、剪切方程、超越方程与Gregory分解定理的内应力状态、剪切应力状态、Papkovich-Fadle应力状态一一等价．     

Balanced matrices

This paper studies some properties of hypergraphs in connection with a class of integer linear programming problems. The main result (theorem 3) states that the strong chromatic number of a balanced hypergraph is equal to its rank; this generalizes a result known for unimodular hypergraphs. Two applications of this result are given, the first one to Graph theory (theorem 5), the second one to integral linear programming (theorem 6).