[논문 리뷰] Toroidal normal forms for bifurcations in retarded functional differential equations II: Saddle-node/multiple Hopf interaction

Younsun Choi, Victor G. LeBlanc|ArXiv.org|2005. 07. 04.

Nonlinear Dynamics and Pattern Formation참고 문헌 14인용 수 3

한 줄 요약

이 논문은 안정성 문제를 겪는 평형점에서 발생하는 안정성-다중 허프 분기 상호작용 근처의 지연 함수 미분방정식(RFDEs)에 대해 실현 가능성 문제를 해결하기 위한 프레임워크를 개발한다. Faria와 Magalhães의 정규형 절차를 비-단순한 경우, 즉 노르멀형에 니플로텐트 구조가 존재하는 경우에 적응시켜, 컴act한 토러스와 비-콤팩트 덧셈군을 조합한 대칭군을 도입함으로써 이전의 단순한 실현 가능성 결과를 활용할 수 있도록 한다. 주요 기여는 이 복잡한 분기 시나리오에서 실현 가능성 문제를 완전히 해결한 것으로, 반복되는 고유값과 조르당 블록이 존재하는 일반화된 경우로의 확장 가능성을 시사한다.

ABSTRACT

In this paper, we study the realizability problem for retarded functional differential equations near an equilibrium point undergoing a nonlinear mode interaction between a saddle-node bifurcation and a non-resonant multiple Hopf bifurcation. In contrast to the case of transcritical/multiple Hopf interaction which was studied in an earlier paper, the analysis here is complicated by the presence of a nilpotency which introduces a non-compact component in the symmetry group of the normal form. We present a framework to analyse the realizability problem in this non-semisimple case which exploits to a large extent our previous results for the realizability problem in the semisimple case. Apart from providing a solution to the problem of interest in this paper, it is believed that the approach used here could potentially be adapted to the study of the realizability problem for toroidal normal forms in the general case of repeated eigenvalues with Jordan blocks.

연구 동기 및 목표

• 스칼라 RFDEs에서 안정성-다중 허프 분기 상호작용을 포함하는 분기점 근처의 실현 가능성 문제를 다루는 것.
• 이전의 단순한 경우에서 관찰되지 않았던, 정규형에 존재하는 니플로텐트 성분으로 인해 발생하는 비-콤팩트 성분을 포함한 대칭군의 도입으로 인해 발생하는 도전 과제를 극복하는 것.
• 비-콤팩트 대칭군이 존재하더라도 이전의 단순한 경우에서의 실현 가능성 결과를 활용할 수 있는 프레임워크를 개발하는 것.
• 완전한 실현 가능성에 필요한 독립적인 지연 수를 최적화한 해를 제공하는 것.
• 반복되는 고유값과 조르당 블록을 포함하는 일반적인 경우로의 실현 가능성 분석을 확장하기 위한 기반을 마련하는 것.

제안 방법

• 스칼라 RFDEs에서의 안정성-다중 허프 상호작용의 비-단순한 경우에 Faria와 Magalhães의 정규형 절차를 적응시키는 것.
• 안정성-다중 허프 상호작용의 정규형의 대칭군을, 안정성 성분의 니플로텐트 성분으로 인해 발생하는 컴팩트한 토러스와 비-콤팩트 덧셈군(실수선 R과 동형)의 직접곱으로 식별하는 것.
• 정규형을 반지름 성분과 각도 성분으로 분해하여, 전개 매개변수 ν와 비선형 항에 의해 지배되는 반지름 역학의 실현 가능성에 집중하는 것.
• 군 Γ₀ 위의 프로젝션 연산자 Aˋracket을 사용하여 함수 공간을 불변 부분공간으로 분리함으로써, 선형 연산자 L_B,ν의 핵과 상(im)을 분석할 수 있도록 하는 것.
• 함수 공간의 직합 분해를 확립: H^{2p+2+s}_ℓ(R^{2p+1}) = H^{2p+1+s}_ℓ(R^{2p+1}, T^p) ⊕ range L_B,ν. 이는 이전의 단순한 실현 가능성 결과의 적용 가능성을 보장한다.
• 레마 A.1과 시간 평균의 극한 성질(레마 B.1을 통한)을 적용하여, 특정 성분이 반드시 0이 되어야 하며, 이는 정규형 내 특정 항의 소멸을 증명한다.

실험 결과

연구 질문

• RQ1 지연 함수 미분방정식이 안정성-다중 허프 분기 상호작용을 겪을 때의 정규형의 구조는 어떠한가?
• RQ2 안정성 성분의 니플로텐트 항 존재가 정규형의 대칭군에 어떤 영향을 미치는가?
• RQ3 비-단순한 경우에서 반지름 성분의 실현 가능성 문제는, 비-콤팩트 대칭 성분이 존재함에도 불구하고 해결될 수 있는가?
• RQ4 이전의 단순한 경우에서의 실현 가능성 결과는 이 비-콤팩트 설정으로 얼마나 잘 일반화될 수 있는가?
• RQ5 이 분기 시나리오에서 완전한 실현 가능성에 필요한 독립적인 지연 수는 최적인가?

주요 결과

• 안정성-다중 허프 상호작용의 정규형의 대칭군은 안정성 성분의 니플로텐트 성분으로 인해 컴팩트한 토러스 T^p와 실수선 R과 동형인 비-콤팩트 군의 직접곱으로 구성된다.
• 함수 공간의 분해: H^{2p+2+s}_ℓ(R^{2p+1}) = H^{2p+1+s}_ℓ(R^{2p+1}, T^p) ⊕ range L_B,ν로 이루어지며, 이는 이전의 단순한 실현 가능성 결과의 적용 가능성을 보장한다.
• 반지름 역학은 유한 개의 독립적인 지연을 사용하여 RFDEs에서 완전히 실현 가능하며, 이 프레임워크는 이 수가 최적임을 보장한다.
• 시간 평균화와 선형 연산자 L_B,ν의 구조를 이용하여, g^x_0와 h^x와 같은 특정 항의 소멸이 엄밀히 증명된다.
• 실현 가능성 문제의 해는 최적이며, Faria와 Magalhães, Buono와 Bélair의 이전 결과를 확장한다.
• 이 접근법은 반복되는 고유값과 조르당 블록이 존재하는 경우의 토러스 정규형 연구로 일반화 가능하다.