편미분방정식(PDE)

편미분방정식, 즉 PDE는 두 개 이상의 변수에 대한 미지의 함수와 그 편도함수를 포함하는 방정식입니다. "PDE가 무엇인가요?"라고 묻는다면 짧게는 이렇게 답할 수 있습니다. PDE는 보통 공간과 시간처럼 둘 이상의 입력이 중요할 때, 어떤 양이 어떻게 변하는지를 모델링합니다.

이 점이 상미분방정식(ODE)과의 가장 큰 차이입니다. ODE는 하나의 독립변수를 사용합니다. 반면 PDE는 관심 있는 양이 위치와 시간처럼 적어도 두 개의 독립변수에 의존할 때 나타납니다.

편미분방정식이란 무엇인가

만약 $u = u(x,t)$라면, $u$는 위치 $x$와 시간 $t$에 모두 의존합니다. 다음과 같은 도함수는

$$u_t = \frac{\partial u}{\partial t} \qquad \text{and} \qquad u_{xx} = \frac{\partial^2 u}{\partial x^2}$$

$u$가 시간에 따라 어떻게 변하는지, 그리고 공간에서 어떻게 휘어지는지를 알려 줍니다.

예를 들어

$$u_t = k u_{xx}$$

와 같은 식은 PDE입니다. 서로 다른 변수에 대한 같은 함수의 편도함수들을 연결하고 있기 때문입니다. 여기서 $k$는 상수입니다. 열전달 모델에서는 보통 확산계수를 뜻합니다.

한 줄로 보는 PDE와 ODE의 차이

미지의 양이 하나의 독립변수에만 의존하면 보통 ODE가 됩니다. 여러 독립변수에 의존하면 보통 PDE가 됩니다.

예를 들어 시간에 따라서만 변하는 개체수는 ODE로 모델링할 수 있습니다. 반면 위치와 시간에 따라 함께 변하는 온도는 PDE의 전형적인 상황입니다.

PDE에 대한 직관: 왜 등장할까

PDE는 하나의 숫자만 변하는 것이 아니라, 공간과 시간 전체에 걸친 장(field)이 변할 때 등장합니다.

• 금속 막대의 온도는 어디에 있는지와 몇 시점인지를 함께 따집니다.
• 진동하는 줄은 줄 위의 위치와 시간에 의존합니다.
• 압력, 농도, 전위도 공간 전체에 퍼진 함수로 모델링되는 경우가 많습니다.

그래서 PDE는 보통 분포된 양이 어떻게 시간에 따라 변하는지를 나타내는 법칙입니다.

PDE 예제: 열방정식의 해 확인하기

다음의 1차원 열방정식을 생각해 봅시다.

$$u_t = k u_{xx}$$

구간 $0 \le x \le 1$에서, 누군가 다음 함수를 해라고 제안했다고 합시다.

$$u(x,t) = e^{-k \pi^2 t}\sin(\pi x).$$

PDE 표기를 가장 구체적으로 이해하는 빠른 방법은 이렇게 후보 해를 직접 확인해 보는 것입니다.

1단계: 시간에 대해 미분하기

$x$를 고정하면,

$$u_t = -k \pi^2 e^{-k \pi^2 t}\sin(\pi x).$$

2단계: 공간에 대해 두 번 미분하기

1차 도함수:

$$u_x = \pi e^{-k \pi^2 t}\cos(\pi x).$$

2차 도함수:

$$u_{xx} = -\pi^2 e^{-k \pi^2 t}\sin(\pi x).$$

이제 여기에 $k$를 곱하면,

$$k u_{xx} = -k \pi^2 e^{-k \pi^2 t}\sin(\pi x).$$

이는 $u_t$와 일치하므로,

$$u_t = k u_{xx}.$$

따라서 이 함수는 실제로 열방정식의 해입니다.

경계조건이 $u(0,t)=0$과 $u(1,t)=0$이라면, $\sin(0)=0$이고 $\sin(\pi)=0$이므로 이 조건도 만족합니다. 이 점이 중요합니다. PDE 문제에서는 방정식만 푸는 것으로 끝나지 않는 경우가 많습니다.

열방정식의 의미

열방정식은 시간에 따른 변화가 공간적 곡률과 연결되어 있음을 말합니다.

어떤 점에서 $u_{xx}$가 크고 음수이면, 그 점에서 $u_t$도 음수가 되어 온도가 내려갑니다. 쉽게 말해, 뾰족한 봉우리는 시간이 지나면서 점점 매끄러워집니다. 이런 평활화 현상 때문에 열방정식은 PDE의 대표적인 첫 예제로 자주 등장합니다.

PDE에서 자주 하는 실수

PDE와 ODE를 혼동하기

미지의 함수가 둘 이상의 독립변수에 의존하면 편도함수를 써야 합니다. 이것이 구조적으로 가장 핵심적인 차이입니다.

경계조건이나 초기조건을 무시하기

PDE 문제에는 보통 초기조건, 경계조건 또는 둘 다 함께 주어집니다. 어떤 함수가 PDE 자체는 만족하더라도, 그 조건들을 만족하지 못하면 전체 문제의 해가 아닐 수 있습니다.

표기를 너무 빨리 읽기

$u_t$, $u_x$, $u_{xx}$는 서로 다른 질문에 답합니다. 마지막 것은 공간에 대한 2차 도함수이지, 기호들의 곱이 아닙니다.

모든 PDE가 열방정식처럼 행동한다고 가정하기

서로 다른 PDE는 서로 다른 현상을 모델링합니다. 열방정식은 매끄럽게 만들고, 파동방정식은 교란을 전파하며, 라플라스 방정식은 평형 상태를 설명합니다. PDE의 종류에 따라 직관도 달라집니다.

편미분방정식은 어디에 쓰일까

PDE는 많은 실제 시스템이 공간에 분포되어 있기 때문에 물리학, 공학, 응용수학에서 표준적으로 사용됩니다.

• 열전달은 확산방정식을 사용합니다.
• 진동과 소리는 파동방정식을 사용합니다.
• 정전기와 정상상태 유동은 라플라스 방정식이나 푸아송 방정식을 자주 사용합니다.
• 유체 모델과 양자역학 모델도 PDE에 크게 의존합니다.

기본 개념을 이해하는 데 전체 이론이 꼭 필요한 것은 아닙니다. 핵심 패턴만 알아도 충분합니다. PDE는 하나의 함수가 여러 변수에 걸쳐 어떻게 변하는지를 연결하는 방정식입니다.

PDE 문제를 읽는 방법

처음 PDE를 보면 다음을 물어보세요.

1. 미지의 함수는 무엇인가?
2. 그 함수는 어떤 변수들에 의존하는가?
3. 어떤 도함수들이 나타나는가?
4. 어떤 초기조건이나 경계조건이 함께 주어졌는가?

이 체크리스트는 실제로 풀이를 시작하기 전에 많은 혼란을 막아 줍니다.

직접 해 보기

같은 열방정식에서 후보 해를 다음과 같이 바꿔 보세요.

$$u(x,t) = e^{-4k \pi^2 t}\sin(2\pi x).$$

직접 미분해서 이것도 $u_t = k u_{xx}$를 만족하는지 확인해 보세요. 한 단계 더 나아가고 싶다면, 자신만의 사인 모드를 시도해 보거나 GPAI Solver로 비슷한 경계값 문제를 풀어 보세요.