미분방정식 (differential equation)
쉽게 풀면
보통의 방정식은 "x + 3 = 7"처럼 미지수 x의 값을 직접 구합니다. 그런데 미분방정식은 미지수 대신 "그 값이 시간에 따라 얼마나 빠르게 변하는가"(변화율, 즉 미분)에 대한 규칙을 알려주고, 거기서 원래 값 자체를 거꾸로 찾아내는 문제입니다.
예를 들어 "물통에 물이 채워진 양이 많을수록 새어나가는 속도도 빨라진다"는 규칙만 주어졌을 때, 시간이 지나면서 물의 양이 정확히 어떻게 줄어드는지 그 전체 그래프(함수)를 찾아내는 것이 미분방정식을 "푸는" 것입니다.
왜 중요한가
자연과 사회의 많은 현상은 값 자체보다 "그 값이 어떻게 변하는가"라는 규칙으로 더 자연스럽게 표현되기 때문에, 미분방정식은 물리학·생태학·공학·경제학·역학(疫學) 등 시간에 따른 변화를 다루는 거의 모든 정량적 연구 분야의 공통 언어로 쓰입니다.
새로운 현상을 설명하는 이론 논문은 흔히 그 현상을 지배하는 미분방정식을 세우는 것에서 시작하며, 이후 그 방정식을 풀거나 근사적으로 시뮬레이션하는 것이 연구의 핵심 작업이 됩니다. 또한 최근에는 신경망으로 미분방정식의 해를 근사하는 연구(물리 기반 신경망 등)도 활발히 이루어지고 있습니다.
핵심 정리
- 미분방정식은 미지의 함수와 그 도함수 사이의 관계를 적은 방정식입니다. 풀이는 숫자 하나가 아니라 조건을 만족하는 함수입니다.
- 독립변수가 하나면 상미분방정식, 둘 이상이면 편미분방정식입니다.
- 가장 높은 미분의 계(order)를 그 방정식의 계라 하고, 미지 함수와 도함수가 일차식으로만 들어가면 선형이라 합니다. 선형 여부는 풀이 방법과 해의 성질을 가릅니다.
- 일반해에는 상수가 남고, 초기 조건(시작할 때 값)을 주면 하나의 해가 정해집니다. 적절한 조건에서는 해가 존재하고 유일하다는 정리가 있습니다.
- 닫힌 형태의 식으로 풀리지 않는 경우가 많아, 컴퓨터로 오일러법·룽게–쿠타법 같은 수치 방법을 써서 근사합니다.
예시로 보기
가상의 예입니다. 뉴턴의 냉각 법칙은 “물체와 주변의 온도 차이에 비례해 식는다”는 규칙으로, dT/dt = −k(T − Te)입니다. Te = 20℃, 처음 온도 T(0) = 90℃, k = 0.1/분이라 하면 해는 T(t) = Te + (T(0) − Te)e−kt입니다.
- 10분 뒤 정확한 값: 20 + 70×e−1 = 45.75℃
- 오일러법(간격 1분)으로 10번 갱신하면 44.41℃로, 정확한 값과 1.34℃ 차이가 납니다. 간격을 더 줄이면 오차가 줄어듭니다.
수치 방법은 근사이므로 간격과 오차를 함께 보고해야 합니다.
자주 하는 오해
| 오해 | 바로잡기 |
|---|---|
| 미분방정식은 풀면 하나의 답이 나온다. | 초기·경계 조건이 없으면 상수가 남은 해의 모임(일반해)이 나옵니다. |
| 모든 미분방정식은 식으로 풀 수 있다. | 대부분의 실제 모형은 닫힌 해가 없어 수치해를 씁니다. |
| 방정식을 세우면 현상이 설명된다. | 방정식은 가정의 표현입니다. 가정이 맞는지는 자료와 비교해 검증해야 합니다. |
| 미분과 같은 것이다. | 미분은 변화율을 구하는 연산이고, 미분방정식은 변화율이 따르는 관계를 주고 원래 함수를 찾는 문제입니다. |
논문에서는 이렇게 쓰입니다
실제 논문에서
국내 학술지 논문에서 이 용어가 쓰인 문장을 그대로 옮겼습니다. 제목·학술지·연도와 원문 링크를 함께 적었습니다.
“본 논문에서 사용한 Hat 웨이블릿 함수는 -공간에 속한 급수로서 일반적으로 2계 타원형 미분방정식에 적용하기에는 무리가 없으나 4계 타원형 미분방정식에 적용하기에는 불충분한 미분가능회수를 가지고 있다.”
4계 타원형 미분 방정식을 위한 웨이블릿 급수해석, 한국전산구조공학회논문집, 2011 · KCI 한국학술지인용색인 · 원문 보기 ↗
예시 문장
아래는 용어의 쓰임을 보여 주려고 만든 예시로, 실제 논문에서 가져온 문장이 아닙니다.
이 문장은 "지금 개체수가 많을수록 늘어나는 속도도 빠르다"는 변화의 규칙(미분방정식)을 먼저 세운 뒤, 그 규칙을 풀어서 실제로 시간이 지남에 따라 개체수가 어떤 곡선을 그리며 변하는지 구했다는 뜻입니다. 미분방정식은 생태학의 개체군 변화, 물리학의 운동과 열전달, 공학의 회로 및 제어 시스템, 전염병 확산 모델 등 시간에 따라 변하는 현상을 다루는 논문에서 폭넓게 등장합니다.
역학 연구에서는 감염자, 회복자, 감수성 인구의 시간에 따른 변화를 각각의 미분방정식으로 나타내고, 이를 함께 풀어 유행의 정점과 규모를 예측합니다.
공학 분야에서는 시간뿐 아니라 공간에 따라서도 변하는 현상을 다루기 위해 편미분방정식을 세우고, 이를 컴퓨터로 근사해서 푸는 경우가 많습니다.
조금 더 깊게 보면
미분방정식은 미지함수가 한 개의 변수에만 의존하는 상미분방정식(ODE)과, 여러 변수(예: 시간과 공간)에 의존하는 편미분방정식(PDE)으로 크게 나뉘며, 후자는 훨씬 더 복잡한 해석과 수치기법을 필요로 합니다.
손으로 정확한 해(해석해)를 구하기 어려운 경우가 대부분이라, 논문에서는 룽게-쿠타(Runge-Kutta) 방법이나 유한차분법, 유한요소법 같은 수치해법을 이용해 근사해를 구하는 것이 일반적입니다.
최근에는 신경망을 이용해 미분방정식의 해를 직접 근사하는 물리 정보 신경망(Physics-Informed Neural Network) 같은 접근도 여러 분야의 논문에서 소개되고 있습니다.
주의할 점
미분방정식은 대부분 손으로 정확히 풀 수 없는 경우가 많아, 실제 논문에서는 수치적으로 근사해 계산하는 경우가 흔합니다. 또한 같은 규칙(방정식)이라도 시작 조건(초기값)이 다르면 완전히 다른 결과 곡선이 나올 수 있다는 점에 유의해야 합니다.
헷갈리기 쉬운 용어
미분방정식은 독립변수의 개수로 크게 나뉩니다.
| 용어 | 독립변수 | 예 |
|---|---|---|
| 상미분방정식(ODE) | 하나(보통 시간) | 냉각, 인구 증가, 진자 |
| 편미분방정식(PDE) | 둘 이상(시간·위치) | 열 전도, 파동, 확산 |
| 미분 | — | 변화율을 구하는 연산 |
참고 문헌
- Boyce, W. E., & DiPrima, R. C. (2012). Elementary Differential Equations and Boundary Value Problems (10th ed.). Wiley.
- Strogatz, S. H. (2015). Nonlinear Dynamics and Chaos: With Applications to Physics, Biology, Chemistry, and Engineering (2nd ed.). Westview Press.
- Arnold, V. I. (1992). Ordinary Differential Equations (R. Cooke, Trans.; 3rd ed.). Springer.
표의 기준값은 위 문헌에 근거한 관례이며, 분야·학술지마다 다른 기준을 쓸 수 있습니다.