生成函式計算的結果是否構成證明?

時間 2021-06-01 22:40:01

1樓:

生成函式是在操作形式冪級數環 。如果你還是覺得不爽的話,其實形式冪級數環上是有自然的拓撲的:0 處的鄰域基由 ^i" eeimg="1"/>給出,因此收斂性 well-defined。

作為乙個平凡的例子,可以驗證 確實是收斂到 的。

2樓:羅旻傑

在特殊函式理論中,如果生成函式所包含的都是具體的物件,那麼實際上是需要確定收斂範圍的。當然,由於前人在收斂性方面已經做出了相當多的工作(例如,幾乎所有常見的單變數,多變數超幾何級數的收斂範圍,大部分古典正交多項式的估計都已經清楚了),在進行生成函式的演算過程中可以比較放心。可也有不少證明實際上是無法說明,或者很難嚴格地證明收斂性的。

但畢竟,生成函式是有退路的,那就是即便不收斂,也可以說至少在形式冪級數的情況下是可以接受的

事實上,很多經典的書中都會用不同的符號對收斂發散加以區分,例如:

但是,這裡我想說的是,生成函式有時候可以(或者需要)理解為用某乙個多項式序列來展開特定的函式,所以若有明確的收斂條件,會大大增加其價值。

3樓:

級數的形式理論不需要收斂,但如果收斂,可以動用解析函式的結論,得出一些漸近結果。

具體一點講,你操作的只是乙個形式等式,兩邊相等意味著對應項的係數相等。

但你只是做了有限次加、減、乘、卷積、逆(倒級數,常數項不為0)、復合(內層常數項必須為0)、形式導數。

這時不需要收斂。因為你所有的操作都可以轉換成係數的運算。

可是如果你要把它當作函式,用奇點、路徑積分之類的,那就需要解析了。

可參見《發生函式論》,清華大學出版的一本黃色封面書。

如何證明不可計算的函式比可計算的函式多?

hhh 因為可計算函式和自然數一樣多,而不可計算函式至少和實數一樣多。證明為因為字元是能列舉的。我們把字元分三類,一是數字,二是符號,三是字母。於是可計算函式的對應 0 y 0 1 y 1 2 y a 3 y a 1 4 y a b 5 y a 1 然後字母,數字,符號全體編號。按1,2,3順序,然...

用尤拉公式計算1的次方,結果是否是正確的呢?

zhangming30 因為看到有的答主提到這是平方根和算術平方根的差異,我覺得這些答主沒答到點子上,題主選了乙個不怎麼具有代表性的例子,的確,這個例子裡可以如此解釋,但是換個例子就不行了。在實數域上,1的四次方跟只有1和 1,但擴充到複數域上時,卻有1,i,1,i四個值,眾所周知的是,對乙個複數進...

甲醛檢測報告的結果是否真實?

河南北辰 現在很多第三方檢測機構都會跟治理甲醛的公司合作,從而來套路消費者,就是那種即使你的房子甲醛含量是合格的,但是還是會出具乙份資料不合格的報告,然後推薦合作的甲醛治理機構來除甲醛,除去甲醛之後檢測公司再來檢測一次,出具乙份合格的報告來從中賺取回扣。所以消費者選擇第三方檢測機構的時候盡量選擇沒有...