[논문 리뷰] Existence and uniqueness of solutions to systems of delay dynamic equations on time scales

Başak Karpuz|arXiv (Cornell University)|2010. 01. 05.

Nonlinear Differential Equations Analysis인용 수 6

한 줄 요약

이 논문은 임의의 시간 체계 위에서 일阶 비선형 지연 동적 방정식 시스템에 대해 피카르-린델뢰프 정리를 수립하여 국소적 존재성과 유일성을 증명한다. 또한 선형 시스템에 대해 전역적 존재성과 유일성을 확장하고 주어진 해를 이용한 매개변수의 변형 공식을 유도함으로써, 임의의 시간 체계 위에서의 지연 동적 방정식에 관한 문헌에서 중요한 격차를 메운다.

ABSTRACT

The purpose of this paper is to establish Picard-Lindel\\"{o}f theorem for local uniqueness and existence results for first-order systems of nonlinear delay dynamic equations. In the linear case, we extend our results to global existence and uniqueness of solutions on the entire interval (allowed to be unbounded above), and prove the variation of parameters formula for the unique solution in terms of the principal solution. A simple example concerning the ordinary case is also provided.

연구 동기 및 목표

• 기존 문헌에서 시간 체계 위의 지연 동적 방정식 시스템에 대한 존재성 및 유일성 결과가 부족한 점을 보완하기 위해.
• 기본적인 피카르-린델뢰프 정리를 임의의 시간 체계 위의 비선형 지연 동적 방정식으로 확장하기 위해.
• 무한 구간 위에서 선형 지연 동적 방정식에 대해 전역적 존재성과 유일성을 확립하기 위해.
• 주어진 해를 이용하여 선형 시스템에 대한 매개변수의 변형 공식을 유도하기 위해.
• 주어진 해를 통한 해의 표현을 증명하여 지연 동적 방정식의 정성적 분석에 엄밀한 기초를 마련하기 위해.

제안 방법

• 시간 체계 위에서 초기 자료를 포함한 일阶 비선형 지연 동적 방정식 시스템을 설정하며, 상태에 의존하는 지연 함수 $\tau_i(t)\leq t$ 를 통해 분포된 지연을 포함시킨다.
• 바나흐 공간 내의 rd-연속 함수 공간에서 피카르-린델뢰프 고정점 방법을 적용하여 국소적 존재성과 유일성을 증명한다.
• 해 공간의 완비성과 지연 연산자의 구조를 활용하여, 무한 시간 체계 위의 선형 시스템에 대해 존재성과 유일성 결과를 확장한다.
• 동차 방정식에 대해 항등 초기 조건을 갖는 해로 주어진 해 $\mathcal{X}(t,s)$ 의 개념을 도입하며, 이는 rd-연속이면서 $[s,\gamma]_{\mathbb{T}}$ 에서 동적 방정식을 만족함을 보장한다.
• 강제항과 지연된 초기 값에 대한 적분을 포함하는 해를 주어진 해를 초기 자료에 적용한 것과 합으로 표현하는 매개변수의 변형 공식을 도출한다.
• 지연 지표를 초기 구간 내외로 분할하고 직접 미분을 통해 검증함으로써, 구성된 함수가 원래 동적 방정식을 점별로 만족함을 검증한다.

실험 결과

연구 질문

• RQ1 표준 연속성 및 리프시츠 유형 조건 하에서 시간 체계 위의 비선형 지연 동적 방정식 시스템에 대해 국소적 해가 존재하고 유일한가?
• RQ2 비선형 지연 동적 방정식의 국소적 존재성과 유일성 결과를 선형 지연 동적 방정식의 경우 무한 시간 체계 위에서 전역적 해로 확장할 수 있는가?
• RQ3 선형 지연 동적 방정식에 대해 일반적인 매개변수의 변형 공식이 주어진 해를 통해 표현될 수 있는가?
• RQ4 다양한 시간 체계 구조(예: $\mathbb{R}$, $\mathbb{Z}$, 또는 하이브리드 도메인)에서 주어진 해 $\mathcal{X}(t,s)$ 는 어떻게 행동하는가?
• RQ5 이 이론을 특수화하여 일반 미분 방정식 및 차분 방정식의 경우에 알려진 결과를 복원할 수 있는가?

주요 결과

• 논문은 피카르-린델뢰프 정리에 기반한 고정점 방법을 통해 시간 체계 위의 비선형 지연 동적 방정식 시스템에 대해 국소적 존재성과 유일성을 증명한다.
• 무한 시간 체계 위의 선형 지연 동적 방정식에 대해 표준적인 rd-연속성 및 재귀성 조건 하에서 전역적 존재성과 유일성을 확립한다.
• 해를 초기 자료에 주어진 해를 적용한 것과 강제항 및 지연된 초기 값에 대한 적분의 합으로 표현하는 매개변수의 변형 공식을 도출한다.
• 주어진 해 $\mathcal{X}(t,s)$ 는 동차 선형 시스템의 기본 해로써, $t \in [\beta,\gamma]^\kappa_{\mathbb{T}}$ 에서 $\mathcal{X}^\Delta(t,s) = \sum_{i=1}^n p_i(t)\mathcal{X}(\tau_i(t),s)$ 를 만족함을 보여준다.
• 지연 지표를 초기 구간 내외로 분할하고 분해함으로써, 구성된 함수가 $[\beta,\gamma]^\kappa_{\mathbb{T}}$ 에서 원래 동적 방정식을 점별로 만족함을 보여줌으로써 해 표현 공식을 엄밀히 검증한다.
• 이론은 알려진 결과를 복원한다: $\mathbb{T} = \mathbb{R}$ 인 경우 해는 지수 함수 $e_p(t,\beta)$ 를 포함하는 고전적인 매개변수의 변형 공식으로 줄어든다.