Chapter 03

1계 선형 방정식과 완전 방정식

2장의 변수분리는 y′=g(t)h(y)y' = g(t)h(y)처럼 tt와 yy를 양쪽으로 갈라놓을 수 있을 때만 통했습니다. 그런데 전원이 걸린 RC 회로 RCv′+v=V(t)RCv' + v = V(t)나 소금물이 드나드는 탱크처럼 입력이 시간에 따라 바뀌는 문제는 갈라지지 않습니다. 이 장은 공학에서 가장 자주 만나는 1계 방정식인 1계 선형 미분방정식 y′+p(t)y=g(t)y' + p(t)y = g(t)를 단 하나의 곱셈, 적분 인자로 언제나 풀 수 있음을 보이고, 그 해가 "초기값을 잊어 가는 과도 성분 + 입력을 따라가는 정상 성분"으로 갈라진다는 구조를 읽습니다. 이어서 해곡선을 어떤 함수 ψ(x,y)\psi(x, y)의 등고선으로 보는 완전 방정식과, 비선형이지만 치환 한 번으로 선형이 되는 베르누이 방정식까지 다룹니다.

이 수식이 없었다면RC 타이머와 저역 통과 필터

카메라 플래시가 충전되는 몇 초, 전등 스위치를 끄면 천천히 어두워지는 LED 조명, 오디오 앰프의 고음 잡음을 걸러 내는 필터, 마이크로컨트롤러가 전원을 켠 뒤 잠깐 기다리는 리셋 회로. 모두 저항 하나와 축전기 하나가 만드는 시상수 τ=RC\tau = RC로 동작합니다. 설계자는 "몇 초 뒤 몇 볼트"를 정확히 알아야 하는데, 축전기 전압은 들어오는 전압과 자기 자신의 전압 차이로 변하므로 v′=(V−v)/RCv' = (V - v)/RC라는 미분방정식을 풀어야 답이 나옵니다.

입력 VV가 상수이면 2장의 변수분리로도 풀리지만, 입력이 사인파이거나 계단처럼 켜졌다 꺼지면 변수분리는 막힙니다. 양변에 et/RCe^{t/RC}를 곱하는 한 수, 적분 인자가 이 벽을 넘습니다. 적분 인자의 방법은 18세기에 오일러(Leonhard Euler) 등이 체계적으로 다루었고, 오늘날 회로·열·화학 반응·약물 동태의 1차 모델은 거의 모두 이 공식 하나로 풀립니다.

RCv′ + v = V(t)→변수분리 불가→적분 인자 μ = e∫p→과도 + 정상 응답, 시상수 τ

표준형: 선형이라는 것의 뜻

왜 이 방정식은 갈라지지 않는가

축전기에 사인파 전압을 걸면 v′+v=sin⁡tv' + v = \sin t(시상수 1 s)가 됩니다. 2장처럼 dv/dtdv/dt를 "tt만의 함수 × vv만의 함수"로 쓰려 해도 sin⁡t−v\sin t - v는 곱으로 갈라지지 않습니다. 하지만 이 방정식은 vv와 v′v'에 대해 1차식이라는 아주 특별한 성질을 가집니다. 이 성질 하나가 풀이를 보장합니다.

정의 3.1 (1계 선형 방정식과 표준형) 미지 함수 y(t)y(t)와 그 도함수에 대해 1차인 방정식
a1(t) y′+a0(t) y=b(t)a_1(t)\,y' + a_0(t)\,y = b(t)
를 1계 선형 미분방정식이라 한다. a1(t)≠0a_1(t) \ne 0인 구간에서 양변을 a1a_1로 나눈
y′+p(t) y=g(t),p=a0a1,g=ba1y' + p(t)\,y = g(t), \qquad p = \frac{a_0}{a_1},\quad g = \frac{b}{a_1}
를 표준형(standard form)이라 한다. g≡0g \equiv 0이면 동차(homogeneous), 아니면 비동차(nonhomogeneous) 방정식이라 하고, gg를 입력 또는 강제 항이라 부른다.

"선형"은 yy의 그래프가 직선이라는 뜻이 아닙니다. yy와 y′y'이 1차로, 서로 곱해지지 않고, 함수 안에 들어가지 않고 나타난다는 뜻입니다. 계수 p(t)p(t), g(t)g(t)는 tt에 대해 아무리 복잡해도 괜찮습니다.

방정식선형?이유
t2y′+(sin⁡t) y=ett^2y' + (\sin t)\,y = e^t예p=sin⁡t/t2p = \sin t / t^2, g=et/t2g = e^t/t^2 (t≠0t \ne 0)
y′=3−0.04yy' = 3 - 0.04y예y′+0.04y=3y' + 0.04y = 3
y′+y2=ty' + y^2 = t아니오y2y^2 항
y′=sin⁡yy' = \sin y아니오yy가 함수 안에 들어감
yy′=tyy' = t아니오yy와 y′y'의 곱

동차 방정식 y′+p(t)y=0y' + p(t)y = 0은 변수분리형입니다(2장). dy/y=−p(t) dtdy/y = -p(t)\,dt를 적분하면 ln⁡∣y∣=−∫p dt+c\ln|y| = -\int p\,dt + c, 즉

yh(t)=C e−∫p(t) dt.y_h(t) = C\,e^{-\int p(t)\,dt}.
CC는 임의의 상수(C=0C = 0이면 상수 해 y≡0y \equiv 0도 포함된다).

이 동차해가 다음 절의 열쇠입니다. 비동차 방정식을 풀 때 필요한 "마법의 곱수"는 바로 이 e−∫pe^{-\int p}의 역수입니다.

적분 인자: 왼쪽을 곱의 도함수로 만들기

y′+2y=4y' + 2y = 4를 적분하고 싶다

양변을 그냥 적분하면 y+2∫y dt=4t+Cy + 2\int y\,dt = 4t + C가 되는데, ∫y dt\int y\,dt는 yy를 모르면 계산할 수 없습니다. 왼쪽 y′+2yy' + 2y가 어떤 함수의 도함수 하나로 묶여 있다면 바로 적분할 수 있을 텐데요. 곱의 미분 (μy)′=μy′+μ′y(\mu y)' = \mu y' + \mu' y가 그 모양과 닮았습니다.

양변에 아직 모르는 함수 μ(t)>0\mu(t) > 0를 곱합니다.

μy′+μp y=μg.\mu y' + \mu p\,y = \mu g.

왼쪽이 (μy)′=μy′+μ′y(\mu y)' = \mu y' + \mu' y와 같아지려면 μ′=pμ\mu' = p\mu이면 됩니다. 이것은 μ\mu에 대한 변수분리형 방정식이고, 해 하나 μ=e∫p dt\mu = e^{\int p\,dt}를 고르면 충분합니다(적분 상수는 μ\mu에 상수배를 곱할 뿐이고, 양변에 같이 곱해지므로 지워집니다). 그러면 방정식은

(μ(t) y)′=μ(t) g(t)\bigl(\mu(t)\,y\bigr)' = \mu(t)\,g(t)
왼쪽이 도함수 하나가 되었으므로 양변을 적분할 수 있다.
정리 3.1 (적분 인자와 일반해) pp, gg가 구간 II에서 연속이면, 적분 인자(integrating factor) μ(t)=e∫p(t) dt\mu(t) = e^{\int p(t)\,dt}에 대해 y′+p(t)y=g(t)y' + p(t)y = g(t)의 모든 해는
y(t)=1μ(t)(∫μ(t) g(t) dt+C)y(t) = \frac{1}{\mu(t)}\left(\int \mu(t)\,g(t)\,dt + C\right)
꼴이다. 초기 조건 y(t0)=y0y(t_0) = y_0를 주면 μ(t)=exp⁡∫t0tp(s) ds\mu(t) = \exp\int_{t_0}^t p(s)\,ds로 잡아
y(t)=1μ(t)(y0+∫t0tμ(s) g(s) ds)y(t) = \frac{1}{\mu(t)}\left(y_0 + \int_{t_0}^{t} \mu(s)\,g(s)\,ds\right)
가 II 전체에서 정의되는 유일한 해다.

증명. 위의 계산을 거꾸로 따라가면 공식이 해임을 확인할 수 있다. 거꾸로 yy가 임의의 해이면 (μy)′=μy′+pμy=μg(\mu y)' = \mu y' + p\mu y = \mu g이므로 기본 정리로 μ(t)y(t)−μ(t0)y(t0)=∫t0tμg ds\mu(t)y(t) - \mu(t_0)y(t_0) = \int_{t_0}^t \mu g\,ds이고, μ(t0)=1\mu(t_0) = 1이므로 yy는 공식과 같다. 따라서 해는 하나뿐이다. ∎

이 정리는 4장에서 다룰 일반적인 존재·유일성 정리보다 훨씬 강합니다. 선형 방정식의 해는 계수가 연속인 구간 전체에서 존재하고, 도중에 무한대로 튀는 일이 없습니다. 비선형 방정식 y′=y2y' = y^2의 해가 유한 시각에 폭발하는 것(4장)과 대조됩니다.

① 표준형y′ + p y = g ② μ 구하기μ = e^∫p ③ 곱하기(μy)′ = μg ④ 적분μy = ∫μg + C ⑤ 나누고 Cy(t₀) = y₀ 핵심은 ③: μ′ = pμ이므로 왼쪽 μy′ + μpy가 곱의 미분 (μy)′로 정확히 묶인다
그림 3-1. 적분 인자 풀이의 다섯 단계. 표준형이 아니면(예: ty′+2y=⋯ty' + 2y = \cdots) 먼저 y′y'의 계수로 나눠야 pp를 바르게 읽는다.
예제 3.1 (상수 계수) y′+2y=4y' + 2y = 4, y(0)=0y(0) = 0을 풀어라.
  1. p=2p = 2이므로 μ=e2t\mu = e^{2t}.
  2. 곱하면 (e2ty)′=4e2t(e^{2t}y)' = 4e^{2t}. 적분하면 e2ty=2e2t+Ce^{2t}y = 2e^{2t} + C.
  3. y=2+Ce−2ty = 2 + Ce^{-2t}. y(0)=0y(0) = 0에서 C=−2C = -2, 따라서 y=2(1−e−2t)y = 2(1 - e^{-2t}).
  4. 검산: y′=4e−2ty' = 4e^{-2t}, y′+2y=4e−2t+4−4e−2t=4y' + 2y = 4e^{-2t} + 4 - 4e^{-2t} = 4. ✓ RK4로 t=1.3t = 1.3까지 적분한 값 1.851453도 공식과 소수 여섯째 자리까지 같다.
예제 3.2 (입력이 시간의 함수) y′+y=ty' + y = t, y(0)=1y(0) = 1을 풀어라.
  1. μ=et\mu = e^t. (ety)′=tet(e^ty)' = te^t.
  2. 부분 적분(CalculusBook 9장)으로 ∫tet dt=(t−1)et+C\int te^t\,dt = (t - 1)e^t + C.
  3. y=t−1+Ce−ty = t - 1 + Ce^{-t}. y(0)=−1+C=1y(0) = -1 + C = 1이므로 C=2C = 2: y=t−1+2e−ty = t - 1 + 2e^{-t}.
  4. tt가 커지면 2e−t2e^{-t}는 사라지고 해는 직선 t−1t - 1을 따라간다. 입력 tt를 시상수 1만큼 늦게 따라가는 셈이다. y(2)=1+2e−2≈1.2707y(2) = 1 + 2e^{-2} \approx 1.2707.
예제 3.3 (계수가 변할 때: 표준형부터) ty′+2y=4t2ty' + 2y = 4t^2, y(1)=2y(1) = 2를 t>0t > 0에서 풀어라.
  1. tt로 나눠 표준형으로: y′+2ty=4ty' + \frac{2}{t}y = 4t. 그러므로 p=2/tp = 2/t(나누기 전의 2가 아니다).
  2. μ=e∫2/t dt=e2ln⁡t=t2\mu = e^{\int 2/t\,dt} = e^{2\ln t} = t^2. (t2y)′=4t3(t^2y)' = 4t^3, t2y=t4+Ct^2y = t^4 + C.
  3. y=t2+C/t2y = t^2 + C/t^2. y(1)=1+C=2y(1) = 1 + C = 2이므로 y=t2+t−2y = t^2 + t^{-2}.
  4. p=2/tp = 2/t는 t=0t = 0에서 불연속이므로 정리 3.1이 보장하는 구간은 t>0t > 0이다. 실제로 해는 t→0+t \to 0^+에서 발산한다. y(2.5)=6.41y(2.5) = 6.41(RK4와 일치).

아래 시뮬레이터는 적분 인자가 하는 일을 직접 보여 줍니다. 왼쪽은 해 y(t)y(t), 오른쪽은 μy\mu y와 "y0+∫μgy_0 + \int \mu g"입니다. 오른쪽 두 곡선이 정확히 겹친다는 것이 정리 3.1의 내용입니다. μ\mu를 곱하는 순간 yy가 얽혀 있던 방정식이 그냥 적분으로 바뀝니다.

SIMULATOR

μ를 곱하면 적분만 남는다: (μy)′ = μg

해 y(t)
μy (실선) vs y₀ + ∫μg (점선)
μ(t)—
y(t)—
(μy)′ 수치 미분—
μ(t)·g(t)—
해볼 것: ① 시각 t를 옮기며 (μy)′와 μg가 늘 같은 값인지 보세요. ② 초기값을 바꾸면 오른쪽 두 곡선이 함께 위아래로 평행 이동합니다. 적분 상수 C가 하는 일입니다. ③ 't y′ + 2y = 4t²'에서는 μ = t²(μ = e²ᵗ가 아님)이고, 시작 시각이 t₀ = 1입니다. 모델: y는 RK4(400걸음)로, ∫μg는 같은 격자 위의 사다리꼴 적분으로 따로 계산해 비교합니다.

RC·RL 회로와 시상수

플래시 축전기는 언제 다 차는가

5 V 전원에 10 kΩ 저항과 100 μF 축전기를 직렬로 연결하고 스위치를 닫습니다. 축전기 전압이 4.5 V(90%)에 이르면 "충전 완료" LED를 켜려 합니다. 몇 초 뒤일까요? 전류는 전압 차 5−v5 - v에 비례하는데, 충전될수록 그 차이가 줄어 전류도 줄어듭니다. 변화율이 현재 상태에 달려 있으니 미분방정식입니다.

모델. 키르히호프 전압 법칙: 고리를 한 바퀴 돌면 전압 강하의 합은 전원 전압과 같습니다. 저항의 강하는 RiRi(옴의 법칙), 축전기의 강하는 v=q/Cv = q/C이고, 전류는 축전기에 쌓이는 전하의 변화율 i=dq/dt=C dv/dti = dq/dt = C\,dv/dt입니다.

Ri+v=Vs  ⟹  RC dvdt+v=Vs  ⟹  v′+1RC v=VsRC.Ri + v = V_s \;\Longrightarrow\; RC\,\frac{dv}{dt} + v = V_s \;\Longrightarrow\; v' + \frac{1}{RC}\,v = \frac{V_s}{RC}.
+ Vₛ R C 스위치 v(t) i Vₛ 0.632Vₛ τ t t = 0 접선은 t = τ에서 Vₛ에 닿는다
그림 3-2. 왼쪽: 전원 VsV_s, 저항 RR, 축전기 CC의 직렬 회로. 오른쪽: 충전 곡선 v=Vs(1−e−t/τ)v = V_s(1 - e^{-t/\tau}). t=τt = \tau에서 최종값의 63.2%에 이르고, 처음 접선은 정확히 t=τt = \tau에서 최종값에 닿는다.

μ=et/RC\mu = e^{t/RC}를 곱하면 (et/RCv)′=VsRCet/RC(e^{t/RC}v)' = \frac{V_s}{RC}e^{t/RC}, 적분해 v=Vs+Ce−t/RCv = V_s + Ce^{-t/RC}입니다. 처음 비어 있던(v(0)=0v(0) = 0) 축전기라면

v(t)=Vs(1−e−t/τ),i(t)=VsRe−t/τ,τ=RC.v(t) = V_s\left(1 - e^{-t/\tau}\right),\qquad i(t) = \frac{V_s}{R}e^{-t/\tau},\qquad \tau = RC.
τ\tau의 단위는 Ω⋅F=VA⋅A⋅sV=s\Omega\cdot\text{F} = \frac{\text{V}}{\text{A}}\cdot\frac{\text{A}\cdot\text{s}}{\text{V}} = \text{s}. 방전(Vs=0V_s = 0, v(0)=V0v(0) = V_0)이면 v=V0e−t/τv = V_0e^{-t/\tau}.
정의 3.2 (시상수) 1차 시스템 τy′+y=u\tau y' + y = u에서 τ>0\tau > 0를 시상수(time constant)라 한다. 계단 입력 후 출력은 남은 거리 u−yu - y를 시간 τ\tau마다 1/e≈0.3681/e \approx 0.368배로 줄인다. 처음 기울기 u−y(0)τ\frac{u - y(0)}{\tau}로 계속 갔다면 정확히 τ\tau 뒤에 도착했을 것이다.
경과 시간τ2τ3τ4τ5τ
도달률 1−e−t/τ1 - e^{-t/\tau}63.2%86.5%95.0%98.2%99.3%

엔지니어가 "5τ면 다 찼다"고 말하는 근거가 이 표입니다. 지수 함수는 끝내 VsV_s에 닿지 않으므로 "다 찼다"는 언제나 허용 오차를 정한 말입니다.

예제 3.4 (충전 완료까지의 시간) 위 문제(Vs=5V_s = 5 V, R=10R = 10 kΩ, C=100C = 100 μF)에서 v=4.5v = 4.5 V가 되는 시각과, 그때의 전류를 구하라.
  1. τ=RC=104×10−4=1\tau = RC = 10^4 \times 10^{-4} = 1 s.
  2. 1−e−t=0.91 - e^{-t} = 0.9에서 t=ln⁡10≈2.303t = \ln 10 \approx 2.303 s(약 2.3τ).
  3. i=VsRe−t/τ=0.5 mA×0.1=0.05i = \frac{V_s}{R}e^{-t/\tau} = 0.5\ \text{mA} \times 0.1 = 0.05 mA. 전류는 전압 차에 비례하므로 남은 거리 10%만큼만 흐른다.
에너지의 절반은 저항이 가져간다 충전이 끝나면 축전기에는 12CVs2\frac12CV_s^2이 저장되고, 전원은 전하 CVsCV_s를 전압 VsV_s로 밀어 넣었으니 CVs2CV_s^2의 일을 했습니다. 나머지 절반은 저항에서 열이 됩니다: ∫0∞i2R dt=Vs2R⋅τ2=12CVs2\int_0^\infty i^2R\,dt = \frac{V_s^2}{R}\cdot\frac{\tau}{2} = \frac12CV_s^2. 놀랍게도 RR이 얼마든 같습니다. RR은 충전 속도만 정합니다.

RL 회로. 축전기 대신 인덕터 LL을 두면 인덕터 전압이 L di/dtL\,di/dt이므로 Li′+Ri=VsL i' + Ri = V_s, 즉 i′+RLi=VsLi' + \frac{R}{L}i = \frac{V_s}{L}입니다. 같은 꼴이고 시상수는 τ=L/R\tau = L/R, 해는 i=VsR(1−e−Rt/L)i = \frac{V_s}{R}(1 - e^{-Rt/L})입니다. 예를 들어 L=0.5L = 0.5 H, R=10R = 10 Ω, Vs=12V_s = 12 V이면 τ=0.05\tau = 0.05 s이고 전류는 0.25 s(5τ) 만에 최종값 1.2 A의 99.3%에 이릅니다. 인덕터는 전류의 급변을 막으므로, 스위치를 갑자기 끊으면 L di/dtL\,di/dt가 매우 커져 불꽃이 튑니다. 릴레이 코일에 다이오드를 병렬로 다는 이유입니다.

SIMULATOR

RC 회로 충전·방전: 회로와 그래프 동기화

회로 (점 = 전류)
vC (주황) · vR = Ri (청록)
스위치
τ = RC—
vC—
i—
스위치 후 경과—
해볼 것: ① 충전 중 1τ 표시선(점선)에서 vC가 63%에 닿는지 보세요. ② 반쯤 찼을 때 '방전'으로 바꾸면 전류의 방향이 뒤집히고(점이 거꾸로 흐름) vR가 음수가 됩니다. ③ R을 키우면 같은 C에서 τ가 늘어 느려집니다. 언제나 vC + vR = 입력 전압(키르히호프). 모델: 이상적인 부품, 정확한 지수 갱신 v ← V + (v − V)e−Δt/τ, 시간은 실시간 1배속.

측정 곡선에서 시상수 읽기

실험실에서는 RR과 CC의 공칭값이 ±10%쯤 틀리기 일쑤이고, 센서나 온도계처럼 τ\tau를 부품값으로 알 수 없는 1차 시스템도 많습니다. 그때는 계단 응답을 측정해 τ\tau를 읽습니다. 세 가지 방법이 있습니다.

SIMULATOR

잡음 낀 측정에서 τ 맞히기

측정 v(t) [V], 가로축 t [s]
보기
추정 τ̂—
모델 RMS 오차—
참 τ?
해볼 것: ① 가로축 위의 점 τ̂를 끌어 점선 모델 곡선을 측정점에 맞추세요. 63.2% 수평선과 측정점이 만나는 곳이 출발점입니다. ② '반로그'로 바꾸면 측정점이 직선으로 늘어서고, 모델은 기울기 −1/τ̂인 직선입니다. 뒤쪽 점이 흩어지는 이유를 생각해 보세요. ③ 잡음을 0.3 V로 키우면 63.2% 한 점보다 반로그 직선 맞추기가 더 안정적입니다. 모델: Vₛ = 5 V, 0.2 s 간격 표본에 정규 잡음을 더했습니다.

혼합 탱크: 들어온 양 − 나간 양

호수의 오염은 얼마나 빨리 빠지는가

공장이 오염 물질 배출을 멈췄습니다. 호수에는 깨끗한 강물이 흘러들고 같은 양이 흘러 나갑니다. 오염 농도가 처음의 10%로 내려가는 데 몇 년이 걸릴까요? 호수를 "잘 섞인 탱크"로 보면 이것은 1계 선형 방정식 하나입니다. 같은 틀이 약물의 혈중 농도, 실내 공기의 CO₂ 환기, 화학 반응기의 농도에도 쓰입니다.

모델(물질 수지). 탱크 안의 용질 양을 Q(t)Q(t)(kg), 부피를 V(t)V(t)(L)라 합니다. 농도 cinc_{\text{in}}(kg/L)의 용액이 유량 qinq_{\text{in}}(L/min)으로 들어오고, 잘 섞인 탱크 안의 용액이 유량 qoutq_{\text{out}}으로 나갑니다. 나가는 용액의 농도는 탱크 안의 농도 Q/VQ/V와 같습니다.

dQdt=qin cin⏟들어오는 양−qout QV(t)⏟나가는 양,V(t)=V0+(qin−qout) t.\frac{dQ}{dt} = \underbrace{q_{\text{in}}\,c_{\text{in}}}_{\text{들어오는 양}} - \underbrace{q_{\text{out}}\,\frac{Q}{V(t)}}_{\text{나가는 양}},\qquad V(t) = V_0 + (q_{\text{in}} - q_{\text{out}})\,t.
표준형 Q′+qoutV(t)Q=qincinQ' + \frac{q_{\text{out}}}{V(t)}Q = q_{\text{in}}c_{\text{in}}. V/qoutV/q_{\text{out}}은 탱크를 한 번 갈아 치우는 데 걸리는 시간으로, 유량이 같으면 바로 시상수다.
유입: qin (L/min), 농도 cin V(t), Q(t) 잘 섞임: 어디서나 농도 Q/V 유출: qout, 농도 Q/V 수지 = 변화율 dQ/dt = (들어옴) − (나감) kg/min 단위로 양변을 맞춘다
그림 3-3. 혼합 탱크. "잘 섞였다"는 가정이 나가는 농도를 Q/VQ/V로 만들고, 그래서 방정식이 QQ에 대해 선형이 된다.
예제 3.5 (유입량 = 유출량) 100 L의 맑은 물이 든 탱크에 농도 0.5 kg/L의 소금물이 4 L/min으로 들어오고, 섞인 물이 4 L/min으로 나간다. Q(t)Q(t)와 소금이 40 kg이 되는 시각을 구하라.
  1. V=100V = 100으로 일정. Q′=4(0.5)−4Q100=2−0.04QQ' = 4(0.5) - 4\frac{Q}{100} = 2 - 0.04Q, Q(0)=0Q(0) = 0.
  2. μ=e0.04t\mu = e^{0.04t}, (e0.04tQ)′=2e0.04t(e^{0.04t}Q)' = 2e^{0.04t}, Q=50+Ce−0.04tQ = 50 + Ce^{-0.04t}. C=−50C = -50.
  3. Q(t)=50(1−e−t/25)Q(t) = 50(1 - e^{-t/25}). 시상수는 V/q=25V/q = 25 min이고, 농도는 유입 농도 0.5 kg/L(소금 50 kg)로 다가간다. Q(25)=50(1−e−1)≈31.6Q(25) = 50(1 - e^{-1}) \approx 31.6 kg.
  4. Q=40Q = 40: e−t/25=0.2e^{-t/25} = 0.2, t=25ln⁡5≈40.2t = 25\ln 5 \approx 40.2 min.
예제 3.6 (부피가 변할 때) 같은 탱크(처음 100 L 맑은 물)에 0.5 kg/L 소금물이 3 L/min으로 들어오고 2 L/min으로 나간다. 50분 뒤 소금의 양과 농도는?
  1. V(t)=100+tV(t) = 100 + t. Q′=1.5−2Q100+tQ' = 1.5 - \frac{2Q}{100 + t}, 즉 Q′+2100+tQ=1.5Q' + \frac{2}{100 + t}Q = 1.5.
  2. μ=e∫2/(100+t) dt=(100+t)2\mu = e^{\int 2/(100+t)\,dt} = (100 + t)^2. ((100+t)2Q)′=1.5(100+t)2\bigl((100 + t)^2Q\bigr)' = 1.5(100 + t)^2.
  3. 적분: (100+t)2Q=0.5(100+t)3+C(100 + t)^2Q = 0.5(100 + t)^3 + C. Q(0)=0Q(0) = 0에서 C=−0.5×106C = -0.5\times 10^6.
  4. Q(t)=0.5(100+t)−5×105(100+t)2Q(t) = 0.5(100 + t) - \dfrac{5\times 10^5}{(100 + t)^2}. t=50t = 50에서 Q=75−22.2=52.8Q = 75 - 22.2 = 52.8 kg, 부피 150 L, 농도 0.352 kg/L(RK4 52.777778과 일치).
  5. 계수 p(t)=2/(100+t)p(t) = 2/(100 + t)가 시간에 따라 변하므로 "시상수" 하나로 말할 수 없다. 이런 문제를 변수분리로는 풀 수 없고, 적분 인자가 필요하다.

호수 문제로 돌아가면, 유입이 맑은 물(cin=0c_{\text{in}} = 0)이고 부피가 일정하면 Q=Q0e−qt/VQ = Q_0e^{-qt/V}이므로 10%가 되는 시간은 Vqln⁡10≈2.3Vq\frac{V}{q}\ln 10 \approx 2.3\frac{V}{q}입니다. 호수 물이 한 번 갈리는 시간의 2.3배입니다. 실제 호수는 잘 섞이지 않고 바닥 퇴적물이 오염 물질을 다시 내놓아 더 오래 걸리는 것이 보통입니다. 모델의 가정을 기억해야 하는 이유입니다.

SIMULATOR

혼합 탱크: 유량·농도를 바꾸며 농도 곡선 보기

탱크 (색 = 농도)
농도 c = Q/V [kg/L]
t—
V—
Q—
c = Q/V—
해볼 것: ① 기본값(예제 3.5)에서 25분 표시선의 농도가 0.5 × 0.632 ≈ 0.316인지 확인하세요. ② 유입 3, 유출 2로 두면 예제 3.6입니다. 50분 농도 0.352. ③ 유입 농도 0, Q₀ = 50으로 두면 호수 정화 문제입니다. 유출을 유입보다 크게 하면 탱크가 언젠가 비고, 200 L를 넘으면 넘칩니다. 모델: 순간 완전 혼합, V₀ = 100 L, 용량 200 L, RK4.

사인 입력: 과도 응답과 정상 상태

RC 필터는 고음을 얼마나 줄이는가

RC 회로의 출력을 축전기 양단에서 뽑으면 빠르게 변하는 신호일수록 축전기가 따라가지 못해 작아집니다. 이것이 저역 통과 필터입니다. 입력이 sin⁡ωt\sin\omega t이면 출력은 처음에 초기 전압의 영향을 받다가, 곧 같은 진동수로 진동하되 작아지고 늦어진 사인파가 됩니다. 얼마나 작아지고 얼마나 늦어질까요?

k=1/τk = 1/\tau로 쓰면 τv′+v=sin⁡ωt\tau v' + v = \sin\omega t는 y′+ky=ksin⁡ωty' + ky = k\sin\omega t입니다. 적분 인자로 풀 수 있지만, 해가 "같은 진동수의 사인파"일 것이라 짐작하고 yp=Acos⁡ωt+Bsin⁡ωty_p = A\cos\omega t + B\sin\omega t를 대입하는 편이 빠릅니다(8장의 미정계수법).

−Aωsin⁡ωt+Bωcos⁡ωt+kAcos⁡ωt+kBsin⁡ωt=ksin⁡ωt-A\omega\sin\omega t + B\omega\cos\omega t + kA\cos\omega t + kB\sin\omega t = k\sin\omega t
cos⁡\cos: Bω+kA=0B\omega + kA = 0, sin⁡\sin: −Aω+kB=k-A\omega + kB = k. 풀면 A=−kωk2+ω2A = -\dfrac{k\omega}{k^2 + \omega^2}, B=k2k2+ω2B = \dfrac{k^2}{k^2 + \omega^2}.

두 성분을 하나의 사인파로 합치면(Bsin⁡+Acos⁡=Rsin⁡(ωt−φ)B\sin + A\cos = R\sin(\omega t - \varphi)) 다음 정리가 됩니다.

정리 3.2 (1차 시스템의 사인 응답) k>0k > 0일 때 y′+ky=ksin⁡ωty' + ky = k\sin\omega t, y(0)=y0y(0) = y_0의 해는
y(t)=Gsin⁡(ωt−φ)⏟정상 상태 응답+(y0+kωk2+ω2)e−kt⏟과도 응답,G=kk2+ω2=11+(ωτ)2,φ=arctan⁡ωk=arctan⁡(ωτ).y(t) = \underbrace{G\sin(\omega t - \varphi)}_{\text{정상 상태 응답}} + \underbrace{\Bigl(y_0 + \frac{k\omega}{k^2 + \omega^2}\Bigr)e^{-kt}}_{\text{과도 응답}},\qquad G = \frac{k}{\sqrt{k^2 + \omega^2}} = \frac{1}{\sqrt{1 + (\omega\tau)^2}},\quad \varphi = \arctan\frac{\omega}{k} = \arctan(\omega\tau).
GG를 이득, φ\varphi를 위상 지연이라 한다. 과도 응답은 시상수 τ=1/k\tau = 1/k로 사라지고, 정상 상태 응답은 초기값과 무관하다.

과도 응답(transient response)은 초기값의 "기억"이고 정상 상태 응답(steady-state response)은 입력의 "흉내"입니다. ωτ≪1\omega\tau \ll 1(느린 입력)이면 G≈1G \approx 1, φ≈0\varphi \approx 0으로 출력이 입력을 거의 그대로 따라가고, ωτ≫1\omega\tau \gg 1(빠른 입력)이면 G≈1/(ωτ)G \approx 1/(\omega\tau)로 작아지고 위상이 거의 90° 늦어집니다. 경계인 ω=1/τ\omega = 1/\tau에서 G=1/2≈0.707G = 1/\sqrt2 \approx 0.707(약 −3 dB), φ=45°\varphi = 45°이며 이 진동수를 차단 주파수(cutoff frequency)라 합니다. 주파수 응답과 보드 선도는 10장에서 본격적으로 다룹니다.

예제 3.7 (차단 주파수에서의 응답) y′+y=sin⁡ty' + y = \sin t, y(0)=0y(0) = 0을 풀고 y(3)y(3)을 구하라.
  1. k=ω=1k = \omega = 1이므로 A=−12A = -\frac12, B=12B = \frac12. yp=12(sin⁡t−cos⁡t)=12sin⁡(t−45°)y_p = \frac12(\sin t - \cos t) = \frac{1}{\sqrt2}\sin(t - 45°).
  2. y=yp+Ce−ty = y_p + Ce^{-t}, y(0)=−12+C=0y(0) = -\frac12 + C = 0에서 C=12C = \frac12.
  3. y(t)=12(sin⁡t−cos⁡t+e−t)y(t) = \frac12(\sin t - \cos t + e^{-t}). y(3)=12(0.1411+0.9900+0.0498)≈0.5905y(3) = \frac12(0.1411 + 0.9900 + 0.0498) \approx 0.5905(RK4 0.590450).
  4. t=4.6t = 4.6(4.6τ)쯤이면 과도 성분은 처음의 1% 아래로 줄고, 진폭 0.707, 위상 45° 늦은 사인파만 남는다.
SIMULATOR

사인 입력: 과도 응답이 사라지고 정상 상태가 남는다

y′ + ky = k sin ωt
이득 G—
dB—
위상 지연 φ—
과도 1% 시각—
해볼 것: ① ω = k(차단 주파수)에 두고 이득 0.707, 위상 45°를 확인하세요. ② ω를 5로 올리면 출력(주황)이 입력(회색)보다 훨씬 작아지고 거의 90° 늦어집니다. 고음이 걸러지는 모습입니다. ③ y(0)을 2로 두고 k를 줄이면 과도 성분(점선 회색)이 오래 남습니다. 어떤 초기값에서 출발해도 정상 상태(청록 점선)는 같습니다. 모델: 정리 3.2의 닫힌 해, RK4와 비교해 오차를 readout 대신 그림 위 점(5개)으로 표시합니다.

해의 구조: 동차해 + 특수해

예제 3.1의 y=2+Ce−2ty = 2 + Ce^{-2t}, 예제 3.2의 y=(t−1)+Ce−ty = (t - 1) + Ce^{-t}, 정리 3.2의 y=Gsin⁡(ωt−φ)+Ce−kty = G\sin(\omega t - \varphi) + Ce^{-kt}는 모두 같은 모양입니다. 특정한 해 하나 + 동차 방정식의 해 전체. 이것은 우연이 아니라 선형성의 결과입니다.

정리 3.3 (선형 방정식의 해 구조) ypy_p가 y′+p(t)y=g(t)y' + p(t)y = g(t)의 해 하나이면, 이 방정식의 모든 해는
y=yp+yh,yh=C e−∫p dty = y_p + y_h,\qquad y_h = C\,e^{-\int p\,dt}
꼴이다. ypy_p를 특수해(particular solution), yhy_h를 동차해(homogeneous solution)라 한다.

증명. L[y]=y′+pyL[y] = y' + py라 쓰면 LL은 선형이다: L[ay1+by2]=aL[y1]+bL[y2]L[ay_1 + by_2] = aL[y_1] + bL[y_2]. yy가 임의의 해이면 L[y−yp]=g−g=0L[y - y_p] = g - g = 0이므로 y−ypy - y_p는 동차해이고, 동차해는 모두 Ce−∫pCe^{-\int p}(1절)이다. 거꾸로 L[yp+yh]=g+0=gL[y_p + y_h] = g + 0 = g. ∎

따름정리 3.4 (입력의 중첩) L[y1]=g1L[y_1] = g_1, L[y2]=g2L[y_2] = g_2이면 L[ay1+by2]=ag1+bg2L[ay_1 + by_2] = ag_1 + bg_2. 입력이 여러 성분의 합이면, 성분마다 응답을 구해 더하면 된다.

예를 들어 RC 회로에 직류 2 V와 사인파 sin⁡t\sin t가 겹친 입력이 들어오면(τ=1\tau = 1), 직류 응답 2와 사인 응답 12sin⁡(t−45°)\frac{1}{\sqrt2}\sin(t - 45°)를 더한 것이 정상 상태 출력입니다. 오디오 신호처럼 수많은 진동수가 섞인 입력도 진동수마다 이득과 위상을 곱해 더하면 됩니다. 이 생각이 푸리에 해석(15장)과 라플라스 변환(9장)의 출발점입니다.

정리 3.3은 해곡선 족 전체를 한눈에 읽게 합니다. p>0p > 0(상수)이면 yh=Ce−pt→0y_h = Ce^{-pt} \to 0이므로 모든 해가 시간이 지나면 ypy_p 하나로 모입니다. 시스템이 초기값을 잊는 것입니다. 반대로 p<0p \lt 0이면 yhy_h가 지수적으로 커져 해들이 ypy_p에서 벌어집니다. 이때 ypy_p는 "평형"이지만 불안정합니다(4장의 안정성).

SIMULATOR

방향장 위에 해 놓기: 모든 해는 yp + Ce−∫p

클릭: 그 점을 지나는 해
마지막 해의 C—
t = 6에서 y − yp—
해 개수0
해볼 것: ① 'y′ + y = t'에서 여러 점을 클릭해 보세요. 모든 해가 직선 y = t − 1로 모입니다. ② '각 해의 y − yp'를 켜면 점선들이 모두 Ce−t 모양, 즉 동차해입니다. ③ 'y′ − 0.5y = −1'은 p < 0인 경우로, 해들이 yp = 2에서 멀어집니다. 모델: 해는 RK4로 클릭한 점에서 앞뒤로 적분하고, 짧은 선분은 기울기 g − py입니다.

완전 방정식: 해곡선은 퍼텐셜의 등고선

선형도 아니고 분리도 안 되는 방정식

dydx=−3x2+2xyx2+2y\dfrac{dy}{dx} = -\dfrac{3x^2 + 2xy}{x^2 + 2y}는 yy에 대해 선형이 아니고 변수도 갈라지지 않습니다. 그런데 이 방정식을 (3x2+2xy) dx+(x2+2y) dy=0(3x^2 + 2xy)\,dx + (x^2 + 2y)\,dy = 0으로 쓰고 보면, 왼쪽이 ψ=x3+x2y+y2\psi = x^3 + x^2y + y^2의 전미분 dψ=ψx dx+ψy dyd\psi = \psi_x\,dx + \psi_y\,dy와 똑같습니다. 그렇다면 해곡선 위에서 dψ=0d\psi = 0, 즉 ψ\psi가 일정합니다. 해곡선은 지형도의 등고선이었습니다.

미분 형식 M(x,y) dx+N(x,y) dy=0M(x, y)\,dx + N(x, y)\,dy = 0은 dy/dx=−M/Ndy/dx = -M/N의 다른 표기입니다. xx와 yy를 대등하게 다루므로, 해곡선이 수직 접선을 가져도(N=0N = 0) 문제없이 다룰 수 있다는 장점이 있습니다.

정의 3.3 (완전 방정식과 퍼텐셜) 영역 RR에서 ψx=M\psi_x = M, ψy=N\psi_y = N인 함수 ψ(x,y)\psi(x, y)가 있으면 M dx+N dy=0M\,dx + N\,dy = 0을 완전 방정식(exact equation), ψ\psi를 퍼텐셜 함수(potential function)라 한다. 이때 해는 음함수 ψ(x,y)=C\psi(x, y) = C로 주어진다.

왜 그런지는 연쇄 법칙 한 줄입니다(CalculusBook 편미분). y(x)y(x)가 해이면 ddxψ(x,y(x))=ψx+ψy y′=M+Ny′=0\frac{d}{dx}\psi(x, y(x)) = \psi_x + \psi_y\,y' = M + Ny' = 0이므로 ψ\psi는 해를 따라 상수입니다. 기하적으로는 기울기 벡터 ∇ψ=(M,N)\nabla\psi = (M, N)이 등고선에 수직이고, 방정식이 요구하는 접선 방향 (N,−M)(N, -M)은 ∇ψ\nabla\psi와 수직입니다.

그러면 ψ\psi가 있는지 어떻게 알까요? ψ\psi가 매끄러우면 혼합 편도함수가 같아야 하므로(클레로 정리) My=ψxy=ψyx=NxM_y = \psi_{xy} = \psi_{yx} = N_x가 필요합니다. 놀랍게도 직사각형 같은 단순한 영역에서는 이것이 충분하기도 합니다.

정리 3.5 (완전성 판정) MM, NN, MyM_y, NxN_x가 직사각형 영역 RR에서 연속이면
M dx+N dy=0 이 R에서 완전  ⟺  ∂M∂y=∂N∂x  (R 전체에서).M\,dx + N\,dy = 0 \text{ 이 } R\text{에서 완전} \iff \frac{\partial M}{\partial y} = \frac{\partial N}{\partial x} \ \text{ (}R\text{ 전체에서)}.

증명(충분성의 구성). ψ(x,y)=∫x0xM(s,y) ds+h(y)\psi(x, y) = \int_{x_0}^x M(s, y)\,ds + h(y)로 두면 ψx=M\psi_x = M이다. ψy=∫x0xMy(s,y) ds+h′(y)=∫x0xNx(s,y) ds+h′(y)=N(x,y)−N(x0,y)+h′(y)\psi_y = \int_{x_0}^x M_y(s, y)\,ds + h'(y) = \int_{x_0}^x N_x(s, y)\,ds + h'(y) = N(x, y) - N(x_0, y) + h'(y)이므로 h′(y)=N(x0,y)h'(y) = N(x_0, y)로 잡으면 ψy=N\psi_y = N. hh는 yy만의 함수이므로 적분할 수 있다. ∎

이 증명이 그대로 풀이법입니다: MM을 xx로 적분하고, yy로 미분해 NN과 비교해서 빠진 h(y)h(y)를 찾습니다. 전자기학에서 보존력장의 퍼텐셜을 찾는 것과 똑같은 계산입니다(CalculusBook 벡터 미적분).

예제 3.8 (완전 방정식 풀기) (3x2+2xy) dx+(x2+2y) dy=0(3x^2 + 2xy)\,dx + (x^2 + 2y)\,dy = 0, y(0)=2y(0) = 2를 풀어라.
  1. 판정: My=2xM_y = 2x, Nx=2xN_x = 2x. 같으므로 완전하다.
  2. ψ=∫(3x2+2xy) dx=x3+x2y+h(y)\psi = \int(3x^2 + 2xy)\,dx = x^3 + x^2y + h(y).
  3. ψy=x2+h′(y)=N=x2+2y\psi_y = x^2 + h'(y) = N = x^2 + 2y이므로 h′=2yh' = 2y, h=y2h = y^2. ψ=x3+x2y+y2\psi = x^3 + x^2y + y^2.
  4. ψ(0,2)=4\psi(0, 2) = 4이므로 해는 x3+x2y+y2=4x^3 + x^2y + y^2 = 4. yy에 대한 이차식으로 풀어 y=12(−x2+x4−4x3+16)y = \frac12\bigl(-x^2 + \sqrt{x^4 - 4x^3 + 16}\bigr)(y(0)=2y(0) = 2이므로 + 부호).
  5. x=1.5x = 1.5에서 y=12(−2.25+2.75)=0.25y = \frac12(-2.25 + 2.75) = 0.25. dy/dx=−M/Ndy/dx = -M/N을 RK4로 적분한 값과 일치한다.
예제 3.9 (삼각·지수 함수가 섞인 경우) (ycos⁡x+2xey) dx+(sin⁡x+x2ey−1) dy=0(y\cos x + 2xe^y)\,dx + (\sin x + x^2e^y - 1)\,dy = 0의 일반해를 구하라.
  1. My=cos⁡x+2xeyM_y = \cos x + 2xe^y, Nx=cos⁡x+2xeyN_x = \cos x + 2xe^y. 완전하다.
  2. ψ=∫M dx=ysin⁡x+x2ey+h(y)\psi = \int M\,dx = y\sin x + x^2e^y + h(y). ψy=sin⁡x+x2ey+h′(y)=N\psi_y = \sin x + x^2e^y + h'(y) = N이므로 h′=−1h' = -1.
  3. 일반해 ysin⁡x+x2ey−y=Cy\sin x + x^2e^y - y = C. yy에 대해 풀 수 없지만 음함수로 충분하다. 등고선을 그리면 해곡선이다.
SIMULATOR

퍼텐셜 지형도와 해곡선: 클릭한 점의 등고선 따라가기

색 = ψ(x, y), 선 = 등고선
∂M/∂y—
∂N/∂x—
완전?—
ψ(클릭 점)—
해볼 것: ① 첫 방정식에서 (0, 2)를 클릭하면 예제 3.8의 해 ψ = 4가 그려집니다. 해곡선은 언제나 등고선을 따라갑니다. ② 세 번째 방정식은 My ≠ Nx라서 지형이 없습니다. 'μ 곱하기'를 켜면 μ = x가 곱해져 지형이 나타나고, 해곡선은 그대로입니다. ③ 네 번째는 1계 선형 방정식 y′ + y = x를 미분 형식으로 쓴 것이고, μ = eˣ가 바로 적분 인자입니다. 모델: 해곡선은 접선 방향 (N, −M)을 단위 속도로 RK4 적분, 등고선은 격자 위 마칭 스퀘어.

적분 인자로 완전하게 만들기

거의 완전한 방정식

(3xy+y2) dx+(x2+xy) dy=0(3xy + y^2)\,dx + (x^2 + xy)\,dy = 0은 My=3x+2yM_y = 3x + 2y, Nx=2x+yN_x = 2x + y로 완전하지 않습니다. 하지만 해곡선 자체는 MM과 NN의 비율 −M/N-M/N만으로 정해지므로, 양변에 같은 함수 μ(x,y)\mu(x, y)를 곱해도 해곡선은 바뀌지 않습니다. 잘 고른 μ\mu를 곱해 완전하게 만들 수 있을까요?

μM dx+μN dy=0\mu M\,dx + \mu N\,dy = 0이 완전하려면 (μM)y=(μN)x(\mu M)_y = (\mu N)_x, 즉 μyM+μMy=μxN+μNx\mu_yM + \mu M_y = \mu_xN + \mu N_x이어야 합니다. 이것은 μ\mu에 대한 편미분방정식이라 일반적으로는 원래 문제보다 어렵습니다. 그러나 μ\mu가 한 변수만의 함수라고 가정하면 1계 상미분방정식이 됩니다.

정리 3.6 (한 변수 적분 인자)
  • My−NxN\dfrac{M_y - N_x}{N}가 xx만의 함수 F(x)F(x)이면 μ(x)=e∫F(x) dx\mu(x) = e^{\int F(x)\,dx}가 적분 인자다.
  • Nx−MyM\dfrac{N_x - M_y}{M}가 yy만의 함수 G(y)G(y)이면 μ(y)=e∫G(y) dy\mu(y) = e^{\int G(y)\,dy}가 적분 인자다.

증명. μ=μ(x)\mu = \mu(x)이면 μy=0\mu_y = 0이므로 조건은 μMy=μ′N+μNx\mu M_y = \mu'N + \mu N_x, 즉 μ′/μ=(My−Nx)/N\mu'/\mu = (M_y - N_x)/N. 오른쪽이 xx만의 함수일 때만 이 식이 xx만으로 풀리고, 해가 μ=e∫F\mu = e^{\int F}다. 둘째도 같다. ∎

예제 3.10 (3xy+y2) dx+(x2+xy) dy=0(3xy + y^2)\,dx + (x^2 + xy)\,dy = 0을 풀어라.
  1. My−NxN=(3x+2y)−(2x+y)x(x+y)=x+yx(x+y)=1x\dfrac{M_y - N_x}{N} = \dfrac{(3x + 2y) - (2x + y)}{x(x + y)} = \dfrac{x + y}{x(x + y)} = \dfrac1x. xx만의 함수다.
  2. μ=e∫dx/x=x\mu = e^{\int dx/x} = x(x>0x > 0). 곱하면 (3x2y+xy2) dx+(x3+x2y) dy=0(3x^2y + xy^2)\,dx + (x^3 + x^2y)\,dy = 0. 확인: ∂y(3x2y+xy2)=3x2+2xy=∂x(x3+x2y)\partial_y(3x^2y + xy^2) = 3x^2 + 2xy = \partial_x(x^3 + x^2y). ✓
  3. ψ=∫(3x2y+xy2) dx=x3y+12x2y2+h(y)\psi = \int(3x^2y + xy^2)\,dx = x^3y + \frac12x^2y^2 + h(y). ψy=x3+x2y+h′=x3+x2y\psi_y = x^3 + x^2y + h' = x^3 + x^2y이므로 h=0h = 0.
  4. 일반해 x3y+12x2y2=Cx^3y + \frac12x^2y^2 = C. (1, 1)을 지나는 해는 C=1.5C = 1.5이고, RK4로 x=2x = 2까지 적분한 점에서 ψ\psi를 계산하면 1.5000이 나온다.

선형 방정식은 특별한 경우다. y′+p(x)y=g(x)y' + p(x)y = g(x)를 (p(x)y−g(x)) dx+dy=0(p(x)y - g(x))\,dx + dy = 0으로 쓰면 My=pM_y = p, Nx=0N_x = 0이므로 (My−Nx)/N=p(x)(M_y - N_x)/N = p(x)입니다. 정리 3.6이 주는 적분 인자는 μ=e∫p dx\mu = e^{\int p\,dx}, 바로 2절의 적분 인자입니다. 2절에서 "왼쪽을 곱의 도함수로 만든다"고 했던 것은 "미분 형식을 완전하게 만든다"는 것과 같은 일이었습니다. 이때 퍼텐셜은 ψ=μy−∫μg dx\psi = \mu y - \int\mu g\,dx이고, ψ=C\psi = C가 정리 3.1의 공식입니다.

적분 인자를 곱할 때 잃거나 얻는 해 μ\mu가 0이 되거나 정의되지 않는 곳에서는 해가 생기거나 사라질 수 있습니다. 예제 3.10에서 μ=x\mu = x를 곱하면 x=0x = 0이 새로 "해"처럼 보이는데, 원래 방정식에서 x=0x = 0은 N=0N = 0이 되는 곳입니다. 또 y≡0y \equiv 0은 원래 방정식의 해(M=0M = 0)이고 일반해의 C=0C = 0에 들어 있습니다. 2장에서 상수 해를 잃지 않도록 조심했던 것과 같은 주의가 필요합니다.

베르누이 방정식: 치환으로 선형이 되는 비선형

로지스틱 방정식을 적분 없이 풀 수 있을까

2장에서 로지스틱 방정식 y′=ry(1−y/K)y' = ry(1 - y/K)를 부분 분수로 풀었습니다. 계산이 길었죠. 이 방정식은 y′−ry=−rKy2y' - ry = -\frac{r}{K}y^2으로, 선형 방정식에 y2y^2 항 하나가 붙은 꼴입니다. 이런 꼴은 1/y1/y로 바꿔 보면 선형이 됩니다.

정리 3.7 (베르누이 방정식) n≠0,1n \ne 0, 1인 실수 nn에 대해
y′+p(t) y=q(t) yny' + p(t)\,y = q(t)\,y^n
을 베르누이 방정식(Bernoulli equation)이라 한다. y>0y > 0에서 v=y1−nv = y^{1-n}으로 치환하면 vv는 1계 선형 방정식
v′+(1−n) p(t) v=(1−n) q(t)v' + (1 - n)\,p(t)\,v = (1 - n)\,q(t)
를 만족한다.

증명. v′=(1−n)y−ny′v' = (1 - n)y^{-n}y'. 원래 식에 y−ny^{-n}을 곱하면 y−ny′+p y1−n=qy^{-n}y' + p\,y^{1-n} = q, 즉 v′1−n+pv=q\frac{v'}{1 - n} + pv = q. ∎

이 방정식은 1695년 야코프 베르누이(Jakob Bernoulli)가 제기했고, 라이프니츠(Gottfried Wilhelm Leibniz)가 선형 방정식으로 바꾸어 푼 것으로 알려져 있습니다. n=0n = 0이면 이미 선형이고, n=1n = 1이면 y′=(q−p)yy' = (q - p)y로 변수분리형입니다.

예제 3.11 (로지스틱 방정식을 선형으로) y′=ry−rKy2y' = ry - \frac{r}{K}y^2, y(0)=y0>0y(0) = y_0 > 0을 풀어라.
  1. n=2n = 2, p=−rp = -r, q=−r/Kq = -r/K. v=1/yv = 1/y로 두면 v′+rv=r/Kv' + rv = r/K.
  2. v=1K+Ce−rtv = \frac1K + Ce^{-rt}, C=1y0−1KC = \frac{1}{y_0} - \frac1K.
  3. y=1v=K1+(Ky0−1)e−rty = \dfrac{1}{v} = \dfrac{K}{1 + \bigl(\frac{K}{y_0} - 1\bigr)e^{-rt}}. 2장의 결과와 같다.
  4. r=0.8r = 0.8, K=10K = 10, y0=1y_0 = 1이면 y(5)=10/(1+9e−4)≈8.585y(5) = 10/(1 + 9e^{-4}) \approx 8.585(RK4와 일치). 비선형인 yy가 S자로 가는 동안 v=1/yv = 1/y는 단순한 지수 감쇠로 1/K1/K에 다가간다.
예제 3.12 (n = 3) y′=y−y3y' = y - y^3, y(0)=0.2y(0) = 0.2를 풀어라.
  1. n=3n = 3, v=y−2v = y^{-2}. v′=−2y−3y′=−2y−2+2=−2v+2v' = -2y^{-3}y' = -2y^{-2} + 2 = -2v + 2, 즉 v′+2v=2v' + 2v = 2.
  2. v=1+Ce−2tv = 1 + Ce^{-2t}, v(0)=25v(0) = 25이므로 C=24C = 24. y=(1+24e−2t)−1/2y = (1 + 24e^{-2t})^{-1/2}.
  3. y(2)=(1+24e−4)−1/2≈0.8335y(2) = (1 + 24e^{-4})^{-1/2} \approx 0.8335(RK4 0.833456). 해는 평형점 1로 다가간다.
SIMULATOR

베르누이 치환: 구부러진 y가 v = y1−n에서는 지수 곡선

y(t): RK4 (주황) · 치환 공식 (점)
v = y1−n: 선형 방정식의 해
평형점 y*—
v의 시상수—
max |RK4 − 공식|—
해볼 것: ① n = 2, a = 0.8, b = 0.08이면 예제 3.11의 로지스틱(K = 10)입니다. y는 S자, v는 1/K로 가는 지수 곡선입니다. ② n = 3, a = b = 1, y(0) = 0.2이면 예제 3.12입니다. ③ n = 0.5로 두면 1 − n > 0이라 v의 지수가 커지는 쪽으로 바뀌어 평형점이 불안정해지고, y(0)이 평형점보다 작으면 v가 유한 시각에 0에 닿습니다. 그 뒤의 해는 유일하지 않습니다(4장). 모델: y′ = ay − byⁿ, v(t) = b/a + (v₀ − b/a)e(1−n)at.

1계 방정식, 어떤 방법을 쓸까

2장과 3장에서 손으로 푸는 1계 방정식의 주요 꼴을 모두 보았습니다. 실전에서는 먼저 꼴을 알아보는 것이 반이고, 한 방정식이 여러 꼴에 동시에 속하기도 합니다(y′+2y=4y' + 2y = 4는 분리형이자 선형).

꼴알아보는 법방법해의 모양
y′=g(t)h(y)y' = g(t)h(y)오른쪽이 곱으로 갈라짐변수분리(2장)∫dy/h=∫g dt\int dy/h = \int g\,dt
y′+p(t)y=g(t)y' + p(t)y = g(t)y,y′y, y'에 1차적분 인자 e∫pe^{\int p}yp+Ce−∫py_p + Ce^{-\int p}
M dx+N dy=0M\,dx + N\,dy = 0My=NxM_y = N_x퍼텐셜 ψ\psiψ(x,y)=C\psi(x, y) = C
거의 완전(My−Nx)/N(M_y - N_x)/N이 xx만μ(x)\mu(x)를 곱함ψ=C\psi = C
y′+py=qyny' + py = qy^n선형 + yny^n 한 항v=y1−nv = y^{1-n}vv는 선형
y′=F(y/t)y' = F(y/t)동차형u=y/tu = y/t(2장)분리형으로
그 밖—방향장·수치 해(5장)RK4

마지막 줄이 사실 가장 흔합니다. 손으로 풀리는 방정식은 예외적이지만, 이 예외들이 회로·탱크·성장 같은 모델의 뼈대이고, 수치 해를 검증하는 기준이 됩니다. 수치 해법은 5장에서 다룹니다.

이 도구가 쓰이는 곳

"변화율 = 입력 − 현재 상태에 비례하는 손실"이라는 1차 시스템은 공학에서 가장 흔한 동역학입니다. 시상수 하나로 시스템의 빠르기를 요약하는 언어가 여기서 나옵니다.

온도 센서의 응답 지연 열전대를 뜨거운 물에 넣으면 센서 자체의 열용량 때문에 표시값이 1차 시스템 τTs′+Ts=T\tau T_s' + T_s = T를 따라 늦게 오릅니다. 데이터시트의 "시상수 2 s"는 63.2%에 닿는 시간이고, 빠르게 변하는 온도를 잴 때는 정리 3.2의 이득·위상 지연만큼 측정값이 작고 늦게 나옵니다. 측정값에 T=Ts+τTs′T = T_s + \tau T_s'를 적용해 원래 온도를 복원하는 보정도 이 방정식에서 나옵니다.

핵심 정리

  1. 1계 선형 방정식은 표준형 y′+p(t)y=g(t)y' + p(t)y = g(t)로 쓴다. 표준형으로 바꾼 뒤에 pp를 읽는다(ty′+2yty' + 2y이면 p=2/tp = 2/t).
  2. 적분 인자 μ=e∫p dt\mu = e^{\int p\,dt}를 곱하면 (μy)′=μg(\mu y)' = \mu g가 되어 y=1μ(∫μg dt+C)y = \frac1\mu\bigl(\int\mu g\,dt + C\bigr). p,gp, g가 연속인 구간 전체에서 해가 존재하고 유일하다.
  3. RC 회로 RCv′+v=VsRCv' + v = V_s, RL 회로 Li′+Ri=VsLi' + Ri = V_s의 시상수는 RCRC, L/RL/R. τ\tau마다 남은 거리가 1/e1/e배, 5τ면 99.3%. 측정에서는 63.2%점, 처음 접선, 반로그 직선으로 τ를 읽는다.
  4. 혼합 탱크는 Q′=qincin−qoutQ/V(t)Q' = q_{\text{in}}c_{\text{in}} - q_{\text{out}}Q/V(t). 부피가 변하면 계수가 시간의 함수가 되어 적분 인자가 필요하다.
  5. 사인 입력 y′+ky=ksin⁡ωty' + ky = k\sin\omega t의 해 = 정상 상태 Gsin⁡(ωt−φ)G\sin(\omega t - \varphi) + 과도 Ce−ktCe^{-kt}. G=1/1+(ωτ)2G = 1/\sqrt{1 + (\omega\tau)^2}, φ=arctan⁡ωτ\varphi = \arctan\omega\tau. 차단 주파수 ω=1/τ\omega = 1/\tau에서 0.707, 45°.
  6. 선형 방정식의 모든 해는 y=yp+Ce−∫py = y_p + Ce^{-\int p}. 입력이 합이면 응답도 합(중첩). p>0p > 0이면 모든 해가 ypy_p로 모인다.
  7. M dx+N dy=0M\,dx + N\,dy = 0은 My=NxM_y = N_x이면 완전하고, 해는 퍼텐셜의 등고선 ψ=C\psi = C. 완전하지 않아도 (My−Nx)/N(M_y - N_x)/N이 xx만의 함수이면 μ(x)\mu(x)로 완전하게 만들 수 있다. 선형 방정식의 적분 인자가 그 특별한 경우다.
  8. 베르누이 방정식 y′+py=qyny' + py = qy^n은 v=y1−nv = y^{1-n}으로 선형이 된다. 로지스틱 방정식은 n=2n = 2인 베르누이 방정식이다.

확인 퀴즈

Q1. ty′+3y=t2ty' + 3y = t^2 (t>0t > 0)의 적분 인자는?

먼저 표준형 y′+3ty=ty' + \frac3t y = t로 바꾼다. p=3/tp = 3/t이므로 μ=e3ln⁡t=t3\mu = e^{3\ln t} = t^3. 표준형으로 바꾸지 않고 3을 pp로 읽으면 e3te^{3t}라는 오답이 나온다.

Q2. R=2R = 2 kΩ, C=500C = 500 μF인 RC 회로를 빈 상태에서 충전한다. 2초 뒤 축전기 전압은 전원 전압의 약 몇 %인가?

τ=2000×5×10−4=1\tau = 2000 \times 5\times10^{-4} = 1 s이므로 2초는 2τ. 1−e−2≈0.8651 - e^{-2} \approx 0.865.

Q3. 200 L 탱크에 소금 40 kg이 녹아 있다. 맑은 물이 10 L/min으로 들어오고 섞인 물이 10 L/min으로 나간다. 소금이 20 kg이 되는 시각은?

Q′=−10200QQ' = -\frac{10}{200}Q이므로 Q=40e−t/20Q = 40e^{-t/20}. 절반이 되는 시간은 20ln⁡2≈13.920\ln 2 \approx 13.9 min. 시상수 20 min과 반감기를 혼동하지 말 것.

Q4. y′+3y=3sin⁡4ty' + 3y = 3\sin 4t의 정상 상태 응답의 진폭과 위상 지연은?

k=3k = 3, ω=4\omega = 4. G=3/9+16=0.6G = 3/\sqrt{9 + 16} = 0.6, φ=arctan⁡(4/3)≈53.1°\varphi = \arctan(4/3) \approx 53.1°. 입력이 차단 주파수(ω = 3)보다 빠르므로 이득이 0.707보다 작고 지연이 45°보다 크다.

Q5. (2xy+y3) dx+(x2+3xy2) dy=0(2xy + y^3)\,dx + (x^2 + 3xy^2)\,dy = 0의 퍼텐셜 함수는?

My=2x+3y2=NxM_y = 2x + 3y^2 = N_x이므로 완전하다. ∫M dx=x2y+xy3+h(y)\int M\,dx = x^2y + xy^3 + h(y), ψy=x2+3xy2+h′=N\psi_y = x^2 + 3xy^2 + h' = N이므로 h=0h = 0.

Q6. 베르누이 방정식 y′+y=y3y' + y = y^3에 v=y−2v = y^{-2}를 넣으면?

n=3n = 3, p=1p = 1, q=1q = 1. 정리 3.7로 v′+(1−3)(1)v=(1−3)(1)v' + (1 - 3)(1)v = (1 - 3)(1), 즉 v′−2v=−2v' - 2v = -2. 직접: v′=−2y−3y′=−2y−3(y3−y)=−2+2vv' = -2y^{-3}y' = -2y^{-3}(y^3 - y) = -2 + 2v.

Q7. y1y_1과 y2y_2가 모두 y′+p(t)y=g(t)y' + p(t)y = g(t)의 해이다(g≠0g \ne 0). 항상 참인 것은?

L[y1−y2]=g−g=0L[y_1 - y_2] = g - g = 0. 합은 L[y1+y2]=2gL[y_1 + y_2] = 2g이라 원래 방정식의 해가 아니다. 그래서 "특수해 하나 + 동차해"가 모든 해다.

Q8. y′+y=3y' + y = 3, y(0)=5y(0) = 5일 때 y(ln⁡2)y(\ln 2)는?

y=3+2e−ty = 3 + 2e^{-t}. t=ln⁡2t = \ln 2이면 e−t=1/2e^{-t} = 1/2이므로 y=3+1=4y = 3 + 1 = 4. 처음 거리 2가 반감기 ln⁡2\ln 2만에 절반이 되었다.