In this paper, we propose and analyze a nonlocal cooperative reaction--diffusion system with free boundaries and drift terms, motivated by directional epidemic spread. Lacking a variational structure but requiring sharper regularity of solutions, the model poses substantial analytical challenges compared with previous works~\cite{Du,Berestycki2016a,Berestycki2016b,Cao2019,NguyenVo2022,Tang2024a,Tang2024b}. We first establish the well-posedness of the local problem and the global existence and uniqueness of classical solutions in $C^1$ space.
We then study the associated nonlocal eigenvalue problem, proving the existence, simplicity, qualitative properties, and asymptotic behavior of the principal eigenvalue. The analysis employs Fredholm theory, the Crandall--Rabinowitz bifurcation theorem, and Hadamard-type derivative formulas to describe its parameter dependence and connection with the basic reproduction number~$R_0$.
Building on this spectral characterization, we show that the system admits a \emph{sharp vanishing--spreading dichotomy} in its long-term dynamics. When $R_0\le1$, all solutions vanish; for $R_0>1$, the outcome depends on the initial domain size~$h_0$ and the free-boundary expansion rate~$μ$. There exists a critical habitat length~$\mathcal L^\ast$ such that if $h_0<\mathcal L^\ast$, a threshold $\widehatμ>0$ separates vanishing ($μ\in(0,\widehatμ]$) from spreading ($μ>\widehatμ$). In the spreading regime, solutions converge to the unique positive steady state, while in the vanishing regime they decay uniformly to zero. These results provide a rigorous framework for the threshold dynamics of cooperative--advective nonlocal systems and offer mathematical insight for further studies in epidemic modeling, ecological invasion, and population dynamics.
academic- ID статьи: 2510.10024
- Название: The eigentheory for nonlocal cooperative-advective system and its role in the study of free boundary system for directional epidemic models
- Авторы: Soufiane Bentout (Университет Айн Темушент), Hoang-Hung Vo (Университет Сайгона)
- Классификация: math.AP (уравнения в частных производных)
- Дата подачи: 14 октября 2025 г.
- Ссылка на статью: https://arxiv.org/abs/2510.10024
В данной работе исследуется нелокальная кооперативная реакционно-диффузионная система, управляемая направленным распространением эпидемии и содержащая свободную границу и дрейфовые члены. Из-за отсутствия вариационной структуры и требований более строгой регулярности решений модель представляет существенные аналитические трудности по сравнению с предыдущими работами. Авторы сначала устанавливают корректность локальной задачи, а также глобальное существование и единственность классических решений в пространстве C¹. Затем исследуется связанная нелокальная задача на собственные значения, доказывается существование главного собственного значения, его простота, качественные свойства и асимптотическое поведение. Анализ использует теорию Фредгольма, теорему о бифуркации Крэндалла-Рабиновица и формулы производных типа Адамара для описания параметрической зависимости и связи с базовым числом воспроизводства R₀. На основе этой спектральной характеризации авторы доказывают наличие резкой дихотомии исчезновения-распространения в долгосрочной динамике системы. При R₀ ≤ 1 все решения исчезают; при R₀ > 1 результат зависит от начального размера области h₀ и скорости расширения свободной границы μ.
- Угроза водопередаваемых заболеваний: Водопередаваемые заболевания, такие как холера, ботулизм и лямблиоз, по-прежнему представляют серьёзную угрозу для глобального общественного здравоохранения, особенно в развивающихся странах. По оценкам, водопередаваемые заболевания составляют примерно 3,6% глобального бремени болезней (DALY) и ежегодно приводят к смерти примерно 1,5 миллиона человек.
- Ограничения существующих моделей: Классическая реакционно-диффузионная система, основанная на операторе Лапласа, имеет недостатки при работе с движением, которое по своей природе нелокально или имеет предпочтительное направление. Традиционные модели часто игнорируют дальнодействующее распространение и направленный дрейф, вызванный потоком окружающей среды или деятельностью человека.
- Математические трудности: Комбинация нелокальных диффузионных систем с дрейфовыми членами приводит к отсутствию вариационной структуры, что затрудняет прямое применение классических методов спектральной теории и требует разработки новых аналитических техник.
- Практические потребности: Точное моделирование распространения патогенов в водных объектах с учётом влияния факторов окружающей среды, таких как речные потоки и направление ветра
- Теоретические вызовы: Развитие новой математической теории для работы с нелокальными кооперативными системами и задачами со свободной границей
- Прикладная ценность: Обеспечение математической основы для исследований в эпидемиологии, экологической инвазии и динамике популяций
- Теория корректности: Установление теории глобальной корректности для нелокальной кооперативной реакционно-диффузионной системы при отсутствии вариационной структуры, доказательство существования, единственности и глобального существования классических решений в пространстве C¹.
- Развитие спектральной теории:
- Доказательство существования и простоты главного собственного значения
- Установление непрерывности и монотонности главного собственного значения по параметрам
- Анализ дифференцируемости главного собственного значения по коэффициентам диффузии с использованием формул типа Адамара
- Характеризация базового числа воспроизводства: Установление эквивалентности между знаком главного собственного значения и базовым числом воспроизводства R₀: R₀ > 1 ⟺ λₚ < 0
- Дихотомия исчезновения-распространения: Доказательство полной классификации долгосрочной динамики:
- При R₀ ≤ 1 все решения исчезают
- При R₀ > 1 и h₀ < L* существует критический порог μ̂, разделяющий поведение исчезновения и распространения
- В случае распространения решения сходятся к единственному положительному стационарному состоянию
Рассмотрим следующую нелокальную кооперативную реакционно-диффузионную систему:
ut=d1[∫g(t)h(t)J1(x−y)u(t,y)dy−u(t,x)]+pux−a(x)u(t,x)+H(v(t,x))vt=d2[∫g(t)h(t)J2(x−y)v(t,y)dy−v(t,x)]+qvx−b(x)v(t,x)+G(u(t,x))где:
- u(t,x), v(t,x) обозначают соответственно плотность патогенов в окружающей среде и плотность инфицированных особей
- J₁, J₂ — симметричные функции диффузионного ядра
- p, q — коэффициенты дрейфа, представляющие направленный перенос
- H(v), G(u) — члены кооперативного взаимодействия, удовлетворяющие условиям вогнутости
- g(t), h(t) — временно-зависимая пространственная область
Движение границы определяется следующими уравнениями:
h′(t)=μ[∫g(t)h(t)∫h(t)∞J1(x−y)u(t,x)dydx+ρ∫g(t)h(t)∫h(t)∞J2(x−y)v(t,x)dydx]g′(t)=−μ[∫g(t)h(t)∫−∞g(t)J1(x−y)u(t,x)dydx+ρ∫g(t)h(t)∫−∞g(t)J2(x−y)v(t,x)dydx]- Обобщение принципа сравнения: Установление нового принципа сравнения для нелокального оператора диффузии-дрейфа, преодоление технических трудностей, вызванных дрейфовыми членами.
- Методы спектрального анализа:
- Использование техники разложения оператора: L = J - T, где J — компактный положительный оператор, T содержит дрейфовые члены
- Анализ спектрального радиуса через свойства резольвенты R(ξ) = (T + ξI)⁻¹
- Применение теоремы Крейна-Рутмана для работы с несамосопряжёнными операторами
- Применение формулы Адамара: Установление дифференцируемости главного собственного значения по коэффициентам диффузии:∂λ∗/∂dj=∫−ZZw∗j(x)[∫−ZZJj(x−y)φj(y)dy−φj(x)]dx
При предположениях (J) и (GH) для любого h₀ > 0 задача (1) имеет единственное положительное решение (u,v,g,h), определённое для всех t > 0.
Линеаризованная задача на собственные значения имеет главное собственное значение λ*, которое является простым и соответствует строго положительной собственной функции.
Главное собственное значение λ*(Z) строго возрастает и непрерывно зависит от размера области Z. Существует критический размер области Z* такой, что:
- λ*(Z) < 0 при Z < Z*
- λ*(Z) > 0 при Z > Z*
- Z* < ∞ тогда и только тогда, когда R₀ > 1
Предположим R₀ > 1 и h₀ < L*. Тогда существует порог μ̂ > 0 такой, что:
- При μ ∈ (0, μ̂] происходит исчезновение
- При μ > μ̂ происходит распространение и сходимость к положительному стационарному состоянию
- Локальное существование: Использование принципа неподвижной точки Банаха путём построения сжимающего отображения
- Глобальное существование: Применение принципа сравнения и априорных оценок для доказательства отсутствия взрыва решения за конечное время
- Регулярность: Установление регулярности C¹ через метод характеристик и технику интегральных уравнений
- Разложение оператора: Преобразование задачи в анализ спектра компактного оператора
- Монотонность: Использование монотонности последовательностей операторов и спектрального радиуса
- Непрерывность: Установление непрерывной зависимости через норму оператора
- Случай исчезновения: Построение верхнего решения и применение принципа сравнения
- Случай распространения: Комбинирование построения нижнего решения и асимптотического анализа
- Критические пороги: Определение через комбинацию непрерывности и монотонности
- Обеспечение математической модели для пространственного распространения водопередаваемых заболеваний (например, холеры)
- Количественная оценка влияния факторов окружающей среды (речные потоки, направление ветра) на распространение эпидемии
- Обоснование теоретической базы для стратегий вмешательства в области общественного здравоохранения
- Моделирование распространения инвазивных видов в неоднородной среде
- Анализ влияния фрагментации среды обитания на динамику популяций
- Прогнозирование изменений распределения видов при изменении климата
- Сильная теоретическая новизна:
- Первое систематическое исследование задач со свободной границей для нелокальных кооперативно-дрейфовых систем
- Развитие новых техник для работы с системами без вариационной структуры
- Установление полной спектральной теории
- Продвинутые математические техники:
- Искусное сочетание теории Фредгольма, теории бифуркации и формул Адамара
- Инновационная обработка технических трудностей, вызванных дрейфовыми членами
- Строгие математические доказательства и полная теоретическая система
- Полнота результатов:
- Полный анализ от корректности до долгосрочного поведения
- Точная характеризация резкой дихотомии исчезновения-распространения
- Точное описание параметрической зависимости
- Значительное практическое значение:
- Прямое применение к эпидемиологическим и экологическим задачам
- Обеспечение математической основы для практического прогнозирования и контроля
- Ограничения предположений модели:
- Предположение о симметричности функций ядра, хотя в действительности может быть асимметрия
- Коэффициенты дрейфа постоянны, в действительности могут варьироваться в пространстве
- Одномерная пространственная постановка, обобщение на высокие размерности требует дополнительных исследований
- Отсутствие численной верификации:
- Чисто теоретический анализ без численных экспериментов
- Отсутствие методов оценки параметров на практике
- Отсутствие сравнения с реальными данными
- Ограничения области применения:
- Основной фокус на кооперативные системы, конкурентные системы требуют иного подхода
- Предположение об однородности среды, обобщение на неоднородную среду сложно
- Академическая ценность: Значительный вклад в теорию нелокальных уравнений диффузии, ожидается широкое влияние в области математического анализа
- Перспективы применения: Предоставление новых инструментов для моделирования эпидемий и экологических исследований с важной практической ценностью
- Последующие исследования: Открытие нескольких новых направлений исследований, включая обобщение на высокие размерности, случайные возмущения, неоднородные среды
- Эпидемиологические исследования: Моделирование и прогнозирование пространственного распространения водопередаваемых заболеваний
- Экологические приложения: Анализ распространения инвазивных видов и динамики популяций
- Теоретическая математика: Исследования нелокальных уравнений диффузии и задач со свободной границей
- Численный анализ: Обеспечение теоретической основы для развития соответствующих численных методов
Данная работа достигает важного прорыва в исследовании задач со свободной границей для нелокальных кооперативно-дрейфовых систем, устанавливая полную математическую теоретическую систему. Основные достижения включают теорию корректности, спектральный анализ и полную характеризацию долгосрочной динамики. Эта работа имеет не только важное значение в математической теории, но и предоставляет мощные инструменты для практических приложений в эпидемиологии и экологии.
Направления будущих исследований включают:
- Обобщение на многомерные пространства
- Работа с асимметричными функциями ядра
- Влияние случайных возмущений
- Развитие численных методов
- Верификация с использованием реальных данных
Эта работа создаёт прочную теоретическую основу для дальнейшего развития соответствующих областей и, как ожидается, будет иметь продолжительное и глубокое влияние.