1

倍数を渡るときのメビウスの反転公式

178
0

はじめに

こんにちは.なんとなく数式をいじくっていたら,まあまあ面白い事実が得られたので紹介します.

メビウス反転公式亜種

N0を含まない自然数全体の集合とします.

有限性

f:NC有限であるとは以下をみたすことをいう:
NN,nN,nNf(n)=0.

倍数版の畳み込み

 f,g:NCgは有限であるとする.fg:NCを次で定める:
(fg)(n):=nmf(mn)g(m).

有限性の保存

f,g:NCgは有限であるとする.このとき,fgは有限である.

nN,nNg(n)=0をみたすNNをとる.xNであるとき,
(fg)(x)=xmf(mx)g(m)=0.

ディリクレの畳み込み

f,g:NCfg:NCを次で定める:
(fg)(n)=dnf(nd)g(d).

二つの畳み込みの関係式

f,g,h:NChは有限であるとする.このとき,以下が成り立つ:
f(gh)=(fg)h.

(f(gh))(n)=nmf(mn)(gh)(m)=nmf(mn)mlg(lm)h(l)=nlh(l)nmlf(mn)g(lm)=nlh(l)ml/nf(m)g(lnm)=nlh(l)(fg)(ln)=((fg)h)(n).

具体例を与えます.ここで使う関数たちを定義していきます.

  • δ(x)={1(x=1)0(x2)
  • 1(x)=1
  • μをメビウス関数とする.
倍数版のメビウス反転公式

f,g:NCは有限であるとする.次の二つは同値である.

  • f=1g
  • g=μf.

(1つ目の式) (2つ目の式) :
μf=μ(1g)=(μ1)g=δg=g.
(2つ目の式) (1つ目の式) : 同様.

約数系包除原理?

f,g:NCは有限で,f=1gをみたす.このとき,以下が成り立つ:
n1g(n)=n1(μ(n))f(n).

n1g(n)=n1(μf)(n)=n1nmμ(mn)f(m)=m1f(m)1nmμ(mn)=m1f(m)(μ(m))

おわりに

ディリクレの畳み込みと言えばディリクレ級数です.この倍数を渡る畳み込みもいい感じの級数の掛け算でうまく俯瞰してやることができると思います.例えば,有限個の正の有理数qをとってきて,数列{qn}の線形結合を考えてこの数列の積を考えるみたいなこととかできそうですよね.でも,有限個とかの情報を入れてあげないと無限和が簡単に出てきてしまうのが面倒そうです.良い情報が得られたら続きを書くかもしれません.
ありがとうございました.

投稿日:2024727
OptHub AI Competition

この記事を高評価した人

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

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

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

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

投稿者

kk2
kk2
58
9009
2006年に生まれました

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中
  1. はじめに
  2. メビウス反転公式亜種
  3. おわりに