Μετασχηματισμός Λαπλάς

Στα μαθηματικά, ο μετασχηματισμός Λαπλάς χρησιμοποιεί ευρέως τον ολοκληρωτικό μετασχηματισμό. Αναπαρίσταται ως  \displaystyle\mathcal{L} \left\{f(t)\right\}, είναι μια γραμμική  απεικόνιση μιας συνάρτησης *f*(*t*) με πραγματικό πεδίο ορισμού *t* (*t* ≥ 0)  που τη μετατρέπει σε μια συνάρτηση F(s)  με όρισμα ένα μιγαδικό αριθμό s. Αυτός ο μετασχηματισμός είναι ουσιαστικά αμφιμονοσήμαντος (bijection) για την πλειονότητα των πρακτικών εφαρμογών. Τα αντίστοιχα ζευγάρια των *f*(*t*) και *F*(*s*) δίνονται σε πίνακες. Ο μετασχηματισμός Λαπλάς έχει την χρήσιμη ιδιότητα, ότι πολλές σχέσεις και λειτουργίες  των συναρτήσεων *f*(*t*) αντιστοιχούν σε πολύ πιο απλές πάνω στις εικόνες  *F*(*s*). 
Ο μετασχηματισμός Λαπλάς έχει σημαντικές εφαρμογές σε πολλές επιστήμες. Το όνομα δόθηκε από τον Πιέρ Σιμόν Λαπλάς ο οποίος εισήγαγε τον μετασχηματισμό δουλεύοντας πάνω στην θεωρία πιθανοτήτων.

Ο μετασχηματισμός Λαπλάς σχετίζεται με το μετασχηματισμό Φουριέ, αλλά ενώ ο μετασχηματισμός Φουριέ αναλύει μια συνάρτηση ή ένα σήμα στο φάσμα συχνοτήτων, ο μετασχηματισμός Laplace αναλύει μια συνάρτηση στις ροπές της (moments). Όπως ο μετασχηματισμός Φουριέ, ο μετασχηματισμός Λαπλάς χρησιμοποιήθηκε για την επίλυση διαφορικών και ολοκληρωτικών εξισώσεων. Στην φυσική και στην μηχανική, χρησιμοποιήθηκε για την ανάλυση σε γραμμικά χρονικά αμετάβλητα συστήματα όπως τα ηλεκτρικά κυκλώματα, στους αρμονικούς ταλαντωτές, στις οπτικές συσκευές και στα μηχανικά συστήματα.  Σε αυτή την ανάλυση, ο μετασχηματισμός Λαπλάς συχνά ερμηνεύεται ως ένας μετασχηματισμός από το πεδίο του χρόνου, όπου οι είσοδοι και οι έξοδοι είναι συναρτήσεις στο χρόνο, στο πεδίο της συχνότητας όπου οι ίδιες είσοδοι και έξοδοι είναι συναρτήσεις της μιγαδικής γωνιακής συχνότητας, σε ακτίνια ανά μονάδα χρόνου (rad/sec). Δίνοντας μια απλή μαθηματική ή συναρτησιακή περιγραφή μιας εισόδου ή μιας εξόδου ενός συστήματος, ο μετασχηματισμός Λαπλάς παρέχει μια εναλλακτική λειτουργική περιγραφή που συχνά απλοποιεί την διαδικασία  της ανάλυσης της συμπεριφοράς του συστήματος, ή την σύνθεσης ενός νέου συστήματος βασιζόμενη σε ένα σύνολο προδιαγραφών.

## Ιστορική αναδρομή

Ιστορία 
Ο μετασχηματισμός Λαπλάς πήρε το όνομα από τον μαθηματικό και αστρονόμο Πιέρ Σιμόν Λαπλάς (Pierre-Simon Laplace), ο οποίος χρησιμοποίησε τον μετασχηματισμό πάνω στην  δουλειά του στη θεωρία πιθανοτήτων. Από το 1744, ο Λέοναρντ Όιλερ (Leonahard Euler), ερεύνησε ολοκληρώματα της μορφής 

:  z = \int X(x) e^{ax}\, dx \quad\text{ and }\quad z = \int X(x) x^A \, dx

Ως λύσεις των διαφορικών εξισώσεων, αλλά δεν επιδίωξε να συνεχίσει το θέμα περαιτέρω. Ο Ζοσέφ Λουί Λαγκράνς (Joseph Louis Lagrange) ήταν ένας θαυμαστής του Όιλερ και στη δουλειά του πάνω στη συνάρτηση πυκνότητας πιθανότητας, ερεύνησε εκφράσεις της μορφής 

:  \int X(x) e^{- a x } a^x\, dx,

Όπου πολλοί μοντέρνοι ιστορικοί την ερμήνευσαν μέσα στη μοντέρνα θεωρία του μετασχηματισμού Λαπλάς.

Αυτοί οι τύποι ολοκληρωμάτων φαίνεται αρχικά να είχαν προσελκύσει την προσοχή του Λαπλάς το 1782 όπου είχε ακολουθήσει το πνεύμα του Euler χρησιμοποιώντας τα ολοκληρώματα από μόνα τους ως λύσεις των εξισώσεων. Ωστόσο, το 1785, ο Λαπλάς έκανε το μεγάλο βήμα όταν, αντί να κοιτάει για μια λύση στη μορφή ενός ολοκληρώματος άρχισε να ισχυρίζεται τους μετασχηματισμούς με μια έννοια που μετά έγινε γνωστός. Χρησιμοποίησε ένα ολοκλήρωμα της μορφής :

:  \int x^s \phi (x)\, dx,

συγγενής με τον μετασχηματισμό Μελίν (Mellin transform), για να μετασχηματίσει μια ολόκληρη διαφορική εξίσωση,  ώστε να κοιτάξει για λύσεις της εξίσωσης μετασχηματισμού. Μετά πήγε να ενεργοποιήσει το μετασχηματισμό Λαπλάς με τον ίδιο τρόπο και άρχισε να αντλεί κάποιες ιδιότητες του, αρχίζοντας να εκτιμά την δυνητική ισχύ.
Ο Λαπλάς επίσης αναγνώρισε ότι μέθοδος του  Ζοζέφ Φουριέ (Joseph Fourier) της σειράς Φουριέ για την λύση εξισώσεων διάχυσης μπορούσε μόνο να βρει την περιοχή του χώρου εφόσον οι λύσεις ήταν περιοδικές. Το 1809 ο Λαπλάς παρουσίασε τον μετασχηματισμό για να βρίσκει λύσεις όπου είναι διάχυτες μη ορισμένες στον χώρο.

## Τυπικός Ορισμός

Ο μετασχηματισμός λαπλάς μιας συνάρτησης *f*(*t*)), ορίζεται για όλους τους πραγματικούς αριθμούς   *t* ≥ 0, είναι η συνάρτηση  *F*(*s*), η οποία ορίζεται ως :

: F(s) = \mathcal{L} \left\{f(t)\right\}=\int_0^{\infty} e^{-st} f(t) \,d(f). 

Η παράμετρος *s* είναι μιγαδικός αριθμός :

: s = \sigma + i \omega, \,  Με πραγματικούς αριθμούς σ και ω.

Η έννοια του ολοκληρώματος  εξαρτάται από τον τύπο της συνάρτησης που μας ενδιαφέρει. Μια απαραίτητη συνθήκη για την ύπαρξη του ολοκληρώματος  είναι ότι η *ƒ* πρέπει να είναι τοπικά ολοκληρώσιμη στο διάστημα [0,∞). Για τοπικές ολοκληρώσιμες συναρτήσεις  που  αποσυντίθενται στο άπειρο ή είναι εκθετικής μορφής, το ολοκλήρωμα μπορεί να κατανοηθεί ως ένα (σωστό) Λεμπέγκ ολοκλήρωμα (Lebesgue integral). Ωστόσο για πολλές εφαρμογές είναι απαραίτητο  να το θεωρήσουμε ως ένα  υπό συνθήκη συγκλίνων γενικευμένο ολοκλήρωμα στο  ∞. Ακόμα γενικότερα, το ολοκλήρωμα μπορεί να γίνει κατανοητό με μια αδύναμη αίσθηση, και αυτό εξετάζεται παρακάτω.

Αρχικά μπορούμε να ορίσουμε τον μετασχηματισμό Λαπλάς  ενός πεπερασμένου μετρητή Μπόρελ (Borel measure) μ από το ολοκλήρωμα Λεμπεσκουέ (Lebesgue integral).

: (\mathcal{L}\mu)(s) = \int_{[0,\infty)} e^{-st}d\mu(t).

Μια σημαντική ειδική περίπτωση είναι όπου  μ είναι ένα  μέτρο πιθανότητας ή, ακόμα πιο συγκεκριμένα, η συνάρτηση δέλτα (dirac). Στον συναρτησιακό λογισμό, ο μετασχηματισμός Λαπλάς ενός μετρητή (ή μιας μέτρησης) είναι συχνά  αντιμέτωπη  μέσω της μέτρησης που προήλθε από την συνάρτηση κατανομής (distribution function) *ƒ*. Σε αυτή την περίπτωση για να αποφύγουμε  την πιθανότητα σύγχυσης, συχνά γράφουμε :

: (\mathcal{L}f)(s) = \int_{0^-}^\infty e^{-st}f(t)\,dt

Όπου το κατώτατο όριο στο 0− στην ουσία δείχνει :

: \lim_{\varepsilon\downarrow 0^+}\int_{-\varepsilon}^\infty.

Το όριο δίνει έμφαση στο  ότι κάθε σημείο μάζας τοποθετημένο στο 0 είναι εξολοκλήρου καλυπτόμενο από τον μετασχηματισμό Λαπλάς. Αν και με το ολοκλήρωμα Λεμπεσκουέ (Lebesgue interval), δεν είναι απαραίτητο να πάρουμε αυτό το όριο, εμφανίζει πιο φυσική σύνδεση με τον μετασχηματισμό Λαπλάς-Στίλτζες (Laplace–Stieltjes transform).

## Θεωρία πιθανοτήτων

Στην καθαρή (θεωρητική) και στην εφαρμοσμένη πιθανότητα, ο μετασχηματισμός Λαπλάς ορίζεται από τον μέσο όρο της προσδοκώμενης μεταβλητής. Εάν X είναι μια  τυχαία μεταβλητή με  συνάρτηση πυκνότητας πιθανότητας  *ƒ* τότε ο μετασχηματισμός Λαπλάς της *ƒ* δίνεται από την προσδοκία 

: (\mathcal{L}f)(s) = E\left[e^{-sX} \right]. \, 

Από κατάχρηση της γλώσσας, αυτός ο ορισμός αναφέρεται ως ο μετασχηματισμός Λαπλάς της τυχαίας μεταβλητής *X* του εαυτού της. Αντικαθιστώντας το *s* από το &minus;*t* παίρνουμε την στιγμιαία συνάρτηση παραγωγής της *X* (moment generating function of *X*). Ο μετασχηματισμός Λαπλάς έχει εφαρμογές  σε όλη την θεωρία πιθανοτήτων, συμπεριλαμβανόμενης και  πέρασμα της πρώτης φοράς της στοχαστικής διαδικασίας όπως οι αλυσίδες Μαρκόφ, και θεωρία ανανέωσης.

## Δίπλευρος μετασχηματισμός Λαπλας

Όταν κάποιος αναφέρει **Μετασχηματισμό λαπλάς**, τότε εννοείται ο μονομερής ή ο μονόπλευρος μετασχηματισμός. Ο μετασχηματισμός Λαπλάς μπορεί εναλλακτικά να οριστεί ως διμερής μετασχηματισμός λαπλάς ή δίπλευρος μετασχηματισμός Λαπλάς  επεκτείνοντας τα όρια της ολοκλήρωσης  σε όλο τον πραγματικό άξονα. Με αυτόν τον τρόπο ο μονόπλευρος μετασχηματισμός Λαπλάς γίνεται ειδική περίπτωση του δίπλευρου μετασχηματισμού όπου ο ορισμός της συνάρτησης που μετασχηματίζεται πολλαπλασιάζεται με την βηματική συνάρτηση.
Ο δίπλευρος μετασχηματισμός λαπλάς ορίζεται ως :

: F(s)  = \mathcal{L}\left\{f(t)\right\}  =\int_{-\infty}^{\infty} e^{-st} f(t)\,dt.

## Αντίστροφος μετασχηματισμός Λαπλάς

Ο αντίστροφος μετασχηματισμός Λαπλάς δίνεται από το παρακάτω μιγαδικό ολοκλήρωμα, το οποίο είναι γνωστό με διάφορα ονόματα (**το ολοκλήρωμα Bromwich**, **το ολοκλήρωμα Fourier-Mellin**):

: f(t) = \mathcal{L}^{-1} \{F(s)\} = \frac{1}{2 \pi i} \lim_{T\to\infty}\int_{ \gamma - i T}^{ \gamma + i T} e^{st} F(s)\,ds,

όπου \gamma είναι ένας πραγματικός αριθμός έτσι ώστε η διαδρομή του περιγράμματος του ολοκληρώματος να είναι η περιοχή σύγκλισης του F(s).

## Περιοχή σύγκλισης

Εάν η *f* είναι μια τοπικά ολοκληρώσιμη συνάρτηση, τότε ο μετασχηματισμός  *F(*s*)* της *f* συγκλίνει υπό τον όρο, ότι το  όριο

: \lim_{R\to\infty}\int_0^R f(t)e^{-ts}\,dt

υπάρχει (όπως ένα κανονικό Lebesgue ολοκλήρωμα). Ο μετασχηματισμός Λαπλάς είναι συνήθως κατανοητός ως υπό συνθήκη συγκλίνων, εννοώντας ότι συγκλίνει στην αρχή αντί στο τέλος.
Το σύνολο των τιμών της  *F*(*s*) που συγκλίνουν  απόλυτα  είναι είτε της μορφής  Re{*s*} > *a* είτε  Re{*s*} ≥ *a*, όπου *a*  είναι μία επεκταμένη πραγματική σταθερά, &minus;∞&nbsp;≤&nbsp;*a* &nbsp;≤&nbsp;∞. (Αυτό προκύπτει από τον κυρίαρχο θεώρημα σύγκλισης.) Η σταθερά *a* είναι γνωστή ως τετμημένη της απόλυτης σύγκλισης, και εξαρτάται από την αυξανόμενη συμπεριφορά της *ƒ*(*t*). Αναλογικά, ο δίπλευρος μετασχηματισμός συγκλίνει απόλυτα  σε μια περιοχή  *a* 0, τότε αυτόματα συγκλίνει για όλα τα *s* για τα οποία Re{*s*} &nbsp;>&nbsp; Re{*s*0}. Ως εκ τούτου η περιοχή σύγκλισης είναι ένα ημισχέδιο (ημιπλάνο)  της μορφής Re{*s*}&nbsp;>&nbsp; *a*, και πιθανώς συμπεριλαμβάνει μερικά σημεία  της οριακής γραμμής  Re{*s*}&nbsp;=&nbsp; *a*. Στην περιοχή σύγκλισης  Re{*s*} > Re{*s*0}, ο μετασχηματισμός Λαπλάς της *ƒ* μπορεί να εκφραστεί από  ολοκληρώσεις ανά τμήματα όπως το ολοκλήρωμα 

: F(s) = (s-s_0)\int_0^\infty e^{-(s-s_0)t}\beta(t)\,dt,\quad \beta(u)=\int_0^u e^{-s_0t}f(t)\,dt.

Στην περιοχή σύγκλισης της *F*(*s*) μπορεί να εκφραστεί αποτελεσματικά ως η απόλυτη σύγκλιση του μετασχηματισμού λαπλάς κάποιων άλλων συναρτήσεων. Στη συγκεκριμένη περίπτωση είναι αναλυτική. 
Μια ποικιλία θεωρημάτων, στη μορφή των  Paley–Wiener θεωρημάτων, υπάρχουν όσον αφορά στη σχέση μεταξύ των ιδιοτήτων της αποσύνθεσης των *ƒ* και τις ιδιότητες του Μετασχηματισμού Laplace στην περιοχή της σύγκλισης.
Στις εφαρμογές της μηχανικής, μία συνάρτηση σε ένα γραμμικώς χρονικά αμετάβλητο σύστημα (LTI) είναι σταθερή εάν για κάθε πεπερασμένη είσοδο παράγει μία πεπερασμένη έξοδο. Αυτή είναι η ισοδύναμη της απόλυτης σύγκλισης  του μετασχηματισμού Λαπλάς  της συνάρτησης κρουστικής απόκρισης στην περιοχή  Re{*s*} &nbsp;≥&nbsp;0. Ως αποτέλεσμα, τα LTI συστήματα είναι σταθερά όταν οι  πόλοι του μετασχηματισμού λαπλάς  της συνάρτησης της κρουστικής απόκρισης έχουν αρνητικό πραγματικό μέρος.

## Ιδιότητες και θεωρήματα

Ο μετασχηματισμός Λαπλάς έχει έναν αριθμό από ιδιότητες που χρησιμοποιούνται για την ανάλυση στα γραμμικά δυναμικά συστήματα. Τα πιο σημαντικά πλεονεκτήματα είναι ότι η παραγώγιση και η ολοκλήρωση γίνεται πολλαπλασιασμός και διαίρεση με το *s* (ομοίως  στους λογαρίθμους αλλάζει τον πολλαπλασιασμό των αριθμών σε άθροισμα των λογαρίθμων τους). Εξαιτίας αυτής της ιδιότητας, η  μεταβλητή λαπλάς *s* είναι γνωστή και ως μεταβλητή χειρισμού (operator variable) στο πεδίο *L*: είτε *διαφορικός χειριστής* (derivative operator) ή (για *s*−11) *ολοκληρωτικός χειριστής*  (integration operator). Ο  μετασχηματισμός μετατρέπει την διαφορική εξίσωση και την ολοκληρωτική εξίσωση σε πολυωνυμική εξίσωση, οι οποίες είναι πολύ πιο εύκολο να λυθούν. Εφόσον λυθούν, εφαρμόζεται ο αντίστροφος μετασχηματισμός ώστε να πάρουμε την συνάρτηση στο πεδίο του χρόνου.

Θεωρώντας τις συναρτήσεις *f*(*t*) και *g*(*t*), και αντίστοιχα τους μετασχηματισμούς Λαπλάς αυτών *F*(*s*) και  *G*(*s*):

:  f(t) = \mathcal{L}^{-1} \{  F(s) \} 
:  g(t) = \mathcal{L}^{-1} \{  G(s) \} 

στον παρακάτω πίνακα φαίνονται οι ιδιότητες του μονόπλευρου μετασχηματισμού Λαπλάς:

* **[[Θεώρημα αρχικής τιμής]]**:
: f(0^+)=\lim_{s\to \infty}{sF(s)}.

* **[[Θεώρημα τελικής τιμής]]**:
: f(\infty)=\lim_{s\to 0}{sF(s)}, εάν όλοι οι πόλοι της sF(s) βρίσκονται στο αριστερό ημιεπίπεδο
: Το θεώρημα τελικής τιμής είναι πολύ χρήσιμο γιατί μας δίνει την μακροπρόθεσμη συμπεριφορά χωρίς να εφαρμόσουμε την μέθοδο των μερικών κλασμάτων ή άλλη δύσκολη άλγεβρα. Εάν ο πόλος μιας συνάρτησης βρίσκεται στο δεξιό ημιεπίπεδο (δηλαδή, e^t ή \sin(t)) η συμπεριφορά του συστήματος είναι απροσδιόριστη.

## Απόδειξη ύπαρξης μετασχηματισμού λαπλάς μιας παραγωγίσημης συνάρτησης

Είναι συχνά βολικό να χρησιμοποιήσουμε την ιδιότητα παραγώγισης του μετασχηματισμού Λαπλάς για να βρούμε  τον μετασχηματισμό της παράγωγου της. Αυτό μπορεί να προέλθει από τη βασική έκφραση του μετασχηματισμού λαπλάς όπως φαίνεται:

: 

\begin{align}
\mathcal{L} \left\{f(t)\right\} & = \int_{0^-}^{\infty} e^{-st} f(t)\,dt \\[8pt]
& = \left[\frac{f(t)e^{-st}}{-s} \right]_{0^-}^{\infty} -
\int_{0^-}^\infty \frac{e^{-st}}{-s} f'(t) \, dt\quad \text{(by parts)} \\[8pt]
& = \left[-\frac{f(0)}{-s}\right] +
\frac{1}{s}\mathcal{L}\left\{f'(t)\right\},
\end{align}


όπου

: \mathcal{L}\left\{ f'(t) \right\} = s\cdot\mathcal{L} \left\{ f(t) \right\}-f(0), 

Και στην περίπτωση του δίπλευρου μετασχηματισμού,

:  \mathcal{L}\left\{ { f'(t) }  \right\}

  = s \int_{-\infty}^\infty e^{-st} f(t)\,dt  = s \cdot \mathcal{L} \{ f(t) \}. 

Το γενικό συμπέρασμα είναι, 

: \mathcal{L} \left\{ f^{(n)}(t) \right\} = s^n \cdot \mathcal{L} \left\{ f(t) \right\} - s^{n - 1} f(0) - \cdots - f^{(n - 1)}(0),

όπου  *f**n* είναι η *n*-οστη  παράγωγος της *f*, μπορεί να καθιερωθεί με ένα επαγωγικό όρισμα.

## Αξιολόγηση γενικευμένων ολοκληρωμάτων

Έστω \mathcal{L}\left\{f(t)\right\}=F(s) τότε  (δες τον πίνακα παραπάνω)

: \mathcal{L}\left\{\frac{f(t)}{t}\right\}=\int_{s}^{\infty}F(p)\, dp,

ή

: \int_{0}^{\infty}\frac{f(t)}{t}e^{-st}\, dt=\int_{s}^{\infty}F(p)\, dp.

Θέτοντας s\to 0 παίρνουμε την ταυτότητα 

: \int_{0}^{\infty}\frac{f(t)}{t}\, dt=\int_{0}^{\infty}F(p)\, dp.

Για παράδειγμα,

: \int_{0}^{\infty}\frac{\cos at-\cos bt}{t}\, dt=\int_{0}^{\infty}\left(\frac{p}{p^{2}+a^{2}}-\frac{p}{p^{2}+b^{2}}\right)\, dp=\frac{1}{2}\left.\ln\frac{p^{2}+a^{2}}{p^{2}+b^{2}}\right|_{0}^{\infty}=\ln b-\ln a.

Ένα άλλο παράδειγμα είναι το ολοκλήρωμα Ντίριχλετ ( Dirichlet integral).

## Σχέσεις με άλλους μετασχηματισμούς

### Μετασχηματισμός Λαπλας-Στάιλτζες (Laplace–Stieltjes)

Ο (μονόπλευρος) μετασχηματισμός Λαπλάς-Στάιλτζες (Laplace-Stieltjes) από μια συνάρτηση 
*g*&nbsp;:&nbsp;**R**&nbsp;→&nbsp;**R** ορίζεται από το ολοκλήρωμα Λεμπεσκουέ-Στάιλτζες (Lebesgue-Stieltjes)

: \{\mathcal{L}^*g\}(s) = \int_0^\infty e^{-st}dg(t).

Η συνάρτηση *g* υποτίθεται ότι είναι από περιορισμένη μεταβολή (μεταβολή). Αν η *g* είναι το ολοκλήρωμα της *ƒ*:

: g(x) = \int_0^x f(t)\,dt

τότε ο μετασχηματισμός Λαπλας-Στάιλτζες της *g* και ο μετασχηματισμός Laplace της *ƒ* συμπίπτουν. Σε γενικές γραμμές, ο μετασχηματισμός Λαπλας-Στάιλτζες, είναι ο μετασχηματισμός Λαπλάς του μέτρου Στάιλτζες που  συνδέεται με τη *g*. Έτσι, στην πράξη, η μόνη διάκριση μεταξύ των δύο μετασχηματισμών είναι ότι ο μετασχηματισμός Λαπλάς θεωρείται ότι λειτουργεί ως συνάρτηση πυκνότητας του μέτρου, ενώ ο μετασχηματισμός Λαπλάς-Στάιλτζες θεωρηθεί ότι λειτουργεί ως αθροιστική συνάρτηση.

### Μετασχηματισμός Φουριέ

Ο συνεχής μετασχηματισμός Φουριέ  είναι ισοδύναμος με τον δίπλευρο μετασχηματισμό Λαπλάς με φανταστικά ορίσματα *s* = *i*ω or *s = 2πfi* :

: 

\begin{align}
\hat{f}(\omega) & = \mathcal{F}\left\{f(t)\right\} \\[1em]
& = \mathcal{L}\left\{f(t)\right\}|_{s =  i\omega}  =  F(s)|_{s = i \omega}\\[1em]
& = \int_{-\infty}^{\infty} e^{-\imath \omega t} f(t)\,\mathrm{d}t.\\
\end{align}


Αυτή η έκφραση δεν λαμβάνει υπόψη τον παράγοντα 1/\sqrt{2 \pi}, ο οποίος συχνά συμπεριλαμβάνεται στους ορισμούς του μετασχηματισμού Φουριέ. Αυτή η σχέση μεταξύ του Λαπλάς και Φουριέ μετασχηματισμών συχνά χρησιμοποιείται για τον προσδιορισμό του φάσματος συχνοτήτων ενός σήματος ή δυναμικού συστήματος. 
Η παραπάνω σχέση ισχύει όπως αναφέρεται αν και μόνο αν η περιοχή σύγκλισης (ROC) της *F* (*s*) περιέχει το φανταστικό άξονα, σ&nbsp;=&nbsp;0. Για παράδειγμα, η συνάρτηση *f*(*t*)&nbsp;=&nbsp;cos(ω0*t*) έχει μετασχηματισμό Λαπλάς F(*s*) &nbsp;=&nbsp;*s*/(*s*2&nbsp;+&nbsp;ω02)  των οποίων η ROC είναι Re(*s*)&nbsp;>&nbsp;0. Όπως  το *s*&nbsp;=&nbsp;*i*ω αποτελεί πόλο *F*(*s*), αντικαθιστώντας *s*&nbsp;=&nbsp;*i*ω in *F*(*s*) στο *F*(*s*) δεν δίνει  το μετασχηματισμό Fourier της **f''(''t'')''u''(''t''), η οποία είναι ανάλογη με την [[συνάρτηση Ντιράκ]] δ(ω-ω<sub>0</sub>). 
Ωστόσο η σχέση  αυτής της μορφής

: <math>\lim_{\sigma\to 0^+} F(\sigma+i\omega) = \hat{f}(\omega)</math>

κατέχει πολύ ασθενέστερες συνθήκες. Για παράδειγμα, αυτό ισχύει και για το παραπάνω παράδειγμα με την προϋπόθεση ότι το όριο είναι αντιληπτό  ως αδύναμο όριο του μέτρου  (δες [[Ασαφής τοπολογία|ασαφή τοπολογία]] (vague topology))
Γενικές συνθήκες σχετίζουν το όριο του μετασχηματισμού λαπλάς μιας  συνάρτησης  με το σύνορο  μετασχηματισμού φουριέ όπως φαίνεται και από την μορφή των [[Πάλει-Γουίνερ θεωρήματα|Πάλει-Γουίνερ θεωρημάτων]] (Paley-Wiener theorems).

=== Μετασχηματισμός Μέλιν ===


Ο [[μετασχηματισμός Μέλιν]] και ο αντίστροφος του σχετίζονται με τον δίπλευρο μετασχηματισμό Λαπλάς με μία απλή αλλαγή των μεταβλητών. Εάν στον μετασχηματισμό Mellin 

: <math>G(s) = \mathcal{M}\left\{g(\theta)\right\} = \int_0^\infty \theta^s g(\theta) \frac{d\theta}{\theta}</math>

Θέσουμε  θ = e<sup>-t</sup> θα πάρουμε τον μετασχηματισμό Λαπλάς

=== Μετασχηματισμός Ζ ===


Ο μονόπλευρος [[μετασχηματισμός Ζ]] είναι απλά ο μετασχηματισμός Λαπλάς ενός ιδεατού δειγματοληπτικού σήματος με την αντικατάσταση 

: <math> z \ \stackrel{\mathrm{def}}{=}\  e^{s T} \ </math>

: όπου <math>T = 1/f_s \ </math> είναι η [[περίοδος δειγματοληψίας]] (μονάδα σε δευτερόλεπτα) και η [[συχνότητα δειγματοληψίας]] <math> f_s \ </math> (σε (Herz ή δείγματα ανά δευτερόλεπτο).
Έστω

: <math> \Delta_T(t) \ \stackrel{\mathrm{def}}{=}\  \sum_{n=0}^{\infty}  \delta(t - n T) </math>

Είναι τα δείγματα από μια συνάρτηση κρουστικό τρένο (impulse train) ή αλλιώς [[συνάρτηση Ντιράκ Κομπ]] ([Dirac comb) και 

: <math>

\begin{align}
x_q(t) & \stackrel{\mathrm{def}}{=}\  x(t) \Delta_T(t) = x(t) \sum_{n=0}^{\infty}  \delta(t - n T) \\
& = \sum_{n=0}^{\infty} x(n T) \delta(t - n T) = \sum_{n=0}^{\infty} x[n] \delta(t - n T)
\end{align}
</math>

Είναι η συνεχής αναπαράσταση στο χρόνο  <math> x(t) \ </math>

: <math> x[n] \ \stackrel{\mathrm{def}}{=}\  x(nT) \ </math> είναι τα διακριτά δείγματα της  
<math> x(t) \ </math>.

Ο μετασχηματισμός Λαπλάς μιας διακριτής  συνάρτησης  <math> x_q(t) \ </math> είναι 

: <math>

\begin{align}
X_q(s) & = \int_{0^-}^\infty x_q(t) e^{-s t} \,dt \\
& = \int_{0^-}^\infty \sum_{n=0}^\infty x[n] \delta(t - n T) e^{-s t} \, dt \\
& = \sum_{n=0}^\infty x[n] \int_{0^-}^\infty \delta(t - n T) e^{-s t} \, dt \\
& = \sum_{n=0}^\infty x[n] e^{-n s T}.
\end{align}
</math>

Αυτός είναι ο ακριβής ορισμός του μονόπλευρου μετασχηματισμού Ζ της διακριτής <math> x[n] \ </math>

: <math> X(z) = \sum_{n=0}^{\infty} x[n] z^{-n} </math>

Με αντικατάσταση <math> z \leftarrow e^{s T} \ </math>.

Συγκρίνοντας τις δύο τελευταίες εξισώσεις βρίσκουμε την σχέση μεταξύ μονόπλευρου μετασχηματισμού Ζ και Μετασχηματισμού Λαπλάς ενός δειγματοληπτικού σήματος:

: <math>X_q(s) =  X(z) \Big|_{z=e^{sT}}.</math>

Η ομοιότητα του μετασχηματισμού Ζ και του Λαπλάς επεκτείνεται πάνω στη θεωρία του  λογισμού χρονικής κλίμακας (time scale calculus)

=== Μετασχηματισμός Μπόρελ ===


Η μορφή ολοκληρώματος στον [[Μετασχηματισμός Μπόρελ|μετασχηματισμό Μπόρελ]] είναι

: <math>F(s) = \int_0^\infty f(z)e^{-sz}\,dz</math>

Είναι η ειδική περίπτωση του μετασχηματισμού Λαπλάς όπου  ''ƒ'' μια  ολόκληρη συνάρτηση εκθετικού τύπου, εννοώντας ότι 

: <math>|f(z)|\le Ae^{B|z|}</math>

Για κάποιες σταθερές  ''A'' και ''B''. Ο γενικευμένος μετασχηματισμός  Μπόρελ επιτρέπει μία διαφορετική συνάρτηση βαρύτητας να χρησιμοποιηθεί, αντί της [[Εκθετική συνάρτηση|εκθετικής συνάρτησης]], για να μετασχηματίζει συναρτήσεις μη εκθετικού τύπου. Το [[θεώρημα Νάσμπιν]] (Nachbin's theorem) δίνει τις ικανές και αναγκαίες συνθήκες για τον μετασχηματισμό ώστε να οριστεί καλά.

=== Θεμελιώδεις σχέσεις ===


Εφόσον ο συνηθισμένος μετασχηματισμός Λαπλάς μπορεί να γραφτεί ως μία ειδική περίπτωση του δίπλευρου μετασχηματισμού και εφόσον ο δίπλευρος μετασχηματισμός μπορεί να γραφτεί ως άθροισμα δύο μονόπλευρων μετασχηματισμών, η θεωρία των  Λαπλάς-, Φουριέ-, Μελίν-, και  Z-μετασχηματισμών είναι στη βάση της το ίδιο. Ωστόσο διαφορετικές οπτικές γωνίες και διαφορετικά χαρακτηριστικά προβλήματα σχετίζονται για τους τέσσερις σημαντικούς ολοκληρωτικούς μετασχηματισμούς.

== Πίνακας επιλεγμένων μετασχηματισμών Λαπλάς ==

Ο παρακάτω πίνακας δείχνει τον μετασχηματισμό Λαπλάς για πολύ συνηθισμένες συναρτήσεις μιας μεταβλητής. Για ορισμούς και εξηγήσεις, δες τα επεξηγητικά σχόλια στο τέλος του πίνακα.
Επειδή ο μετασχηματισμός λαπλάς έχει είναι μία γραμμική διαδικασία:

* Ο μετασχηματισμός Λαπλάς ενός αθροίσματος είναι το άθροισμα των όρων ξεχωριστά. .

:: <math>\mathcal{L}\left\{f(t) + g(t) \right\}  = \mathcal{L}\left\{f(t)\right\} + \mathcal{L}\left\{ g(t) \right\}  </math>

* Ο μετασχηματισμός Λαπλάς μιας συνάρτησης πολλαπλασιασμένη με ένα σταθερό όρο είναι ο μετασχηματισμός Λαπλάς της συνάρτησης επί το όρο αυτόν..

:: <math>\mathcal{L}\left\{a f(t)\right\}  = a \mathcal{L}\left\{ f(t)\right\}</math>

Ο μονόπλευρος μετασχηματισμός Λαπλάς παίρνει σαν είσοδο μία συνάρτηση όπου το πεδίο του χρόνου είναι μη αρνητικό, και αυτό διότι όλες οι συναρτήσεις στο πεδίο του χρόνου είναι πολλαπλάσιες της βηματικής συνάρτησης, ''u''(''t''). Οι είσοδοι του πίνακα που εμπλέκουν μία χρονική καθυστέρηση τ πρέπει να είναι αιτιακές. (δηλαδή τ&nbsp;>&nbsp;0). Ένα αιτιατό σύστημα είναι ένα σύστημα όπου  η κρουστική  απόκριση ''h''(''t'') είναι μηδέν για κάθε  ''t'' εκ των προτέρων ''t'' = 0. Γενικά η περιοχή σύγκλισης για τα [[αιτιατά συστήματα]] δεν είναι ίδια για τα μη αιτιατά συστήματα.

  \ </math> || <math> { 2\alpha \over \alpha^2 - s^2 } </math> || <math>  - \alpha < \textrm{Re} \{ s \} < \alpha \ </math> || Ολίσθηση συχνότητας της <br>βηματικής
|- style="text-align:center;"
| εκθετική προσέγγιση || <math>( 1-e^{-\alpha t})  \cdot u(t)  \ </math> || <math>\frac{\alpha}{s(s+\alpha)} </math> || <math>  \textrm{Re} \{ s \} > 0\ </math> || Αρνητική βηματική τηε<br>εκθετικής απόσβεσης
|- style="text-align:center;"
| [[ημίτονο]] || <math> \sin(\omega t) \cdot u(t) \ </math> || <math> { \omega \over s^2 + \omega^2  } </math> || <math> \textrm{Re} \{ s \} > 0  \ </math> || ref?
|- style="text-align:center;"
| [[συνημίτονο]] || <math> \cos(\omega t) \cdot u(t) \ </math> || <math> { s \over s^2 + \omega^2  } </math> || <math> \textrm{Re} \{ s \} > 0 \ </math> || ref?
|- style="text-align:center;"
| [[υπερβολικό ημίτονο]] || <math> \sinh(\alpha t) \cdot u(t) \ </math> || <math> { \alpha \over s^2 - \alpha^2 } </math> || <math> \textrm{Re} \{ s \} > | \alpha | \ </math> || ref?
|- style="text-align:center;"
| υπερβολικό συνημίτονο || <math> \cosh(\alpha t) \cdot u(t) \ </math> || <math> { s \over s^2 - \alpha^2  } </math> || <math> \textrm{Re} \{ s \} > | \alpha | \ </math> || ref?
|- style="text-align:center;"
| Εκθετικη απόσβεση <br /> ημιτόνου || <math>e^{-\alpha t}  \sin(\omega t) \cdot u(t) \ </math> || <math> { \omega \over (s+\alpha )^2 + \omega^2  } </math> || <math> \textrm{Re} \{ s \} > -\alpha \ </math> || ref?
|- style="text-align:center;"
| Εκθετικη απόσβεση <br /> συνημιτόνου || <math>e^{-\alpha t}  \cos(\omega t) \cdot u(t) \ </math> || <math> { s+\alpha \over (s+\alpha )^2 + \omega^2  } </math> || <math> \textrm{Re} \{ s \} > -\alpha \ </math> || ref?
|- style="text-align:center;"
| ''n''-οστή ρίζα|| <math> \sqrt[n]{t} \cdot u(t) </math> || <math> s^{-(n+1)/n} \cdot \Gamma\left(1+\frac{1}{n}\right)</math> || <math> \textrm{Re} \{ s \} > 0 \, </math> || ref?
|- style="text-align:center;"
| [[Φυσικός λογάριθμος]] || <math> \ln \left (  { t \over t_0 } \right ) \cdot u(t) </math> || <math> - { t_0 \over s}\, \left[ \ln(t_0 s)+\gamma \right] </math> || <math> \textrm{Re} \{ s \} > 0 \, </math> || ref?
|- style="text-align:center;"
| [[Συνάρτηση Μπέσελ]] <br> πρώτου είδους, <br /> τάξης ''n'' || <math> J_n( \omega t) \cdot u(t)</math> || <math>\frac{ \left(\sqrt{s^2+ \omega^2}-s\right)^{n}}{\omega^n \sqrt{s^2 + \omega^2}}</math> || <math> \textrm{Re} \{ s \} > 0 \, </math>   <br /> <math> (n > -1) \, </math> || ref?
|- style="text-align:center;"
| [[Τροποποιημένη Συνάρτηση Μπέσελ ]] <br /> πρώτου είδους, <br /> τάξης  ''n'' || <math>I_n(\omega t) \cdot u(t)</math> || <math> \frac{ \left(s-\sqrt{s^2-\omega^2}\right)^{n}}{\omega^n \sqrt{s^2-\omega^2}} </math> || <math> \textrm{Re} \{ s \} > | \omega | \, </math> || ref?
|- style="text-align:center;"
| Συνάρτηση Μπέσελ <br> δεύτερου είδους, <br /> τάξης 0 || <math> Y_0(\alpha t) \cdot u(t)</math> || <math>-{2 \sinh^{-1}(s/\alpha) \over \pi \sqrt{s^2+\alpha^2}}</math> || <math>\textrm{Re} \{ s \} > 0 \, </math> || ref?
|- style="text-align:center;"
| [[Συνάρτηση σφάλματος]] || <math> \mathrm{erf}(t) \cdot u(t) </math> || <math>    {e^{s^2/4} \left(1 - \operatorname{erf} \left(s/2\right)\right) \over s}</math> || <math> \textrm{Re} \{ s \} > 0 \, </math> || ref?
|-
| colspan=5|**Επεξηγηματικά σχόλια:*'



* <math> u(t) \, </math> αντιπροσωπεύει τη [[βηματική συνάρτηση]].
* <math> \delta(t) \, </math> αντιπροσωπεύει τη [[συνάρτηση δέλτα Ντιράκ]].
* <math> \Gamma (z) \, </math> αντιπροσωπεύει τη [[συνάρτηση Γάμμα]].
* <math> \gamma \, </math> είναι η  [[Όιλερ &ndash;Mascheroni σταθερά]].



* <math>t \, </math>, ένας πραγματικός αριθμός, αντιπροσωπεύει τον  *χρόνο*, <br />although it can represent *any* independent dimension.
* <math>s \, </math> είναι ένας [[μιγαδικός αριθμός]] [[συχνότητα ορίσματος]], και<math>\textrm{Re} \{ s \}</math> είναι το [[πραγματικό μέρος]].
* <math> \alpha \,</math>, <math> \beta \,</math>, <math> \tau \, </math>, και<math>\omega \,</math> είναι [[πραγματικοί αριθμοί]].
* <math>n</math> είναι ένας  [[ακέραιος]].


|}

== Πεδίο s ισοδύναμων κυκλωμάτων και αντιστάσεων ==

Ο μετασχηματισμός λαπλάς συχνά χρησιμοποιείται στην ανάλυση κυκλωμάτων, και απλές μετατροπές στο πεδίο- s των κυκλωματικών στοιχείων μπορούν να επιτευχθούν με ευκολία. Τα κυκλωματικά στοιχεία μετατρέπονται σε [[σύνθετη αντίσταση|σύνθετες αντιστάσεις]] παρόμοιες με τις διανυσματικές  αντιστάσεις.
Σημειώστε ότι ο αντιστάτης είναι ακριβώς ίδιος και στο πεδίο του χρόνου και στο πεδίο s. Οι πηγές τοποθετούνται σε περίπτωση που υπάρχουν αρχικές συνθήκες στα κυκλωματικά στοιχεία. Για παράδειγμα εάν ένας πυκνωτής έχει μία αρχική τάση ή ένα πηνίο έχει ένα αρχικό ρεύμα, οι πηγές εισέρχονται στο πεδίο του s δίνοντας τις τιμές αυτές. 
Οι ισοδυναμίες για το ρεύμα και την τάση παίρνονται από τους απλούς μετασχηματισμούς του παραπάνω πίνακα.

== Παραδείγματα: Πώς ισχύουν οι ιδιότητες και τα θεωρήματα ==



Ο μετασχηματισμός Λαπλάς χρησιμοποιείται συχνά στη [[μηχανική]] και στη [[φυσική]]. Η έξοδος ενός γραμμικά χρονικά αμετάβλητου συστήματος ([[χρονικά αμετάβλητο σύστημα]]) μπορεί να υπολογισθεί από την [[συνέλιξη]] της μοναδιαίας βηματικής απόκρισης με το σήμα εισόδου. Παρουσιάζοντας τον υπολογισμό στο χώρο του λαπλάς η συνέλιξη μετατρέπεται σε πολλαπλασιασμό. Με αυτό τον τρόπο είναι εύκολη η λύση του γιατί είναι σε αλγεβρικά μορφή. Για περισσότερες πληροφορίες δείτε την [[θεωρία ελέγχου]].

Ο μετασχηματισμός Λαπλάς επίσης μπορεί να χρησιμοποιηθεί για την [[Επίλυση εξισώσεων#Διαφορικές εξισώσεις|επίλυση διαφορικής εξίσωσης]] και χρησιμοποιείται πολύ στην [[ηλεκτρική μηχανική]]. Ο μετασχηματισμός Λαπλάς μετατρέπει μια γραμμική διαφορική εξίσωση σε μια αλγεβρική εξίσωση, η οποία στη συνέχεια μπορεί να λυθεί από τους βασικούς κανόνες της άλγεβρας. Η αρχική διαφορική εξίσωση μπορεί να λυθεί έπειτα από τον αντίστροφο μετασχηματισμό λαπλάς. Ο Άγγλος ηλεκτρολόγος μηχανικός  [[Όλιβερ Χέβισαιντ]] (Oliver Heaviside) πρώτος πρότεινε ένα παρόμοιο θέμα, χωρίς να χρησιμοποιεί τον μετασχηματισμό Λαπλάς. Έτσι ο λειτουργικός λογισμός (operational calculus) ονομάστηκε ως λογισμός Χέβισαιντ.

=== Παράδειγμα 1: Λύνοντας μια διαφορική εξίσωση ===

Στην [[πυρηνική φυσική]] οι παρακάτω θεμελιώδεις σχέση αντιπροσωπεύει την [[ραδιενεργή αποσύνθεση]] (radioactive decay): ο αριθμός των ραδιενεργών ατόμων Ν είναι ένα δείγμα ενός ραδιενεργού ισοτόπου που αποσυντίθεται με ρυθμό ανάλογο του Ν. Αυτό μας οδηγεί στην πρώτης τάξης γραμμική διαφορική εξίσωση.

: <math>\frac{dN}{dt} = -\lambda N</math>

Όπου  λ είναι η [[σταθερά αποσύνθεσης]] (decay constant). Ο μετασχηματισμός Λαπλάς, μπορεί να χρησιμοποιηθεί για την λύση αυτής της εξίσωσης. 

Ανακατανέμοντας την εξίσωση στη μία πλευρά έχουμε

: <math>\frac{dN}{dt} +  \lambda N  =  0. </math>

Στην συνέχεια παίρνουμε τον μετασχηματισμό Λαπλάς και των δύο μερών της εξίσωσης:

: <math>\left( s \tilde{N}(s) - N_o  \right) + \lambda \tilde{N}(s) \ = \ 0   </math>

όπου

: <math>\tilde{N}(s) = \mathcal{L}\{N(t)\}</math>

και

: <math>N_o \ = \ N(0).</math>

Λύνοντας βρίσκουμε

: <math>\tilde{N}(s) = { N_o \over s + \lambda  }.</math>

Τελικά, παίρνουμε τον αντίστροφο μετασχηματισμό λαπλάς βρίσκοντας την γενική λύση

: <math>

\begin{align}
N(t) & = \mathcal{L}^{-1} \{\tilde{N}(s)\} = \mathcal{L}^{-1}  \left\{ \frac{N_o}{s + \lambda} \right\} \\
& = \ N_o e^{-\lambda t},
\end{align}
</math>

Η οποία πράγματι είναι  σύμφωνη με την ραδιενεργή αποσύνθεση.

=== Παράδειγμα 2 :Βρίσκοντας την μιγαδική αντίσταση σε ένα πυκνωτή ===

Στην θεωρία των [[ηλεκτρικό κύκλωμα|ηλεκτρικών κυκλωμάτων]] το ρεύμα που διαρέει ένα [[πυκνωτής|πυκνωτή]] είναι ανάλογο με την [[Χωρητικότητα (ηλεκτρισμός)|χωρητικότητα]] και τον ρυθμό αλλαγής του [[Ηλεκτρικό φορτίο|ηλεκτρικού φορτίου]]. Συμβολικά αυτό εκφράζεται από την εξίσωση 

: <math> i = C { dv \over dt} </math>

Όπου  *C*  είναι η χωρητικότητα (σε [[Φαράντ]]) του πυκνωτή, *i* = *i*(*t*) είναι το [[ηλεκτρικό ρεύμα]] (σε [[αμπέρ]]) ως συνάρτηση του χρόνου, και  *v* = *v*(*t*) είναι η [[ηλεκτρική τάση]] (σε [[βολτ]]) στα άκρα του πυκνωτή, επίσης συνάρτηση του χρόνου.
Παίρνοντας τον μετασχηματισμό Λαπλάς της παραπάνω εξίσωσης έχουμε

: <math>  I(s) = C \left( s V(s) - V_o  \right) </math>

όπου

: <math> I(s) = \mathcal{L} \{ i(t) \}, \, </math>

: <math> V(s) = \mathcal{L} \{ v(t) \}, \, </math>

και

: <math> V_o \ = \ v(t)|_{t=0}. \, </math>

Λύνοντας ως προς *V*(*s*) έχουμε

: <math>  V(s) = { I(s) \over sC }  +  { V_o  \over s }.  </math>

Ο ορισμός της [[μιγαδική αντίσταση|μιγαδικής αντίστασης]] *Ζ* (σε [[Ωμ (μονάδα μέτρησης)|Ωμ]]) είναι ο ρυθμός της μιγαδικής τάσης διαιρεμένη με το μιγαδικό ρεύμα *Ι*, καθώς η αρχική κατάσταση  *V*<sub>o</sub> είναι μηδέν :

: <math>Z(s) = { V(s) \over I(s) } \bigg|_{V_o = 0}.</math>

Χρησιμοποιώντας τον ορισμό της προηγούμενης εξίσωσης προκύπτει

: <math>Z(s) = \frac{1}{sC}, </math>

η οποία είναι η σωστή έκφραση της μιγαδικής αντίστασης του πυκνωτή.

=== Παράδειγμα 3 :Μέθοδος των πεπερασμένων κλασμάτων ===

Θεωρώντας ένα γραμμικό αμετάβλητο σύστημα με συνάρτηση μεταφοράς

: <math>H(s) = \frac{1}{(s+\alpha)(s+\beta)}.</math>

Η [[κρουστική απόκριση]] είναι απλά ο αντίστροφος μετασχηματισμός Λαπλάς της συνάρτησης μεταφοράς

: <math>h(t) = \mathcal{L}^{-1}\{H(s)\}.</math>

Για να υπολογίσουμε το παραπάνω αντίστροφο μετασχηματισμό, ξεκινάμε με το να σπάσουμε την *H*(*s*) χρησιμοποιώντας την μέθοδο [[μερικά κλάσματα|μερικών κλασμάτων]]

: <math>\frac{1}{(s+\alpha)(s+\beta)} = { P \over s+\alpha } + { R  \over s+\beta }.</math>

Η άγνωστη σταθερά  *P* και  *R* είναι τα μηδενικά  (residues) τοποθετημένα στους πόλους  της συνάρτησης μεταφοράς Κάθε μηδενικό αντιπροσωπεύει την σχετική συμβολή της μοναδικότητας στο συνολικό σχήμα της συνάρτησης μεταφοράς. Από το [[θεώρημα αρχικής τιμής]] (residue theorem), ο αντίστροφος μετασχηματισμός Λαπλάς εξαρτάται μόνο από τους πόλους και τα αντίστοιχα μηδενικά τους.Για να βρούμε το μηδενικό *P* πολλαπλασιάζουμε και τις δύο πλευρές με την εξίσωση *s*&nbsp;+&nbsp;*α* για να πάρουμε 

: <math>\frac{1}{s+\beta} = P  + { R (s+\alpha) \over s+\beta }.</math>

Τότε θέτοντας *s*&nbsp;=&nbsp;&minus;*α*, η συμβολή του *R* εξαφανίζεται και γίνεται

: <math>P = \left.{1 \over s+\beta}\right|_{s=-\alpha} = {1 \over \beta - \alpha}. </math>

Ομοίως το μηδενικό *R* βρίσκεται από

: <math>R = \left.{1 \over s+\alpha}\right|_{s=-\beta} = {1 \over \alpha - \beta}.</math>

Σημειώνουμε ότι

: <math>R = {-1 \over \beta - \alpha} = - P</math>

Έτσι η αντικατάσταση των *P* και *R* στην *H*(*s*) μας δίνει

: <math>H(s)  = \left( \frac{1}{\beta-\alpha} \right) \cdot \left(  { 1 \over s+\alpha } - { 1  \over s+\beta }  \right). </math>

Τελικά χρησιμοποιώντας την γραμμική ιδιότητα και τον γνωστό μετασχηματισμό της εκθετικής συνάρτησης (δες  γραμμή  #3 στον πίνακα μετασχηματισμού Λαπλάς)),  παίρνουμε τον αντίστροφο μετασχηματισμό της *H*(*s''):

: h(t) = \mathcal{L}^{-1}\{H(s)\} = \frac{1}{\beta-\alpha}\left(e^{-\alpha t}-e^{-\beta t}\right),

Ο οποίος είναι η κρουστική απόκριση του συστήματος.

### Παράδειγμα 4: Συνέλιξη

Παρόμοιο αποτέλεσμα μπορεί να επιτευχθεί χρησιμοποιώντας την ιδιότητα της συνέλιξης σε ένα σύστημα φίλτρων με συναρτήσεις μεταφοράς 1/(s+a) και 1/(s+b). 
Ο αντίστροφος μετασχηματισμός της

: H(s) = \frac{1}{(s+a)(s+b)} = \frac{1}{s+a} \cdot \frac{1}{s+b} 

είναι

:  \mathcal{L}^{-1} \{  \frac{1}{s+a} \} \, * \, \mathcal{L}^{-1} \{  \frac{1}{s+b} \} = e^{-at} \, * \, e^{-bt} = \int_0^t e^{-ax}e^{-b(t-x)} \, dx = \frac{e^{-a t}-e^{-b t}}{b-a}.

### Παράδειγμα 5:Μίξεις ημιτόνων, συνημίτονων και εκθετικών

Ξεκινώντας με τον μετασχηματισμό Λαπλάς της

: X(s) = \frac{s+\beta}{(s+\alpha)^2+\omega^2}, 

Βρίσκουμε τον αντίστροφο μετασχηματισμό από την πρώτη προσθέτοντας και αφαιρώντας την ίδια μεταβλητή  α  στον αριθμητή :

: X(s) = \frac{s+\alpha } { (s+\alpha)^2+\omega^2}  +   \frac{\beta - \alpha }{(s+\alpha)^2+\omega^2}.  

Από την ιδιότητα ολίσθησης φάσης έχουμε, 

: 

\begin{align}
x(t) & = e^{-\alpha t} \mathcal{L}^{-1} \left\{   {s \over s^2 + \omega^2}  +  {  \beta - \alpha \over s^2 + \omega^2  } \right\} \\[8pt]
& = e^{-\alpha t} \mathcal{L}^{-1} \left\{   {s \over s^2 + \omega^2}  + \left( {  \beta - \alpha \over \omega } \right) \left( { \omega \over s^2 + \omega^2  } \right) \right\} \\[8pt]
& = e^{-\alpha t} \left[\mathcal{L}^{-1} \left\{   {s \over s^2 + \omega^2}  \right\}  + \left( {  \beta - \alpha \over \omega } \right) \mathcal{L}^{-1} \left\{  { \omega \over s^2 + \omega^2  }  \right\}  \right].
\end{align}


Τελικά χρησιμοποιώντας τον μετασχηματισμό για το ημίτονο και το συνημίτονο θα έχουμε

: x(t)   =  e^{-\alpha t}  \left[\cos{(\omega t)}u(t)+\left(\frac{\beta-\alpha}{\omega}\right)\sin{(\omega t)}u(t)\right].

: x(t)   =  e^{-\alpha t}  \left[\cos{(\omega t)}+\left(\frac{\beta-\alpha}{\omega}\right)\sin{(\omega t)}\right]u(t).

### Παράδειγμα 6: Καθυστέρηση φάσης

Ξεκινώντας από τον μετασχηματισμό Λαπλάς 

: X(s) = \frac{s\sin\phi+\omega \cos\phi}{s^2+\omega^2}

Βρίσκουμε τον αντίστροφο μετασχηματισμό πρώτα αναλύοντας το κλάσμα σε δύο κλάσματα με τον ίδιο παρανομαστή :

: 

\begin{align}
X(s) & = \frac{s \sin \phi}{s^2 + \omega^2} + \frac{\omega \cos \phi}{s^2 + \omega^2} \\
& = (\sin \phi) \left(\frac{s}{s^2 + \omega^2} \right) + (\cos \phi) \left(\frac{\omega}{s^2 + \omega^2} \right).
\end{align}


Τώρα είμαστε ικανοί να πάρουμε τον αντίστροφο μετασχηματισμό των αντίστοιχων όρων :

: 

\begin{align}
x(t) & = (\sin \phi) \mathcal{L}^{-1}\left\{\frac{s}{s^2 + \omega^2} \right\} + (\cos \phi) \mathcal{L}^{-1}\left\{\frac{\omega}{s^2 + \omega^2} \right\} \\
& =(\sin \phi)(\cos \omega t) + (\sin \omega t)(\cos \phi).
\end{align}


Αυτό είναι ένα άθροισμα ημιτόνων  των ορισμάτων :

:x(t) = \sin (\omega t + \phi).

Με απλή λογική προκύπτει το παρακάτω

: \mathcal{L}^{-1} \left\{ \frac{s\cos\phi - \omega \sin\phi}{s^2+\omega^2} \right\} = \cos{(\omega t+\phi)}. \ 

## Πηγές


## Αναφορές
### Σύγχρονες

* .
* .
* .
* .
* .
* .
* .
* .
* .
* .

### Ιστορικές

* 

* 

* .
* .
* , Chapters 3–5.
* .
* .

## Εξωτερικοί σύνδεσμοι

* Online Computation of the transform or inverse transform, wims.unice.fr
* Tables of Integral Transforms at EqWorld: The World of Mathematical Equations.
* 
*  Laplace Transform Module by John H. Mathews
* Good explanations of the initial and final value theorems 
* Laplace Transforms at MathPages
* Laplace and Heaviside at Interactive maths.
* Laplace Transform Table and Examples at Vibrationdata.
* Examples  of solving boundary value problems (PDEs) with Laplace Transforms
* Computational Knowledge Engine allows to easily calculate Laplace Transforms and its inverse Transform.

Κατηγορία:Διαφορικές εξισώσεις
Κατηγορία:Μαθηματική φυσική
Κατηγορία:Μετασχηματισμός (μαθηματικά)
Κατηγορία:Ανάλυση Φουριέ