A new comparison principle for discrete Volterra equations with an application to convex sweeping processes with infinite delays

1. Il Problema e il Contesto

Il lavoro si concentra sullo studio di processi di spazzamento (sweeping processes) con memoria, modellati tramite equazioni di Volterra integro-differenziali. A differenza dei modelli classici di Moreau, che includono una derivata temporale ($\dot{X}$) e descrivono sistemi con attrito istantaneo, questo modello sostituisce la derivata con un operatore di memoria che dipende da una distribuzione infinita di ritardi.

• Motivazione Biologica: Il modello nasce dalla simulazione di sistemi multi-cellulari con "memoria adesiva". Le cellule aderiscono alle loro posizioni passate attraverso legami transitori che si formano e si rompono nel tempo.
• Equazione di Base: Il sistema è descritto da una proiezione su un insieme convesso mobile $C(t)$:
  $$z(t) - \int_0^t \varrho(t-s)z(s)ds - f(t) \in -N_{C(t)}(z(t))$$
  dove $\varrho$ è un kernel non negativo che rappresenta la memoria adesiva e $N_{C(t)}$ è il cono normale all'insieme vincolante.
• La Sfida Principale: Nei processi di spazzamento classici, la distanza tra la posizione non vincolata e la proiezione è infinitesimale ($O(h)$). In questo modello con memoria, la proiezione può avvenire a una distanza finita ($O(1)$) dal bordo dell'insieme convesso. Questo rende estremamente difficile ottenere stime di stabilità e compattezza, necessarie per dimostrare l'esistenza di soluzioni, poiché le tecniche standard (come il lemma di Gronwall o le decomposizioni spettrali) falliscono o non sono uniformi rispetto al passo di discretizzazione $h$.

2. Metodologia

Gli autori sviluppano un approccio analitico e numerico che evita le tradizionali trasformate di Laplace o le decomposizioni spettrali, che non sono uniformi rispetto al passo di discretizzazione $h$ quando il kernel non è esponenziale.

A. Nuovo Principio di Confronto (Comparison Principle)

Il cuore del lavoro è la costruzione di un nuovo principio di confronto per equazioni di Volterra discrete con kernel non esponenziali e non negativi.

• Correttore dello Strato Iniziale: Per gestire i "coda" (tails) del kernel che causano errori nelle stime asintotiche, gli autori introducono un "correttore dello strato iniziale" (initial layer corrector). Questo termine compensa gli errori introdotti dalla parte a lungo termine del super-soluzione.
• Costruzione della Super-soluzione: Si costruisce una funzione super-soluzione $S_f$ composta da una parte principale (basata sulla norma $L^\infty$ del termine forzante) e dal correttore dello strato iniziale. Applicando l'operatore di Volterra a questa super-soluzione, si dimostra che domina il termine di destra dell'equazione, permettendo di controllare la soluzione reale.
• Indipendenza dalla Risolvente: A differenza dei metodi classici che richiedono la conoscenza esplicita della risolvente, questo metodo fornisce stime $L^\infty$ uniformi senza dipendere dalla decomposizione spettrale.

B. Stime Energetiche e Compattezza

Per il processo di spazzamento ritardato:

• Viene formulato il problema come un flusso gradiente ritardato o un problema di minimizzazione dell'energia.
• Si dimostra una stima di dissipazione dell'energia che lega l'energia del sistema alla variazione degli insiemi vincolanti.
• Si ottengono stime uniformi in $H^1$ per le soluzioni discrete. Queste stime sono cruciali per applicare il teorema di Ascoli-Arzelà e garantire la compattezza delle successioni di soluzioni discrete, permettendo di passare al limite $h \to 0$.

C. Caso Specifico: Insiemi Circolari Mobili

Poiché ottenere stime $H^1$ per insiemi convessi generali è difficile, gli autori dimostrano il risultato di convergenza completo per il caso in cui $C(t)$ è una sfera mobile (disco in 2D). In questo caso, sfruttano la geometria specifica e le condizioni di Karush-Kuhn-Tucker per chiudere le stime energetiche.

3. Risultati Chiave

1. Teorema di Confronto Uniforme: È stato dimostrato che le soluzioni delle equazioni di Volterra discrete con kernel non negativi, non necessariamente esponenziali, sono uniformemente limitate in $L^\infty(0, T)$ rispetto al passo di discretizzazione $h$. Questo risultato è valido sia nel setting continuo che discreto.
2. Esistenza di Soluzioni per Processi di Spazzamento Ritardati: Utilizzando le stime di compattezza ottenute tramite il nuovo principio di confronto, gli autori dimostrano l'esistenza di soluzioni per il processo di spazzamento continuo con ritardi infiniti, ottenute come limite di approssimazioni discrete (movimenti minimizzanti à la De Giorgi).
3. Convergenza del Metodo Numerico: Viene proposta e analizzata una schema numerico basato su approssimazioni a tratti costanti. Le simulazioni numeriche mostrano:
   • Convergenza di secondo ordine ($O(h^2)$) quando le condizioni iniziali (storia passata) sono compatibili con il vincolo.
   • Convergenza di primo ordine ($O(h)$) in caso di condizioni iniziali incompatibili.
   • La distanza di proiezione rimane finita ($O(1)$), confermando la natura non infinitesimale del fenomeno, che non è un artefatto numerico ma una proprietà intrinseca del sistema.

4. Contributi Principali

• Sviluppo Teorico: Introduzione di un principio di confronto "senza risolvente" (resolvent-free) che supera le limitazioni dei metodi spettrali per kernel generici (es. decadimento algebrico) e garantisce uniformità rispetto alla discretizzazione.
• Gestione della Memoria Infinita: Risoluzione delle difficoltà analitiche legate alla perdita di compattezza quando si sostituisce la derivata temporale con un operatore di memoria integrale.
• Modellistica Biologica: Fornitura di un rigoroso fondamento matematico per modelli di migrazione cellulare con memoria adesiva, un'area dove i modelli classici di Moreau sono insufficienti.
• Analisi Numerica: Dimostrazione della convergenza e stabilità di uno schema numerico per un problema di spazzamento non standard, con simulazioni che illustrano dinamiche complesse (es. vincoli a forma di stadio rotante).

5. Significato e Prospettive

Questo lavoro colma un divario significativo tra la teoria delle equazioni di Volterra e l'analisi dei processi di spazzamento con memoria.

• Impatto Teorico: Offre nuovi strumenti per l'analisi di stabilità e compattezza in sistemi con memoria che non ammettono una struttura differenziale locale.
• Applicabilità: Il metodo è promettente per applicazioni in biologia (migrazione cellulare, adesione), scienza dei materiali (plasticità con memoria) e meccanica dei contatti.
• Lavori Futuri: Gli autori indicano come direzioni future l'estensione dei risultati a insiemi convessi generali (non solo sfere), l'analisi di vincoli non convessi (prox-regular) e lo studio del limite in cui il parametro di rigidità dei legami tende a zero, recuperando il processo di Moreau classico.

In sintesi, il paper fornisce una base matematica solida per un nuovo tipo di dinamica con memoria, dimostrando che è possibile ottenere risultati di esistenza e convergenza anche in assenza di derivata temporale esplicita, grazie a un'ingegnosa costruzione di principi di confronto discreti.