Por qué un estado suele necesitar más de un número

En el capítulo 2 definimos el estado de un sistema como la información que, dentro de un modelo, debe especificarse en un instante para determinar su evolución posterior. Hasta ahora usamos con frecuencia ejemplos de una sola variable, aunque la mayoría de los sistemas que estudiaremos requieren varias cantidades simultáneas. La dificultad va más allá de escribirlas una al lado de otra. Hay que decidir cuáles forman realmente el estado, cuáles son parámetros, cuáles son observaciones derivadas y qué relaciones restringen las combinaciones posibles.

Consideremos un oscilador mecánico simple. Saber que una masa está en la posición q=0q = 0 no basta para anticipar su movimiento, porque puede estar cruzando el origen hacia la derecha, cruzándolo hacia la izquierda o en reposo si el modelo lo admite. Para especificar el estado mecánico se necesitan, en la representación elemental, la posición y la velocidad. Ambas pueden reunirse en un objeto de dos componentes, x=(q,v)x = (q, v).

La notación parece modesta, aunque introduce una idea decisiva. El estado deja de ser un número y pasa a ser un punto en un espacio de estados posibles. La evolución se convierte en una trayectoria en ese espacio. La teoría de los sistemas dinámicos usa esta representación de manera sistemática. Los valores que describen el estado se tratan como coordenadas de un punto y la regla de evolución indica cómo se desplaza ese punto con el tiempo (Hirsch, Smale y Devaney, 2013). Esta formulación permite separar el estado físico o conceptual de las coordenadas con que se lo describe.

El capítulo hace explícita esa separación. Un vector de estado es una representación. El espacio de estados es el conjunto de estados que admite el modelo. Las coordenadas son los números que localizan cada estado dentro de una representación concreta. Cambiar de coordenadas puede alterar los números y la apariencia de una trayectoria sin alterar el proceso descrito. La distinción será indispensable al estudiar matrices, valores propios, retratos de fase y transformaciones de modelos.

Vectores y componentes

En un primer nivel, un vector de dimensión nn es una colección ordenada de nn componentes. Si el estado depende de tres variables, se escribe x=(x1,x2,x3)x = (x_1, x_2, x_3). El orden importa. El vector (temperatura, presión) no representa lo mismo que (presión, temperatura), aunque contenga los mismos dos números, porque cada componente adquiere significado por la correspondencia definida entre su posición y una variable del modelo.

En álgebra lineal, un vector no debe confundirse con la columna de números que lo expresa. El vector es un elemento de un espacio vectorial y sus componentes dependen de la base elegida (Strang, 2016). El matiz parece abstracto hasta que se hace un cambio de coordenadas, porque entonces un mismo estado tiene componentes distintas en bases distintas. La base es un sistema de referencia matemático que traduce un objeto abstracto a una lista de números.

No todo espacio de estados es un espacio vectorial. Una orientación angular pertenece a una circunferencia y ciertos estados están sujetos a restricciones no lineales. Sus coordenadas pueden escribirse en una columna, aunque sumar dos columnas no defina necesariamente un estado admisible ni una operación intrínseca. En adelante distinguiremos el punto del espacio de estados, sus coordenadas y, cuando corresponda, los vectores de perturbación en un espacio tangente. Las operaciones del álgebra lineal se aplicarán en los ámbitos donde estén definidas.

La palabra vector tiene también un uso geométrico familiar, el de una flecha con magnitud y dirección. Esa interpretación es útil en los espacios euclídeos, aunque no debe imponerse a cualquier vector de estado. En x=(Q,C)x = (Q, C), con QQ el número de pacientes en espera y CC la capacidad efectiva por día, las dos componentes tienen unidades distintas y no tiene sentido interpretar el vector como una flecha física. Puede operarse con sus componentes después de definir escalas y unidades apropiadas. Su significado procede del modelo.

Esta cautela evita una confusión frecuente en ciencia de datos. Que un conjunto de variables pueda almacenarse como un vector no significa que todas compartan una geometría natural. Las distancias, los ángulos y los productos escalares requieren una elección adicional de métrica o de escala. Si una variable se expresa en milisegundos y otra en miligramos, la distancia euclídea entre dos registros depende de esas unidades, como vimos en el capítulo anterior. Antes de interpretar la cercanía en el espacio de estados hay que justificar qué significa que dos estados estén próximos.

Espacio de configuración, espacio de estados y espacio de fases

En mecánica conviene distinguir configuración y estado (Arnold, 1989). La configuración describe dónde se encuentra el sistema mediante las coordenadas necesarias para especificar su posición. El estado dinámico suele requerir además información sobre cómo cambia esa configuración. Un péndulo simple, idealizado como una masa unida a una barra rígida de longitud fija, necesita un solo ángulo θ\theta para especificar su configuración y tiene, por eso, un grado de libertad configuracional.

Conocer θ\theta no determina la evolución. Hace falta también la velocidad angular ω=dθ/dt\omega = d\theta/dt, o el momento conjugado correspondiente, de modo que una representación mínima del estado es x=(θ,ω)x = (\theta, \omega). El espacio de configuración del péndulo es una circunferencia, porque los ángulos que difieren en 2π2\pi representan la misma orientación. El espacio de estados de la representación (θ,ω)(\theta, \omega) tiene dos dimensiones locales, una para la posición angular y otra para la velocidad. El número de grados de libertad configuracionales no coincide, por tanto, con el número de componentes del vector de estado. Un sistema mecánico de nn grados de libertad con ecuaciones de segundo orden requiere, en la formulación estándar de primer orden, 2n2n variables de estado, sean posiciones y velocidades o posiciones y momentos.

En física se usa con frecuencia la expresión espacio de fases para este conjunto de estados completos, mientras que otros campos hablan de espacio de estados. En este libro usaremos espacio de estados como término general y espacio de fases cuando la tradición de los sistemas dinámicos o de la mecánica haga útil poner de relieve la representación geométrica de las trayectorias.

La distinción tiene una consecuencia metodológica. Dos sistemas pueden ocupar la misma configuración y encontrarse en estados dinámicos distintos. Un paciente puede presentar hoy la misma puntuación global que hace una semana y estar evolucionando en otra dirección si las variables que determinan la trayectoria no coinciden. La analogía no demuestra que exista un espacio de fases clínico de baja dimensión. Indica qué pregunta conviene formular, que es si se midieron variables suficientes para distinguir estados con el mismo observable actual y futuros diferentes.

Grados de libertad y restricciones

El número de coordenadas escritas no determina automáticamente el número de grados de libertad. Si las coordenadas están sometidas a restricciones, algunas combinaciones no representan estados posibles. Un punto que se mueve sobre una circunferencia de radio RR puede describirse con dos coordenadas cartesianas (x,y)(x, y) que deben satisfacer x2+y2=R2x^2 + y^2 = R^2. La ecuación elimina una independencia, porque una vez fijada una coordenada dentro del dominio permitido la otra queda determinada salvo la elección de rama. Una descripción más natural usa un solo ángulo, con x=Rcos⁡θx = R\cos\theta e y=Rsin⁡θy = R\sin\theta. La configuración tiene un grado de libertad aunque se hayan usado dos números cartesianos para representarla. La restricción define una variedad unidimensional dentro del plano, de modo que el espacio de estados admisible puede ocupar solo una parte del espacio numérico en que se escriben las coordenadas.

El conteo de restricciones exige independencia local. Para rr ecuaciones suaves que restringen nn coordenadas, el resultado n−rn - r supone que la matriz jacobiana de esas ecuaciones tiene rango rr en la región considerada (Abraham, Marsden y Ratiu, 1988). Las restricciones redundantes no restan dimensiones adicionales y los puntos singulares pueden no admitir esta descripción. La ecuación x2+y2=1x^2 + y^2 = 1 define localmente una curva porque su gradiente no se anula sobre ella. En x2+y2=0x^2 + y^2 = 0, el único estado es el origen y el gradiente se anula allí, de modo que el conteo regular no se aplica.

La relación entre restricciones y grados de libertad importará al trabajar con datos. Pueden medirse veinte indicadores y descubrir que sus variaciones están muy restringidas por unas pocas combinaciones. Eso no implica que el sistema real tenga solo dos o tres grados de libertad fundamentales, porque la reducción puede provenir del instrumento, de la población observada, de correlaciones circunstanciales o de una dinámica que ocupa solo una región del espacio disponible. El número de columnas de una base de datos no mide la dimensión del fenómeno.

En mecánica, cuando las restricciones son regulares y pueden incorporarse mediante coordenadas generalizadas, el número de grados de libertad tiene una definición clara. En los sistemas biológicos, sociales o clínicos, hablar de grados de libertad exige más cautela. Pueden definirse la dimensión de un modelo, la dimensión efectiva de unos datos o el número de variables independientes en una aproximación, cantidades que no son automáticamente equivalentes.

Un grado de libertad y dos variables de estado

Tomemos un oscilador armónico ideal con una sola coordenada qq, cuya ecuación de segundo orden, en unidades adimensionales con frecuencia natural uno, es

d2qdt2+q=0.\frac{d^2 q}{dt^2} + q = 0 .

La ecuación necesita dos condiciones iniciales, por ejemplo q(0)q(0) y dq/dt(0)dq/dt(0). Con la nueva variable v=dq/dtv = dq/dt, el problema se reescribe como un sistema de primer orden,

dqdt=v,dvdt=−q.\frac{dq}{dt} = v, \qquad \frac{dv}{dt} = -q .

El estado es ahora x=(q,v)x = (q, v). Con q(0)=1q(0) = 1 y v(0)=0v(0) = 0, la solución es q(t)=cos⁡tq(t) = \cos t y v(t)=−sin⁡tv(t) = -\sin t, de modo que en el espacio de estados se cumple q2+v2=1q^2 + v^2 = 1.

La trayectoria es una circunferencia, aunque el movimiento físico ocurre a lo largo de una línea, porque qq describe una posición unidimensional. La circunferencia aparece en el espacio de estados, que combina posición y velocidad. La masa no orbita alrededor del origen de un plano. Es el punto representativo (q,v)(q, v) el que recorre una órbita cerrada, como muestra la figura 12.1.

La circunferencia corresponde a la condición inicial elegida, que fija el valor de la energía E=(q2+v2)/2E = (q^2 + v^2)/2. Esa cantidad se conserva, porque dE/dt=q v+v (−q)=0dE/dt = q\,v + v\,(-q) = 0. Otras condiciones iniciales producen otras circunferencias, cuya unión ocupa todo el plano de posición y velocidad. Fijar la energía restringe las condiciones consideradas a una curva unidimensional, mientras que el sistema sin esa restricción necesita dos coordenadas de estado.

La periodicidad también se lee en la geometría. Después de un tiempo 2π2\pi el sistema regresa al mismo par (q,v)(q, v), algo más exigente que volver a la misma posición. En t=π/2t = \pi/2 la masa cruza q=0q = 0 con velocidad −1, un estado distinto del que tendrá al cruzar de nuevo el origen en t=3π/2t = 3\pi/2, con velocidad +1. Esta es una razón práctica para construir el vector de estado con información suficiente.

Representaciones del movimiento de un oscilador armónico ideal.
Figura 12.1. Oscilador armónico ideal. En el panel a, la posición y la velocidad oscilan en el tiempo con la condición inicial q = 1, v = 0. En el panel b, el mismo movimiento es una circunferencia en el espacio de estados, junto con las órbitas de otras dos energías. En el panel c, las mismas órbitas se ven como elipses en las coordenadas u = q y w = q + v. El punto negro marca la condición inicial y el círculo blanco, el equilibrio. Ampliar figura ↗

Estado y observable

En un modelo pueden distinguirse las variables de estado de los observables. Las primeras forman la representación interna necesaria para describir la evolución. Un observable es una cantidad medida o calculada a partir del estado, que a veces coincide con una de sus componentes y otras veces combina varias.

Consideremos un servicio hipotético cuyo estado se representa por el número de personas en espera QQ y la capacidad efectiva de atención por día C>0C > 0. El cociente W=Q/CW = Q/C indica los días de trabajo acumulado si la capacidad se mantiene y no hay nuevas entradas. No es el tiempo de espera esperado de un paciente en una cola con llegadas y tiempos de atención aleatorios. Es un observable construido con dos variables. Dos servicios pueden tener W=5W = 5 con estados diferentes. En el servicio A, (Q,C)=(20,4)(Q, C) = (20, 4). En el servicio B, (Q,C)=(40,8)(Q, C) = (40, 8).

Si solo se observa WW, ambos estados parecen equivalentes. Diez llegadas nuevas producen, sin embargo, W=7,5W = 7{,}5 en A y W=6,25W = 6{,}25 en B si la capacidad no cambia. La pérdida de una unidad de capacidad diaria produce W≈6,7W \approx 6{,}7 en A y W≈5,7W \approx 5{,}7 en B. El observable inicial estaba bien calculado, aunque comprimía dos estados distintos en el mismo número y no contenía la información necesaria para anticipar esas diferencias.

El ejemplo ilustra un problema general de medición. Una escala clínica, una media poblacional o un biomarcador pueden ser observables relevantes sin constituir el estado dinámico del fenómeno. Tratarlos como estados suficientes exige evidencia de que, dentro del modelo y de la escala temporal considerados, sustituir la descripción completa por ese observable no pierde información útil para predecir. Más adelante veremos versiones formales de este problema en los modelos con variables ocultas, en el paso a descripciones más gruesas y en la identificabilidad.

Coordenadas distintas para un mismo estado

Una vez definido el espacio de estados, todavía hay que elegir cómo asignar coordenadas a sus puntos. En un plano pueden usarse coordenadas cartesianas, polares u otras. La elección puede simplificar o complicar las ecuaciones sin cambiar el sistema representado.

En álgebra lineal, cambiar de base significa expresar los mismos vectores mediante componentes diferentes. Si xx representa un estado en una base y zz el mismo estado en otra, una transformación lineal invertible permite pasar de una representación a la otra,

x=T z,x = T\,z,

con TT una matriz invertible. La invertibilidad es indispensable para hablar de un simple cambio de coordenadas, porque cada estado descrito por xx debe corresponder a uno y solo un estado descrito por zz. Si la transformación colapsa varios estados en uno, se pierde información.

La elección de coordenadas puede tener motivos prácticos. Una base puede desacoplar variables, revelar simetrías o facilitar el cálculo. En control y en sistemas lineales es habitual transformar las coordenadas del estado para obtener matrices con una estructura más interpretable. El sistema físico o conceptual no cambia con esa decisión, aunque cambien los números que lo describen.

Un cambio de coordenadas en un sistema bidimensional

Retomemos el oscilador con estado (q,v)(q, v) y definamos las coordenadas u=qu = q y w=q+vw = q + v. La transformación es invertible, porque q=uq = u y v=w−uv = w - u. Como u=qu = q, se tiene du/dt=v=w−udu/dt = v = w - u. Para w=q+vw = q + v, se tiene dw/dt=v−q=(w−u)−u=w−2udw/dt = v - q = (w - u) - u = w - 2u. El mismo sistema queda representado como

dudt=−u+w,dwdt=−2u+w.\frac{du}{dt} = -u + w, \qquad \frac{dw}{dt} = -2u + w .

En forma matricial, x=Tzx = T z con

T=(10−11),Az=T−1AxT=(−11−21),T = \begin{pmatrix} 1 & 0 \\ -1 & 1 \end{pmatrix}, \qquad A_z = T^{-1} A_x T = \begin{pmatrix} -1 & 1 \\ -2 & 1 \end{pmatrix},

donde AxA_x es la matriz del sistema original, con filas (0,1)(0, 1) y (−1,0)(-1, 0).

La forma algebraica cambió y también la apariencia de la trayectoria. Al sustituir q=uq = u y v=w−uv = w - u en q2+v2=1q^2 + v^2 = 1 se obtiene 2u2−2uw+w2=1,2u^2 - 2uw + w^2 = 1, de modo que la circunferencia original aparece como una elipse inclinada en el plano (u,w)(u, w). Nada físico convirtió una órbita circular en una dinámica nueva, porque solo cambió la cuadrícula con que se describe el mismo conjunto de estados.

Algunas propiedades se conservan. En t=0t = 0 se tiene q=1q = 1 y v=0v = 0, es decir, u=w=1u = w = 1. Después de 2π2\pi, qq y vv vuelven a sus valores iniciales y, por la invertibilidad, uu y ww vuelven exactamente a (1,1)(1, 1). El período no cambia y el equilibrio q=v=0q = v = 0 se transforma en u=w=0u = w = 0. Las matrices AxA_x y AzA_z tienen además la misma traza (0) y el mismo determinante (1), de modo que comparten sus valores propios, ±i\pm i. El capítulo 14 mostrará que esos valores propios determinan el tipo de dinámica lineal y que no dependen de la base elegida.

La figura 12.1 compara las órbitas en ambas coordenadas. Los cambios suaves de coordenadas con inversa suave, que no modifican el tiempo físico, conservan las trayectorias representadas y sus propiedades cualitativas, aunque cambien sus componentes y el aspecto de los gráficos. El cambio de coordenadas espaciales debe separarse, además, de una reparametrización del tiempo, que puede modificar los períodos y las tasas numéricas.

Qué se conserva y qué puede cambiar

Un cambio de coordenadas invertible mantiene una correspondencia uno a uno entre estados. Si además es suficientemente regular, cada trayectoria del sistema original corresponde a una trayectoria del sistema transformado. Los equilibrios se transforman en equilibrios y las órbitas periódicas en órbitas periódicas con el mismo tiempo de retorno, siempre que no se modifique la variable temporal.

La figura dibujada sí puede cambiar. Una circunferencia puede verse como una elipse y una componente puede adquirir un valor numérico mayor. Eso no obliga a cambiar las distancias físicas, si también se transforma la métrica. Si x=Tzx = Tz y la distancia cuadrática en xx usa la matriz GxG_x, en las nuevas coordenadas la misma distancia se expresa con Gz=TTGxTG_z = T^{\mathsf{T}} G_x T. En el ejemplo, con GxG_x igual a la identidad, se obtiene la matriz con filas (2,−1)(2, -1) y (−1,1)(-1, 1), cuya forma cuadrática es precisamente 2u2−2uw+w22u^2 - 2uw + w^2. Medida con la métrica transportada, la elipse sigue siendo el conjunto de puntos a distancia uno del origen. Usar la métrica identidad en ambas representaciones, cuando TT no es ortogonal, introduce otra medida de distancia. La diferencia se debe a esa elección, sin que el proceso haya cambiado.

La distinción tiene un contenido filosófico preciso. Una representación científica incluye convenciones. Que ciertos números cambien con las coordenadas no vuelve arbitrario el fenómeno. Buscar las propiedades que sobreviven a transformaciones apropiadas es una manera de separar las características que dependen de la representación de las relaciones más estructurales. La física ha explotado esta idea de manera sistemática. En las ciencias de la complejidad reaparecerá al comparar descripciones a distintas escalas y con distintas elecciones de variables.

Tampoco conviene extender demasiado la invariancia. Reemplazar un vector de diez variables por su promedio no es una transformación invertible, porque muchos estados distintos producen el mismo promedio. Algunas propiedades pueden conservarse aproximadamente, aunque eso debe demostrarse. Una reducción de dimensión, una puntuación compuesta o una agregación temporal no son simples cambios de coordenadas, salvo que mantengan una correspondencia reversible con la descripción inicial.

Coordenadas locales y espacios que no son planos globalmente

Hasta aquí usamos espacios euclídeos porque permiten introducir las ideas con poca maquinaria. No todos los espacios de estados son, sin embargo, globalmente equivalentes a Rn\mathbb{R}^n. El ángulo del péndulo es un ejemplo elemental, porque θ=0\theta = 0 y θ=2π\theta = 2\pi representan la misma configuración. Si θ\theta se dibuja sobre una recta infinita sin recordar esa identificación, el mismo estado físico aparece en infinitos puntos numéricos.

La configuración angular se representa de manera natural en un círculo. Puede asignarse una coordenada angular local, aunque la topología global no sea la de una recta. En sistemas más complejos, el espacio de estados puede ser una variedad que solo localmente se parece a un espacio euclídeo. Los espacios de fases de los sistemas diferenciables se modelan en general como variedades diferenciables. Las ecuaciones diferenciales ordinarias aparecen entonces escritas en sistemas de coordenadas locales (Arnold, 1989; Abraham, Marsden y Ratiu, 1988).

No hace falta todavía teoría diferencial avanzada. La enseñanza práctica es que las coordenadas no deben confundirse con el espacio. Una coordenada puede fallar en ciertos lugares, ser redundante o cubrir varias veces el mismo estado. Al estudiar la geometría de los atractores y la dinámica hamiltoniana, esta distinción impedirá tomar artefactos de la representación por propiedades del sistema.

Dimensión del registro y dimensión del fenómeno en salud mental

Supongamos que un estudio registra diez variables diarias, como el sueño, la actividad, la ansiedad y el ánimo. El dato de cada día puede almacenarse como un vector de R10\mathbb{R}^{10}, lo que significa que se eligió una representación con diez componentes observadas. Eso no demuestra que el proceso psicopatológico tenga diez grados de libertad, que las diez variables sean independientes ni que el estado clínicamente relevante esté completamente observado.

Algunas variables pueden ser funciones parciales de otras, puede existir un proceso latente no medido o la dinámica puede requerir información histórica, como vimos en el capítulo 9. También puede ocurrir que diez variables no basten para predecir las transiciones relevantes. El vector de observaciones es un objeto empírico y el vector de estado es parte de un modelo. A veces coinciden, aunque la coincidencia debe justificarse.

La misma precaución afecta a las reducciones. Un puntaje total que resume diez ítems es una función que lleva un vector de diez componentes a un único número. Salvo casos especiales, esa operación no es invertible. Dos perfiles distintos pueden producir la misma puntuación, como un perfil con insomnio y fatiga marcados sin ánimo bajo y otro con ánimo bajo sin alteraciones del sueño. Usar el total puede ser apropiado para una pregunta, aunque no autoriza a tratarlo como un sustituto dinámicamente suficiente de todos los perfiles que comprime.

El lenguaje de los espacios de estados es útil incluso antes de disponer de modelos clínicos maduros. Obliga a preguntar qué información distingue estados relevantes, qué restricciones existen entre variables y qué observables se están confundiendo con el sistema que se pretende representar. Su utilidad reside en la precisión de las preguntas, sin suponer de antemano que la clínica tiene una geometría simple.

Consolidación

Un vector de estado reúne las variables que un modelo usa para representar un estado, papel que una lista de indicadores observados no adquiere automáticamente. El número de coordenadas escritas puede exceder los grados de libertad cuando hay restricciones. La dimensión del espacio de configuración no coincide necesariamente con la del espacio de estados, como en el péndulo, que tiene un grado de libertad configuracional y se describe con posición y velocidad. Un cambio de coordenadas invertible modifica los componentes numéricos sin cambiar el estado representado.

El oscilador mostró esta última idea de manera explícita. La circunferencia q2+v2=1q^2 + v^2 = 1 se transformó en la elipse 2u2−2uw+w2=12u^2 - 2uw + w^2 = 1 bajo u=qu = q y w=q+vw = q + v. La apariencia geométrica cambió, mientras que el período, el equilibrio, la traza, el determinante y los valores propios se conservaron. En los próximos capítulos se elegirán coordenadas para simplificar matrices, separar modos y analizar la estabilidad. Entender qué cambia con la representación y qué pertenece a la dinámica será una condición para interpretar esos procedimientos. El cuadro 12.1 reúne los conceptos del capítulo.

Cuadro 12.1. Conceptos de representación del estado.

ConceptoSignificado en este libroEjemploConfusión que conviene evitar
Vector de estadoRepresentación ordenada de las variables que especifican el estado dentro de un modelo(q, v) en un osciladorConfundirlo con cualquier lista de mediciones
Espacio de estadosConjunto estructurado de estados admitidos por el modeloPlano (q, v) del osciladorConfundir el espacio con un gráfico particular
Grados de libertadNúmero de coordenadas independientes necesarias para especificar una configuraciónUn ángulo para un péndulo simpleIgualarlo al número de variables registradas
ObservableCantidad medida o calculada a partir del estadoW = Q/CSuponer que resume toda la información dinámica
Cambio de coordenadasRepresentación invertible de los mismos estados con otros componentesu = q, w = q + vConfundirlo con una reducción que pierde información
RestricciónRelación que excluye combinaciones de coordenadasx² + y² = R²Contar todas las coordenadas como independientes
MétricaRegla para medir distancias entre estadosG_z = TᵀG_xTAtribuir al fenómeno un cambio que proviene de la métrica

El capítulo 13 introduce las matrices y las transformaciones lineales. Allí el cambio de coordenadas que acabamos de resolver componente a componente se convertirá en una operación algebraica sistemática. La matriz pasará a interpretarse como una transformación de estados.

Ejercicios

Ejercicio 12.1. ¿Cuántas variables de estado requiere la formulación de primer orden de cada sistema? (a) Una partícula que se mueve en una recta según la segunda ley de Newton. (b) Un péndulo doble plano. (c) Una cuenta que se desliza sin fricción por un aro circular fijo. (d) Una población con crecimiento logístico. (e) La regla xt+1=0,6 xt+0,3 xt−1x_{t+1} = 0{,}6\,x_t + 0{,}3\,x_{t-1} del capítulo 9.

Ejercicio 12.2. Considere el oscilador dq/dt=vdq/dt = v, dv/dt=−qdv/dt = -q. (a) Verifique que q=cos⁡tq = \cos t, v=−sin⁡tv = -\sin t es solución. (b) Muestre que E=(q2+v2)/2E = (q^2 + v^2)/2 se conserva. (c) Describa la órbita que parte de q(0)=0q(0) = 0 y v(0)=2v(0) = 2. (d) En la solución del apartado (a), ¿en qué instantes pasa la masa por q=0q = 0? ¿En cuáles de ellos el estado es el mismo que en t=π/2t = \pi/2?

Ejercicio 12.3. Tres servicios tienen (Q,C)(Q, C) igual a (20, 4), (40, 8) y (10, 2). (a) Compruebe que los tres tienen W=5W = 5. (b) Calcule WW tras diez llegadas nuevas. (c) Calcule WW si la capacidad baja en una unidad. (d) ¿Qué concluye sobre WW como variable de estado?

Ejercicio 12.4. Considere el cambio de coordenadas u=qu = q y w=q+vw = q + v. (a) Escriba TT y T−1T^{-1}. (b) Calcule Az=T−1AxTA_z = T^{-1} A_x T y compruebe que coincide con el sistema del texto. (c) Verifique que AxA_x y AzA_z tienen la misma traza y el mismo determinante. (d) Calcule TTTT^{\mathsf{T}} T y relaciónelo con la elipse. (e) ¿Por qué la sola coordenada s=q+vs = q + v no es un cambio de coordenadas?

Ejercicio 12.5. Indique cuántos grados de libertad tiene cada configuración y si el conteo regular es aplicable. (a) Un punto de la esfera x2+y2+z2=1x^2 + y^2 + z^2 = 1. (b) Un punto que satisface a la vez x2+y2+z2=1x^2 + y^2 + z^2 = 1 y z=0z = 0. (c) El mismo punto con la restricción adicional 2z=02z = 0. (d) Un punto del plano que satisface x2+y2=0x^2 + y^2 = 0.

Ejercicio 12.6. Una escala de cuatro ítems, puntuados de 0 a 3, mide el sueño con los ítems 1 y 2 y el ánimo con los ítems 3 y 4. Dos pacientes obtienen los perfiles (3, 3, 0, 0) y (0, 0, 3, 3). (a) Calcule sus puntajes totales. (b) ¿Es el total una transformación invertible? Justifique contando cuántos perfiles producen un total de 6. (c) Suponga que, según un modelo, las alteraciones del sueño de una semana predicen un empeoramiento del ánimo la semana siguiente. ¿Qué predice el modelo para cada paciente? (d) ¿Qué evidencia justificaría usar el total como estado suficiente?

Consultar las soluciones de los ejercicios

Soluciones de los ejercicios

Solución 12.1. (a) Dos, la posición y la velocidad. (b) Cuatro, dos ángulos y dos velocidades angulares, porque el sistema tiene dos grados de libertad. (c) Dos, el ángulo sobre el aro y la velocidad angular, porque la restricción deja un solo grado de libertad. (d) Una, porque la ecuación logística es de primer orden. (e) Dos, el par (xt,xt−1)(x_t, x_{t-1}).

Solución 12.2. (a) La derivada de cos⁡t\cos t es −sin⁡t=v-\sin t = v y la de −sin⁡t-\sin t es −cos⁡t=−q-\cos t = -q. (b) Se tiene dE/dt=q dq/dt+v dv/dt=q v−v q=0dE/dt = q\,dq/dt + v\,dv/dt = q\,v - v\,q = 0. (c) La energía vale 2 y la órbita es la circunferencia de radio 2 centrada en el origen, recorrida en sentido horario a partir de (0,2)(0, 2), con q=2sin⁡tq = 2\sin t y v=2cos⁡tv = 2\cos t. (d) La masa pasa por q=0q = 0 en t=π/2+kπt = \pi/2 + k\pi, con kk entero. El estado coincide con el de t=π/2t = \pi/2, que es (0,−1)(0, -1), solo en t=π/2+2kπt = \pi/2 + 2k\pi. En los demás cruces el estado es (0,1)(0, 1).

Solución 12.3. (a) Los tres cocientes valen 5. (b) Tras diez llegadas, WW vale 7,5; 6,25 y 10. (c) Con una unidad menos de capacidad, WW vale 6,67; 5,71 y 10. (d) El mismo valor de WW corresponde a estados que responden de manera muy distinta a una misma perturbación. WW es un observable útil, aunque insuficiente como variable de estado, que requiere el par (Q,C)(Q, C).

Solución 12.4. (a) La matriz TT tiene filas (1,0)(1, 0) y (−1,1)(-1, 1). Su inversa tiene filas (1,0)(1, 0) y (1,1)(1, 1). (b) El producto T−1AxTT^{-1} A_x T da la matriz con filas (−1,1)(-1, 1) y (−2,1)(-2, 1), que corresponde a du/dt=−u+wdu/dt = -u + w y dw/dt=−2u+wdw/dt = -2u + w. (c) Ambas matrices tienen traza 0 y determinante 1. (d) El producto TTTT^{\mathsf{T}} T tiene filas (2,−1)(2, -1) y (−1,1)(-1, 1). Su forma cuadrática es 2u2−2uw+w22u^2 - 2uw + w^2. La elipse es la circunferencia unitaria medida con la métrica transportada. (e) Una sola coordenada no puede describir un estado de dimensión dos. Los estados (q,v)=(1,0)(q, v) = (1, 0) y (0,1)(0, 1) producen el mismo valor s=1s = 1, de modo que la transformación no es invertible.

Solución 12.5. (a) Dos, porque una ecuación regular en tres coordenadas deja 3−13 - 1 grados de libertad. (b) Uno, porque la configuración es una circunferencia y los gradientes de las dos restricciones son independientes sobre ella. (c) Sigue siendo uno, porque la restricción 2z=02z = 0 es redundante y la matriz jacobiana conserva rango 2. (d) La ecuación solo admite el origen, donde su gradiente se anula. El conteo regular, que daría 2−1=12 - 1 = 1, no se aplica, porque el conjunto es un punto.

Solución 12.6. (a) Ambos pacientes suman 6. (b) No es invertible. Hay 44 perfiles distintos, con ítems entre 0 y 3, que suman 6. (c) El modelo predice un empeoramiento del ánimo para el primer paciente, que tiene alteraciones del sueño. Para el segundo no lo predice por esa vía. El mismo total conduce a predicciones distintas. (d) Haría falta mostrar, con datos longitudinales y en observaciones no usadas para ajustar el modelo, que agregar la información de los ítems al total no mejora la predicción de los estados futuros. Convendría comprobarlo también dentro de cada persona.

Referencias

Abraham, R., Marsden, J. E. y Ratiu, T. (1988). Manifolds, tensor analysis, and applications (2.ª ed.). Springer.

Arnold, V. I. (1989). Mathematical methods of classical mechanics (2.ª ed.). Springer.

Hirsch, M. W., Smale, S. y Devaney, R. L. (2013). Differential equations, dynamical systems, and an introduction to chaos (3.ª ed.). Academic Press.

Strang, G. (2016). Introduction to linear algebra (5.ª ed.). Wellesley-Cambridge Press.