応用数学 - 広義積分と無限積分のソースを表示

== 概要 ==
広義積分および無限積分について理解する。<br>
<br><br>

== 極限の例題 ==
 例題:
 <math>
 f(x) =
 \begin{cases}
 x & \qquad (x < 1) \\
 0 & \qquad (x \ge 1)
 \end{cases}
 </math>
 について、以下の極限を求めよ。
 
 (1) <math>\lim_{x \to 1 + 0}{f(x)}</math>
 (2) <math>\lim_{x \to 1 - 0}{f(x)}</math>
 (3) <math>\lim_{x \to 1}{f(x)}</math>
 (4) <math>\lim_{x \to + \infty}{f(x)}</math>
 (5) <math>\lim_{x \to - \infty}{f(x)}</math>
 
 [[ファイル:Improper Integral 1.png|フレームなし|中央]]
 
 解答:
 (1)
 xを正の方向から1に近づけた極限なので、
 <math>\lim_{x \to 1 + 0}{f(x)} = 0</math>
 
 (2)
 xを負の方向から1に近づけた極限なので、
 <math>\lim_{x \to 1 - 0}{f(x)} = 1</math>
 
 (3)
 xを正と負の両方から近づけた極限である。
 しかし、(1)(2)より、右側極限と左側極限は一致しない。
 そのため、一定の値には収束しないので、
 <math>\lim_{x \to 1}{f(x)}</math> は値なし。
 
 (4)
 xを限りなく大きくしたときの極限なので、
 <math>\lim_{x \to + \infty}{f(x)} = 0 \qquad ( \mbox{ 収 束 } )</math>
 
 (5)
 xを限りなく小さくしたときの極限なので、
 <math>\lim_{x \to - \infty}{f(x)} = - \infty \qquad ( \mbox{ 発 散 } )</math>
<br><br>

== 連続な関数 ==
 定義:
 関数 <math>f(x)</math> が <math>x = a</math> で連続とは、以下の条件を満たすことである。
 (1) <math>f(a)</math> が存在する。
 (2) <math>\lim_{x \to a} {f(x)}</math> が存在する。
 (3) <math>\lim_{x \to a} {f(x)} = f(a)</math>
 
 関数 <math>f(x)</math> が区間Iで連続とは、以下の条件を満たすことである。
 区間Iの任意の値aについて、<math>f(x)</math> は <math>x = a</math> で連続。
<br><br>

== 区分的に連続な関数 ==
 定義:
 <math>a \le x \le b</math> で定義された関数 <math>f(x)</math> が以下の条件を満たすとき、 <math>f(x)</math> は <math>a \le x \le b</math> で区分的に連続(piecewisely continuous)であるという。
 
 (1) <math>f(x)</math> は <math>a \le x \le b</math> において有限個の点を除いて連続である。
 (2) <math>f(x)</math> の不連続な点cにおいては、以下で示す右側極限と左側極限が存在する。
     <math>\lim_{x \to c + 0} {f(x)} \qquad \lim_{x \to c - 0} {f(x)}</math>
 
 <math>f(x)</math> が <math>a \le x \le b</math> で区分的に連続であるとは、言い換えると以下の条件を満たすことである。
 (1) 不連続な点があっても有限個である。
 (2) 不連続な点では、値が <math>+ \infty</math> や <math>- \infty</math> に発散したり振動したりしない。
 
 このような区分的に連続な関数に対しては、連続な関数とほぼ同様に定積分を行うことができる。
<br>
下図に、区分的に連続な関数を示す。<br>
[[ファイル:Improper Integral 2.png|フレームなし|中央]]
<center>図. <math>a \le x \le b</math> において区分的に連続な関数 <math>f(x)</math></center><br>
<br>
ラプラス変換では、このような関数を扱う。<br>
<br><br>

== 区分的に滑らかな関数 ==
 定義:
 <math>a \le x \le b</math> で定義された関数 <math>f(x)</math> が以下の条件(1)(2)を全て満たすとき、 <math>f(x)</math> は <math>a \le x \le b</math> で区分的に滑らか(piecewisely smooth)であるという。
 
 (1) <math>f(x)</math> がこの区間において区分的に連続である。
 (2) <math>f(x)</math> の導関数 <math>\frac{df(x)}{dx}</math> がこの区間において区分的に連続である。(ただし、 <math>f(x)</math> に不連続点や、尖点がある場合、 <math>\frac{df(x)}{dx}</math> はそれらの点を除いて考える)
<br><br>

== 広義積分 ==
==== 広義積分とは ====
定積分(definite integral)は、ある <math>x</math> の区間 <math>a \le x \le b</math> 上で連続な関数 <math>f(x)</math> で考えていた。<br>
ここでは、 <math>x = a</math> や <math>x = b</math> で <math>f(x)</math> が発散してしまったり、定義されていない場合や、不連続の場合を考える。<br>
<br>
このように、区間の端で不連続な <math>x</math> にまで拡張された定積分を広義積分(improper integral)という。<Br>
また、広義積分が収束するとき、広義積分可能(improper integrable)であるという。<br>
<br>
==== 広義積分の定義 ====
 定義1:
 <math>f(x)</math> は <math>a < x \le b</math> で連続であるとする。
 このとき、 <math>a < x \le b</math> における定積分を以下で定義する。
 
 <math>\int_{a}^{b} {f(x)} \, dx = \lim_{\alpha \to a + 0} {\int_{\alpha}^{b} {f(x)} \, dx}</math>
 
 説明:
 <math>a < \alpha \le b</math> となる <math>\alpha</math> をとると、 <math>\alpha \le x \le b</math> において <math>f(x)</math> は連続なので、通常の定積分 <math>\int_{b}^{\alpha} {f(x)} \, dx</math> が考えられる。
 その結果を <math>\alpha \longrightarrow a + 0</math> として右側極限を考えたのが上の定義式である。
 関数により、収束する場合もあり、収束しない場合もある。
<br>
[[ファイル:Improper Integral 3.png|フレームなし|中央]]
<br>
 定義2:
 <math>f(x)</math> は <math>a \le x < b</math> で連続であるとする。
 このとき、 <math>a \le x < b</math> における定積分を以下で定義する。
 
 <math>\int_{b}^{a} {f(x)} \, dx = \lim_{\beta \to b - 0} {\int_{a}^{\beta} {f(x)} \, dx}</math>
<br>
 定義3:
 <math>f(x)</math> は <math>a < x < b</math> で連続であるとする。
 このとき、 <math>a < x < b</math> における定積分を以下で定義する。
 
 <math>\int_{b}^{a} {f(x)} \, dx = \lim_{\begin{matrix} \alpha \to a + 0 \\ \beta \to b - 0 \end{matrix}} {\int_{\alpha}^{\beta} {f(x)} \, dx}</math>
<br>

==== 積分区間の分割 ====
<math>f(x)</math> が <math>a \le x < c, \, c < x \le b</math> において連続で、 <math>x = c</math> で不連続な場合、以下のように積分区間を分割して考えればよい。<br>
<br>
<math>
\begin{align}
\int_{b}^{a} {f(x) \, dx} &= \int_{a}^{c} {f(x) \, dx} + \int_{c}^{b} {f(x) \, dx} \\
&= \lim_{\gamma_{1} \to c - 0} {\int_{a}^{\gamma_{1}} {f(x) \, dx}} + \lim_{\gamma_{2} \to c + 0} {\int_{\gamma_{2}}^{b} {f(x) \, dx}}
\end{align}
</math><br>
<br>
<math>f(x)</math> が <math>a \le x < c, \, c < x \le b</math> において連続で、 <math>x = c</math> で不連続な場合、<br>
<math>f(x)</math> が <math>x = c</math> で不連続であっても、<math>c</math> に関する <math>f(x)</math> の右側極限と左側極限の値が有限の値に収束する場合には、普通の積分と同じように計算することができる。<br>
<br>
一方、それら右側積分や左側積分の値が <math>+ \infty</math> や <math>- \infty</math> に発散したり、振動したりする場合には、広義積分の収束・発散を調べる必要がある。<br>
<br>
下図に、積分区間の分割の概要を示す。(この図は、上図の区分的に連続な関数の再掲である)<br>
<center><math>\int_{a}^{b} {f(x) \, dx} = \int_{a}^{c{1}} {f(x) \, dx} + \int_{c_{1}}^{c_{2}} {f(x) \, dx} + \int_{c_{2}}^{c{3}} {f(x) \, dx} + \int_{c_{3}}^{b} {f(x) \, dx}</math></center><br>
[[ファイル:Improper Integral 2.png|フレームなし|中央]]
<center>図. <math>a \le x \le b</math> において区分的に連続な関数 <math>f(x)</math></center><br>
<br>
==== 広義積分の例題 ====
 例題:
 関数 <math>
 f(x) =
 \begin{cases}
 x & \qquad (x < 1) \\
 0 & \qquad (x \ge 1)
 \end{cases}
 </math>
 のとき、以下の広義積分の値を求めよ。
 
 <math>\int_{0}^{2} {f(x) \, dx}</math>
<br>
[[ファイル:Improper Integral 4.png|フレームなし|中央]]
<br>
 解答:
 <math>f(x)</math> は <math>x = 1</math> で不連続なので積分区間を分けて考える。
 <math>f(x)</math> は <math>x = 1</math> において左側極限も右側極限も存在し、<math>0 \le x \le 2</math>において区分的に連続なので、通常の定積分と同じように計算できる。
 
 <math>
 \begin{align}
 \int_{0}^{2} {f(x) \, dx} &= \int_{0}^{1} {x \, dx} + \int_{1}^{2} {0 \, dx} \\
 &= \Big[ \frac{x^{2}}{2} \Big]_{0}^{1} + 0 \\
 &= \frac{1}{2}
 \end{align}
 </math>
<br><br>

== 無限積分 ==
==== 無限積分とは ====
f(x)の積分区間が無限区間となっている場合の定積分を考えることができる。<br>
<br>
積分区間を無限の区間に拡張した定積分を無限積分という。<br>
また、無限積分が収束するとき、無限積分可能であるという。<br>
<br>
無限積分に関する収束条件が知られている。<br>
<br>
==== 無限積分の定義 ====
 定義1:
 <math>x \ge a</math> で定義された区分的に連続な関数 <math>f(x)</math> に対して、無限区間の定積分を以下で定義する。
 <math>\int_{a}^{+ \infty} {f(x) \, dx} = \lim_{\beta \to + \infty} {\int_{a}^{\beta} {f(x) \, dx}}</math>
 
 説明:
 <math>f(x)</math> が <math>x \ge a</math> で区分的に連続な場合、 <math>a < \beta</math> となる <math>\beta</math> をとると、
 <math>a \le x \le \beta</math> では <math>f(x)</math> は区分的に連続なので、定積分 <math>\int_{a}^{\beta} {f(x) \, dx}</math> は可能である。
 そこで、 <math>\beta \longrightarrow + \infty</math> の時の極限を考える。
<br>
 定義2:
 <math>x \le b</math> で定義された区分的に連続な関数 <math>f(x)</math> に対して、無限区間の定積分を以下で定義する。
 <math>\int_{- \infty}^{b} {f(x) \, dx} = \lim_{\alpha \to - \infty} {\int_{\alpha}^{b} {f(x) \, dx}}</math>
 
 定義3:
 <math>- \infty</math> から <math>+ \infty</math> で定義された区分的に連続な関数 <math>f(x)</math> に対して、無限区間の定積分を以下で定義する。
 <math>\int_{- \infty}^{+ \infty} {f(x) \, dx} = \lim_{\begin{matrix} \alpha \to - \infty \\ \beta \to + \infty \end{matrix}} {f(x) \, dx}</math>
<br>
==== 無限積分の収束 ====
 定理:
 <math>x \ge a</math> で定義された区分的に連続な関数 <math>f(x)</math> に対して、
 <math>\int_{a}^{+ \infty} {|f(x)| \, dx} \le M</math>
 を満たす定数Mが存在すれば、以下の無限積分は収束する。
 
 <math>\int_{a}^{+ \infty} {f(x) \, dx}</math>
<br>
==== 絶対可積分な関数 ====
 定義:
 <math>f(x)</math> が以下を満たすとき、 <math>f(x)</math> は絶対可積分(absolutely integrable)であるという。
 <math>\int_{- \infty}^{+ \infty} { \Big| f(x) \Big| \, dx} \le M \qquad ( \mbox{M : 正 の 定 数 } )</math>
 
 <math>f(x)</math> が絶対可積分ならば、以下が成立する。 (逆は成立するとは限らない)
 <math>\lim_{x \to \pm \infty} {f(x)} = 0</math>
<br>
==== 無限積分の例題 ====
 例題:
 以下の無限積分を求めよ。
 <math>\int_{0}^{+ \infty} {e^{-x} \, dx}</math>
 
 解答:
 無限積分の定義に従って書き下して計算する。
 <math>
 \begin{align}
 \int_{0}^{+ \infty} {e^{-x} \, dx} &= \lim_{\beta \to + \infty} {\int_{0}^{\beta} {e^{-x} \, dx}} \\
 &= \lim_{\beta \to + \infty} \Big[ -e^{-x} \Big]_{0}^{\beta} \\
 &= \lim_{\beta \to + \infty} {(-e^{- \beta} + e^{0})} \\
 &= \lim_{\beta \to + \infty} {(-e^{- \beta} + 1)} \\
 &= 0 + 1 \qquad \because \lim_{\beta \to \infty} {-e^{- \beta}} = 0 \\
 &= 1
 \end{align}
 </math>
<br><br>


__FORCETOC__
[[カテゴリ:解析学]]