다항식 동역학 시스템을 위한 자동 완화 라야푸노프 함수 발견

초록

본 논문은 다항식 형태의 동역학 시스템에 대해 기존 라야푸노프 함수 개념을 확장한 ‘완화 라야푸노프 함수(RLF)’를 정의하고, 모든 가능한 다항식 RLF를 자동으로 찾아내는 완전 탐색 알고리즘을 제시한다. 고차 리에 미분을 이용해 안정성 조건을 완화하고, SOS(합동 제곱)와 SDP(반정밀 계획) 기법을 결합해 템플릿 기반으로 RLF를 합성한다.

상세 분석

논문은 먼저 전통적인 라야푸노프 이론의 한계를 지적한다. 일반 라야푸노프 함수 V(x)는 V>0 및 그 첫 번째 리에 미분 (\dot V = \nabla V·f(x)) 가 음수인 영역을 요구하지만, 실제 복잡한 다항식 시스템에서는 이러한 조건을 만족하는 V를 찾기가 매우 어렵다. 이를 극복하기 위해 저자들은 ‘완화 라야푸노프 함수(RLF)’라는 새로운 개념을 도입한다. RLF는 V(x) 자체가 양의 정의인 것에 더해, V의 고차 리에 미분 (\mathcal L_f^k V) (k≥1) 중 최소 하나가 음의 정의인 경우를 허용한다. 즉, 첫 번째 미분이 양수이더라도 두 번째 혹은 세 번째 미분이 충분히 음수라면 시스템은 여전히 점근 안정성을 보장한다는 논리다. 이 아이디어는 라야푸노프 함수의 ‘감쇠’ 속성을 시간에 따라 누적되는 고차 미분으로 분산시켜, 더 넓은 함수 공간을 탐색하게 만든다.

알고리즘적 측면에서 저자들은 다항식 템플릿 (V(p,x)=\sum_{\alpha}c_{\alpha}x^{\alpha}) 를 설정하고, 각 계수 (c_{\alpha}) 를 변수로 두어 SOS 제약식으로 변환한다. 고차 리에 미분 (\mathcal L_f^k V) 역시 다항식이므로, 이를 SOS 형태로 표현하면 SDP(반정밀 계획) 문제로 귀결된다. 핵심은 ‘완전성’이다. 템플릿 차수를 충분히 높이면 모든 가능한 다항식 RLF를 포함하게 되며, SDP 솔버가 무해한 해를 찾지 못하면 해당 차수에서는 RLF가 존재하지 않음을 의미한다. 따라서 차수를 단계적으로 증가시키며 탐색하면, 존재한다면 반드시 발견하게 된다.

또한 논문은 복합적인 리에 미분 조건을 효율적으로 검증하기 위해 ‘우선순위 큐’를 이용해 가장 낮은 차수부터 검사하고, 불가능한 후보는 조기에 배제하는 ‘pruning’ 기법을 제시한다. 이와 더불어 수치적 안정성을 위해 다항식 계수를 정규화하고, SDP 해의 정확성을 보장하기 위한 포스트 프로세싱 단계도 포함한다. 실험에서는 3차~5차 다항식 시스템에 대해 기존 라야푸노프 기반 방법보다 훨씬 적은 차수의 RLF를 찾아내며, 복잡한 비선형 진동계에서도 안정성을 증명하는 데 성공했다.

이러한 접근은 라야푸노프 이론을 자동화된 합성 프레임워크와 결합함으로써, 기존 수동 설계 과정에서 발생하던 ‘함수 선택’의 주관성을 제거하고, 이론적 완전성을 유지하면서도 실용적인 계산 비용을 확보한다는 점에서 큰 의의를 가진다.