Math Zen
수학 개념

이상적분의 수렴 판정: 극한으로 푸는 예제

2026년 11월 4일6분 소요
이상적분의 수렴 판정: 극한으로 푸는 예제

익숙한 부정적분이 있어도 적분값은 유한하지 않을 수 있습니다. 빠진 단계는 극한입니다. 구간이 무한히 이어지거나 함수가 끝점 또는 구간 안에서 무한정 커진다면, 적혀 있는 경계를 그대로 원시함수에 대입할 수 없습니다. 먼저 문제가 되는 경계를 보통 변수로 바꾼 뒤 그 변수가 경계에 다가갈 때 결과가 어떻게 되는지 살펴야 합니다.

이런 적분을 이상적분이라고 합니다. 이름은 문제의 형태를 말할 뿐 답을 미리 정하지 않습니다. 어떤 이상적분은 유한한 수로 수렴하고, 어떤 것은 발산합니다. 이 글은 짝을 이루는 예제를 나란히 놓아 판정이 갈리는 단계를 보여줍니다. 정적분 표기가 낯설다면 적분 입문 글을 먼저 읽으세요. 아래 모든 예제를 판정하는 연산은 극한 가이드에서 설명합니다.

무엇이 적분을 이상적으로 만드는지 먼저 찾기

흔한 경우는 두 가지입니다. 무한 구간은 경계가 +∞+\infty 또는 −∞-\infty처럼 주어집니다. 유계가 아닌 피적분함수는 적혀 있는 양 끝이 유한해도 어느 지점에서 함수값이 끝없이 커집니다. 그 지점은 구간의 끝일 수도, 내부일 수도 있습니다.

OpenStax 미적분학 2권 §3.7은 두 경우를 모두 극한으로 정의합니다. 이 구분이 중요한 이유는 ∞\infty를 숫자처럼 대입하거나 내부 특이점을 가로질러 한 번에 계산하면 그럴듯하지만 틀린 답이 나올 수 있기 때문입니다.

적힌 특징이렇게 바꾸기확인할 질문
위끝이 +∞+\infty유한한 위끝 RRR→+∞R\to+\infty일 때 적분이 유한한 값에 가까워지는가?
끝점 x=0x=0이 특이점아래끝 ε>0\varepsilon>0ε→0+\varepsilon\to0^+일 때 유한한 극한이 있는가?
특이점이 구간 내부좌우에서 따로 접근하는 두 경계양쪽 적분이 모두 수렴하는가?

극한이 유한하면 수렴합니다. 값이 무한히 커지거나 다른 이유로 유한한 값에 머무르지 못하면 발산합니다. 똑같은 원시함수를 써도 두 판정이 나올 수 있으므로 원시함수를 구하는 일은 풀이의 일부에 불과합니다.

다른 문제에도 쓸 수 있는 네 단계

1. 문제가 될 수 있는 경계를 모두 찾습니다. 무한한 끝, 분모가 0이 되는 곳, 로그의 정의역을 벗어나는 곳, 그 밖에 함수가 유계가 아닌 지점을 살핍니다. 특이점이 내부에 있으면 적분하기 전에 구간을 나눕니다.

2. 한 경계를 유한한 변수로 바꿉니다. 그렇게 얻은 보통 정적분을 씁니다. 예를 들어 유한한 R>1R>1에 대해 ∫1∞f(x) dx\int_1^{\infty} f(x)\,dx를 ∫1Rf(x) dx\int_1^R f(x)\,dx로 바꿉니다.

3. 보통 적분을 계산합니다. 이때 원시함수가 유용합니다. 유한한 경계를 대입하기 전에 정의역과 부호를 확인하세요. 직접 적분하기 어렵더라도 비교로 수렴 여부를 정할 수 있습니다.

4. 극한을 구하고 판정을 적습니다. 유한한 RR이나 ε\varepsilon의 식만 제출하지 마세요. 극한의 결과를 쓰고 수렴 또는 발산을 명시합니다. 내부 특이점 때문에 나눴다면 좌우에서 독립적으로 반복합니다.

순서를 지키면 풀이를 검토하기 쉽습니다. 어느 경계를 조사했는지, 마지막 숫자가 정말 극한인지 드러나기 때문입니다.

무한대로 갈 때: 유한한 넓이와 무한한 넓이

먼저 수렴하는 예입니다.

∫1∞1x2 dx=lim⁡R→∞∫1Rx−2 dx=lim⁡R→∞[−1x]1R=lim⁡R→∞(1−1R)=1.\int_1^{\infty}\frac{1}{x^2}\,dx =\lim_{R\to\infty}\int_1^R x^{-2}\,dx =\lim_{R\to\infty}\left[-\frac1x\right]_1^R =\lim_{R\to\infty}\left(1-\frac1R\right)=1.

구간은 끝나지 않지만 뒤에 더해지는 넓이가 충분히 작아져 전체는 1에 가까워집니다. 이번에는 분모의 거듭제곱만 바꿉니다.

∫1∞1x dx=lim⁡R→∞∫1R1x dx=lim⁡R→∞[ln⁡x]1R=lim⁡R→∞ln⁡R=+∞.\int_1^{\infty}\frac1x\,dx =\lim_{R\to\infty}\int_1^R\frac1x\,dx =\lim_{R\to\infty}[\ln x]_1^R =\lim_{R\to\infty}\ln R=+\infty.

이 적분은 발산합니다. 1/x1/x가 0에 가까워진다는 사실만으로 누적된 넓이가 유한해지지 않습니다. 감소 속도가 너무 느리기 때문입니다. 두 함수를 비교해 보세요. 둘 다 0으로 가고 초등적인 원시함수가 있지만, 적분의 극한이 유한한 것은 하나뿐입니다.

∫1∞x−p dx\int_1^{\infty}x^{-p}\,dx의 경계는 p=1p=1입니다. p>1p>1이면 수렴하고 p≤1p\le1이면 발산합니다. 이 간단한 규칙도 극한 계산에서 나왔고, p=1p=1인 로그 경우를 포함합니다. 지수나 구간이 이 조건에 맞는지 확신이 없다면 원래 극한을 다시 쓰세요.

끝점에서: 다른 쪽에서 만나는 무한대

적힌 양 끝이 모두 유한해도 이상적분일 수 있습니다. x=0x=0에서 x−1/2x^{-1/2}는 유계가 아닙니다. 아래끝을 ε>0\varepsilon>0로 바꿉니다.

∫011x dx=lim⁡ε→0+∫ε1x−1/2 dx=lim⁡ε→0+[2x]ε1=lim⁡ε→0+2(1−ε)=2.\int_0^1\frac1{\sqrt{x}}\,dx =\lim_{\varepsilon\to0^+}\int_{\varepsilon}^1 x^{-1/2}\,dx =\lim_{\varepsilon\to0^+}[2\sqrt{x}]_{\varepsilon}^1 =\lim_{\varepsilon\to0^+}2(1-\sqrt{\varepsilon})=2.

함수는 끝점에서 끝없이 커지지만 적분은 수렴합니다. 같은 구간의 1/x1/x와 비교해 봅시다.

∫011x dx=lim⁡ε→0+∫ε11x dx=lim⁡ε→0+(0−ln⁡ε)=+∞.\int_0^1\frac1x\,dx =\lim_{\varepsilon\to0^+}\int_{\varepsilon}^1\frac1x\,dx =\lim_{\varepsilon\to0^+}(0-\ln\varepsilon)=+\infty.

이쪽은 발산합니다. ln⁡x\ln x에 0을 대입하면 안 됩니다. ln⁡0\ln0은 정의되지 않습니다. 실제 질문은 극한입니다. 끝점의 두 예는 무한 구간의 두 예와 같은 교훈을 줍니다. 특이점의 존재만으로도, 원시함수의 존재만으로도 수렴 여부는 결정되지 않습니다.

구간 내부: 끊긴 곳을 가로질러 상쇄하지 않기

가장 위험한 지름길은 평범해 보이는 두 경계 사이에 특이점이 있을 때입니다. 다음을 보세요.

∫−111x dx.\int_{-1}^{1}\frac1x\,dx.

원시함수 ln⁡∣x∣\ln|x|는 −1-1과 11에서 값이 같습니다. 0이라고 쓰고 싶어지지만, 그러면 1/x1/x가 정의되지 않은 x=0x=0을 건너뛰게 됩니다. 미적분학의 기본정리는 그 틈을 넘는 한 번의 뺄셈을 허용하지 않습니다. 전체에 값을 주기 전에 좌우를 따로 확인하세요.

∫−101x dx와∫011x dx.\int_{-1}^{0}\frac1x\,dx\qquad\text{와}\qquad\int_0^1\frac1x\,dx.

각 쪽에는 독립적인 극한이 필요합니다. ε>0\varepsilon>0일 때 왼쪽은 ∫−1−ε1/x dx=ln⁡ε→−∞\int_{-1}^{-\varepsilon}1/x\,dx=\ln\varepsilon\to-\infty이고, 오른쪽은 ∫ε11/x dx=−ln⁡ε→+∞\int_{\varepsilon}^{1}1/x\,dx=-\ln\varepsilon\to+\infty입니다. 어느 쪽도 유한한 값으로 수렴하지 않으므로 원래 이상적분은 발산합니다.

대칭으로 가운데를 잘라내면 양의 ε\varepsilon마다 0을 얻을 수 있습니다. 그러나 이것은 코시 주값이라는 다른 정의입니다. 발산하는 두 쪽을 짝지어 상쇄시킨 값이지 보통 이상적분의 값이 아닙니다. 사우스캐롤라이나대학교 연습 자료도 내부 특이점의 두 쪽을 따로 검사하라고 명시합니다.

경우검사할 극한결과판정
∫1∞x−2 dx\int_1^{\infty}x^{-2}\,dxR→∞R\to\infty에서 1−1/R1-1/R11수렴
∫1∞x−1 dx\int_1^{\infty}x^{-1}\,dxR→∞R\to\infty에서 ln⁡R\ln R유계가 아님발산
∫01x−1/2 dx\int_0^1x^{-1/2}\,dxε→0+\varepsilon\to0^+에서 2(1−ε)2(1-\sqrt\varepsilon)22수렴
∫01x−1 dx\int_0^1x^{-1}\,dxε→0+\varepsilon\to0^+에서 −ln⁡ε-\ln\varepsilon유계가 아님발산
∫−11x−1 dx\int_{-1}^{1}x^{-1}\,dx독립적인 두 단측 극한둘 다 유계가 아님발산

원시함수가 어려우면 비교하기

모든 이상적분에서 원시함수를 구할 필요는 없습니다. 피적분함수가 음수가 아니면 이미 수렴 여부를 아는 함수와 크기를 비교할 수 있습니다. 예를 들어 x≥1x\ge1에서

0<1x2+1≤1x2.0<\frac1{x^2+1}\le\frac1{x^2}.

∫1∞1/x2 dx\int_1^{\infty}1/x^2\,dx가 수렴하므로 그보다 작고 음수가 아닌 ∫1∞1/(x2+1) dx\int_1^{\infty}1/(x^2+1)\,dx도 수렴합니다. 정확한 값을 구하지 않고 수렴을 증명한 것입니다. OpenStax §3.7의 비교 판정법에 조건이 나와 있습니다. 부등호 방향이 중요합니다. 발산하는 함수보다 작다는 사실만으로는 아무것도 결론 낼 수 없습니다. 반면 수렴하는 음이 아닌 함수보다 작고 자신도 음이 아니면 수렴을 물려받습니다.

제출 전 답 확인하기

마지막에 문제가 되는 경계를 말하고 풀이의 마지막 줄을 살피세요. 원시함수만 적거나, ∞\infty를 숫자처럼 대입하거나, 정의되지 않은 ln⁡0\ln0을 남겼다면 끝난 풀이가 아닙니다. 내부 특이점에서는 유한한 단측 극한 두 개가 필요합니다. 대칭적 상쇄로 대신할 수 없습니다.

짧은 확인 문제 두 개입니다. ∫2∞1/x2 dx\int_2^{\infty}1/x^2\,dx는 수렴할까요? 같은 계산으로 1/21/2입니다. ∫01x−2 dx\int_0^1x^{-2}\,dx는 어떨까요? 끝점 극한이 무한정 커져 발산합니다. 같은 지수가 나와도 문제가 되는 경계와 결론은 다릅니다. 결과가 의외라면 유한한 경계부터 쓰고 극한이 이유를 설명하는지 확인하세요.

Math Zen의 극한 가이드는 마지막 단계에 도움이 됩니다. 로피탈 정리 가이드는 조건을 충족하는 극한 형태의 도구를 설명하지만 이상적분의 경계를 찾고 나누는 작업을 대신하지 않습니다. 모든 문제 지점과 올바른 단측 극한을 적었다면 나머지는 다시 보통 적분 계산입니다.

관련 게시물

적분을 직관적으로 이해하기 (넓이, 누적, 그리고 미적분학의 나머지 절반)

적분을 직관적으로 이해하기 (넓이, 누적, 그리고 미적분학의 나머지 절반)

도함수가 무언가가 얼마나 빠르게 변하는지를 묻는다면, 적분은 지금까지 얼마나 쌓였는지를 묻습니다. 무서운 표기법을 걷어내고, 적분이 정말로 무엇인지 알려드립니다. 리만 합에서 미적분학의 기본 정리까지 그림으로 이해할 수 있는 순서로 나아갑니다.

극한을 직관적으로 이해하기 (미적분학을 떠받치는 아이디어)

극한을 직관적으로 이해하기 (미적분학을 떠받치는 아이디어)

극한은 미적분학이 그 위에 세워진 아이디어이며, 표기법이 풍기는 인상보다 훨씬 단순합니다. 엡실론을 들이대지 않고, 극한이 정말로 무엇을 뜻하는지 알려드립니다. 그래프에서 값에 다가가는 모습을 먼저 그려 본 뒤, 표기법 읽는 법을 정리합니다.

로피탈의 정리: 언제 쓸 수 있을까? 네 가지 극한 예제

로피탈의 정리: 언제 쓸 수 있을까? 네 가지 극한 예제

로피탈의 정리를 적용하기 전에 분자와 분모의 조건을 확인하세요. 인수분해가 더 빠른 0/0, 적용할 수 없는 5/0, 무한대끼리의 비, 로그로 바꿔야 하는 거듭제곱을 네 가지 예제로 풉니다. 몫의 미분법과 분자·분모를 따로 미분하는 방식의 차이, 좌우 극한과 정의역까지 함께 살펴봅니다.