譜理論
數學中,譜理論是將單一方陣的特徵向量和特徵值理論推廣到各種空間中算子結構的更廣泛理論的統稱,[1]是線性代數和線性方程組解及其推廣的成果。[2]譜理論與解析函數理論相關,因為算子的譜特性與譜參數的解析函數相關。[3]
數學背景
編輯大衛·希爾伯特在希爾伯特空間理論的最初表述中首先引入了「譜理論」,以無窮多變量的二次型為基礎。因此,最初的譜定理被認為是橢球主軸定理在無窮維中的形式。後來,量子力學中發現譜理論可解釋原子發射光譜特徵純粹是偶然的。希爾伯特自己也對這出乎意料的應用感到驚訝:「我從純粹的數學興趣出發,發展了無窮多變量理論,甚至把它稱作『譜分析』,卻從沒想到它能用在物理學中真正的光譜上。」[4]
譜理論有3種表述,分別用於不同領域。在希爾伯特的最初表述後,抽象希爾伯特空間及其上單正規算子的譜理論很好地滿足了物理學的要求,馮諾依曼的工作就是例子。[5]在此基礎上,進一步發展的理論涉及一般巴拿赫代數。這引出了涵蓋交換情形的蓋爾范德表示,進一步啟發了非交換調和分析。
從與傅立葉分析的聯繫中,可看出兩者之別。實線上的傅立葉變換某種意義上是導數作為微分算子的譜理論。但為涵蓋這些現象,必須處理廣義特徵函數(如由裝備希爾伯特空間)。另一方面,構建群代數也很簡單,其譜可捕捉到傅立葉變換的基本特徵,這可由龐特里亞金對偶性實現。
物理背景
編輯譜理論研究各種物體的局部振動,從化學中的原子與分子直到聲波導中的障礙物。振動有頻率,問題在於確定這種局部振動何時發生,以及如何計算頻率。這是個非常複雜的問題,因為每個物體不僅有基頻,還有複雜的泛音,在不同物體上有迥異的表現。
這些物理思想在技術層面上與數學毫無關係,但也有間接涉及的例子(如「聽出鼓的形狀」)。希爾伯特用「譜」,是源於1897年Wilhelm Wirtinger一篇關於希爾微分方程的論文,20世紀前十年,他的學生(埃哈德·施密特、赫爾曼·外爾)也採用了這一術語。埃哈德·施密特和里斯·弗里傑什從希爾伯特的思想中發展了希爾伯特空間的概念。[7][8]近20年後,量子力學由薛定諤方程表述出來時,人們才將其與原子光譜聯繫起來。正如亨利·龐加萊指出的,人們曾懷疑其與振動的聯繫,但由於缺乏對巴耳末系的解釋,這種聯繫由於簡單的定量原因被否定了。[9]因此,量子力學發現譜理論能解釋原子光譜的特徵是純粹偶然的。
譜的定義
編輯考慮在一般巴拿赫空間上處處有定義的有界線性變換T。構造變換:
若存在逆,則稱T正則(regular);若不存在,稱T奇異(singular)。
根據這些定義,T的預解集是所有使 存在且有界的複數ζ的集合,通常表示為 。T的譜是所有使 不存在或無界的複數ζ的集合,通常表示為 。 (即 作為有界算子存在處),函數 稱作T的預解。因此,T的譜是複平面中T的預解集之補。[10]T的特徵值都屬於 ,但 可能包含非特徵值。[11]
這定義適於巴拿赫空間,但當然也有其他空間,如拓撲向量空間包含了巴拿赫空間。[12][13]另一方面,巴拿赫空間包括希爾伯特空間,得到了最廣泛的應用和最豐富的理論成果。[14]在適當的條件下,希爾伯特空間中變換的譜的結構可以有很多論述。特別是,自伴算子譜位於實線上;(一般來說)是離散特徵值的點譜與連續譜的譜組合。[15]
譜理論簡介
編輯泛函分析和線性代數中,譜定理規定了一些條件,之下算子可用簡單的形式表為更簡單算子之和。由於本文不適合進行全面嚴謹的敘述,我們採用另一種方法,避免了難以理解的形式化。
要描述這主題,最簡單的方法是引入表示算子的狄拉克符號。[16][17]例如,非常特殊的線性算子L可寫為並矢張量積:[18][19]
用「左括號」 和「右括號」 表示。定義在坐標 上的函數 表示為
f的振幅用下式表示
符號(*)表示共軛複數。這種內積選擇定義了一個非常特殊的內積空間,限制了後面論證的一般性。[14]
L對函數f的影響可表述為
表示L對f的影響是產生新函數 乘以 所代表的內積。
更一般的線性算子L可表示為
其中 是標量, 是基, 是對偶基。基與對偶基的關係由下式描述:
若這種形式化適用, 則 是L的特徵值,函數 是L的特徵函數。特徵值位於L的譜中。[20]
一些自然問題是:這種形式化在何時有效?對什麼算子L來說,其他算子的序列展開是可能的?任何函數f都可用特徵函數來表示(是Schauder基)嗎,何時會出現點譜或連續譜?無窮維空間和有限維空間的形式化有何不同?這些觀點能否推廣到更一般的空間?這些問題屬於譜理論範疇,需要相當的泛函分析與矩陣代數背景。
恆同消解
編輯本節沿用上節的粗略表示,使用狄拉克符號,並略去嚴格處理的許多重要細節。[21]嚴謹數學處理可見參考文獻。[22]特別是,空間維度n將是有限的。
用狄拉克符號,恆等算子可寫作:
其中假定 是基, 是滿足下式的空間的對偶基:
這種恆等運算表達式稱作恆同的表示或消解(resolution)。[21][22]這種形式化表示法滿足恆等的基本性質:
對所有正整數k都成立。
對空間 中的任意函數應用恆同消解,可得:
是ψ以{ ei }為基函數的廣義傅立葉展開,[23] 其中
給定形式如下的算子方程:
其中h在空間中,方程可在上述基之下由形式化求解:
這將算子方程轉化為矩陣方程,根據h的廣義傅立葉係數 和算子O的矩陣元素 可確定未知係數 。
譜理論可確定基與對偶基的存在性及性質。特別是,基可能由某線性算子L的特徵函數組成:
其中 是L的特徵值,來自L的譜。那麼,上述恆同消解就提供了L的並矢展開:
預解算子
編輯利用譜李理論,有預解算子R:
可據L的特徵函數與特徵值求值,並找到與L對應的格林函數。
將R應用於空間中的任意函數 ,
這函數在L的每個特徵值處的復λ平面上都有極點。於是可用殘差微積分:
其中曲線積分是在包括L所有特徵值的輪廓C上進行的。
假設函數定義在某坐標 上,即
引入符號
那麼
函數 定義如下:
算子方程
編輯考慮算子方程:
用坐標表示:
一個特殊情況是 。
上一節的格林函數為:
且滿足:
利用格林函數的這一特徵:
然後方程兩邊乘以 並積分:
這表明解是
即,若能找到O的譜、構造G,就能找到滿足算子方程的函數 ,例如用
當然有很多方法找到G。[26]必須牢記的是,上述數學純粹是形式上的,嚴格處理涉及相當複雜的數學,包括泛函分析、希爾伯特空間、分布等方面的背景知識。
譜定理與瑞利商
編輯優化問題是關於對稱矩陣中特徵值與特徵向量組合意義的重要例子,特別是關於矩陣M的瑞利商。
定理 令M為對稱矩陣,x為非零向量,使對M的瑞利商最大化。則,x是M的一個特徵向量,其特徵值等於瑞利商;而且,該特徵值是M的最大特徵值。
證明 假設符合譜定理。記M的特徵值為 。由於 形成正交基,所以任何向量x都可在此基上表示為
證明這公式的方法非常簡單。即
求對x的瑞利商:
其中最後一行用帕塞瓦爾恆等式。最後,可得
所以瑞利商總小於 。[27]
另見
編輯腳註
編輯- ^ Jean Alexandre Dieudonné. History of functional analysis. Elsevier. 1981. ISBN 0-444-86148-3.
- ^ William Arveson. Chapter 1: spectral theory and Banach algebras. A short course on spectral theory. Springer. 2002. ISBN 0-387-95300-0.
- ^ Viktor Antonovich Sadovnichiĭ. Chapter 4: The geometry of Hilbert space: the spectral theory of operators. Theory of Operators. Springer. 1991: 181 et seq. ISBN 0-306-11028-8.
- ^ Steen, Lynn Arthur. Highlights in the History of Spectral Theory (PDF). St. Olaf College. [2015-12-14]. (原始內容 (PDF)存檔於2016-03-04).
- ^ John von Neumann. The mathematical foundations of quantum mechanics; Volume 2 in Princeton Landmarks in Mathematics series Reprint of translation of original 1932. Princeton University Press. 1996. ISBN 0-691-02893-1.
- ^ E. Brian Davies, quoted on the King's College London analysis group website Research at the analysis group. [2023-12-24]. (原始內容存檔於2010-07-16).
- ^ Nicholas Young. An introduction to Hilbert space. Cambridge University Press. 1988: 3. ISBN 0-521-33717-8.
- ^ Jean-Luc Dorier. On the teaching of linear algebra; Vol. 23 of Mathematics education library. Springer. 2000. ISBN 0-7923-6539-9.
- ^ Cf. Spectra in mathematics and in physics 網際網路檔案館的存檔,存檔日期2011-07-27. by Jean Mawhin, p.4 and pp. 10-11.
- ^ Edgar Raymond Lorch. Spectral Theory Reprint of Oxford 1962. Textbook Publishers. 2003: 89. ISBN 0-7581-7156-0.
- ^ Nicholas Young. op. cit. Cambridge University Press. 1988-07-21: 81. ISBN 0-521-33717-8.
- ^ Helmut H. Schaefer; Manfred P. H. Wolff. Topological vector spaces 2nd. Springer. 1999: 36. ISBN 0-387-98726-6.
- ^ Dmitriĭ Petrovich Zhelobenko. Principal structures and methods of representation theory. American Mathematical Society. 2006. ISBN 0821837311.
- ^ 14.0 14.1 Edgar Raymond Lorch. Chapter III: Hilbert Space. Spectral Theory. 2003: 57. ISBN 0-7581-7156-0.
- ^ Edgar Raymond Lorch. Chapter V: The Structure of Self-Adjoint Transformations. Spectral Theory. 2003: 106 ff. ISBN 0-7581-7156-0.
- ^ Bernard Friedman. Principles and Techniques of Applied Mathematics Reprint of 1956 Wiley. Dover Publications. 1990: 26. ISBN 0-486-66444-9.
- ^ PAM Dirac. The principles of quantum mechanics 4th. Oxford University Press. 1981: 29 ff. ISBN 0-19-852011-5.
- ^ Jürgen Audretsch. Chapter 1.1.2: Linear operators on the Hilbert space. Entangled systems: new directions in quantum physics. Wiley-VCH. 2007: 5. ISBN 978-3-527-40684-5.
- ^ R. A. Howland. Intermediate dynamics: a linear algebraic approach 2nd. Birkhäuser. 2006: 69 ff. ISBN 0-387-28059-6.
- ^ Bernard Friedman. Chapter 2: Spectral theory of operators. op. cit.. 1990: 57. ISBN 0-486-66444-9.
- ^ 21.0 21.1 See discussion in Dirac's book referred to above, and Milan Vujičić. Linear algebra thoroughly explained. Springer. 2008: 274. ISBN 978-3-540-74637-9.
- ^ 22.0 22.1 See, for example, the fundamental text of John von Neumann. op. cit. Princeton University Press. 1955. ISBN 0-691-02893-1. and Arch W. Naylor, George R. Sell. Linear Operator Theory in Engineering and Science; Vol. 40 of Applied mathematical science. Springer. 2000: 401. ISBN 0-387-95001-X., Steven Roman. Advanced linear algebra 3rd. Springer. 2008. ISBN 978-0-387-72828-5., I︠U︡riĭ Makarovich Berezanskiĭ. Expansions in eigenfunctions of selfadjoint operators; Vol. 17 in Translations of mathematical monographs. American Mathematical Society. 1968. ISBN 0-8218-1567-9.
- ^ See for example, Gerald B Folland. Convergence and completeness. Fourier Analysis and its Applications Reprint of Wadsworth & Brooks/Cole 1992. American Mathematical Society. 2009: 77 ff [2023-12-24]. ISBN 978-0-8218-4790-9. (原始內容存檔於2023-07-26).
- ^ PAM Dirac. op. cit. Clarendon Press. 1981: 60 ff. ISBN 0-19-852011-5.
- ^ Bernard Friedman. op. cit. Dover Publications. 1956: 214, Eq. 2.14. ISBN 0-486-66444-9.
- ^ 例如,見Sadri Hassani. Chapter 20: Green's functions in one dimension. Mathematical physics: a modern introduction to its foundations. Springer. 1999: 553 et seq. ISBN 0-387-98579-4.、Qing-Hua Qin. Green's function and boundary elements of multifield materials. Elsevier. 2007. ISBN 978-0-08-045134-3.
- ^ Spielman, Daniel A. "Lecture Notes on Spectral Graph Theory" Yale University (2012) http://cs.yale.edu/homes/spielman/561/ (頁面存檔備份,存於網際網路檔案館) .
參考文獻
編輯- Edward Brian Davies. Spectral Theory and Differential Operators; Volume 42 in the Cambridge Studies in Advanced Mathematics. Cambridge University Press. 1996 [2023-12-24]. ISBN 0-521-58710-7. (原始內容存檔於2023-04-14).
- Dunford, Nelson; Schwartz, Jacob T. Linear Operators, Spectral Theory, Self Adjoint Operators in Hilbert Space (Part 2) Paperback reprint of 1967. Wiley. 1988. ISBN 0-471-60847-5.
- Dunford, Nelson; Schwartz, Jacob T. Linear Operators, Spectral Operators (Part 3) Paperback reprint of 1971. Wiley. 1988 [2023-12-24]. ISBN 0-471-60846-7. (原始內容存檔於2023-04-14).
- Sadri Hassani. Chapter 4: Spectral decomposition. Mathematical Physics: a Modern Introduction to its Foundations. Springer. 1999. ISBN 0-387-98579-4.
- Hazewinkel, Michiel (編), Spectral theory of linear operators, 数学百科全书, Springer, 2001, ISBN 978-1-55608-010-4
- Shmuel Kantorovitz. Spectral Theory of Banach Space Operators;. Springer. 1983.
- Arch W. Naylor, George R. Sell. Chapter 5, Part B: The Spectrum. Linear Operator Theory in Engineering and Science; Volume 40 of Applied mathematical sciences. Springer. 2000: 411 [2023-12-24]. ISBN 0-387-95001-X. (原始內容存檔於2023-12-24).
- Gerald Teschl. Mathematical Methods in Quantum Mechanics; With Applications to Schrödinger Operators. American Mathematical Society. 2009 [2023-12-24]. ISBN 978-0-8218-4660-5. (原始內容存檔於2022-08-12).
- Valter Moretti. Spectral Theory and Quantum Mechanics; Mathematical Foundations of Quantum Theories, Symmetries and Introduction to the Algebraic Formulation 2nd Edition. Springer. 2017 [2023-12-24]. ISBN 978-3-319-70705-1. (原始內容存檔於2021-05-06).
外部連結
編輯- Evans M. Harrell II (頁面存檔備份,存於網際網路檔案館): A Short History of Operator Theory
- Gregory H. Moore. The axiomatization of linear algebra: 1875-1940. Historia Mathematica. 1995, 22 (3): 262–303. doi:10.1006/hmat.1995.1025 .
- Steen, L. A. Highlights in the History of Spectral Theory. The American Mathematical Monthly. April 1973, 80 (4): 359–381. JSTOR 2319079. doi:10.2307/2319079.