특이점 (해석학)

위키백과, 우리 모두의 백과사전.
이동: 둘러보기, 검색

해석학에서, 특이점(singularity, singular point)이라는 용어는 복소해석학실해석학의 두 영역에서 각각 다른 의미로 사용된다. 포괄적으로 보면 이것은 일종의 함수의 정의역에 포함되는 점으로서, 특정한 수학적 성질을 갖는 어떤 점을 지칭하는 용어이다. 다음과 같은 두 가지 의미로 분류할 수 있다:

복소해석학에서의 특이점[편집]

복소해석학에서 특이점은 복소함수의 성질을 규명하는 데 매우 중요한 역할을 한다. 점a\,복소함수 f\,의 특이점이고, f\,a\,를 제외한 f\,의 한 근방(neighborhood)에서 해석적이면 점a\,를 특별히 함수 f\,고립특이점(isolated sigularity)이라고 한다. 예를 들어 f(z)= \frac{1}{z}\,z=0\,에서 해석적이 아니지만(정의되지 않음), 그 외의 모든 점에서 해석적이므로 z=0\,f\,의 고립 특이점이다.

고립 특이점은 그 근방에서 함수의 특성에 따라 다시 제거가능 특이점(removable singularity), 극점(pole), 본질적 특이점(essential singularity)으로 구분된다.

고립 특이점을 구분하는 기준은 여러 가지가 있다.

극한을 이용한 특이점의 구분[편집]

  • 제거가능 특이점: 점a\,가 함수 f\,의 고립 특이점이고 \lim_{z \rightarrow a}(z-a)f(z)=0\,이면, a\,f\,의 제거가능 특이점이라고 한다.
  • 극점: 점a\,가 함수 f\,의 고립 특이점이고 \lim_{z \rightarrow a}|f(z)|=\infty \,이면, a\,f\,의 극(극점)이라고 한다.
  • 본질적 특이점: 점a\,가 함수 f\,의 고립 특이점이고 극한 \lim_{z \rightarrow a}f(z)\,가 존재하지 않으면, a\,f\,의 본질적 특이점이라고 한다.

로랑 급수를 이용한 특이점의 구분[편집]

a\,가 함수 f\,의 고립 특이점이면 f\,a\,를 제외한 a\,근방에서 로랑 급수

f(z)=\sum_{n=1}^{\infty}\frac{b_n}{(z-a)^n}+\sum_{n=1}^{\infty}{a_n}{(z-a)^n}\,

로 전개할 수 있다. 위 급수의 처음 합을 주부(主部, principal part), 두 번째 합을 해석부(analytic part)라고 한다. 고립 특이점은 로랑 급수에서 주부의 (項)이 전혀 나타나지 않으면 제거가능 특이점, 유한개만 나타나면 극(극점), 무한히 많이 나타나면 본질적 특이점이라고 한다. 위의 극한을 이용한 분류와 로랑 급수을 이용한 분류는 결과적으로 일치한다.

극점의 위수[편집]

함수  f(z)\, z=a\,에서 극(극점)을 갖고,  m\,을 극한 \lim_{z \rightarrow a}(z-a)^m f(z)\,가 존재하게 하는 최소의 자연수라고 할 때  f(z)\, z=a\,에서 위수 m극점(pole of order m)을 갖는다고 한다. 특별히 위수가 1인 극점을 단순극이라고 한다.

  • 예를 들어  \frac{1}{(z-2)^3}\, z=2\,에서 위수 3인 극점을 갖고,  \frac{1}{z}\, z=0\,에서 단순극을 갖는다.

 f(z)\, z=a\,에서 위수 m인 극점(pole of order m)을 갖는 경우  z=a\,를 제외한  z=a\,근방에서의 로랑 급수

 f(z)=\frac{b_m}{(z-a)^m} +\frac{b_{m-1}}{(z-a)^{m-1}}+\cdots +\frac{b_1}{z-a}+A(z) \,

와 같은 형태로 나타난다. 여시서  A(z)\, f(z)\,의 해석부를 나타내는 함수이다.

  • 극점의 위수는 유수정리(residue theorem)를 이용한 복소함수의 적분에서 필요한 유수의 계산에서도 이용된다.
  • 정의역 안에서 어떤 특이점도 갖지 않는 함수를 해석함수라고 하며, 극(극점) 이외에 어떤 특이점도 갖지 않는 함수를 유리형함수라고 한다.

[편집]

  • 함수  f(z)=\frac{\sin z}{z}\, z=0\,에서 특이점을 갖는다.
    • 그런데 \lim_{z \rightarrow 0}zf(z)=\lim_{z \rightarrow 0} z\frac{\sin z}{z}=0\,이다. 그러므로  z=0\, f(z)\,의 제거가능 특이점이다.
    • 또는 아래와 같이 로랑 급수에서 주부가 전혀 나타나지 않는다. 그러므로  z=0\, f(z)\,의 제거가능 특이점이다.
 f(z)=\frac{\sin z}{z}=\frac{1}{z} \left( z-\frac{z^3}{3!}+ \cdots\right)=1-\frac{z^2}{3!}+\cdots\,
  • 함수  f(z)=\frac{1}{(z-1)^2}+ \frac{3}{z-1}-3(z-1)\, z=1\,에서 극을 갖는다.
    • 그런데 \lim_{z \rightarrow 1}f(z)=\infty\,이다. 그러므로  z=1\, f(z)\,의 극(극점)이다.
    • 또는 아래의 로랑 급수에서 처음 두 항만이 주부에 속하므로  z=1\, f(z)\,의 극(극점)이다.
 f(z)=\frac{1}{(z-1)^2}+ \frac{3}{z-1}-3(z-1)\,
  • 함수  f(z)=e^{\frac{1}{z}}\, z=0\,에서 본질적 특이점을 갖는다.
    • 그런데  \lim_{x \rightarrow 0^+}f(z)=\infty \,이고,  \lim_{x \rightarrow 0^-}f(z)=0\,이므로 극한  \lim_{z \rightarrow 0}f(z)\,는 존재하지 않는다. 그러므로  z=0\, f(z)\,의 본질적 특이점이다.
    • 또는 아래의 로랑 급수에서 주부의 항들이 무수히 많으므로  z=0\, f(z)\,의 본질적 특이점이다.
 f(z)=1+\frac{1}{z}+ \frac{1}{2!z^2}+ \frac{1}{3!z^3}+\cdots\,

고립 특이점으로서의 무한원점[편집]

특이점은 확장된 복소평면(extended complex plane)에서도 같은 방법으로 정의 할 수 있다. 다만 무한원점을 제외한 무한원점의 근방은

 \{ z \in \mathbb{C} \,: \, |z| > M \}\,\,\,(M>0)\,

로 정의됨에 유의해야 한다.

실해석학에서의 특이점[편집]

실해석학에서, 특이점은 크게 두 종류로 분류된다:

  • 함수 f의 정의역에 속하는 어떤 점 a제 1종 특이점(type 1 singularity)이란 것은 a가 특이점이며, a좌극한우극한이 존재하는 것을 의미한다.
  • 함수 f의 정의역에 속하는 어떤 점 a제 2종 특이점(type 2 singularity)이란 것은 a가 특이점이며, a의 좌극한과 우극한 중 적어도 하나는 존재하지 않는 것을 의미한다.

제 1종 특이점은 다음과 같이 두 종류로 세분되며:

  • 함수 f의 정의역에 속하는 어떤 점 a제거가능 특이점(removable singularity)이란 것은 a가 제 1종 특이점이며, a의 좌극한과 우극한이 일치하는 것을 의미한다.
  • 함수 f의 정의역에 속하는 어떤 점 a도약 특이점(jump singularity)이란 것은 a가 제 1종 특이점이며, a의 좌극한과 우극한이 일치하지 않는 것을 의미한다.

제 2종 특이점 역시 다음과 같이 두 종류로 세분된다:

  • 함수 f의 정의역에 속하는 어떤 점 a무한 특이점(infinite singularity)이란 것은 a가 제 2종 특이점이며, a의 좌극한과 우극한 중 적어도 하나는 무한대발산하고 나머지 하나는 무한대로 발산하거나 수렴하는 것을 의미한다.
  • 함수 f의 정의역에 속하는 어떤 점 a본질적 특이점(essential singularity)이란 것은 a가 제 2종 특이점이며, a의 좌극한과 우극한 중 적어도 하나는 발산하나 무한대로 발산하지 않는 것을 의미한다.

같이 보기[편집]

참고문헌[편집]

  • 고석구, 『복소해석학개론(2판)』, 경문사, 2005

바깥 고리[편집]