2.1. ФУНКЦИОНАЛЬНЫЕ ПРОСТРАНСТВА И ОБОЗНАЧЕНИЯ

Определение 2.1 (Функциональные пространства).

  • L²(ΩАбсолютный предел когерентности — предельная точка рекогеренции системы.) — пространство квадратично интегрируемых функций со скалярным произведением:

    ⟨f,g⟩ = ∫_Ω f(x)ḡ(x)dx

  • H¹(ΩАбсолютный предел когерентности — предельная точка рекогеренции системы.) — пространство Соболева: {f ∈ L²(ΩАбсолютный предел когерентности — предельная точка рекогеренции системы.) : ∇f ∈ L²(ΩАбсолютный предел когерентности — предельная точка рекогеренции системы.)}

  • H^{-1}(ΩАбсолютный предел когерентности — предельная точка рекогеренции системы.) — двойственное пространство к H¹(ΩАбсолютный предел когерентности — предельная точка рекогеренции системы.)

Определение 2.2 (Нормы).

||f||_{L²} = (∫_Ω |f|² dx)^{1/2}
||f||_{H¹} = (||f||_{L²}² + ||∇f||_{L²}²)^{1/2}

2.2. ТЕОРЕМА СУЩЕСТВОВАНИЯ ЛОКАЛЬНОГО РЕШЕНИЯ

Теорема 2.1 (Локальное существование).
Пусть выполняются условия:

  1. Условия на потенциал: V(x) ∈ L^∞(ΩАбсолютный предел когерентности — предельная точка рекогеренции системы.)

  2. Условия на нелинейность: F(ρ) = αρ - β|ρ|²ρ, где α, β ∈ ℝ

  3. Условия на ядро: K(x,y) ∈ L²(ΩАбсолютный предел когерентности — предельная точка рекогеренции системы.×ΩАбсолютный предел когерентности — предельная точка рекогеренции системы.) симметричное

  4. Начальные условия: ρ₀ ∈ H¹(ΩАбсолютный предел когерентности — предельная точка рекогеренции системы.)

Тогда существует T > 0 и единственная функция:

ρ ∈ C([0,T]; H¹(ΩАбсолютный предел когерентности — предельная точка рекогеренции системы.)) ∩ C¹((0,T); H^{-1}(ΩАбсолютный предел когерентности — предельная точка рекогеренции системы.))

удовлетворяющая уравнению КИВ-динамики.

Доказательство (эскиз):

A. Метод неподвижной точки

Перепишем уравнение в интегральной форме:

ρ(t) = e^{tL}ρ₀ + ∫_0^t e^{(t-s)L}[N(ρ(s))]ds

где:

  • L = D∇² — линейный эллиптический оператор

  • N(ρ) = -V(x)ρ - F(ρ) - K_nonloc(ρ) + ∇·(ρv) - σ(Ξ) — нелинейность

B. Оценки нелинейности

  1. Для кубической нелинейности:

||F(ρ)||_{L²} ≤ |α|·||ρ||_{L²} + |β|·||ρ||_{L⁶}³

По теореме вложения Соболева в размерности ≤ 3: H¹(ΩАбсолютный предел когерентности — предельная точка рекогеренции системы.) ↪ L⁶(ΩАбсолютный предел когерентности — предельная точка рекогеренции системы.), поэтому:

||F(ρ)||_{L²} ≤ C(1 + ||ρ||_{H¹}³)

  1. Для нелокального члена:

||K_nonloc(ρ)||_{L²} ≤ ||K||_{L²(ΩАбсолютный предел когерентности — предельная точка рекогеренции системы.×ΩАбсолютный предел когерентности — предельная точка рекогеренции системы.)}·||G(ρ)||_{L²}

Если G(ρ) = ρ, то ||K_nonloc(ρ)||_{L²} ≤ C·||ρ||_{L²}

C. Принцип сжимающих отображений

Определим оператор:

ΦКогерентная форма — проявленная структура, возникшая как устойчивое решение в ρ-поле.(ρ)(t) = e^{tL}ρ₀ + ∫_0^t e^{(t-s)L}[N(ρ(s))]ds

Покажем, что ΦКогерентная форма — проявленная структура, возникшая как устойчивое решение в ρ-поле. — сжатие в пространстве C([0,T]; H¹(ΩАбсолютный предел когерентности — предельная точка рекогеренции системы.)) при достаточно малом T.

Из полугрупповых оценок для оператора Лапласа:

||e^{tL}ρ₀||_{H¹} ≤ C||ρ₀||_{H¹}
||∫_0^t e^{(t-s)L}N(ρ(s))ds||_{H¹} ≤ C∫_0^t (t-s)^{-1/2}||N(ρ(s))||_{L²}ds

Комбинируя оценки, получаем:

||ΦКогерентная форма — проявленная структура, возникшая как устойчивое решение в ρ-поле.(ρ)||_{C([0,T];H¹)} ≤ C₁||ρ₀||_{H¹} + C₂T^{1/2}(1 + ||ρ||^3)

Для достаточно малого T оператор ΦКогерентная форма — проявленная структура, возникшая как устойчивое решение в ρ-поле. переводит шар в себя и является сжатием. □

2.3. ТЕОРЕМА О ГЛОБАЛЬНОМ СУЩЕСТВОВАНИИ

Теорема 2.2 (Глобальное существование).
При дополнительном условии β > 0 (диссипативная нелинейность) решение существует для всех t ≥ 0.

Доказательство (эскиз):

A. Априорная оценка энергии

Рассмотрим функционал Ляпунова:

L[ρ] = ∫_Ω [D|∇ρ|² + V(x)|ρ|² + (α/2)|ρ|² - (β/4)|ρ|⁴] dx

Вычислим производную по времени:

dL/dt = 2Re∫_Ω [D∇ρ·∇ρ̇ + V(x)ρρ̇ + αρρ̇ - β|ρ|²ρρ̇] dx

Подставляя уравнение для ρ̇ и интегрируя по частям, получаем:

dL/dt = -2D∫_Ω |∇ρ|² dx - 2β∫_Ω |ρ|⁴ dx + диссипативные_члены ≤ 0

B. Равномерная оценка в H¹

Из неотрицательности L[ρ] и монотонного убывания следует:

||ρ(t)||_{H¹} ≤ C для всех t ≥ 0

Эта равномерная оценка позволяет продолжить локальное решение на всю временную ось. □

2.4. ЕДИНСТВЕННОСТЬ РЕШЕНИЯ

Теорема 2.3 (Единственность).
Решение задачи Коши для уравнения КИВ-динамики единственно в классе C([0,T]; H¹(ΩАбсолютный предел когерентности — предельная точка рекогеренции системы.)).

Доказательство:

Пусть ρ₁, ρ₂ — два решения с одинаковыми начальными условиями. Их разность w = ρ₁ - ρ₂ удовлетворяет:

∂w/∂t = D∇²w + V(x)w + [F(ρ₁) - F(ρ₂)] + [K_nonloc(ρ₁) - K_nonloc(ρ₂)]

Умножая на w̄ и интегрируя:

(1/2)d/dt||w||² = -D||∇w||² + ⟨Vw,w⟩ + ⟨F(ρ₁)-F(ρ₂),w⟩ + ⟨K_nonloc(ρ₁)-K_nonloc(ρ₂),w⟩

Оценим нелинейные члены:

  1. Для кубической нелинейности:

|⟨F(ρ₁)-F(ρ₂),w⟩| ≤ C(1 + ||ρ₁||_{H¹}² + ||ρ₂||_{H¹}²)||w||²

  1. Для нелокального члена:

|⟨K_nonloc(ρ₁)-K_nonloc(ρ₂),w⟩| ≤ C||w||²

Собирая оценки, получаем:

d/dt||w||² ≤ C||w||²

По лемме Гронуолла: ||w(t)||² ≤ e^{Ct}||w(0)||² = 0. Следовательно, w ≡ 0. □

2.5. РЕГУЛЯРНОСТЬ РЕШЕНИЯ

Теорема 2.4 (Повышение регулярности).
Если ρ₀ ∈ H²(ΩАбсолютный предел когерентности — предельная точка рекогеренции системы.) и ∂ΩАбсолютный предел когерентности — предельная точка рекогеренции системы. — гладкая, то:

ρ ∈ C([0,T]; H²(ΩАбсолютный предел когерентности — предельная точка рекогеренции системы.)) ∩ C¹([0,T]; L²(ΩАбсолютный предел когерентности — предельная точка рекогеренции системы.))

Доказательство следует из стандартной теории параболических уравнений и того факта, что нелинейности достаточно гладкие. □