10

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

517
0

はじめに

この問題を公開してから期限の2週間に到達したので解法を公開していきます.
解法は初級〜超級の4つに分けて公開しようと思っています.
また良い解法があれば解答してくださった方々の解法も使用させていただきます.

解説

π/2π/2cos2x1+esinxdx=π4

これは高校範囲の問題ですね.
指数関数,三角関数が入り混じっていますが今回は定積分でしかも範囲が良いので恐れることなかれです.
今回使用していく解決策はキングプロパティ(以下略称:kp)です.
[a,b]の積分についてb+ax=t
と置換し,置換する前の積分と後の積分を足して2で割るというものです.

I:=π/2π/2cos2x1+esinxdx
=π/2π/2cos2(x)1+esin(x)(dx) (xx)=π/2π/2cos2xesinx1+esinxdx=I
I=I+I2 (I=I)=12π/2π/2cos2xdx
あとは計算するだけですが僕的には2つの解法があるので紹介したい方のみ解説します.
1つ目は半角を用いて2乗を解消する方法
2つ目はkpを用いて一瞬で終わらせる方法です.
後者を紹介します.
A:=π/2π/2cos2xdx=20π/2cos2xdx=20π/2sin2xdx (π2xx)
2A=20π/2cos2x+sin2xdx=π
I=A2=π4
こんな感じで示せました.

kpは大学受験でもよく出されるので知っておいて損は無いと思います.

0πarccoscos2n+1xdx=π22

まずarccosとは何かですね.
調べてみるとcosの逆関数であることがわかります.
arccosx:=x1dt1t2
としましょう.
この積分を弄くれば
arccosx=π2arcsinx
となることがすぐにわかります.
(積分区間を[0,1]と[0,x]に分けて積分)
またarcsinには次の性質があります.
arcsin(x)=arcsinx
xにsin xを入れてみればわかりますね.
ではこれらの性質を用いて証明していきましょう.

0πarccoscos2n+1xdx
=0ππ2arcsincos2n+1xdx=π220πarcsin(cosx)2n+1dx (πxx)=π22
途中A=-Aなる実数はA=0となることからarcsinの積分が0になる事を使いました.

k=1nak(x)dx=an(x)+Can+1(x)=ean(x),a1(x)=ex

数列じゃない書き方をすれば
exeexeeexdx=eeex+C
となり,見た目が面白いですよね.
今回は数学的帰納法を用いて証明していきます.
しかも今回は不定積分なので右辺微分して被積分関数と一致することを確かめれば十分です.

exdx=ex+Cより
n=1で成り立つ
n=mで成り立つと仮定し
n=m+1で成り立っていることを示す.
ddxam+1(x)=ddxeam(x)=ddxam(x)·ddam(x)eam(x)=eam(x)k=1mak(x)=k=1m+1ak(x)

こういった数学的帰納法を考えるのは数列を含む積分では使えることがあります.

0πxa+cos2xdx=π22a(1+a) (a>0)

題意をIと置く
I=0ππxa+cos2xdx (xπx)=0ππa+cos2xdxI
I=π20πdxa+cos2x=π0π/2dxa+cos2x=π0dt1+a+at2 (tanxt)=π0π/2dta(1+a) (at1+atant)=π22a(1+a)

この問題はあまり話したいと思うことがないですね…
高校範囲の問題ではかなり難しい部類なのでしょうか.

0dx(1+x2)(9+x2)(25+x2)=π640

これは想定解は部分分数分解です.
やることは同じなので解答して頂いた方からの写真を引用させてもらいました.(もちろん許可付き)

(解答してくださった方: hiro さん)
あとは留数定理による解法も考えられますね.
そしてこの積分で話したいことは次のような一般化があるということです.

0k=1n1(2k+1)2+x2dx=π22n+1(2n+1)n!2

尚,これは keitadayo さんの次の記事で出されているものです.

積分と級数の問題

keitadayoさんとこの積分について話した結果,僕とkeitadayoさんで2つの解法が出ました.
その僕の解法は今後上級の解説にて出そうと思っています.

02πdxcosha+cosx=2πsinha (a>0)

これは区間を分けて ワイエルシュトラス置換 をすれば高校範囲で解けますが今回は別の方法で解きます.
今回使うのは 留数定理 による解法です.
自分語りになりますが留数定理を使い始めた頃,今回の問題のようなものの解説でこんな簡単に解けるのか!と驚かされました.
その解説というのが次のYoutubeの動画です.

動画のリンク

わかりやすく解説されているので留数定理初心者でもこの動画なら理解できると思います.
今回の問題を解く方法はこの動画の方法と同じです.

02πdxcosha+cosx=02π2dx2cosha+eix+eix=02π2eixdxe2ix+2coshaeix+1=2i|z|=1dzz2+2coshaz+1 (eixz)=2i|z|=1dz(z+ea)(z+ea)=4πResz=ea1(z+ea)(z+ea) (a>0)=4πlimzea1z+ea=2πsinha

こんなすんなりと解けてしまいました!
皆せーので言いましょう…

留数定理気持ち良すぎだろーー!!!

元ネタ

01xx5+x4+x3+x2+x+1dx=π123+14ln313ln2

これは高校範囲の変形でも解けるらしいです.(僕は部分分数分解で解けるだろうと思ってましたが実際は計算していませんでした)
その変形というのをまたまたhiroさんから引用させてもらいます

また,この問題は大学範囲の知識を使えばかなり簡単に解けるようになっています.

01xx5+x4+x3+x2+x+1dx=01(1x)x1x6dx=n001x6n+1x6n+2dx=16n01n+131n+12=ψ(12)ψ(13)6

最後のψは ディガンマ関数 というものです.
このディガンマ関数の級数表示を最後の式変形で用いました.
積分で良く出てくる特殊関数の1つなので興味がある方は色々調べてみる事をおすすめします.
この関数は色々な方が紹介しているのでグーグルで検索するだけでたくさんページが出てきて参考になります.
オススメは まめけび さんの記事です.
この方は他にもたくさん参考になる記事を書かれているのでまじでオススメです.

01lns11x1xdx=ζ(s)Γ(s) (Res>1)

これ実はめちゃくちゃ簡単なんですよね.
まずは解のそれぞれの関数を見てみましょう.
ゼータ関数
ζ(s):=n=11n (Res>1)
ガンマ関数
Γ(s):=0ts1etdt
ではこれらを踏まえて解説です.

01lns11x1xdx=0xs1dx1ex (1xex)=0xs1n=0e(n+1)xdx (11z=n=0zn (|z|<1))=n=10xs1nsexdx (nxx)=n=11ns·0xs1exdx=ζ(s)Γ(s)

なんと最後定義そのままの形が出てきました.
実はこの積分1番最初に変形させて出てきた積分がかなり有名でゼータ関数の積分表示と呼ばれています.

01x1x2ln1+zx1zxdx=π11z2z

これは初級にしてはかなり難しい問題です.
メインは級数展開ですね
対数関数の部分をマクローリン展開しベータ関数として計算することで級数を得られます.

01x1x2ln1+zx1zxdx=01x1x2n>0znxn((1)n1+1)n=n0z2n+12n+101x2n+21x2dx=π2n0z2n+1(12)n(n+1)!=π2zn00z2xn(12)nn!dx=π2z0z2(1x)1/2dx=π11z2z

途中で 一般化二項定理 を用いた
また ベータ関数 の計算も出ているので調べてみると良いと思います.

0sinxxeaxdx=arctan1a (a>0)

まずこの積分では次のような手法を使います.
f(a)f(b)=baf(t)dt
今回どのように使うかというと次の2パターンが考えられます.
f(a):=0sinxxeaxdx
f(a)f(0)=0sinxxeax0sinxxdx
f()f(a)=0sinxxeaxdx
⑴ではディリクレ積分が出てきてしまいますが⑵では今回の題意のみ与えられています.
なので簡単なために⑵で計算を勧めていきましょう.

0sinxxeaxdx=0asinxetxdtdx=a0sinxextdxdt=a1t2+1dt=arctanaπ/2dt (ttant)=π2arctana

この計算からわかるのは値からではなく式変形のみで
0sinxxdx=0dx1+x2
が示せた訳です.
値を介さずにこういった積分間の等式を示すのは僕的にはかなり面白いと思っています.
またこれは似たような一般化があり,それが次のようなものです.

0ekxsinx1+x2dx=0sinx1+(x+k)2dx

これは現積分botで出されている積分です( 元ツイ )
難易度は上級レベルなのでここには解法を載せません.
気になる方は自力で頑張ってみると良いかもしれませんね.

投稿日:202417
更新日:202417
OptHub AI Competition

この記事を高評価した人

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

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

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

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

投稿者

KBHM
KBHM
139
10919
怠惰

コメント

他の人のコメント

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