13.7: Funciones del sistema y la transformación de Laplace
- Page ID
- 109792
\( \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}\)Cuando introdujimos el criterio Nyquist para la estabilidad, declaramos sin justificación alguna que el sistema era estable si todos los polos de la función del sistema\(G(s)\) estaban en el semiplano izquierdo. También afirmamos que los polos correspondían a modos exponenciales del sistema. En esta sección utilizaremos la transformación de Laplace para desarrollar más plenamente estas ideas para ecuaciones diferenciales.
Revisión de relámpago de 18.03
- \(D = \dfrac{d}{dt}\)se llama operador diferencial. Aplicado a una función que\(f(t)\)
\[Df = \dfrac{df}{dt}.\]
tenemos Leemos\(Df\) como '\(D\)aplicado a'\(f\).Si\(f(t) = t^3 + 2\) entonces\(Df = 3t^2, D^2f = 6t\).
- Si\(P(s)\) es un polinomio entonces\(P(D)\) se llama operador diferencial polinómico.
Supongamos\(P(s) = s^2 + 8s + 7\). ¿Qué es\(P(D)\)? Computación\(P(D)\) aplicada a\(f(t) = t^3 + 2t + 5\). Computación\(P(D)\) aplicada a\(g(t) = e^{2t}\).
Solución
\(P(D) = D^2 + 8D + 7I\). (El\(I\) in\(7I\) es el operador de identidad.) Para calcular\(P(D) f\) calculamos todos los términos y los sumamos:
\[\begin{array} {rcl} {f(t)} & = & {t^3 + 2t + 5} \\ {Df(t)} & = & {3t^2 + 2} \\ {D^2 f(t)} & = & {6t} \end{array}\]
Por lo tanto:\((D^2 + 8D + 7I) f = 6t + 8(3t^2 + 2) + 7(t^3 + 2t + 5) = 7t^3 + 24t^2 + 20t + 51.\)
\[\begin{array} {rcl} {g(t)} & = & {e^{2t}} \\ {Dg(t)} & = & {2e^{2t}} \\ {D^2 g(t)} & = & {4e^{2t}} \end{array}\]
Por lo tanto:\((D^2 + 8D + 7I) g = 4e^{2t} + 8(2) e^{2t} + 7e^{2t} = (4 + 16 + 7) e^{2t} = P(2) e^{2t}\).
La regla de sustitución es una declaración directa sobre las derivadas de exponenciales.
Para un operador diferencial polinomial\(P(D)\) tenemos
\[P(D) e^{st} = P(s) e^{st}.\]
- Prueba
-
Esto es obvio. Nosotros 'lo demostramos' con el ejemplo. Vamos\(P(D) = D^2 + 8D + 7I\). Entonces
\[P(D) e^{at} = a^2 e^{at} + 8ae^{at} + 7e^{at} = (a^2 + 8a + 7) e^{at} = P(a) e^{at}.\]
Sigamos trabajando a partir de este ejemplo específico. A partir de ella podremos recordarle el enfoque general para resolver ecuaciones diferenciales de coeficientes constantes.
Supongamos\(P(s) = s^2 + 8s + 7\). Encuentra los modos exponenciales de la ecuación\(P(D) y = 0\).
Solución
Los modos exponenciales son soluciones de la forma\(y(t) = e^{s_0 t}\). Uso de la regla de substititución
\[P(D) e^{s_0 t} = 0 \Leftrightarrow P(s_0) = 0.\]
Es decir,\(y (t) = e^{s_0 t}\) es un modo exactamente cuando\(s_0\) es una raíz de\(P(s)\). Las raíces de\(P(s)\) son -1, -7. Entonces las soluciones modales son
\[y_1(t) = e^{-t} \ \ \text{and} \ \ y_2 (t) = e^{-7t}.\]
Rehacer el ejemplo anterior usando la transformada de Laplace.
Solución
Para ello resolvemos la ecuación diferencial con condiciones iniciales arbitrarias:
\[P(D) y = y'' + 8y' + 7y = 0; \ \ y(0) = c_1, y'(0) = c_2.\]
Vamos\(Y(s) = \mathcal{L} (y; s)\). Aplicando la transformada de Laplace a la ecuación que obtenemos
\[(s^2 Y(s) - sy(0) - y'(0)) + 8(sY(s) - y(0)) + 7Y(s) = 0\]
Álgebra:
\[(s^2 + 8s + 7) Y(s) - sc_1 - c_2 - 8c_1 = 0 \Leftrightarrow Y = \dfrac{sc_1 + 8c_1 + c_2}{s^2 + 8s + 7}\]
Factorizando el denominador y usando fracciones parciales, obtenemos
\[Y(s) = \dfrac{sc_1 + 8c_1 + c_2}{s^2 + 8s + 7} = \dfrac{sc_1 + 8c_1 + c_2}{(s + 1) (s + 7)} = \dfrac{A}{s + 1} + \dfrac{B}{s + 7}.\]
No nos preocupan los valores exactos de\(A\) y\(B\). Tomando el inverso de Laplace obtenemos
\[y(t) = Ae^{-t} + Be^{-7t}.\]
Es decir,\(y(t)\) es una combinación lineal de los modos exponenciales.
Debe notar que el denominador en la expresión for no\(Y(s)\) es otro que el polinomio característico\(P(s)\).
función del sistema
Con lo\(P(s)\) mismo que en el Ejemplo 13.7.2 resolver el DE no homogéneo con condiciones iniciales de reposo:\(P(D) y = f(t)\),\(y(0) = 0\),\(y'(0) = 0\).
Solución
Tomando la transformación de Laplace de la ecuación que obtenemos
\[P(s) Y(s) = F(s).\]
Por lo tanto
\[Y(s) = \dfrac{1}{P(s)} F(s)\]
No podemos encontrar\(y(t)\) explícitamente porque\(f(t)\) no se especifica.
Pero, podemos hacer las siguientes definiciones y observaciones. Vamos\(G(s) = 1/P(s)\). Si declaramos\(f\) ser la entrada y\(y\) la salida de este sistema lineal invariante de tiempo, entonces\(G(s)\) se llama la función del sistema. Entonces, tenemos
\[Y(s) = G(s) \cdot F(s).\]
La fórmula\(Y = G \cdot F\) puede formularse como
output =\(\times\) entrada de función del sistema.
Obsérvese bien, las raíces de\(P(s)\) corresponden a los modos exponenciales del sistema, es decir, los polos de\(G(s)\) corresponden a los modos exponenciales.
El sistema se llama estable si todos los modos decaen a 0 como\(t\) va al infinito. Es decir, si todos los polos tienen parte real negativa.
Este ejemplo es para enfatizar que no todas las funciones del sistema son de la forma\(1/P(s)\). Considerar el sistema modelado por la ecuación diferencial
\[P(D)x = Q(D) f,\]
donde\(P\) y\(Q\) son polinomios. Supongamos\(f\) que consideramos que es la entrada y\(x\) que es la salida. Encuentra la función del sistema.
Solución
Si comenzamos con las condiciones iniciales de descanso para\(x\) y\(f\) luego la transformación de Laplace da\(P(s) X(s) = Q(s) F(s)\) o
\[X(s) = \dfrac{Q(s)}{P(s)} \cdot F(s)\]
Uso de la formulación
output =\(\times\) entrada de función del sistema.
vemos que la función del sistema es
\[G(s) = \dfrac{Q(s)}{P(s)}.\]
Tenga en cuenta que cuando\(f(t) = 0\) se convierte la ecuación diferencial\(P(D) x = 0\). Si hacemos la suposición de que el\(Q(s)/P(s)\) está en forma reducida, es decir,\(P\) y no\(Q\) tenemos ceros comunes, entonces los modos del sistema (que corresponden a las raíces de\(P(s)\)) siguen siendo los polos de la función del sistema.
Todos los sistemas LTI tienen funciones del sistema. Ni siquiera son todos de la forma\(Q(s)/P(s)\). Pero, en el\(s\) dominio -, la salida es siempre la función del sistema multiplicada por la entrada. Si la función del sistema no es racional entonces puede tener un número infinito de polos. La estabilidad es más difícil de caracterizar, pero bajo algunos supuestos razonables el sistema será estable si todos los polos están en el semiplano izquierdo.
La función del sistema también se llama función de transferencia. Se puede pensar en ello como una descripción de cómo el sistema transfiere la entrada a la salida.