Регулярность Соболева для возмущенных дробных уравнений 1-Лапласа в субквадратичном случае

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

• ID статьи: 2510.14346
• Название: Sobolev regularity for the perturbed fractional 1-Laplace equations in the subquadratic case
• Авторы: Dingding Li, Chao Zhang (Школа математики Харбинского технологического университета)
• Классификация: math.AP (математический анализ - дифференциальные уравнения в частных производных)
• Дата публикации: 16 октября 2025 г.
• Ссылка на статью: https://arxiv.org/abs/2510.14346v1

Аннотация

В данной работе исследуется регулярность Соболева слабых решений возмущенных дробных уравнений 1-Лапласа в субквадратичном случае. При предположении локальной ограниченности слабого решения авторы устанавливают свойства регулярности, аналогичные суперквадратичному случаю. Путем введения критического порога $\frac{p-1}{p}$ диапазон параметра $s_p$ разделяется на два различных случая. Конкретно, для $s_p \in \left(0, \frac{p-1}{p}\right]$ и $q \geq p$ доказано, что решение имеет регулярность $W^{\gamma,q}_{\text{loc}}$, где $\gamma \in \left(0, \frac{s_p p}{p-1}\right)$; для $s_p \in \left(\frac{p-1}{p}, 1\right)$ и $q \geq p$ доказана регулярность $W^{1,q}_{\text{loc}}$. Метод анализа основан на нелокальной технике конечных разностных коэффициентов в сочетании с итерационной схемой типа Мозера.

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

Важность проблемы

Центральное уравнение, изучаемое в данной работе, — это возмущенное дробное уравнение 1-Лапласа: $(-\Delta_1)^{s_1}u + (-\Delta_p)^{s_p}u = 0 \quad \text{в} \Omega$

где $s_1, s_p \in (0,1)$, $p \in (1,2)$ (субквадратичный случай), $\Omega \subset \mathbb{R}^N$ — ограниченная область.

Мотивация исследования

1. Заполнение теоретического пробела: Авторы ранее в работе 23 исследовали суперквадратичный случай ($p \geq 2$), данная работа завершает теорию для субквадратичного случая
2. Проблемы неоднородного роста: Уравнение можно рассматривать как частный случай проблемы $(p,q)$-роста с различной структурой роста
3. Практические приложения: Классический вариант имеет приложения в гидродинамике и материаловедении
4. Технические трудности: Нестрогая выпуклость 1-структуры создает уникальные аналитические сложности

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

• Слабая формулировка дробного оператора 1-Лапласа требует использования многозначного знакового функционала
• Энергия может быть разрывной, существование решения требует малых условий
• Традиционные вариационные методы трудно применяются напрямую

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

1. Установлена полная теория регулярности в субквадратичном случае: Доказаны две основные теоремы, охватывающие различные диапазоны параметра $s_p$
2. Введен критический порог $\frac{p-1}{p}$: Этот порог определяет существование градиента $\nabla u$ и отличается от порога $\frac{p-2}{p}$ для дробного $p$-лапласиана
3. Развита систематическая методология анализа: Объединены нелокальная техника конечных разностных коэффициентов и итерационная схема типа Мозера
4. Получены оптимальные результаты регулярности: В соответствующих диапазонах параметров получена почти оптимальная регулярность Соболева и Гёльдера

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

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

Исследуется регулярность слабого решения $u \in W^{s_1,1}_{\text{loc}}(\Omega) \cap W^{s_p,p}_{\text{loc}}(\Omega) \cap L^{p-1}_{s_p p}(\mathbb{R}^N)$, где слабое решение удовлетворяет:

1. Существует функция $Z \in L^{\infty}(\mathbb{R}^N \times \mathbb{R}^N)$ такая, что $Z \in \text{sgn}(u(x)-u(y))$
2. Для любой тестовой функции $\phi$ выполняется интегральное тождество (1.4)

Основные технические методы

1. Нелокальная техника конечных разностных коэффициентов

Определяется оператор разностей $\tau_h u(x) := u(x+h) - u(x)$, посредством контроля $\int_{B_r} |\tau_h u|^q dx$ устанавливается рост регулярности.

2. Оценки энергии (Предложение 3.3)

Устанавливается ключевое неравенство: $\int_{B_r} \int_{B_r} \frac{\left|J_{\frac{q}{p}+1}(\tau_h u(x)) - J_{\frac{q}{p}+1}(\tau_h u(y))\right|^p}{|x-y|^{N+\frac{s_p p^2}{2}+\sigma(1-\frac{p}{2})}} dx dy$$\leq \left(\frac{C}{(R-r)^{N+s_p p+1}}\right)^{\frac{p}{2}} \cdots$

где $J_\gamma(a) := |a|^{\gamma-2}a$.

3. Итерационная схема типа Мозера

Определяется последовательность $\gamma_i$: $\gamma_0 = \gamma, \quad \gamma_{i+1} = \gamma_i\left(1-\frac{p^2}{2q}+\frac{p}{2q}\right) + \frac{s_p p^2}{2q}$

Посредством итерации повышается показатель регулярности.

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

1. Обработка сингулярности 1-структуры: Посредством введения многозначной функции $Z$ обрабатывается недифференцируемость $\frac{u(x)-u(y)}{|u(x)-u(y)|}$
2. Новый анализ порога: Обнаружено, что $\frac{p-1}{p}$ является критическим порогом, определяющим существование градиента
3. Улучшенные оценки энергии: По сравнению с суперквадратичным случаем, оценки локальной регулярности в субквадратичном случае зависят от большего числа параметров

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

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

Основные технические инструменты

• Леммы 2.5-2.6: Алгебраические неравенства для обработки нелинейных членов
• Леммы 2.7-2.11: Базовые леммы техники конечных разностей
• Лемма 3.1: Интегральные оценки для обработки нелокальных членов $p$-роста

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

Теорема 1.3 (Случай 1: $s_p \in (0, \frac{p-1}{p}]$)

Для локально ограниченного слабого решения $u$ имеет место $u \in W^{\sigma,q}_{\text{loc}}(\Omega)$, где $q \geq p$, $s_p \leq \sigma < \frac{s_p p}{p-1}$.

Оценка: $[u]^q_{W^{\sigma,q}(B_r)} \leq \frac{C(T + [u]_{W^{s_p,p}(B_R)} + 1)^q}{(R-r)^\kappa}$

Теорема 1.4 (Случай 2: $s_p \in (\frac{p-1}{p}, 1)$)

Для локально ограниченного слабого решения $u$ имеет место $u \in W^{1,q}_{\text{loc}}(\Omega)$, $q \geq p$.

Оценка: $\|\nabla u\|^q_{L^q(B_r)} \leq \frac{C(T + [u]_{W^{s_p,p}(B_R)} + 1)^q}{(R-r)^\kappa}$

Следствия о регулярности Гёльдера

Следствие 1.5: При $s_p \in (0, \frac{p-1}{p}]$ имеет место $u \in C^{0,\gamma}_{\text{loc}}(\Omega)$, $\gamma \in (0, \frac{s_p p}{p-1})$

Следствие 1.6: При $s_p \in (\frac{p-1}{p}, 1)$ имеет место $u \in C^{0,\gamma}_{\text{loc}}(\Omega)$, $\gamma \in (0,1)$

Регулярность градиента

Следствие 1.8: При $s_p \in (\frac{p-1}{p}, 1)$ и $q \geq 2$ имеет место $u \in W^{1+\alpha,q}_{\text{loc}}(\Omega), \quad \alpha \in \left(0, \frac{p}{2q}(s_p p - p + 1)\right)$

Связанные работы

Классический случай

• Giga-Tsubouchi 19: Доказана непрерывность градиента для выпуклых слабых решений
• Tsubouchi 35: Устранено условие выпуклости, установлена внутренняя регулярность $C^1$
• De Filippis-Mingione 13: Исследованы функционалы с ростом, близким к линейному

Дробный случай

• Предыдущие работы авторов 23: Полная теория суперквадратичного случая ($p \geq 2$)
• Серия работ Brasco-Lindgren 6,7: Теория регулярности дробного $p$-лапласиана
• Garain-Lindgren 18: Субквадратичный случай дробного $p$-лапласиана

Заключение и обсуждение

Основные выводы

1. Завершена теоретическая система: В сочетании с предыдущими результатами суперквадратичного случая сформирована полная теория регулярности возмущенных дробных уравнений 1-Лапласа
2. Выявлен критический порог: Важность $\frac{p-1}{p}$, отражающая существенное влияние 1-структуры на проблему
3. Получены оптимальные результаты: В пределах технических ограничений получена почти оптимальная регулярность

Ограничения

1. Предположение локальной ограниченности: Требуется предварительное предположение о локальной ограниченности слабого решения
2. Ограничения итерации: В случае $s_p \in (\frac{p-1}{p}, 1)$ техника разностных коэффициентов не может итерироваться бесконечно
3. Зависимость от параметров: Оценки в субквадратичном случае зависят от большего числа параметров, константы могут быть неточными

Направления будущих исследований

1. Устранение предположения ограниченности: Исследование возможности получения ограниченности непосредственно из определения слабого решения
2. Регулярность на границе: Расширение анализа регулярности вблизи границы
3. Оптимальность: Исследование оптимальности полученных показателей регулярности

Глубокая оценка

Преимущества

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

Недостатки

1. Сильные предварительные условия: Предположение локальной ограниченности ограничивает общность результатов
2. Техническая сложность: Доказательство включает большой объем технических деталей, читаемость требует улучшения
3. Ограниченность приложений: Главным образом теоретические результаты, практическая ценность ограничена

Влияние

1. Научная ценность: Значительный вклад в теорию нелокальных сингулярных эллиптических уравнений
2. Методологическое значение: Развитые методы могут быть обобщены на другие связанные задачи
3. Полнота: Сформирована полная теоретическая система с существующей литературой

Применимые сценарии

• Анализ регулярности нелокальных вариационных задач
• Исследование эллиптических уравнений с различными структурами роста
• Анализ нелокальных моделей в обработке изображений

Библиография

Статья цитирует 38 связанных работ, включая:

• 4-7,14,17,18: Базовые работы по дробным пространствам Соболева и технике конечных разностей
• 19,35: Теория регулярности классических возмущенных уравнений 1-Лапласа
• 22,23: Предыдущие связанные работы авторов
• 25,26: Основополагающие работы Marcellini по проблемам $(p,q)$-роста

Данная работа обеспечивает важный теоретический вклад в теорию регулярности возмущенных дробных уравнений 1-Лапласа, технические методы инновационны, результаты оптимальны, что представляет собой значительный прогресс в данной области.