[논문 리뷰] Nonlinear semigroups for delay equations in Hilbert spaces, inertial manifolds and dimension estimates

Mikhail Anikushin|arXiv (Cornell University)|2020. 04. 27.

Stability and Controllability of Differential Equations참고 문헌 28인용 수 5

한 줄 요약

이 논문은 복잡한 적립 연산자 이론을 피하는 간단한 접근을 사용하여 힐버트 공간에서 비자기 비선형 지연 미분방정식의 잘 정의됨을 입증한다. 새로운 해법 연산자와 비선형 반군의 구성이 핵심이며, 관성 다각형과 차원 추정의 엄밀한 프레임워크를 제공한다. 스칼라 지연 방정식에 대해 효과적인 결과가 도출되었다.

ABSTRACT

We study the well-posedness of nonautonomous nonlinear delay equations in $\mathbb{R}^{n}$ as evolutionary equations in a proper Hilbert space. We present a construction of solving operators (nonautonomous case) or nonlinear semigroups (autonomous case) for a large class of such equations. The main idea can be easily extended for certain PDEs with delay. Our approach has lesser limitations and much more elementary than some previously known constructions of such semigroups and solving operators based on the theory of accretive operators. In the autonomous case we also study differentiability properties of these semigroups in order to apply various dimension estimates using the Hilbert space geometry. However, obtaining effective dimension estimates for delay equations is a nontrivial problem and we explain it by means of a scalar delay equation. We also discuss our adjacent results concerned with inertial manifolds and their construction for delay equations.

연구 동기 및 목표

• 비자기 비선형 지연 미분방정식이 힐버트 공간에서 구성적이고 기본적인 방법을 사용하여 잘 정의됨을 입증하기 위해.
• 고도화된 적립 연산자 이론에 의존하지 않는 지연 방정식을 위한 비선형 반군과 해법 연산자의 프레임워크를 개발하기 위해.
• 힐버트 공간 기하학을 통해 차원 추정을 가능하게 하기 위해 반군의 미분 가능성 성질을 분석하기 위해.
• 지연 방정식에 대한 관성 다각형의 존재성과 구조를 조사하기 위해.
• 스칼라 지연 방정식에 대해 효과적인 차원 추정을 제공하여 분야에서 비틀린 도전 과제를 해결하기 위해.

제안 방법

• 지연 방정식을 역사 조각과 유계 선형 연산자를 사용하여 힐버트 공간 $\mathbb{H} = \mathbb{R}^n \times L_2(-\tau,0;\mathbb{R}^n)$ 상의 추상적 진화 방정식으로 표현하기.
• 반군의 생성자 $A$를 $\mathbb{H}$ 상에서 $C_0$-반군으로 정의하여 선형 부분이 표준 반군 이론을 통해 잘 정의됨을 보장하기.
• 상태 역사에서 유한차원 출력으로의 사상 연산자 $C$를 도입하고, 비선형 항을 제어하기 위해 (MES) 조건을 사용하기.
• 비선형성 $F$의 리프시츠 연속성 조건 하에서 고정점 정리를 사용하여 전체 비선형 시스템의 잘 정의됨을 입증하기.
• MES 조건을 $L_1$ 및 $L_2$ 형태로 사용하여 반군의 미분 가능성 증명하고, 이를 통해 힐버트 공간 기하학을 적용하여 차원 추정 가능하게 하기.
• 기하학적 및 동역학계 기법을 적용하여 관성 다각형을 구성하고, 그 정(regularity)과 차원을 분석하기.

실험 결과

연구 질문

• RQ1 비자기 비선형 지연 방정식이 힐버트 공간에서 잘 정의됨을 보장하기 위해 $\mathbb{R}^n$ 상의 지연 방정식을 어떻게 추상적 진화 방정식으로 재구성할 수 있는가?
• RQ2 비자기 지연 방정식에 대해 비선형 반군의 존재성과 미분 가능성 보장 조건은 무엇인가?
• RQ3 힐버트 공간 기하학과 반군 이론을 사용하여 지연 방정식에 대해 효과적인 차원 추정을 유도할 수 있는가?
• RQ4 지연 방정식에 대해 관성 다각형이 존재하는 조건은 무엇이며, 어떻게 구성할 수 있는가?
• RQ5 기존의 적립 연산자 기반 구성과 비교할 때, 제안된 방법은 단순성과 적용 가능성 측면에서 어떻게 다른가?

주요 결과

• 모든 초기 자료가 $\mathbb{H}$ 에 속할 때, $\mathbb{H}$ 상에서 추상적 지연 방정식 $\dot{v}(t) = Av(t) + BF(t,Cv(t))$ 에 대해 잘 정의된 일반해가 존재하며, 유일성과 시간 연속성이 보장된다.
• 해의 가족 $U(t,s)$ 는 부분공간 $\mathbb{E} = C([-\tau,0];\mathbb{R}^n)$ 에서 고전적 해법 연산자 $\widetilde{U}(t,s)$ 와 일치하여 일관성이 확보된다.
• 모든 유계 선형 $\widetilde{C}$ 에 대해 (MES) 조건이 성립하여, $L_1$-노름 추정을 통해 비선형 항을 제어할 수 있다.
• MES 및 (ULIP) 조건 하에서 반군이 미분 가능하며, 이를 통해 힐버트 공간 기하학을 적용하여 차원 추정이 가능하다.
• 스칼라 지연 방정식의 경우 효과적인 차원 추정이 도출되었으며, 제안된 프레임워크 하에서 문제의 비틀림이 있지만 해결 가능함을 보여준다.
• 관성 다각형이 존재하며, 기저 공간 $\mathcal{Q}$ 전역에서 일관되게 유계인 전역 흡인자 사상 $\Phi_q$ 의 리프시츠 연속성에 의해 구성된다.