《特殊函数概论》是著名学者王竹溪先生的著作,书中系统地讲述了一些主要的特殊函数,如超几何函数、勒让德函数、合流超几何函数、贝塞耳函数、椭圆函数、椭球谐函数、马丢(Mathieu)函数。原著书中有360多道习题,习题数目巨大,且难度很高,如果单由读者去自行解答,会给读者带来很大的困难和困惑。吴崇试教授根据书中内容,总结书中习题的解法,系统的编写了这一本一本配套《特殊函数概论》的习题解答书,书中不仅全面解答了原著中的所有习题,还对原著中存在的很多错误进行了纠正。
本书共十六章.内容比较独立的是章与第十章.前者涉及解析函数理论中的部分基本问题,后者讨论了T函数及相关函数的幂级数展开,以及与之有关的级数与积分.其余各章大体可分为三部分. 第二章到第五章围绕无穷级数而展开.内容包括:一、由解析函数Taylor展开而演绎出的各种变型;二、将常微分方程的幂级数解法用于求解已知函数的幂级数展开;三、卷积型级数的M6bius反演问题. 第六章至第九章的中心是应用留数定理计算定积分,包括从一些简单的积分出发而演绎出许多新的积分.特别是,笔者综合已有的弓I理,提出了一个新的引理;并在此基础上,建立了计算含三角函数无穷积分的新方法. 第十一章至第十六章讨论的是积分变换,介绍了有关Fourier变换和Laplace变换的一些理论问题.书中还介绍了Mellin变换,它与Fourier变换或Laplace变换密切相
这本生动、简洁的书基于作者在莫斯科大学力学数学系的本科生课程讲义,涵盖了计算的一般理论的基本概念。《可计算函数》从可计算函数的定义和一个算法开始,讨论了可判定性、可数性、通用函数、编号系统及其性质、m-完全性、不动点定理、算术分层、oracle计算、不可判定性的度。作者还介绍了一些特殊的函数模型,如Turing机和递归函数。 《可计算函数》可供数学和计算机专业的本科生阅读,也可供所有希望学习计算的一般理论的基础知识的数学家和程序员使用。
本书是关于广义函数的本专著。全书共分九章。书中系统总结、高度概括了作者L.施瓦兹当年得以获得“菲尔兹奖”的主要工作。讨论了广义函数的各种基本性质、运算与变换,特别是阐明了著名的Dirac函数其实是一个测度而不是一个函数。从而为Dirac测度在量子力学以及其他学科中的广泛应用打下了坚实的数学基础。 本书包含了当时与广义函数论有关的许多重要的理论和原始思想。在其法文版首次出版后半个多世纪的今天仍有理论价值和参考价值,尤其适合于数学系高年级本科生或研究生研读。
本书是2007年7月23日至27日在美国普渡大学举办的 L函数 会议的论文集。这次会议是为了祝贺Freydoon Shahidi 的60岁生日而举办的,他被公认在Langlands纲领方面做出了开创性的贡献。 书中的文章从各个角度描绘了该领域的研究现状。这些文章展示了自守形式及其L函数在几何、分析和数论等方面的新成果,涉及局部与整体理论。 本书主题包括Langlands函子性,Rankin-Selberg方法,Langlands-Shahidi方法,主题 Galois群,Shimura簇,轨道积分,p进群的表示,Plancherel公式及其推论,Gross-Prasad 猜想,等等。 书中还收录了一篇介绍 Freydoon Shahidi在本领域所做贡献的综述性文章,此文可作为该领域的导引。 本书对于专家们是有用的参考资料,而刚入门的研究人员可以利用本书来查阅Langlands纲领的主要结果。
本书强调严格性和基础性, 书中的材料从源头——数系的结构及集合论开始, 然后引向分析的基础(极限、级数、连续、微分、Riemann积分等), 再进入幂级数、多元微分学以及Fourier分析, 最后到达Lebesgue积分, 这些材料几乎完全是以具体的实直线和欧几里得空间为背景的。书中还包括关于数理逻辑和十进制系统的两个附录.课程的材料与习题紧密结合, 的是使学生能动地学习课程的材料, 并且进行严格的思考和严密的书面表达的实践。 本书适合已学过微积分的高年级本科生和研究生学习。
本书共八章:复数与复变函数,解析函数,复变函数的积分,解析函数的级数表示,留数及其应用,共形映射,傅里叶变换,拉普拉斯变换。每章内容包括:1.基本要求与内容提要,简要介绍每一章的基本要求和内容;2.典
《Haskell函数式编程基础:原书第3版》是一本非常的Haskell函数式程序设计的入门书,依次介绍函数式程序设计的基本概念、编译器和解释器、函数的各种定义方式、简单程序的构造、多态和高阶函数、数组和列表的结构化数据、列表上的原始递归和推理、输入输出I/O的控制处理、类型检测方法、代数数据类型、抽象数据类型、惰性计算等内容。《Haskell函数式编程基础:原书第3版》包含大量的实例和习题,注重程序测试、程序证明和问题求解,易读易学。《Haskell函数式编程基础:原书第3版》循序渐进,从基本的函数式程序设计直至专题,让读者对Haskell的学习不断深入。
Sincethepublicationofmylecturenotes,FunctionalDifferentialEquationsintheAppliedMathematicalSciencesseries,manynewdevelopmentshaveoccurred.Asaconsequence,itwasdecidednottomakeafewcorrectionsandadditionsforasecondeditionofthosenotes,buttopresentamoreprehensivetheory.Thepresentworkattemptstoconsolidatethoseelementsofthetheorywhichhavestabilizedandalsotoincluderecentdirectionsofresearch.
The book is suitable for a one-year course at the advanced undergraduate level. By omitting certain chapters, a one semester course can be based on it. For instance, if the students already have a good knowledge of partial differentiation and the elementary topology of E', then substantial parts of Chapters 4, 5, 7, and 8 can be covered in a semester. Some knowledge of linear algebra is presumed. However, results from linear algebra are reviewed as needed (in some cases without proof).
《样条函数实用指南(修订版)》是著名数学家Carl de Boor的《样条函数实用指南》(1978)的修订版。原版本许多错误在修订版中得到了全面纠正。尤其是第九章到第十一章作了较大的修改,B-样条理论是直接建立在不依赖于均差的递归关系。这使得节点插入成为一个提供B-样条序列保形特性简单证明的强有力工具。 本书的章节安排详略得当,重点突出,有利于读者学习理解。章简要讲述了多项式插值,特别是均差理论。第二章介绍了初步的多项式逼近论知识,并为讲述分段多项式函数做准备。只想了解样条函数大体知识的读者可以略过随后的四章。它们主要讲述了分段线性逼近、分段立方插值以及抛物型样条插值。第七、八章讲述了任意序的分段多项式函数的计算处理。第九、十、十一章介绍了B-样条。余下的几章介绍了各种应用,几乎都涉及到B-样条。每章后
布朗、丘吉尔编著的《复变函数及应用(英文版 第9版)》是复分析入门教材,内容丰富,写作精炼 ,论证严密。阐述了复变函数的理论及应用,还介绍 了留 数及保形映射理论在物理、流体及热传导等边值问题 中的应用。第9版对第8版做了全面修订,重新组织了 内 容,增加了很多新的示例和习题,更加方便教学。 这本畅销全世界的经典教材初版于20世纪40年代 ,被国外众多名校广泛采用,如美国斯坦福大学、加 州理工学院、加州大学伯克利分校、佐治亚理工学院 、普度大学、达特茅斯学院、南加州大学等。前几版 曾 被译成日语、西班牙语、阿拉伯语、希腊语、韩语等 众多版本,对复变函数的教学影响深远。
本书全面地介绍密度泛函理论的基本内容,共分8章。第1章泛函的微积分,提供一些数学基础知识。第2章量子化学基础。第3章量子力学的密度泛函理论,从霍恩伯格-科恩定理出发,讨论科恩-沈方法,介绍交换相关能泛函模型,主要采用局部密度近似,包括普遍化梯度近似,并给出应用举例。第4章统计力学基础。第5章统计力学的密度泛函理论,首先从巨势泛函和内在自由能泛函引出巨势极小原理,形成基本框架。自洽场理论也是研究非均匀流体的重要手段,因此也做简要讨论。第6章内在自由能泛函模型,讨论局部密度近似,包括普遍化梯度近似。还进一步介绍密度展开方法、加权密度近似和基本度量理论等,并用许多实例加以说明。第7章对高分子系统的应用,介绍密度泛函理论方程的建立和求解,还介绍动态密度泛函理论。对于自洽场理论的应用,也做简要介绍
传统的分布式应用不会切入微服务、快速数据及传感器网络的响应式世界。为了捕获这些应用的动态联系及依赖,我们需要使用另外一种方式来进行领域建模。由纯函数构成的领域模型是以一种更加自然的方式来反映一个响应式系统内的处理流程,同时它也直接映射到了相应的技术和模式,比如Akka、CQRS以及事件溯源。本书讲述了响应式系统中建立领域模型所需要的通用且可重用的技巧——首先介绍了函数式编程和响应式架构的相关概念,然后逐步地在领域建模中引入这些新的方法,同时本书提供了大量的案例,当在项目中应用这些概念时,可作为参考。