← 로드맵 · ← 이전 L02 · 다음 L04 →

L03 · 극값·적분 기법·디랙 델타

Arfken 7판 1.9–1.11절 (도함수와 극값, 적분 계산 기법, 디랙 델타 함수)

이 레슨이 끝나면 할 수 있는 계산
  1. 다변수 함수의 정지점을 찾고 극대·극소·안장점 판정하기
  2. 부분적분 표 방법, $\sin^n x$ 점화식, 삼각치환으로 적분하기
  3. 가우스 적분과 그 변형(완전제곱) 계산하기
  4. 매개변수 미분(적분 기호 안에서 미분하기)으로 어려운 적분 풀기
  5. 적분 구간까지 변수에 의존하는 적분을 라이프니츠 규칙으로 미분하기
  6. 적분 순서 바꾸기와 짝·홀 대칭으로 적분 줄이기
  7. 델타 수열의 극한과 적분 표현 $\delta(x)=\frac1{2\pi}\int e^{ikx}dk$ 다루기
  8. 디랙 델타가 들어간 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)$
이 레슨의 관례

1. 다변수 극값과 헤시안

레시피
  1. 모든 1계 편도함수를 0으로 놓고 연립해서 정지점(stationary point)을 찾습니다. 한 식에서 한 변수를 다른 변수로 나타내 대입하는 것이 기본입니다.
  2. 2계 편도함수로 헤시안(Hessian) 행렬을 만듭니다: $H=\begin{pmatrix}f_{xx}&f_{xy}\\f_{xy}&f_{yy}\end{pmatrix}$.
  3. 정지점마다 $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$판정 불가 (다른 방법이 필요)
  4. 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.$$

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$.

2. 부분적분 — 표 방법과 점화식

레시피
  1. $\int u\,dv=uv-\int v\,du$. 미분하면 단순해지는 쪽(다항식, $\ln$, 역삼각함수)을 $u$로 고릅니다.
  2. 표 방법(tabular integration): 다항식 × ($e^{ax}$, $\sin$, $\cos$)일 때 씁니다. 왼쪽 열에는 다항식을 0이 될 때까지 계속 미분해 적고, 오른쪽 열에는 나머지를 계속 적분해 적습니다. 왼쪽 $k$번째 칸과 오른쪽 $k+1$번째 칸을 대각선으로 곱하고, 부호를 $+,-,+,-,\dots$로 붙여 더합니다.
  3. 점화식(reduction formula): $\sin^nx$처럼 지수가 붙은 적분은 부분적분 한 번으로 $I_n$을 $I_{n-2}$로 내립니다. 원래 적분이 오른쪽에 다시 나타나면 왼쪽으로 옮겨 풉니다.
  4. 월리스 공식(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}$$
예제 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. 삼각치환

레시피
  1. 근호의 꼴을 보고 치환합니다.
    보이는 꼴치환쓰는 항등식
    $\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$
  2. $dx$도 바꿉니다($x=a\tan t$이면 $dx=a\sec^2t\,dt$). 정적분이면 구간도 $t$로 바꿉니다.
  3. $t$에 대한 삼각함수 적분을 합니다. 거듭제곱은 2절 점화식이나 L02 4절을 씁니다.
  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. 가우스 적분

레시피
  1. $I=\int_{-\infty}^\infty e^{-ax^2}dx$를 제곱해서 2차원 적분으로 만듭니다: $I^2=\iint e^{-a(x^2+y^2)}dx\,dy$.
  2. 극좌표로 바꿉니다: $x^2+y^2=r^2$, $dx\,dy=r\,dr\,d\theta$. 함께 붙어 나온 $r$ 덕분에 $r$ 적분이 바로 됩니다.
  3. 지수가 $-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)$이면 옮겨도 구간이 그대로입니다.
  4. $x$의 홀수 거듭제곱이 붙으면 $u=x^2$ 치환, 짝수 거듭제곱이 붙으면 5절의 $a$ 미분을 씁니다.
왜 되나? (증명 스케치)
예제 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. 매개변수 미분 (적분 기호 안에서 미분하기)

레시피
  1. 답을 아는 적분에 매개변수 $a$를 둡니다. 없으면 일부러 넣습니다(예: $e^{-ax}$를 곱하고 끝에 $a\to0$).
  2. 양변을 $a$로 미분합니다. 적분 구간이 $a$에 의존하지 않으면 피적분함수만 $\frac{\partial}{\partial a}$로 미분하면 됩니다. 이것을 적분 기호 안에서 미분하기(differentiation under the integral sign)라고 합니다. 파인만 트릭(Feynman's trick)이라고도 부릅니다.
  3. 쓰는 법은 두 가지입니다.
    • (A) 아는 적분을 반복 미분해서 $x^n$이 붙은 적분을 얻습니다.
    • (B) 모르는 적분 $I(a)$를 미분하면 쉬운 적분이 되도록 만듭니다. $I'(a)$를 구한 뒤 $a$로 다시 적분하고, 적분상수는 $a\to\infty$ 같은 쉬운 극한으로 정합니다.
  4. $\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}$.

$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. 적분 구간도 변할 때 — 라이프니츠 규칙

레시피
  1. 적분 구간의 끝과 피적분함수가 모두 $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}$$
  2. 세 조각으로 읽습니다. ① 위끝이 움직인 효과: (위끝에서의 높이)×(위끝의 속도). ② 아래끝이 움직인 효과: 같은 꼴에 부호 $-$. ③ 피적분함수 자체가 변한 효과: 5절의 매개변수 미분.
  3. 특수한 경우: 피적분함수에 $x$가 없으면 ③이 없습니다. 예: $\frac{d}{dx}\int_0^{x^2}g(t)\,dt=g(x^2)\cdot2x$. 구간이 고정이면 ①②가 없고 5절과 같습니다.
  4. 검산: 적분을 직접 할 수 있으면 먼저 적분한 뒤 미분해서 비교합니다. 치환으로 $x$를 끝점으로만 몰아낼 수 있으면 그렇게 해서 비교합니다.
  5. 쓰는 곳: 적분으로 정의된 함수가 미분방정식을 만족하는지 확인할 때(L27 그린 함수), 변분법(L28)에서 끝점이 움직일 때.
왜 되나? (증명 스케치)

세 변수 함수 $G(A,B,x)=\int_A^Bf(x,t)\,dt$를 생각합니다. 편도함수는 각각 쉽습니다.

$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. 적분 순서 바꾸기와 대칭

레시피
  1. 이중적분의 영역을 그림으로 그립니다. 예: "$x$는 0부터 1, 각 $x$에서 $y$는 $x$부터 1"은 삼각형 $0\le x\le y\le1$입니다.
  2. 같은 영역을 반대 순서로 다시 읽습니다: "$y$는 0부터 1, 각 $y$에서 $x$는 0부터 $y$".
  3. 안쪽에서 적분이 안 되는 함수($e^{-y^2}$, $\sin(x^2)$, $\frac{\sin x}{x}$ 등)를 바깥으로 보내면, 바뀐 안쪽 적분이 그 함수에 필요한 인자($y$, $x$ 등)를 만들어 줍니다.
  4. 대칭: 구간이 $[-a,a]$이면 피적분함수를 짝·홀 부분으로 나눕니다. 홀함수 부분의 적분은 0이고, 짝함수 부분은 $2\int_0^a$입니다.
  5. 짝×짝=짝, 홀×홀=짝, 짝×홀=홀. 예: $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. 델타는 "넓이가 1이고 폭이 0으로 줄어드는 봉우리"의 극한입니다. 이런 함수열 $\delta_n$을 델타 수열(delta sequence)이라 합니다. 극한은 적분한 뒤에 취합니다: $\int f\,\delta\,dx=\lim_{n\to\infty}\int f\,\delta_n\,dx$.
  2. 자주 쓰는 네 가지($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}$
  3. 델타 수열인지 확인: ① $\int_{-\infty}^\infty\delta_n\,dx=1$ ($u=nx$로 치환하면 $n$이 사라집니다). ② 폭이 $\frac1n$에 비례해 좁아집니다. sinc형은 $x\ne0$에서 0으로 가지 않고 점점 빠르게 진동하지만, 적분 안에서는 진동이 상쇄되어 같은 결과를 줍니다.
  4. $\lim\int f\,\delta_n\,dx$를 직접 계산할 때는 적분을 닫힌 꼴로 구한 뒤 극한을 취합니다. 답은 $f(0)$이어야 합니다.
  5. 적분 표현(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)의 출발점입니다.
  6. 이중적분에 $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차원)

레시피
  1. 거르기(sifting): $\int_a^bf(x)\,\delta(x-x_0)\,dx=f(x_0)$. 단 $x_0$가 $(a,b)$ 안에 있을 때만입니다. 밖이면 0입니다.
  2. 안쪽이 1차식이면 척도 규칙을 씁니다: $\delta(cx-d)=\dfrac1{|c|}\,\delta\Big(x-\dfrac dc\Big)$. 절댓값을 잊지 않습니다.
  3. 안쪽이 일반 함수 $g(x)$이면 $g$의 실근 $x_i$를 모두 찾고 $\delta(g(x))=\sum_i\dfrac{\delta(x-x_i)}{|g'(x_i)|}$로 바꿉니다. 적분 구간 밖의 근은 버립니다.
  4. 도함수: $\int f(x)\,\delta'(x-x_0)\,dx=-f'(x_0)$. 부분적분 한 번으로 나옵니다($\delta$는 무한대에서 0). $n$계 도함수면 $(-1)^nf^{(n)}(x_0)$.
  5. 계단함수: $H'(x)=\delta(x)$. 일반적으로 함수가 $x_0$에서 크기 $J$만큼 뛰면, 그 도함수에는 $J\,\delta(x-x_0)$가 더해집니다.
  6. 곱 규칙: $f(x)\,\delta(x-x_0)=f(x_0)\,\delta(x-x_0)$, $\;x\,\delta(x)=0$, $\;\delta(-x)=\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차원 델타

레시피
  1. 직교좌표: $\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|$를 계산해 영역 안인지 봅니다.
  2. $\delta^3$의 단위는 (길이)$^{-3}$이고 $\int\delta^3\,dV=1$입니다.
  3. 구면좌표: 부피 요소 $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$축 위에 있지 않을 때)
  4. 원점: $\delta^3(\mathbf r)=\dfrac{\delta(r)}{4\pi r^2}$ (0절 관례 상자 참고).
  5. 구 껍질: 반지름 방향 델타만 있으면 $\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$ (구의 겉넓이).
  6. 외워 둘 것: $\nabla^2\dfrac1r=-4\pi\,\delta^3(\mathbf r)$ (점전하의 퍼텐셜; L07–L08에서 다시 나옵니다).
왜 되나? (증명 스케치)

$\nabla^2\frac1r=-4\pi\delta^3(\mathbf 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. 자주 하는 실수

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. 다음

← 로드맵 · ← 이전 L02 · 다음 L04 →