Il dominio di dipendenza di un punto in un problema differenziale è la regione dei dati iniziali o al contorno che può influenzare il valore della soluzione in quel punto. È un concetto centrale per le equazioni iperboliche, come l’equazione delle onde, perché formalizza la propagazione a velocità finita.
Nel caso unidimensionale
la formula di D’Alembert mostra che il valore u(x,t) dipende solo dai dati iniziali nell’intervallo
Questo intervallo è il dominio di dipendenza del punto (x,t) sulla retta iniziale t=0.
Lettura geometrica
Le rette
sono le caratteristiche dell’equazione delle onde in una dimensione. Delimitano il cono caratteristico che arriva al punto (x,t).
| Oggetto | Formula | Significato |
|---|---|---|
| Caratteristica destra | \displaystyle x-ct=\text{costante} | onda che viaggia verso destra |
| Caratteristica sinistra | \displaystyle x+ct=\text{costante} | onda che viaggia verso sinistra |
| Dominio di dipendenza | \displaystyle [x-ct,x+ct] | dati iniziali che influenzano \displaystyle u(x,t) |
| Velocità di propagazione | \displaystyle c | pendenza del cono caratteristico |
Differenza rispetto al calore
| Equazione | Dipendenza dai dati |
|---|---|
| Onde | solo dai dati dentro il cono caratteristico |
| Calore | da tutti i punti del dominio, per ogni \displaystyle t>0 nel modello ideale |
Questa differenza spiega perché l’equazione del calore regolarizza istantaneamente, mentre l’equazione delle onde trasporta profili, discontinuità e fronti con velocità finita.
Uso operativo
In una simulazione numerica, il dominio di dipendenza teorico deve essere compatibile con quello numerico. Se uno schema discreto usa punti che non coprono il cono fisico, può produrre propagazioni artificiali, instabilità o velocità d’onda sbagliate. Per questo il concetto è alla base della condizione CFL nei metodi numerici per problemi iperbolici.