- 190-

APLICACION DE RESULTADOS DE LA
APROXIMACION EN ESPACIOS DE SOBOLEV
A ELEMENTOS FINITOS
por
F. MICHAVILA PITARCH
Sea U un abierto de Rn y sea p un nmero real, 1 <:: P <:: 00, ano-
tamos 11 IIp,u la norma en L p (U).
Dado un entero m, 1 <: m, introducimos el espacio de Sobolev
Wpm(il), de las (clases de) funciones que pertenecen a Lp(U), as como
todas sus derivadas de orden <: m Wpm(u)', es el dual fuerte de
Wpm(il). Anotamos it. v) la dualidad entre t O (Wpm(U) )' y V O Wpm(U).
Para Wpm( U) se define la norma:
(
m p r
II vllm, p U= ~ lI
De
vii
e = O p, U
siendo
l/De vllp, U= (fllDe v(x)IIP dx) 1/p
U
y la seminorma:
La norma dual, en este caso, viene definida por:
I(t, v)1
IItll*m, p, U = sup
veWpm(u) lI vllm, p, U
Partimos del lema propio de los espacios de Sobolev siguiente:
Sea O un abierto acotado de Rn, en el cual la frontera r es una va-
riedad lineal de dimensin n - 1, de clase Co, U est localizado a un
slo lado de r.
Sea K un entero, positivo o nulo, entonces la seminorma I Ik+1, p, O
es una norma sobre el espacio cociente W
pk+
1(D)/Pk
(es decir, espacio
- 191 -
cociente con respecto a los polinomios de grado K), que es equivalente
a la norma cociente
l(Q)/Pk = inf Ilv + wllk+ 1> p, O
P W E Pk
donde u E siendo un elemento del espacio cociente y v un represen-
tante perteneciente a la cIase entonces Ivlk+l, p, O es una norma sobre
el espacio cociente.i
Resulta que Wpk+
1
( 0 )/Pk es un espacio de Banaeh para Ivlk+l'P,Q.
Del enunciado anterior deducimos:
Lema 1. Sea I un elemento del dual (Wpk+l(O) y verificando:
(/, u) = O v V E Pk
con las hiptesis del prrafo anterior existe una constante
e = e (n, k, p, O) :::. O
tal que
Demostracin: Supongamos I una forma lineal continua
(1, u) = (t, v + w) V w E Pk
Uf, u)l = inf l(t, v + w)l < inf 1I/11*k+l,p,O IIv + wllk+up,o<
WEPk
< e Ilfll*k+l,p,O . IVIk+l'P' o c.q.d,
Lema 2.-En las condiciones del lema 1, sea m un entero, tal que
O<m<k+1.
Si II es un operador lineal continuo de
tal que
llv=v v V E Pk
Entonces existe una constante e = e (n, k, p, ll) > O, tal que
'II
v- v
ll ll m,p, 0<e III-llIIL(Wpk+l(O), W
p
k(O)lv1k+l P,0
Demostracin: Vamos a considerar a IIv - II vllm, p O como la nor-
ma del bidual y tenemos:
llv - II Vllm, p, n = sup
g E (Wpm(O) )'
I(g, v-llvH
IIgll*m, p, {}
-----<:::'
(g, u - II u)!
- 192-
Con la forma lineal t E (Wpk+
1
(0 ) )' y con g E (Wpm(o) )':
(f, v) = (g, v - TI v) V U E W
p
k +
1(0)
Iltll*k+up, O = sup
lJ E (Wpk t-
1
( 0 )) IIulk+1'p,0
lIu - II ullm, p. O
<: sup Ilgl1*m,p, O ------
u eWp/r+ 1(0) IIvllk+1' p, O
donde:
Ilgllm, p, O . 111 - IIIIL(Wpk+ 1(0), Wpk(O)) <:::' IItll*k+l' P. n
1 es la identidad. Luego:
(f, v) = O V U E Pk
(g, u - II u)1 <: (l. /))1 <:::' C Iltll* k+v p, n . jujk+ll p, O <:::'
<: e Ilgl1*m, p, O . IvlH1, p, O
con lo que el lema queda demostrado.
La constante C = C(n, k, p, O) depende de O, de su forma geomtrica
y es aqu donde las caractersticas geomtricas del elemento fimto ad-
quieren su importancia; evaluando e 111 - ITIIL(Wpk+1(0), Wpk(O) en
funcin de las caractersticas geomtricas de O, es decir, del elemento
finito, pasaremos a continuacin a definir la acotacin del error intro-
ducido por la interpolacin funcional en el elemento finito.
/\
Sea O un abierto de Rn sucientemente regular (es decir, que la
/\
frontera es una variedad de clase col. Diremos que O y O son equva-
/\
lentes si existe una aplicacin afn F : Rn -7 Rn inversible, tal que F(O} =
/\ /\ /\ /\
= O. Si x E n, tendremos F(x} = B x + b, B E L(Rn) y b es un vector
A /\
de Rn. Si v es una funcin definida sobre O, v es una funcin definida
sobre O, entonces:
/\
v(x) = V (F-l(X) }
/\/\ /\
v (e) = v (F (x))
VxeO
/\ A
VxeO
1\ /\
Es decir, existe un isomorfismo v +---7 V de Wpm(O} sobre W{lm( Ol,
para todo m y para todo p.
/\ 1\ /\
A TI EL (W
pk+
1(O),
Wpm(o) le asociamos otro operador
A
l!I EL (WJk+
1(O),
Wpm(n))
de forma que:
1\ /\ /\
TIv = TIv
- 193-
1\
Teorema 1 (fundamental): Sea O un abierto acotado de Rn. Estn
/\ /\
O Y F definidos por F(x) = B :1' + b (donde B EL (Rn) ) inversble y
/\ 1\ 1\ A
n = F(O). Se da II EL (W/'+ 1(0), Wpm(O) ), donde O <:: m <:: k + 1,
f
' d II/\ /\ /\ A P ( d ' dei iant 1 Ii .
verr ican o v = v, V V E "es ecir, eja mvarian e os po momios
de grado k). Entonces, si II E L (Wp"+ 1(O), W pm( O) ) est definido por
1\ /\ /\ 1\ /\ /\ 1\ /\
IIv = II v, V V E W"+ 1(0), existe una constante e = e (n, k. m, p, O, II),
tal que para la seminorma de grado m se cumpla:
/\
Iv-II vlm,p,O <:: C IIBII"+l ,IIB-
1
1I
m
.lvl"+lP'o V v EW/'+l(il)
A/\ /\
Demostracin. A partir de u E W p/ ( O) definimos u(x) = u(F(x))
/\ /1 1\/\ /\ ,
donde u E Wpl(O), es decir, u(x) = u (B x + b). Derivamos [-veces la
/\
funcin u:
. (B B ... , B
/\/\
IDI u (x) . ...,
= 1
/\ A /\
DI U Ix) . ... , D/ u (B a: + b)
A/\
liD/ u (x)11 = sup
= = ... =
Con ello.
A /\
liD/ u (x)11 <:: IDI u(x)11 . IIBIII
luego,
f
/\/\ f 1\
IIDI u (x)lI
p
dx <:: IIBlllp IIDI u (x)lI
p
da; =
/\ A
O O
IIBlllp . [det (B)I-1 fIlDI u (x)li
p
dx
O
ya que
A
dx = [det (B)I . d,
As:
i\ /\
ull. p, O <:: IIBIII . det (B)I p . lull, p, O
como
/\ /\
lu (x)1 = u (F-1(.T) ) = U (B-1(X - b) )
entonces,
lult, 1" O <:: IIB-
111/
. [det (B)I p
/\ /\
. lull,p, O
- 194-
Basndonos en esto y aplicando el lema anterior evaluaremos:
1\ 1\ 1\
Iv - II Vlm, p, a < IIB-
lllm
. [det (B)I P. Iv - II vlm, p, a
donde,
1\
O = O (k, n, p, al
1\ 1\
e = D 111 -III!
entonces,
(\ /\ 1\ 1\ 1\ 1\ 1\
Iv - II vlm, p, a < e \V\k+l' p, a
y reemplazando, se obtiene:
1\
Iv - II VJm, p, a < e IIBllk+1 IIB-
l
ll
m
Ivlk+l' [J, n
con 1 < p < + oo,
Lema 3. Sean:
h = dimetro (a).
p = dimetro mximo de esferas comprendidas en a.
1\ 1\ 1\
h Y P anlogos referidos a a.
1\ 1\
Entonces, si p es positivo y si a = B a + b, se tiene:
h
IIBII <-
/\
p
y
1\
Demostracin. Si p > O equivale a p > O escribimos
IIB?;II
IIBI! = sup --
II?;II
1\
Y haciendo 1If;1l = p, tenemos
IIBf;I!
IIBll = sup--
1\
P
1\ 1\11 ji 1\ 1\
En a existen dos vectores, g, z, tales que f; = y - z, ya que 11f;11 = p.
As:
1\ 1\ 1\ 1\ 1\ 1\
B ?; = B Y - B Z = (B Y + b) - (B Z + b) = F(y) - F(z)
195 -
que, segn la figura 1, se tiene:
IIB ~ I I <: h
porque h es el dimetro; con ello queda demostrada la primera desigual-
dad, anlogamente la segunda.
Fig. 1.
1\
Corolario: Con las luptess del teorema fundamental y con p > O.
1\ 1\
Entonces existe una constante C(n, k, m, p, n, ll) > 0, tal que:
h
k
+
'
jv - II vlm, p, n <: C --- . Ivlk+l' 0, n
pm
(
1\ ~ m )
habiendo reemplazado C = C ---
pk -l- 1
Vamos a aplicar este resultado a la interpolacin funcional en di-
A /\N
mensin n: dado el conjunto ~ = {a}=l de N puntos de Rn (de refe-
A 1\
rencia) engendrando el convexo cerrado K de interior no vaco. Dado P
1\ 1\ /\
de funciones de dimensin N, suponemos ~ es P-unisolvente. Si v est
1\ 1\1\ 1\
definida sobre ~ , entonces II v es el p-interpolado funcional sobre ~ .
N 1\
Sea ~ = {al h= 1 equivalente a ~ , es decir, existe una F tal que
1\ 1\ 1\ 1\
al = F(a) , 1 <: i <: N y P = {p 1 p(x) = P (F_l(X) ), P E P}. ~ es p-uni-
1\. 1\ 1\ /\
solvente, 11 definida sobre ~ y tal que llv = TI u, Entonces K y K son equi-
valentes. Llamemos h al dimetro de K; p = sup(dimetro de las esferas
contenidas en K).
1\ 1\
Teorema 2: Sea E, Pvunlsolvente con
- 196 --
entonces, si v es un elemento de Wph+ l(K) COII
n
O<k+l--
p
1 <: P < 00, se tiene para todo O <: m <: k + 1:
hh+
l
Iv - TI Vlm,p, k < e --.Ivlh+l' p, K
pm
donde:
e
Demostracn. Que
!\ fI
e (n, k, m, p, :E, P)
n
O<k+l--
fl
significa que Wpk+ l(k) e CO(K) si se tiene
n
k+l-->O
p
este e-. el teorema de inclusin de Sobolev con inyeccin continua. EII
estas condiciones, si v E Wph+ l(K) es una funcin continua sobre K.
Por otra parte, TI es un operador continuo, establecido como
TI EL (Wpk +
1(K);
Wpm(K)). P es un subespaeo de dimensin finita de
1\ fI !\
Wph+ l(K). Si PI. e P; siendo :E Psunsclvente, de tal forma que para
!\ \fI!\
todo v E Ph; TI v = v, entonces, aplicando el teorema fundamental con
t, /1
n = K Y n = K. Pk e P y :E es P-unisolvente:
TIv=v v V E Ph
con ello el teorema queda demostrado.
Nota: La evaluacin del error depende de
hh+ 1
es decir, para que sea el menor posible, Ii debe ser grande.
Si K es un n-srnplex no degenerado con p > O(dimetro del circulo
inscrito en el tringulo). Para n = 2:
h .)
----- <: - <: ---
6 p <en 6
'2 tlr-
'2
donde 6 es el ms pequeo ngulo de vrtice del tringulo.
-197 -
BlBLIOGRAFIA
1. MIC.UAVILA, F.: Formulacin de elementos finitos curvos en espa-
cios de Sobolev. Tesis Doctoral, 1974.
2. RAVIART, P.: Lecons du cours sur l'aproxmatron aux equations
aux derives part.ielles. Pars, 1972.
3. SOBOLEV, S.: Certaines applications de l' Analyse fouctionnelle
a la Physique Mathematique. Leningrado, 1950.