초기 데이터와 시간 미분의 차수

한 장의 사진으로 미래를 정할 수 있을까

휘어진 줄을 사진으로 찍었다고 생각해 봅시다. 사진에는 줄의 모양이 보이지만 각 부분이 위로 움직이는지, 아래로 움직이는지는 나타나지 않습니다. 같은 모양에서 출발해도 서로 다른 속도를 가진 줄은 이후에 다르게 움직입니다. 따라서 줄의 현재 상태를 정하려면 모양뿐 아니라 속도도 필요합니다.

열전도에서는 상황이 다릅니다. 일정한 확산율과 열방정식을 가정하면 시작 온도 분포가 그 순간의 변화율도 제한합니다. 온도와 시간 미분을 언제나 독립적으로 지정할 수 있는 것은 아닙니다. 필요한 초기 데이터의 개수는 단순히 그림의 복잡도가 아니라 방정식과 상태의 정의에 달려 있습니다.

이 실습은 길이 1m의 구간에서 하나의 sin 모드만 비교합니다. 지정한 데이터 A,V와 후보의 계수 a,b를 별도 입력으로 둡니다. 후보를 바꾸었다고 정답으로 요구한 초기 조건까지 몰래 바꾸지 않습니다. 일반 초기 함수 전체를 계산하는 수치 해석기는 아니지만, 초기 데이터가 하는 역할을 손으로 확인하기에 적합합니다.

길이·시간·진폭의 단위를 먼저 확인

공간 모양은 sin(πx/L)이고 L=1m입니다. 삼각함수의 입력 x/L은 차원 1이어야 합니다. 길이를 숫자 1로 쓴다고 물리 단위가 사라지는 것은 아닙니다.

열 모형에서 u와 진폭은 기준 온도에서의 차이이며 단위는 K입니다. 음의 값은 기준보다 낮은 온도 차이지 음의 절대온도가 아닙니다. 확산율 κ는 m²/s입니다. 파동 모형에서는 u가 줄의 가로 방향 변위이고 단위는 m, 전파 속도 c의 단위는 m/s입니다. 같은 숫자라도 두 모형에서 같은 물리량을 뜻하지 않습니다.

속도 코드 r은 열에서 κ=r/100m²/s, 파동에서 c=r/2m/s로 해석합니다. 서로 다른 단위의 두 물리 계수를 하나로 동일시하는 입력이 아닙니다. 조회 시각은 정수 입력을 10으로 나눈 초 단위입니다.

열방정식은 한 모드에서 시간 1차 식이 된다

다음 형태를 열방정식에 대입합니다.

$$u(x,t)=q(t)\sin(\pi x/L),\qquad u_t=\kappa u_{xx}.$$

sin을 공간으로 두 번 미분하면 −(π/L)²가 곱해집니다. 따라서 진폭은 다음 식을 만족합니다.

$$q'(t)=-\lambda q(t),\qquad \lambda=\kappa(\pi/L)^2, \qquad q(t)=a e^{-\lambda t}.$$

초기 진폭 q(0)=A를 지정하면 a=A로 정해집니다. 그때 초기 시간 미분은 q′(0)=−λA입니다. 이 모드에서 초기 모양과 법칙을 정한 다음 변화율을 또 마음대로 고를 수는 없습니다.

예를 들어 A=2K, κ=0.04m²/s이면 q′(0)=−0.08π²K/s≈−0.789568K/s입니다. 여기에 초기 변화율이 0이라는 조건을 추가하면 이 모드와 이 열 법칙에는 양립하지 않습니다. 실습의 두 속도 입력 V,b는 열을 선택했을 때 비활성 의미라는 표시가 나옵니다. 값을 바꾸어도 곡선은 바뀌지 않고, 초기 변화율은 진폭과 법칙에서 계산됩니다.

파동방정식은 시간 2차 식이 된다

같은 공간 모양을 파동방정식에 넣으면 다음과 같습니다.

$$u_{tt}=c^2u_{xx},\qquad q''+\omega^2q=0, \qquad \omega=c\pi/L.$$

이 한 모드의 전체 진폭 해는 다음 두 계수로 나타납니다.

$$q(t)=a\cos(\omega t)+\frac{b}{\omega}\sin(\omega t).$$

t=0을 대입하면 q(0)=a입니다. 먼저 미분한 뒤 t=0을 대입하면 q′(0)=b입니다. a는 m, b는 m/s이며 b/ω의 단위는 m이므로 두 항을 더할 수 있습니다. 초기 진폭만 지정하면 a는 정해지지만 b는 여전히 임의입니다. 초기 진폭 A와 초기 속도 V를 모두 지정해야 이 모드의 두 계수가 정해집니다.

같은 각도에 놓인 진자를 그냥 놓는 것과 위로 밀어 놓는 것이 다르다는 직관과 연결할 수 있습니다. 줄에서는 속도도 공간에 따른 함수입니다. 여기서는 그 함수를 b sin(πx/L)이라는 한 모드로 제한했기 때문에 스칼라 b 하나로 표현할 수 있습니다.

첫 안내 실험을 손으로 계산

파동, c=1m/s, 지정 데이터 A=1m,V=0을 선택합니다. 후보는 a=1m,b=2m/s입니다. 두 초기 모양은 같습니다. 그러나 t=0.5s에서 ωt=π/2이므로 cos 항은 0, sin 항은 1입니다. 기준 진폭은 0이지만 후보 진폭은 2/πm≈0.63662m입니다.

이 차이는 적분기의 오차나 불안정성이 아닙니다. 두 곡선 모두 같은 내부 방정식과 끝 값 0을 만족하는 해석식입니다. 다만 서로 다른 초기 속도를 가진 문제를 풀고 있습니다. 두 번째 안내에서 지정 속도 V도 2로 바꾸면 후보와 기준의 두 계수가 같아져 전체 표시 구간의 곡선이 겹칩니다.

세 번째 안내는 열로 바꿉니다. 속도 입력 둘은 서로 달라도 곡선이 같습니다. 법칙에서 사용하지 않는 입력이기 때문입니다. 반면 초기 진폭이나 확산율을 바꾸면 초기 시간 미분과 이후 변화가 바뀝니다.

한 시각의 값과 전체 초기 조건을 구분

속도가 다른 두 파동도 t=0의 변위는 같습니다. 다른 시각에서도 sin 항이 0이면 우연히 변위가 같아질 수 있습니다. 따라서 특정 조회 시각에서 값이 같다는 것은 초기 데이터 전체나 전체 궤적이 같다는 증명이 아닙니다.

실습은 정수 계수의 일치로 필요한 초기 조건을 검사합니다. 반올림된 곡선 좌표가 겹치는지를 인증 기준으로 삼지 않습니다. 삼각함수·지수함수·소수 표시와 그림 좌표는 부동소수점 근사입니다. 공간 그림의 양 끝 0은 이 함수족에서 명시한 경계 조건입니다.

첫 그림의 가로축은 시간이며 진폭의 변화를 보여 줍니다. 둘째 그림의 가로축은 위치이고 선택한 시각의 공간 모양을 보여 줍니다. 두 축을 바꾸어 읽으면 시간에 따라 변하는 상태와 공간 분포를 혼동하게 됩니다.

유일성을 주장하는 범위를 명시

표시한 열 함수족에서는 초기 진폭 하나가 곡선을 정하고, 표시한 파동 함수족에서는 초기 진폭과 속도가 곡선을 정합니다. 이 결론은 주어진 유한 모드에서 계수를 직접 결정한 결과입니다. 모든 PDE, 모든 초기 함수와 경계 조건, 모든 정칙성에서의 유일성을 한꺼번에 증명하지는 않습니다.

일반 파동장에서는 초기 변위 함수와 초기 속도 함수라는 두 함수가 필요합니다. 또한 요청한 해의 종류에서 초기 함수와 경계 조건이 양립해야 합니다. 이 단원은 sin 모드로 끝 값을 자동으로 0에 맞췄습니다. 다음 단원에서는 그 편의를 없애고 경계 추적을 직접 검사합니다.

더 일반적인 유일성 논증은 에너지 방법으로 이어집니다. 충분히 매끄러운 두 해의 차이를 잡고 같은 초기 변위·속도에서 출발하면 초기 에너지가 0임을 보인 뒤, 적절한 경계 조건 아래 에너지 항등식으로 그 상태가 유지됨을 증명할 수 있습니다. 이때 영역·정칙성·경계 가정이 필요합니다. 몇 개의 점이 겹치는 그림은 그 증명 대신이 아닙니다.

AI의 상태 표현과 연결

변위 사진 한 장만으로 파동의 미래를 하나의 값으로 예측하게 하면 입력 상태에 속도가 빠질 수 있습니다. 같은 사진에서 서로 다른 미래가 나오기 때문에 데이터 양만 늘려도 문제의 비결정성이 사라지지 않습니다. 속도를 제공하거나 여러 시각을 관측하거나 숨은 상태의 확률 분포를 모델링하면 다른 예측 문제가 됩니다.

반대로 열 모형에서는 온도와 무관한 시간 미분을 따로 예측하게 만들면 법칙과 충돌할 수 있습니다. 물리 기반 학습에서는 독립 데이터와 법칙에서 유도되는 양을 구분해야 합니다. 내부 미분 잔차뿐 아니라 처음 상태와 끝 조건도 요청한 문제에 맞는지 확인해야 합니다.

연습 문제와 해설

1. 문제: 파동 모드에서 q(0),q′(0)은? 해설: t=0을 대입하면 a이고, 먼저 미분하고 대입하면 b입니다. 두 계수는 독립적인 초기 정보를 담습니다.
2. 문제: c=1,a=1,b=2에서 q(0.5)는? 해설: cos(π/2)=0,sin(π/2)=1이므로 2/πm입니다.
3. 문제: A=2,κ=0.04,L=1인 열 모드의 초기 변화율은? 해설: −κπ²A=−0.08π²K/s입니다.
4. 문제: 시작 변위가 같으면 같은 파동 문제인가요? 해설: 초기 속도가 다를 수 있으므로 아닙니다. 첫 안내가 반례입니다.
5. 문제: 파동 해에서 왜 b를 ω로 나누나요? 해설: 미분 후 q′(0)=b가 되고, 단위도 b/ω가 m이 되어 변위 항끼리 더할 수 있습니다.
6. 문제: 두 계수의 일치로 모든 초기 함수에 대한 유일성을 증명했나요? 해설: 이 한 모드의 함수족에서만 곡선이 정해졌습니다. 일반 PDE의 해 공간과 유일성은 별도 논증이 필요합니다.

출처와 다음 학습

MIT 열방정식 강의는 열 모드와 초기·경계 조건을, MIT 파동방정식 강의는 두 초기 함수의 역할을 다룹니다. 이 단원의 유한 모드 제어와 수치 예제는 위 식에서 직접 유도했습니다.