MA4802-1 Ecuaciones en Derivadas Parciales 2015.

Profesor:

Claudio Muoz C.

Auxiliares:Roberto

Bobadilla, Esteban Escorza y Martn Ros W.

TAREA 1 MA4802-1 ECUACIONES EN DERIVADAS PARCIALES 2015.

IAN LETTER

ndice
Parte 1.

Pregunta 1: Verdadero o Falso.

Parte 2.

Pregunta 2: Topologias en los espacios

Parte 3.

Pregunta 3: Operador de Schrdinger

D(R)

S(R)

12

TAREA 1 MA4802-1 ECUACIONES EN DERIVADAS PARCIALES 2015.

Parte 1.

Pregunta 1: Verdadero o Falso.

Ian Letter

Problema 1. 4 xex

cos(ex ) es distribucin temperada en R. Veremos que esta armacin es terrible de verdad.

2

Observacin: en la siguiente pregunta usaremos el valor de la siguiente integral, conocida del curso de clculo diferencial:

1
=
(1 + |x|2 )

Veamos primero que la funcin es igual a x 18 sin(ex ); al ser 18 sin(ex ) innitamente diferencial sigue que (Tf )0 = Tf 0 ; as
2
2
2
pues la derivada (en el sentido de las distribuciones) de 18 sin(ex ) es 14 xex cos(ex ). Luego como las distribuciones temperadas son cerradas
2
para la derivada; entonces solo basta probar que 81 sin(ex ) es distribucin temperada; y segn yo eso es terrible de real por que seno es terrible
acotado; pero hay que demostrarlo.
2

Demostracin.

En efecto; sea ahora S(R); sigue que

|<

2
1
1
sin(ex ), > |
8
8

| sin(ex )(x)|dx
R

1
8

|(x)|dx
R

Luego como queremos aparecer cierta norma del tipo pN,m multiplicamos y dividimos por (1 + |x|2 ) y queda que lo anterior es:
1
8

1
1
(1 + |x|2 )|(x)|dx
(1 + |x|2 )
8

Luego se tiene que

<

Y eso implica que

1
8

1
1
P0,1 () = P0,1 ()
(1 + |x|2 )
8

= P0,1 ()
(1 + |x|2 )
8

2
1

sin(ex ), > | P0,1 ()

8
8

sin(ex ) es distribucin temperada; as sigue que su derivada tambin y por tanto se tiene lo pedido.
2

Problema 2.

sin(nx)
x

converge a cero en D (R) . Demostraremos que esto es falso; y es ms;

sin(nx)
x

Observacion: En esta pregunta usaremos la siguiente integral, conocida del curso de Clculo Avanzado:

R
Demostracin.

sin(x)
=
x

Lo anterior equivale a demostrar que para toda en D(R) se tiene la convergencia <

O anlogamente | <

sin(nx)
, (x)
x

sin(nx)
, (x)
x

>< 0 , (x) >= (0).

> (0)| 0

Notemos primero que

|<

sin(nx)
sin(nx)
, (x) > (0)| = |(
((x))dx) (0)||
x
x
R

y a su vez;

sin(nx)
sin(nx)
sin(nx)
sin(nx)
|(
((x))dx) (0)| |
(x)dx| + |
((x) (0))dx| + |(
(0)dx) (0)|
x
x
x
x
R
R/[r,r]
[r,r]
[r,r]

con r > 0 a eleccin. Sea  > 0. Demostraremos entonces que existe n0 natural tal que para todo n mayor que el se puede escoger r tal que
lo anterior converge a 0. (Y por unicidad de limite se concluye que entonces lo anterior converge a 0). Primero analizaremos los trminos por
separado
El primero; notemos que (x)
es continua de soporte compacto en R/[r, r]. (Esto pues x1 es continua en ese intervalo, y es continua a soporte
x
compacto en los reales). Luego en particular esa funcin es integrable; por el lema de Riemman-Lebesgue;

sin(nx)
R/[r,r]

(x)
dx| = |
x

sin(nx)
R

(x)
1R/[r,r] dx| 0
x

Y as el primer termino converge a 0. En particular existe n1 natural tal que para todo n > n1 se tiene que | sin(nx) (x)
|<
x
Ahora notemos que para el tercer termino;

[r,r]

sin(nx)
(0)dx = (0)
x

[r,r]

sin(nx)
ndx
xn


3

TAREA 1 MA4802-1 ECUACIONES EN DERIVADAS PARCIALES 2015.

Haciendo el cambio de variables u = nx se tiene que eso es

(0)
[nr,nr]

sin(u)
du = (0)
u

sin(u)
1[nr,nr] du
u

En particular lo anterior converge, por TCD; puesto que;

sin(u)
sin(u)
1[nr,nr]
u
u

Y adems:
|

sin(u)
sin(u)
1[nr,nr] | |
| L1
u
u

Luego en efecto por T.C.D. se tiene que nuestra integral es:

sin(u)
du = (0)
u
R

Luego se elige n2 sucientemente grande tal que para todo n mayor a el; | [r,r] sin(nx)
(0)dx (0)| <
x
(0)


.
3


El segundo; | [r,r] sin(nx)
((x) (0))dx|; por continuidad de , para todo n natural, existe r > 0 tal que |(x) (0)| 2n
para todo x
x
en [r, r] , en particular para un n tal que n max{n1 , n2 } lo que nos garantiza que los trminos anteriores sean menores a 3 . Sin perdida

sin(nx)
de generalidad supondremos que r < 12 . Luego acotamos el termino superiormente por [r,r] | sin(nx)
||(x) (0)|dx. Notemos que
x
x
es continua (por composicin de continuas si x no es 0 y en el limite en 0 da n); en particular es acotada en [r, r] y no es difcil ver que
sin(nx)
| x | n (Esto pues x crece mas rpido que sin(nx); luego el punto de mayor valor debe ser 0). As sigue que:

sin(nx)
((x) (0))dx|
x

|
[r,r]

n
[r,r]




3n
3

((x) (0))dx| 3 . Observacin importante es ver que dado el  > 0 tenemos encontrar un n0 tal que para todo n
Luego | [r,r] sin(nx)
x
mayor que este nuestro termino sea menor a . Ya nos dimos el n1 y n2 del termino anterior; luego tomando el mximo de ellos puedo escoger
el r que me garantiza ser menor que 3 y as el calculo anterior tiene sentido; osea puedo hacerlo para todo n que me cumpla n max{n1 , n2 }

Juntando todo lo anterior; dado  > 0, existe n0 natural tal que para todo n mayor que este



sin(nx)
, (x) > (0)| + + = 
x
3
3
3

|<

y luego se deduce que | <

sin(nx)
, (x)
x

> (0)| 0 y luego as

sin(nx)
, (x) >< 0 , (x) >= (0)
x

<

Luego por unicidad de limite

sin(nx)
x

no puede converger a 0 en D0 (R).


0

Si fn (x) := cos(nx) en (0,1), entonces converge dbil a cero en L2 (0, 1) y por lo tanto fn2 converge a cero en D (0, 1).
Demostraremos que esto es terrible falso.
Problema 3.

Notemos primero que es terrible falso pues < fn2 , > no es lo mismo que < fn , >L2 ; osea el error esta en pensar que fn se
0
lleva el cuadrado y con eso cambia de espacio; ademas la evaluacin en D se parece mas al producto en L2 ; as que doble fail ah.
Demostracin.

En efecto, primero fn converge dbil a cero en L2 (0, 1); sea g en L ; luego

2

| < fn , g > | = |

cos(nx)g(x)dx|
0

usando el cambio de variable u = x se tiene que;

u
1
u
cos(nu)g( )du| < |
cos(nu)g( )1[0,] (u)du| 0

0
Lo ultimo por el lema de Reimman-Lebesgue; que se puede usar pues si g(x) en L2 (0, 1) entonces g( x ) en L2 (0, ) lo que implica que g( x ) en
| < fn , g > | =

1
|

x
L1 (0, ) (pues es de medida nita) y luego g(
)1[0,] en L1 .

Luego en efecto fn converge dbil a cero en L2 (0, 1), sin embargo; sea en D(R); luego

< fn2 , >=

(cos(nx))2 (x)dx =

1
2

(x)dx +
0

En la segunda integral hacemos el cambio u = 2x y queda que:

< fn2 , >=

1
2

(x)dx +
0

1
4

cos(nu)(
0

u
1
)du =
2
2

1
2

cos(2nx)(x)dx
0

(x)dx +
0

1
4

cos(nu)(
R

u
)1[0,2] (u)du
2

TAREA 1 MA4802-1 ECUACIONES EN DERIVADAS PARCIALES 2015.

En donde podemos aplicar Riemman-Lebesgue al segundo termino (puesto que como es soporte compacto entonces es claramente integrable);
luego as

< fn2 , >

1
2

(x)dx
0

As tomando cualquier a soporte compacto que no integre 0, se deduce que entonces fn2 no puede converger a 0 en ; es ms, se deduce que
converge a 12 pues;
< fn2 , >

1
2

(x)dx =
0

1
1
(x)dx =< , >
2
2


1
La funcin a valores complejos
es solucin de le ecuacin x u = u2 en D0 (R3 ) (a valores complejos). Es terrible
x+i y 2 +z 2
de real; puesto que si fuese derivada usual se tendra el resultado; y uno espera que la derivada en distribucin sea consistente.

Problema 4.

En primer lugar demostremos que Tf esta en D0 (R3 ). En efecto, para ello demostremos que f esta en L1loc (R3 ).

Demostracin.

Sea ahora K un subconjunte compacto de R3 . Si 0 no esta en K entonces f es continua; luego claramente K f < . Sea ahora K un compacto
tal que 0 esta en el. Luego K = (, )3 (K/(, )3 ) en donde el segundo es un compacto que no contiene al origen y por tanto ah la funcin
integra nito. Solo basta ver que en el primer conjunto lo hace. En efecto:

1
p
dxdydz|
x + i y2 + z2

|


|


1
p
|dxdydz =
x + i y2 + z2

|


p
x i y2 + z2
|dxdydz
x2 + y 2 + z 2

Haciendo un cambio de variables a coordenadas esfericas queda; y dado que x2 + y 2 + z 2 = r2 :

|
0

r cos() ir sin() 2
|r sin()ddrd =
r2

|r cos() ir sin()| sin()ddrd <

0

Lo ultimo por ser funciones continuas en el dominio de integracin. Luego asi f esta en L1loc (R3 ) y tenemos que Tf en efecto es distribucin.
Ahora, para demostrar que es solucin de la ecuacin notemos que la funcin no es continua en el dominio; as que no podemos decir que
(Tf )0 = Tf 0 . As que nuestra opcin es hacer el calculo por denicin.Sea en D(R3 );

< x (Tf ), >= < Tf , x >=

R3

x
p
d =
x + i y2 + z2

Luego por integracin por partes para la primera integral, queda:

(
R2

(x)
p
)x=
x= dydz +
x + i y2 + z2

(x)x (
R3

x+i

x+i

x
p
dxdydz
y2 + z2

1
p
)dxdydz
y2 + z2

En donde el primer termino es 0 por ser a soporte compacto y para el segundo lo calculamos como:
x (

p
1
x (x)
1
p
p
p
) = x ((x + i y 2 + z 2 )1 ) =
=
2
2
2
2
2
x+i y +z
(x + i y + z )
(x + i y 2 + z 2 )2

Luego:

< x (Tf ), >=

Luego as deducimos que x (Tf ) =

1
(x+i

y 2 +z 2 )2

(x)
R3

(x + i

1
1
p
p
dxdydz =<
, (x) >
y 2 + z 2 )2
(x + i y 2 + z 2 )2

lo que equivale a decir que

1
p
x (
)=
(x + i y 2 + z 2 )

1
p
(x + i y 2 + z 2 )

!2

en el sentido de las distribuciones; lo que equivale justamente a lo que nos propusimos demostrar.

TAREA 1 MA4802-1 ECUACIONES EN DERIVADAS PARCIALES 2015.

Parte 2.

Pregunta 2: Topologias en los espacios

D(R)

S(R)

Ian Letter

Sea D (Rd ) el espacio de las funciones C (Rd ) tales que f esta en L (Rd ), para cualquier multi-indice . A este espacio
se le adjunta la topologa generada por la familia de normas pN (f ) := max||N supxRd | f (x)|. Esta denicin sera
usada en los siguientes dos problemas.
Problema 5.

Probar que D (Rd ) es completo.

Sea (fn ) D (Rd ) sucesin de Cauchy; segun vimos cuando demostramos que S(Rd ) era completo, esta es Cauchy si y solo
si para toda semi-norma (en este caso norma) que genera la topologa es de Cauchy, osea; N N, PN (fm fn ) 0
Demostracin.

N N,  > 0, n0 (); m, n n0 (PN (fm fn ) 

N N,  > 0, n0 (); m, n n0 m
ax sup | fm (x) fn (x)| 
||N xRd

N N,  > 0, n0 (); m, n n0 m

ax || fm (x) fn (x)|| 
||N

N N,  > 0, n0 (); m, n n0 , || N ; || fm (x) fn (x)|| 

Dado que solo depende de N podemos re ordenar lo anterior y queda

N N, || N,  > 0, n0 (); m, n n0 ; || fm (x) fn (x)|| 

Que por denicin sigue es:

N N, || N ; || fm (x) fn (x)|| 0

Luego eso implica que todas las derivadas son de Cauchy. Se deduce entonces en particular que fn f en L ; puesto tomando N = 1 se

consigue que es de Cauchy en L que es espacio de Bannach; y utilizando que ademas todas las derivadas convergen uniformemente (basta
reemplazar fm por f en la ultima ecuacin) se deduce que f esta en C (Rd ).(Esto es la misma propiedad que vimos cuando dijimos que S(Rd )
era completo, si no basta ver que seria de fn Cauchy en C 1 y luego su derivada esta es continua; por induccion sobre fn vista como sucesion
de Cauchy en C 1 se tiene el resultado ). En particular dado que fn y sus derivadas convergen a f y las derivadas de fn estn acotadas c.t.p.,
se deduce que entonces las derivadas de f estn acotadas y as f esta en D (Rd ).
Dado que tomamos una sucesin de Cauchy arbitraria y esta converge sigue que D (Rd ) es completo.


Problema 6.

Probar que D(Rd ) no es cerrado en D (Rd ) y determinar D(Rd )

donde C son las funciones innitamente

Para lograr este resultado demostraremos directamente que D(Rd )
= C00
00
1
diferenciables que en innito ella y todas sus derivadas se van a 0. Notemos que esto es mas que S(Rd ); pues por ejemplo 1+|x|
2 esta en el
d
d

d
primero y no en el segundo. Si probamos esto; y dado que D(R ) S(R ) ( C00 probaremos que D(R ) es distinto a su adherencia; y por
. Consideremos entonces la sucesin f (x) = f (x)( x ); en donde es una funcin en D(R)
tanto no puede ser cerrado. En efecto; sea f C00
n
n
1
tal que (x) = 1 si |x| < 2 y (x) = 0 si |x| > 1 y |||| = 1, osea es una particin de la unidad de [1, 1]d convolucionada con un ncleo
regularizador, de esto solo importa que la existe; y que entonces fn (x) soporta en [n, n]d y por tanto tiene soporte compacto, ademas
esto hace que podamos aproximar a f uniformemente en [ n2 , n2 ]d . Es claro ademas que fn esta en D(Rd ) pues es composicion de funciones
innitamente diferenciables y ademas ( nx ) es a soporte compacto para todo n . Veamos que en efecto puedo aproximar a f tan bien como
quiera con la familia de normas. Sea N un natural, entonces:

Demostracin.

pN (fn f ) = m
ax sup | fn (x) f (x)|
||N xRd

Basta probar que para todo || N se tiene que:

|| fn f || 0
, ella y toda sus derivadas se van a 0 en innito. Sea  > 0. Dado que f (x)
Notemos que dado que f esta en C00

||x||

0 para todo ;

entonces existe un n0 en N tal que para todo ||x|| > n0 se tiene que
<
para todo || N ; con C una constante positiva
por denir, y pN,0 () = max || || . Notemos que lo anterior esta bien denido pues es innitamente diferenciable a soporte compacto,
|| f (x)||


2CN 2 PN,0 ()

||N

luego ella y todas sus derivadas en particular son acotadas en el dominio. Consideremos n 2n0 , y fn ; luego fn es igual a f en [n0 , n0 ]d ;
entonces sigue que
|| fn f || =

sup
||x||n0

| fn (x) f (x)|

sup
||x||n0

x
| (f (x)( ))| + | f (x)|
n

TAREA 1 MA4802-1 ECUACIONES EN DERIVADAS PARCIALES 2015.

Notemos que por regla el producto

X
x
x 1
| (f (x)( ))| = |
C, f (x) ( ) |
n
n n
||||

Ahora eligiendo C =

m
ax

||||N

X
||||

x 1
|C, || f (x)|| ( )|
n n

x
)|
C, , lo cual puedo hacerlo pues N es jo as que hay nita combinaciones, y ademas notando que | ( n

m
ax || || = pN,0 () sigue que:

||N

X
||||

x 1
N (N 1)C 1
|C, || f (x)|| ( )|
pN,0 () m
ax sup | f (x)||
||N ||x||n0
n n
2
n

Y usando lo anterior se deduce que:

sup
||x||n0

x
N (N 1)C pN,0 ()
N (N 1)C 1


| (f (x)( ))|
pN,0 () m
ax sup | f (x)||

||N ||x||n0
n
2
n
2
n
2CN 2 pN,0 ()
2

Luego sigue que:

|| fn f ||





+
+ =
2
2CN 2 pN,0 ()
2
2

Dado que para todo  > 0 existe n0 tal que para todo n n0 se tiene que || fn f || <  se deduce que || fn f || 0.
n

Luego
pN (fn f ) = m
ax sup | fn (x) f (x)| 0
||N xRd

Y entonces como se tiene para N arbitrario, se sigue que fn f .

, supongamos que su limite en innito no es 0 (si el limite de alguna derivada no es 0 se hace
Ahora sea una funcin g que no esta en C00
analogamente, solo haremos este caso), pero si una constante L; ahora sea gn en D(Rd ); demostraremos que gn no puede aproximar a g ; en
efecto, como gn es soporte compacto para todo n entonces siempre existe Cn > 0 tal que si |x| > C entonces gn (x) = 0. Sea lm g(x) = L 6= 0.
|x|

Luego sea  =

L
;
2

para todo n entonces se tiene que

pN (g gn ) sup |gn (x) g(x)|

sup |gn (x) g(x)| =

sup |g(x)| L >

|x|>Cn

|x|>Cn

xRd

L
=
2

Luego existe epsilon tal que pN (g gn ) >  para todo n. Sigue que entonces no puede converger a 0; y por tanto gn no puede converger a g.
, tal que no tiene limite en innito (el caso en que alguna derivada no tiene limite es
Ahora anlogamente sea una funcin h que no esta en C00
d
analogo). Y sea hn en D(R ); supongamos que hn converge a h. Analogamente como hn es a soporte compacto para todo n entonces siempre
existe Cn > 0 tal que si |x| > C entonces hn (x) = 0. Osea que para todo N natural:

pN (h hn ) sup |hn (x) h(x)|

sup |hn (x) h(x)| =

|x|>Cn

xRd

sup |h(x)|
|x|>Cn

Luego sea xm Rd tal que |xm | Cn para todo m y |xm | ; luego:

sup |h(x)| lm sup |h(xn )| = M > 0
|x|>Cn

Pues si h se va a innito lo anterior es claramente es innito. A la vez si no tiene limite, si tiene limsup, y debe ser mayor a 0; pues si no
0 = lm sup |h(xn )| lm inf |h(xn )| 0
n

Y por tanto tendra limite en innito. Por tanto con  = mn{M, 1} > 0 se tiene entonces pN (h hn ) >  para todo n. Entonces hn no puede
converger a h.

En sntesis sigue que D(Rd )

y por tanto D(Rd ) no es cerrado en D (Rd ).

= C00

Problema 7.

Probar que la inclusin de D(Rd ) en S(Rd ) es continua.

Ya demostramos que la inclusin de D(Rd ) en LP (Rd ) era continua; yo cacho que la misma idea apaara. Sea I la inclusin
entre los espacios ya dichos. Dado que I es claramente lineal y los espacios son ambos e.v.t.l.c. probar que I es continua es equivalente a lo

Demostracin.

D(Rd )

S(Rd )

siguiente: Sea n D(Rd ) tal que n 0 entonces I(n ) 0. Veamos que en efecto se tiene lo pedido: sea n D(Rd ) tal que
D(Rd )

n 0; con esto tenemos que existe K compacto tal que n DK ; y en particular n 0 uniformemente para todo multindice.

TAREA 1 MA4802-1 ECUACIONES EN DERIVADAS PARCIALES 2015.

Sea ahora N, m naturales; falta ver que pN,m (I(n )) 0, puesto que esto es la convergencia en S(Rd ). En efecto
pN,m (I(n )) = m
ax sup (1 + |x|2 )m | n (x)|
||N xRd

Dado que nuestra funcin solo tiene soporte en K sigue que:

pN,m (I(n )) = m
ax sup (1 + |x|2 )m | n (x)| m
ax || n || sup (1 + |x|2 )m
||N xK

||N

xK

Notemos que con eso solo queda el supremo de una funcin continua en un compacto; luego alcanza su mximo; en sntesis;
pN,m (I(n )) = m
ax || n || sup (1 + |x|2 )m m
ax || n || Cm
||N

||N

xK

Notemos que la constante solo depende del m del polinomio. Luego sigue que; dado que todas las derivadas convergen uniformemente a 0 sigue
que
pN,m (I(n )) m
ax || n || Cm 0
n

||N

Y luego, como es valido para todo N y m natural, sigue que I(n ) 0. Finalmente por la proposicin ya dicha sigue que I es continua.

Problema 8.

Construir una sucesin en D(Rd ) que converge a cero en S(Rd ), pero no en D(Rd )

Demostracin. La idea de esto fue pensar en algo parecido a un ncleo regularizador o normal que valiera 0 fuera de [n, n] y que cada
vez se fuese haciendo mas chica. La idea con eso es que la funcin va convergiendo a 0; sin embargo, su soporte nunca queda uniformemente
contenido en ningn compacto; y por tanto no puede converger en D(Rd ).

Sea n = 1[0,n] (|x|) exp

x |2 1
|n

1
;
n

es claro que nuestra funcin n es continua tomando el limite cuando x % n se tiene que | nx |2 1 & 0

y por tanto la exponencial se va a 0). Y ademas es innitamente diferenciable pues sabemos que 1[0,n] (|x|) exp
regularizador. Luego as tenemos nuestra sucesin n ; demostraremos que en efecto es la sucesin apaadora.

x |2 1
|n

lo es al ser un ncleo

Primer mito: n converge a cero en S(Rd ); en efecto; sean N y m naturales; demostraremos entonces que pN,m (n ) 0; en efecto
pN,m (n ) = m
ax sup (1 + |x|2 )m |x n | = m
ax sup (1 + |x|2 )m |x n |
||N xRd

||N |x|<n

Notemos que podemos tomar |x| < n puesto que las derivadas deben ser continuas; y en particular deben valor 0 para todo x tal que |x| > n;
y as, continuidad, deben ser un termino muy pequeo en |x| = n. Luego
2 m

m
ax sup (1 + |x| )

||N |x|<n

|x n |

2 m

= m
ax sup (1 + |x| )
||N |x|<n

|x

exp

x 2
|n
| 1

1
|
n

Luego por regla de la cadena sigue que:

x exp

x 2
|n
| 1

(exp)

C,

||||

!!

1
x 2
|n
| 1

x 2
|n
| 1

Como la derivada de la exponencial es ella misma sigue que eso es:

X

C, exp

||||

1
x 2
|n
| 1

1
x 2
|n
| 1

= exp

x 2
|n
| 1

C,

x 2
|n
| 1

||||

Luego tenemos que:

X
1
m
ax sup (1 + |x|2 )m |x n | = m
ax sup
(1 + |x|2 )m
C,
||N |x|<n
||N |x|<n n
||||

Ahora solo falta notar que (1 + |x|2 )m |


P

|||| C,



x |2 1
|n

lm |(1 + |x| )

|x|n

||||

C,

x 2
|n
| 1

exp

| es un polinomio; luego:

2 m

1
x 2
|n
| 1

!
exp

1
x 2
|n
| 1

!
|0

1
x 2
|n
| 1

TAREA 1 MA4802-1 ECUACIONES EN DERIVADAS PARCIALES 2015.

Puesto que la exponencial decrece mas rpido que cualquier polinomio cuando esta se va a 0; en particular en este caso cuando x tiende a n.
Luego en particular sigue que

2 m

m
ax sup (1 + |x| ) |

||N |x|<n

C,

x 2
|n
| 1

||||

| exp

x 2
|n
| 1

= CN,m <

Puesto que la funcin es continua en |x| < n y luego acotado; adems la exponencial asegura que cuando x se vaya a n el termino decrezca a 0.
Como es continua en compacto para todo || N alcanza su mximo; y como son nitos casos podemos quedarnos con la constante de mayor
valor. Notemos que la constante depende del m y del N ; pues depende del grado del polinomio; sin embargo no de n; puesto que este termino
no controla esto ultimo. Luego se tiene que
 x

1
m
ax sup (1 + |x|2 )m |x (| |2 1)1 | exp
n ||N |x|<n
n

Luego as
pN,m (n ) =

x 2
|n
| 1

|=

1
CN,m
n

1
CN,m 0
n
n

Como el resultado se tiene para todo N, m se deduce que en efecto n converge a 0 en S(Rd ).
Segundo mito: n NO converge a cero en D(Rd ); en efecto, si lo hiciera entonces existira un compacto K tal que n esta contenida en DK (Rd ).
Sin embargo al ser K compacto en un espacio Rd sigue que es cerrado y acotado; en particular K [n0 , n0 ]d para cierto n0 natural. Sin
embargo n0+1 tiene su soporte en [n0 1, n0 + 1]d luego no puede estar en DK (Rd ). As llegamos a una contradiccin y n no puede
converger a cero.
As tenemos que n converge a cero en S(Rd ) pero no en D(Rd ).

Problema 9.

Construir una sucesin de polinomios que convergen en D0 (Rd ) pero no en S 0 (Rd ).

La idea es aprovecharse que la funcin ex no es distribucin temperada, sin embargo si es distribucin; y puede ser aproximada
por polinomios ocupando serie de taylor.
Demostracin.

Sea Tn (x) = ni0 xi! ; es decir el polinomio de taylor de la exponencial hasta el coeciente n esimo. Como para todo n se tiene que Tn es
un polinomio entonces Tn S 0 (R) D0 (R).
P

Primer mito: Tn converge en D0 (R); sea en D(R) ; luego se tiene que

X
n
xi
(x)dx
n R
i!
i0

lm < Tn , >= lm

Sea el compacto K = Soporte(); se tiene que la integral anterior es

lm

X
n
n
X
xi
xi
(x)dx = lm
(x)1K (x)dx
n
i!
K i0
R i0 i!

Como lo anterior es la integral de una funcin continua en un compacto entonces es nita; en particular la funcin esta en L1 . As se ve que
n

X
X
xi
xi
(x)1K (x)
(x)1K (x)
n
i!
i!
i0
i0

Y adems
|

X
X
xi
|xi |
(x)1K (x)|
|(x)|1K (x) L1 (R)
i!
i!
i0
i0

Donde la ultima es una funcin continua en un compacto y por tanto integrable. Luego por T.C.D. sigue que la integral es:

X
xi
xi
(x)1K (x)dx
(x)dx =
ex (x)dx =< ex , >
R n i0 i!
K i0 i!
R
lm

En sntesis tenemos que

lm < Tn , >< ex , >

Luego tenemos que Tn converge a ex en el sentido de las distribuciones.

TAREA 1 MA4802-1 ECUACIONES EN DERIVADAS PARCIALES 2015.

Segundo mito: Tn no converge en S 0 (R); supongamos que Tn f , f en S 0 (R), en el sentido de las distribuciones temperadas. Como
S 0 (R) D0 (R) sigue que f esta en D0 (R). Como Tn converge a f sigue que para toda en S(R):
lm < Tn , >< f, >

Dado que D(R) S(R) en particular se tiene que para toda funcin en D(R)
lm < Tn , >< f, >

Pero esa es la denicin de convergencia en D0 (R); donde ya sabemos Tn (x) converge a ex . Luego por unicidad de limite concluimos entonces
que f (x) = ex lo que es una contradiccin; puesto que ex no esta en S 0 (R).
Por lo tanto Tn no puede converger en S 0 (R).


Problema 10.

Encontrar la transformada de Fourier de vp( x1 ) en S 0 (R) .

Observacin: En esta pregunta usaremos la siguiente integral, conocida del curso de Clculo Avanzado:

sin(x)
=
x

R
Demostracin.

Usando la denicin de transformada de Fourier para una distribucin temperada; sea en S(R).
1
1
< F (vp( )), >=< vp( ), >= lm
0
x
x

Recordando que

(x)eix dx =

()
=

Luego en particular reemplazando sigue que:

1
< F (vp( )), >= lm
0
x

()
()
d

(x)eix dx

Que reordenando es:

(x)eix dx

(x)eix dx

(x)eix (x)eix
dxd

lm

0 

Ahora; queremos usar Fubini, para esto hacemos lo siguiente: Sea H(x, ) =

(x)eix (x)eix
.

Consideremos primero esta otra integral:

H(x, )1[,R] ()dA

RR

Notemos que H(x, )1[,R] () es integrable; en efecto, dado que (x) es Schwartz y la exponencial compleja acotada tenemos que |H(x, )1[,R] ()|
es integrable en cada bra para x; y ademas estamos integrando en un compacto, y dado que |H(x, )1[,R] ()| es continua en ese compacto
(puesto que no estamos tocando el punto = 0) sigue que es integrable en Rx R y por Fubini entonces H(x, )1[,R] () es integrable. Luego
podemos calcular la integral doble como las integrales iteradas. Primero la calcularemos priorizando x y con eso llegamos a:

(x)

eix eix
ddx

Ahora notemos que:

eix = cos(x) i sin(x)

eix = cos(x) + i sin(x)

Lo que implica que eix eix = 2i sin(x); luego queda:

2i(x)

sin(x)
ddx

Ahora aplicaremos T.C.D. sobre la primera integral; en particular al tomar el limite sobre R se tiene que:

2i(x)


sin(x)
d 2i(x)
R

sin(x)
d

TAREA 1 MA4802-1 ECUACIONES EN DERIVADAS PARCIALES 2015.

Y ademas

sin(x)
| 2|(x)||

| 2i(x)


sin(x)
| 2|(x)| L1x

Puesto que es Schwartz y por tanto integrable. Sigue que entonces por T.C.D:

Y ademas, con eso tenemos que:

2i(x)

lm

lm

R RR

sin(x)
ddx =

2i(x)

sin(x)
ddx

sin(x)
ddx

2i(x)

H(x, )1[,R] ()dA =

10

Volvemos a nuestra integral sobre H , pero ahora tomaremos los limites de integracin al revs y hacemos el cambio y = x :

Notemos que


y
( )

eiy eiy
2

y
( )

eiy eiy
2

y
( )

dyd =



dy 1[,R] ()

y
( )

eiy eiy
2

eiy eiy
2


dy 1[,R] ()d


dy 1[,] ()

Y ademas:


y
( )

eiy eiy
2

y
( )

Lo cual es integrable respecto a ; puesto que

lm

(x)

R 

eix eix

Y volviendo en el cambio de variables:

1
2

Pero eso implica que:

R 

eiy eiy
2


( y )dx es nito pues es Schwartz. Luego por T.C.D:

eiy eiy
2

H(x, )1[,R] ()dA =


(x)


(x)

R RR




1
y
dy 1[,] ()| 2 2 1[,] ()|
( )dy |

dyd =

lm

1
2

y
( )

dxd = lm

es integrable y para todo

y
( )



dy 1[,R] ()| 2|

dyd =


eix eix

eix eix

y
( )

eiy eiy
2


dyd


dxd


dxd

Pero por unicidad de limite; y dado que ya encontramos otra expresin para el limite anterior se deduce que:


(x)

eix eix

sin(x)
ddx =

2i(x)

dxd =


(x)

eix eix


ddx

En sntesis; podemos usar Fubini (HASTA QUE SALIO, YES!).

As que sigue que, para nuestra integral original, se cumple que:

lm

0 

(x)eix (x)eix
dxd = lm
0


(x)

eix eix


ddx

Ahora meteremos el limite sobre la integral exterior. Para ello notemos que:


(x)

Y ademas


(x)

eix eix

eix eix

d| = |


(x)


(x)

2i sin(x)

eix eix


d


d| 2|(x)||

sin(x)
| 2|(x)|

que ya argumentamos era integrable respecto a x. Por T.C.D. entra el limite a la integral exterior y as queda:

(x) lm

0 

eix eix
ddx

Denimos ahora:
:RC
ix
e
eix
(x) = lm
d
0 

El cual esta bien denido en el dominio (pues la nica variable en la expresin es x) y para el recorrido solo basta ver que, para cada x en R:
 
ix
e
eix
1
|(x)| = | lm
d| = | < vp
, eix > | <
0 

TAREA 1 MA4802-1 ECUACIONES EN DERIVADAS PARCIALES 2015.

11

En donde la ultima cota se tiene puesto que vp( 1 ) esta en S 0 (R) (puesto por eso podemos calcularle transformada) y eix esta en S(R) (pues
es acotada). Ademas la transformada tiene normalmente recorrido en los complejos as que todo parece andar bien.
Luego sigue que entonces:
1
< F (vp( )), >=
x

(x) lm

0 

Se deduce entonces que:

1
F (vp( ))(y) = (y) = lm
0
x

eix eix
ddx =< , >

eiy eiy
d

Pero la integral la podemos trabajar mas, para eso usamos las mismas identidades de la exponencial que usamos anteriormente.Luego la integral
es

(y) = 2i lm

0 

Usamos el cambio u = y ; con eso nos queda

sin(u)
u

sin(y)
d

que es integrable y en particular continua y ademas:

sin(u)
sin(u)
1[y,) %
1[0,)
u
u
0

En lo ultimo si bien el limite en un comienzo no es montona si lo es para epsilon sucientemente pequeo. Luego podemos usar T.C.M y meter
el limite en la integral que nalmente podremos calcular.
Ahora tendremos que separar en casos; si y > 0 queda entonces:

(y) = 2i lm

0 y

Si y < 0 entonces queda

(y) = 2i lm

sin(u)
du = 2i
u

0 y

sin(u)
du = 2i
u

sin(u)
du = i
u

sin(u)
du = i
u

Y si y = 0 entonces sin(u) = 0 y luego la integral da 0. Juntando todo

(y) = isgn(y)

Y con eso queda la hermosa expresin :

1
F (vp( ))(y) = isgn(y)
x

Comentario del autor: es hermoso cuando la matraca sale :')

TAREA 1 MA4802-1 ECUACIONES EN DERIVADAS PARCIALES 2015.

Parte 3.

12

Pregunta 3: Operador de Schrdinger

Ian Letter

Para f en L1 (Rd ) denimos el operador S , para t > 0, como sigue:

S(t)f :=
Problema 11.

1
(4it)d/2

Muestre que S(t) enva L1 en L (es decir S(t)f en L si f en L1 ), con

Sea f en L1 ; luego
|S(t)f | = |

1
(4it)d/2

|xy|2
4it

Rd

|S(t)f |

C
||f ||L1
td/2

f (y)dy|

luego como |eai | 1 (a valores complejos) sigue que

|(4i)d/2 |td/2

|f (y)|dy =
Rd

||S(t)f ||L

C
td/2

Y as se tiene que
con C =

f (y)dy

Rd

||S(t)f ||L
Demostracin.

|xy|2
4it

|e

|xy|2
4it

||f (y)|dy

Rd

C
||f ||L1
td/2

C
||f ||L1
td/2

1
|(4i)d/2 |

Usando un proceso limite bien escogido pruebe que si f esta en L2 (Rd ) entonces se puede denir S(t)f
en L (R ), y ademas S(t) es una isometra en L2 , salvo una constante, osea:
Problema 12.
2

||S(t)f ||L2 = ||f ||L2

Notemos primero que L1 L2 es denso en L2 (esto se deduce que las continuas a soporte compacto lo son). Ya sabemos que
nuestro operador esta denido en L1 ; luego por densidad lo extenderemos a L2 . Ademas; sabemos que nuestro operador es continuo en L1 as
que tiene sentido hacer un proceso limite.

Demostracin.

Denimos el operador SL2 (t)f como sigue; si f esta en L1 L2 entonces SL2 (t)f = S(t)f . Si f esta en L2 (L1 )c por densidad existe sucesin
fn L1 L2 tal que fn f. Dado que por la parte anterior tenemos que nuestro operador S(t)f es continuo en L1 tiene sentido denir
entonces SL2 (t)f = L2 lmS(t)fn donde L2 lim solo hace referencia a que el limite debe ser dentro de L2 . Notemos que lo anterior tiene
n

sentido, puesto como ya dijimos, S(t) en L1 es continuo. En particular se tiene que se puede tomar la siguiente sucesin fn (x) = f (x)1[0,n] (|x|);
la cual es integrable y por tanto esta en L1 y ademas fn (x) f (x) c.t.p. Luego; por unicidad de limite, se tiene que si f esta en L2 podemos
calcular su operador con la formula
SL2 (t)f = L2 lm

1
(4it)d/2

|xy|2
4it

f (y)1[0,n] (|y|)dy = L2 lm

Rd

1
(4it)d/2

|xy|2
4it

f (y)dy

B(0,n)

Con esto nuestro operador queda ya bien extendido en L2 . Para el resto de la pregunta trabajaremos solo con SL2 (t) as que por temas de
notacin solo escribiremos S(t).Ahora nos faltara probar que es isometra.
Notemos solo nos basta probar que es isometra en L1 L2 ; puesto que despus por densidad se sigue que sera isometra en L2 . Para ello sea
f en L1 L2 . En primer lugar probaremos que:

S(t)f =

(2)

d
2

eit|z| eizx f(z)dz

Rd

Recordemos primero que:

2

F (ea|x| )() =

1
(2a)

d
2

||2
4a

Luego notemos que sigue que, y cambiando |x y| = |y x| (como es norma da lo mismo) sigue que:
S(t)f =

1
(4it)d/2

e
Rd

|yx|2
4it

f (y)dy =

1
(2)

d
2

F (eit|w| )(y x)f (y)dy

Rd

TAREA 1 MA4802-1 ECUACIONES EN DERIVADAS PARCIALES 2015.

13

Notemos que la formula para la transformada conocida vale en este caso; pues se puede repetir la misma demostracin usando cambio de
variable, y dado que t > 0 se tiene el resultado.Usando la denicin de transformada sigue que eso es:

1
(2)

d
2

Rd

Rd

(2)

d
2

eit|z| eiz(yx) dzf (y)dy =

1
(2)d

eit|z| eiz(yx) f (y)dzdy

Rd

Rd

Ahora me gustara armar la transformada de f ; para ello queremos hacer Fubini. Notemos que entonces |eit|z| eiz(yx) f (y)| = |eit|z| eiz(yx) ||f (y)|
2
2
integrando primero z sigue que lo anterior seria nito (puesto que la inegral de eit|z| eiz(yx) es F (eit|w| )(y x) y sigue asi que esta es

2
integrable y por tanto su modulo) y luego al integrar |f (y)| Rd |eit|z| eiz(yx) |dz solo basta notar que la primera f (y) es integrable y la
segunda es siempre nita. Luego lo anterior sera integrable en L1 (R2d ). Con eso usamos Fubini y queda:
2

1
(2)d

eit|z| eiz(yx) f (y)dzdy =

Rd

Rd

Ahora usando al denicin de transformada queda:

1
(2)d

1
(2)d

Rd

As nalmente, deducimos que:

S(t)f =

1
(2)

1
(2)

eiz(yx) f (y)dydz
Rd

Rd

eizy f (y)dydz =

Rd

eit|z|

eit|z| eizx

eit|z| eizx f(z)dz

d
2

Rd

eit|z| eizx f(z)dz

d
2

Rd

Volvamos a demostrar que nuestra funcin es isometra.

2 w2

2 w2

Denimos para  > 0; I = Rd e 4 |S(t)f |2 (w)dw = Rd e 4 S(t)f (w)S(t)f (w)dw Notemos que la funcin es estrictamente creciente
respecto a epsilon pues |S(t)f |2 es positivo, luego por T.C.M. sigue que:

lm I =

0

lm e

2 w2
4

Rd 0

S(t)f (w)S(t)f (w)dw

|S(t)f |2 (w)dw = ||S(t)f ||L2

S(t)f (w)S(t)f (w)dw =

Rd

Ahora por otro lado; usando la caracterizacin de S(t)f que demostramos se tiene que:
1
(2)d

I =

2 w2
4


 
2
2
eit|x| eixw f(x)dx
eit|y| eiyw f(y)dy dw

En donde dado que cada integral es nita (puesto que S(t)f es acotado, pues f esta en L1 ) y hemos simplicado notacin para no enredar
tanto. Podemos juntar las integrales de x e y y obtener la expresin:
I =

1
(2)d

e
w

2 w2
4

2
2
eit|x| eixw f(x)eit|y| eiyw f(y)dxdydw

x,y

Queremos usar Fubini, para ello notamos que:

|e

2 w2
4

2
2
eit|x| eixw f(x)eit|y| eiyw f(y)| |e

2 w2
4

||f(x)f(y)| L1

Puesto que al integrar respecto a x e y obtenemos ||fb||L2 = ||f ||L2 que es nito y luego solo queda integrar respecto a e
en Rd .

2 w2
4

que es integrable

Con eso queda que

I =
x,y

2
2
1
eit|x| eit|y| f(x)f(y)
(2)d

1
izw e
Donde G (z) = (2)
d Rd e
para ello notemos que:

2 |w|2
4

2 w2
4

x,y

dw es la aproximacin de la identidad que vimos en clases.Ahora queremos tomar limite respecto a ;

2
eit|x| f(x)

2
2
2
eit|y| f(y)G (x y)dy eit|x| f(x)eit|x| f(x)

0

y
2
|eit|x| f(x)

2
2
eit|x| eit|y| f(x)f(y)G (x y)dxdy

ei(xy)w dwdxdy =

2
2
eit|y| f(y)G (x y)dy| |eit|x| f(x)|||f(y)||

2
|G (x y)|dy |eit|x| f(x)|||f|| K

En donde la ultima cotas se tiene al ser G aproximacin de la identidad. Ademas al estar f en L1 entonces fb esta en L y as ||f|| < .


d
2
2
2
Finalmente lo anterior es integrable, puesto que eit|x| f(x)eizx lo es y seria igual a (2) 2 eit|x| (x) (z)
f , luego como eit|x| f(x)eizx es
integrable, lo es su modulo que es |eit|x| f(x)|. Con eso lo anterior es integrable, vale T.C.D y sigue que nuestra integral es:
2

2
eit|x| f(x) lm

0 y

2
eit|y| f(y)G (x y)dydx =

2
2
eit|x| f(x)eit|x| f(x) =

|f(x)|2 dx = ||f||L2 = ||f ||L2

TAREA 1 MA4802-1 ECUACIONES EN DERIVADAS PARCIALES 2015.

14

En donde en la ultima parte ocupamos que la transformada de Fourier es isometra en L2 . Finalmente tenemos que:
lm I = ||S(t)f ||L2

0

Y a su vez:
lm I = ||f ||L2

0

Se concluye por unicidad de limite que ||S(t)f ||L2 = ||f ||L2 para f en L1 L2 : y luego por densidad se tiene que S(t)f es isometra en L2 .

Problema 13.

Concluya que S(t)f se puede denir para cualquier f en Lp (Rd ), 1 p 2, y que enva Lp en Lp , con
0

cota

C
||f ||Lp
t

||S(t)f ||Lp0

con cierto en [0, d2 ].

Notemos que usando el resultado de Riesz-Thorn obtuvimos un resultado similar para la transformada de Fourier; as que
es de esperarse que dado que el operador S(t) tambin esta denido para L1 y L2 se pueda extender.
Demostracin.

Veamos que cumple las hiptesis del teorema:

En este caso ocupamos p0 = 1, q0 = , p1 = 2, q1 = 2. Luego podremos extender a los Lp que cumplen que existe entre 0 y 1 tal que
1
= 1 + 2 = 1 2 y llegara a un Lq tal que 1q = 2 con el el mismo que para p . En particular se deduce que p1 = 1 1q ; osea p1 + 1q = 1;
p
osea q = p0 el Holder conjugado de p. Notemos que dado que esta entre 0 y 1 se deduce que p1 esta entre 12 y 1 ; luego p esta entre 1 y 2. As,
de poder ocupar el teorema, nuestra extensin sera valida para p [1, 2]; que es lo que nos piden demostrar; as que apaamos con eso.
Ya sabemos S(t) enva L1 L y L2 L2 . Ademas dado que S(t) es lineal (sigue del hecho que la integral es lineal y que multiplicar por
exponencial o constantes es lineal) se deduce que S(t) enva L1 + L2 L + L2 .
Por la primera parte tenemos que para f en L1 se tiene que ||S(t)f ||L
||S(t)g||L2 ||g||L2 (en particular es igual).

Con esto cumple todas las hiptesis del teorema con M0 =

0
Lp y que

C
td/2

||S(t)f ||Lp0 M01 M1 ||f ||Lp =

Con =


1
|(4i)d/2 |

d
(1
2

1

C
||f ||L1
td/2

y dado que es isometra en L2 dado g en L2 se tiene que

y M1 = 1; luego por el Teorema de Riesz-Thorin se tiene que S(t) enva Lp a

1

||f ||Lp =

td/2

e
C
d (1)
2

||f ||Lp =

e
C
||f ||Lp
t

t
e por C =
); como va entre 0 y 1 se deduce que entonces [0, d2 ]. Y se tiene as el resultado pedido, cambiando C

Suponga ahora f en D(Rd ). Pruebe que S(t)f esta en C (Rd ) pero que no puede estar en D(Rd ).
Indicacin: Para la ultima parte, escriba astutamente S(t)f como parte de la transformada de Fourier de una funcin a
soporte compacto.
Problema 14.

Observacion: en lo que sigue ocuparemos el siguiente resultado de Teora de la Medida.

(Cambio derivada con Integral): Sea f : Rn R R una funcin que verica lo siguiente:
1.- Para todo x en Rn f (x, ) es de clase C 1
2.- Para todo t en R, f (, t) esta en L1
3.- Existe g en L1 tal que para todo x y t | f
t (x, t)| g(x).
Entonces F (t) :=

Rn

f (x, t)dx es clase C 1 y ademas

F (t) =
t

Rn

f
(x, t)dx
t

TAREA 1 MA4802-1 ECUACIONES EN DERIVADAS PARCIALES 2015.

Demostracin.

15

En efecto; sea f en D(Rd ) . Primero veamos que S(t)f es continuo; sea x en Rd y xn x. Entonces
lm S(t)f (xn ) =

1
lm
(4it)d/2 n

|xn y|2
4it

f (y)dy

Rd

La idea ahora es poder meter el limite en la integral; para eso usamos convergencia dominada; en efecto:
e

|xn y|2
4it

f (y) e

|xy|2
4it

Por ser la exponencial continua y ademas

|e

|xn y|2
4it

f (y)

f (y)| |f (y)| L1

Puesto que como f (y) esta en D(Rd ) se deduce que es integrable. Sigue entonces, por T.C.D. que
lm S(t)f (xn ) =

1
(4it)d/2

lm e

|xn y|2
4it

Rd n

f (y)dy =

1
(4it)d/2

|xy|2
4it

f (y)dy = S(t)f (x)

Rd

Y as se deduce que el operador es continuo. Veamos ahora que es innitamente diferenciable.Demostraremos primero que la derivada entra al
operador S(t)f . En efecto;

1
S(t)f =
xi
xi (4it)d/2

|xy|2
4it

f (y)dy =

Rd

(4it)d/2 xi

|xy|2
4it

f (y)dy

Rd
|xy|2

Ahora queremos que la derivada entra a la integral. Para ello vericamos las hiptesis; sea g(x, y) = e 4it f (y). En primer lugar es claro
que si jamos todas las variables menos xi entonces g queda una funcin de clase C1 ; puesto que solo hay que derivar la exponencial y con eso
queda una funcin continua. (Recordando que t > 0).
Luego si jamos xi entonces la funcin esta en L1 ; en efecto; esto se tiene puesto que f esta en D(Rd ) as que por tanto es integrable y la
|xy|2
4it

exponencial cumple |e

| 1. Luego
|e

|xy|2
4it

f (y)| |f (y)| L1y

y por tanto es integrable.

2

|xy|
|xy|
2
2(xi yi )
g(x,y)
|xy|
= f (y)e 4it
= f (y)e 4it
; puesto que |x y|2
xi
xi
4it
4it
2(xi yi )
1
| Ly . Esto pues para todo x; 2xi es una constante y lo otro es integrable; en particular
|f (y)
4it

Ahora veamos

Pd

j=1 (xj

yj )2 ; luego |

g(x,y)
|
xi

f (y)yi pues la f es a soporte compacto,

as que tambin lo sera multiplicarlo por el polinomio; y las constantes. As podemos cambiar derivada con integral y queda que:

1
S(t)f =
xi
(4it)d/2

Rd

1
|xy|2
4it
e
f (y)dy =
xi
(4it)d/2

Reornando queda que eso es:

2xi
2
S(t)f =
S(t)f +
xi
4it
(4it)(4it)d/2

Rd

yi f (y)e

|xy|2
4it

f (y)e

|xy|2
4it

Rd

dy =

2(xi yi )
dy
4it

2
2xi
S(t)f +
S(t)(f (w)wi )
4it
4it

|xy|2

4it

Ademas en particular, el mismo teorema de cambio de limite con integral nos dice que x
f (y)dy sera continua y por tanto
d e
i R

d
tambin xi S(t)f ; as S(t)f es diferenciable y con derivada continua para cualquier f en D(R ). Ademas de la ultima expresin de deduce
i
que es innitamente diferenciable: esto pues 2x
S(t)f es composicin de funciones diferenciables. Por otro lado yi f (y) es una funcin a
4it
continua soporte compacto que llamaremos g(y), osea que g esta en D(Rd ) Luego el segundo termino es, salvo constantes, S(t)g ; que por el
mismo resultado vuelve a ser diferenciable. Luego al derivar volvern a salir combinaciones de estos termino con polinomios que vuelven a ser
diferenciables. Con eso se deduce que, recursivamente, S(t)f sera innitamente diferenciable y con derivada continua; ergo, esta en C (Rd ).
Ahora nos falta probar que no puede ser a soporte compacto.

De clases ya sabemos que la transformada de Fourier de una funcin a soporte compacto, NO es a soporte compacto; as que la indicacin de
escribir nuestro operador como una transformada de Fourier puede apaar para llegar al resultado. Notemos que como |xy|2 = |x|2 +|y|2 +2 <
x, y > sigue que:

1
S(t)f =
(4it)d/2

e
Rd

|xy|2
4it

|x|2

e 4it
f (y)dy =
(4it)d/2

|y|2

e 4it

|x|2

2<x,y>
4it

Rd

Luego sigue que:

S(t)f (x)(2it)d/2 e

|x|2
4it

e 4it
f (y)dy =
(4it)d/2

= F (e

|y|2
4it

f (y))(

x
)
2t

Rd

|y|2

x
ei< 2t ,y> e 4it

|x|2

|y|2
e 4it
x
f (y)dy =
F (e 4it f (y))( )
2t
(2it)d/2

TAREA 1 MA4802-1 ECUACIONES EN DERIVADAS PARCIALES 2015.

|y|2
4it

Como f esta en D(Rd ) entonces sigue que e

16

f (y) es a soporte compacto y por tanto,segn vimos en clases, su transformada NO lo es. A

|x|2

su vez tampoco lo es la exponencial compleja y sigue que entonces S(t)f (x)(2it)d/2 e 4it no es a soporte compacto; dado que la transformada
x
no es a soporto compacto y 2t
recorre todo Rd entonces S(t)f no puede ser a soporte compacto.

Si ahora f esta en S(Rd ), pruebe que S(t)f esta en S(Rd ) y encuentre la ecuacin(lineal) que satisface
u(t, x) := [S(t)f ](x) para t > 0.

Problema 15.

Demostracin.

Sea f en S(Rd ) , demostraremos que S(t)f S(R). Osea que para todo N, m naturales se tiene que
m
ax ||(1 + |x|2 )m | S(t)f ||| <

||N

Lo que equivale a demostrar que para todo m natural y multindice tal que || < se tiene que:
||(1 + |x|2 )m | S(t)f ||| <

Notemos que solo basta hacerlo para el caso en que || = 0. Puesto que como ya calculamos:
S(t)f
2xi
2
S(t)f +
=
xi
4it
(4it)(4it)d/2

Rd

yi f (y)e

|xy|2
4it

dy =

2xi
1
S(t)f +
S(t)(f (w)wi )
4it
4it

En donde en particular f (w)wi es Schwartz pues f lo es. Luego si dado f Schwartz y probado el caso || = 0 se tiene queS(t)f es acotado al
S(t)f
i
multiplicar por cualquier polinomio y evaluado en cualquier Schwartz entonces tambin lo sera 2x
S(t)f + S(t)(f (w)wi ) = x . Si volvemos
4it
i
a derivar nuevamente saldrn solamente combinaciones de S(t)f con polinomios y/o evaluaciones de S(t)(f p) con p un polinomio; donde todo
eso es nito al ser f Schwartz y S(t)f acotado al tomar una Schwartz y ser multiplicado por un polinomio. En sntesis; si probamos || = 0
implica los dems casos y ganamos.
En efecto:
||(1 + |x|2 )m |S(t)f ||| = ||

En lo que sigue obviaremos la constante

(1 + |x|2 )m
|
|(4it)d/2 |

|xy|2
4it

f (y)dy|||

Rd

1
.
|(4it)d/2

Notemos que |x y|2 = |y x|2 . Notando lo anterior haremos un cambio de variable; u + x = y con lo que queda:

||(1 + |x|2 )m |

|u|2
4it

(1 + |x|2 )m e

f (u + x)du||| = ||

Rd

|u|2
4it

f (u + x)du||

Rd

Multiplicando por un uno conveniente queda:

(1 + |x|2 )m

||
Rd

(1 + |x + u|2 )m+p |u|2

e 4it f (u + x)du||
(1 + |x + u|2 )m+p

Para p por elegir. Como f es Schwartz entonces |(1 + |x + u|2 )m+p f (u + x)| Cm,p < para todo p. Luego queda que podemos acotar lo
anterior por:

Cm,p ||
Rd

|u|2
(1 + |x|2 )m
e 4it du||
2
m+p
(1 + |x + u| )

Ahora obviaremos la constante; si demostramos que la integral es nita ganamos. Dado que la exponencial compleja es acotada tenemos que
eso es menor o igual a:

||
Rd

(1 + |x|2 )m
du||
(1 + |x + u|2 )m+p

La cual es convergente si el grado del denominador respecto al integrando es mayor a d. En particular si elegimos que el grado del denominador
sea mayor que el numerador respecto a x tendremos entonces una funcin acotada. Luego eligiendo p > d m sigue que entonces que la integral
es convergente para todo x osea que:

||
Rd

(1 + |x|2 )m
du|| <
(1 + |x + u|2 )m+p

Y entonces S(t)f es Schwartz.

Ahora como S(t)f es Schwartz puedo tomar transformada y todo debera andar bien. Como f es Schwartz sigue que es integrable y por tanto
vale la siguiente ecuacin que ya probamos:
S(t)f =

1
(2)

d
2

Rd

2
2
eit|z| eizx f(z)dz = F 1 (eit|z| f(z))(x)

TAREA 1 MA4802-1 ECUACIONES EN DERIVADAS PARCIALES 2015.

Luego sigue que:

17

2
F (S(t)f )(z) = eit|z| f(z)

Ahora notemos que si sacamos la derivada respecto a t se tiene que (lo cual podemos pues el nico termino que tiene t es la exponencial y es
innitamente diferenciable):
2

it|z|2
F (S(t)f )(z) =
(e
)f (z) = i|z|2 f(z)eit|z| = i|z|2 F (S(t)f )(z)
t
t

Luego sigue que se cumple la ecuacin:

F (S(t)f )(z) = i|z|2 F (S(t)f )(z)

t

Ahora si tomamos la inversa de la transformada en la ecuacin anterior queda:

F 1 (

F (S(t)f )(z)) = F 1 (i|z|2 F (S(t)f )(z)) = iF 1 (|z|2 F (S(t)f )(z))

t

Ahora dado que f es Schwartz se tiene que f es integrable para todo || 2; luego usaremos que con esas hiptesis y para p polinomio
F (p(i)f )(z) = p(z)f(z). En este caso p(z) = |z|2 ; Luego
p(ixi ) = ((ix1 )2 + (ix2 )2 + .. + (ixd )2 = x1 + .. + xd = 4
|z|2 F (S(t)f )(z) = F (4S(t)f )(z)

Luego:
iF 1 (|z|2 F (S(t)f )(z)) = i4S(t)f

Ahora veamos que:

F 1 (

Para ello basta ver que:

F (S(t)f )(z)) =
F (F (S(t)f )(z)) =
S(t)f
t
t
t

1
F (F (S(t)f )(z)) =
t
t

2
eixz eit|z| f(z)dz

Rd

Ahora claramente eixz ei|z| f(z)es clase C 1 ; puesto que el nico termino que depende de t es la exponencial y esta es C . Ademas para todo
2
t se tiene que eix eit|| f() es integrable; puesto que eso es eix F (S(t)f )() la cual es integrable y es igual a F 1 (F (S(t)f )(z))(x) la cual es
2
2

nita puesto que S(t)f es Schwartz y la transformada es un isomorsmo en las Schwartz. Ademas t
(eixz eit|z| f(z)) = i|z|2 eixz eit|z| f(z)
2
y se tiene que | i|z|2 eixz eit|z| f(z)| = |eixz |z|2 F (S(t)f )| L1 ; puesto que como S(t)f es Schwartz entonces |z|2 F (S(t)f ) es Schwartz y
luego integrar eixz |z|2 F (S(t)f ) es calcular F 1 (|z|2 F (S(t)f )) la cual esta bien denida y es nita el ser F un isomorsmo en las Schwartz.
Con esto sigue que |z|2 F (S(t)f ) es integrable y con eso ||z|2 F (S(t)f )|. Con eso podemos cambiar derivada con integral y queda que
2

S(t)f =
F (F (S(t)f )(z)) =
t
t
t

2
eixz eit|z| f(z)dz =

Rd

eixz
Rd

Ocupando eso en la ecuacin original queda que:

it|z|2

(e
f (z))dz = F 1 ( F (S(t)f )(z))
t
t

S(t)f = i4S(t)f
t

Donde eso se tiene para todo x en Rd ; luego sigue que:

S(t)f (x) = i4S(t)f (x)

t

Ocupando que u(x, t) = S(t)f (x) se tiene la ecuacin lineal:

u(x, t)
= i4u(x, t)
t

Observacin: segn wikipedia esa es la ecuacin de Schrdinger, y dado que estamos ocupando el operador de Schrdinger tiene toda la pinta
que eso esta bien. Yes!