置換積分(続き)

次に、∫∞011+x2dxという積分を考えよう。この積分は、x=tanθ(θの意味は右の図を見よ)と置き換えて、dx=dθcos2θを使い、
∫π2011+tan2θdθcos2θdx=∫π20dθ=π2
のように計算できる(
1+tan2θ=1cos2θに注意)。図で、
xを0から
∞まで動かしたら
θがどう変化するかをみれば、積分区間「
x=0から
x=∞」が「
θ=0から
θ=π2」と変わることがわかる。
結果として、11+x2dx=dθという置換がされた。この置き換えの意味を図形で理解しておこう。次の図に、底辺1、高さxの直角三角形の高さをdxだけ大きくしたときの変化を示した。

図に描き込まれた円の半径は1+x2−−−−−√であり、円の一部である中心角dθの扇型を考えると、その扇型の弧の長さは1+x2−−−−−√×dθである。
一方、直角三角形の相似を使うと、
(弧の長さ):dx=1:1+x2−−−−−√
が成り立つから、(弧の長さ)
=dx1+x2√である。以上から、
1+x2−−−−−√×dθ=dx1+x2√が言えて、これからこの積分は角度の積分に書き直すことができて、
∫∞011+x2dx=∫π20dθ=π2
と答えが出る。積分の上限が
∞でない場合も同様に考えて、
∫a011+x2dx=arctana
という式を出せる。たとえば
∫1011+x2dx=π4や
∫13√011+x2dx=π6がわかる。ところで、
11+x2は
|x|<1なら
11+x2=1−x2+x4−x6+x8−x10+⋯
と展開できるから、
∫a011+x2dx=[x−x33+x55−x77+x99−x1111+⋯]a0
と考えることで、
arctana=a−a33+a55−a77+a99−a1111+⋯
とわかる。この
aに1を代入すると
arctan1=π4になる、というのがライプニッツも発見したという
πの計算方法である。
上でdx1+x2=dθと置き換える部分の説明は、図で描くよりも「微分」という計算をした方がわかりやすい人も多いだろう。そう思った人は式の計算で理解しておけばよい。どっちであろうと、自分にわかりやすい方で理解すればよいのはもちろんである。
問題により、そして(思考方法は人それぞれなので)個人により、「どう考えれば理解しやすいか」は違う。では「式で計算できればそれでよい」(または「図解できればそれでよい」)かというと、次に現れる問題があなたにとってどちらで理解しやすいかはわからないわけだから、いろんな方法で理解することを(少なくとも``数学修行''をしている間は)心がけておいた方がいいだろう。
ときどきたくさん教えられてもわかんなくなるから、教える方法は一つにしてくださいという人がいるのだが、一つしか武器がない状態では太刀打ちできない強敵に出会う時のために、修行はしておこう。
立ち向かう相手(自然現象)は強大なのだから持っている武器は多い方がよい。
三角関数を使った置換積分
定積分を実行した時にやった置換積分を使うことで、複雑に見える関数の積分を実行することができる。たとえば、x=cosθとおくとその微分に関してはdx=−sinθ±1−x2√dθという置換ができる。これを整理するとdx1−x2√=±dθとなるので、1−x2−−−−−√を含むような複雑な式が出てきた時は、これを使って積分をθの積分に変えることができる。たとえば\節{tikandeha}では
∫101−x2−−−−−√dx=∫10(1−x2)dx1−x2−−−−−√=∫π20sin2θdθ
という変形を行った。同様に、
∫dx11−x2−−−−−√=∫dθ=θ+C=arccosx+C
のような積分が可能である。
x=cosθと置いて計算を始めたから、最後で
θ=arccosxと戻した。実はこうできるかどうかは
θの範囲による。
ここで、x=sinθとおいても同様のことができるので、
∫dx11−x2−−−−−√=arcsinx+C
という式を作ることができて、これも正しい。「
sinでも
cosでも正しいなんて変ではないか」と思うかもしれないが、
sin(θ+π2)=cosθのような式があるから、角度を平行移動すれば
sinは
cosになる(逆も同様)。つまり積分定数の違いでどちらになってもよい(同様に、
sin(θ+π)=−sinθのような式もあるので、
∫dx11−x2−−−−−√=−arcsinx+C
という式も、正しい(もちろん、正しく積分定数を調整するという前提のもとでである)。
11+x2が出てくる積分はx=tanθと置くことで簡単化できる。というのは、dx=1cos2θdθ=(1+tan2θ)dθという変形から、11+x2dx=dθと変形していくことができるからである。これから、
∫dx11+x2∫dxx1+x2===∫dθ=θ+C=arctanx+C∫dθtanθ=−log(cosθ)+C=12log(1cos2θ)1+tan2θ+C12log(1+x2)+C
のように積分をしていくことができる。
双曲線関数を使った置換積分
では、たとえば11+x2√dxが出てきたらどうしよう??---この形の積分が簡単になるような関数はあるだろうか?---そもそも、「11−x2√dxがでてきたらx=sinθ」という考えがうまくいったのは、x=sinθの微分がdx=cosθdθで、dx1−x2√=dθとなったからであった。そこで、x=f(θ)と置いたとき、f′(θ)=1+x2−−−−−√になるような関数があればこの積分ができる。そういう関数として知られているのが、「双曲線関数」と呼ばれる関数群の一つであるsinhθである。sin,cosのテイラー展開では次数が上がるごとに符号が反転するが、以下のように符号が反転しない
sinhθcoshθ==θ+θ33!+θ55!+⋯=∑n=0∞θ2n+1(2n+1)!1+θ22!+θ44!+⋯=∑n=0∞θ2n(2n)!
のような展開級数を作る。これらの関数が双曲線関数(
sinhと
cosh)である。すぐにわかるように、
ddθcoshθ=sinhθ, ddθsinhθ=coshθ
である(ここでも、三角関数にはあるマイナス符号がない)。
coshθ+sinhθcoshθ−sinhθ==1+θ+θ22!+θ33!+θ44!+⋯=∑n=0θnn!=eθ1−θ+θ22!−θ33!+θ44!−⋯=∑n=0(−θ)nn!=e−θ
のように足したり引いたりすることで指数関数になる。

この式はオイラーの関係式eiθ=cosθ+isinθのiがなくなった式であるとも言える。
coshとsinhのグラフは右のようになる。eθ×e−θ=1から
(coshθ+sinhθ)eθ(coshθ−sinhθ)e−θ=cosh2θ−sinh2θ=1
がわかる(
cos2θ+sin2θ=1に似た式である)。
また、逆に解くことで以下を得る。
coshθ=eθ+e−θ2,sinhθ=eθ−e−θ2
x=coshθ,y=sinhθとしてグラフを描くと下のようになる。

これが「双曲線関数」という名前の由来である。「双曲線」と言われると思い出すのはy=1x(いわゆる「反比例」の式とグラフ)の方かもしれない。Y=1XすなわちXY=1とx2−y2=1は、\ang{45}(π4ラジアン)回転させた関係にある。それX=x+y,Y=x−yを代入することでこの二つの式が入れ替わるXY=x2−y2ということからもわかる。
さて、x=sinhθと置換した場合どうなるかを考えよう。微分してdx=coshθdθであるが、coshθ=1+sinh2θ−−−−−−−−−√である(coshθは定義からして正にしかならないので、 √の前に±はいらない)。よって、dx1+x2√=dθという置き換えができて、11+x2√の積分が可能になる。たとえば、
∫dx11+x2−−−−−√=arcsinh x+C
である(
arcsinhは
sinhの逆関数)。
面積・体積と積分
円錐の体積

円錐や角錐の体積は底面積をS、高さをhとすると、13Shで書ける。これを定積分を使って出そう。頂点を原点として、底面に垂直な方向の距離を考えて、その距離xとする(面に垂直な下向きの方向にx軸を取る)。xは下向きに取っているので、『高さ』とは逆になっていることに注意しよう。
そして定積分の精神に従って、このxを微小区間に切り刻み、その一つの微小区間の幅(この円錐や角錐をビルと考えた時の「一階の高さ」である)をdxとする(座標xから座標x+dxまでを切り取って考える)。

この一階の体積は、この階の底面積×dxである。面積はスケールの自乗に比例するから、底面積はS×x2h2である(図では円錐の場合を示したが、角錐であっても同様)から、
∫h0Sx2h2dx=[Sx33h2]h0=Sh3
となる。分母の3は
∫bax2dx=[x33]baから来たのである。
ここで体積を計算した方法からすると、円錐や角錐の頂点が(底面に平行な方向に)移動したとしても体積が変わらない(つまり体積は底面積と高さだけで決まり、傾きにはよらない)ことが納得できる。これは円柱などの場合でも同じである。
球の体積
球も同様に微小な高さdxに分けて考える。

今度はx=0は球の中心におくと、図に描いたように、各階の床は半径r2−x2−−−−−−√の円で、底面積π(r2−x2)を持つ。これに高さdxを掛ければ一階分の体積が出るから、範囲−r<x<rでこれを積分して、
∫r−rπ(r2−x2)dx=π[r2x−x33]r−r=π(r3−r33−(−r3+r33))=4πr33
となる。
同じ結果ではあるが、球を水平に切るのではなく、小さい球殻から大きい球殻へと(風船を膨らますように)足算する方法もある。球の表面積が4πr2であることを使って
∫r04πx2dx=4π[x33]r0=4πr33
のように計算する方法もある。
曲線の長さ
y=f(x)で表現されるグラフの線の長さを計算してみよう。微小な区間(x,y)から(x+dx,y+dy)の長さはdx2+dy2−−−−−−−−√であるから、これを足していく。ここで、
dx2+dy2−−−−−−−−√=1+(dydx)2−−−−−−−−−−√dx
という変形をする。この微小区間の長さを足算していけばよい。
xを独立変数、
yを従属変数と考えることにすれば、これは普通の積分になっている。
(a,f(a))から
(b,f(b))に達する線の長さは
∫ba1+(dydx)2−−−−−−−−−−√dx
という積分で得られる。

少し難しい例で曲線の長さを出してみよう。硬貨を2枚机の上において、一方を固定してもう一方をその周りにぐるりと廻してみる(この時、硬貨と硬貨の接触点はすべらないようにする)。
動かした方の硬貨が一周して元に戻ってきたとき、この硬貨の縁の一点(たとえば、図に赤で示した点、以下「移動点」と呼ぶ)はどれだけの距離を動いているだろうか??---図に示したように、この軌跡はハートマークのような形を描く(「カージオイド」と呼ばれている)。

まずこの移動点の位置は(上図のように考えると)、
xy==2rsinθ−rsin2θ2rcosθ−rcos2θ
であるから、
θが微小変化したとして
x,yの微小変化は
dxdy==2r(cosθ−cos2θ)dθ−2r(sinθ−sin2θ)dθ
であり、この微小部分の長さは
(dxdθ)2+(dydθ)2−−−−−−−−−−−−√dθで与えられるのでまずルートの中身を計算すると、
(dxdθ)2+(dydθ)2====4r2((cosθ−cos2θ)2+(sinθ−sin2θ)2)4r2(2−2cosθcos2θ−2sinθsin2θ)8r2(1−cosθ)16r2sin2θ2 ↓加法定理cosθcos2θ+sinθsin2θ=cos(2θ−θ) ↓半角公式1−cosθ2=sin2θ2
となり、微小部分の長さが
4r∣∣sinθ2∣∣dθ(絶対値に注意!)であることがわかる。
sinθ2は
0<θ<πでは正で、
π<θ<2πでは負であることに注意して、これを定積分して、
∫2π04r∣∣∣sinθ2∣∣∣dθ=8r∫π0sinθ2dθ=8r[−2cosθ2]π0=16r
が全体の長さである(円が関係するのに答えには
πが含まれないという、面白い結果が出る)。
残念ながら授業はこの計算の途中で終わってしまいましたが、残りはフォローしておいてね。