열방정식의 경계 추적과 모서리 양립성

미분방정식 하나가 실험 전체는 아니다

온도 예측 함수가 막대 내부의 모든 점에서 열방정식을 만족한다고 해 봅시다. 그것만으로 우리가 요청한 실험을 푼 것일까요? 처음 온도 분포에서 출발하고, 양 끝에 지정한 조건도 지켜야 합니다. 미분 법칙은 국소 변화를 설명하고, 초기·경계 데이터는 그중 어떤 변화를 요구하는지 정합니다.

이 실습은 내부 법칙을 만족하는 후보를 해석적으로 만든 뒤 나머지 조건을 독립적으로 검사합니다. 길이 1m의 막대, 일정한 양의 확산율, 기준에서의 온도 차 K를 사용합니다. 후보의 계수와 지정 초기 함수의 계수를 별도로 조작하므로 후보를 편하게 바꾸었다고 원래 문제가 자동으로 바뀌지는 않습니다.

내부 법칙을 만족하는 함수족 만들기

다음 후보를 사용합니다. 공간 좌표는 m이고 식에는 L=1m를 명시적으로 생각합니다.

$$u(x,t)=c_0+e^{-\lambda t}\left[c_1\cos(\pi x/L)+c_2\sin(\pi x/L)\right], \qquad \lambda=\kappa(\pi/L)^2.$$

상수항의 시간 미분과 공간 2차 미분은 모두 0입니다. sin·cos 항은 시간으로 한 번 미분하면 −λ가, 공간으로 두 번 미분하면 −(π/L)²가 곱해집니다. 따라서 내부에서 u_t−κu_xx=0입니다. 몇 개의 격자점에서 잔차를 작게 만든 것이 아니라 이 함수족의 항등식입니다.

세 c 계수의 단위는 K이며 확산율은 κ=r/100m²/s입니다. 그림의 곡선은 해석식을 평가한 결과입니다. 공간 점의 개수는 그림 해상도를 정할 뿐 지배 방정식이나 시간 적분 간격을 정하지 않습니다. 내부 법칙을 만족한다고 경계 데이터까지 인증한 것은 아닙니다.

양 끝의 값 추적을 직접 계산

끝점에서 sin은 0이고 cos는 각각 1,−1입니다.

$$u(0,t)=c_0+c_1e^{-\lambda t},\qquad u(L,t)=c_0-c_1e^{-\lambda t}.$$

동차 Dirichlet 조건은 두 끝 온도 차가 모든 시각에서 0이라는 뜻입니다. 두 식을 더하면 c₀=0이고 빼면 c₁=0입니다. 유한한 시각에서 지수함수는 양수이므로 c₁이 0이 아닌데 시간이 지나 저절로 정확한 조건을 만족하게 되지는 않습니다. c₂는 자유롭습니다.

첫 안내는 c₀=0,c₁=1,c₂=0이며 초기 함수도 같은 계수를 씁니다. κ=0.02에서 1초 뒤 끝 값은 ±exp(−0.02π²)K≈±0.820869K입니다. 내부 법칙과 초기 일치는 통과하지만 끝 값 0은 실패합니다. 감쇠해서 작은 값이 된다는 것과 같은 경계 문제의 해라는 것은 다릅니다.

미분 추적과 방향의 부호

공간으로 한 번 미분하면 다음과 같습니다.

$$u_x(x,t)=\frac{\pi}{L}e^{-\lambda t} [-c_1\sin(\pi x/L)+c_2\cos(\pi x/L)].$$

왼쪽 좌표 미분은 (π/L)c₂exp(−λt), 오른쪽은 그 음수입니다. 양 끝 좌표 미분이 0인 동차 Neumann 조건은 c₂=0이면 만족하며 c₀,c₁은 남아도 됩니다. 세 번째 안내의 (1,2,0)은 비상수 온도 분포지만 양 끝 미분이 0입니다. 미분이 0이라고 온도가 0인 것은 아닙니다.

입력과 두 번째 그림은 양쪽 모두 증가하는 x 방향의 좌표 미분을 사용합니다. 바깥 법선은 왼쪽에서 감소하는 x 방향이므로 왼쪽 바깥 법선 미분은 −u_x이고 오른쪽은 +u_x입니다. 전도 열유속으로 바꾸려면 온도 기울기에 전도율과 추가 부호를 포함해야 합니다. K/m 값을 바로 W나 열 전달률로 부르지 않습니다.

지정 초기 함수는 별도 데이터

요구하는 초기 온도는 독립 계수로 정합니다.

$$h(x)=h_0+h_1\cos(\pi x/L)+h_2\sin(\pi x/L).$$

후보의 초기 함수는 c₀+c₁cos+c₂sin입니다. 이 세 기저 함수는 구간에서 선형 독립이므로 전체 초기 함수가 같으려면 대응 계수가 모두 같아야 합니다. 반올림한 몇 개의 값이 비슷한지를 판정 기준으로 사용하지 않습니다.

첫 그림의 파랑은 현재 후보, 주황은 후보의 초기 함수, 초록은 지정한 초기 함수입니다. 주황과 초록의 비교는 올바른 시작인지 묻습니다. 나중 시각의 파랑과 초록을 비교하는 것은 다른 질문입니다. 열 흐름에 의해 현재 온도가 처음과 달라지는 것은 정상입니다.

두 번째 안내는 두 계수를 모두 (0,0,2)로 두어 초기 함수와 Dirichlet 조건을 함께 만족합니다. h₂만 1로 바꾸면 후보의 경계 조건은 그대로 통과하지만 요구한 초기 함수에서 출발하지 않습니다.

시공간 모서리에서 양립한다는 뜻

시공간 모서리는 처음 시각 t=0과 막대의 끝점이 만나는 곳입니다. 해의 값과 경계 값 추적이 t=0까지 연속이라고 요구하면, 양의 시각의 끝 값 0은 초기 끝 값 0과도 맞아야 합니다. 이 초기 함수족에서는 h₀=h₁=0입니다.

Neumann 판정에서는 요구하는 공간 미분 추적이 t=0까지 연속이라는 가정을 둡니다. 그러면 초기 끝 미분도 0이어야 하므로 h₂=0입니다. 어떤 양의 연속성을 요구하는지 명시한 결론이며, 모든 해 개념이 같은 모서리 연속성을 요구한다고 주장하지 않습니다.

예를 들어 초기 cos 함수와 양 끝 값 0은 모서리까지 온도가 연속인 해와는 양립하지 않습니다. 그러나 양의 시각에는 경계 조건을 만족하고 초기 수렴은 내부나 적분 의미로만 요구하는 더 약한 해석을 고려할 수 있습니다. 약해나 mild 해의 존재는 함수 공간과 해의 정의를 먼저 정한 뒤 따로 분석해야 합니다. 화면의 모서리 실패만으로 그런 해를 전부 부정하지 않습니다.

또한 이 실습은 유한 함수족을 후보로 제한합니다. 그 안에 후보가 없다는 이유만으로 모든 열 함수에서 해가 없다고 결론 내리지 않습니다. 여기서는 어떤 계수 조건이 통과하는지를 직접 유도하고 해당 범위를 분명히 합니다.

세 가지 검사를 따로 읽기

실습은 후보의 모든 시각 경계 만족, 후보와 지정 초기 함수의 일치, 지정 초기 데이터의 모서리 양립성을 별도로 표시합니다. 경계가 맞아도 초기 함수가 틀릴 수 있고 초기 함수가 맞아도 경계가 틀릴 수 있습니다. 데이터가 양립한다고 임의의 후보가 올바른 해인 것도 아닙니다.

초기·경계 판정은 정수 계수를 사용합니다. 감쇠한 숫자에 허용 오차를 적용한 판정으로 대체하지 않습니다. 확산율이나 조회 시각을 바꾸면 현재 값과 곡선은 바뀌지만 동차 경계 조건을 만족하는 계수 부분공간 자체는 바뀌지 않습니다.

온도 적분에도 단위를 확인해야 합니다. 온도 분포를 열 에너지 차로 바꾸려면 밀도·비열·단면적 등 물성과 기하 정보가 필요합니다. 이 그림은 온도 차와 기울기를 표시하며 적분을 자동으로 에너지라고 부르지 않습니다.

물리 기반 AI의 손실과 연결

물리 기반 학습에서 내부 잔차, 초기 손실, 경계 손실을 분리하는 이유가 여기에 있습니다. 신경망 근사 오차가 없어도 잘못된 경계 함수족으로 내부 법칙을 정확히 만족할 수 있습니다. 첫 안내는 그 반례를 해석식으로 보여 줍니다.

유한한 경계 샘플만 검사했다면 모든 시각 조건과도 차이가 남습니다. 끝에서 0이 되는 인자를 곱해 값을 구조적으로 강제하는 설계도 가능하지만, 그러면 초기 함수와 내부 법칙은 여전히 확인해야 합니다. 어떤 조건을 구조로 넣고 무엇을 학습할지는 데이터와 해의 종류를 명시한 뒤 결정해야 합니다.

연습 문제와 해설

1. 문제: 양 끝 값 0을 만족하는 계수는? 해설: 끝 값 식의 합과 차로 c₀=c₁=0을 얻습니다. c₂는 남습니다.
2. 문제: 양 끝 미분 0은? 해설: 두 끝 미분이 c₂의 반대 부호 배수이므로 c₂=0이 필요충분합니다.
3. 문제: 아주 나중에 cos의 끝 값이 작아지면 경계 인증인가요? 해설: 아닙니다. 양수인 지수함수가 결함을 줄일 뿐 비영 계수를 없애지 않습니다.
4. 문제: 후보 (0,0,2), 지정 초기 (0,0,1)이면 무엇이 통과하나요? 해설: 둘 다 Dirichlet에 양립하지만 후보의 초기 함수 일치는 실패합니다.
5. 문제: 왼쪽 바깥 법선 미분은 u_x(0,t)인가요? 해설: 바깥 방향이 −x이므로 −u_x(0,t)입니다.
6. 문제: 모서리 실패는 모든 약해의 부존재인가요? 해설: 아닙니다. 요구 추적이 처음까지 연속인 해의 종류와 충돌한다는 결론입니다.

출처와 다음 학습

MIT 열방정식 강의는 초기·경계 문제와 초기 수렴의 의미를 다룹니다. 이 단원의 경계 추적과 계수 분류는 표시한 유한 함수족에서 직접 유도했습니다. 에너지 추정·추적 공간·반군 해석으로 더 넓은 초기 데이터와 해의 개념을 이어서 공부할 수 있습니다.