自1998年PT對稱量子力學(非經典量子力學)被提出以來,逐步激發了人們對有關PT對稱理論和實驗方面的廣泛關注.作者自2007年開始研究PT對稱相關的問題,本書的主要內容源于作者的部分研究成果.本書主要闡述PT對稱理論、方法及其在線性和非線性波方程中的應用,主要針對具有物理意義的不同復值PT對稱勢,研究非厄米Hamilton算子具有全實特征值譜的參數分布、非線性光學系統及相關領域中的非線性Schr?dinger方程(其在Bose-Einstein凝聚態中被稱為Gross-Pitaevskii方程
本書以奇攝動控制系統為對象,以Kokotovic奇攝動方法為框架,并以輸入狀態穩定(ISS)概念作為刻畫外部干擾的工具,在Tikhonov極限定理的基礎上,首先討論了ISS分析與控制,包括基于狀態觀察器的控制器設計;其次對具有內部不確定性和外部干擾輸入的奇攝動控制系統,分別研究了相應魯棒ISS穩定與鎮定;然后分別討論了奇攝動系統的魯棒H∞分析與控制,并且詳細介紹了線性奇攝動系統的動態輸出反饋的問題;最后著重介紹了基于邊界層函數法的直接展開法,以不同的視角討論了非標準奇攝動**控制中具有階梯型空間
整數剩余類環上導出序列,主要介紹環上線性遞歸序列基礎理論、本原序列的權位壓縮導出序列的保熵性和模2壓縮導出序列的保熵性;第二部分是帶進位反饋移位寄存器(FCSR)序列,主要介紹FCSR序列算術表示、有理逼近算法和極大周期FCSR序列的密碼性質;第三部分是非線性反饋移位寄存器(NFSR)序列,主要介紹NFSR序列簇的線性結構、NFSR串聯結構分解、環狀串聯結構分析、Galois NFSR的非奇異性等。
"本書介紹常微分方程的基礎知識,包括基本理論、方法和在工程實際的若干應用。全書共分六章28節,包括緒論、初等積分法、線性方程、常系數線性方程、一般理論和定性理論初步等內容,涉及常微分方程模型、矩陣指數函數方法、微分不等式與比較定理、微分方程數值解、動力系統概念、周期軌道與Poincar6映射、平面Hamilton系統等方面的知識。本書力求貼近工程實際,貼近現代微分方程的發展主流,貼近新時代讀者的閱讀習慣,為讀者以后深入學習、研究和應用微分方程提供一個方便的臺階。 本書可以作為高等
微積分是理工科高等學校非數學類專業最基礎、重要的一門核心課程。許多后繼數學課程及物理和各種工程學課程都是在微積分課程的基礎上展開的,因此學好這門課程對每一位理工科學生來說都非常重要。本套教材在傳授微積分知識的同時,注重培養學生的數學思維、語言邏輯和創新能力,弘揚數學文化,培養科學精神。本套教材分上、下兩冊。上冊內容包括實數集與初等函數、數列極限、函數極限與連續、導數與微分、微分學基本定理及應用、不定積分、定積分、廣義積分和常微分方程。下冊內容包括多元函數的極限與連續、多元函數微分學及其應用、重積
本書是分數階系統與高階邏輯形式化驗證的基礎理論研究著作。分數階系統是建立在分數階微積分方程理論上實際系統的數學模型。分數階微積分方程是擴展傳統微積分學的一種直接方式,即允許微積分方程中對函數的階次選擇分數,而不僅是現有的整數。分數階微積分不僅為系統科學提供了一個新的數學工具,它的廣泛應用也表明了實際系統動態過程本質上是分數階的。高階邏輯形式化驗證是形式化驗證方法的一種,它是一種人機交互的定理證明方法。本書以分數階微積分和高階邏輯形式化驗證為切入點,系統性研究了分數階系統的求解、近似化、控制器設計
上海大學理學院數學系,成立于1960年,其前身是上?萍即髮W數學系,由嘉定校區的數學系和延長校區、徐匯校區、嘉定東校區的數學教研室合并而成,本書主編為楊建生。楊建生,基礎數學博士,上海大學數學系教授。《微積分強化訓練題》(第三版)是2015年上海普通高校優秀本科教材《高等數學(上、下)》(上海大學數學系編,高等教育出版社出版)配套輔導書。全書由三個部分組成,分別對應上海大學三個學期教學內容。 第一部分含有13套訓練題,涵蓋函數極限與連續、導數與微分、微分中值定理及其應用、不定積分與定積
本書基于高階約束流、Hamilton結構及Sato理論提出了構造孤立子系統的Rosochatius形變、Kupershmidt形變、帶源形變以及擴展的高維可積系統的一般方法, 并以光纖通信及流體力學中的重要模型, 如超短脈沖方程、Hirota-方程、Camassa-Holm型方程及q-形變的KP方程等為例詳細闡述了我們提出的方法. 進而推廣達布變換及穿衣法求解可積形變的孤子方程。由于可積形變的方程中增加了非線性項, 所以相應方程的解具有更加豐富的特性和應用。
本書是專門為冪零李群上的非交換調和分析方向的研究生和青年教師編寫的全英文學術專著,主要介紹從事一般二步冪零李群相關工作所需的基礎知識、概念和原理,內容聚焦于一般二步冪零李群的幾何分析、不可約酉表示的完整分類、傅里葉分析的相關性質、二階次橢圓算子以及熱核的刻畫等。
本書研究了非線性算子不動點問題迭代逼近的收斂算法。這些算法包括相同空間下的一些非線性算子不動點問題的迭代序列,也包括不同空間下一些非線性算子不動點分裂問題的迭代序列,并在合適的條件下驗證了這些算法具有強收斂或者弱收斂性。書中給出了許多非常初等的例子,并通過這些例子說明一些非線性算子的關系、有界線性算子范數的計算等,使得更容易理解這些抽象的非線性算子概念及其不動點迭代算法。