Fussy's Diary

さっきから大雨降ってます。明日も雨の予報でしたっけ？

ウェーブレット変換はかなり奥が深く、本格的に勉強しようとすると大変です。以前まとめたドキュメントはいろいろと変な箇所があって、まずはそれだけでも修正しようと思っていますが、さらに新しい内容を追加しようとするとまだ理解度が不足しているのでかなり時間が掛かりそうです。実はもう一つ、統計の分野の PLS をまとめてみようとも思っていて、どちらを優先するか悩んでます。まず、いまのところはウェーブレット変換の方を優先しています。

昔拾った問題をまた解いてみましたが、今回はテーラー展開を使っています。高校の時は確か習わないのでこれはアウトかな？
例によって合っている保証なしです。

-----

1) 実数 x が -1 < x < 1, x ≠ 0 を満たすとき、( 1 - x )^1-1/x < ( 1 + x )^1/x を示せ。
2) 次の不等式 0.9999¹⁰¹ < 0.99 < 0.9999¹⁰⁰ を示せ ( 09 東大理系 5 )

1)

log( 1 + x )^1/x = ( 1 / x )log( 1 + x ) より、f(x) = log( 1 + x ) をテーラー展開すると、

f⁽¹⁾(x) = ( 1 + x )^-1
f⁽²⁾(x) = -( 1 + x )^-2
f⁽³⁾(x) = 2( 1 + x )^-3
:
f^(k)(x) = ( -1 )^k-1( k - 1 )!( 1 + x )^-k

より、

f(x)
= f(0) + Σ_k{1→∞}( ( 1 / k! )f^(k)(0)x^k )
= Σ_k{1→∞}( ( 1 / k! )( -1 )^k-1( k - 1 )!x^k )
= Σ_k{1→∞}( ( -1 )^k-1x^k / k )

なので

log( 1 + x )^1/x = Σ_k{1→∞}( ( -1 )^k-1x^k-1 / k )

となります。また、log( 1 - x )^1-1/x = ( 1 - 1 / x )log( 1 - x ) も、g(x) = log( 1 - x ) をテーラー展開すれば ( 先の式に対して x を -x に代えるだけなので )

g(x) = Σ_k{1→∞}( -x^k / k )

より

( 1 - 1 / x )log( 1 - x )
= [ ( x - 1 ) / x ]Σ_k{1→∞}( -x^k / k )
= ( 1 - x )Σ_k{1→∞}( x^k-1 / k )

となります。両者を引き算すると

log( 1 + x )^1/x - log( 1 - x )^1-1/x
= Σ_k{1→∞}( ( -1 )^k-1x^k-1 / k ) - ( 1 - x )Σ_k{1→∞}( x^k-1 / k )
= Σ_k{1→∞}( [ ( -1 )^k-1x^k-1 / k - x^k-1 / k ] + x^k / k )
= Σ_k{1→∞}( [ ( -1 )^k-1 - 1 ]x^k-1 / k + x^k / k )
= Σ_k{1→∞}( -2x^2k-1 / 2k + x^2k-1 / ( 2k - 1 ) + x^2k / 2k )
= Σ_k{1→∞}( x^2k / 2k - [ ( k - 1 ) / k( 2k - 1 ) ] }x^2k-1 )
= Σ_k{1→∞}( x^2k / 2k - [ k / ( k + 1 )( 2k + 1 ) ] }x^2k+1 )
= Σ_k{1→∞}( { 1 / 2k - [ kx / ( k + 1 )( 2k + 1 ) ] }x^2k )

-1 < x < 0 のとき、kx / ( k + 1 )( 2k + 1 ) < 0 かつ x^2k > 0 なので (右辺) > 0 になります。
0 < x < 1 のとき、(右辺) > Σ_k{1→∞}( 1 / 2k - [ k / ( k + 1 )( 2k + 1 ) ] ) で、

1 / 2k - [ k / ( k + 1 )( 2k + 1 ) ]
= [ ( k + 1 )( 2k + 1 ) - 2k² ] / 2k( k + 1 )( 2k + 1 )
= ( 3k + 1 ) / 2k( k + 1 )( 2k + 1 ) > 0 なので、

0 < x < 1 かつ x ≠ 0 ならば命題が成り立つことが証明されました。

2)

0.9999¹⁰¹ = ( 0.99・1.01 )¹⁰¹ = 0.99¹⁰¹・1.01¹⁰¹ より

1.01¹⁰¹
= [ 1 - ( -0.01 ) ]^1-1/(-0.01)
< [ 1 + ( -0.01 ) ]^-1/0.01
= 0.99^-100

よって 0.9999¹⁰¹ < 0.99¹⁰¹・0.99^-100 = 0.99 となります。

また、0.9999¹⁰⁰ = ( 0.99・1.01 )¹⁰⁰ = 0.99¹⁰⁰・1.01¹⁰⁰ より

1.01¹⁰⁰
= ( 1 + 0.01 )^1/0.01
> ( 1 - 0.01 )^1-1/0.01
= 0.99^-99

よって 0.9999¹⁰⁰ > 0.99¹⁰⁰・0.99^-99 = 0.99 となります。

以上から、命題が成り立つことが証明されました。