
Re: 幾題級數求和


: 第8題 我把原來的函數換成cos的樣子然後相乘
: 最後整理成 sigma(1->Infinity) (1/(2n-1)^2)*exp(i*theta)^n
: 然後就不知道怎麼做了
: 3和11則是一開始就沒想法了
我去看了一下 Mathematical Methods Of Physics (2nd Edition)
by Mathews, Jon; Walker, Robert L 1971
第二章那內容太少了吧? 感覺也沒教多少泛用的處理手法
第8題我沒有想到太好的做法,想來請教一下有沒有什麼巧思之類的
我先說明我的作法。
定義
n
Fn(x) = Σ sin(kx)/(2k-1) for x in (0,π).
k=1
目標是求出 lim Fn(x) for each x in (0,π)
n→∞
因為我只會算像 Σsin(kθ)/k 這種級數,所以為了生出 1/(2k-1)這種係數,
我定義 Gn:
n
Gn(x) = Σ sin((2k-1)x)/(2k-1) for x in (0,π)
k=1
n
Gn'(x) = Σ cos((2k-1)x) = sin(2nx)/(2sin(x))
k=1
那麼,但我們想要的是 Fn,那 Fn 跟 Gn 有啥關係呢?
n
Gn(x/2) =Σ sin((2k-1)x/2)/(2k-1)
k=1
n
= Σ sin(kx-x/2)/(2k-1)
k=1
n n
= cos(x/2)Σ sin(kx)/(2k-1) - sin(x/2)Σ cos(kx)/(2k-1)
k=1 k=1
n
= cos(x/2) Fn(x) - sin(x/2) Σ cos(kx)/(2k-1)
k=1
為了處理那個 Σ cos(kx)/(2k-1) ,我只好弄出個 Hn:
n
Hn(x) = Σ cos((2k-1)x)/(2k-1) for x in (0,π)
k=1
n
Hn'(x) =-Σ sin((2k-1)x) = (cos(2nx)-1)/(2sin(x))
k=1
n
Hn(x/2) =Σ cos((2k-1)x/2)/(2k-1)
k=1
n
= sin(x/2) Fn(x) - cos(x/2)Σ cos(kx)/(2k-1)
k=1
藍色*cos(x/2)和綠色*sin(x/2)可以得到
Gn(x/2)cos(x/2) = cos(x/2)^2 Fn(x) + sin(x/2)cos(x/2)Σ cos(kx)/(2k-1)
Hn(x/2)sin(x/2) = sin(x/2)^2 Fn(x) - sin(x/2)cos(x/2)Σ cos(kx)/(2k-1)
上下相加可以得到
Fn(x) = Gn(x/2)cos(x/2) + Hn(x/2)sin(x/2)
目標是 lim Fn(x),所以要分析 lim Gn(x/2) 和 lim Hn(x/2)
先處理 Gn,為了等一下方便把黃字裡面的 x 換成t。
n
Gn'(t) = Σ cos((2k-1)t) = sin(2nt)/(2sin(t))
k=1
對兩邊進行對 t 的從 x 到 π/2 的定積分:
π/2
Gn(π/2) - Gn(x) = ∫sin(2nt)/(2sin(t))dt
x
(integrate by part) π/2
= -cos(nπ)/(4n) + cos(2nx)/(4nsin(x)) + (1/8n)∫cos(t)cos(2nt)/sin(t)^2dt
x
兩邊對n取極限,可得到:
lim Gn(π/2) - lim Gn(x) = 0
所以對任何 x, lim Gn(x) = lim Gn(π/2) = 1-1/3+1/5-1/7 + - + - ... = π/4
故 lim Gn(x/2) = π/4
剩下的是 lim Hn(x/2)
類似 Gn,讓我們從 Hn的導函數開始
n
Hn'(t) =-Σ sin((2k-1)t) = (cos(2nt)-1)/(2sin(t))
k=1
對兩邊進行對 t 的從 x 到 π/2 的定積分:
π/2 π/2
Hn(π/2) - Hn(x) = ∫cos(2nt)/(2sin(t))dt - ∫1/(2sin(t))dt
x x
π/2
同樣用 intrgrate by part 的技術去論證 lim ∫cos(2nt)/(2sin(t))dt
x
n
Hn(π/2) = Σcos(kπ-π/2)/(2k-1) = 0
k=1
π/2
所以 lim Hn(x) = ∫1/(2sin(t))dt
x
= ln[ (1+cos(x))/(1-cos(x))]/4
因此我們有
lim Fn(x) = lim Gn(x/2) cos(x/2) + lim Hn(x/2) sin(x/2)
= π/4 cos(x/2) + sin(x/2)/4* ln[ (1+cos(x/2))/(1-cos(x/2))] Q.E.D.
但我總覺得複變函數論那邊應該有什麼有用的結論可以簡化這個過程。
這過程會那麼麻煩是因為我把 cos 和 sin 分開處理
如果換個方向,我定義一個函數
n
Ln(x) = Σ e^(jkx)/(2k-1)
k=1
那題目問的其實就是 lim Im( Ln(x) )
而 Ln 我們可以很容易地寫出
n
-2j Ln'(x) - Ln(x) = Σ e^(jkx)
k =1
= = e^(jx)(1-e^(jnx))/(1-e^(jx))
這樣就變成一個一階線性微分方程
只是因為我複變...嗯 基本算是忘光了 就交給其他有能的人處理吧
吃飯去~
https://twitter.com/Ganka_Illust/status/1498168693095682048/photo/1
https://pbs.twimg.com/media/FMqQSGjVUAMCMT_.jpg



--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 98.45.135.233 (美國)
※ 文章網址: https://www.ptt.cc/bbs/Math/M.1646707636.A.B61.html
→
03/08 15:32,
3年前
, 1F
03/08 15:32, 1F
推
03/08 17:48,
3年前
, 2F
03/08 17:48, 2F
→
03/08 17:49,
3年前
, 3F
03/08 17:49, 3F
Σ sin(kx) 這個沒收斂還沒辦法直接套 Abel test
Direchlet test 方便~
推
03/08 18:03,
3年前
, 4F
03/08 18:03, 4F
→
03/08 18:03,
3年前
, 5F
03/08 18:03, 5F
→
03/08 18:07,
3年前
, 6F
03/08 18:07, 6F
→
03/08 18:07,
3年前
, 7F
03/08 18:07, 7F
推
03/08 21:57,
3年前
, 8F
03/08 21:57, 8F
推
03/08 23:19,
3年前
, 9F
03/08 23:19, 9F
→
03/08 23:20,
3年前
, 10F
03/08 23:20, 10F
→
03/08 23:24,
3年前
, 11F
03/08 23:24, 11F
推
03/08 23:38,
3年前
, 12F
03/08 23:38, 12F
你可以多說明一下你講的這個處理手法嗎?
※ 編輯: arrenwu (98.45.135.233 美國), 03/09/2022 00:45:19
推
03/09 01:29,
3年前
, 13F
03/09 01:29, 13F
→
03/09 01:30,
3年前
, 14F
03/09 01:30, 14F
→
03/09 01:31,
3年前
, 15F
03/09 01:31, 15F
推
03/09 01:45,
3年前
, 16F
03/09 01:45, 16F
→
03/09 01:45,
3年前
, 17F
03/09 01:45, 17F
→
03/09 01:46,
3年前
, 18F
03/09 01:46, 18F
→
03/09 01:46,
3年前
, 19F
03/09 01:46, 19F
→
03/09 01:47,
3年前
, 20F
03/09 01:47, 20F
→
03/09 01:49,
3年前
, 21F
03/09 01:49, 21F
討論串 (同標題文章)