4
大学数学基礎解説
文献あり

解を知らなくても無限積表示できる!?ランベルト級数でゴリ押し

194
0

今回の方法を使えば、いい感じの関数なら、解を知らなくても無限積表示を得ることができる?!
因数分解ではないことに注意。
実用性は、で、どうしよう。くらい

準備

ランベルト級数

μ(n)をメビウス関数とする

An=d|nμ(nd)ad のとき、

k=1akxk=k=1Akxk1xk

メビウス関数、反転公式については、他人ですが
こちらのサイト [1]参考。

右辺を変形してく。
k=1Akxk1xk
等比級数なので
=k=1Akj=1xjk

これを展開すると

=A1(x+x2+x3+x4+x5+x6)A2(+x2+x4+x6+)A3(+x3+x6+)

xnの係数は、nの約数が添字のAの和に等しくなる。

つまり
an=d|nAd

メビウス反転公式より

An=d|nμ(nd)ad

本題

簡単な式変形で無限積が現れる。  

f(x)=k=1akxk
であるとする。(定数項が0の関数)

ランベルト級数にすると

f(x)=k=1Akxk1xk

xで割る

f(x)x=k=1Akxk11xk

0からxまで積分
しれっと項別積分
左辺、発散しそうな気がするけどf(x)は定数項が0だったので可積分。

0xf(t)tdt=k=1Akklog(1xk)

係数をlogの中にいれる

0xf(t)tdt=k=1log((1xk)Akk)

logの和は、積のlogなので

0xf(t)tdt=logk=1(1xk)Akk

きたー。
よって、関数g(x)の無限積表示が欲しいなら、
g(x)=exp(0xf(t)tdt)
となるf(x)の、テイラー展開ができればいい。
それはつまりf(x)=xg(x)g(x)
g(x)x=0で正則であればf(x)は定数項が0となる。

また、対数微分の性質から、定数倍が消えるので、g(0)=1である事が必要
↑説明になってるか、?

   

結論

結局、まとめると

f(x)f(0)=1
x=0

an=1n!dndxn|x=0xf(x)f(x)

An=d|nμ(nd)ad

 

f(x)=k=0(1xk)Akk

ただし、因数分解ではないので、収束する範囲は限られる。
多分、|x|<1に解も極も無ければ範囲は|x|<1、あればそこまで。但しこれは予想。

これによる無限積を紹介。
指数関数、五角数定理のやつ。

指数関数の無限積表示って、案外珍しい?

ex

f(x)=exとすると、f(0)=1で、これは正則関数。

xf(x)f(x)=xより、

an={1(n=1)0(otherwise)

よって
An=μ(n)

という事で

ex=k=1(1xk)μ(k)k

ほんまかいな って感じだが、グラフを見ると

薄い赤がex
青が無限積をk=10で止めたもの

うおお。
収束もはやそう。

約数関数の母関数

約数関数
σ(n)=d|nd
の母関数
G(x)=k=1σ(k)xk
に対し、

f(x)=exp(0xG(t)tdt)
とした関数

つまりan=σ(n)となる。
メビウス反転公式から、
An=n

よって

f(x)=k=111xk

これと、オイラーの五角数定理を使えば、約数関数の漸化式が得られる。

おわりに

自分で思いついて、書いただけなので、本題については参考文献ありません
最初の項別積分とか、収束半径(そもそも半径かも分からん)とか、詳しくしてないとこがあるので、もっと条件がある気がしなくもない。

間違い等あれば指摘ください

参考文献

投稿日:20241114
OptHub AI Competition

この記事を高評価した人

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

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

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

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

投稿者

kanalysis
kanalysis
20
1054
数学者でもなければ大学生でも無い一般人

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中
  1. 準備
  2. 本題
  3. 結論
  4. ex
  5. 約数関数の母関数
  6. おわりに
  7. 参考文献