G-Brown运动的Strassen定理及Lévy连续模定理的统一形式

Brown运动情形下的Strassen定理和Lévy's连续模定理在概率论中起着重要的作用,Muller在1981年给出了它们的统一形式.本文将Strassen定理和Lévy连续模定理推广到了G-Brown运动情形.该定理可以看作是关于G-Brown运动的Strassen定理和Lévy连续模定理的统一体.     

资产定价第一基本定理的拓扑描述

资产定价的第一基本定理是数量金融学中核心的定理之一 ,本文证明了在 L∞ 的弱 * 拓扑 σ(L∞ ,L1)中的凸集分离定理 ,并在此定理的基础上给出了没有无风险免费午餐的拓扑描述 ,证明了市场公平性与没有无风险免费午餐条件的等价性 ,从而重新证明了资产定价的第一基本定理 .     

关于资产定价的第一基本定理

资产定价的第一基本定理是数理金融学中最核心的定理之一 ,本文证明了在 L∞的弱 *拓扑 σ(L∞ ,L1)中的凸集分离定理 ,并在此定理的基础上给出了没有无风险免费午餐的拓扑描述 ,证明了市场公平性与没有无风险免费午餐条件的等价性 ,从而重新证明了资产定价的第一基本定理 .     

关于微分中值定理的思考

微分中值定理是数学分析中的重要基本定理 ,无论是罗尔定理 ,拉格朗日中值定理 ,还是哥西中值定理 ,其几何意义是一致的 ,也是明显的。直观地说 ,就是 :一开口连续曲线 L,其上每一点如都图 1有切线 (对 L的端点 A与 B不作此要求 ) ,则在 L上必有点存在 ,使得 L 在该处切线平行于弦 AB。当然几何直观不能代替严格证明 ,因为直观可能靠不住。事实上 ,上面的几何直观有缺陷。例如 ,如果 L上有一尖点 C(如图 1 )时 ,虽然 L在 C处也有切线 ,中值定理一般就不成立了。因此 ,上述几何直观需要补正 ,要求 L上还要没有尖点。但这样修改后还只是…     

形式演绎系统L~*中的运算与演绎定理

对著名的形式演绎系统 L* 做了进一步的研究 ,得到一些新定理。在系统 L* 中引入新的二元运算 ,讨论了这种运算的性质 ,并由此得到了形式系统 L* 中的演绎定理     

一般Boole格的完备化

本文提出了“容”的概念.建立了一般 Boole 格的完备化定理.本文的定理1及定理已刻划了一般 Boole 格与 Boole 格两个理论体系之间的密切关系以及它们的统一性.例如:在封闭的条件下,一般 Boole 格的元完全具有 Boole 格的元所具有的全部特性.定理1.设有任意一个一般 Boole 格 L,则存在一个且唯一一个备 Boole 格 L 与从 L     

坐标法的反作用——诱导出几何妙法

1 牛顿·高斯中点线定理 定理平面上的四条直线两两相交,它们的交点A、B、C、D、E、F如图1所示,L、M、N分别为AC、BD、EF的中点.则L、M、N共线.     

sl(2,F)PBW定理的另一种证明

设F是任意域,L是F上任意一个李代数,文献[1]给出了关于L的PBW定理及证明.本文对L=sl(2,F)我们给出了PBW定理的另一种证明方法.     

一类二阶微分算子属于L.S.或L.S.∩L.C.的判定

本文在半直线a≤t<∞上研究二阶微分算子L=d/dt(p(t)d/dt)-q(t),建立了三个定理,利用这些定理,可以判定算子 L属于 L.S.或 L.S.∩L.C.即 定理1 假设 i)p(t)>0,q(t)?0 当 t∈[a,∞)、ii)∫_a~∞|q(t)|dt<∞ 则算子L属于L.S.的充要条件是 ∫_a~∞ dt/p(t)t<∞。 定理2 假设 i) p(t)>0,当t∈[a,∞)时;ii)?a,1≤a≤∞使∫_a~∞|b(t)|~a dt<∞(当a=∞时,应设|b(t)}=O(1));(iii)算子 L属于 L.C.∩L.S.,则算子 L~*=d/dt(p(t)d/dt)-[q(t)+b(t)]也属于L.C.∩L.S.。 定理3 假设 i)p(t)>0,q(t)?0;ii)算子L属于L.C.∩L.S.,则当1≤a≤∞时, ‖|q(t)|-q(t)‖_(L~2[a,∞)=∞。     

从Stolz定理到L′Hospital法则

给出了从Stolz定理到L′Hospital法则的推导过程及各定理之间的联系.     

微积分学中中值定理的统一证明

由一个定理的结论,给出Lagrange中值定理,Cauchy中值定理,积分中值定理和Taylor中值定理的统一证明及一个计算待定型极限的方法.     

On the Fundamental Theorem of Algebra

In the paper, it is shown how, by using the minimal means and without introducing complex numbers, one can prove the fundamental theorem of algebra for real polynomials. The fundamental theorem for polynomials with complex coefficients is an immediate corollary of the theorem mentioned.     

Generic perturbations of linear integrable Hamiltonian systems

In this paper, we investigate perturbations of linear integrable Hamiltonian systems, with the aim of establishing results in the spirit of the KAM theorem (preservation of invariant tori), the Nekhoroshev theorem (stability of the action variables for a finite but long interval of time) and Arnold diffusion (instability of the action variables). Whether the frequency of the integrable system is resonant or not, it is known that the KAM theorem does not hold true for all perturbations; when the frequency is resonant, it is the Nekhoroshev theorem that does not hold true for all perturbations. Our first result deals with the resonant case: we prove a result of instability for a generic perturbation, which implies that the KAM and the Nekhoroshev theorem do not hold true even for a generic perturbation. The case where the frequency is nonresonant is more subtle. Our second result shows that for a generic perturbation the KAM theorem holds true. Concerning the Nekhrosohev theorem, it is known that one has stability over an exponentially long (with respect to some function of ε ^?1) interval of time and that this cannot be improved for all perturbations. Our third result shows that for a generic perturbation one has stability for a doubly exponentially long interval of time. The only question left unanswered is whether one has instability for a generic perturbation (necessarily after this very long interval of time).     

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

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

Two applications of Boolean models

Semantical arguments, based on the completeness theorem for first-order logic, give elegant proofs of purely syntactical results. For instance, for proving a conservativity theorem between two theories, one shows instead that any model of one theory can be extended to a model of the other theory. This method of proof, because of its use of the completeness theorem, is a priori not valid constructively. We show here how to give similar arguments, valid constructively, by using Boolean models. These models are a slight variation of ordinary first-order models, where truth values are now regular ideals of a given Boolean algebra. Two examples are presented: a simple conservativity result and Herbrand's theorem. Received December 5, 1995     

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

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.     

Existence of solutions and bifurcation points to Hammerstein equations with essentially bounded kernel

In this paper we establish an existence of solution theorem and an existence of bifurcation point theorem for Hammerstein integral equation whose kernel is supposed neither symmetric nor positive defined. To prove our result, we use the Tychonoff fixed point theorem. In particular, our bifurcation result is directly comparable with an analogous one recently established by F. Faraci.     

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).     

概率计算中易混淆问题的教法研究

首先从具体实例提出了物品检验概率计算中一类易混淆问题.然后从理论上证明了无放回逐次抽取中两种概率计算方法的合理性,其定理证明过程充分揭示了这类检验方法与其它相关抽取方式之间的关系并强调了最根本的分析问题思路.最后,研究了文中所得到的一般性结论的适用范围,从而使得这类易混淆问题的讲解变得清晰条理.     

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

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