 |
MATHEMATICAチュートリアル
不定積分
関数Integrate[f, x]は，不定積分 
を返す．不定積分は微分の逆操作ととらえてもよいだろう．Integrate[f, x]で積分した結果を微分すると，必ずもとの式 f と数学的に等しい結果が得られる．
一般に，微分を取ると f になる関数はいくつも存在する．Integrate[f, x]はその内の1つにすぎない．微分した形が同じになる関数は任意の積分定数を加えたり，離散点以外では定数である任意の関数を加えることで他にいくらでも構成できる．
特別に積分範囲を指定した定積分では，積分定数は消えてしまう．不定積分は任意定数分の不確定さはあるものの，積分範囲を指定しないままの方が都合がよいことも多い．
| In[1]:= |
| Out[1]= |  |
任意な定数を不定積分に加えても，微分すれば同じ形が得られる．Integrateは同じ導関数を持った関数の1つでしかない．
| In[2]:= |
| Out[2]= |  |
| In[3]:= |
| Out[3]= |  |
| In[4]:= |
| Out[4]= |  |
| In[5]:= |
| Out[5]= |  |
関数Integrateの機能の仕方として，積分変数に従属していることが明示的に示されていない関数または変数は，積分変数から独立しているとみなされ定数として扱われる．このため，Integrateは偏微分関数Dの逆関数のように機能する．
| In[6]:= |
| Out[6]= |  |
| In[7]:= |
| Out[7]= |  |
Integrateでは，さらに，積分式にある未知な項はすべて「一般的」な値を持つものとして扱われる．例えば，積分 
を求めると，
が求まる．これは，一般的な 
の値では正解でよいが，
の特殊な場合には間違いになってしまう．
| In[8]:= |
| Out[8]= |  |
| In[9]:= |
| Out[9]= |  |
ある積分をしたなら，結果として得られる式はいくつもの形で書き表すことが可能である．Mathematica はその中でも最も使いやすい形を見付けて返すようになっている．例えば，複素数で入力をしていなければ積分における複素数の明示的な提示はしない．
ArcTanが使われ積分が構成される．
| In[10]:= |
| Out[10]= |  |
今度は，積分にArcTanhが使われる．
| In[11]:= |
| Out[11]= |  |
| In[12]:= |
| Out[12]= |  |
| In[13]:= |
| Out[13]= |  |
| In[14]:= |
| Out[14]= |  |
Integrateは，最終的により単純な形にする．
| In[15]:= |
| Out[15]= |  |
