【微分積分】8-4-2 不定符号関数の広義重積分|要点まとめ
このページでは、大学数学の微分積分で扱う「不定符号関数の広義重積分」について解説します。絶対収束と広義重積分可能性の必要十分条件を整理し、極座標変換を用いた実践的な計算例題と丁寧な解答・解説を掲載しています。
不定符号関数の広義重積分
【広義重積分可能であるための必要十分条件】
広義重積分\(\displaystyle \iint_Df(x,y)dxdy\)について、以下が成り立つ。
(1)\(\displaystyle \iint_Df(x,y)dxdy\)が収束
\(\ \ \ \Longleftrightarrow\)\(\displaystyle \iint_D|f(x,y)|dxdy\)が収束
(2)\(\displaystyle \iint_Df(x,y)dxdy\)が収束すれば、\(D\)の任意の近似増加列\(\{D_n\}_{n=1}^\infty\)に対して
\(\displaystyle \iint_Df(x,y)dxdy=\lim_{n\to\infty}\iint_{D_n}f(x,y)dxdy\)
が成り立つ。
【例題】次の広義重積分を求めなさい。
(1)\(\displaystyle \iint_D\frac{2x-y}{x^2+y^2}dxdy\)
\(D=\{(x,y)|x\geqq0,y\geqq0\}\)
\(D=\{(x,y)|x\geqq0,y\geqq0\}\)
\(\displaystyle \iint_D\frac{2x-y}{x^2+y^2}dxdy\)が絶対収束する確認する。
シュワルツの不等式より\(D\)上で
\(\displaystyle \left|\frac{2x-y}{x^2+y^2}\right|=\frac{|2x-y|}{x^2+y^2}\leqq\frac{\sqrt{5}\sqrt{x^2+y^2}}{x^2+y^2}=\frac{\sqrt{5}}{\sqrt{x^2+y^2}}\)
\(D\)の近似増加列を\(\{D_n\}_{n=1}^\infty\)とすると
\(\displaystyle D_n=\left\{(x,y)|\frac{1}{n^2}\leqq x^2+y^2\leqq 1,x\geqq0,y\geqq0\right\}\)
\(D_n\)を極座標変換すると
\(\displaystyle E_n=\left\{(r,\theta)|\frac{1}{n}\leqq r\leqq 1,0\leqq \theta\leqq \frac{\pi}{2}\right\}\)
\(\displaystyle \iint_{D_n}\frac{1}{x^2+y^2}dxdy\)
\(\displaystyle =\lim_{n\to\infty}\iint_{E_n}\frac{1}{\sqrt{r^2}}・rdrd\theta\)
\(\displaystyle =\lim_{n\to\infty}\int_\frac{1}{n}^1dr\int_0^\frac{\pi}{2}d\theta\)
\(\displaystyle =\lim_{n\to\infty}\frac{\pi}{2}\left(1-\frac{1}{n}\right)\)
\(\displaystyle =\frac{\pi}{2}\)
より、定符号関数\(\displaystyle \frac{\sqrt{5}}{x^2+y^2}dxdy\)は\(D\)上で広義重積分可能
すなわち、比較判定法より\(\displaystyle \iint_D\left|\frac{2x-y}{x^2+y^2}\right|dxdy\)も収束する。
求める広義重積分は
\(\displaystyle \iint_D\frac{2x-y}{x^2+y^2}dxdy\)
\(\displaystyle =\lim_{n\to\infty}\iint_{E_n}\frac{r(2\cos\theta-\sin\theta)}{r^2}・rdrd\theta\)
\(\displaystyle =\lim_{n\to\infty}\int_\frac{1}{n}^1dr\int_0^\frac{\pi}{2}(2\cos\theta-\sin\theta)d\theta\)
\(\displaystyle =\lim_{n\to\infty}\left(1-\frac{1}{n}\right)[2\sin\theta+\cos\theta]_0^\frac{\pi}{2}\)
\(\displaystyle =\lim_{n\to\infty}\left(1-\frac{1}{n}\right)\)
\(\displaystyle =1\)
シュワルツの不等式より\(D\)上で
\(\displaystyle \left|\frac{2x-y}{x^2+y^2}\right|=\frac{|2x-y|}{x^2+y^2}\leqq\frac{\sqrt{5}\sqrt{x^2+y^2}}{x^2+y^2}=\frac{\sqrt{5}}{\sqrt{x^2+y^2}}\)
\(D\)の近似増加列を\(\{D_n\}_{n=1}^\infty\)とすると
\(\displaystyle D_n=\left\{(x,y)|\frac{1}{n^2}\leqq x^2+y^2\leqq 1,x\geqq0,y\geqq0\right\}\)
\(D_n\)を極座標変換すると
\(\displaystyle E_n=\left\{(r,\theta)|\frac{1}{n}\leqq r\leqq 1,0\leqq \theta\leqq \frac{\pi}{2}\right\}\)
\(\displaystyle \iint_{D_n}\frac{1}{x^2+y^2}dxdy\)
\(\displaystyle =\lim_{n\to\infty}\iint_{E_n}\frac{1}{\sqrt{r^2}}・rdrd\theta\)
\(\displaystyle =\lim_{n\to\infty}\int_\frac{1}{n}^1dr\int_0^\frac{\pi}{2}d\theta\)
\(\displaystyle =\lim_{n\to\infty}\frac{\pi}{2}\left(1-\frac{1}{n}\right)\)
\(\displaystyle =\frac{\pi}{2}\)
より、定符号関数\(\displaystyle \frac{\sqrt{5}}{x^2+y^2}dxdy\)は\(D\)上で広義重積分可能
すなわち、比較判定法より\(\displaystyle \iint_D\left|\frac{2x-y}{x^2+y^2}\right|dxdy\)も収束する。
求める広義重積分は
\(\displaystyle \iint_D\frac{2x-y}{x^2+y^2}dxdy\)
\(\displaystyle =\lim_{n\to\infty}\iint_{E_n}\frac{r(2\cos\theta-\sin\theta)}{r^2}・rdrd\theta\)
\(\displaystyle =\lim_{n\to\infty}\int_\frac{1}{n}^1dr\int_0^\frac{\pi}{2}(2\cos\theta-\sin\theta)d\theta\)
\(\displaystyle =\lim_{n\to\infty}\left(1-\frac{1}{n}\right)[2\sin\theta+\cos\theta]_0^\frac{\pi}{2}\)
\(\displaystyle =\lim_{n\to\infty}\left(1-\frac{1}{n}\right)\)
\(\displaystyle =1\)
次の学習に進もう!