최근 수정 시각 : 2022-06-11 13:45:42

이상적분


파일:관련 문서 아이콘.svg   관련 문서: 정적분
,
,
,
,
,

해석학 · 미적분학
Analysis · Calculus
{{{#!wiki style="word-break: keep-all; margin:0 -10px -5px"
{{{#!folding [ 펼치기 · 접기 ]
{{{#!wiki style="margin:-6px -1px -11px; letter-spacing: -1px"
<colbgcolor=#8f76d6> 함수 합성 · 항등원 · 역원 · 멱함수( 비례·반비례) · 초등함수( 대수함수 · 초월함수) · 특수함수 · 범함수( 변분법) · 다변수 ( 동차 · 숨은 함수( 다가 함수)) · 그래프 · 대칭 · 증감표 · 극값 · 영점 · 연속 · 매끄러움 · 계단형 · 미끄럼틀형 · 볼록/오목 · 닮은꼴 함수 · 병리적 함수 · 해석적 연속 · 로그함수 · 지수함수 · 삼각함수
정리 · 토픽 좌표계 · 중간값 정리 · 최대·최소 정리 · 부동점 정리 · 오일러 동차함수 정리 · 립시츠 규칙 · 스펙트럼 정리
극한 엡실론-델타 논법( 수열의 극한) · 수렴 ( 균등수렴) · 발산 · 부정형 · 어림( 유효숫자 · 오차 · 불확도) · 근방 · 점근선 · 무한대 · 무한소 · 스털링 근사
정리 · 토픽 로피탈의 정리 · 슈톨츠-체사로 정리
수열
급수
규칙과 대응 · 단조 수렴 정리 · 멱급수 · 테일러 급수 ( 일람) · 조화급수 · 그란디 급수 · 망원급수 ( 부분분수분해) · 오일러 수열 · 베르누이 수열 · 파울하버의 공식 · 리만 재배열 정리
정리 · 토픽 바젤 문제 · 라마누잔합 · 0.999…=1 · 콜라츠 추측미해결
미적분 미분 도함수 ( 편도함수) · 도함수 일람 · 차분 · 유율법 · 변화량 · 변분법 · 곱미분 · 몫미분 · 연쇄 법칙 · 역함수 정리 · 임계점 ( 변곡점 · 안장점) · 미분형식 · 미분방정식 ( 풀이) · [math(boldsymbolnabla)] · 라그랑주 승수법
적분 역도함수 일람 · 부분적분 ( LIATE 법칙 · 도표적분법 · 예제) · 치환적분 · 정적분 ( 예제) · 이상적분 · 중적분 ( 선적분 · 면적분 · 야코비안) · 르베그 적분 · 스틸체스 적분 · 코시 주요값
정리 · 토픽 미적분의 기본정리 ( 선적분의 기본정리) · 평균값 정리 ( 롤의 정리) · 스토크스 정리 ( 발산 정리 · 그린 정리) · 라플라스 변환 · 푸리에 해석 ( 푸리에 변환 · 아다마르 변환) · 2학년의 꿈 · 리시 방법

해석
실수 · 측도론 ( 측도 · 르베그 측도) · 실직선 · 유계( 콤팩트성) · 칸토어 집합 · 비탈리 집합
정리 · 토픽
복소
해석
복소수( 복소평면) · 편각 · 코시-리만 방정식
정리 · 토픽 오일러 공식 ( 오일러 등식 · 드 무아브르 공식) · 리우빌의 정리 · 바이어슈트라스 분해 정리 · 미타그레플레르 정리
여타 하위 학문 해석기하학 · 미분기하학 · 해석적 정수론 ( 소수 정리 · 리만 가설미해결) · 벡터 미적분학( 야코비 공식) · 확률론 ( 확률변수 · 중심극한정리) · 수치해석학 ( 유한요소해석 · 전산유체역학)
기타 뉴턴-랩슨 방법 · 디랙 델타 함수 · 카오스 이론 · 오일러 방정식 · 퍼지 논리 · 거리함수 · merry=x-mas
응용 수리물리학 · 수리경제학( 경제수학) · 공업수학 }}}}}}}}}

1. 개요2. 상세3. 예시

1. 개요

이상적분은 정적분의 적분 영역을 달리해나갈 때 그 극한을 취한 것이다. 단순히 적분구간이 무한히 크거나 적분구간에서 함수가 발산하는 경우를 의미하는 것이 아니다.

2. 상세

이상적분의 값은 적분 영역의 열(sequence)을 어떻게 잡느냐에 따라 달라질 수 있다. 예컨대 다음과 같은 코시 분포(Cauchy distribution)의 확률밀도함수

[math(f(x):= \dfrac1{\pi(1+ x^2)})]

를 따르는 확률변수 [math(X)]의 기댓값을 구하는 문제를 생각해보자. 다음과 같이 증가하는 구간열 [math([-t, t])]를 생각해 이상적분을 취하면

[math(\displaystyle \int_{-\infty}^\infty xf(x)\,\mathrm{d}x \overset{?}{=} \lim_{t\to\infty}\int_{-t}^{t}xf(x)\,\mathrm{d}x = \lim_{t\to\infty} 0 = 0)]

이므로 기댓값이 0이라 생각할 수 있다.[1] 그러나 구간열을 다음과 같이 [math([-t, e^\pi t])]로 잡으면

[math(\displaystyle \int_{-\infty}^\infty xf(x)\,\mathrm{d}x \overset{?}{=} \lim_{t\to\infty}\int_{-t}^{e^{\pi}t}xf(x)\,\mathrm{d}x)]

적분 영역은 여전히 [math((-\infty, \infty))]로 커지지만 적분의 극한은 1로 수렴함이 알려져 있다.

이와 같이 적분구간의 열에 따라 적분값이 달라지는 경우를 방지하기 위해 다음과 같이 이상적분을 정의한다. 왼쪽으로 무한히 뻗어가는 적분과 오른쪽으로 무한히 뻗어가는 적분이 각각 수렴할 때만 실수 전체의 적분을 정의하면 엄밀함의 결여와 모호함을 해결할 수 있다.

[math(\displaystyle \int_{-\infty}^\infty f(x)\,\mathrm{d}x \overset{\rm def}{=} \lim_{t\to\infty}\int_{a}^{t}f(x)\,\mathrm{d}x+\lim_{s\to-\infty}\int_{s}^{a}f(x)\,\mathrm{d}x(a\in \mathbb R))]


이 경우 코시 분포의 기댓값은 적분의 오른쪽 부분이
[math(\displaystyle \int_{0}^\infty \dfrac{x}{\pi(1+x^2)}\mathrm{d}x =\infty)]

으로 발산하여, 적분을 정의하지 않는다.

이상적분의 정의에 극한을 사용하지 않는 르벡적분(Lebesgue integration) 역시 해당 경우에 적분값을 정의하지 않는다. 즉, 코시 분포의 평균은 (분포가 0에 대해 대칭임에도 불구하고) 정의되지 않는다.


다만 함숫값의 부호가 적분영역에서 바뀌지 않는 경우, 또는 르벡적분이 정의되는 경우에는 이상적분의 값이 적분구간의 열을 어떻게 잡든지 동일한 극한값을 가짐이 알려져 있다. 따라서 이와 같이 적분구간열에 의한 이상적분의 모호성이 해소되는 경우에 함수값을 계산하기 위해 이상적분을 보통 쓰게 되는 것이다.

따라서 적분구간이 무한히 크거나 적분구간에서 함수가 발산하는 경우를 일괄적으로 이상적분이라 하지는 않는다. 해당 경우에 '적분구간열을 잡아 적분의 극한을 취하는 과정'이라 이해하는 것이 조금 더 명확할 것이다. 이와 관련해 위키백과는 이상적분을 기술함에 있어서

[math(\displaystyle\int_{-\infty}^\infty f(x)\,\mathrm{d}x \quad \textsf{ or } \quad \int_{\mathbb{R}} f(x) \,\mathrm{d}x)]

등의 꼴로 적는 것을 기호의 남용(abuse of notation)이라 지적하고 있다.[2]

양자역학에서는 이상적분을 부정적분처럼 표기한다. 실수 전체 범위로 이상적분할 일은 많은데 부정적분을 할 일은 거의 없다 보니 이상적분을 부정적분 기호처럼 쓰는 것.[3]

3. 예시

  • [math(\displaystyle \int^{\infty}_1 \frac 1 {x^2}\,\mathrm{d}x = \lim_{b \rightarrow \infty} \int^{b}_1 \frac 1 {x^2}\,\mathrm{d}x )]
  • [math(\displaystyle \int^{-1}_{- \infty} \frac 1 x\,\mathrm{d}x = \lim_{b \rightarrow - \infty} \int^{-1}_{b} \frac 1 x\,\mathrm{d}x = -\infty)]
  • [math(\displaystyle \int^{1}_{0} \frac 1 x\,\mathrm{d}x = \lim_{b \rightarrow 0+} \int^{1}_{b} \frac 1 x\,\mathrm{d}x = \infty)]
  • [math(\displaystyle \lim_{b \rightarrow 0+} \left(\int^{1}_{b} \frac 1 x \,\mathrm{d}x+\int^{-b}_{-1} \frac 1 x\,\mathrm{d}x \right) = 0)]

    • 다만, 위 코시 분포의 기댓값과 마찬가지로 이 결과는 함수가 홀함수이고 적분구간이 대칭이라는 특수한 상황 때문에 발생한다. 따라서 일반적인 경우에 [math(\displaystyle\int^{1}_{-1} \frac 1 x\,\mathrm{d}x)]라 적으면 안 된다.[4]
  • [math(\displaystyle \int^{\infty}_{- \infty} \frac 1 {x^2 +1} {\rm d}x = \lim_{b\to\infty}\int_{-b}^{b}\frac{1}{x^2 + 1}{\rm d}x = \lim_{b\to\infty}[\arctan x]_{-b}^{b} = 2\lim_{b\to\infty}\arctan b = \pi)]

    • 이상적분을 이용해 어떻게 적분값을 계산하는지 보여주는 예시다.
    • 사실, 엄밀하게 적으려면 위에서 말했듯 적분 구간을 [math((-\infty, a])]와 [math([a, \infty))]로 나누어 적분한 값을 합치거나 이차원 극한 [math(\displaystyle \lim_{(a,b)\to(-\infty,\infty)}\int_a^b)]를 계산해야 한다.
  • [math(\displaystyle \int^{1}_{0} x^x\,\mathrm{d}x = \lim_{b \rightarrow 0+} \left(\int^{1}_{b} x^x\,\mathrm{d}x \right))]
  • [math(\displaystyle \int^{1}_{0} \frac1{x^x}\,\mathrm{d}x = \lim_{b \rightarrow 0+} \left(\int^{1}_{b} \frac1{x^x} \,\mathrm{d}x\right))][5]

[1] 여기서 둘째 등호는 [math(xf(x))]가 홀함수이고 적분영역 [math([-t, t])]가 원점에 대해 대칭이므로 성립한다. [2] 오해하면 안 되는 게, 이와 같은 표기가 "틀렸"으므로 "쓰면 안 된다"는 얘기가 아니다. 가리키는 바가 명확한 경우 기호의 남용은 논의의 전개와 이해에 도움이 된다. 이상적분의 값에 모호성이 없다는 것이 명확하다면 이러한 꼴로 적지 않을 이유가 없다. 또한 해당 '기호의 남용'은 정적분의 극한으로서의 이상적분을 기술할 때의 얘기다. 르벡적분과 같은 경우, 적분이 잘 정의되었다면 이는 기호의 남용이 아니라 온전히 제대로 된 표기이다. [3] 비슷한 케이스로 복소해석학, 해석적 정수론에서 상용로그 기호([math(\log)])를 빼앗아 자연로그로 쓰는 것이 있다. [4] 정말 필요해 값을 정의하고 싶다면 코시 주요값을 이용할 수 있다. (사실 밀접한 관련 분야가 아닌 한 이걸 쓸 필요는 없을 것이다.) 그러나 그 경우에도 [math(\mathcal{P}\int_{-1}^1 f(x){\rm d}x)]와 같은 표기를 이용해 '특정한' 적분구간열을 사용하고 있음을 알려야 한다. 그렇지 않아 혼란을 준 이후 '아아 그것은 코시 주요값이라고 하는 것이다'라고 하면 중2병 소리 듣기 딱 좋다. 라마누잔합의 경우도 마찬가지. [5] 마지막 2개의 이상적분은 따로 2학년의 꿈이라는 이름이 붙어 있다. 참고로 1학년의 꿈은 표수 [math(p)]에 대해 [math(a^p + b^p = (a+b)^p)]가 성립한다는 정리이다.


파일:CC-white.svg 이 문서의 내용 중 전체 또는 일부는 문서의 r193에서 가져왔습니다. 이전 역사 보러 가기
파일:CC-white.svg 이 문서의 내용 중 전체 또는 일부는 다른 문서에서 가져왔습니다.
[ 펼치기 · 접기 ]
문서의 r193 ( 이전 역사)
문서의 r ( 이전 역사)