볼록체와 비볼록 경로를 위한 제르멜로 평면 항해 문제

초록

본 논문은 제르멜로 항해 문제를 일반적인 컴팩트 볼록 집합을 제어 구역으로 확장하고, 존재성, 포인트너 최대 원리와 볼록 해석을 이용한 최적성 조건을 도출한다. 2차원에서는 최적 제어 영역이 정규(reg)와 특이(sing) 구역으로 구분되며, 정규 구역에서는 확장된 제르멜로 방정식이 성립한다. 비볼록 제어 집합에 대한 적용과 선형 전류(affine current) 사례를 통해 실제 선박·요트 항해에 대한 의미를 제시한다.

상세 분석

이 연구는 전통적인 제르멜로 항해 문제에서 제어 가능한 속도 집합을 구면이 아닌 임의의 컴팩트 볼록 집합 U 으로 일반화한다는 점에서 혁신적이다. 저자는 먼저 U 가 비어 있지 않고 0 ∈ int U 인 경우, 약한 전류 가정(s1, s2, WC) 하에 최소 시간 해가 존재함을 보이고, 이를 위해 최소 시간 함수 T 의 하반연속성을 활용한다. 존재성 증명은 위에 언급된 위어스트라스 정리와 볼록 집합에 대한 표준 최적 제어 이론을 그대로 적용한다는 점에서 깔끔하다.

다음으로 포인트너 최대 원리(PMP)를 도입해 최적 궤적에 대한 필요조건을 전개한다. 여기서 핵심은 위버스트라스 조건을 볼록 집합 U 의 지지함수 σ_U 와 그 서브미분 ∂σ_U 으로 재표현한 점이다. 이 접근법은 u(t) 가 p(t) 와의 내적을 최대화하는 U 의 극점에 놓인다는 직관적 해석을 제공한다.

2차원에서는 공액 변수 p(t) 가 U 의 경계에서 구간(segment)과 접선이 되는 경우와 그렇지 않은 경우를 구분한다. 전자는 ‘특이 구역’이라 부르며, 이때 제어는 다중 최적점이 존재해 명시적인 식으로 규정되지 않는다. 반면, p(t) 가 경계의 매끄러운 부분에 있을 때는 ‘정규 구역’이라 하고, 여기서는 라그랑주 승수 λ(t) 을 도입해 u(t) 와 x(t) 를 연결하는 미분 방정식, 즉 확장된 제르멜로 항해 방정식( ZNE )을 도출한다. 이 방정식은 전통적인 구형 U 에 대해서는 원래 제르멜로 방정식으로 환원되며, 타원형·다각형 등 다양한 볼록 형태에 대해 동일하게 적용 가능하다.

특히, 저자는 특이 구역이 발생할 수 있는 충분조건을 전류의 기울기 ∇_x s 와 U 의 비엄격 볼록성(경계에 평평한 구간 존재) 사이의 관계로 제시한다. 전류가 위치에 독립적인 선형 형태(affine current)일 경우, 전류의 자코비안이 상수이므로 특이 구역과 정규 구역이 혼재할 수 없으며, 전역적으로 하나의 정규 구역 혹은 하나의 특이 구역만 존재한다는 강력한 정리를 증명한다. 이는 실제 해양 환경에서 전류가 비교적 균일하게 변하는 경우에 실용적인 설계 지침을 제공한다.

마지막으로 비볼록 제어 집합에 대한 확장을 논의한다. 비볼록 U 를 볼록화(convex hull)한 집합 co U 에 대한 최적 해와 비교함으로써, 비볼록 경우에도 정규 구역 내에서는 동일한 ZNE가 적용되지만, 비볼록 경계에서 ‘타크 포인트(tack point)’라 불리는 급격한 방향 전환이 발생할 수 있음을 보인다. 이는 돛을 이용한 선박이 바람·파도에 의해 속도 구성이 비대칭적일 때 나타나는 현상을 수학적으로 모델링한 것이다. 전체적으로 이 논문은 볼록 해석, PMP, 그리고 전류 모델링을 결합해 제르멜로 문제를 일반화하고, 정규·특이 구역의 구조적 특성을 명확히 함으로써 이론적 깊이와 실용적 응용 가능성을 동시에 확보하였다.