[논문 리뷰] Approximate controllability and optimal control of impulsive fractional semilinear delay differential equations with non-local conditions

Lakshman Mahto, Syed Abbas|arXiv (Cornell University)|2013. 04. 11.

Nonlinear Differential Equations Analysis참고 문헌 11인용 수 4

한 줄 요약

이 논문은 사두프스키 고정점 정리, 셋테르리아 이론, 그리고 비용 기능의 직접 최소화를 이용하여 비국소 조건을 가진 충격성 분수선형 지연 미분방정식의 근사 제어 가능성과 최적 제어를 확립한다. 주요 기여는 미약한 리프시츠 조건과 컴팩트성 조건 하에서 약한 해와 최적 제어의 존재를 증명하는 것이다. 이는 힐버트 공간 설정에서의 구체적 예를 통해 검증된다.

ABSTRACT

In this paper we study the approximate controllability and existence of optimal control of impulsive fractional semilinear delay differential equations with non-local conditions. We use Sadovskii's fixed point theorem, semigroup theory of linear operators and direct method for minimizing a functional to establish our results. At the end we give an example to illustrate our analytical findings.

연구 동기 및 목표

• 비국소 초기 조건을 가진 충격성 분수선형 지연 미분방정식의 근사 제어 가능성에 대해 연구한다.
• 비용 기능의 직접 최소화를 통해 이러한 시스템의 최적 제어 존재성을 확립한다.
• 기존의 제어 가능성 및 최적 제어 결과를 충격성, 지연성, 비국소 조건을 포함한 분수차수 시스템으로 확장한다.
• 메모리 효과와 급작스러운 변화를 포함하는 공학 및 물리 시스템에 적용 가능한 이론적 프레임워크를 제공한다.

제안 방법

• 충격성 분수지연 시스템의 약한 해 존재성을 증명하기 위해 사두프스키 고정점 정리를 활용한다.
• 분수도 항 $ D_t^eta $ (여기서 $ \beta \in (1,2) $) 를 다루기 위해 분야 선형 연산자의 셋테르리아 이론을 적용한다.
• 비용 기능 $ J(u) $ 의 직접 최소화를 통해 하한 연속성 및 볼록성 조건 하에 최적 제어의 존재를 보장한다.
• 비선형성과 충격에 대한 리프시츠 조건 및 해석적 연산자 $ S_\alpha(t) $ 를 포함한 노름 추정을 통해 제어 수열의 수렴성을 확립한다.
• 발드라크 정리를 이용하여 비용 기능의 하한이 최적 제어에서 도달됨을 확인한다.
• 섹션 5의 구체적 예를 통해 이론적 결과를 검증한다. 이 예는 $ L^2(0,\pi) $ 에서의 분수편미분방정식을 다루며, 모든 정리 3.4 및 정리 4.1의 가정을 만족하는 추상 시스템으로 재구성된다.

실험 결과

연구 질문

• RQ1 비국소 조건을 가진 충격성 분수선형 지연 시스템의 약한 해가 어떤 조건에서 근사적으로 제어 가능해지는가?
• RQ2 비용 기능이 하한 연속성 및 볼록성 조건을 만족할 경우, 이러한 시스템에 대해 최적 제어를 보장할 수 있는가?
• RQ3 충격성, 지연성, 비국소 초기 조건은 분수차수 시스템의 제어 가능성과 최적 제어에 어떤 영향을 미치는가?
• RQ4 분야 연산자와 해석적 셋테르리아 이론은 해의 존재성과 정규성 보장에 어떤 역할을 하는가?

주요 결과

• 비선형 항과 충격에 대한 미약한 리프시츠 및 컴팩트성 조건 하에서 시스템 (1.1) 은 약한 해를 가진다.
• 연산자 $ A $ 가 분야 선형 연산자이고 제어-상태 맵이 컴팩트할 경우, 도달 가능한 상태의 이미지가 조밀해지므로 근사 제어 가능성은 달성된다.
• 최적 제어 $ u^0 \in U_{ad} $ 는 존재하며 비용 기능 $ J(u) $ 를 최소화한다. 즉, 모든 허용 가능한 제어에 대해 $ J(u^0) \leq J(u) $ 가 성립한다.
• 제어 수열 $ u^m \to u^0 $ 의 수렴성은 해당 상태 궤적 $ x^m \to x^0 $ 의 강한 수렴성을 유도하므로 최적 해의 안정성이 보장된다.
• 섹션 5의 예는 지연성과 충격이 있는 분수편미분방정식이 정리 3.4 및 정리 4.1의 모든 가정을 만족하는 추상 시스템으로 재구성될 수 있음을 보여준다.
• 성능 지표 $ J(u) $ 는 유한하며 최솟값을 도달하므로 $ L^2(I,U) $ 에서 최적 제어의 존재성이 확인된다.