Introducción a las Ecuaciones Diferenciales Parciales | Lección #1
![](https://steemitimages.com/640x0/https://cdn.steemitimages.com/DQmWKCNG6g1MQju6Ws3Uc6bQtJVCSQw7hAYxNQ11bHSneVX/EDP.png)
![](https://steemitimages.com/640x0/https://cdn.steemitimages.com/DQmdZrNVnv8kJu3Yvu992mRJN9oHHLc5ctaqsoeSKKNz76p/SeparadorGMath31.png)
Introducción
El objetivo que persigo con escribir esta serie que denomine Introducción a la Ecuaciones Diferenciales Parciales, es hablar un poco de este fascinante tema de las matemáticas, como los son las ecuaciones diferenciales parciales, donde presentaremos el aspecto teórico, junto con las aplicaciones a algunos problemas de ciencias físicas e ingeniería. Para el lector que quiera aprender acerca de este tópico, es necesario que cuente con una formación matemática rigurosa, ya que algunas de las demostraciones o explicaciones las obviaremos con el fin de avanzar en las aplicaciones. Durante esta serie de publicaciones desarrollaremos los métodos de solución de problemas que involucran EDP en su formulación.
Por nombrar algunos de los conocimientos previos debemos mencionar: un curso de Cálculo Avanzado, donde se hace un extenso estudios de las funciones de varias variables, un curso de Ecuaciones Diferenciales Ordinarias (los interesados pueden leer la serie de Ecuaciones Diferenciales Ordinarias de mi autoría), conocer un poco de probabilidades para el estudio de algunas aplicaciones estocásticas, entre muchos otros, que iremos nombrando a medida que vayamos avanzando en el tema.
![](https://steemitimages.com/640x0/https://cdn.steemitimages.com/DQmd4hAEAqt6weUXybo42XWZLXgaCJXMst45sGAV62hRf4R/SeparadorGMath30.png)
Introducción a las de Ecuaciones Cuasilineales y Lineales de Primer Orden
Consideremos una función incógnita de, al menos, dos variables. Una ecuación que consista de esta función y algunas de sus derivadas parciales es lo que se llama una Ecuación Diferencial Parcial, o por sus siglas, EDP. Algunas de las notaciones que usaremos de ahora en adelante serán:
- Si
es un vector cuyas componentes
son todas números enteros positivos, entonces está recibe el nombre de multi-índice de orden
- Si dado un multi-índice entonces se define
otra forma de expresar lo anterior es usando la notación
- Si k es un entero no negativo, se define Dku(x) como el conjunto de todas las derivadas parciales
tales que
es decir, el conjunto de todas las derivadas parciales de orden k. Así,
- El módulo de Dku(x) se define como
- Si k=1, se tiene
lo cual es el gradiente de u y, usualmente, se denota por
- Si k=2, se tiene
la cual se le conoce como la matriz Hessiana. - El Laplaciano de u, muy conocido en EDP's, se define como
- Algunas veces usamos subíndices con los símbolos para denotar las variables que se están diferenciando. Por ejemplo, si
entonces:
Una vez vistas algunas de las notaciones que usaremos, vamos a definir una EDP, como sigue:
![](https://steemitimages.com/640x0/https://cdn.steemitimages.com/DQmRtx51kmkG5xNJbx8q31SHNKB72ZhvdcLvrDm4DagV5xo/equation15.png)
Observación: Al resolver una EDP, es necesario encontrar todas las funciones u(x) que satisfagan la ecuación (1), ahora bien, cuando nos referimos a encontrar las soluciones lo que queremos decir, es que debemos obtener soluciones simples y explícitas, o, en caso contrario, deducir la existencia y otras propiedades de las soluciones.
Una pregunta natural, es preguntarse: ¿qué es una solución? La respuesta a esa pregunta está en la siguiente definición:
![](https://steemitimages.com/640x0/https://cdn.steemitimages.com/DQmTfvVCb3jeAzZNTBtDTxpwRAUM6qAHsEdKPcM65qFCZMr/equation16.png)
Ahora bien, debemos de clasificar las EDP's de 1er orden, dicha clasificación la haremos según la forma que tenga la función F.
- La ecuación diferencial parcial dada en (1) se llama lineal si está se puede escribir de la forma general como:
donde f(x) y al son funciones dadas, cuando f(x) es idénticamente cero, la ecuación se llama homogénea. Por ejemplo, la ecuación de la forma
es una ecuación lineal. Como podemos apreciar, la la función F de la definición de EDP, es lineal en zx zy y z y los coeficientes dependen de las variables independientes x e y solamente. Un caso particular, una EDP escrita de la forma siguiente:
es una EDP lineal. - La ecuación diferencial parcial dada en (1) se llama semilineal si se puede escribir de la forma general como:
Por ejemplo, la ecuación de la forma
es una ecuación semilineal, notemos que los coeficientes de zx zy son funciones que depende solamente de las variables independientes. Un caso particular, una EDP escrita de la forma siguiente:
es una EDP semilineal. - La ecuación diferencial parcial dada en (1) se llama cuasilineal si se puede escribir de la forma general como:
por ejemplo, la ecuación de la forma
es una ecuación cuasilineal, notemos que la función F de la definición de la EDP's es una función lineal en las derivadas y los coeficientes de P(x,y,z), Q(x,y,z) y R(x,y,z) son funciones que depende solamente de las variables independientes x, y con la variable desconocida z. Un caso particular, una EDP escrita de la forma siguiente:
es una EDP cuasilineal.
![](https://steemitimages.com/640x0/https://cdn.steemitimages.com/DQmY8rTq9JpDqfsTWmYz7iZ31iTger2BVDLzbEqzj4JpWkt/SeparadorGMath32.png)
Curvas Integrales y Campos Vectoriales
Uno de los principales puntos antes de empezar a estudiar EDP's, es conocer los métodos para hallar curvas y superficies integrales de campos vectoriales. Además de ser importantes por la gran gama de aplicaciones en diferentes áreas de las matemáticas, física e ingeniería.
Definamos un campo vectorial, como sigue: Sea
![](https://steemitimages.com/640x0/https://cdn.steemitimages.com/DQmbHQZ7qqC5EtHGsTA62aC4rU7Yt6enrev8emJ5aLgjEAx/equation26.png)
un campo vectorial definido en un subconjunto
![](https://steemitimages.com/640x0/https://cdn.steemitimages.com/DQmewSLkKCEokUDfxC1PHjUBuWbW51c4LWvxerJSo3KDDyJ/equation27.png)
Entonces, para nuestro desarrollo solo consideraremos campos vectoriales que cumplan con las siguientes condiciones:
- El campo vectorial no sea idénticamente cero, es decir,
en otras palabras, las funciones componentes P(x,y,z), Q(x,y,z) y R(x,y,z) no se anulan de manera simultanea en cada punto de Omega. - Las funciones componentes P(x,y,z), Q(x,y,z) y R(x,y,z) sean de clase C1, es decir, que por lo menos sean continuamente diferenciable una vez.
Veamos algunos ejemplos de campos vectoriales:
- Sea el campo vectorial descrito por:
como podemos apreciar, este satisface las dos condiciones en cualquier subconjunto de R3, incluso si tomamos a el mismo. - Sea el campo vectorial descrito por:
este campo vectorial satisface las dos condiciones en todo el espacio, menos en el origen de coordenadas, por lo tanto el subjunto donde definiremos este campo vectorial es:
- Sea el campo vectorial siguiente:
este satisface las dos condiciones sobre todo el espacio, excepto en el eje z.
Una vez, definido lo que es un campo vectorial, nos faltaría definir a una curva integral, la cual la definiremos de la forma siguiente:
![](https://steemitimages.com/640x0/https://cdn.steemitimages.com/DQmUr3EbAXcdxF8Thfa7UjwhcXyQ8E9cmRBkaayKgnfobWz/equation33.png)
Muy bien, es de hacer notar, que en el campo de la física, una curva integral de un campo vectorial a menudo ea llamada una línea de campo. Si el campo vectorial es un campo de fuerza, las curvas integrales se les conoce como líneas de fuerza. Por ejemplo, si tenemos la influencia de un campo de fuerza ejercido por un imán, si colocamos limaduras de hierro alrededor, estas se agruparan a lo largo de las líneas de la fuerza del imán.
Ahora si el campo vectorial, es un campo de velocidad del flujo de un fluido, las curvas integrales de se le denominan líneas de flujo, y estos son los caminos de movimiento de las partículas de fluido.
Entonces, para hallar curvas integrales de los campos vectoriales, debemos entonces hacer que la tangente a la curva integral sea igual al campo vectorial, es decir,
![](https://steemitimages.com/640x0/https://cdn.steemitimages.com/DQmaZCJHVEvxYb5fR14aLQi2eEe2Vf5nyrN62G83dbxM2jL/equation34.png)
Vamos a describir el procedimiento para hallar dichas curvas integrales, para ello debemos recordar que la tangente a un curva, viene dado por:
![](https://steemitimages.com/640x0/https://cdn.steemitimages.com/DQmTafwgjfs1BfQk2oyD4VELsivDQCP1PV8sM4pmMiH7xDZ/equation35.png)
así, usando la ecuación anterior a esta, podemos entonces formar el siguiente sistema de ecuaciones:
![](https://steemitimages.com/640x0/https://cdn.steemitimages.com/DQmZDregakCUQHmKEFY7Se5LmhnBP1o2vykG1v33j3mPv9j/equation36.png)
de esta manera si resolvemos el sistema de ecuaciones dado en (2), estaríamos encontrando las curvas integrales asociadas al campo vectorial dado.
La manera de resolver el sistema dado en (2), es eliminando la dependencia sobre la variable t, lo cual podemos realizar ya que P(x,y,z), Q(x,y,z) y R(x,y,z) son independientes de la variable t.
Por lo tanto, si P(x,y,z) es distinto de cero, entonces tenemos:
![](https://steemitimages.com/640x0/https://cdn.steemitimages.com/DQmZBvbJVmoY2HsEwdbbVr8JKjj6xKKb6bwRD2EhYQzmfWx/equation37.png)
Si Q(x,y,z) es distinto de cero, entonces tenemos:
![](https://steemitimages.com/640x0/https://cdn.steemitimages.com/DQma4vFujVNRu3bLdt2P6gJ2bzqepNGmixZ3Cjmk1rSGzSo/equation38.png)
Si R(x,y,z) es distinto de cero, entonces tenemos:
![](https://steemitimages.com/640x0/https://cdn.steemitimages.com/DQmeu2nMn9fHMiHxMT4mbAuGnqazgXmDyvrfVvH5Ak9eZH5/equation39.png)
Luego los sistemas de ecuaciones dados en (3), (4) y (5) se pueden reescribir equivalentemente en la forma siguiente:
![](https://steemitimages.com/640x0/https://cdn.steemitimages.com/DQmTF5TTLSiP47KxVb4oLKr5Cs23r46PJk2sLC5wm4VQooL/equation40.png)
de allí deducimos que sus soluciones son superficies. Podemos entonces decir, que las curvas integrales de un campo vectorial se pueden considerar como las intersecciones de tales superficies.
Por ejemplo, describamos los sistemas de ecuaciones de los campos vectoriales que ya hemos vistos.
- El sistema de ecuaciones asociados al campo vectorial de nuestro primer ejemplo es:
- El sistema de ecuaciones asociados al campo vectorial de nuestro segundo ejemplo es:
- El sistema de ecuaciones asociados al campo vectorial de nuestro tercer ejemplo es:
Los ceros que aparecen en los denominadores no deberían de molestarnos, ni alarmarnos, pues si tomamos el tercer ejemplo, esto significa
![](https://steemitimages.com/640x0/https://cdn.steemitimages.com/DQmPKnZS8rFtjK6ZS4ftwNy7w4D43o5bGFPxuDBu1LBzwyM/equation44.png)
y por lo tanto una curva que sea solución de este ejemplo, debe estar en cualquier plano z=constante. Como lo podemos observar en la figura siguiente:
![](https://steemitimages.com/640x0/https://cdn.steemitimages.com/DQmZmz39kAsDwcgL3qShficJa4z1FPrn9Je6PoGXWcT8JqU/geogebra-export.png)
Imagen elaborado con GeoGebra, por @abdulmath.
![](https://steemitimages.com/640x0/https://cdn.steemitimages.com/DQmWncXNeXBtVkp1oZyphCEN2ArpmXdBpHtPVfAQkw95RcU/SeparadorGMath23.png)
Queridos amigos y lectores, espero hayan disfrutado y aprendido en esta primera entrega de la serie de Introducción a las Ecuaciones Diferenciales Parciales, de igual manera los invito para la próxima entrega de esta serie, donde continuaremos tratando este tema tan interesante y de mucha aplicación. 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. No olviden dejar sus comentarios. Saludos y nos leemos pronto.
Si desean consultar un poco más del tema pueden usar las siguientes referencias:
- Lang, Serge. Calculus of Several Variables. Springer Science & Business Media, 2012.
- Edwards, Charles Henry. Advanced Calculus of Several Variables. Courier Corporation, 2012.
- Dennemeyer, Rene. Introduction to Partial Differential Equations and Boundary Value Problems. 1968.
- Pinchover, Yehuda, and Jacob Rubinstein. An Introduction to Partial Differential Equations. Cambridge University Press, 2005.
Las imágenes, separadores y las ecuaciones fueron creadas y editadas por abdulmath usando software libre, , GIMP e Inskcape.
![](https://steemitimages.com/640x0/https://cdn.steemitimages.com/DQmPqz2gevojVdxDQRk7wFj5uHqtD8VrmDKaAC3FYqrDKfJ/FinalGMath01.png)
Imagen elaborada por @abdulmath, diseñadas y editada con Karbon y GIMP.
Una vez más, excelente trabajo!! Gracias ;);)
Gracias @adri25, por tu comentario y valoración. Saludos
Hola @abdulmath como siempre nos compartir información que generan mucho valor agregado a esta comunidad. Te deseo el mejor de los éxitos y mucho ánimos para que te mantengas produciendo.
Buena vibra.
Hola @angelica7, agradecido por tu comentario y valoración, que me motiva a seguir adelante con la labor que estoy cumpliendo, enseñar y divulgar el conocimiento. Saludos y un abrazo.
Un ejemplo de ese campo vectorial tangente pude ser una velocidad en el movimiento circular. Las ecuaciones diferenciales son de gran utilidad al momento de estudiar los procesos físicos y químicos en intervalos muy bien definidos.
Hola @azulear, agradecido por tu comentario, que es un valor agregado a este trabajo, sin lugar a dudas ese es un buen ejemplo, si miras la última figura, describe exactamente tu apreciación. Espero sigas disfrutando de las siguientes lecciones del tema, que serán con un día intermedio de descanso. Saludo y un abrazo.
Nuevamente te felicito Abdul. Tu trabajo en este portal tiene un valor agregado muy significativo para estudiantes y docentes, sin restar importancia a quienes se inician en el mundo de las matemáticas. En verdad, tienes material suficiente como para escribir tu propio libro. Yo sería uno en comprarlo. Saludos en la distancia, hermano.
Hola @reyito, agradecido por tu comentario y valoración de mi trabajo. Comentario que me invita a seguir esforzándome cada día más por entregar mejor calidad en mis publicaciones. Agradecido por tu visita. Saludos y un gran abrazo.
This post has been voted on by the steemstem curation team and voting trail.
There is more to SteemSTEM than just writing posts, check here for some more tips on being a community member. You can also join our discord here to get to know the rest of the community!
Thanks for the support
Hi @abdulmath!
Your post was upvoted by utopian.io in cooperation with steemstem - supporting knowledge, innovation and technological advancement on the Steem Blockchain.
Contribute to Open Source with utopian.io
Learn how to contribute on our website and join the new open source economy.
Want to chat? Join the Utopian Community on Discord https://discord.gg/h52nFrV
Una vez más excelente información y presentación apreciado Profe. Aplaudo tu entrega y dedicación
Saludos
Saludos @geadriana, es bueno sentir que a veces lo hacemos bien, y que el trabajo y esfuerzo es valorado. Agradezco mucho te tomaras el tiempo de leerme un rato. Un gran esfuerzo que se corona, con comentarios como el tuyo, de apoyo. Un abrazo Doctora.
Saludos @abdulmath, excelente trabajo... Apoyo total
Un Abrazo hermano
Gracias hermano @henjos, agradecido, un abrazo.
Saludos, Abdul. No hay duda, los Arabes inventaros el Algebra y Ud los Post mátematicos. SALUDOS
Saludos @soy-venezuelien, agradecido por tu comentario, me causo mucha risa tu comparación. Saludos y éxitos.
Esa es la idea. Te juro que no pensé jamas que un post de ecuaciones diferenciales parciales causase tantos votos. He subestimado a steemit. Y por supuesto a vuestra persona. SALUDOS