7.63 자유 경계 조건과 횡단성 조건

1. 자유 종단점 문제의 정식화

1.1 고정 경계 조건의 제한

앞서 다룬 변분 문제에서는 양단 고정 경계 조건 $y(t_0) = y_0$ , $y(t_f) = y_f$ 를 가정하였다. 그러나 많은 실제 문제에서는 종단점이 고정되지 않는다. 로봇 궤적 최적화에서 최종 위치가 특정 곡면 위의 임의 점이 되거나, 최종 시각이 자유로운 경우가 빈번하다.

1.2 자유 경계 유형

경계 조건의 유형에 따라 변분 문제는 다음과 같이 분류된다.

초기점	종단점	유형
고정	고정	양단 고정 문제
고정	자유	자유 종단점 문제
고정	곡선 위	횡단성 문제
고정	고정, 시각 자유	자유 종단 시각 문제

2. 자유 종단점의 자연 경계 조건

2.1 유도

종단점 $y(t_f)$ 가 자유인 경우, 변분 $\eta(t)$ 는 $\eta(t_0) = 0$ 을 만족하나 $\eta(t_f)$ 는 영이 아닐 수 있다. 1차 변분의 유도 과정에서 부분 적분의 경계 항이 소멸하지 않는다.

$\delta J = \int_{t_0}^{t_f}\left[\frac{\partial L}{\partial y} - \frac{d}{dt}\frac{\partial L}{\partial \dot{y}}\right]\eta\,dt + \left.\frac{\partial L}{\partial \dot{y}}\eta\right\vert_{t = t_f}$

$\delta J = 0$ 이 모든 허용 $\eta$ 에 대하여 성립하려면, 적분 항으로부터 오일러-라그랑주 방정식이 성립하여야 하고, 경계 항으로부터 다음의 추가 조건이 필요하다.

$\left.\frac{\partial L}{\partial \dot{y}}\right\vert_{t = t_f} = 0$

이를 자연 경계 조건(natural boundary condition)이라 한다.

2.2 물리적 의미

자연 경계 조건은 종단점에서 시스템에 작용하는 일반화 힘이 영임을 의미한다. 역학적으로 이는 종단점이 자유롭게 이동할 수 있는 상태에 해당한다. 예를 들어, 자유 단의 보(beam)에서 종단 모멘트가 영이 되는 조건이 자연 경계 조건이다.

3. 횡단성 조건

3.1 종단점이 곡선 위에 있는 경우

종단점이 주어진 곡선 $\psi(t, y) = 0$ 위의 임의 점인 경우, 종단점의 위치 $(t_f, y_f)$ 는 이 곡선 위에서 자유롭다. 이 경우 변분에서 종단 시각과 종단 함수값이 모두 변화할 수 있다.

종단점에서의 변분은 다음과 같이 표현된다.

$\delta y_f = \delta y(t_f) + \dot{y}(t_f)\delta t_f$

여기서 $\delta y(t_f)$ 는 고정 시각에서의 함수 변분이고, $\delta t_f$ 는 종단 시각의 변분이다.

3.2 횡단성 조건의 유도

종단점이 곡선 $y = \phi(t)$ 위에 있는 경우, 1차 변분의 경계 항을 분석하면 다음의 횡단성 조건(transversality condition)이 유도된다.

$\left[L + ({\phi}' - \dot{y})\frac{\partial L}{\partial \dot{y}}\right]_{t = t_f} = 0$

여기서 $\phi'(t) = d\phi/dt$ 는 종단 곡선의 기울기이다.

3.3 특수한 경우

수직 종단선 ( $t_f$ 고정, $y_f$ 자유): 종단 곡선이 $t = t_f$ 인 수직선이면, $\phi'$ 이 무한대이므로 횡단성 조건은 자연 경계 조건 $\partial L/\partial\dot{y}\vert_{t_f} = 0$ 으로 환원된다.

수평 종단선 ( $y_f$ 고정, $t_f$ 자유): 종단 곡선이 $y = y_f$ 인 수평선이면, $\phi' = 0$ 이므로 횡단성 조건은 다음과 같다.

$\left[L - \dot{y}\frac{\partial L}{\partial \dot{y}}\right]_{t = t_f} = 0$

이는 해밀토니안이 종단에서 영이 되는 조건과 동일하다.

4. 자유 종단 시각 문제

4.1 정식화

시작 시각 $t_0$ 는 고정이고 종단 시각 $t_f$ 가 자유이며, 양단의 상태가 고정된 문제를 고려한다.

$\min_{y, t_f} J[y, t_f] = \int_{t_0}^{t_f} L(t, y, \dot{y})\,dt$

경계 조건: $y(t_0) = y_0$ , $y(t_f) = y_f$

4.2 추가 조건

오일러-라그랑주 방정식 외에, 종단 시각에 대한 추가 정상 조건이 필요하다.

$\left[L - \dot{y}\frac{\partial L}{\partial \dot{y}}\right]_{t = t_f} = 0$

이 조건은 벨트라미 항등식의 경계값 형태이며, 해밀토니안 $H = -L + \dot{y}(\partial L/\partial\dot{y})$ 에 대하여 $H(t_f) = 0$ 으로 표현된다.

5. 다변수 함수에 대한 횡단성 조건

$n$ 개의 상태 변수 $\mathbf{y}(t) = [y_1, \ldots, y_n]^T$ 에 대한 범함수에서 종단점이 곡면 $\boldsymbol{\psi}(t_f, \mathbf{y}(t_f)) = \mathbf{0}$ 위에 있는 경우, 횡단성 조건은 다음과 같다.

$\left[H\delta t + \frac{\partial L}{\partial\dot{\mathbf{y}}}^T\delta\mathbf{y}\right]_{t_f} = 0$

이 조건은 변분이 종단 곡면의 접공간에 속하는 모든 방향에 대하여 만족되어야 한다.

6. 로봇 궤적 최적화에서의 응용

6.1 자유 종단 시각 궤적 계획

로봇이 시작점에서 목표점까지 이동하되, 도착 시각이 미리 정해지지 않은 경우가 자유 종단 시각 문제에 해당한다. 에너지 최소 궤적이나 토크 최소 궤적에서 최적 이동 시간은 횡단성 조건에 의해 자동으로 결정된다.

6.2 목표 집합에의 도달

로봇의 말단 장치가 특정 곡면(예: 작업대 표면)에 도달하여야 하나, 곡면 위의 정확한 위치가 미정인 경우, 종단 조건은 곡면 제약으로 표현되며 횡단성 조건이 적용된다.

6.3 최소 시간 문제와의 관계

최소 시간 문제 $\min J = t_f - t_0$ 에서 라그랑지안 $L = 1$ 이므로, 자유 종단 시각의 횡단성 조건 $H(t_f) = 0$ 은 해밀토니안이 종단에서 영이라는 조건이 된다. 이 조건은 폰트랴긴의 최대 원리에서의 횡단성 조건과 일치한다.

7. 요약

자유 경계 조건과 횡단성 조건은 변분 문제의 경계 유형을 확장한다. 자유 종단점에서는 자연 경계 조건 $\partial L/\partial\dot{y} = 0$ 이 추가되고, 종단점이 주어진 곡선 또는 곡면 위에 있는 경우에는 횡단성 조건이 극값 함수와 경계 곡선 사이의 관계를 규정한다. 자유 종단 시각 문제에서는 해밀토니안의 종단값이 영이라는 추가 조건이 최적 종단 시각을 결정한다. 이러한 경계 조건의 다양한 유형은 로봇 궤적 최적화에서 목표 집합으로의 도달, 자유 이동 시간, 곡면 접근 등 다양한 실용적 상황을 수학적으로 엄밀하게 다루는 기초를 제공한다.

참고 문헌

Gelfand, I. M. & Fomin, S. V. (2000). Calculus of Variations. Dover Publications.
Liberzon, D. (2012). Calculus of Variations and Optimal Control Theory: A Concise Introduction. Princeton University Press.
Kirk, D. E. (2004). Optimal Control Theory: An Introduction. Dover Publications.
Bryson, A. E. & Ho, Y. C. (1975). Applied Optimal Control. Hemisphere Publishing.
Betts, J. T. (2010). Practical Methods for Optimal Control and Estimation Using Nonlinear Programming (2nd ed.). SIAM.

version: 0.1.0