高斯曲率绝妙定理的几种公式的推导方法

考虑高斯曲率绝妙定理的公式表示问题,运用曲面上基本方程的矩阵表示法,推导出高斯曲率绝妙定理的直接显式公式,指出了高斯曲率隐式公式的验证过程,给出了高斯曲率计算公式Liouville形式的推导过程。     

高斯曲率内蕴公式的几种形式的推导方法

考虑曲面上高斯曲率内蕴公式的表示问题,运用曲面基本方程的矩阵表示法,给出了高斯曲率是内蕴量的直接的显式公式,并指出这种内蕴公式与Brioschi的表示公式是明显一致的;给出了高斯曲率简化公式的推导来源,揭示出了高斯曲率隐式公式的发现过程。     

曲面论高斯方程公式的几种形式的推导方法

考虑曲面论高斯方程公式的表示问题.运用曲面上基本方程的矩阵表示法,给出高斯方程直接的显式公式表示;指出高斯曲率简化公式的推导来源,揭示出高斯曲率隐式公式的发现过程,并给出了Liouville形式的高斯方程的证明过程.     

曲面正交网下测地曲率和高斯曲率的计算公式的推导方法

考虑曲面正交网下曲线的测地曲率的计算公式的推导问题,运用向量的表示,给出了直接推导过程.简化了高斯曲率是内蕴量的Brioschi公式的推导方法;在正交曲线坐标网下,指明了高斯曲率简化公式的推导来源与测地曲率的关系.     

曲面上的高斯曲率与高斯-波涅公式

考虑曲面上高斯曲率计算公式的使用方法问题,给出椭球面上高斯曲率的求法;在曲面正交曲线坐标网下,给出高斯-波涅公式的证明过程,并指出高斯曲率简化公式的来源;由高斯曲率的曲面积分结果,导出曲面积分的一些几何意义.     

一般隐函数组定理的证明

在数学分析教材中已有隐函数定理及一般隐函数组定理的证明,文[1]通过压缩映射证明了隐函数定理。借助矩阵范数与向量范数的表示形式,应用Banach不动点定理证明一般隐函数组定理,其证明过程比数学分析教材中原有的证明过程更为清晰、易懂。     

Cm命题演算的定理机器证明系统

C_m系统是制约逻辑的命题演算系统,但是其推导定理的过程可否由图灵(计算机)算法完成尚未得到明确的结论.研究证明了C_m的公式集是递归可枚举集,并且给出了一个递归枚举算法,该算法能够对任一给定的实际可证的C_m式在有限的步骤内判定它属于C_m可证公式集.并给出了C_m命题演算系统的一个定理机器证明系统.因此证明了C_m系统至少是半可判定的.     

含有x_i,x_j的F(x)的K表示式与用分离子函数法求双故障全测试集

一本文作者提出逻辑函数 F(X)=F(x1,…,xn,xi,xj)可以用 K 表示式来表达,并加以证明。同时提出 F(X)亦可以用 G 表示式表达,并求出二者转换的关系式。其次,从布尔差分法求双故障完全测试集的基本定理出发,推导出用 K 表示式的子函数求测试集的一系列公式及定理。它与布尔差分的根本不同处在于前者只用初级运算,后者则要求要出差分。故本文提出的方法运算简单易学。     

爱因斯坦速度加法定理的一种简便推导方法

介绍从四维速度的定义式直接推导相对论中爱因斯坦速度加法定理的一种简便方法,同时给出了任意相对论四维矢量在不同参照系中变换的普遍公式.     

随机跳环境下远期起点期权的近似定价

在跳扩散过程模型下研究了远期起点期权的定价问题.首先利用Girsanov定理得到了跳扩散模型下鞅测度的表示式,然后利用鞅定价理论得到了易于计算的远期起点期权的定价公式,利用它可以直接计算期权的任意精度近似价格.     

特殊曲面曲线的性质

利用隐函数定理将曲面的第一、第二基本量、法曲率、高斯曲率等几何量的计算转化为三元实函数的偏微商的计算,实现了对隐函数形式的曲面的研究,并给出了曲面上的直线、渐近线、曲率线和测地线的若干性质,包括存在性、方程、几何特征、曲率和挠率等。     

有限差分格式在偏微分方程初边值问题中的应用

利用Taylor级数推导了一元函数的差商公式,进而得到多元函数的偏差商公式,并构造出显式和隐式两种有限差分格式.根据不同的偏差商形式,把有限差分格式应用于偏微分方程的初边值问题中,通过不同差分格式的截断误差精度分析合理地选择出有效的差分方程.     

交错紧凑隐式差分法的数值色散分析

首先使用空间的四阶交错紧凑隐式差分和时间交错后向时间差分,提出时域微分麦克斯韦方程组的交错紧凑隐式差分（CSBD-FDTD）方法,给出直角坐标系下CSBD-FDTD 方法的场量迭代公式,然后使用数学分析方法推导CSBD-FDTD 方法稳定性条件和数值色散关系,为电磁计算提供新的途径.     

Riesz表示定理的推广形式

常见的Riesz表示定理的证明方法是通过在f的零空间的正交补中,构造满足表示定理公式的向量.这里给出著名的Riesz表示定理的一种推广形式,并尝试从不同的角度给出Riesz表示定理的不同证明方法.利用几何测度论的知识给出了一个直接的证明.     

求解一阶常微分方程的五阶Adams格式

讨论了一阶常微分方程初值问题五阶Adams显示公式以及隐式公式,同时,由于隐式公式较显示公式相比局部截断误差以及系数的绝对值之和较小,因此给出了五阶Adams预测-校正系统.     

C半群概率表示的饱和定理

研究Ｂａｎａｃｈ空间上Ｃ半群概率表示式的渐近公式和饱和性质．建立Ｖｏｎｏｒｏｖｓｋａｙａ型渐近公式及小ｏ饱和定理．     

常曲率黎曼流形中具平行平均曲率向量的二维浸入曲面

构造了常曲率黎曼流形中具平行平均曲率向量的二维浸入曲面上的全纯微分形式,在同胚球时,给出了其上的Frenet-Boruvka公式及维数定理;估计了浸入的高斯曲率及像的面积;并研究了该浸入的Pinching问题.     

线性齐次梁方程初值问题求解公式的推导

考虑线性齐次梁方程初值问题的求解公式.利用Fourier变换法和Fresnel积分公式给出了求解的Boussinesq公式的具体推导过程.     

广义正则统计算符与非平衡过程热力学

本文简要介绍Robertson引入的、适用于非线性区(远离平衡状态)的广义正则统计算符,并给出非平衡态熵的表式。着重运用广义正则统计算符简洁、明了地推证了非平衡热力学中的两个重要定理:最小熵产生定理和超熵判据判据公式。在推导过程中,仅作了局域平衡的假定。     

对高等数学中某些难点讲法的探讨

高等数学(工科)中，有些内容一直是教学中的难点，特别是某些定理和公式的证明推导，学生感到比较难掌握；大致有如下两个原因：①定理．(或公式)的证明推导过程比较复杂，或者推证的方法学生在中学里未曾接触过。