코시 주요값(Cauchy主要-, Cauchy principal value) 또는 코시 주치(Cauchy主値)는 일반적인 정적분으로 값을 구할 수 없는 일부 이상적분의 값을 구하는 방법 중 하나이다. 오귀스탱 루이 코시가 도입하였다.
함수
가
근처에서 발산한다고 하자. 그렇다면
에서의 적분
![{\displaystyle \int _{a}^{b}f(x)\;\mathrm {d} x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b2ad36794601915446ab40dc81ebdc804a891587)
이 리만 적분 또는 르베그 적분으로서 존재하지 않을 수 있다. 그러나 가끔 다음과 같은 극한이 존재할 수 있다.
![{\displaystyle {\mathcal {P}}\int _{a}^{b}f(x)\;\mathrm {d} x\;{\stackrel {\text{def}}{=}}\;\lim _{\epsilon \to 0+}\int _{a}^{x_{0}-\epsilon }f(x)\;\mathrm {d} x+\int _{x_{0}+\epsilon }^{b}f(x)\;\mathrm {d} x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3ff575c4400592288926fa5fe18a1ad047123cf8)
이렇게 적분을 규칙화하여 얻는 값을 코시 주요값이라 한다. 실함수 뿐만 아니라, 복소 함수의 선적분의 경우에도 유사한 방법으로 코시 주요값을 정의할 수 있다.
예를 들어,
를
에서 적분해 보자. 이는 르베그 적분으로서 존재하지 않지만,
![{\displaystyle {\mathcal {P}}\int _{a}^{b}f(x)\;\mathrm {d} x=\lim _{\epsilon \to 0}\left[\log(b/\epsilon )-\log(-a/\epsilon )\right]=\log(-b/a)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/34d1affeacb77ae2b539b833619692935035b24d)
와 같이 코시 주요값으로 존재한다.
힐베르트 변환의 정의에 사용된다.
같이 보기[편집]
외부 링크[편집]