Resolución numérica de ecuaciones diferenciales

con derivadas parciales

1. Objetivo

Las presentes notas de clase tienen como objetivo el estudio, desde el análisis numérico, de las ecuaciones
diferenciales con derivadas parciales (EDP) y su aplicación a problemas de ingeniería.
Se supone como saberes previos el conocimiento de ecuaciones diferenciales con derivadas parciales. Entre
otros contenidos, se recomienda la revisión de: errores, derivación numérica, resolución de sistemas de ecuaciones
y manejo de software especíco

2. BIBLIOGRAFÍA:

Los distintos temas comprendidos en esta guía de estudio se presentan de manera introductoria, siendo
necesaria la consulta entre la bibliografía citada a continuación.
1. Burden R. y Faires D. , Análisis Numérico, Grupo Editorial Thomson.
2. S. Chapra y R. Canale , Métodos Numéricos para Ingenieros, cuarta edición, McGraw-Hill.
3. S. Nakamura , Análisis Numérico y Visualización Gráca con MatLab, Prentice-Hall.
4. Mathews, Fink , Métodos Numéricos con Matlab, Prentice-Hall.

1

. BIBLIOGRAFÍA: 1 3. . . . . Tipos de ecuaciones diferenciales en derivadas parciales 3 5. . . . . . . . 5 6.01-2016 2 . . . . . Método explícito . . . . . . . . . . . . . . 9 Matemática D1 . . . . . . Ecuaciones elípticas 6 7. . . . Método implícto . .1. . . . . . Ecuación de Laplace .1. . . . . . . . . . . . . . . . 8 8.1. . . Consistencia. . . .1. Introducción 3 4. . . . . .2. . . . . . . . . Método de Diferencias Finitas . . . . Ecuaciones parabólicas 7 8. . . . . . . . . . . . . . . . . . . . . . . . . . . Solución numérica de la ecuación de Laplace . . Soluciones numéricas de las EDPs 4 6. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Ob jetivo 1 2. .2. . Condiciones de contorno 3 6. . . . . . . . .UNIVERSIDAD NACIONAL DE LA PLATA Facultad de Ingeniería Índice 1. . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 7. . . . convergencia y estabilidad . . . . . . . . . . . . . . . . .1. . . . . . . . . . . . . . . . . . . . 6 7. . . . . 6 8. . . . . . . . .Rev: 1.

etc. Introducción Las ecuaciones diferenciales son una herramienta de suma utilidad para la ingeniería ya que permiten el modelado matemático de una variada cantidad de problemas físicos. Condiciones de contorno Para que la solución exista y sea única deben establecerse condiciones iniciales y/o de contorno al problema. A partir de una ecuación bidimensional lineal de segundo orden: ∂2u ∂2u ∂2u ∂u ∂u a 2 + b + c 2 +d +e + f u(x. En la ingeniería.Rev: 1.UNIVERSIDAD NACIONAL DE LA PLATA Facultad de Ingeniería 3. se pueden diferenciar tres tipos de condiciones de contorno: Condiciones de Dirichlet: en este caso se supone conocido el valor de la función u(x. o en una parte Γ1 de la frontera del problema. La resolución exacta de estas ecuaciones es posible obtenerla para casos sencillos. uidos (líquidos y gases). que muchas veces no son representativos del problema físico que se pretende modelar. y) un valor prejado en la frontera. como se representa en la gura 1. se busca la solución u(x. Sea u(x.01-2016 3 . escurrimientos de uidos. materiales en fundición y otros materiales. y) incógnita en el contorno o frontera Γ. representándose en una ecuación de la siguiente forma: f (x. transferencia de calor. A la ecuación diferencial se deberán adicionar condiciones de borde (condiciones iniciales y/o condiciones de frontera) de manera de hallar una solución particular de la ecuación de interés para el problema de ingeniería que se esté abordando. uxx . y). Tipos de ecuaciones diferenciales en derivadas parciales Las ecuaciones diferenciales en derivadas parciales representan el modelo matemático de muchos problemas de ingeniería como la mecánica de sólidos continuos. 5. Suponiendo que la EDP posea dos variables. y. Las ecuaciones elípticas describen problemas de equilibrio o estacionarios. · · · ) Donde: ∂u ∂u ∂2u ux = uy = uxx = ∂x ∂y ∂x2 son las derivadas parciales intervinientes. y) Matemática D1 . y)|Γ1 = u(x. ux . el concepto de medio continuo es utilizado en la representación de numerosos problemas de sólidos. 4. Sea un dominio Ω en el que es válida la EDP y sea Γ el contorno o frontera de ese dominio. El orden de la ecuación diferencial parcial (EDP) estará denido por el grado de la derivada parcial mayor. El modelo matemático de muchos problemas es de tipo continuo en el espacio y el tiempo. y) + g = 0 ∂x ∂x∂y ∂y ∂x ∂y procederemos a una clasicación de la siguiente manera: Si b2 − 4ac < 0 ecuaciones elípticas Si b2 − 4ac = 0 ecuaciones parabólicas Si b2 − 4ac > 0 ecuaciones hiperbólicas Las ecuaciones parabólicas e hiperbólicas representan en general problemas que dependen del tiempo. y) que satisfaga la ecuación f para todo (x. uy . y en general la representación es a través de ecuaciones diferenciales en derivadas parciales. Por esto se estudiarán algunos métodos numéricos con los que se pretende alcanzar una solución aproximada al problema. la condición de contorno de Dirichlet se puede expresar como: u(x. En este tipo de problemas se encuentran presentes funciones de varias variables y sus derivadas parciales.

UNIVERSIDAD NACIONAL DE LA PLATA Facultad de Ingeniería y(x) n Γ Ω x Figura 1 Condiciones de Neumann: se conoce el valor de la derivada de la función incógnita en el contorno o frontera del problema. se puede expresar como: . por ejemplo. Se identican estas condiciones cuando. la derivada de la incógnita según la normal n (gura 1) exterior a la frontera Γ. o en una parte Γ2 de ella toma un valor prejado q .

y) . ∂u(x.

.

=q ∂n .

Para los casos en que las condiciones de contorno involucran derivadas. Las desventajas que presenta el Método de Elementos Finitos son: La gran cantidad de información requerida para discretizar el dominio completo. chequear o modicar. si bien no suministran el resultado para absolutamente todos los puntos del dominio. singularidades o funciones que varían rápidamente. Matemática D1 . Los modelos pueden ser difíciles de de construir.01-2016 4 .Rev: 1. 6. lo hacen en un número discreto de aquellos que resulta suciente para los nes prácticos. Las condiciones de contorno dependerán del tipo de problema y de las variables de las que depende.Γ2 Condiciones mixtas: son una combinación lineal de las dos primeras. En estos casos resulta particularmente útil la aplicación de Métodos Numéricos de solución que. Cada uno de estos métodos plantea un esquema de discretización del dominio que lo caracteriza y además encierra determinadas limitaciones presentando algunas dicultades. resulta necesario utilizar puntos externos cticios. Soluciones numéricas de las EDPs Las soluciones analíticas de las Ecuaciones Diferenciales Parciales (EDPs) para una determinada geometría y condiciones de contorno pueden resultar engorrosas y en la mayoría de los casos imposibles de obtener. Los resultados que se obtienen son poco precisos cuando los problemas involucran funciones discontinuas. Los inconvenientes que presentan las técnicas de diferencias nitas son: La grilla regular de diferencias nitas que se utiliza en la discretización es incapaz de reproducir con precisión todas las geometrías de los problemas a resolver (fundamentalmente cuando se trata de contornos curvos). Entre los métodos numéricos más difundidos para la resolución de las EDPs se encuentran los de Diferencias Finitas y de Elementos nitos.

j+1 j+1 j+1 i-1 i i+1 j j j i-1 i i+1 j-1 j-1 j-1 i-1 i i+1 Figura 2 Si u(x. Teniendo en cuenta las condiciones iniciales y las condiciones de contorno. yj ) en los puntos de la grilla discreta. si la ecuación diferencial contiene derivadas primeras. cuyas expresiones son las siguientes: uji+1 − uji . la aplicación de esta aproximación conduce a un sistema de ecuaciones algebraicas. El segundo paso consiste en expresar las derivadas por sus correspondientes aproximaciones. Sobre cada uno de estos puntos. El primer paso consiste en la construcción de una grilla discreta del dominio de la EDP a partir de la elección de un paso de discretización de cada variable como se esquematiza en la gura 2. cuya solución exacta es la solución aproximada de la ecuación en diferencias parciales.1. y) es la solución de la ecuación diferencial se calculará la aproximación u(xi .UNIVERSIDAD NACIONAL DE LA PLATA Facultad de Ingeniería 6. Método de Diferencias Finitas En este método se aproximan las derivadas mediante desarrollos en series de Taylor truncadas y se las aplica en un número discreto de puntos del dominio. estas aproximaciones pueden realizarse de tres maneras distintas: Cuando la derivada se reemplaza por la diferencia nita de las soluciones en el nodo de interés y en el nodo siguiente la aproximación dada por la diferencia se llama hacia delante (forward dierence aproximation ). la aplicación de estas aproximaciones conduce a una ecuación algebraica representativa de la ecuación en diferencias parciales que gobierna el fenómeno.

j .

y) .j ∂u(x.

.

y) . ∂u(x.

.

uj+1 i − uji ≈ ≈ ∂x .

i ∆x ∂y .

i ∆y Cuando la derivada se reemplaza por la diferencia nita de las soluciones en el nodo de interés y en el nodo anterior la aproximación dada por la diferencia se llama hacia atrás (backward dierence aproximation ). cuyas expresiones son las siguientes: uji − uji−1 .

j .

j ∂u(x. y) .

.

y) . ∂u(x.

.

uji − uj−1 i ≈ ≈ ∂x .

i ∆x ∂y .

cuyas expresiones son las siguientes: uji+1 − uji−1 .i ∆y Cuando la derivada se reemplaza por la diferencia nita de las soluciones en el nodo anterior y en el nodo siguiente la aproximación dada por la diferencia se llama centrada (centred dierence aproximation ).

j .

y) .j ∂u(x.

.

y) . ∂u(x.

.

uj+1 i − uij−1 ≈ ≈ ∂x .

i 2 ∆x ∂y .

i 2 ∆y Matemática D1 .01-2016 5 .Rev: 1.

UNIVERSIDAD NACIONAL DE LA PLATA Facultad de Ingeniería Adoptando este último tipo de aproximación (centrada) para la derivada segunda. las expresiones resultantes son las siguientes: .

j .

y) .j ∂ 2 u(x.

.

uji−1 − 2 uji + uji+1 ∂ 2 u(x. y) .

.

uj−1 i − 2 uji + uj+1 i ≈ ≈ ∂x2 .

i ∆x2 ∂y 2 .

Consistencia. de segundo orden. la aplicación de la molécula de cálculo en todos los nodos internos de la grilla permitirá la construcción de un sistema de ecuaciones lineales que junto al empleo de las condiciones de borde del problema permite obtener una aproximación de la variable de interés en cada punto de la grilla. las ecuaciones de ondas y difusión). si en el límite para el que tanto ∆x como ∆y tienden a cero. 7. por ejemplo.01-2016 6 . 6. de tipo estacionario o de equi- librio. lineal. como se describe en secciones posteriores y son conocidos como moléculas o stencil. se introducen errores de redondeo.1. tales como las de Poisson y de Laplace. Estos esquemas. generalmente se expresan de forma gráca. pero no homogénea. y) ∂x2 ∂y f 6= 0 : P oisson que representa el comportamiento de una variable u en un dominio plano (x. convergencia y estabilidad El sistema de ecuaciones algebraicas generado por la discretización se dice consistente con la EDPs original. y). La ecuación de Poisson es también una ecuación bidimensional. el error de truncado también tiende a cero.i ∆y 2 Se utiliza signo ≈ en lugar del signo = ya que las aproximaciones dadas involucran un cierto error producto de no considerar todos los términos de la expansión en series de Taylor (truncado). lineal. proveniente del idioma inglés. de esta forma se obtiene un esquema de cálculo que debe ser aplicado en cada nodo interno de la grilla construida. gravitatorios o de velocidad. el sistema de ecuaciones algebraicas obtenido resulta equivalente a la EDPs en cada punto de la grilla. Cuando el efecto acumulativo de todos estos errores resulta despreciable el método para llegar a la solución del sistema se dice que es estable. y) a partir de la elección de un valor para ∆x y uno para ∆y de forma tal que:  xi+1 = xi + ∆x yj+1 = xj + ∆y Matemática D1 . que describe potenciales eléctricos. que pueden expresarse según la siguiente ecuación: ∂2u ∂2u  2 f = 0 : Laplace ∇ u= + 2 = f (x. Esto signica que el tipo de problemas que se considera para esta ecuación no va a incluir condiciones iniciales (a diferencia de lo que ocurre con. 7. Una vez escogidos los esquemas de derivación que se utilizaran se procede a discretizar la EDP que se desea resolver. o procesos de difusión en los que se ha alcanzado un equilibrio térmico.Rev: 1. homogénea y de coecientes constantes. Ecuaciones elípticas Las ecuaciones elípticas representan problemas no dependientes del tiempo. 7. Solución numérica de la ecuación de Laplace Se discretiza el dominio continuo (x. La ecuación de Laplace así expresada es una ecuación bidimensional. La ecuación de Laplace describe siempre procesos estacionarios en los que el tiempo no es una de las variables independientes. En cada paso computacional que tiende a la solución del sistema. de coecientes constantes. En la mayoría de los casos. de segundo orden.1.1. El sistema de ecuaciones algebraicas generado por la discretización se dice convergente si se acerca a la solución exacta de la EDPs para cada valor de las variables independientes cuando el espaciado de la grilla tiende a cero. Esto implica que cuando las dimensiones del espaciado de la grilla se hacen tender a cero.2. Ecuación de Laplace Dentro de las EDPs Elípticas se encuentran algunas que tienen múltiples aplicaciones en el campo de la ingeniería.

UNIVERSIDAD NACIONAL DE LA PLATA Facultad de Ingeniería Se escogen los esquema de derivación numéricos para las derivadas segundas respecto a cada variable: .

j .

j ∂ 2 u(x. y) .

.

y) . uji−1 − 2 uji + uji+1 ∂ 2 u(x.

.

uj−1 i − 2 uji + uj+1 i ≈ ≈ ∂x2 .

i ∆x2 ∂y 2 .

t) =C ∂t ∂x2 Donde u(x. t) ∂ 2 u(x. Se utilizará como notación el subíndice i para representar la variable dimensional x y el supraíndice n para representar la variable del tiempo t. Ecuaciones parabólicas Las ecuaciones parabólicas representan problemas dependientes del tiempo. utilizando las aproximaciones de las derivadas ∂2u ∂2u + 2 =0 ∂x2 ∂y uji−1 − 2 uji + uji+1 uij−1 − 2 uji + uj+1 i + =0 ∆x2 ∆y 2 Si se recoge ∆x = ∆y agrupando y reordenando se obtiene el siguiente esquema de 5 puntos uji−1 + uj−1 i − 4 uji + uji+1 + uj+1 i =0 Se puede representar de forma simbólica con la molécula que se muestra en la gura 3. t) es la variable (temperatura) en el dominio unidimensional x. Matemática D1 . i ∆y 2 Se discretiza la ecuación diferencial de Laplace. en general con condiciones ini- ciales en el tiempo t = 0. que es una propiedad dependiente del material.01-2016 7 . como se esquematiza en la gura 4. Un problema clásico de este tipo. es la ecuación de difución del calor unidimensional ∂u(x. Para la resolución aplicando el método de diferencias nitas se procede a discretizar las variables espacio y tiempo.Rev: 1. Según los puntos que se utilicen y el esquema de derivación empleado se obtendrá el método explicito o implícito que se describen a continuación. j+1 1 i j j j 1 4 1 i-1 i i+1 j-1 1 i Figura 3 8. y C es el coeciente de conduc- tibilidad térmica. también conocido como stencil.

UNIVERSIDAD NACIONAL DE LA PLATA Facultad de Ingeniería i=0 i=1 i=2 i=2 i=4 n=0 n=1 n=2 un i n=3 n=4 Figura 4 8. Método explícito La derivada primera respecto al tiempo y la derivada segunda respecto al espacio de la EDP se reemplazan por las aproximaciones numéricas siguientes: .1.

n .

n ∂u(x. y) .

.

un+1 i − uni ∂ 2 u(x. y) .

.

uni+1 − 2 uni + uni−1 ≈ ≈ ∂t .

i ∆t ∂y 2 .

Rev: 1.01-2016 8 .i ∆x2 reemplazando en la ecuación diferencial un+1 − uni un − 2 uni + uni−1 i = C i+1 ∆t ∆x2 se despeja el término un+1 i obteniendo el siguiente esquema de cálculo explícito: ∆t un+1 =C (un − 2 uni + uni−1 ) + uni i ∆x2 i+1 ∆t deniendo a λ = C y reagrupando se obtiene: ∆x2 un+1 i = λ uni+1 + (1 − 2 λ) uni + λ uni−1 Se puede representar de forma simbólica con la siguiente molécula: n n n λ 1-2λ λ i-1 i i+1 n+1 1 i Figura 5 1 El método explícito es condicionalmente estable. necesariamente se debe cumplir 0 ≤ λ ≤ . 2 Matemática D1 .

UNIVERSIDAD NACIONAL DE LA PLATA Facultad de Ingeniería 8. las aproximaciones de las derivadas son: . Método implícto En este caso. de forma que.2. para la aproximación de la derivada primera respecto al tiempo se utiliza una expresión hacia atrás.

n .

n ∂u(x. y) .

.

un − un−1 ∂ 2 u(x. y) .

.

un − 2 uni + uni−1 ≈ i i 2 ≈ i+1 ∂t .

i ∆t ∂y .

i ∆x2 reemplazando en la ecuación diferencial uni − un−1 un − 2 uni + uni−1 i = C i+1 ∆t ∆x2 operando algebraicamente se obtiene el siguiente esquema de cálculo:   ∆t n ∆t ∆t n −un−1 −C u + 1 + 2C uni − C u =0 i ∆x2 i+1 ∆x2 ∆x2 i−1 ∆t deniendo a λ = C se obtiene: ∆x2 −un−1 i − λ uni+1 + (1 + 2 λ) uni − λuni−1 = 0 Se puede representar de forma simbólica con la siguiente molécula: n-1 -1 i n n n -λ 1+2λ -λ i-1 i i+1 Figura 6 El método implícito no presenta condicionamientos para la estabilidad. Matemática D1 .Rev: 1.01-2016 9 .

Master your semester with Scribd & The New York Times

Special offer for students: Only $4.99/month.

Master your semester with Scribd & The New York Times

Cancel anytime.