7

絡分 (連続な総乗)【絡分1】

517
1
$$\newcommand{prodsum}[3]{\underset{#1}{\overset{#2}{\huge \triangledown{}}}#3} \newcommand{sumprod}[3]{\underset{#1}{\overset{#2}{\huge \triangle{}}}#3} $$

こんにちは、Nappleです。

総和と積分が離散と連続の関係であることはよく議論され、応用される話題です。(厳密なことは知りません)
そこで、総乗に対応する連続な変換を考えてみます。

前提知識

まず前提知識から

区分求積法

式自体は使いませんが、とにかく積分と総和は似ているという話です。
$$ \int_{a}^{b}f(x)dx = \lim_{n \to \infty}\frac{b-a}{n}\sum_{i=0}^{n}f(a+\frac{b-a}{n}i) $$

総和と総乗の関係

$x_i>0 (i=0,1,2,...)$に対して、任意の1でない正の実数$p$を用いて総和と総乗の関係は以下のように表せる。
$$ \prod_{i=0}^{n}x_i = p^{\Large{\sum_{i=0}^{n}\log_p{x_i}}} $$

本題

上記の公式をもとに、総乗に対応する連続な変換を考えます。
もう無理やり置き換えるだけですね。
公式2の総和のとこ
$$ \prod_{i=0}^{n}x_i = p^{\Large{\textcolor{red}{\sum_{i=0}^{n}}\log_p{x_i}}} $$
を、積分に置き換えて
$$ \prod_{i=0}^{n}f(x) \sim p^{\Large{\textcolor{red}{\int_{a}^{b}}\log_p{f(x)}\textcolor{red}{dx}}} $$
こうなります。

絡分(仮名)

総乗に対応する連続な変換である絡分とは、
実数関数$f(x)$に対して次の関数$\mathcal{F}(x)$を得る変換である。ここで絡分の底$p$は任意の1でない正の実数とする。
$$ \mathcal{F}(x) = p^{\Large{\int_{a}^{b}\log_p{f(x)}dx}} $$

計算例

ここでは$f(x)$の原始関数の一つを得るために、積分範囲を$0$から$x$にしておきます。

$f(x)=a$(定数)の絡分

絡分の底は$e$とします。(が、$\mathcal{F}(x)$は底によらず一定です。)
まず、
$$\int_{0}^{x}\log{f(t)}dt=\int_{0}^{x}\log{a}dt=\log{a}\cdot{}x$$
なので、
$$\mathcal{F}(x) = e^{\Large{\log{a}\cdot{}x}} = a^x$$
!FORMULA[18][-623484758][0] $f(x)=2, \mathcal{F}(x) = 2^x$

$f(x)=x$の絡分

絡分の底は$e$とします。
まず、
$$\int_{0}^{x}\log{f(t)}dt=x\log{x}−x$$
なので、
$$\mathcal{F}(x) = e^{\Large{x\log{x}−x}} = (\frac{x}{e})^x$$
!FORMULA[23][343604002][0] $f(x)=x, \mathcal{F}(x) = (\frac{x}{e})^x$

$f(x)=e^x$の絡分

絡分の底は$e$とします。
まず、
$$\int_{0}^{x}\log{f(t)}dt=\int_{0}^{x}tdt=\frac{1}{2}x^2$$
なので、
$$\mathcal{F}(x) = e^{\frac{1}{2}x^2}$$
!FORMULA[28][-2013497049][0] $f(x)=e^x, \mathcal{F}(x) = e^{\frac{1}{2}x^2}$

$f(x)=\frac{1}{x}$の絡分

絡分の底は$e$とします。
$\log(\frac{1}{x})=-\log{x}$より、$f(x)=x$のときの式を使って、
$$\mathcal{F}(x) = (\frac{e}{x})^x$$

!FORMULA[34][-1713650959][0] $f(x)=\frac{1}{x}, \mathcal{F}(x) = (\frac{e}{x})^x$

まとめ

疲れたのでこの辺にしておきます。
この計算が何を意味するのかとか、公式とかはまだよく考えていません。
実際、計算結果も総乗っぽくなってるんじゃないですかね(適当)。
なにか気がついたらまた書きます。それではまた~~~。

追記

$f(x)=x$の絡分$\mathcal{F}(x) = (\frac{x}{e})^x$$x!$と一致していない……ので多分何かがおかしい。

追記2

続きが出ました。→ 絡分と階乗【絡分2】

投稿日:202398

この記事を高評価した人

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

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

バッジはありません。

投稿者

🤔 数学の専門ではないです。 思いついたことを書きます。

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中