Trasformata di Laplace

operatore funzionale lineare

In analisi funzionale, la trasformata di Laplace (dal nome del matematico francese Pierre Simon Laplace) è una trasformata integrale ovvero nello specifico un operatore funzionale lineare che associa ad una funzione di variabile reale una funzione di variabile complessa.

Pierre Simon Laplace

Descrizione modifica

Definizione modifica

Sia data una funzione   definita sui numeri reali. La trasformata di Laplace è la funzione definita sull'insieme continuo   data da

 

essendo   il numero di Nepero (o Eulero) ed il parametro   un numero complesso

 

con   e   numeri reali e   l'unità immaginaria. Talvolta la trasformata è indicata, meno rigorosamente, nella forma  .

Si può definire la trasformata di Laplace di una misura di Borel finita   attraverso l'integrale di Lebesgue:

 

Un importante caso particolare si verifica se   è una misura di probabilità.

La trasformata unilatera di Laplace è definita per   come:

 

La trasformata di Laplace tipicamente esiste per tutti i numeri reali  , dove   è una costante (chiamata ascissa di convergenza) che dipende dalla funzione originaria e che costituisce la regione di convergenza.

Si tratta di una trasformata integrale che gode di numerose proprietà, che la rendono utile per l'analisi dei sistemi dinamici lineari. Il vantaggio più significativo è che l'integrale e la derivata di una funzione diventano rispettivamente una moltiplicazione e una divisione per la variabile complessa, analogamente al modo in cui i logaritmi cambiano la moltiplicazione di numeri nella loro addizione. Essa consente di trasformare le equazioni integrali e le equazioni differenziali in equazioni polinomiali, che sono più immediate da risolvere. Anche la risposta (l'uscita) di un sistema dinamico lineare può essere calcolata come prodotto di convoluzione della sua risposta impulsiva unitaria con il segnale d'ingresso. Sviluppando questo calcolo nello spazio di Laplace la convoluzione diventa una moltiplicazione, che spesso rende il problema più semplice. In particolare nell'ingegneria dei sistemi la trasformata di Laplace della risposta impulsiva del sistema è la sua funzione di trasferimento che caratterizza il comportamento del sistema in oggetto:

 

Teoria delle probabilità modifica

Nella teoria delle probabilità la trasformata di Laplace è definita come un valore atteso. Se   è una variabile casuale con funzione di densità di probabilità  , allora la trasformata di   è data dal valore di aspettazione:

 

Con abuso di notazione, si riferisce a tale integrale come la trasformata di Laplace di   stesso, e sostituendo   con   si ha la funzione generatrice dei momenti di  . Di particolare interesse è la pratica di ottenere la funzione cumulativa di distribuzione di probabilità di una variabile casuale   attraverso la trasformata di Laplace nel modo seguente:

 

Trasformata inversa modifica

  Lo stesso argomento in dettaglio: Trasformata inversa di Laplace.

L'inversa della trasformata di Laplace è data dall'integrale di Bromwich, anche detto integrale di Fourier-Mellin o formula inversa di Mellin, un integrale complesso dato da

 

dove   è un numero reale tale che il contorno del cammino di integrazione sia contenuto nella regione di convergenza di  .

Si dimostra che se una funzione   ha la trasformata inversa  , ovvero   è una funzione continua a tratti che soddisfa la condizione

 

allora   è univocamente determinata.

Regione di convergenza modifica

Se   è una funzione localmente integrabile, o più in generale una misura di Borel sufficientemente regolare, allora la trasformata di Laplace   di   converge se esiste il limite

 

e converge assolutamente se esiste l'integrale di Lebesgue

 

Se si verifica soltanto la convergenza del primo tipo, la trasformata di Laplace converge condizionatamente.

Dal teorema della convergenza dominata segue che i valori tali che   converge assolutamente sono tali che   oppure  , dove   appartiene alla retta reale estesa. Tale costante è detta ascissa di convergenza assoluta e dipende dal comportamento della crescita della funzione  . Nella regione di convergenza assoluta la trasformata è una funzione analitica.

L'insieme di valori in cui   converge, condizionatamente o assolutamente, è la regione di convergenza (ROC). Se la trasformata di Laplace converge condizionatamente in   allora converge per ogni   tale che  , e di conseguenza la regione di convergenza è il semipiano   ed eventualmente punti sulla linea di frontiera  . Nella regione di convergenza   la trasformata di Laplace può essere espressa integrando per parti:

 

evidenziando così il fatto che nella regione di convergenza la funzione   può essere espressa come la trasformata di Laplace assolutamente convergente di qualche altra funzione, ed in particolare è analitica.

Proprietà modifica

 
 
 
 
 
  • Traslazione complessa:
 
  • Traslazione nel tempo:
 
dove   è il gradino di Heaviside.
  • Moltiplicazione per   alla  -esima potenza:
 
 
 

Teorema del valore iniziale e del valore finale modifica

  Lo stesso argomento in dettaglio: Teorema del valore iniziale.

Si possono enunciare due teoremi che permettono di conoscere il valore iniziale e il valore finale della funzione partendo dalla sua trasformata. Essi valgono per funzioni di classe  , causali (cioè nulle per  ) e con ascissa di convergenza  . Il teorema del valore iniziale stabilisce che:

 

mentre il teorema del valore finale stabilisce che se è finito ed esiste  , allora:

 

Trasformata di alcune funzioni notevoli modifica

 
 
 
 
 
 
 
 
 
 
 
 
 
  • Funzioni di Bessel modificate:
 
 

Relazione con le altre trasformate modifica

Trasformata di Laplace–Stieltjes modifica

  Lo stesso argomento in dettaglio: Trasformata di Laplace-Stieltjes.

La trasformata di Laplace–Stieltjes di una funzione a variazione limitata   è l'integrale di Lebesgue-Stieltjes dato da:

 

Se   è la primitiva di  :

 

allora la trasformata di Laplace–Stieltjes di   coincide con la trasformata di Laplace di  . In generale, la trasformata di Laplace–Stieltjes è la trasformata di Laplace della misura di Stieltjes associata a  .

Trasformata di Mellin modifica

  Lo stesso argomento in dettaglio: Trasformata di Mellin.

La trasformata di Mellin e la sua inversa si ottengono dalla trasformata di Laplace con un cambio di coordinate. Se nella trasformata di Mellin:

 

si pone  , si ha la trasformata di Laplace.

Trasformata di Fourier modifica

  Lo stesso argomento in dettaglio: Trasformata di Fourier.

La trasformata di Fourier è equivalente al valutare la trasformata di Laplace bilatera con argomento immaginario  :

 

e tale definizione è valida se e solo se la regione di convergenza di   contiene l'asse immaginario. Inoltre, richiede la presenza del fattore   nella trasformata di Fourier inversa. Una relazione del tipo:

 

vale tuttavia sotto condizioni meno restrittive, e le condizioni generali che relazionano il limite della trasformata di Laplace di una funzione sul bordo con la trasformata di Fourier sono date dal teorema di Paley-Wiener.

Trasformata zeta modifica

  Lo stesso argomento in dettaglio: Trasformata zeta.

La trasformata zeta unilatera è la trasformata di Laplace di un segnale campionato in modo ideale con la sostituzione:

 

dove   è il periodo di campionamento, con   la frequenza di campionamento (misurata in campioni per secondo o in hertz).

Sia

 

un treno di impulsi e sia

 

la rappresentazione tempo-continua del segnale   ottenuto campionando  . La trasformata di Laplace di   è data da:

 

Si tratta della definizione della trasformata zeta unilatera della funzione tempo-discreta  , ovvero

 

con la sostituzione  . Confrontando le ultime due relazioni si ottiene quindi la relazione tra la trasformata zeta unilatera e la trasformata di Laplace del segnale campionato

 

Applicazione alle equazioni differenziali modifica

  Lo stesso argomento in dettaglio: Equazione differenziale lineare.

Nell'ambito della teoria delle equazioni differenziali lineari a valori iniziali dati, le proprietà della trasformata di Laplace, in particolare la linearità e la formula per le derivate di funzioni, possono essere utilizzate come potente mezzo risolutivo. Considerando la proprietà della trasformata:

 

si può facilmente dimostrare per induzione che:

 

Si consideri ora la seguente equazione differenziale:

 

con valori iniziali dati:

 

Usando la linearità della trasformata di Laplace è equivalente riscrivere l'equazione come:

 

ottenendo:

 

Risolvendo l'equazione per   e sostituendo   con   si ottiene:

 

La soluzione per   è ottenuta applicando la trasformata inversa di Laplace a  .

Si noti che se tutti i valori iniziali sono zero, cioè:

 

allora la formula si semplifica a:

 

Esempio 1 modifica

Si vuole risolvere:

 

con valori iniziali   e  .

Si nota che:

 

ottenendo:

 

L'equazione è quindi equivalente a:

 

Si deduce quindi che:

 

Applicando la trasformata inversa di Laplace si ottiene:

 

Esempio 2 modifica

Si consideri l'equazione:

 

questa equazione è la relazione fondamentale che descrive il decadimento radioattivo, dove:

 

rappresenta il numero di atomi non decaduti in un campione di isotopi radioattivi al tempo  , e   è la costante di decadimento. Si può usare la trasformata di Laplace per risolvere questa equazione. Riscrivendo l'equazione da una parte si ha:

 

trasformando entrambi i membri:

 

dove:

 

Risolvendo si trova:

 

Alla fine, si antitrasforma per trovare la soluzione generale:

 

che è il risultato corretto che descrive il decadimento radioattivo.

Esempio 3 modifica

Si consideri un circuito RC in tensione continua   definita come:

 

e con condizioni iniziali   (si tratta della carica di un condensatore). Usando le leggi di Kirchhoff, si ha che la sua equazione caratteristica è:

 

Trasformando secondo Laplace da entrambe le parti:

 

dove si è indicato   la trasformata di Laplace di   e  . Dunque, antitrasformando:

 

che è la nota espressione per la corrente in un circuito RC in fase di carica.

Esempio 4 modifica

Studiamo l'equazione del moto armonico semplice:

 

con  . Trasformando secondo Laplace da entrambe le parti:

 

e dunque, antitrasformando:

 

avendo posto

 

Bibliografia modifica

Voci correlate modifica

Altri progetti modifica

Collegamenti esterni modifica

Controllo di autoritàThesaurus BNCF 35184 · LCCN (ENsh85074666 · BNF (FRcb119531733 (data) · J9U (ENHE987007555498105171 · NDL (ENJA00567362