ESCUELA SUPERIOR POLITECNICA DEL LITORAL

APLICACIN DE ANALISIS NUMERICO

GRUPO 26
FABRICIO CASTAEDA CHILUIZA CARLOS PROAO MARQUEZ FABIAN PROAO MENENDEZ

6 DE FEBRERO DE 2009

Ecuacin en derivadas parciales

En matemticas una ecuacin en derivadas parciales (a veces abreviado como EDP) es una relacin entre una funcin u de varias variables independientes x,y,z,t,... y las derivadas parciales de u respecto de esas variables. Las ecuaciones en derivadas parciales se emplean en la formulacin matemtica de procesos de la fsica y otras ciencias que suelen estar distribuidos en el espacio y el tiempo. Problemas tpicos son la propagacin del sonido o del calor, la electrosttica, la electrodinmica, la dinmica de fluidos, la elasticidad, la mecnica cuntica y muchos otros. Introduccin Una ecuacin en derivadas parciales muy simple puede ser:

donde u es una funcin de x e y. Esta relacin implica que los valores de u(x, y) son completamente independientes de x. Por lo tanto la solucin general de esta ecuacin diferencial es:

donde f es una funcin arbitraria de y. La ecuacin diferencial ordinaria (Similar a la EDP, pero con funciones de una variable) anloga es

que tiene la siguiente solucin

Donde c es cualquier valor constante (independiente de x). Estos dos ejemplos ilustran que las soluciones generales de las ecuaciones diferenciales ordinarias se mantienen con constantes, pero las soluciones de las ecuaciones diferenciales en derivadas parciales generan funciones arbitrarias. Una solucin de una ecuacin en derivadas parciales generalmente no es nica; de esta forma se tienen que proporcionar condiciones adicionales de contorno capaces de definir la solucin de forma nica. Por ejemplo, en

el caso sencillo anterior, la funcin f(y) puede determinarse si u se especifica sobre la lnea x = 0. Notacin y ejemplos En las ecuaciones en derivadas parciales es muy comn denotar las derivadas parciales empleando sub-ndices (Notacin tensorial). Esto es:

Especialmente en la fsica matemtica, se suele preferir el operador nabla (que en

coordenadas cartesianas se escribe como

para las derivadas

espaciales y un punto ( ) para las derivadas que involucran el tiempo, por ejemplo para escribir la Ecuacin de onda (vase ms abajo) como (notacin matemtica) (notacin fsica) Solucin general y solucin completa Toda ecuacin en derivadas parciales de primer orden posee una solucin dependiente de una funcin arbitraria, que se denomina usualmente solucin general de la EDP. En muchas aplicaciones fsicas esta solucin general es menos importante que las llamadas soluciones completas. Una solucin completa es una solucin particular de la EDP que contiene tantas constantes arbitrarias independientes como variables independientes intervienen en la ecuacin. Por ejemplo la integracin de las ecuaciones del movimiento de un sistema mecnico mediante el mtodo basado en el ecuacin de Hamilton-Jacobi requiere una integral completa, mientras que la solucin general resulta menos interesante desde el punto de vista fsico. Existencia y unicidad

Aunque el asunto de la existencia y unicidad de las soluciones de las ecuaciones diferenciales ordinarias tiene una respuesta muy satisfactoria resumida en el teorema de Picard-Lindelf, el mismo asunto para las ecuaciones en derivadas parciales est lejos de estar satisfactoriamente resuelto. Aunque existe un teorema general, el teorema de Cauchy-Kovalevskaya, que afirma que para una EDP que es analtica en la funcin incgnita y sus derivadas tiene una nica solucin analtica. Aunque este resultado que parece establecer la existencia y unicidad de la soluciones, existen ejemplos de EDP de primer orden cuyos coeficientes tienen derivadas de cualquier orden (aunque sin ser analticas) pero que no tienen solucin (Lewy, 1957). Incluso si la solucin de una EDP existe y es nica, sta puede tener propiedades indeseables. Un ejemplo de comportamiento patolgico es la secuencia de problemas de Cauchy dependientes del parmetro n para la ecuacin de Laplace:

con condiciones inciales

Donde n es un entero. La derivada de u con respecto a y se aproxima a 0 uniformemente en x a medida que n se incrementa, pero la solucin es:

Esta solucin se aproxima a infinito si nx no es un entero mltiplo de para cualquier valor de y. El problema de Cauchy para la ecuacin de Laplace se denomina mal propuesto o no bien definido, puesto que la solucin no depende continuamente de los datos del problema. Estos problemas mal definidos no son usualmente satisfactorios para las aplicaciones fsicas. Clasificacin de las EDP de segundo orden Las EDP de segundo orden se clasifican habitualmente dentro de cuatro tipos de EDP que son de inters fundamental, a continuacin se dan ejemplos de estos cuatro tipos:

Ecuacin

Nombre

Tipo

Laplace

Elptica

Onda

Hiperblica

Difusin

Parablicas

Helmholtz

Elptica

Con mayor generalidad, si se tiene una ecuacin de segundo orden del tipo:

se dice que es elptica si la matriz a 0.

tiene un determinante mayor

se dice que es parablica si la matriz igual a 0.

tiene un determinante

se dice que es hiperblica si la matriz menor a 0.

tiene un determinante

PROBLEMA
La temperatura (x,t) de una varilla larga y delgada, de seccin transversal constante y de un material conductor homogneo est regida por la ecuacin unidimensional de calor. Si se genera calor en el material (por ejemplo, debido a la resistencia a la corriente o a la reaccin nuclear), la ecuacin se convierte en:
2ux2+ KrC=Kux , 0<x<l , 0<t,

donde l es la longitud, es la densidad, C es el calor especfico y K es la difusividad trmica de la varilla. La funcin r=rx,t,u representa el calor generado por unidad de volumen. Suponga que:
l=1.5 cm =10.6 gcm3 K=1.04 calcmdegs C=0.056 calgdeg,

y que
rx,t,u=5.0 calcm3s,

Si los extremos de la varilla se mantienen en 0C, entonces:

u0,t=ul,t=0 , t>0.

Suponga que la distribucin inicial de la temperatura est dada por

ux,0= sen xl , 0xl.

Aproximar la distribucin de la temperatura con h=0.15 y con k=0.0225.

SOLUCIN: Esta es una ecuacin diferencial parcial parablica, la misma que se resuelve mediante el siguiente algoritmo:
ij+1=1-22khij+ 2k12i+1j+i-1j i=1,m-1, j=1,2,

Como la condicin inicial ux,0= sen xl , 0xl , implica que para i=1,m estos valores pueden usarse en la anterior ecuacin para encontrar i1 para i=1,m-1. Las condiciones adicionales u0,t=ul,t=0 implican que 01=m1 =0, as que todas las componentes de la forma i pueden ser determinadas.

Este proceso se lo puede realizar mediante el siguiente algoritmo realizado en MATLAB:

clc % Para aproximar la solucion de la Ecuacion diferencial parcial % parabolica con condiciones de frontera % u(0,t) = u(l,t) = 0, 0 < t < T = max t, % y la concidicion inicial % u(x,0) = F(x), 0 <= x <= l: % % INPUT: puntofinal l; Tiempo maximo T; constante ALPHA; enteros m, N. % % OUTPUT: aproximaciones W(I,J) para u(x(I),t(J)) por cada % I = 1, ..., m-1 y J = 1, ..., N. syms('OK', 'FX', 'FT', 'ALPHA', 'M', 'N', 'M1', 'M2', 'N1'); syms('H', 'K', 'VV', 'I', 'W', 'L', 'U', 'J', 'T', 'Z'); syms('I1', 'FLAG', 'NAME', 'OUP', 'X', 's', 'x'); TRUE = 1; FALSE = 0; fprintf(1,'Este es el metodo de diferencias regresivas.\n'); fprintf(1,'Ingrese la funcion F(X) en terminos de x.\n'); fprintf(1,'Por ejemplo: sin(pi*x)\n'); s = input(' ','s'); F = inline(s,'x'); fprintf(1,'El punto inicial en el eje x es 0.\n'); OK = FALSE; while OK == FALSE fprintf(1,'Ingrese el punto final (maximo) en el eje x.\n'); FX = input(' '); if FX <= 0 fprintf(1,'Debe ser un numero positivo.\n');

else OK = TRUE; end; end; OK = FALSE; while OK == FALSE fprintf(1,'Ingrese el valor maximo de la variable tiempo T.\n'); FT = input(' '); if FT <= 0 fprintf(1,'Debe ser un numero positivo.\n'); else OK = TRUE; end; end; fprintf(1,'Ingrese la constante alpha.\n'); ALPHA = input(' '); OK = FALSE; while OK == FALSE fprintf(1,'Ingrese entero m = numero de intervales en eje X\n'); fprintf(1,'y N = numero de intervalos de tiempo - en lineas separadas.\n'); fprintf(1,'Nota, m debe ser mayor a 3.\n'); M = input(' '); N = input(' '); if M <= 2 | N <= 0 fprintf(1,'Los numeros no estan dentro del rango correcto.\n'); else OK = TRUE; end; end; if OK == TRUE

W = zeros(1,M); L = zeros(1,M); U = zeros(1,M); Z = zeros(1,M); M1 = M-1; M2 = M-2; N1 = N-1; % PASO 1 H = FX/M; K = FT/N; VV = ALPHA*ALPHA*K/(H*H); % PASO 2 for I = 1 : M1 W(I) = F(I*H); end; % PASO 3 % PASO 3 through 11 solve a tridiagonal linear system % using Crout reduction L(1) = 1+2*VV; U(1) = -VV/L(1); % PASO 4 for I = 2 : M2 L(I) = 1+2*VV+VV*U(I-1); U(I) = -VV/L(I); end; % PASO 5 L(M1) = 1+2*VV+VV*U(M2); % PASO 6 for J = 1 : N % PASO 7

% current t(j) T = J*K; Z(1) = W(1)/L(1); % PASO 8 for I = 2 : M1 Z(I) = (W(I)+VV*Z(I-1))/L(I); end; % PASO 9 W(M1) = Z(M1); % PASO 10 for I1 = 1 : M2 I = M2-I1+1; W(I) = Z(I)-U(I)*W(I+1); end; end; % PASO 11 fprintf(1,'Escoja una forma de salida:\n'); fprintf(1,'1. Mostrar en pantalla\n'); fprintf(1,'2. Mostrar en archivo de texto\n'); fprintf(1,'Ingrese 1 o 2.\n'); FLAG = input(' '); if FLAG == 2 fprintf(1,'Ingrese el nombre del archivo de forma - drive:\\name.ext\n'); fprintf(1,'por ejemplo: A:\\OUTPUT.DTA\n'); NAME = input(' ','s'); OUP = fopen(NAME,'wt'); else OUP = 1; end; fprintf(OUP, 'METODO DE DIFERENCIAS REGRESIVAS\n\n');

fprintf(OUP, ' I X(I) W(X(I),%12.6e)\n', FT); for I = 1 : M1 X = I*H; fprintf(OUP, '%3d %11.8f %14.8f\n', I, X, W(I)); end; end; if OUP ~= 1 fclose(OUP); fprintf(1,'Output file %s created successfully \n',NAME); end;

Mediante este algoritmo se omiten diferentes operaciones que pueden resultar difciles.

Ahora, una vez ingresado los datos de este problema, obtenemos los siguientes resultados: METODO DE DIFERENCIAS REGRESIVAS I X(I) W(X(I),0.225) 0.12202050 0.23209678 0.31945381 0.37554048 0.39486663 0.37554048 0.31945381 0.23209678 0.12202050

1 0.15000000 2 0.30000000 3 0.45000000 4 0.60000000 5 0.75000000 6 0.90000000 7 1.05000000 8 1.20000000 9 1.35000000

Como resultado se nos muestra que la distribucin de temperatura en la varilla es de 0.12202050 deg (grados) Bibliografia

Jos Ignacio Aranda Iriarte (2008). apuntes de ecuaciones diferenciales II (EDPs). Universidad Complutense de Madrid.

R. Courant and D. Hilbert, Methods of Mathematical Physics, vol II. WileyInterscience, New York, 1962.

L.C. Evans, Partial Differential Equations, American Mathematical Society, Providence, 1998. ISBN 0-8218-0772-2

J. Jost, Partial Differential Equations, Springer-Verlag, New York, 2002. Hans Lewy (1957) An example of a smooth linear partial differential equation without solution. Annals of Mathematics, 2nd Series, 66(1),155-158.

Anlisis Numrico de Richard Burden