들어가며
보통 방정식은 답이 몇 개의 숫자로 끝납니다. 그런데 미분방정식의 답은 숫자가 아니라 함수, 그러니까 곡선 하나 전체입니다. 게다가 그 답에는 늘 정체불명의 상수가 따라붙습니다.
$$\frac{dy}{dx} = 2x \;\Rightarrow\; y = x^{2} + C$$여기서 \(\dfrac{dy}{dx}\)는 "\(x\)가 아주 조금 변할 때 \(y\)가 얼마나 빨리 변하는가", 즉 곡선의 기울기를 뜻하는 한 덩어리 기호입니다. 그리고 \(C\)는 \(3\)이든 \(-7\)이든 아무 값이나 될 수 있는 임의의 상수입니다.
그런데 방정식을 조금 바꾸면 이상한 일이 벌어집니다. 다음처럼 두 번 미분한 양이 들어 있는 방정식을 풀면, 상수가 하나가 아니라 둘이 나옵니다.
$$\frac{d^{2}y}{dx^{2}} = x^{2} \;\Rightarrow\; y = \frac{x^{4}}{12} + C_{1}\,x + C_{2}$$여기서 \(\dfrac{d^{2}y}{dx^{2}}\)는 "\(y\)를 두 번 연달아 미분한 것", 즉 기울기가 다시 얼마나 빨리 변하는가를 뜻합니다. 답에 상수 \(C_1\)과 \(C_2\)가 둘 다 붙어 있죠.
규칙은 단순합니다. 방정식에 들어 있는 가장 높은 미분 횟수(이것을 미분방정식의 계수라고 부릅니다)가 곧 임의의 상수 개수입니다. 한 번 미분한 식이 들어 있으면 상수 하나, 두 번이면 둘, \(n\)번이면 정확히 \(n\)개. 왜 하필 딱 그만큼일까요? 이 글은 그 이유를 "미분이 지운 정보를 되감는다"는 한 그림으로 풀어냅니다.
미분 한 번은 정보 한 겹을 지운다
먼저 상수가 하나 붙는 이유부터 짚겠습니다. 열쇠는 미분이 상수항을 지운다는 사실입니다.
$$\frac{d}{dx}\left(x^{2} + 3\right) = 2x, \qquad \frac{d}{dx}\left(x^{2} - 7\right) = 2x$$상수항 \(3\), \(-7\)이 미분을 거치며 흔적 없이 사라졌습니다. 상수는 기울기가 \(0\)인 수평선이라, 변화율을 재는 미분의 눈에는 "변화 없음", 즉 \(0\)으로만 보이기 때문입니다. 다시 말해 미분 한 번은 함수가 위아래로 얼마나 떠 있는지를 \(0\)으로 눌러 지웁니다.
그러니 거꾸로 되돌리는 적분을 하면, 그 지워진 "떠 있는 높이"를 딱 하나로 정할 수 없습니다. 답은 위아래로 나란히 밀린 곡선 다발이 되고, 그 자유를 담는 것이 임의의 상수 \(C\)입니다.
$$\int 2x \, dx = x^{2} + C$$여기서 \(\int\)은 "잘게 쪼갠 것을 전부 더한다"는 뜻의 길쭉한 S 모양 적분 기호입니다.
여기서 얻는 교훈이 이 글의 엔진입니다 — 적분을 한 번 할 때마다, 미분이 지운 정보 한 겹이 임의의 상수 하나로 되살아난다.
두 번 미분했으면, 두 번 되감아야 한다
이제 두 번 미분한 방정식 \(\dfrac{d^{2}y}{dx^{2}} = x^{2}\)를 실제로 풀어 봅시다. "두 번 미분하면 \(x^{2}\)이 되는 함수"를 찾으려면, 미분을 두 번 되감아야 하니 적분을 두 번 하면 됩니다.
첫 번째 적분 — \(\dfrac{d^{2}y}{dx^{2}}\)를 한 번 적분하면 한 겹 아래인 \(\dfrac{dy}{dx}\)(기울기)에 닿습니다.
$$\frac{dy}{dx} = \int x^{2} \, dx = \frac{x^{3}}{3} + C_{1}$$여기서 첫 번째 임의의 상수 \(C_1\)이 태어납니다. 두 번째 미분이 지웠던 정보 한 겹이 되살아난 것이죠.
두 번째 적분 — 방금 얻은 기울기를 한 번 더 적분하면 드디어 원래 함수 \(y\)에 닿습니다.
$$y = \int \left(\frac{x^{3}}{3} + C_{1}\right) dx = \frac{x^{4}}{12} + C_{1}\,x + C_{2}$$여기서 두 번째 임의의 상수 \(C_2\)가 태어납니다. \(C_1\)은 적분되어 \(C_1 x\)라는 항으로 남고, 새로 \(C_2\)가 붙었습니다. 적분을 두 번 했더니 상수가 정확히 두 개 생긴 것입니다.
이 곡선 다발 전체 — 두 상수를 아직 정하지 않은 답 — 를 일반해라고 부릅니다. 상수 하나가 위아래 미끄러짐(\(C_2\))이라면, 다른 하나는 곡선을 앞뒤로 기울이는 자유(\(C_1\))입니다. 자유의 방향이 둘이니, 곡선 다발이 한 줄이 아니라 평면처럼 2차원으로 퍼집니다.
왜 정확히 n개인가
이제 일반적인 그림이 보입니다. 미분방정식의 계수란 그 안에 들어 있는 가장 높은 미분 횟수입니다. \(n\)계 미분방정식은 "\(n\)번 미분한 양"을 담고 있으니, 원래 함수 \(y\)까지 되감으려면 적분을 \(n\)번 반복해야 합니다.
그리고 방금 본 대로, 적분 한 번마다 임의의 상수가 정확히 하나씩 붙습니다. 그러니 \(n\)번 적분하면 상수도 정확히 \(n\)개.
$$n\text{번 적분} \;\longrightarrow\; C_{1},\, C_{2},\, \dots,\, C_{n}$$임의의 상수 개수는 헷갈리는 규칙이 아니라, 되감아야 할 미분 횟수를 그대로 센 것입니다. 미분 한 번이 정보 한 겹을 지웠으니, 그 함수로 돌아가려면 지운 겹만큼 적분해 되살려야 하고, 되살릴 때마다 상수 하나가 자리를 채우는 것이죠. 방정식의 계수 \(n\)이 곧 "잃어버린 정보의 겹 수"이고, 그게 곧 일반해의 상수 개수입니다.
그 상수들은 무엇을 담고 있나
상수가 \(n\)개라는 건 "아직 정해지지 않은 자유가 \(n\)방향"이라는 뜻이기도 합니다. 그럼 곡선 하나를 콕 집으려면 정보가 몇 개 필요할까요? 당연히 \(n\)개입니다. 상수 \(n\)개를 정하려면 조건 \(n\)개가 있어야 하니까요. 이런 추가 정보를 초기조건이라 부릅니다.
우리 예제 \(y = \dfrac{x^{4}}{12} + C_{1}\,x + C_{2}\)에서 두 상수의 정체를 보면 이 대응이 선명해집니다. \(x = 0\)을 넣어 봅시다.
- 시작 높이: \(x = 0\)에서 \(y = C_{2}\). 즉 \(C_2\)는 곡선이 출발하는 높이입니다.
- 시작 기울기: \(\dfrac{dy}{dx} = \dfrac{x^{3}}{3} + C_{1}\)이므로 \(x = 0\)에서 기울기는 \(C_{1}\). 즉 \(C_1\)은 곡선이 출발하는 기울기입니다.
그래서 "출발점의 높이"와 "출발점의 기울기" 두 가지를 알려 주면 곡선이 딱 하나로 정해집니다. 물체의 움직임을 예로 들면, 지금 어디 있는지(위치)와 얼마나 빠른지(속도)를 둘 다 알아야 앞으로의 궤적이 하나로 결정되는 것과 같습니다. 위치만 알면 어느 방향으로 튈지 모르고, 속도만 알면 어디서 출발했는지 모르니까요. 두 번 미분한 방정식이 상수 둘을 요구하는 것은, 미래를 정하려면 정보가 정확히 둘 필요하다는 물리적 사실과 맞물립니다.
한 그림으로: 적분할 때마다 늘어나는 자유
아래 인터랙티브는 \(\dfrac{d^{2}y}{dx^{2}} = x^{2}\)을 직접 적분해 보는 화면입니다.
- 적분 버튼을 누를 때마다 적분이 한 번씩 진행됩니다. 첫 번째 적분에서 \(C_1\)이, 두 번째 적분에서 \(C_2\)가 차례로 등장합니다. 위쪽 카운터에서 "적분 횟수 = 생겨난 상수 개수"가 늘 같음을 확인하세요.
- 상수가 등장하면 그 슬라이더가 켜집니다. \(C_1\)만 켜졌을 때는 곡선이 앞뒤로 기울기만 바뀌는 1차원 부채꼴이고, \(C_2\)까지 켜지면 위아래 이동이 더해져 곡선 다발이 2차원으로 퍼집니다 — 자유의 방향이 하나 늘어나는 순간입니다.
- 아래 패널의 시작 높이 \(= C_2\), 시작 기울기 \(= C_1\) 값을 보세요. 두 상수가 곧 곡선의 출발 조건이라는 것이 눈에 들어옵니다.
버튼을 두 번 눌러 상수가 하나씩 늘어나는 걸 보면, "\(n\)계면 상수 \(n\)개"라는 규칙이 왜 성립하는지가 손에 잡힙니다. 적분 한 번이 자유 한 겹을 되살리고, 그 자유가 임의의 상수 하나로 표시되는 것 — 그게 전부입니다.
핵심 정리
| 질문 | 답 |
|---|---|
| 임의의 상수는 왜 생기나 | 미분이 지운 정보를 적분으로 되살릴 때, 적분 한 번마다 상수 하나가 붙어서 |
| 왜 개수가 계수 \(n\)과 같나 | \(n\)번 미분한 방정식은 되감으려면 \(n\)번 적분해야 하고, 적분마다 상수 하나 |
| 두 상수는 무엇을 뜻하나 | 우리 예에서 \(C_2\)는 시작 높이, \(C_1\)은 시작 기울기 |
| 곡선 하나를 정하려면 | 상수 \(n\)개를 정할 조건 \(n\)개(초기조건)가 필요 |
| 일반해가 2차원으로 퍼지는 이유 | 자유의 방향이 둘(\(C_1\), \(C_2\))이라 부채꼴이 아니라 평면처럼 퍼짐 |
한 줄로 관통하면 — 미분 한 번은 정보 한 겹을 지우고 적분 한 번은 그 한 겹을 임의의 상수 하나로 되살린다. 그래서 \(n\)계 미분방정식의 일반해에는 임의의 상수가 정확히 \(n\)개 붙는다.
AI로 이런 걸 공부할 때
"상수가 몇 개냐"를 규칙으로만 외우면 금세 헷갈립니다. AI에게 물을 때는 "적분을 몇 번 되감아야 하는가" 라는 틀로 질문하면 개수가 저절로 따라 나옵니다.
유용한 질문 예시:
- "\(\dfrac{d^{2}y}{dx^{2}} = x^{2}\)을 두 번 적분해서 \(y = \dfrac{x^{4}}{12} + C_{1}x + C_{2}\)가 나오는 과정을 한 단계씩 보여 줘."
- "\(n\)계 미분방정식의 일반해에 왜 임의의 상수가 정확히 \(n\)개 붙는지, '미분이 지운 정보를 되감는다'는 관점으로 설명해 줘."
- "\(y = \dfrac{x^{4}}{12} + C_{1}x + C_{2}\)에서 초기조건 \(y(0) = 2\), \(y'(0) = 1\)을 주면 \(C_1\)과 \(C_2\)가 각각 얼마가 되는지 계산해 줘."
마치며
미분방정식을 풀 때 답 끝에 붙는 상수의 개수는, 얼핏 외워야 할 또 하나의 규칙처럼 보입니다. 하지만 그 개수는 방정식이 "몇 번 미분해 만든 것인가"를 그대로 되비추는 거울입니다. 미분 한 번이 함수에서 정보 한 겹을 지웠으니, 그 함수로 돌아가려면 지운 겹만큼 적분해 되살려야 하고, 되살릴 때마다 임의의 상수 하나가 빈자리를 채웁니다.
적분 버튼을 누를 때마다 상수가 하나씩 늘고 곡선 다발의 자유가 한 방향씩 넓어지는 그림 — 이 한 장면을 손에 쥐면, "\(n\)계면 상수 \(n\)개"는 암기 대상이 아니라 미분과 적분이 서로를 되감는 관계에서 자연히 흘러나오는 결론으로 보입니다.
함께 보면 좋은 글 — 먼저 읽으면 좋은 글: 적분엔 왜 +C가 따라붙나 · 미분방정식의 답은 왜 숫자가 아니라 함수인가 → 이어서: 적분은 왜 미분의 반대인가 · 적분인자는 어디서 튀어나오나 · 직접 그려보기: Desmos · Wolfram Alpha