Trasformata di fourier della funzione gradino

Nick_931
Ciao a tutti. Avrei alcune domande da farvi riguardo la trasformata di fourier della funzione gradino. In pratica ho che

$ H(k)=\int_(-infty)^(infty) e^{-ikx} H(x-x_0) dx = int_(x_0)^(infty) e^{-ikx} dx $

perchè per x < x_0 la funzione è uguale a zero

Ora ciò che non mi è chiaro è il concetto di limite valore principale. Nei miei appunti mi ritrovo che: in questo caso non è possibile applicare il limite valore principale in quanto x_0 è fissato, quindi a priori non posso determinare convergenza o meno. Posso procedere facendo la sostituzione $k=k-i \epsilon$, in questo modo, mandando $\epsilon \to 0$ ottengo la convergenza dell'integrale

Come definizione di valore principale io faccio riferimento al valore principale delle funzioni polidrome, però non capisco come si ricolleghi alle altre affermazioni

Deve essere qualcosa di banale ma ormai mi sono incartato :-D

Risposte
Paolo902
Trovo curioso - e bello - sapere che qualcuno, in giro per il mondo, ha scritto un pdf che si intitola: "The Fourier transform of the Heaviside function: a tragedy". E sì, perché questo "esercizio" della tragedia ha indubbiamente qualcosa: da quel poco che ne so, è una di quelle cose che un ingegnere divora a velocità spaventosa mentre, invece, un povero matematico deve prendere il digestivo per mandare giù tutto quanto. Giustificare tutto nel dettaglio è operazione doverosa ma delicata, insomma occorre qualche riflessione in più del solito, meccanico calcolo della trasformata (ma questo uno lo intuisce già dal fatto che la Heaviside non è $L^1(RR)$).

Tornando serio, qui trovi il pdf: riassume le idee chiave che si nascondono dietro al calcolo senza scendere troppo nel dettaglio (dipende anche da chi sei e da dove vuoi andare: dimmi, sei matematico o ingegnere?). Prova a darci un'occhiata e poi eventualmente facci sapere; saremo lieti di discutere con te più nel dettaglio della questione.

Nick_931
Ciao Paolo90 =) sono iscritto a fisica e ho iniziato da un paio di giorni a studiare serie e trasformate di fourier e le rispettive proprietà. Ciò che non mi credo sia un problema di notazione o di alcune definizioni che non ho ben chiare. Cioè , se considero questo integrale:

$ \int_(-infty)^(infty) e^{-ikx} dx = \lim_{N \to infty} \int_(-N)^(N) e^{-ikx} dx$

grazie alla condizione di Dini e al teorema di Riemann_Lebegue converge alla delta di Dirac

Ora nel caso in cui

$ H(k)=\int_(-infty)^(infty) e^{-ikx} H(x-x_0) dx = int_(x_0)^(infty) e^{-ikx} dx $

facendo questa sostituzione $k=k-i \epsilon$ , mi ritrovo con

$ lim_(epsilon -> 0) e^{-ikx_0}/{i(k-i epsilon)} $

e non capisco perchè :?

Nick_931
Ciao Paolo90 =) sono iscritto a fisica e ho iniziato da un paio di giorni a studiare serie e trasformate di fourier e le rispettive proprietà. Ciò che non mi credo sia un problema di notazione o di alcune definizioni che non ho ben chiare. Cioè , se considero questo integrale:

$ \int_(-infty)^(infty) e^{-ikx} dx = \lim_{N \to infty} \int_(-N)^(N) e^{-ikx} dx$

grazie alla condizione di Dini e al teorema di Riemann_Lebegue converge alla delta di Dirac

Ora nel caso in cui

$ H(k)=\int_(-infty)^(infty) e^{-ikx} H(x-x_0) dx = int_(x_0)^(infty) e^{-ikx} dx $

facendo questa sostituzione $k=k-i \epsilon$ , mi ritrovo con

$ lim_(epsilon -> 0) e^{-ikx_0}/{i(k-i epsilon)} $

e non capisco perchè :?

[edit: rinvio il messaggio perchè tra i miei messaggi compare mentre nella pagina principale mi dice che l'ultima risposta è di Paolo90. Inoltre ieri non sono riuscito ad accedere al sito tutta la giornata. E' a causa della mia connessione o c'è stato qualche problema? :-) ]

Paolo902
Sinceramente non capisco i tuoi dubbi. E' "ovvio" che i risultati che vengono fuori sono diversi, stai integrando funzioni diverse! La Heaviside non si "vede", ma si sente, dal momento che tronca il dominio di integrazione. In soldoni, se ho capito bene, ti stai chiedendo perché i due integrali
\[
\int_{\mathbb R} e^{-ikx} dx
\]
e
\[
\int_0^{\infty} e^{-ikx} dx
\]
sono diversi.

Oppure forse ti stai chiedendo come ha fatto a svolgere il secondo integrale?

Nick_931
Ciò che non ho ben chiaro è perchè sia necessaria la seguente sostituzione

$ int_(x_0)^(infty) e^{-ikx} dx $

facendo questa sostituzione $k=k-i \epsilon$

cioè non ho ben capito come svolgere l'integrale

Paolo902
Il perché si debba fare quella sostituzione è presto spiegato.

Semplicemente, chiediti: come posso calcolare quell'integrale? Che strategia adottare? Che metodo "applicare"? Come tu stesso affermi, se il dominio fosse stato tutto $RR$, allora potresti scrivere quel limite (quello che riporti nel primo topic) e poi cercare di usare Riemann-Lebesgue. Ma qui? Che cosa puoi fare?

Le motivazioni di quella sostituzione (o di altre ancora più corrette) le trovi spiegate nel pdf che ti ho linkato.

Nick_931
Una cosa che non sapevo era la definizione di valor principale di Cauchy definito come

$ PVint_(-infty)^(infty) f(x) dx=lim_(R -> infty) int_(-R)^(R) f(x) dx $

se un integrale improprio è convergente allora esso è convergente anche secondo il valore principale di Cauchy. Il viceversa in generale è falso.

ora, come è scritto anche nel pdf, non posso fare direttamente l'integrale perchè

$ lim_(x -> infty) e^{-ikx} $

non esiste!

Però non sono riuscito a capire perchè


$ lim_(x -> infty) e^{-i(k-i \epsilon)x} $

dovrebbe esistere?

Paolo902
"Nick_93":

Però non sono riuscito a capire perchè
$ lim_(x -> infty) e^{-i(k-i \epsilon)x} $
dovrebbe esistere?


Be',
\[
e^{-i(k-i\varepsilon)x} = e^{-ikx} e^{-\varepsilon x}.
\]
Inoltre, limitata per infinitesima è...

Nick_931
Ok ok ci sono :-D

quindi posso fare quella sostituzione perchè per $\epsilon \to 0$ riottengo comunque la funzione, però così facendo posso procedere facendo prima il limite per $x \to infty$ senza avere nessun tipo di problema e infine facendo tendere $\epsilon$ a zero ottengo il risultato

Rispondi
Per rispondere a questa discussione devi prima effettuare il login.