「応用数学 - 広義積分と無限積分」の版間の差分

提供:MochiuWiki - SUSE, Electronic Circuit, PCB
ナビゲーションに移動 検索に移動
(ページの作成:「== 概要 == <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> 解答: (1) xを正の方向から1に近づ…」)
 
19行目: 19行目:
  (4) <math>\lim_{x \to + \infty}{f(x)}</math>
  (4) <math>\lim_{x \to + \infty}{f(x)}</math>
  (5) <math>\lim_{x \to - \infty}{f(x)}</math>
  (5) <math>\lim_{x \to - \infty}{f(x)}</math>
[[ファイル:Improper Integral 1.png|フレームなし|中央]]
   
   
  解答:
  解答:
37行目: 39行目:
  (4)
  (4)
  xを限りなく大きくしたときの極限なので、
  xを限りなく大きくしたときの極限なので、
  <math>\lim_{x \to + \infty}{f(x)} = 0 \qquad \mbox{ 収 束 }</math>
  <math>\lim_{x \to + \infty}{f(x)} = 0 \qquad ( \mbox{ 収 束 } )</math>
   
   
  (5)
  (5)
  xを限りなく小さくしたときの極限なので、
  xを限りなく小さくしたときの極限なので、
  <math>\lim_{x \to - \infty}{f(x)} = - \infty \qquad \mbox{ 発 散 }</math>
  <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>
<br><br>



2023年9月3日 (日) 15:49時点における版

概要



極限の例題

例題:

について、以下の極限を求めよ。

(1) 
(2) 
(3) 
(4) 
(5) 

Improper Integral 1.png
解答:
(1)
xを正の方向から1に近づけた極限なので、


(2)
xを負の方向から1に近づけた極限なので、


(3)
xを正と負の両方から近づけた極限である。
しかし、(1)(2)より、右側極限と左側極限は一致しない。
そのため、一定の値には収束しないので、
 は値なし。

(4)
xを限りなく大きくしたときの極限なので、


(5)
xを限りなく小さくしたときの極限なので、



連続な関数

定義:
関数  で連続とは、以下の条件を満たすことである。
(1)  が存在する。
(2)  が存在する。
(3) 

関数  が区間Iで連続とは、以下の条件を満たすことである。
区間Iの任意の値aについて、 で連続。



区分的に連続な関数

定義:
 で定義された関数  が以下の条件を満たすとき、  で区分的に連続(piecewisely continuous)であるという。

(1)  において有限個の点を除いて連続である。
(2)  の不連続な点cにおいては、以下で示す右側極限と左側極限が存在する。
    

 で区分的に連続であるとは、言い換えると以下の条件を満たすことである。
(1) 不連続な点があっても有限個である。
(2) 不連続な点では、値が  に発散したり振動したりしない。

このような区分的に連続な関数に対しては、連続な関数とほぼ同様に定積分を行うことができる。


下図に、区分的に連続な関数を示す。

Improper Integral 2.png
図. において区分的に連続な関数



ラプラス変換では、このような関数を扱う。