填充第八題
求\(\displaystyle \int_{-1}^1 \frac{x^2}{1+2^x}dx=\) 。
[解答]
一開始以為是Integral by parts,照以下方法算:
\[ \int_{-1}^{1} \frac{x^2}{1+2^x} dx= \int_{-1}^{1} \frac{(1+2^x)x^2-2^x x^2}{1+2^x} dx =\int^1_{-1} x^2 dx -\frac{1}{ln2} \int^{1}_{-1} \frac{2^x ln2}{1+2^x} x^2 dx =\frac{2}{3}-\frac{1}{ln2}(x^2 ln(1+2^x) |^1_{-1} - 2\int^{1}_{-1} xln(1+2^x) dx)... \]
然後就不知道怎麼處理了,那麼來問問Wolfram alpha \( \frac{x^2}{1+2^x} \)的反導函數是甚麼。
\[ \int \frac{x^2}{1+2^x} dx =\frac{2Li_3(-2^{-x})}{ln^3 2} +\frac{2xLi_2(-2^{-x})}{ln^2 2}-\frac{x^2log(2^{-x}+1)}{ln2} +C \]
其中\( Li_n(x) \)是polylogarithm function,這是甚麼函數啊...?
那麼改採其他辦法,因為有些極限的問題會用到Taylor expansion,不然也來試試好了。
由\( e^x= 1 + x + \frac{x^2}{2!} + \frac{x^3}{3!} + \frac{x^4}{4!} + ...\),以及\( 2^x=e^{x ln2}\),可得\( 1+2^x=2 + (ln2) x + \frac{ln^2 2}{2!} x^2 + \frac{ln^3 2}{3!} x^3 +... \)
再由長除法得 \( x^2 \div (1+2^x) =\frac{1}{2} x^2 -\frac{ln2}{4} x^3 +\frac{ln^3 2}{48} x^5 -...後面都是x的奇數次 \)。故
\[ \int_{-1}^{1} \frac{x^2}{1+2^x} dx= \int^{1}_{-1} (\frac{1}{2} x^2 -\frac{ln2}{4} x^3 +\frac{ln^3 2}{48} x^5 -...) dx = \int^{1}_{-1} \frac{1}{2} x^2 dx=\frac{1}{3} \]
上式的後面用到了奇函數的性質。
沒想到可以用泰勒展開式,但如果在考試當下,分部積分卡關大概就會放棄了。
還有沒有其他神奇的做法呢?