5.2: La transformación de Laplace
- Page ID
- 113025
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)
( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\id}{\mathrm{id}}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\kernel}{\mathrm{null}\,}\)
\( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\)
\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\)
\( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)
\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)
\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)
\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vectorC}[1]{\textbf{#1}} \)
\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)
\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)
\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)A Laplace Transform se le suele atribuir problemas dinámicos a problemas estáticos. Recordemos que la Transformación de Laplace de la función\(h\) es
\[\mathscr{L} (h(s)) \equiv \int_{0}^{\infty} e^{-(st)} h(t) dt \nonumber\]
MATLAB es muy hábil en tales cosas. Por ejemplo:
La transformación de Laplace en MATLAB
>> syms t >> laplace(exp(t)) ans = 1/(s-1) >> laplace(t*(exp(-t)) ans = 1/(s+1)^2
La Transformación de Laplace de una matriz de funciones es simplemente la matriz de las transformaciones de Laplace de los elementos individuales.
\[\mathscr{L} (\begin{pmatrix} {e^{t}}\\ {te^{-t}} \end{pmatrix}) = \begin{pmatrix} {\frac{1}{s-1}}\\ {\frac{1}{(s+1)^2}} \end{pmatrix} \nonumber\]
Ahora, al prepararnos para aplicar la transformación de Laplace a nuestra ecuación desde el módulo dinámico del cuarteto strang:
\[\textbf{x}' = B \textbf{x}+\textbf{g}\]
lo escribimos como
\[\mathscr{L} (\frac{dx}{dt}) = \mathscr{L}(B \textbf{x}+\textbf{g})\]
y así debe determinar cómo\(\mathscr{L}\) actúa sobre derivados y sumas. Con respecto a esta última se desprende directamente de la definición que
\[ \begin{align*} \mathscr{L}(B \textbf{x}+\textbf{g}) &= \mathscr{L}(B \textbf{x})+\mathscr{L}(\textbf{g}) \\[4pt] &= B \mathscr{L}(\textbf{x})+\mathscr{L}(\textbf{g}) \end{align*}\]
En cuanto a su efecto sobre la derivada encontramos, al integrar por partes, que
\[\begin{align} \mathscr{L} \left(\frac{d \textbf{x}}{dt}\right) &= \int_{0}^{\infty} e^{-(st)} \frac{d \textbf{x}(t)}{dt} dt \\[4pt] &= \textbf{x}(t) \left. e^{-(st)} \right|_{0}^{\infty}+s\int_{0}^{\infty} e^{-(st)} \textbf{x}(t) dt \end{align}\]
Suponiendo que\(x\) y\(s\) sean tales que a\(x(t) e^{-(st)} \rightarrow 0\) medida que\(t \rightarrow \infty\) lleguemos a
\[\mathscr{L} (\frac{d \textbf{x}}{dt}) = s\mathscr{L} (\textbf{x})-x(0) \nonumber\]
Ahora, al sustituir la Ecuación 2 y la Ecuación 3 en la Ecuación 1 encontramos
\[s \mathscr{L} (\textbf{x})- \textbf{x}(0) = B \mathscr{L}(\textbf{x})+\mathscr{L}(\textbf{g}) \nonumber\]
que se reconoce fácilmente como un sistema lineal para\(\mathscr{L}(\textbf{x})\)
\[(\textbf{s}I-B) \mathscr{L}(\textbf{x}) = \mathscr{L}(\textbf{g})+x(0) \nonumber\]
Lo único que distingue a este sistema de los encontrados desde nuestro primer roce con estos sistemas es la presencia de la variable compleja\(s\). Esto complica los pasos mecánicos de la Eliminación Gaussiana o el Método Gauss-Jordan pero los métodos efectivamente se aplican sin cambios. Retomando este último método, escribimos
\[\mathscr{L}(\textbf{x}) = (sI-B)^{-1} (\mathscr{L}(\textbf{g})+x(0)) \nonumber\]
La matriz\((sI-B)^{-1}\) se llama típicamente la función de transferencia o resolvent, asociada con\(B\), en\(s\). Pasamos a MATLAB para su cálculo simbólico. (para más información, consulte el tutorial sobre la caja de herramientas simbólica de MATLAB). Por ejemplo,
>> B = [2 -1; -1 2] >> R = inv(s*eye(2)-B) R = [ (s-2)/(s*s-4*s+3), -1/(s*s-4*s+3)] [ -1/(s*s-4*s+3), (s-2)/(s*s-4*s+3)]
Observamos que\((sI-B)^{-1}\) bien definido excepto en las raíces de la cuadrática,\(s^{2}-4s+3\) determinante de\((sI-B)\) y a menudo se conoce como el polinomio característico de\(B\). Sus raíces se llaman los valores propios de\(B\).
Tomemos la\(B\) matriz del módulo dinámico del cuarteto Strang con las opciones de parámetros especificadas en fib3.m, a saber
\[B = \begin{pmatrix} {-0.135}&{0.125}&{0}\\ {0.5}&{-1.01}&{0.5}\\ {0}&{0.5}&{-0.51} \end{pmatrix} \nonumber\]
El asociado\((sI-B)^{-1}\) es un poco voluminoso (por favor ejecute fig3.m) así que mostramos aquí solo el denominador de cada término, es decir,
\[s^3+1.655s^2+0.4078s+0.0039 \nonumber\]
Asumiendo un estímulo actual de la forma\(i_{0}(t) = \frac{t^{3}e^{-\frac{t}{6}}}{10000}\) y\(E_{m} = 0\) trae
\[\mathscr{L}(\textbf{g})(s) = \begin{pmatrix} {\frac{0.191}{(s+\frac{1}{6})^{4}}}\\ {0}\\ {0}\\ {0} \end{pmatrix} \nonumber\]
y así la ecuación persiste en
\[\begin{align*} \mathscr{L}(\textbf{x}) &= (sI-B)^{-1} \mathscr{L}(\textbf{g}) \\[4pt] &= \frac{0.191}{(s+\frac{1}{6})^{4}(s^3+1.655s^2+0.4078s+0.0039)} \begin{pmatrix} {s^2+1.5s+0.27}\\ {0.5s+0.26}\\ {0.2497} \end{pmatrix} \end{align*}\]
Ahora viene el roce. Una simple resolución lineal (o inversión) nos ha dejado con la transformación de Laplace de\(\textbf{x}\). El maldito Teorema del Almuerzo No Libre
Habrá que hacer algún trabajo para recuperarnos\(\textbf{x}\) de\(\mathscr{L}(\textbf{x})\) las confrontaciones. Lo enfrentaremos en el módulo Inverse Laplace.