本书是分数阶系统与高阶逻辑形式化验证的基础理论研究著作。分数阶系统是建立在分数阶微积分方程理论上实际系统的数学模型。分数阶微积分方程是扩展传统微积分学的一种直接方式,即允许微积分方程中对函数的阶次选择分数,而不仅是现有的整数。分数阶微积分不仅为系统科学提供了一个新的数学工具,它的广泛应用也表明了实际系统动态过程本质上是
上海大学理学院数学系,成立于1960年,其前身是上海科技大学数学系,由嘉定校区的数学系和延长校区、徐汇校区、嘉定东校区的数学教研室合并而成,本书主编为杨建生。杨建生,基础数学博士,上海大学数学系教授。《微积分强化训练题》(第三版)是2015年上海普通高校优秀本科教材《高等数学(上、下)》(上海大学数学系编,高等教育出版
本书分为复变函数和积分变换两部分:复变函数部分包括复数与复变函数、解析函数、复变函数的积分、解析函数的级数理论、留数;积分变换部分包括傅里叶变换和拉普拉斯变换等。本书每章末都配有思维导图和精选习题,方便读者复习掌握和检验学习效果。除此以外,书中还设计了数学家简介、数学实验等版块,以增强数学底蕴,提高学习兴趣。本书中性质
本书内容包括偏微分方程的基本概念,数学物理方程相关的背景,数学模型的建立与定解问题,定解问题的典型求解方法(求通解方法、行波法、分离变量法、积分变换法、格林函数法以及数值求解法)。另外还介绍了勒让德多项式、球函数和贝塞尔函数在求解定解问题时的应用。
本书共分为6章,主要内容包括线性正则变换背景简介、线性正则变换的定义与基本原理、二维线性正则变换理论及其应用、线性正则变换域的时频分析、线性正则变换域雷达信号的参数估计、线性正则变换在ISAR成像中的应用。
本书对重要的概念和定理做了较多的背景和思路的说明,对很多核心定理的证明既注重直观又注重严谨。全书共分4章,具体内容包括:集合的基本概念、集合的运算、集列的极限、映射、可列集等。
本书分为代数不等式研究,三角、几何不等式研究,不等式证明方法研究,考研不等式试题研究,争鸣,问题与猜想六个部分,收录了《正项等差数列与组合数生成的一类新不等式》《关于三角形的一些线性不等式》《PQR方法中关于R上限的一个优化及应用》等文章。
本书主要围绕欧氏空间Rn(n3)中极小曲面上的值分布理论及相关研究展开讨论,主要内容包括极小曲面上Gauss映射的Picard定理、新型亏量关系、分担唯一性、曲面的曲率估计等.本书从构造度量的角度出发,分析和介绍了极小曲面的几何特征,将极小曲面上Gauss映射的值分布性质考虑到更一般的浸入调和曲面的情形.本书还给
"本书是入门变分法的基础读本,以介绍应用实例与基本概念、基本思想、基本方法为主,力求通俗易懂、图文并茂、有趣实用。具备微积分的基本知识就可以读懂全书。共分四章,第一章介绍变分法的经典案例、基本概念和现代应用,第二章和第三章分别讲授一元函数和多元函数变分法的基本理论和典型方法,第四章给出变分法的近似计算方法,每章后均配有
本书是专门为幂零李群上的非交换调和分析方向的研究生和青年教师编写的全英文学术专著,主要介绍从事一般二步幂零李群相关工作所需的基础知识、概念和原理,内容聚焦于一般二步幂零李群的几何分析、不可约酉表示的完整分类、傅里叶分析的相关性质、二阶次椭圆算子以及热核的刻画等。