\usepackagecancel

Return to 円の面積を2重積分で求める

参考:楕円の面積を2重積分で求める

S=Ddxdy,D:x2a2+y2b21


S=Ddxdy は領域 D の面積を表すのであった。 x2a2+y2b21 つまり,領域 D は長半径・短半径 a,b の楕円の面積であるから,公式より S=πab である。では実際に Ddxdy をどうやって計算するかという話。

円の面積を2重積分で求める」で,円の面積は求めているので,参考までに楕円の面積についてもまとめておく。楕円の面積は天文学・宇宙物理学のケプラーの第2法則(面積速度一定則)の際に使うので,念のために Maxima で求めている(「Maxima-Jupyter で楕円の面積を求める」)が,Maxima に頼らず,人力でも積分したくなるでしょ?

以下で示すように,素直に楕円の中心を原点としたデカルト座標で累次積分してください。間違って,楕円の焦点を原点とした極座標を使って2重積分しようとするものなら,痛い目にあいます。

累次積分を使う

領域 D の条件式から,
D:x2a2+y2b21y2b2(1x2a2)

b1x2a2yb1x2a2

S=Ddxdy=aa{b1x2a2b1x2a2dy}dx=2aab1x2a2dx

高校数学では,y=f(x)y=g(x) が区間 x1xx2f(x)g(x) のとき,y=f(x), y=g(x), x=x1, x=x2 で囲まれる部分の面積 S

S=x1x2(f(x)g(x))dx

となると習ったと思うが,この式が上記の累次積分で導かれたことになる。

ここで,x=asinθ と変数変換すると,1x2a2=cosθ,dx=acosθdθ
S=2aab1x2a2dx=2abπ/2π/2cos2θdθ=abπ/2π/2(1+cos2θ)dθ=ab[θ+12sin2θ]π/2π/2=πab
S=πab

焦点を原点とした極座標による累次積分

焦点を原点とした極座標 r,ϕ で表した楕円の式は

r(ϕ)=a(1e2)1+ecosϕ,b=a1e2

であった。この極座標で表すと,領域 D

0rr(ϕ),0ϕ2π

となる。したがって楕円の面積は以下のようになるが…

S=Drdrdϕ=02πdϕ0r(ϕ)rdr=1202πr2(ϕ)dϕ=a2(1e2)202π12(1+ecosϕ)2dϕ

cosϕ の有理関数 1(1+ecosϕ)2 の積分になり,ハマります。以前やってた天文学の授業で,「天文学では楕円の中心を原点としたデカルト座標系など使わない。焦点を原点とした極座標だけが出てくるのだ。」などと力説した手前,楕円の面積も r(ϕ) だけで求めようとして,大ハマりしました。これはやってはいけない例として。

答えは既に S=πab と求まっているので,こんな煩わしい積分に時間を潰したくないと思う人は,以下は読み飛ばしてください。

まず,授業でやった「sin 𝑥, cos 𝑥 の有理関数の積分」のセオリーにそって,以下のような変換を行なって置換積分の格好にする。

tanϕ2tdϕ=21+t2dtcosϕ=1t21+t2

まずは不定積分の形で,変数変換後,部分分数に分解し,さらに部分積分も駆使して…(ってこんなの私の腕力ではできません。ここだけこっそり Maxima 使いました。)

12(1+ecosϕ)2dϕ=1(1+e1t21+t2)2dt1+t2=1+t2{(1e)t2+(1+e)}2dt={1+e(1e2)321e1+e1+1e1+et22e(1e2)321e1+e(1+1e1+et2)2}dt(x1e1+et)=1+e(1e2)32dx1+x2e(1e2)322dx(1+x2)2=1(1e2)32dx1+x2e(1e2)32x1+x2=(1e2)32tan1(1e1+et)et(1e2){(1e)t2+(1+e)}

(ここで  2dx(1+x2)2=dx1+x2+x1+x2 を使った。)

上記第2項は,t=tanϕ20 のときも ± のときもゼロになるので定積分には寄与しない。したがって(積分区間内で tanϕ2 の発散があるから慎重に)

02π12(1+ecosϕ)2dϕ=(1e2)32[tan1(1e1+etanϕ2)]0π0+(1e2)32[tan1(1e1+etanϕ2)]π+02π=(1e2)32{(π20)+(0(π2))}=(1e2)32π

最終的に

S=a2(1e2)202π12(1+ecosϕ)2dϕ=a2(1e2)2×(1e2)32π=πa21e2=πab

離心近点離角を使った置換積分

Memo「真近点離角と離心近点離角との関係についてもう少し」にまとめたように,以下のように変数 u を使った置換積分にすると,簡単。u は業界用語で「離心近点離角」または「離心近点角 (Wikipedia)」と呼ぶ。ここでは木下宙著「天体と軌道の力学」にならい,「離心近点離角」で。

離心近点離角の幾何学的意味づけも興味深いが,ここではあくまで置換積分のための変数変換であるという数学的道具としての有効性のみを強調するのみにとどめる。角度座標 ϕ (これは業界用語で「真近点離角」とも呼ばれる)と u の関係は,

1e21+ecosϕ1ecosudϕ=1e21ecosudu

u を使って置換積分すると,(積分範囲が [0,2π] のままなのも便利なところ)

02π12(1+ecosϕ)2dϕ=12(1e2)202π(1ecosu)21e21ecosudu=1e22(1e2)202π(1ecosu)du=1e22(1e2)2[uesinu]02π=π1e2(1e2)2

座標変換し,ヤコビアンを計算して積分

楕円の内部を表す領域 D はデカルト座標 x,y

D:x2a2+y2a2(1e2)1

と書けた。ここで,a は軌道長半径,e は離心率であり,短半径 b とは b=a1e2 の関係があるのであった。

以下のような座標変換をおこなって,新しい座標変数 u,v についての積分になおしてみよう。

x=ucosvy=u1e2sinv  x2a2+y2a2(1e2)=u2a21

したがって,領域 D は,u,v を使って書くと

D: 0ua, 0,v2π

となる。この座標変換によって,微小面積要素は

dxdy=(x,y)(u,v)dudv=

となる。ここで (x,y)(u,v) は変換のヤコビアン。学生諸君は以下のようにちゃんとヤコビアンを計算するんですよ。

(x,y)(u,v)|xuxvyuyv|=xuyvyuxv=

最終的に面積は,

S=Ddxdy=D(x,y)(u,v)dudv=0adu02πdv(x,y)(u,v)=