奇関数の定積分は必ず0になる？1/xやtan xで成り立たない理由を解説

奇関数には「対称な区間で積分すると0になる」という有名な性質があります。しかし、1/xやtan xのように区間内に定義されない点を持つ関数では、この公式をそのまま使うことはできません。

この記事では、奇関数の定積分が0になる条件、なぜ1/xやtan xでは注意が必要なのか、広義積分や対称極限との違いについて分かりやすく解説します。

奇関数の定積分が0になる理由

関数f(x)が奇関数であるとは、すべてのxについてf(-x)=-f(x)が成立することです。グラフで見ると、原点を中心に180度回転させたときに重なるような対称性を持っています。

この性質を利用すると、区間[-a,a]で積分する場合、正の部分と負の部分の面積が打ち消し合います。

例えばf(x)=xの場合、xが正の部分では正の面積になりますが、負の部分では同じ大きさの負の面積になるため、合計すると0になります。

「奇関数を対称区間で積分すると0になる」という公式は、単にf(-x)=-f(x)を満たせばいつでも使えるわけではありません。

重要な条件は、その区間で関数が連続であり、通常の意味で定積分が存在することです。

つまり、区間[-a,a]の途中に無限大へ発散する点や定義されない点がある場合、奇関数であっても公式を適用できません。

関数f(x)=1/xは奇関数です。実際にf(-x)=-1/x=-f(x)となるため、奇関数の条件を満たしています。

しかし、x=0では定義されません。そのため、∫[-1,1](1/x)dxを通常の定積分として考えることはできません。

0を境に分けると、∫[-1,0](1/x)dxは発散し、∫[0,1](1/x)dxも発散します。つまり、単純に「右側と左側が逆符号だから0」と考えることはできません。

質問にある「∞-∞の形になる」という考え方は正しく、∞と-∞を足し合わせることは通常の計算として認められません。

一方で、1/xについては「コーシーの主値」という特別な考え方を使うと0とみなすことができます。

コーシーの主値とは、発散している部分を左右同じ距離で近づけることで、対称性を利用して値を定める方法です。

例えば、∫[-1,1](1/x)dxを、0を避けながら左右同じ範囲で計算すると、正負の値が打ち消し合い0になります。

ただし、これは通常の定積分の値ではなく、特別な定義による値です。学校数学で扱う定積分とは区別する必要があります。

tan xも奇関数であり、tan(-x)=-tan xが成立します。しかし、区間[-π/2,π/2]では注意が必要です。

tan xはx=±π/2で定義されません。特に積分区間の端で発散するため、通常の意味での定積分として扱うには広義積分として考える必要があります。

∫[0,π/2]tan x dxは発散するため、左右の部分を単純に合わせて0とすることはできません。

こちらも対称性だけを見ると0になりそうですが、積分が存在していないため、奇関数の公式を使う条件を満たしていません。

奇関数の積分問題では、最初に「本当に積分できる関数なのか」を確認することが重要です。

確認するポイントは以下の通りです。

例えばf(x)=xやsin xのような関数では問題ありませんが、1/xやtan xのように途中で値が存在しない関数では注意が必要です。

奇関数f(x)について、∫[-a,a]f(x)dx=0が成立するのは、区間内で定積分が存在するときに限られます。

1/xやtan xは奇関数ではありますが、積分区間内または端点で発散するため、通常の定積分としては0になりません。

対称性による打ち消しは重要な考え方ですが、まず積分そのものが成立しているかを確認することが、奇関数の定積分を扱う上で最も大切です。