自作定積分

279

以下の定積分を求めよ．
$\int_{0}^{π / 2} \frac{d x}{4 + \cos x (\cos x + 4 \cos 9 x)}$

自作の定積分の問題ですが，もっと簡単な解法が思いついた場合 or　もっと被積分関数がシンプルな定積分で，同じような方針で解くことが出来る問題が作成できたら是非教えてください。

解答を表示

\cos

の分数式の積分なので，複素積分に帰着出来ないかと考えます．
しかし，積分区間が

[0, π / 2]

なので，このままオイラーの公式を用いても周回積分になりません．そこでまずはこの区間を

[0, 2 π]

にするように工夫します．

\begin{aligned} I & := \int_{0}^{π / 2} \frac{d x}{4 + \cos x (\cos x + 4 \cos 9 x)} \\ = \int_{0}^{π / 2} \frac{d x}{\cos^{2} x + 4 \cos 9 x \cos x + 4} \end{aligned}

とおく．

x = π - y

と置換すると，

\begin{aligned} I & = - \int_{π}^{π / 2} \frac{d y}{\cos^{2} (π - y) + 4 \cos (9 π - 9 y) \cos (π - y) + 4} \\ = \int_{π / 2}^{π} \frac{d y}{\cos^{2} y + 4 \cos 9 y \cos y + 4} \end{aligned}

より，

2 I = \int_{0}^{π} \frac{d x}{\cos^{2} x + 4 \cos 9 x \cos x + 4} .

また，倍角の公式 & 和積の公式から，

\begin{aligned} \int_{0}^{π} \frac{d x}{\cos^{2} x + 4 \cos 9 x \cos x + 4} = \int_{0}^{π} \frac{2 d x}{\cos 2 x + 4 \cos 10 x + 4 \cos 8 x + 9} . \end{aligned}

2 x = t

と置換すると，

\begin{aligned} \int_{0}^{π} \frac{2 d x}{\cos 2 x + 4 \cos 10 x + 4 \cos 8 x + 9} & = \int_{0}^{2 π} \frac{d t}{\cos t + 4 \cos 5 t + 4 \cos 4 t + 9} . \end{aligned}

これで積分区間が

[0, 2 π]

になったので，複素周回積分に帰着出来ます．オイラーの公式から，

\begin{aligned} \int_{0}^{2 π} \frac{d t}{\cos t + 4 \cos 5 t + 4 \cos 4 t + 9} \\ = \int_{0}^{2 π} \frac{d t}{\frac{e^{i t} + e^{- i t}}{2} + 4 (\frac{e^{5 i t} + e^{- 5 i t}}{2}) + 4 (\frac{e^{4 i t} + e^{- 4 i t}}{2}) + 9} \\ = \int_{0}^{2 π} \frac{2 e^{5 i t}}{4 e^{10 i t} + 4 e^{9 i t} + e^{6 i t} + 18 e^{5 i t} + e^{4 i t} + 4 e^{i t} + 4} d t . \end{aligned}

z = e^{i t}

とおくと，

\begin{aligned} \int_{0}^{2 π} \frac{2 e^{5 i t}}{4 e^{10 i t} + 4 e^{9 i t} + e^{6 i t} + 18 e^{5 i t} + e^{4 i t} + 4 e^{i t} + 4} d t \\ = - i \int_{| z | = 1} \frac{2 z^{4}}{4 z^{10} + 4 z^{9} + z^{6} + 18 z^{5} + z^{4} + 4 z + 4} d z \\ = - i \int_{| z | = 1} \frac{2 z^{4}}{(4 z^{5} + z + 1) (z^{5} + z^{4} + 4)} d z \end{aligned}

このように複素周回積分に帰着できましたが，

4 z^{5} + z + 1

z^{5} + z^{4} + 4

の根は代数的には求められません．そのため，根を具体的には求めず，ルーシェの定理や根と係数の関係を用いて解くことを目指します．

| z | = 1

とすると，

| z + 1 | \leq | z | + 1 = 2 < 4 = | 4 z^{5} |

から，ルーシェの定理より，

4 z^{5} + z + 1 = 0

の解は

{z \in C ∣ | z | < 1}

内に全て存在するが，

z^{5} + z^{4} + 4 = 0

の解，すなわち

4 (z^{- 1})^{5} + z^{- 1} + 1 = 0

の解は

{z \in C ∣ | z | < 1}

内には存在しない．また，

f (z) := 4 z^{5} + z + 1

とおくと，

f^{'} (z) = 20 z^{4} + 1

であり，

f

の判別式

Δ

は，

f

と

f^{'}

からなるシルヴェスター行列の行列式で記述できるため，

Δ = \frac{1}{4} | \begin{matrix} 4 & 0 & 0 & 0 & 1 & 1 & 0 & 0 & 0 \\ 0 & 4 & 0 & 0 & 0 & 1 & 1 & 0 & 0 \\ 0 & 0 & 4 & 0 & 0 & 0 & 1 & 1 & 0 \\ 0 & 0 & 0 & 4 & 0 & 0 & 0 & 1 & 1 \\ 20 & 0 & 0 & 0 & 1 & 0 & 0 & 0 & 0 \\ 0 & 20 & 0 & 0 & 0 & 1 & 0 & 0 & 0 \\ 0 & 0 & 20 & 0 & 0 & 0 & 1 & 0 & 0 \\ 0 & 0 & 0 & 20 & 0 & 0 & 0 & 1 & 0 \\ 0 & 0 & 0 & 0 & 20 & 0 & 0 & 0 & 1 \end{matrix} | = 816384 > 0

となる．したがって

4 z^{5} + z + 1

の根は全て異なる．よって，

4 z^{5} + z + 1

の根を

α_{1}, α_{2}, . . ., α_{5}

とすると，留数定理から，

\begin{aligned} - i \int_{| z | = 1} \frac{2 z^{4}}{(4 z^{5} + z + 1) (z^{5} + z^{4} + 4)} d z \\ = - i \cdot 2 π i \sum_{k = 1}^{5} lim_{z \to α_{k}} {(z - α_{k}) \frac{2 z^{4}}{(4 z^{5} + z + 1) (z^{5} + z^{4} + 4)}} \\ = 4 π \sum_{k = 1}^{5} \frac{α_{k}^{4}}{f^{'} (α_{k}) (α_{k}^{5} + α_{k}^{4} + 4)} \\ = 4 π \sum_{k = 1}^{5} \frac{α_{k}^{4}}{(20 α_{k}^{4} + 1) (α_{k}^{5} + α_{k}^{4} + 4)} . \end{aligned}

ここで，

α

を

4 x^{5} + x^{4} + 1

の根の一つとする．

4 α^{5} + α + 1 = 0

より，

α^{5} = - \frac{1}{4} (α + 1) .

よって，

\begin{aligned} \frac{α^{4}}{(20 α^{4} + 1) (α^{5} + α^{4} + 4)} \\ = \frac{α^{4}}{(20 α^{4} + 1) (- \frac{α + 1}{4} + α^{4} + 4)} \\ = \frac{4 α^{5}}{(20 α^{5} + α) (4 α^{4} - α + 15)} \\ = \frac{- (α + 1)}{(- 5 (α + 1) + α) (4 α^{4} - α + 15)} \\ = \frac{α + 1}{(4 α + 5) (4 α^{4} - α + 15)} . \end{aligned}

また，

4 α^{4} = - 1 - \frac{1}{α}

より，

\begin{aligned} \frac{α + 1}{(4 α + 5) (4 α^{4} - α + 15)} \\ = \frac{α + 1}{(4 α + 5) ((- 1 - 1 / α) - α + 15)} \\ = - \frac{α (α + 1)}{(4 α + 5) (α^{2} - 14 α + 1)} \\ = - \frac{79 α - 1}{321 (α^{2} - 14 α + 1)} - \frac{5}{321 (4 α + 5)} \\ = \frac{138 - 79 \sqrt{3}}{642 \sqrt{3} (α + 4 \sqrt{3} - 7)} - \frac{138 + 79 \sqrt{3}}{642 \sqrt{3} (α - 4 \sqrt{3} - 7)} - \frac{5}{321 (4 α + 5)} . \end{aligned}

ここで，

s_{j} (j = 1, 2, . . ., 5)

を，

α_{1}, α_{2}, . . ., α_{5}

の

j

次基本対称式とすると，根と係数の関係から，

s_{1} = 0

s_{2} = 0

s_{3} = 0

s_{4} = 1 / 4

s_{5} = - 1 / 4

より，

a, b \in R

に対して，

\begin{aligned} \sum_{1 \leq k_{1} < k_{2} < k_{3} < k_{4} \leq 5} \prod_{j = 1}^{4} (a α_{k_{j}} + b) = a^{4} s_{4} + a^{3} b s_{3} + a^{2} b^{2} s_{2} + a b^{3} s_{1} + 5 b^{4} \\ = \frac{1}{4} a^{4} + 5 b^{4}, \end{aligned}

\begin{aligned} \prod_{j = 1}^{5} (a α_{k_{j}} + b) = a^{5} s_{5} + a^{4} b s_{4} + a^{3} b^{2} s_{3} + a^{2} b^{3} s_{2} + a b^{4} s_{1} + b^{5} \\ = - \frac{1}{4} a^{5} + \frac{1}{4} a^{4} b + b^{5} \end{aligned}

となる．よって，

a b \neq 0

ならば，

\sum_{k = 1}^{5} \frac{1}{a α_{k} + b} = \frac{a^{4} + 20 b^{4}}{- a^{5} + a^{4} b + 4 b^{5}}

より，

\begin{aligned} \sum_{k = 1}^{5} {\frac{138 - 79 \sqrt{3}}{642 \sqrt{3} (α_{k} + 4 \sqrt{3} - 7)} - \frac{138 + 79 \sqrt{3}}{642 \sqrt{3} (α_{k} - 4 \sqrt{3} - 7)} - \frac{5}{321 (4 α_{k} + 5)}} \\ = - \frac{138 - 79 \sqrt{3}}{642 \sqrt{3}} \frac{7 (113 + 29 \sqrt{3})}{1224} + \frac{138 + 79 \sqrt{3}}{642 \sqrt{3}} \frac{7 (113 - 29 \sqrt{3})}{1224} - \frac{5}{321} \\ = \frac{265}{3672} . \end{aligned}

よって，

I = 2 π \cdot \frac{265}{3672} = \frac{265}{1836} π .

投稿日：2023年8月4日

この記事を高評価した人

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

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

バッジはありません。

バッチを贈って投稿者を応援しよう

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

投稿者

Mathお

6209

他の人のコメント

コメントはありません。

読み込み中

Mathお

自作定積分