2025-11-10T03:06:09.057731

On a fractional Alt-Caffarelli-Friedman-type monotonicity formula

Ferrari, Giovagnoli, Merlino
In this note, by exploiting mean value properties of $s$-harmonic functions, we introduce some monotonicity formulas in the nonlocal setting. We take into account intrinsically nonlocal functionals mimicking those introduced by Alt, Caffarelli and Friedman in the seminal work [Alt-Caffarelli-Friedman, Trans. Amer. Math. Soc. (1984)]. Our approach is purely nonlocal and does not rely on the extension technique. As a byproduct we also established interior nonlocal gradient estimates and a nonlocal analogue of the Bochner identity.
academic

О формуле монотонности типа Alt-Caffarelli-Friedman для дробных операторов

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

  • ID статьи: 2509.25891
  • Название: On a fractional Alt-Caffarelli-Friedman-type monotonicity formula
  • Авторы: Fausto Ferrari, Davide Giovagnoli, Enzo Maria Merlino
  • Классификация: math.AP (Analysis of PDEs)
  • Дата публикации: 13 октября 2025 г. (препринт arXiv)
  • Ссылка на статью: https://arxiv.org/abs/2509.25891

Аннотация

В данной работе авторы вводят ряд формул монотонности в нелокальной постановке, используя свойства среднего значения для ss-гармонических функций. Рассматриваются существенно нелокальные функционалы, которые имитируют функционалы, введённые Alt, Caffarelli и Friedman в их пионерской работе. Метод является чисто нелокальным и не зависит от техники расширения. В качестве побочного результата устанавливаются внутренние нелокальные оценки градиента и нелокальный аналог тождества Бохнера.

Научный контекст и мотивация

Исследуемая проблема

Целью работы является установление нелокального аналога формулы монотонности Alt-Caffarelli-Friedman (ACF) в рамках дробного оператора Лапласа. Классическая формула монотонности ACF играет важную роль в задачах со свободной границей, особенно при доказательстве регулярности решений двухфазных эллиптических задач со свободной границей типа Бернулли.

Значимость проблемы

  1. Теоретическая полнота: Заполнение пробела в теории формул монотонности для дробных дифференциальных уравнений в частных производных
  2. Прикладная ценность: Предоставление новых аналитических инструментов для нелокальных задач со свободной границей
  3. Методологическое новшество: Разработка чисто нелокального метода, независимого от техники расширения Caffarelli-Silvestre

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

  • Большинство результатов регулярности для дробных операторов устанавливаются через формулы монотонности расширенного оператора
  • Отсутствует прямой нелокальный аналог классического однофазного функционала JACFJ_{ACF}
  • В нелокальной постановке подходящая замена для квадрата градиента ∣∇u∣2|\nabla u|^2 ещё не определена

Научная мотивация

Вдохновляясь идеями из локальной постановки 26, авторы связывают монотонное возрастание функционала ACF со (суб)средним значением свойства (суб)гармонических функций, разработав чисто нелокальный метод анализа.

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

  1. Установлены две нелокальные формулы монотонности типа ACF:
    • Версия на основе функции GuG_u (Теорема 1.1)
    • Версия на основе распределённого дробного градиента Рисса ∣∇su∣2|\nabla^s u|^2 (Теорема 1.4)
  2. Доказана устойчивость при s→1−s \to 1^-:
    • Оба нелокальных функционала сходятся к классическому локальному функционалу ACF (Теоремы 1.2, 1.5)
  3. Установлены внутренние нелокальные оценки градиента (Теорема 1.3)
  4. Разработаны нелокальные тождества типа Бохнера:
    • Соответствующие тождества для GuG_u и ∣∇su∣2|\nabla^s u|^2
  5. Предоставлено новое доказательство нелокальной теоремы Лиувилля (Теорема 5.4)

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

Постановка задачи

Целью исследования является установление формулы монотонности, аналогичной классическому функционалу ACF для дробного оператора Лапласа (−Δ)s(-\Delta)^s: JACF(u,R):=1R2∫BR∣∇u∣2∣x∣n−2dxJ_{ACF}(u,R) := \frac{1}{R^2}\int_{B_R} \frac{|\nabla u|^2}{|x|^{n-2}} dx

Основная методологическая схема

1. Конструкция нелокального функционала

На основе ядра Пуассона для дробного оператора Лапласа: Krs(0,y):=an,s(r2∣y∣2−r2)s1∣x−y∣nK_r^s(0,y) := a_{n,s}\left(\frac{r^2}{|y|^2-r^2}\right)^s \frac{1}{|x-y|^n}

определяется нелокальный функционал ACF: JACFs(u,R):=1R1+s∫0Rrs∫Rn∖BrKrs(0,y)gu(y)dydrJ^s_{ACF}(u,R) := \frac{1}{R^{1+s}}\int_0^R r^s \int_{\mathbb{R}^n \setminus B_r} K_r^s(0,y) g_u(y) dy dr

где gug_u является нелокальной заменой для ∣∇u∣2|\nabla u|^2.

2. Два выбора для gug_u

Выбор первый: функция GuG_uGu(y):=Cn,s∫Rn(u(y)−u(η))2∣y−η∣n+2sdηG_u(y) := C_{n,s} \int_{\mathbb{R}^n} \frac{(u(y)-u(\eta))^2}{|y-\eta|^{n+2s}} d\eta

Эта функция тесно связана с вариационной формой дробного оператора Лапласа: ∫RnGu(y)dy=[u]Ws,2(Rn)2\int_{\mathbb{R}^n} G_u(y) dy = [u]_{W^{s,2}(\mathbb{R}^n)}^2

Выбор второй: распределённый дробный градиент Рисса∣∇su(y)∣2=∑i=1n(∫Rn(yi−ηi)(u(y)−u(η))∣y−η∣n+s+1dy)2|\nabla^s u(y)|^2 = \sum_{i=1}^n \left(\int_{\mathbb{R}^n} \frac{(y_i-\eta_i)(u(y)-u(\eta))}{|y-\eta|^{n+s+1}} dy\right)^2

Ключевые технические инновации

1. Чисто нелокальный метод

Не зависит от техники расширения Caffarelli-Silvestre, работает непосредственно в исходном пространстве.

2. Использование свойства среднего значения

Через свойство среднего значения для ss-гармонических функций устанавливается монотонность: Если gug_u является ss-субгармонической, то Ms(gu,r)(0)=∫Rn∖BrKrs(0,y)gu(y)dyM^s(g_u, r)(0) = \int_{\mathbb{R}^n \setminus B_r} K_r^s(0,y) g_u(y) dy монотонно возрастает по rr.

3. Масштабная инвариантность

Оба функционала сохраняются при преобразовании uλ(x)=1λsu(λx)u_\lambda(x) = \frac{1}{\lambda^s}u(\lambda x): JACFs(uλ,Rλ)=JACFs(u,R)J^s_{ACF}\left(u_\lambda, \frac{R}{\lambda}\right) = J^s_{ACF}(u,R)

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

Теорема 1.1 (формула монотонности для GuG_u)

Пусть s∈(0,1)s \in (0,1), ε,δ>0\varepsilon, \delta > 0. Предположим, что u∈Clocs+ε(Rn)∩Ls2(Rn)u \in C^{s+\varepsilon}_{loc}(\mathbb{R}^n) \cap L^2_s(\mathbb{R}^n) и Gu∈Cloc2s+δ(Rn)∩Ls1(Rn),(−Δ)sGu≤0 в окрестности начала координатG_u \in C^{2s+\delta}_{loc}(\mathbb{R}^n) \cap L^1_s(\mathbb{R}^n), \quad (-\Delta)^s G_u \leq 0 \text{ в окрестности начала координат} Тогда отображение R↦JACFs(u,R)R \mapsto J^s_{ACF}(u,R) монотонно возрастает при достаточно малых RR.

Теорема 1.2 (устойчивость)

При условиях Теоремы 1.1, когда s→1−s \to 1^-: JACFs(u,R)→2nωn1R2∫BR(0)∣∇u∣2∣y∣n−2dyJ^s_{ACF}(u,R) \to \frac{2}{n\omega_n} \frac{1}{R^2} \int_{B_R(0)} \frac{|\nabla u|^2}{|y|^{n-2}} dy

Теорема 1.3 (внутренние нелокальные оценки градиента)

Пусть u∈Cloc2(Rn)∩Ls2(Rn)u \in C^2_{loc}(\mathbb{R}^n) \cap L^2_s(\mathbb{R}^n) удовлетворяет

(-\Delta)^s u = f & \text{в } B_1 \\ u = 0 & \text{в } \mathbb{R}^n \setminus B_1 \end{cases}$$ где $f \in L^\infty(B_1)$. Если $G_u \in C^{2s+\delta}_{loc}(\mathbb{R}^n) \cap L^1_s(\mathbb{R}^n)$ и $(-\Delta)^s G_u \leq 0$ в $B_1$, то $$\|G_u\|^{1/2}_{L^\infty(B_{1/2})} \leq C_0(\|u\|_{L^\infty(B_1)} + \|f\|_{L^\infty(B_1)})$$ ## Нелокальное тождество Бохнера ### Предложение 5.1 (нелокальная формула Бохнера) Для $u \in C^3(\mathbb{R}^n) \cap L^2_s(\mathbb{R}^n)$ имеет место: $$(-\Delta)^s G_u(x) = 2C_{n,s} \int_{\mathbb{R}^n} \frac{(u(x)-u(x-z))(-\Delta)^s_x(u(x)-u(x-z))}{|z|^{n+2s}} dz$$ $$- C_{n,s}^2 \int_{\mathbb{R}^n} \int_{\mathbb{R}^n} \frac{(u(x)-u(x-z)-u(y)+u(y-z))^2}{|x-y|^{n+2s}|z|^{n+2s}} dy dz$$ ### Предложение 5.2 (сходимость) При $s \to 1^-$ приведённая выше нелокальная формула Бохнера сходится к классическому тождеству Бохнера: $$\frac{1}{2}\Delta|\nabla f|^2 = \|D^2 f\|^2 + \langle\nabla f, \nabla(\Delta f)\rangle$$ ## Приложения и следствия ### Нелокальная теорема Лиувилля (Теорема 5.4) Пусть $u \in C^3(\mathbb{R}^n) \cap L^2_s(\mathbb{R}^n)$ удовлетворяет $(-\Delta)^s u = 0$ в $\mathbb{R}^n$. Если $u$ ограничена, то $u$ является константой. **Схема доказательства**: Используется $s$-субгармоничность $G_u$ и формула монотонности, в сочетании с оценками градиента получается $G_u(0) = 0$, откуда следует, что $u$ является константой. ### Улучшенные условия монотонности (Теорема 1.6) Для случая $|\nabla^s u|^2$, используя коммутативность $\nabla^s$ и $(-\Delta)^s$, можно установить монотонность при более слабых условиях: Если $(-\Delta)^s u = f$ и $\langle\nabla^s u, \nabla^s f\rangle \leq 0$, то соответствующий функционал монотонно возрастает. ## Технические трудности и инновации ### 1. Обработка особенностей При установлении нелокального тождества Бохнера необходимо обрабатывать особенности в интегралах. Проблема обмена порядка интегрирования и дробного оператора Лапласа решена через разложение Тейлора третьего порядка и тонкие оценки интегралов. ### 2. Асимптотический анализ Доказана сходимость нелокальных величин к соответствующим локальным при $s \to 1^-$: - $G_u(x)/2 \to |\nabla u(x)|^2$ - $\nabla^s u \to \nabla u$ - Нелокальное тождество Бохнера сходится к локальной версии ### 3. Теория функциональных пространств Установлена подходящая схема функциональных пространств, обеспечивающая сходимость всех интегралов и корректную определённость операторов. ## Связанные работы ### Классическая теория ACF - Alt, Caffarelli, Friedman (1984): исходная формула монотонности ACF - Серия работ Caffarelli: приложения в задачах со свободной границей ### Теория дробных операторов - Метод расширения Caffarelli-Silvestre - Последние достижения в нелокальных задачах со свободной границей - Развитие теории дробных градиентов ### Обобщения формул монотонности - Формулы монотонности для различных операторов - Обобщения на группы Карно - Приложения в геометрическом анализе ## Заключение и обсуждение ### Основные выводы 1. Успешно установлены формулы монотонности типа ACF для дробного оператора Лапласа 2. Предоставлен чисто нелокальный метод анализа, независимый от техники расширения 3. Установлен мост между нелокальной и локальной теориями ### Ограничения 1. Условие $s$-субгармоничности $G_u$ трудно проверяется в практических приложениях 2. Требования к регулярности функций довольно высоки 3. Конкретные приложения в задачах со свободной границей ещё не продемонстрированы ### Направления будущих исследований 1. Приложения в нелокальных задачах со свободной границей 2. Ослабление условий регулярности и $s$-субгармоничности 3. Обобщение на более общие нелокальные операторы ## Глубокая оценка ### Достоинства 1. **Теоретическое новшество**: Впервые установлены чисто нелокальные формулы монотонности типа ACF 2. **Новый метод**: Прямой метод, не зависящий от техники расширения 3. **Полнота результатов**: Включают монотонность, устойчивость, оценки градиента и другие аспекты 4. **Высокий технический уровень**: Построение нелокального тождества Бохнера требует высокого мастерства ### Недостатки 1. **Строгие условия применимости**: Условие $s$-субгармоничности ограничивает область применения 2. **Ограниченные практические приложения**: Конкретная эффективность в задачах со свободной границей ещё не продемонстрирована 3. **Вычислительная сложность**: Трудность практической проверки условий ### Влияние 1. **Теоретический вклад**: Предоставляет важные инструменты для нелокального анализа 2. **Методологическое значение**: Демонстрирует осуществимость чисто нелокальных методов 3. **Направления исследований**: Открывает новые направления в смежных областях ### Области применения 1. Теория регулярности для дробных эллиптических уравнений 2. Нелокальные задачи со свободной границей 3. Анализ дробных вариационных задач ## Библиография Основывается на исходных работах Alt-Caffarelli-Friedman, фундаментальной литературе по теории дробных операторов и последних достижениях в нелокальном анализе, включая 47 важных ссылок.