Professional Documents
Culture Documents
Disciplinas relacionadas:
1. CAD: Computer Aided Design
2. CAE: Computer Aided Engineering
3. CAM: Computer Aided Manufacturing
Soluciones analticas
Slo casos simples
Modelos matemticos
Casos prcticos, en computadora
Soluciones numricas
Mtodo de los Elementos Finitos (MEF) : tcnica general para hallar soluciones
numricas de sistemas de ecuaciones diferenciales e integrales.
Solucin discreta,
aproximada, con N GDL
(M) Hallar u V / F (u ) F ( v) v V
donde:
V: conjunto de funciones admisibles
F :V es un funcional F (v ) v V
las funciones v V a menudo representan cantidades que varan en forma
continua (ej.. desplazamiento de un cuerpo elstico, temperatura, etc.)
F(v) es la energa total asociada a v.
(M) es una caracterizacin equivalente de la solucin de la ecuacin diferencial
como aquella funcin en V que minimiza la energa total del sistema
considerado.
Introduccin al Mtodo de los Elementos Finitos 6
Discretizacin en el MEF (cont)
2. En general, la dimensin de V es infinita (las funciones de V no pueden
expresarse a travs de un nmero finito de parmetros). Luego, (M) no
puede resolverse en forma analtica.
Para hallar una solucin, la idea del MEF es reemplazar V por un conjunto Vh
de funciones simples que dependen de un nmero finito de parmetros:
3. Usualmente elegimos:
Vh V / vh Vh vh V
En este caso, (M h ) corresponde al mtodo clsico de Ritz-Galerkin
A. Barra elstica
B. Cuerda elstica
C. Conduccin del calor en una barra
u '' f ( x) , 0 x 1
(D)
u (0) u (1) 0
3. Funcional lineal F :V
1
F (v) (v ', v ') ( f , v)
2
Introduccin al Mtodo de los Elementos Finitos 16
Problemas de minimizacin y variacional (cont)
Problema (M):
(M) Hallar u V / F (u ) F (v) v V
Problema (V):
(V) Hallar u V / (u ', v ') ( f , v) v V
3. Al ser v arbitraria:
(u ', v ') ( f , v) v V (1.1)
(u '1 , v ') ( f , v) v V
(u '2 , v ') ( f , v) v V
2. Sustrayendo, y eligiendo v u1 u2 V 1
0
(u '1 u '2 ) 2 dx 0
lo cual muestra que:
u '1 ( x) u '2 ( x) (u1 u2 ) ' ( x) 0 x (0,1)
(u '' f ) ( x) 0 0 x 1
o sea, u es solucin de (D).
Notar que Vh V
j ( x) : funcin continua
lineal por tramos que verifica
la propiedad delta.
i i 1
M
Luego, Vh es un espacio vectorial lineal de dimensin M con base:
3. Notar, que si
uh Vhsatisface (1.2), luego en particular
(1.3) (uh ', j ') ( f , j ) j 1,L M
(adems, si se cumple (1.3), luego vale (1.2) )
v Vh
M
4. Siendo , escribimos (1.3) en la forma:
uh ( x) i i ( x) , i uh ( xi )
i 1
M
', ' f ,
i 1
i i j j j 1,K , M
Sistema de M ecuaciones algebraicas lineales con M incgnitas
i
Introduccin al Mtodo de los Elementos Finitos 26
Forma matricial
(1.5) A b
A : matriz de rigidez
(1 ', 1 ') (1 ', 2 ') L (1 ', M ') 1 b1
( ', ') b : vector de cargas
2 1 ( 2 ', 2 ') M
2
b
2
M O M M
bi ( f , i )
( M ', 1 ') L ( M ', M ') M bM
Luego A es tridiagonal
xj 1 1
a j ( j 1) ( j ', j 1 ') dx j 2,L M
x j 1 h 2 hj
j
Entonces:
T A 0 M
, 0
A simtrica y definida positiva
Introduccin al Mtodo de los Elementos Finitos 28
Propiedades sistema de ecuaciones (1.5)
1. A sim > 0 A es no singular y el sistema (1.5) tiene solucin nica
2 1 0
1 2 1
1
A 1 O O
h
O 2 1
0 1 2
y como Vh V
u u ', v ' 0
h v V Ecuacin del error
w dx
1
1 1
w @ w, w
2
Norma asociada al producto escalar ( , ):
2
2
0
Desigualdad de Cauchy:
v, w v w
1 44 2 4 43
0 ecuacion del error
u uh ', u v '
{ u uh ' u v ' v V
Cauchy
h Vh elegida
Para lograr una estimacin cuantitativa del error, usamos una u%
convenientemente. Por el resultado anterior:
u uh ' u u%h '
h ( x j ) u( x j )
u% j 0,L M 1
En Anlisis Numrico, se ve que:
h2
u( x) u%
h ( x ) h max u ( y ) u ( x) u%
h ( x) max 0 y 1 u ( y )
0 y 1 8
Luego, por el teorema y (1.12):
u uh h max u ( y )
0 y 1
Mediante anlisis detallado, se puede mostrar :
u uh o h2
Notar:
No necesitamos construir explcitamente , sino slo la estimacin de error del
interpolante. u%
h
es una deformacin o tensin, y tiene inters prctico la estimacin de su error
u
con: A 1 A1 A2 n1
A div A n
A 2 x1 x2 n2
Frmula de Green:
v w dx v w n ds v
w dx
i uh ( N i )
1
1 2
con v @a v, v 2
v dx
2
u uh u u%
h
podremos probar convergencia. Ejemplo, usando el interpolante
h ( N j ) u( N j )
u% j 1,L M
tendremos: con C>0 cte independiente de h, que depende de:
u u%
h Ch
tamao derivadas segundas de u
menor ngulo de los tringulos
K Th
3. Puede mostrarse luego:
u uh
1
2 2
u uh dx Ch 2
4. As, si u es sufic. regular, el error y su gradiente tienden a cero con
h0
Introduccin al Mtodo de los Elementos Finitos 38
Clculo matriz rigidez
1. Los elementos aij a i , j son calculadas por suma de contribuciones de los
distintos tringulos:
a i , j i j dx j dx aK i , j
i
K
K Th K Th
Notar que
aK i , j 0 slo si Ni , N j K
2. Sean N i , N j y N k los nodos del tringulo K. Luego, la matriz de rigidez del
elemento K:
aK i , i aK i , j aK i , k
A K @ aK j , j aK j , k
sim. aK k , k
3. La matriz de rigidez global A es armada luego en 2 etapas:
1. Clculo de las matrices de rigidez elementales
2. Sumatoria de las contribuciones de cada elemento (ensamble)
El vector de cargas b es armado de la misma manera.
i @i K
a i , j i j dx i j i j
K
2 1 1 1
1
A1 1 1 1 0 2
2
1 0 1 3
Introduccin al Mtodo de los Elementos Finitos 42
Ejemplo
Por similaridad:
2 1 1 4 2 1 1 5
1
A3 3 1 1 0 1
1
A5 5 1 1 0 7
2 2
1 0 1 6 1 0 1 1
2 1 1 3 2 1 1 1 2 1 1 2
1 1 1
A2 2
1 1 0 6 A4 4
1 1 0 4 A6 6
1 1 0 1
2 2 2
1 0 1 1 1 0 1 5 1 0 1 7
2 1 1 1
1 1 0 2
1 0 1 3
1
A 4
2
5
6
7
2 1 1 1 1 0 1
1 1 0 2
1 1 0 1 2 1 3
1
A 4
2
5
0 1 1 6
7
2 11 1 1 1 1 00 1
1 1 0 2
1 1 0 1 2 1 3
1
A 1 2 1 4
2
5
00 1 1 11 6
7
2 11 2 1 1 1 1 1 1 00 1
1 1 0 2
1 1 0 1 2 1 3
1
A 1 1 2 1 0 1 4
2
1 0 1
5
00 1 1 11 6
7
2 11 2 1 1 1 1 1 1 1 1 0 0 0 1
1 1 0 2
1 1 0 1 2 1 3
1
A 1 1 2 1 0 1 4
2
1 1 0 1 2 1 5
00 1 1 11 6
0 1 1 7
2 11 2 11 1 1 1 1 1 1 1 1 0 0 0 0 1
1 1 1 2 0 1
2
1 1 0 1 2 1 3
1
A 1 1 2 1 0 1 4
2
1 1 0 1 2 1
5
00 1 1 11 6
00 1 1 1 1
7
Notar que la ecuacin 1 est completa (no hay ms elementos que contribuyan all) :
41 2 3 4 5 b1
Puede mostrarse, de manera similar, que:
h2 1
b1 f f 2 f 3 f 4 f 5 f 6 con: f i 1i f dx
6 i
La ecuacin es idntica a la que se obtiene por diferencias finitas. El trmino a derecha cambia.
v vi 0 i
La sucesin de Cauchy es convergente si cuando
L 2 (I) v : v est definida en I y dx
I
v 2
(v, w) vw dx
dotado del producto interno: I
v dx
1
2 1
v L 2 (I)
2
( v, v ) 2
I
y la norma:
(v, w) v L 2 (I)
w L 2 (I)
La desigualdad de Cauchy:
1
v( x) x , x I (0,1), v L 2 (I) si <
Ejemplo: 2
v v dx
1 1
(v, v ) H1 (I)
2 2 2
y la norma: v 2
H1 (I) I
Notas:
H10 (I) es ms grande que el espacio V de funciones lineales a trozos que
venamos usando.
En MEF, la norma del error es simplemente la norma en H 1(I).
v dx
1
2
Norma: v 2
v
H () v : v L 2 (), L 2 (), i 1,K , d
1
xi
Producto escalar: (v, w) H1 ( ) vw v w dx
v v dx
1 1
(v, v) H1 ( )
2 2 2
Norma: v v
H1 ( )
H10 () v : v H1 (), v 0
a(u, v) ( f , v)
o, equivalentemente:
1 1
(M ) Hallar u H10 () / a(u, u ) ( f , u ) a(v, v) ( f , v) v H10 ( )
2 4 42 4 43 1
1 2 4 4 2 4 43
F(u ) F (v )
Nota: (V) se dice la formulacin dbil de (D), y la solucin de (V) es la solucin
dbil de (D). sta no es necesariamente una solucin clsica de (D). Para que lo
sea, u debe ser suficientemente regular de modo que u est definida en el
sentido clsico.
u v uv dx fv dx gv dx
1 4 44 2 4 4 43 14 2 43 14 2 43
v H1 ( )
u, v ( f , v) ( g , v)
o: (M ) Hallar u H1 () / F(u ) F(v) v H1 ()
con F(u ) 1 a(u , u ) ( f , u ) ( g , u )
2
La CB Neumann, que no tiene que ser impuesta explcitamente sobre u, se
denomina CB natural.
La CB Dirichlet u=u0 sobre , que debe ser satisfecha explcitamente por u, se
conoce como CB esencial.
Introduccin al Mtodo de los Elementos Finitos 57
Problema continuo en forma abstracta
Objetivos:
Dar un tratamiento unificado a muchos problemas de la Mecnica y la Fsica,
a fin de no repetir el mismo argumento en distintos casos concretos.
Entender la estructura bsica del MEF.
Hiptesis: sea V un espacio de Hilbert con producto escalar (.,.)V y norma ||.||V,
a(.,.) es una forma bilineal en VV, y L(.) una forma lineal en V, tales que
1. a(.,.) es simtrica, i.e., a(u, v) a(v, u ) u, v V
2. a(.,.) es continua, i.e., 0 / a(u , v) u V v V u , v V
2
3. a(.,.) es V-elptica o coerciva, i.e., 0 / a( v , v ) v V
v V
1
(M ) Hallar u V / F(u )= min F(v), con F(v)= a(v, v) L(v)
vV 2
(V ) Hallar u V / a(u , v) L(v), v V
A b Aij a(i , j ), b j L( j ).
Forma matricial de (Vh): con
Demo.:
1. u solucin de (V ) a(u, w) L( w), w Vh V
2. uh solucin de (Vh ) a(uh , w) L( w), w Vh
3. Restando: a(u uh , w) 0, w Vh
4. Sea w=uh v, con v Vh arbitrario.
2
5. Operando: u u h V a(u u h , u u h )
a(u uh , u uh ) a(u uh , w)
a(u uh , u uh w)
a(u uh , u v)
u uh V
u v V (QED)
La ec de error resulta (u uh , v) a 0 v Vh
de donde u uh a
u v a v Vh
a(v, w)= vw v w dx
L(v)= fv dx, f L 2 ()
u
( D ) u u f en , 0 sobre
n
Se verifica
a(v, w)=a(w, v) a(.,.) es una forma bilineal simtrica
2
a(v , v )= v H1 ( ) a(.,.) es V-elptica con =1
a(v, w) a(v, v) a(w, w) v H1 ( ) w H1 ( ) a(.,.) es continua con =1
1 1
2 2
u uh 1
H ()
uv 1
H ()
v H1 ()
Introduccin al Mtodo de los Elementos Finitos 65
Ejemplos concretos (cont)
Ejemplo 2: sea V=H 0 (I), I (0,1), a(v, w)= I vwdx, L(v)= I fv dx.
1
( D) u f en I, u (a ) u (b) 0
Se verifica
a(v, w)=a(w, v) a(.,.) es una forma bilineal simtrica
a(v, w) v L (I) w L (I) v H1 (I) w H1 (I) a(.,.) es continua con =1
2 2
v dx 1
I a(.,.) es V-elptica con =1/2
2 2
v 2
dx v dx
2 I I 1
x x 1
Demo.: v H 0 (I) v( x)= v( y ) dy v( x) v dy v dy v dy 1
2
0 0 0
1 2
0
1
1 1 1 1 1
v 2 dx v dx v dx v 2 dx v dx
2 2 2
0 0 0
2 0 0
L(v) fv dx f L (I) v L (I) L(.) es continua con f
I 2 2 L (I) 2
Luego: u uh H1 (I)
2 u v H1 (I)
v H (I)
1
0
u H1 (I)
f L 2 (I)
( D) u f en , u 0 sobre
Se verifica
a(v, w)=a(w, v) a(.,.) es una forma bilineal simtrica
a(v, w) v
L2 ( )
v L2 ( )
v H1 ( )
w H1 ( )
a(.,.) es continua con =1
v 2 v v dx
2
a(v, v) v 1
H ()
a(.,.) es V-elptica con =1/(C+1), C tal que
v 2 dx C v v dx
L(v) fv dx f
L2 ( )
v L2 ( )
L(.) es continua con f
L2 ( )
Luego: u uh 1
H ()
C 1 u v 1
H ()
v H10 ()
u H1 ( )
C 1 f L2 ( )
v H2 ( ) = v
2
2
dx
x y x y
2
y
x
La forma dbil del problema (D) se obtiene haciendo
6 44 70 4 48 6 4 7 0 48
v
(V ) fv dx 2u v dx u v dx
u v ds u
v dx
u ds
n n
14 2 43
14243
=L( v ) =a ( u ,v )
Se puede demostrar que a(.,.) es una forma bilineal, simtrica, continua y V-elptica,
as como L(.) es una forma lineal continua.
Teorema: si L(.) es una forma lineal continua, y a(.,.) es una forma bilineal, continua
y V-elptica, pero no simtrica, se puede demostrar que hay solucin nica a (V), y
est acotada. Sin embargo, en este caso no existe problema de minimizacin
asociado a (V).
V v : v H1 (), v 0 sobre 1
Definimos el espacio
La forma dbil del problema (D) se obtiene haciendo
(V ) fv dx k u v dx k u
v dx k
u nv dx k u
v dx g v ds
2
ku v dx fv dx g v ds
1 44 2 4 43 1 4 44 2 42 4 43
a ( u ,v ) L( v )
BVP de 4 orden Vh H 2 ()
En general: r 0i j r
(r 1)(r 2)
dim Pr (K)
2
Introduccin al Mtodo de los Elementos Finitos 74
Elemento finito triangular lineal
Sea el espacio de funciones lineales a trozos:
Vh v : v C0 () y v K P1 (K), K Th
1 ( x1 , y1 ) a1 b1x1 c1 y1 1 1
lo que da lugar al sist de ecs 1 ( x2 , y2 ) a1 b1x2 c1 y2 0
(x , y ) a b x c y 0 2
1 3 3 1 1 3 1 3 3
de donde
1 x1 y1 1 1 y1 1 x1 1
1 2
0 x2 y2 1 0 y2 1 x2 0
0 x3 y3 x2 y3 x3 y2 1 0 y3 y y2 1 x3 0 x x 1
a1 b1 3 c1 2 3
1 x1 y1 2 area K 1 x1 y1 2 area K 1 x1 y1 2 area K 2
1 x2 y2 1 x2 y2 1 x2 y2
3 1
1 x3 y3 1 x3 y3 1 x3 y3
3
x y x y y y x x
a3 1 2 2 1 b2 1 3 c2 3 1
Anlogamente: 2 area K 2 area K 2 area K 1
x y x y y y x x
a2 3 1 1 3 b3 2 1 c3 1 2
2 area K 2 area K 2 area K
Introduccin al Mtodo de los Elementos Finitos 77 2
Continuidad entre elementos triangulares lineales
Dado Vh v : v C () y v K P1 (K), K Th
0
ec (3.3)
Adoptando como gdl los nodos de la malla T h, podemos definir alternativamente
Demo.: Para probar que (3.11)(3.4), es necesario probar que la funcin vVh
definida de acuerdo a (3.11) es continua no slo en los nodos sino tambin a
travs de las fronteras interelementales.
Sean K1 y K2 dos tringulos en Th que comparten el lado S y los nodos 1 y 2.
Sea vi v K P1 (K i ) la restriccin de v a Ki.
i
v C 0 ( ) (QED) 2
Vh v : v C0 () y v K P2 (K), K Th K
1 23
Teorema: toda funcin vP2(K) est nicamente determinada por los gdl
v( xi ), i 1, 2,3,
v( xij ), i j , i, j 1, 2,3.
3. Evaluando en x12
11
v( x12 ) 1 ( x12 )2 ( x12 ) w0 w0 0 w0 0 v 0 (QED)
22
Demo.: Para probar que (a)(b), es necesario probar que la funcin vVh definida
de acuerdo a (b) es continua no slo en los nodos sino tambin a travs de las
fronteras interelementales.
SeanvK1 yv K2dos
P tringulos
(K ) en Th que comparten el lado S, con nodos 1, 2 y 4.
i Ki 2 i
Sea la restriccin de v a Ki.
v1=v2 en los nodos 1, 2 y 4, y v1,v2 cuadrticas.
v1=v2 a lo largo de todo el lado S
v1
v es continua a travs de S 4
2
v C 0 () (QED) 1 v2
S
2. Evaluando en x123
1 11
v( x123 ) 1 ( x123 )2 ( x123 )3 ( x123 ) w0 w0 0 w0 0 v 0
3 33
(QED)
5221
10 2712 3
2
1 9
1 31 1 31 2 1 4 12 31 1
2 2
Demo.: Para probar que (a)(b), es necesario probar que la funcin vVh definida
de acuerdo a (b) es continua no slo en los nodos sino tambin a travs de las
fronteras interelementales.
Sean K1 y K2 dos tringulos en Th que comparten el lado S, de nodos extremos 1 y
2, y nodos intermedios 4 y 5.
Sea vi v P3 (K i ) la restriccin de v a Ki.
Ki
v1=v2 en los nodos 1, 2, 4 y 5, y v1,v2 cbicas.
v1
v1=v2 a lo largo de todo el lado S 5 2
4
v es continua a travs de S
1 v2
v C ()
0
(QED) S
Introduccin al Mtodo de los Elementos Finitos 86
Elemento finito triangular cbico con gdl en derivadas
Sea el espacio de funciones cbicas a trozos:
Vh v : v K P3 (K), K Th 3
K 123
Sea KTh un tringulo de vrtices xi=(xi,yi),
1
i=1,2,3, y centro de gravedad x123.
Teorema: toda funcin vP3(K) est nicamente determinada por los gdl
v( xi ), i 1, 2,3
v v
( xi ), ( xi ), i 1, 2,3
x y
v( x123 )
v1=v2 y
vi v K P 3 (K i )
(derivadas en la direccin s a lo largo de S) en los nodos 1
i
v1 v2
y 2, y v1,v2 cbicas v1=v2 a lo largo de todo el lado S
s s
v es continua a travs de S
Nota: no se logra continuidad C1 por cuanto la funcin
v C0 () de(QED)
base asociada a x123 no llega con
pendiente nula a los lados.
Teorema: toda funcin vP5(K) est nicamente determinada por los gdl
v( xi ), i 1, 2,3
3
v v 13 n
( xi ), ( xi ), i 1, 2,3
x y
K 23
v
2
v
2
v 2 1
( xi ), ( xi ), ( xi ), i 1, 2,3
x 2
xy x 2
12
v 2
( xij ), i, j 1, 2,3, i j
n
Introduccin al Mtodo de los Elementos Finitos 90
Elemento finito triangular C1-continuo (cont)
Demo.: como dim P5(K)= #gdl =21, es suficiente probar 3
13
n
que si todos los gdl son nulos, entonces debe ser v0.
K 23
1
1. v es un polinomio de grado 5 a lo largo del lado 23 y s
v v2 12
v( xi ) ( xi ) 2 ( xi ) 0, i 2,3 v 0, x 23 2
s s
v
2. es un polinomio de grado 4 a lo largo del lado 23 y
n
v v v v
( x23 ) ( xi ) ( xi ) 0, i 2,3 0, x 23
n n s n n
v
0, x 23 v( x ) 1 ( x ) p3 ( x ), x K, p3 P3 (K)
2
v 0,
n
3. Aplicando idntico razonamiento sobre los lados 12 y 13, llegamos a
v( x ) w0 1 ( x ) 2 ( x ) 3 ( x ) , x K, w0 cte
2 2 2
v P5 K w0 0 v( x) 0, x K (QED)
Introduccin al Mtodo de los Elementos Finitos 91
Continuidad entre EF triangulares C1-continuos
Sean K1 y K2 dos tringulos en Th que comparten el lado S, de extremos 2, 3.
Sea vi v Ki P5 (K i ) la restriccin de v a Ki., y w=v1v2 sobre S.
w 2w
w( xi ) ( xi ) 2 ( xi ) 0, i 2,3 w 0, x S
s s w
0, x S v C1 ()
s
w w w w
( x23 ) ( xi ) ( xi ) 0, i 2,3 0, x S (QED
n n s n n
)
Luego: Vh v C () : v K P5 (K), K Th
1
v : v K P5 (K), K Th ,
v v v v v
2 2 2
v, , , 2 , , 2 continuas en los nodos vrtices
x y x xy y
v
continua en los nodos medios de los lados
n
Introduccin al Mtodo de los Elementos Finitos 92
Elemento finito tetradrico lineal
Sea la unin de un conjunto Th={K} de tetraedros no superpuestos K tales
que ningn vrtice de algn tetraedro se ubique sobre el lado de otro
tetraedro.
i j m r
4
Toda funcin vQ1(K) est nicamente determinada por sus valores en los
vrtices del rectngulo K. 4 3
1 2
Luego, el espacio de EF es
Vh v : v C0 () y v Q1 (K), K Th
i , j 0
Toda funcin vQ2(K) est nicamente determinada por sus valores en los
vrtices, en el medio de los lados y en el centro del rectngulo K.
Luego, el espacio de EF es K
9
Vh v : v C0 () y v Q 2 (K), K Th 8 6
1 5 2
Geometria Geometria
Grados de libertad Grados de libertad
0 0
3 P1 (K) C 6 P2 (K) C
0
10 P3 (K) C
0
10 P3 (K) C
1
21 P5 (K) C 18 P5' (K) C
1
Geometria Geometria
Grados de libertad Grados de libertad
0
4 Q1 (K) C
0
9 Q2 (K) C
0
16 Q3 (K) C 0
2 P1 (K) C
0 1
3 P2 (K) C 4 P3 (K) C
0 0
4 P1 (K) C 10 P2 (K) C
Soporte de funciones
de base asociadas
a nodos de vrtice
Soporte de funciones
de base asociadas
a nodos en el centro
i.e, hu es la funcin lineal a trozos que coincide con u en los nodos xi de Th.
u hu
hK2
max D
v v 6 max D v
1 L (K ) K 2 L (K)
2.
v
D v 1 2 , 1 , 2 ,
1 2 .
donde x y
v L (K )
max v( x )
xK
i 1 i 1
Usando una expansin de Taylor, en el punto y = x+ tenemos
2
v
v( y ) v( x )
( x ) x j y j R( x, y )
j 1 x j
1 2 2v
R( x, y ) x xi yi x j y j 0 1
2 i , j 1 xi x j
Tomando y=xi: 2
v
v( x ) v( x )
i
( x ) x j xij R( x , x i )
j 1 x j
pi (Rxi(x)
Como ||xxi||hK xK, i=1,2,3, el resto ) resulta acotado
Ri ( x ) por
i 1 i 1 i 1 i 1
3 3
Por otro lado, veremos ms adelante que: i 1
i 1, p
i 1
i i 0.
3
v( x ) v ( x ) i ( x ) Ri ( x )
i 1
3 3
v ( x ) v( x ) i ( x ) Ri ( x ) i ( x ) Ri ( x ) max Ri ( x )
i
i 1 i 1
i 3 3
i v
Por otro lado, veremos ms adelante que: 0, pi .
i 1 x j i 1 x j x j
v v 3
i Ri 1/ K
x j x j i 1 x j
v v 3
i 3
1 3
Ri ( x ) max i Ri ( x ) R ( x)
K
i
x j x j i 1 x j i 1
xK x
j i 1
hK2
6 max D v x K (QED 2)
K 2 L (K )