数学の世界において、対数関数のマクローリン展開は非常に重要なテーマです。特に、log(1+x)/(1-x)という形の関数は、さまざまな数学的応用において頻繁に登場します。
この関数のマクローリン展開を理解することで、複雑な計算を簡潔に行えるようになるでしょう。テイラー展開や級数展開の理論を活用すれば、対数関数を無限級数として表現できるのです。
本記事では、log(1+x)/(1-x)のマクローリン展開について、公式の導出から収束範囲まで詳しく解説していきます。初学者の方にも分かりやすく、具体例を交えながら説明しますので、ぜひ最後までお読みください。
log(1+x)/(1-x)のマクローリン展開の結論
それではまず、log(1+x)/(1-x)のマクローリン展開の結論について解説していきます。
この関数のマクローリン展開は、以下の美しい公式で表されます。
log(1+x)/(1-x) = 2(x + x³/3 + x⁵/5 + x⁷/7 + …)
= 2Σ(n=0→∞) x^(2n+1)/(2n+1)
収束範囲：|x| < 1
この公式が示すように、奇数次の項のみが現れるという特徴があります。偶数次の項は全て0になるため、非常にシンプルな形になっているのです。
公式の特徴と性質
この展開式には、いくつかの注目すべき特徴があります。まず、係数が2/(2n+1)という形になっており、分母が奇数のみであることが分かるでしょう。
また、各項の係数が逆数関係になっているため、計算が比較的容易です。この性質は、数値計算や近似計算において大きな利点となります。
さらに、この級数は|x| < 1の範囲で絶対収束することが保証されています。収束半径が1であることは、後ほど詳しく証明していきましょう。
マクローリン展開とテイラー展開の関係
マクローリン展開は、テイラー展開の特別な場合に相当します。テイラー展開が任意の点aの周りでの展開であるのに対し、マクローリン展開はa=0の場合を指すのです。
一般的なテイラー展開の公式は次のように表されます。
f(x) = f(a) + f'(a)(x-a) + f”(a)(x-a)²/2! + f”'(a)(x-a)³/3! + …
この式でa=0とすれば、マクローリン展開の式が得られるわけです。log(1+x)/(1-x)の場合、x=0の周りで展開することで、先ほどの公式が導かれます。
収束範囲の重要性
級数展開において、収束範囲を正しく理解することは極めて重要です。この範囲外では級数が発散してしまい、関数の値を正しく表現できません。
log(1+x)/(1-x)の場合、|x| < 1という条件が必要になります。これは、元の関数が(1+x)と(1-x)を含んでおり、それぞれの対数関数の収束条件から導かれるものです。
x=1やx=-1では関数自体が定義できないため、当然ながら級数展開も不可能となります。実用上は、|x| < 0.5程度の範囲で使用すると、より速やかに収束するでしょう。
log(1+x)/(1-x)のマクローリン展開の導出過程
続いては、実際の導出過程を確認していきます。
導出には複数のアプローチがありますが、ここでは最も理解しやすい方法を採用しましょう。対数の性質を活用して、既知の展開式から目的の公式を導いていきます。
対数の性質を利用した変形
まず、対数の基本性質を思い出してください。log(A/B) = log A – log Bという関係が成り立ちます。
これを利用すると、次のように変形できるのです。
log(1+x)/(1-x) = log(1+x) – log(1-x)
この変形により、問題が2つの基本的な対数関数のマクローリン展開に帰着されました。それぞれの展開式は、数学の標準的な公式として知られています。
log(1+x)とlog(1-x)の展開式
log(1+x)のマクローリン展開は、以下の公式で与えられます。
log(1+x) = x – x²/2 + x³/3 – x⁴/4 + x⁵/5 – …
= Σ(n=1→∞) (-1)^(n+1) xⁿ/n （|x| < 1）
一方、log(1-x)の展開式は次のようになるでしょう。
log(1-x) = -x – x²/2 – x³/3 – x⁴/4 – x⁵/5 – …
= -Σ(n=1→∞) xⁿ/n （|x| < 1）
これらの公式を覚えておくと、様々な対数関数の展開に応用できます。符号のパターンに注目すると、log(1+x)は交代級数、log(1-x)は全て負の項からなることが分かるはずです。
差を取って最終形を導出
それでは、2つの展開式の差を計算してみましょう。
log(1+x) – log(1-x)
= [x – x²/2 + x³/3 – x⁴/4 + x⁵/5 – …] – [-x – x²/2 – x³/3 – x⁴/4 – x⁵/5 – …]
= x – x²/2 + x³/3 – x⁴/4 + x⁵/5 + x + x²/2 + x³/3 + x⁴/4 + x⁵/5 + …
= 2x + 2x³/3 + 2x⁵/5 + 2x⁷/7 + …
= 2(x + x³/3 + x⁵/5 + x⁷/7 + …)
計算の過程で、偶数次の項(x²、x⁴など)が全てキャンセルされることに注目してください。これが、最終的に奇数次の項のみが残る理由なのです。
こうして、目的のマクローリン展開式が導かれました。導出過程を理解することで、なぜこのような形になるのかが明確になったでしょう。
収束半径と収束条件の詳細
続いては、収束半径と収束条件について確認していきます。
級数が意味を持つためには、収束性の議論が不可欠です。どのような範囲で級数が収束し、関数の値を正しく表現できるのかを見ていきましょう。
ダランベールの判定法による収束半径の計算
収束半径を求める標準的な方法として、ダランベールの判定法（比判定法）があります。この方法では、連続する項の比の極限を計算するのです。
級数Σaₙに対して、収束半径Rは次の式で与えられます。
1/R = lim(n→∞) |aₙ₊₁/aₙ|
今回の場合、aₙ = 2x^(2n+1)/(2n+1)ですから、計算してみましょう。
|aₙ₊₁/aₙ| = |2x^(2n+3)/(2n+3) × (2n+1)/(2x^(2n+1))|
= |x²| × |(2n+1)/(2n+3)|
→ |x²| × 1 = x² （n→∞）
したがって、級数が収束する条件はx² < 1、すなわち|x| < 1となります。これが収束半径R=1の根拠です。
境界点での挙動
収束半径の境界、つまりx=±1での挙動も興味深いテーマでしょう。これらの点では、級数の収束性が変わる可能性があるのです。
x=1の場合を考えてみましょう。
級数は 2(1 + 1/3 + 1/5 + 1/7 + …) となる
これは調和級数に類似しており、発散します
一方、元の関数log(1+x)/(1-x)はx=1で分母が0になるため、そもそも定義されません。級数が発散することと整合しています。
x=-1の場合も同様に、関数が定義できず、級数も収束しないのです。境界点では級数展開が使えないことを覚えておきましょう。
実用的な収束速度
理論的な収束範囲とは別に、実用上どの程度のxの値で使用すべきかも重要な問題です。級数の収束速度は|x|の大きさに大きく依存します。
以下の表に、xの値と必要な項数の目安を示します。
| xの値 | 精度（有効桁数） | 必要な項数の目安 |
|---|---|---|
| 0.1 | 6桁 | 3～4項 |
| 0.3 | 6桁 | 7～8項 |
| 0.5 | 6桁 | 12～15項 |
| 0.7 | 6桁 | 25～30項 |
| 0.9 | 6桁 | 100項以上 |
この表から分かるように、|x|が1に近づくほど、収束が遅くなります。実用的には、|x| < 0.5程度で使用するのが効率的でしょう。
具体例による計算と応用
続いては、具体的な数値を用いた計算例を確認していきます。
理論を実際の計算に適用することで、マクローリン展開の有用性がより明確になるはずです。いくつかの代表的な例を見ていきましょう。
x=0.2の場合の計算例
まず、x=0.2の場合を計算してみます。この値は収束範囲内にあり、比較的少ない項数で良い近似が得られるでしょう。
log(1+0.2)/(1-0.2) = log(1.2/0.8) = log(1.5)
マクローリン展開による近似：
第1項：2 × 0.2 = 0.4
第2項：2 × (0.2)³/3 = 2 × 0.008/3 ≈ 0.00533
第3項：2 × (0.2)⁵/5 = 2 × 0.00032/5 ≈ 0.000128
第4項：2 × (0.2)⁷/7 ≈ 0.00000366
合計：約0.40546
実際のlog(1.5) ≈ 0.40547（電卓による値）
わずか4項で小数第5位まで一致
することが確認できました。これは、マクローリン展開が非常に効率的な近似方法であることを示しています。
部分和による誤差評価
級数の部分和を用いた近似では、誤差がどの程度になるかを評価することが重要です。交代級数の場合と異なり、今回は全て正の項なので、評価方法が異なります。
一般に、n項までの部分和Sₙと真の値Sの誤差は、次の項の大きさで評価できるのです。
|S – Sₙ| ≤ 次の項の値 = 2x^(2n+3)/(2n+3)
例えば、x=0.2で3項まで使った場合、誤差は第4項以降の和で評価されます。第4項が約0.00000366ですから、誤差は10⁻⁵オーダー以下となることが分かるでしょう。
応用：逆双曲線正接関数との関係
実は、log(1+x)/(1-x)という関数は、逆双曲線正接関数と密接に関係しています。双曲線関数の理論において、次の関係式が成り立つのです。
artanh(x) = (1/2)log(1+x)/(1-x)
したがって：log(1+x)/(1-x) = 2artanh(x)
この関係を用いると、逆双曲線正接関数のマクローリン展開も即座に得られます。
artanh(x) = x + x³/3 + x⁵/5 + x⁷/7 + …
= Σ(n=0→∞) x^(2n+1)/(2n+1) （|x| < 1）
この公式は、双曲線関数の計算や、特殊関数の理論において重要な役割を果たします。また、物理学や工学の様々な分野でも応用されているのです。
まとめ
log(1+x)/(1-x)のマクローリン展開について、公式から導出、収束条件、具体例まで詳しく解説してきました。
この関数の展開式は、2(x + x³/3 + x⁵/5 + x⁷/7 + …)という美しい形で表され、奇数次の項のみが現れる特徴があります。導出には対数の性質を活用し、log(1+x)とlog(1-x)の差を取ることで得られるのです。
収束範囲は|x| < 1であり、この範囲内で級数は元の関数の値を正しく表現します。実用的には|x| < 0.5程度で使用すると、少ない項数で高精度な近似が得られるでしょう。
また、この展開式は逆双曲線正接関数artanh(x)と密接に関係しており、数学の様々な分野で応用されています。マクローリン展開の理論を理解することで、複雑な関数の計算や解析がより容易になるはずです。
テイラー展開や級数展開は、高等数学の基礎となる重要な概念です。本記事で学んだ知識を、さらなる数学の学習に役立てていただければ幸いです。
