En el presente artículo, nos adentraremos en el fascinante mundo de Ecuación diferencial. Desde sus orígenes hasta su relevancia en la actualidad, exploraremos los aspectos más importantes relacionados con este tema. Consideraremos su impacto en la sociedad, su influencia en diversos ámbitos, así como los retos y oportunidades que presenta. A lo largo de estas líneas, nos sumergiremos en un análisis exhaustivo que nos permitirá comprender la importancia y el alcance de Ecuación diferencial, ofreciendo una visión completa y actualizada sobre este tema tan relevante en la actualidad.
Una ecuación diferencial es una ecuación matemática que relaciona una función con sus derivadas. En la matemática aplicada, las funciones usualmente representan cantidades físicas, las derivadas representan sus razones de cambio y la ecuación define la relación entre ellas. Como estas relaciones son muy comunes, las ecuaciones diferenciales juegan un rol primordial en diversas disciplinas, incluyendo la ingeniería, la física, la química, la economía y la biología.
En las aplicaciones de las matemáticas, a menudo surgen problemas en los que se desconoce la dependencia de un parámetro con respecto a otro, pero es posible escribir una expresión para la tasa de cambio de un parámetro en relación con otro (derivada). En este caso, el problema se reduce a encontrar una función por su derivada relacionada con algunas otras expresiones.
En la matemática pura, las ecuaciones diferenciales se estudian desde perspectivas diferentes, la mayoría concernientes al conjunto de las soluciones de las funciones que satisfacen la ecuación. Solo las ecuaciones diferenciales más simples se pueden resolver mediante fórmulas explícitas; sin embargo, se pueden determinar algunas propiedades de las soluciones de una cierta ecuación diferencial sin hallar su forma exacta.
Si la solución exacta no puede hallarse, esta puede obtenerse numéricamente, mediante una aproximación usando computadoras u ordenadores. La teoría de sistemas dinámicos hace énfasis en el análisis cualitativo de los sistemas descritos por ecuaciones diferenciales, mientras que muchos métodos numéricos han sido desarrollados para determinar soluciones con cierto grado de exactitud.
Las ecuaciones diferenciales aparecieron por primera vez en los trabajos de cálculo de Newton y Leibniz. En 1671, en el Capítulo 2 de su trabajo Método de las fluxiones y series infinitas, Isaac Newton hizo una lista de tres clases de ecuaciones diferenciales:
Resolvió estas ecuaciones y otras usando series infinitas y discutió la no unicidad de las soluciones.
Jakob Bernoulli propuso la ecuación diferencial de Bernoulli en 1695. Esta es una ecuación diferencial ordinaria de la forma
para la que luego, en los siguientes años, Leibniz obtuvo sus soluciones mediante simplificaciones.
Históricamente, el problema de una cuerda vibrante tal como la de un instrumento musical, fue estudiado por Jean le Rond d'Alembert, Leonhard Euler, Daniel Bernoulli, y Joseph-Louis Lagrange. En 1746, d'Alembert descubrió la ecuación de onda unidimensional, y al cabo de diez años Euler descubrió la ecuación de onda tridimensional.
Las ecuaciones de Euler-Lagrange fueron desarrolladas en la década de 1750 por Euler y Lagrange en relación con sus estudios del problema de la tautócrona. Este es el problema de determinar una curva en la cual una partícula con peso caerá en un punto fijo en cierta cantidad fija de tiempo, independiente del punto de partida.
Lagrange resolvió este problema en 1755 y envió la solución a Euler. Ambos desarrollaron el método de Lagrange y lo aplicaron a la mecánica, lo que los condujo a la mecánica Lagrangiana.
En 1822 Fourier publicó su trabajo de transferencia de calor en Théorie analytique de la chaleur (Teoría analítica del calor), en la que basó su razonamiento en la ley del enfriamiento de Newton, esto es, que la transferencia de calor entre dos moléculas adyacentes es proporcional a diferencias extremadamente pequeñas de sus temperaturas. En este libro Fourier expone la ecuación del calor para la difusión conductiva del calor. Esta ecuación en derivadas parciales es actualmente objeto de estudio en la física matemática.
Las ecuaciones diferenciales estocásticas, que amplían tanto la teoría de las ecuaciones diferenciales como la teoría de la probabilidad, fueron introducidas con un tratamiento riguroso por Kiyoshi Itō y Ruslán Stratónovich durante los años 1940 y 1950.
Las ecuaciones diferenciales pueden dividirse en varios tipos. Aparte de describir las propiedades de la ecuación en sí, las clases de las ecuaciones diferenciales pueden ayudar a buscar la elección de la aproximación a una solución. Es muy común que estas distinciones incluyan si la ecuación es: ordinaria/en derivadas parciales, lineal/no lineal, y homogénea/no homogénea. Esta lista es demasiado grande; hay muchas otras propiedades y subclases de ecuaciones diferenciales las cuales pueden ser muy útiles en contextos específicos.
Una ecuación diferencial ordinaria (EDO) es una ecuación que contiene una función de una variable independiente y sus derivadas. El adjetivo «ordinaria» se usa en contraste con la ecuación en derivadas parciales, la cual puede ser respecto a «más de» una variable independiente.
Las ecuaciones diferenciales lineales, las cuales tienen soluciones que pueden sumarse y ser multiplicadas por coeficientes, están bien definidas y comprendidas, y tienen soluciones exactas que pueden hallarse. En contraste, las EDO cuyas soluciones no pueden sumarse son no lineales, y su solución es más intrincada, y muy pocas veces pueden hallarse en forma exacta de funciones elementales: las soluciones suelen obtenerse en forma de series o forma integral. Los métodos numéricos y gráficos para EDO pueden realizarse manualmente o mediante computadoras u ordenadores, se pueden aproximar las soluciones de las EDO y su resultado puede ser muy útil, muchas veces suficientes como para prescindir de la solución exacta y analítica.
Una ecuación en derivadas parciales (EDP) es una ecuación diferencial que contiene una función multivariable y sus derivadas parciales. Estas ecuaciones se utilizan para formular problemas que involucran funciones de varias variables, y pueden resolverse manualmente, para crear una simulación por computadora.
Las EDP se pueden usar para describir una amplia variedad de fenómenos tal como el sonido, el calor, la electroestática, la electrodinámica, la fluidodinámica, la elasticidad, o la mecánica cuántica. Estos distintos fenómenos físicos se pueden formalizar en términos de EDP. Con ecuaciones diferenciales ordinarias es muy común realizar modelos unidimensionales de sistemas dinámicos, y las ecuaciones diferenciales parciales se pueden utilizar para modelos de sistemas multidimensionales. Las EDP tienen una generalización en las ecuaciones en derivadas parciales estocásticas.
Una ecuación diferencial es lineal cuando sus soluciones pueden obtenerse a partir de combinaciones lineales de otras soluciones. Si es lineal, la ecuación diferencial tiene sus derivadas con máxima potencia de 1 y no existen términos en donde haya productos entre la función desconocida y/o sus derivadas. La propiedad característica de las ecuaciones lineales es que sus soluciones tienen la forma de un subespacio afín de un espacio de soluciones apropiados, cuyo resultado se desarrolla en la teoría de ecuaciones diferenciales lineales.
Las ecuaciones diferenciales lineales homogéneas son una subclase de las ecuaciones diferenciales lineales para la cual el espacio de soluciones es un subespacio lineal, es decir, la suma de cualquier conjunto de soluciones o múltiplos de soluciones, es también una solución. Los coeficientes de la función desconocida, y sus derivadas en una ecuación diferencial lineal pueden ser funciones de la variable o variables independientes, si estos coeficientes son constantes, entonces se habla de ecuaciones diferenciales lineales a coeficientes constantes.
Se dice que una ecuación es lineal si tiene la forma:
|
Es decir:
Ejemplos:
Existen muy pocos métodos para resolver ecuaciones diferenciales no lineales en forma exacta; aquellas que se conocen es muy común que dependan de la ecuación teniendo simetrías particulares. Las ecuaciones diferenciales no lineales pueden exhibir un comportamiento muy complicado en intervalos grandes de tiempo, característica del caos. Cada una de las cuestiones fundamentales de la existencia, unicidad, y extendibilidad de las soluciones para ecuaciones diferenciales no lineales, y el problema bien definido de los problemas de condiciones iniciales y de contorno para EDP no lineales son problemas difíciles y su resolución en casos especiales se considera que es un avance significativo en la teoría matemática (por ejemplo la existencia y suavidad de Navier-Stokes). Sin embargo, si la ecuación diferencial es una representación de un proceso físico significativo formulado correctamente, entonces se espera tener una solución.
Las ecuaciones diferenciales no lineales suelen aparecer por medio de aproximaciones a ecuaciones lineales. Estas aproximaciones son válidas únicamente bajo condiciones restringidas. Por ejemplo, la ecuación del oscilador armónico es una aproximación de la ecuación no lineal de un péndulo que es válida para pequeñas amplitudes de oscilación (ver más adelante).
No existe un procedimiento general para resolver ecuaciones diferenciales no lineales. Sin embargo, algunos casos particulares de no linealidad sí pueden ser resueltos. Son de interés el caso semilineal y el caso cuasilineal.
Una ecuación diferencial ordinaria de orden n se llama cuasilineal si es «lineal» en la derivada de orden n. Más específicamente, si la ecuación diferencial ordinaria para la función puede escribirse en la forma:
Se dice que dicha ecuación es cuasilineal si es una función afín, es decir, .
Una ecuación diferencial ordinaria de orden n se llama semilineal si puede escribirse como suma de una función «lineal» de la derivada de orden n más una función cualquiera del resto de derivadas. Formalmente, si la ecuación diferencial ordinaria para la función puede escribirse en la forma:
Se dice que dicha ecuación es semilineal si es una función lineal.
Las ecuaciones diferenciales se describen por su orden, determinado por el término con derivadas de mayor orden. Una ecuación que contiene solo derivadas simples es una ecuación diferencial de primer orden, una ecuación que contiene hasta derivadas segundas es una ecuación diferencial de segundo orden, y así sucesivamente.
Ejemplos de orden en ecuaciones:
Es la potencia de la derivada de mayor orden que aparece en la ecuación, siempre y cuando la ecuación esté en forma polinómica, de no ser así se considera que no tiene grado.
A lo largo de esta sección, se encontrarán ecuaciones diferenciales escritas como: y sin aplicar ninguna distinción entre la primera y segunda ecuación.
Se supondrá que P y Q son funciones definidas en un rectángulo abierto en no nulas a la vez.
|
La importancia de la exactitud reside en que es una familia de curvas integrales deduciéndose derivando implícitamente respecto a x: , por tanto, satisface .
Un criterio que puede emplearse para saber con exactitud cuando una ecuación es diferencial exacta es partiendo que P y Q son funciones continuas y tienen derivadas parciales primeras continuas en R. Si la ecuación es diferencial exacta, entonces, se demuestra que en R.
Suponiendo que en R y buscamos F tal que P y . Integrando la ecuación P respecto a x: donde C(y) es la constante de integración dependiente de y.
Imponiendo la condición se obtiene: donde, aplicando , la parte derecha de la igualdad es una función de la variable y independiente de x.
Finalmente:
|
De esta manera se ha obtenido un método tras calcular las curvas integrales de una ecuación diferencial exacta demostrando el teorema enunciado anteriormente.
En el primer grupo de ejemplos, sea u una función desconocida que depende de x, y c y ω son constantes conocidas. Observar que tanto las ecuaciones diferenciales ordinarias como parciales pueden clasificarse como lineales y no lineales.
Una solución está dada por
En el siguiente grupo de ejemplos, la función desconocida u depende de dos variables x y t o x e y.
Sea la ecuación diferencial de primer orden donde P y Q son dos funciones continuas en el abierto .
Se dice que la ecuación es una ecuación diferencial exacta si existe una función potencial definida en B tal que:
|
Sea además una ecuación diferencial exacta abierto y una función potencial de ésta, entonces, toda solución de la ecuación cuyo grafo esté en B satisface la ecuación
1° Paso: La resolución de ecuaciones diferenciales no es como aquellas resoluciones de las ecuaciones algebraicas. Puesto que a pesar de que en ocasiones sus soluciones son poco claras, también puede ser de interés si estas son únicas o existen.
Para problemas de primer orden con valores iniciales, el teorema de existencia de Peano nos da un conjunto de condiciones en el cual la solución existe. Para cualquier punto dado en el plano xy, y definida una región rectangular , tal que y está en el interior de . Si tenemos una ecuación diferencial y la condición que cuando , entonces hay una solución local a este problema si y son ambas continuas en . La solución existe en algún intervalo con su centro en . La solución puede no ser única. (Ver Ecuación diferencial ordinaria para otros resultados.)
Sin embargo, esto solo nos ayuda con problemas de primer orden con condiciones iniciales. Supongamos que tenemos un problema lineal con condiciones iniciales de orden enésimo:
tal que
Para cualquier no nulo, si y son continuos sobre algún intervalo conteniendo , es único y existe.
Una solución de una ecuación diferencial es una función que al reemplazar a la función incógnita, en cada caso con las derivaciones correspondientes, verifica la ecuación, es decir, la convierte en una identidad. Hay tres tipos de soluciones:
La solución general es una solución de tipo genérico, expresada con una o más constantes. Es un haz de curvas. Tiene un orden de infinitud de acuerdo a su cantidad de constantes (una constante corresponde a una familia simplemente infinita, dos constantes a una familia doblemente infinita, etc). En caso de que la ecuación sea lineal, la solución general se logra como combinación lineal de las soluciones (tantas como el orden de la ecuación) de la ecuación homogénea (que resulta de hacer el término no dependiente de ni de sus derivadas igual a 0) más una solución particular de la ecuación completa
Si fijando cualquier punto por donde debe pasar necesariamente la solución de la ecuación diferencial, existe un único valor de C, y por lo tanto de la curva integral que satisface la ecuación, este recibirá el nombre de solución particular de la ecuación en el punto , que recibe el nombre de condición inicial.
Es un caso particular de la solución general, en donde la constante (o constantes) recibe un valor específico.
La solución singular es una función que verifica la ecuación, pero que no se obtiene particularizando la solución general. Es solución de la ecuación no consistente en una particular de la general, en otras palabras, esta solución no pertenece a la solución general pero aun así verifica la ecuación diferencial.
Sea la ecuación diferencial ordinaria de orden n , es fácil verificar que la función y= f(x) es su solución. Basta calcular sus derivadas de f(x), luego reemplazarlas en la ecuación , junto con f(x) y probar que se obtiene una identidad en x.
Las soluciones de E.D.O. se presentan en forma de funciones implícitamente definidas, y a veces imposibles de expresar de manera explícita. Por ejemplo
, que es solución de:
La forma más simple de todas las ecuaciones diferenciales es cuya solución es En algunos casos es posible resolverla por métodos elementales del cálculo. Sin embargo, en otros casos, la solución analítica requiere técnicas de variable compleja o más sofisticadas como sucede con las integrales:
y en la integral
no puede estructurase mediante un número finito de funciones elementales.
El estudio de ecuaciones diferenciales es un campo extenso en matemáticas pura y aplicada, en física y en la ingeniería. Todas estas disciplinas se interesan en las propiedades de ecuaciones diferenciales de varios tipos. La matemática pura se focaliza en la existencia y unicidad de las soluciones, mientras que la matemática aplicada enfatiza la justificación rigurosa de los métodos de aproximación de las soluciones. Las ecuaciones diferenciales juegan un rol muy importante en el modelado virtual de cualquier proceso físico, técnico, o biológico, por ejemplo, tanto el movimiento celeste, como el diseño de un puente, o la interacción entre neuronas. Las ecuaciones diferenciales que se plantean para resolver problemas de la vida real, no necesariamente son resolubles directamente, es decir, sus soluciones no tienen una expresión en forma cerrada. Cuando sucede esto, las soluciones se pueden aproximar usando métodos numéricos.
Muchas leyes de la física y la química se formalizan con ecuaciones diferenciales. En biología y economía, las ecuaciones diferenciales se utilizan para el modelado del comportamiento de sistemas complejos. La teoría matemática de las ecuaciones diferenciales se desarrolló inicialmente con las ciencias donde las ecuaciones se originaban y donde se encontraban resultados para las aplicaciones. Sin embargo, algunas veces se originaban problemas diversos en campos científicos distintos, de los cuales resultaban ecuaciones diferenciales idénticas. Esto sucedía porque, detrás de la teoría matemática de las ecuaciones, puede verse un principio unificado detrás de los fenómenos. Como por ejemplo, si se considera la propagación de la luz y el sonido en la atmósfera, y de las ondas sobre la superficie de un estanque. Todos estos fenómenos pueden describirse con la misma ecuación en derivadas parciales de segundo orden, la ecuación de onda, la cual nos permite pensar a la luz y al sonido como formas de onda, y en forma similar a las ondas en el agua. La conducción de calor, la teoría que fue desarrollada por Joseph Fourier, está gobernada por otra ecuación en derivadas parciales de segundo orden, la ecuación de calor. Resulta que muchos procesos de difusión, aunque aparentan ser diferentes, están descritos por la misma ecuación. La ecuación de Black-Scholes en las finanzas, está por ejemplo, relacionada con la ecuación del calor.
Siempre que se conozca la fuerza actuante sobre una partícula, la Segunda ley de Newton es suficiente para describir el movimiento de una partícula. Una vez que están disponibles las relaciones independientes para cada fuerza que actúa sobre una partícula, se pueden sustituir en la segunda ley de Newton para obtener una ecuación diferencial ordinaria, la cual se denomina ecuación de movimiento.
Las ecuaciones de Maxwell son un conjunto de ecuaciones en derivadas parciales que, junto con la ley de la fuerza de Lorentz , forman los fundamentos de la electrodinámica clásica, óptica clásica, y la teoría de los circuitos eléctricos. Estos campos se volvieron fundamentales en las tecnologías eléctricas, electrónicas y de comunicaciones. Las ecuaciones de Maxwell describen cómo los campos eléctrico y magnético se generan alterando uno y otro por cargas y corrientes eléctricas. Estas ecuaciones deben su nombre al físicomatemático escocés James Clerk Maxwell, quien publicó sus trabajos sobre estas ecuaciones entre 1861 y 1862.
Las ecuaciones de campo de Einstein (conocidas también como "ecuaciones de Einstein") son un conjunto de diez ecuaciones en derivadas parciales de la teoría de la relatividad general donde se describe la interacción fundamental de la gravitación como un resultado de que el espacio-tiempo es curvado por la materia y la energía. Publicado por primera vez por Einstein en 1915 como una ecuación tensorial, las ecuaciones equiparan una curvatura espacio-tiempo local (expresada por el tensor de Einstein) con la energía y momentum local dentro del espacio-tiempo (expresado por el tensor de energía-impulso).
En la mecánica cuántica, el análogo a la ley de Newton es la Ecuación de Schrödinger (una ecuación en derivadas parciales) para un sistema cuantificado (usualmente átomos, moléculas, y partículas subatómicas que pueden estar libres, ligadas, o localizadas). No es una ecuación algebraica simple, pero es, en general, una ecuación en derivadas parciales y lineal, que describe la evolución en el tiempo de una función de onda (también llamada una "función de estado").
Las ecuaciones de Lotka-Volterra, también conocidas como las ecuaciones predador-presa, son un par de ecuaciones diferenciales no lineales de primer orden frecuentemente utilizadas para describir la dinámica de sistemas biológicos en los cuales interactúan dos especies, una el predador, y la otra, la presa.
En torno al siglo XVIII se quería conocer el modo en que la población variaba para predecir posibles cambios. Es por ello que el economista T. Malthus propone lo siguiente:
|
Se impone que y con tamaño de la población en el tiempo t.
La variación de la población en un intervalo de tiempo es con .
Empleando el límite cuando se obtiene el modelo matemático:
Al resolver la ecuación anterior de variables separadas, considerando que en el tamaño de la población es , se obtiene que la población en el instante t está dada por . Esta equivalencia informa que, si la población se va extinguiéndose, si la población se mantiene constante y si la población crece exponencialmente.
Los valores y se calculan para cada población tomando dos medidas en dos instantes de tiempo distintos. Es importante observar que un pequeño error en el recuento de los datos nos lleva a distintos valores de las constantes o que pueden ser significativos y cambiar de forma considerable los resultados del modelo para tiempos grandes.
Tomando un ejemplo real. para la población en USA se obtiene:
Año | Población USA |
---|---|
1790 | |
1800 | |
1810 | |
1820 | |
1830 | |
1840 | |
1850 | |
1860 | |
1870 | |
1880 | |
1890 | |
1900 | |
1910 | |
1920 | |
1930 |
Verhulst propone unas modificaciones al modelo de Malthus:
|
Por tanto, el modelo matemático tiende a ser: y, tras realizar una integración de este modelo, se obtiene el tamaño de la población el cual es:
|
Para la población de USA se calculan de forma aproximada los valores de Verhulst:
, y .
Tras comparar los valores obtenidos con el modelo de Verhulst con la población real se aprecia que esta supera ligeramente a la cantidad predicha por el modelo y, por tanto, exista la posibilidad de tener que realizar alguna modificación en dicho modelo para poder predecir adecuadamente el tamaño de la población para tiempos futuros.