← 로드맵 · ← 이전 L02 · 다음 L04 →
L03 · 극값·적분 기법·디랙 델타
Arfken 7판 1.9–1.11절 (도함수와 극값, 적분 계산 기법, 디랙 델타 함수)
이 레슨이 끝나면 할 수 있는 계산
- 다변수 함수의 정지점을 찾고 극대·극소·안장점 판정하기
- 부분적분 표 방법, $\sin^n x$ 점화식, 삼각치환으로 적분하기
- 가우스 적분과 그 변형(완전제곱) 계산하기
- 매개변수 미분(적분 기호 안에서 미분하기)으로 어려운 적분 풀기
- 적분 구간까지 변수에 의존하는 적분을 라이프니츠 규칙으로 미분하기
- 적분 순서 바꾸기와 짝·홀 대칭으로 적분 줄이기
- 델타 수열의 극한과 적분 표현 $\delta(x)=\frac1{2\pi}\int e^{ikx}dk$ 다루기
- 디랙 델타가 들어간 1차원·3차원 적분 계산하기
0. 외워 둘 공식
아래 적분값은 이 레슨에서 모두 유도합니다. 유도 방법을 익힌 뒤에는 표를 외워 두고 바로 씁니다.
| 적분 | 값 | 조건 |
| $\displaystyle\int_{-\infty}^{\infty}e^{-ax^2}dx$ | $\sqrt{\pi/a}$ | $a>0$ |
| $\displaystyle\int_0^{\infty}e^{-ax^2}dx$ | $\frac12\sqrt{\pi/a}$ | $a>0$ |
| $\displaystyle\int_0^{\infty}xe^{-ax^2}dx$ | $\dfrac1{2a}$ | $a>0$ |
| $\displaystyle\int_0^{\infty}x^2e^{-ax^2}dx$ | $\dfrac{\sqrt\pi}{4a^{3/2}}$ | $a>0$ |
| $\displaystyle\int_{-\infty}^{\infty}e^{-ax^2+bx}dx$ | $\sqrt{\pi/a}\;e^{b^2/(4a)}$ | $a>0$ |
| $\displaystyle\int_0^{\infty}x^ne^{-ax}dx$ | $\dfrac{n!}{a^{n+1}}$ | $a>0$, $n=0,1,2,\dots$ |
| $\displaystyle\int_0^{\infty}e^{-px}\cos bx\,dx$, $\;\displaystyle\int_0^{\infty}e^{-px}\sin bx\,dx$ | $\dfrac{p}{p^2+b^2}$, $\;\dfrac{b}{p^2+b^2}$ | $p>0$ (L02 8절) |
| $\displaystyle\int_0^{\infty}\frac{\sin x}{x}dx$ | $\dfrac\pi2$ | |
| $\displaystyle\int_0^{\pi/2}\sin^nx\,dx=\int_0^{\pi/2}\cos^nx\,dx$ | $\dfrac{n-1}{n}\cdot\dfrac{n-3}{n-2}\cdots$, 끝은 짝수 $n$이면 $\frac12\cdot\frac\pi2$, 홀수 $n$이면 $\frac23\cdot1$ | $n\ge2$ |
| 적분의 미분 | 식 |
| 구간 고정 (5절) | $\dfrac{d}{da}\displaystyle\int_p^q f(x,a)\,dx=\int_p^q\frac{\partial f}{\partial a}\,dx$ |
| 구간도 변함 (6절, 라이프니츠 규칙) | $\dfrac{d}{dx}\displaystyle\int_{a(x)}^{b(x)}f\,dt=f(x,b)\,b'-f(x,a)\,a'+\int_a^b\frac{\partial f}{\partial x}\,dt$ |
| 디랙 델타(Dirac delta) | 식 |
| 수열 표현 (8절) | $\dfrac{n}{\sqrt\pi}e^{-n^2x^2}$, $\;\dfrac1\pi\dfrac{\varepsilon}{x^2+\varepsilon^2}$, $\;\dfrac{\sin nx}{\pi x}$의 극한 ($n\to\infty$, $\varepsilon\to0^+$) |
| 적분 표현 (8절) | $\delta(x)=\dfrac1{2\pi}\displaystyle\int_{-\infty}^{\infty}e^{ikx}\,dk$ |
| 거르기 | $\int f(x)\,\delta(x-x_0)\,dx=f(x_0)$ ($x_0$가 구간 안일 때) |
| 척도 | $\delta(ax)=\dfrac{\delta(x)}{|a|}$ |
| 합성 | $\delta(g(x))=\displaystyle\sum_i\frac{\delta(x-x_i)}{|g'(x_i)|}$, $\;g(x_i)=0$ |
| 도함수 | $\int f(x)\,\delta'(x-x_0)\,dx=-f'(x_0)$ |
| 계단함수 | $H'(x)=\delta(x)$ |
| 3차원 | $\int f(\mathbf r)\,\delta^3(\mathbf r-\mathbf a)\,dV=f(\mathbf a)$ |
이 레슨의 관례
- 계단함수(step function)는 $H(x)$로 씁니다: $x<0$이면 0, $x>0$이면 1. 책에 따라 $\theta(x)$, $u(x)$, $\Theta(x)$로 씁니다. $H(0)$ 값(0, $\frac12$, 1)은 책마다 다르지만 적분 결과에는 영향이 없습니다. Arfken이 어떤 기호를 쓰는지는 확인하지 않았습니다(미검증).
- 원점의 3차원 델타를 구면좌표로 쓸 때 $\delta^3(\mathbf r)=\dfrac{\delta(r)}{4\pi r^2}$를 씁니다. 이때 $\int_0^\infty\delta(r)\,dr=1$로 봅니다(원점의 무게를 전부 셈). $\int_0^\infty\delta(r)\,dr=\frac12$로 보는 책은 $\dfrac{\delta(r)}{2\pi r^2}$로 씁니다. 헷갈리면 원점에서는 직교좌표 $\delta(x)\delta(y)\delta(z)$를 쓰는 편이 안전합니다.
- 헤시안 판정, 가우스 적분, 매개변수 미분에는 관례 차이가 없습니다. 다만 적분 구간이 $(-\infty,\infty)$인지 $(0,\infty)$인지는 매번 확인합니다(2배 차이).
1. 다변수 극값과 헤시안
레시피
- 모든 1계 편도함수를 0으로 놓고 연립해서 정지점(stationary point)을 찾습니다. 한 식에서 한 변수를 다른 변수로 나타내 대입하는 것이 기본입니다.
- 2계 편도함수로 헤시안(Hessian) 행렬을 만듭니다: $H=\begin{pmatrix}f_{xx}&f_{xy}\\f_{xy}&f_{yy}\end{pmatrix}$.
- 정지점마다 $D=\det H=f_{xx}f_{yy}-f_{xy}^2$를 계산합니다.
| 조건 | 판정 |
| $D>0$, $f_{xx}>0$ | 극소 |
| $D>0$, $f_{xx}<0$ | 극대 |
| $D<0$ | 안장점(saddle point) |
| $D=0$ | 판정 불가 (다른 방법이 필요) |
- 3변수 이상: 헤시안의 선행 주소행렬식(leading principal minor) $D_1=f_{xx}$, $D_2$ (왼쪽 위 2×2), $D_3=\det H$를 봅니다. 모두 양수면 극소, 부호가 $-,+,-$ 순서면 극대, 그 밖의 경우 $\det H\ne0$이면 안장점입니다. 같은 말로, 헤시안의 고유값이 모두 양수면 극소, 모두 음수면 극대, 부호가 섞이면 안장점입니다.
왜 되나? (증명 스케치)
정지점 $(x_0,y_0)$에서 $h$, $k$만큼 움직입니다. 1계 편도함수가 0이므로 2차 테일러 전개(L00b)에서 1차 항이 없습니다.
$$\begin{aligned}\Delta f&\approx\tfrac12Q,\\ Q&=f_{xx}h^2+2f_{xy}hk+f_{yy}k^2.\end{aligned}$$
$f_{xx}\ne0$이면 $h$에 대해 완전제곱합니다.
$$Q=f_{xx}\Big(h+\frac{f_{xy}}{f_{xx}}k\Big)^2+\frac{D}{f_{xx}}\,k^2.$$
- $D>0$: 두 항의 부호가 모두 $f_{xx}$의 부호입니다. 어느 방향으로 가도 $Q$의 부호가 같으므로 $f_{xx}>0$이면 극소, $f_{xx}<0$이면 극대입니다.
- $D<0$: 두 항의 부호가 반대입니다. $k=0$ 방향과 괄호가 0인 방향에서 $Q$의 부호가 다르므로 안장점입니다.
- $D=0$: $Q=0$인 방향이 생겨 3차 이상의 항이 승부를 냅니다. 그래서 판정 불가입니다.
3변수 이상에서는 $Q=\mathbf h^TH\mathbf h$입니다. 고유벡터 방향으로 축을 돌리면 $Q=\sum_i\lambda_iu_i^2$이 되므로(L05) 고유값의 부호로 판정합니다.
예제 1-1 $f(x,y)=x^3+y^3-3xy$의 정지점을 찾고 판정하기
1계: $f_x=3x^2-3y=0$, $\;f_y=3y^2-3x=0$. 첫 식에서 $y=x^2$. 둘째 식에 넣으면 $x^4=x$, 즉 $x(x^3-1)=0$이므로 실수 해는 $x=0$, $x=1$입니다. 정지점은 $(0,0)$, $(1,1)$.
2계: $f_{xx}=6x$, $\;f_{yy}=6y$, $\;f_{xy}=-3$.
- $(0,0)$: $D=0\cdot0-(-3)^2=-9<0$ → 안장점
- $(1,1)$: $D=6\cdot6-9=27>0$, $f_{xx}=6>0$ → 극소, $f(1,1)=1+1-3=-1$
2. 부분적분 — 표 방법과 점화식
레시피
- $\int u\,dv=uv-\int v\,du$. 미분하면 단순해지는 쪽(다항식, $\ln$, 역삼각함수)을 $u$로 고릅니다.
- 표 방법(tabular integration): 다항식 × ($e^{ax}$, $\sin$, $\cos$)일 때 씁니다. 왼쪽 열에는 다항식을 0이 될 때까지 계속 미분해 적고, 오른쪽 열에는 나머지를 계속 적분해 적습니다. 왼쪽 $k$번째 칸과 오른쪽 $k+1$번째 칸을 대각선으로 곱하고, 부호를 $+,-,+,-,\dots$로 붙여 더합니다.
- 점화식(reduction formula): $\sin^nx$처럼 지수가 붙은 적분은 부분적분 한 번으로 $I_n$을 $I_{n-2}$로 내립니다. 원래 적분이 오른쪽에 다시 나타나면 왼쪽으로 옮겨 풉니다.
- 월리스 공식(Wallis): $W_n=\int_0^{\pi/2}\sin^nx\,dx=\dfrac{n-1}{n}W_{n-2}$, $\;W_0=\frac\pi2$, $\;W_1=1$. $\cos^nx$도 같은 값입니다.
왜 되나? (증명 스케치)
표 방법은 부분적분을 여러 번 한 것을 줄여 쓴 것입니다. $v$를 한 번, 두 번, 세 번 적분한 것을 $v_1,v_2,v_3$이라 합니다.
$$\begin{aligned}\int uv\,dx&=uv_1-\int u'v_1\,dx\\&=uv_1-u'v_2+\int u''v_2\,dx\\&=uv_1-u'v_2+u''v_3-\int u'''v_3\,dx.\end{aligned}$$
- 매번 "미분 쪽은 한 번 더 미분, 적분 쪽은 한 번 더 적분, 부호는 반대"가 됩니다. 이것이 표의 대각선 곱과 $+,-,+,\dots$ 부호입니다.
- $u$가 $n$차 다항식이면 $u^{(n+1)}=0$이라서 마지막 남은 적분이 사라지고 끝납니다.
- $\cos x=\sin\big(\frac\pi2-x\big)$이고 $x\to\frac\pi2-x$ 치환은 구간 $[0,\frac\pi2]$를 그대로 두므로 $\int_0^{\pi/2}\cos^nx\,dx=\int_0^{\pi/2}\sin^nx\,dx$입니다.
예제 2-1 (a) $\displaystyle\int x^3e^{2x}dx$ (표 방법) (b) $\sin^nx$의 점화식과 $\displaystyle\int_0^{\pi/2}\sin^5x\,dx$, $\displaystyle\int_0^{\pi/2}\sin^6x\,dx$
(a) 표를 만듭니다.
| 부호 | 미분 ($u$ 쪽) | 적분 ($dv$ 쪽) |
| $+$ | $x^3$ | $e^{2x}$ |
| $-$ | $3x^2$ | $\frac12e^{2x}$ |
| $+$ | $6x$ | $\frac14e^{2x}$ |
| $-$ | $6$ | $\frac18e^{2x}$ |
| $0$ | $\frac1{16}e^{2x}$ |
각 행의 왼쪽 칸과 한 줄 아래 오른쪽 칸을 곱합니다.
$$\begin{aligned}\int x^3e^{2x}dx&=x^3\cdot\frac{e^{2x}}2-3x^2\cdot\frac{e^{2x}}4\\&\quad+6x\cdot\frac{e^{2x}}8-6\cdot\frac{e^{2x}}{16}\\&=e^{2x}\Big(\frac{x^3}2-\frac{3x^2}4+\frac{3x}4-\frac38\Big)+C.\end{aligned}$$
검산: $\frac{d}{dx}\big[e^{2x}P(x)\big]=e^{2x}(2P+P')$이고, $2P=x^3-\frac{3x^2}2+\frac{3x}2-\frac34$, $P'=\frac{3x^2}2-\frac{3x}2+\frac34$이므로 합은 $x^3$입니다.
(b) $I_n=\int\sin^nx\,dx$. $u=\sin^{n-1}x$, $dv=\sin x\,dx$로 두면 $du=(n-1)\sin^{n-2}x\cos x\,dx$, $v=-\cos x$.
$$\begin{aligned}I_n&=-\sin^{n-1}x\cos x\\&\quad+(n-1)\int\sin^{n-2}x\cos^2x\,dx\\&=-\sin^{n-1}x\cos x+(n-1)(I_{n-2}-I_n).\end{aligned}$$
($\cos^2x=1-\sin^2x$를 썼습니다.) $I_n$을 왼쪽으로 모으면
$$I_n=-\frac{\sin^{n-1}x\cos x}{n}+\frac{n-1}{n}I_{n-2}.$$
$0$부터 $\frac\pi2$까지 적분하면 첫 항은 양 끝에서 0이므로 $W_n=\frac{n-1}nW_{n-2}$입니다.
$$\begin{aligned}W_5&=\frac45\cdot\frac23\cdot W_1=\frac8{15},\\ W_6&=\frac56\cdot\frac34\cdot\frac12\cdot W_0=\frac{15}{48}\cdot\frac\pi2=\frac{5\pi}{32}.\end{aligned}$$
3. 삼각치환
레시피
- 근호의 꼴을 보고 치환합니다.
| 보이는 꼴 | 치환 | 쓰는 항등식 |
| $\sqrt{a^2-x^2}$ | $x=a\sin t$ | $1-\sin^2t=\cos^2t$ |
| $\sqrt{a^2+x^2}$, $\;x^2+a^2$ | $x=a\tan t$ | $1+\tan^2t=\sec^2t$ |
| $\sqrt{x^2-a^2}$ | $x=a\sec t$ | $\sec^2t-1=\tan^2t$ |
- $dx$도 바꿉니다($x=a\tan t$이면 $dx=a\sec^2t\,dt$). 정적분이면 구간도 $t$로 바꿉니다.
- $t$에 대한 삼각함수 적분을 합니다. 거듭제곱은 2절 점화식이나 L02 4절을 씁니다.
- 부정적분이면 직각삼각형을 그려 $t$의 삼각함수를 $x$로 되돌립니다. 예: $\tan t=\frac xa$이면 빗변이 $\sqrt{x^2+a^2}$이므로 $\sin t=\frac x{\sqrt{x^2+a^2}}$.
예제 3-1 $\displaystyle\int\frac{dx}{(x^2+a^2)^{3/2}}$ ($a>0$)와 $\displaystyle\int_{-\infty}^{\infty}\frac{dx}{(x^2+a^2)^{3/2}}$
$x=a\tan t$로 둡니다: $dx=a\sec^2t\,dt$, $\;x^2+a^2=a^2\sec^2t$, $\;(x^2+a^2)^{3/2}=a^3\sec^3t$.
$$\begin{aligned}\int\frac{a\sec^2t\,dt}{a^3\sec^3t}&=\frac1{a^2}\int\cos t\,dt=\frac{\sin t}{a^2}\\&=\frac{x}{a^2\sqrt{x^2+a^2}}+C.\end{aligned}$$
정적분: $x\to\pm\infty$에서 $\frac{x}{\sqrt{x^2+a^2}}\to\pm1$이므로
$$\int_{-\infty}^{\infty}\frac{dx}{(x^2+a^2)^{3/2}}=\frac{1-(-1)}{a^2}=\frac{2}{a^2}.$$
(무한히 긴 직선 전하의 전기장을 계산할 때 나오는 적분입니다.)
4. 가우스 적분
레시피
- $I=\int_{-\infty}^\infty e^{-ax^2}dx$를 제곱해서 2차원 적분으로 만듭니다: $I^2=\iint e^{-a(x^2+y^2)}dx\,dy$.
- 극좌표로 바꿉니다: $x^2+y^2=r^2$, $dx\,dy=r\,dr\,d\theta$. 함께 붙어 나온 $r$ 덕분에 $r$ 적분이 바로 됩니다.
- 지수가 $-ax^2+bx$이면 완전제곱(completing the square)으로 $-a\big(x-\frac b{2a}\big)^2+\frac{b^2}{4a}$로 바꾸고 $u=x-\frac b{2a}$로 옮깁니다. 구간이 $(-\infty,\infty)$이면 옮겨도 구간이 그대로입니다.
- $x$의 홀수 거듭제곱이 붙으면 $u=x^2$ 치환, 짝수 거듭제곱이 붙으면 5절의 $a$ 미분을 씁니다.
왜 되나? (증명 스케치)
- 왜 제곱하나: 적분 변수 이름은 아무래도 되므로 $I=\int e^{-ay^2}dy$로도 씁니다. 두 적분을 곱하면 $e^{-ax^2}e^{-ay^2}=e^{-a(x^2+y^2)}$이라서 평면 전체의 이중적분이 됩니다.
- 왜 극좌표가 통하나: 1차원에서는 $e^{-ax^2}$의 원시함수가 초등함수가 아닙니다. 극좌표에서는 넓이 요소가 $r\,dr\,d\theta$라서 $r$이 하나 붙고, $re^{-ar^2}=\frac{d}{dr}\Big(-\frac{e^{-ar^2}}{2a}\Big)$가 정확한 도함수가 됩니다.
- 왜 완전제곱이 통하나: $-ax^2+bx=-a\big(x-\frac b{2a}\big)^2+\frac{b^2}{4a}$. 상수 $e^{b^2/(4a)}$는 밖으로 나가고, 남은 것은 중심만 $\frac b{2a}$로 옮긴 가우스 함수입니다. 구간이 $(-\infty,\infty)$이면 옮겨도 넓이가 같습니다.
- $b$가 허수일 때(연습문제 C4의 $b=ik$)는 적분선이 복소평면에서 옮겨집니다. 그래도 되는 이유는 코시 정리(L10)인데 여기서는 생략합니다.
예제 4-1 (a) $\displaystyle\int_{-\infty}^{\infty}e^{-ax^2}dx$ (극좌표 트릭) (b) $\displaystyle\int_{-\infty}^{\infty}e^{-2x^2+4x}dx$ (완전제곱)
(a)
$$\begin{aligned}I^2&=\int_0^{2\pi}\!\!\int_0^\infty e^{-ar^2}\,r\,dr\,d\theta\\&=2\pi\Big[-\frac{e^{-ar^2}}{2a}\Big]_0^\infty=2\pi\cdot\frac1{2a}=\frac\pi a,\\ I&=\sqrt{\frac\pi a}.\end{aligned}$$
$I>0$이므로 양의 제곱근을 고릅니다. 피적분함수가 짝함수라서 $\int_0^\infty e^{-ax^2}dx=\frac12\sqrt{\frac\pi a}$입니다.
(b) 지수를 완전제곱으로 바꿉니다.
$$\begin{aligned}-2x^2+4x&=-2(x^2-2x)=-2\big[(x-1)^2-1\big]\\&=-2(x-1)^2+2.\end{aligned}$$
$u=x-1$로 옮기면
$$\int_{-\infty}^{\infty}e^{-2x^2+4x}dx=e^2\int_{-\infty}^{\infty}e^{-2u^2}du=e^2\sqrt{\frac\pi2}.$$
일반식 $\int_{-\infty}^\infty e^{-ax^2+bx}dx=\sqrt{\frac\pi a}\,e^{b^2/(4a)}$에 $a=2$, $b=4$를 넣어도 $\frac{b^2}{4a}=2$로 같습니다.
5. 매개변수 미분 (적분 기호 안에서 미분하기)
레시피
- 답을 아는 적분에 매개변수 $a$를 둡니다. 없으면 일부러 넣습니다(예: $e^{-ax}$를 곱하고 끝에 $a\to0$).
- 양변을 $a$로 미분합니다. 적분 구간이 $a$에 의존하지 않으면 피적분함수만 $\frac{\partial}{\partial a}$로 미분하면 됩니다. 이것을 적분 기호 안에서 미분하기(differentiation under the integral sign)라고 합니다. 파인만 트릭(Feynman's trick)이라고도 부릅니다.
- 쓰는 법은 두 가지입니다.
- (A) 아는 적분을 반복 미분해서 $x^n$이 붙은 적분을 얻습니다.
- (B) 모르는 적분 $I(a)$를 미분하면 쉬운 적분이 되도록 만듭니다. $I'(a)$를 구한 뒤 $a$로 다시 적분하고, 적분상수는 $a\to\infty$ 같은 쉬운 극한으로 정합니다.
- $\frac{\partial}{\partial a}e^{-ax}=-xe^{-ax}$, $\;\frac{\partial}{\partial a}e^{-ax^2}=-x^2e^{-ax^2}$: 미분할 때마다 $-x$ 또는 $-x^2$가 하나씩 붙습니다. 부호를 잊지 않습니다.
왜 되나? (증명 스케치)
$I(a)=\int_p^qf(x,a)\,dx$의 차분몫을 씁니다. 구간이 $a$와 무관하므로 두 적분을 하나로 합칠 수 있습니다.
$$\frac{I(a+h)-I(a)}{h}=\int_p^q\frac{f(x,a+h)-f(x,a)}{h}\,dx.$$
$h\to0$이면 오른쪽 피적분함수가 $\frac{\partial f}{\partial a}$로 갑니다. 적분은 "아주 많은 항의 합"이고, 합의 미분은 각 항의 미분의 합이라는 것과 같은 이야기입니다.
엄밀하게는 극한과 적분의 순서를 바꿔도 되는지 확인해야 합니다($\big|\frac{\partial f}{\partial a}\big|$가 $a$와 무관한 적분 가능한 함수보다 작으면 됩니다). 생략하지만, 구간이 무한일 때 실제로 깨지는 예가 있습니다: $a>0$이면 $\int_0^\infty\frac{\sin ax}{x}dx=\frac\pi2$로 상수인데, 안에서 미분하면 발산하는 $\int_0^\infty\cos ax\,dx$가 나옵니다.
예제 5-1 (a) $\displaystyle\int_0^\infty x^ne^{-ax}dx$ (b) $\displaystyle\int_0^\infty x^2e^{-ax^2}dx$
(a) 출발점: $\int_0^\infty e^{-ax}dx=\frac1a=a^{-1}$.
- $a$로 한 번 미분: $\int_0^\infty(-x)e^{-ax}dx=-a^{-2}$ → $\int_0^\infty xe^{-ax}dx=\frac1{a^2}$
- 두 번: $\int_0^\infty x^2e^{-ax}dx=\frac{2}{a^3}$
- 세 번: $\int_0^\infty x^3e^{-ax}dx=\frac{3\cdot2}{a^4}$
$n$번 미분하면 왼쪽에 $(-x)^n$, 오른쪽에 $\frac{d^n}{da^n}a^{-1}=(-1)^nn!\,a^{-n-1}$이 나오고 $(-1)^n$이 양쪽에서 지워집니다.
$$\int_0^\infty x^ne^{-ax}dx=\frac{n!}{a^{n+1}}.$$
(b) 출발점: $\int_0^\infty e^{-ax^2}dx=\frac{\sqrt\pi}2a^{-1/2}$ (4절). 양변을 $a$로 미분하고 부호를 바꿉니다.
$$\begin{aligned}\int_0^\infty x^2e^{-ax^2}dx&=-\frac{d}{da}\Big(\frac{\sqrt\pi}2a^{-1/2}\Big)\\&=\frac{\sqrt\pi}2\cdot\frac12a^{-3/2}=\frac{\sqrt\pi}{4a^{3/2}}.\end{aligned}$$
한 번 더 하면 $\int_0^\infty x^4e^{-ax^2}dx=\frac{\sqrt\pi}{4}\cdot\frac32a^{-5/2}=\frac{3\sqrt\pi}{8a^{5/2}}$.
예제 5-2 $I(a)=\displaystyle\int_0^\infty e^{-ax}\frac{\sin x}{x}dx$ ($a>0$)와 $\displaystyle\int_0^\infty\frac{\sin x}{x}dx$
$\frac{\sin x}x$의 원시함수는 초등함수로 쓸 수 없습니다. $a$로 미분하면 분모의 $x$가 지워집니다.
$$\begin{aligned}I'(a)&=\int_0^\infty(-x)e^{-ax}\frac{\sin x}{x}dx\\&=-\int_0^\infty e^{-ax}\sin x\,dx=-\frac{1}{a^2+1}.\end{aligned}$$
(마지막 적분은 L02 8절의 $\int_0^\infty e^{-px}\sin bx\,dx=\frac b{p^2+b^2}$에 $p=a$, $b=1$을 넣은 것입니다.)
$a$로 적분하면 $I(a)=-\arctan a+C$.
상수 정하기: $a\to\infty$이면 $e^{-ax}$가 피적분함수를 0으로 만들므로 $I\to0$입니다. $\arctan a\to\frac\pi2$이므로 $C=\frac\pi2$.
$$I(a)=\frac\pi2-\arctan a=\arctan\frac1a\qquad(a>0).$$
$a\to0^+$이면 $\arctan\frac1a\to\frac\pi2$이므로
$$\int_0^\infty\frac{\sin x}{x}dx=\frac\pi2.$$
(극한을 적분 안으로 넣어도 되는지에 대한 증명은 생략합니다.)
6. 적분 구간도 변할 때 — 라이프니츠 규칙
레시피
- 적분 구간의 끝과 피적분함수가 모두 $x$에 의존하면 라이프니츠 규칙(Leibniz rule)을 씁니다.
$$\begin{aligned}\frac{d}{dx}\int_{a(x)}^{b(x)}f(x,t)\,dt&=f\big(x,b(x)\big)\,b'(x)\\&\quad-f\big(x,a(x)\big)\,a'(x)\\&\quad+\int_{a(x)}^{b(x)}\frac{\partial f}{\partial x}(x,t)\,dt\end{aligned}$$
- 세 조각으로 읽습니다. ① 위끝이 움직인 효과: (위끝에서의 높이)×(위끝의 속도). ② 아래끝이 움직인 효과: 같은 꼴에 부호 $-$. ③ 피적분함수 자체가 변한 효과: 5절의 매개변수 미분.
- 특수한 경우: 피적분함수에 $x$가 없으면 ③이 없습니다. 예: $\frac{d}{dx}\int_0^{x^2}g(t)\,dt=g(x^2)\cdot2x$. 구간이 고정이면 ①②가 없고 5절과 같습니다.
- 검산: 적분을 직접 할 수 있으면 먼저 적분한 뒤 미분해서 비교합니다. 치환으로 $x$를 끝점으로만 몰아낼 수 있으면 그렇게 해서 비교합니다.
- 쓰는 곳: 적분으로 정의된 함수가 미분방정식을 만족하는지 확인할 때(L27 그린 함수), 변분법(L28)에서 끝점이 움직일 때.
왜 되나? (증명 스케치)
세 변수 함수 $G(A,B,x)=\int_A^Bf(x,t)\,dt$를 생각합니다. 편도함수는 각각 쉽습니다.
- $\frac{\partial G}{\partial B}=f(x,B)$: 미적분의 기본정리(위끝으로 미분하면 피적분함수).
- $\frac{\partial G}{\partial A}=-f(x,A)$: 아래끝은 $\int_A^B=-\int_B^A$라서 부호가 반대.
- $\frac{\partial G}{\partial x}=\int_A^B\frac{\partial f}{\partial x}dt$: 끝을 고정한 매개변수 미분(5절).
$F(x)=G\big(a(x),b(x),x\big)$이므로 연쇄법칙(L00b)으로
$$F'(x)=\frac{\partial G}{\partial A}a'+\frac{\partial G}{\partial B}b'+\frac{\partial G}{\partial x}.$$
세 항이 레시피의 세 조각입니다.
예제 6-1 (a) $\dfrac{d}{dx}\displaystyle\int_x^{x^2}\frac{dt}{t}$ ($x>0$)를 두 방법으로 (b) $y(x)=\displaystyle\int_0^x\sin(x-t)\,g(t)\,dt$가 $y''+y=g(x)$, $y(0)=y'(0)=0$을 만족함을 보이기
(a) 라이프니츠: $f=\frac1t$에 $x$가 없으므로 ③은 0입니다. $b=x^2$, $b'=2x$, $a=x$, $a'=1$.
$$\frac{1}{x^2}\cdot2x-\frac1x\cdot1=\frac2x-\frac1x=\frac1x.$$
직접: $\int_x^{x^2}\frac{dt}t=\ln x^2-\ln x=\ln x$이고, 미분하면 $\frac1x$. 같습니다.
(b) 위끝 $b=x$ ($b'=1$), 아래끝 $0$ (고정), 피적분함수 $\sin(x-t)\,g(t)$에 $x$가 있습니다.
$$\begin{aligned}y'&=\sin(x-x)\,g(x)\cdot1+\int_0^x\cos(x-t)\,g(t)\,dt\\&=\int_0^x\cos(x-t)\,g(t)\,dt.\end{aligned}$$
($\sin0=0$이라 ①이 사라졌습니다.) 한 번 더 미분합니다.
$$\begin{aligned}y''&=\cos0\cdot g(x)-\int_0^x\sin(x-t)\,g(t)\,dt\\&=g(x)-y.\end{aligned}$$
따라서 $y''+y=g$. 또 $y(0)=\int_0^0=0$, $y'(0)=\int_0^0=0$. 정지해 있던 진동자($\omega=1$)에 힘 $g(t)$를 가했을 때의 변위가 이 적분입니다(뒤아멜 적분, Duhamel's integral).
7. 적분 순서 바꾸기와 대칭
레시피
- 이중적분의 영역을 그림으로 그립니다. 예: "$x$는 0부터 1, 각 $x$에서 $y$는 $x$부터 1"은 삼각형 $0\le x\le y\le1$입니다.
- 같은 영역을 반대 순서로 다시 읽습니다: "$y$는 0부터 1, 각 $y$에서 $x$는 0부터 $y$".
- 안쪽에서 적분이 안 되는 함수($e^{-y^2}$, $\sin(x^2)$, $\frac{\sin x}{x}$ 등)를 바깥으로 보내면, 바뀐 안쪽 적분이 그 함수에 필요한 인자($y$, $x$ 등)를 만들어 줍니다.
- 대칭: 구간이 $[-a,a]$이면 피적분함수를 짝·홀 부분으로 나눕니다. 홀함수 부분의 적분은 0이고, 짝함수 부분은 $2\int_0^a$입니다.
- 짝×짝=짝, 홀×홀=짝, 짝×홀=홀. 예: $x\cos x$는 홀, $x^2\cos x$는 짝, $xe^{-x^2}$은 홀.
예제 7-1 (a) $\displaystyle\int_0^1\!\!\int_x^1e^{-y^2}dy\,dx$ (b) $\displaystyle\int_{-\infty}^{\infty}(x+1)^2e^{-x^2}dx$
(a) 안쪽 $\int e^{-y^2}dy$는 초등함수로 안 됩니다. 영역은 $0\le x\le y\le1$인 삼각형이므로 순서를 바꿉니다.
$$\begin{aligned}\int_0^1\!\!\int_0^y e^{-y^2}dx\,dy&=\int_0^1ye^{-y^2}dy\\&=\Big[-\frac{e^{-y^2}}2\Big]_0^1=\frac{1-e^{-1}}2.\end{aligned}$$
(b) 전개하면 $(x^2+2x+1)e^{-x^2}$. $2xe^{-x^2}$는 홀함수라서 적분이 0입니다. 나머지는 짝함수이고 0절의 표로 계산합니다.
$$\begin{aligned}\int_{-\infty}^{\infty}x^2e^{-x^2}dx&=2\cdot\frac{\sqrt\pi}{4}=\frac{\sqrt\pi}2,\\ \int_{-\infty}^{\infty}e^{-x^2}dx&=\sqrt\pi.\end{aligned}$$
합: $\frac{\sqrt\pi}2+0+\sqrt\pi=\frac{3\sqrt\pi}2$.
8. 디랙 델타 — 수열 표현과 적분 표현
레시피
- 델타는 "넓이가 1이고 폭이 0으로 줄어드는 봉우리"의 극한입니다. 이런 함수열 $\delta_n$을 델타 수열(delta sequence)이라 합니다. 극한은 적분한 뒤에 취합니다: $\int f\,\delta\,dx=\lim_{n\to\infty}\int f\,\delta_n\,dx$.
- 자주 쓰는 네 가지($n\to\infty$, 또는 $\varepsilon=\frac1n\to0^+$):
| 이름 | $\delta_n(x)$ |
| 사각형 | $|x|<\frac1n$이면 $\frac n2$, 밖이면 $0$ |
| 가우스형 | $\dfrac{n}{\sqrt\pi}e^{-n^2x^2}$ |
| 로런츠형(Lorentzian) | $\dfrac1\pi\dfrac{n}{1+n^2x^2}=\dfrac1\pi\dfrac{\varepsilon}{x^2+\varepsilon^2}$ |
| sinc형 | $\dfrac{\sin nx}{\pi x}$ |
- 델타 수열인지 확인: ① $\int_{-\infty}^\infty\delta_n\,dx=1$ ($u=nx$로 치환하면 $n$이 사라집니다). ② 폭이 $\frac1n$에 비례해 좁아집니다. sinc형은 $x\ne0$에서 0으로 가지 않고 점점 빠르게 진동하지만, 적분 안에서는 진동이 상쇄되어 같은 결과를 줍니다.
- $\lim\int f\,\delta_n\,dx$를 직접 계산할 때는 적분을 닫힌 꼴로 구한 뒤 극한을 취합니다. 답은 $f(0)$이어야 합니다.
- 적분 표현(integral representation):
$$\delta(x)=\frac1{2\pi}\int_{-\infty}^{\infty}e^{ikx}\,dk.$$
$k\to-k$로 바꾸면 $e^{-ikx}$로 써도 같습니다. 변수 이름을 바꾸면 $\int_{-\infty}^\infty e^{i(k-k')x}dx=2\pi\,\delta(k-k')$ (평면파의 직교성)입니다. 3차원은 $\delta^3(\mathbf r)=\frac1{(2\pi)^3}\int e^{i\mathbf k\cdot\mathbf r}d^3k$. 푸리에 변환(L19)의 출발점입니다.
- 이중적분에 $e^{ik(x-c)}$가 있으면 $k$ 적분을 먼저 해서 $2\pi\,\delta(x-c)$로 바꾸고, 남은 $x$ 적분은 거르기로 끝냅니다.
왜 되나? (증명 스케치)
수열의 극한이 $f(0)$이 되는 이유. $\delta_n(x)=n\,\delta_1(nx)$ 꼴입니다(표의 네 가지 모두 그렇습니다). $u=nx$로 치환합니다.
$$\int f(x)\,\delta_n(x)\,dx=\int f\Big(\frac un\Big)\,\delta_1(u)\,du.$$
$n\to\infty$이면 $f(u/n)\to f(0)$이고, $\int\delta_1\,du=1$이므로 결과는 $f(0)$입니다. (엄밀하게는 $f$가 유계이고 연속이어야 극한을 안으로 넣을 수 있습니다. 생략합니다.)
적분 표현의 이유. $k$ 적분을 $[-n,n]$에서 자르면 sinc형이 나옵니다.
$$\begin{aligned}\frac1{2\pi}\int_{-n}^{n}e^{ikx}dk&=\frac{e^{inx}-e^{-inx}}{2\pi\,ix}\\&=\frac{\sin nx}{\pi x}.\end{aligned}$$
넓이는 $\frac1\pi\int_{-\infty}^\infty\frac{\sin u}{u}du=\frac1\pi\cdot2\cdot\frac\pi2=1$입니다(예제 5-2). 따라서 $n\to\infty$인 극한이 $\delta(x)$입니다.
예제 8-1 (a) 로런츠형의 넓이가 1임을 보이고, $\displaystyle\lim_{\varepsilon\to0^+}\int_{-\infty}^{\infty}\frac{\varepsilon/\pi}{x^2+\varepsilon^2}\cdot\frac{1}{1+x^2}\,dx$ 구하기 (b) $\displaystyle\lim_{n\to\infty}\int_{-\infty}^{\infty}\cos x\cdot\frac{n}{\sqrt\pi}e^{-n^2x^2}dx$
(a) 넓이: $\int\frac{dx}{x^2+\varepsilon^2}=\frac1\varepsilon\arctan\frac x\varepsilon$이므로
$$\frac\varepsilon\pi\cdot\frac1\varepsilon\Big[\arctan\frac x\varepsilon\Big]_{-\infty}^{\infty}=\frac1\pi\Big(\frac\pi2+\frac\pi2\Big)=1.$$
적분: 부분분수로 나눕니다.
$$\frac1{(x^2+\varepsilon^2)(x^2+1)}=\frac1{1-\varepsilon^2}\Big(\frac1{x^2+\varepsilon^2}-\frac1{x^2+1}\Big).$$
$\int_{-\infty}^\infty\frac{dx}{x^2+\varepsilon^2}=\frac\pi\varepsilon$, $\int_{-\infty}^\infty\frac{dx}{x^2+1}=\pi$를 넣습니다.
$$\begin{aligned}\frac\varepsilon\pi\cdot\frac1{1-\varepsilon^2}\Big(\frac\pi\varepsilon-\pi\Big)&=\frac{1-\varepsilon}{1-\varepsilon^2}\\&=\frac1{1+\varepsilon}\to1.\end{aligned}$$
$f(x)=\frac1{1+x^2}$이므로 $f(0)=1$과 맞습니다.
(b) 가우스 적분 일반식(4절)에 $a=n^2$, $b=i$를 넣으면 $\int e^{-n^2x^2}\cos x\,dx=\frac{\sqrt\pi}{n}e^{-1/(4n^2)}$입니다(연습문제 C4와 같은 계산).
$$\frac{n}{\sqrt\pi}\cdot\frac{\sqrt\pi}{n}e^{-1/(4n^2)}=e^{-1/(4n^2)}\to1=\cos0.$$
예제 8-2 (a) $\displaystyle\int_{-\infty}^{\infty}\!\int_{-\infty}^{\infty}\frac{e^{ik(x-2)}}{1+x^2}\,dk\,dx$ (b) $\displaystyle\int_{-\infty}^{\infty}\cos(kx)\,dk=2\pi\,\delta(x)$ 확인
(a) $k$ 적분을 먼저 합니다: $\int_{-\infty}^\infty e^{ik(x-2)}dk=2\pi\,\delta(x-2)$.
$$\int_{-\infty}^{\infty}\frac{2\pi\,\delta(x-2)}{1+x^2}dx=\frac{2\pi}{1+4}=\frac{2\pi}5.$$
(b) $\cos kx=\frac12\big(e^{ikx}+e^{-ikx}\big)$이고, 두 항 모두 $k$로 적분하면 $2\pi\,\delta(x)$입니다.
$$\int_{-\infty}^{\infty}\cos(kx)\,dk=\frac12\big(2\pi\delta(x)+2\pi\delta(x)\big)=2\pi\,\delta(x).$$
같은 말로, $e^{ikx}=\cos kx+i\sin kx$에서 $\sin kx$는 $k$의 홀함수라 적분이 0이므로 실수 부분만 남습니다.
9. 디랙 델타의 성질 (1차원)
레시피
- 거르기(sifting): $\int_a^bf(x)\,\delta(x-x_0)\,dx=f(x_0)$. 단 $x_0$가 $(a,b)$ 안에 있을 때만입니다. 밖이면 0입니다.
- 안쪽이 1차식이면 척도 규칙을 씁니다: $\delta(cx-d)=\dfrac1{|c|}\,\delta\Big(x-\dfrac dc\Big)$. 절댓값을 잊지 않습니다.
- 안쪽이 일반 함수 $g(x)$이면 $g$의 실근 $x_i$를 모두 찾고 $\delta(g(x))=\sum_i\dfrac{\delta(x-x_i)}{|g'(x_i)|}$로 바꿉니다. 적분 구간 밖의 근은 버립니다.
- 도함수: $\int f(x)\,\delta'(x-x_0)\,dx=-f'(x_0)$. 부분적분 한 번으로 나옵니다($\delta$는 무한대에서 0). $n$계 도함수면 $(-1)^nf^{(n)}(x_0)$.
- 계단함수: $H'(x)=\delta(x)$. 일반적으로 함수가 $x_0$에서 크기 $J$만큼 뛰면, 그 도함수에는 $J\,\delta(x-x_0)$가 더해집니다.
- 곱 규칙: $f(x)\,\delta(x-x_0)=f(x_0)\,\delta(x-x_0)$, $\;x\,\delta(x)=0$, $\;\delta(-x)=\delta(x)$.
왜 되나? (증명 스케치)
- 거르기·곱 규칙: $\delta_n(x-x_0)$은 $x_0$ 근처 폭 $\sim\frac1n$ 안에서만 0이 아닙니다. 그 안에서 $f\approx f(x_0)$로 상수 취급하면 $\int f\,\delta_n\approx f(x_0)\cdot1$입니다(8절).
- $\delta(g(x))$: 근 $x_i$ 근처에서만 기여가 있습니다. 그 근처에서 $u=g(x)$로 치환하면 $dx=\frac{du}{g'(x_i)}$입니다. $g'(x_i)<0$이면 $u$가 감소하므로 적분 방향이 뒤집히고, 위아래를 바로잡을 때 부호가 한 번 더 바뀝니다. 그래서 결과는 $\frac{1}{|g'(x_i)|}$입니다.
$$\int f(x)\,\delta(g(x))\,dx=\sum_i\frac{f(x_i)}{|g'(x_i)|}.$$
척도 규칙은 $g(x)=cx-d$ (근 하나, $g'=c$)인 경우입니다.
- $\delta'$: 부분적분 한 번입니다. 경계항 $[f\,\delta]$는 델타가 $x_0$ 밖에서 0이라 사라집니다. 한 번 넘길 때마다 $-$가 붙으므로 $n$계는 $(-1)^n$.
- $H'=\delta$: $H(x)=\int_{-\infty}^x\delta(t)\,dt$ (넓이를 왼쪽부터 쌓으면 $x=0$을 지날 때 0에서 1로 뜀)이고, 미적분의 기본정리로 미분하면 $\delta(x)$입니다.
예제 9-1 (a) $\displaystyle\int_{-\infty}^{\infty}e^{x}\,\delta(6-3x)\,dx$ (b) $\displaystyle\int_{-\infty}^{\infty}(x^3+x^2)\,\delta(x^2-4)\,dx$
(a) $\delta(6-3x)=\delta\big(-3(x-2)\big)=\dfrac{1}{|-3|}\delta(x-2)$이므로 답은 $\dfrac{e^2}3$.
(b) $g(x)=x^2-4$의 근은 $x=\pm2$, $g'(x)=2x$이므로 $|g'(\pm2)|=4$.
$$\delta(x^2-4)=\frac{\delta(x-2)+\delta(x+2)}{4}.$$
$$\begin{aligned}\int_{-\infty}^{\infty}(x^3+x^2)\,\delta(x^2-4)\,dx&=\frac{(8+4)+(-8+4)}{4}\\&=\frac{12-4}4=2.\end{aligned}$$
근 하나만 쓰면 3이라는 틀린 답이 나옵니다. 일반식: $a>0$이면 $\delta(x^2-a^2)=\dfrac{\delta(x-a)+\delta(x+a)}{2a}$.
예제 9-2 (a) $\displaystyle\int_{-\infty}^{\infty}(x^2+3x)\,\delta'(x-1)\,dx$ (b) $H'=\delta$ 확인과 $\dfrac{d}{dx}\big[e^{-x}H(x)\big]$
(a) 부분적분합니다.
$$\begin{aligned}\int_{-\infty}^{\infty}f(x)\,\delta'(x-1)\,dx&=\Big[f\,\delta(x-1)\Big]_{-\infty}^{\infty}\\&\quad-\int_{-\infty}^{\infty}f'(x)\,\delta(x-1)\,dx\\&=0-f'(1)=-f'(1).\end{aligned}$$
$f'(x)=2x+3$이므로 답은 $-5$.
(b) 시험함수(test function) $h(x)$ (무한대에서 0)를 곱해 적분합니다.
$$\begin{aligned}\int_{-\infty}^{\infty}h(x)H'(x)\,dx&=-\int_{-\infty}^{\infty}h'(x)H(x)\,dx\\&=-\int_0^{\infty}h'(x)\,dx=h(0).\end{aligned}$$
이것은 $\delta$의 거르기 성질과 같으므로 $H'(x)=\delta(x)$입니다.
곱의 미분법에 레시피 6번(곱 규칙)을 쓰면
$$\begin{aligned}\frac{d}{dx}\big[e^{-x}H(x)\big]&=-e^{-x}H(x)+e^{-x}\delta(x)\\&=-e^{-x}H(x)+\delta(x).\end{aligned}$$
$e^{-x}H(x)$는 $x=0$에서 0에서 1로 뛰므로 $\delta$의 계수가 1인 것과 맞습니다.
10. 3차원 델타
레시피
- 직교좌표: $\delta^3(\mathbf r-\mathbf a)=\delta(x-a_x)\,\delta(y-a_y)\,\delta(z-a_z)$. 그래서 $\int_Vf(\mathbf r)\,\delta^3(\mathbf r-\mathbf a)\,dV=f(\mathbf a)$입니다. 단 $\mathbf a$가 영역 $V$ 안일 때만이고, 밖이면 0입니다. 먼저 $|\mathbf a|$를 계산해 영역 안인지 봅니다.
- $\delta^3$의 단위는 (길이)$^{-3}$이고 $\int\delta^3\,dV=1$입니다.
- 구면좌표: 부피 요소 $dV=r^2\sin\theta\,dr\,d\theta\,d\phi$의 야코비안을 지우도록
$$\delta^3(\mathbf r-\mathbf a)=\frac{\delta(r-a)\,\delta(\theta-\theta_a)\,\delta(\phi-\phi_a)}{r^2\sin\theta}$$
로 씁니다. ($\mathbf a$가 원점이나 $z$축 위에 있지 않을 때)
- 원점: $\delta^3(\mathbf r)=\dfrac{\delta(r)}{4\pi r^2}$ (0절 관례 상자 참고).
- 구 껍질: 반지름 방향 델타만 있으면 $\int f\,\delta(r-R)\,dV=R^2\oint f(R,\theta,\phi)\,d\Omega$, $\;d\Omega=\sin\theta\,d\theta\,d\phi$. 예: $\int\delta(r-R)\,dV=4\pi R^2$ (구의 겉넓이).
- 외워 둘 것: $\nabla^2\dfrac1r=-4\pi\,\delta^3(\mathbf r)$ (점전하의 퍼텐셜; L07–L08에서 다시 나옵니다).
왜 되나? (증명 스케치)
$\nabla^2\frac1r=-4\pi\delta^3(\mathbf r)$. 두 가지를 확인하면 됩니다.
- 원점 밖에서는 0: 구면좌표 라플라시안의 반지름 부분으로
$$\frac1{r^2}\frac{d}{dr}\Big(r^2\frac{d}{dr}\frac1r\Big)=\frac1{r^2}\frac{d}{dr}(-1)=0.$$
- 원점을 포함하는 공 $r<R$에서 적분하면 $-4\pi$: 발산 정리(L08)로 겉면 적분으로 바꿉니다. $\nabla\frac1r=-\frac{\hat{\mathbf r}}{r^2}$이므로
$$\oint\nabla\frac1r\cdot d\mathbf A=-\frac1{R^2}\cdot4\pi R^2=-4\pi.$$
$R$에 무관합니다.
원점에만 몰려 있고 적분값이 $-4\pi$인 것은 $-4\pi\,\delta^3(\mathbf r)$입니다. 같은 이유로 구면좌표 표현의 분모 $r^2\sin\theta$는 부피 요소의 야코비안을 지워서 적분값을 1로 맞추는 장치입니다.
예제 10-1 (a) $\mathbf a=(1,2,-1)$일 때 $\int(x^2+yz)\,\delta^3(\mathbf r-\mathbf a)\,dV$를 전체 공간과 반지름 2인 공 안에서 (b) $\int_{\text{전체}}e^{-r}\,\delta(r-2)\,dV$ (c) 구면좌표 표현이 1로 적분되는지 확인
(a) 전체 공간: $f(\mathbf a)=1^2+2\cdot(-1)=-1$. 공 $r<2$: $|\mathbf a|=\sqrt{1+4+1}=\sqrt6\approx2.45>2$이므로 델타가 영역 밖에 있어 0.
(b) 각도 적분과 반지름 적분을 따로 합니다.
$$\begin{aligned}\int_0^\infty e^{-r}\,\delta(r-2)\,r^2\,dr\cdot\oint d\Omega&=e^{-2}\cdot2^2\cdot4\pi\\&=16\pi e^{-2}.\end{aligned}$$
(c)
$$\begin{aligned}&\int\frac{\delta(r-a)\,\delta(\theta-\theta_a)\,\delta(\phi-\phi_a)}{r^2\sin\theta}\,r^2\sin\theta\,dr\,d\theta\,d\phi\\&=\int\delta(r-a)\,dr\int\delta(\theta-\theta_a)\,d\theta\int\delta(\phi-\phi_a)\,d\phi\\&=1\cdot1\cdot1=1.\end{aligned}$$
야코비안 $r^2\sin\theta$가 분모와 지워집니다. 분모를 빼먹으면 답에 $a^2\sin\theta_a$가 잘못 곱해집니다.
11. 자주 하는 실수
- 헤시안에서 $D>0$만 보고 $f_{xx}$의 부호를 안 보기. 또 $D=0$인데 극값이라고 단정하기.
- 표 방법에서 부호 교대($+,-,+,\dots$)를 잊기.
- 가우스 적분의 구간 $(0,\infty)$와 $(-\infty,\infty)$를 혼동하기(2배 차이). $\sqrt{\pi/a}$를 $\sqrt\pi/a$로 쓰기.
- 완전제곱 뒤에 남는 상수 인자 $e^{b^2/(4a)}$를 빼먹기.
- 매개변수 미분에서 $-x$의 부호를 빠뜨리거나, $I'(a)$를 적분한 뒤 적분상수를 정하지 않기.
- 라이프니츠 규칙에서 끝점의 속도 $b'(x)$, $a'(x)$를 안 곱하거나 아래끝 항의 $-$를 빠뜨리기. 피적분함수에 $x$가 있는데 ③(안쪽 미분 적분)을 빠뜨리기.
- 델타 수열에서 적분하기 전에 극한부터 취하기. sinc형은 점마다 수렴하지 않습니다. 적분 표현에서 $\frac1{2\pi}$ (또는 $2\pi$)를 빠뜨리기.
- $\delta(ax)$에서 $|a|$ 대신 $a$로 나누기. $a$가 음수면 부호가 틀립니다.
- $\delta(g(x))$에서 근을 하나만 쓰거나, $|g'(x_i)|$ 대신 $g'(x_i)$로 나누기.
- 델타의 위치가 적분 구간 밖인데 $f(x_0)$를 답으로 쓰기.
- $\int f\,\delta'(x-x_0)\,dx=+f'(x_0)$로 부호를 틀리기. 답은 $-f'(x_0)$입니다.
- 3차원 델타를 구면좌표로 쓸 때 $\dfrac1{r^2\sin\theta}$를 빠뜨리기.
12. 연습문제
종이에 먼저 풀고 답을 여세요. 모든 답은 SymPy로 검산했습니다(델타 문제는 좁은 가우스 함수로 근사한 수치 적분도 함께 확인).
A. 극값
A1. $f=x^2+xy+y^2-3x$의 정지점과 판정
답
$(2,-1)$, 극소, $f=-3$ — $2x+y=3$, $x+2y=0$. $D=2\cdot2-1=3>0$, $f_{xx}=2>0$.
A2. $f=x^4+y^4-4xy$의 정지점과 판정
답
$(0,0)$은 안장점($D=-16$). $(1,1)$과 $(-1,-1)$은 극소($D=128$), $f=-2$ — $y=x^3$을 둘째 식에 넣으면 $x^9=x$.
A3. $f=x^2+y^2+z^2+xy+yz-4z$의 정지점과 판정
답
$(1,-2,3)$, 극소, $f=-6$ — 헤시안 $\begin{pmatrix}2&1&0\\1&2&1\\0&1&2\end{pmatrix}$의 선행 주소행렬식이 $2,\,3,\,4$로 모두 양수.
B. 부분적분·점화식·삼각치환
B1. $\displaystyle\int x^2\cos x\,dx$
답
$x^2\sin x+2x\cos x-2\sin x+C$ — 표: 미분 쪽 $x^2,\,2x,\,2,\,0$ / 적분 쪽 $\cos x,\,\sin x,\,-\cos x,\,-\sin x$.
B2. $\displaystyle\int_0^1x^3e^x\,dx$
답
$6-2e\approx0.5634$ — 원시함수 $e^x(x^3-3x^2+6x-6)$. 위끝 $-2e$, 아래끝 $-6$.
B3. $\displaystyle\int_0^a\sqrt{a^2-x^2}\,dx$ ($a>0$)
답
$\dfrac{\pi a^2}4$ — $x=a\sin t$로 $a^2\int_0^{\pi/2}\cos^2t\,dt=a^2\cdot\frac\pi4$. 사분원의 넓이입니다.
B4. $\displaystyle\int_0^\infty\frac{dx}{(x^2+a^2)^2}$ ($a>0$)
답
$\dfrac{\pi}{4a^3}$ — $x=a\tan t$로 $\frac1{a^3}\int_0^{\pi/2}\cos^2t\,dt$.
B5. $\displaystyle\int_0^{\pi/2}\cos^7x\,dx$
답
$\dfrac{16}{35}$ — $\frac67\cdot\frac45\cdot\frac23\cdot1$.
B6. $\displaystyle\int_0^{\pi}\sin^4x\,dx$
답
$\dfrac{3\pi}8$ — $[0,\pi]$에서의 적분은 $[0,\frac\pi2]$의 2배: $2\cdot\frac34\cdot\frac12\cdot\frac\pi2$.
C. 가우스 적분과 매개변수 미분
C1. $\displaystyle\int_0^\infty x^3e^{-2x}dx$
답
$\dfrac38$ — $\frac{3!}{2^4}$.
C2. $\displaystyle\int_0^\infty x^4e^{-x^2}dx$
답
$\dfrac{3\sqrt\pi}8$ — 예제 5-1(b)의 마지막 식에 $a=1$.
C3. $\displaystyle\int_{-\infty}^{\infty}e^{-x^2+2x}dx$
답
$e\sqrt\pi$ — $-x^2+2x=-(x-1)^2+1$.
C4. $\displaystyle\int_{-\infty}^{\infty}e^{-x^2}\cos kx\,dx$ ($k$는 실수)
답
$\sqrt\pi\,e^{-k^2/4}$ — $\mathrm{Re}\int e^{-x^2+ikx}dx$. 완전제곱 일반식에 $a=1$, $b=ik$를 넣으면 $e^{(ik)^2/4}=e^{-k^2/4}$.
C5. $\displaystyle\int_0^\infty x^3e^{-ax^2}dx$ ($a>0$)
답
$\dfrac1{2a^2}$ — 홀수 거듭제곱이므로 $u=x^2$: $\frac12\int_0^\infty ue^{-au}du=\frac12\cdot\frac1{a^2}$.
C6. $\displaystyle\int_0^\infty\frac{e^{-ax}-e^{-bx}}{x}dx$ ($a,b>0$)
답
$\ln\dfrac ba$ — $I(a)$로 보면 $I'(a)=-\int_0^\infty e^{-ax}dx=-\frac1a$이므로 $I=-\ln a+C$. $a=b$이면 $I=0$이므로 $C=\ln b$.
D. 라이프니츠 규칙
D1. $\dfrac{d}{dx}\displaystyle\int_0^{x^2}e^{-t^2}dt$
답
$2x\,e^{-x^4}$ — 피적분함수에 $x$가 없으므로 위끝 항만: $e^{-(x^2)^2}\cdot2x$.
D2. $F(x)=\displaystyle\int_0^x(x-t)\,e^{t}dt$일 때 라이프니츠 규칙으로 $F'$, $F''$를 구하고, $F$를 직접 계산해 확인
답
$F'=e^x-1$, $F''=e^x$ — $F'=(x-x)e^x+\int_0^xe^tdt$. 직접: $F=e^x-1-x$.
D3. $\dfrac{d}{dx}\displaystyle\int_x^{x^2}\frac{\sin(xt)}{t}\,dt$ ($x>0$)
답
$\dfrac{3\sin x^3-2\sin x^2}{x}$ — 끝점 항 $\frac{2\sin x^3}{x}-\frac{\sin x^2}{x}$, 안쪽 항 $\int_x^{x^2}\cos(xt)\,dt=\frac{\sin x^3-\sin x^2}{x}$. 확인: $u=xt$로 치환하면 $\int_{x^2}^{x^3}\frac{\sin u}{u}du$.
E. 적분 순서와 대칭
E1. $\displaystyle\int_0^1\!\!\int_y^1\sin(x^2)\,dx\,dy$
답
$\dfrac{1-\cos1}2\approx0.2298$ — 영역 $0\le y\le x\le1$. 순서를 바꾸면 $\int_0^1\!\int_0^x\sin(x^2)\,dy\,dx=\int_0^1x\sin(x^2)\,dx$.
E2. $\displaystyle\int_{-\pi}^{\pi}(x+x^2)\cos x\,dx$
답
$-4\pi$ — $x\cos x$는 홀함수라 0. $2\int_0^\pi x^2\cos x\,dx=2\big[x^2\sin x+2x\cos x-2\sin x\big]_0^\pi=2(-2\pi)$.
F. 델타 수열과 적분 표현
F1. 사각형 수열 $\delta_n$ ($|x|<\frac1n$이면 $\frac n2$)으로 $\displaystyle\int_{-\infty}^{\infty}e^x\,\delta_n(x)\,dx$를 구하고 $n\to\infty$ 극한 확인
답
$n\sinh\dfrac1n\to1$ — $\frac n2\int_{-1/n}^{1/n}e^xdx=\frac n2\big(e^{1/n}-e^{-1/n}\big)$. $\sinh u\approx u$이므로 극한은 $1=e^0$.
F2. $\displaystyle\int_{-\infty}^{\infty}x^2\left[\frac1{2\pi}\int_{-\infty}^{\infty}e^{ik(2x-6)}dk\right]dx$
답
$\dfrac92$ — 괄호 안은 $\delta(2x-6)=\frac12\delta(x-3)$. $\frac12\cdot3^2$.
G. 디랙 델타
G1. (a) $\displaystyle\int_{-\infty}^{\infty}(x^3+2)\,\delta(x-1)\,dx$ (b) $\displaystyle\int_0^{\infty}e^{-x}\,\delta(x+2)\,dx$
답
(a) $3$ (b) $0$ — (b)는 $x=-2$가 적분 구간 밖입니다.
G2. $\displaystyle\int_{-\infty}^{\infty}\cos x\;\delta(3x-\pi)\,dx$
답
$\dfrac16$ — $\delta(3x-\pi)=\frac13\delta\big(x-\frac\pi3\big)$, $\frac13\cos\frac\pi3$.
G3. $\displaystyle\int_{-\infty}^{\infty}e^{x}\,\delta(x^2-1)\,dx$
답
$\cosh1=\dfrac{e+e^{-1}}2$ — 근 $\pm1$, $|g'(\pm1)|=2$.
G4. $\displaystyle\int_{-\infty}^{\infty}x^2\,\delta(x^2-3x+2)\,dx$
답
$5$ — 근 $x=1,2$. $g'=2x-3$이므로 $|g'(1)|=|g'(2)|=1$. $1+4$.
G5. $\displaystyle\int_{-\infty}^{\infty}x^3\,\delta'(x-2)\,dx$
답
$-12$ — $-f'(2)=-3\cdot2^2$.
G6. $\dfrac{d}{dx}|x|$와 $\dfrac{d^2}{dx^2}|x|$를 $H$와 $\delta$로
답
$\dfrac{d}{dx}|x|=2H(x)-1$ (부호함수 $\operatorname{sgn}x$), $\;\dfrac{d^2}{dx^2}|x|=2\delta(x)$ — 기울기가 $x=0$에서 $-1$에서 $+1$로 2만큼 뜁니다.
G7. $\displaystyle\int_{r<2}e^{-r}\,\delta^3(\mathbf r-\mathbf a)\,dV$를 $\mathbf a=(1,1,1)$일 때와 $\mathbf a=(2,2,1)$일 때
답
$e^{-\sqrt3}$, $\;0$ — $|(1,1,1)|=\sqrt3<2$이므로 $e^{-|\mathbf a|}$. $|(2,2,1)|=3>2$이므로 영역 밖.
G8. $\displaystyle\int_{\text{전체}}z^2\,\delta(r-R)\,dV$
답
$\dfrac{4\pi R^4}3$ — $z=r\cos\theta$이므로 $R^2\cdot R^2\oint\cos^2\theta\,d\Omega=R^4\cdot\frac{4\pi}3$.
13. 다음
- 틀린 문제는 풀이를 사진이나 텍스트로 보내 주세요. 어디서 틀렸는지 짚어 드립니다.
- 여기까지 끝냈다면 Arfken 1.9–1.11절 연습문제 중 계산형 문제를 몇 개 풀어 보세요.
- 다음 레슨은 L04 행렬식·행렬입니다(여인수 전개, 행 연산, 역행렬, 크래머 공식). 1절 헤시안 판정의 행렬식 계산을 거기서 더 연습합니다.
← 로드맵 · ← 이전 L02 · 다음 L04 →