ランベルトの関数
定義
ランベルトの関数は関数の逆関数のことです. 次のように定義します.
ランベルトのW関数
関数の逆関数を
と定める. このとき, を主枝, を分枝と言う.
関数のグラフは以下のようになります.
ランベルトのW関数
の級数展開
英語版WikipediaのLagrange inversion theorem(ラグランジュの反転公式)を参考に級数展開を求めていきます.
とすると, である.
を得る. ダランベールの収束判定法を用いると
よって, 収束半径はです.
また, Wolfram Mathematicaでのときを調べると級数は収束したので, で級数は収束します.
ランベルトの関数の積分
の積分をの積分で表す
とはで線対称であることを示す.
のときより, をに代入して
はの逆関数となっているから, で線対称である.
よって, 次の等式を得られる.
これを求める積分に代入して
となる.
級数展開で積分を級数にする
の中心のテイラー展開は
であり, のとき, なので
積分と無限和の入れ替えのために, 有界であることを示したい.
優関数を
と定めると, 任意のに対して
となる.
これより, ルベーグの収束定理が使えて, 総和と積分を入れ換えると
となる.
残りの積分部分を計算する.
とおくと, より
を得る.
よって, 求めた積分値から無限和を整理すると
となる.
また, この積分より
を得る.
の無限テトレーションを関数で考える
の概形の比較
の概形
はランベルトの関数を用いて, について解ける.
ランベルトの関数を取ると
関数は2価の関数なので, それぞれの場合でグラフを考えると, 次のようになります.
の概形
はについては解けないが, については解けるので, 逆関数を求めることでどんな関数で構成されるのか考えます.
ランベルトの関数を取ると
赤と青の曲線が交わる共有点はです.
テトレーション関連の定理
証明は前セクションから関数を使った表示を得ているので, そこを参照してください. Wikipediaには代入するが複素数の場合でも収束するものを選べば, この値に収束することが書かれていますが, 収束する条件が書いてませんでした. らへんが妥当かな?
定理1のきれいな値になるバージョンです.
とかが有名なんじゃないですかね.
とすると,
前述より, はの逆関数となっている.
とおくと, が収束する範囲にとなるを一つ取れる.
おわりに
W関数の積分はと置換したり, 級数展開したりすれば, 上手くいくことが多いです. テトレーションをW関数で表したものを積分とかしたいのですが, 飽きてしまったので少ないですがこれで終わりにします.
書くことがなくなって題材を探すようになれば追加するかも......