stringtranslate.com

Transformada de Laplace

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 ).

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 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.

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]

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]

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

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 .

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

   ( Ecuación 1 )

donde s es un parámetro complejo del dominio de la frecuencia con números reales σ y ω .

Una notación alternativa para la transformada de Laplace esen 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.

Se puede definir la transformada de Laplace de una medida de Borel finita μ mediante la integral de Lebesgue [19]

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

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í parece 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:

   ( Ecuación 2 )

Una notación alternativa para la transformada de Laplace bilateral es , en lugar de 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 ):

   ( 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 .

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]

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.

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.

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 0 , entonces converge automáticamente para todos los s con Re( s ) > Re( s 0 ) . 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 0 ) , la transformada de Laplace de f se puede expresar integrando por partes como la integral

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: ya sea el operador de derivada o (para s −1 ) el operador de integración .

Dadas las funciones f ( t ) y g ( t ) , y sus respectivas transformadas de Laplace F ( s ) y G ( s ) ,

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

Teorema del valor inicial
Teorema del valor final
, si todos los polos de están en el semiplano izquierdo.
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.

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 ) .

Cambiando la base de la potencia de x a e se obtiene

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:

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

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

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 para una transformada de Laplace, como sigue: obteniendo y en el caso bilateral,

El resultado general donde denota la derivada n- ésima de f , puede entonces establecerse con un argumento inductivo.

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:

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.

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,

Relación con otras transformaciones

Transformada de Laplace-Stieltjes

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

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

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

que es la transformada de Fourier de la función . [28]

De hecho, la transformada de Fourier es un caso especial (bajo ciertas condiciones) de la transformada de Laplace bilateral. 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 = [29] [30] cuando se cumple la condición explicada a continuación,

Esta convención de la transformada de Fourier ( en Transformada de Fourier § Otras convenciones ) requiere un factor de 1/ 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( ω 0 t ) tiene una transformada de Laplace F ( s ) = s /( s 2 + ω 0 2 ) cuya ROC es Re( s ) > 0 . Como s = 0 es un polo de F ( s ) , sustituir s = 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 δ ( ω ± ω 0 ) .

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 .

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.

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 ).

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 .

La transformada de Laplace de la señal muestreada x q ( t ) es

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

con la sustitución de ze 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,

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.

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,

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
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)

De donde se obtiene:

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

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.

Tomando la transformada de Laplace de esta ecuación, obtenemos donde y

Resolviendo para V ( s ) tenemos

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 0 en cero:

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.

Respuesta al impulso

Considere un sistema lineal invariante en el tiempo con función de transferencia

La respuesta al impulso es simplemente la transformada de Laplace inversa de esta función de transferencia:

Expansión de fracciones parciales

Para evaluar esta transformada inversa, comenzamos expandiendo H ( s ) utilizando el método de expansión de fracciones parciales,

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

Luego, al dejar s = − α , la contribución de R se desvanece y todo lo que queda es

De manera similar, el residuo R viene dado por

Nótese que, por lo tanto, la sustitución de R y P en la expresión expandida para H ( s ) da

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.

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

Retardo de fase

Comenzando con la transformada de Laplace, encontramos la inversa reordenando primero los términos en la fracción:

Ahora podemos realizar la transformada de Laplace inversa de nuestros términos:

Esto es simplemente el seno de la suma de los argumentos, lo que da como resultado:

Podemos aplicar una lógica similar para encontrar que

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

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 de la red en el tiempo es

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

a saber:

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

Teoría tauberiana

La transformada de Laplace de la medida en está dada por

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:

Formalmente, esperamos un límite del siguiente tipo:

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]

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

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

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

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. ^ de 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 (January 2008), "The solution of definite integrals by differential transformation", Electromagnetic Theory, vol. III, London, section 526, ISBN 9781605206189{{citation}}: CS1 maint: location missing publisher (link)
  14. ^ Gardner, Murray F.; Barnes, John L. (1942), Transients in Linear Systems studied by the Laplace Transform, New York: Wiley, Appendix C
  15. ^ Lerch, Mathias (1903), "Sur un point de la théorie des fonctions génératrices d'Abel" [Proof of the inversion formula], Acta Mathematica (in French), 27: 339–351, doi:10.1007/BF02421315, hdl:10338.dmlcz/501554
  16. ^ Bromwich, Thomas J. (1916), "Normal coordinates in dynamical systems", Proceedings of the London Mathematical Society, 15: 401–448, doi:10.1112/plms/s2-15.1.401
  17. ^ An influential book was: Gardner, Murray F.; Barnes, John L. (1942), Transients in Linear Systems studied by the Laplace Transform, New York: Wiley
  18. ^ Doetsch, Gustav (1937), Theorie und Anwendung der Laplacesche Transformation [Theory and Application of the Laplace Transform] (in German), Berlin: Springer translation 1943
  19. ^ Feller 1971, §XIII.1.
  20. ^ The cumulative distribution function is the integral of the probability density function.
  21. ^ Mikusiński, Jan (14 July 2014). Operational Calculus. Elsevier. ISBN 9781483278933.
  22. ^ Widder 1941, Chapter II, §1
  23. ^ Widder 1941, Chapter VI, §2
  24. ^ Korn & Korn 1967, pp. 226–227
  25. ^ Bracewell 2000, Table 14.1, p. 385
  26. ^ Archived at Ghostarchive and the Wayback Machine: Mattuck, Arthur. "Where the Laplace Transform comes from". YouTube.
  27. ^ Feller 1971, p. 432
  28. ^ Laurent Schwartz (1966). Mathematics for the physical sciences. Addison-Wesley., p 224.
  29. ^ Titchmarsh, E. (1986) [1948], Introduction to the theory of Fourier integrals (2nd ed.), Clarendon Press, p. 6, ISBN 978-0-8284-0324-5
  30. ^ Takacs 1953, p. 93
  31. ^ Riley, K. F.; Hobson, M. P.; Bence, S. J. (2010), Mathematical methods for physics and engineering (3rd ed.), Cambridge University Press, p. 455, ISBN 978-0-521-86153-3
  32. ^ Distefano, J. J.; Stubberud, A. R.; Williams, I. J. (1995), Feedback systems and control, Schaum's outlines (2nd ed.), McGraw-Hill, p. 78, ISBN 978-0-07-017052-0
  33. ^ Lipschutz, S.; Spiegel, M. R.; Liu, J. (2009). Mathematical Handbook of Formulas and Tables. Schaum's Outline Series (3rd ed.). McGraw-Hill. p. 183. ISBN 978-0-07-154855-7. – provides the case for real q.
  34. ^ http://mathworld.wolfram.com/LaplaceTransform.html – Wolfram Mathword provides case for complex q
  35. ^ a b c d Bracewell 1978, p. 227.
  36. ^ a b c Williams 1973, p. 88.
  37. ^ a b Williams 1973, p. 89.
  38. ^ Korn & Korn 1967, §8.1
  39. ^ RK Pathria; Paul Beal (1996). Statistical mechanics (2nd ed.). Butterworth-Heinemann. p. 56. ISBN 9780750624695.
  40. ^ Salem, M.; Seaton, M. J. (1974), "I. Continuum spectra and brightness contours", Monthly Notices of the Royal Astronomical Society, 167: 493–510, Bibcode:1974MNRAS.167..493S, doi:10.1093/mnras/167.3.493, and
    Salem, M. (1974), "II. Three-dimensional models", Monthly Notices of the Royal Astronomical Society, 167: 511–516, Bibcode:1974MNRAS.167..511S, doi:10.1093/mnras/167.3.511
  41. ^ Feller. Introduction to Probability Theory, volume II,pp=479-483.
  42. ^ Feller. Introduction to Probability Theory, volume II,pp=479-483.
  43. ^ S. Ikehara (1931), "An extension of Landau's theorem in the analytic theory of numbers", Journal of Mathematics and Physics of the Massachusetts Institute of Technology, 10 (1–4): 1–12, doi:10.1002/sapm19311011, Zbl 0001.12902

References

Modern

Historical

Further reading

Enlaces externos