[논문 리뷰] Spectrum and eigen functions of the operator $H_U f(x)\equiv f(U-1/x)/x^2$ and strange attractor's density for the mapping $x_{n+1}=1/(U-x_n)$

G. G. Kozlov|ArXiv.org|2008. 03. 13.

Advanced Mathematical Modeling in Engineering인용 수 6

한 줄 요약

이 논문은 비에르미트 연산자 $ H_U f(x) = f(U - 1/x)/x^2 $ 의 스펙트럼 문제를 해결하며, $ |U| < 2 $ 인 경우 정확한 고유함수와 고유값을 도출하고, 맵 $ x_{n+1} = 1/(U - x_n) $ 의 이상한 애트랙터의 불변 밀도와의 직접적인 연결을 수립한다. 핵심 결과는 애트랙터의 밀도에 대한 명시적 공식: $ \rho(z) = \frac{\sqrt{4 - U^2}}{2\pi(z^2 - U z + 1)} $ 로, 수치 시뮬레이션에 의해 확인된다.

ABSTRACT

We solve exactly the spectral problem for the non-Hermitian operator $H_U f(x)\equiv f(U-1/x)/x^2$. Despite the absence of orthogonality, the eigen functions of this operator allow one to construct in a simple way the expansion of an arbitrary function in series. Explicit formulas for the expansion coefficients are presented. This problem is shown to be connected with that of calculating the strange attractor's density for the map $x_{n+1}=1/(U-x_n)$. The explicit formula for the strange attractor's density for this map is derived. All results are confirmed by direct computer simulations.

연구 동기 및 목표

• 비에르미트 연산자 $ H_U f(x) = f(U - 1/x)/x^2 $ 의 스펙트럼 문제를 유한성 조건과 $ |U| < 2 $ 조건 하에서 해결하기.
• 연산자 $ H_U $ 의 고유함수와 맵 $ x_{n+1} = 1/(U - x_n) $ 의 이상한 애트랙터의 불변 밀도 사이의 관계를 수립하기.
• $ |U| < 2 $ 영역에서 이상한 애트랙터의 밀도에 대한 명시적 해석적 공식 유도하기.
• 직접적인 컴퓨터 시뮬레이션을 통한 분석 결과의 검증하기.

제안 방법

• 연산자 $ H_U $ 의 반복과 함수방정식 $ H_U \sigma = \lambda \sigma $ 분석을 통해 고유함수 $ \sigma_U^\lambda(x) $ 를 유도하기.
• 변환 $ T x = U - 1/x $ 를 사용하여 고유함수 재귀식을 $ \sigma(x) = \lambda^{-n} \left[ \prod_{k=0}^{n-1} T^k x \right]^{-2} \sigma(T^n x) $ 로 표현하기.
• 고유함수의 유한성을 유지하기 위해 고유값 $ \lambda $ 가 $ |\lambda| = 1 $, 즉 $ \lambda = e^{i\phi} $ 를 만족해야 한다는 것을 확인하기.
• 고유함수를 $ \sigma(x) = \mathcal{L}_U(x) e^{i\theta(x)} $ 로 구성하기. 여기서 $ \mathcal{L}_U(x) = \frac{\sqrt{4 - U^2}}{2\pi(x^2 - Ux + 1)} $ 는 로렌츠 밀도이다.
• 유리함수 추측 $ G(x) = (1 + a x)/(1 + b x) $ 를 사용하여 함수방정식 $ \theta(U - 1/x) - \theta(x) = \phi + 2\pi M(x) $ 를 해결하고, $ \theta(x) = 2 \arctan\left( \frac{x \sin\phi}{x(1 + \cos\phi) - U} \right) $ 를 도출하기.
• 고유값 1을 가진 $ H_U $ 의 고유함수로써 애트랙터 밀도 $ \rho(z) $ 를 유도하며, $ \mathcal{L}_U(z) $ 와 일치함을 확인하기.

실험 결과

연구 질문

• RQ1 비에르미트 연산자 $ H_U f(x) = f(U - 1/x)/x^2 $ 의 고유값과 고유함수는 $ |U| < 2 $ 인 경우 어떻게 되는가?
• RQ2 연산자 $ H_U $ 의 스펙트럼 구조는 맵 $ x_{n+1} = 1/(U - x_n) $ 의 이상한 애트랙터의 불변 밀도와 어떻게 관련되어 있는가?
• RQ3 $ |U| < 2 $ 의 혼돈 영역에서 이상한 애트랙터의 밀도에 대한 명시적 해석적 공식을 도출할 수 있는가?
• RQ4 함수방정식 $ \rho(z) = \frac{1}{z^2} \rho(U - 1/z) $ 는 애트랙터 밀도를 결정하는 데 어떤 역할을 하는가?
• RQ5 고유함수의 정규직교성이 없음에도 불구하고 $ H_U $ 의 고유함수는 임의의 함수의 급수 전개에 어떻게 기여하는가?

주요 결과

• 연산자 $ H_U $ 의 고유함수는 $ \sigma_U^\lambda(x) = \mathcal{L}_U(x) e^{i\theta(x)} $ 의 형태를 가지며, 여기서 $ \theta(x) = 2 \arctan\left( \frac{x \sin\phi}{x(1 + \cos\phi) - U} \right) $ 이고, $ \phi = \arctan\left( \frac{|U|\sqrt{4 - U^2}}{U^2 - 2} \right) $ 는 $ \sqrt{2} < |U| < 2 $ 인 경우, $ \phi = \arctan\left( \frac{|U|\sqrt{4 - U^2}}{U^2 - 2} \right) + \pi $ 는 $ |U| < \sqrt{2} $ 인 경우이다.
• 고유함수의 유한성을 확보하기 위해 고유값은 $ |\lambda| = 1 $ 이어야 하며, 따라서 $ \lambda = e^{i\phi} $ 이다.
• 맵 $ x_{n+1} = 1/(U - x_n) $ 의 이상한 애트랙터의 불변 밀도는 $ \rho(z) = \frac{\sqrt{4 - U^2}}{2\pi(z^2 - U z + 1)} $ 로 주어지며, 이는 고유값 1을 가진 $ H_U $ 의 고유함수이다.
• 다양한 $ U $ 값에 대해 수치 시뮬레이션 결과와 유사한 결과를 보이며, $ |U| < 2 $ 범위 내에서 유도된 밀도 공식이 검증된다.
• $ |U| > 2 $ 인 경우, 애트랙터 밀도는 승수 $ \ae $ 의 값에 따라 $ z = 1/\theta $ 나 $ z = 1/\xi $ 에 있는 델타 함수로 분해된다.
• 함수방정식 $ \rho(z) = \frac{1}{z^2} \rho(U - 1/z) $ 는 맵의 동역학으로부터 유도되며, $ H_U $ 의 스펙트럼 문제의 해로서 애트랙터 밀도를 유일하게 결정한다.