Острые условия для формулы BBM и асимптотика энергий типа теплосодержания

Основная информация

• ID статьи: 2502.14655
• Название: Sharp conditions for the BBM formula and asymptotics of heat content-type energies
• Авторы: Luca Gennaioli (University of Warwick), Giorgio Stefani (Università degli Studi di Padova)
• Классификация: math.AP (Анализ уравнений в частных производных), math.FA (Функциональный анализ)
• Дата подачи: 7 ноября 2025 г. (arXiv v2)
• Ссылка на статью: https://arxiv.org/abs/2502.14655

Аннотация

В данной работе для $p \in [1,\infty)$ устанавливаются необходимые и достаточные условия на семейства неотрицательных измеримых ядер $(ρ_t)_{t\in(0,1)}$, обеспечивающие сходимость соответствующих энергий Бургена-Брезиса-Миронеску (BBM) $(\mathscr{F}_{t,p})_{t\in(0,1)}$ при $t\to 0^+$ к варианту $p$-энергии Дирихле на $\mathbb{R}^N$ в смысле поточечной сходимости и Γ-сходимости. Авторы также приводят достаточные условия на $(ρ_t)_{t\in(0,1)}$, гарантирующие локальную компактность последовательностей с ограниченной энергией BBM в $L^p(\mathbb{R}^N)$. Кроме того, когда предельная $p$-энергия имеет нелокальный тип, статья устанавливает достаточные условия для поточечной сходимости, Γ-сходимости и компактности. Наконец, авторы применяют эти результаты к асимптотическим формулам для энергий типа теплосодержания, охватывая как локальный, так и нелокальный случаи.

Исследовательский контекст и мотивация

Основная проблема

Данная работа исследует асимптотическое поведение нелокальных функционалов энергии, в частности энергий типа BBM: $\mathscr{F}_{t,p}(u) = \int_{\mathbb{R}^N} \int_{\mathbb{R}^N} \frac{|u(x)-u(y)|^p}{|x-y|^p} ρ_t(x-y) dx dy$ сходятся ли они при параметре $t \to 0^+$ к классической $p$-энергии Дирихле.

Значимость исследования

1. Теоретическое значение: Формула BBM устанавливает мост между нелокальными функционалами и классическими пространствами Соболева, являясь фундаментальным инструментом современного анализа
2. Прикладная ценность: Широкое применение в обработке изображений, материаловедении (антисимметричные обменные взаимодействия), исследовании сходимости нелокальных функционалов Гинзбурга-Ландау
3. Физический контекст: Теплосодержание описывает эволюцию тепла во времени в идеально изолированном контейнере, его асимптотическое поведение кодирует геометрическую информацию

Ограничения существующих методов

1. Только достаточные условия: С момента пионерской работы Бургена-Брезиса-Миронеску 20 в литературе в основном приводились достаточные условия для формулы BBM
2. Ограничения метода Фурье: Даволи и др. 34 при $p=2$ получили необходимые и достаточные условия с помощью преобразования Фурье, но этот метод не обобщается на $p \neq 2$
3. Предположение радиальной симметрии: Многие результаты (например, 38) применимы только к радиально-симметричным семействам ядер, что ограничивает область применения
4. Отсутствие анализа компактности: Для нерадиально-симметричных семейств ядер результаты о равнокоэрцитивности практически отсутствуют

Исследовательская мотивация

1. Ответить на гипотезу, поставленную в 34: для произвольного $p \in [1,\infty)$ дать необходимые и достаточные условия для формулы BBM
2. Обобщить необходимые и достаточные условия с поточечной сходимости на Γ-сходимость (более сильное понятие вариационной сходимости)
3. Установить критерии компактности для нерадиально-симметричных семейств ядер
4. Единообразно рассмотреть асимптотическое поведение тепловых ядер и дробных тепловых ядер

Основные вклады

Основные вклады данной работы включают:

1. Теорема о необходимых и достаточных условиях (Theorem 1.1): Для произвольного $p \in [1,\infty)$ устанавливаются необходимые и достаточные условия для формулы BBM, полностью решая гипотезу из 34, и обобщая результаты с поточечной сходимости на Γ-сходимость
2. Теорема о коэрцитивности (Theorem 1.2): При предположении максимального ранга доказывается коэрцитивность семейства функционалов, гарантирующая, что пределы сходящихся последовательностей принадлежат надлежащему пространству Соболева
3. Общий критерий компактности (Theorem 1.3): Для специальных семейств ядер (4.4) приводятся достаточные условия локальной компактности без предположения радиальной симметрии
4. Нелокальная к нелокальной сходимость (Theorems 1.4-1.5): Когда предельная энергия остается нелокального типа, приводятся достаточные условия для поточечной/Γ-сходимости и компактности
5. Приложения к тепловым ядрам:
   • Theorem 1.6: Асимптотическая формула для классических тепловых ядер (с Γ-сходимостью и компактностью)
   • Theorem 1.7: Полный анализ дробных тепловых ядер с различием трех случаев: $2s > p$, $2s = p$, $2s < p$
   • Theorem 6.2: Обобщение результата из 2 на общие тепловые ядра
6. Гильбертово пространство (Theorem 1.8): Для сильно непрерывных симметричных полугрупп операторов приводится единообразное рассмотрение асимптотики теплосодержания

Подробное описание методов

Определение задачи

Основная задача: Дано семейство ядер $(ρ_t)_{t \in (0,1)} \subset L^1_{loc}(\mathbb{R}^N)$ (с $ρ_t \geq 0$) и $p \in [1,\infty)$, проанализировать сходимость функционала $\mathscr{F}_{t,p}(u) = \int_{\mathbb{R}^N} \frac{\|u(\cdot + z) - u\|^p_{L^p}}{|z|^p} ρ_t(z) dz$ при $t \to 0^+$, включая:

1. Сходится ли он к локальной $p$-энергии Дирихле $\mathscr{D}^μ_p(u) = \int_{S^{N-1}} \|σ \cdot Du\|^p_{L^p} dμ(σ)$
2. Режимы сходимости (поточечная, Γ-сходимость)
3. Компактность (предкомпактность подуровневых множеств)

Архитектура основного метода

1. Стратегия доказательства необходимых и достаточных условий (Theorem 1.1)

Направление достаточности (A)⇒(B):

• Шаг 1: Доказать более сильный результат (Theorem 3.1): условие (A) гарантирует сходимость к обобщенной энергии $\mathscr{G}^{μ,ν}_p(u) = \int_{S^{N-1}} \|σ \cdot Du\|^p_{L^p} dμ(σ) + \int_{\mathbb{R}^N \setminus \{0\}} \frac{\|u(\cdot+z)-u\|^p_{L^p}}{|z|^p} dν(z)$ где $μ \in \mathcal{M}^+(S^{N-1})$, $ν \in \mathcal{M}^+(\mathbb{R}^N)$
• Шаг 2: Использовать разложение мер (Lemma 2.9):
  • $ν_k = ρ_{t_k} \mathcal{L}^N \stackrel{*}{\rightharpoonup} ν$ (слабая* сходимость)
  • $μ$ определяется через предел сферических интегралов: $μ^δ_t(E) = \int_E \left(\int^δ_0 ρ_t(σr) r^{N-1} dr\right) d\mathcal{H}^{N-1}(σ)$
• Шаг 3: Оценка по областям (формула 3.2): $\mathscr{F}_{t,p}(u; \mathbb{R}^N) = \mathscr{F}_{t,p}(u; B_δ) + \mathscr{F}_{t,p}(u; A_δ) + \mathscr{F}_{t,p}(u; B^c_{1/δ})$ где $A_δ = \{x: δ < |x| < 1/δ\}$
• Шаг 4: Отдельная обработка каждой области:
  • Малый шар $B_δ$: использовать неравенство из Lemma 2.2(i) $\|u(\cdot+z)-u\|_{L^p} \leq \|\frac{z}{|z|} \cdot Du\|_{L^p}$
  • Кольцевая область $A_δ$: использовать непрерывность $z \mapsto \frac{\|u(\cdot+z)-u\|^p_{L^p}}{|z|^p} \in C(\mathbb{R}^N \setminus \{0\})$
  • Внешняя область $B^c_{1/δ}$: контролируется условием (1.4) как $o(1)$
• Шаг 5: Вторая часть условия (A) $ν_k \stackrel{*}{\rightharpoonup} αδ_0$ гарантирует $ν = αδ_0$, откуда $\mathscr{G}^{μ,αδ_0}_p = \mathscr{D}^μ_p$

Направление необходимости (B)⇒(A):

• Шаг 1: Из поточечной сходимости (B) получить равномерные оценки (Lemma 2.11): $\limsup_{t \to 0^+} \mathscr{F}_{t,p}(u) \leq C\|Du\|^p_{L^p}, \quad \forall u \in \text{Lip}_c(\mathbb{R}^N)$
• Шаг 2: Тщательно подобранные тестовые функции для проверки условия (1.4):
  • Для внешнего интеграла: выбрать $u_R(x) = \mathbb{1}_{B_{R/4}} * \text{(гладкая срезка)}$
  • Для внутреннего интеграла: выбрать радиальную функцию $v(x) = e^{|x|^2} * \text{(гладкая срезка)}$
• Шаг 3: Применить Theorem 3.1 для получения сходимости к $\mathscr{G}^{λ,ν}_p$ (для некоторых $λ, ν$)
• Шаг 4: Аргумент масштабирования (Lemma 2.13): если $\mathscr{G}^{μ,ν}_p = \mathscr{G}^{μ,0}_p$ для всех $u \in \text{Lip}_c(\mathbb{R}^N)$, то необходимо $ν = αδ_0$
  • Ключевой момент: определить $u_ε(x) = ε^{1-N/p} u(x/ε)$, тогда $\|σ \cdot Du_ε\|_{L^p} = \|σ \cdot Du\|_{L^p}$$\|u_ε(\cdot+z) - u_ε\|_{L^p} = ε^p \|u(\cdot + z/ε) - u\|_{L^p}$
  • Использовать теорему об ограниченной сходимости для получения $\lim_{ε \to 0^+} ε^p \int \frac{\|u(\cdot+z/ε)-u\|^p_{L^p}}{|z|^p} dν(z) = 0$

2. Доказательство критерия компактности (Theorem 1.3)

Основная идея: Построение приближений функциями Соболева

• Шаг 1 (Proposition 4.4): Для специальных семейств ядер (4.4) доказать существование $v_t \in S^p(\mathbb{R}^N)$ такого, что $\|v_t - u\|_{L^p} \leq C \mathscr{F}^K_{t,p}(u) β(t)^{-p}, \quad \|∇v_t\|_{L^p} \leq C \mathscr{F}^K_{t,p}(u)$
• Шаг 2: Метод построения — сглаживание свертыванием:
  • Выбрать $φ \in \text{Lip}_c(\mathbb{R}^N)$ удовлетворяющее $φ \leq G * G$ и $|∇φ| \leq G * G$, где $G = \min\{K, 1\}$
  • Определить $v_t = u * φ_t$, где $φ_t(x) = β(t)^N φ(β(t)x) / \|φ\|_{L^1}$
• Шаг 3: Использовать Lemma 4.5 (обобщение неравенства Юнга): $\int \|u(\cdot+z)-u\|^p_{L^p} (G*G)(z) dz \leq 2^p \|G\|_{L^1} \int \|u(\cdot+z)-u\|^p_{L^p} G(z) dz$
• Шаг 4: Для ограниченной по энергии последовательности $(u_k)$ построить $(v_k)$ ограниченную в $S^p(\mathbb{R}^N)$, откуда следует локальная компактность

3. Обработка нелокальной сходимости (Theorems 1.4-1.5)

Theorem 1.4 (поточечная/Γ-сходимость):

• Предположение: $\frac{ρ_t(z)}{|z|^p} \leq Cκ(z), \quad \lim_{t \to 0^+} \frac{ρ_t(z)}{|z|^p} = κ(z) \text{ п.в.}$
• Доказательство: прямое применение теоремы об ограниченной сходимости и леммы Фату

Theorem 1.5 (компактность):

• Предположение: для каждого $ε > 0$ существует $δ > 0$ такое, что $\frac{ρ_t(z)}{|z|^p} \geq \frac{1}{εδ^N}, \quad \forall z \in B_δ, t \in (0,δ)$
• Доказательство: использовать теорему компактности Фреше-Колмогорова, контролируя ошибку сглаживания через Lemma 5.1

Технические инновации

1. Единый подход: Обобщение метода Фурье для $p=2$ на общее $p \in [1,\infty)$ без зависимости от теоремы Планшереля
2. Техника разложения мер (Lemma 2.9):
   • Ловко разложить $ρ_t \mathcal{L}^N$ на сферическую меру $μ$ и объемную меру $ν$
   • Использовать счетное множество $I_0$ для избежания скачков меры на границе
3. Аргумент масштабирования (Lemma 2.13): Через масштабную инвариантность $u_ε(x) = ε^{1-N/p} u(x/ε)$ доказать, что $ν$ должна быть сосредоточена в начале координат
4. Условие максимального ранга (Definition 2.8):
   • Аналог нелокальной эллиптичности
   • Гарантирует $\text{span}(\text{supp} μ) = \mathbb{R}^N$, откуда $\inf_{S^{N-1}} Θ_μ > 0$ (Lemma 2.1)
5. Разделение по областям: На разных масштабах применять различные техники оценивания, тонко контролируя ошибку

Экспериментальная установка

Данная работа является чисто теоретической и не содержит численных экспериментов. Все результаты получены посредством строгих математических доказательств.

Способы верификации

1. Проверка на известных примерах:
   • Стандартные дробные ядра: $ρ_t(z) = \frac{1-t}{|z|^{N-(1-t)p}}$ (Remark 2.7)
   • Тепловые ядра и дробные тепловые ядра (Sections 6.1-6.2)
2. Построение контрпримеров (Remark 3.2):
   • Построить семейство ядер $(ρ_t)$ удовлетворяющее (A) но требующее подпоследовательности для (B)
   • Определение: $ρ_t = ρ^{(1,1)}_t$ ($t = 1/k$, $k$ нечетное) или $ρ^{(N-1,2)}_t$ ($k$ четное)
   • Результат: вдоль нечетной подпоследовательности сходится к $\|e_1 \cdot Du\|^p_{L^p}$, вдоль четной подпоследовательности сходится к $\|e_N \cdot Du\|^p_{L^p}$

Результаты экспериментов

Основные теоретические результаты

1. Асимптотическая формула для тепловых ядер (Theorem 1.6)

Для классического теплового ядра $h_t(x) = e^{-|x|^2/(4t)} / (4πt)^{N/2}$: $\lim_{t \to 0^+} t^{-p/2} \int_{\mathbb{R}^N} H_t(|u-u(x)|^p)(x) dx = \frac{2Γ(p)}{Γ(p/2)} \|Du\|^p_{L^p}$ где константа равна: