Trasformata wavelet continua inversa
La funzione icwt
implementa la CWT inversa. L’utilizzo della icwt
richiede che si ottenga la CWT dalla cwt
.
Poiché la CWT è una trasformata ridondante, non esiste un modo univoco per definire l'inversa. La CWT inversa implementata nella Wavelet Toolbox™ utilizza le wavelet analitiche e la normalizzazione L1.
La CWT inversa è presentata classicamente nella forma a doppio-integrale. Si supponga di avere una wavelet ψ con una trasformata di Fourier che soddisfi le condizioni di ammissibilità:
Per le wavelet e le funzioni a energia finita che soddisfano la condizione di ammissibilità f(t), è possibile definire la CWT inversa come:
dove .
Per l'analisi di wavelet e funzioni che soddisfano la seguente condizione, esiste un'unica formula integrale per la CWT inversa.
La funzione analizzata f(t) ha energia finita e la trasformata di Fourier della wavelet di analisi ha supporto solo sull'insieme delle frequenze non negative. Questa viene indicata come una wavelet analitica. Una funzione la cui trasformata di Fourier ha supporto solo sull'insieme delle frequenze non negative deve avere valore complesso.
Le wavelet supportate dalla cwt
sono analitiche.
Per motivare la formula dell’integrale singolo, siano ψ1 e ψ2 due wavelet che soddisfano la seguente condizione di ammissibilità a due-wavelet:
Definire la costante:
La suddetta costante può essere a valore complesso. Siano f(t) e g(t) due funzioni di energia finita. Se la condizione di ammissibilità a due-wavelet è soddisfatta, vale la seguente uguaglianza:
dove < , > denota il prodotto interno, * denota il coniugato complesso, mentre la dipendenza di ψ1 e ψ2 dalla scala e dalla posizione è stata soppressa per comodità.
La chiave della formula integrale singola per la CWT inversa consiste nel riconoscere che la condizione di ammissibilità a due-wavelet può essere soddisfatta anche se una delle wavelet non è ammissibile. In altre parole, non è necessario che sia ψ1 sia ψ2 siano ammissibili separatamente. È inoltre possibile mitigare ulteriormente i requisiti consentendo che una delle funzioni e una delle wavelet siano distribuzioni. Lasciando prima che g(t) sia la funzione delta di Dirac (una distribuzione) e consentendo anche a ψ2 di essere una funzione delta di Dirac, è possibile ricavare la formula dell'integrale singolo per la CWT inversa.
Quando f(t) ha valore reale,
dove Re{ } denota la parte reale.
Quando f(t) ha valore complesso,
Le equazioni precedenti dimostrano che è possibile ricostruire il segnale sommando i coefficienti CWT scalati su tutte le scale.
Sommando i coefficienti CWT scalati delle scale selezionate, si ottiene un'approssimazione del segnale originale. Questo è utile nelle situazioni in cui il fenomeno di interesse è localizzato in scala.
La funzione icwt
implementa una versione discretizzata degli integrali di cui sopra. È inoltre possibile utilizzare i filtri di analisi estratti da un oggetto cwtfilterbank
per invertire la CWT. In questo caso, icwt
utilizza i filtri di sintesi approssimati, o dual frame, nell'inversione.