Sie sind auf Seite 1von 8

FACULTAD DE CIENCIAS E E.A.P.

de: INGENIERA ELCTRONICA CON


INGENIERA MENCIN EN TELECOMUNICACIONES
MTODOS NUMRICOS CICLO: V

TEMA: Ecuaciones en derivadas parciales SEMANA: 08


TURNO: MAANA PABELLN: B AULA: 604 SEMESTETRE: 2017 - I

Ecuaciones en derivadas parciales

INTRODUCCION

El diferencial total de una funcin diferenciable de varias variables se define por:

u u u u
du dt dx dy .......... dz
t x y z
Las ecuaciones diferenciales ordinarias vinculan las derivadas de funciones de una variable. Los
mtodos estudiados para EDOs no son en general aplicables a las ecuaciones en derivadas
parciales (EDP).

La solucin numrica de las EDP es toda una disciplina; los problemas de mecnica de los
fluidos, transmisin de calor, clculo de tensiones y deformaciones en slidos, etc. son
expresados en trminos de una EDP.

Las grandes exigencias planteadas al hardware en la resolucin de EDPs han provocado que los
mtodos y algoritmos traten de explotar al mximo las particularidades del problema.

Por ello, existen textos completos sobre tcnicas particulares, trucos, etc. muy vinculadas al
problema especfico. Esta situacin, que podra interpretarse como negativa, muestra el inters
y la vigencia de las investigaciones sobre el tema.

Del conjunto de todas las posibles EDP, destacan las EDP de segundo orden, por modelar un
grupo importante de fenmenos. Su forma general es (en el caso bidimensional)

2 2 2
A 2
B C 2
D E F S
x x y y x y

Definiciones.- Si A,B,C,...S, etc. no son funciones de la ecuacin se dice lineal.


Complementariamente, la EDP se califica de acuerdo a relaciones entre sus coeficientes,

Si

B 2 4 AC 0 elptica

B 2 4 AC 0 parablica

B 2 4 AC 0 hiperblic a

Lic.: Miguel ngel Tarazona Giraldo E_MAIL. mtarazona@uch.edu.pe


Web: http://jacobiperu.com/ 999685938
Pgina 1 de 8
FACULTAD DE CIENCIAS E E.A.P. de: INGENIERA ELCTRONICA CON
INGENIERA MENCIN EN TELECOMUNICACIONES
MTODOS NUMRICOS CICLO: V

Las EDP elpticas aparecen en problemas estacionarios de transmisin de calor, difusin de


partculas o vibracin de una membrana.

Las ecuaciones parablicas tpicamente resultan de analizar la evolucin temporal de los


problemas mencionados para ecuaciones elpticas, y otros.

Las ecuaciones de tipo hiperblico son comunes en el anlisis de transporte de masa en fluidos,
fenmenos ondulatorios y otros procesos.

APROXIMACIN DE LAS DERIVADAS PARCIALES

Para la solucin de las EDP pueden utilizarse una gran variedad de tcnicas. Entre otras tcnicas
pueden mencionarse, los mtodos de diferencias finitas, los mtodos de elementos finitos, los
mtodos de volmenes finitos, los mtodos espectrales, etc.

Todos ellos tienen defensores y detractores, en algunos casos irreconciliables. En realidad, cada
uno de ellos puede ser el mejor segn la aplicacin que se considere. Por ser el ms sencillo, y
no requerir transformar la EDP, se analizar el mtodo de las diferencias finitas (MDF).

El MDF se basa en propiedades de la expansin en serie de Taylor. Requiere cierta regularidad


en la grilla de trabajo, lo que complica de cierta manera el tratamiento de geometras
irregulares.

La idea bsica ya fue presentada. Consiste en aproximar la derivada parcial por cocientes
incrementales.

u u x x u x
ux lim
x x 0 x

Para x finito, y u x suficientemente regular

u x x u x x
u x u xx .....
x 2

La aproximacin de u x se dice de primer orden, y se denota 0x si

u x x u x
ux 0x
x
El uso del cociente incremental no es ms apropiado que otras opciones. Por ejemplo:
u x x u x x
ux
2 x

0 x 2
Ms en general, y para una funcin definida sobre una red (tambin denominada grilla, retcula,
etc.) uniforme (o sea, con x constante), podra escribirse

u x i aui bui1 cui2 ......


Error x p
x
Supngase que se utilizan slo los primeros tres sumandos.
Lic.: Miguel ngel Tarazona Giraldo E_MAIL. mtarazona@uch.edu.pe
Web: http://jacobiperu.com/ 999685938
Pgina 2 de 8
FACULTAD DE CIENCIAS E E.A.P. de: INGENIERA ELCTRONICA CON
INGENIERA MENCIN EN TELECOMUNICACIONES
MTODOS NUMRICOS CICLO: V

Desarrollando por Taylor cada una de las expresiones

x 2
u xx i x u xxx i .......
3
u i 1 u i xu x i
2 6

u i 2 u i 2xu x i 2x 2 u xx i x 3 u xxx i .......


4
3

a b c ui 2c bxu x i 4c b x u xx i 0x 3
2

u x i 2
x
Imponiendo a b c 0 ; 2c b 1; 4c b 0 a 1.5,b 2, c 0.5

3ui 4ui 1 ui 2
u x i
2x

0 x 2

En este caso, la bsqueda se orient a una expresin explcita. Podra haberse intentado una
u i 1 u i
expresin implcita u x i u x i 1 2
x

0 x 2 que es de dos puntos y de segundo

orden.

Por lo que los valores de u x resultan de resolver un sistema, en el cual todos los valores
funcionales de la grilla intervienen.

Con tres puntos, se puede lograr una estimacin de cuarto orden

u i 1 u i 1
u x i 1 4u x i u x i 1 3
x

0 x 4

Los esquemas implcitos tienen como ventaja el mayor orden de aproximacin frente a un
equivalente explcito. Como contraparte, exigen resolver un sistema de ecuaciones intermedio.
Los esquemas implcitos tambin son denominados Hermitianos.

ANLISIS DE LOS ESQUEMAS NUMRICOS

Hasta el momento, se ha insistido en la forma de aproximar al mayor orden posible una


ecuacin diferencial con una ecuacin en diferencias. Ello no garantiza que el resultado sea
"aceptable", en un sentido amplio. Para precisar conceptos, es necesario formular algunas
definiciones:

Definiciones

CONSISTENCIA: Un esquema en diferencias se dice consistente si la ecuacin discretizada


tiende a la ecuacin diferencial cuando x , y , t , etc. tienden a cero.

Esto es relativamente fcil de verificar, dado que plantear el desarrollo en serie de Taylor es
siempre posible.
Lic.: Miguel ngel Tarazona Giraldo E_MAIL. mtarazona@uch.edu.pe
Web: http://jacobiperu.com/ 999685938
Pgina 3 de 8
FACULTAD DE CIENCIAS E E.A.P. de: INGENIERA ELCTRONICA CON
INGENIERA MENCIN EN TELECOMUNICACIONES
MTODOS NUMRICOS CICLO: V

ESTABILIDAD: El esquema se dice estable si la diferencia entre la solucin exacta y la


numrica permanece acotada n t , con t fijo, y siendo adems la cota independiente de n.

Es decir,

n u in u xi , n t k t fijo

Esta condicin garantiza que los errores (por ejemplo, los iniciales) no se amplifican con el
tiempo. Es una condicin para el esquema, y no para la ecuacin diferencial. Ntese que esto es
muy parecido a decir que las soluciones de la EDP homognea son acotadas en el tiempo.

En realidad, lo que interesa asegurar es que la solucin exacta y la aproximada se parezcan;


por ello se define un nuevo concepto, el de convergencia.

CONVERGENCIA: El esquema ser convergente, si x , t (fijos)

lim uin u ix, n t 0 para x ix, t n t fijos


x 0
t 0
i ,n

Se pueden vincular las dos primeras condiciones con la tercera, mediante el as llamado
Teorema de equivalencia de Lax. "Para un problema de valor inicial well posed con un esquema
de discretizacin consistente, la estabilidad es CN y S para la convergencia".

Por "well posed" se entiende un problema en el cual la solucin en todo punto del dominio
depende en forma continua de las condiciones iniciales y de borde; ello implica que pequeas
perturbaciones en stas, producen pequeas discrepancias en la solucin.

ECUACIONES PARABLICAS

Son ejemplos de este tipo de ecuacin los fenmenos transitorios de transmisin de calor en
slidos, o de difusin molecular.

La forma ms simple (unidimensional) del problema sera:

2
S x, t
t x2

der x, t

Se estudiarn a continuacin los esquemas tpicamente aplicados a esta tipo de EDP.

Euler hacia adelante (explcito):

Lic.: Miguel ngel Tarazona Giraldo E_MAIL. mtarazona@uch.edu.pe


Web: http://jacobiperu.com/ 999685938
Pgina 4 de 8
FACULTAD DE CIENCIAS E E.A.P. de: INGENIERA ELCTRONICA CON
INGENIERA MENCIN EN TELECOMUNICACIONES
MTODOS NUMRICOS CICLO: V

xi , t n1 xi , t n
der xi , t n
t
Nota: Se indica con un crculo negro los valores incgnita, y con un crculo blanco los ya
conocidos.

Euler hacia atrs (implcito):

xi , t n 1 xi , t n
der xi , t n 1
t

Crank-Nicholson (implcito)


Discretiza en x i , t n 1 ; es de segundo orden en t
2

xi , t n1 xi , t n 1
der xi , t n1 der xi , t n
t 2

En cualquiera de los esquemas, debe justificarse la convergencia. Como ello es dificultoso, se


intenta justificar la estabilidad.
Lic.: Miguel ngel Tarazona Giraldo E_MAIL. mtarazona@uch.edu.pe
Web: http://jacobiperu.com/ 999685938
Pgina 5 de 8
FACULTAD DE CIENCIAS E E.A.P. de: INGENIERA ELCTRONICA CON
INGENIERA MENCIN EN TELECOMUNICACIONES
MTODOS NUMRICOS CICLO: V

Para ello se puede aplicar el criterio de Von Neumann. El mismo es aplicable a ecuaciones
lineales con ; el dominio debe ser no acotado, x =cte. y que los coeficientes de la EDP sean
tambin constantes.

En estas hiptesis, si la condicin inicial es combinacin lineal de otras funciones, la solucin de


la EDP ser a su vez combinacin lineal de soluciones.

Una descomposicin apropiada es la de series de Fourier (en variable compleja)

1
P.ej 1 ei 2 e2i ..... m emi 1
1 z
Cada sumando de la serie est formado por un N real que multiplica a las funciones base
N m
xi , t n in Emn e
ji
(denominadas "modos" o "armnicos") N

m 1

m
ji
As, para el m-simo armnico in E mn e N
j 1

Para que el esquema sea estable, todos y cada uno de los modos debe permanecer acotado en
n 1
el tiempo, o sea, llamando G Em n
Em
n1
E
se tiene que G m n 1 m
Em N

G es llamado factor de amplificacin, y es en general, un nmero complejo. G depende de


x, t , , etc.

As, por ejemplo, para el esquema de Euler hacia adelante.

Se analiza la ecuacin homognea,


in1 in in1 2in in1
pues se estudia la perturbaci n a
t x 2
la solucin

in Emn e j i
E n 1

E n e j i

2 Emn e j i 1 2 e j i e j i 1 ; dividiendo por
E n e ji
t x t

2 sen2
2
n1
E m 1 t e j 2 e j G 1 2 t cos 1

n
Em x 2 x 2

Lic.: Miguel ngel Tarazona Giraldo E_MAIL. mtarazona@uch.edu.pe


Web: http://jacobiperu.com/ 999685938
Pgina 6 de 8
FACULTAD DE CIENCIAS E E.A.P. de: INGENIERA ELCTRONICA CON
INGENIERA MENCIN EN TELECOMUNICACIONES
MTODOS NUMRICOS CICLO: V

t t
En este caso, G es real, y cumple G 1 2 2 sen 2 1 4 2 1
2

2 x x

t t t 1
1 4 1 24
x 2 x 2 x 2 2

Se observa que, aun tendiendo a cero, no cualquier combinacin de t , x es admisible; el


esquema converge slo si se cumple la condicin.

El criterio de Von Neumann no es una CN CS. Se podra decir, a los fines prcticos, que se usa
como CN y S, pero hay casos que no la cumplen y sin embargo son convergentes (y no es CS
por los efectos de no linealidad, etc. no considerados).

Para el caso de Euler hacia atrs

in 1 in
t

x 2
n 1
i 1 2 in 1 in11

Nuevamente, se estudia un nico armnico

E n 1
E n ji

e 2 E n1 e j i 1 2e j i e j i 1 ;
t x

E n e j i
si de divide entre resulta:
t

E n1 t E n 1 E n 1 t
1 2cos 1 1 2 x 2 cos 1 1
E n x 2 E n E n
1
G 1 es incondicionalmente estable.
t
1 2 2 cos 1

x
0

Se puede ver que, para Crank-Nicholson,

t
1 1 cos
G x 2 1
t
1 1 cos
x 2

En general, G es un nmero complejo.

Lic.: Miguel ngel Tarazona Giraldo E_MAIL. mtarazona@uch.edu.pe


Web: http://jacobiperu.com/ 999685938
Pgina 7 de 8
FACULTAD DE CIENCIAS E E.A.P. de: INGENIERA ELCTRONICA CON
INGENIERA MENCIN EN TELECOMUNICACIONES
MTODOS NUMRICOS CICLO: V

BIBLIOGRAFA
Nakamura - Mtodos numricos aplicados con software

Hirsh - Numerical computation of internal and external flows. I

REFERENCIAS
https://www.google.com.pe/search?q=files%20upc%20cohortejun%202013%20webnode%20es%20MA
TEMATICA%20PARA%20INGENIE

https://urmate.jimdo.com/c%C3%A1lculo-integral/

Lic.: Miguel ngel Tarazona Giraldo E_MAIL. mtarazona@uch.edu.pe


Web: http://jacobiperu.com/ 999685938
Pgina 8 de 8

Das könnte Ihnen auch gefallen