2025-11-14T06:01:14.507533

The eigentheory for nonlocal cooperative-advective system and its role in the study of free boundary system for directional epidemic models

Bentout, Vo
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₀ и скорости расширения свободной границы μ.

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

Предпосылки проблемы

  1. Угроза водопередаваемых заболеваний: Водопередаваемые заболевания, такие как холера, ботулизм и лямблиоз, по-прежнему представляют серьёзную угрозу для глобального общественного здравоохранения, особенно в развивающихся странах. По оценкам, водопередаваемые заболевания составляют примерно 3,6% глобального бремени болезней (DALY) и ежегодно приводят к смерти примерно 1,5 миллиона человек.
  2. Ограничения существующих моделей: Классическая реакционно-диффузионная система, основанная на операторе Лапласа, имеет недостатки при работе с движением, которое по своей природе нелокально или имеет предпочтительное направление. Традиционные модели часто игнорируют дальнодействующее распространение и направленный дрейф, вызванный потоком окружающей среды или деятельностью человека.
  3. Математические трудности: Комбинация нелокальных диффузионных систем с дрейфовыми членами приводит к отсутствию вариационной структуры, что затрудняет прямое применение классических методов спектральной теории и требует разработки новых аналитических техник.

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

  • Практические потребности: Точное моделирование распространения патогенов в водных объектах с учётом влияния факторов окружающей среды, таких как речные потоки и направление ветра
  • Теоретические вызовы: Развитие новой математической теории для работы с нелокальными кооперативными системами и задачами со свободной границей
  • Прикладная ценность: Обеспечение математической основы для исследований в эпидемиологии, экологической инвазии и динамике популяций

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

  1. Теория корректности: Установление теории глобальной корректности для нелокальной кооперативной реакционно-диффузионной системы при отсутствии вариационной структуры, доказательство существования, единственности и глобального существования классических решений в пространстве C¹.
  2. Развитие спектральной теории:
    • Доказательство существования и простоты главного собственного значения
    • Установление непрерывности и монотонности главного собственного значения по параметрам
    • Анализ дифференцируемости главного собственного значения по коэффициентам диффузии с использованием формул типа Адамара
  3. Характеризация базового числа воспроизводства: Установление эквивалентности между знаком главного собственного значения и базовым числом воспроизводства R₀: R₀ > 1 ⟺ λₚ < 0
  4. Дихотомия исчезновения-распространения: Доказательство полной классификации долгосрочной динамики:
    • При R₀ ≤ 1 все решения исчезают
    • При R₀ > 1 и h₀ < L* существует критический порог μ̂, разделяющий поведение исчезновения и распространения
    • В случае распространения решения сходятся к единственному положительному стационарному состоянию

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

Математическая модель

Рассмотрим следующую нелокальную кооперативную реакционно-диффузионную систему:

ut=d1[g(t)h(t)J1(xy)u(t,y)dyu(t,x)]+puxa(x)u(t,x)+H(v(t,x))vt=d2[g(t)h(t)J2(xy)v(t,y)dyv(t,x)]+qvxb(x)v(t,x)+G(u(t,x))ut = d₁[∫_{g(t)}^{h(t)} J₁(x-y)u(t,y)dy - u(t,x)] + pux - a(x)u(t,x) + H(v(t,x)) vt = d₂[∫_{g(t)}^{h(t)} J₂(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(xy)u(t,x)dydx+ρg(t)h(t)h(t)J2(xy)v(t,x)dydx]g(t)=μ[g(t)h(t)g(t)J1(xy)u(t,x)dydx+ρg(t)h(t)g(t)J2(xy)v(t,x)dydx]h'(t) = μ[∫_{g(t)}^{h(t)} ∫_{h(t)}^∞ J₁(x-y)u(t,x)dydx + ρ∫_{g(t)}^{h(t)} ∫_{h(t)}^∞ J₂(x-y)v(t,x)dydx] g'(t) = -μ[∫_{g(t)}^{h(t)} ∫_{-∞}^{g(t)} J₁(x-y)u(t,x)dydx + ρ∫_{g(t)}^{h(t)} ∫_{-∞}^{g(t)} J₂(x-y)v(t,x)dydx]

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

  1. Обобщение принципа сравнения: Установление нового принципа сравнения для нелокального оператора диффузии-дрейфа, преодоление технических трудностей, вызванных дрейфовыми членами.
  2. Методы спектрального анализа:
    • Использование техники разложения оператора: L = J - T, где J — компактный положительный оператор, T содержит дрейфовые члены
    • Анализ спектрального радиуса через свойства резольвенты R(ξ) = (T + ξI)⁻¹
    • Применение теоремы Крейна-Рутмана для работы с несамосопряжёнными операторами
  3. Применение формулы Адамара: Установление дифференцируемости главного собственного значения по коэффициентам диффузии:λ/dj=ZZwj(x)[ZZJj(xy)φj(y)dyφj(x)]dx∂λ*/∂dⱼ = ∫_{-Z}^Z w*ⱼ(x)[∫_{-Z}^Z Jⱼ(x-y)φⱼ(y)dy - φⱼ(x)]dx

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

Теорема 1 (Глобальное существование и единственность)

При предположениях (J) и (GH) для любого h₀ > 0 задача (1) имеет единственное положительное решение (u,v,g,h), определённое для всех t > 0.

Теорема 2 (Главное собственное значение)

Линеаризованная задача на собственные значения имеет главное собственное значение λ*, которое является простым и соответствует строго положительной собственной функции.

Теорема 3 (Параметрическая зависимость)

Главное собственное значение λ*(Z) строго возрастает и непрерывно зависит от размера области Z. Существует критический размер области Z* такой, что:

  • λ*(Z) < 0 при Z < Z*
  • λ*(Z) > 0 при Z > Z*
  • Z* < ∞ тогда и только тогда, когда R₀ > 1

Теорема 4 (Дихотомия исчезновения-распространения)

Предположим R₀ > 1 и h₀ < L*. Тогда существует порог μ̂ > 0 такой, что:

  • При μ ∈ (0, μ̂] происходит исчезновение
  • При μ > μ̂ происходит распространение и сходимость к положительному стационарному состоянию

Ключевые моменты доказательства

Доказательство корректности

  1. Локальное существование: Использование принципа неподвижной точки Банаха путём построения сжимающего отображения
  2. Глобальное существование: Применение принципа сравнения и априорных оценок для доказательства отсутствия взрыва решения за конечное время
  3. Регулярность: Установление регулярности C¹ через метод характеристик и технику интегральных уравнений

Спектральный анализ

  1. Разложение оператора: Преобразование задачи в анализ спектра компактного оператора
  2. Монотонность: Использование монотонности последовательностей операторов и спектрального радиуса
  3. Непрерывность: Установление непрерывной зависимости через норму оператора

Анализ долгосрочного поведения

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

Прикладное значение

Эпидемиологические приложения

  • Обеспечение математической модели для пространственного распространения водопередаваемых заболеваний (например, холеры)
  • Количественная оценка влияния факторов окружающей среды (речные потоки, направление ветра) на распространение эпидемии
  • Обоснование теоретической базы для стратегий вмешательства в области общественного здравоохранения

Экологические приложения

  • Моделирование распространения инвазивных видов в неоднородной среде
  • Анализ влияния фрагментации среды обитания на динамику популяций
  • Прогнозирование изменений распределения видов при изменении климата

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

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

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

Недостатки

  1. Ограничения предположений модели:
    • Предположение о симметричности функций ядра, хотя в действительности может быть асимметрия
    • Коэффициенты дрейфа постоянны, в действительности могут варьироваться в пространстве
    • Одномерная пространственная постановка, обобщение на высокие размерности требует дополнительных исследований
  2. Отсутствие численной верификации:
    • Чисто теоретический анализ без численных экспериментов
    • Отсутствие методов оценки параметров на практике
    • Отсутствие сравнения с реальными данными
  3. Ограничения области применения:
    • Основной фокус на кооперативные системы, конкурентные системы требуют иного подхода
    • Предположение об однородности среды, обобщение на неоднородную среду сложно

Оценка влияния

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

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

  1. Эпидемиологические исследования: Моделирование и прогнозирование пространственного распространения водопередаваемых заболеваний
  2. Экологические приложения: Анализ распространения инвазивных видов и динамики популяций
  3. Теоретическая математика: Исследования нелокальных уравнений диффузии и задач со свободной границей
  4. Численный анализ: Обеспечение теоретической основы для развития соответствующих численных методов

Заключение и перспективы

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

Направления будущих исследований включают:

  1. Обобщение на многомерные пространства
  2. Работа с асимметричными функциями ядра
  3. Влияние случайных возмущений
  4. Развитие численных методов
  5. Верификация с использованием реальных данных

Эта работа создаёт прочную теоретическую основу для дальнейшего развития соответствующих областей и, как ожидается, будет иметь продолжительное и глубокое влияние.