비볼록 집합값 최적화의 과정 기반 라그랑주 승수 이론

초록

본 논문은 비볼록·비미분 가능 집합값 최적화 문제에 대해, 연속 선형 함수 대신 폐쇄·볼록 과정을 라그랑주 승수로 도입한다. 리프시츠 정규성, 순서 원뿔의 유계 기저, 비퇴화 조건을 가정하면 승수 과정을 존재시킬 수 있음을 증명하고, 이 과정이 원문 문제의 비지배·최소 해를 보존함을 보인다. 스칼라 경우에는 하위 연속 하위선형 함수와 일대일 대응을 이루어 정확한 페널티 형식을 얻으며, 무한 차원 예시와 벡터 균형 문제 적용 사례도 제시한다.

상세 분석

이 연구는 전통적인 라그랑주 승수 이론이 의존하는 연속 선형 함수의 존재성을 포기하고, 대신 그래프가 폐쇄·볼록 원뿔을 이루는 집합값 매핑인 ‘과정(process)’을 도입한다는 점에서 혁신적이다. 과정은 선형성 대신 원뿔 구조를 활용하므로, 비볼록성이나 비미분 가능성으로 인해 하이퍼플레인(초평면)을 구성할 수 없는 상황에서도 유효한 분리 도구가 된다. 논문은 세 가지 핵심 가정을 제시한다. 첫째, 과정의 그래프가 비어 있지 않은 대수적 내부(core)를 가져야 한다는 ‘리치니스’ 조건; 이는 과정이 충분히 많은 방향을 제공해 제약을 효과적으로 ‘벌’ 수 있게 한다. 둘째, 과정이 0점에서 포함하는 값이 순서 원뿔 Y⁺ 전체와 그 반대 원뿔과의 교집합이 Y⁺에 제한된다는 ‘호환성’ 조건으로, 이는 페널티 항이 목표 함수의 순서를 왜곡하지 않도록 보장한다. 셋째, 과정의 부정(-Δ)와 원문 문제의 값 매핑 V 의 그래프가 원점 외에서는 교차하지 않는 ‘비퇴화’ 조건으로, 이는 최적점이 새로운 페널티 문제에서도 비지배·최소성을 유지하도록 만든다. 이러한 가정 하에 정리 3.5 는 Δ가 라그랑주 승수일 때, 원문 문제의 비지배점 y₀ 이 F(x)+Δ(G(x)) 이라는 보강 문제에서도 비지배점이 됨을 증명한다. 즉, 승수 과정은 전역 최적성을 보존한다는 강력한 전역 최적성 보존 정리를 제공한다. 스칼라 경우(Y=ℝ)에는 과정과 하위 연속·하위선형 함수 p  사이에 일대일 대응이 성립함을 보이며, 이는 전통적인 라그랑주 승수와 동일한 역할을 하는 ‘정확 페널티 함수’를 구성할 수 있음을 의미한다. 특히 추가적인 제약 자격조건(CQ)이 필요 없다는 점은 기존 문헌보다 큰 진보이다. 무한 차원 Banach 공간에서 순서 원뿔의 핵(core)이 비어 있지 않아도 승수 과정을 구성할 수 있음을 예시를 통해 보여주며, 핵이 비어 있더라도 ‘유계 기저’가 존재하면 충분함을 입증한다. 마지막으로, 집합값 벡터 균형 문제에 이 프레임워크를 적용함으로써, 균형 조건을 제약으로 전환하고 승수 과정을 ‘비교 가능한 방향’으로 해석한다. 이는 균형 이론과 최적화 이론을 통합하는 새로운 시각을 제공한다. 전체적으로 이 논문은 비볼록·비미분 가능 최적화에서 라그랑주 승수 개념을 일반화하고, 구체적인 검증 조건과 응용 사례를 제시함으로써 향후 알고리즘 설계와 이론 연구에 중요한 토대를 제공한다.