[논문 리뷰] Optimality Conditions for Convex Stochastic Optimization Problems in Banach Spaces with Almost Sure State Constraints

Caroline Geiersbach, Winnifried Wollner|arXiv (Cornell University)|2020. 09. 09.

Risk and Portfolio Optimization참고 문헌 33인용 수 9

한 줄 요약

이 논문은 강한 타당성 조건과 상대적으로 완전한 후행 조건 하에서, 거의 확실히 상태 제약 조건이 있는 근본적이고 분리 가능한 바나흐 공간에서의 볼록 스토하스틱 최적화 문제에 대해 필요하고 충분한 1차 최적성 조건을 수립한다. 여기서 제2단계 변수는 보흐너 공간 $L^rown( ext{dom}, X_2)$에 속한다. 변동 방법을 활용하고 $L^rown$ 공간의 절대 연속 부분과 특이 부분으로의 분해를 이용함으로써, 저자들은 라그랑주 승수들이 일반 측도의 비정규성 없이 $L^1( ext{dom}, X_2^*)$ 내의 적분 가능 벡터 값 함수임을 보여주며, 이는 수치적 구현 가능성을 향상시킨다.

ABSTRACT

We analyze a convex stochastic optimization problem where the state is assumed to belong to the Bochner space of essentially bounded random variables with images in a reflexive and separable Banach space. For this problem, we obtain optimality conditions that are, with an appropriate model, necessary and sufficient. Additionally, the Lagrange multipliers associated with optimality conditions are integrable vector-valued functions and not only measures. A model problem is given demonstrating the application to PDE-constrained optimization under uncertainty with an outlook for further applications.

연구 동기 및 목표

• 무한차원 바나흐 공간에서 거의 확실히 상태 제약 조건이 있는 볼록 스토하스틱 최적화 문제에 대한 1차 최적성 조건을 개발한다.
• 불확실성 하에서 PDE 제약 조건이 있는 최적화 문제에 있어서 점별로 거의 확실히 상태 제약 조건이 존재하는 경우에 대한 종합적 이론의 부족을 해결한다.
• 이러한 제약 조건과 관련된 라그랑주 승수가 일반 측도가 아니라 적분 가능 함수임을 보장함으로써 수치적 구현 가능성을 향상시킨다.
• 유한차원 $L^\infty(\text{dom}, \mathbb{R}^n)$에서의 록파렐라 및 웨츠의 스토하스틱 최적화 이론을 근본적이고 분리 가능한 바나흐 공간을 이미지로 갖는 보흐너 공간 $L^\infty(\text{dom}, X)$로 일반화한다.
• 거의 확실히 상태 제약 조건이 있는 문제에서 페널티 및 바리어 방법의 이론적 기초를 제공함으로써, 잘 정의된 승수를 확보한다.

제안 방법

• 첫 번째 단계 변수 $x_1$ 가 근본적이고 분리 가능한 바나흐 공간에 속하고, 두 번째 단계 변수 $x_2(\omega)$ 가 $L^\infty(\text{dom}, X_2)$ 에 속하는 두 단계 스토하스틱 최적화 문제로 문제를 설정한다.
• 변동 방법을 적용하여 일반화된 라그랑주 함수를 구성하고, 안장점 조건을 유도한다.
• 이오프와 레빈의 이론을 활용하여 $L^\infty(\text{dom}, X)$ 공간을 절대 연속 부분과 특이 부분으로 분해하고, 강한 타당성 조건과 상대적으로 완전한 후행 조건 하에서 특이 부분을 제거한다.
• 보흐너 공간 설정에서의 볼록 적분 함수 기능 $E[J(x_1, x_2(\cdot))]$ 의 부분미분을 특성화함으로써 최적성 조건을 도출한다.
• 공액 함수와 지지 함수의 구조를 이용하여, 상태 제약 조건에 대한 라그랑주 승수가 $L^1(\text{dom}, X_2^*)$ 에 속해 있으며, $(L^\infty(\text{dom}, X_2))^*$ 의 더 큰 쌍대 공간에 속하지는 않음을 입증한다.
• 불확실성 하에서 PDE 제약 조건이 있는 최적화 문제를 포함하는 명시적 모델 문제를 통해 최적성 조건의 타당성을 입증한다.

실험 결과

연구 질문

• RQ1 무한차원 바나흐 공간에서 거의 확실히 상태 제약 조건이 있는 볼록 스토하스틱 최적화 문제에 대해 필요하고 충분한 최적성 조건을 도출할 수 있는가?
• RQ2 어떤 조건에서 거의 확실히 상태 제약 조건에 대한 라그랑주 승수가 $(L^\infty(\text{dom}, X_2))^*$ 에서보다 $L^1(\text{dom}, X_2^*)$ 에 속하는가?
• RQ3 보흐너 공간 $L^\infty(\text{dom}, X)$ 의 특이 부분이 최적성 조건에 어떤 영향을 미치며, 언제 제거될 수 있는가?
• RQ4 이론이 불확실성 하에서 상태가 거의 확실히 점별로 경계를 만족해야 하는 PDE 제약 조건이 있는 최적화 문제로 확장될 수 있는가?
• RQ5 이 클래스의 문제에 대해 가환성 원칙이 타당한가, 그리고 정적 및 두 단계 설정 간의 동치성과의 관계는 어떠한가?

주요 결과

• 논문은 강한 타당성 조건과 상대적으로 완전한 후행 조건 하에서 보흐너 공간 $L^\frown(\text{dom}, X)$ 의 특이 부분이 최적성 조건에서 사라짐을 보여주며, 라그랑주 승수의 정규성을 보장한다.
• 거의 확실히 상태 제약 조건과 관련된 라그랑주 승수가 $L^1(\text{dom}, X_2^*)$ 내의 적분 가능 함수임을 입증하여 일반 측도의 사용을 피하고 수치적 적용 가능성을 향상시킨다.
• 제시된 클래스의 볼록 스토하스틱 최적화 문제에 대해 최적성 조건은 필수적이고 충분함을 입증한다.
• 일반화된 라그랑주 함수는 명시적으로 전개되며, 이는 두 단계 설정에서 등식 및 부등식 제약 조건의 이중 변수들이 보흐너 공간 프레임워크 내에서 지지 함수와 공액 함수를 통해 연결되어 있음을 드러낸다.
• 모델 PDE 제약 조건 문제를 통해 이론이 검증되었으며, 이는 편미분 방정식에서의 불확실성 정량화에의 적용 가능성을 보여준다.
• 결과는 페널티 및 바리어 방법의 사용을 뒷받침하며, 승수가 잘 정의되고 적분 가능하므로 안정적인 알고리즘 구현이 가능하다.