連続関数の不定積分とは、ある関数が与えられているとき、微分すると与えられた関数に一致するような新たな関数(原始関数)を求める操作のこと、およびその原始関数の全体(集合)[1]。
不定積分の重要性は、微分積分学の基本定理を用いて積分の計算から(リーマン和と言われる)複雑な極限操作を取り除くことができるようになるところにある。このことを逆手に取り、日本の数学教育においては(1970年代以降(?)の教科書で[要出典])、積分概念の導入に当たって、微分の逆操作としての不定積分を基礎に据えた論理展開をはかるように構成されている。しかしこれは、本来面積を求めるためのものである積分概念の本質が見えにくく、積分概念の獲得という面からは大きな障害をもたらす危険性を孕んでいる。
また、後述するように、一般には不定積分は原始関数とは関連性のない概念であるが、連続関数に対してはほぼ一致する概念であるため、しばしば混同して用いられる。本項でもしばらく、「不定積分」という言葉を冒頭で述べた意味で用いて話を進める。また、不定積分と原始関数という言葉を、以下の定義に従って使い分けることにする。
定義
関数
(積分された関数を被積分関数という)が与えられたとき、微分方程式
の解となる任意の関数
を
の原始関数といい、一般解
を
の不定積分という。
関数
の不定積分は、端点を指定しないリーマン積分の記法(ライプニッツの記法)を用いて
のように表される。
定義から、不定積分は一つの関数を表すものではないことに注意すべきである(実際、一階の微分方程式の一般解なのであるから、少なくとも一つの積分定数とも呼ばれる任意定数を含む)。実用上は任意定数の値を決めるごとに原始関数が一つ現れるから、あたかも一つの関数であるかのように扱うことができる。ある関数の原始関数はすべて変数項が一致する。
定積分との関係
不定積分と積分(定積分)は、その定義こそ大きく異なるものの、非常に密接な関係がある。実際、
を連続関数とすると、定数
を一つ決めるとき
が成り立つから、両辺を積分して、
上式は原始関数のひとつで、
を満たすものである。さらに、
の他の原始関数
をとると、
が
の取り方によらずに成り立つ(二つの原始関数は定数の違いしか持たない)。ゆえに
の不定積分は任意定数
を与えることにより
と書くことができる。ここで任意定数
は通常、積分定数と呼ばれる。あるいは
の任意性は上で固定した定数
の任意性に読み替えることもできる。つまり、
を
とは無関係の任意の値をとりうる定数と思うときの
が不定積分と呼ばれるものの実体であり、これが不定積分を
と記す根拠であるとも言える。 また、逆に、
の原始関数
が与えられれば、
が言える。これを、微分積分学の基本公式という。積分を、定義から直接にリーマン和(微小長方形の面積の総和)の極限として求めるのは非常に困難であるが、不定積分を用いると非常に計算が楽になる。
性質
一般公式
![{\displaystyle \int (f(x)+g(x))dx=\int f(x)dx+\int g(x)dx.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a8329f4ae8600875f1803045d6735442b6f48d4e)
![{\displaystyle \int af(x)dx=a\int f(x)dx.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cd54a5813685adb8e049e992f96bc8bc760c4b36)
(部分積分法)
(置換積分法)
![{\displaystyle \int f^{-1}(x)dx=xf^{-1}(x)-\int f(f^{-1}(x))df^{-1}(x).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9ffb8ddc82080d6d0eed855af8ecdb6158da62c4)
![{\displaystyle \int {\frac {f'(x)}{f(x)}}dx=\log |f(x)|+C.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2d2b83ad9f92843122ab075db20c88f978c8e658)
有名な関数に対する公式
![{\displaystyle \int dx=x+C.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/701b4ee0a849a8c44454c42941bf937c8156fa39)
![{\displaystyle \int x^{a}dx={\frac {1}{a+1}}x^{a+1}+C.\quad (a\neq -1)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2d256dd425e0123faeb9d2cc9be7a889010647b7)
![{\displaystyle \int {\frac {1}{x}}dx=\log |x|+C.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7aef628308ad6a9fd469b813c6c1975c9e337896)
![{\displaystyle \int {\frac {1}{x^{2}+a^{2}}}\,dx={\frac {1}{a}}\tan ^{-1}{\frac {x}{a}}+C.\quad (a\neq 0)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5dd074496f91c459680d4c1aa3b0755cf7afe892)
![{\displaystyle \int {\frac {1}{x^{2}-a^{2}}}\,dx={\frac {1}{2a}}\ln \left|{\frac {x-a}{x+a}}\right|+C.\quad (a\neq 0)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d1373adc8b1eb7e31fb1c1777fb30ff8e465a840)
![{\displaystyle \int {\frac {1}{\sqrt {a^{2}-x^{2}}}}\,dx=\sin ^{-1}{\frac {x}{a}}+C.\quad (a>0)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/01e4667d3560f9da04746c1da3f785c596e6990e)
![{\displaystyle \int {\sqrt {a^{2}-x^{2}}}\,dx={\frac {1}{2}}\left(x{\sqrt {a^{2}-x^{2}}}+a^{2}\sin ^{-1}{\frac {x}{a}}\right)+C.\quad (a>0)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e51cfa8ac9e278b08e7ca7dc14ff44c10e87f0af)
![{\displaystyle \int {\frac {1}{\sqrt {x^{2}+A}}}\,dx=\ln \left|x+{\sqrt {x^{2}+A}}\right|+C.\quad (A\neq 0)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/25d7e7f54776012118146be352080ec8b81ca9e7)
![{\displaystyle \int {\sqrt {x^{2}+A}}\,dx={\frac {1}{2}}\left(x{\sqrt {x^{2}+A}}+A\ln \left|x+{\sqrt {x^{2}+A}}\right|\right)+C.\quad (A\neq 0)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f129501d885a47aa98c2419008b8502839da20cd)
![{\displaystyle \int e^{x}dx=e^{x}+C.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/674c239fc522b0947e971893c85ebd30fbd6c2c6)
![{\displaystyle \int a^{x}dx={\frac {a^{x}}{\ln a}}+C.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e93e2ccdbbedfe116f4c384d3fb170bc4e351fbc)
![{\displaystyle \int \log x\,dx=x\log |x|-x+C.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7892f1392649f5c7ed14a285a08d80d06f32dffe)
![{\displaystyle \int \log _{a}x\,dx=x\log _{a}|x|-{\frac {x}{\log a}}\ +C.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/78c90b67d5d58a38d66a22c89e94df3040215485)
![{\displaystyle \int \sin x\,dx=-\cos x+C.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/597bc4fe9710f0afc44e62b88e167a46926b823f)
![{\displaystyle \int \cos x\,dx=\sin x+C.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7f82e2ab067a4a75b9b0999b17e10056208505d6)
![{\displaystyle \int \tan x\,dx=-\ln |\cos x|+C.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a3764b702118e15acd2bc93f20cc8fbf583a15d9)
![{\displaystyle \int \sin ^{-1}x\,dx=x\sin ^{-1}x+{\sqrt {1-x^{2}}}+C.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3a95042c4176b23dd679cdbcd68d6f3bce0a33c8)
![{\displaystyle \int {\frac {1}{\sin x}}\,dx=\ln \left|\tan {\frac {x}{2}}\right|+C.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e960466fd010ad8d731855ffa53ba9bae593e0a3)
![{\displaystyle \int {\frac {1}{\sin ^{2}x}}\,dx=-{\frac {1}{\tan x}}+C.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b60e70d74e3c557bee3656e31531b1415ea45385)
![{\displaystyle \int {\frac {1}{\cos x}}\,dx={\frac {1}{2}}\ln {\frac {1+\sin x}{1-\sin x}}+C.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ceaa85e4fadd44e76a554054edafca0bc70abe46)
![{\displaystyle \int {\frac {1}{\cos ^{2}x}}\,dx=\tan x+C.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d38c14bdd1a2674dbbe5c6b59b599a3121377a62)
![{\displaystyle \int {\frac {1}{\tan x}}\,dx=\ln |\sin x|+C.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8e4f096447dcb51b5f7a8b71a34550fd338c17a6)
![{\displaystyle \int \tan ^{-1}x\,dx=x\tan ^{-1}x-{\frac {1}{2}}\ln(1+x^{2})+C.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4cd241a704dd93b02e321a9eb669c8f97e9f5e20)
定理
不定積分にかかわる主な定理をその証明(丸印から開始)とともに示す。
を
のひとつの原始関数とする。
は両辺を積分すれば明らか。
を証明する。条件より
であるから、
は定数である。
一般化
不連続関数の不定積分
一般に連続とは限らない関数 f(x) に対しても、c を x とは無関係の任意の値をとりうる定数と思うときの
を f(x) の不定積分と呼ぶ。これは c の値をとめるごとに、x の連続関数を与えるが、必ずしも微分可能ではない。また、微分可能となるとしても、導関数が f(x) に一致するとは限らない。すなわち、一般には原始関数と不定積分は異なる概念である。
ルベーグ積分論における不定積分
ある集合 X 上でルベーグ可積分な関数 f(x) に対して、E ⊂ X なる集合を変数とする集合関数
を f(x) の不定積分と呼ぶ。
脚注
- ^ 不定積分あるいは原始関数を求めることを積分するという
関連項目
外部リンク
Template:Link FA