On convergence of solutions to nonlocal optimal control problems with quasi-minimization constraints

기술적 요약: 준최소화 제약 조건이 있는 비국소 최적 제어 문제의 해의 수렴성

문제 정의
본 논문은 상태 제약 조건이 전역 최솟값이 아닌, 준볼록(quasiconvex) 에너지 범함수의 $\epsilon$-준최솟값( $\epsilon$-quasi-minimizers)에 의해 정의되는, 부적정(ill-posed)한 비국소 최적 제어 문제의 한 부류를 조사한다. 이 문제는 분수 미분 차수 $s \in (0, 1)$와 지평선 파라미터 $\delta > 0$에 의해 매개변수화된다. 상태 $u$와 제어 $g$는 $u$가 비국소 에너지 $W^{\delta,s}_g$의 $\epsilon$-준최솟값이라는 제약 조건 하에서 비용 범함수 $F(u, g)$를 최소화하는 것을 목표로 한다.

에너지 밀도 $W$는 비선형 탄성학에서 흔리하게 나타나는 준볼록(또는 다중 볼록/polyconvex) 성질을 갖도록 가정되었는데, 이는 최솟값이 유일하지 않을 수 있는 환경이다. 비국소 그래디언트 연산자 $D^\delta_s$는 적분 커널을 통해 장거리 상호작용을 포함하며, 이는 고전적인 PDE 제약 제어 문제와 구별되는 특징이다. 본 연구에서 다루는 주요 과제는 제약 조건이 되는 최소화 문제에서의 유일성 결여이며, 이는 이전 연구[20](전역 최소화 제약 조건을 사용함)에서 비국소 제어 문제의 수렴 증명을 저해했던 요소였다.

방법론
분석은 비국소 그래디언트 노름을 포함하는 함수들의 폐쇄(closure)인 비국소 함수 공간 $H^{s,p,\delta}_0(\Omega-\delta; \mathbb{R}^n)$의 틀 안에서 수행된다. 방법론은 다음 세 가지 핵심 축에 의존한다:

1. 존재성 이론: 저자들은 변분법의 직접법(direct method)을 사용하여 비국소 제어 문제의 해의 존재성을 입증한다. 여기서 핵심은 허용 가능한 쌍의 집합 $T^\epsilon_{\delta,s}$가 약하게 닫혀 있음(weakly closed)을 증명하는 것과 비용 범함수의 하반연속성(lower semi-continuity)을 증명하는 것이다. 표준적인 제어 문제와 달리, 에너지 최솟값의 비유일성 가능성 때문에 해의 사상(solution mapping)을 정의할 수 없으나, 대신 $\epsilon$-준최솟값의 집합이 유계이며 약하게 닫혀 있음을 보여준다.
2. $\Gamma$-수렴 ($\Gamma$-Convergence): 점근적 거동을 분석하기 위해, 저자들은 두 가지 서로 다른 극한 상황에서 비국소 에너지 범함수족 $\{W^{\delta,s}_g\}$가 강한 $L^p$ 위상에서 대응하는 국소 에너지 범함수 $W^{\text{loc}}_g$로 $\Gamma$-수렴함을 증명한다:
   • $s \to 1^-$ (분수 차수가 고전적 미분 차수로 접근할 때).
   • $\delta \to 0^+$ (지평선 파라미터가 소멸할 때).
3. 회복 수열(Recovery Sequence) 구성: 최솟값의 수렴을 위한 결정적인 기술적 기여는 회복 수열의 구성이다. 제약 조건이 등식($W(u) = \min W$)이 아닌 부등식($W(u) - \min W \le \epsilon$)을 포함하므로, 저자들은 에너지 차이가 $\epsilon$보다 엄격히 작은 경우와 $\epsilon$과 같은 경우를 주의 깊게 다루어야 한다. 후자의 경우, 극한에서의 $\epsilon$-제약 조건이 충족되도록 후보 국소 상태와 국소 최솟값의 볼록 결합(convex combinations)을 사용하여 회복 수열을 구성한다.

주요 결과
본 논문은 다음의 주요 정리들을 확립한다:

• 존재성 (정리 3.4): 고정된 파라미터 $\delta, s, \epsilon$에 대하여, $\epsilon$-준최소화 제약 조건을 가진 비국소 최적 제어 문제를 푸는 쌍 $(u_{\delta,s}, g_{\delta,s})$가 존재한다.
• $s \to 1^-$로서의 수렴 (정리 4.10): 비국소 문제의 해는 (부분 수열까지) 대응하는 국소 최적 제어 문제(여기서 제약 조건은 고전적 그래디언트 $\nabla u$에 의존함)의 해로 수렴한다. 이 수렴은 상태의 $L^p$ 공간에서의 강한 수렴과 제어의 약한 수렴을 포함한다.
• $\delta \to 0^+$로서의 수렴 (정리 4.20): 커널이 특정 스케일링 가정을 만족하는 경우, 지평선 파라미터가 소멸할 때도 유사한 수렴 결과가 성립한다.
• 제어의 강한 수렴 (따름정리 4.13 및 4.21): 확립된 비용 범함수의 수렴 하에, 제어 변수 $g_{\delta,s}$는 $L^r$ 공간에서 강하게 수렴한다.

의의 및 주장
본 논문은 $\epsilon$-준최소화 제약 조건의 도입이 기존 문헌(특히 [20])에서 발견된 특정 한계를 해결한다고 주장한다. 기존 연구에서는 전역 최솟값의 유일성 결여로 인해 비국소 제어 문제를 국소 문제로 수렴시키는 증명이 불가능했다. 최솟값을 근사적으로 허용하는 제약 조건으로 완화함으로써, 저자들은 다음을 수행할 수 있었다:

1. 유일성이 보장되지 않는 더 넓은 범위의 준볼록 에너지에 대해 해의 존재성을 증명한다.
2. 비국소 그래디언트에 의존하는 일반적인 비용 범함수에 대해, 비국소 설정에서 국소 설정으로의 해의 엄밀한 수렴을 확립한다.
3. 에너지 차이의 진동을 관리하기 위해 허용 오차 $\epsilon$을 활용하는, 매개변수화된 최적 제어 문제에서의 회복 수열 구성을 위한 새로운 해석적 기법을 제공한다.

저자들은 자신들의 결과가 선택된 특정 함수 공간 프레임워크에 크게 의존하지 않으며, 이 기법들이 적어도 하나의 해를 갖는 부적정한(ill-posed) 다른 계열의 매개변수화된 최적 제어 문제에도 적용 가능함을 시사한다. 또한, 본 논문은 고체 역학 및 확산의 일반적인 모델링을 넘어 특정 물리계에 대한 응용을 강력히 주장하지 않으며, 맥락을 위해 최근의 불연속 갤러킨(Discontinuous Galerkin) 방법론에 관한 연구를 참조할 뿐 새로운 수치 기법을 제안하지 않는다.