Homogenization of an optimal control problem for nonlocal semilinear elasticity with soft inclusions

기술 요약: 연성 함유물을 포함한 비국소 준선형 탄성학의 최적 제어 문제에 대한 균질화

1. 문제 정식화
본 논문은 부드러운 주기적 함유물을 포함하는 고대조도(high-contrast) 탄성 매질에서 정의된 최적 제어 문제(Optimal Control Problem, OCP)의 점근적 분석을 조사한다. 물리적 영역 $\Omega \subset \mathbb{R}^N$은 연결된 강성 매트릭스 상($\Omega^2_\varepsilon$)과 부드러운 함유물 상($\Omega^1_\varepsilon$)으로 분해된다. 시스템은 비국소 항(nonlocal term)을 특징으로 하는 준선형 탄성 방정식을 따르며, 이는 변형 진폭의 전역적 척도(예: 용매 재분배 또는 평균장 피드백에 의한 것)에 따라 재료의 기계적 응답이 결정되는 모델을 나타낸다.

변위 $u_{\varepsilon\delta}$에 대한 지배 방정식은 다음과 같다:
$$-\nabla \cdot \sigma_{\varepsilon\delta}(u_{\varepsilon\delta}) + \alpha \|u_{\varepsilon\delta}\|_{L^p(\Omega)}^p u_{\varepsilon\delta} = f(x) + \mathbb{1}_{\Omega^1_\varepsilon} \theta_\varepsilon \quad \text{in } \Omega,$$
여기서 디리클레(Dirichlet) 및 노이만(Neumann) 경계 조건을 따른다. 여기서:

• $\varepsilon > 0$은 주기성을 나타내는 척도이다.
• $\delta > 0$은 대조도 파라미터로, 부드러운 상에서의 강성이 강성 상(order 1)에 비해 $\delta^2$의 비율로 스케일링됨을 의미한다.
• $\theta_\varepsilon \in L^2(\Omega^1_\varepsilon)^N$은 오직 부드러운 함유물 내에서만 작용하는 분포 제어(distributed control)이다.
• 비국소 항 $\alpha \|u\|_{L^p}^p u$ (단, $p \ge 2$)는 변위의 전역적 $L^2$-진폭을 통해 모든 공간 지점을 결합한다.

목표는 변위의 $L^2$-추적 오차를 원하는 프로파일 $u_d$와 제어 에너지에 대한 정규화 항 사이에서 균형을 맞추는 축약된 비용 범함수(reduced cost functional) $j_{\varepsilon\delta}(\theta_\varepsilon)$를 최소화하는 것이다:
$$j_{\varepsilon\delta}(\theta_\varepsilon) = \frac{1}{2} \int_\Omega |u_{\varepsilon\delta}(\theta_\varepsilon) - u_d|^2 dx + \frac{\gamma}{2} \int_{\Omega^1_\varepsilon} |\theta_\varepsilon|^2 dx.$$
분석은 $(\varepsilon, \delta) \to (0, 0)$인 극한 상황에서, 비율 $\kappa = \lim \delta/\varepsilon$가 $(0, +\infty]$에 속하는 스케일링 체제 하에서의 분석에 집중한다.

2. 방법론
저자들은 극한 시스템을 도출하기 위해 **주기적 언폴딩 연산자(periodic unfolding operator)**와 $\Gamma$-수렴($\Gamma$-convergence) 논법을 결합하여 사용한다.

• 언폴딩 연산자: 진동하는 도메인과 계수를 처리하기 위해 주기적 언폴딩 연산자 $T_\varepsilon$를 활용한다. 이 기법은 거시적 척도와 미시적 척도를 분리할 수 있게 하며, $\Omega$ 상의 적분을 $\Omega \times Y$ (여기서 $Y$는 단위 주기 셀) 상의 적분으로 변환한다.
• 에너지 분해 및 사전 추정(A Priori Estimates): 고대조도 특성(부드러운 상에서의 강성 퇴화)으로 인해 표준 $H^1$-유계(bounds)가 성립하지 않는다. 저자들은 변위장을 거시적 부분과 미시적 보정자(corrector) 부분으로 나누는 특정한 분해를 도입한다 (Lemma 3.2–3.3). 이를 통해 컴팩트성(compactness)에 필요한 균등 추정을 도출할 수 있다.
• 비국소 항을 통한 강한 수렴: 비국소 준선형 항 $\alpha \|u\|_{L^p}^p u$에서 극한으로 넘어가는 것은 중요한 방법론적 과제이다. 약한 수렴(weak convergence)은 이 항에 대해 불충분하다. 저자들은 총 에너지의 수렴(via $\Gamma$-convergence)과 에너지 범함수의 엄격한 볼록성(strict convexity)을 활용하여 언폴딩된 상태 변수들의 강한 $L^2$ 수렴을 확립한다.
• 부가 시스템(Adjoint System) 분석: 최적 제어를 규명하기 위해 저자들은 부가 상태 방정식을 도출한다. 그들은 유일한 부가 상태의 존재를 증명하고 그 점근적 거동을 확립하며, 이는 극한 최적 조건(optimality conditions)을 도출하는 데 필수적이다.

3. 주요 기여 및 결과

• 균질화된 상태 시스템의 도출:
  본 논문은 스케일링 $\delta/\varepsilon \to \kappa$에 연관된 극한(균질화된) 상태 시스템을 도출한다. 극한 시스템은 다음과 같은 이중 척도 구조를 가진다:

  • 거시적 변위 $u_0$.
  • 미시적 보정자 $\tilde{W}$ (부드러운 상과 관련됨) 및 $\hat{U}$ (강성 상과 관련됨).
  • 극한 에너지 범함수 $T_\kappa$는 파라미터 $\kappa$에 명시적으로 의존한다.
  • $\kappa = +\infty$인 특정 경우, 시스템은 완전히 척도가 분리된 균질화된 시스템으로 분리된다.
  • 극한 문제는 균질화된 강성 텐서 $A^{hom}$과 결합된 극한 장 $u_0 + \frac{1}{\kappa}\tilde{W}$에 작용하는 비국소 항을 포함하는 변분 부등식에 의해 특징지어진다.

• 최적 제어 문제의 균질화:
  저자들은 미시적 최적 제어 $\Theta_\varepsilon$가 극한 문제의 최적 제어 $\hat{\Theta}$로 수렴함을 증명한다.

  • 존재성 및 유일성: 미시적 문제와 극한 문제 모두에 대한 최적 제어의 존재성이 확립되었다. 극한 문제의 경우 특정 조건 하에서 유일성이 보장되지만, (비선형성으로 인한) 축약된 비용 범함수의 비볼록성(non-convexity) 때문에 미시적 문제에 대한 전역적 유일성은 일반적으로 보장되지 않는다.
  • 수렴성: 제어-상태 맵(control-to-state map)과 비용 범함수의 $\Gamma$-수렴, 그리고 상태 및 부가 변수의 강한 수렴을 사용하여, 미시적 최적 제어 시퀀스의 임의의 극한점이 극한 OCP의 최적 제어임을 증명한다.
  • 극한 최적 조건: 극한 최적 제어는 극한 부가 상태를 통해 명시적으로 규명된다: $\hat{\Theta} = -\frac{1}{\gamma} (v_0 + \frac{1}{\kappa}\hat{Z})$, 여기서 $v_0$와 $\hat{Z}$는 극한 부가 상태의 구성 요소이다.

• 고대조도 및 비국소성 처리:
  이 연구는 고대조도 탄성학(부드러운 상에서 에너지가 퇴화하는 경우)과 비국소 준선형성이라는 두 가지 난제를 동시에 다룬다. 저자들은 비국소 항이 강한 수렴을 요구한다는 점을 입증하였으며, 이는 에너지 수렴 논법을 통해 달성된다. 이는 일반적인 국소 준선형 균질화(여기서는 약한 수렴만으로 충분한 경우가 많음)와 구별되는 지점이다.

4. 의의 및 참신함
본 논문은 주로 비국소 준선형 구조와 고대조도 환경에서 그 의의를 갖는다.

• 비국소 연산자 구조: 국소 항 $S(u)$를 사용하는 기존의 준선형 방정식 기반 OCP 연구들과 달리, 이 모델은 힐베르트 공간 연산자 $u \mapsto \alpha \|u\|_{L^p}^p u$를 사용한다. 이는 모든 공간 지점을 전역적으로 결합한다. 저자들은 이러한 구조가 약한 수렴뿐만 아니라 강한 $L^2$ 수렴(노름의 수렴)을 필요로 한다는 점을 지적하며, 이는 일반적인 $H^1$ 유계가 실패하는 고대조도 환경에서 매우 까다로운 요구사항이다.
• 고대조도 탄성학: 본 분석은 부드러운 함유물이 있는 탄성학에서의 최적 제어 문제로 균질화 이론을 확장한다. 이 영역에서는 탄성 에너지가 퇴화한다. 논문은 파라미터 $\kappa$가 유효 모델에 어떻게 영향을 미치는지 보여줌으로써, 이 체제에서 극한 시스템을 도출하기 위한 엄밀한 프레임워크를 제공한다.
• 방법론적 엄밀성: 이 연구는 최적성 시스템(optimality systems)을 이용한 간접법(indirect method)과 제어-상태 맵 및 비용 범함수의 수렴을 다루기 위한 직접적인 $\Gamma$-수렴 논법을 결합하여, 최적 제어의 극한이 실제로 극한 문제의 최적 제어가 되도록 보장한다.

결론적으로, 본 논문은 상태 및 제어의 존재성 증명, 사전 추정, 이중 척도 극한 시스템의 도출, 그리고 최종적인 OCP의 수렴 순으로 결과를 정리하여, 이러한 복잡한 메타물질의 형상/응답 최적화를 위한 완전한 수학적 프레임워크를 제공한다.