4
現代数学解説
文献あり

超積分の公式集

191
0
$$\newcommand{floor}[1]{\lfloor{#1}\rfloor} \newcommand{lsint}[0]{\cancel{^{}}\llap{\int}} \newcommand{sint}[0]{\:\cancel{^{}}\,\llap{\int}} \newcommand{sxp}[0]{\mathrm{sxp}} $$

はじめに

今回は、超積分の公式を導いていきます。
説明の文章は少なくなりますがご容赦ください。

2025/2/25追記:公式1の超積分を$\lsint f^`(x)qx$から$\lsint af^`(x)qx$

超積分の公式

以降、$A,B,C$は積分定数を表します。
また、$f(x)>0,g(x)>0$が常に満たされます。

$$\frac{qf}{qx}=\frac q{qx}f(x)=f^`(x)$$

高次

超微分積分学の基本公式

$$\frac q{qx}\sint f(x)qx=f(x)$$

高次

$$\sint af^`(x)qx=C\{f(x)\}^a\ (a\in\mathbb R)$$

\begin{align} \sint af^`(x)qx&=e^{a\int\frac1x\cdot\frac{xf'(x)}{f(x)}dx}\\ &=e^{a\int\frac{f'(x)}{f(x)}dx}\\ &=e^{a\log f(x)+A}\\ &=C\{f(x)\}^a \end{align}

定数の超積分

$$\sint n\ qx=Cx^n$$

\begin{align} \sint n\ qx&=e^{\int\frac nxdx}\\ &=e^{n(\log x+A)}\\ &=Cx^n \end{align}

$ax^n$の超積分

$$\sint ax^nqx=Ce^{\frac anx^n}\ (a\in\mathbb{R},n\neq0)$$

\begin{align} \sint ax^nqx&=e^{\int ax^{n-1}dx}\\ &=e^{\frac anx^n+A}\\ &=Ce^{\frac anx^n} \end{align}

$\sxp(x)$超指数

$$\sxp(x)=-\frac1{\log x}$$

$\sxp$の超積分

$$\sint\sxp(x)qx=C\sxp(x)$$

定義より自明。

和、差の超積分

$$\sint (f(x)+g(x)) qx=\sint f(x)qx\cdot\sint g(x)qx$$
$$\sint (f(x)-g(x)) qx=\frac{\lsint f(x)qx}{\lsint g(x)qx}$$

\begin{align} \sint (f^`(x)+g^`(x)) qx&=e^{\int\frac{f(x)+g(x)}xdx}\\ &=e^{\int\frac{f(x)}{x}dx}\cdot e^{\int\frac{g(x)}{x}dx}\\ &=\sint f(x)qx\cdot\sint g(x)qx \end{align}
差の場合も同様に示される

部分超積分

$$\sint f^`(x)g(x)qx=\frac{e^{\log f(x)\cdot g(x)}}{\lsint \log f(x)(e^{g(x)})^`qx}$$

$$(e^{\log f(x)\log g(x)})^`=f^`(x)\log g(x)+g^`(x)\log f(x)$$考えた
より、
\begin{align} \sint f^`(x)\log g(x) qx&=\sint ((e^{\log f(x)\log g(x)})^`-\log f(x)g^`(x))qx\\ &=\frac{\lsint(e^{\log f(x)\log g(x)})^`qx}{\lsint \log f(x)g^`(x)qx}\\ &=\frac{e^{\log f(x)\log g(x)}}{\lsint \log f(x)g^`(x)qx} \end{align}
ここで、$\log g(x)$を改めて$g(x)$とすると、
$$\sint f^`(x)g(x) qx=\frac{e^{\log f(x)g(x)}}{\lsint \log f(x)(e^{g(x)})^`qx}$$

置換超積分

$x=g(t)$と置換すると、
$$\sint f(x)qx=\sint f(g(t))\cdot\frac{qx}{qt}qt$$

$f(x)$の超原始関数の一つを$F(x)$とする。
この時、$F(x)$$t$で超微分すると、
\begin{align} \frac{q}{qt}F(x)&=\frac{qF}{qx}\cdot\frac{qx}{qt}\\ &=f(x)\cdot\frac{qx}{qt}\\ &=f(g(t))\cdot\frac{qx}{qt} \end{align}定理
より、両辺$t$で超積分すると
$$\sint \frac q{qt}F(x)qt=\sint f(g(t))\cdot\frac{qx}{qt} qt$$
で、左辺は$CF(x)$となるので、$f(x)$$x$での超積分に等しくなる。
よって、
$$\sint f(x)qx=\sint f(g(t))\cdot\frac{qx}{qt}qt$$

超積分形の接触

$$\sint f(x)f^`(x)qx=Ce^{f(x)}$$
$$\sint xf'(x)qx=Ce^{f(x)}$$

$$\{e^{f(x)}\}^`=xf'(x)=f(x)f^`(x)$$
定理
よりそれぞれを超積分すると得られる。

おわりに

今回は超積分の公式を証明しました。積分の際と同様に積の超積分は部分超積分等を使って簡単にしていくしかなさそうです。また、超積分形の接触の公式は部分超積分や置換超積分を使っても証明できそうですが、うまくいかなかったので、もし思いついた方がいたら教えていただけるとありがたいです。

参考文献

投稿日:224
更新日:225
OptHub AI Competition

この記事を高評価した人

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

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

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

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

投稿者

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

コメント

他の人のコメント

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