들어가며
보통 방정식은 답이 숫자로 나옵니다. "두 배 하면 4가 되는 수는?" 하면 답은 그냥 \(2\)이고, "제곱하면 4가 되는 수는?" 하면 \(2\)와 \(-2\), 두 개입니다. 답이 몇 개든 그건 수직선 위의 점 몇 개입니다.
그런데 미분방정식(differential equation)은 답이 좀 다릅니다. 미분방정식이란 미분(순간 변화율)이 들어간 방정식입니다. 예를 들어
$$\frac{dy}{dx} = 2x$$같은 식이죠. 여기서 \(\dfrac{dy}{dx}\)는 "\(x\)가 아주 조금 변할 때 \(y\)가 얼마나 빨리 변하는가", 즉 그래프의 기울기를 뜻합니다. 그러니 이 식은 "기울기가 항상 \(2x\)와 같은 곡선을 찾아라"라는 주문입니다. 이 주문의 답은 놀랍게도 숫자가 아니라 함수, 그러니까 곡선 하나 전체입니다.
$$y = x^2 + C$$여기서 \(C\)는 적분에 늘 따라붙는 임의의 상수입니다. 답이 곡선 하나도 아니고 \(C\)만큼 위아래로 나란히 밀린 곡선 다발로 나온다는 점도 낯섭니다.
수수께끼가 하나 더 있습니다. 이런 미분방정식을 풀 때 우리는 종종 이상한 짓을 합니다. \(\dfrac{dy}{dx}\)는 분명 "기울기"를 뜻하는 한 덩어리 기호인데, 마치 분수인 양 \(dx\)를 뚝 떼어 반대편으로 옮겨 적는 것이죠. 이렇게요.
$$\frac{dy}{dx} = 2x \quad\Rightarrow\quad dy = 2x\,dx$$분수도 아닌 걸 분수처럼 다뤄도 되는 걸까요? 이 글은 이 두 가지 — 왜 답이 함수인가, 그리고 왜 그 편법이 허용되는가 — 를 하나로 꿰어 봅니다.
왜 답이 숫자가 아니라 함수인가
보통 방정식과 미분방정식의 차이는 "무엇을 묻느냐"에 있습니다.
- 보통 방정식은 "어떤 수?" 를 묻습니다. 미지수 자리에 들어갈 수를 찾는 것이죠.
- 미분방정식은 "어떤 함수?" 를 묻습니다. 미지의 자리에 있는 것이 수가 아니라 함수 전체입니다.
\(\dfrac{dy}{dx} = 2x\)를 다시 봅시다. 이건 "\(y\)라는 미지의 함수가 있는데, 그 함수의 기울기가 어느 \(x\)에서든 \(2x\)이더라"라는 정보를 준 것입니다. 우리가 찾는 건 그 조건을 만족하는 \(y\)라는 함수 자체이지, 특정한 수 하나가 아닙니다.
그럼 그 함수를 어떻게 찾을까요? "기울기가 \(2x\)인 함수"란 곧 "미분하면 \(2x\)가 되는 함수"이니, 미분을 거꾸로 되돌리는 적분을 하면 됩니다.
$$y = \int 2x \, dx = x^2 + C$$여기서 \(\int\)은 "잘게 쪼갠 것을 전부 더한다"는 뜻의 길쭉한 S 모양 적분 기호입니다. 그런데 이 적분의 결과에 \(C\)가 붙는 이유가 중요합니다. 미분은 상수항을 \(0\)으로 날려 버립니다 — \(x^2\)을 미분해도 \(2x\), \(x^2 + 5\)를 미분해도 \(2x\), \(x^2 - 100\)을 미분해도 똑같이 \(2x\)입니다. 그러니 "미분하면 \(2x\)"라는 조건만으로는 위아래 위치를 알 수 없고, 답이 \(C\)만큼 밀린 곡선 다발로 나오는 것이죠. 이 곡선 다발을 일반해라고 부릅니다. (이 이야기는 적분엔 왜 +C가 따라붙나에서 더 자세히 다뤘습니다.)
시작점 하나가 곡선 하나를 뽑는다
답이 곡선 다발이라니, 그럼 실제 문제에서는 그중 어느 것을 골라야 할까요? 여기서 시작점(초기조건)이 등장합니다.
곡선 다발 \(y = x^2 + C\) 중에서 "점 \((1, 3)\)을 지나는 곡선"을 원한다고 합시다. 그 점을 식에 넣으면
$$3 = 1^2 + C \quad\Rightarrow\quad C = 2$$로 \(C\)가 딱 하나로 정해지고, 곡선이 \(y = x^2 + 2\) 하나로 뽑힙니다. 시작점 \((0, 0)\)을 원했다면 \(C = 0\)이라 \(y = x^2\)이 되겠지요. 이렇게 시작점 하나가 무수한 곡선 다발에서 정확히 한 곡선을 집어내는 것이 미분방정식 풀이의 그림입니다.
이 장면은 방향장(direction field)으로 보면 한눈에 들어옵니다. 방향장이란 평면 곳곳에 "이 점에서 곡선이 가져야 할 기울기"를 짧은 화살표로 잔뜩 그려 놓은 그림입니다. \(\dfrac{dy}{dx} = 2x\)라면, 각 점의 화살표 기울기는 그 점의 \(x\)좌표에 따라 \(2x\)로 정해집니다(\(y\)와는 무관). 이 화살표들의 흐름을 따라 매끄럽게 이으면 그게 바로 해곡선이고, 어디서 출발하느냐에 따라 다른 \(C\)의 곡선이 그려집니다. 아래 인터랙티브의 첫 화면에서 벌판을 클릭해 시작점을 정하면, 그 점을 지나는 곡선 한 개가 화살표 흐름을 타고 그려집니다.
이제 두 번째 수수께끼: dx를 옮겨도 되나
방금 예는 \(\dfrac{dy}{dx}\)가 \(x\)만의 식이라 그냥 양변을 적분하면 끝이었습니다. 하지만 기울기가 \(y\)에도 걸려 있으면 이야기가 달라집니다. 대표적인 예를 봅시다.
$$\frac{dy}{dx} = y$$이건 "기울기가 항상 자기 자신의 높이와 같은 곡선"을 찾으라는 주문입니다. 높을수록 가파르게 오르니, 답이 폭발적으로 커지는 함수일 것 같습니다. 이걸 풀 때 흔히 쓰는 방법이 변수분리인데, 그 첫 단계가 바로 그 수상한 편법입니다.
$$\frac{dy}{dx} = y \quad\Rightarrow\quad \frac{1}{y}\,dy = dx$$\(\dfrac{dy}{dx}\)를 분수처럼 취급해 \(y\)를 왼쪽으로, \(dx\)를 오른쪽으로 옮긴 것이죠. 그다음 양변에 적분 기호를 붙여 각각 적분합니다.
$$\int \frac{1}{y}\,dy = \int 1 \, dx \quad\Rightarrow\quad \ln|y| = x + C$$여기서 \(\ln\)은 밑이 \(e\)인 자연로그입니다. 정리하면
$$y = e^{x + C} = e^{C} e^{x} = C' e^{x}$$가 됩니다(\(e^{C}\)는 또 다른 양의 상수라 새 이름 \(C'\)로 묶었습니다). 답은 역시 숫자가 아니라 함수, 그것도 \(C'\)만큼 세로로 늘였다 줄인 곡선 다발입니다.
계산은 깔끔하지만 찜찜함이 남습니다. \(\dfrac{dy}{dx}\)는 분수가 아니라 "미분"이라는 한 덩어리 연산 기호인데, 그 안의 \(dx\)를 정말 물건처럼 떼어 옮겨도 되는 걸까요?
편법의 정체는 치환적분이다
결론부터 말하면, 떼어 옮기는 조작 자체는 편법이지만, 그 결과는 정직합니다. 왜냐하면 그 편법은 치환적분이라는 튼튼한 규칙을 짧게 줄여 쓴 것에 불과하기 때문입니다. \(dx\)를 옮기지 않고 정석대로 가 봅시다.
시작은 같습니다. \(\dfrac{dy}{dx} = y\)의 양변을 \(y\)로 나눕니다(옮기는 게 아니라 나누는, 합법적인 조작입니다).
$$\frac{1}{y}\cdot\frac{dy}{dx} = 1$$이제 양변을 \(x\)에 대해 적분합니다. \(dx\)를 떼어 옮기는 대신, 정직하게 \(dx\)를 붙여서요.
$$\int \frac{1}{y}\cdot\frac{dy}{dx}\,dx = \int 1 \, dx$$여기서 왼쪽 적분이 핵심입니다. 치환적분의 규칙은 \(u = y(x)\)로 놓으면 \(du = \dfrac{dy}{dx}\,dx\)라는 것이었습니다. 즉 왼쪽의 \(\dfrac{dy}{dx}\,dx\) 덩어리가 통째로 \(dy\)로 바뀝니다.
$$\int \frac{1}{y}\,\underbrace{\frac{dy}{dx}\,dx}_{=\,dy} = \int \frac{1}{y}\,dy$$그러면 왼쪽은 \(\displaystyle\int \frac{1}{y}\,dy\), 오른쪽은 \(\displaystyle\int 1\,dx\)가 되어, 앞의 편법이 도달한 바로 그 식과 정확히 같아집니다. 다시 말해
$$\frac{1}{y}\,dy = dx \;\text{로 옮겨 적는 편법} \;=\; \text{치환적분} \;u = y(x)\;\text{를 거꾸로 줄여 쓴 것}$$인 셈입니다. \(dx\)를 떼어 옮기는 손동작은 "치환적분을 매번 다 쓰기 번거로우니 결과만 빨리 적자"는 속기(速記)일 뿐, 그 밑에는 연쇄법칙을 거꾸로 감는 치환적분이 정직하게 깔려 있습니다.
여기서 직관을 한 번 더 짚어 두면 — \(dy\)와 \(dx\)는 각각 "\(y\)의 아주 작은 변화량", "\(x\)의 아주 작은 변화량"이고, \(\dfrac{dy}{dx}\)는 그 둘의 비(比)입니다. 비의 형태이다 보니 정말 분수처럼 조작해도 답이 맞아떨어지는 것이고, 그게 우연이 아니라 치환적분이 뒤에서 보증해 주기 때문에 안심하고 쓸 수 있는 것입니다.
한 그림으로: 곡선 다발과 두 경로
아래 인터랙티브는 두 화면으로 되어 있습니다.
- 방향장: \(\dfrac{dy}{dx} = 2x\)의 기울기 화살표가 평면에 깔려 있습니다. 벌판의 아무 곳이나 클릭해 시작점을 정하면, 그 점을 지나는 해곡선 \(y = x^2 + C\)가 화살표 흐름을 타고 그려집니다. 시작점을 옮길 때마다 \(C\)가 달라지며 곡선 다발의 다른 한 줄이 뽑히는 걸 볼 수 있습니다.
- 두 경로: \(\dfrac{dy}{dx} = y\)를 "\(dx\)를 옮기는 편법"과 "치환적분 정석" 두 방식으로 나란히 풀어 봅니다. 단계를 넘기다 보면 두 경로가 중간에 똑같은 적분식에서 만나고, 결국 같은 답 \(y = C'e^{x}\)에 도착하는 걸 확인할 수 있습니다.
두 화면이 말하는 것은 하나입니다. 미분방정식의 답은 곡선 하나 전체이며 시작점이 그중 하나를 뽑는다는 것, 그리고 그걸 푸는 편법은 치환적분이라는 정직한 규칙을 줄여 쓴 것이라는 것.
핵심 정리
| 질문 | 답 |
|---|---|
| 미분방정식의 답은 왜 숫자가 아닌가 | 미지의 자리에 있는 것이 수가 아니라 함수(곡선 전체)라서 |
| 왜 답이 곡선 하나가 아니라 다발인가 | 미분이 상수항을 지워, 위아래로 밀린 \(C\)를 되살릴 수 없어서 |
| 곡선 다발에서 하나를 어떻게 고르나 | 시작점(초기조건) 하나를 넣어 \(C\)를 결정 |
| \(dx\)를 떼어 옮겨도 되나 | 조작은 편법이지만 결과는 정직 — 밑에 치환적분이 깔려 있음 |
| 왜 분수처럼 다뤄도 맞나 | \(\dfrac{dy}{dx}\)가 두 미소 변화량의 비라서, 치환적분이 그 조작을 보증 |
한 줄로 관통하면 — 미분방정식은 "어떤 함수?"를 묻기에 답이 곡선 다발로 나오고 시작점이 그중 하나를 뽑으며, 변수분리에서 \(dx\)를 옮기는 편법은 치환적분을 줄여 쓴 정직한 계산이다.
AI로 이런 걸 공부할 때
미분방정식은 "답이 함수"라는 발상 전환을 놓치면 계산 규칙만 외우게 됩니다. AI에게 물을 때는 "답이 곡선 다발이고 시작점이 하나를 뽑는다" 는 그림과 "변수분리는 치환적분의 속기" 라는 틀로 질문하면 흩어진 규칙이 하나로 꿰어집니다.
유용한 질문 예시:
- "\(\dfrac{dy}{dx} = 2x\)의 일반해가 왜 곡선 하나가 아니라 \(C\)가 붙은 다발인지, 미분이 지우는 정보로 설명해 줘."
- "변수분리에서 \(dx\)를 옮기는 게 왜 치환적분과 같은 건지, \(u = y(x)\) 치환으로 단계별로 보여 줘."
- "\(\dfrac{dy}{dx} = y\)를 풀어 \(y = C'e^{x}\)가 나오는 과정에서, 초기조건 \(y(0) = 3\)이면 \(C'\)이 얼마가 되는지 계산해 줘."
마치며
미분방정식을 처음 만나면 두 가지가 낯섭니다. 답이 숫자가 아니라 곡선 다발이라는 것, 그리고 \(\dfrac{dy}{dx}\)의 \(dx\)를 물건처럼 떼어 옮기는 손동작입니다. 하지만 둘 다 뿌리를 보면 자연스럽습니다. 미분방정식은 "어떤 함수?"를 묻는 물음이라 답이 함수일 수밖에 없고, 미분이 지운 위아래 정보 때문에 답이 다발이 되며, 시작점 하나가 그중 한 곡선을 집어냅니다. 그리고 \(dx\)를 옮기는 편법은 마법이 아니라, 연쇄법칙을 거꾸로 감는 치환적분을 짧게 줄여 쓴 정직한 계산입니다.
곡선 다발 위에서 시작점 하나가 한 곡선을 뽑는 그림과, 편법과 정석이 같은 적분식에서 만나는 장면 — 이 두 그림을 손에 쥐면, 미분방정식은 새로 외워야 할 규칙 덩어리가 아니라 이미 배운 미분과 적분이 자연스럽게 이어진 다음 이야기로 보입니다.
함께 보면 좋은 글 — 먼저 읽으면 좋은 글: 적분은 왜 미분의 반대인가 · 적분엔 왜 +C가 따라붙나 → 이어서: 치환적분은 왜 어떤 변수로 놓아도 풀리나 · 연쇄법칙은 왜 '곱하기'인가 · 직접 그려보기: Desmos · Wolfram Alpha