들어가며
1계 선형 미분방정식은 이런 모양입니다.
$$y' + P(x)\,y = Q(x)$$여기서 \(y' = dy/dx\)는 \(y\)의 도함수, \(P(x)\)는 \(y\)에 붙는 계수, \(Q(x)\)는 우변의 함수입니다. RC 전기 회로(커패시터 충전), 약물 농도 변화, 인구 모형 등 다양한 현상이 이 형태로 쓰입니다.
이 방정식을 풀 때 교재는 이렇게 말합니다.
"양변에 적분인자 \(\mu(x) = e^{\int P(x)\,dx}\)를 곱하면 풀립니다."
처음 들으면 이런 의문이 생깁니다.
"왜 하필 그 수를 곱하나? 어디서 나온 건가?"
한 줄로 먼저 답하면 — \(y' + Py\)라는 두 항을 하나의 도함수 \((\mu y)'\)로 묶어 쓸 수 있도록 \(\mu\)를 역으로 설계한 것입니다. 아래에서 그 과정을 단계별로 유도합니다.
문제: 왜 직접 적분이 어려운가
가장 단순한 경우를 보겠습니다.
$$y' + y = 2$$양변을 \(x\)에 대해 적분하면 어떻게 될까요?
$$\int y'\,dx + \int y\,dx = \int 2\,dx$$왼쪽 첫 항은 \(y\)가 되지만, 두 번째 항 \(\int y\,dx\)에는 \(y\) 자체가 포함되어 있어서 미지함수 \(y\)를 모르는 채로 계산할 수 없습니다.
"양변을 그냥 적분한다"는 방법이 막히는 이유입니다.
만약 좌변 \(y' + y\)가 어떤 함수를 딱 한 번 미분한 결과라면 — 그 함수를 찾아 역도함수를 취하면 됩니다. 이 아이디어를 구체화하는 것이 다음 단계입니다.
핵심 아이디어: 곱의 미분을 역으로 이용하기
고등학교 미분에서 배운 곱의 미분법을 떠올려 봅시다. 두 함수 \(\mu(x)\)와 \(y(x)\)의 곱을 미분하면:
$$\frac{d}{dx}[\mu(x)\cdot y(x)] = \mu'(x)\cdot y(x) + \mu(x)\cdot y'(x)$$오른쪽 두 항이 \(\mu(x)\cdot(y' + Py)\)와 같아지려면 어떤 조건이 필요할까요?
$$\mu'\cdot y + \mu\cdot y' = \mu\cdot y' + \mu\cdot P\cdot y$$양변에서 \(\mu\cdot y'\)를 소거하면:
$$\mu' = P\cdot\mu$$이 조건 하나만 만족하면, 좌변 전체가 \((\mu y)'\)로 묶입니다.
$$\mu'= P\mu \;\Longrightarrow\; \frac{d}{dx}[\mu y] = \mu(y' + Py)$$방정식 양변에 이 \(\mu\)를 곱하면:
$$\mu(y' + Py) = \mu Q \;\Longrightarrow\; \frac{d}{dx}[\mu y] = \mu Q$$이제 양변은 각각 \(\mu y\)의 도함수와 알려진 함수 \(\mu Q\)입니다. 양변을 적분하면:
$$\mu\cdot y = \int \mu\,Q\,dx$$$$y = \frac{1}{\mu}\int \mu\,Q\,dx$$미지함수 \(y\)를 명시적으로 구할 수 있게 됩니다.
적분인자 μ 구하기
남은 문제는 \(\mu' = P\mu\)를 만족하는 \(\mu\)를 찾는 것입니다.
이것도 미분방정식이지만, 변수 분리 형태라 쉽게 풀립니다.
$$\frac{d\mu}{\mu} = P\,dx$$양변을 적분하면:
$$\ln|\mu| = \int P\,dx$$$$\mu = e^{\int P\,dx}$$이것이 **적분인자(integrating factor)**입니다. 처음 보면 뜬금없어 보이지만, "좌변을 도함수 꼴로 만들 수 있는 함수를 역으로 설계했더니 이 모양이 나온 것"입니다.
예시로 확인하기: y′ + y = 2, y(0) = 0
\(P = 1\), \(Q = 2\)이므로 적분인자는:
$$\mu = e^{\int 1\,dx} = e^x$$양변에 \(e^x\)를 곱합니다.
$$e^x y' + e^x y = 2e^x$$왼쪽이 곱의 미분 꼴인지 확인합니다.
$$\frac{d}{dx}[e^x y] = e^x y + e^x y' = e^x y' + e^x y \checkmark$$따라서:
$$\frac{d}{dx}[e^x y] = 2e^x$$양변을 적분합니다.
$$e^x y = 2e^x + C$$$$y = 2 + Ce^{-x}$$초기조건 \(y(0) = 0\)을 대입하면 \(0 = 2 + C\), 즉 \(C = -2\)이므로:
$$y = 2 - 2e^{-x}$$검증합니다.
| x | y(x) | y′(x) | y′ + y | 일치? |
|---|---|---|---|---|
| 0 | 0 | 2 | 2 | ✓ |
| 1 | ≈ 1.26 | ≈ 0.74 | 2 | ✓ |
| 2 | ≈ 1.73 | ≈ 0.27 | 2 | ✓ |
| 3 | ≈ 1.90 | ≈ 0.10 | 2 | ✓ |
어떤 \(x\)에서도 \(y' + y = 2\)가 성립합니다.
직접 체험하기
아래 인터랙티브에서 P, Q, 초기값 y(0)를 바꾸고, x 슬라이더를 움직여 보세요. x 위치마다 막대 두 개가 나타납니다 — 파란 막대는 \(\mu' \cdot y\), 주황 막대는 \(\mu \cdot y'\)입니다. 두 막대를 합하면 항상 \(\mu \cdot Q\)와 일치합니다. P, Q, y(0), x 어떤 값을 선택해도 마찬가지입니다.
y(0)를 Q/P보다 크게 설정하면(예: P=1, Q=2, y(0)=3) \(y'\)가 음수가 되어 주황 막대가 반대 방향을 가리키지만, 두 막대의 합은 여전히 \(\mu Q\)와 일치합니다.
왜 e의 거듭제곱인가 — 한 줄 요약
\(\mu' = P\mu\)라는 조건은 "자기 자신의 도함수가 자기 자신의 배수"를 요구합니다. 이 성질을 가진 함수는 지수함수뿐입니다.
$$\mu' = P\mu \;\Longrightarrow\; \mu = e^{\int P\,dx}$$자연상수 \(e\)가 미분방정식에서 적분인자로 등장하는 이유는, 지수함수가 "자기 자신이 도함수인" 함수이기 때문입니다.
핵심 정리
| 질문 | 답 |
|---|---|
| 왜 뭔가를 곱하나? | 좌변 y′+Py를 (μy)′ 꼴로 만들어 적분하기 위해 |
| μ의 조건은? | μ′ = P·μ — 그래야 (μy)′ = μ(y′+Py) |
| μ를 어떻게 구하나? | 변수분리 → \(\mu = e^{\int P\,dx}\) |
| 곱한 뒤 전략은? | (μy)′ = μQ → 적분 → μy = ∫μQ dx → y = (1/μ)∫μQ dx |
| 왜 e의 거듭제곱인가? | 도함수가 자신의 배수가 되는 함수는 지수함수뿐 |
AI로 이런 걸 공부할 때
적분인자 방법은 AI에게 단계를 나눠 물어볼 수 있습니다.
유용한 질문 예시:
- "y′ + 2y = 4를 적분인자 방법으로 풀어줘. 단계마다 왜 그렇게 하는지 설명해줘."
- "P(x) = 1/x처럼 상수가 아닐 때 적분인자는 어떻게 달라지나?"
- "\(e^{\int P\,dx}\)를 곱하기 전후로 좌변 식이 어떻게 바뀌는지 보여줘."
마치며
적분인자는 갑자기 주어지는 공식이 아닙니다. "좌변을 도함수 꼴로 만들고 싶다"는 목표에서, 곱의 미분법을 역으로 적용해 필요한 조건 \(\mu' = P\mu\)를 도출하면 자연스럽게 \(e^{\int P\,dx}\)가 나옵니다. 공식을 외우기 전에 이 유도 과정을 한 번 손으로 따라가 보면, 더 복잡한 미분방정식 기법들도 같은 논리 위에 세워져 있음을 알 수 있습니다.
함께 보면 좋은 글 — 먼저 읽으면 좋은 글: 연쇄법칙은 왜 '곱하기'인가 · 적분은 왜 미분의 반대인가 → 이어서: 부분적분의 du·dv는 대체 뭘까 · 직접 풀어보기: Wolfram Alpha · Desmos