Captulo 10

Introduccin al Mtodo Variacional

Este captulo pretende ser una introduccin a uno de los mtodos modernos ms usados en la resolucin de EDPs: el Mtodo Variacional. A su vez, este mtodo constituye la base terica de uno de los mtodos numricos ms populares en ingeniera: el Mtodo de los Elementos Finitos. La exposicin rigurosa de este mtodo (al igual que la mayora de mtodos que hemos presentado en este curso) exige unos prerrequisitos matemticos bastante profundos. No obstante, es posible presentar, prescindiendo de algunos detalles tcnicos, el mtodo variacional con bastante precisin matemtica. Por otra parte, este tema tambin nos servir para poder entender un poco mejor la Delta de Dirac de la cual, de un modo un tanto informal, nos hemos ocupado en los temas dedicados a las transformadas. Empezaremos por motivar la necesidad de buscar un nuevo concepto de solucin de una ecuacin diferencial. Ello nos conducir de un modo natural al concepto de distribucin. Seguidamente introduciremos del modo ms elemental posible las distribuciones y los espacios de Sobolev. Finalmente, esbozaremos el Mtodo Variacional y lo aplicaremos a la resolucin de algunos problemas tpicos de EDPs de tipo elptico.

10.1

Sobre el Concepto de Solucin de una Ecuacin Diferencial

Consideremos el problema de estudiar la exin de una cuerda elstica de longitud L, sujeta en los extremos, y sobre la que acta una determinada fuerza que representamos por medio de la funcin f = f (x).
f
0

u(x)

Figura 10.1: Cuerda elstica sujeta en los extremos y sobre la cual acta la fuerza f. La ley de Hooke de la elasticidad lineal y el principio de conservacin de la cantidad de movimiento nos conducen a la ecuacin diferencial (u0 )0 = f en (0, L) , donde = (x) 0 > 0 depende de las propiedades fsicas de la cuerda. Si adems, este experimento ocurre en 131

132

Captulo 10. Introduccin al Mtodo Variacional

y por tanto, el modelo matemtico para este problema es (u0 )0 + u = f en (0, L) u (0) = u (L) = 0

un medio elstico, entonces dicho medio ejerce una fuerza (contraria a f ) y que viene dada por u, donde = (x) 0 > 0. De esta forma obtenemos la ecuacin 0 (10.1) u0 + u = f en (0, L) (SP)

Supongamos ahora que la fuerza que acta sobre la cuerda est localizada en un nico punto x = L/2. Despreciando la fuerza que ejerce el medio elstico, entonces es evidente que la cuerda adopta la forma dada en el siguiente grco.
L/2

Pero una funcin como la dada en este grco no es diferenciable en x = L/2. Por tanto, una tal funcin no puede ser solucin de la ecuacin (u0 )0 = f en (0, L) , al menos en sentido clsico, es decir, en el sentido de ser u dos veces derivable en cada punto del intervalo abierto (0, L) y vericando la ecuacin diferencial en dicho intervalo. Este sencillo ejemplo muestra que es necesario entender mejor el concepto de solucin de una ecuacin diferencial. Qu se puede hacer entonces? Consideremos de nuevo el problema de la cuerda. Si la fuerza f produce un desplazamiento v (x) en el punto x, entonces el trabajo producido por f (x) es f (x) v (x) , con lo cual el trabajo ejercido por f a lo largo de toda la cuerda viene dado por Z L f (x) v (x) dx.
0

Procediendo de la misma forma en el trmino de la izquierda de (10.1) e integrando por partes, Z

L

ya que v (0) = v (L) = 0. Este proceso transforma la ecuacin diferencial (ku0 )0 + u = f en la ecuacin integral Z L Z L Z L 0 0 (x) u (x) v (x) dx + (x) u (x) v (x) dx = f (x) v (x) dx. (10.2)
0 0 0

0 (x) u (x) v (x) dx =

0

(x) u0 (x) v0 (x) dx

Por tanto, podemos pensar en una solucin de (SP) como una funcin u : [0, L] R, con u (0) = u (L) = 0, la cual satisface (10.2) para todos los posibles desplazamientos v tales que v (0) = v (L) = 0. Una de las principales ventajas de este procedimiento es que de esta forma reducimos el nmero de requerimientos que ha de satisfacer u. Sin embargo, an quedan dos puntos principales que no estn claros en absoluto:

10.2. Introduccin a la Teora de Distribuciones

133

(1) u debe ser al menos una vez derivable, pero ste no es el caso cuando f es una carga concentrada en un punto. (2) si la carga est localizada en x = L/2 (es decir, f (x) = 0 para todo 0 x L, x 6= L/2), RL entonces 0 f (x) v (x) dx = 0 con lo cual u = 0 satisface (10.2), en contradiccin con la experiencia fsica. Estos dos hechos muestran que es preciso entender mejor la forma de tratar matemticamente con el concepto de carga localizada en un punto. En una primera aproximacin, supongamos que la carga est distribuida en una pequea porcin alrededor del punto x = L/2, esto es, L L 1/ (2) , 2 x 2 + f (x) = 0, en caso contrario. El trabajo producido por esta carga produciendo un desplazamiento v viene ahora dado por Z
L

f (x) v (x) dx =

L + 2 L 2

v (x) dx = v ( ) , 2

donde L L + , y la igualdad es debida al teorema de la media del Clculo Integral. 2 2 Tomando ahora lmites para 0 y suponiendo que v es continua concluimos que el trabajo producido por una carga concentrada en el punto L/2 y produciendo un desplazamiento v = v (x) vale v (L/2) . Por tanto, una forma de tratar matemticamente con el concepto de carga localizada en un punto x0 es por medio de una aplicacin, llammosla x0 , la cual acta sobre una cierta clase de funciones y produce nmeros siguiendo la regla x0 : v 7< x0 , v >=def v (x0 ) . Este fue el origen de la Teora de las Distribuciones descubierta por el matemtico francs Laurent Schwartz en la dcada de los aos 40, y por la que recibi en 1950 el premio de ms prestigio con que puede ser galardonado un matemtico: la medalla Fields.

10.2

Introduccin a la Teora de Distribuciones

En esta seccin introduciremos las nociones mnimas sobre teora de distribuciones que son necesarias para denir los espacios de Sobolev, los cuales juegan un papel esencial en el mtodo variacional.

10.2.1

Denicin de Distribucin. Ejemplos

A lo largo de esta seccin, designar un conjunto abierto, acotado y no vaco de Rn , con n = 1, 2 3, y x = (x1 , , xn ) denotar un punto genrico de . Llamaremos multi-ndice a todo elemento Nn , esto es, = (1 , , n ) donde i N para todo 1 i n. Si C k () y Nn tal que || = 1 + + n k denotaremos por = x1 1 || . xn n

Dada una funcin continua : R, llamaremos soporte de , sop , al conjunto sop = {x : (x) 6= 0}.

134

Captulo 10. Introduccin al Mtodo Variacional

Por D () denotaremos al espacio de las funciones test : R que son de clase C y con soporte compacto contenido en . Es inmediato comprobar que D () es no vaco; as por ejemplo, si a y R > 0 es tal que la bola de centro a y radio R est contenida en , entonces la funcin ( 1 e kxak2 R2 si kx ak < R (x) = 0 en caso contrario est en D () . En la grca que sigue se muestra el aspecto tpico de una funcin test.

Denicin 10.2.1 Dada una sucesin (m )mN D () , diremos que dicha sucesin converge en el sentido del espacio D () a una funcin D () si se verican las siguientes propiedades: (i) Existe un compacto K tal que sop m K para todo m N. (ii) La sucesin m converge uniformemente sobre a para todo multi-ndice Nn . Denicin 10.2.2 Llamaremos distribucin sobre a toda aplicacin u : D () R ; < u, > tal que si (m )mN D () converge a D () , en el sentido del espacio D () , entonces
m

lim < u, m >=< u, > .

Denotaremos por D0 () al espacio de todas las distribuciones sobre . Veamos ahora dos de los ejemplos ms destacados de distribuciones. Ejemplo 10.2.1 Consideremos el espacio L1 () de las funciones f : R tales que loc para cualquier compacto K . No es nada difcil comprobar que la aplicacin uf : D () R R ; < uf , >= f R
K

|f | <

es una distribucin sobre . Adems, gracias a la desigualdad de Cauchy-Schwarz, se tiene que L2 () L1 () y por tanto, toda funcin de L2 () es tambin una distribucin. loc

10.2. Introduccin a la Teora de Distribuciones

135

Ejemplo 10.2.2 Dado x0 , se llama distribucin Delta de Dirac centrada en x0 a la aplicacin x0 : D () R ; < x0 , >= (x0 ) Por supuesto, se puede demostrar que efectivamente la aplicacin anterior dene una distribucin. Se puede demostrar tambin, aunque esto ya no es tan evidente, que esta distribucin no coincide con ninguna funcin del espacio L1 (). loc Para interpretar fsicamente la delta de Dirac, supongamos que = R y consideremos, para > 0, la familia de funciones 1 2 si x f (x) = 0 en caso contrario
y
1/(2)

R + Ntese que f (x) dx = 1. Adems, dado que f L1 (R) , podemos considerar estas loc funciones como distribuciones. Denotaremos tambin por f la distribucin asociada (segn el Ejemplo 10.2.1) a la funcin f . Para D (R) se tiene que < f , >= Z
+

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

+,

donde en la segunda igualdad hemos aplicado el primer teorema de la media para integrales. Si tomamos ahora lmites cuando 0 obtenemos que
0

lim < f , >= (0) =< 0 , > .

Ntese por tanto que la delta de Dirac 0 es una buena forma de representar matemticamente el concepto de carga concentrada en el punto 0.

10.2.2

Clculo con Distribuciones. La Derivada de una Distribucin

Anteriormente hemos visto que toda funcin de L2 es una distribucin. En esta seccin veremos que la derivacin es una operacin vlida para cualquier distribucin. Ello nos permitir poder calcular la derivada de cualquier funcin de L2 , en particular, la derivada de funciones no continuas. Obviamente, esta operacin de derivacin no puede ser entendida en sentido clsico, sino en un sentido dbil o distribucional que es el que pasamos a estudiar a continuacin. Para motivar la denicin de derivada de una distribucin, supongamos que f C 1 (]a, b[) y que

136

Captulo 10. Introduccin al Mtodo Variacional

D (]a, b[) . Como f 0 C (]a, b[) , podemos considerar f 0 como distribucin y por tanto, integrando por partes se tiene que Z b Z b 0 0 < f , >= f (x) (x) dx = f (x) 0 (x) dx = < f, 0 >,
a a

ya que (a) = (b) = 0. La identidad < f 0 , >= < f, 0 > sigue teniendo sentido si se sustituye f por una distribucin cualquiera u D0 (]a, b[) . Este hecho es el que inspira la siguiente denicin. Denicin 10.2.3 Dado un multi-ndice Nn y una distribucin u D0 (), denimos la derivada u como la distribucin u : D () R . ; < u, >= (1)|| < u, > Es un simple ejercicio comprobar que u es efectivamente una distribucin. En el caso de que f C k () y || k, entonces la derivada distribucional y funcional de f coinciden (obviamente, en el sentido de las distribuciones). Veamos ahora dos ejemplos muy interesantes. Ejemplo 10.2.3 Consideremos la funcin de Heaviside 1 si x 0 H (x) = 0 en caso contrario

y veamos que su derivada distribucional coincide con la Delta de Dirac centrada en cero. Para cada D (R) se tiene que Z 0 0 < H , >= < H, >= 0 (x) dx = (x)| = (0) =< 0 , > . 0
0

Se trata de una funcin que pertenece al espacio L2 (]1, 1[) y por tanto es una distribucin. Sea D (]1, 1[) . Integrando por partes se tiene que Z
0

Ejemplo 10.2.4 Consideremos la funcin 1 + x, 1 x < 0 u (x) = 1 x, 0 x 1

< u0 , >= < u, 0 > Z 1 0 (1 + x) (x) dx (1 x) 0 (x) dx = Z

0 0

1 (x) dx +

1 (x) dx,

es decir, la derivada distribucional de u, que denotamos por u0 , es la distribucin asociada a la funcin 1 < x < 0 1, 0 u (x) = 1, 0 < x < 1

10.2. Introduccin a la Teora de Distribuciones

y
1 u

137
y
1

u'

-1

-1

-1

Figura 10.2: Grcas de la funcin u y de su derivada distribucional u0 . Ntese que tanto u como su derivada distribucional u0 pertenecen al espacio L2 (]1, 1[) . Adems, u se anula en los extremos de dicho intervalo. Se dice entonces que u pertenece al espacio de 1 Sobolev H0 (]1, 1[) . Ntese tambin que la funcin u no es derivable en sentido clsico en el punto x = 0.

Nota 10.2.1 La losofa general para denir operaciones en el espacio D0 () de las distribuciones es la siguiente: supongamos que T : D () D () es un operador lineal y continuo (respecto de la nocin de convergencia introducida en el espacio D ()). Se dice que T : D () D () es el operador dual de T si T es lineal y continuo y si adems satisface que Z Z (T ) (x) (x) dx = (x) (T ) (x) dx , D () .

(10.3)

Ntese que, desde el punto de vista de las distribuciones, (10.3) puede escribirse en la forma < T , >=< , T > . Por tanto, generalizando al caso de distribuciones se tiene < T u, >=< u, T > u D0 () y D () .

De la linealidad y la continuidad del operador T se deduce inmediatamente que T u D0 () . De esta forma se pueden denir las transformadas de Laplace y Fourier de distribuciones y otras muchas operaciones. No entraremos sin embargo en detalle en estas cuestiones en este curso.

138

Captulo 10. Introduccin al Mtodo Variacional

10.2.3

Espacios de Sobolev. La Desigualdad de Poincar

Una vez tenemos a nuestra disposicin las distribuciones, volvamos al problema (SP) o en particular a la ecuacin integral (10.2). Para que el trmino de la derecha en (10.2) tenga sentido, por la desigualdad de Cauchy-Schwarz, todo lo que necesitamos es que f, v L2 . Para el trmino de la izquierda en (10.2), si suponemos que y son acotadas, entonces hemos de exigir que u, v, u0 , v 0 L2 , es decir, que u, v y sus derivadas (en el sentido de las distribuciones) estn en L2 . Esto nos conduce de un modo natural a introducir una clase de espacios que juegan un papel esencial en la teora moderna de EDPs y que se denominan espacios de Sobolev. Es lo que hemos anticipado en el Ejemplo 10.2.4. A lo largo de esta seccin, denotar un subconjunto abierto y acotado de Rn (n = 1, 2 3). Supondremos adems que la frontera de , que denotamos por , es una curva de clase C 1 a trozos si n = 2, o una supercie regular a trozos y orientable si n = 3. Denicin 10.2.4 Se llama espacio de Sobolev H 1 () al espacio de las funciones u L2 () cuyas derivadas parciales (en el sentido de las distribuciones) pertenecen a L2 () , esto es, u 1 2 2 L () , 1 i n . H () = u L () : xi El espacio H 1 () dotado del producto escalar < u, v >H 1 =< u, v >L2 + del cual deriva la norma kukH 1 =
n X i=1

<

u v , > 2 xi xi L

kuk2 2 L

es un espacio de Hilbert. En la resolucin de problemas de EDPs nos ser especialmente til el espacio
1 H0 () = D () H1

!1/2 n X u 2 + xi 2
i=1 L

es decir, la clausura, respecto de la norma de H 1 , del espacio de las funciones test D () . O 1 dicho de otro modo, toda funcin de H0 () es, o bien una funcin test, o bien lmite (respecto 1 ) de una sucesin de funciones test. Dicho espacio, con la norma que hereda de la norma de H de H 1 , es tambin un espacio de Hilbert. Dicho de un modo un tanto impreciso, el espacio 1 H0 () es el formado por las funciones de H 1 que se anulan sobre la frontera de . Decimos de un modo un tanto impreciso dado que la frontera de tiene medida nula, y dos funciones de L2 que son iguales salvo en un conjunto de medida cero son, como funciones de L2 , iguales. Para eliminar esta ambigedad se introduce el concepto de traza de una funcin de H 1 () . No 1 entraremos en detalles sobre esta cuestin de la traza. Un ejemplo tpico de funcin en H0 () es la considerada en el Ejemplo 10.2.4. Para ver los detalles de todas estas cuestiones referidas a la traza es preciso acudir a libros ms especializados, como por ejemplo [2]. Enunciamos a continuacin dos de los resultados ms importantes de la Teora de Espacios de Sobolev y que utilizaremos a menudo en lo que resta de captulo. Para la demostracin vase [2, T. 11. 6, p. 205, y T. 11.13, p. 210]. Teorema 10.2.1

10.3. Formulacin Variacional Abstracta. El Teorema de Lax-Milgram

139

(i) (Frmula de Integracin por Partes) Sea Rn un abierto acotado con frontera de clase C 1 a trozos (esto es, una curva de clase C 1 a trozos si n = 2 o una supercie regular a trozos y orientable si n = 3) y sean u, v H 1 () . Entonces Z Z Z u v v (x) (x) dx = uvnj d u (x) (x) dx. (10.4) xj xj donde n = (n1 , , nn ) es el vector normal unitario exterior a . (ii) (Desigualdad de Poincar) Sea Rn un abierto acotado. Entonces existe una constante C > 0 tal que n X u 1 kukH 1 C xi 2 u H0 () .
i=1 L

Nota 10.2.2 Es importante tener presente que la integral sobre que aparece en (10.4) es una integral de lnea si n = 2 y de supercie si n = 3.

10.3

Formulacin Variacional Abstracta. El Teorema de LaxMilgram

Aunque no es sencillo de probar, se puede demostrar que la delta de Dirac, denida en principio sobre el espacio de funciones test D (0, L) , se puede extender a una forma lineal y continua 1 1 1 denida sobre H0 , esto es, x0 : H0 (0, L) R, denida como < x0 , u >= u (x0 ) , para u H0 . Las funciones f de L2 tambin pueden ser consideradas como formas lineales y continuas sobre 1 H0 por medio de la identidad Z 1 def fv. f : H0 R, v 7< f, v >= Estas nuevas ideas conducen a una nueva formulacin de (SP). De manera precisa, dada una 1 forma lineal y continua f : H0 R y una forma bilineal
1 1 a : H0 H0 R,

(u, v) 7 a (u, v) =

(x) u0 (x) v 0 (x) dx +

(x) u (x) v (x) dx

1 una funcin u H0 se dice que es una solucin dbil de (SP) si la identidad

a (u, v) =< f, v >

1 se cumple para todo v H0 . Todo lo anterior puede ser escrito de una forma ms general (la cual es muy til en la prctica como veremos ms adelante) de la siguiente forma:

Denicin 10.3.1 (Problema Variacional) Dado un espacio de Hilbert (H, kk) , una forma lineal y continua f : H R, y una forma bilineal a : H H R, por problema variacional entendemos el problema de encontrar u H tal que a (u, v) =< f, v > para todo v H. (VP)

A este elemento u H se le llama solucin dbil de (VP).

140

Captulo 10. Introduccin al Mtodo Variacional

La existencia, unicidad, y dependencia continua respecto de los datos iniciales de solucin dbil para (VP) se obtiene a travs de uno de los teoremas ms bonitos y tiles de la Matemtica Aplicada: el Teorema de Lax-Milgram. La demostracin de este resultado puede encontrarse en [2, T. 12.6, p. 224] Teorema 10.3.1 (Lax-Milgram) Si la forma bilineal a (, ) es continua (es decir, existe M > 0 tal que |a (u, v)| M kuk kvk para todo u, v H) y coerciva (esto signica que existe m > 0 tal que a (u, u) m kuk2 para todo u H), entonces el problema variacional (VP) tiene una nica solucin dbil. Adems, 1 |kf k| , kuk m donde |kf k| =def sup {|< f, v >| , v H, kvk 1} . Respecto de las hiptesis del Teorema de Lax-Milgram, la continuidad de a (, ) se suele obtener como consecuencia de la desigualdad de Cauchy-Schwarz. La coercividad suele ser la parte ms difcil de probar (desigualdades del tipo de la de Poincar son lo que normalmente se necesita para probar la coercividad). No obstante, en unos pocos casos la coercividad se obtiene de manera sencilla. Por ejemplo, para el caso del problema (SP), fcilmente se obtiene Z L Z L 2 (x) u0 (x) dx + (x) u2 (x) dx min {0 , 0 } kuk2 1 a (u, u) = H
0 0
0

10.4

Aplicacin a los Problemas de Contorno de Tipo Elptico

En esta seccin aplicaremos la teora variacional abstracta desarrollada en la seccin anterior para resolver problemas concretos de ecuaciones diferenciales, tanto ordinarias como en derivadas parciales.

10.4.1

El Caso Unidimensional

Este caso lo hemos ido estudiando poco a poco a lo largo de todo el captulo, pero en cualquier caso y a modo de resumen lo estudiaremos de nuevo a continuacin. Consideremos el siguiente problema unidimensional (u0 )0 + u = f en ]0, L[ (S-L) u (0) = u (L) = 0 donde C 1 ([0, l] ; R) , (x) > 0, C ([0, l] ; R) , (x) 0, y f C ([0, l] ; R) . La forma de proceder en el Mtodo Variacional es esencialmente la siguiente: supongamos que u es una solucin clsica de (S-L). Si multiplicamos la ecuacin diferencial por una funcin v, que sea por ejemplo de clase C 2 , entonces 0 u0 v + uv = f v e integrando ahora por partes en ]0, L[ , L (x) u0 (x) v (x) 0 + Z
L

u v +

0 0

uv =

f v.

10.4. Aplicacin a los Problemas de Contorno de Tipo Elptico Si la funcin v satisface que v (0) = v (L) = 0, entonces obtenemos Z
L

141

u v +

0 0

uv =

fv.

(10.5)

Ntese que para que la expresin anterior tenga sentido, por la desigualdad de Cauchy-Schwarz, es suciente con pedir que u, u0 L2 , v, v 0 L2 y que f L2 . Las derivadas de las funciones u y v no se entienden en sentido clsico sino en el sentido de las distribuciones (recurdese que las funciones de L2 no tienen porque ser continuas! y por tanto, no tiene porque existir su derivada en sentido clsico! ). Recurdese tambin que en lugar de una funcin f L2 podramos poner 1 de forma general una forma lineal y continua sobre H0 . En cualquier caso y para no complicar 2 . Se dice que u : [0, L] R es una solucin dbil de (S-L) ms el asunto pongamos que f L 1 si u H0 (]0, L[) y si Z
L

u v +

0 0

uv =

fv

1 v H0 (]0, L[) .

(10.6)

A esta formulacin del problema (S-L) se le llama formulacin variacional o dbil. Nos ocuparemos ahora de probar la existencia y unicidad de solucin dbil. Para ello consideremos la forma bilineal
1 1 a : H0 H0 R RL RL (u, v) ; a (u, v) = 0 u0 v 0 + 0 uv 1 L : H0 R RL . v ; L (v) = 0 f v

y la forma lineal

La continuidad de a y L es consecuencia de la desigualdad de Cauchy-Schwarz. La coercividad de a es consecuencia de la desigualdad de Poincar en el caso de ser = 0, y en caso de ser > 0 se obtiene de un modo trivial. Finalmente, y precisamente gracias a la coercividad se obtiene la dependencia continua de u respecto a f ya que kuk2 1 a (u, u) = H
0

f u kf kL2 kukL2 kf kL2 kukH 1

0

de donde se obtiene que kukH 1

0

1 kf kL2 .

10.4.2

El Caso de las Dimensiones 2 y 3

Sea Rn , n = 2 3, un abierto acotado con frontera una curva de clase C 1 a trozos si n = 2, o una supercie regular a trozos y orientable si n = 3. Dadas dos funciones : R y : R, ambas de clase C 1 , consideremos el problema de encontrar una funcin u : R que satisfaga div (u) + u = f en (PD) u=0 sobre donde f : R es una funcin continua dada.

142

Captulo 10. Introduccin al Mtodo Variacional

Deduciremos a continuacin la formulacin variacional de este problema. Supongamos que 1 u, v H0 () y que f L2 () . Si multiplicamos la ecuacin div (u) + u = f por v e integramos por partes (Teorema 10.2.1) se obtiene que Z Z Z < u, v > + uv = fv

ya que v = 0 sobre . 1 Fijada f L2 () , a toda funcin u H0 () tal que Z Z Z < u, v > + uv = fv

1 v H0 ()

se le llama solucin dbil del problema (PD). La existencia, unicidad y estabilidad de solucin dbil se obtienen como consecuencia del teorema de Lax-Milgram considerando la forma bilineal
1 1 a : H0 () H0 () R R R (u, v) ; a (u, v) = < u, v > + uv

la cual, si suponemos que > 0 y 0 son ambas acotadas, es continua y coerciva, y la forma lineal 1 L : H0 () R R v ; L (v) = fv la cual es continua. Nota 10.4.1 Ntese que una de las ventajas del mtodo variacional en relacin a los mtodos descritos en captulos anteriores es que nos permite resolver EDPs en recintos muy generales.

10.5

Ejercicios

1. Calcula la derivada distribucional de la funcin f (x) = |x| . 2. Consideremos la funcin u (x) = x 2 x 2 si 0 x 1/2 si 1/2 x 1

1 2

1 Comprueba que u00 = 1/2 . Es u una funcin de H0 (0, L)? Por qu?.

3. Calcula las derivadas sucesivas de la Delta de Dirac. Puedes dar alguna interpretacin fsica de estas derivadas? 4. Sea f C (R) y u D0 (R) . Se dene la distribucin fu como f u : D (R) R, 7< fu, >=< u, f > . Comprueba que efectivamente f u D0 (R) .
1 1 5. Se llama valor principal de x , denotado VP x , a la distribucin que acta como Z (x) 1 dx ( D (R)) . < VP , >= lim 0 |x| x x 1 Demuestra que VP x y que la funcin log |x| son distribuciones. Comprueba que la derivada 1 distribucional de log |x| es VP x .

10.5. Ejercicios 6. Estudiar variacionalmente el problema con condiciones de contorno mixtas u00 + u = f en ]0, 1[ u (0) = 0 ; u0 (1) = 1

143

7. Sea > 0 una constante y R3 un abierto acotado con frontera una supercie regular a trozos y orientable. Estudiar variacionalmente los problemas u + u = f en u + u = f en (a) (b) u u=g sobre =0 sobre n 8. En este ejercicio estudiaremos un problema elptico que aparece en Teora de Lubricacin. Consideremos la supercie z = 0 movindose a velocidad constante (U0 , V0 , 0) . Sea h = h (x, y, z) la funcin que nos mide la separacin entre la supercie z = 0 y un slido situado sobre ella (o ms bien sobre un uido que separa ambas regiones). Supondremos adems, por simplicidad, que se trata de un uido incompresible de densidad constante . Estamos interesados en conocer la velocidad del uido u = (u, v, ) y su presin P. Partiendo de la ecuacin de Navier-Stokes y haciendo un anlisis dimensional se obtienen las ecuaciones Px + uzz = 0 Py + vzz = 0 Pz = 0 Tenemos adems las condiciones de contorno u=v==0 u U0 = v V0 = = 0 en z = h en z = 0 en la componente x en la componente y en la componente z

Indicacin: trabajar en el espacio de Hilbert H = v H 1 (]0, 1[) : v (0) = 0 .

Expresa u y v en funcin de la presin P y de los datos del problema. En concreto, demuestra que 1 z u = 2 Px z (z h) + U0 1 h , v=
1 2 Py z (z

Por tanto, el caudal del uido viene dado por q1 = q2 = Rh

0

z h) + V0 1 h
U0 h 2 V0 h 2

u (x, y, z) dz = v (x, y, z) dz =

h3 12 Px , h3 12 Py

Recordemos que como se trata de un uido incompresible, ux + vy + z = 0, pero como z << ux + vy (dado que suponemos que h es mucho ms pequeo que = [0, L] [0, L] que representa la regin del plano z = 0 sobre la cual se mueve el objeto situado sobre ella) esta ecuacin queda reducida a ux + vy = 0

Rh
0

144

Captulo 10. Introduccin al Mtodo Variacional e integrando en esta ecuacin con respecto a z entre 0 y h llegamos al problema ( U0 h h3 h3 0 12 Px + V2h 12 Py = 0 en 2
x y

P = P0

sobre

Con el cambio p = P P0 , el problema anterior se escribe como ( U0 h h3 h3 0 12 px + V2h 12 py = 0 en 2

x y

p=0

sobre

Estudia variacionalmente dicho problema. En concreto, demuestra que el concepto natural 1 de solucin dbil para este problema es una funcin p H0 () , que satisface Z

h3 < p, >= 12

h < (U0 , V0 ) , > 2

1 H0 () .

Demuestra que dicho problema tiene una nica solucin dbil. 9. Sea = ]0, L[ y h (x) = h0 si x ]0, L/2[ h1 si x ]L/2, L[

Comprueba que la solucin del problema ( U0 h h3 12 Px = 0 en 2

x

P = P0

sobre

est dada por P (x) = donde la constante k vale LU0 k= 4 Comprueba que P C 1 . / 1 1 2 h2 h1 0 1 1 3 h3 h0 1 1 . ( 6 2k+U0 h x + P0 h3
0 1

6 2k+U0 h1 (L x) + P0 si x ]L/2, L[ h3

si x ]0, L/2[

10.6

Objetivos

El objetivo bsico de este captulo es iniciar al alumno en el estudio variacional de problemas de ecuaciones en derivadas parciales. Se trata de un mtodo relativamente moderno que, como se ha mencionado antes, constituye la base terica para el mtodo de los elementos nitos. Es por tanto importante que el alumno disponga de esta base terica para poder abordar con cierto rigor la asignatura El Mtodo de los Elementos Finitos que se cursa en cuarto curso de esta titulacin. Adems, cada vez son ms las empresas de ingeniera que utilizan de manera profesional un sotware de Elementos Finitos. Desde luego, no est de ms que el futuro usuario de ese sotware conozca un poco mejor aquello que va a utilizar de manera profesional.

10.7. Comentarios sobre la Bibliografa

145

10.7

Comentarios sobre la Bibliografa

En la elaboracin de este captulo hemos usado esencialmente las referencias [2, 18, 21]. Es precisamente en el libro de Casas donde pueden encontrarse todas las demostraciones de los resultados enunciados en este captulo. Una presentacin muy directa del tema y con la vista siempre puesta en el mtodo de los elementos nitos se presenta en [5, 13]. Respecto de la Teora de las Distribuciones, en el libro de Richards-Youn [20] se presenta este tema de una manera muy sencilla y con bastantes ejemplos fsicos. Para un estudio ms completo de la Teora de las Distribuciones puede consultarse tambin el libro de Folland [8] donde adems se estudian en detalle las transformadas de Fourier y Laplace de distribuciones.