不定積分

不定積分：多様な解釈とその関係

数学における「不定積分」という用語は、文脈によって異なる意味を持つため、注意が必要です。大きく分けて、逆微分と積分論における不定積分の2つの解釈が存在します。積分論における不定積分も、さらに基点を持つ不定積分と集合関数としての不定積分の2種類に分類できます。

1. 逆微分としての不定積分

これは微分の逆操作を意味します。つまり、与えられた関数f(x)について、微分するとf(x)となる関数F(x)（原始関数）を求める操作、またはそのような原始関数全体の集合を指します。積分定数は通常無視されます。この定義では、不定積分は積分定数を伴う関数族を表すことになります。例えば、f(x) = 2x の逆微分としての不定積分は、F(x) = x² + C（Cは任意定数）となります。

2. 積分論における不定積分

積分論の観点からは、不定積分はより広い概念となります。

2.1 定義域上の任意の閉区間における定積分

一変数関数f(x)に対して、定義域内の任意の閉区間[a, b]上の定積分がF(b) - F(a)となる関数F(x)を、f(x)の不定積分といいます。これは、微分積分学の基本定理と密接に関連しています。この基本定理は、連続関数の定積分が、その関数の原始関数の差で表せることを保証します。

2.2 基点を持つ不定積分

定義域内の定数aから変数xまでの定積分∫ₐˣf(t)dtで表される関数を、f(x)のaを基点とする不定積分といいます。この定義では、積分の下端が定数aで固定されています。

2.3 集合関数としての不定積分

ルベーグ積分論においては、不定積分はさらに一般化されます。ユークリッド空間内の可測集合を独立変数、その集合上での積分を従属変数とする集合関数のことを、関数fの集合関数としての不定積分といいます。この集合関数は、絶対連続かつ完全加法的となります。

逆微分と積分論における不定積分との関係

これらの異なる定義の間には、密接な関係があります。連続関数f(x)に対して、逆微分としての不定積分は、積分論における不定積分の特別な場合と見なすことができます。具体的には、基点を持つ不定積分は、逆微分から導出でき、その逆も成立します。ただし、この対応は全射でも単射でもないことに注意が必要です。

不連続関数への拡張

上記の定義は連続関数の場合を前提としていますが、積分論の不定積分は、ルベーグ積分を用いることで可測関数に拡張できます。ただし、不定積分は必ずしも原始関数とは一致しません。例えば、カントール関数は、ほとんど至るところで微分係数が0であるにもかかわらず、定数関数ではないため、原始関数と不定積分の概念が異なる例となります。

不定積分の性質と公式

連続関数に対しては、不定積分は次の性質を持ちます。

原始関数の差は定数: 同一の連続関数の二つの原始関数の差は、必ず定数となります。
線形性: 不定積分は線形演算です。つまり、∫(af(x) + bg(x))dx = a∫f(x)dx + b∫g(x)dx が成り立ちます。
* 部分積分法、置換積分法: これらの積分法は、不定積分の計算において重要な役割を果たします。

様々な関数の不定積分を表す公式は数多く存在します。代表的なものを以下に示します。（数式は省略）

これらの公式を用いることで、様々な関数の不定積分を計算することができます。

まとめ

「不定積分」は、文脈によって異なる意味を持つ多義的な用語です。それぞれの定義を理解し、適切に使い分けることが重要です。特に、連続関数と非連続関数の場合で、原始関数と不定積分の概念が異なることに注意が必要です。

もう一度検索