本书主要讲解张量基本概念,它们的代数运算和微分学,以及Riemann流形上的张量及其微积分学,Riemann流形上的微分算子。本书还用大量篇幅讲授张量在连续介质力学和物理中的应用。其中有许多内容是作者30多年的研究生涯中应用张量分析工具,建立相关力学数学模型,发展新的数学方法和数值计算方法的研究成果。
本书系统地介绍流体力学中的基本方程,即:不可压缩Navier-Stokes方程的最新理论和方法,着重介绍Fourier分离方法及其在Navier-Stokes方程中的应用。具体讲,就是用此方法建立大初值整体弱解在范数意义下的最优大时间行为,以及整体小初值强解在范数意义下的长时间渐近行为。本书循序渐进地阐述Navier-
本书在建立应用变分方法研究时标上的共形分数阶微分方程边值问题的工作空间,并应用变分方法研究时标上的共形分数阶微分方程边值问题解的存在性和多解性,拓展了临界点理论在研究时标上的微分方程边值问题中的应用范围,提出了研究时标上的微分方程边值问题的新方法。。微分方程专业的硕士研究生、博士研究生以及广大数学研究者
本书是重庆大学“高等数学”课程教材体系改革试点工作的配套讲义。在学校领导、教务处及院系领导的长期大力支持下,试点工作进行了二十多年。参加试点教学的学生主要来自物理、力学及计算机专业。参加试点教学的教师同时也进行传统“高等数学”的教学工作。两种教材的教学中使用本讲义的学生对教学的评价一般都要高于使用传统“高等数学”教材的
空间解析几何,二元函数微分学、积分学,无穷级数,微分方程,MATLAB在微分中的应用。空间解析几何,二元函数微分学、积分学,无穷级数,微分方程,MATLAB在微分中的应用。空间解析几何,二元函数微分学、积分学,无穷级数,微分方程,MATLAB在微分中的应用。
本书共分三卷,本卷为第二卷.第一卷的内容主要有:实数基本理论;一元微积分学,包括极限、连续、级数、微分、复数、积分等.在此基础上,本卷主要介绍拓扑空间(特别是度量空间、欧氏空间)及映射的极限与连续的映射(包括压缩映像原理);多变量函数微分学;重积分;流形及微分形式;流形(特别是曲线与曲面)上微分形式的积分;向量分析与场
环论是抽象代数学中的一个重要的分支。环的结构、分类与表示是环论中的具有根本性的研究课题。在环论的发展过程中,人们先后提出了很多种环的概念。作为抽象的代数概念,各种环类都需要具体的例子来支撑相关的理论。本书以环论中一些重要的环与模为研究对象,比较系统地介绍它们的定义、性质以及丰富的具有代表性的例子,特别是通过具体的例子展
为南开大学代数类课程教材系列的重要一环,本教材具有整套系列教材的共同特色。由于我们一直将代数学看成一个整体看待,因此我们的教材特别注重与前期课程与后继课程的衔接与统一。本教材特别注重讲清楚数学思想,因此在引出定义和定理前一般会加入很多解释性的按语,或者在定理后面加一些注记。本教材的习题是我们花了大量心血精心设计而成的,
本卷收录了吴文俊在拓扑学领域发表的56篇学术论文。这些论文包含了吴文俊在示性类、示嵌类、示浸类、示痕类、能计算性与I*-量度等方面做出的一系列重要工作,蕴含了他在拓扑学领域的诸多原始思想。该卷可作为数学或数学史研究人员、教师、研究生的参考文献,也可以作为拓扑学课程的参考书。
本卷收录了吴文俊在数学机械化领域发表的56论文篇。内容包括:几何定理机器证明的吴方法,多项式系统符号求解的Ritt-吴特征列方法,构造性微分代数几何理论,不等式机器证明与优化问题的有限核定理等数学机械化领域的奠基性成果。还包括数学机械化方法在数学定理的自动发现、天体中心构型问题求解、平面机构定理的机器证明、机器人的运动