Ecuaciones diferenciales: una comprensión intuitiva (campo de pendientes)

Una ecuación algebraica pide un número. Te da una igualdad como 2x + 3 = 11 y pregunta qué valor la hace verdadera. Una ecuación diferencial pide una curva. Te da una regla local de cambio y pregunta qué trayectorias completas pueden seguirla.

Ese cambio de perspectiva explica por qué la materia resulta extraña al principio. La incógnita es una función, la respuesta suele contener una constante arbitraria y un punto de la curva no basta. La ecuación describe cómo debe moverse la curva a lo largo de todo un intervalo.

La imagen que vuelve legibles las ecuaciones diferenciales explícitas de primer orden es un campo de pequeñas pendientes. En una ecuación escrita como y' = F(x, y), cada punto donde F está definida recibe un segmento corto que indica hacia dónde debe inclinarse una curva. Una solución es una trayectoria que sigue esas direcciones. Cuando ves ese campo, las familias de soluciones, las condiciones iniciales y el crecimiento exponencial dejan de parecer trucos separados.

Una ecuación diferencial es una regla de cambio

Una derivada indica con qué rapidez cambia una cantidad. Una ecuación diferencial invierte esa idea. Te da una relación que contiene la derivada y pide recuperar la cantidad.

Considera

$$y' = 2y$$

El apóstrofo representa la derivada de y respecto a x. La ecuación dice que la tasa de cambio siempre es el doble del valor actual. Cuando y vale 1, la pendiente debe ser 2. Cuando y vale 3, debe ser 6. Cuando y es negativa, la pendiente también debe ser negativa. La regla no indica directamente la altura de la curva para un valor concreto de x. Indica cómo deben avanzar juntas la altura y la pendiente.

Esta es la inversión fundamental:

• En cálculo, conoces la función y calculas su tasa de cambio.
• En una ecuación diferencial, conoces una regla para la tasa de cambio y reconstruyes la función.

La ecuación y' = 2y es de primer orden porque su derivada de mayor orden es la primera derivada. Una ecuación que contiene y'' es de segundo orden. La palabra orden indica cuántos niveles de cambio alcanza la regla, no lo difícil que parece la ecuación.

También es una ecuación diferencial ordinaria, o EDO, porque y depende de una sola variable independiente. Si una temperatura depende tanto de la posición como del tiempo, su modelo usa derivadas parciales y se convierte en una ecuación en derivadas parciales, o EDP. La gran idea se mantiene, pero este artículo se centra en las EDO: una entrada, una trayectoria que evoluciona.

La solución es una función, no un número

Para resolver y' = 2y, necesitas una función cuya derivada sea el doble de sí misma. Las funciones exponenciales tienen exactamente ese comportamiento. Prueba con

$$y = Ce^{2x}$$

donde C es cualquier constante. Derívala:

$$y' = 2Ce^{2x}$$

Como y es $Ce^{2x}$, esto significa que y' = 2y. La función propuesta satisface la ecuación para todo x, así que es una solución.

Observa cómo funciona la verificación. En una ecuación algebraica, sustituyes un número. En una ecuación diferencial, derivas una función y sustituyes el resultado. Una solución correcta debe obedecer la regla en todo el intervalo considerado, no limitarse a pasar por un punto conveniente.

La constante C no representa trabajo sin terminar. Forma parte de la respuesta. La ecuación describe una familia de curvas:

• $C = 1$ da $y = e^{2x}$.
• $C = 3$ da $y = 3e^{2x}$.
• $C = -2$ da $y = -2e^{2x}$.
• C = 0 da la solución constante y = 0.

Cada miembro sigue la misma regla de crecimiento, pero empieza a una altura diferente. Una ley de cambio no puede decirte dónde comenzó la historia. Esa información inicial que falta es exactamente lo que guarda la constante.

Esto también explica por qué la integración introduce una constante aditiva. La derivación borra los desplazamientos verticales constantes porque su derivada es cero, de modo que al invertir el proceso hay que conservar todos los desplazamientos posibles. El álgebra posterior puede cambiar el aspecto de ese parámetro. En este ejemplo, al exponenciar, $e^{C}$ se convierte en una constante multiplicativa delante de $e^{2x}$.

Los campos de pendientes convierten la regla en un paisaje

Puedes entender una ecuación explícita de primer orden y' = F(x, y) antes de resolverla de forma simbólica. Toma una cuadrícula de puntos donde F esté definida. En cada uno, calcula la pendiente exigida y dibuja un segmento corto con esa pendiente. El resultado se llama campo de pendientes o campo direccional.

Para y' = 2y, la pendiente depende solo de la altura:

• A lo largo de y = 0, todos los segmentos son horizontales.
• A lo largo de y = 1, todos los segmentos tienen pendiente 2.
• A lo largo de y = -1, todos los segmentos tienen pendiente -2.
• Las filas positivas más altas se inclinan hacia arriba con mayor intensidad.
• Las filas negativas más bajas se inclinan hacia abajo con mayor intensidad.

El campo parece formado por bandas horizontales con la misma inclinación. Una curva solución puede empezar en cualquier punto, pero después debe seguir los segmentos locales. Las soluciones positivas se curvan hacia arriba y crecen. Las negativas se alejan de cero hacia abajo. La solución cero permanece horizontal porque todas las flechas sobre esa línea también lo son.

Esta imagen separa la ecuación de cualquier solución concreta. La ecuación diferencial crea todo el campo. Cada solución es un hilo que lo atraviesa.

También permite predecir el comportamiento sin encontrar una fórmula. Si los segmentos apuntan hacia arriba en una región, las soluciones crecen allí. Si son horizontales a lo largo de y = c para cada x relevante, entonces y = c es una solución de equilibrio constante. Si los segmentos cercanos apuntan hacia esa línea, las soluciones próximas son atraídas hacia ella. Si apuntan en sentido contrario, las pequeñas perturbaciones crecen. Gran parte de las ecuaciones diferenciales aplicadas consiste en esta lectura cualitativa: entender qué pueden hacer las trayectorias antes de obtener sus fórmulas exactas.

En y' = 2y, el miembro derecho varía suavemente con y, así que las condiciones habituales de existencia y unicidad garantizan una única solución que pasa por cada punto. El campo de pendientes ilustra ese resultado, pero no lo demuestra. Tener un punto y una pendiente en común no basta para todas las ecuaciones: las reglas menos regulares pueden permitir que dos soluciones se encuentren y después vuelvan a separarse.

Las condiciones iniciales eligen una trayectoria

Añade ahora la condición y(0) = 3 a la misma ecuación. Es una condición inicial: cuando x = 0, la curva pasa por la altura 3. Partimos de la familia de soluciones

$$y = Ce^{2x}$$

y sustituimos el punto conocido:

$$3 = Ce^{0} = C$$

Por tanto, la solución particular es

$$y = 3e^{2x}$$

La ecuación diferencial proporcionó la forma de la familia. La condición inicial seleccionó un miembro. En la imagen del campo de pendientes, colocó tu dedo en el punto (0, 3) y dejó como única opción la trayectoria que pasa por allí.

En los problemas regulares de valores iniciales, el número de condiciones que suele hacer falta sigue el orden de la ecuación. Una ley de velocidad de primer orden y' = v(x, y), donde la velocidad ya está especificada, normalmente necesita una posición inicial. Una ley de aceleración de segundo orden suele necesitar tanto una posición inicial como una velocidad inicial.

Por ejemplo, la ecuación normalizada de un resorte sin amortiguamiento es

$$y'' + y = 0$$

La ecuación dice que la aceleración apunta de vuelta hacia el equilibrio. La forma física es m y'' + k y = 0. Elegir unidades con k/m = 1 produce la ecuación normalizada anterior. Sus soluciones combinan seno y coseno. Conocer solo la posición inicial no indica si el resorte se soltó desde el reposo o si ya estaba en movimiento. Al añadir la velocidad inicial, el movimiento queda determinado.

Separar las variables significa deshacer el vínculo

La ecuación y' = 2y puede resolverse de forma sistemática, no solo mediante una conjetura. Escribe la derivada como $\frac{dy}{dx}$:

$$\frac{dy}{dx} = 2y$$

Mueve la parte que contiene y junto a dy y la parte que contiene x junto a dx:

$$\frac{dy}{y} = 2 dx$$

Ahora integra ambos lados:

$$\ln|y| = 2x + C$$

Al exponenciar obtenemos

$$y = Ae^{2x}$$

En este paso, A no puede ser cero porque al dividir entre y excluimos y = 0. Comprueba la función excluida en la ecuación original: y = 0 funciona. Por tanto, la familia completa puede escribirse como y = $Ae^{2x}$ para cualquier constante real A, incluido cero.

El método se llama separación de variables porque separa todo lo que contiene y de todo lo que contiene x antes de integrar. Funciona con ecuaciones que pueden reorganizarse en la forma

$$\frac{dy}{dx} = f(x)g(y)$$

pero el álgebra esconde una trampa. Dividir entre g(y) puede descartar soluciones en las que g(y) = 0. En el ejemplo, dividir entre y excluyó temporalmente el equilibrio y = 0.

En las ecuaciones regulares que suelen introducirse junto con la separación, recuperar los equilibrios excluidos completa la familia. Las ecuaciones menos regulares también pueden admitir soluciones a trozos que permanecen un tiempo en un equilibrio antes de abandonarlo, por lo que la separación no es una prueba universal de que la familia esté completa. Después de dividir o reorganizar, comprueba en la ecuación original tanto la familia obtenida como cada valor excluido.

Crecimiento, decaimiento y oscilación obedecen reglas distintas

Pequeños cambios en una ecuación diferencial producen movimientos muy diferentes.

El modelo

$$y' = ky$$

describe crecimiento exponencial para cantidades positivas cuando k es positivo y decaimiento exponencial hacia cero cuando k es negativo. De forma más general, la magnitud de cualquier solución no nula crece si k es positivo y disminuye si k es negativo. El modelo aparece siempre que la tasa es proporcional a la cantidad actual: el crecimiento idealizado de una población, la capitalización continua y el decaimiento radiactivo son ejemplos conocidos. Una misma fórmula no convierte en exponencial para siempre a toda población o inversión real. Dice que el comportamiento exponencial se produce si la hipótesis de una tasa proporcional constante sigue siendo válida.

La ecuación del resorte y'' + y = 0 produce una oscilación. Sus soluciones se construyen con seno y coseno porque derivar dos veces cambia su signo. Compárala con

$$y'' - y = 0$$

cuyas soluciones se construyen con exponenciales o, de manera equivalente, con funciones hiperbólicas. El signo determina si el sistema es atraído de vuelta hacia un movimiento repetido o empujado hacia el crecimiento y el decaimiento.

Los modelos reales añaden términos para representar fuerzas externas, rozamiento, recursos limitados o interacciones entre varias cantidades. Un modelo logístico de población frena el crecimiento cerca de una capacidad de carga. Un resorte amortiguado pierde amplitud con el tiempo. Un sistema de ecuaciones diferenciales puede seguir varias cantidades que cambian a la vez. Cada término añadido modifica la regla local y, por tanto, las trayectorias que puede seguir el sistema.

De dónde vienen los errores

El primer error es buscar un número. En una ecuación diferencial, la incógnita suele ser una función. Si tu respuesta es un único valor de y y no se pide evaluar en un punto, es probable que te hayas detenido demasiado pronto.

El segundo es comprobar solo la condición inicial. Pasar por (0, 3) no convierte una curva en solución de y' = 2y. Infinitas curvas pasan por ese punto. La curva también debe satisfacer la regla de derivación a lo largo de todo el intervalo.

El tercero es omitir la constante arbitraria. Una ecuación diferencial sin suficientes condiciones suele describir una familia. Escribir un miembro como si fuera la respuesta completa elimina trayectorias válidas.

El cuarto es perder un equilibrio al dividir. Si divides entre y, y - 1 o cualquier expresión que contenga la función desconocida, detente y comprueba en la ecuación original los valores que anulan esa expresión.

El quinto es tratar un modelo como si fuera la realidad. La ecuación y' = ky produce crecimiento o decaimiento exponencial porque supone una tasa proporcional constante. Un sistema real solo sigue esa curva mientras la hipótesis sea una aproximación útil. Resolver bien la ecuación no demuestra que fuera el modelo correcto.

Cómo encaja Math Zen

Las ecuaciones diferenciales combinan varias destrezas que suelen aprenderse en capítulos separados. Tienes que interpretar una derivada como una tasa de cambio, reorganizar el álgebra sin perder casos, reconocer cuándo la derivada de una exponencial es un múltiplo de ella misma, integrar ambos lados y usar una condición inicial para determinar la constante restante. Una debilidad en cualquiera de esas destrezas puede hacer que todo el método parezca misterioso.

Math Zen incluye práctica con ecuaciones diferenciales separables, lineales de primer orden, de segundo orden, homogéneas, exactas y de Bernoulli, además de sistemas de ecuaciones diferenciales ordinarias. Antes de calcular, plantea las tres preguntas de este artículo: ¿qué cambio exige la ecuación?, ¿qué familia de trayectorias podría obedecerla? y ¿qué condiciones seleccionan la trayectoria que necesitas?

El ciclo de práctica útil es sencillo: clasifica una ecuación, predice la dirección de sus soluciones, resuélvela o verifícala y, después, comprueba la condición inicial y cualquier equilibrio excluido. Vuelve a esa mezcla tras un intervalo, siguiendo el mismo enfoque de repetición espaciada que se usa en el resto de Math Zen. El objetivo no es memorizar una colección de recetas, sino reconocer qué regla de cambio tienes delante.

La conclusión

Una ecuación diferencial describe una relación entre una cantidad y la forma en que cambia. Su solución es una función, no un valor aislado, y a menudo pertenece a toda una familia. La constante arbitraria conserva el punto donde podría haber comenzado la trayectoria, y una condición inicial elige la que corresponde al verdadero punto de partida.

Para las ecuaciones explícitas de primer orden, la imagen del campo de pendientes mantiene unido todo el tema. La regla local llena su dominio de direcciones permitidas, y una solución las sigue. La separación de variables, los problemas de valores iniciales, el crecimiento, el decaimiento y la oscilación son distintas formas de leer o recorrer ese paisaje. Una ecuación diferencial convierte una regla local de cambio en una curva global.