カテゴリー: 数学

べき乗を含む0から∞までの定積分

\[ \Arg\left(\alpha\right)\ne\pi,0<b\Rightarrow\int_{0}^{\infty}f\left(x,\alpha x^{b}\right)dx=\frac{1}{\alpha^{\frac{1}{b}}b}\lim_{R\rightarrow\infty}\int_{0}^{Re^{i\Arg\left(\alpha\right)}}f\left(\frac{t^{\frac{1}{b}}}{\alpha^{\frac{1}{b}}},t\right)t^{\frac{1}{b}-1}dt \]

積が非負実数のべき乗

\[ \left(\Arg\left(\alpha\right)\ne\pi\lor\Arg\left(\beta\right)\ne\pi\right)\land0\leq a\beta\rightarrow\left(\alpha\beta\right)^{\gamma}=\alpha^{\gamma}\beta^{\gamma} \]