We introduce a class of real analytic "peaky" potentials for which the corresponding quasi-periodic 1D Schrödinger operators exhibit, for quasiperiodic frequencies in a set of positive Lebesgue measure, both absolutely continuous and pure point spectrum.
معرّف الورقة : 1901.04418العنوان : Coexistence of ac and pp spectrum for kicked quasi-periodic potentialsالمؤلفون : K. Bjerklöv (معهد KTH الملكي للتكنولوجيا)، R. Krikorian (جامعة Cergy-Pontoise، CNRS)التصنيف : math.DS (الأنظمة الديناميكية)تاريخ النشر : 14 يناير 2019 (arXiv v1)رابط الورقة : https://arxiv.org/abs/1901.04418 تقدم هذه الورقة فئة من دوال الجهد الحقيقية التحليلية "الحادة" (peaky)، حيث يُظهر مؤثر شرودنجر شبه الدوري أحادي البعد المقابل الطيف المستمر المطلق (absolutely continuous spectrum) والطيف النقطي البحت (pure point spectrum) بشكل متزامن على مجموعة من التكرارات شبه الدورية ذات قياس Lebesgue موجب.
تعتبر نظرية الطيف لمؤثرات شرودنجر شبه الدورية من المسائل الأساسية في الفيزياء الرياضية. بالنسبة للمؤثر H V , α , x : l 2 ( Z ) → l 2 ( Z ) H_{V,\alpha,x}: l^2(\mathbb{Z}) \to l^2(\mathbb{Z}) H V , α , x : l 2 ( Z ) → l 2 ( Z ) المعرّف بـ:
( H V , α , x u ) n = u n + 1 + u n − 1 + V ( x + n α ) u n (H_{V,\alpha,x}u)_n = u_{n+1} + u_{n-1} + V(x+n\alpha)u_n ( H V , α , x u ) n = u n + 1 + u n − 1 + V ( x + n α ) u n
حيث V : T → R V: \mathbb{T} \to \mathbb{R} V : T → R دالة الجهد، α \alpha α التكرار، وx x x الطور. تتضمن المسائل الرئيسية:
الخصائص الطوبولوجية للطيف Σ V , α \Sigma_{V,\alpha} Σ V , α (هل هي مجموعة كانتور) نوع الطيف لقياس الطيف μ V , α , x \mu_{V,\alpha,x} μ V , α , x (مستمر مطلق، متفرد مستمر أو ذري) حالة الجهد الصغير (نظرية Eliasson) : عندما يكون الجهد V = λ v V = \lambda v V = λ v (λ \lambda λ صغيرة كافية) والتكرار α \alpha α من نوع Diophantine، يكون الطيف مستمراً مطلقاً.
حالة الجهد الكبير (نظرية Bourgain-Goldstein) : عندما تكون λ \lambda λ كبيرة كافية وv v v حقيقية تحليلية، بالنسبة لمجموعة كاملة من التكرارات، يكون الطيف نقطياً بحتاً ويحقق التموضع الأندرسوني.
الحالة الحرجة : مؤثر Almost Mathieu v = 2 cos ( 2 π ⋅ ) v = 2\cos(2\pi\cdot) v = 2 cos ( 2 π ⋅ ) عند λ = 1 \lambda = 1 λ = 1 يحدث فيه انتقال.
المشكلة الأساسية : هل يمكن بناء دالة جهد حقيقية تحليلية بحيث يمتلك مؤثر شرودنجر المقابل مكونات طيف مستمر مطلق ونقطي بحت بشكل متزامن؟
حدود العمل الموجود :
بنى Avila 1 اضطرابات حقيقية تحليلية بالقرب من الاقتران الحرج λ = 1 \lambda=1 λ = 1 ، محققاً تعايش الطيف المستمر المطلق والنقطي البحت بنى Bourgain 8 أمثلة على جهود شبه دورية ثنائية التكرار تعتمد هذه البناءات بشكل أساسي على نظرية الاضطراب بالقرب من النقاط الحرجة الابتكار في هذه الورقة : تقديم فئة من دوال الجهد "الحادة"، وهذه الدوال:
لا تحتاج إلى أن تكون صغيرة جداً (وإلا فإن نظرية Eliasson تعطي فقط طيفاً مستمراً مطلقاً) لا تحتاج إلى أن تكون كبيرة جداً (وإلا فإن نظرية Bourgain-Goldstein تعطي فقط طيفاً نقطياً بحتاً) تمتلك شكلاً هندسياً خاصاً (شكل حاد) مجموعة التكرارات قريبة من الأعداد النسبية إدخال فئة دوال الجهد "الحادة" P ∞ \mathcal{P}^\infty P ∞ : تعريف فئة من الدوال الملساء التي تحقق:V ≥ 0 V \geq 0 V ≥ 0 الحامل supp ( V ) \text{supp}(V) supp ( V ) مجموعة جزئية حقيقية من T \mathbb{T} T قيمة عظمى فريدة عند نقطة x ∗ x^* x ∗ في داخل الحامل بخلاف نقطة القيمة العظمى، V ′ ( x ) ≠ 0 V'(x) \neq 0 V ′ ( x ) = 0 النظرية الرئيسية A : بالنسبة لـ V ∈ P ∞ V \in \mathcal{P}^\infty V ∈ P ∞ التي تحقق K ( V ) > 10 K(V) > 10 K ( V ) > 10 و L ( V ) < 1 / q L(V) < 1/q L ( V ) < 1/ q ، يوجد ε > 0 \varepsilon > 0 ε > 0 بحيث لأي اضطراب حقيقي تحليلي V ~ \tilde{V} V ~ (ε \varepsilon ε -قريب من V V V بمعنى C s 0 C^{s_0} C s 0 )، توجد مجموعة تكرارات كاملة A q ( V ~ ) ⊂ ⋃ p = 0 q − 1 D p / q ( η ) A_q(\tilde{V}) \subset \bigcup_{p=0}^{q-1} D_{p/q}(\eta) A q ( V ~ ) ⊂ ⋃ p = 0 q − 1 D p / q ( η ) بحيث يمتلك H V ~ , α , 0 H_{\tilde{V},\alpha,0} H V ~ , α , 0 مكونات طيف مستمر مطلق ونقطي بحت منفصلة.النظرية الرئيسية B : بالنسبة لدالة جهد من نوع Lorentzian محددة V K , λ ( x ) = K 1 + 4 λ sin 2 ( π x ) V_{K,\lambda}(x) = \frac{K}{1+4\lambda\sin^2(\pi x)} V K , λ ( x ) = 1 + 4 λ s i n 2 ( π x ) K ، عندما تكون K K K و λ \lambda λ كبيرة كافية، توجد مجموعة تكرارات بقياس موجب A 2 ⊂ T A_2 \subset \mathbb{T} A 2 ⊂ T بحيث يمتلك المؤثر طيفاً مستمراً مطلقاً ونقطياً بحتاً بشكل متزامن.منهج الأنظمة الديناميكية : من خلال تحليل السلوك الديناميكي لـ cocycle Schrödinger ( α , S E − V ) (\alpha, S_{E-V}) ( α , S E − V ) :الحالة الإهليلجية الكاملة : عندما ∣ t r ( S E − V ( q ) ) ∣ < 2 |tr(S_{E-V}^{(q)})| < 2 ∣ t r ( S E − V ( q ) ) ∣ < 2 ، استخدام طريقة الاقتران الجبري (Cheap Trick) ونظرية Eliasson لإثبات القابلية للاختزال، مما ينتج طيفاً مستمراً مطلقاًالحالة المختلطة المنتظمة : عندما تحتوي صورة t r ( S E − V ( q ) ) tr(S_{E-V}^{(q)}) t r ( S E − V ( q ) ) بشكل صارم على [ − 2 , 2 ] [-2,2] [ − 2 , 2 ] ، إثبات أن أس Lyapunov موجب، مما ينتج طيفاً نقطياً بحتاًالإدخال :
دالة جهد V : T → R V: \mathbb{T} \to \mathbb{R} V : T → R (من نوع حاد) تكرار α ∈ T \alpha \in \mathbb{T} α ∈ T (قريب من عدد نسبي p / q p/q p / q ) معامل الطاقة E ∈ R E \in \mathbb{R} E ∈ R الإخراج : إثبات وجود فترات طاقة I a c I_{ac} I a c و I p p I_{pp} I pp بحيث:
على I a c I_{ac} I a c قياس الطيف مستمر مطلق على I p p I_{pp} I pp قياس الطيف نقطي بحت تحويل مشكلة الطيف إلى نظام cocycle ديناميكي ( α , S E − V ) : T × R 2 → T × R 2 (\alpha, S_{E-V}): \mathbb{T} \times \mathbb{R}^2 \to \mathbb{T} \times \mathbb{R}^2 ( α , S E − V ) : T × R 2 → T × R 2 :
( α , S E − V ) ( x , y ) = ( x + α , S E − V ( x ) y ) (\alpha, S_{E-V})(x,y) = (x+\alpha, S_{E-V}(x)y) ( α , S E − V ) ( x , y ) = ( x + α , S E − V ( x ) y )
حيث S E − V = ( E − V − 1 1 0 ) S_{E-V} = \begin{pmatrix} E-V & -1 \\ 1 & 0 \end{pmatrix} S E − V = ( E − V 1 − 1 0 )
الملاحظة الرئيسية : عندما L ( V ) < 1 / q L(V) < 1/q L ( V ) < 1/ q و α ≈ p / q \alpha \approx p/q α ≈ p / q ، يُظهر cocycle q q q -التكراري ( α , S E − V ) q (\alpha, S_{E-V})^q ( α , S E − V ) q سلوكاً ديناميكياً مختلفاً في نطاقات طاقة مختلفة.
التعريف : يُقال إن A : T → S L ( 2 , R ) A: \mathbb{T} \to SL(2,\mathbb{R}) A : T → S L ( 2 , R ) إهليلجية كاملة إذا كان ∀ x ∈ T , ∣ t r ( A ( x ) ) ∣ < 2 \forall x \in \mathbb{T}, |tr(A(x))| < 2 ∀ x ∈ T , ∣ t r ( A ( x )) ∣ < 2 .
النظرية 3.1 (نظرية cocycle الإهليلجية الكاملة) : إذا كان ( p / q , A E ) q (p/q, A_E)^q ( p / q , A E ) q إهليلجياً كاملاً ورقم الدوران E ↦ ρ ( p / q , A E ) E \mapsto \rho(p/q, A_E) E ↦ ρ ( p / q , A E ) غير ثابت. فإنه يوجد η 0 > 0 \eta_0 > 0 η 0 > 0 بحيث لـ α ∈ D p / q ( η ) \alpha \in D_{p/q}(\eta) α ∈ D p / q ( η ) ، توجد مجموعة بقياس موجب E α E_\alpha E α بحيث يكون ( α , A E ) (\alpha, A_E) ( α , A E ) قابلاً للاختزال (مقترناً بـ cocycle إهليلجي ثابت).
استراتيجية الإثبات :
التقريب الدوري (الاقتراح 3.2) : باستخدام الخاصية الإهليلجية الكاملة، يوجد B : T → S L ( 2 , R ) B: \mathbb{T} \to SL(2,\mathbb{R}) B : T → S L ( 2 , R ) و φ : T → R \varphi: \mathbb{T} \to \mathbb{R} φ : T → R ملساء بحيث:
B ( ⋅ + p / q ) − 1 A ( ⋅ ) B ( ⋅ ) = R φ ( ⋅ ) B(\cdot + p/q)^{-1}A(\cdot)B(\cdot) = R_{\varphi(\cdot)} B ( ⋅ + p / q ) − 1 A ( ⋅ ) B ( ⋅ ) = R φ ( ⋅ ) Cheap Trick (الاقتراح 3.3) : بالنسبة لـ α ∈ D p / q ( η ) \alpha \in D_{p/q}(\eta) α ∈ D p / q ( η ) ، من خلال الليما الاستقرائية (Lemma 3.4) بناء اقتران B B B بحيث:
∥ B ( ⋅ + α ) − 1 A ( ⋅ ) B ( ⋅ ) − A 0 ∥ C s ≤ η m \|B(\cdot+\alpha)^{-1}A(\cdot)B(\cdot) - A_0\|_{C^s} \leq \eta^m ∥ B ( ⋅ + α ) − 1 A ( ⋅ ) B ( ⋅ ) − A 0 ∥ C s ≤ η m
حيث A 0 ∈ S O ( 2 , R ) A_0 \in SO(2,\mathbb{R}) A 0 ∈ SO ( 2 , R ) .نظرية Eliasson الكمية (النظرية 3.2) : عندما α ∈ D C 1 ( γ , σ ) \alpha \in DC_1(\gamma, \sigma) α ∈ D C 1 ( γ , σ ) و ρ ( α , A ) ∈ D S α \rho(\alpha,A) \in DS_\alpha ρ ( α , A ) ∈ D S α (شروط Diophantine بالنسبة لـ α \alpha α )، إذا كان ∥ A − A ^ ∥ C 0 ≤ γ d 0 ε \|A - \hat{A}\|_{C^0} \leq \gamma^{d_0}\varepsilon ∥ A − A ^ ∥ C 0 ≤ γ d 0 ε و ∥ A − A ^ ∥ C s 0 ≤ 1 \|A - \hat{A}\|_{C^{s_0}} \leq 1 ∥ A − A ^ ∥ C s 0 ≤ 1 ، فإن ( α , A ) (\alpha,A) ( α , A ) قابل للاختزال.تباين رقم الدوران : استخدام Lemma 3.8 لإثبات استمرارية Lipschitz لرقم الدوران بالنسبة للطاقة، مع دمجها مع Lemma 3.9 (الليما النظرية للقياس) لإثبات القابلية للاختزال على مجموعة طاقة بقياس موجب.التطبيق على cocycle Schrödinger : بالنسبة لجهد حاد V V V و E ∈ 2 cos J k E \in 2\cos J_k E ∈ 2 cos J k (حيث J k J_k J k فترة بالقرب من θ k = π k / q \theta_k = \pi k/q θ k = πk / q )، من خلال Lemma 5.1 حساب:
t r ( A E ( q ) ( x ) ) = − V ( x ~ ) sin ( q θ ) sin θ + 2 cos ( q θ ) tr(A_E^{(q)}(x)) = -V(\tilde{x})\frac{\sin(q\theta)}{\sin\theta} + 2\cos(q\theta) t r ( A E ( q ) ( x )) = − V ( x ~ ) s i n θ s i n ( qθ ) + 2 cos ( qθ )
اختيار J k J_k J k بحيث ∣ t r ( A E ( q ) ) ∣ < 2 − δ k |tr(A_E^{(q)})| < 2 - \delta_k ∣ t r ( A E ( q ) ) ∣ < 2 − δ k ، وبالتالي ( p / q , S E − V ) q (p/q, S_{E-V})^q ( p / q , S E − V ) q إهليلجي كامل.
التعريف : يُقال إن A : Ω h → S L ( 2 , C ) A: \Omega_h \to SL(2,\mathbb{C}) A : Ω h → S L ( 2 , C ) منتظمة إذا كان يوجد h ′ ≤ h h' \leq h h ′ ≤ h و λ A : Ω h + → C \lambda_A: \Omega_h^+ \to \mathbb{C} λ A : Ω h + → C تحليلية كاملة بحيث ∣ λ A ( z ) ∣ > 1 |\lambda_A(z)| > 1 ∣ λ A ( z ) ∣ > 1 و { λ A ( z ) , λ A ( z ) − 1 } \{\lambda_A(z), \lambda_A(z)^{-1}\} { λ A ( z ) , λ A ( z ) − 1 } هي القيم الذاتية لـ A ( z ) A(z) A ( z ) .
النظرية 4.1 (نظرية cocycle المختلطة المنتظمة) : إذا كان ( p / q , A ) q (p/q, A)^q ( p / q , A ) q منتظماً ومختلطاً، فإنه يوجد η 2 > 0 \eta_2 > 0 η 2 > 0 بحيث لـ 0 < ∣ α − p / q ∣ < η 2 0 < |\alpha - p/q| < \eta_2 0 < ∣ α − p / q ∣ < η 2 :
L E ( α , A ) > 0 L_E(\alpha, A) > 0 L E ( α , A ) > 0
استراتيجية الإثبات :
تحليل التوسع المعقد (Lemma 4.3) : بالنسبة لـ A A A منتظمة، الدالة ν ↦ L 0 ( ν ) = ∫ T log ∣ λ A ( x + i ν ) ∣ d x \nu \mapsto L_0(\nu) = \int_{\mathbb{T}} \log|\lambda_A(x+i\nu)|dx ν ↦ L 0 ( ν ) = ∫ T log ∣ λ A ( x + i ν ) ∣ d x على [ 0 , h ′ ] [0,h'] [ 0 , h ′ ] دالة تآلفية غير سالبة وغير متناقصة.تحليل الاضطراب (Lemma 4.5) : بالنسبة لـ α ≈ p / q \alpha \approx p/q α ≈ p / q ، يكون:
∣ L E ( ( α , A ( ⋅ + i ν ) ) q ) − L E ( ( p / q , A ( ⋅ + i ν ) ) q ) ∣ ≤ ε |L_E((\alpha, A(\cdot+i\nu))^q) - L_E((p/q, A(\cdot+i\nu))^q)| \leq \varepsilon ∣ L E (( α , A ( ⋅ + i ν ) ) q ) − L E (( p / q , A ( ⋅ + i ν ) ) q ) ∣ ≤ ε حجة التحدب (الاقتراح 4.6) : استخدام التحدب لأس Lyapunov (Lemma 4.2) والتقديرات أعلاه، إثبات:
q L E ( α , A ) ≥ L E ( ( p / q , A ) q ) − ε qL_E(\alpha, A) \geq L_E((p/q, A)^q) - \varepsilon q L E ( α , A ) ≥ L E (( p / q , A ) q ) − ε تقنية Herman شبه التوافقية : بالنسبة لـ cocycle مختلط، L E ( 0 , A ( q ) ) > 0 L_E(0, A^{(q)}) > 0 L E ( 0 , A ( q ) ) > 0 ، مع دمجها مع عدم المساواة أعلاه الحصول على أس Lyapunov موجب.التطبيق على cocycle Schrödinger : بالنسبة لـ E ∈ [ 10 , K − 10 ] E \in [10, K-10] E ∈ [ 10 , K − 10 ] و E = 2 cosh θ E = 2\cosh\theta E = 2 cosh θ ، Lemma 5.5 يثبت أن A ~ E ( q ) \tilde{A}_E^{(q)} A ~ E ( q ) منتظمة ومختلطة (باستخدام الخاصية الهندسية للجهد الحاد: ∣ t r ( A ~ E ( q ) ( x ) ) ∣ = 2 |tr(\tilde{A}_E^{(q)}(x))| = 2 ∣ t r ( A ~ E ( q ) ( x )) ∣ = 2 يحدث فقط عند V ′ ( x ~ ) ≠ 0 V'(\tilde{x}) \neq 0 V ′ ( x ~ ) = 0 ).
تطبيق غير ميكروسكوبي لطريقة الاقتران الجبري (Cheap Trick) :التطبيق التقليدي: حالات الاضطراب الصغير الابتكار في هذه الورقة: من خلال التقريب الدوري تحويل المشاكل غير الميكروسكوبية إلى مشاكل ميكروسكوبية المفتاح: استخدام الخاصية الإهليلجية الكاملة والبنية الهندسية للتكرارات القريبة من الأعداد النسبية استخدام الهندسة للجهد الحاد :الحامل الصغير من 1 / q 1/q 1/ q يضمن أن الجهد يعمل فقط عند نقطة واحدة أثناء التكرار q q q القيمة العظمى الفريدة والرتابة تضمن شروط الانتظام الارتفاع K > 10 K > 10 K > 10 يضمن أس Lyapunov موجب في منطقة الطاقة العالية البناء الدقيق لمجموعة التكرارات :
D p / q ( η ) = [ p / q − η , p / q + η ] ∩ D C 1 ( η 2 , 3 ) D_{p/q}(\eta) = [p/q - \eta, p/q + \eta] \cap DC_1(\eta^2, 3) D p / q ( η ) = [ p / q − η , p / q + η ] ∩ D C 1 ( η 2 , 3 ) قريب من الأعداد النسبية (لاستخدام التقريب الدوري) يحافظ على خاصية Diophantine (لاستخدام نظرية KAM) Lemma 3.1 يثبت Leb ( D p / q ( η ) ) ≥ 2 η ( 1 − 2 η ) > 0 \text{Leb}(D_{p/q}(\eta)) \geq 2\eta(1-2\eta) > 0 Leb ( D p / q ( η )) ≥ 2 η ( 1 − 2 η ) > 0 استمرارية واستمرارية Lipschitz لرقم الدوران :Lemma C.1: استمرارية مشتركة لرقم الدوران بالنسبة للتكرار و cocycle Lemma 3.8: استمرارية Lipschitz بالنسبة للطاقة بالقرب من نقاط القابلية للاختزال الدمج مع الليما النظرية للقياس يحقق الرفع من قياس صفر إلى قياس موجب دالة الجهد : V K , λ ( x ) = K 1 + λ sin 2 ( π x ) V_{K,\lambda}(x) = \frac{K}{1+\lambda\sin^2(\pi x)} V K , λ ( x ) = 1 + λ s i n 2 ( π x ) K
إعدادات المعاملات :
K = 10 K = 10 K = 10 λ = 10000 \lambda = 10000 λ = 10000 التكرار: α = ( 5 − 1 ) / 2 \alpha = (\sqrt{5}-1)/2 α = ( 5 − 1 ) /2 (النسبة الذهبية) محتوى الحسابات :
أس Lyapunov L E ( α , S E − V K , λ ) L_E(\alpha, S_{E-V_{K,\lambda}}) L E ( α , S E − V K , λ ) على E ∈ ( − 3 , 10 ) E \in (-3, 10) E ∈ ( − 3 , 10 ) رقم الدوران ρ α ( E ) \rho_\alpha(E) ρ α ( E ) على E ∈ ( − 3 , 10 ) E \in (-3, 10) E ∈ ( − 3 , 10 ) البنية الدقيقة لأس Lyapunov على E ∈ [ − 2 , 2 ] E \in [-2, 2] E ∈ [ − 2 , 2 ] الشكل 1 :
عند ∣ E ∣ > 2.1 |E| > 2.1 ∣ E ∣ > 2.1 ، أس Lyapunov بوضوح موجب (سلوك "الجهد الكبير") عند ∣ E ∣ < 2 |E| < 2 ∣ E ∣ < 2 ، توجد قيم طاقة حيث أس Lyapunov قريب من الصفر (سلوك "الجهد الصغير") رقم الدوران يُظهر بنية Devil's staircase أحادية التزايد الشكل 2 :
صورة مفصلة لأس Lyapunov على الفترة E ∈ [ − 2 , 2 ] E \in [-2, 2] E ∈ [ − 2 , 2 ] يُظهر عدة مناطق أفقية قريبة من الصفر (تقابل الطيف المستمر المطلق) تتناوب مع مناطق أس Lyapunov الموجب التفسير النظري : النظرية B تفسر هذه الظاهرة عندما تكون α \alpha α قريبة من 1 / 2 1/2 1/2 ، لكن حالة النسبة الذهبية (عدد من النوع الثابت) تبقى مشكلة مفتوحة.
فئة دوال الجهد : V ∈ P ∞ V \in \mathcal{P}^\infty V ∈ P ∞ التي تحقق:
K ( V ) = max T V > 10 K(V) = \max_{\mathbb{T}} V > 10 K ( V ) = max T V > 10 L ( V ) = length ( supp ( V ) ) < 1 / q L(V) = \text{length}(\text{supp}(V)) < 1/q L ( V ) = length ( supp ( V )) < 1/ q مجموعة التكرارات : لكل p / q ∈ Q p/q \in \mathbb{Q} p / q ∈ Q (0 ≤ p < q 0 \leq p < q 0 ≤ p < q , gcd ( p , q ) = 1 \gcd(p,q)=1 g cd( p , q ) = 1 )، تعريف:
D p / q ( η ) = [ p / q − η , p / q + η ] ∩ { α : ∣ α − k / l ∣ ≥ η 2 / l 3 , ∀ ( k , l ) ∈ Z × N ∗ } D_{p/q}(\eta) = [p/q - \eta, p/q + \eta] \cap \{\alpha: |\alpha - k/l| \geq \eta^2/l^3, \forall (k,l) \in \mathbb{Z} \times \mathbb{N}^*\} D p / q ( η ) = [ p / q − η , p / q + η ] ∩ { α : ∣ α − k / l ∣ ≥ η 2 / l 3 , ∀ ( k , l ) ∈ Z × N ∗ }
الاستنتاج : يوجد s 0 ∈ N ∗ s_0 \in \mathbb{N}^* s 0 ∈ N ∗ و ε > 0 \varepsilon > 0 ε > 0 بحيث:
لأي V ~ ∈ P ω ( V ; s 0 , ε ) \tilde{V} \in \mathcal{P}^\omega(V; s_0, \varepsilon) V ~ ∈ P ω ( V ; s 0 , ε ) (حقيقية تحليلية و C s 0 C^{s_0} C s 0 -قريبة من V V V ) يوجد مجموعة كاملة A q ( V ~ ) ⊂ ⋃ p = 0 q − 1 D p / q ( η ) A_q(\tilde{V}) \subset \bigcup_{p=0}^{q-1} D_{p/q}(\eta) A q ( V ~ ) ⊂ ⋃ p = 0 q − 1 D p / q ( η ) بالنسبة لـ α ∈ A q ( V ~ ) \alpha \in A_q(\tilde{V}) α ∈ A q ( V ~ ) ، يمتلك H V ~ , α , 0 H_{\tilde{V},\alpha,0} H V ~ , α , 0 مكونات طيف مستمر مطلق ونقطي بحت منفصلة تحديد الطيف :
فترات الطيف المستمر المطلق : I a c , k ⊂ 2 cos J k I_{ac,k} \subset 2\cos J_k I a c , k ⊂ 2 cos J k (عدة فترات، تقابل k = 1 , … , 2 q − 1 k = 1, \ldots, 2q-1 k = 1 , … , 2 q − 1 )فترات الطيف النقطي البحت : I p p = [ 10 , K − 10 ] I_{pp} = [10, K-10] I pp = [ 10 , K − 10 ] الفصل : max I a c , k < 10 < min I p p \max I_{ac,k} < 10 < \min I_{pp} max I a c , k < 10 < min I pp (عندما K > 10 K > 10 K > 10 )دالة الجهد : V K , λ ( x ) = K 1 + 4 λ sin 2 ( π x ) V_{K,\lambda}(x) = \frac{K}{1+4\lambda\sin^2(\pi x)} V K , λ ( x ) = 1 + 4 λ s i n 2 ( π x ) K
شروط المعاملات : K K K و λ \lambda λ كبيرة كافية
الاستنتاج : يوجد مجموعة بقياس موجب A 2 ⊂ T A_2 \subset \mathbb{T} A 2 ⊂ T بحيث لـ α ∈ A 2 \alpha \in A_2 α ∈ A 2 :
الطيف المستمر المطلق : موجود على الفترة [ − 3 / ( 2 K ) , − 1 / K ] [-3/(2K), -1/K] [ − 3/ ( 2 K ) , − 1/ K ] (من خلال Corollary 6.3)الطيف النقطي البحت : موجود على الفترة [ 3 , ∞ ) [3, \infty) [ 3 , ∞ ) (من خلال Corollary 6.5)التقديرات الرئيسية :
الخاصية الإهليلجية الكاملة (Lemma 6.2): بالنسبة لـ E ∈ [ − 3 / ( 2 K ) , − 1 / K ] E \in [-3/(2K), -1/K] E ∈ [ − 3/ ( 2 K ) , − 1/ K ] و α ∈ [ 1 / 4 , 3 / 4 ] \alpha \in [1/4, 3/4] α ∈ [ 1/4 , 3/4 ] :
t r ( S E ( x + α ) S E ( x ) ) ∈ [ − 2 + 1 / K 2 , 2 − 1 / K 2 ] tr(S_E(x+\alpha)S_E(x)) \in [-2 + 1/K^2, 2 - 1/K^2] t r ( S E ( x + α ) S E ( x )) ∈ [ − 2 + 1/ K 2 , 2 − 1/ K 2 ] أس Lyapunov الموجب (الاقتراح 6.4): بالنسبة لـ ∣ E ∣ > 2 + ε |E| > 2 + \varepsilon ∣ E ∣ > 2 + ε :
L E ( α , S E − V K , λ ) ≥ log ∣ μ ( E ) ∣ L_E(\alpha, S_{E-V_{K,\lambda}}) \geq \log|\mu(E)| L E ( α , S E − V K , λ ) ≥ log ∣ μ ( E ) ∣
حيث μ ( E ) = z 0 ( ∣ E ∣ + E 2 − 4 2 ) \mu(E) = z_0\left(\frac{|E| + \sqrt{E^2-4}}{2}\right) μ ( E ) = z 0 ( 2 ∣ E ∣ + E 2 − 4 ) ، z 0 ≈ 1 z_0 \approx 1 z 0 ≈ 1 عندما λ \lambda λ كبيرة. بالنسبة لـ s , m ∈ N s, m \in \mathbb{N} s , m ∈ N و A A A إهليلجية كاملة، يوجد η 0 ( s , m , ∥ A ∥ s + m + 7 , q , δ ) \eta_0(s, m, \|A\|_{s+m+7}, q, \delta) η 0 ( s , m , ∥ A ∥ s + m + 7 , q , δ ) بحيث لـ 0 < η ≤ η 0 0 < \eta \leq \eta_0 0 < η ≤ η 0 و α ∈ D p / q ( η ) \alpha \in D_{p/q}(\eta) α ∈ D p / q ( η ) :
∥ B ( ⋅ + α ) − 1 A ( ⋅ ) B ( ⋅ ) − A 0 ∥ C s ≤ η m \|B(\cdot+\alpha)^{-1}A(\cdot)B(\cdot) - A_0\|_{C^s} \leq \eta^m ∥ B ( ⋅ + α ) − 1 A ( ⋅ ) B ( ⋅ ) − A 0 ∥ C s ≤ η m
و ∥ B ∥ C s ≤ η − 3 \|B\|_{C^s} \leq \eta^{-3} ∥ B ∥ C s ≤ η − 3
التطبيق : أخذ s = s 0 = ⌊ 3 C 2 ⌋ s = s_0 = \lfloor 3C_2 \rfloor s = s 0 = ⌊ 3 C 2 ⌋ , m = d 0 + 1 = 3 C 1 + 1 m = d_0 + 1 = 3C_1 + 1 m = d 0 + 1 = 3 C 1 + 1 ، يحقق شروط نظرية Eliasson.
بالنسبة لـ cocycle منتظمة ( p / q , A ) q (p/q, A)^q ( p / q , A ) q ، يوجد η 1 ( A , h , q , ε ) \eta_1(A, h, q, \varepsilon) η 1 ( A , h , q , ε ) بحيث لـ 0 < ∣ α − p / q ∣ < η 1 0 < |\alpha - p/q| < \eta_1 0 < ∣ α − p / q ∣ < η 1 :
q L E ( α , A ) ≥ L E ( ( p / q , A ) q ) − ε qL_E(\alpha, A) \geq L_E((p/q, A)^q) - \varepsilon q L E ( α , A ) ≥ L E (( p / q , A ) q ) − ε
النتيجة : إذا كان L E ( 0 , A ( q ) ) > 0 L_E(0, A^{(q)}) > 0 L E ( 0 , A ( q ) ) > 0 (مضمون بالخاصية المختلطة)، فإن L E ( α , A ) > 0 L_E(\alpha, A) > 0 L E ( α , A ) > 0 .
الجزء المستمر المطلق :
من خلال النظرية 2.3 (توسيع نظرية Eliasson)، cocycle القابل للاختزال يقابل فترات طاقة حيث قياس الطيف هو قياس مستمر مطلق غير تافه عدم ثبات رقم الدوران (Lemma 5.2) يضمن أن الطيف المستمر المطلق له داخل غير فارغ الجزء النقطي البحت :
من خلال نظرية Bourgain-Goldstein (النظرية 2.4)، أس Lyapunov الموجب يقابل التموضع الأندرسوني تناقص الدالة الذاتية بشكل أسي: ∣ ψ ( n ) ∣ ≤ C e − c ∣ n ∣ |\psi(n)| \leq Ce^{-c|n|} ∣ ψ ( n ) ∣ ≤ C e − c ∣ n ∣ نظرية الجهد الصغير :Eliasson 12 : طريقة KAM لإثبات الطيف المستمر المطلق للجهود الصغيرة الحقيقية التحليليةBourgain-Jitomirskaya 10 : نسخة غير ميكروسكوبية للحالة أحادية البعدالتوسيع إلى الحالة الملساء : 14 , 17 توسيع طريقة KAM إلى الحالة C ∞ C^\infty C ∞ نظرية الجهد الكبير :Bourgain-Goldstein 9 : طريقة شبه التوافقية لإثبات الطيف النقطي البحت والتموضع للجهود الكبيرةSinai 23 , Fröhlich-Spencer-Wittwer 16 : التموضع للجهود شبه الدوريةالمفتاح : الخاصية الحقيقية التحليلية ضرورية للتموضع في حالة الجهد الكبيرمؤثر Almost Mathieu :Jitomirskaya 21 : انتقال معدن-عازل عند λ = 1 \lambda = 1 λ = 1 Avila 2 : توصيف كامل للطيف المستمر المطلق في الحالة الحرجةالعلاقة بهذه الورقة : دوال الجهد في هذه الورقة ليست اضطرابات بالقرب من النقطة الحرجةAvila 1 :بناء اضطرابات حقيقية تحليلية لـ 2 cos ( 2 π ⋅ ) 2\cos(2\pi\cdot) 2 cos ( 2 π ⋅ ) تحقيق عدة فترات متناوبة من الطيف المستمر المطلق والنقطي البحت الطريقة : نظرية التسارع (acceleration theory)الفرق عن هذه الورقة : لا يعتمد على اضطراب النقطة الحرجة، يستخدم طريقة هندسيةBourgain 8 :جهود شبه دورية ثنائية التكرار مع طيف مختلط الفرق عن هذه الورقة : حالة تكرار واحد، مجموعة التكرارات لها قياس موجبنتائج التعايش الأخرى :14 : تعايش الطيف المستمر المطلق والمتفرد7 : تعايش أس Lyapunov الموجب والصفر27 : تعايش الطيف المستمر المطلق/النقطي البحت والمستمر المطلق/المتفرد بناءً على 7 الطريقة الهندسية : استخدام شكل الجهد الحاد بدلاً من حجمهالإطار غير الميكروسكوبي : تطبيق مبتكر لـ Cheap Trickقياس موجب لمجموعة التكرارات : يختلف عن النتائج النموذجية الكاملةالقابلية للبناء : توفير فئة صريحة من دوال الجهدالوجود : إثبات أن فئة دوال الجهد الحادة يمكنها فعلاً تحقيق تعايش الطيف المستمر المطلق والنقطي البحتالمتانة : النتائج مستقرة تحت الاضطرابات الصغيرة C s 0 C^{s_0} C s 0 (الملاحظة 1: دمج نتائج acritality من Avila، لا يوجد طيف متفرد مستمر)القابلية للبناء : توفير أمثلة محددة لدوال الجهد (النظرية B) وبناء عام (النظرية A)مجموعة التكرارات : مجموعة التكرارات لها قياس Lebesgue موجب وتقع بالقرب من الأعداد النسبيةعدد الفترات المتناوبة :الطريقة الحالية تنتج فقط عدداً محدوداً من فترات الطيف المستمر المطلق والنقطي البحت السبب : الحاجة إلى تحليل cocycle مختلطة أكثر عمومية (حالة غير منتظمة)التزام المؤلفين : سيتم معالجة هذا في العمل اللاحققيود نوع التكرار :النتائج النظرية تتطلب أن تكون α \alpha α قريبة من عدد نسبي التجارب الرقمية تُظهر أن النسبة الذهبية قد تمتلك أيضاً طيفاً مختلطاً مشكلة مفتوحة : حالة الأعداد من النوع الثابت (قد تتطلب تقنيات إعادة التطبيع 4,5 )خصوصية دالة الجهد :تتطلب شكلاً حاداً: حامل صغير، قيمة عظمى فريدة، رتابة من غير الواضح ما إذا كانت هذه الشروط مثلى الاعتماد الكمي :الثوابت η 0 , ε \eta_0, \varepsilon η 0 , ε لم يتم إعطاء اعتمادها الصريح تقديرات قياس مجموعة التكرارات ليست دقيقة كافية فترات متناوبة متعددة :تحليل cocycle مختلطة غير منتظمة قد تتطلب الإطار الكامل لنظرية التسارع من Avila 1 التكرارات من النوع الثابت :تطبيق طرق إعادة التطبيع 4,5 دراسة التكرارات الخاصة مثل النسبة الذهبية توسيع فئة دوال الجهد :تخفيف شروط الشكل الحاد دراسة دوال الجهد متعددة الذروات الطيف المتفرد المستمر :الطريقة الحالية تستبعد الطيف المتفرد المستمر (من خلال acritality) هل يمكن بناء مثال يمتلك الطيف المستمر المطلق والنقطي البحت والمتفرد المستمر معاً؟ الحالات متعددة الأبعاد :توسيع إلى مؤثرات شرودنجر شبه الدورية متعددة الأبعاد تتطلب شروط Diophantine أكثر تعقيداً تطبيق غير ميكروسكوبي للاقتران الجبري : تُستخدم طريقة Cheap Trick تقليدياً للاضطرابات الصغيرة، لكن هذه الورقة من خلال التقريب الدوري تحول المشاكل غير الميكروسكوبية إلى مشاكل ميكروسكوبية بطريقة ذكية، وهذا اختراق تقني كبيردمج الهندسة والأنظمة الديناميكية : ربط الخصائص الهندسية لدالة الجهد (شكل حاد) بالسلوك الديناميكي لـ cocycle (إهليلجي كامل مقابل مختلط)، يكشف البنية الأساسية للمشكلةتصميم دقيق لمجموعة التكرارات : بناء D p / q ( η ) D_{p/q}(\eta) D p / q ( η ) يحقق توازناً دقيقاً بين القرب من الأعداد النسبية (لتبسيط جبري) والحفاظ على خاصية Diophantine (لنظرية KAM)إثبات كامل : جميع النظريات الرئيسية لها إثبات مفصل، التفاصيل التقنية كافيةتقديرات كمية : توفير تحكم كمي لمفاهيم رئيسية مثل القابلية للاختزال وأس Lyapunovملحق شامل : إثبات الليمات الأساسية مثل استمرارية رقم الدوران والاقتران المصفوفيإطار موحد : دمج نظرية الطيف المستمر المطلق (القابلية للاختزال) والطيف النقطي البحت (أس Lyapunov الموجب) في إطار cocycle ديناميكي موحددقة نظرية القياس : الرفع من نقاط القابلية للاختزال (قياس صفر) إلى مجموعات قابلة للاختزال (قياس موجب) (Lemma 3.9) يُظهر تطبيقاً عميقاً لنظرية القياستقنيات التحليل المعقد : استخدام الانتظامية (Lemma 4.1) والتوسع المعقد (Lemma 4.3) يُظهر براعة في التحليل المعقدالتجارب الرقمية (الأشكال 1-2) توفر دافعاً بديهياً النظرية B تفسر الملاحظات الرقمية يشير إلى الفجوة بين النظرية والتجربة (النسبة الذهبية)، مما يحفز البحث الإضافي تناوب واحد فقط : يمكن إنتاج زوج واحد فقط من فترات الطيف المستمر المطلق والنقطي البحت، أقل من نتائج Avila 1 متعددة الفترات المتناوبةفجوة نظرية : بالنسبة للتكرارات من النوع الثابت (مثل النسبة الذهبية) لا يوجد تفسير نظريالخاصية الحقيقية التحليلية : النتائج تعتمد بشكل أساسي على الخاصية الحقيقية التحليلية لدالة الجهد، من غير الواضح ما إذا كانت النتائج المماثلة تنطبق على الحالة الملساءقيود التكرار : يجب أن تكون التكرارات قريبة من الأعداد النسبية، التكرارات النموذجية من نوع Diophantine (مثل الأعداد غير النسبية) لم تُغطَّلم يتم إعطاء التعابير الصريحة للثوابت s 0 , ε , η 0 s_0, \varepsilon, \eta_0 s 0 , ε , η 0 تقديرات قياس مجموعة التكرارات A q ( V ~ ) A_q(\tilde{V}) A q ( V ~ ) ليست دقيقة كافية هذا يحد من القابلية للتحقق والتطبيق العملي للنتائج شروط الشكل الحاد (حامل صغير، قيمة عظمى فريدة، رتابة) قوية نسبياً من غير الواضح أي من هذه الشروط ضروري وأيها يمكن تخفيفه لا توجد مناقشة حول "النموذجية" أو العمومية بعض الليمات (مثل Lemma B.3) تُعطى فقط الصيغة، الإثبات موسوم بـ "can be proved" الملحق D (إثبات النظرية 2.3) نسبياً موجز، الخطوات الرئيسية تعتمد على مراجع 11 نموذج جديد : توفير طريقة جديدة لدراسة الطيف المختلط (هندسة + جبر)أدوات تقنية : قد يلهم تطبيق Cheap Trick غير الميكروسكوبي مشاكل أخرىمشاكل مفتوحة : تحديد عدة اتجاهات بحثية واعدة بوضوحإثراء نظرية الطيف لمؤثرات شرودنجر شبه الدورية إظهار التطبيق العميق لطرق الأنظمة الديناميكية في مشاكل الطيف ربط نظرية القابلية للاختزال ونظرية التموضع فيزياء المادة المكثفة : خصائص النقل في الأنظمة شبه الدوريةالفيزياء الرياضية : التعايش بين التموضع الأندرسوني والانتشارالأنظمة الديناميكية : السلوك الديناميكي المختلط لـ cocycle عامالنظرية : الإثبات كامل وقابل للتحققالتجارب الرقمية : معاملات محددة معطاة، لكن الكود لم يُنشرالتعميم : الطريقة لها درجة من العمومية، يمكن تطبيقها على مشاكل ذات صلةالأنظمة شبه الدورية أحادية البعد : أنظمة كمية مع جهود شبه دورية ذات بنية حادةشبه البلورات : نماذج شبه بلورية معينة ذات بنية خاصةالشبكات البصرية : أنظمة الذرات الباردة في آبار جهد شبه دوريةالديناميكا المختلطة : أنظمة أخرى ذات سلوك ديناميكي مختلطالتبسيط الجبري : حالات تتطلب تحويل مشاكل غير ميكروسكوبية إلى مشاكل ميكروسكوبيةالرنين بالتكرار : استخدام تأثيرات الرنين بالقرب من التكرارات النسبيةالأنظمة متعددة الأبعاد : توسيع إلى مؤثرات شرودنجر شبه الدورية متعددة الأبعادمؤثرات أخرى : تطبيق على مؤثرات Dirac ومصفوفات Jacobi وغيرهاالأنظمة غير الخطية : استكشاف الظواهر المماثلة في معادلات شرودنجر غير الخطيةالحالات القصوى للجهد الصغير أو الكبير جداً (توجد نظريات أقوى بالفعل) دوال الجهد الملساء (غير التحليلية) (الطريقة تعتمد على التحليلية) التكرارات القوية من نوع Diophantine (بعيدة عن الأعداد النسبية) 1 A. Avila : نظرية عامة لمؤثرات شرودنجر أحادية التكرار - نظرية التسارع وبناء فترات متناوبة متعددة9 J. Bourgain, M. Goldstein : عن التموضع غير الميكروسكوبي - العمل الأساسي لتموضع الجهد الكبير12 L.H. Eliasson : حلول Floquet لمعادلة شرودنجر شبه الدورية أحادية البعد - نظرية KAM للطيف المستمر المطلق للجهد الصغير14 B. Fayad, R. Krikorian : نتائج الصلابة لـ cocycle من نوع SL(2,R) شبه الدورية - مصدر طريقة Cheap Trick20 M. R. Herman : طريقة لتقليل أسس Lyapunov - تقنية شبه التوافقية ونظرية رقم الدوران10 J. Bourgain, S. Jitomirskaya : نظرية الجهد الصغير غير الميكروسكوبية11 P. Deift, B. Simon : رقم الدوران وكثافة الحالات17 S. Hadj Amor : استمرارية Hölder لرقم الدوران26 L.-S. Young : نظرية cocycle غير الموحدة الزائديةالتقييم الإجمالي : هذه ورقة بحثية عالية الجودة، تقدم مساهمة جوهرية في مجال نظرية الطيف لمؤثرات شرودنجر شبه الدورية. من خلال إدخال فئة دوال الجهد الحادة وتطبيق مبتكر لطريقة الاقتران الجبري، نجح المؤلفون في بناء أمثلة تمتلك طيفاً مستمراً مطلقاً ونقطياً بحتاً بشكل متزامن، مما يثري فهمنا لظاهرة الطيف المختلط. الورقة تتمتع بصرامة رياضية قوية، إثبات كامل، وابتكار تقني ملحوظ. القيود الرئيسية تكمن في إنتاج زوج واحد فقط من فترات الطيف المستمر المطلق/النقطي البحت وقيود التكرار بالقرب من الأعداد النسبية. توضح الورقة اتجاهات بحثية واضحة للعمل اللاحق، خاصة فيما يتعلق بـ cocycle المختلطة غير المنتظمة والتكرارات من النوع الثابت.