10

積分問題集の解説(中級)

541
1

0π/2tanxarctanasin2x1acos2xdx=π2ln(1+a) (|a|<1)

まず被積分関数をaについて微分してみましょう
ddatanxarctanasin2x1acos2x=2sin2x(1a)2+4asin2x
結構簡単な形になりました.
ここから進めていきましょう.

0π/2tanxarctanasin2x1acos2xdx=0a0π/22sin2x(1a)2+4asin2xdxda=0a02(1a)2(1+x2)+4adxda1+x2=0a12a011+x21(1+a1a)2+x2dxda
ここで第二項について
x1+a1atanx
と置換しますがa≠-1,1である必要があります.
また|a|>1の場合と|a|<1の場合で正負が変わるので積分区間が変わってしまいます.
本来はここで場合分けが必要なのですが題意は|a|<1の範囲なので積分区間は[0,]で大丈夫です.
先ほどの計算から始めます.
=0aπ4a(11a1+a)da=π20ada1+a=π2ln(1+a)

余談としてarctanの関数ですが次のようなフーリエ級数表示を持ちます.
arctanasinx1acosx=n>0annsinnx
こういった表示はかなり有用なのでたしか何かこういう表示あったなっていう感じで覚えていれば大丈夫です.

0ln(a2+x2)1+x2dx=πln(1+a) (a0)

よくある問題な気がします.
1問目と解が似ていますが直接的な関係はないように思います.
これはよく1問目と同じようにFeynman's trickを用いられているのですがそれでは面白さに欠けます.
今回はlnで使える場合がある特殊な方法を使って解きます.
まずlnは次のような方法でも出せる事を思い出しましょう.
dds(f(x))s=(f(x))slnf(x)
これを用いれば今回何を求めれば言いかがわかります.
次を求めてsについて微分しましょう.

0cos(sarctanxa)(a2+x2)s/2dx1+x2

見た目すごいですがそこまで難しいものではないんですよね.
cosの部分ですが次のように書けます.
Re1(a+ix)s
です.
Reとは複素数の実部のことです.普通はReと書きますがtexで打つとRみたいな字になるんですよね.
ではまずこの問題の解を出しましょう.

Re01(a+ix)dx1+x2=Re1Γ(s)0dx1+x20ts1e(a+ix)tdtdx
もうここで何してるんだと思うかもしれません.
ガンマ関数について次のような積分が成り立ちます.
0ts1eztdt=Γ(s)zs (Rez>0)
これから1zsを積分になおしたという訳です.
Rez>0とありますがこれは大事です.この範囲外では感覚でもわかると思いますが収束しません.
なので先ほどの1番最初の変形もa>0が重要です.(a=0でも収束する場合があります.(sin,cosのメリン変換))
先ほどの計算から進めます.
=1Γ(s)0ts1eat0costx1+x2dxdt=π2Γ(s)0ts1et(1+a)dt=π2(1+a)s

なんとこんなにも綺麗になるんですね.
あとはsについて微分することで題意を示しましょう.

先ほどの解についてsで微分しs=0を代入する.
0Redds1(a+ix)sdx1+x2=ddsπ2(1+a)s
0ln(a2+x2)1+x2dx=πln(1+a)

(補題1は留数定理でも示せます)

0sinaxsinhxcosh2xdx=πa2coshπa2

これは部分積分をすると
0cosaxcoshxdxという
簡単な形になります.
また次のような積分を考えるのもありです.

0sinaxcosh(x+b)dx

ですが計算してみたところ途中から計算が同じになったので前者で解いていきましょう.

0sinaxsinhxcosh2xdx=a0cosaxcoshxdx=2a0n0(1)ncosaxe(2n+1)xdx=2an0(1)n(2n+1)(2n+1)2+a2
変な級数が出てきました.
これはかなり有名な級数で
次が成り立ちます
n>0nsinnxn2+a2=πsinha(πx)2sinhaπ
xπ/2とすれば偶数項では0,奇数項ではsinが(1)nとなるので求めたい級数になります.
先ほどの計算に戻ります.
=πasinhaπ/2sinhaπ=πa2coshπa2

特殊な級数につながる積分といった感じでしたね.

01sinπxlnΓ(x)dx=1π(lnπ2+1)

対数ガンマ関数を含む積分です.
こういった積分は相反公式用いるとうまくいく場合があり今回がまさにそれです.
kpをすることによりlnsinxの積分にします.
今回は まぐな さんが解説を送ってくれたのでそれを使わせてもらいます



また,余談として対数ガンマ関数のフーリエ級数展開を用いることで簡単に解けます.
この場合知識ゲーになってしまうのであまり面白みはないかもしれませんが対数ガンマ関数同士の積の積分などで役立ちます.

011+x21+x4+x2lnxdx

申し訳ないことに右辺の値が一致していないことをwolframで確認しました.
僕は当時メリン変換を微分しそれを[0,1],[1,∞)に分け後者を逆数の置換により出したのですが,この変形ができなかったのでこの問題は無しということにします.
本当に申し訳ないです…

0tanhxxe4axdx=ln24a2Γ(a+1)Γ(a)3Γ(2a)2π

今回は
Feynman's trick
を使っていきます!
次のような物です

f(b)f(a)=abf(x)dx
です.
では今回どのように使うかというとtanhxx部分において次のような変形をします.
tanhxx=11+e2x1e2xx=11+e2x02etxdt
早速解いていきましょう.

0tanhxxe4axdx=020ex(4a+t)1+e2xdxdt=02n0(1)n0ex(4a+t+2n)dxdt=02n0(1)n4a+t+2ndt=02n014a+4n+t14a+4n+2+tdt=1402ψ(t4+a+12)ψ(t4+a)dt=lnΓ(a+1)Γ(a)Γ(a+12)2

最後の式について次の等式を用いる事で題意と一致することがわかります.
Γ(z)Γ(z+12)=Γ(2z)212zπ
Feynman's trickは他にも多くの積分で有効なので使えるようになっておきたいですね.

0dx(1+zcosh2x)s=22s2Γ(s)2Γ(2s)(1+z)sF[s,12s+12;11+z]

これは超幾何級数と積分の関係ですね.
まず次を示します.

F[a,bc;z]=2Γ(a)Γ(ca)zbΓ(c)0sinh2a1xcosh2c2b1xdx(1+1zzcosh2x)

超幾何級数の積分表示から進めていきます.
この表示について適切な値を代入していけば題意を示せます.

01ta1(1t)ca1(1zt)bdt=0ta1(1+t)cbdt1+(1z)t (tt1+t)=2zb0sinh2a1tcosh2c2b1tdt(1+1zzcosh2t)b (tsinh2t)
a1/2,bs,cs+1/2,z1/(1+z)
として題意を得る

こういった積分を超幾何級数に直すというのはかなり使える手法です.僕は過去にこの記事で使ったことがあります.

積分botの問題を解いてみた2
https://mathlog.info/articles/HUyUx8vMnOCiBc2N0yrx

sinxk=0n(x+k)dx=2nn!π

次の性質を使います.
Γ(x)Γ(x)k=0n(x+k)=Γ(x)Γ(x+n+1)=1n!01tx1(1t)ndt=1n!k=0n(1)kx+k(nk)
いわゆる部分分数分解です.
早速解きましょう.

sinxk=0n(x+k)=1n!k=0n(nk)(1)ksinxx+kdx=πn!k=0n(nk)(1)k=πn!2n

これはガンマ関数を含む積分でした.
他にもガンマ関数を含む積分は湧水さんがいくつか紹介しています.
気になる方は解いてみるといいかもしれません.

ガンマ関数を含む積分

0sinxxk=1nsinakxakxdx=π2 (ak>0,k=1nak<1)

ボールウェイン積分です.
調べれば証明方法が出てきますが示してみましょう.
先ず次を示します.

0sinxxk=1ncostkxdx=π2

tkの条件は題意と同じです.
今回は数学的帰納法を用いて示していきます.

n=1,0sinxxcost1xdx=0sin(1+t1)x+sin(1t1)x2xdx=π2
ここでt1は対称性と解が0にならないために0<t1<1となります.
n=mで成り立つと仮定
n=m+1で成り立つことを示す
0sinxcostm+1xk=1ncostkxdx=0sin(1+tm+1)x+sin(1tm+1)x2xk=1mcostkxdx=0sinx2x(k=1mcostk1+tm+1x+k=1mcostk1tm+1x)dx=π2
置換する際,条件について以下のように帰納法が使える
k=1mtk1tm+1<1k=1m+1tk<1
最後に今回得た結果をtkについてそれぞれ条件内の範囲[0,ak]で積分する事で題意を示せた.

初級の解説にもありましたが,有限積入りの積分などは帰納法が使える可能性があるのでそういった事を考えるのも大事かもしれませんね.

01lnnxlnm(1x)x(1x)dx=n!m!(1)n+m(ζ({1}m,n+1)+ζ({1}m1,n+2))

多重ゼータ値ですね.
シャッフル積を用います.

01lnnxlnm(1x)x(1x)dx=m!(1)m01lnnxx(1x)0<t1<tm<x1(1t1)(1tm)dt1dtmdx=m!k1,k2km+1001xkm+11lnnx0<t1<<tm<xt1k1tmkmdt1dtmdx=m!(1)mkm+1km>>01k1km01xkm+11lnnxdx=m!n!(1)m+nkm+1km>>k1>01k1kmkm+1n+1=m!n!(1)m+n(ζ({1}m,n+1)+ζ({1}m1,n+2))

こんな感じでした.
かなり難しくなってきましたね.
上級では更に面白い話し出来ると思っています!

投稿日:2024115
更新日:2024212
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

KBHM
KBHM
139
10984
怠惰

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中