4
現代数学解説
文献あり

ダイヤモンド演算子で遊ぶ

215
0

はじめに

ダイヤモンド演算子は、 某黒猫君 が定義した二項演算子で、次のように定義されます。

ダイヤモンド演算子構成的

f(x)0g(x):=f(x)g(x)f(x)ng(x):=1xf(t)n1g(t)qt
なる関数f,gの帰納的な二項演算をダイヤモンド演算子と呼ぶ。

この記事ではnが有限の場合を考えていこうと思います。
なお、超微分・超積分の定理・公式を大量に使って計算していくので、もし必要であれば下のリンクを参照してください。

ダイヤモンド演算子の計算

n=0の際のダイヤモンド演算子の計算は単なる積なのでn=1の際の計算から考えていこうと思います。また、狭義超微分可能性は仮定するとします。

n=1の時

定義を一瞥しただけでは交換法則、結合法則の成立を導けそうにないのでまずその証明をしていきます。

交換法則

f(x)1g(x)=g(x)1f(x)

f(x)1g(x)=1xf(t)0g(t)qt=1xg(t)0f(t)qt=g(x)1f(x)

結合法則

{f(x)1g(x)}1h(x)=f(x)1{g(x)1h(x)}

{f(x)1g(x)}1h(x)={1xf(t)0g(t)qt}1h(x)=1x[{1uf(t)0g(t)qt}0h(u)]qu=1xf(u)0g(u)0h(u)qu=1x[f(u)0{1ug(t)0h(t)qt}]qu=f(x)1{g(x)1h(x)}

以上のように1には交換法則、結合法則が成り立つことが分かりました。これに関しては、n2の際も帰納法を使って証明ができそうです。
また、次の定理も成り立ちます。

分配法則

f(x)1{g(x)0h(x)}={f(x)1g(x)}0{f(x)1h(x)}

f(x)1{g(x)0h(x)}=1xf(t){g(t)+h(t)}qt=1x{f(t)g(t)+f(t)h(t)}qt=1xf(t)g(t)qx1xf(t)h(t)qt={f(x)1g(x)}0{f(x)1h(x)}

ということで1は、0に対する分配法則が成り立ちます。見慣れない記号同士の分配法則はやはり見慣れませんね。これに関しても一般化は容易そうです。

a1f(x)=1
(ただしaは定数)

a1f(x)=1xa0f(t)qt=1x0qt=1

xn1f(x)={f(x)f(1)}n
(ただしnは定数)

xn1f(x)=1x(tn)0f(t)qt=1xnf(t)qt={f(x)f(1)}n

さて、ここで 超・McLaughlin展開を構成的に導出してみる の記事に戻ってみると、E関数というものが定義されています。

E関数構成的

E0(a;x):=aEn(a;x):=1xEn1(a;t)qt
なる帰納関数をE関数と呼ぶ。

そして、今回の公式1,2ではそれぞれa,xnをダイヤモンド演算していますが、これらはE関数を使うとそれぞれE0(a;x),E1(n;x)と表すことができます。ということは、E関数を使えばn2の際も一般化ができそうです。

さて、ここからE2(n;x)1f(x)を考えていきたいところですが、きれいな形にならないことが計算をするとわかります。
ということで、n=1の場合の考察はここらへんにしてn2の場合に移りたいと思います。

n2の時

まずはn=1の時と同様に交換法則、結合法則が成立することの証明をしていきます。

交換法則

f(x)ng(x)=g(x)nf(x)

数学的帰納法により証明する。

  • n=1の時
    定理1より成立する。
  • n=k (kN)の時、この定理が成立するとする。
    n=k+1の時
    f(x)k+1g(x)=1xf(t)kg(t)qt=1xg(t)kf(t)qt=g(x)k+1f(x)

よって示された。

結合法則

{f(x)ng(x)}nh(x)=f(x)n{g(x)nh(x)}

数学的帰納法により証明する。

  • n=1の時
    定理2より成立する。
  • n=k (kN)の時、この定理が成立するとする。
    n=k+1の時
    {f(x)k+1g(x)}k+1h(x)=1x[{1uf(t)kg(t)qt}kh(u)]qu=1xf(u)kg(u)kh(u)qu=1x[f(u)k{1ug(t)kh(t)qt}]qu=f(x)k+1{g(x)k+1h(x)}

よって示された。

次に分配法則です。

分配法則

f(x)n+1{g(x)nh(x)}={f(x)n+1g(x)}n{f(x)n+1h(x)}

数学的帰納法により証明する。

  • n=0の時
    定理3より成立
  • n=k (kN)の時、この定理が成立するとする。
    n=k+1の時
    f(x)k+2{g(x)k+1h(x)}=1xf(t)k+1{g(t)kh(t)}qt=1x{f(t)k+1g(t)}k{f(t)k+1h(t)}qt={f(x)k+2g(x)}k+1{f(x)k+2h(x)}

よって示された。

2行目から3行目の変換は、ダイヤモンド演算子の定義から分かります。
積分とダイヤモンド演算の順序交換が可能かを証明すべきですが、この点は読者に任せます。(もういろいろやりすぎて疲れたとは言えない)

続いて公式1の一般化をしていきたいのですが、これにはいくつか段階を踏む必要があります。ということで、まずは簡単なところから。

anf(x)=En(1;x)
(ただしaは定数)

数学的帰納法により証明する。

  • n=1の時
    公式1より成立する。
  • n=k (kN)の時、この公式が成立するとする。
    n=k+1の時
    ak+1f(x)=1xakf(t)qt=1x0kf(t)qt=1xEk(1;t)qt=Ek+1(1;x)

よって示された。

そして、この公式を用いることで次の公式を示すことができます。

0<m<nであるとき、
Em(a;x)nf(x)=En(1;x)

証明には同値な命題である次の系を用います。

公式4

m,lが共に正の定数であるとしたとき、Em(a;x)m+lf(x)=Em+l(1;x)

数学的帰納法により証明する。

  • m=0の時
    公式3より成立する。
  • m=kの時、この公式が成立するとする。
    m=k+1の時
    Ek+1(a;x)k+l+1f(x)=1xEk(a;t)k+lf(t)qt=1xEk+l(1;t)qt=Ek+l+1(1;x)

よって示された。

ということでここまでで公式1の一般化をすることができました。
このまま公式2の一般化をしたいところですが、n=2であってもきれいに表すことができそうにないのでここまでとしたいと思います。

おわりに

今回はダイヤモンド演算子について考えてきました。
もともとは極限ダイヤモンド演算子までこの記事で扱うつもりでしたが、想定外のボリュームになってしまったのでそちらの方は次の記事に回したいと思います。

参考文献

投稿日:24日前
OptHub AI Competition

この記事を高評価した人

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

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

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

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

投稿者

7777777
7777777
52
4462
数学全般、というより巨大数の世界に主に生息しています。 どこかのサンタさん。

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中
  1. はじめに
  2. ダイヤモンド演算子の計算
  3. $n=1$の時
  4. $n\geq2$の時
  5. おわりに
  6. 参考文献