三角形演算子を連続に！！
前回までのあらすじ
前回→ 絡分で三角形演算子を連続にする
俺の名前は尼玖内夏法（あまくない なっぽう）
ひょんなことから三角形演算子という総和と総乗を組み合わせた計算を見つけた
その裏で調べていた絡分という連続な総乗の演算を組み合わせることで、連続化できることに気がついた
しかし、喜んだのもつかの間！
定義式に間違いを発見した俺は再び記事を書くことに――
※三角形演算子と絡分に関する過去の情報は以下を参照してね。
ということで
今回は連続三角演算子についての続編(?)です。
流れとしては、
- 前回の定義式を修正
- 修正した式の挙動を例を用いて確認
- 新しいアプローチを試す
という感じで、三角形演算子の連続な場合を考えていきたいと思います。
定義式の修正
早速前回の定義式を修正しましょう！
以下が前回定義した式です。
$$ \begin{eqnarray} \genprodsum{x \in [a,b]}{}{k}{f(x)} &:=& \int_a^b \exp \left( \int_a^x \ln f(t) dt + \int_{x+(b-a)-k}^b \ln f(t) dt \right) dx \\ \end{eqnarray} $$
なんですが、多分色々と間違っていて
$$ \begin{eqnarray} \genprodsum{x \in [a,b]}{}{k}{f(x)} &:=& \int_a^{b-k} \exp \left( \int_x^{x+k} \ln f(t) dt \right) dx + \int_{b-k}^{b} \exp \left( \int_a^{a+k-(b-x)} \ln f(t) dt \right) \exp \left( \int_x^b \ln f(t) dt \right) dx\\ \end{eqnarray} $$
が正しいです（多分）
項数は増えましたが、やることは前回と同じく絡分して積分するだけですね（できるとは言っていない）
例
$f(x) = c$の場合
$$ \begin{eqnarray} \genprodsum{x \in [0,b]}{}{k}{c} &=& \int_0^{b-k} \exp \left( \int_x^{x+k} \ln c dt \right) dx + \int_{b-k}^{b} \exp \left( \int_a^{a+k-(b-x)} \ln c dt \right) \exp \left( \int_x^b \ln c dt \right) dx\\ &=& \int_0^{b-k} \exp( \ln c [t]_{x}^{x+k} ) dx + \int_{b-k}^{b} \exp (\ln c [t]_0^{k-(b-x)}) \exp(\ln c [t]_x^b) dx\\ &=& \int_0^{b-k} c^k dx + \int_{b-k}^{b} c^{k-(b-x) + b-x} dx \\ &=& (b-k)c^k + kc^k \\ &=& bc^k \end{eqnarray} $$
$\genprodsum{x = 1}{n}{k}{c}=nc^k$だったので、一致してますね。
$f(x) = x$の場合
$$ \begin{eqnarray} \genprodsum{x \in [a,b]}{}{k}{x} &=& \int_a^{b-k} \exp \left( \int_x^{x+k} \ln t dt \right) dx + \int_{b-k}^{b} \exp \left( \int_a^{a+k-(b-x)} \ln t dt \right) \exp \left( \int_x^b \ln t dt \right) dx\\ &=& \int_a^{b-k} \exp( [t \ln t - t]_{x}^{x+k} ) dx + \int_{b-k}^{b} \exp ([t \ln t - t]_a^{a+k-(b-x)}) \exp([t \ln t - t]_x^b) dx\\ = \cdots &=& \frac{1}{e^k} \int_a^{b-k} \frac{(x+k)^{x+k}}{x^x} dx + \frac{b^b}{e^k a^a} \int_{b-k}^b \frac{(x-(b-a)+k)^{x-(b-a)+k}}{x^x} dx \end{eqnarray} $$
これは一般には解けませんが、ここで、
$$ \lim_{a \rightarrow 0} \lim_{k \rightarrow x} \genprodsum{x \in [a,b]}{}{k}{x} $$
を考えると、うまく評価できる気がします。
※というのも、離散版の場合における$\genprodsum{i=1}{n}{}{i}$に対応するため。
$$ \begin{eqnarray} \lim_{a \rightarrow 0} \lim_{k \rightarrow b} \genprodsum{x \in [a,b]}{}{k}{x} &=& \lim_{a \rightarrow 0} \lim_{k \rightarrow b} \left( \frac{1}{e^k} \int_a^{b-k} \frac{(x+k)^{x+k}}{x^x} dx + \frac{b^b}{e^k a^a} \int_{b-k}^b \frac{(x-(b-a)+k)^{x-(b-a)+k}}{x^x} dx \right) \\ &=& \left( \frac{b}{e} \right)^b \cdot \lim_{a \rightarrow 0} a^{-a} \cdot \int_0^b dx \\ \end{eqnarray} $$
ここで $\lim_{a \rightarrow 0} a^{-a} = 1$を採用すれば
$$ \begin{eqnarray} \lim_{a \rightarrow 0} \lim_{k \rightarrow b} \genprodsum{x \in [a,b]}{}{k}{x} &=& b \left( \frac{b}{e} \right)^b \end{eqnarray} $$
と、簡単になりましたね。
これは$\genprodsum{i=1}{n}{}{i} = n! \gsum{i=1}{n}{\frac{1}{i}}$であることと、$x$の絡分(乗法的積分)が$(x/e)^x$だったことを見る限り、まあまあ一致していると言えそうです ← 本当にそうか？
もう一つの方法
上記の方法とは独立して、$k=n-1$の場合の性質を利用して別の連続化が可能な気がします。
離散な三角形演算子には以下のような性質があります。
$$
\genprodsum{i=1}{n}{\space }{a_i} = \gprod{i=1}{n}{a_i} \gsum{i=1}{n}{\frac{1}{a_i}}
$$
ただし$a_i \neq 0$
これをそのまま連続版に置き換えると、
$$ \genprodsum{x \in [a,b]}{}{\space \space }{f(x)} = \exp \left( \int_a^b \ln f(x) dx \right) \cdot \int_a^b \frac{1}{f(x)} dx $$
こうなりますね。
試しにこれを利用して$f(x) = c$の場合を考えると
$$ \genprodsum{x \in [0,b]}{}{\space \space }{c} = b c^{b-1} $$
という感じで、この場合にも離散な場合に一致している感じがします。
おわり！
今回は以下の2つの方法で連続な三角形演算子を定義しました。
$$ \begin{eqnarray} \genprodsum{x \in [a,b]}{}{k}{f(x)} &:=& \int_a^{b-k} \exp \left( \int_x^{x+k} \ln f(t) dt \right) dx + \int_{b-k}^{b} \exp \left( \int_a^{a+k-(b-x)} \ln f(t) dt \right) \exp \left( \int_x^b \ln f(t) dt \right) dx\\ \end{eqnarray} $$
$$ \genprodsum{x \in [a,b]}{}{\space \space }{f(x)} = \exp \left( \int_a^b \ln f(x) dx \right) \cdot \int_a^b \frac{1}{f(x)} dx $$
どちらもそれっぽくなりましたね🤗
また何かわかれば記事にするかもしれません。
誤り等あればぜひコメント下さい。
おわり！
