원 제약의 위치·접선 속도·가속도와 투영

제약 위의 위치는 첫 조건일 뿐이다

점이 원 위에 있어도 속도가 원 바깥으로 향할 수 있습니다. 속도가 접선이어도 가속도가 경로를 충분히 굽히지 못할 수 있습니다. 위치·속도·가속도는 서로 다른 수준의 국소 일관성입니다. 하나만 검사하면 그럴듯한 위치 예측 뒤에 불완전한 물리 상태가 남을 수 있습니다.

이 단원은 원점 중심의 고정 양방향 원 제약 R>0을 사용합니다. q는 m, v는 m/s, a는 m/s²이며 운동에너지 예제의 질량은 1kg입니다. 한 순간의 데이터와 기하 보정을 살펴보며 완전한 외력 법칙이나 시간 적분을 자동으로 가정하지 않습니다.

고정 위치 제약을 두 번 미분

원의 식은 다음과 같습니다.

$$g(q)=q\cdot q-R^2=0.$$

이 고정 원 위의 충분히 미분 가능한 경로는 다음을 만족합니다.

$$\frac{g'}{2}=q\cdot v=0,\qquad \frac{g''}{2}=v\cdot v+q\cdot a=0.$$

세 잔차의 단위는 각각 m², m²/s, m²/s²입니다. 모두 잔차라고 부르더라도 척도 없이 한 손실로 더하면 단위가 맞지 않습니다. 특히 속도의 크기와 위치·가속도 내적이 같은 단위여서 두 번째 식에서 더할 수 있습니다.

식은 고정 중심·반지름을 가정합니다. 움직이는 제약에는 명시적 시간 항이 더 필요합니다. 줄처럼 장력의 방향이 제한된 경우에는 이 양방향 기하 예제에 없는 부등식도 확인해야 합니다.

원운동 한 순간을 손으로 확인

R=1m, q=(1,0)m, v=(0,1)m/s로 둡니다. 위치와 접선 속도 조건은 통과합니다. 그러나 a=0이면 두 번째 미분 잔차는 1입니다. 해당 데이터는 고정 원을 유지할 법선 가속도가 부족합니다.

a=(−1,0)m/s²를 선택하면 v·v+q·a=0이 됩니다. 단위 속력 원운동에서 필요한 안쪽 법선 성분입니다. 접선 가속도가 따로 있을 수도 있으며, 국소 기하만으로 접선 힘이나 모든 미래 상태까지 정하지는 않습니다.

첫 안내는 세 조건이 맞는 경우이고 둘째는 가속도만 0으로 바꿉니다. 같은 원 위 위치와 같은 접선 속도라도 가속도 평면에서 제약을 위반한다는 차이가 드러납니다. 위치만 보기 좋은지 평가해서는 이런 문제를 놓칠 수 있습니다.

원점의 퇴화가 의미하는 것

q=0이면 어떤 v에서도 q·v=0입니다. 그렇다고 모든 속도가 원 위의 올바른 접선 속도인 것은 아닙니다. 양의 R에서 위치 자체가 g(q)=0을 만족하지 않습니다.

g의 기울기는 2q입니다. 유효한 원 위에서는 0이 아니어서 접선이 정해지지만 원점에서는 0입니다. 잘못된 위치에서 첫 미분 잔차가 사라졌다고 전체 상태를 인증하면 안 됩니다. 화면은 대수적 잔차 0과 위치·속도의 양립을 별도로 표시합니다.

원점에서 반지름 투영도 유일하지 않습니다. 모든 원 위 점이 같은 거리 R만큼 떨어져 있어 방향을 고를 근거가 없습니다. 임의의 점을 택해 결정된 해처럼 보이지 않고 위치·속도·가속도 보정을 모두 미정으로 남깁니다.

위치를 가장 가까운 원 위로 보정

q≠0일 때 Euclidean 거리에서 가장 가까운 원 위 점은 다음과 같습니다.

$$q_P=R\frac{q}{\|q\|}.$$

원 위 후보 z와 q의 제곱 거리를 펼치면 변하는 항은 −2z·q입니다. Cauchy–Schwarz에 따라 q와 같은 방향의 z에서 내적이 최대이므로 위 식을 얻습니다. q=0에서는 모든 방향이 같은 최솟값을 가집니다.

이것은 기하학적 보정 규칙이지 q에서 qP로 이동한 실제 힘의 경로가 아닙니다. 원래 점과 보정점을 그릴 수는 있지만 연결 그림을 측정된 시간 궤적으로 부르지 않습니다. 보정이 크다면 원래 예측이 의도한 영역에서 멀었을 수 있습니다.

속도의 반지름 성분 제거

보정 위치에서 속도를 접선으로 투영합니다.

$$v_P=v-q_P\frac{q_P\cdot v}{R^2}.$$

qP·qP=R²를 사용하면 qP·vP=0입니다. 제거한 성분은 반지름 방향이고 남긴 접선 성분과 직교합니다. 단위 질량에서 다음 에너지 차가 나옵니다.

$$K(v)-K(v_P)=\frac{(q_P\cdot v)^2}{2R^2}\ge0.$$

세 번째 안내의 qP=(1,0), v=(1,1)은 vP=(0,1)로 바뀝니다. 운동에너지는 1J에서 0.5J로 줄어듭니다. 접선 검사를 통과하도록 고쳤지만 에너지 보존 시간 단계인 것은 아닙니다.

여기서는 Euclidean 투영과 일정한 스칼라 질량을 사용합니다. 일반 다물체 좌표와 관성 결합에서는 질량 행렬의 계량이 필요할 수 있으므로 같은 식을 아무 좌표에나 옮기지 않습니다.

가속도의 필요한 법선 성분 보정

보정 위치·속도에 대해 원래 가속도에서 가장 가까운 Euclidean 보정은 다음과 같습니다.

$$a_P=a-q_P\frac{q_P\cdot a+\|v_P\|^2}{R^2}.$$

대입하면 qP·aP+vP·vP=0입니다. 법선 성분을 바꾸고 접선 성분은 남깁니다. 단위원에서 vP=(0,1), a=0이면 aP=(−1,0)으로 앞의 필요한 원운동 성분을 얻습니다.

그렇다고 입력한 임의의 a가 보정 위치에서 올바른 외력 법칙을 평가한 결과라는 뜻은 아닙니다. 다음 수치 적분이 유한 시간 동안 원을 계속 유지한다는 보장도 아닙니다. 위치·접선 속도·가속도는 명시한 보정 규칙 아래의 필요한 국소 조건입니다.

제약 힘의 일과 상태 투영의 에너지는 다르다

이상적인 반지름 제약 힘은 λqP 형태입니다. 접선 운동에서 순간 일률은 λqP·vP=0입니다. 이 힘의 성질이 불일치한 속도를 잘라 고치는 이산 투영까지 에너지 보존으로 만들지는 않습니다. 투영은 입력의 반지름 속도 성분을 제거하며 운동에너지를 바꿀 수 있습니다.

위치 보정은 다른 불변량도 바꿉니다. R=1, 원래 q=(2,0), v=(0,1)에서 qP=(1,0)이고 이미 접선인 속도는 그대로입니다. 단위 질량의 원점 기준 각운동량은 2에서 1kg·m²/s로 바뀝니다. 기하는 고쳤지만 각운동량을 자동으로 보존하지 않았습니다.

제약이라는 단어가 모든 관심 물리량을 임의의 보정 알고리즘 아래 보존한다는 약속은 아닙니다. 어떤 조작과 가정을 사용했는지 따로 밝혀야 합니다.

정확한 원래 검사와 수치 보정 잔차

입력은 정수 코드를 10으로 나눈 값이므로 원래 위치·속도·가속도 잔차를 분모 100의 정수 분자로 검사할 수 있습니다. 반지름 보정에는 일반적으로 제곱근이 들어갑니다. 보정 항등식은 대수적으로 증명하고 화면의 보정 좌표와 잔차는 수치 근사로 구분합니다.

원점에서는 보정과 후속 보정값이 미정입니다. 유효한 점에서 아주 작은 수치 잔차는 구현의 증거이지만 유도 대신은 아닙니다. 전체 시간 궤적을 얻으려면 일관된 초기 데이터,힘 법칙,해석적 또는 수치적 시간 진화의 검증이 추가로 필요합니다.

세 그림은 각각 위치·속도·가속도 평면입니다. 축의 단위를 섞지 않고 원래 점과 보정점,각 단계의 제약 집합을 비교합니다. 같은 국소 상태를 다른 역할의 평면에서 보는 것이며 세 개의 다른 시간 단계가 아닙니다.

학습 동역학의 보정 층과 평가

신경망의 출력 위치는 표면 가까이 보여도 미분한 속도와 가속도는 제약을 위반할 수 있습니다. 보정 층은 기하 잔차를 낮추면서 에너지나 운동량을 바꿀 수 있습니다. 보정 위치만 평가하면 이 효과가 숨겨집니다.

따라서 원래 잔차,사용한 보정,정의되는 영역,관심 불변량의 변화를 보고해야 합니다. 목적이 실제 시간 운동이라면 동역학 모형과 시간에 걸친 검증도 필요합니다. 국소 대수 일관성은 유용하지만 더 구체적인 질문에 대한 답입니다.

연습 문제와 해설

1. 문제: 단위원의 q=(1,0), v=(0,1), a=0에서 무엇이 실패하나요? 해설: 위치와 접선은 맞지만 가속도 잔차가 1입니다.
2. 문제: 필요한 법선 가속도는? 해설: a=(−1,0)입니다. 접선 성분과 별도로 안쪽 성분이 필요합니다.
3. 문제: 원점의 q·v=0이 원 위 상태를 뜻하나요? 해설: 아닙니다. 양의 반지름에서 위치 제약이 실패합니다.
4. 문제: q=(1,0)에서 v=(1,1)을 투영하면? 해설: (0,1)이며 단위 질량의 운동에너지 0.5J를 제거합니다.
5. 문제: 원점의 반지름 투영이 미정인 이유는? 해설: 모든 원 위 점이 같은 거리에 있어 유일한 방향이 없습니다.
6. 문제: 이상 법선 힘의 순간 일이 0이면 상태 투영도 에너지 보존인가요? 해설: 다른 조작입니다. 속도 투영의 에너지 감소 예제가 반례입니다.

출처와 다음 학습

MIT Underactuated Robotics의 다물체 동역학은 양방향 위치 제약과 속도·가속도 미분의 배경을 설명합니다. 원의 식과 보정 에너지 예제는 직접 유도하고 독립 고정밀·유리수 계산으로 검산했습니다. 국소 보정과 실제 제약 동역학·시간 적분을 이어서 연구할 때도 이 구분을 유지해야 합니다.