Bilinear control to trajectories of 1D degenerate parabolic equations in moving domains

기술적 요약: 이동 영역에서 정의된 1 차원 퇴색 포물선 방정식의 궤적에 대한 이선형 제어

문제 제기
본 논문은 시간에 따라 진화하는 유계 영역에서 정의된 1 차원 준선형 퇴색 포물선 방정식의 국소 제어 가능성 특성을 조사한다. 고려되는 특정 시스템은 반응 항 계수를 통해 작용하는 이선형 제어에 의해 지배된다. 영역 $\Omega_t$는 $(0, \ell(t))$로 정의되며, 여기서 경계 $\ell(t)$는 시간의 연속적으로 미분 가능한 함수로, 비원통형 시공간 영역 $\hat{Q}$를 생성한다. 확산 계수 $a(x)$는 경계 $x=0$에서 퇴색한다 (예: $\alpha \in (0,1)$에 대해 $a(x) = x^\alpha$).

주요 목적은 양수 궤적에 대한 국소 정확한 제어 가능성을 확립하는 것이다. 구체적으로, 제어되지 않은 방정식을 만족하는 양수 궤적 $\tilde{u}$가 주어졌을 때, 궤적의 초기 상태와 충분히 가까운 초기 데이터를 갖는 경우, 임의의 작은 열린 집합 $\hat{\omega} \times (0, T)$에서 지지되는 제어 함수 $h$가 존재하여 제어된 상태 $u$가 시간 $T$에 궤적 상태 $\tilde{u}$에 도달하는지 여부를 저자들이 규명하고자 한다.

방법론
저자들은 기하학적 변환, 선형화, 그리고 함수해석학을 결합한 다단계 전략을 사용한다:

1. 영역 변환: 이동 경계를 처리하기 위해, 저자들은 비원통형 영역 $\hat{Q}$를 고정된 원통형 영역 $Q = (0, 1) \times (0, T)$로 매핑하는 미분동형사상 $\tau_t$를 구성한다. 이 변환은 공간 변수를 재조정하여 원래 문제를 고정된 영역에서 시간 의존 계수와 추가적인 하위 차수 항을 갖는 포물선 방정식으로 변환한다.
2. 선형화 및 수반 분석: 비선형 시스템의 제어 가능성은 목표 궤적만큼 이동시킨 후 영 상태 주변에서 변환된 시스템을 선형화함으로써 접근된다. 저자들은 퇴색 확산 항과 이선형 제어 항을 포함하는 관련 선형화된 시스템을 분석한다.
3. 카를만 추정식: 증명의 핵심 구성 요소는 선형화된 수반 시스템에 대한 전역 카를만 추정식을 유도하는 것이다. 이러한 추정식은 $x=0$에서의 퇴색성과 영역의 시간 의존성을 처리하도록 설계된 시간과 공간에 의존하는 특정 가중 함수를 활용한다. 이러한 추정식은 관측 불평등으로 이어진다.
4. 선형 시스템의 영 제어 가능성: 관측 불평등과 가중 공간에 적용된 힐베르트 고유성 방법 (HUM) 을 사용하여, 저자들은 선형화된 시스템의 전역 영 제어 가능성을 증명한다. 그들은 시간 $T$에 해를 0 으로 이끄는 제어의 존재성과 함께 제어 및 상태에 대한 특정 정규성 추정을 확립한다.
5. 역함수 정리: 마지막으로, 저자들은 바나흐 공간에서 리우스타니크 역함수 정리를 적용한다. 비선형 시스템에 의해 정의된 사상이 $C^1$이며, 그 선형화가 원점에서 전사적임 (선형 제어 가능성 결과에 기반함) 을 검증함으로써, 원래 비선형 시스템의 양수 궤적에 대한 국소 정확한 제어 가능성을 추론한다.

주요 기여 및 결과

• 주요 정리: 본 논문은 초기 데이터가 $H^1_a$ 노름에서 궤적의 초기 데이터와 충분히 가까울 경우, 임의의 시간 $T > 0$에서 비선형 퇴색 포물선 시스템 (1) 이 임의의 양수 궤적 $\tilde{u}$에 대해 국소적으로 정확하게 제어 가능함을 증명한다.
• 이동 영역 처리: 이 연구는 퇴색 방정식에 대해 고정된 영역에서 비원통형 이동 영역으로 제어 가능성 결과를 확장한다. 이는 시간 변하는 기하학과 확산 계수의 퇴색성으로 인해 상당한 복잡성을 도입하는 설정이다.
• 이선형 제어 메커니즘: 본 연구는 상태에 비례하는 성장 또는 감쇠율을 조절하는 반응 항에 작용하는 이선형 제어 (승법적 제어) 에 초점을 맞춘다. 이는 가법적 제어와 구별되며, 이러한 맥락에서 궤적 추적을 위해 효과적임이 입증되었다.
• 정규성 추정: 저자들은 선형화된 시스템의 제어 및 상태에 대한 상세한 가중 추정식을 유도하여, 고정점 논증에서 비선형 항을 처리하기에 충분한 정규성 (특히 가중 $L^2$ 및 $H^1$ 공간에서) 을 제어기가 갖도록 보장한다.

의의 및 주장
저자들은 이 연구를 비표준 기하학에서 퇴색 편미분 방정식 (PDE) 의 제어 이론에 대한 기여로 위치시킨다. 그들은 비퇴색 및 고정 영역 퇴색 방정식에 대한 제어 가능성은 잘 발전되어 있지만, 퇴색성, 비선형성, 그리고 이동 경계의 결합은 특정 기법이 필요한 더 복잡한 과제를 제시한다고 지적한다.

본 논문은 이동 영역에서 이러한 퇴색 시스템의 이선형 제어 가능성에 관한 최초의 결과를 제공한다고 주장한다. 그 의의는 확산이 경계에서 소멸하고 영역이 진화하는 현실적인 제약 하에서 복잡한 동적 시스템 (상전이 또는 개체군 역학의 시스템 등) 을 조절하는 데 해당되는 원하는 양수 궤적으로 시스템을 유도할 수 있음을 보여줌에 있다. 저자들은 그들의 결과가 국소적 (작은 초기 편차를 요구함) 이며, 무한 차원 시스템에서 국소 제어 가능성을 확립하기 위한 표준적이지만 엄격한 접근법인 리우스타니크 역함수 정리에 의존한다고 명시적으로 밝힌다.

본 논문은 비국소 비선형성을 갖는 시스템과 1 상 스테판 (Stefan) 유사 문제로의 잠재적 확장을 제안하며, 여기서 개발된 기법이 이러한 더 복잡한 시나리오의 기초가 될 수 있음을 시사한다.