ECUACIONES EN DERIVADAS PARCIALES, segunda lista, primera parte

1. Resolver la ecuaci
on de transporte
ut + cux = 0
mediante el metodo de las caractersticas para un valor de c R general. * Consideramos la
ecuaci
on de transporte con coeficiente variable c = c(x):

ut + c(x)ux = 0

Suponemos que c es localmente Lipschitz. Demostrar que para cada dato inicial f continuo y
acotado la soluci
on puede definirse mediante el metodo de las caractersticas.
Se puede asegurar que existe un tiempo T > 0 de modo que la solucion este definida para todo
0 t T?
Con el objeto de responder a esta pregunta se podra considerar el caso en que c(x) = x3 .
Que ocurre cuando c es globalmente Lipschitz?
Y cuando c deja de serplocalmente Lipschitz? Para analizar esta u
ltima cuestion se podra considerar
el caso en que c(x) = |x| .
2. Resuelve mediante el metodo de las caractersticas la ecuacion de transporte

ut + |x|ux = 0.

3. Consideramos la ecuaci
on de Schrodinger

iut + u = 0 en Rn (0, )

(1)
u(x, 0) = f (x)

(a) Utilizando la transformada de Fourier reduce (1) a la resolucion de una familia de ecuaciones
ametro Rn .
diferenciales dependientes del par
(b) Calcula la soluci
on fundamental de (1).
(c) Comprueba que la soluci
on general de (1) viene dada por
Z
1 2
u(x, t) = n/2
ei|xy| /4t f (y)dy. (2)
(4it) Rn

(d) Da condiciones sobre el dato inicial f que aseguren que u esta bien definida y que constituye,
on continua de la variable x Rn .
para cada t > 0, una funci
on (2) que la ecuacion (1) genera un grupo de isometras en L2 (Rn )
(e) Comprueba de la expresi
de modo que
ku(t)kL2 (Rn ) = kf kL2 (Rn ) t > 0.
(f) Comprueba la misma propiedad mediante el metodo de la energa multiplicando en (1) por u

e integrando por partes en Rn .
on sobre la norma de u(t) en L (Rn ).
(g) Obten una estimaci

1
4. Consideramos la ecuaci
on
u + u = f en Rn (3)
(a) Comprueba que la soluci
on de (3) satisface

f()
u
() = , Rn . (4)
1 + ||2

(b) Demuestra que la soluci

on de (3) es de la forma

u=Bf (5)

donde
|x|2

et 4t
Z
1
B(x) = dt. (6)
2n/2 0 tn/2
Sugerencia: Utiliza argumentos semejantes a los empleados para calcular la transformada de
Fourier de la Gaussina y que
1/a = int0 e
ta
dt
lo cual implica que Z
1 2
= et(1+|y| ) dt.
1 + |y|2 0

5. Utilizando en cada caso la unicidad de la solucion y la invarianza del problema con respecto a un
grupo de transformaciones demuestra la simetra de la solucion:
(a) En el sistema lineal Ax = b demuestra que la solucion x = (x1 , , xn )t es tal que xi = xj
cuando bi = bj y aik = ajk para todo k = 1, , n.
(b) En la ecuaci
on de Laplace en una dimension

wxx = f (x) en 1 < x < 1, w(1) = w(1) = 0 (7)

demuestra que cuando f b es par (resp. f es impar) la solucion es par (resp. es impar).
(c) En la ecuaci
on de Laplace en el disco

w = f (x) en B = {x Rn : |x| 1}, w|B = 0 (8)

demuestra que cuando f = f (|x|), i.e. f tiene simetra radial, entonces tambien w la tiene.
(d) En el problema de valores iniciales para la ecuacion del calor

ut uxx = 0, x R, t > 0; u(x, 0) = f (x), x R

demuestra que u es par (resp. impar) respecto a la variable espacial x cuando f es par (resp.
impar).