Captulo 1

Introduccin a las Ecuaciones en

Derivadas Parciales

- Las Ecuaciones Diferenciale Parciales (EDP) son modelos muy aproximados de

fenmenos fsicos.
- Generados a nes del siglo XVIII y comiensos del XIX
Ecuaciones, mtodos y teoremas llevan los nombres de sus descubridores: Euler,
Bernoulli, Navier-Stokes, Fourier, Gauss, Riemann, Green, Laplace, Poisson, Dirichlet y
Lagrange,entre otros ms.

Los tres pilares de la Ciencia Moderna

Realidad
#
Experimento validacion = contradiccion Teora (Modelo)
!
m validacion = contradiccion
Computacin
Computacin vs experimento

Costo de los experimentos

Control de error (de discretizacin) con anlisis matemtico vs control de errores

de medida

La simulacin solo puede producir lo que esta en el modelo, mientras que el ex-
perimento no depende del modelo, sino de la realidad.

1.1. Ecuaciones de difusin

1.1.1. La ecuacin del calor.
Consideramos un medio fsico cuya densidad es (x); que est sometida a fuentes de
calor F (x; t); donde (x; t) 2 R3 xR:
Denotamos por u (x; t) la temperatura que en el instante t hay en el punto x;
Teniendo en cuenta:

1
2CAPTULO 1. INTRODUCCIN A LAS ECUACIONES EN DERIVADAS PARCIALES

@u @u @u
Gradiente ru = ; ; ;
@x1 @x2 @x3
Ley de Fourier j = k (x) ru (x; t) ; k (x) 0
Tenemos la ecuacion del calor

@u (x; t)
div (k (x) ru (x; t)) + F (x; t) c (x) (x) =0 (1)
@t

donde,
j ujo trmico
k conductividad trmica
c (x) calor especico del medio
Si suponemos que en la ecuacin (1); k; ; c son constantes,obtenemos

@u X
3
@2u
= G (x; t) (2)
@t i=1
@x2i

Ahora planteamos el problema de valor inical o problema de Cauchy:

Dada la condicin inicial
u (x; 0) = u0 (x)

se puede predecir la temperatura en el futuro, ie, en t > 0: Esto signica encontrar

u (x; t) que verique la ecuacin (2) para x 2 R3 ; t > 0:

Si consideramos un medio fsico ubicado en una regin acotada y relacionada con el

exterior a travs de su frontera, dos ejemplos clsicos son:
1) suponer la temperatura jada sobre la frontera
8
>
> X
3
>
< ut uxi xi = F (x; t) ; x 2 D; t>0
P1 i=1
>
> u (x; 0) = u0 (x) ; x2D
>
:
u (x; t) = (x; t) x 2 @D; t>0

Llamaremos a P1 problema mixto de valores iniciales y de valores de frontera de tipo

Dirichlet.
2) suponer el medio con ujo calrico prescrito a travs de la frontera
8
>
> X
3
>
< ut uxi xi = F (x; t) ; x 2 D; t>0
P2 : i=1
>
> u (x; 0) = u0 (x) ; x2D
>
: @u
@n
= (x; t) x 2 @D; t>0

Llamaremos a P2 problema mixto de valores iniciales y de frontera de tipo Neu-

mann. En el caso en que = 0 se trata de un sistema trmicamente aislado
Nota: Variando las condiciones en la frontera se tiene otros tipos de problemas
1.2. ECUACIONES ESTACIONARIAS 3

1.2. Ecuaciones estacionarias

1.2.1. Las ecuaciones de Laplace y Poisson.
Si en la ecuacin (2) sin fuentes de calor , G (x; t) = 0 buscamos soluciones esta-
cionarias, ie, independientes del tiempo, entonces ut = 0 y por tanto las soluciones
verican la ecuacin de Laplace

u=0

Si en la ecuacin (2) suponemos fuentes estacionarias G (x; t) = G (x) y se buscan

soluciones estacionarias como antes, la ecuacin resultante es la ecuacin de
Poisson
u = G (x)

Por lo que en un dominio D Rn ; se tiene:

u (x) = F (x) ; x 2 D
u (x) = (x) x 2 @D

que es un problema de Dirichlet y tambin el problema de Neumann

u (x) = F (x) ; x 2 D
@u(x)
@n
= (x) x 2 @D

Ntese que tambin se puede proponer el problema

8
< u (x) = F (x) ; x 2 D
u (x) = (x) x 2 @D
: @u(x)
@n
= (x) x 2 @D

1.3. Ecuacin de la cuerda vibrante

Estudio de la vibracin de la cuerda de un violin, se propusieron fsicos y Matemticos
a nales del siglo XVIII y comiensos de XIX.
Bernoulli, Dirichlet, Euler y Fourier contribuyeron a obtener mtodos de solucin.
Tales mtodos han sentado las bases para muchos desarrollos modernos de la teora de
EDP.
La ecuacin de la cuerda colocada en el plano Oxu, y que es sometida a vibra-
ciones transversales, pero dentro de su plano, respecto a su posicin de equilibrio, que
suponemos coincidente con el eje Ox y ocupando precisamente el intervalo [0; l] es dada
por
@ 2 u (x; t) @ 2 u (x; t)
T0 + F (x; t) = (x) (3)
@x2 @t2
con las condiciones naturales u (0; t) = 0 = u (l; t) ; t 2 R:
Notese que:
F (x; t) es la fuerza aplicada perpendicular al eje Ox;
(x) funcin densidad de la cuerda,
4CAPTULO 1. INTRODUCCIN A LAS ECUACIONES EN DERIVADAS PARCIALES

T0 = jT (x; t)j tensin de la cuerda constante

As tenemos el siguiente problema de valor inicial y de contorno
8 @ 2 u(x;t) 2 u(x;t)
>
> T + F (x; t) = (x) @
< 0 @x2 @t2
u (0; t) = u (l; t) = 0 t2R
>
> u (x; 0) = (x) x 2 [0; l]
: @u(x;0)
@t
= (x) x 2 [0; l]

Observacin 1 si en la ecuacin (3) se supone densidad constante, tenemos

utt uxx = G (x; t)

y se conoce como la ecuacin de la onda

Observacin 2 La ecuacin del calor, de Poisson y de la onda son de tipo parablico,

elptico e hiperblico respectivamente.

1.4. Ecuacin de la placa

Suponemos una placa cuyo espesor es innitesimal (pequeo), cuya deeccin bajo
una fuerza f sea u: Entonces la ecuacin que modela es
X
2
u= @i2 @j2 u = f
i;j=1

con dos condiciones de frontera necesario por ejemplo u = g1 y @n u = g2 en @D:

1.5. Ecuaciones de Navier-Stokes

Para uidos incompresibles

Campo de velocidades u : ! Rd ; presin p : ! R; viscocidad,

densidad constante

(@t u + u:ru) u + rp = f
div u = 0

Buena aproximacin para una gran clase de uidos y gases

Observacin 3 Caso particular es la ecuacin de Euler

(@t u + u:ru) + rp = f
div u = 0
1.6. BIEN DEFINIDO EN EL SENTIDO DE HADAMARD 5

1.6. Bien denido en el sentido de Hadamard

Un problema: Hallar u 2 V tal que

Au = f en
Bu = g en @

se llama bien denido en el sentido de Hadamard, si

Existencia: El problema tiene una solucin u

Unicidad: La solucin es nica

Estabilidad: La solucin depende continuamente de los datos f; g:

Observacin 4 La validez de las condiciones puede depender del espacio V:

Estas condiciones son esenciales anes de disear un mtodo numrico.
Se necesita Elementos de Anlisis Funcional.