힘·질량의 식별과 보정된 개입

운동을 예측하는 것과 원인을 식별하는 것은 다르다

카메라로 수레를 관측했더니 가속도가 정확히 2m/s²였다고 합시다. 초기 위치와 속도를 알면 이상적인 등가속도 궤적 전체를 예측할 수 있습니다. 그러면 질량이 1kg이고 힘이 2N이라고도 알 수 있을까요? 질량 2kg에 힘 4N을 가해도 같은 가속도가 나옵니다. 같은 운동을 더 정확히 관측하는 것만으로 두 양이 자동으로 분리되지는 않습니다.

이 단원은 상태·궤적의 복원과 물리 계수의 식별을 구분합니다. 1차원에서 일정한 양의 미지 질량 m과 일정한 미지 배경 힘 F를 사용합니다. 정확한 식별을 말할 때는 뉴턴 역학의 잡음 없는 모형을 가정합니다. 그 뒤 보정된 힘을 추가하는 두 번째 실험이 어떤 정보를 더하는지 살펴봅니다.

모형과 관측 대상을 명시한다

운동 법칙과 알려진 초기 조건의 해는 다음과 같습니다.

$$a_0=\frac{F}{m},\qquad x(t)=x_0+v_0t+\frac12a_0t^2.$$

가속도의 단위는 m/s², 힘은 N, 질량은 kg입니다. 궤적 전체로부터 a0를 정확하게 복원하더라도, 얻은 것은 F와 m 각각이 아니라 그 비율입니다.

초기 위치와 속도까지 미지라면 먼저 관측 설계가 그 값들을 복원하기에 충분한지 확인해야 합니다. 여기서는 초기 조건을 알거나 궤적의 계수를 식별할 충분한 관측이 있다고 가정합니다. 이렇게 더 강한 관측 조건을 부여해도 힘과 질량의 비율 모호성은 남습니다.

같은 관측을 만드는 전체 연속 계열을 구한다

양의 무차원 수 λ를 임의로 골라 매개변수를 함께 바꿉니다.

$$m_\lambda=\lambda m,\qquad F_\lambda=\lambda F.$$

비율 F/m은 같고, 초기 조건이 같으면 모든 시각의 궤적도 같습니다. 이 실험에서는 물리적으로 다른 계수들이 관측으로 구분되지 않습니다.

관측한 가속도가 a0일 때 가능한 매개변수 전체는 다음과 같습니다.

$$\{(m,F):m>0,\ F=a_0m\}.$$

질량·힘 평면에서 양의 질량 쪽으로 뻗는 반직선입니다. 화면의 정수 입력으로 선택할 수 있는 몇 개 후보만 뜻하지 않습니다. 예를 들어 a0=2이면 (1kg,2N), (2kg,4N), (3kg,6N)이 모두 맞고 그 사이의 연속적인 값들도 맞습니다. 유한한 입력 격자의 후보 수를 전체 해의 개수로 해석하지 않아야 합니다.

같은 실험의 관측을 늘려도 남는 정보가 있다

위치 표본을 더 얻으면 궤적을 더 정확하게 추정하거나 일정한 가속도라는 가정의 실패를 찾는 데 도움이 됩니다. 하지만 궤적을 이미 정확하게 알 때는 같은 실험의 추가 관측도 여전히 비율 F/m에만 의존합니다.

최적화 프로그램은 초기값, 정규화 항이나 수치적 선택 때문에 한 계수 쌍을 반환할 수 있습니다. 그 값 하나가 출력되었다는 사실은 데이터가 계수를 유일하게 정했다는 증거가 아닙니다. 사전 가정으로 대표값을 선택했다면 실험이 준 정보와 사전 가정이 준 정보를 구분해야 합니다.

학습한 동역학이 궤적을 정확히 예측해도 해석 가능한 질량·힘 계수까지 유일하게 알아낸 것은 아닐 수 있습니다. 예측 성공과 원인 계수의 식별은 다른 평가 항목입니다.

보정된 힘을 더하는 독립 실험

질량과 배경 힘은 유지하면서 알려진 일정한 힘 ΔF를 추가합니다. 두 번째 실험의 가속도는 다음과 같습니다.

$$a_1=\frac{F+\Delta F}{m}.$$

첫 번째 식을 빼면 다음을 얻습니다.

$$a_1-a_0=\frac{\Delta F}{m}.$$

ΔF가 0이 아니고 관측이 이 모형을 따른다면 가속도 차이도 0이 아닙니다. 따라서 다음처럼 계수를 복원합니다.

$$m=\frac{\Delta F}{a_1-a_0},\qquad F=m a_0.$$

새 실험은 독립적인 물리적 크기 기준을 제공합니다. 각 실험에서 가속도를 올바르게 복원했다면 초기 조건이 반드시 같을 필요는 없지만, 질량과 배경 힘이 유지된다는 조건은 필요합니다. 배경 힘 자체의 변화를 보정 입력의 효과라고 섞어 해석하면 안 됩니다.

손으로 끝까지 계산하는 예

실제 계수가 m=2kg, F=4N이라고 합시다. 첫 실험은 a0=2m/s²를 주며 F=2m이라는 전체 반직선이 남습니다.

이제 ΔF=2N을 추가하면 a1=3m/s²입니다. 가속도 차이는 1m/s²이므로 m=2/(3−2)=2kg이고 F=2×2=4N입니다.

질량·힘 평면에서 첫 실험은 F=a0m, 둘째는 F=a1m−ΔF라는 제약을 줍니다. 교점이 복원한 계수입니다. 가로축은 kg, 세로축은 N이며 이 직선은 수레가 이동한 시간 경로가 아닙니다. 관측 제약과 물리 궤적의 그림을 혼동하지 않아야 합니다.

반복, 모순, 물리적으로 허용되지 않는 해

ΔF=0이고 가속도가 같으면 두 번째 실험은 같은 식을 반복합니다. 계수의 연속 계열이 그대로 남습니다. ΔF=0인데 정확한 가속도가 다르면 양의 고정 질량과 같은 배경 힘이라는 모형에 맞지 않습니다.

ΔF가 0이 아닌데 두 가속도가 같아도 유한한 질량은 존재하지 않습니다. 나눗셈 공식은 미정입니다. 무한대라는 숫자를 성공적으로 식별한 질량처럼 제시하지 않습니다.

양의 질량에서는 ΔF와 가속도 차이의 부호가 같아야 합니다. 부호가 반대이면 대수적으로 음의 질량이 계산되지만 선언한 물리 영역에 속하지 않습니다. 나눗셈 결과, 관측 식의 대수적 일관성, 물리적 허용 조건을 나누어 표시해야 합니다.

질량을 곱한 선형 관측 식을 풀면 질량 0인 형식적 해가 나타날 수도 있습니다. 원래 모형 F/m에서는 질량 0이 허용되지 않습니다. 단지 선형 방정식의 잔차가 0이라는 이유로 그 해를 물리적 질량으로 인증하면 안 됩니다.

모순은 측정 오류, 입력 보정 문제나 일정한 환경 가정의 실패를 점검할 정보입니다. 양의 답이 나오게 가정을 몰래 바꾸어 해결할 문제는 아닙니다.

배경 힘이 0이어도 새로운 실험은 유익할 수 있다

F=0이면 모든 양의 질량에서 a0=0입니다. 완벽하게 관측한 정지 또는 등속 궤적만으로 질량을 식별할 수 없습니다.

하지만 보정된 ΔF를 더하면 a1=ΔF/m이 되어 가속도 반응으로 질량을 복원할 수 있습니다. 원래의 0 신호와 독립적인 자극의 정보는 다릅니다. 정보가 없는 실험을 더 정밀하게 반복하는 것과 후보 모형들을 구분하는 입력을 가하는 것은 항상 동등하지 않습니다.

명령값과 물리적 힘의 보정을 구분한다

복원식은 ΔF가 N 단위로 알려져 있다고 가정합니다. 모터에 보낸 명령값을 아는 것만으로 실제 추가 힘을 안다고 할 수는 없습니다. 명령을 힘으로 바꾸는 이득이 미지라면 그 이득도 식별할 계수가 됩니다.

m, F와 ΔF를 같은 양의 비율로 바꾸면 두 가속도 모두 같습니다. 개입의 힘 크기 자체가 미지인 상황에서 두 번째 실험이 절대적인 질량·힘 기준을 만들어 주는 것은 아닙니다.

무엇을 보정했고, 모형 입력과 어떻게 연결되며, 어떤 계수를 두 실험에서 유지했다고 가정했는지 기록해야 합니다. 이는 역문제를 해석하는 핵심 조건입니다.

정확한 유일성과 작은 잡음에 대한 민감도

잡음 없는 모형에서 가속도 차이가 0이 아니면 해가 유일합니다. 그러나 작은 관측 오차에 안정적이라는 뜻은 아닙니다.

차이를 d=a1−a0로 쓰면 m=ΔF/d이고, d 변화에 대한 질량의 미분은 −ΔF/d²입니다. 가속도 차이가 측정 불확실성에 비해 작으면 유한한 숫자를 계산했더라도 추정은 불안정할 수 있습니다.

이 미분에는 단위가 있으며 선택한 불확실성 모형도 중요합니다. 차이의 불확실성 구간이 0을 포함한다면 특히 조심해야 합니다. 부동소수점 분모가 0으로 반올림되지 않았다는 이유만으로 매우 큰 질량을 정밀하게 알았다고 보고하지 않습니다.

물리 기반 AI 모델에서 확인할 항목

궤적의 비율을 정확하게 학습해도 별도의 질량·힘 예측은 학습 관행이나 사전 가정에 크게 의존할 수 있습니다. 숫자에 물리량 이름을 붙였다고 관측으로 그 숫자를 식별한 것은 아닙니다.

평가에서는 모든 관측 실험을 그대로 유지시키는 매개변수 변환이 무엇인지 먼저 구합니다. 어떤 보정 입력이나 독립 측정이 그 동치 계열을 제거하는지도 확인합니다. 구조 가정, 입력 보정, 정확한 유일성, 물리적 허용과 통계적 불확실성을 따로 보고하면 결과를 더 정확하게 해석할 수 있습니다.

연습문제와 해설

1. 문제: 정확한 궤적에서 a0=2m/s²이면 m=1kg, F=2N이 유일한가요? 해설: 아닙니다. 모든 m>0과 F=2m이 같은 초기 조건에서 같은 궤적을 만듭니다.
2. 문제: a0=2, a1=3m/s², ΔF=2N이면 계수는? 해설: m=2/(3−2)=2kg, F=m a0=4N입니다.
3. 문제: ΔF=0이고 두 가속도가 같으면? 해설: 같은 식을 반복했으므로 연속 계열이 남습니다.
4. 문제: ΔF=2N인데 두 가속도가 정확히 같으면? 해설: 모형에 맞는 유한한 질량이 없습니다. 무한대를 식별한 것이 아닙니다.
5. 문제: a0=0이면 어떤 실험으로도 질량을 알 수 없나요? 해설: 아닙니다. 알려진 0이 아닌 추가 힘과 가속도 반응은 질량을 식별할 수 있습니다.
6. 문제: 모터 명령만 알고 힘 이득은 미지인데 절대 질량이 정해지나요? 해설: 반드시 그렇지는 않습니다. 공통 힘 크기의 모호성이 남을 수 있습니다.

참고 자료

MIT Underactuated Robotics의 system identification 장은 상태 추정과 구조를 아는 모형의 계수 추정을 구분하는 배경을 제공합니다. 힘·질량의 전체 연속 계열, 개입 복원식, 모순·허용 조건과 민감도는 위 수레 모형에서 직접 유도했습니다.