Decay of solutions and bilinear control to trajectories of a 1D degenerate parabolic system

기술 요약: 1차원 퇴화 파라볼릭 시스템의 해의 붕괴 및 쌍선형 궤적 제어

문제 정의
본 논문은 경계에서 약하게 퇴화하는 확산 계수를 특징으로 하는 일종의 1차원 비선형 파라볼릭 시스템의 제어 가능 특성을 조사한다. 도메인 $(0, 1) \times (0, T)$에 정의된 상태 변수 $y$와 $z$로 구성된 시스템 (1)은, $a(0)=0$인 지점에서 퇴화하는 확산 계수 $a(x)$를 포함하며, 이는 운송 메커니즘이 임계 영역 근처에서 약화되는 불균질 매질을 모델링한다. 이 시스템은 시간 의존적 계수 $b(t)$와 저차 항 $B_i(x, t)$를 갖는 비자율(non-autonomous) 시스템이다.

주요 제어 메커니즘은 반응 항을 통해 작용하는 쌍선형(bilinear) 제어로, $h(x, t)\omega(x)y$ 형태를 띤다. 여기서 $h$는 비어 있지 않은 열린 부분 집합 $\omega \subset (0, 1)$에 지지된 제어 함수이다. 가산 제어(additive controls)와 달리, 이 쌍선형 구조는 현재 상태에 비례하여 성장 또는 붕괴율을 조절한다. 본 논문은 두 가지 주요 목적을 다룬다:

1. 궤적으로의 국소 정확 제어 가능성(Local Exact Controllability to Trajectories): 참조 궤적 $(\bar{y}, \bar{z})$(제어되지 않은 시스템의 해)에 가까운 임의의 초기 상태에 대해, 시간 $T$에서 시스템을 해당 궤적과 일치시키기 위한 제어 $h$가 존재하는지 결정한다.
2. 궤적으로의 전역 정확 제어 가능성(Global Exact Controllability to Trajectories): 시간 $T$가 충분히 크다면, 임의의 초기 상태에 대해 이러한 유도가 가능한지 결정한다.

방법론
저자들은 퇴화된 환경에 맞춤화된 함수 해석 기법, 에너지 추정치, 그리고 카를레만 부등식(Carleman inequalities)의 조합을 활용한다.

1. 재구성 및 선형화:
   궤적 $(\bar{y}, \bar{z})$로의 제어 가능성을 연구하기 위해, 오차 변수 $w_1 = y - \bar{y}$와 $w_2 = z - \bar{z}$를 도입함으로써 문제를 재구성한다. 이는 정확한 제어 문제를 오차 시스템 (6)에 대한 영 제어 가능성(null controllability) 문제로 변환한다. 비선형 시스템은 선형 부분과 비선형 나머지 항으로 분해된다.

2. 해의 붕괴 (전역 제어 전략):
   전역 제어 가능성을 달성하기 위해, 저자들은 먼저 제어가 없는 상태($h \equiv 0$)의 시스템을 분석한다. 비선형 항 $F_i$에 대한 특정 구조적 가정(특히 단조성 조건) 하에, 저자들은 오차 시스템의 해가 시간에 따라 **지수적으로 붕괴(exponential decay)**함을 증명한다. 이 붕괴는 임의의 초기 데이터에 대해, 충분히 큰 시간 $\tilde{T}$ 이후에 시스템 상태가 원점의 작은 근방으로 진입함을 보장한다.

3. 리우스니크 정리(Liusternik's Theorem)를 통한 국소 역전:
   국소 제어 가능도 증명의 핵심은 바나흐 공간에서의 리우스니크 역함수 정리에 의존한다. 저자들은 상태와 제어의 공간($V$)에서 잔차와 초기 데이터의 공간($W$)으로의 사상 $\mathcal{A}$를 정의한다. 정리를 적용하기 위해 다음을 검증해야 한다:

   • $\mathcal{A}$가 연속 미분 가능($C^1$)할 것.
   • 프레셰 미분 $\mathcal{A}'(0)$이 전사(surjective, onto)일 것.

4. 선형 영 제어 가능성 및 카를레만 추정:
   선형 연산자의 전사성은 연관된 선형 시스템 (14)의 영 제어 가능성을 증명함으로써 확립된다. 이는 시스템의 가관측성 추정치를 제공하는 카를레만 부등식(Proposition 1)을 사용하여 달성된다. 이 추정치는 시스템을 0으로 유도하는 제어 $h$의 구성을 가능하게 한다. 저자들은 퇴화성과 쌍선형 제어의 특성을 처리하기 위해 특정 가중치 함수 $\rho_j$(시간 및 공간에 의존)를 사용하는 가중 에너지 공간을 활용한다.

5. 정칙성 및 추정:
   저자들은 선형 시스템과 제어 함수의 상세한 사전 추정치(a priori estimates)를 도출한다. 특히, 코롤러리 3은 제어 $h$가 가중 Sobolev 공간에서 갖는 정칙성을 확립하며, 이는 비선형 분석에서 곱셈 항 $h \omega y$를 다루는 데 필수적이다.

주요 기여 및 결과

• 정리 1 (국소 정확 제어 가능성): 본 논문은 비선형 퇴화 시스템 (1)이 임의의 시간 $T > 0$에 대해 임의의 궤적 $(\bar{y}, \bar{z})$로 국소적으로 정확하게 제어 가능함을 입증한다. 이는 $H^1_a(0,1)$ 노름에서 초기 데이터가 궤적에 충분히 가까울 때 성립한다. 이 증명은 선형 영 제어 가능성 문제의 해결 가능성에 기초하여 리우스니크 정리의 성공적인 적용에 의존한다.
• 정리 2 (전역 정확 제어 가능성): 저자들은 시간 지평 $T$가 충분히 큰 경우, 임의의 초기 데이터에 대해 시스템이 궤적으로 전역적으로 정확하게 제어 가능함을 증명한다. 이 결과는 제어되지 않은 시스템의 지수적 붕괴(Section 1.A의 Theorem 2)와 국소 제어 가능성 결과를 결합한 직접적인 결과이다. 붕괴를 통해 시스템을 정리 1이 적용되는 "국소" 영역으로 가져올 수 있다.
• 붕괴 추정치: 기술적 기여 중 중요한 부분은 특정 부호 조건(sign condition) 하에서 제어가 없는 비선형 퇴화 시스템의 해에 대한 지수적 붕괴를 증명한 것이다(Theorem 2).
• 기존 연구의 확장: 본 연구는 가산 제어(additive controls)만을 포함했던 이전 연구([28])와 달리 쌍선형 제어(곱셈적 제어)를 포함하고, 반선형 항(semilinear terms) $F_i(x, t, y, z)$를 포함함으로써 기존 연구를 개선하였다. 또한 비자율 계수의 특수한 어려움을 다룬다.

의의 및 주장
본 논문은 확산이 경계에서 사라지고 제어가 상태에 곱셈적으로 작용하는 퇴화 파라볼릭 시스템을 제어하기 위한 엄밀한 프레임워크를 제공한다고 주장한다. 저자들은 자신의 연구를 비자율 퇴화 결합 시스템(예: 불균질 매질에서의 열 과정, 침전, 이방성 매질에서의 확산 등 실제 현상 모델링)의 제어 분야의 발전으로 규정한다.

그 의의는 다음의 결합에 있다:

1. 쌍선형 제어: 단순히 소스 항을 더하는 것이 아니라, 제어가 반응률을 조절하는(예: 화학 반응의 촉매 또는 생태학의 번식률) 현실적인 메커니즘을 다룬다.
2. 퇴화 처리: 카를레만 부등식과 함수 해석적 도구를 약한 퇴화 설정($a(x) \sim x^\alpha$)에 성공적으로 적응시켰다.
3. 전역 결과: 해의 붕괴 분석을 통해 국소 제어 가능성(작은 데이터에 유효)과 전역 제어 가능성(임의의 데이터에 유효) 사이의 간극을 메웠다.

저자들은 이러한 결과가 비국소 항(예: $\int y$에 대한 의존성) 및 자유 경계 문제(Stefan-type 문제)를 갖는 시스템으로 확장될 수 있음을 언급하였으나, 이러한 확장은 향후 연구 과제로 남겨두었다. 본 연구는 계수의 정칙성 및 유계성에 대한 표준적인 가정과 제어 영역 $\omega$의 비퇴화성에 대한 가정을 바탕으로 한다.