無窮級數是研究有次序的可數或者無窮個數函式的和的收斂性及和的數值的方法，理論以數項級數為基礎，數項級數有發散性和收斂性的區別。只有無窮級數收斂時有一個和，發散的無窮級數沒有和。
用解析的形式來逼近函式，一般就是利用比較簡單的函式形式，逼近比較複雜的函式，最為簡單的逼近途徑就是通過加法，即通過加法運算來決定逼近的程度，或者說控制逼近的過程，這就是無窮級數的思想出發點。
基本介紹
- 中文名：無窮級數
- 外文名：Infinite series
- 套用學科：數學
概述,歷史,記號,性質,冪級數,展開式,冪級數展開式,實用冪級數,傅立葉級數,三角級數,洛朗級數,發散性質,判別法,比較,積分,比值,根值,絕對收斂,交錯級數,
概述
無窮級數是研究有次序的可數無窮個函式的和的收斂性及其極限值的方法，理論以數項級數為基礎，數項級數有發散性和收斂性的區別。無窮級數收斂時有一個唯一的和；發散的無窮級數沒有極限值，但有其他的求和方法，如歐拉和、切薩羅和、博雷爾和等等。
歷史
英國曼徹斯特大學和埃克塞特大學的研究小組指出，印度喀拉拉學校也曾發現可用於計算圓周率的無窮級數，並利用它將圓周率的值精確到小數點後第9位和第10位，後來又精確到第17位。研究人員說，一個極有說服力的間接證據是，15世紀，印度人曾經將他們的發現告知造訪印度的精通數學的耶穌會傳教士。“無窮級數”可能最終擺到了牛頓本人的書桌上。
約瑟夫是在通讀字跡模糊的印度文字材料時得出這些發現的，他的暢銷著作《孔雀之冠：非歐洲的數學之根》(The Crest of the Peacock: the Non-European Roots of Mathematics）的第3版將刊登此次發現，該書由普林斯頓大學出版社負責出版。他說：“現代數學的起源通常被視為歐洲人取得的一項成就，但中世紀(14至16世紀）印度的這些發現卻被人們忽視或者遺忘了。17世紀末期，牛頓的工作取得了輝煌的成就。他所做的貢獻是不容人們抹殺的，尤其在提到微積分的運算法則時更是如此。但喀拉拉學校的學者——特別是馬德哈瓦（Madhava）和尼拉坎特哈（Nilakantha）的名字也同樣不能忘記，他們取得的成就足以和牛頓平起平坐，因為正是他們發現了微積分的另一個重要組成部分——無窮級數。”
實用冪級數
約瑟夫表示：“喀拉拉學校所做的貢獻未能獲得世人的承認有很多原因，其中一個最重要的原因便是對非歐洲世界的科學發現漠然視之的態度，這種做法無疑是對歐洲殖民主義在科學領域的一種延續。此外，對於中世紀的喀拉拉語、馬拉雅拉姆語等印度當地語言的形態，外人可以說是知之甚少，而諸如《Yuktibhasa》等一些最具有開創性的著作卻又偏偏使用了這些語言。《Yuktibhasa》的大部分篇幅都用來闡述產生重要影響的無窮級數。”他指出：“我們真的無法想像，西方社會能夠拋棄奉行了500年之久的傳統，從印度和伊斯蘭世界‘進口’學識和著作。但我們還是發現了強有力的證據，例如，由於當時的歐洲耶穌會士曾造訪這一地區，所以他們有很多收集相關信息的機會。更為重要的是，這些耶穌會士不但精通數學，同時也精通當地的語言。
記號
若有一個無窮數列
此數列構成下列表達式
稱以上表達式為常數項無窮級數（infinite series），簡稱級數，記為
其中第
項
叫做級數的一般項或通項。
一般而言，我們有
性質
無窮級數具有以下性質：
1 、級數收斂的一個必要條件是它的通項以0為極限。
證：
3 、收斂級數可以逐項相加或相減，如有兩個無窮級數：
, 
則
,這可由極限的加減法性質推出
4 、級數中去掉或加上或改變有限項不影響其收斂性，
如： 
和 
這兩個級數的斂散性是一樣的，但極限值不一定相等。
無窮級數無窮級數
無窮級數無窮級數5 、收斂級數的部分和數列
的子數列
也收斂（逆否命題也成立），並且其和就是原級數的和；若收斂，則未必收斂。
6、 3的推論：如果任意有限個無窮級數都是收斂的，那么它們任意的線性組合也必定是收斂的。注意對於都是發散的級數，則不存在類似的結論。
7、 5的推論：若級數 收斂，則收斂，其所對應的新的級數（通項：
）必收斂（逆否命題也成立）；若僅收斂，則級數未必收斂。無窮級數
無窮級數冪級數
一個任意項級數，如果由它的各項的絕對值所得到的級數收斂，則原來的級數也收斂，如果發散，則原來的級數不一定也發散，如果反而是收斂，則稱這種級數為條件收斂的。實際上，條件收斂的級數，可以通過變換級數各項的順序而使得這個級數收斂於任意實數，也能發散至無窮大。
收斂半徑和收斂區間
級數的每一項也可以是函式，這種級數稱為函數項級數。
這裡我們討論一種特定的函式項級數，即由如下形式的冪函式組成的級數，稱為冪級數。
也可以直接寫成。冪級數的斂散性具有很好的特徵，即所謂阿貝爾定理：如果冪級數在點x=k處收斂，那么它在區間內的每一點處都絕對收斂；反之，如果冪級數在點x=k 處發散，那么對於不屬於的所有x都發散。上面的定理使得冪函式的收斂域只能是一個開區間，稱為冪級數的收斂區間。收斂區間的長度的一半稱為收斂半徑。套用對於正項級數的比值判別法和根值判別法的極限形式，可以求出冪級數的收斂半徑。
⑴ 如果
，則在
時，冪級數絕對收斂，而
時，冪級數發散。因此，此時冪級數的收斂半徑為
。
⑵ 如果
，則對於任意的x，冪級數都是絕對收斂的。因為此時
，小於1。這時可以認為冪級數的收斂半徑為無窮大。
無窮級數
無窮級數⑶ 如果
為無窮大，則冪級數只在x=0處收斂，而取任意非零的數值時，級數都是發散的，因此可以認為冪級數的收斂半徑為0。
無窮級數冪級數的微分、積分、連續性
無窮級數首先是對和函式的求導：
如果冪級數
的收斂半徑r大於0，則它的和函式S（x）在(-r，r)上必定可積，並且導函式為
。和函式的可微區間是開區間，因為即使和函式在這個區間的端點可能有定義，這個定理也不能保證和函式在端點處具有可微性。
無窮級數
無窮級數和函式還具有連續性：如果冪級數的收斂半徑r大於0，則它的和函式S（x）在其定義域上連續。對於連續性，定理強調的是在它的定義域上，也就是包括有定義的端點。連續性也就意味著可以對冪級數逐項求極限。
無窮級數
無窮級數展開式
冪級數展開式
泰勒公式：
無窮級數實用冪級數
無窮級數
傅立葉級數
三角級數
無窮級數
洛朗級數
泰勒級數是洛朗級數的特殊形式。
發散性質
首先我們只是考慮級數的斂散性的問題，也就是存在性問題，而不是如何求極限的問題。關於無窮級數的斂散性，有如下的基本性質：
任意改變一個級數的任意有限個項的值，都不影響這個級數的斂散性。原因很顯然，只要對一個級數所作的改變是有限的，就不能使得這個級數，由趨向於無窮而變得趨向於有限，也不能使得這個級數由趨向於有限而變得趨向於無窮，或者是由根本不存在任何極限，而變得出現極限。
判別法
正項級數及其斂散性
如果一個無窮級數的每一項都大於或等於0，則這個級數就是所謂的正項級數。
正項級數收斂的充要條件是部分和數列有界。
有界性可以通過許多途徑來進行判斷，由此我們可以得到一系列的斂散性判別法。
比較
⑴一個正項級數，如果從某個有限的項以後，所有的項都小於或等於一個已知收斂的級數的相應項，那么這個正項級數也肯定收斂。
⑵反之，一個正項級數，如果從某個有限的項以後，所有的項都大於或等於一個已知發散的級數的相應項，那么這個正項級數也肯定發散。
如果說逐項的比較還有些麻煩的話，可以採用如下的極限形式：對於正項級數和 ，如果 ，即它們的通項的比趨向於一個非0的有限值，那么這兩個級數具有相同的斂散性。
積分
比值
設正項級數從一個確定的項以後，每一項都嚴格大於0，並且如果有
，a是某個實數，那么這個級數收斂。反之，如果從一個確定的項以後，每一項都嚴格大於0，並且有
，則級數發散。同樣這種比較也可以採用極限形式：若
，則級數發散；若
，則級數收斂。如果
，則本判別法無法進行判斷。
根值
對於正項級數，如果從某一個確定的項開始，都有
，則級數收斂，反之，如果從任何給定的項之後，都存在一項滿足
，則級數發散。同樣這種比較也可以採用極限形式：設正項級數從一個確定的項以後，
，則級數絕對收斂。若
，則級數發散。若非以上兩者，則本判別法無法進行判斷。
絕對收斂
實際上針對正項級數的斂散性判別法的有效範圍還可以擴大，也就是說，還可以用於判斷更多的級數是收斂的。這是通過引入絕對收斂的概念而得到的。
如果我們把一個任意項的級數的每一項都取絕對值，那么就得到了一個正項級數，如果這個正項級數是收斂的，那么這個任意項級數就被稱為是絕對收斂的。
給出絕對收斂這么一類任意項級數的好處，就在於：
一個級數如果是絕對收斂的，那么也就一定是收斂的。
絕對收斂級數不僅具有可以套用針對正項級數的斂散性的判別法的特性，還具有如下的性質：
如果把任意項級數的所有正項都保持不變，而所有負項都更換為0，那么就得到一個正項級數 ；如果把它的所有負項都改變符號，而正項都更換為0，則得到另一個正項級數 ，然後就得到一個任意項級數的絕對收斂的充要條件，為正項級數與都收斂。從這個性質能夠得到一個推論，即：如果任意項級數絕對收斂，就有。
作為加法交換律的一個推廣，對於正項級數，如果任意改變它的各項的相加順序，不會改變它的斂散性，同樣，對於絕對收斂級數也有這樣的性質。
不只是對於加法的交換律，對於絕對收斂級數的乘積也有性質：
如果兩個任意項級數都絕對收斂，那么它們的各項的乘積，按照任意方法排列而得到的級數同樣絕對收斂，並且和為兩個任意項級數的和的乘積。
交錯級數
考慮一種特別的級數形式，即相鄰兩項的符號相反，稱為交錯級數。交錯級數具有一個簡單的性質：
這種級數稱為萊布尼茲級數。
