Core Concepts
본 논문에서는 일반적인 비엄격 Finsler의 보조정리를 제시한다. 이 결과는 관련 행렬에 대한 어떠한 제한도 없이 더 광범위하게 적용될 수 있다. 또한 기존의 비엄격 Finsler의 보조정리를 포함하며, 엄격 Finsler의 보조정리도 특별한 경우로 포함한다.
Abstract
이 논문은 Finsler의 보조정리를 비엄격 부등식으로 일반화한다. 기존의 비엄격 Finsler의 보조정리는 특정 행렬에만 적용되는 반면, 본 논문의 일반적인 비엄격 Finsler의 보조정리는 임의의 대칭 행렬에 대해 필요충분 조건을 제공한다.
주요 내용은 다음과 같다:
엄격 Finsler의 보조정리와 기존 비엄격 버전을 모두 포함하는 일반적인 비엄격 Finsler의 보조정리를 제시한다.
이 새로운 비엄격 정식화에는 기존 결과와 달리 행렬 간의 비트리비얼한 결합 조건이 필요하다.
이 결합 조건은 종종 문제 구조에 내재되어 있어 추가적인 보수성을 도입하지 않는다.
제안된 일반적인 비엄격 Finsler의 보조정리를 활용하여 비엄격 투영 보조정리의 폐쇄형 해를 도출하고, 데이터 기반 제어에 유용한 행렬 Finsler의 보조정리를 증명한다.