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

Die Eigentheorie für nichtlokale kooperativ-advektive Systeme und ihre Rolle in der Untersuchung von Freien-Rand-Systemen für direktionale Epidemiemodelle

Grundlegende Informationen

  • Paper-ID: 2510.10024
  • Titel: The eigentheory for nonlocal cooperative-advective system and its role in the study of free boundary system for directional epidemic models
  • Autoren: Soufiane Bentout (Universität Ain Temouchent), Hoang-Hung Vo (Saigon-Universität)
  • Klassifizierung: math.AP (Partielle Differentialgleichungen)
  • Einreichungszeit: 14. Oktober 2025
  • Paper-Link: https://arxiv.org/abs/2510.10024

Zusammenfassung

Der vorliegende Artikel untersucht nichtlokale kooperative Reaktions-Diffusions-Systeme, die durch direktionale Epidemieausbreitung angetrieben werden und Freie-Rand-Bedingungen sowie Drifttermе enthalten. Aufgrund des Fehlens einer Variationsstruktur, aber mit strengeren Anforderungen an die Regularität der Lösungen, stellt dieses Modell erhebliche analytische Herausforderungen dar, die über bisherige Arbeiten hinausgehen. Die Autoren etablieren zunächst die Wohlgestelltheit des lokalen Problems sowie die globale Existenz und Eindeutigkeit klassischer Lösungen im C¹-Raum. Anschließend untersuchen sie das zugehörige nichtlokale Eigenwertproblem und beweisen die Existenz, Einfachheit, qualitativen Eigenschaften und das asymptotische Verhalten des Haupteigenwertes. Die Analyse nutzt die Fredholm-Theorie, das Crandall-Rabinowitz-Bifurkationstheorem und Hadamard-Typ-Ableitungsformeln zur Beschreibung der Parameterabhängigkeit und ihrer Verbindung zur grundlegenden Reproduktionszahl R₀. Basierend auf dieser spektralen Charakterisierung beweisen die Autoren das Vorliegen einer scharfen Extinktions-Ausbreitungs-Dichotomie in der Langzeitdynamik des Systems. Wenn R₀ ≤ 1, verschwinden alle Lösungen; wenn R₀ > 1, hängt das Ergebnis von der Größe der Anfangsdomäne h₀ und der Ausbreitungsrate der Freien Grenze μ ab.

Forschungshintergrund und Motivation

Problemhintergrund

  1. Bedrohung durch wasserbürtige Krankheiten: Wasserbürtige Krankheiten wie Cholera, Botulismus und Giardiasis stellen weiterhin eine erhebliche Bedrohung für die globale öffentliche Gesundheit dar, besonders in Entwicklungsländern. Schätzungen zufolge machen wasserbürtige Krankheiten etwa 3,6% der globalen Krankheitslast (DALYs) aus und verursachen jährlich etwa 1,5 Millionen Todesfälle.
  2. Einschränkungen bestehender Modelle: Der klassische auf dem Laplace-Operator basierende Reaktions-Diffusions-Rahmen ist unzureichend bei der Behandlung von Bewegungen, die von Natur aus nichtlokal oder richtungsabhängig sind. Traditionelle Modelle vernachlässigen häufig Fernausbreitungen und gerichtete Driften, die durch Umweltströmungen oder menschliche Aktivitäten angetrieben werden.
  3. Mathematische Herausforderungen: Die Kombination von nichtlokalen Diffusionssystemen mit Drifttermen führt zum Fehlen einer Variationsstruktur, was die direkte Anwendung klassischer Spektraltheoriemethoden erschwert und die Entwicklung neuer Analysetechniken erfordert.

Forschungsmotivation

  • Praktische Anforderungen: Genaue Modellierung der Ausbreitung von Krankheitserregern in Gewässern unter Berücksichtigung von Umweltfaktoren wie Flussströmungen und Windrichtungen
  • Theoretische Herausforderungen: Entwicklung neuer mathematischer Theorien zur Behandlung nichtlokaler kooperativer Systeme mit Freien-Rand-Problemen
  • Anwendungswert: Bereitstellung mathematischer Grundlagen für Epidemiologie-, Ökologie-Invasions- und Populationsdynamikforschung

Kernbeiträge

  1. Wohlgestelltheitstheorie: Etablierung einer globalen Wohlgestelltheitstheorie für nichtlokale kooperative Reaktions-Diffusions-Systeme ohne Variationsstruktur, mit Beweis der Existenz, Eindeutigkeit und globalen Existenz klassischer Lösungen im C¹-Raum.
  2. Spektraltheorieentwicklung:
    • Beweis der Existenz und Einfachheit des Haupteigenwertes
    • Etablierung der Stetigkeit und Monotonie des Haupteigenwertes bezüglich Parameter
    • Analyse der Differenzierbarkeit des Haupteigenwertes bezüglich Diffusionskoeffizienten mittels Hadamard-Typ-Formeln
  3. Charakterisierung der grundlegenden Reproduktionszahl: Etablierung der Äquivalenzbeziehung zwischen dem Vorzeichen des Haupteigenwertes und der grundlegenden Reproduktionszahl R₀: R₀ > 1 ⟺ λₚ < 0
  4. Extinktions-Ausbreitungs-Dichotomie: Beweis der vollständigen Langzeitdynamik-Klassifizierung:
    • Wenn R₀ ≤ 1, verschwinden alle Lösungen
    • Wenn R₀ > 1 und h₀ < L*, existiert ein kritischer Schwellenwert μ̂, der Extinktions- und Ausbreitungsverhalten unterscheidet
    • Im Ausbreitungsfall konvergieren Lösungen gegen einen eindeutigen positiven stationären Zustand

Methodische Erläuterung

Mathematisches Modell

Betrachten Sie das folgende nichtlokale kooperative Reaktions-Diffusions-System:

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))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))

wobei:

  • u(t,x), v(t,x) jeweils die Dichte der Krankheitserreger in der Umwelt und die Dichte infizierter Individuen darstellen
  • J₁, J₂ symmetrische Diffusionskernfunktionen sind
  • p, q Driftkoeffizienten sind, die gerichtete Übertragung darstellen
  • H(v), G(u) kooperative Wechselwirkungsterme sind, die Konkavitätsbedingungen erfüllen
  • g(t), h(t) die zeitabhängige räumliche Domäne ist

Freie-Rand-Bedingungen

Die Grenzbewegung wird durch die folgenden Gleichungen bestimmt:

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]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]

Technische Innovationspunkte

  1. Verallgemeinerung des Vergleichsprinzips: Etablierung eines neuen Vergleichsprinzips für nichtlokale Diffusions-Drift-Operatoren, das die technischen Schwierigkeiten durch Drifttermе überwindet.
  2. Spektralanalysemethoden:
    • Nutzung von Operatorzerlegungstechniken: L = J - T, wobei J ein kompakter positiver Operator ist und T den Driftterm enthält
    • Analyse der Spektralradius-Eigenschaften durch die Resolvente R(ξ) = (T + ξI)⁻¹
    • Anwendung des Krein-Rutman-Theorems zur Behandlung nicht-selbstadjungierter Operatoren
  3. Anwendung der Hadamard-Formel: Etablierung der Differenzierbarkeit des Haupteigenwertes bezüglich Diffusionskoeffizienten:∂λ∗/∂dj=∫−ZZw∗j(x)[∫−ZZJj(x−y)φj(y)dy−φj(x)]dx∂λ*/∂dⱼ = ∫_{-Z}^Z w*ⱼ(x)[∫_{-Z}^Z Jⱼ(x-y)φⱼ(y)dy - φⱼ(x)]dx

Haupttheoretische Ergebnisse

Theorem 1 (Globale Existenz und Eindeutigkeit)

Unter den Annahmen (J) und (GH) existiert für beliebiges h₀ > 0 eine eindeutige positive Lösung (u,v,g,h) des Problems (1), definiert für alle t > 0.

Theorem 2 (Haupteigenwert)

Das linearisierte Eigenwertproblem besitzt einen Haupteigenwert λ*, der einfach ist und einer streng positiven Eigenfunktion entspricht.

Theorem 3 (Parameterabhängigkeit)

Der Haupteigenwert λ*(Z) ist streng monoton wachsend und stetig bezüglich der Domänengröße Z. Es existiert eine kritische Domänengröße Z* derart, dass:

  • λ*(Z) < 0 wenn Z < Z*
  • λ*(Z) > 0 wenn Z > Z*
  • Z* < ∞ genau dann, wenn R₀ > 1

Theorem 4 (Extinktions-Ausbreitungs-Dichotomie)

Angenommen R₀ > 1 und h₀ < L*, dann existiert ein Schwellenwert μ̂ > 0 derart, dass:

  • Für μ ∈ (0, μ̂] tritt Extinktion auf
  • Für μ > μ̂ tritt Ausbreitung auf und konvergiert gegen einen positiven stationären Zustand

Beweistechnische Schwerpunkte

Wohlgestelltheitsbeweis

  1. Lokale Existenz: Verwendung des Banach-Fixpunktsatzes durch Konstruktion einer Kontraktionsabbildung
  2. Globale Existenz: Nutzung des Vergleichsprinzips und A-priori-Schätzungen zum Beweis, dass Lösungen nicht in endlicher Zeit explodieren
  3. Regularität: Etablierung der C¹-Regularität durch Charakteristiken-Methoden und Integralgleichungstechniken

Spektralanalyse

  1. Operatorzerlegung: Umwandlung des Problems in Spektralanalyse kompakter Operatoren
  2. Monotonie: Nutzung von Operatorfolgen und Monotonie des Spektralradius
  3. Stetigkeit: Etablierung durch stetige Abhängigkeit der Operatornorm

Langzeitverhaltenanalyse

  1. Extinktionsfall: Konstruktion von Oberlösungen und Anwendung des Vergleichsprinzips
  2. Ausbreitungsfall: Kombination von Unterlösungskonstruktion und asymptotischer Analyse
  3. Kritische Schwellenwerte: Bestimmung durch Kombination von Stetigkeit und Monotonie

Anwendungsbedeutung

Epidemiologische Anwendungen

  • Bereitstellung mathematischer Modelle für räumliche Ausbreitung wasserbürtiger Krankheiten (wie Cholera)
  • Quantifizierung des Einflusses von Umweltfaktoren (Flussströmungen, Windrichtungen) auf die Epidemieausbreitung
  • Bereitstellung theoretischer Grundlagen für Strategien der öffentlichen Gesundheitsintervention

Ökologische Anwendungen

  • Simulation der Diffusion invasiver Arten in heterogenen Umgebungen
  • Analyse der Auswirkungen von Lebensraumfragmentierung auf Populationsdynamik
  • Vorhersage von Veränderungen der Artverbreitung unter Klimawandel

Tiefgreifende Bewertung

Stärken

  1. Starke theoretische Innovativität:
    • Erste systematische Untersuchung von Freien-Rand-Problemen für nichtlokale kooperativ-Drift-Systeme
    • Entwicklung neuer Techniken zur Behandlung von Systemen ohne Variationsstruktur
    • Etablierung eines vollständigen Spektraltheorie-Rahmens
  2. Fortgeschrittene mathematische Techniken:
    • Geschickte Kombination von Fredholm-Theorie, Bifurkationstheorie und Hadamard-Formeln
    • Innovative Behandlung technischer Schwierigkeiten durch Drifttermе
    • Strenge mathematische Beweise und vollständiges theoretisches System
  3. Vollständigkeit der Ergebnisse:
    • Umfassende Analyse von Wohlgestelltheit bis Langzeitverhalten
    • Scharfe Charakterisierung der Extinktions-Ausbreitungs-Dichotomie
    • Präzise Beschreibung der Parameterabhängigkeit
  4. Bedeutende praktische Relevanz:
    • Direkte Anwendung auf epidemiologische und ökologische Probleme
    • Bereitstellung mathematischer Grundlagen für praktische Vorhersagen und Kontrolle

Schwächen

  1. Einschränkungen der Modellannahmen:
    • Annahme symmetrischer Kernfunktionen, aber in der Praxis können Asymmetrien existieren
    • Driftkoeffizienten sind konstant, können aber in der Praxis räumlich variieren
    • Eindimensionale Raumeinstellung; Verallgemeinerung auf höhere Dimensionen erfordert weitere Forschung
  2. Fehlende numerische Verifikation:
    • Rein theoretische Analyse ohne numerische Experimente zur Verifikation
    • Keine Methoden zur praktischen Parameterschätzung bereitgestellt
    • Fehlender Vergleich mit realen Daten
  3. Begrenzte Anwendungsbereiche:
    • Hauptsächlich auf kooperative Systeme ausgerichtet; konkurrierende Systeme erfordern unterschiedliche Behandlung
    • Annahme von Umwelthomogenität; Verallgemeinerung auf heterogene Umgebungen ist komplex

Einflussbeurteilung

  1. Akademischer Wert: Bedeutender Beitrag zur Theorie nichtlokaler Diffusionsgleichungen mit erwarteter breiter Auswirkung auf das Feld der mathematischen Analyse
  2. Anwendungsperspektiven: Bereitstellung neuer Werkzeuge für Epidemiemodellierung und ökologische Forschung mit wichtigem praktischem Wert
  3. Nachfolgeforschung: Eröffnung mehrerer neuer Forschungsrichtungen, einschließlich Verallgemeinerung auf höhere Dimensionen, stochastische Störungen und heterogene Umgebungen

Anwendungsszenarien

  1. Epidemiologische Forschung: Modellierung und Vorhersage räumlicher Ausbreitung wasserbürtiger Krankheiten
  2. Ökologische Anwendungen: Analyse der Diffusion invasiver Arten und Populationsdynamik
  3. Theoretische Mathematik: Forschung zu nichtlokalen Diffusionsgleichungen und Freien-Rand-Problemen
  4. Numerische Analyse: Bereitstellung theoretischer Grundlagen für die Entwicklung verwandter numerischer Methoden

Schlussfolgerung und Ausblick

Der vorliegende Artikel erzielt bedeutende Durchbrüche in der Forschung zu Freien-Rand-Problemen für nichtlokale kooperativ-Drift-Systeme und etabliert einen vollständigen mathematischen Theorierahmen. Hauptleistungen umfassen Wohlgestelltheitstheorie, Spektralanalyse und vollständige Charakterisierung der Langzeitdynamik. Diese Arbeit ist nicht nur von großer theoretischer Bedeutung in der Mathematik, sondern bietet auch leistungsstarke Werkzeuge für praktische Anwendungen in Epidemiologie und Ökologie.

Zukünftige Forschungsrichtungen umfassen:

  1. Verallgemeinerung auf höherdimensionale Räume
  2. Behandlung nicht-symmetrischer Kernfunktionen
  3. Auswirkungen stochastischer Störungen
  4. Entwicklung numerischer Methoden
  5. Validierung durch Vergleich mit realen Daten

Diese Arbeit legt eine solide theoretische Grundlage für die weitere Entwicklung verwandter Felder und wird voraussichtlich anhaltende und tiefgreifende Auswirkungen haben.