Transformada de Laplace

Transformada integral útil en teoría de probabilidad, física e ingeniería.

En matemáticas , la transformada de Laplace , llamada así por Pierre-Simon Laplace (/ləˈplɑːs/), es una transformada integral que convierte una función de una variable real ( generalmente , en el dominio del tiempo ) en una función de una variable compleja ( en el dominio de frecuencia de valor complejo , también conocido como dominio s o plano s ). ${\displaystyle t}$ ${\displaystyle s}$

La transformada es útil para convertir la diferenciación e integración en el dominio del tiempo en una multiplicación y división mucho más sencilla en el dominio de Laplace (de forma análoga a cómo los logaritmos son útiles para simplificar la multiplicación y la división en suma y resta). Esto le da a la transformada muchas aplicaciones en ciencia e ingeniería , principalmente como herramienta para resolver ecuaciones diferenciales lineales ^[1] y sistemas dinámicos al simplificar ecuaciones diferenciales ordinarias y ecuaciones integrales en ecuaciones polinómicas algebraicas , y al simplificar la convolución en multiplicación . ^{[2] [3]} Una vez resuelta, la transformada inversa de Laplace vuelve al dominio original.

La transformada de Laplace se define (para funciones adecuadas ) por la integral donde s es un número complejo . Está relacionada con muchas otras transformadas, más notablemente la transformada de Fourier y la transformada de Mellin . Formalmente , la transformada de Laplace se convierte en una transformada de Fourier por la sustitución donde es real. Sin embargo, a diferencia de la transformada de Fourier, que da la descomposición de una función en sus componentes en cada frecuencia, la transformada de Laplace de una función con decaimiento adecuado es una función analítica , y por lo tanto tiene una serie de potencias convergentes , cuyos coeficientes dan la descomposición de una función en sus momentos . También a diferencia de la transformada de Fourier, cuando se considera de esta manera como una función analítica, las técnicas de análisis complejo , y especialmente las integrales de contorno , se pueden utilizar para los cálculos. ${\displaystyle f}$ $${\displaystyle {\mathcal {L}}\{f\}(s)=\int _{0}^{\infty }f(t)e^{-st}\,dt,}$$ ${\displaystyle s=i\omega }$ ${\displaystyle \omega }$

Historia

Pierre-Simon, marqués de Laplace

La transformada de Laplace recibe su nombre del matemático y astrónomo Pierre-Simon, marqués de Laplace , que utilizó una transformada similar en su trabajo sobre la teoría de la probabilidad . ^[4] Laplace escribió extensamente sobre el uso de funciones generadoras (1814), y la forma integral de la transformada de Laplace evolucionó naturalmente como resultado. ^[5]

El uso que Laplace hacía de las funciones generadoras era similar a lo que ahora se conoce como transformada z , y prestó poca atención al caso de variable continua que fue analizado por Niels Henrik Abel . ^[6]

A partir de 1744, Leonhard Euler investigó integrales de la forma como soluciones de ecuaciones diferenciales, introduciendo en particular la función gamma . ^[7] Joseph-Louis Lagrange era un admirador de Euler y, en su trabajo sobre la integración de funciones de densidad de probabilidad , investigó expresiones de la forma que se asemeja a una transformada de Laplace. ^{[8] [9]} $${\displaystyle z=\int X(x)e^{ax}\,dx\quad {\text{ and }}\quad z=\int X(x)x^{A}\,dx}$$ $${\displaystyle \int X(x)e^{-ax}a^{x}\,dx,}$$

Este tipo de integrales parecen haber atraído por primera vez la atención de Laplace en 1782, donde seguía el espíritu de Euler al utilizar las propias integrales como soluciones de ecuaciones. ^[10] Sin embargo, en 1785, Laplace dio el paso decisivo cuando, en lugar de simplemente buscar una solución en forma de integral, empezó a aplicar las transformadas en el sentido que más tarde se haría popular. Utilizó una integral de la forma similar a una transformada de Mellin para transformar la totalidad de una ecuación diferencial , con el fin de buscar soluciones de la ecuación transformada. Después pasó a aplicar la transformada de Laplace de la misma manera y empezó a derivar algunas de sus propiedades, empezando a apreciar su poder potencial. ^[11] $${\displaystyle \int x^{s}\varphi (x)\,dx,}$$

Laplace también reconoció que el método de la serie de Fourier de Joseph Fourier para resolver la ecuación de difusión sólo podía aplicarse a una región limitada del espacio, porque esas soluciones eran periódicas . En 1809, Laplace aplicó su transformada para encontrar soluciones que se difundían indefinidamente en el espacio. ^[12] En 1821, Cauchy desarrolló un cálculo operacional para la transformada de Laplace que podía utilizarse para estudiar ecuaciones diferenciales lineales de la misma manera en que la transformada se utiliza ahora en ingeniería básica. Este método fue popularizado, y tal vez redescubierto, por Oliver Heaviside a principios del siglo. ^[13]

Bernhard Riemann utilizó la transformada de Laplace en su artículo de 1859 Sobre el número de primos menores que una magnitud dada , en el que también desarrolló el teorema de inversión. Riemann utilizó la transformada de Laplace para desarrollar la ecuación funcional de la función zeta de Riemann , y este método todavía se utiliza para relacionar la ley de transformación modular de la función theta de Jacobi , que es fácil de demostrar mediante la suma de Poisson , con la ecuación funcional.

Hjalmar Mellin fue uno de los primeros en estudiar la transformada de Laplace, rigurosamente en la escuela de análisis de Karl Weierstrass , y aplicarla al estudio de ecuaciones diferenciales y funciones especiales , a principios del siglo XX. ^[14] Casi al mismo tiempo, Heaviside estaba ocupado con su cálculo operacional. Thomas Joannes Stieltjes consideró una generalización de la transformada de Laplace relacionada con su trabajo sobre momentos . Otros contribuyentes en este período de tiempo incluyeron a Mathias Lerch , ^[15] Oliver Heaviside y Thomas Bromwich . ^[16]

En 1934, Raymond Paley y Norbert Wiener publicaron la importante obra Transformadas de Fourier en el dominio complejo , sobre lo que ahora se llama transformada de Laplace (véase más abajo). También durante los años 30, la transformada de Laplace fue fundamental en el estudio de los teoremas de Tauber por parte de GH Hardy y John Edensor Littlewood , y esta aplicación fue posteriormente expuesta por Widder (1941), quien desarrolló otros aspectos de la teoría, como un nuevo método de inversión. Edward Charles Titchmarsh escribió la influyente Introducción a la teoría de la integral de Fourier (1937).

El uso generalizado actual de la transformada (principalmente en ingeniería) se produjo durante y poco después de la Segunda Guerra Mundial , ^[17] sustituyendo al anterior cálculo operacional de Heaviside . Las ventajas de la transformada de Laplace habían sido enfatizadas por Gustav Doetsch , ^[18] a quien aparentemente se debe el nombre de transformada de Laplace.

Definición formal

${\displaystyle \Re (e^{-st})}$para varias frecuencias complejas en el dominio s que se pueden expresar como El eje contiene cosenos puros. El positivo contiene cosenos amortiguados . El negativo contiene cosenos que crecen exponencialmente . ${\displaystyle (s=\sigma +i\omega ),}$ ${\displaystyle e^{-\sigma t}\cos(\omega t).}$ ${\displaystyle \sigma =0}$ ${\displaystyle \sigma }$ ${\displaystyle \sigma }$

La transformada de Laplace de una función f ( t ) , definida para todos los números reales t ≥ 0 , es la función F ( s ) , que es una transformada unilateral definida por

${\displaystyle F(s)=\int _{0}^{\infty }f(t)e^{-st}\,dt,}$   ( Ecuación 1 )

donde s es un parámetro complejo del dominio de la frecuencia con números reales σ y ω . $${\displaystyle s=\sigma +i\omega }$$

Una notación alternativa para la transformada de Laplace es ${\displaystyle {\mathcal {L}}\{f\}}$en lugar de F . ^[3]

El significado de la integral depende de los tipos de funciones de interés. Una condición necesaria para la existencia de la integral es que f debe ser localmente integrable en [0, ∞) . Para funciones localmente integrables que decaen en el infinito o son de tipo exponencial ( ), la integral puede entenderse como una integral de Lebesgue (propia) . Sin embargo, para muchas aplicaciones es necesario considerarla como una integral impropia condicionalmente convergente en ∞ . Aún más generalmente, la integral puede entenderse en un sentido débil , y esto se trata a continuación. ${\displaystyle |f(t)|\leq Ae^{B|t|}}$

Se puede definir la transformada de Laplace de una medida de Borel finita μ mediante la integral de Lebesgue ^[19] $${\displaystyle {\mathcal {L}}\{\mu \}(s)=\int _{[0,\infty )}e^{-st}\,d\mu (t).}$$

Un caso especial importante es cuando μ es una medida de probabilidad , por ejemplo, la función delta de Dirac . En cálculo operacional , la transformada de Laplace de una medida se trata a menudo como si la medida viniera de una función de densidad de probabilidad f . En ese caso, para evitar posibles confusiones, a menudo se escribe donde el límite inferior de 0 ⁻ es la notación abreviada para $${\displaystyle {\mathcal {L}}\{f\}(s)=\int _{0^{-}}^{\infty }f(t)e^{-st}\,dt,}$$ $${\displaystyle \lim _{\varepsilon \to 0^{+}}\int _{-\varepsilon }^{\infty }.}$$

Este límite pone de relieve que cualquier masa puntual situada en 0 queda totalmente capturada por la transformada de Laplace. Aunque con la integral de Lebesgue no es necesario tomar dicho límite, sí aparece de forma más natural en relación con la transformada de Laplace-Stieltjes .

Transformada bilateral de Laplace

Cuando se dice "transformada de Laplace" sin calificación, generalmente se hace referencia a la transformada unilateral o de un solo lado. La transformada de Laplace se puede definir alternativamente como transformada de Laplace bilateral o transformada de Laplace de dos lados , extendiendo los límites de integración para que sean todo el eje real. Si se hace eso, la transformada unilateral común simplemente se convierte en un caso especial de la transformada bilateral, donde la definición de la función que se transforma se multiplica por la función escalonada de Heaviside .

La transformada de Laplace bilateral F ( s ) se define de la siguiente manera:

${\displaystyle F(s)=\int _{-\infty }^{\infty }e^{-st}f(t)\,dt.}$   ( Ecuación 2 )

Una notación alternativa para la transformada de Laplace bilateral es , en lugar de F . ${\displaystyle {\mathcal {B}}\{f\}}$

Transformada inversa de Laplace

Dos funciones integrables tienen la misma transformada de Laplace sólo si difieren en un conjunto de medida de Lebesgue cero. Esto significa que, en el rango de la transformada, existe una transformada inversa. De hecho, además de las funciones integrables, la transformada de Laplace es una aplicación biunívoca de un espacio de funciones a otro en muchos otros espacios de funciones también, aunque normalmente no existe una caracterización sencilla del rango.

Los espacios funcionales típicos en los que esto es cierto incluyen los espacios de funciones continuas acotadas, el espacio L ^∞ (0, ∞) o, de manera más general, distribuciones templadas en (0, ∞) . La transformada de Laplace también está definida y es inyectiva para espacios adecuados de distribuciones templadas.

En estos casos, la imagen de la transformada de Laplace vive en un espacio de funciones analíticas en la región de convergencia. La transformada de Laplace inversa viene dada por la siguiente integral compleja, que se conoce con varios nombres ( integral de Bromwich , integral de Fourier-Mellin y fórmula inversa de Mellin ):

${\displaystyle f(t)={\mathcal {L}}^{-1}\{F\}(t)={\frac {1}{2\pi i}}\lim _{T\to \infty }\int _{\gamma -iT}^{\gamma +iT}e^{st}F(s)\,ds,}$   ( Ecuación 3 )

donde γ es un número real de modo que la trayectoria de contorno de integración está en la región de convergencia de F ( s ) . En la mayoría de las aplicaciones, el contorno puede cerrarse, lo que permite el uso del teorema de residuo . Una fórmula alternativa para la transformada de Laplace inversa se da mediante la fórmula de inversión de Post . El límite aquí se interpreta en la topología débil-* .

En la práctica, suele ser más conveniente descomponer una transformada de Laplace en transformadas conocidas de funciones obtenidas de una tabla y construir la inversa por inspección.

Teoría de la probabilidad

En probabilidad pura y aplicada , la transformada de Laplace se define como un valor esperado . Si X es una variable aleatoria con función de densidad de probabilidad f , entonces la transformada de Laplace de f viene dada por la esperanza, donde es la esperanza de la variable aleatoria . $${\displaystyle {\mathcal {L}}\{f\}(s)=\operatorname {E} \left[e^{-sX}\right],}$$ ${\displaystyle \operatorname {E} [r]}$ ${\displaystyle r}$

Por convención , esto se conoce como la transformada de Laplace de la propia variable aleatoria X. Aquí, al reemplazar s por − t se obtiene la función generadora de momentos de X. La transformada de Laplace tiene aplicaciones en toda la teoría de probabilidad, incluidos los tiempos de primer paso de procesos estocásticos como las cadenas de Markov y la teoría de renovación .

De particular utilidad es la capacidad de recuperar la función de distribución acumulativa de una variable aleatoria continua X por medio de la transformada de Laplace de la siguiente manera: ^[20] $${\displaystyle F_{X}(x)={\mathcal {L}}^{-1}\left\{{\frac {1}{s}}\operatorname {E} \left[e^{-sX}\right]\right\}(x)={\mathcal {L}}^{-1}\left\{{\frac {1}{s}}{\mathcal {L}}\{f\}(s)\right\}(x).}$$

Construcción algebraica

La transformada de Laplace se puede definir alternativamente de una manera puramente algebraica aplicando una construcción de cuerpo de fracciones al anillo de convolución de funciones en la semirrecta positiva. El espacio resultante de operadores abstractos es exactamente equivalente al espacio de Laplace, pero en esta construcción las transformadas directa e inversa nunca necesitan definirse explícitamente (evitando las dificultades relacionadas con la demostración de convergencia). ^[21]

Región de convergencia

Si f es una función localmente integrable (o más generalmente una medida de Borel localmente de variación acotada), entonces la transformada de Laplace F ( s ) de f converge siempre que exista el límite. $${\displaystyle \lim _{R\to \infty }\int _{0}^{R}f(t)e^{-st}\,dt}$$

La transformada de Laplace converge absolutamente si la integral existe como una integral de Lebesgue propia. La transformada de Laplace suele entenderse como condicionalmente convergente , es decir, converge en el primer sentido pero no en el segundo. $${\displaystyle \int _{0}^{\infty }\left|f(t)e^{-st}\right|\,dt}$$

El conjunto de valores para los cuales F ( s ) converge absolutamente es de la forma Re( s ) > a o Re( s ) ≥ a , donde a es una constante real extendida con −∞ ≤ a ≤ ∞ (una consecuencia del teorema de convergencia dominada ). La constante a se conoce como la abscisa de convergencia absoluta, y depende del comportamiento de crecimiento de f ( t ) . ^[22] Análogamente, la transformada de dos caras converge absolutamente en una franja de la forma a < Re( s ) < b , y posiblemente incluyendo las líneas Re( s ) = a o Re( s ) = b . ^[23] El subconjunto de valores de s para los cuales la transformada de Laplace converge absolutamente se llama la región de convergencia absoluta, o el dominio de convergencia absoluta. En el caso de dos caras, a veces se le llama la franja de convergencia absoluta. La transformada de Laplace es analítica en la región de convergencia absoluta: esto es una consecuencia del teorema de Fubini y del teorema de Morera .

De manera similar, el conjunto de valores para los cuales F ( s ) converge (condicional o absolutamente) se conoce como la región de convergencia condicional, o simplemente la región de convergencia (ROC). Si la transformada de Laplace converge (condicionalmente) en s = s ₀ , entonces converge automáticamente para todo s con Re( s ) > Re( s ₀ ) . Por lo tanto, la región de convergencia es un semiplano de la forma Re( s ) > a , posiblemente incluyendo algunos puntos de la línea límite Re( s ) = a .

En la región de convergencia Re( s ) > Re( s ₀ ) , la transformada de Laplace de f se puede expresar integrando por partes como la integral $${\displaystyle F(s)=(s-s_{0})\int _{0}^{\infty }e^{-(s-s_{0})t}\beta (t)\,dt,\quad \beta (u)=\int _{0}^{u}e^{-s_{0}t}f(t)\,dt.}$$

Es decir, F ( s ) puede expresarse efectivamente, en la región de convergencia, como la transformada de Laplace absolutamente convergente de alguna otra función. En particular, es analítica.

Hay varios teoremas de Paley-Wiener relacionados con la relación entre las propiedades de desintegración de f y las propiedades de la transformada de Laplace dentro de la región de convergencia.

En aplicaciones de ingeniería, una función correspondiente a un sistema lineal invariante en el tiempo (LTI) es estable si cada entrada acotada produce una salida acotada. Esto es equivalente a la convergencia absoluta de la transformada de Laplace de la función de respuesta al impulso en la región Re( s ) ≥ 0 . Como resultado, los sistemas LTI son estables, siempre que los polos de la transformada de Laplace de la función de respuesta al impulso tengan una parte real negativa.

Esta ROC se utiliza para conocer la causalidad y la estabilidad de un sistema.

Propiedades y teoremas

La propiedad clave de la transformada de Laplace es que convierte la diferenciación y la integración en el dominio del tiempo en multiplicación y división por s en el dominio de Laplace. Por lo tanto, la variable de Laplace s también se conoce como variable operadora en el dominio de Laplace: operador de derivada o (para s ⁻¹ ) operador de integración .

Dadas las funciones f ( t ) y g ( t ) , y sus respectivas transformadas de Laplace F ( s ) y G ( s ) , $${\displaystyle {\begin{aligned}f(t)&={\mathcal {L}}^{-1}\{F\}(s),\\g(t)&={\mathcal {L}}^{-1}\{G\}(s),\end{aligned}}}$$

La siguiente tabla es una lista de propiedades de la transformada de Laplace unilateral: ^[24]

Teorema del valor inicial

${\displaystyle f(0^{+})=\lim _{s\to \infty }{sF(s)}.}$

Teorema del valor final

${\displaystyle f(\infty )=\lim _{s\to 0}{sF(s)}}$, si todos los polos de están en el semiplano izquierdo. ${\displaystyle sF(s)}$

El teorema del valor final es útil porque proporciona el comportamiento a largo plazo sin tener que realizar descomposiciones en fracciones parciales (u otras operaciones algebraicas difíciles). Si F ( s ) tiene un polo en el plano derecho o polos en el eje imaginario (por ejemplo, si o ), entonces el comportamiento de esta fórmula no está definido. ${\displaystyle f(t)=e^{t}}$ ${\displaystyle f(t)=\sin(t)}$

Relación con series de potencias

La transformada de Laplace puede verse como un análogo continuo de una serie de potencias . ^[26] Si a ( n ) es una función discreta de un entero positivo n , entonces la serie de potencias asociada a a ( n ) es la serie donde x es una variable real (ver transformada Z ). Reemplazando la suma sobre n por la integración sobre t , una versión continua de la serie de potencias se convierte en donde la función discreta a ( n ) se reemplaza por la continua f ( t ) . $${\displaystyle \sum _{n=0}^{\infty }a(n)x^{n}}$$ $${\displaystyle \int _{0}^{\infty }f(t)x^{t}\,dt}$$

Cambiando la base de la potencia de x a e se obtiene $${\displaystyle \int _{0}^{\infty }f(t)\left(e^{\ln {x}}\right)^{t}\,dt}$$

Para que esto converja, por ejemplo, para todas las funciones acotadas f , es necesario exigir que ln x < 0 . Al realizar la sustitución − s = ln x se obtiene simplemente la transformada de Laplace: $${\displaystyle \int _{0}^{\infty }f(t)e^{-st}\,dt}$$

En otras palabras, la transformada de Laplace es un análogo continuo de una serie de potencias, en la que el parámetro discreto n se reemplaza por el parámetro continuo t y x se reemplaza por e ^{− s} .

Relación con los momentos

Las cantidades $${\displaystyle \mu _{n}=\int _{0}^{\infty }t^{n}f(t)\,dt}$$

son los momentos de la función f . Si los primeros n momentos de f convergen absolutamente, entonces por diferenciación repetida bajo la integral , Esto es de especial importancia en la teoría de la probabilidad, donde los momentos de una variable aleatoria X están dados por los valores esperados . Entonces, la relación se cumple $${\displaystyle (-1)^{n}({\mathcal {L}}f)^{(n)}(0)=\mu _{n}.}$$ ${\displaystyle \mu _{n}=\operatorname {E} [X^{n}]}$ $${\displaystyle \mu _{n}=(-1)^{n}{\frac {d^{n}}{ds^{n}}}\operatorname {E} \left[e^{-sX}\right](0).}$$

Transformada de la derivada de una función

A menudo resulta conveniente utilizar la propiedad de diferenciación de la transformada de Laplace para hallar la transformada de la derivada de una función. Esto se puede derivar de la expresión básica de una transformada de Laplace, como sigue: obteniendo y en el caso bilateral, $${\displaystyle {\begin{aligned}{\mathcal {L}}\left\{f(t)\right\}&=\int _{0^{-}}^{\infty }e^{-st}f(t)\,dt\\[6pt]&=\left[{\frac {f(t)e^{-st}}{-s}}\right]_{0^{-}}^{\infty }-\int _{0^{-}}^{\infty }{\frac {e^{-st}}{-s}}f'(t)\,dt\quad {\text{(by parts)}}\\[6pt]&=\left[-{\frac {f(0^{-})}{-s}}\right]+{\frac {1}{s}}{\mathcal {L}}\left\{f'(t)\right\},\end{aligned}}}$$ $${\displaystyle {\mathcal {L}}\{f'(t)\}=s\cdot {\mathcal {L}}\{f(t)\}-f(0^{-}),}$$ $${\displaystyle {\mathcal {L}}\{f'(t)\}=s\int _{-\infty }^{\infty }e^{-st}f(t)\,dt=s\cdot {\mathcal {L}}\{f(t)\}.}$$

El resultado general donde denota la derivada n- ésima de f , puede entonces establecerse con un argumento inductivo. $${\displaystyle {\mathcal {L}}\left\{f^{(n)}(t)\right\}=s^{n}\cdot {\mathcal {L}}\{f(t)\}-s^{n-1}f(0^{-})-\cdots -f^{(n-1)}(0^{-}),}$$ ${\displaystyle f^{(n)}}$

Evaluación de integrales sobre el eje real positivo

Una propiedad útil de la transformada de Laplace es la siguiente: bajo supuestos adecuados sobre el comportamiento de en un entorno derecho de y sobre la tasa de decaimiento de en un entorno izquierdo de . La fórmula anterior es una variación de la integración por partes, en la que los operadores y se sustituyen por y . Probemos la formulación equivalente: $${\displaystyle \int _{0}^{\infty }f(x)g(x)\,dx=\int _{0}^{\infty }({\mathcal {L}}f)(s)\cdot ({\mathcal {L}}^{-1}g)(s)\,ds}$$ ${\displaystyle f,g}$ ${\displaystyle 0}$ ${\displaystyle f,g}$ ${\displaystyle \infty }$ ${\displaystyle {\frac {d}{dx}}}$ ${\displaystyle \int \,dx}$ ${\displaystyle {\mathcal {L}}}$ ${\displaystyle {\mathcal {L}}^{-1}}$ $${\displaystyle \int _{0}^{\infty }({\mathcal {L}}f)(x)g(x)\,dx=\int _{0}^{\infty }f(s)({\mathcal {L}}g)(s)\,ds.}$$

Al conectar el lado izquierdo se convierte en: pero asumiendo que se cumple el teorema de Fubini, al invertir el orden de integración obtenemos el lado derecho deseado. ${\displaystyle ({\mathcal {L}}f)(x)=\int _{0}^{\infty }f(s)e^{-sx}\,ds}$ $${\displaystyle \int _{0}^{\infty }\int _{0}^{\infty }f(s)g(x)e^{-sx}\,ds\,dx,}$$

Este método se puede utilizar para calcular integrales que de otro modo serían difíciles de calcular utilizando métodos elementales de cálculo real. Por ejemplo, $${\displaystyle \int _{0}^{\infty }{\frac {\sin x}{x}}dx=\int _{0}^{\infty }{\mathcal {L}}(1)(x)\sin xdx=\int _{0}^{\infty }1\cdot {\mathcal {L}}(\sin )(x)dx=\int _{0}^{\infty }{\frac {dx}{x^{2}+1}}={\frac {\pi }{2}}.}$$

Relación con otras transformaciones

Transformada de Laplace-Stieltjes

La transformada (unilateral) de Laplace-Stieltjes de una función g  : ℝ → ℝ está definida por la integral de Lebesgue-Stieltjes

$${\displaystyle \{{\mathcal {L}}^{*}g\}(s)=\int _{0}^{\infty }e^{-st}\,d\,g(t)~.}$$

Se supone que la función g tiene una variación acotada . Si g es la antiderivada de f :

$${\displaystyle g(x)=\int _{0}^{x}f(t)\,d\,t}$$

entonces la transformada de Laplace-Stieltjes de g y la transformada de Laplace de f coinciden. En general, la transformada de Laplace-Stieltjes es la transformada de Laplace de la medida de Stieltjes asociada a g . Por lo tanto, en la práctica, la única distinción entre las dos transformadas es que se piensa que la transformada de Laplace opera sobre la función de densidad de la medida, mientras que la transformada de Laplace-Stieltjes opera sobre su función de distribución acumulativa . ^[27]

Transformada de Fourier

Sea una función integrable de Lebesgue de valor complejo soportada en , y sea su transformada de Laplace. Entonces, dentro de la región de convergencia, tenemos ${\displaystyle f}$ ${\displaystyle [0,\infty )}$ ${\displaystyle F(s)={\mathcal {L}}f(s)}$

${\displaystyle F(\sigma +i\tau )=\int _{0}^{\infty }f(t)e^{-\sigma t}e^{-i\tau t}\,dt,}$

que es la transformada de Fourier de la función . ^[28] ${\displaystyle f(t)e^{-\sigma t}}$

De hecho, la transformada de Fourier es un caso especial (bajo ciertas condiciones) de la transformada bilateral de Laplace. La principal diferencia es que la transformada de Fourier de una función es una función compleja de una variable real (frecuencia), la transformada de Laplace de una función es una función compleja de una variable compleja . La transformada de Laplace suele estar restringida a la transformación de funciones de t con t ≥ 0 . Una consecuencia de esta restricción es que la transformada de Laplace de una función es una función holomorfa de la variable s . A diferencia de la transformada de Fourier, la transformada de Laplace de una distribución es generalmente una función de buen comportamiento . Las técnicas de variables complejas también se pueden utilizar para estudiar directamente las transformadas de Laplace. Como función holomorfa, la transformada de Laplace tiene una representación en serie de potencias . Esta serie de potencias expresa una función como una superposición lineal de momentos de la función. Esta perspectiva tiene aplicaciones en la teoría de la probabilidad.

Formalmente, la transformada de Fourier es equivalente a evaluar la transformada de Laplace bilateral con argumento imaginario s = iω ^{[29] [30]} cuando se cumple la condición explicada a continuación,

$${\displaystyle {\begin{aligned}{\hat {f}}(\omega )&={\mathcal {F}}\{f(t)\}\\[4pt]&={\mathcal {L}}\{f(t)\}|_{s=i\omega }=F(s)|_{s=i\omega }\\[4pt]&=\int _{-\infty }^{\infty }e^{-i\omega t}f(t)\,dt~.\end{aligned}}}$$

Esta convención de la transformada de Fourier ( en Transformada de Fourier § Otras convenciones ) requiere un factor de ⁠ ${\displaystyle {\hat {f}}_{3}(\omega )}$1/2π​⁠ sobre la transformada inversa de Fourier. Esta relación entre las transformadas de Laplace y de Fourier se utiliza a menudo para determinar el espectro de frecuencia de una señal o un sistema dinámico.

La relación anterior es válida como se indica si y sólo si la región de convergencia (ROC) de F ( s ) contiene el eje imaginario, σ = 0 .

Por ejemplo, la función f ( t ) = cos( ω ₀ t ) tiene una transformada de Laplace F ( s ) = s /( s ² + ω ₀ ² ) cuya ROC es Re( s ) > 0 . Como s = iω ₀ es un polo de F ( s ) , sustituir s = iω en F ( s ) no produce la transformada de Fourier de f ( t ) u ( t ) , que contiene términos proporcionales a las funciones delta de Dirac δ ( ω ± ω ₀ ) .

Sin embargo, una relación de la forma se cumple en condiciones mucho más débiles. Por ejemplo, esto se cumple para el ejemplo anterior siempre que el límite se entienda como un límite débil de medidas (véase topología vaga ). Las condiciones generales que relacionan el límite de la transformada de Laplace de una función en la frontera con la transformada de Fourier toman la forma de teoremas de Paley-Wiener . $${\displaystyle \lim _{\sigma \to 0^{+}}F(\sigma +i\omega )={\hat {f}}(\omega )}$$

Transformación de Mellin

La transformada de Mellin y su inversa están relacionadas con la transformada de Laplace de dos lados mediante un simple cambio de variables.

Si en la transformada de Mellin establecemos θ = e ^{− t} obtenemos una transformada de Laplace de dos lados. $${\displaystyle G(s)={\mathcal {M}}\{g(\theta )\}=\int _{0}^{\infty }\theta ^{s}g(\theta )\,{\frac {d\theta }{\theta }}}$$

Transformada Z

La transformada Z unilateral o de un solo lado es simplemente la transformada de Laplace de una señal muestreada idealmente con la sustitución de donde T = 1/ f _s es el intervalo de muestreo (en unidades de tiempo, por ejemplo, segundos) y f _s es la frecuencia de muestreo (en muestras por segundo o hercios ). $${\displaystyle z{\stackrel {\mathrm {def} }{{}={}}}e^{sT},}$$

Sea un tren de impulsos de muestreo (también llamado peine de Dirac ) y sea la representación muestreada de la función x ( t ) en el tiempo continuo . $${\displaystyle \Delta _{T}(t)\ {\stackrel {\mathrm {def} }{=}}\ \sum _{n=0}^{\infty }\delta (t-nT)}$$ $${\displaystyle {\begin{aligned}x_{q}(t)&{\stackrel {\mathrm {def} }{{}={}}}x(t)\Delta _{T}(t)=x(t)\sum _{n=0}^{\infty }\delta (t-nT)\\&=\sum _{n=0}^{\infty }x(nT)\delta (t-nT)=\sum _{n=0}^{\infty }x[n]\delta (t-nT)\end{aligned}}}$$ $${\displaystyle x[n]{\stackrel {\mathrm {def} }{{}={}}}x(nT)~.}$$

La transformada de Laplace de la señal muestreada x _q ( t ) es $${\displaystyle {\begin{aligned}X_{q}(s)&=\int _{0^{-}}^{\infty }x_{q}(t)e^{-st}\,dt\\&=\int _{0^{-}}^{\infty }\sum _{n=0}^{\infty }x[n]\delta (t-nT)e^{-st}\,dt\\&=\sum _{n=0}^{\infty }x[n]\int _{0^{-}}^{\infty }\delta (t-nT)e^{-st}\,dt\\&=\sum _{n=0}^{\infty }x[n]e^{-nsT}~.\end{aligned}}}$$

Esta es la definición precisa de la transformada Z unilateral de la función discreta x [ n ]

$${\displaystyle X(z)=\sum _{n=0}^{\infty }x[n]z^{-n}}$$con la sustitución de z → e ^sT .

Comparando las dos últimas ecuaciones, encontramos la relación entre la transformada Z unilateral y la transformada de Laplace de la señal muestreada, $${\displaystyle X_{q}(s)=X(z){\Big |}_{z=e^{sT}}.}$$

La similitud entre las transformadas Z y de Laplace se amplía en la teoría del cálculo de escala de tiempo .

Transformada de Borel

La forma integral de la transformada de Borel es un caso especial de la transformada de Laplace para f una función entera de tipo exponencial, es decir, para algunas constantes A y B . La transformada de Borel generalizada permite utilizar una función de ponderación diferente, en lugar de la función exponencial, para transformar funciones que no son de tipo exponencial. El teorema de Nachbin proporciona las condiciones necesarias y suficientes para que la transformada de Borel esté bien definida. $${\displaystyle F(s)=\int _{0}^{\infty }f(z)e^{-sz}\,dz}$$ $${\displaystyle |f(z)|\leq Ae^{B|z|}}$$

Relaciones fundamentales

Dado que una transformada de Laplace ordinaria puede escribirse como un caso especial de una transformada bilateral, y dado que la transformada bilateral puede escribirse como la suma de dos transformadas unilaterales, la teoría de las transformadas de Laplace, Fourier, Mellin y Z son en el fondo el mismo tema. Sin embargo, con cada una de estas cuatro transformadas integrales principales se asocian un punto de vista diferente y diferentes problemas característicos.

Tabla de transformadas de Laplace seleccionadas

La siguiente tabla proporciona transformadas de Laplace para muchas funciones comunes de una sola variable. ^{[31] [32]} Para definiciones y explicaciones, consulte las Notas explicativas al final de la tabla.

Debido a que la transformada de Laplace es un operador lineal,

• La transformada de Laplace de una suma es la suma de las transformadas de Laplace de cada término. $${\displaystyle {\mathcal {L}}\{f(t)+g(t)\}={\mathcal {L}}\{f(t)\}+{\mathcal {L}}\{g(t)\}}$$
• La transformada de Laplace de un múltiplo de una función es ese múltiplo de la transformada de Laplace de esa función. $${\displaystyle {\mathcal {L}}\{af(t)\}=a{\mathcal {L}}\{f(t)\}}$$

Utilizando esta linealidad y varias propiedades y/o identidades trigonométricas , hiperbólicas y de números complejos, etc., algunas transformadas de Laplace pueden obtenerse a partir de otras más rápidamente que utilizando la definición directamente.

La transformada de Laplace unilateral toma como entrada una función cuyo dominio del tiempo son los reales no negativos , razón por la cual todas las funciones del dominio del tiempo en la tabla a continuación son múltiplos de la función escalón de Heaviside, u ( t ) .

Las entradas de la tabla que implican un retardo temporal τ deben ser causales (es decir, que τ > 0 ). Un sistema causal es un sistema en el que la respuesta al impulso h ( t ) es cero para todo el tiempo t antes de t = 0. En general, la región de convergencia de los sistemas causales no es la misma que la de los sistemas anticausales .

s- Circuitos equivalentes de dominio y de impedancias

La transformada de Laplace se utiliza a menudo en el análisis de circuitos y permite realizar conversiones sencillas al dominio s de los elementos del circuito. Los elementos del circuito se pueden transformar en impedancias , de forma muy similar a las impedancias fasoriales .

A continuación se muestra un resumen de equivalencias:

Circuitos equivalentes de dominio s

Tenga en cuenta que la resistencia es exactamente la misma en el dominio del tiempo y en el dominio s . Las fuentes se introducen si existen condiciones iniciales en los elementos del circuito. Por ejemplo, si un condensador tiene un voltaje inicial a través de él, o si el inductor tiene una corriente inicial a través de él, las fuentes insertadas en el dominio s tienen en cuenta eso.

Los equivalentes para fuentes de corriente y voltaje se derivan simplemente de las transformaciones en la tabla anterior.

Ejemplos y aplicaciones

La transformada de Laplace se utiliza con frecuencia en ingeniería y física ; la salida de un sistema lineal invariante en el tiempo se puede calcular convolucionando su respuesta al impulso unitario con la señal de entrada. Realizar este cálculo en el espacio de Laplace convierte la convolución en una multiplicación; esta última es más fácil de resolver debido a su forma algebraica. Para obtener más información, consulte teoría de control . La transformada de Laplace es invertible en una gran clase de funciones. Dada una descripción matemática o funcional simple de una entrada o salida de un sistema , la transformada de Laplace proporciona una descripción funcional alternativa que a menudo simplifica el proceso de análisis del comportamiento del sistema o de síntesis de un nuevo sistema basado en un conjunto de especificaciones. ^[38]

La transformada de Laplace también se puede utilizar para resolver ecuaciones diferenciales y se utiliza ampliamente en ingeniería mecánica e ingeniería eléctrica . La transformada de Laplace reduce una ecuación diferencial lineal a una ecuación algebraica, que luego se puede resolver mediante las reglas formales del álgebra. La ecuación diferencial original se puede resolver aplicando la transformada de Laplace inversa. El ingeniero eléctrico inglés Oliver Heaviside propuso por primera vez un esquema similar, aunque sin utilizar la transformada de Laplace; y el cálculo operacional resultante se acredita como el cálculo de Heaviside.

Evaluación de integrales impropias

Sea . Entonces (ver la tabla anterior) ${\displaystyle {\mathcal {L}}\left\{f(t)\right\}=F(s)}$

$${\displaystyle \partial _{s}{\mathcal {L}}\left\{{\frac {f(t)}{t}}\right\}=\partial _{s}\int _{0}^{\infty }{\frac {f(t)}{t}}e^{-st}\,dt=-\int _{0}^{\infty }f(t)e^{-st}dt=-F(s)}$$

De donde se obtiene:

$${\displaystyle {\mathcal {L}}\left\{{\frac {f(t)}{t}}\right\}=\int _{s}^{\infty }F(p)\,dp.}$$

En el límite , se obtiene siempre que se pueda justificar el intercambio de límites. Esto es a menudo posible como consecuencia del teorema del valor final . Incluso cuando el intercambio no se puede justificar el cálculo puede ser sugerente. Por ejemplo, con a ≠ 0 ≠ b , procediendo formalmente se tiene ${\displaystyle s\rightarrow 0}$ $${\displaystyle \int _{0}^{\infty }{\frac {f(t)}{t}}\,dt=\int _{0}^{\infty }F(p)\,dp,}$$ $${\displaystyle {\begin{aligned}\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\\[6pt]&=\left[{\frac {1}{2}}\ln {\frac {p^{2}+a^{2}}{p^{2}+b^{2}}}\right]_{0}^{\infty }={\frac {1}{2}}\ln {\frac {b^{2}}{a^{2}}}=\ln \left|{\frac {b}{a}}\right|.\end{aligned}}}$$

La validez de esta identidad puede demostrarse por otros medios. Es un ejemplo de una integral de Frullani .

Otro ejemplo es la integral de Dirichlet .

Impedancia compleja de un condensador

En la teoría de circuitos eléctricos , el flujo de corriente en un capacitor es proporcional a la capacitancia y a la tasa de cambio del potencial eléctrico (con ecuaciones como para el sistema de unidades SI ). Simbólicamente, esto se expresa mediante la ecuación diferencial donde C es la capacitancia del capacitor, i = i ( t ) es la corriente eléctrica a través del capacitor en función del tiempo, y v = v ( t ) es el voltaje a través de los terminales del capacitor, también en función del tiempo. $${\displaystyle i=C{dv \over dt},}$$

Tomando la transformada de Laplace de esta ecuación, obtenemos donde y $${\displaystyle I(s)=C(sV(s)-V_{0}),}$$ $${\displaystyle {\begin{aligned}I(s)&={\mathcal {L}}\{i(t)\},\\V(s)&={\mathcal {L}}\{v(t)\},\end{aligned}}}$$ $${\displaystyle V_{0}=v(0).}$$

Resolviendo para V ( s ) tenemos $${\displaystyle V(s)={I(s) \over sC}+{V_{0} \over s}.}$$

La definición de la impedancia compleja Z (en ohmios ) es la relación entre el voltaje complejo V dividido por la corriente compleja I mientras se mantiene el estado inicial V ₀ en cero: $${\displaystyle Z(s)=\left.{V(s) \over I(s)}\right|_{V_{0}=0}.}$$

Utilizando esta definición y la ecuación anterior, encontramos: que es la expresión correcta para la impedancia compleja de un capacitor. Además, la transformada de Laplace tiene grandes aplicaciones en la teoría de control. $${\displaystyle Z(s)={\frac {1}{sC}},}$$

Respuesta al impulso

Consideremos un sistema lineal invariante en el tiempo con función de transferencia $${\displaystyle H(s)={\frac {1}{(s+\alpha )(s+\beta )}}.}$$

La respuesta al impulso es simplemente la transformada de Laplace inversa de esta función de transferencia: $${\displaystyle h(t)={\mathcal {L}}^{-1}\{H(s)\}.}$$

Expansión de fracciones parciales

Para evaluar esta transformada inversa, comenzamos expandiendo H ( s ) utilizando el método de expansión de fracciones parciales, $${\displaystyle {\frac {1}{(s+\alpha )(s+\beta )}}={P \over s+\alpha }+{R \over s+\beta }.}$$

Las constantes desconocidas P y R son los residuos ubicados en los polos correspondientes de la función de transferencia. Cada residuo representa la contribución relativa de esa singularidad a la forma general de la función de transferencia.

Por el teorema de los residuos , la transformada inversa de Laplace depende únicamente de los polos y sus residuos. Para hallar el residuo P , multiplicamos ambos lados de la ecuación por s + α para obtener $${\displaystyle {\frac {1}{s+\beta }}=P+{R(s+\alpha ) \over s+\beta }.}$$

Luego, al dejar s = − α , la contribución de R se desvanece y todo lo que queda es $${\displaystyle P=\left.{1 \over s+\beta }\right|_{s=-\alpha }={1 \over \beta -\alpha }.}$$

De manera similar, el residuo R viene dado por $${\displaystyle R=\left.{1 \over s+\alpha }\right|_{s=-\beta }={1 \over \alpha -\beta }.}$$

Nótese que, por lo tanto, la sustitución de R y P en la expresión expandida para H ( s ) da $${\displaystyle R={-1 \over \beta -\alpha }=-P}$$ $${\displaystyle H(s)=\left({\frac {1}{\beta -\alpha }}\right)\cdot \left({1 \over s+\alpha }-{1 \over s+\beta }\right).}$$

Finalmente, utilizando la propiedad de linealidad y la transformada conocida para el decaimiento exponencial (ver el Artículo # 3 en la Tabla de Transformadas de Laplace , arriba), podemos tomar la transformada de Laplace inversa de H ( s ) para obtener que es la respuesta al impulso del sistema. $${\displaystyle h(t)={\mathcal {L}}^{-1}\{H(s)\}={\frac {1}{\beta -\alpha }}\left(e^{-\alpha t}-e^{-\beta t}\right),}$$

Circunvolución

Se puede lograr el mismo resultado utilizando la propiedad de convolución como si el sistema fuera una serie de filtros con funciones de transferencia 1/( s + α ) y 1/( s + β ) . Es decir, la inversa de es $${\displaystyle H(s)={\frac {1}{(s+\alpha )(s+\beta )}}={\frac {1}{s+\alpha }}\cdot {\frac {1}{s+\beta }}}$$ $${\displaystyle {\mathcal {L}}^{-1}\!\left\{{\frac {1}{s+\alpha }}\right\}*{\mathcal {L}}^{-1}\!\left\{{\frac {1}{s+\beta }}\right\}=e^{-\alpha t}*e^{-\beta t}=\int _{0}^{t}e^{-\alpha x}e^{-\beta (t-x)}\,dx={\frac {e^{-\alpha t}-e^{-\beta t}}{\beta -\alpha }}.}$$

Retardo de fase

Comenzando con la transformada de Laplace, encontramos la inversa reordenando primero los términos en la fracción: $${\displaystyle X(s)={\frac {s\sin(\varphi )+\omega \cos(\varphi )}{s^{2}+\omega ^{2}}}}$$ $${\displaystyle {\begin{aligned}X(s)&={\frac {s\sin(\varphi )}{s^{2}+\omega ^{2}}}+{\frac {\omega \cos(\varphi )}{s^{2}+\omega ^{2}}}\\&=\sin(\varphi )\left({\frac {s}{s^{2}+\omega ^{2}}}\right)+\cos(\varphi )\left({\frac {\omega }{s^{2}+\omega ^{2}}}\right).\end{aligned}}}$$

Ahora podemos realizar la transformada de Laplace inversa de nuestros términos: $${\displaystyle {\begin{aligned}x(t)&=\sin(\varphi ){\mathcal {L}}^{-1}\left\{{\frac {s}{s^{2}+\omega ^{2}}}\right\}+\cos(\varphi ){\mathcal {L}}^{-1}\left\{{\frac {\omega }{s^{2}+\omega ^{2}}}\right\}\\&=\sin(\varphi )\cos(\omega t)+\cos(\varphi )\sin(\omega t).\end{aligned}}}$$

Esto es simplemente el seno de la suma de los argumentos, lo que da como resultado: $${\displaystyle x(t)=\sin(\omega t+\varphi ).}$$

Podemos aplicar una lógica similar para encontrar que $${\displaystyle {\mathcal {L}}^{-1}\left\{{\frac {s\cos \varphi -\omega \sin \varphi }{s^{2}+\omega ^{2}}}\right\}=\cos {(\omega t+\varphi )}.}$$

Mecánica estadística

En mecánica estadística , la transformada de Laplace de la densidad de estados define la función de partición . ^[39] Es decir, la función de partición canónica está dada por y la inversa está dada por ${\displaystyle g(E)}$ ${\displaystyle Z(\beta )}$ $${\displaystyle Z(\beta )=\int _{0}^{\infty }e^{-\beta E}g(E)\,dE}$$ $${\displaystyle g(E)={\frac {1}{2\pi i}}\int _{\beta _{0}-i\infty }^{\beta _{0}+i\infty }e^{\beta E}Z(\beta )\,d\beta }$$

Estructura espacial (no temporal) del espectro astronómico

La amplia y general aplicabilidad de la transformada de Laplace y su inversa se ilustra mediante una aplicación en astronomía que proporciona cierta información sobre la distribución espacial de la materia de una fuente astronómica de radiación térmica de radiofrecuencia demasiado distante para resolverse como algo más que un punto, dado su espectro de densidad de flujo , en lugar de relacionar el dominio del tiempo con el espectro (dominio de la frecuencia).

Suponiendo ciertas propiedades del objeto, por ejemplo, forma esférica y temperatura constante, los cálculos basados ​​en la realización de una transformación de Laplace inversa sobre el espectro del objeto pueden producir el único modelo posible de la distribución de materia en él (densidad en función de la distancia desde el centro) consistente con el espectro. ^[40] Cuando se dispone de información independiente sobre la estructura de un objeto, se ha comprobado que el método de la transformada de Laplace inversa concuerda bien.

Procesos de nacimiento y muerte

Consideremos un paseo aleatorio , con pasos que ocurren con probabilidades . ^[41] Supongamos también que el paso de tiempo es un proceso de Poisson , con parámetro . Entonces la probabilidad de que el paseo esté en el punto reticular en el tiempo es ${\displaystyle \{+1,-1\}}$ ${\displaystyle p,q=1-p}$ ${\displaystyle \lambda }$ ${\displaystyle n}$ ${\displaystyle t}$

${\displaystyle P_{n}(t)=\int _{0}^{t}\lambda e^{-\lambda (t-s)}(pP_{n-1}(s)+qP_{n+1}(s))\,ds\quad (+e^{-\lambda t}\quad {\text{when}}\ n=0).}$

Esto conduce a un sistema de ecuaciones integrales (o equivalentemente, un sistema de ecuaciones diferenciales). Sin embargo, debido a que es un sistema de ecuaciones de convolución, la transformada de Laplace lo convierte en un sistema de ecuaciones lineales para

${\displaystyle \pi _{n}(s)={\mathcal {L}}(P_{n})(s),}$

a saber:

${\displaystyle \pi _{n}(s)={\frac {\lambda }{\lambda +s}}(p\pi _{n-1}(s)+q\pi _{n+1}(s))\quad (+{\frac {1}{\lambda +s}}\quad {\text{when}}\ n=0)}$

que ahora pueden resolverse mediante métodos estándar.

Teoría tauberiana

La transformada de Laplace de la medida en está dada por ${\displaystyle \mu }$ ${\displaystyle [0,\infty )}$

${\displaystyle {\mathcal {L}}\mu (s)=\int _{0}^{\infty }e^{-st}d\mu (t).}$

Es intuitivamente claro que, para valores pequeños , el integrando que decae exponencialmente se volverá más sensible a la concentración de la medida en subconjuntos más grandes del dominio. Para que esto sea más preciso, introduzcamos la función de distribución: ${\displaystyle s>0}$ ${\displaystyle \mu }$

${\displaystyle M(t)=\mu ([0,t)).}$

Formalmente, esperamos un límite del siguiente tipo:

${\displaystyle \lim _{s\to 0^{+}}{\mathcal {L}}\mu (s)=\lim _{t\to \infty }M(t).}$

Los teoremas de Tauber son teoremas que relacionan las asintóticas de la transformada de Laplace, como , con las de la distribución de como . Por lo tanto, son importantes en las fórmulas asintóticas de probabilidad y estadística , donde a menudo el lado espectral tiene asintóticas que son más simples de inferir. ^[42] ${\displaystyle s\to 0^{+}}$ ${\displaystyle \mu }$ ${\displaystyle t\to \infty }$

Dos teoremas tauberianos importantes son el teorema tauberio de Hardy-Littlewood y el teorema tauberio de Wiener . El teorema de Wiener generaliza el teorema tauberio de Ikehara , que es el siguiente enunciado:

Sea A ( x ) una función no negativa, monótona y no decreciente de x , definida para 0 ≤  x  < ∞. Supongamos que

${\displaystyle f(s)=\int _{0}^{\infty }A(x)e^{-xs}\,dx}$

converge para ℜ( s ) > 1 a la función ƒ ( s ) y que, para algún número no negativo c ,

${\displaystyle f(s)-{\frac {c}{s-1}}}$

tiene una extensión como función continua para ℜ( s ) ≥ 1. Entonces el límite cuando x tiende a infinito de e ^{− x}  A ( x ) es igual a c.

Esta afirmación se puede aplicar en particular a la derivada logarítmica de la función zeta de Riemann y, por tanto, proporciona una forma extremadamente corta de demostrar el teorema de los números primos . ^[43]

Véase también

• Portal de matemáticas

• Procesamiento de señales analógicas
• Teorema de Bernstein sobre funciones monótonas
• Hipoteca de amortización continua
• Problema del momento de la hamburguesa
• Teorema de Tauber de Hardy-Littlewood
• Transformada de Laplace-Carson
• Función generadora de momentos
• Operador no local
• Fórmula de inversión de Post
• Gráfico de flujo de señales
• Función de transferencia

Notas

1. Lynn, Paul A. (1986). "La transformada de Laplace y la transformada z ". Electronic Signals and Systems . Londres: Macmillan Education UK. págs. 225–272. doi :10.1007/978-1-349-18461-3_6. ISBN 978-0-333-39164-8La transformada de Laplace y la transformada z están estrechamente relacionadas con la transformada de Fourier. La transformada de Laplace tiene un alcance algo más general que la transformada de Fourier y los ingenieros la utilizan ampliamente para describir circuitos y sistemas continuos, incluidos los sistemas de control automático.
2. "Ecuaciones diferenciales: transformadas de Laplace". Notas de matemáticas en línea de Pauls . Consultado el 8 de agosto de 2020 .
3. Weisstein, Eric W. "Transformada de Laplace". Wolfram MathWorld . Consultado el 8 de agosto de 2020 .
4. "Des Fonctions génératrices" [Sobre funciones generadoras], Théorie analytique des Probabilités [ Teoría analítica de la probabilidad ] (en francés) (2ª ed.), París, 1814, cap.I secc.2-20
5. Jaynes, ET (Edwin T.) (2003). Teoría de la probabilidad: la lógica de la ciencia . Bretthorst, G. Larry. Cambridge, Reino Unido: Cambridge University Press. ISBN 0511065892.OCLC 57254076  .
6. Abel, Niels H. (1820), "Sur les fonctions génératrices et leurs déterminantes", Œuvres Complètes (en francés), vol. II (publicado en 1839), págs. 77–88Edición de 1881
7. Euler 1744, Euler 1753, Euler 1769
8. Lagrange 1773
9. Grattan-Guinness 1997, pág. 260
10. Grattan-Guinness 1997, pág. 261
11. Grattan-Guinness 1997, págs. 261-262
12. Grattan-Guinness 1997, págs. 262-266
13. Heaviside, Oliver (enero de 2008), "La solución de integrales definidas por transformación diferencial", Electromagnetic Theory , vol. III, Londres, sección 526, ISBN 9781605206189{{citation}}: CS1 maint: location missing publisher (link)
14. Gardner, Murray F.; Barnes, John L. (1942), Transitorios en sistemas lineales estudiados por la transformada de Laplace , Nueva York: WileyApéndice C
15. Lerch, Mathias (1903), "Sur un point de la théorie des fonctions génératrices d'Abel" [Prueba de la fórmula de inversión], Acta Mathematica (en francés), 27 : 339–351, doi : 10.1007/BF02421315 , hdl : 10338.dmlcz/501554
16. Bromwich, Thomas J. (1916), "Coordenadas normales en sistemas dinámicos", Actas de la Sociedad Matemática de Londres , 15 : 401–448, doi :10.1112/plms/s2-15.1.401
17. Un libro influyente fue: Gardner, Murray F.; Barnes, John L. (1942), Transitorios en sistemas lineales estudiados por la transformada de Laplace , Nueva York: Wiley
18. Doetsch, Gustav (1937), Theorie und Anwendung der Laplacesche Transformation [ Teoría y aplicación de la transformada de Laplace ] (en alemán), Berlín: Springertraducción 1943
19. Feller 1971, § XIII.1.
20. La función de distribución acumulativa es la integral de la función de densidad de probabilidad.
21. Mikusiński, Jan (14 de julio de 2014). Cálculo operacional. Elsevier. ISBN 9781483278933.
22. Widder 1941, Capítulo II, §1
23. Widder 1941, Capítulo VI, §2
24. Korn y Korn 1967, págs. 226-227
25. Bracewell 2000, Tabla 14.1, pág. 385
26. Archivado en Ghostarchive y Wayback Machine: Mattuck, Arthur. "De dónde proviene la transformada de Laplace". YouTube .
27. Feller 1971, pág. 432
28. Laurent Schwartz (1966). Matemáticas para las ciencias físicas . Addison-Wesley., pág. 224.
29. Titchmarsh, E. (1986) [1948], Introducción a la teoría de las integrales de Fourier (2.ª ed.), Clarendon Press , pág. 6, ISBN 978-0-8284-0324-5
30. Takacs 1953, pág. 93
31. Riley, KF; Hobson, MP; Bence, SJ (2010), Métodos matemáticos para física e ingeniería (3.ª ed.), Cambridge University Press, pág. 455, ISBN 978-0-521-86153-3
32. Distefano, JJ; Stubberud, AR; Williams, IJ (1995), Sistemas de retroalimentación y control , Esquemas de Schaum (2.ª ed.), McGraw-Hill, pág. 78, ISBN 978-0-07-017052-0
33. Lipschutz, S.; Spiegel, MR; Liu, J. (2009). Manual matemático de fórmulas y tablas . Serie de esquemas de Schaum (3.ª ed.). McGraw-Hill. pág. 183. ISBN. 978-0-07-154855-7.– proporciona el caso para q real .
34. http://mathworld.wolfram.com/LaplaceTransform.html – Wolfram Mathword proporciona un caso para ecuaciones q complejas
35. Bracewell 1978, pág. 227.
36. Williams 1973, pág. 88.
37. Williams 1973, pág. 89.
38. Korn y Korn 1967, §8.1
39. RK Pathria; Paul Beal (1996). Mecánica estadística (2.ª ed.). Butterworth-Heinemann. pág. 56. ISBN 9780750624695.
40. Salem, M.; Seaton, MJ (1974), "I. Espectros continuos y contornos de brillo", Monthly Notices of the Royal Astronomical Society , 167 : 493–510, Bibcode :1974MNRAS.167..493S, doi : 10.1093/mnras/167.3.493, y Salem, M. (1974), "II. Modelos tridimensionales", Monthly Notices of the Royal Astronomical Society , 167 : 511–516, Bibcode :1974MNRAS.167..511S, doi : 10.1093/mnras/167.3.511
    
41. Feller. Introducción a la teoría de la probabilidad, volumen II, pp=479-483 .
42. Feller. Introducción a la teoría de la probabilidad, volumen II, pp=479-483 .
43. S. Ikehara (1931), "Una extensión del teorema de Landau en la teoría analítica de números", Journal of Mathematics and Physics del Massachusetts Institute of Technology , 10 (1–4): 1–12, doi :10.1002/sapm19311011, Zbl  0001.12902

Referencias

Moderno

• Bracewell, Ronald N. (1978), La transformada de Fourier y sus aplicaciones (2.ª ed.), McGraw-Hill Kogakusha, ISBN 978-0-07-007013-4
• Bracewell, RN (2000), La transformada de Fourier y sus aplicaciones (3.ª ed.), Boston: McGraw-Hill, ISBN 978-0-07-116043-8
• Feller, William (1971), Introducción a la teoría de la probabilidad y sus aplicaciones. Vol. II. , Segunda edición, Nueva York: John Wiley & Sons , MR  0270403
• Korn, GA; Korn, TM (1967), Manual matemático para científicos e ingenieros (2.ª ed.), McGraw-Hill Companies, ISBN 978-0-07-035370-1
• Widder, David Vernon (1941), La transformada de Laplace , Princeton Mathematical Series, v. 6, Princeton University Press , MR  0005923
• Williams, J. (1973), Transformadas de Laplace , Solucionadores de problemas, George Allen & Unwin, ISBN 978-0-04-512021-5
• Takacs, J. (1953), "Fourier amplitudok meghatarozasa operatorzamitassal", Magyar Hiradastechnika (en húngaro), IV (7–8): 93–96

Histórico

• Euler, L. (1744), "De Constructione aequationum" [La construcción de ecuaciones], Opera Omnia , primera serie (en latín), 22 : 150-161
• Euler, L. (1753), "Methodus aequationes diferenciales" [Un método para resolver ecuaciones diferenciales], Opera Omnia , primera serie (en latín), 22 : 181–213
• Euler, L. (1992) [1769], "Institutiones calculi integralis, Volumen 2" [Instituciones de cálculo integral], Opera Omnia , primera serie (en latín), 12 , Basilea: Birkhäuser, ISBN 978-3764314743Capítulos 3–5
• Euler, Leonhard (1769), Institutiones calculi integralis [ Instituciones de cálculo integral ] (en latín), vol. II, París: Petrópolis, cap. 3–5, págs. 57–153
• Grattan-Guinness, I (1997), "Soluciones integrales de Laplace para ecuaciones diferenciales parciales", en Gillispie, CC (ed.), Pierre Simon Laplace 1749–1827: Una vida en la ciencia exacta , Princeton: Princeton University Press, ISBN 978-0-828-0-312-0 978-0-691-01185-1
• Lagrange, JL (1773), Mémoire sur l'utilité de la méthode , Obras de Lagrange, vol. 2, págs. 171-234

Lectura adicional

• Arendt, Wolfgang; Batty, Charles JK; Hieber, Matías; Neubrander, Frank (2002), Transformadas de Laplace con valores vectoriales y problemas de Cauchy , Birkhäuser Basel, ISBN 978-3-7643-6549-3.
• Davies, Brian (2002), Transformadas integrales y sus aplicaciones (tercera edición), Nueva York: Springer, ISBN 978-0-387-95314-4
• Deakin, MAB (1981), "El desarrollo de la transformada de Laplace", Archivo de Historia de las Ciencias Exactas , 25 (4): 343–390, doi :10.1007/BF01395660, S2CID  117913073
• Deakin, MAB (1982), "El desarrollo de la transformada de Laplace", Archivo de Historia de las Ciencias Exactas , 26 (4): 351–381, doi :10.1007/BF00418754, S2CID  123071842
• Doetsch, Gustav (1974), Introducción a la teoría y aplicación de la transformación de Laplace , Springer, ISBN 978-0-387-06407-9
• Mathews, Jon; Walker, Robert L. (1970), Métodos matemáticos de la física (2.ª ed.), Nueva York: WA Benjamin, ISBN 0-8053-7002-1 
• Polyanin, AD; Manzhirov, AV (1998), Manual de ecuaciones integrales , Boca Raton: CRC Press, ISBN 978-0-8493-2876-3
• Schwartz, Laurent (1952), "Transformación de Laplace des Distributions", Comm. Sém. Matemáticas. Univ. Lund [Med. Universidad de Lund. Estera. Sem.] (en francés), 1952 : 196–206, SEÑOR  0052555
• Schwartz, Laurent (2008) [1966], Matemáticas para las ciencias físicas, Dover Books on Mathematics, Nueva York: Dover Publications, págs. 215–241, ISBN 978-0-486-46662-0- Véase el Capítulo VI. La transformada de Laplace.
• Siebert, William McC. (1986), Circuitos, señales y sistemas , Cambridge, Massachusetts: MIT Press, ISBN 978-0-262-19229-3
• Widder, David Vernon (1945), "¿Qué es la transformada de Laplace?", The American Mathematical Monthly , 52 (8): 419–425, doi :10.2307/2305640, ISSN  0002-9890, JSTOR  2305640, MR  0013447
• JACWeidman y Bengt Fornberg: "Métodos de transformada de Laplace totalmente numéricos", Numerical Algorithms, vol. 92 (2023), págs. 985–1006. https://doi.org/10.1007/s11075-022-01368-x .

Enlaces externos

• "Transformada de Laplace", Enciclopedia de Matemáticas , EMS Press , 2001 [1994]
• Cálculo en línea de la transformada o transformada inversa, wims.unice.fr
• Tablas de transformadas integrales en EqWorld: El mundo de las ecuaciones matemáticas.
• Weisstein, Eric W. "Transformada de Laplace". MathWorld .
• Buenas explicaciones de los teoremas del valor inicial y final Archivado el 8 de enero de 2009 en Wayback Machine.
• Transformadas de Laplace en MathPages
• El motor de conocimiento computacional permite calcular fácilmente las transformadas de Laplace y su transformada inversa.
• Calculadora de Laplace para calcular transformadas de Laplace en línea fácilmente.
• Código para visualizar transformadas de Laplace y muchos vídeos de ejemplo.