Escolar Documentos
Profissional Documentos
Cultura Documentos
Departamento de Matematicas
Tesis Doctoral
Virginia Selgas Buznego
D. Benjamn Dugnol Alvarez, director del Departamento de Matematicas de
la Universidad de Oviedo, autoriza la presentacion de la Tesis Doctoral titulada
Analisis matematico y numerico de las ecuaciones de Maxwell cuasiestaticas,
que ha sido realizada por Dna. Virginia Selgas Buznego bajo la direccion de
D. Salim Meddahi.
CERTIFICA:
vii
Introduccion
ix
x Introduccion
Agradecimientos VII
Introduccion IX
2. Herramientas matematicas 7
2.1. Espacios de Sobolev clasicos . . . . . . . . . . . . . . . . . . . . . . 8
2.1.1. Indice entero no negativo . . . . . . . . . . . . . . . . . . . 9
2.1.2. Indice real no negativo . . . . . . . . . . . . . . . . . . . . . 9
2.1.3. Indice real negativo . . . . . . . . . . . . . . . . . . . . . . 10
2.2. Espacios de Sobolev sobre supercies
y teora de trazas . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
2.2.1. Espacios de Sobolev sobre supercies . . . . . . . . . . . . . 11
2.2.2. Trazas en espacios de Sobolev . . . . . . . . . . . . . . . . . 12
2.3. Espacios H(div, ) y H(rot, ) . . . . . . . . . . . . . . . . . . . . 14
2.4. Operadores diferenciales sobre supercies . . . . . . . . . . . . . . 17
2.5. Trazas tangenciales en H(rot, ) . . . . . . . . . . . . . . . . . . . 18
2.6. Inversa del operador rotacional de supercie
en dominios simplemente conexos . . . . . . . . . . . . . . . . . . . 20
2.7. Potenciales armonicos en regiones no acotadas . . . . . . . . . . . . 25
xv
xvi Introduccion
Bibliografa 129
Captulo 1
D es la induccion electrica,
E es el campo electrico,
B es la induccion magnetica,
H es el campo magnetico,
es la densidad de corriente,
J
es la densidad de carga.
1
2 Captulo 1
D = E,
(1.0.2)
B = H,
= J + E,
J (1.0.3)
la permitividad electrica, ,
la permeabilidad magnetica, ,
Modelo de eddy currents 3
la conductividad electrica, .
Nota 1.1.1 En [14] se justica el problema (1.1.1) como caso lmite de la familia
uniparametrica de problemas
t ( E ) + rot H = J + E en R3 ,
t ( H ) + rot E = 0 en R3 ,
div( E ) = 0 en (0, T ) ec ,
E n dS = 0 en (0, T ) , j = 1, . . . , N
j
div J = 0 en (0, T ) ec ,
(1.1.7)
J n dS = 0 en (0, T ) , j = 1, . . . , N .
j
Consideramos una bobina por la que circula una corriente alterna a baja
frecuencia y que induce un campo electromagnetico en un conductor pasivo; vease
la Figura 1.1 a continuacion.
Tambien deben satisfacer las condiciones asintoticas (1.1.3), que ahora se tra-
ducen en
1 1
h(x) = O( ) y e(x) = O( ) cuando |x| , (1.2.2)
|x| |x|
x
uniformemente en casi todas las direcciones |x| , con x R3 \ {0}.
Ademas, podemos reescribir las condiciones de compatibilidad (1.1.7) como
div j = 0 en ec ,
(1.2.3)
j n dS = 0 j = 1, . . . , N .
j
Herramientas matematicas
(a) a (b c) = (a c) b (a b) c ,
(b) a (b c) = b (c a) = c (a b) ,
(2.0.1)
(c) rot rot u = (div u) u ,
(d) div(v u) = u rot v rot u v ,
7
8 Captulo 2
y = (y1 , . . . , yn1 , yn ) (y , yn ) ,
cumpliendo que
O U = y U ; yn < f (y ) y O U = y U ; yn = f (y ) .
donde
|g(x) g(y)|2
|g|2s,O := dx dy .
O O |x y|n+2s
10 Captulo 2
j : Uj j
y
j (y ) := (y , fj (y )) ,
donde seguimos la notacion de la Denicion 2.1.1 y j := j . As construido,
(j , j ) ; j = 1, . . . , m es un atlas de .
y lo dotamos de la norma
1/2
m
s, :=
j
2 s, Uj 1
. (2.2.2)
j (j )
j=1
12 Captulo 2
H s () H s () C
(, )
, s, ;
|, s, |
s, := sup ,
H s (), =0
s,
H s () L2 () H s () . (2.2.3)
Teorema 2.2.1. Dado s (0, 1/2], la aplicacion que a cada funcion u D()
le asocia su restriccion u| a se extiende de forma unica a un operador lineal
continuo
: H s+1/2 () H s () .
: Hs+1/2 () L2 ()
(2.2.4)
q
q := q n .
Hs () := nf
q
s+1/2, ; q Hs+1/2 () con q = .
: Hs+1/2 () Hs ()
, , := ( n, )0, , L2 () .
14 Captulo 2
Entonces
Hs
() H () C
s
(, )
, ,
dene un producto de dualidad entre Hs s
() y H (). Dotamos al espacio
Hs
() de la norma inducida
|, , |
Hs () := sup .
Hs (), =0
Hs ()
Hs () L2 () Hs
() . (2.2.5)
deducimos las siguientes propiedades del operador de traza normal; para una
exposicion mas detallada, vease [29, Teorema 2.5 y Corolario 2.6] o bien [45,
Teorema 3.24].
Proposicion 2.3.2. La aplicacion que a cada funcion u D() le asocia su
componente normal u| n sobre se extiende a un unico operador lineal continuo
n : H(div, ) H 1/2 () ,
Hs (rot, c ) := {u Hs (c ) ; rot u Hs (c )} ,
Utilizando esta relacion junto con el Teorema 2.3.4, podemos extender el operador
de traza tangencial a todo el espacio H(rot, ), tal y como senalamos a
continuacion; cf. [29, Teorema 2.11] o [45, Teorema 3.29].
Ademas, se cumple
Por otro lado, aplicando la formula (2.3.1) para las funciones rot v H(div, )
y u H 1 () junto con la hipotesis u = 0,
En consecuencia,
(u), v, = 0 v H1 () ,
1/2
y concluimos que (u) = 0 en H ().
1/2
rot : H 1/2 () H ()
son continuos.
2 1/2 +
div
21/2, .
H ()
Pero tambien podemos integrar por partes con la formula (2.3.1), de modo que
y deducimos que
Recordemos que las Proposiciones 2.3.2 y 2.3.5 garantizan que los operadores
1/2
n rot : H(rot, ) H 1/2 () y : H(rot, ) H ()
div ( u)
1/2, =
n (rot u)
1/2, C
u
rot, .
Utilizando esta propiedad junto con el Teorema 2.3.5, deducimos que el operador
1/2
: H(rot, ) H (div , )
esta bien denido y es continuo. Ademas, en [20, Teorema 4.1] se demuestra que
este operador es suprayectivo. Entonces podemos aplicar el teorema del grafo
cerrado y concluimos que el operador admite una inversa a derecha
1/2
1 : H (div , ) H(rot, ) ,
que es continua.
div u = 0 en y n u, 11/2, = 0 ,
rot u = 0 en ,
ker(rot ) = C .
Por otro lado, para estudiar la inclusion recproca, consideramos una funcion
p H 1 () con rot (p) = 0.
Sea v H1 () arbitraria. Aplicando la formula de Green (2.3.3) a las fun-
ciones p H(rot, ) y v H1 (),
Ademas, utilizando la formula de integracion por partes (2.3.1) para las funciones
rot v H(div, ) y p H 1 (),
Es decir, div u L20 () y, aplicando el Lema 2.6.2, existe algun w H10 () tal
que div w = div u. Notese que n w = 0, luego
u = . (2.6.2)
24 Captulo 2
Denimos la funcion
rot u en ,
g :=
0 en e := R3 \ .
Denimos
w := v| H(rot, ) , (2.6.3)
que cumple
rot w = rot v| = g| = rot u .
= u w . (2.6.4)
= u = w + () = (v| ) () + () .
Herramientas matematicas 25
= rot () .
dene un isomorsmo.
En [46, Parrafo 2.5.4] se prueba que este espacio es de Hilbert con la norma
W 1 (e ) R
0,e .
: W 1 (e ) H 1/2 () .
div u = 0 y rot u = 0 en e .
W 1 (e ) C
n u, 1/2,
En [29, Teorema 2.9] se debilitan las hipotesis del Lema 2.7.2 como en el
siguiente resultado.
1
Introducimos la funcion (x) := , que es la solucion fundamental del
4|x|
operador de Laplace en R3 . El siguiente teorema de representacion puede consul-
tarse en [46, Teorema 3.1.1].
, V1/2, 1
21/2, ,
para todo H 1/2 (). Tambien se tiene que, si una funcion H 1/2 ()
cumple que V H 1/2+s () para algun s [0, 1/2], entonces H 1/2+s () y
1/2+s, C (
1/2, +
V
1/2+s, ) .
28 Captulo 2
H 1 ()/C W 1 (e ) R
1/2
u
|u|20, + |u|20,e .
Tambien consideramos
u
Z := u H ()/C W ( ) ; u = 0 en , [ ] = 0 sobre ,
1 1 e e
n
respectivamente. Entonces, para cada H 1/2 (), el potencial de doble capa K
pertenece al espacio H ()/C W ( ) y satisface las siguientes propiedades:
1 1 e
(K) = 0 en D ( e ) ,
=
[K] sobre , (2.7.3)
[ (K) ] = 0
sobre ;
n
cf. [46, Parrafo 3.2.2].
: H 1/2 ()/C Z
K
es un isomorsmo.
Notese que el Lema de LaxMilgram garantiza que el problema (2.7.4) tiene una
unica solucion y que esta depende con continuidad de H 1/2 (). As que el
operador
: H 1/2 () Z
K
K)
( = rot ( (rot )) en D (R3 ) .
y as obtenemos que
= g + n
(K) en D (R3 ) , (2.7.5)
rot( n ), vD (R3 )D(R3 ) = n , rot vD (R3 )D(R3 ) = (, n (rot v))0, ,
para cada v D(R3 ). Entonces, aplicando el Corolario 2.5.1 junto con la deni-
cion de div ,
y resulta que
Es decir,
rot( n ) = rot en D (R3 ) .
Utilizando esta propiedad junto con (2.7.6), concluimos que
(K)
N , 1/2, = 1/2, = ((K),
, [K] (K))
0, + ((K),
(K))
0,e .
n
Notese que, en virtud del Lema 2.7.8,
K)
( = rot( (rot )) en D (R3 ) .
(K))
((K), 0, = ((K)|
), ( (rot )| ) .
,
(K))
((K), 0,e = ((
K)|
e ), ( (rot )|e ) .
,
Herramientas matematicas 33
Luego
K))
N , 1/2, = (( , ( (rot )) .
,
1 1
( I K)() + V( ) = 0 y ( I + K )( ) + N () = 0 sobre . (2.7.8)
2 n 2 n
34 Captulo 2
V . En lo
sucesivo, usamos indistintamente las notaciones
df
= t f
dt
para representar la derivacion con respecto a la variable temporal t (0, T ).
Sea C 0 ([0, T ]; V ) el espacio de las funciones continuas f : [0, T ] V . Este
espacio es de Banach con la norma
f
C 0 ([0,T ];V ) := max
f (t)
V .
t[0,T ]
37
38 Captulo 3
div h = 0 en ec . (3.1.2)
= h en ec .
Nota 3.1.1 Es importante subrayar que podemos aplicar el Lema 2.7.2 gracias
a las hipotesis que estamos haciendo sobre la geometra del conductor c .
En la practica, la geometra del conductor c puede ser complicada y es habitual
que ec no sea simplemente conexo. En este caso, la representacion de una funcion
u H(rot, ec ) con rot u = 0 en ec involucra los denominados campos vecto-
riales de Neumann armonicos. En consecuencia, si generalizasemos directamente
40 Captulo 3
1
Por otro lado, es conocido que K1 = y entonces el Teorema 2.7.5 garantiza
2
que el siguiente operador esta bien denido y es continuo:
1
I K : H 1/2 ()/C H 1/2 ()/C .
2
Ademas, en virtud de la Proposicion 2.5.1 y del Teorema 2.5.2,
1/2
X(c ) = ker(div ) H (div , ) .
Bq
1/2, C
q
H1/2 () q X(c ) . (3.1.10)
0 , Bh1/2, + 0 , V1/2, = 0 ,
1/2
para cualesquiera q X(c ) y H0 ().
c ) := X(c ) H 1/2 () y denimos las formas
Introducimos el espacio X( 0
sesquilineales
a0 (q1 , q2 ) := (q1 , q2 )0,c + 0 q2 , V ( q1 ), ,
2 ) := a0 (q1 , q2 ) + 0 2 , V1 1/2, + 2 , Bq1 1/2, 1 , Bq2 1/2, ,
q1 , q
a(
X(
Problema 3.1.1 Hallar h c ) tal que
q
a(h, ) + c(h, q) = l(q) c) .
q X(
Th () := {F cara de algun T Th (c ) ; F } .
44 Captulo 3
En efecto, el siguiente resultado garantiza que esta denicion es adecuada; cf. [2,
Lema 5.1] o bien [45, Lema 5.38].
I h : Hs (rot, c ) N D h (c )
Teorema 3.2.2. Para cada s (1/2, 1], existe una constante C > 0 con
q I h q
rot,c C hs
q
Hs (rot,c ) ,
nF
F nF
Lema 3.2.4. Sea p una funcion deN D(T ) tal que mTE (p) = 0 para toda arista
E de F . Entonces n (rot p) = 0 sobre F .
Xh (c ) := N D h (c ) X(c ) . (3.2.4)
1/2
Por otro lado, aproximamos las funciones de H0 () con funciones que son
constantes sobre cada cara de Th (). Es decir, utilizamos el espacio de dimension
nita
1/2
h () := L2 () ; |F C F Th () H0 () . (3.2.5)
h, q
a(h ) + c(hh , q) = l(q) h (c ) .
qX
Nota 3.2.1 Es importante senalar que la inversa del operador tangencial rot
esta involucrada en la denicion de la forma sesquilineal a(, ) y, en consecuencia,
nuestro metodo numerico parece difcil de implementar y computacionalmente
costoso. Sin embargo, esto no sucede en la practica porque dicho operador puede
eliminarse en el calculo efectivo de la matriz del sistema lineal asociado al Pro-
blema 3.2.1. Al respecto, vease el Parrafo 3.3.
Eddy currents en conductores simplemente conexos 49
nf
u q
rot,c
u I h u
rot,c u Hs (rot, c ) X(c ) .
qXh (c )
nf
u q
rot,c C hs
u
Hs (rot,c ) u Hs (rot, c ) X(c ) . (3.2.7)
qXh (c )
Proposicion 3.2.7. Para cada s (1/2, 1], existe una constante C > 0 con
nf
1/2, C hs
1/2+s, , (3.2.8)
h ()
Ahora, aplicando la desigualdad tipo Lema de Cea (3.2.6) junto con las es-
timaciones (3.2.7) y (3.2.8), obtenemos la siguiente estimacion del error asociado
al esquema discreto.
Teorema 3.2.8. Supongamos que la solucion h = (h, ) del Problema 3.1.1 per-
tenece al espacio Hs (rot, c ) H 1/2+s () para algun s (1/2, 1]. Entonces
tenemos la siguiente estimacion de error:
h hh
rot,c +
h
1/2, C hs
h
Hs (rot,c ) +
1/2+s, .
50 Captulo 3
3.3.1. h (c )
Base explcita de X
Sea Ah (c ) el conjunto de las aristas de la malla Th (c ) y denotamos por
A0h (c )
el conjunto de las aristas interiores, es decir,
A0h (c ) := {E Ah (c ) ; E c = } .
Vh () := {v Vh (c ) ; v } .
mE (qE ) = E,E E Ah (c ) .
v |T P1 (T ) T Th (c ) y v (v ) = v,v v Vh (c ) .
Bh (c ) Xh (c ) .
Por la propia denicion del operador rot , sabemos que (v ) = rot v para
cada v Vh (). Ademas, dada E A0h (c ), tenemos que mE (qE ) = 0 para cada
arista E y, en consecuencia, qE = 0. Luego, tomando el operador en
ambos miembros de (3.3.1), resulta que
av rot v = 0 sobre .
vVh ()\{v0 }
Esta propiedad junto con el Teorema 2.6.3 garantizan que av v es
vVh ()\{v0 }
constante sobre . Como av v (v0 ) = 0, deducimos que
vVh ()\{v0 }
av v = 0 sobre .
vVh ()\{v0 }
rot = q ,
|F P1 (F ) F Th () ,
0 | = 0 sobre y 0 |T P1 (T ) T Th (c ) .
Para que el problema test sea adecuado, necesitamos que el campo e tenga diver-
gencia nula en el dielectrico ec y que cumpla las condiciones asintoticas (1.2.2).
Ademas, para poder aplicar nuestro metodo necesitamos que soporte(j) c . En
otras palabras, debemos elegir el campo e de modo que
1
soporte(div e) soporte(rot( rot e)) c ,
y tal que
1 1
e(x) = O( ) y rot e(x) = O( ) cuando |x| ,
|x| |x|
x
uniformemente en casi todas las direcciones |x| , con x R3 \ {0}. En particular,
es suciente que e tenga la forma
e := rot (f, f, f ) en R3 ,
Tomamos := 1 y
(x2 x2 ) (x2 x2 ) (x2 x2 ) si x (x0 , x0 )3 ,
0 1 0 2 0 3
f (x) :=
0 si no ,
diametro, que denotamos por h, y desglosamos el error total en las partes aso-
ciadas al campo magnetico h y al potencial . Tambien presentamos el grado de
convergencia experimental para el campo magnetico, denido por
log
h hh
rot,c log
h hAh
rot,c
= ,
log h log
h
donde h y
h denotan los diametros de dos mallas consecutivas.
h
h hh
rot,c
h
0,
Error absoluto
error absoluto
y=Ch
1
10
0.7 0.5 0.3 0.1
10 10 10 10
Dimetro de la malla
c y soporte(j) . (4.0.1)
59
60 Captulo 4
chitz continua.
Subdividimos el dielectrico ec en el dominio acotado d := \c y la region
no acotada e := R3 \ ; vease la Figura 4.1 a continuacion.
e
d
j
1 1/2 1 1/2
( ext
) : H (div ,) H(rot,d ) y ( int
) : H (div ,) H(rot,c )
y , respectiva-
dos operadores continuos que sean inversas a derecha de ext int
0,R3 .
Como D(c ) es denso en L2 (c ), existe una sucesion (un )nN D(c ) tal que
n D(R3 ) la extension
un q2 |c en L2 (c ). Para cada n N, denotamos por u
de un por cero a todo el espacio. Entonces la sucesion (q1 + u n )nN X0 (R3 )
converge a q en L2 (R3 ) y concluimos el resultado.
62 Captulo 4
El resultado anterior nos permite introducir X0 (R3 ) como el espacio dual de
X0 (R3 ) con espacio pivote U0 (R3 ). De esta forma, las siguientes inclusiones son
continuas y densas:
X0 (R3 ) U0 (R3 ) X0 (R3 ) .
M(d ) := m L2 (d ) ; div m = 0 en d ,
n m = 0 sobre , n m, 1j = 0 j = 1, . . . , N .
div(Em) = 0 en R3 ,
div(Em) = 0 en e d c ,
y ademas
n (Em|c ) = = next m = n (Em|d ) sobre ,
n
n (Em|d ) = n m = 0 = n (Em|e ) sobre .
Entonces el Corolario 2.3.3 garantiza que Em H(div, R3 ) y que
div(Em) = 0 en R3 .
esta bien planteado para cada H 1/2 (). Notese que H 1 (c ) L20 (c ) es
la solucion de este problema para := H 1/2 (). Luego
n
1,c C1
= C1
next m
1/2, .
n 1/2,
Como el operador lineal next : H(div, d ) H 1/2 () esta acotado y ademas
div m = 0 en d , deducimos que
1,c C2
m
H(div,d ) = C2
m
0,d .
Em
2div,R3 =
20,c +
m
20,d (C22 + 1)
m
20,d . (4.1.1)
64 Captulo 4
u = Em en D (R3 ) ; (4.1.2)
Mm
1,
u
2, C1
m
0,d . (4.1.4)
Por otro lado, tenemos que div u = (div Em) = 0 en R3 ; as que, aplicando
la tercera identidad de (2.0.1),
rot(Mm) = m en d .
Mm
0,e =
0,e C2
n (rot u)
1/2, .
Mm
0,e C3
rot u
0, C4
m
0,d . (4.1.6)
Mm
rot,R3 +
Mm
div,R3 C5
m
0,d .
Mm
1,R3 C6
m
0,d
rot h = 0 en e .
div h = 0 en e .
Ademas, la inclusion
rot q|d ; q X(R3 ) M(d )
Teorema 4.2.3. Bajo las hipotesis del Teorema 4.2.1, el Problema 4.2.2 tiene
una unica solucion h X(R3 ), r M(d ). Ademas, h pertenece al espacio afn
Mjd + X0 (R3 ) y es la unica solucion del Problema 4.2.1.
Como h es la solucion del Problema 4.2.1, sabemos que G, qX (R3 )X(R3 ) = 0
para cada q X0 (R3 ). Es decir G X0 (R3 )0 y, por tanto, el Lema 4.2.2 garantiza
que la ecuacion
r = G
tiene una unica solucion r M(d ). Ahora concluimos notando que esta ultima
ecuacion es equivalente a (4.2.3).
q = en e , (4.2.4)
Bq
1/2, C
q
H1/2 () q X(). (4.2.6)
1/2
Introducimos el espacio X() := X()H0 () y las formas sesquilineales
+
1
1/2,
2
1/2, +
2
1/2,
q1
H1/2 ()
+
1
1/2,
q2
H1/2 () , (4.2.7)
21/2, , (4.2.8)
H ()
1 := (q1 , 1 ), q
para cualesquiera q 2 := (q2 , 2 ) y q
= (q, ) en X().
Proponemos la siguiente formulacion variacional del problema (1.2.11.2.2).
:= (h, ) X()
Problema 4.2.3 Buscar h y r M(d ) tales que
q
a(h, ) + d(r, q) + c(h, q) = l(q)
q X() ,
R : X(R3 ) X()
q
Rq := q| .
rot = () = q = 0 .
que cumple
int p = int q = rot = ext p sobre .
Teorema 4.2.5. Bajo las hipotesis del Teorema 4.2.1, el Problema 4.2.3 tiene
X(),
una unica solucion h r M(d ). Ademas, se relaciona con la solucion
= (Rh, ext h) y el multiplicador de Lagrange es el
h del Problema 4.2.2 segun h n
mismo para ambos problemas.
Denimos := next h = . Entonces, utilizando las ecuaciones integrales (2.7.8)
n
para el potencial armonico y recordando la denicion del operador B,
1
V + Bh = 0 y = N + ( I K ) sobre . (4.2.10)
2
A continuacion aplicamos la formula de Green (2.3.1) en
de modo que
(h, q)0,R3 = (h, q)0, 0 , 1/2, .
1
(h, q)0,R3 = (h, q)0, + 0 rot , V (rot ), 0 , ( I K)1/2, .
2
Utilizando (4.2.9) junto con la denicion del operador B, deducimos que
, q
(h, R1 q)0,R3 = a(h )
q := (q, ) X() .
, q
a(h ) + c(h , q) + d(r, q) = l(q)
q := (q, ) X() ,
= V 1 (Bh) . (4.2.11)
1
(h, q)0, + 0 N , 1/2, 0 ( I K ) , 1/2,
2 n
+ c(h, q) + d(r, q) = 0 q X() .
Problema armonico en conductores no simplemente conexos 75
Es decir,
denidos por
siendo
Th () := {F cara de algun T Th () ; F } .
y aproximamos las funciones de X() usando las del espacio de dimension nita
Xh () := N D h () X() ;
Problema armonico en conductores no simplemente conexos 77
RT h (d ) := {q H(div, ) ; q|T RT (T ) T Th (d )} ,
siendo RT (T ) := a x + b ; a C, b C3 ; vease [45, Seccion 5.4]. Entonces
aproximamos las funciones de M(d ) usando las del espacio de dimension nita
Mh (d ) := RT h (d ) M(d ) .
h := (hh , h ) X
Problema 4.3.1 Buscar h h () y rh Mh (d ) con
h, q
a(h ) + c(hh , q) + d(rh (t), q) = l(q) h () ,
q = (q, ) X
Nota 4.3.1 Tal y como senalamos en la Nota 3.2.1, la inversa del operador
tangencial rot esta involucrada en la denicion de la forma sesquilineal a(, )
y, en consecuencia, nuestro metodo numerico parece difcil de implementar y
computacionalmente costoso. De nuevo, esto no sucede en la practica porque
dicho operador puede eliminarse en el calculo efectivo de la matriz del sistema
lineal asociado al Problema 4.3.1. Al respecto, vease el Parrafo 4.4.
78 Captulo 4
X0 () := {q X() ; rot q = 0 en d } ,
X0,h () := {q Xh () ; d(m, q) = 0 m Mh (d )} ,
h q
0,d C h
q
s,d
q I RT s
q Hs (d ) . (4.3.2)
Ademas, en [45, Lema 5.40] se prueba que, para todo s > 1/2,
rot(I h q)|d = I RT
h (rot q|d ) q H (rot, ) .
s
(4.3.3)
|d(m, q)|
sup
m
0,d ,
qXh (), q=0
q
rot,
para todo m Mh (d ).
Problema armonico en conductores no simplemente conexos 79
rot(Mh m) = I RT
h (rot(Mm)) = m en d . (4.3.5)
Mh m
rot,d C2
m
0,d .
N D h (d ) N D h ()
# h m
rot, C3
Mh m
rot, C3 C2
m
0, .
M (4.3.6)
d d
80 Captulo 4
Demostracion. En primer lugar, el Lema 4.3.1 junto con [29, Teorema 1.1]
garantizan la existencia de una funcion hdh Xh () tal que
, q
a(hh ) + c(hh , q) = l (q)
q X0,h () h () , (4.3.7)
donde
l (q) := l(q) a((hdh , 0), q
) c(hdh , q) .
caracterizados por
1/2
respectivamente, para cualesquiera q X(), m M(d ), H0 () y para
todo qh Xh (), mh Mh (d ), h h (). Ademas, segun el Teorema 2.7.5,
q
1/2, C1
q
H1/2 () . (4.3.14)
, Vh q = , Bq h () . (4.3.15)
h q
1/2, C2
q
H1/2 () . (4.3.16)
q h q
1/2, C3
q
1/2, h () , (4.3.17)
Lema 4.3.3. Dado s (1/2, 1], existe una constante C > 0 tal que
q h q
1/2, C h1/2
q
Hs (rot,) ,
rot = q L2 () .
Notese que este potencial se caracteriza por ser la unica solucion del problema
variacional
buscar H 1 ()/C tal que
(4.3.18)
rot , rot = q, rot
H ()/C .
1
1
Vq = Bq = ( I K) H 1 ()/C .
2
Entonces el Teorema 2.7.5 garantiza que q L20 () con
1
q
0, C
q
1/2, +
( I K)
1, C
q
Hs (rot,) .
2
Finalmente, teniendo en cuenta esta estimacion, la desigualdad (4.3.17) y la
propiedad de aproximacion
nf
h
1/2, C h1/2
0, L20 () ,
h h ()
concluimos que
q h q
1/2, C h1/2
q
0, C h1/2
q
Hs (rot,) .
h hh
rot, C h1/2
h
Hs (rot,) .
D h ph = D h (h I h h) . (4.3.19)
e1h
rot, (1 + )
h I h h
rot, , (4.3.20)
donde
d
> 0 es la norma de la forma sesquilineal d(, ) y > 0 es la constante
involucrada en el Lema 4.3.1.
Por otro lado, la primera ecuacion del sistema (4.2.13) implica que
Puesto que X0,h () X0 (), deducimos de las dos ultimas identidades que
|a0 (e2h , e2h ) + 0 Bh Vh1 Bh e2h , e2h Xh ()Xh () + c(e2h , e2h )|
C1
e1h
rot, +
h h h
1/2,
e2h
rot, .
Corolario 4.3.5. Bajo las hipotesis del Teorema 4.3.4, tenemos que
h
1/2, C h1/2
h
Hs (rot,) .
h
1/2,
h h h
1/2, +
h (h hh )
1/2, .
h (h hh )
1/2, C1
h hh
rot, .
Corolario 4.3.6. Supongamos que se cumplen las hipotesis del Teorema 4.3.4 y
que r M(d ) Hr (d ) para algun r > 1/2. Entonces
r rh
0,d C h1/2
h
Hs (rot,) +
r
r,d .
F : X() C
(q, 0)) ,
q
F(q) := l(q) c(h, q) a(h,
rh , q) = F(q) q Xh () .
d(
En efecto, el Lema 4.3.1 garantiza que esta funcion existe y es unica, porque el
operador F X () se anula sobre X0 () y, en particular, sobre X0,h ().
Descomponemos r rh como r rh = e1h + e2h , donde
e1h := r
rh y e2h :=
rh rh .
Problema armonico en conductores no simplemente conexos 87
e1h
0,d (1 + ) nf
r s
0,d .
sMh (d )
h r = I h (rot(Mr)) = rot(Mh r) Mh (d ) ,
I RT RT
e1h
0,d (1 + )
r I RT
h r
0,d . (4.3.22)
Por otro lado, segun el Lema 4.3.1,
1 |d(
rh rh , q)| 1 |F(q) Fh (q)|
e2h
0,d sup sup .
qXh (), q=0
q
rot, qXh (), q=0
q
rot,
Observemos que
|F(q) Fh (q)| C1
(h hh )
rot, +
h
1/2,
q
rot, q Xh () .
r rh
0,d (1 + )
r I RT
h r
0,d + C2 h
1/2
h
Hs (rot,) .
Por lo tanto, concluimos el resultado aplicando la estimacion del error de inter-
polacion (4.3.2).
88 Captulo 4
Vh () := {v Vh () ; v } .
{(rot qE )|d ; E Ah (d )}
es un sistema generador de Mh (d ).
Expresamos las incognitas del Problema 3.2.1 en terminos de las bases de
los espacios Xh () y h ():
hh = hE qE + hv v y h = F F ;
EA0h () vVh ()\{v0 } F Th ()\{F0 }
obtenido con dicho codigo para el problema test del Parrafo 3.4.1 cuando
siendo x0 > 0 y [3, +) dos parametros reales. En lo que respecta a los datos
fsicos, de nuevo consideramos
1 si x c ,
(x) :=
0 si x e ,c
:= 1 en R3 ,
:= 1 en R3 .
donde h y
h denotan los diametros de dos mallas consecutivas.
Por otra parte, la Figura 4.2 muestra en escala logartmica el error corres-
pondiente al campo magnetico h frente al diametro h de la malla. Observamos
que este error presenta una dependencia lineal con respecto a dicho diametro
92 Captulo 4
h
h hh
rot,
h
0,
r rh
0,d
1.8
10
1.7
10
Error absoluto
1.6
10
1.5
10
error absoluto
y=Ch
1.4
10
f (t) : R3 R
x
f (t)(x) := f (t, x) .
95
96 Captulo 5
d
(H(t), q)0,R3 + (E(t), rot q)0,c = 0 en D (0, T ). (5.1.1)
dt
1
E= (rot H Jc ) en (0, T ) c ,
d
(H(t), q)0,R3 + c(t, H(t), q) = l(t, q) en D (0, T ) ,
dt
siendo
1 1
c(t, q1 , q2 ) := ( rot q1 , rot q2 )0,c y l(t, q) := ( Jc (t), rot q)0,c ,
(t) (t)
que consta de las funciones q L2 ((0, T ); X0 (R3 )) con t q L2 ((0, T ); X0 (R3 )).
Entonces proponemos la siguiente formulacion debil del problema de eddy
currents de evolucion (1.1.11.1.3).
98 Captulo 5
Problema 5.1.1 Buscar H MJd + W 1 ((0, T ); X0 (R3 ), X0 (R3 )) tal que
H(0) = H0 ,
d
( H(t), q)0,R3 + c(t, H(t), q) = l(t, q) q X0 (R3 ) .
dt
Notese que la condicion inicial del problema anterior tiene sentido siempre
que Jd sea sucientemente regular. De hecho, el Lema 4.1.1 junto con [58, Teo-
rema 41.15] garantizan que el espacio W 1 ((0, T ); X0 (R3 ), X0 (R3 )) se incluye con
continuidad en C 0 ([0, T ]; U0 (R3 )).
en c.t.p. t (0, T ) y, aplicando el Lema 4.1.3, resulta que MJd H 1 (0, T ; X(R3 )).
Como consecuencia de esta propiedad, deducimos que el operador
pertenece al espacio L2 ((0, T ); X0 (R3 )). Tambien deducimos que tiene sentido
evaluar MJd (t) en t = 0, porque el espacio H 1 ((0, T ); X(R3 )H1 (R3 )) se incluye
con continuidad en C 0 ([0, T ]; X(R3 ) H1 (R3 )); cf. [58, Teorema 41.15].
Estas propiedades nos permiten reescribir el Problema 5.1.1 como
buscar H W 1 ((0, T ); X0 (R3 ), X0 (R3 )) tal que
H (0) = H0 MJd (0) ,
(5.1.3)
y que satisface la siguiente ecuacion en D (0, T ) :
d
(H (t), q)0,R3 + c(t, H (t), q) = l (t, q) q X0 (R3 ) .
dt
X0 (R3 ) X0 (R3 ) R
(q1 , q2 )
c(t, q1 , q2 )
1 1
c(t, q1 , q2 ) = ( rot q1 , rot q2 )0,c
q1
rot,R3
q2
rot,R3 ,
(t) 0
1 1
c(t, q, q) = ( rot q, rot q)0,c
q
2rot,R3
q
20,R3 ,
(t) 1
q
2L2 ((0,T );M (d )) = sup dt
rot q(t)
20,d dt .
0 mM(d ), m=0
m
0,d 0
tales que
H(0) = H0 ,
Teorema 5.1.3. Bajo las hipotesis del Teorema 5.1.1, el Problema 5.1.2 tiene
una unica solucion.
luego H MJd + W 1 ((0, T ); X0 (R3 ), X0 (R3 )). Entonces, teniendo en cuenta la
condicion inicial junto con la primera ecuacion variacional del Problema 5.1.2
para funciones q X0 (R3 ), deducimos que H coincide con la unica solucion del
Problema 5.1.1.
Para estudiar la existencia y unicidad del multiplicador de Lagrange r aso-
ciado al Problema 5.1.2, introducimos G L2 ((0, T ); X (R3 )) denida por
T
G(t), q(t)X (R3 )X(R3 ) dt :=
0
T
= ( H(t) H0 , q(t))0,R3 + c(t, H(t), q(t)) (t), q(t)X (R3 )X(R3 ) dt ,
0
o equivalentemente,
T
G(t), q(t)X (R3 )X(R3 ) dt = 0 .
0
Esta propiedad, junto con la densidad de D((0, T ); X0 (R3 )) en L2 ((0, T ); X0 (R3 )),
garantiza que G L2 ((0, T ); X0 (R3 ))0 . Luego, en virtud del Lema 5.1.2, existe
una unica funcion r L2 ((0, T ); M(d )) con
d
tomando el producto de dualidad de (5.1.4) con q(x) (t) L2 ((0, T ); X(R3 )),
dt
d d
y utilizando que c(t, H(t), q) = c(t, H(t), q) y (t) = (t), resulta que
dt dt
d
d(r(t), q) , D (0,T )D(0,T ) =
dt
d
= (H(t), q)0,R3 + c(t, H(t), q) + l(t, q) , D (0,T )D(0,T ) ,
dt
que es la primera ecuacion variacional del Problema 5.1.2 en el sentido de D (0, T ).
+
1
1/2,
2
1/2, +
2
1/2,
q1
H1/2 ()
+
1
1/2,
q2
H1/2 () , (5.1.5)
21/2, , (5.1.6)
H ()
104 Captulo 5
1 := (q1 , 1 ), q
para cualesquiera q 2 := (q2 , 2 ) y q
= (q, ) en X().
Sea H 0 = (H0 | , ext H0 ), donde H0 U(R3 ) representa el campo magnetico
n
inicial. Entonces proponemos la siguiente formulacion variacional BEMFEM del
problema (1.1.11.1.3).
tales que
H(0) 0,
=H
d
a(H(t), q) + d(r(t), q) + c(t, H(t), q) = l(t, q)
q X() ,
dt
d(m, H(t)) = (Jd (t), m)0,d m M(d ) .
Teorema 5.1.4. Bajo las hipotesis del Teorema 5.1.1, el Problema 5.1.3 tiene
una unica solucion. Ademas, se relaciona con la solucion H del Problema 5.1.2
:= (H| , ext H) y el multiplicador de Lagrange r es el
a traves de la relacion H n
mismo para ambos problemas.
L2 ((0, T ); X())
1/2
H C 0 ([0, T ]; L2 () H0 ()) ,
r L2 ((0, T ); M(d ))
en c.t.p. t (0, T ). En consecuencia, deniendo (t) := next H(t) = (t) y
n
utilizando las propiedades (2.7.8), resulta que
1
V((t)) + B(H (t)) = 0 y (t) = N ((t)) + ( I K )((t)) (5.1.8)
2
en c.t.p. t (0, T ). Ahora, integramos por partes en
de modo que
y as obtenemos que
(t), q
( H(t), R1 q)0,R3 = a(H )
q := (q, ) X() ,
en c.t.p. t (0, T ). Por lo tanto, la primera ecuacion del Problema 5.1.2 garantiza
que se cumple la siguiente identidad en D ((0, T )):
d
) + d(q, r(t)) + c(t, H (t), q) = l(t, q)
a(H (t), q q := (q, ) X() ,
dt
= (H , ) L2 ((0, T ); X())
1/2
H C 0 ([0, T ]; L2 () H0 ()) ,
r L2 ((0, T ); M(d ))
que sea una solucion del Problema 5.1.3 homogeneo. A partir de la primera
ecuacion del Problema 5.1.3 para funciones de la forma q
= (0, ) X(),
deducimos que (t) = V 1 B(H (t)) en c.t.p. t (0, T ). Tambien, a partir de
dicha ecuacion para funciones de la forma q
:= (q, 0) X() y eliminando la
incognita con la expresion anterior, tenemos que
d d
( H (t), q)0, +0 q, V ( H (t)), + V 1 B(H (t)), Bq1/2, +
dt dt
d
+ d(r(t), q) + c(t, H (t), q) = 0 ,
dt
a una funcion generica q X(R3 ). Utilizando que (t) satisface (5.1.7) y (5.1.8),
reescribimos la ecuacion anterior como
d d 1
(H (t), q)0, + 0 N ((t)), ( I K )( (t)), 1/2, +
dt dt 2 n
d
+ d(r(t), q) + c(t, H (t), q) = 0 ,
dt
en D ((0, T )) y para todo q X(). Aplicando las identidades (5.1.8) e integrando
por partes, tenemos que
d
(H (t), q)0, + 0 ((t), )0,e + d(r(t), q) + c(t, H (t), q) = 0 ,
dt
en D ((0, T )) y para todo q X(). Es decir,
d
( R1 H (t), q)0,R3 + d(r(t), q) + c(t, R1 H (t), q) = 0 ,
dt
en D ((0, T )) y para todo q X(). Esta ecuacion, junto con la condicion inicial
y la segunda identidad del Problema 5.1.3, garantizan que (R1 H , r) es solucion
del Problema 5.1.2 homogeneo y, en consecuencia, es identicamente nula.
Por lo tanto, el Problema 5.1.3 homogeneo solo admite la solucion trivial; as que,
por superposicion, concluimos que el Problema 5.1.3 admite a lo sumo una solu-
cion.
H h ()
h (t) := (Hh (t), h (t)) X y rh (t) Mh (d )
tales que
h (0) H
H 0,
Demostracion. Deducimos del Lema 4.3.1 y de [29, Teorema 1.1] que para todo
t [0, T ] existe algun Hdh (t) Xh () con
d (t), q) = l (t, q)
) + c(t, H
a(Hh (t), q h q X0,h () h () , (5.2.1)
dt
para todo t (0, T ] y denotando
d
l (t, q) := l(t, q) ) c(t, Hdh (t), q) .
a((Hdh (t), 0), q
dt
La ecuacion (5.2.1) es equivalente a
Ah + 0 Bh Vh1 Bh 0 t Hh (t) C h (t) 0 Hh (t)
+ =
0 Vh1 Bh 0 I t h (t) 0 0 h (t)
h (t)
= , (5.2.2)
1
0 Vh Bh t Hh (t)
d
Hh (t) = Hdh (t) + Hh (t) y h (t) = h (0) Vh1 Bh (Hh (t) Hh (0)) . (5.2.3)
Nota 5.2.1 Como senalamos en las Notas 3.2.1 y 4.3.1, la inversa del operador
tangencial rot esta involucrada en la denicion de la forma bilineal a(, ) y,
en consecuencia, nuestro metodo numerico parece difcil de implementar y com-
putacionalmente costoso. De nuevo, esto no sucede en la practica porque dicho
operador puede eliminarse en el calculo efectivo de la matriz del sistema de ecua-
ciones diferenciales lineales ordinarias asociado al Problema 5.2.1. Al respecto,
vease el Parrafo 5.3.
Ch sup
H(t)
2Hs (rot,) + sup
t H(t)
2Hs (rot,) .
t[0,T ] t[0,T ]
Problema de evolucion 111
e1h (t) := H(t) Hdh (t) X() y e2h (t) := Hh (t) Hdh (t) X0,h () ,
para todo t [0, T ]. A continuacion, acotamos las normas de los campos e1h (t) y
e2h (t) en el espacio H(rot, ).
Por un lado, escribiendo e1h (t) = H(t)I h H(t)+I h H(t)Hdh (t) y aplicando
la desigualdad triangular, tenemos que
e1h (t)
rot, (1 + )
H(t) I h H(t)
rot, , (5.2.7)
Luego con un razonamiento analogo al anterior tenemos que t e1h (t) cumple esti-
macion
d
t e1h (t)
rot, (1 + )
t H(t) I h t H(t)
rot, , (5.2.8)
en todo t [0, T ].
112 Captulo 5
Por otro lado, la primera ecuacion del sistema (5.1.10) garantiza que
para cada funcion q X0,h () y todo t (0, T ). Dado que X0,h () X0 (),
deducimos de las dos ultimas identidades que
a0 (t e2h (t), q) + c(t, e2h (t), q) + 0 Vh1 Bh t e2h (t), Bh qh ()h () =
1d
a0 (e2h (t), e2h (t)) + 0 Bh Vh1 Bh e2h (t), e2h (t)h ()h () +
2 dt
+ c(t, e2h (t), e2h (t)) = a0 (t e1h (t), e2h (t)) + c(t, e1h (t), e2h (t))+
1d
a0 (e2h (t), e2h (t)) + 0 Bh Vh1 Bh e2h (t), e2h (t)Mh (d )Mh (d ) +
2 dt
+ c(t, e2h (t), e2h (t)) C1
t e1h (t)
0,
e2h (t)
0, +
+
rot e1h (t)
0,c
rot e2h (t)
0,c +
t e1h (t)
H1/2 ()
e2h (t)
H1/2 () +
+
(t H(t)) h (t H(t))
1/2,
e2h (t)
H1/2 () .
Problema de evolucion 113
t
2
e2h (t)
20, +
e2h (t)
2 1/2 +
rot e2h
20,c ds
H () 1 0
T
2 C1
t e1h
0,
e2h
0, +
(t e1h )
H1/2 ()
e2h
H1/2 () +
0
+
(t H) h (t H)
1/2,
e2h
H1/2 ()+
rot e1h
0,c
rot e2h
0,c ds +
+
e2h (0)
20, +
e2h (0)
2 1/2 .
H ()
T
sup
e2h (t)
20, + sup
e2h (t)
2 1/2 +
rot e2h
20,c ds
t[0,T ] t[0,T ] H () 0
T
C2
t e1h
20, +
t e1h
2 1/2 +
rot e1h
20,c ds+
0 H ()
T
+ C2
(t H)h (t H)
21/2, ds+
e2h (0)
20, +
e2h (0)
2 1/2 .
0 H ()
sup
H(t) Hh (t)
20, + sup
(H(t) Hh (t))
2 1/2 +
t[0,T ] t[0,T ] H ()
T
+
rot(H(t) Hh (t))
20,c dt C3 sup
e1h
2rot, + sup
t e1h
2rot,
0 t[0,T ] t[0,T ]
T
+
(t H) h (t H)
21/2, dt +
e1h (0)
2rot, +
H(0) Hh (0)
2rot, .
0
114 Captulo 5
sup
H(t) Hh (t)
20, + sup
(H(t) Hh (t))
2 1/2 +
t[0,T ] t[0,T ] H ()
T
+
rot(H Hh )
20,c dt C4 sup
H(t) I h H(t)
2rot, +
0 t[0,T ]
T
+ sup
t H(t) I h t H(t)
2rot, +
(t H) h (t H)
21/2, dt .
t[0,T ] 0
Corolario 5.2.3. Supongamos que se cumplen las hipotesis del Teorema 4.3.4 y
que ademas 0 = h Hh (0). Entonces tenemos la siguiente estimacion de error:
sup
(t) h (t)
21/2, C h sup
H
2Hs (rot,) + sup
t H
2Hs (rot,) .
t[0,T ] t[0,T ] t[0,T ]
(t) h (t)
1/2,
H(t) h H(t)
1/2, +
h (H(t) Hh (t))
1/2, ,
h (H(t) Hh (t))
1/2, C1
H(t) Hh (t)
rot, ,
para todo t [0, T ]. As que el resultado es consecuencia del Lema 4.3.3 y del
Teorema 5.2.2.
Problema de evolucion 115
Corolario 5.2.4. Supongamos que se cumplen las hipotesis del Teorema 5.2.2
y del Corolario 5.2.3, y que ademas r L2 ((0, T ); M(d ) Hr (d )) para algun
r > 1/2. Entonces tenemos la siguiente estimacion del error:
T
r(t) rh (t)
20,d dt
0
T
Ch sup
H(t)
2Hs (rot,) + sup
t H(t)
2Hs (rot,) +
r(t)
2r,d dt .
t[0,T ] t[0,T ] 0
rh (t), q) = F(t, q) q Xh () ,
d(
para todo t [0, T ]. En efecto, el Lema 4.3.1 garantiza que esta funcion existe y
es unica para cada t [0, T ], porque el operador F(t, ) X () se anula sobre
X0 () y, en particular, sobre X0,h ().
Descomponemos r rh como r rh = e1h + e2h , siendo
e1h (t)
0,d (1 + ) nf
r(t) s
0,d ,
sMh (d )
116 Captulo 5
rot Mh r(t) = I RT
h (rot Mr(t)) = I h (r(t)) Mh (d ) ,
RT
1 |d(
rh (t) rh (t), q)|
e2h (t)
0,d sup
qXh (), q=0
q
rot,
H
h := sup
H(t) Hh (t)
0, + sup
(H(t) Hh (t))
H1/2 () +
t[0,T ] t[0,T ]
T 1/2
+
rot(H(t) Hh (t)
20,c dt ,
0
h := sup
(t) h (t)
1/2, .
t[0,T ]
d
|F(t, q) Fh (t, q)|
e2h (t)
0,d sup
qXh (), q=0
q
rot,
C2 h1/2 sup (
H(t )
Hs (rot,) + sup (
t H(t )
Hs (rot,) , (5.2.10)
t [0,T ] t [0,T ]
Problema de evolucion 117
r(t) rh (t)
0,d (1 + )
r(t) I RT
h (r(t))
0,d +
+ C2 h1/2 sup
H(t )
Hs (rot,) + sup
t H(t )
Hs (rot,) ,
t [0,T ] t [0,T ]
Hh (t) = hE (t) qE + hv (t) v y h (t) = F (t) F ;
EA0h () vVh ()\{v0 } F Fh ()\{F0 }
rh (t) = rE (t) (rot qE )|d .
EAh (d )
118 Captulo 5
Integracion numerica
(x y) ny
(K 1, v )0,F = (1, Kv )0,F = dSx v (y) dSy .
F 4 |x y|3
F Th () F
119
120 Apendice A
nF
F3
F1 py
F2
En [30, 27] se calcula (A.0.3) de forma exacta; damos su resultado al nal del
presente parrafo. Por otro lado, en la literatura no hemos encontrado aproxima-
ciones de (A.0.2). Por esta razon, a continuacion proponemos una aproximacion
de (A.0.2) siguiendo el razonamiento utilizado en [30, 27] para calcular (A.0.3).
v1
qy
v2
F1
F2
py
(py qy ) (v qy ) = 0 y py y = hy nF . (A.0.4)
ny (py x) = |
ny | |py x| cos( ny | r cos( + ) ,
ny , x py ) = |
as que
$
%
(py x) ny cos r2
3/2 dSx = |
ny | dr cos( + ) d .
F hy + |py x|2
2 0 0 (h2y + r2 )3/2
124 Apendice A
x2
x
r
py qy x2
Luego
(py x) ny
3/2 dSx =
F h2y + |py x|2
$
%
ny |
= |
1/2 arg sinh cos( + ) d .
0 h2y cos2 + 2 cos |hy |
Notese que con este razonamiento hemos eliminado la singularidad del integrando.
En consecuencia, podemos aproximar la integral en la variable con una formula
de cuadratura unidimensional estandar. Por ejemplo, podemos aplicar la siguiente
formula de Gauss:
1
5 8 5
f () d f (0,7745) + f (0) + f (0,7745) f C([1, 1]) .
1 9 9 9
Integracion numerica 125
ny (ny nF ) nF
py
y
n
donde
h
y si hy = 0 ,
signo(hy ) := |hy |
0 si hy = 0 .
tan
siendo tan := tan
1/2 . Reescribimos este resultado como
h2y + 2
|hy | |hy | cos u
1/2
d = 2 du .
0 h2y + 2 + 2 tan2 0 hy 2
1+ sin u
Concluimos este apendice senalando las lneas generales seguidas en [30] para
calcular de forma exacta (A.0.3).
De nuevo, descomponemos el triangulo F y reducimos el calculo de (A.0.3)
al caso en el que F es un triangulo rectangulo cuyos vertices py , qy y v cumplen
(A.0.4). En esta situacion, en [30] se muestra que
$
%
1 cos r
1/2 dSx =
1/2 dr d =
F h2y + |py x|2 0 0 h2y + r2
2 1/2
= (h2y + ) hy d .
0 cos2
129
130 Bibliografa
[10] A. Bossavit, J. Verite, The TRIFOU code: Solving the 3-D eddy-currents
problem by using H as state variable, IEEE Trans. MAG-19 6 (1983), 2465
70.
[25] M. Costabel, Symmetric methods for the coupling of nite elements and
boundary elements, The Mathematics of Finite Elements and Applications
IV, Academic Press, London, 1988.
[28] L. H. Dixon, Jr., Eddy current losses in transformer windings and circuit
wiring, Unitrode Coorporation.
132 Bibliografa
[37] S. Meddahi, F.J. Sayas, A fully discrete BEM-FEM for the exterior Stokes
problem in the plane, SIAM Journal on Numerical Analysis 37 (2000), 2082
2102.
[45] P. Monk, Finite element methods for Maxwells equations, Clarendon Press,
Oxford, 2003.
[53] F. Treves, Basic linear partial dierential equations, Academic Press, New
York, 1975.
[54] H.A. van der Vorst, J.B.M. Melissen, A PetrovGalerkin type method
for solving Ax = b, where A is symmetric complex, IEEE Transactions on
Magnetics, 26(2) (1990), 706-708.
[57] E. Zeidler, Nonlinear functional analysis and its applications. II/A. Linear
monotone operators, SpringerVerlag, New York, 1990.
sek, Nonlinear elliptic and evolution problems and their nite ele-
[58] A. Zen
ment approximations, Academic Press, London, 1990.