Approssimazione tramite trasformate di Fourier

Analisi, algebra lineare, topologia, gruppi, anelli, campi, ...
Rispondi
afullo
Messaggi: 945
Iscritto il: 01 gen 1970, 01:00
Località: Almese (TO)
Contatta:

Approssimazione tramite trasformate di Fourier

Messaggio da afullo »

Ciao a tutti, vi volevo gentilmente sottoporre un problema che coinvolge approssimazione e trasformazione.
Vogliamo scrivere una funzione in $\theta$ come serie di potenze di un'altra funzione in $\theta$:
$$ \widehat{g}(\theta) = \sum_{k \geq 0} c_k \left( \widehat{f}(\theta) \right)^k $$
Poiché siamo interessati ad un'applicazione computazionale, la nostra somma dovrà essere finita, e dovremo introdurre un errore dipendente dalla potenza di troncamento $N$:
$$ \widehat{g}(\theta) = \sum_{k=0}^N c_k \left( \widehat{f}(\theta) \right)^k + \widehat{e}_N(\theta) $$
Ora, per determinare i coefficienti $c_k$, possiamo richiedere che siano nulli i coefficienti dello sviluppo di Mac Laurin in $\theta$ fino al grado $N$ della differenza:
$$ \widehat{g}(\theta) - \sum_{k=0}^N c_k \left( \widehat{f}(\theta) \right)^k $$
A questo punto trasformiamo secondo Fourier (o antitrasformiamo, cambierebbe solo il segno dell'argomento), arrivando ad ottenere:
$$ g(x) = \sum_{k=0}^N c_k h_k(x) + e_N(x) $$
dove le funzioni $h_k(x)$ sono facilmente calcolabili, a differenza della funzione $g(x)$ che anche è nota ma è di difficile computazione per quanto riguarda i suoi valori puntuali.
Mi chiedo se sia possibile limitare in funzione di $N$ l'errore $e_N(x)$; a tale proposito, possono essere utili alcune informazioni supplementari:
  • Richiedendo che siano nulli i coefficienti dello sviluppo di Mac Laurin, supponiamo che il sistema risultante sia non singolare.
  • Sia le funzioni $g(x)$ che le funzioni $h_k(x)$ sono a supporto compatto e noto, con estremo sinistro 0. L'estremo destro di $supp[h_k(x)]$ può essere maggiore di quello di $supp[g(x)]$, ma a noi interessa soltanto il comportamento in $supp[g(x)]$, sapendo che $g(x)$ vale zero altrove.
  • In realtà i coefficienti $c_k$ dipendono anche da $N$: ho tentato con un'opportuna scelta di $\widehat{f}$, $\widehat{g}$ e $N$, ed è risultato che valori differenti di quest'ultimo parametro davano origine a successioni di coefficienti diverse. Questo sembrerebbe non rendere possibile di coinvolgere nell'errore soltanto $h_{N+1}(x), h_{N+2}(x), \ldots$, in quanto aumentando $N$ di uno in generale variano anche i coefficienti di $h_0(x), h_1(x), \ldots $.
Ci potrebbe essere qualche idea? Concludo riportando che l'esempio tentato, affrontato numericamente, sembra mettere in luce un errore (nelle norme $1$, $2$, $\inf$) che tende a zero come $1/N$.
Grazie in anticipo.
Iscritto all'OliForum dalla gara del 19/02/2003.

Cesenatico - 2003 : 9 punti - menzione (193°) | 2004 : 19 - argento (33°) | 2005 : 21 - bronzo (69°) | 2006 : 25 - argento (20°)
Squadra B. Pascal (Giaveno) - 2005: 6° | 2006: 8°
Cattolica - 2006: 4°
Bocconi GP - 2009: 29° | 2010: 44° | 2012: 17° | 2013: 22° | 2014: 17° | 2015: 38° | 2016: 23° | 2017: 4° | 2018: 14° | 2019: 7° | 2021 (par): 8° | 2022: 6° | 2023: 5°

Ex allenatore di: Cattaneo, Copernico, Ferraris (TO), Newton (Chivasso), Pascal (Giaveno).
Avatar utente
<enigma>
Messaggi: 876
Iscritto il: 24 set 2009, 16:44

Re: Approssimazione tramite trasformate di Fourier

Messaggio da <enigma> »

Giusto per sapere, $f$ e $g$ nel caso che ti serve hanno qualche proprietà in più o sono del tutto generiche (a parte l'essere analitiche)? Perché immagino tu abbia già provato la strada dell'esprimere il resto di MacLaurin nelle varie forme e trasformare quello.
"Quello lì pubblica come un riccio!" (G.)
"Questo puoi mostrarlo o assumendo abc o assumendo GRH+BSD, vedi tu cos'è meno peggio..." (cit.)
Rispondi