積分が原理的に解けないことの証明

１．「積分が原理的に解けない」とはどういう意味か

「積分が原理的に解けない」という言い回しは、
単に「難しい」「計算が面倒」という意味ではありません。

数学的には次のように正確に言うことができます。

初等関数とは何か

「初等関数（elementary functions）」とは、
次の操作を有限回行って作られる関数のことです。

• 四則演算 +\,\;-\,\;\times\,\;\div

• 指数関数・対数関数

• 三角関数とその逆関数

• 合成（関数の入れ子）

たとえば次の関数はすべて初等関数です。

x^2\,\quad e^x\,\quad \sin x\,\quad \ln x\,\quad e^{x^2+1}\,\quad \sin(e^x)

「初等関数で表せない」とはどういうことか

「表せない」とは、どんな式変形をしても
上の操作を有限回だけ使っては書けないということです。

たとえば次の積分はその代表例です。

\int e^{x^2}\,dx\,\qquad \int \frac{\sin x}{x}\,dx

いくら計算しても初等関数では表現できません。
それは「計算力不足」ではなく、原理的に不可能なのです。

２．リウヴィルの定理（Liouville’s theorem）

この「原理的に表せない」ことを厳密に証明したのが、
フランスの数学者 Joseph Liouville（1809–1882） です。

リウヴィルの定理（概要）

この定理が意味するのはこうです。

逆に言えば、
どんな R(x)\,R_i(x)\,c_i を選んでもこの形に当てはまらないなら、
その積分は初等関数では絶対に表せない＝原理的に解けないということです。

３．具体例：e^{x^2} の積分は初等関数で表せない

リウヴィルの定理を使うと、
\int e^{x^2}\,dx が初等関数では表せないことが分かります。

証明の概要

1. 仮に F'(x)=e^{x^2} を満たす初等関数 F(x) があると仮定する。

2. それがリウヴィルの形
   F(x)=R(x)+\sum c_i\ln R_i(x)
   に書けるはずだとする。

3. この形を微分しても、有理式やその導関数の組み合わせしか現れない。
   しかし e^{x^2} のように指数の中に二次式がある場合、
   そのような形では絶対に表せない。

4. よって矛盾。
   したがって \int e^{x^2}\,dx は初等関数で表せない。

このため、新しい関数を定義して扱う必要が生まれます。
代表的なのが「誤差関数（error function）」です。

\operatorname{erf}(x)=\frac{2}{\sqrt{\pi}}\int_0^x e^{-t^2}\,dt

こうして「特殊関数」と呼ばれる新しい関数群が登場します。

４．「原理的に解けない」ことの意義

リウヴィルの定理が明らかにしているのは、単なる計算の限界ではありません。
それは数学が持つ表現体系の限界そのものです。

| 観点 | 意味 |
|------|------|
| 解析的 | 初等関数で表せる構造が制限されている |
| 構造的 | 微分が「順問題」で、積分が「逆問題」であるため困難 |
| 理論的 | 特殊関数を導入することで解析の世界が拡張される |

５．まとめ

• 「積分が原理的に解けない」とは、
  原始関数が初等関数体系では表現不可能であることを意味する。

• これは リウヴィルの定理 によって厳密に証明されている。

• \int e^{x^2}\,dx や \int \frac{\sin x}{x}\,dx はその代表例である。

• この「原理的な限界」こそが、特殊関数や現代解析学の発展を促してきた。

✎ 結語

微分は「前へ進む操作」、積分は「逆に戻る操作」。
しかし、すべての道が同じように引き返せるわけではありません。

積分が原理的に解けない――
それは、自然界が私たちに示す数学的非対称性の象徴なのです。