Coexistence of ac and pp spectrum for kicked quasi-periodic potentials
Bjerklöv, Krikorian
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.
academic
Сосуществование абсолютно непрерывного и чисто точечного спектра для пинцированных квазипериодических потенциалов
В данной работе вводится класс вещественно-аналитических "пинцированных" (peaky) потенциалов, для которых соответствующие квазипериодические одномерные операторы Шрёдингера на множестве квазипериодических частот положительной меры Лебега одновременно демонстрируют абсолютно непрерывный спектр (absolutely continuous spectrum) и чисто точечный спектр (pure point spectrum).
Спектральная теория квазипериодических операторов Шрёдингера является одной из центральных проблем математической физики. Для оператора HV,α,x:l2(Z)→l2(Z), определяемого как:
(HV,α,xu)n=un+1+un−1+V(x+nα)un
где V:T→R — потенциал, α — частота, x — фаза. Ключевые вопросы включают:
Топологические свойства спектра ΣV,α (является ли он множеством Кантора)
Тип спектральной меры μV,α,x (абсолютно непрерывный, сингулярно непрерывный или атомарный компоненты)
Случай малого потенциала (теорема Элиассона): Когда потенциал V=λv (λ достаточно мал) и частота α диофантова, спектр абсолютно непрерывен.
Случай большого потенциала (теорема Бургейна-Голдштейна): Когда λ достаточно велик и v вещественно-аналитичен, для множества частот полной меры спектр чисто точечный и удовлетворяет условию Андерсоновской локализации.
Критический случай: Оператор Almost Mathieu v=2cos(2π⋅) при λ=1 претерпевает переход.
Центральный вопрос: Можно ли построить вещественно-аналитический потенциал такой, чтобы соответствующий оператор Шрёдингера одновременно обладал абсолютно непрерывным и чисто точечным спектральными компонентами?
Ограничения существующих работ:
Авила 1 построил вещественно-аналитические возмущения вблизи критической связи λ=1, реализующие сосуществование ac и pp спектра
Бургейн 8 построил примеры двухчастотных квазипериодических потенциалов
Эти конструкции в основном основаны на теории возмущений вблизи критических точек
Инновация данной работы: Предложен класс "пинцированных" потенциалов, которые:
Не обязательно малы (иначе по теореме Элиассона только ac спектр)
Не обязательно велики (иначе по теореме Бургейна-Голдштейна только pp спектр)
Имеют специальную геометрическую форму (пинцированную форму)
Множество частот расположено вблизи рациональных чисел
Введение класса "пинцированных" потенциалов P∞: Определен класс гладких потенциалов, удовлетворяющих:
V≥0
Носитель supp(V) — собственное подмножество T
Единственный максимум в точке x∗
V′(x)=0 внутри носителя, кроме точки максимума
Основная теорема A: Для V∈P∞ с K(V)>10 и L(V)<1/q существует ε>0 такое, что для любого вещественно-аналитического возмущения V~ (в смысле Cs0ε-близкого к V), существует множество частот полной меры Aq(V~)⊂⋃p=0q−1Dp/q(η), такое что HV~,α,0 обладает непересекающимися ac и pp спектральными компонентами.
Основная теорема B: Для специфического лоренцевского типа потенциала VK,λ(x)=1+4λsin2(πx)K, когда K и λ достаточно велики, существует множество частот положительной меры A2⊂T такое, что оператор одновременно обладает ac и pp спектром.
Метод динамических систем: Посредством анализа динамики коцикла Шрёдингера (α,SE−V):
Полностью эллиптический случай: Когда ∣tr(SE−V(q))∣<2, используется метод алгебраической сопряженности (Cheap Trick) и теорема Элиассона для доказательства приводимости, порождающей ac спектр
Регулярный смешанный тип: Когда образ tr(SE−V(q)) строго содержит [−2,2], доказывается положительность показателя Ляпунова, порождающей pp спектр
Спектральная задача преобразуется в динамическую систему коцикла (α,SE−V):T×R2→T×R2:
(α,SE−V)(x,y)=(x+α,SE−V(x)y)
где SE−V=(E−V1−10)
Ключевое наблюдение: Когда L(V)<1/q и α≈p/q, q-итерированный коцикл (α,SE−V)q демонстрирует различное динамическое поведение в различных диапазонах энергий.
Определение: Отображение A:T→SL(2,R) называется полностью эллиптическим, если ∀x∈T,∣tr(A(x))∣<2.
Теорема 3.1 (теорема о полностью эллиптическом коцикле): Если (p/q,AE)q полностью эллиптичен и число вращения E↦ρ(p/q,AE) не константно, то существует η0>0 такое, что для α∈Dp/q(η) существует множество положительной меры Eα такое, что (α,AE) приводим (сопряжен к постоянному эллиптическому коциклу).
Стратегия доказательства:
Периодическое приближение (Предложение 3.2): Используя полную эллиптичность, существуют гладкие B:T→SL(2,R) и φ:T→R такие, что:
B(⋅+p/q)−1A(⋅)B(⋅)=Rφ(⋅)
Cheap Trick (Предложение 3.3): Для α∈Dp/q(η), посредством индуктивной леммы (Лемма 3.4) строится сопряженность B такая, что:
∥B(⋅+α)−1A(⋅)B(⋅)−A0∥Cs≤ηm
где A0∈SO(2,R).
Квантованная теорема Элиассона (Теорема 3.2): Когда α∈DC1(γ,σ) и ρ(α,A)∈DSα (диофантовы условия относительно α), если ∥A−A^∥C0≤γd0ε и ∥A−A^∥Cs0≤1, то (α,A) приводим.
Вариация числа вращения: Используя Лемму 3.8 доказывается липшицева непрерывность числа вращения относительно энергии, в сочетании с Леммой 3.9 (теоретико-мерной леммой) доказывается приводимость на множестве энергий положительной меры.
Применение к коциклу Шрёдингера: Для пинцированного потенциала V и E∈2cosJk (где Jk — интервал вблизи θk=πk/q), посредством Леммы 5.1 вычисляется:
tr(AE(q)(x))=−V(x~)sinθsin(qθ)+2cos(qθ)
выбирая Jk так, чтобы ∣tr(AE(q))∣<2−δk, откуда (p/q,SE−V)q полностью эллиптичен.
Определение: Отображение A:Ωh→SL(2,C) называется регулярным, если существуют h′≤h и голоморфное λA:Ωh+→C такие, что ∣λA(z)∣>1 и {λA(z),λA(z)−1} — собственные значения A(z).
Теорема 4.1 (теорема о регулярном смешанном типе коцикла): Если (p/q,A)q регулярен и смешанного типа, то существует η2>0 такое, что для 0<∣α−p/q∣<η2:
LE(α,A)>0
Стратегия доказательства:
Анализ комплексного расширения (Лемма 4.3): Для регулярного A, отображение ν↦L0(ν)=∫Tlog∣λA(x+iν)∣dx на [0,h′] является неотрицательной неубывающей аффинной функцией.
Анализ возмущений (Лемма 4.5): Для α≈p/q:
∣LE((α,A(⋅+iν))q)−LE((p/q,A(⋅+iν))q)∣≤ε
Выпуклостный аргумент (Предложение 4.6): Используя выпуклость показателя Ляпунова (Лемма 4.2) и приведенные выше оценки, доказывается:
qLE(α,A)≥LE((p/q,A)q)−ε
Техника Хермана субгармонических функций: Для смешанного типа коцикла LE(0,A(q))>0, в сочетании с приведенным выше неравенством получается положительный показатель Ляпунова.
Применение к коциклу Шрёдингера: Для E∈[10,K−10] и E=2coshθ, Лемма 5.5 доказывает, что A~E(q) регулярен и смешанного типа (используя геометрические свойства пинцированного потенциала: ∣tr(A~E(q)(x))∣=2 только когда V′(x~)=0).
При ∣E∣>2.1 показатель Ляпунова явно положителен ("большой потенциал")
При ∣E∣<2 существуют значения энергии с показателем Ляпунова близким к нулю ("малый потенциал")
Число вращения демонстрирует монотонно возрастающую структуру "дьявольской лестницы"
Рисунок 2:
Детальное изображение показателя Ляпунова в интервале E∈[−2,2]
Показывает несколько плато с близким к нулю показателем Ляпунова (соответствующие ac спектру)
Чередуются с областями положительного показателя Ляпунова
Теоретическое объяснение: Теорема B объясняет это явление при α близком к 1/2, но случай золотого сечения (постоянного типа) остается открытой проблемой.
Для заданных s,m∈N и полностью эллиптического A, существует η0(s,m,∥A∥s+m+7,q,δ) такое, что для 0<η≤η0 и α∈Dp/q(η):
∥B(⋅+α)−1A(⋅)B(⋅)−A0∥Cs≤ηm
и ∥B∥Cs≤η−3
Применение: Выбирая s=s0=⌊3C2⌋, m=d0+1=3C1+1, удовлетворяются условия теоремы Элиассона.
Посредством Теоремы 2.3 (расширение теоремы Элиассона), приводимый коцикл на соответствующих энергетических интервалах имеет нетривиальную абсолютно непрерывную спектральную меру
Неконстантность числа вращения (Лемма 5.2) гарантирует, что ac спектр имеет непустую внутренность
Чисто точечная часть:
Посредством теоремы Бургейна-Голдштейна (Теорема 2.4), положительный показатель Ляпунова соответствует андерсоновской локализации
Экспоненциальное убывание собственных функций: ∣ψ(n)∣≤Ce−c∣n∣
Существование: Доказано, что класс пинцированных потенциалов действительно может реализовать сосуществование ac и pp спектра
Робастность: Результаты устойчивы относительно Cs0-малых возмущений (Замечание 1: в сочетании с результатом Авилы об acritality, нет сингулярно непрерывного спектра)
Конструктивность: Предоставляет конкретные примеры потенциалов (Теорема B) и общую конструкцию (Теорема A)
Множество частот: Множество частот имеет положительную меру Лебега и расположено вблизи рациональных чисел
Неперебойное применение алгебраической сопряженности: Cheap Trick традиционно используется для малых возмущений, данная работа посредством периодического приближения ловко сводит неперебойную задачу к перебойной — это значительный технический прорыв
Синтез геометрии и динамических систем: Связь геометрических свойств потенциала (пинцированная форма) с динамикой коцикла (полная эллиптичность vs смешанный тип) раскрывает сущностную структуру проблемы
Тонкая конструкция множества частот: Конструкция Dp/q(η) достигает тонкого баланса между близостью к рациональным числам (для алгебраического упрощения) и сохранением диофантовых свойств (для КАМ-теории)
Унифицированная рамка: ac спектр (приводимость) и pp спектр (положительный показатель Ляпунова) объединены в единую рамку динамики коцикла
Тонкость теории меры: Переход от нулевой меры (приводимые точки) к положительной мере (приводимое множество) (Лемма 3.9) демонстрирует глубокое применение теории меры
Комплексный анализ: Характеризация регулярности (Лемма 4.1) и анализ комплексного расширения (Лемма 4.3) демонстрируют мощь комплексного анализа
Вещественная аналитичность: Ключевые результаты зависят от вещественной аналитичности потенциала, неясно, имеют ли место аналогичные результаты в гладком случае
Ограничение частоты: Частота должна быть близка к рациональному числу, типичные диофантовы частоты (например, иррациональные числа вращения) не охватываются
10 J. Bourgain, S. Jitomirskaya: Неперебойная теория малого потенциала
11 P. Deift, B. Simon: Связь между числом вращения и плотностью состояний
17 S. Hadj Amor: Гёльдерова непрерывность числа вращения
26 L.-S. Young: Теория неравномерно гиперболических коциклов
Общая оценка: Это высококачественная математическая исследовательская работа, вносящая существенный вклад в спектральную теорию квазипериодических операторов Шрёдингера. Посредством введения класса пинцированных потенциалов и инновационного применения метода алгебраической сопряженности авторы успешно построили примеры с одновременным наличием абсолютно непрерывного и чисто точечного спектра, обогащая наше понимание явлений смешанного спектра. Работа отличается высокой математической строгостью, полными доказательствами и значительными техническими инновациями. Основные ограничения заключаются в возможности производить только одну пару ac/pp интервалов и ограничении частот рациональными окрестностями. Работа четко указывает на перспективные направления дальнейших исследований, особенно в отношении нерегулярных смешанных типов коциклов и постоянного типа частот.