Optimal Bilinear control restricted to the three-dimensional chemo-repulsion model with potential production

1. 연구 배경 및 문제 정의

이 논문은 3 차원 유계 영역 $\Omega \subset \mathbb{R}^3$ 에서 정의된 파라볼릭 - 파라볼릭 (parabolic-parabolic) 화학적 반발 (chemo-repulsion) 모델에 대한 최적 제어 문제를 다룹니다. 화학적 반발은 세포나 생물이 화학 물질의 농도가 낮은 쪽으로 이동하는 현상으로, 상처 치유, 암 침투, 포식자 회피 등 다양한 생물학적 과정에서 중요합니다.

연구의 핵심 시스템은 다음과 같습니다 ($Q = (0, T) \times \Omega$):

$$\begin{cases} \partial_t u - \Delta u = \nabla \cdot (u \nabla v) + r u - \mu u^p, \\ \partial_t v - \Delta v + v = u^p + f v \mathbf{1}_{\Omega_c}, \end{cases}$$

여기서:

• $u(t, x)$: 세포 밀도, $v(t, x)$: 화학 물질 농도.
• $\nabla \cdot (u \nabla v)$: 화학적 반발 메커니즘 (이동 항).
• $u^p$ ($p > 1$): 세포에 의한 화학 물질의 비선형 생산 (nonlinear production).
• $r u - \mu u^p$: 로지스틱 성장 및 경쟁 항 (로지스틱 모델인 경우에만 존재).
• $f v \mathbf{1}_{\Omega_c}$: 이선형 제어 (bilinear control). $f(t, x)$ 는 부분 영역 $\Omega_c \subseteq \Omega$ 에서 화학 물질의 증식 또는 분해 계수로 작용하며, $f$ 의 부호에 제한이 없습니다.
• 초기 조건 및 비유출 (non-flux) 경계 조건이 부여됨.

이 논문은 비선형 생산 지수 $p > 1$인 3 차원 영역에서의 해의 존재성, 정규성 (regularity), 그리고 이에 기반한 최적 제어 문제를 다룹니다. 기존 연구는 주로 2 차원이나 선형 생산 ($p=1$) 경우에 국한되어 있었으며, 3 차원 비선형 생산에 대한 최적 제어 연구는 부재했습니다.

2. 주요 방법론

논문은 크게 세 가지 단계로 접근합니다:

가. 약해 (Weak Solution) 의 존재성 증명

• 에너지 부등식 유도: 시스템의 에너지 추정치를 유도하기 위해 $u$ 방정식에 $u^{p-1}$을, $v$ 방정식에 $-\Delta v$를 곱하여 적분하고, 화학적 이동과 생산 항을 상쇄시키는 기법을 사용합니다.
• 로지스틱 항의 역할:
  • $1 < p \le 5/3$인 경우: 확산 항 (diffusion) 만으로 에너지를 제어할 수 있어 로지스틱 항 없이도 약해의 존재가 증명됩니다.
  • $p > 5/3$인 경우: 비선형 생산 항이 너무 강해 확산만으로는 제어 불가능하므로, 로지스틱 항 ($ru - \mu u^p$) 이 필수적으로 추가되어야 에너지 부등식을 유도할 수 있습니다.
• 정규화 (Regularization) 및 극한 과정: 타원형 문제의 인위적 확산 계수 $\epsilon$을 도입한 정규화 시스템을 구성하고, $\epsilon \to 0$일 때의 수렴성을 통해 약해의 존재를 증명합니다.

나. 정규성 기준 (Regularity Criterion) 및 강해 (Strong Solution)

• Serrin 유형의 기준: 약해가 특정 정규성 조건을 만족하면 강해로 개선됨을 보입니다.
  • 조건: $f \in L^{5/2}(0, T; L^{5/2+}(\Omega_c))$ 및 $u \in L^{5p/2}(Q) \cap L^{10/3}(Q)$.
  • 결과: 이 조건 하에서 해 $(u, v)$는 $u, \nabla v \in L^5(Q)$ (또는 $p>2$인 경우 더 높은 정규성) 를 가지며, 이는 유일성을 보장합니다.
• 부트스트래핑 (Bootstrapping): 선형 확산 - 대류 - 반응 방정식의 이론을 활용하여 비선형 항을 선형 연산자로 흡수하는 방식으로 정규성을 점진적으로 높입니다.

다. 최적 제어 문제 및 최적성 조건 도출

• 제어 - 상태 사상 (Control-to-State Mapping): 상태 방정식의 해가 제어 $f$에 대해 국소적으로 잘 정의되고, **함수해석학의 암시적 함수 정리 (Implicit Function Theorem)**를 통해 Fréchet 미분 가능함을 증명합니다. 이는 일반적인 라그랑주 승수법 대신 미분 가능성을 직접 계산하는 접근법입니다.
• 수렴된 비용 함수 (Reduced Cost Functional): 상태 변수를 소거하고 제어 변수 $f$만의 함수로 표현된 비용 함수 $J_0(f)$를 정의합니다.
• 쌍대성 (Duality) 및 켤레 문제 (Adjoint Problem): 비용 함수의 미분을 명시적으로 구하기 위해 켤레 시스템 (adjoint system) 을 도입하고, 쌍대성 논증으로 켤레 문제의 잘 정의됨 (well-posedness) 을 증명합니다.
• 최적성 조건: 켤레 변수를 통해 비용 함수의 기울기 (gradient) 를 식별하고, 이를 통해 국소 최적해에 대한 **1 차 필요 최적성 조건 (First-order necessary optimality conditions)**을 유도합니다.

3. 주요 결과 및 기여

1. 3 차원 비선형 화학적 반발 모델의 약해 존재성:

   • $1 < p \le 5/3$인 비로지스틱 시스템 (1.1) 과 $p > 1$인 로지스틱 시스템 (1.2) 에 대해 전역 약해의 존재를 증명했습니다.
   • 특히 $p > 5/3$인 경우 로지스틱 항이 에너지 제어에 필수적임을 수학적으로 규명했습니다.

2. 정규성 기준과 강해의 유일성:

   • 제어 $f$와 상태 $u$의 특정 $L^p$ 공간 정규성 ($u \in L^{5p/2} \cap L^{10/3}$) 을 가정할 때, 약해가 강해로 개선되고 유일함을 증명했습니다. 이는 최적 제어 문제를 다루기 위한 필수적인 토대입니다.

3. 최적 제어 문제의 해 존재성:

   • 최소화 수열 (minimizing sequence) 논증을 통해 전역 최적해의 존재성을 증명했습니다.

4. 최적성 조건의 명시적 유도:

   • 제어 - 상태 사상의 미분 가능성과 켤레 문제를 통해 비용 함수의 기울기를 명시적으로 계산했습니다.
   • 이를 통해 국소 최적해에 대한 변분 부등식 형태의 1 차 필요 최적성 조건을 도출했습니다. 이는 수치적 최적화 알고리즘 (예: 경사 하강법) 에 직접 적용 가능한 형태입니다.

4. 의의 및 중요성

• 수학적 공백 해소: 3 차원 영역에서 비선형 생산 ($p>1$) 을 갖는 화학적 반발 모델에 대한 최적 제어 연구는 본 논문이 처음입니다. 기존 2 차원이나 선형 생산 결과의 한계를 넘어서는 중요한 진전입니다.
• 로지스틱 항의 필요성 규명: 비선형 생산 지수 $p$의 크기에 따라 로지스틱 항이 해의 존재성에 필수적인지 여부를 명확히 구분했습니다.
• 수치적 적용 가능성: 비용 함수의 기울기를 켤레 변수를 통해 명시적으로 식별했기 때문에, 실제 생물학적 시스템 제어를 위한 수치 시뮬레이션 및 최적화 알고리즘 개발에 직접적인 기여를 할 수 있습니다.
• 이론적 기법: 암시적 함수 정리와 쌍대성 논증을 결합하여 비선형 편미분방정식의 최적 제어 문제를 다루는 새로운 방법론을 제시했습니다.

요약하자면, 이 논문은 3 차원 화학적 반발 모델의 수학적 분석을 심화시키고, 이를 바탕으로 엄밀한 최적 제어 이론을 정립하여 이론적 완성도와 실제 적용 가능성을 모두 높인 중요한 연구입니다.