[논문 리뷰] Shift operators and stability in delayed dynamic equations

Murat Adıvar, Youssef N‎. ‎Raffoul‎|arXiv (Cornell University)|2011. 01. 18.

Nonlinear Differential Equations Analysis참고 문헌 18인용 수 20

한 줄 요약

이 논문은 시간 척도 위의 지연 동적 방정식에 대해 리아프노프 함수를 구성하기 위해 이동 연산자(Shift operators)를 도입한다. 이를 통해 미분방정식, 차분방정식, q-차분방정식을 통합적으로 안정성 및 부안정성 분석이 가능해지며, 이는 이전에 존재하지 않았던 비가산 시간 척도(non-additive time scales)에서도 적용 가능하다. 리아프노프 직접법을 이동 연산자를 통해 일반화함으로써, 기존 결과들을 확장하고 개선한 명시적인 지수 안정성 조건을 도출한다.

ABSTRACT

In this paper, we use what we call the shift operator so that general delay dynamic equations of the form \[ x^Δ(t)=a(t)x(t)+b(t)x(δ_{-}(h,t))δ_{-}^Δ% (h,t),\ \ \ t\in\lbrack t_{0},\infty)_{\mathbb{T}}% \] can be analyzed with respect to stability and existence of solutions. By means of the shift operators we define a general delay function opening an avenue for the construction of Lyapunov functional on time scales. Thus, we use the Lyapunov's direct method to obtain inequalities that lead to stability and instability. Therefore, we extend and unify stability analysis of delay differential, delay difference, delay $h-$difference, and delay $q-$difference equations which are the most important particular cases of our delay dynamic equation. extbf{Keywords}: Delay dynamic equation, instability, shift operators, stability, time scales.

연구 동기 및 목표

• 임의의 시간 척도 위의 지연 동적 방정식에 대한 통합된 안정성 분석 프레임워크를 개발하기 위해.
• 이전의 리아프노프 함수 방법이 가산 시간 척도를 요구하는 한계를 극복하기 위해.
• 지연 미분방정식, 차분방정식, h-차분방정식, q-차분방정식에 대한 기존 안정성 결과를 확장하고 일반화하기 위해.
• 이동 연산자를 사용하여 지수 안정성과 부안정성에 대한 새로운 충분조건을 수립하기 위해.
• 일般적인 지연 함수에 적용 가능한 리아프노프 함수를 구성하는 구축 가능한 방법을 제공하기 위해.

제안 방법

• 지연 함수를 일반화하기 위해 시간 척도 위에서 정의된 이동 연산자 δ₋(h,t) 및 δ₊(h,t)를 도입한다.
• 이동 연산자를 활용해 지연된 간격에 대한 적분을 포함하는 리아프노프 함수 V(t)를 구성한다.
• V(t)의 델타 미분에 대한 부등식을 유도함으로써 시간 척도 위의 리아프노프 직접법을 적용한다.
• a(t), b(t), δ₋(h,t), δ₋Δ(h,t)를 포함하는 부등식을 통해 지수 안정성에 대한 충분조건을 도출한다.
• 리아프노프 함수 도함수의 부호와 성장률을 분석하여 부안정성 기준을 수립한다.
• 특정 시간 척도, 즉 ℝ, ℤ, 그리고 비가산 척도인 q^ℤ와 √ℕ에서 방법을 검증한다.

실험 결과

연구 질문

• RQ1 이동 연산자를 사용하여 임의의 시간 척도에서 일반 지연 함수를 정의하고, 이를 통해 리아프노프 함수를 구성할 수 있는가?
• RQ2 비가산 시간 척도에서 지연 동적 방정식에 대해 리아프노프 직접법을 어떻게 확장할 수 있는가?
• RQ3 지연 동적 방정식의 영해가 지수 안정성이 보장되는 조건은 무엇인가?
• RQ4 기존 접근 방식에 비해 제안된 방법이 더 강력한 안정성 결과를 도출하는 경우는 언제인가?
• RQ5 기존 기준이 실패할 경우, 이 방법은 부안정성을 탐지할 수 있는가?

주요 결과

• 이전 기준들인 [3, Theorem 6] 및 [22, Corollary 1]이 확립하지 못했던 지연 미분방정식 x′(t) = x(t) - 1.5x(t - 1/3)에 대해, 제안된 방법은 영해의 지수 안정성을 보장한다.
• b(t) = -0.9, h = 2/3 인 방정식 xΔ(t) = b(t)x(δ₋(h,t))δ₋Δ(h,t)에 대해, 이 방법은 지수 안정성을 확인한다. 반면 [3, Theorem 7] 및 [22, Corollary 1]은 적분 조건 위반으로 실패한다.
• a(t) = 1, b(t) = -1.5, δ₋(h,t) = t - 1/3 인 예시에서 논문의 프레임워크 내 조건 (4.6)가 성립하여 지수 안정성이 보장된다.
• 이 방법은 이전 리아프노프 방법이 적용 불가능한 비가산 시간 척도인 q^ℤ 및 √ℕ도 성공적으로 처리한다.
• 비고 1은 λ, β(t), μ(t), b(δ₊(h,t))를 포함하는 명시적인 지수 안정성 충분조건을 제공하며, 기존 결과를 일반화한다.
• 논문은 제안된 안정성 기준이 특정 방정식 클래스에 대해 [3, Theorem 7] 및 [22, Corollary 1]의 기준보다 엄밀히 더 강력하다는 것을 보여준다.