2

ある極限について

119
0

ある極限を解きたいよ~

Twitter(現X)で見かけた極限の問題を解きたい。
それがこちら。

limx+0(1log(x+1)1x)

もちろんロピタルの定理なんかを使えば、すぐに12だとわかる。
しかしなんとかしてロピタルの定理を用いずに上手く解きたいものである。
そこで私は次のように考えた。

ロピタルを使わないで。

f(x)f(log(x+1))=xlog(x+1)    ()
となる微分可能なfが存在すれば
1log(x+1)1x=1xlog(x+1)xlog(x+1)=1f(x)f(log(x+1))xlog(x+1)=1f(c)
を満たすようなc (log(x+1)<c<x)が存在する。(平均値の定理)
x+0のとき、c+0であるから
limx+0(1log(x+1)1x)=limc+01f(c)
を求めればよい。

では実際そんなfはあるのか、考えていこう。

fあるの?

fは微分可能であればよいのだが、簡単のためにC級であると仮定し、定義域はx0とでもしておこう。(log(x+1)と矛盾しない。)
定数項については、関数方程式()からどのような実数でもよいことがわかるので、0としてよいです。
ここでfに強い仮定をおいてマクローリン展開可能だとします。
このとき
f(x)=n=1anxn  (anR)
とおけて、()は以下のようになる。
n=1anxnn=1an(log(x+1))n=xlog(x+1)
ここで、0x1で(x+0を考えるので問題ない。)
log(1+x)=n=1(1)n1nxn=xx22+x33+
であったから
n=1anxnn=1an(xx22+x33+)n=n=1(1)n1nxn+1
である。さて、ここからanを求めたいので係数比較を行おう。

係数比較でanを求めたい。

右辺を見るとx2の項からしかないので、左辺のx1の項は0でなければならないが
a1a1=0
であり、矛盾ない。
答えからf(0)=2でなければいけないので、a1=2である。
xk+1 (k1)の係数は、右辺は
(1)k1k
とすぐわかるが、左辺は簡単にはわからない。
だから具体的なkで実験してみよう。

具体例

まず、x2の項は、( )の中の最低次数が1次であるから
an(xx22+x33+)n
の展開式の中ではn=1,2のときにしか現れない。
n=1のときには2次がそのままで12a1である。
n=2のときには1次の項と1次の項の積で現れてa2である。
よってx2の係数を比較して
a2(12a1+a2)=1
これよりa2=16とわかる。
次に、x3の項は
n=1,2,3のときに現れて、n=1のときは3次そのままで13a1
n=2のときには1次と2次の積で二つ現れて2(12)a2=a2
n=3のときには1次の三つの積で現れてa3である。
よってx3の係数を比較して
a3(13a1a2+a3)=12
これよりa3=1108とわかる。

一般には

以下繰り返していくと、xk+1の係数を比較して
ak+1{(1)kk+1a1++(k13+k1C24)ak1+(k2)ak+ak+1}=(1)k1k
とわかるのだが、このごまかしたの部分は具体的にどうなっているか考えていこう。
つまり
P(x)=(xx22+x33+)n
のすべてのnに対するxk+1の項の係数pn,k+1を考える。
P(x)n次以上の式であるから、n>k+1のときはpn,k+1=0である。
nk+1のとき、k+1個のx(つまりxk+1)をn個の( )のどこから何個持ってくるかを考えることになる。
これを少し観察してみると、区別のないk+1個の玉を区別のあるn箱に分ける(空箱なし)ことと同値だとわかる。
そのn箱の玉の個数の内訳を(l1,l2,,ln)  (liZ>0)とすると
pn,k+1=li=k+1i=1n(1)li1li
であることがわかる!
以上よりxk+1の係数を比較して
ak+1n=1k+1pn,k+1an=(1)k1k
ak+1n=1kpn,k+1anak+1=(1)k1k
n=1kpn,k+1an=(1)kk
よってk2のとき
pk,k+1ak+n=1k1pn,k+1an=(1)kk
k2ak+n=1k1(li=k+1i=1n(1)li1li)an=(1)kk
ak=2k{n=1k1(li=k+1i=1n(1)li1li)an(1)kk}
以上より
a1=2,an=2n{m=1n1(li=n+1i=1m(1)li1li)am(1)nn} (n2)
と求まるよ。

fはあった。

さて、これで
f(x)=n=1anxn()
が示せた。当然このfは微分可能であるから十分である。
limx+0(1log(x+1)1x)=limc+01f(c)=1f(0)=1a1=12
というわけで Done!

投稿日:2024116
OptHub AI Competition

この記事を高評価した人

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

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

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

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

投稿者

nはあなたの好きな正の整数|Hokkaido.Univ(Math B1)

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中
  1. ある極限を解きたいよ~
  2. ロピタルを使わないで。
  3. fあるの?
  4. 係数比較でanを求めたい。
  5. fはあった。