2025-11-24T05:19:17.751702

Reconstruction of the non-linear wave at a buoy from shoreline data and applications to the tsunami inverse problem for piece-wise sloping bathymetry

Bobrovnikov, Jones, Prasanna et al.
We discuss the following inverse problem: given the run-up data of a tsunami wave, can we recover its initial shape? We study this problem within the framework of the non-linear shallow water equations, a model widely used to study tsunami propagation and inundation. Previously, it has been demonstrated that in the case of infinite sloping bathymetry, it is possible to recover the initial water displacement and velocity from shoreline readings \cite{Rybkin23,Rybkin24,Rybkin25}. We consider a finite sloping bathymerty. We show that it is possible to recover boundary conditions (water displacement and velocity) on a virtual buoy from the shoreline data. Further, we discuss stitching together the shallow water equations and the Boussinesq equation in a more complex piece-wise sloping bathymetry in order to recover the initial conditions, while incorporating the dispersion to our model.
academic

Ricostruzione dell'onda non lineare a una boa dai dati di costa e applicazioni al problema inverso dello tsunami per batimetria a pendenza a tratti

Informazioni Fondamentali

  • ID Articolo: 2510.14177
  • Titolo: Reconstruction of the non-linear wave at a buoy from shoreline data and applications to the tsunami inverse problem for piece-wise sloping bathymetry
  • Autori: Oleksandr Bobrovnikov¹, Madison Jones², Shriya Prasanna³, Josiah Smith², Alexei Rybkin¹, Efim Pelinovsky⁴'⁵
  • Affiliazioni: ¹University of Alaska Fairbanks, ²University of Colorado Boulder, ³University of Washington, ⁴HSE University, ⁵Institute of Applied Physics
  • Classificazione: math.AP (Analisi Matematica Applicata)
  • Data di Pubblicazione: 17 ottobre 2025
  • Link Articolo: https://arxiv.org/abs/2510.14177

Riassunto

L'articolo affronta un importante problema inverso: dato il runup di un'onda di tsunami, è possibile recuperare la sua forma iniziale? La ricerca è condotta nel quadro delle equazioni non lineari di acque basse, un modello ampiamente utilizzato per lo studio della propagazione dello tsunami e dell'allagamento. Gli autori considerano una batimetria con pendenza finita e dimostrano che è possibile recuperare le condizioni al contorno in corrispondenza di una boa virtuale (spostamento del livello dell'acqua e velocità) dai dati della linea di costa. Viene inoltre discusso l'accoppiamento delle equazioni di acque basse con le equazioni di Boussinesq in batimetrie a pendenza a tratti più complesse, al fine di recuperare le condizioni iniziali e introdurre effetti dispersivi nel modello.

Contesto di Ricerca e Motivazione

Importanza del Problema

  1. Minaccia di Disastri: Il terremoto dell'Alaska del 1964, lo tsunami dell'Oceano Indiano del 2004 e il Grande Terremoto dell'Est Giappone del 2011 hanno causato enormi perdite di vite umane e danni economici, sottolineando l'importanza dell'allerta precoce e della mitigazione dello tsunami.
  2. Necessità di Sistemi di Allerta: Con lo sviluppo del sistema DART (Deep-ocean Assessment and Reporting of Tsunamis), è necessario un quadro teorico per guidare il posizionamento delle boe, al fine di migliorare l'accuratezza e la tempestività dell'allerta precoce dello tsunami.
  3. Sfide della Modellazione Matematica: La propagazione dello tsunami comporta complessi effetti non lineari, in particolare nelle zone costiere, richiedendo modelli matematici accurati per descrivere il comportamento delle onde.

Limitazioni dei Metodi Esistenti

I metodi di inversione dello tsunami esistenti includono principalmente quattro approcci:

  1. Metodi che combinano dati sismici e di forma d'onda
  2. Metodi di ricostruzione utilizzando solo dati di forma d'onda
  3. Metodi di inversione utilizzando la distribuzione dei sedimenti
  4. Metodi di inversione basati su dati di allagamento

Tuttavia, questi metodi presentano limitazioni nel trattare batimetrie con pendenza finita, in particolare nel considerare gli effetti combinati della non linearità e della dispersione.

Motivazione della Ricerca

La motivazione di questo lavoro è estendere i risultati precedenti degli autori per batimetrie con pendenza infinita, sviluppando una teoria di inversione applicabile a batimetrie con pendenza finita più realistiche, e fornire un quadro teorico per guidare il posizionamento delle boe.

Contributi Principali

  1. Estensione Teorica: Estensione della teoria di inversione dello tsunami da batimetrie con pendenza infinita a batimetrie con pendenza finita, fornendo una soluzione analitica completa.
  2. Sviluppo di Algoritmi: Proposta di un algoritmo completo per il recupero delle condizioni al contorno in corrispondenza di una boa virtuale dai dati di runup della linea di costa.
  3. Accoppiamento di Modelli: Sviluppo di un metodo per accoppiare le equazioni non lineari di acque basse (NSWE) con le equazioni di Boussinesq in batimetrie a pendenza a tratti, considerando simultaneamente effetti non lineari e dispersivi.
  4. Verifica Numerica: Validazione del metodo attraverso molteplici scenari fisicamente realistici, includendo diversi tipi di forme d'onda iniziali.
  5. Efficienza Computazionale: Fornitura di un'implementazione algoritmica efficiente con complessità O(N³), supportando il calcolo rapido delle caratteristiche dello tsunami.

Dettagli del Metodo

Definizione del Compito

Input: Dati di runup della linea di costa R(t) Output: Spostamento del livello dell'acqua η(L,t) e velocità u(L,t) in corrispondenza della boa virtuale Vincoli: Condizione di onda non frangente, validità della trasformazione di Carrier-Greenspan

Quadro Matematico Fondamentale

1. Sistema di Equazioni Non Lineari di Acque Basse

In unità adimensionali, il sistema (1) è:

∂tη + u∂x(x + η) + (x + η)∂xu = 0  (Conservazione della massa)
∂tu + u∂xu + ∂xη = 0              (Conservazione della quantità di moto)

2. Trasformazione di Carrier-Greenspan

La trasformazione di linearizzazione chiave (5):

φ(σ,τ) = u(x,t)
σ = x + η(x,t)
ψ(σ,τ) = η(x,t) + u²(x,t)/2
τ = t - u(x,t)

Questa trasformazione converte il sistema non lineare (1) nel sistema lineare (6):

∂τψ + σ∂σφ + φ = 0
∂τφ + ∂σψ = 0

3. Soluzione del Problema Diretto

Introducendo nuove variabili ρ² = σ/σL e la funzione θ(ρ,τ) = ψ(σ,τ) - ψb(τ), utilizzando la decomposizione di Fourier:

θ(τ,ρ) = Σ cn(τ)J₀(jnρ)

dove J₀ è la funzione di Bessel di primo tipo e jn è l'n-esimo zero di J₀.

4. Formula Centrale dell'Algoritmo di Inversione

Equazione della linea di costa (20):

ψsh(τ) = Σ (bn/√an) ∫₀τ sin(√an(τ-ξ))ψ''b(ξ)dξ + ψb(τ)

Formula di inversione (24):

ψb(τ) = L⁻¹[Lψsh/(s²Σ bn/(an+s²) + 1)⁻¹]

Flusso Completo dell'Algoritmo di Inversione

  1. Conversione dei Dati: Utilizzo della trasformazione CGT per convertire R(t) in ψsh(τ)
  2. Recupero dei Limiti: Calcolo di ψb(τ) da ψsh(τ) utilizzando la formula (24)
  3. Ricostruzione del Campo: Utilizzo delle formule (15,16) per calcolare ψ(σ,τ) e φ(σ,τ) nell'intero dominio
  4. Trasformazione Inversa: Esecuzione della trasformazione CGT inversa per recuperare le condizioni al contorno fisiche u(L,t) e η(L,t)

Punti di Innovazione Tecnica

  1. Metodo di Soluzione Analitica: A differenza dei metodi numerici, fornisce una soluzione di inversione completamente analitica, con elevata efficienza computazionale e precisione controllabile.
  2. Tecnica della Trasformata di Laplace: Applicazione astuta della trasformata di Laplace e della trasformata di Fourier veloce inversa (iFFT) per migliorare l'efficienza computazionale.
  3. Strategia di Accoppiamento di Modelli: Accoppiamento innovativo delle equazioni NSWE con le equazioni di Boussinesq, gestendo simultaneamente effetti non lineari e dispersivi.

Configurazione Sperimentale

Scenari di Verifica Numerica

Gli autori hanno progettato quattro diversi scenari di spostamento iniziale per la verifica:

  1. Forma d'onda a doppio picco: η(x,0) = 0.005 sech(x-16) - 0.003e^(-(x-13)²)
  2. Forma d'onda solitonica: η(x,0) = 0.005 cosh⁻²(2x-6)
  3. Forma d'onda gaussiana: η(x,0) = 0.005e^(-(x-7)²)
  4. Forma d'onda multipicco: η(x,0) = 0.005e^(-2(x-6)²) + 0.003e^(-(x-10)²)

Metriche di Valutazione

  • Confronto di Precisione: Confronto tra ψb(τ) recuperato e il valore esatto ψᵉb(τ)
  • Recupero delle Condizioni al Contorno: Verifica della precisione del recupero di u(L,t) e η(L,t)
  • Efficienza Computazionale: Misurazione del tempo di esecuzione dell'algoritmo e della complessità

Dettagli di Implementazione

  • Impostazione dei Limiti: L = 1 (unità adimensionali)
  • Numero di Punti Dati: N = 1500 punti dati
  • Parametro di Troncamento: Zeri della funzione di Bessel troncati a n = 500
  • Piattaforma di Calcolo: Ambiente Google Colab

Risultati Sperimentali

Risultati Principali

1. Verifica della Precisione di Inversione

Dalle figure 4 e 5 si può osservare che per tutti e quattro gli scenari di test, la coerenza tra le condizioni al contorno recuperate ψb(τ) e φb(τ) e la soluzione esatta è eccellente, validando l'efficacia dell'algoritmo.

2. Prestazioni Computazionali

  • Tempo di Esecuzione: Il calcolo di 1500 punti dati richiede 76 secondi su Google Colab
  • Verifica della Complessità: La complessità temporale è conforme all'analisi teorica di O(N³)
  • Risultato dell'Adattamento: La pendenza dell'adattamento ai minimi quadrati tra tempo e numero di punti dati è 2.82, prossima al valore teorico di 3

3. Recupero delle Condizioni al Contorno Fisiche

La figura 7 mostra le condizioni al contorno fisiche recuperate u(L,t) e η(L,t) per i quattro scenari, indicando che l'algoritmo può ricostruire accuratamente le informazioni del campo d'onda in corrispondenza della boa virtuale.

Esperimenti di Accoppiamento delle Equazioni di Boussinesq

1. Verifica della Soluzione di Doppio Solitone di Hirota

Utilizzando la soluzione di doppio solitone di Hirota come condizione al contorno, è stato verificato con successo il metodo di accoppiamento tra NSWE e equazioni di Boussinesq. Parametri sperimentali:

  • q₁ = 0.1, q₂ = √0.1
  • Diverse combinazioni di parametri temporali t₁, t₂

2. Ricostruzione delle Condizioni Iniziali

La figura 13 mostra i risultati della ricostruzione delle condizioni iniziali al momento dell'evento di tsunami (tevent = -100s):

  • Posizioni dei picchi esatti: x₁ = 119.55, x₂ = 123.63
  • Posizioni dei picchi recuperati: x₁ = 119.50, x₂ = 123.64
  • Errore minimo, validando l'accuratezza del metodo

Confronto con Equazioni Lineari di Acque Basse

La figura 16 mostra il confronto tra il modello di Boussinesq e il modello lineare di acque basse nelle stesse condizioni al contorno, evidenziando l'impatto degli effetti dispersivi.

Lavori Correlati

Direzioni di Ricerca sull'Inversione dello Tsunami

  1. Inversione Congiunta Sismica-Forma d'Onda: Yokota et al. (2011), Yue et al. (2014)
  2. Inversione da Dati di Forma d'Onda Pura: Ho et al. (2019), Yamanaka and Tanioka (2024)
  3. Inversione da Sedimenti: Tang and Weiss (2015), Ioki and Tanioka (2016)
  4. Inversione da Dati di Allagamento: Lee et al. (2021), Piatanesi et al. (1996)

Sviluppo di Metodi Numerici

  • Differenze Finite/Elementi Finiti: Kounadis and Dougalis (2020), Xing (2017)
  • Reti Neurali Informate dalla Fisica: Brecht et al. (2025)
  • Modellazione di Batimetrie a Tratti: Synolakis (1987), Varsoliwala and Singh (2021)

Vantaggi Relativi di questo Articolo

Rispetto ai lavori esistenti, questo articolo fornisce un metodo di inversione completamente analitico, evitando gli errori cumulativi dei metodi numerici, e affronta sistematicamente per la prima volta il problema di inversione per batimetrie con pendenza finita.

Conclusioni e Discussione

Conclusioni Principali

  1. Completezza Teorica: Estensione con successo della teoria di inversione dello tsunami a batimetrie con pendenza finita, fornendo una soluzione analitica completa.
  2. Valore Pratico: L'algoritmo può essere utilizzato per guidare l'ottimizzazione del posizionamento delle boe di sistemi di allerta precoce come DART, migliorando l'efficienza dell'allerta.
  3. Integrazione di Modelli: Implementazione con successo dell'accoppiamento tra NSWE e equazioni di Boussinesq, fornendo nuovi approcci per la modellazione dello tsunami in batimetrie più complesse.

Limitazioni

  1. Ipotesi di Onda Non Frangente: L'algoritmo è applicabile solo nel caso di onde non frangenti; il metodo fallisce quando il determinante Jacobiano è zero.
  2. Limitazione del Modello Unidimensionale: Attualmente considera solo il caso unidimensionale, mentre la propagazione dello tsunami è un fenomeno tridimensionale.
  3. Semplificazione della Batimetria: Sebbene consideri batimetrie a tratti, rimane comunque molto semplificata rispetto alla batimetria reale.
  4. Intervallo di Effetti Dispersivi: L'applicabilità delle equazioni di Boussinesq rimane controversa in alcuni casi.

Direzioni Future

  1. Estensione Multidimensionale: Sviluppo di teoria di inversione bidimensionale e tridimensionale
  2. Batimetrie Complesse: Affrontare il problema di inversione per batimetrie con pendenza a più tratti
  3. Criteri di Onda Frangente: Stabilire criteri chiari per l'accettabilità dei dati di linea di costa
  4. Applicazioni Pratiche: Combinazione con dati di osservazione di tsunami reali per la verifica

Valutazione Approfondita

Punti di Forza

  1. Rigore Matematico: Basato su teoria matematica rigorosa, fornisce una soluzione analitica completa, evitando l'accumulo di errori dei metodi numerici.
  2. Efficienza Computazionale: La complessità O(N³) è accettabile per i requisiti di tempestività dell'allerta precoce dello tsunami, con vantaggi di velocità di calcolo particolarmente evidenti per modelli unidimensionali.
  3. Forte Innovatività: Primo a risolvere sistematicamente il problema di inversione dello tsunami per batimetrie con pendenza finita, e implementa innovativamente l'accoppiamento di diverse equazioni.
  4. Verifica Sufficiente: Attraverso la verifica numerica di molteplici scenari di forma d'onda, dimostra la stabilità e l'accuratezza del metodo.

Insufficienze

  1. Limitazione dell'Ambito di Applicabilità: L'ipotesi di onda non frangente limita l'applicazione del metodo in casi fortemente non lineari.
  2. Semplificazione del Modello di Batimetria: La batimetria reale è molto più complessa delle batimetrie a pendenza a tratti, e l'effetto pratico del metodo rimane da verificare.
  3. Mancanza di Verifica con Dati Reali: Utilizza solo dati sintetici per la verifica, mancando di confronti con dati di osservazione di tsunami reali.
  4. Compatibilità delle Condizioni al Contorno: Sebbene menzionate le condizioni di compatibilità, il loro impatto nelle applicazioni pratiche non è stato discusso in dettaglio.

Impatto

  1. Contributo Teorico: Fornisce una base matematica importante per la teoria di inversione dello tsunami, in particolare per i metodi analitici.
  2. Valore Pratico: Fornisce guida teorica per il posizionamento delle boe nei sistemi di allerta precoce dello tsunami, con significato importante per la riduzione dei disastri.
  3. Significato Metodologico: L'applicazione innovativa della trasformazione di Carrier-Greenspan fornisce ispirazione per altri problemi di onde non lineari.

Scenari di Applicazione

  1. Progettazione di Sistemi di Allerta Precoce dello Tsunami: Guida l'ottimizzazione del posizionamento di dispositivi di monitoraggio come le boe DART
  2. Ricostruzione di Tsunami Storici: Ricostruzione di eventi storici basata su dati di sedimenti di tsunami antichi
  3. Ricerca Teorica: Fornisce strumenti matematici per la ricerca sui meccanismi di propagazione dello tsunami
  4. Applicazioni Ingegneristiche: Riferimento per la progettazione di opere di protezione costiera

Bibliografia

L'articolo cita una ricca bibliografia di lavori correlati, che include principalmente:

  • Carrier and Greenspan (1958): Lavoro originale sulla trasformazione CGT
  • Rybkin et al. (2021, 2023, 2024, 2025): Serie di lavori del team degli autori
  • Synolakis (1987): Lavoro classico sulla modellazione di batimetrie a tratti
  • Hirota (1973): Contributo importante alle soluzioni solitoniche delle equazioni di Boussinesq

Valutazione Complessiva: Questo è un articolo di alta qualità di fisica matematica che fornisce contributi importanti alla teoria di inversione dello tsunami. Il metodo ha una base matematica rigorosa e una buona efficienza computazionale, con valore teorico e pratico importante per l'allerta precoce dello tsunami e la riduzione dei disastri. Sebbene presenti alcune limitazioni, pone una base solida per lo sviluppo futuro del campo.