1

MODELOS MATEMTICOS II
Curso 1213

Relacin de ejercicios 1: Series de Fourier, problemas de contorno,

ecuaciones en derivadas parciales y clculo de variaciones

1.- Determina los valores propios y las funciones propias del problema

x00 + 4x0 + (4 + 9)x = 0 , x(0) = x0 (1) = 0 .

Solucin: Se trata de un problema de contorno lineal y de segundo orden con coefi-

cientes constantes, luego resolvemos en primer lugar la ecuacin caracterstica asociada

2 + 4 + (4 + 9) = 0 .

Si = 0 se tiene que la nica raz de la ecuacin caracterstica es = 2 con multiplicidad

dos, luego las soluciones de x00 + 4x0 + 4x = 0 son todas de la forma

x(t) = Ae2t + Bte2t , A, B IR .

Imponiendo las condiciones de contorno obtenemos A = B = 0, que nos conduce a la

solucin trivial; por consiguiente, = 0 no puedep ser un valor propio. Para < 0 las
races de la ecuacin caracterstica son = 2 3 ||, que dan lugar a las soluciones
   
2+3 || t 23 || t
x(t) = Ae + Be , A, B IR .

Imponiendo nuevamente las condiciones de contorno volvemos a obtener A = B = 0, por

lo que tampoco
hay valores propios negativos. Finalmente, para valores > 0 obtenemos
00 0
= 2 3 i, luego todas las soluciones de x + 4x + (4 + 9)x = 0 son de la forma



x(t) = e2t Asen 3 t + B cos 3 t , A, B IR .

Al imponer las condiciones de contorno x(0) = x0 (1) = 0 se tiene que

B = 0 , 3 cos 3 = 2sen 3 .

Por consiguiente, los valores propios de nuestro problema son aquellos > 0 que resuelven
la ecuacin trigonomtrica



3 cos 3 = 2sen 3 , (1)

en tanto que las funciones propias asociadas son de la forma

x (t) = Ae2t sen 3 t , A IR ,
2

para todos aquellos valores > 0 que resuelven (1). 

20

10

20 40 60 80 100

-10

-20

Figure 1: Las soluciones de la ecuacin (1) son los ceros de la funcin representada: 0, 2.03042,
6.41195, 12.9904, 21.7629, . . .

2.- Razona la veracidad o falsedad de las siguientes afirmaciones.

(a) El desarrollo en serie de Fourier de la funcin f (x) = x en (, ) es
X sen(nx)
2 (1)n+1 .
n1
n

(b) El desarrollo en serie de Fourier de la funcin f (x) = x converge hacia f en (, ).

(c) El problema de contorno

(tx0 )0 + xt = 1t , 1 t e
x0 (1) = 1 ,
x(e ) + x0 (e ) = 0

tiene infinitas soluciones.

(d) Los valores propios del problema de contorno
t2 x00 + tx0 = x , IR , x0 (1) = x(e ) = 0 ,
son n = n para todo n 1 y las funciones propias son
  
2n + 1
xn (t) = cos log(t) .
2
 3

Solucin: (a) VERDADERA. El desarrollo de Fourier es de la forma

a0 X n o
x + an cos[n(x + )] + bn sen[n(x + )] ,
2 n=1

con
1
Z
an = x cos[n(x + )] dx , n IN {0} ,

1
Z
bn = xsen[n(x + )] dx , n IN .

Claramente a0 = 0. Asimismo, por ser la funcin x cos(nx) impar se tiene

(1)n
Z
an = x cos(nx) dx = 0 , n IN .

Por otro lado

(1)n (1)n
Z
2 2
bn = xsen(nx) dx = (1)n+1 = .
n n

Entonces
X sen[n(x + )] X sen(nx)
x 2 =2 (1)n+1 .
n=1
n n=1
n

(b) VERDADERA. La complitud del sistema trigonomtrico garantiza la convergencia

en L2 (, ).
(c) FALSA. La ecuacin diferencial puede ser reescrita de la siguiente forma:

t2 x00 + tx0 + x = 1 , (2)

admitiendo claramente como solucin particular la funcin constante x 1. Bastar

pues con encontrar la solucin general de la ecuacin homognea t2 x00 + tx0 + x = 0, que
es del tipo Euler. Es conocido que el cambio de variable t = es transforma esta ltima en
una ecuacin lineal con coeficientes constantes, a saber: y 00 + y = 0, cuya solucin general
viene dada por
y(s) = A cos(s) + Bsen(s) , A, B IR .
Deshaciendo finalmente el cambio de variable y tomando en consideracin la solucin
particular encontrada anteriormente, se tiene que la solucin general de la ecuacin (4) es
de la forma
x(t) = A cos(ln(t)) + Bsen(ln(t)) 1 , A, B IR .
Aplicando ahora las condiciones de contorno deducimos fcilmente que

x0 (1) = B = 1 ,
x(e ) + x0 (e ) = A 1 Be = 0 ,
4

luego A = 1 + e , B = 1 y la nica solucin del problema planteado es

x(t) = (1 + e ) cos(log(t)) + sen(log(t)) 1 .

h  i
(d) FALSA. Si xn (t) = cos 2n+1 2
log(t) fuese una funcin propia del problema
planteado asociada al valor propio n = n, habra de resolver (en particular) la ecuacin
t2 x00n + tx0n + nxn = 0 .
Sin embargo
    
2n + 1 2n + 1
x0n (t)
= sen log(t) ,
2t 2
      2   
00 2n + 1 2n + 1 2n + 1 2n + 1
xn (t) = sen log(t) cos log(t) ,
2t2 2 2t 2
en cuyo caso resulta la relacin
 2
2n + 1
n = ,
2
que es absurda. 

2x
3.- Sea la funcin f (x) = cos(x) 1 +
definida en el intervalo [0, ].
(a) Calcula el desarrollo en serie de Fourier de senos de f .
(b) Converge dicho desarrollo uniformemente en [0, ]?
(c) Satisfacen sus coeficientes la identidad de Parseval?
(d) Demuestra que
2x 2 X sen(2kx)
cos(x) = 1 .
k1 k(1 4k 2 )

Solucin: (a) La serie de Fourier de senos de f se define como

2
X Z
f (x) bn sen(nx) , bn = f (x)sen(nx) dx
n=1
0
en el intervalo [0, ]. En nuestro caso se tiene
2 
Z
2x 
bn = cos(x) 1 + sen(nx) dx
0
 
2 n  n
 1 2
= 1 + (1) + (cos(n) 1) + cos(n)
n2 1 n n
2 
 
2 n 
= 1 + (1)n + 1 + cos(n)
n 1 n2
2    0 si n es impar
n
= 1 + (1) = 4 ,
2
n(1 n ) n(1n2 )
si n es par
 5

luego

2 X sen(2nx)
f (x) .
n=1 n(1 4n2 )

(b) SI, ya que f : [0, ] IR es continua, f 0 (x) = 2 sen(x) tambin lo es (habra

bastado con que fuese continua a trozos) y f (0) = f () = 0.
(c) NO. Por un lado se tiene que
Z 
2 2x 2
kf kL2 (0,) = cos(x) 1 + dx
0
Z Z Z
4
Z
2 4 2
= cos(x) dx 2 cos(x) dx + + 2 x dx + x(cos(x) 1) dx
0 0 0 0
4 8 5 2 48
= ++ 2 = ,
2 3 6
mientras que por otro lado1

X 4X 1 5 2 48
( bn )2 = 2 (1 4n2 )2
= .
n=1
n=1
n 3
Lo cual estaba tericamente justificado de antemano, pues

X
c2n = kfimpar k2L2 ([,]) = 2kf k2L2 ([0,]) ,
n=1

donde fimpar denota la extensin impar de f al intervalo [, ] y {cn }nIN son los coe-
ficientes de Fourierdel desarrollo trigonomtrico de fimpar (de entre los cuales los nicos
no nulos son cn = bn , que preceden a los senos en el desarrollo).
(d) Como el desarrollo en serie de senos converge uniformemente hacia f podemos
escribir
2x 2 X sen(2nx)
cos(x) 1 + = ,
n=1 n(1 4n2 )
de donde obtenemos inmediatamente la identidad deseada. 

4.- Se pide:
(a) Resuelve el siguiente problema mixto para la ecuacin del telgrafo mediante el
mtodo de separacin de variables:
2u u 2u

t 2 + 2 t + u = x2 , t > 0, x (0, ),
u(0, x) = sen(x), x [0, ],

u (0, x) = 0, x [0, ],
t

u(t, 0) = u(t, ) = 0, t > 0.
1
Obsrvese que el sistema de senos
n es ortonormal solo si sus elementos estn normalizados a la unidad,
es decir, si consideramos el sistema sen(nx)
o

, por lo que los coeficientes de Fourier asociados pasan
nIN
a ser de la forma bn
6

(b) Encuentra una solucin del problema

utt uxx = sen(x), t IR, x (0, ),
u(0, x) = ut (0, x) = 0, x [0, ],
u(t, 0) = u(t, ) = 0, t IR.

(Sugerencia: Bscala de la forma u(t, x) = v(x) + w(t, x), con v(0) = v() = 0 y w
una solucin de la ecuacin de ondas homognea). Hay ms soluciones?

Solucin: (a) Buscamos soluciones de la forma u(t, x) = v(t)w(x). Sustituyendo esta

expresin en la ecuacin del telgrafo obtenemos

00 0 v 00 (t) + 2v 0 (t) + v(t)

00 w00 (x)
(v (t) + 2v (t) + v(t))w(x) = v(t)w (x) = ,
v(t) w(x)
de donde se concluye que

v 00 (t) + 2v 0 (t) + v(t) w00 (x)

= = .
v(t) w(x)

Separando ahora las ecuaciones para v(t) y w(x) nos queda

v 00 (t) + 2v 0 (t) + (1 + )v(t) = 0 , w00 (x) + w(x) = 0 .

El problema de SturmLiouville conformado por la ecuacin para w(x) junto con las
condiciones de contorno w(0) = w() = 0 es bien conocido; en efecto, nicamente el caso
en que n = n2 , con n IN , genera (las siguientes) soluciones no triviales:

wn (x) = ksen(nx) , k IR .

Resolvemos a continuacin la ecuacin

v 00 (t) + 2v 0 (t) + (1 + n2 )v(t) = 0 ,

obteniendo la solucin general

vn (t) = et (A cos(nt) + Bsen(nt)) , A, B IR .

Luego
un (t, x) = et c1 cos(nt) + c2 sen(nt) sen(nx) ,


c1 , c2 IR .
Imponiendo finalmente las condiciones iniciales

un (0, x) = c1 sen(nx) = sen(x) c1 = 1 , n = 1 ,

un h
t

i
(0, x) = e (c2 n c1 ) cos(nt) (c1 n + c2 )sen(nt) sen(nx) (0, x)
t
c1
= (c2 n c1 )sen(nx) = 0 c2 = = 1,
n
 7

obtenemos
u(t, x) = et (cos(t) + sen(t))sen(x) .

0.8

0.6

0.4

0.2

0.5 1 1.5 2 2.5 3

Figure 2: Evolucin temporal de la solucin del Ejercicio 5 (c).

(b) Sustituyendo la expresin sugerida (u(t, x) = v(x) + w(t, x)) en la ecuacin de

ondas obtenemos
wtt (t, x) v 00 (x) wxx (t, x) = v 00 (x) = sen(x) ,
donde hemos usado que w(x) se ha elegido para que resuelva la ecuacin de ondas ho-
mognea wtt = wxx . Por tanto, integrando dos veces se obtiene
v(x) = sen(x) + Ax + B , A, B IR .
Aplicando ahora las condiciones v(0) = v() = 0 llegamos a que ha de ser A = B = 0, de
donde se desprende que v(x) = sen(x).
Por otra parte, aplicando las condiciones de contorno u(t, 0) = u(t, ) = 0 se obtiene
w(t, 0) = w(t, ) = 0. Finalmente, haciendo uso de los datos iniciales u(0, x) = ut (0, x) =
0 llegamos a
w(0, x) = sen(x) , wt (0, x) = 0 .
nicamente falta por determinar la funcin w(t, x). Pero recopilando la informacin
anterior sabemos que w(t, x) resuelve el siguiente problema mixto para la ecuacin de
ondas homognea:


wtt = wxx , t IR, x (0, ),
w(0, x) = sen(x), x [0, ],


w t (0, x) = 0, x [0, ],
w(t, 0) = w(t, ) = 0, t IR.

8

Buscamos soluciones con variables separadas de la forma w(t, x) = (t)(x). Entonces

00 (t) 00 (x)
= = .
(t) (x)
Comenzamos resolviendo el problema de contorno
 00
(x) + (x) = 0 , x (0, )
,
(0) = () = 0
que nicamente admite soluciones no triviales si n = n2 , n IN , de donde se desprende
fcilmente que ha de ser
n (x) = ksen(nx) , k IR .
Resolvemos a continuacin la ecuacin en t, obteniendo
n (t) = A cos(nt) + Bsen(nt) , A, B IR .
En consecuencia


wn (t, x) = c1 cos(nt) + c2 sen(nt) sen(nx) , c1 , c2 IR .
Al aplicar en ltima instancia las condiciones iniciales se obtiene
wn (0, x) = c1 sen(nx) = sen(x) c1 = 1, n = 1,


(wn )t (0, x) = n c1 sen(nt) + c2 cos(nt) sen(nx) (0, x)
= c2 nsen(nx) = 0 c2 = 0 ,
que nos proporciona w(t, x) = cos(t)sen(x). Finalmente, la solucin buscada es
u(t, x) = v(x) + w(t, x) = (1 cos(t))sen(x) .

1

0.8

0.6

0.4

0.2

0.5 1 1.5 2 2.5 3

Figure 3: Evolucin temporal de la solucin del Ejercicio 5 (d).

 9

5.- Se considera el funcional F : C 1 ([x0 , x1 ]) IR definido por

Z x1
F [y] = F (x, y(x), y 0 (x)) dx ,
x0

donde F C 2 ([x0 , x1 ] D), siendo D un subconjunto convexo de IR2 y F una funcin

convexa.

(a) Deduce de forma justificada la ecuacin de EulerLagrange que deben satisfacer

los posibles extremos locales de F que sean de clase C 2 ([0, 1]). Cules son las
condiciones de contorno que han de satisfacer los extremales?

(b) Demuestra que y C 2 ([0, 1]) es solucin del problema de minimizacin si y slo si
es un extremal.

(c) Calcula el mnimo de

2
x2 0 2
Z n o
2
F [y] = 2y + (y ) 4y dx
1 2
en C 1 ([1, 2]).

Solucin: (a) Sean y C 2 ([0, 1]) un extremo local de F y C 2 ([0, 1]) una funcin
test arbitraria. Dado IR, consideremos la perturbacin de y(x) determinada por
y (x) = y(x) + (x). Claramente y C 2 ([0, 1]). Podemos hacer la deduccin (sin
prdida de generalidad) para el caso en que y C 2 ([0, 1]) es un mnimo local de F, luego
F[y +] F[y]. Esto equivale a afirmar que la funcin 7 F[y +] alcanza un mnimo
en = 0 y, por tanto, derivando la integral con respecto al parmetro obtenemos
d 
0 = F[y + ] ( = 0)
dZ
 1n o 
0 0 0 0 0
= Fy (x, y + , y + ) + Fp (x, y + , y + ) dx ( = 0)
0
Z 1n o
0 0 0
= Fy (x, y, y ) + Fp (x, y, y ) dx .
0

Integrando ahora por partes se concluye que

Z 1n
d o
0 = Fy (x, y, y 0 ) Fp (x, y, y 0 ) dx
0 dx
+ Fp (1, y(1), y (1))(1) Fp (0, y(0), y 0 (0))(0)
0
(3)

para toda funcin C 2 ([0, 1]). En particular, si elegimos C 2 ([0, 1]) tal que (0) =
(1) = 0 se tiene que
Z 1n
d o
Fy (x, y, y 0 ) Fp (x, y, y 0 ) dx = 0 .
0 dx
10

Entonces una aplicacin directa del lema fundamental del clculo de variaciones nos per-
mite concluir que
dFp
Fy = 0, (4)
dx
por lo que (3) se traduce en

Fp (1, y(1), y 0 (1))(1) Fp (0, y(0), y 0 (0))(0) = 0 (5)

para toda C 2 ([0, 1]). Finalmente, la arbitrariedad de la funcin test nos permite
deducir de (5) que las condiciones de contorno han de ser
F F
0
(x = 0) = 0 (x = 1) = 0 . (6)
y y

(b) El funcional F es convexo por ser la funcin F convexa. Asimismo D es convexo

por ser el conjunto D convexo. Demostraremos que y(x) es un mnimo con respecto a D
del funcional F si y solamente si y(x) es un extremal, es decir, resuelve la ecuacin de
EulerLagrange asociada a F. En el apartado anterior se comprob que cualquier mnimo
local de F con respecto a D satisface la ecuacin (4). Comprobemos a continuacin el
enunciado recproco. Supongamos para ello que y D satisface (4). Dado cualquier
elemento u D, podemos considerar una combinacin convexa arbitraria u + (1 )u
con 0 < < 1. Entonces, por ser F convexa se tiene que

F[y + t(u y)] = F[tu + (1 t)y] tF[u] + (1 t)F[y] = F[y] + t(F[u] F[y]) ,

es decir,
F[y + t(u y)] F[y]
F[u] F[y] .
t
Tomando lmites en la desigualdad anterior cuando t 0 se obtiene
 
d  F[y + t(u y)] F[y]
0= F[y + t(u y)] (t = 0) = lim F[u] F[y] ,
dt t0 t
luego F[y] F[u] para todo u D, con lo que concluye la demostracin.
(c) Denotemos p = y 0 y
x2 p 2
F (y, p) = 2y 2 + 4y ,
2
que es claramente una funcin convexa. En efecto, basta con observar que la matriz
Hessiana de F , dada por
!
2F 2F
y 2 = 4 yp
= 0
HF (x) = 2F 2F
py
= 0 p2
= x2

es definida positiva. Entonces la ecuacin de EulerLagrange asociada al problema varia-

cional planteado es (cf. (4))
dFp
Fy = 0,
dx
 11

es decir,
d 2 0
0 = (4y 4) (x y ) = 4y 4 2xy 0 x2 y 00 . (7)
dx
Claramente la funcin constante y 1 es una solucin particular de esta ecuacin. Por
tanto, para construir la solucin general de la misma basta con conocer la solucin general
de la ecuacin homognea x2 y 00 +2xy 0 4y = 0, que es del tipo Euler. Haciendo el consabido
cambio de variable x = ez podemos reducirla a una con coeficientes constantes, a saber:
u00 + u0 4u = 0, cuya solucin general es

1+ 17 1 17
z z
u(z) = Ae 2 + Be 2 , A, B IR .

Deshaciendo el cambio de variable obtenemos que la solucin general de (7) es

1+ 17 1 17
y(x) = Ax 2 + Bx 2 + 1, A, B IR .

Aplicando finalmente las condiciones de contorno (6) en el intervalo [1, 2], es decir y 0 (1) =
y 0 (2) = 0, concluimos que la nica solucin posible a nuestro problema de minimizacin
es y 1. 

6.- Sea = [0, T ] [0, 2]. Se considera el siguiente funcional

Z ( 2  2 )
u u u
F [y] = + cos(2x) d(x, t)
t x x

definido en el dominio

D = {u C() : u(0, x) = u(T, x) = u(t, 0) = u(t, 2) = 0} ,

donde t [0, T ] y x [0, 2].

(a) Demuestra que si u C 2 (), entonces la ecuacin de EulerLagrange asociada al

problema variacional anterior es

2u 2u
2 = sen(2x) .
t2 x

(b) Calcula una solucin del problema mixto consistente en la ecuacin de ondas de (a)
junto con las siguientes condiciones iniciales y de contorno:

u
u(0, x) = sen(2x) , (0, x) = 0 , u(t, 0) = u(t, 2) = 0 .
t
(Sugerencia: Bscala de la forma u(t, x) = nx
P
n=0 un (t) sen( 2 )).

(c) Es nica la solucin del problema planteado en (b)?

12

Solucin: (a) Definimos p = y 0 y F (u, q, p) := q 2 p2 + p cos(2x). Entonces la ecuacin

de EulerLagrange asociada al problema variacional planteado es

dFq dFp
Fu = 0,
dt dt

u u
donde hemos denotado q = t
yp= x
. Obtenemos entonces

d  u  d u  2u 2u
0 = 2 2 + cos(2x) = 2 2 + 2 2 + 2sen(2x) ,
dt t dx x t x

que no es ms que la ecuacin del enunciado (a).

P(b) Si buscamos una solucin del problema planteado en (b) de la forma u(t, x) =
nx
n=0 un (t)sen( 2 ), ha de satisfacerse (formalmente)


X n2   nx 
u00n (t) + un (t) sen = sen(2x)
n=0
4 2

junto con las condiciones iniciales y de contorno, que aportan las relaciones adicionales

X  nx 
X  nx 
un (0)sen = sen(2x) , u0n (0)sen = 0.
n=0
2 n=0
2

De este modo, habremos de resolver los problemas

u004 (t) + 4u4 (t) = 1 , u4 (0) = 1 , u04 (0) = 0 ,

n2
u00n (t) + un (t) = 0 , un (0) = 0 , u0n (0) = 0 , n 6= 4 ,
4

de donde se obtiene

3 cos(2t) + 1
u4 (t) = , un (t) 0 si n 6= 4 .
4

Luego
 
3 cos(2t) + 1
u(t, x) = sen(2x)
4

resuelve el problema planteado en (b).

 13

0.5

1 2 3 4 5 6

-0.5

-1

Figure 4: Evolucin temporal de la solucin del Ejercicio 7 (b).

(c) SI. En efecto, supongamos que u1 (t, x) y u2 (t, x) resuelven ambas el problema
planteado en (b). Entonces la funcin v := u1 u2 satisface el siguiente problema ho-
mogneo:
vtt = vxx
v(0, x) = vt (0, x) = 0 .
v(t, 0) = v(t, 2) = 0

La funcin de energa asociada a este problema es

Z 2
1  
E(t) := vt2 + vx2 dx .
2 0

Claramente E 0 (t) = 0, como se desprende de una sencilla integracin por partes; luego
E(t) es constante y, en particular,
Z 2
1  
E(t) E(0) = vt (0, x)2 + vx (0, x)2 dx = 0
2 0

para todo t 0 (ya que vt (0, x) = 0 = vx (0, x)). Por consiguiente, ha de cumplirse
vt 0 vx , de donde se desprende que la funcin v(t, x) ha de ser constante. Como
v(t, 0) = v(t, ) = 0, la nica opcin es v 0; luego u1 u2 . 

7.- Se considera el funcional

Z  
F[y] = y 0 (x)2 y(x)2 dx
0
14

definido en  Z Z 
1 2
D = y C [0, ] : y(x) dx = 1, y(x) dx = 0 .
0 0

(a) Calcula los valores propios y las funciones propias del problema de contorno

y 00 + y + y = 0 , y 0 (0) = y 0 () = 0 .

(b) Calcula de forma justificada el mnimo de F[y] en D e indica en qu funcin se

alcanza dicho mnimo.

Solucin: (a) Es fcil observar que el valor de alrededor del cual debe discutirse la
existencia de soluciones no triviales del problema

y 00 + (1 + )y = 0 ,
y 0 (0) = y 0 () = 0 ,

es = 1. En tal caso la ecuacin diferencial se reduce a y 00 = 0, cuya solucin gen-

eral viene dada por y(x) = Ax + B. Imponiendo entonces las condiciones de contorno
observamos que ha de ser A = 0, en tanto que el parmero B queda libre. Por consigu-
iente, cualquier funcin constante resuelve el problema de SturmLiouville para = 1,
de donde se desprende que = 1 es un valor propio del mismo con funciones propias
asociadas y(x) A IR. Si consideramos a continuacin el caso < 1, encon-
tramos que la solucin general
de la ecuacin diferencial viene ahora determinada por
(1+) x (1+) x
y(x) = Ae + Be . Aplicando las condiciones de contorno se obtiene el
sistema de ecuaciones
p
(A B) (1 + ) = 0 ,
 p
Ae (1+) Be (1+) (1 + ) = 0 ,

cuya nica solucin resulta ser A = B = 0. En consecuencia, no hay valores propios del
que 1.
problema de SturmLiouville menores
Finalmente,

el caso > 1 se obtiene
para
la solucin general y(x) = A cos 1 + x + B sen 1 + x , sujeta a las condiciones

B 1 + = 0,



A 1 + sen 1 + + B 1 + cos 1 + = 0 .

O, equivalentemente, B = 0 y n = n2 1, los cuales generan las soluciones yn (x) =

A cos(nx) para cualquier A IR.
En conclusin, los valores propios de nuestro problema son todos los de la forma
n = n2 1 para n = 0, 1, 2, . . . , en tanto que las funciones propias asociadas son

y(x) = A IR si = 1 (es decir, si n = 0) ,

yn (x) = A cos(nx), A IR, si n = n2 1 con n = 1, 2, 3, . . . .
 15

(b) Denotemos p =Ry 0 y F (x, y, p) := p2 y 2 , de modo que el funcional a minimizar

no es otro que F[y] = 0 F (x, y, p) dx. Como el espacio D en que se busca el mnimo de
F contiene ligaduras, emplearemos la tcnica de los multiplicadores de Lagrange para en-
contrarlo. Definimos para ello la siguiente correccin de F , que incorpora en su definicin
una de las restricciones contempladas en D:

F ? (x, y, p) := F (x, y, p) y 2 , = (x) .

Bastar entonces con resolver el problema de EulerLagrange asociado a FR ? e imponer

finalmente
R a sus soluciones que se satisfagan ambas ligaduras, a saber: 0 y(x) = 0,
0
y(x)2 dx = 1. La ecuacin de EulerLagrange que buscamos es la siguiente:

d d
Fy? Fp? = Fy 2y Fp = 2y 2y 2y 00 = 0 y 00 + (1 + )y = 0 ,



dx dx
en tanto que las condiciones de contorno asociadas sern de tipo Newman: y 0 (0) = y 0 () =
0, pues, dejando de lado las ligaduras, el espacio en que se busca el mnimo no es otro que
C 1 [0, ] (sin condiciones de tipo Dirichlet predefinidas sobre los extremos). En definitiva,
el problema de contorno de EulerLagrange que hemos de resolver es exactamente el
planteado en el apartado (a), del que ya conocemos sus valores propios y sus funciones
propias. Recordemos para acabar que los extremales sern nicamente aquellas soluciones
y(x) del problema de EulerLagrange que verifiquen
Z Z
y(x) = 0 , y(x)2 dx = 1 . (8)
0 0

Luego

(i) si = 1, la nica funcin propia que cumple la primera condicin establecida

en (8) es y 0. Sin embargo, tal funcin no puede verificar simultneamente la
segunda de las condiciones. Por consiguiente, el caso = 1 (o bien n = 0, si se
atiende a la expresin n = n2 1) no aporta extremales de F;

(ii) si n = n2 1 con n = 1, 2, 3, . . . , entonces yn (x) = A cos(nx) satisface la primera

condicin de (8) si y solamente si
Z
A

A cos(nx) dx = sen(n) sen(0) = 0 ,
0 n

condicin que se cumple siempre cualquiera que sea A IR. Sin embargo, la segunda
ligadura solamente es satisfecha si
Z Z
2 2 2 1 + cos(2nx)
A cos (nx) dx = A dx
0 0 2
r
2
 A2
A 1 2
= + sen(2n) sen(0) = =1A= .
2 2n 2
16

Es decir, los extremales de nuestro

q problema (o candidatos a mnimo) son todas las
funciones de la forma yn (x) = 2 cos(nx). Por otra parte, se tiene
Z Z
r 2  r 2
0
2 2
2 n 2 o
F[yn ] = yn (x) yn (x) dx = n sen(nx) cos(nx) dx
0 0
2 2 2 2  2
Z Z
2
n (1 + n2 ) cos2 (nx) dx


= n sen (nx) cos (nx) dx =
0 0
2 2 
= n (1 + n2 ) = 2n2 (1 + n2 ) = n2 1 ,
2
2
q n = 1. Consecuentemente, el mnimo de F[y] en D
que alcanza su valor mnimo cuando
vale 0 y se alcanza en y1 (x) = 2 cos(x). 

8.- Dada f C 1 [a, b], se considera el funcional

Z b
f (x) 1 + y 0 (x)2 dx


F[y] :=
a

definido en C01 [a, b]. Se pide:

(a) Determina la ecuacin de EulerLagrange y las condiciones de contorno asociadas
a este funcional.

(b) Demuestra que si 0 < a < b y f (x) = x, el funcional anterior tiene un nico mnimo
global. Calclalo.

Solucin: (a) En este caso F (x, p) := f (x)(1 + p2 ), de modo que

d d
2pf (x) = 2y 00 (x)f (x) 2y 0 (x)f 0 (x)


Fy (Fp ) =
dx dx
= 2 y 00 (x)f (x) + y 0 (x)f 0 (x) = 0 f y 00 + f 0 y 0 = 0 ,

con condiciones de contorno asociadas y(a) = y(b) = 0, dado que las funciones pertenecientes
al espacio C01 [a, b] se anulan en los extremos del intervalo.
(b) En este caso el funcional es estrictamente convexo, luego admite un nico mnimo
global. Si f (x) = x, la ecuacin de EulerLagrange asociada al funcional se lee xy 00 +y 0 = 0
o, de forma equivalente, xy 0 )0 = 0. Entonces se tiene que las soluciones han de cumplir
y 0 (x) = Ax con A IR, luego y(x) = A ln(x)+B, B IR. Imponiendo ahora las condiciones
de contorno obtenemos

y(a) = A ln(a) + B = 0, y(b) = A ln(b) + B = 0 A = B = 0 ,

2
Esta conclusin podra haberse avanzado sin necesidad de hacer el clculo anterior, pues a nivel
terico es conocido que, con las restricciones impuestas en D, el mnimo del funcional coincide con el
segundo valor propio del problema de SturmLiouville asociado (demostrado en clase)
 17
Rb b2 a2
luego el mnimo de F se alcanza en y 0. Claramente F[0] := a
x dx = 2
es el valor
mnimo del funcional. 

9.- (a) Calcula los valores propios y las funciones propias del problema de contorno
 2 0 0
(t y ) + y = 0 ,
y(1) = y(e) = 0 .
(b) A partir de los resultados de (a), justifica que el valor mnimo que alcanza el
funcional Z e
F[y] := t2 (y 0 (t))2 dt ,
1
Re
definido en D := y C0 [1, e] : 1 y(t) dt = 1 , es 2 + 41 .
 1 2

Solucin: (a) La ecuacin diferencial a resolver es t2 y 00 + 2ty 0 + y = 0, que es del

tipo Euler. Considerando entonces el cambio de variable t = es se obtiene la ecuacin de
coeficientes constantes x00 + x0 + x = 0. Calculamos sus soluciones general en funcin de
los valores de :
s
2
(i) Si = 14 , la solucin general viene dada por x(s) = (A+Bs)e , que en las variables
1


originales se corresponde con y(t) = t A + B ln(t) . Aplicando finalmente las
condiciones de contorno se obtiene A = B = 0, luego la nica solucin del problema
de contorno es la trivial.
1
(ii) Si < 4
, la solucin general viene dada por x(s) = Ae+ s + Be s , con =
12 14
2
. Al recuperar las variables originales se obtiene y(t) = At+ + Bt , que
nuevamente nos conduce a la solucin trivial despus de imponer las condiciones de
contorno.


1 2s 41 41


(iii) Si > 4 , la solucin general viene dada por x(s) = e A sen 2
s + B cos 2
s ,
que en trminos de las variables originales se traduce en
1
  4 1   4 1 
y(t) = A sen ln(t) + B cos ln(t) .
t 2 2
Al aplicar las condiciones de contorno se obtiene B = 0 y
 4 1 
12
e A sen = 0,
2
luego los valores propios son de la forma n = n2
2 + 41 , en tanto que las funciones
propias vienen dadas por yn (t) = At sen n ln(t) .

(b) Definimos p = y 0 , F (t, y, p) := t2 p2 y F ? (t, y, p) := F (t, y, p) y 2 . La ecuacin

de EulerLagrange asociada a nuestro problema es
d d
Fy? Fp? = Fy 2y Fp = 2y 4ty 0 2t2 y 00 = 0 ,



dt dt
18

es decir, t2 y 00 + 2ty 0 + y = 0. Por otra parte, como las funciones de D tienen soporte
compacto en [1, e], las condiciones de contorno han de ser y(1) = y(e) = 0. A nivel terico
es conocido que el mnimo de nuestro funcional ha de coincidir con el primer valor propio
del problema de SturmLiouville asociado, que no es otro que el descrito en el apartado
(a). Por consiguiente, el mnimo de F en D es 2 + 14 .
Verifiqumoslo: Como consecuencia del apartado (a), sabemos que los extremales de
A


nuestro problema adoptan la forma yn (t) = t sen n ln(t) siempre que el parmetro
adopta los valores n = n2 2 + 41 . Imponiendo la ligadura contemplada en D, se tiene que
Z e
2
Z e 2
A 2 2
Z 1
A2
sen2 nx dx =



yn (t) dt = sen n ln(t) dt = A = 1 A = 2.
1 1 t 0 2
q
Por consiguiente, los extremales del funcional F vienen dados por yn (t) = 2t sen n ln(t) .

Entonces se obtiene que

Z e  r
2 2 n
2 3
2
F[yn ] = t cos n ln(t) t sen n ln(t)
2 dt
1 t t 2
Z e 2 2 Z e
2n 2 1
sen2 n ln(t) dt



= cos n ln(t) dt +
1 t 2t
Z 1 Z 11
1 1
= 2n2 2 cos2 nx dx + sen2 nx dx = n2 2 + .



0 2 0 4
2 1
En conclusin, el valor mnimo de F es 2
+ 8
y se alcanza cuando n = 1, esto es, en
q
y1 (t) = 2t sen ln(t) .

10.- Sea D = {y C 1 ([0, ]) : y(0) = y() = 0}. Dados f : IR IR y , IR, se

considera el funcional F : D IR definido por
Z  
F[y] := (y 0 )2 + f (x)y dx .
0

(a) Deduce el problema de contorno de EulerLagrange satisfecho por los extremales de

F.

(b) Si f (x) = sen(x), = 2 y = 1, encuentra los extremales de F.

(c) Si f (x) 1 y = 2, encuentra los valores propios de dicho problema de contorno.

(d) En las condiciones del apartado (b), cules son los extremales de F si ahora con-
sideramos D = {y C 1 ([0, ]) : y() = 0}?

Solucin: (a) Denotamos p = y 0 y F (x, y, p) := p2 + f (x)y . Siguiendo los pasos del

Ejercicio 5(a) llegamos a que la ecuacin de EulerLagrange que se pide viene dada por
 19

la siguiente expresin:
d d
Fp = f (x)y 1 2p = f (x)y 1 2y 00 = 0 ,



Fy
dx dx
es decir, y 00
2
f (x)y 1 = 0. Por su parte, las condiciones de contorno son en este caso
las que vienen impuesas por D: y(0) = y() = 0.
(b) La ecuacin de EulerLagrange es en este caso y 00 sen(x) = 0, la cual ha de
resolverse sujeta a las condiciones de contorno y(0) = y() = 0. Este problema no
admite soluciones diferentes de la trivial. En efecto: si existieran soluciones no triviales,
bastara con advertir que, como sen(x) 1 x, cualquier solucin de y 00 + y = 0 debera
anularse en (0, ) en virtud de la teora de comparacin de Sturm. En cambio, la funcin
y(x) = sen(x) resuelve y 00 + y = 0 sin anularse en (0, ).
(c) En este caso la ecuacin de EulerLagrange es y 00 y = 0, que ha de resolverse
sujeta a los datos de contorno y(0) = y() = 0. Las opciones son las siguientes:

(i) Si = 0, la solucin general de la ecuacin diferencial es y(x) = Ax + B, en tanto

que las condiciones de contorno implican A = B = 0; luego = 0 no es un valor
propio de nuestro problema.

(ii) Si > 0, la solucin general de la ecuacin diferencial es y(x) = Ae x + Be x ,
en tanto que las condiciones de contorno implican A = B = 0; luego ningn > 0
es un valor propio de nuestro problema.


(iii) Si < 0, la solucin general de la ecuacin diferencial es y(x) = A sen x +


B cos x . En este caso las condiciones de contorno implican B = 0 y = n,
luego los valores propios de nuestro problema adoptan la forma n = n2 , con
n IN .

(d) En este caso habramos de resolver la ecuacin obtenida en el apartado (b), a

saber: y 00 sen(x)y = 0, sujeta a las condiciones de contorno y 0 (0) = y() = 0. Veamos
que en este caso vuelve a suceder que la nica solucin posible es la trivial. En efecto:
multiplicando la ecuacin por y e integrando por partes se obtiene
Z Z i Z Z
00 2 0 0 2
y y dx sen(x)y dx = 0 yy (y ) dx = sen(x)y 2 dx
0 0 0 0 0
Z Z
0 2 2
(y ) dx = sen(x)y dx .
0 0

Ntese que el trmino de frontera yy 0 () yy 0 (0) es nulo en virtud de las condiciones de

contorno a considerar. Por otra parte, el primer miembro de la igualdad ltima es no
positivo en tanto que el segundo es no negativo, lo cual conduce inmediatamente a que
ambos han de ser iguales a cero. En tal caso debe cumplirse y 0 0, luego y debe ser una
funcin constante. Finalmente, como en x = toma el valor 0, necesariamente ha de ser
y 0.

20

11.- Sea D = y C 1 ([0, 1]) : y(0) = 0, y(1) = 1 . Se considera el funcional
F : D IR definido por
Z 1
F[y] := (y 0 )3 dx .
0

(a) Calcula los extremales de F en D.

Rx
(b) Se considera la sucesin de funciones hn : [0, 1] IR definida por hn (x) = 0
gn (z) dz,
donde
n , x [0, 1/n]
gn (x) = 0, x (1/n, 1/2) , n 2 .

2/ n , x [1/2, 1]

Es C 1 ? Tiene derivada dbil? En caso afirmativo, calclala. Comprueba tambin

que {y(x) + hn (x)} y(x) en C([0, 1]) con la norma uniforme para toda y
C([0, 1]).

(c) En consonancia con el apartado anterior, consideramos ahora funciones del tipo
y(x) + hn (x). En qu espacio estn? Consideramos tambin el funcional F exten-
dido al espacio de Sobolev H 1 (0, 1). Calcula F[x + hn (x)] y limn {F[x + hn (x)]}.

(d) Sabiendo que y(x) = x es un extremal de F, calcula finalmente F[y(x)]. Son

contradictorios los resultados obtenidos en los apartados (b), (c) y (d)? Por qu?

Solucin: (a) Denotamos p = y 0 y F (x, y, p) := p3 . La ecuacin de EulerLagrange

asociada a F viene entonces dada por

d d
3p2 = 6y 0 y 00 = 0 ,



Fy Fp =
dx dx

o equivalentemente y 0 y 00 = 0. Sus soluciones son, pues, de la forma y(x) = Ax + B para

cualesquiera A, B IR. Aplicando ahora las condiciones de contorno y(0) = 0 e y(1) = 1
que definen D, resulta que ha de ser necesariamente A = 1 y B = 0, luego el nico
extremal de F en D es y(x) = x.
(b) Se tiene

n x , x [0, 1/n]
hn (x) = n, x (1/n, 1/2) , n 2,
2 n
n
(x 1) , x [1/2, 1]

que es claramente continua. Adems h0n = gn , que presenta discontinuidades de salto en

x = n1 y x = 12 . Por consiguiente, hn no es de clase C 1 . Para verificar la derivabilidad de
hn en sentido dbil basta con observar en primer lugar que hn L1loc ([0, 1]); y luego que,
 21

para toda funcin Cc ([0, 1]), se cumple

1 1 Z 1 Z 1

Z Z
0
n
0 n 2 0 2
hn (x) (x) dx = n x (x) dx (x) dx + (x 1)0 (x) dx
0 0 n n 1 n 21

1
! 

Z 
1 1 n n 1 1
= n (x) dx
n n 0 n 2 n
Z 1 ! Z 1 Z 1
2 1 1 n 2
+ (x) dx = n (x) dx (x) dx ,
n 2 2 1
2
0 n 1
2

de modo que existe la derivada dbil de primer orden de hn y viene descrita por

n, x [0, 1/n]
L1loc ([0, 1]) 3 h0n (x) = 0, x (1/n, 1/2) , n 2.
2 , x [1/2, 1]
n

1
Por otra parte, es claro que si fijamos > 0 y tomamos n0 = 2
, entonces para todo
IN 3 n > n0 se tiene que
  1
max |y(x) + hn (x) y(x)| = max |hn (x)| = <
x[0,1] x[0,1] n

y, como consecuencia, la convergencia uniforme de {y(x) + hn (x)} hacia y(x).

(c) Sabemos que y C 1 ([0, 1]) en virtud de la definicin de D; por otra parte, hn
C([0, 1]) y su derivada es una funcin continua a trozos (y, en particular, de cuadrado
integrable); por tanto, podemos afirmar que y + hn H 1 (0, 1). Asimismo
Z 1

3
F[x + hn (x)] = 1 + h0n (x) dx
0
1 1
Z

3
Z Z 1
n 2 2 3 
= 1 n dx + 1+
dx + dx
0 1
n
1
2
n
Z 1  Z 1


n 3
1 1 6 12 32

= 1 3 n + 3n n dx +
2 + 1+ + + 8n dx
0 2 n 1
2
n n

1 3 n 1 1 1 3 6 3
= + 3 n + + + + + 4n 2
n n 2 n 2 n n
6 3
= 4 n + + 4n 2 cuando n .
n
R1
(d) F[x] = 0 dx = 1. Esto no se contradice con ninguno de los resultados obtenidos.
La razn estriba en que no podemos esperar que {F[x + hn (x)]} F[x] en tanto que la
convergencia {x + hn (x)} x es vlida solamente en C([0, 1]), como se comprob en (b),
y no en H 1 (0, 1).