[논문 리뷰] Equilibrium configurations for generalized Frenkel-Kontorova models on quasicrystals

Rodrigo Treviño|arXiv (Cornell University)|2017. 03. 14.

Quasicrystal Structures and Properties참고 문헌 22인용 수 5

한 줄 요약

이 논문은 유한 국소 복잡도를 갖는 자기유사적이고 반복적인 델로네 집합에서 유도된 거의주기적 포텐셜을 사용하여, 퀀티크리스탈 격자상의 일반화된 프렌켈-콘토로바 모델에 대해 평형 구성이 존재함을 증명한다. 반-통합한 극한 기법과 회전 벡터가 주어진 구성 공간에서의 수축 사상 논증을 적용하여, 미세한 매끄러움성과 비퇴화 조건 하에서 다차원 및 비정현적 설정에서도 주어진 회전 수 또는 벡터에 대해 평형 해가 존재함을 입증한다.

ABSTRACT

I study classes of generalized Frenkel-Kontorova models whose potentials are given by almost-periodic functions which are closely related to aperiodic Delone sets of finite local complexity. Since such Delone sets serve as good models for quasicrytals, this setup presents Frenkel-Kontorova models for the type of aperiodic crystals which have been discovered since Shechtman's discovery of quasicrystals. Here I consider models with configurations $u:\mathbb{Z}^r ightarrow \mathbb{R}^d$, where $d$ is the dimension of the quasicrystal, for any $r$ and $d$. The almost-periodic functions used for potentials are called pattern-equivariant and I show that if the interactions of the model satisfies a mild $C^2$ requirement, and if the potential satisfies a mild non-degeneracy assumption, then there exist equilibrium configurations of any prescribed rotation rotation number/vector/plane. The assumptions are general enough to satisfy the classical Frenkel-Kontorova models and its multidimensional analogues. The proof uses the idea of the anti-integrable limit.

연구 동기 및 목표

• 델로네 집합에서 유도된 거의주기적 포텐셜을 사용하여 고전적 프렌켈-콘토로바 모델을 비정현적이고 퀀티크리스탈 격자로 일반화한다.
• 다차원 및 비정현적 설정에서 임의의 회전 벡터를 갖는 일반화된 모델에 대해 평형 구성의 존재를 확립한다.
• 고차원 래티스(Z^r)와 고차원 구성 공간(R^d)로의 고전적 변분 및 역학적 프레임워크를 일반화한다.
• 포텐셜과 상호작용 항에 대해 최소한의 정규성 및 비퇴화 조건 하에서 존재 결과를 입증한다.
• 유한 국소 복잡도와 자기유사적 스케일링을 갖는 시스템에서 평형 해를 위한 프레임워크를 개발한다. 이는 퀀티크리스탈 물리학과 관련된다.

제안 방법

• 모델은 Z^r 위에서 정의되며, 구성 u: Z^r → R^d를 사용한다. 상호작용 {HB}는 Z^r의 유한 부분집합 B ⊂ Z^r 에 따라 인덱싱된다.
• 행동 기능 A(u)는 국소 상호작용 HB(u)와 포텐셜 V(ui)를 조합하여 구성되며, V는 C3이면서 Λ-등변성(패턴-등변성)을 만족한다고 가정한다.
• 평형 구성은 변분 방정식 ∇ui A(u) = 0 의 해로서, 이는 이산 라플라스 연산자와 포텐셜 기울기의 비선형 시스템으로 축소된다.
• 반-통합한 극한 기법은 자기유사적 확장에 관련된 스케일링 매개변수 A^{-n}을 도입하여 적용된다. 이는 델로네 집합 Λ의 자기유사적 변환과 관련된다.
• 수축 사상 논증은 특정 기준 구성 a ∈ W^{η,h,R,n}_V 에 가까운 구성 공간에서 수행되며, 이는 포텐셜 기울기의 역함수와 국소 상호작용 항을 이용해 정의된 사상 Φ를 통해 수행된다.
• 증명은 K-사상(∇V의 역함수)의 이차 도함수에 대한 균일한 경계와, 약자화된 고유값 λ_d > 1에 의한 감쇠 추정에 기반한다.

실험 결과

연구 질문

• RQ1 임의의 회전 벡터를 갖는 일반화된 프렌켈-콘토로바 모델이 퀀티크리스탈 격자상에서 평형 구성이 존재할 수 있는가?
• RQ2 비정현적이고 국소 복잡도가 유한한 설정에서 이러한 평형 해의 존재를 보장하기 위해 포텐셜과 상호작용 항에 어떤 조건이 필요한가?
• RQ3 반-통합한 극한 기법은 자기유사적 스케일링을 갖는 퀀티크리스탈 격자에 어떻게 일반화될 수 있는가?
• RQ4 고전적 결과인 회전 수와 불변 집합의 성질이 다차원 및 비정현적 시스템으로 어떻게 확장되는가?
• RQ5 구성 공간에서 주어진 점근적 행동 h(i) = u(i)/i 를 갖는 평형 해의 존재는 언제나 보장될 수 있는가?

주요 결과

• 임의의 주어진 회전 벡터 h: Z^r → R^d 에 대해, 포텐셜 V에 대해 C3 조건과 비퇴화 조건이 만족될 경우, 최소한 하나의 평형 구성 u ∈ C^{h}_{Z^{r},d} 가 존재하며, 이는 변분 방정식 (5)를 만족한다.
• 자기유사적이고 반복적인 델로네 집합에서 유한 국소 복잡도를 갖는 일반화된 프렌켈-콘토로바 모델에 대해 이러한 평형 구성의 존재가 보장된다.
• 증명은 충분히 큰 η와 R에 대해 모든 n ∈ N ∪ {0} 에 대해 집합 W^{η,h,R,n}_V 가 비어 있지 않음을 보여주며, 이는 수축 사상에 필요한 기준 구성 a 가 존재함을 보장한다.
• 근처 구성 Π^{ε,h}_{V,η}(a) 에서 정의된 수축 사상 Φ_{ε,h,n,V,a,η} 이 존재하며, 이는 고유한 고정점을 가지며 이는 평형 구성에 해당한다.
• 수축 성질은 약자화된 고유값 λ_d > 1 에 기인한 지수 감쇠 덕분에 확보되며, 이는 반복적 절차의 균일 수렴성을 보장한다.
• 최종적으로 도출된 평형 구성 u 는 ∥u_i − h(i)∥ < ∞ 를 만족하며, 이는 이산 오일러-라그랑주 방정식 (14) 의 해임을 확인하여 물리적 의미를 갖는다.