Localization for nonlocal gradient-based optimal control problems

기술적 요약: 비국소 기울기 기반 최적 제어 문제의 국소화

문제 제기
본 논문은 두 가지 서로 다른 매개변수, 즉 분수 매개변수 $s \in (0, 1)$과 지평선 매개변수 $\delta > 0$로 특징지어지는 비국소 함수 공간 프레임워크 내에서 공식화된 최적 제어 문제를 조사합니다. 제어 변수 $g$는 허용 집합 $Z_{ad}$에 속하며, 상태 변수 $u$는 비국소 Sobolev 공간 $H^{s,p,\delta}_0(\Omega-\delta; \mathbb{R}^n)$에 존재합니다. 상태 $u$는 제어 $g$에 의존하는 비국소 에너지 밀도 $W^{s,\delta}_g$를 최소화하도록 제약되며, 목표는 이러한 비국소 제약 조건 하에서 비용 함수 $F(u, g)$를 최소화하는 것입니다.

본 연구는 에너지 밀도 $W$에 관한 두 가지 주요 시나리오를 다룹니다:

1. 볼록 사례: 에너지는 엄격하게 볼록하며, 구체적으로 비국소 $p$-라플라시안 (또는 가중 $p$-디리클레 에너지) 으로 모델링됩니다.
2. 비볼록 사례: 에너지는 다중볼록 (polyconvex) 이거나 준볼록 (quasiconvex) 이며, 표준 $p$-성장 한계를 만족합니다. 이 설정에서 최소화자는 존재하지만 반드시 유일하지는 않습니다.

핵심적인 수학적 과제는 이러한 문제들의 "국소화"를 분석하여 비국소성이 사라짐에 따라 해가 고전적인 편미분방정식 (PDE) 기반 최적 제어 문제로 어떻게 수렴하는지를 입증하는 것입니다. 이는 두 가지 서로 다른 극한 과정을 통해 달성됩니다:

• 분수 매개변수 $s \to 1^-$를 취함 ($\delta$는 고정).
• 지평선 매개변수 $\delta \to 0^+$를 취함 ($s$는 고정).

방법론 및 프레임워크
저자들은 리즈 (Riesz) 분수 기울기를 일반화하는 잘라낸 커널 $\rho^s_\delta$를 통해 정의된 비국소 기울기 연산자 $D^s_\delta$를 활용합니다. 이 연산자는 확장된 영역 $\Omega_\delta$ 위에 정의된 함수에 작용하지만, "칼라" 영역 $\Omega_\delta \setminus \Omega$ 및 $\Omega \setminus \Omega_{-\delta}$에서는 영 (zero) 경계 조건을 부과합니다.

분석은 다음과 같은 함수해석학적 도구에 의존합니다:

• 비국소 Sobolev 공간: 공간 $H^{s,p,\delta}$는 비국소 기울기를 포함하는 노름 하에서 매끄러운 함수들의 폐포로 정의됩니다.
• 컴팩트성과 매장: 저자들은 허용 가능한 상태의 유계성과 수렴하는 부분열의 존재를 확립하기 위해 비국소 푸앵카레 부등식 (제 2.5 명제) 과 컴팩트 매장 결과 (제 2.6 명제) 를 사용합니다.
• $\Gamma$-수렴: 점근적 분석을 처리하기 위해 논문은 에너지 함수들의 $\Gamma$-수렴을 활용합니다. 이는 비국소 에너지의 최소화자들의 극한이 극한 국소 에너지의 최소화자에 해당함을 보장합니다.
• 변분법의 직접 방법: 비볼록 사례의 경우, 다중볼록 및 준볼록 함수들의 약한 하반연속성을 활용하여 직접 방법을 통해 존재성이 증명됩니다.

주요 결과

1. 볼록 사례에서의 잘 정의됨 (Well-posedness):
   비국소 $p$-라플라시안 에너지의 경우, 허용 가능한 쌍 $(u, g)$의 집합은 볼록합니다. 저자들은 제어 $g$를 상태 $u$로 매핑하는 해 연산자의 컴팩트성에 기반하여 최적 제어 문제에 대한 최소화자의 존재성과 유일성을 증명합니다 (제 3.7 정리).

2. 비볼록 사례에서의 존재성:
   에너지가 다중볼록이거나 준볼록인 경우, 허용 집합은 일반적으로 비볼록이며 고정된 $g$에 대한 상태 $u$의 유일성을 보장할 수 없습니다. 그럼에도 불구하고 저자들은 허용 가능한 상태 집합의 유계성과 제약 집합의 약한 폐쇄성을 증명함으로써 적어도 하나의 최적 쌍 $(u, g)$의 존재를 확립합니다 (제 3.12 정리).

3. $s \to 1^-$로서의 국소화:
   $\delta$가 고정된 상태에서, $s \to 1^-$로 갈 때 비국소 기울기가 고전적 기울기로 강하게 수렴함을 논문은 보여줍니다.

• 볼록 사례: 비국소 제어 문제의 최소화자들은 (상태와 기울기에 대해서는 강하게, 제어에 대해서는 약하게) 해당 국소 $p$-라플라시안 제어 문제의 유일한 최소화자로 수렴합니다 (제 4.10 정리). 또한 비용 함수 값이 수렴합니다.
• 비볼록 사례: 상태 방정식의 유일성 부재로 인해 최소화자의 완전한 수렴을 보장할 수 없습니다. 대신 저자들은 "상대적 최소화" 결과를 증명합니다 (제 4.11 부록). 이는 비국소 최소화자들의 열의 임의의 극한이 비국소 해로 근사될 수 있는 국소 허용 가능한 쌍의 집합에 대한 상대적 최소화자임을 보여줍니다.
• 제어의 강수렴: 중요한 결과로, 제어 변수 $g_s$가 약하게뿐만 아니라 임의의 $r \in [1, \infty)$에 대해 $L^r$에서 강하게 수렴한다는 점입니다 (제 4.12 정리). 이는 비용 함수의 특정 구조와 정규화 항에서 도출됩니다.

4. $\delta \to 0^+$로서의 국소화:
   $s$가 고정된 상태에서, 지평선 $\delta \to 0^+$로 갈 때의 극한을 논문은 분석합니다. 결과는 $s \to 1^-$의 경우와 유사합니다. 비국소 기울기가 고전적 기울기로 수렴하며, 비국소 최적 제어 문제들이 그 국소 대응물로 수렴합니다 (제 4.19 정리). $s \to 1$의 경우와 마찬가지로 제어의 강수렴이 확립됩니다 (제 4.21 정리).

의의 및 주장
본 논문은 상태 제약이 국소 설정 내에서도 다중볼록 또는 준볼록 에너지를 최소화하는 것을 포함하는 최적 제어 문제를 고려한 최초의 작업이라고 주장합니다. 이러한 결과를 비국소 프레임워크로 확장함으로써 저자들은 페리다이나믹스 및 분수 미적분과 같은 현대적 비국소 모델링과 고전적 최적 제어 이론 간의 간극을 메웁니다.

이 연구의 의의는 다음과 같습니다:

• 일반화: 비선형 탄성에 필수적인 준볼록 또는 다중볼록 에너지로 설명되는 재료 및 모델을 포함하기 위해 엄격하게 볼록한 에너지를 넘어선 일반화.
• 이중 국소화: 두 가지 서로 다른 매개변수 ($s$와 $\delta$) 를 통한 수렴에 대한 엄밀한 분석을 제공하여 비국소 모델이 국소 PDE 로 어떻게 근사되는지에 대한 유연성을 제공합니다.
• 제어의 강수렴: 많은 $\Gamma$-수렴 응용에서 발견되는 일반적인 약수렴보다 더 강력한 결과인 제어 변수에 대한 강수렴을 확립합니다.

저자들은 겸손하게도 $\Gamma$-수렴이 최소화자들의 수렴을 보장하지만 수렴 속도를 제공하지는 않는다고 지적합니다. 그들은 향후 연구가 수렴 속도를 회복하기 위해 규칙성 이론을 활용할 수 있음을 제안합니다. 또한, 그들은 2 차 최적성 조건이 필요한 비볼록 비용 함수를 가진 제어 문제의 연구와 동시 극한 ($s \to 1$ 및 $\delta \to 0$) 을 향후 연구의 잠재적 방향으로서 식별합니다.