Summary

상미분방정식(ODE)은 어떤 함수와 그 도함수(변화율) 사이의 관계를 적어 둔 방정식이다. “지금 상태가 이러면 다음 순간엔 이렇게 변한다”는 규칙을 풀어 함수 자체를 복원하는 것이 목표다. 차수·선형성으로 분류하고, 초기조건을 주면(IVP) 보통 미래 경로가 하나로 정해진다.

용어 설명

• ODE (상미분방정식, ordinary differential equation): 미지 함수와 그 도함수들 사이의 관계식. 독립변수가 1개.
• PDE (편미분방정식, partial differential equation): 독립변수가 여러 개인 경우.
• order (계수/차수): 식에 나오는 최고 도함수의 차수.
• linear vs nonlinear (선형/비선형): 미지함수와 도함수가 1차로만, 서로 곱하거나 비선형함수에 들어가지 않으면 선형. 그 외 비선형.
• IVP (초기값 문제, initial value problem): $y(x_0)=y_0$ 같은 초기조건을 함께 주는 문제.
• general/particular solution (일반해/특수해): 임의상수를 포함한 해 vs 조건으로 상수를 정한 해.
• existence & uniqueness (존재·유일성): 해가 “있는가”, 그리고 “하나뿐인가”를 보장하는 정리.
• direction field (방향장/slope field): 각 점의 기울기를 화살표로 그려 해의 모양을 보는 그림.

Ordinary Differential Equations (overview)

1. 직관 (변화율로 적힌 방정식 = 미래를 그리는 규칙)

보통 방정식은 “$x$가 얼마야?”를 묻는다. 미분방정식은 한 단계 더 나아가 “변화율(도함수)이 이런 규칙을 따르는 함수가 누구야?” 를 묻는다.

예를 들어 컵의 뜨거운 물이 식는 것을 생각하자. “지금 온도가 높을수록 더 빨리 식는다”는 관찰을 식으로 쓰면

$\frac{dT}{dt}=-k(T-T_{\text{room}})$

이다. 여기서 $\frac{dT}{dt}$는 온도의 변화율이다. 이 식은 매 순간 “다음 순간 온도가 얼마나 변할지”를 알려주는 규칙이고, 이 규칙을 따라가며 점을 이으면 온도 그래프 $T(t)$ 전체가 그려진다.

Tip

ODE를 “미래를 그리는 규칙”으로 보면 편하다. 현재 상태 + 변화 규칙 → 다음 상태를 반복하면 함수 한 줄이 완성된다. 게임에서 “현재 위치 + 속도 → 다음 위치”를 매 프레임 계산하는 것과 똑같다.

2. 분류 (ODE vs PDE / 차수 / 선형 vs 비선형)

(1) ODE vs PDE — 독립변수가 1개면 ODE(상미분방정식), 여러 개면 PDE(편미분방정식).

• ODE: $\frac{dy}{dx}=3y$ (변수는 $x$ 하나)
• PDE: $\frac{\partial u}{\partial t}=\frac{{\partial }^{2}u}{\partial x^2}$ (변수가 $t,x$ 둘 — 이 노트 범위 밖)

(2) order (차수) — 식에 등장하는 가장 높은 도함수의 차수.

• $y^{\prime }=2x$ → 1차(first-order)
• $y^{\prime \prime }+y=0$ → 2차(second-order)

(3) linear vs nonlinear (선형/비선형) — 미지함수 $y$와 그 도함수들이 모두 1차(곱·제곱·비선형함수 없음) 로만 나타나면 선형. 일반형:

$a_n(x)y^{(n)}+\cdots +a_1(x)y^{\prime }+a_0(x)y=g(x)$

• 선형: $y^{\prime \prime }+3y^{\prime }+2y=\sin x$ ($y$들이 깔끔하게 1차)
• 비선형: $y^{\prime }=y^2$ (제곱), $y^{\prime \prime }+\sin y=0$ ($y$가 $\sin$ 안에), $y{y}^{\prime }=1$ ($y$와 $y^{\prime }$의 곱)

Important

선형 ODE는 풀이법이 잘 정비되어 있어 “이름만 알면 공식으로” 풀리는 경우가 많다. 비선형은 일반적으로 어렵고, 풀 수 있으면 운이 좋은 편. 그래서 문제를 보면 먼저 차수와 선형성부터 판별하는 습관이 핵심이다.

3. 해의 개념 (일반해·특수해·초기값 문제 IVP)

ODE를 풀면 함수가 나오는데, 보통 임의상수가 딸려 나온다.

• 일반해 (general solution): 임의상수를 포함한 해. 해들의 “가족 전체”.
  예: $y^{\prime }=2x$ → $y=x^2+C$ ($C$는 아무 값이나 가능).
• 특수해 (particular solution): 조건을 줘서 임의상수를 딱 하나로 결정한 해.
• 초기값 문제 (IVP): 일반해 + 초기조건 $y(x_0)=y_0$. 조건을 대입해 $C$를 정한다.
  예: 위 문제에 $y(0)=5$를 주면 $5=0+C$ → $C=5$ → 특수해 $y=x^2+5$.

Tip

일반해는 “평행한 곡선 다발”, 초기조건은 “그중 내가 출발할 점 하나 콕 찍기”. 점을 찍으면 곡선 하나가 정해진다.

4. 존재·유일성 정리 (직관 수준)

질문: IVP를 줬을 때 해가 정말 (1) 존재하고 (2) 유일할까?

Picard–Lindelöf 정리 (직관): $y^{\prime }=f(x,y)$에서 $f(x,y)$와 $\frac{\partial f}{\partial y}$가 출발점 근처에서 연속(매끄러움) 이면, IVP는 그 근처에서 유일한 해를 가진다.

직관: 출발점이 정해져 있고 변화 규칙이 충분히 매끄러우면, 미래 경로는 하나로 결정된다. 갈림길 없이 길이 딱 하나라는 뜻이다. 규칙이 뾰족하거나 끊겨 있으면(연속 조건 깨짐) 해가 없거나 여러 갈래로 갈라질 수 있다.

Important

이 정리는 “어떻게 푸는가”가 아니라 “풀 가치가 있는 문제인가(해가 잘 정의되는가)” 를 보장해 준다. 수치해석으로 컴퓨터가 해를 따라 그릴 수 있는 근거이기도 하다.

5. 방향장(direction field) / 어디에 쓰나

방향장 (direction field / slope field): 식을 못 풀어도, 각 점 $(x,y)$에서 기울기 $y^{\prime }=f(x,y)$를 계산해 짧은 화살표로 그릴 수 있다. 화살표 흐름을 따라가면 해 곡선의 모양이 눈에 보인다 — 풀지 않고도 해의 경향(증가/감소/평형)을 파악하는 도구.

어디에 쓰나 — 변하는 거의 모든 현상의 모델:

• 인구 성장 (population): $\frac{dP}{dt}=rP$
• 냉각 (Newton’s cooling): $\frac{dT}{dt}=-k(T-T_{\text{room}})$
• RC 회로 (circuit), 용수철·낙하 같은 운동 (motion, Newton’s 2nd law)
• 전염병 모델 (SIR): 감염자 수 변화율을 ODE로 기술

Tip

교과서 기준: Boyce & DiPrima, Elementary Differential Equations, Ch 1. 1장은 대부분 “분류 + 방향장 + 모델링” 직관으로 채워져 있다.

6. 30초 요약

• ODE = 함수와 그 도함수(변화율)의 관계식, 독립변수 1개 (여러 개면 PDE).
• 차수(order) = 최고 도함수의 차수. 선형 = $y$와 도함수가 1차로만, 곱·비선형함수 없음.
• 일반해(임의상수 포함) → 초기조건 주면 특수해. 조건 붙은 문제 = IVP.
• 존재·유일성(Picard–Lindelöf): $f$와 $\partial f/\partial y$가 연속이면 IVP는 국소적으로 유일한 해를 가진다 → “출발점 + 매끄러운 규칙 = 길 하나”.
• 방향장: 안 풀고도 기울기 화살표로 해 모양 보기.
• 쓰임: 인구·냉각·회로·운동·전염병(SIR) 등 변화 현상 모델링.

관련 노트

• Differential Equations (index)
• Separable Equations
• Second-Order Linear ODE (Constant Coefficients)