상태·초기값·경계값의 역할

방정식만으로 모형이 끝나지는 않는다

방정식은 상태와 도함수의 관계를 나타냅니다. 초기값·경계값이 없으면 대개 하나의 궤적이나 공간장을 고르지 못합니다. 독립 변수·상태 성분·미분 차수·정의역을 먼저 적으세요. 비슷한 식이라도 시간의 초기값 문제와 공간의 경계값 문제는 서로 다른 질문입니다.

실험은 두 문제를 나란히 보여줍니다. 그림을 바꾸면 가로축도 초기값 문제의 시간 t 또는 경계값 문제의 위치 x로 바뀝니다. 파랑은 해, 주황은 해당 변수에 대한 도함수입니다. 두 곡선의 물리 단위도 같다고 가정하면 안 됩니다.

일차 시간 방정식의 초기값

감쇠율 lambda가 0 이상일 때 다음을 풉니다.

방정식만 보면 모든 상수 y0가 가능하고 초기값이 하나를 선택합니다. lambda=0이면 상태가 일정하며, 음의 초기값도 양의 감쇠율에서는 부호를 유지하며 0으로 접근합니다. 정해 놓은 애니메이션이 아니라 식에서 나오는 성질입니다.

이차 시간 방정식은 보통 위치·속도처럼 더 큰 상태가 필요합니다. 일차 시스템으로 바꾸면 어떤 초기 데이터가 필요한지 분명해집니다. 제약이 있으면 독립 성분 수는 추가로 확인해야 합니다.

공간 이차 방정식의 양 끝 조건

단위 구간의 상수 source f에 대해 다음과 같습니다.

두 번 적분하면 상수 두 개가 생기고 양 끝값이 이를 결정합니다. 해는 경계를 연결하는 직선과 양 끝이 0인 포물선의 합입니다. f=0이어도 경계가 0이 아니면 해는 사라지지 않습니다. Affine 함수를 더하면 이차 도함수는 같아도 경계가 달라집니다.

방정식과 데이터를 따로 검산하기

수치는 초기 잔차·좌우 경계 잔차·공간 방정식 잔차를 각각 보여줍니다. 방정식만 검사하면 잘못된 경계를 놓치고, 끝점만 맞추면 source 식을 어긴 곡선을 통과시킬 수 있습니다. 물리 기반 학습의 여러 loss 항도 서로 다른 요구를 검사한다는 점을 연결해 보세요.

직접 풀기: 빠진 정보 찾기

f=2, a=b=0이면 u=x(1-x), 중앙값은 1/4, 이차 도함수는 -2입니다. 여기에 3x+1을 더하면 방정식은 같지만 경계가 틀립니다. 시간 문제는 lambda=y0=1에서 t=1/2의 값이 exp(-1/2)입니다. 이 일차 궤적에 끝값 하나를 추가로 임의 지정하면 새로운 자유 상수가 생기는 대신 조건이 모순될 수 있는 이유를 설명하세요.

더 읽기: MIT 미분방정식 과정.