Edició de «Transformada de Laplace»

La '''transformada de Laplace''' és un tipo de [[transformada integral]] freqüentment usada per a la resolució d'equacions diferencials ordinàries. La transformada de Laplace d'una [[funció matemàtica|funció]] ''f''(''t'') definida (en [[Equació diferencial|equacions diferencials]], en anàlisis matemàtic o en [[anàlisis funcional]]) para tots els [[número positiu|números positius]] ''t'' ≥ 0, és la funció ''F''(''s''), definida per:

{{equació|<math>F(s) = \mathcal{L} \left\{f(t)\right\} =\int_{0}^\infty e^{-st} f(t)\,dt.</math>||left}}

sempre i quan l'integral estiga definida. Quan ''f''(''t'') no és una funció, sino una [[Distribució de provabilitat|distribució]] en una singularitat en 0, la definició és: 

{{equació|
: <math>F(s)
  = \mathcal{L} \left\{f(t)\right\}
  =\lim_{\varepsilon \rightarrow 0} \int_{-\varepsilon}^\infty e^{-st} f(t)\,dt.</math>
||left}}

Quan es parla de la transformada de Laplace, generalment es referix a la versió unilateral. També existix la transformada de Laplace bilateral, que es definix com seguix:

{{equació|
: <math>F_B(s)
  = \mathcal{L}\left\{f(t)\right\}
  =\int_{-\infty}^{\infty} e^{-st} f(t)\,dt.</math>
||left}}

La transformada de Laplace ''F''(''s'') típicament existix per a tots els @número real ''s'' > ''a'', on ''a'' és una constant que depén del comportament de creiximent de ''f''(''t'').<br /><math>mathcal{L}</math> és cridat el ''[[operador]] de la transformada de Laplace''.

== Perspectiva històrica ==
La transformada de Laplace rep el seu nom en honor del [[matemàtic]] [[França|francés]] [[Pierre-Simon Laplace]], que la va presentar dins del seu [[teoria de la provabilitat]]. En 1744, [[Leonhard Euler]] havia investigat un conjunt d'integrals de la forma:

{{equació|
:<math> z = \int X(x) e^{ax}\, dx</math>
:<math> z = \int X(x) x^A \, dx</math>
||left}}

— com a solucions d'equacions diferencials, pero no va profundisar en elles i pronte va abandonar la seua investigació. [[Joseph Louis *Lagrange]], admirador de Euler, també va investigar eixe tipo d'integrals, i les va lligar a la teoria de la provabilitat en un treball sobre funcions de densitat de provabilitat de la forma:

{{equació|
:<math> \int X(x) e^{- a x } a^x\, dx,</math>
||left}}

— que alguns historiadors interpreten com a autèntiques transformades de Laplace. Este tipo d'integrals varen atraure l'atenció de Laplace quan, en 1782, i seguint l'idea de *Euler, va tractar d'amprar estes integrals com a solucions d'equacions diferencials. Sembla ser que en 1785 va donar un pas més allà, i *reenfocó el problema para en lloc d'usar les integrals com a solucions, aplicar-les a les equacions donant lloc a les transformades de Laplace tal i com hui en dia s'entenen. Va usar una integral de la forma:

{{equació|<math> \int x^s \phi (s)\, dx,</math>||left}}

— anàloga a la [[transformada de Mellin]], en la que va transformar una equació diferencial en una equació algebraica de la que va buscar la seua solució. Va plantejar alguna de les principals propietats de la seua transformada, i d'alguna forma va reconéixer que el método de [[Joseph Fourier]] per a resoldre per mig de [[séries de Fourier]] la [[equació de difusió]] podria relacionar-se en la seua transformada integral per a un espai finit en solucions periòdiques. 

Pese al guany, les transformades de Laplace pronte varen caure en un relatiu oblit, en haver segut presentades en el camp de la provabilitat –alié a la seua moderna aplicació en la física i l'ingenieria–, i ser tractades sobretot com a objectes matemàtics merament teòrics. 

La moderna aplicació de les transformades de Laplace i tota la seua teoria subjacent sorgix en realitat en la segona mitat del sigle XIX. En tractar de resoldre equacions diferencials relacionades en la teoria de vibracions, l'ingenier anglés [[Oliver *Heaviside]] ([[1850]]-[[1925]]) va descobrir que els operadors diferencials podien tractar-se analíticament com a variables algebraiques. D'acort en el ''"càlcul operacional"'', si es té una equació diferencial de la forma:

{{equació|<math>(D-a)y=f(t)\,</math>||left}}
— on D és l'operador diferencial, açò és, <math>D=d/dt</math>, llavors la solució general a dita equació és de la forma:
{{equació|<math>y=e^{at} \int e^{-at} f(t) dt +c_1 e^{at}</math>.||left}}
Heaviside va observar que si es tractava a l'operador D com una variable algebraica, era possible alcançar igualment la solució de tota equació parella a la de dalt. En efecte, segons la solució general, es complix que:
{{equació|:<math>y=\frac 1 {D-a} f(t)= e^{at} \int e^{-at} f(t) dt +c_1 e^{at} </math>||left}}
Llavors, si es considera una equació diferencial de segon orde com la següent:
{{equació|:<math>y''-3y'+2y=e^t\,</math>||left}}
— esta pot reescriure's en per a resaltar l'operador D com:
{{equació|:<math>(D^2-3D+2)y=e^t\,</math>||left}}
[[Heaviside]] va propondre rebujar i tractar a D algebraicament, en el seu cas es tindria que:
{{equació|:<math>y= \frac {e^t} {D^2-3D+2} = \frac {e^t} {(D-1)(D-2)}=\frac 1 {D-2} e^t - \frac 1 {D-1} e^t </math>||left}}
Substituint les fraccions en D per l'expressió integral de les mateixes dalt presentada, s'aplega a la solució de l'equació diferencial:
{{equació|<math>y=(e^{2t} \int e^{-2t} f(t) dt +c_1 e^{2t})-(e^{t} \int e^{-t} f(t) dt +c_2 e^{t})=(e^{2t}(-e^{-t})+c_1 e^{2t})-(e^t (t) +c_2 e^t) </math>}}
{{equació|<math>\Big (y=c_1 e^{2t}- (c_2+1) e^t -t e^t \Big) </math>
||left}}

Heaviside va publicar els seus resultats, l'utilitat dels quals a l'hora de resoldre equacions de la física i l'ingenieria va fer que pronte s'estengueren. No obstant, el treball de *Heaviside, formal i poc rigorós, va atraure les crítiques d'alguns matemàtics puristes que els varen rebujar argumentant que els resultats de *Heaviside no podien sorgir de tal forma. No obstant, l'èxit del método va fer que pronte fora adoptat per ingeniers i físics de tot lo món, de manera que al final va atraure l'atenció de cert número de matemàtics tractant de justificar el método de manera rigorosa. Despuix de vàries décades d'intents, es va descobrir que la Transformada descoberta per Laplace feya un sigle no solament oferia un fonament teòric al método de càlcul operacional de *Heaviside, sino que ademés oferia una alternativa molt més sistemàtica a tals métodos. 

Cap a principis del sigle XX, la transformada de Laplace es va convertir en una ferramenta comuna de la teoria de vibracions i de la teoria de circuits, dos dels camps on ha segut aplicada en més èxit. En general, la transformada és adequada per a resoldre sistemes d'equacions diferencials llineals en condicions inicials en l'orige. Una de les seues ventages més significatives radica que la [[integració]] i [[Derivada|derivació]] es convertixen en [[multiplicació]] i [[Divisió (matemàtica)|divisió]]. Açò transforma les equacions diferencials i integrals en equacions polinòmiques, molt més fàcils de resoldre.


== Propietats ==

==== Linealitat ====
{{equació|<math>\mathcal{L}\left\{a f(t) + b g(t) \right\}
  = a \mathcal{L}\left\{ f(t) \right\} +
    b \mathcal{L}\left\{ g(t) \right\}</math>}}

==== Derivació ====
{{equació|<math>\mathcal{L}\{f'(t)\}
  = s \mathcal{L}\{f(t)\} - f(0)</math>.}}
{{equació|<math>\mathcal{L}\{f''(t)\}
  = s^2 \mathcal{L}\{f(t)\} - s f(0) - f'(0)</math>}}
{{equació|<math> \mathcal{L}\left\{ f^{(n)}(t) \right\} = s^n \mathcal{L}\{f(t)\} - s^{n - 1} f(0) - \dots - f^{(n - 1)}(0) </math> <math> = s^n \mathcal{L}\{f(t)\} - \sum_{i=1}^{n} s^{n - i} f^{(i - 1)}(0) </math>}}

==== Integració ====
{{equació|<math>\mathcal{L}\left\{ \int_{0^{-}}^{t}f(\tau )d\tau  \right\} = {1 \over s} \mathcal{L}\{f\}</math>}}

==== Dualitat ====
:<math>\mathcal{L}\{ t f(t)\}
  = -F'(s)</math>

==== Desplaçament de la freqüència ====
: <math>\mathcal{L}\left\{ e^{at} f(t) \right\} =
  F(s-a)</math>

{{ORDENAR:}}==== Desplaçament temporal ====
: <math>\mathcal{L}\left\{ f(t - a) u(t - a) \right\}
  = e^{-as} F(s)</math>
: <math>\mathcal{L}^{-1} \left\{ e^{-as} F(s) \right\}
  = f(t - a) u(t - a)</math>
Nota: <math>u(t)</math> es la [[funció escaló unitari]].

==== Desplaçament potència ''n''-ésima ====
: <math>\mathcal{L}\{\,t^nf(t)\} = (-1)^nD_s^n[F(s)]</math>

==== Convolució ====
: <math>\mathcal{L}\{f*g\}
  = F(s)G(s)</math>

==== Transformada de Laplace d'una funció en periodo ''p'' ====
{{ecuación|<math>\mathcal{L}\{ f \} = {1 \over 1 - e^{-ps}} \int_0^p e^{-st} f(t)\,dt</math>}}

==== Condicions de convergència ====
: <math>\mathcal{L}\{(e^{t^2})\}</math>  (que crece más rápido que <math>e^{-st}</math>) no pueden ser obtenidas por Laplace, ya que <math>e^{t^2}</math>, es una función de orden exponencial de ángulos.

==== Teorema del valor inicial ====
Sea una función <math> f\in\varepsilon</math>  derivable a trozos y que <math>f^{\prime}\in\varepsilon.</math> Entonces :

<math>f(0^{+})=\lim_{s\to\infty}{sF(s)}</math>

<math> \varepsilon</math> es el conjunto de funciones continuas a trozos con orden exponencial.

==== Teorema del valor final ====
Sea<math>f\in\varepsilon</math> una función derivable a trozos tal que <math>f^{\prime}\in\varepsilon</math>.Entonces :

<math>f(\infty)=\lim_{s\to0}{sF(s)}</math>

<math> \varepsilon</math> és el conjunt de funcions contínues a trossos en orde exponencial.



















[[Categoria:Transformacions integrals]]
[[Categoria:Epònims relacionats en les matemàtiques]]
[[Categoria:Ciència de 1785]]
[[Categoria:França en 1785]]
[[Categoria:Ciència i tecnologia de França del sigle XVIII]]

{{Traduït de|es|Transformada de Laplace}}