[논문 리뷰] Almost automorphic funtions on time scales and almost automorphic solutions to shunting inhibitory cellular neural networks on time scales

Yongkun Li, Bing Li외 1명|arXiv (Cornell University)|2015. 04. 09.

Neural Networks Stability and Synchronization참고 문헌 27인용 수 3

한 줄 요약

이 논문은 거의 주기적 시간 척도의 새로운 개념을 제안하고, 이러한 척도 위에서 거의 자동형 함수를 정의하며, 시간 척도 위의 시간에 따라 변하는 지연을 가진 셔팅 억제 세포 신경망에 대한 거의 자동형 해의 존재성과 전역 지수 안정성을 확립한다. 주요 기여는 미분 방정식과 차분 방정식의 결과를 통합하고 확장하는 새로운 프레임워크를 제공하며, 지수 분할 조건 하에서 거의 자동형 해의 존재성을 증명하는 것이다.

ABSTRACT

In this paper, we first propose a new concept of almost periodic time scales, a new definition of almost automorphic functions on almost periodic time scales, and study some their basic properties. Then we prove a result ensuring the existence of an almost automorphic solution for both the linear nonhomogeneous dynamic equation on time scales and its associated homogeneous equation, assuming that the associated homogeneous equation admits an exponential dichotomy. Finally, as an application of our results, we establish the existence and global exponential stability of almost automorphic solutions to a class of shunting inhibitory cellular neural networks with time-varying delays on time scales. Our results about the shunting inhibitory cellular neural network with time-varying delays on time scales are new even for the both cases of differential equations(the time scale $\mathbb{T}=\mathbb{R})$ and difference equations(the time scale $\mathbb{T}=\mathbb{Z})$.

연구 동기 및 목표

• 더 엄격하지 않은 거의 주기적 시간 척도의 새로운 개념을 개발하여 주기적 구조를 초월한다.
• 이 새로운 거의 주기적 시간 척도 위에서 거의 자동형 함수를 정의하고 그 기본 성질을 연구한다.
• 지수 분할 조건 하에서 시간 척도 위의 선형 비동차 동적 방정식에 대해 거의 자동형 해의 존재성을 확립한다.
• 이론적 결과를 적용하여 시간 척도 위의 시간에 따라 변하는 지연을 가진 셔팅 억제 세포 신경망에서 거의 자동형 해의 존재성과 전역 지수 안정성을 증명한다.
• 이전 연구의 한계를 해결하기 위해 주기적 시간 척도를 초월하는 더 넓은 범주인 시간 척도로 결과를 일반화한다.

제안 방법

• 이동 집합 Π를 기반으로 하여 비주기적이지만 구조적인 시간 척도를 허용하는 거의 주기적 시간 척도의 새로운 정의를 제안한다.
• 이 시간 척도 위에서 번역의 수열 극한을 통한 거의 자동형 함수를 정의하여 고전적 거의 자동형의 일반화를 이룬다.
• 해당 동차 방정식의 지수 분할을 핵심 가정으로 삼아 유계이고 안정한 해를 보장한다.
• 변수의 매개변수 공식을 사용한 고정점 추론을 구성하여 비동차 방정식에 대한 거의 자동형 해의 존재성을 증명한다.
• 시간 척도 위의 시간에 따라 변하는 지연을 가진 셔팅 억제 세포 신경망의 클래스에 이 이론적 프레임워크를 적용한다.
• 명시적인 행렬 및 함수의 유계 조건을 사용하여 조건 (H1)–(H3)를 검증하고, 정리 5.1과 5.2를 적용하여 존재성과 안정성을 확인한다.

실험 결과

연구 질문

• RQ1 비주기적이지만 구조적인 시간 척도를 포함하는 더 일반적인 거의 주기적 시간 척도의 개념을 정의할 수 있는가?
• RQ2 이 새로운 거의 주기적 시간 척도 위에서 거의 자동형 함수를 엄밀히 정의할 수 있으며, 그 주요 분석적 성질은 무엇인가?
• RQ3 지수 분할 조건을 만족하는 동차 방정식이 존재할 때, 시간 척도 위의 선형 비동차 동적 방정식이 거의 자동형 해를 갖는 조건은 무엇인가?
• RQ4 거의 자동형 해 이론을 시간 척도 위의 시간에 따라 변하는 지연을 가진 셔팅 억제 세포 신경망에 적용할 수 있는가?
• RQ5 이러한 신경망의 거의 자동형 해는 전역적으로 지수적으로 안정한가?

주요 결과

• 논문은 주기적 시간 척도를 초월하는 더 일반적인 거의 주기적 시간 척도의 새로운 클래스를 성공적으로 정의하였으며, 더 넓은 응용 가능성을 제공한다.
• 시간 척도 위에서 거의 자동형 함수의 새로운 정의를 제안하였으며, 이는 기존 정의를 일반화하고 비주기적이지만 반복적인 행동을 허용한다.
• 동차 방정식이 지수 분할을 만족할 경우, 시간 척도 위의 선형 비동차 동적 방정식에 대해 거의 자동형 해의 존재성이 증명된다.
• 시간에 따라 변하는 지연을 가진 셔팅 억제 세포 신경망에 대해, 집합 {φ ∈ ℬ : ||φ||_ℬ ≤ ρ} 내에서 정확히 하나의 거의 자동형 해가 존재함을 확립하였다. 여기서 ρ = 1이다.
• 조건 (H1)–(H3)를 수치적 유계 조건을 통해 검증하여 거의 자동형 해가 전역적으로 지수적으로 안정됨을 확인하였다.
• 특수한 경우인 미분 방정식 (𝕋 = ℝ)과 차분 방정식 (𝕋 = ℤ)에서도 이 결과들은 새로운 것으로, 기존 분야의 연구를 확장한다.