[논문 리뷰] Border Collision Bifurcations in n-Dimensional Piecewise Linear Discontinuous Maps

Partha Sharathi Dutta, Bitihotra Routroy외 2명|ArXiv.org|2006. 01. 16.

Chaos control and synchronization참고 문헌 15인용 수 6

한 줄 요약

이 논문은 불연속적인 n차원 조각별 선형 불연속 사상에서 경계 충돌 분기 현상을 분석하기 위한 일반적인 프레임워크를 개발한다. Feigin의 접근 방식을 불연속 시스템으로 확장하여, 두 개aram터를 가진 조각별 선형 정규형을 사용해 주기-1 및 주기-2 固定点의 존재 조건을 명시적으로 유도하였다. 2차원 사상 예시를 통해 특정 매개변수 영역에서 안정적인 주기-2 궤도가 존재하는 것을 검증하였다.

ABSTRACT

In this paper we report some important results that help in analizing the border collision bifurcations that occur in n-dimensional discontinuous maps. For this purpose, we use the piecewise linear approximation in the neighborhood of the plane of discontinuity. Earlier, Feigin had made a similar analysis for general n-dimensional piecewise smooth continuous maps. Proceeding along similar lines, we obtain the general conditions of existence of period-1 and period-2 fixed points before and after a border collision bifurcation. The application of the method is then illustrated using a specific example of a two-dimensional discontinuous map.

연구 동기 및 목표

• 전자 회로 및 제어 시스템에서 흔한 n차원 불연속 사상에 대한 종합적인 분기 이론을 개발하기 위해.
• 특히 연속 조각별 미분 가능 사상에 비해 체계적인 분석 도구가 부족한 불연속 사상에 대한 분석의 부족을 보완하기 위해.
• 연속 사상에 대해 개발된 Feigin의 방법을 불연속 시스템으로 확장하여, 경계 충돌 분기를 통한 급격한 역학적 전이를 연구할 수 있도록 하기 위해.
• 불연속적인 n차원 사상에서 주기-1 및 주기-2 고정점의 존재에 대한 일반 조건을 도출하기 위해.
• 구체적인 2차원 불연속 사상과 수치 시뮬레이션을 통해 이론적 프레임워크를 검증하기 위해.

제안 방법

• 두 영역이 초평면으로 분리된 불연속 사상에 대한 조각별 선형 정규형을 수립하며, A₁ 및 A₂ 행렬은 첫 번째 열을 제외하고 동일한 열을 가진다.
• 불연속 길이의 변화를 모델링하기 위해 두 매개변수 μ₁ 및 μ₂를 도입하며, 양측에 영향을 주는 공통 벡터 C를 사용한다.
• X* = A₁X* + Cμ₁ (x₁* < 0 인 경우) 및 X* = A₂X* + Cμ₂ (x₁* > 0 인 경우)를 풀어 주기-1 고정점의 존재 조건을 유도하며, 이는 트레이스 τ 및 행렬식 δ에 대한 선형 시스템으로 표현된다.
• 주기-2 궤도의 존재 조건을 유도하기 위해 연립 방정식 X** = A₁X* + Cμ₁ (x₁* < 0) 및 X* = A₂X** + Cμ₂ (x₁** > 0)를 풀며, 이는 τ_L, τ_R, δ_L, δ_R에 대한 표현식을 도출한다.
• 주기-2 궤도의 안정성을 평가하기 위해 A₁A₂의 고유값을 사용하며, 고유값이 크기가 1 이하인 복소수일 경우 안정성을 확인한다.
• 수치적 분기 다이어그램을 통해 결과를 검증하였으며, μ₁를 분기 매개변수로 사용한 2차원 사상에서 이론적 예측과 시뮬레이션 동역학 간의 일치를 보였다.

실험 결과

연구 질문

• RQ1 n차원 불연속 조각별 선형 사상에서 주기-1 고정점이 존재하는 일반 조건은 무엇인가?
• RQ2 특히 불연속성 기준선을 가로질러 각 영역에 한 점씩 있는 경우, 주기-2 궤도가 어떤 매개변수 조건에서 나타나는가?
• RQ3 하위행렬의 트레이스와 행렬식이 불연속 시스템에서 주기적 궤도의 존재 및 안정성에 어떤 영향을 미치는가?
• RQ4 이론적 프레임워크는 2차원 불연속 사상에서 분기 경계와 안정성 전이를 예측할 수 있으며, 이는 시뮬레이션 결과와 어떻게 비교되는가?
• RQ5 μ₁ 및 μ₂ 매개변수가 불연속 길이가 변화할 경우 주기적 궤도의 존재 범위를 어떻게 결정하는가?

주요 결과

• 주기-1 고정점은 μ₁ < 0 및 μ₂ < 0 인 경우 존재하며, 고정점은 각각 왼쪽 및 오른쪽 영역에 위치한다. 이는 표 1과 시뮬레이션으로 확인되었다.
• τ_L = 0.7, δ_L = 0.3, τ_R = 0.2, δ_R = 0.3 인 2차원 예시에서, μ₂ = -0.025 일 때 주기-2 궤도는 μ₁ = 0.01346에서 μ₁ = 0.1625 사이에 존재한다.
• 주기-2 궤도는 안정적이다. A₁A₂의 고유값은 λ₁ = -0.23 + 0.19i 및 λ₂ = -0.23 - 0.19i이며, 크기는 1 미만이다.
• 주기-2 궤도의 존재는 부등식 τ_L τ_R > (1 + δ_L)(1 + δ_R) 또는 τ_L τ_R < (1 + δ_L)(1 + δ_R)에 의해 결정되며, 이는 매개변수 공간에서 서로 다른 영역을 정의한다.
• 그림 10의 분기 다이어그램은 μ₁ < 0 인 경우 주기-1 궤도가 존재하고, μ₁ > 0.01346 인 경우 주기-2 궤도가 나타나는 것으로 확인되었으며, 이는 이론적 예측과 일치한다.
• 주기-2 존재 조건은 τ_L τ_R > (1+δ_L)(1+δ_R) 인 경우 μ₂/μ₁ ∈ (−τ_R/(1+δ_R), −(1+δ_L)/τ_L)이며, 그 반대의 경우는 역순 간격이다.