微積5.1.4 前に戻る トップへ戻る 問題5.1.4 f(x,y)、g(x,y)が、長方形領域Dで積分可能な関数とするとき、次を示せ。 (1)∬D{f(x,y)±g(x,y)} dxdy=∬Df(x,y) dxdy±∬Dg(x,y) dxdy (2)∬Dcf(x,y) dxdy=c∬Df(x,y) dxdy ( c:実数) (3)|∬Df(x,y) dxdy|≦∬D|f(x,y)| dxdy 《ポイント》 長方形領域Dの分割Δを用いて議論します。教科書で紹介されている定理によって和の形に落とし込んでから演算を行えば簡単に示すことができます。 《定理》 f(x,y)は長方形領域Dで積分可能とする。領域Dの分割Δの小領域Δijの中に任意の点(αij,βij)をとるとき、次の式が成り立つ。∬Df(x,y) dxdy=lim|Δ|→0∑i,jf(αij,βij)(xi−xi−1)(yj−yj−1) 《解答例》 (1) Δを長方形領域Dの分割とし、ΔijをΔの小領域とする。Δijにおける点(αij,βij)をとると∬Df(x,y) dxdy=lim|Δ|→0∑i,jf(αij,βij)(xi−xi−1)(yj−yj−1) ∬Dg(x,y) dxdy=lim|Δ|→0∑i,jg(αij,βij)(xi−xi−1)(yj−yj−1)となる。この2式の右辺は自由に和・差をとれるため、 ∬Df(x,y) dxdy±∬Dg(x,y) dxdy=lim|Δ|→0∑i,jf(αij,βij)(xi−xi−1)(yj−yj−1) ±lim|Δ|→0∑i,jg(αij,βij)(xi−xi−1)(yj−yj−1)=lim|Δ|→0∑i,j{f(αij,βij)±g(αij,βij)}(xi−xi−1)(yj−yj−1)と書き直すことができる。一方で∬D{f(x,y)±g(x,y)} dxdy=lim|Δ|→0∑i,j{f(αij,βij)±g(αij,βij)}(xi−xi−1)(yj−yj−1)であるから ∬D{f(x,y)±g(x,y)} dxdy =∬Df(x,y) dxdy±∬Dg(x,y) dxdy が成立する。 □ (2) Δを長方形領域Dの分割とし、ΔijをΔの小領域とする。Δijにおける点(αij,βij)をとると∬Dcf(x,y) dxdy=lim|Δ|→0∑i,jcf(αij,βij)(xi−xi−1)(yj−yj−1)=clim|Δ|→0∑i,jf(αij,βij)(xi−xi−1)(yj−yj−1)と式変形できる。一方でc∬Df(x,y) dxdy=clim|Δ|→0∑i,jf(αij,βij)(xi−xi−1)(yj−yj−1)であるから∬Dcf(x,y) dxdy=c∬Df(x,y) dxdyが成立する。 □ (3) Δを長方形領域Dの分割とし、ΔijをΔの小領域とする。Δijにおける点(αij,βij)をとると|∬Df(x,y) dxdy|=lim|Δ|→0|∑i,jf(αij,βij)(xi−xi−1)(yj−yj−1)|≦lim|Δ|→0∑i,j|f(αij,βij)|(xi−xi−1)(yj−yj−1)と式変形できる。一方で∬D|f(x,y)| dxdy=lim|Δ|→0∑i,j|f(αij,βij)|(xi−xi−1)(yj−yj−1)であるから|∬Df(x,y) dxdy|≦∬D|f(x,y)| dxdyが成立する。 □ 復習例題は設定していません。 前に戻る トップへ戻る