Introducción a las Ecuaciones Diferenciales Ordinarias | Lección #3
![](https://steemitimages.com/640x0/https://cdn.steemitimages.com/DQmddbQdNcYCDr7kAckDkry9MtXXGBfd1x1CPb7TJNimhNx/EDO.png)
![](https://steemitimages.com/640x0/https://cdn.steemitimages.com/DQmdwpTiZhCAht5GDF1Qe2wWL3FcdF6viaDH56XM38DPft4/SeparadorGMath22.png)
Ecuaciones Diferenciales Ordinarias de 1er Orden - Ecuaciones Exactas
Antes de introducir las ecuaciones exactas necesitamos recordar algunos detalles y resultados que se conocen de un curso de Análisis Real. Primeramente, veamos un caso particular; consideremos la función
![](https://steemitimages.com/640x0/https://cdn.steemitimages.com/DQmRJEw8byXSGpPpXYXMZkvFaCBSYkA6douzmoaTJxQRGNg/Img46.png)
la cual está definida por:
![](https://steemitimages.com/640x0/https://cdn.steemitimages.com/DQmQjJvZFnrQfw27AGQhHmRbezA6s2ZGtMRwJJA2CFTrURF/Img47.png)
así, la derivada parcial de f con respecto a la variable t, esta dada como sigue:
![](https://steemitimages.com/640x0/https://cdn.steemitimages.com/DQmRvvcLDGuVdbE9vbYq58PPaBcoVwzo3q6kh3rLRqfZFBb/Img49.png)
adicionalmente tenemos
![](https://steemitimages.com/640x0/https://cdn.steemitimages.com/DQmUkfVrB5x49i3PWMjEDvStvoL2wFBmA5DAV84ADstxQLe/Img50.png)
luego,
![](https://steemitimages.com/640x0/https://cdn.steemitimages.com/DQmc9FTHy8izcSZ38E9rjEFgmjdrx8WoUZkWgk2HZ7u9QDp/Img51.png)
en consecuencia,
![](https://steemitimages.com/640x0/https://cdn.steemitimages.com/DQmTPofGVepi5aazwwq2uUjEnCLch1xiVg7L5Dq6ig5gsY2/Img52.png)
De forma análoga la derivada parcial de f con respecto a x es:
![](https://steemitimages.com/640x0/https://cdn.steemitimages.com/DQmVm6aJRoQAL1R8UbpJiVjN6gDiWCatb9FT71a1rr6x6fJ/Img53.png)
con
![](https://steemitimages.com/640x0/https://cdn.steemitimages.com/DQmeD5MhTxnVmwAzUtyZBzzYkkj6SiRpokn4NHZq2ZbpCMC/Img54.png)
de esta manera,
![](https://steemitimages.com/640x0/https://cdn.steemitimages.com/DQmP74zu59y3MdoncJLwAwESKesR6ryoqNyFNiA6wN4b8qt/Img55.png)
por lo tanto, tenemos
![](https://steemitimages.com/640x0/https://cdn.steemitimages.com/DQmaEE2M8Wnt15nEjkKoPBvkhesdry7Dq6UG2Hmj2hLx6wj/Img56.png)
así, obtenemos finalmente que:
![](https://steemitimages.com/640x0/https://cdn.steemitimages.com/DQmSRJXgZ2jiWu2JC6zVuSajTwTkXvwvy139oG7ey9vvVCh/Img57.png)
Sin embargo, esto no ocurre de manera general, solo en el caso que la función no sea continua.
Por ello, es importante recordar los siguientes teoremas que usaremos para el desarrollo de este post.
![](https://steemitimages.com/640x0/https://cdn.steemitimages.com/DQmWncXNeXBtVkp1oZyphCEN2ArpmXdBpHtPVfAQkw95RcU/SeparadorGMath23.png)
Enunciaremos dos teoremas, cuyos resultados usaremos en la demostración del teorema que nos permitirá construir la solución de ecuaciones diferenciales ordinarias exactas. Las demostraciones las dejaremos para que el lector las pueda consultar para un mejor entendimiento del tema.
![](https://steemitimages.com/640x0/https://cdn.steemitimages.com/DQmTqA4We7B8wytNtgkk4KULoQq2CSBm6YjYR6EYYPCaedE/Img58.png)
Para una demostración de este teorema, consultar:
- Smirnov, Vladimir Ivanovich. A course of higher mathematics. 1964.
![](https://steemitimages.com/640x0/https://cdn.steemitimages.com/DQmY2jzGAciRNAmgmsYn3JXQMqmjH7Th4s2WQQ7wwRatRmx/Img59.png)
Para una demostración de este teorema, consultar:
- Apostol, Tom M. Mathematical analysis. 1974.
![](https://steemitimages.com/640x0/https://cdn.steemitimages.com/DQmdwpTiZhCAht5GDF1Qe2wWL3FcdF6viaDH56XM38DPft4/SeparadorGMath22.png)
Ahora vamos a introducir las ecuaciones diferenciales exactas. Sea
![](https://steemitimages.com/640x0/https://cdn.steemitimages.com/DQmXNT23xf4EM6voViEL8suSPPMW2ffbiXsmvwtfi3tQUQM/Img60.png)
una función continuamente diferenciable. Entonces la función
![](https://steemitimages.com/640x0/https://cdn.steemitimages.com/DQmYCQeBPntkPtwChV1BBcPkzbS2rCY8fCwgf2aayAcXUdh/Img61.png)
satisface la ecuación diferencial ordinaria siguiente:
![](https://steemitimages.com/640x0/https://cdn.steemitimages.com/DQmZLxEtpQ1PtTs6yZfTEPcJ18QJeKD5SrQK6SVKBwKh6XS/Img62.png)
la cual es una consecuencia inmediata de la aplicación de la regla de la cadena.
En otras palabras, si existe una función continuamente diferenciable
![](https://steemitimages.com/640x0/https://cdn.steemitimages.com/DQmXNT23xf4EM6voViEL8suSPPMW2ffbiXsmvwtfi3tQUQM/Img60.png)
tal que se tiene
![](https://steemitimages.com/640x0/https://cdn.steemitimages.com/DQmTWfmBZfVqqnp32Y2Jv9Ji2WxetMcUP9sQAsWyqwksHxx/Img63.png)
entonces, la función definida anteriormente, es la solución general de la ecuación diferencial siguiente:
![](https://steemitimages.com/640x0/https://cdn.steemitimages.com/DQmXa84GVFEGzuYW4B7zQxZDVXdqQtfFYYyDTvUKUQFrkwe/Img64.png)
Lo cual no lleva a enunciar la siguiente definición:
![](https://steemitimages.com/640x0/https://cdn.steemitimages.com/DQma69PvurB8sLXATHDmFd7GF5u4zpzxS2tcek1kyDa7YQa/Img65.png)
Para mostrar un algoritmo para resolver las ecuaciones exactas, debemos seguir la demostración del siguiente teorema:
![](https://steemitimages.com/640x0/https://cdn.steemitimages.com/DQmeuanDroemve2Lm9okS7cyCtSc8nDu4SJyESNSUmPQ5AY/Img66.png)
Demostración:
Supongamos primeramente que (2) es una ecuación diferencial exacta, así, existe una función
![](https://steemitimages.com/640x0/https://cdn.steemitimages.com/DQmXpaLYXC7dNVMoecdJiUmLKEHEVufzzo8fuNQUBbTpzS6/Img67.png)
continuamente diferenciable tal que:
![](https://steemitimages.com/640x0/https://cdn.steemitimages.com/DQmTe7NuL2LJU23NqiztXtVJVjgPxgdJRx9t9XDoipoYMXo/Img68.png)
luego,
![](https://steemitimages.com/640x0/https://cdn.steemitimages.com/DQma15g32msyqsdJ4Ps5vHuZbnQXHC1jMmSUWbZZZYmzMpr/Img69.png)
de esta manera por el teorema 1,
![](https://steemitimages.com/640x0/https://cdn.steemitimages.com/DQmZ8B8dtqLjdHZUKddEHYYCtXoeXsmhh3xLntth7rY4dgT/Img70.png)
Supongamos ahora que
![](https://steemitimages.com/640x0/https://cdn.steemitimages.com/DQmZ8B8dtqLjdHZUKddEHYYCtXoeXsmhh3xLntth7rY4dgT/Img70.png)
Debemos construir una función en el rectángulo R que satisfaga (3). Con el objetivo de comenzar a construir la idea que cual podría ser esta función, hagámoslo de manera inversa; es decir, supongamos por un momento que se verifica (3), entonces, integrando con respecto a t la primera igualdad de (3), deberíamos tener:
![](https://steemitimages.com/640x0/https://cdn.steemitimages.com/DQmWkXNiJY4Kuc3XZKyCZEfDu9YfwqXqG62eXtWYmpARTZS/Img71.png)
donde h es una función que solo depende de x.
Si derivamos ahora (4) con respecto a x, y usando la regla de Leibniz (teorema 2), tenemos:
![](https://steemitimages.com/640x0/https://cdn.steemitimages.com/DQmUpGGmdojZUrLAzkrK5v3bEmxcfxwLeJP9MthSYZasYZm/Img72.png)
ahora si usamos la segunda igualdad de (3), y usando (4) tenemos:
![](https://steemitimages.com/640x0/https://cdn.steemitimages.com/DQmexik45YGTFjo7BHjwZY21tEnMtBgtThoYgQsw31DJYsM/Img73.png)
En otras palabras, si tal función existe tal que las ecuaciones en (3) se verifican en el rectángulo R, entonces tal función debe ser la definida por la ecuación (5).
Ahora, para completar la demostración del teorema, debemos solamente chequear que la función definida por (5) debe satisfacer (3), lo cual en efecto ocurre, notemos primero que
![](https://steemitimages.com/640x0/https://cdn.steemitimages.com/DQmQnL9qpTQG5Py2MENhgp3Kbt2Y5AGRfHmuQKirF8qSfM3/Img74.png)
es una función que depende solo de x, ya que su derivada con respecto a t es
![](https://steemitimages.com/640x0/https://cdn.steemitimages.com/DQmbpGDvd91LRzd8GW9GzYg4yqgpBXSXeTS3rGedhKgR2hQ/Img75.png)
la cuál es idénticamente cero por hipótesis. En consecuencia, usando la ecuación dada en (5), y por el Teorema Fundamental del Cálculo tenemos:
![](https://steemitimages.com/640x0/https://cdn.steemitimages.com/DQmZrGNAqyfvxdRNUtw3Ai6fC1nJGwjDnFyadLsKVuprf1k/Img76.png)
Por otro lado, si usamos la regla de Leibniz (teorema 2) y el Teorema Fundamental del Cálculo de la ecuación dada en (5) obtenemos:
![](https://steemitimages.com/640x0/https://cdn.steemitimages.com/DQmfKN9q9V1X1EBQWWHoLD9YYF15rrEuAQT9yx9oMqfovRJ/Img77.png)
Con lo cuál se completa la demostración del teorema.
![](https://steemitimages.com/640x0/https://cdn.steemitimages.com/DQmWncXNeXBtVkp1oZyphCEN2ArpmXdBpHtPVfAQkw95RcU/SeparadorGMath23.png)
A continuación, presentaremos un ejemplo donde mostraremos como resolver una ecuación diferencial ordinaria exacta.
Ejemplo: Resolver el problema
![](https://steemitimages.com/640x0/https://cdn.steemitimages.com/DQmXJi96UjPsHTDcsMihwcAA2PQViwcLeaTcV1kWuUDBrkn/Img78.png)
Para resolver esta ecuación exacta, debemos seguir los pasos que se usaron en la demostración del teorema anterior, por ello sean
![](https://steemitimages.com/640x0/https://cdn.steemitimages.com/DQmSXVSYkibPGqfuzZBjzgia2LHvsKz3ub61AMrEVAa8XWs/Img79.png)
así, derivando M con respecto a x y a N con respecto a t, obtenemos:
![](https://steemitimages.com/640x0/https://cdn.steemitimages.com/DQmd3q7dYD9cyXLmy1Tx7GuHvbNEDXvmNienxFt1hMdddbE/Img80.png)
Entonces por el teorema anterior, la ecuación dada es exacta, luego existe una función que satisface lo siguiente:
![](https://steemitimages.com/640x0/https://cdn.steemitimages.com/DQmTiAvypjWoiGV4yeZXVac3KcsH8rUhex413DuAN9DBYsP/Img81.png)
siguiendo la demostración del teorema, tenemos:
![](https://steemitimages.com/640x0/https://cdn.steemitimages.com/DQmTsYwoUMp4L83mZgD9BoHQGZotL8tt8Sq6JXNwoouGhyq/Img82.png)
después derivando esta igualdad con respecto a x, y tomando en cuenta que
![](https://steemitimages.com/640x0/https://cdn.steemitimages.com/DQmYoeKTCQzAYb5yvmEf2yLi9nngvPeP9zSKbvhYnCV6MZY/Img83.png)
así tenemos:
![](https://steemitimages.com/640x0/https://cdn.steemitimages.com/DQmNehfpVmWgVPUM7BJC2MVqUyyuVsvGGW4C8Xpx7WnbxM7/Img84.png)
de lo cual podemos deducir que
![](https://steemitimages.com/640x0/https://cdn.steemitimages.com/DQmWmLmMqCCbyVY8CxDVLKwWGAhikfsnpwmBMetTgRuDmcF/Img85.png)
por lo tanto:
![](https://steemitimages.com/640x0/https://cdn.steemitimages.com/DQmVTtVDzf8DY3svWeMocwJWHFaVLqL2DMLMWfe8jTMXZD4/Img86.png)
Podemos entonces concluir que la solución general de la ecuación exacta es
![](https://steemitimages.com/640x0/https://cdn.steemitimages.com/DQmUFPHwYEcvQiWsxW1LvkpjDdXDokY2bCyQ16WudWxN9Vz/Img87.png)
![](https://steemitimages.com/640x0/https://cdn.steemitimages.com/DQmdwpTiZhCAht5GDF1Qe2wWL3FcdF6viaDH56XM38DPft4/SeparadorGMath22.png)
Queridos amigos y lectores, espero hayan disfrutado de esta tercera entrega de la serie de Introducción a las Ecuaciones Diferenciales, de igual manera los invito para la próxima entrega de esta serie, donde continuaremos tratando este tema tan interesante e importante y de mucha aplicación en la ciencia e ingeniería. Espero que esto pueda servir de apoyo a ustedes, hijos, nietos, sobrinos o amigos que quieran aprender un poco más del maravilloso mundo de las matemáticas y sus aplicaciones. No olviden dejar sus comentarios. Saludos y nos leemos pronto.
Si desean consultar un poco más del tema pueden usar las siguientes referencias.
- Beléndez, Augusto. Ecuaciones diferenciales ordinarias. Métodos Matemáticos de la Física. 1987.
- Hartman, Philip. Ordinary differential equations. (2002).
- Coddington, Earl A., and Norman Levinson. Theory of ordinary differential equations. McGraw-Hill Education, 1955.
También los invito a leer las anteriores publicaciones de está serie de Introducción a las Ecuaciones Diferenciales, que estoy seguro serán de su interés:
Lección #1 | Lección #2 |
---|
Las imágenes, separadores y las ecuaciones fueron creadas y editadas por @abdulmath con
, y GIMP.
![](https://steemitimages.com/640x0/https://cdn.steemitimages.com/DQmPqz2gevojVdxDQRk7wFj5uHqtD8VrmDKaAC3FYqrDKfJ/FinalGMath01.png)
Imagen elaborada por @abdulmath, diseñadas y editada con Karbon y GIMP.
como estas hermano
Saludos estimado, muy bien y tu como estas? un abrazo
Saludos @abdulmath, excelente, me traslade a una clase de Algebra en la universidad donde por primera vez escuche al profesor decir quieren que les demuestre que 1 es menor que 0;
Demostración por el absurdo, en ese momento pensé, yo mejor me voy a estudiar educación física jajajajaja
Hola @henjos, me acabas de hacer reir mucho, pues te paso igual que a mi, cuando me mandaron a demostrar en álgebra I, que si a+b=0 entonces a=-b. Pase una semana traumado, hasta que logre demostrarlo y entendí el porque había que demostrar todas las cosas que nos habían siempre dicho y nunca nos enseñaron a verificar. Me parece que en el liceo hay que enseñar más álgebra que cálculo. Saludos y un abrazo.
Chequeando tus manuscritos @abdulmath, comprensión más ampliada de las Diferenciales Ordinarias. Saludos amigo.
Hola amigo, gracias por tu comentario. Tratando de dar un aporte, para los que buscan aprender de este tema. Pronto con otros temas más avanzados de investigación ya en mi área. Aún me encuentro preparándolos. Saludos y un abrazo.
Congratulations @abdulmath! You have completed some achievement on Steemit and have been rewarded with new badge(s) :
Click on the badge to view your Board of Honor.
If you no longer want to receive notifications, reply to this comment with the word
STOP
To support your work, I also upvoted your post!
Do not miss the last post from @steemitboard!
Participate in the SteemitBoard World Cup Contest!
Collect World Cup badges and win free SBD
Support the Gold Sponsors of the contest: @good-karma and @lukestokes
Thanks for the support.