Viscosity solutions of the integro-differential equation for the Cramér--Lundberg model with annuity payments and investments

Titolo: Soluzioni di viscosità dell'equazione integro-differenziale per il modello di Cramér–Lundberg con pagamenti di rendita e investimenti

1. Problema e Contesto

Il paper si concentra sulla dinamica del surplus di una compagnia di assicurazioni nel quadro del modello di Cramér–Lundberg, esteso per includere:

• Pagamenti di rendita (Annuity payments): Uscite continue di capitale a un tasso costante $c > 0$.
• Investimenti: Il capitale residuo è investito in un asset rischioso che segue un moto browniano geometrico con rendimento atteso $a$ e volatilità $\sigma$.
• Arrivo dei premi: Modellato come un processo di Poisson composto con salti positivi.

L'obiettivo principale è analizzare la probabilità di sopravvivenza $\Phi(u)$ (la probabilità che la compagnia non vada in bancarotta, ovvero che il capitale $X_t$ non scenda mai sotto zero, dato un capitale iniziale $u$).

Il problema matematico centrale risiede nel fatto che la derivazione formale dell'equazione integro-differenziale (IDE) associata richiede, tramite la formula di Itô, che $\Phi(u)$ sia due volte continuamente differenziabile ($C^2$). Tuttavia, in modelli con coefficienti di diffusione che degenerano al bordo (in questo caso, il coefficiente è proporzionale a $u^2$, che si annulla in $u=0$), giustificare questa regolarità a priori è un problema analitico non banale. Lavori precedenti spesso postulavano la regolarità o utilizzavano strumenti probabilistici complessi basati su funzionali esponenziali del moto browniano.

2. Metodologia

L'autore adotta un approccio analitico basato sulla teoria delle soluzioni di viscosità, evitando l'uso di pesanti macchinari probabilistici per la regolarità.

• Formulazione dell'Operatore: Viene definito un operatore lineare $L$ che combina un termine di diffusione degenera ($\frac{\sigma^2 u^2}{2}\phi''$), un termine di deriva ($(au-c)\phi'$) e un operatore integro-differenziale non locale dovuto ai salti positivi.
• Definizione di Soluzione di Viscosità: Poiché l'operatore è singolare al bordo $u=0$, la definizione classica non è applicabile. L'autore definisce soluzioni di viscosità (sotto e sopra-soluzioni) utilizzando gli inviluppi semicontinui superiore e inferiore della funzione. Una caratteristica cruciale è l'adattamento delle condizioni di "contatto" (touching conditions) per l'operatore non locale: dato che i salti sono solo positivi, il valore dell'integrale in un punto $x_0$ dipende dal comportamento della funzione solo sul semiasse $[x_0, \infty)$. Questo permette di richiedere il contatto globale solo a destra del punto di test.
• Principio di Programmazione Dinamica (DPP): L'esistenza della soluzione di viscosità è dimostrata applicando il principio di programmazione dinamica alla probabilità di sopravvivenza, senza assumere la regolarità della funzione.
• Principio di Confronto: Viene stabilito un principio di confronto non locale per operatori degeneri, essenziale per dimostrare l'unicità nella classe delle funzioni limitate.
• Regolarità: La transizione da soluzione di viscosità a soluzione classica è ottenuta sfruttando la continuità della soluzione (derivata dal principio di confronto) e la regolarità ellittica locale all'interno del dominio $(0, \infty)$, dove il coefficiente di diffusione non è nullo.

3. Risultati Chiave

Il lavoro stabilisce tre risultati fondamentali:

1. Esistenza: La probabilità di sopravvivenza $\Phi(u)$ è una soluzione di viscosità dell'equazione IDE singolare. La definizione è adattata alla natura unilaterale dei salti (positivi) e alla degenerazione al bordo.
2. Unicità: È dimostrata l'unicità della soluzione di viscosità nella classe delle funzioni limitate. Questo si ottiene provando un principio di confronto rigoroso per l'operatore non locale degenerato. La prova si basa sull'analisi del massimo della differenza tra una sotto-soluzione e una sopra-soluzione, sfruttando la proprietà di supporto del misura dei salti $(0, \infty)$ e le condizioni al contorno (0 in $u=0$ e 1 all'infinito).
3. Regolarità e Soluzione Classica: Il risultato principale è la giustificazione della regolarità. Dimostrando che la soluzione di viscosità è continua su $[0, \infty)$, l'autore mostra che il termine integrale nell'equazione diventa continuo. Questo permette di trattare l'equazione come un'ODE lineare non omogenea con coefficienti lisci all'interno del dominio. Applicando la teoria della regolarità ellittica locale, si conclude che $\Phi(u) \in C^2((0, \infty))$.
   • Di conseguenza, la probabilità di sopravvivenza è l'unica soluzione classica del problema ai valori al contorno, senza bisogno di assumere la differenziabilità a priori.

4. Significato e Contributi

Questo lavoro rappresenta un avanzamento significativo rispetto alla letteratura esistente (in particolare rispetto a studi come [3] che si limitano all'esistenza di soluzioni non lisce):

• Risoluzione del problema di regolarità: Fornisce una giustificazione analitica completa della validità dell'equazione IDE classica per il modello con rendite, eliminando la necessità di assunzioni probabilistiche complesse sulla regolarità.
• Gestione della singolarità al bordo: Affronta specificamente la difficoltà posta dalla degenerazione del coefficiente di diffusione ($u^2$) al bordo zero, che rende il problema altamente singolare e richiede condizioni al contorno e definizioni di soluzione specifiche.
• Metodologia Ibrida: Dimostra come la teoria delle soluzioni di viscosità possa essere utilizzata non solo come fine a sé stessa per modelli non lisci, ma come potente strumento intermedio per provare l'esistenza di soluzioni classiche in modelli finanziari e assicurativi complessi.
• Distinzione dai modelli di non-vita: Evidenzia le differenze fondamentali rispetto ai modelli di assicurazione non vita (dove i salti negativi possono causare il fallimento istantaneo), sottolineando come nel modello con rendite il fallimento avvenga solo per diffusione continua, portando a una condizione al bordo specifica ($X_\tau = 0$ quasi certamente).

In sintesi, il paper chiude il cerchio teorico per il modello di Cramér–Lundberg con investimenti e rendite, fornendo una base matematica rigorosa per l'uso delle equazioni integro-differenziali classiche in questo contesto.