Análisis Matemático y Numérico de Las Ecuaciones de Maxwell Cuasiestáticas - Virginia Selgas Buznego

UNIVERSIDAD DE OVIEDO
Departamento de Matematicas
ANALISIS MATEMATICO Y NUMERICO

DE LAS ECUACIONES DE MAXWELL
CUASIESTATICAS
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.
Oviedo, febrero de 2006
Fdo. D. Benjamn Dugnol Alvarez

D. Salim Meddahi, Profesor Titular de Matematica Aplicada del Departa-
mento de Matematicas de la Universidad de Oviedo,
CERTIFICA:
que la presente memoria, titulada Analisis matematico y numerico de las ecua-

ciones de Maxwell cuasiestaticas, ha sido realizada por Dna. Virginia Selgas
Buznego bajo su direccion, dando su conformidad para que sea presentada para
optar al Grado de Doctor por la Universidad de Oviedo.
Oviedo, febrero de 2006
Fdo. D. Salim Meddahi

Agradecimientos
Este trabajo ha sido subvencionado por el Ministerio de Educacion, Cultura

y Deporte a traves de una Beca de Formacion de Profesorado Universitario con
referencia AP20012318.
Deseo agradecer todo el apoyo recibido en el Departamento de Matematicas
de la Universidad de Oviedo. Muy especialmente, quiero expresar mi gratitud al
director de esta tesis, el Profesor Salim Meddahi, por sus propuestas as como
por todo el tiempo que ha dedicado a ayudarme. Ademas, debo un sincero re-
conocimiento al Profesor Javier Valdes, que me animo a comenzar esta tesis y ha
conado en m desde un primer momento.
Tambien deseo agradecer la hospitalidad que disfrute en el Departamento de
Matematica Aplicada de la Universidad de Santiago de Compostela durante la
realizacion de los cursos de doctorado. En particular, no puedo olvidar las suge-
rencias y el estmulo de mi codirectora del trabajo de investigacion, la Profesora
Pilar Salgado.
Asimismo, quiero agradecer la calida acogida del Departamento de Mate-
maticas de la Universidad de Trento durante los meses que estuve all. Concreta-
mente, debo a los Profesores Alberto Valli y Ana Alonso su respaldo e interesantes
ideas.
Finalmente, me gustara dedicar este trabajo a mi familia y a mis amigos,
por su apoyo incondicional y por su paciencia y su carino.
vii
Introduccion
Hasta el siglo XIX, los efectos electricos y magneticos se consideraban feno-

menos fsicos independientes, ligados a las cargas electricas y a los imanes, respec-
tivamente. Sin embargo, en 1820 Oersted observo que las corrientes electricas
podan inuir sobre una aguja imantada. A continuacion, las aportaciones de
Ampere y el descubrimiento de la induccion por Faraday establecieron las bases
para una teora unicada del electromagnetismo. Hacia 1860 Maxwell reunio y
completo los resultados anteriores, sintetizando las teoras electrica y magnetica
en un unico sistema de ecuaciones. En particular, estas ecuaciones predicen que
los campos electricos variables generan campos magneticos y que, recprocamente,
los campos magneticos variables inducen corrientes electricas.
Desde un punto de vista practico, este fenomeno de induccion electromagne-
tica resulta fundamental para disenar adecuadamente un dispositivo electrico. En
efecto, las corrientes inducidas pueden ser utiles o bien producir perdidas, segun
sea la aplicacion dada a una maquina electrica. As por ejemplo, las corrientes
inducidas generan las fuerzas electromotrices necesarias para el funcionamiento de
un motor de induccion. Por el contrario, reducen la eciencia de un transformador
electrico porque disipan energa por efecto Joule; cf. [28].
Consecuentemente, en la practica interesa modelar la distribucion de las
corrientes inducidas y simular numericamente su comportamiento. Esto involu-
cra el analisis del sistema de ecuaciones de Maxwell, que en su forma completa
presenta una gran complejidad.
En muchas situaciones, el sistema de ecuaciones de Maxwell se aproxima
ix
x Introduccion
con modelos simplicados cuya resolucion numerica es menos costosa. En parti-

cular, cuando se estudian maquinas electricas que trabajan a bajas frecuencias,
un razonamiento asintotico permite despreciar las corrientes de desplazamiento
y deducir as el denominado modelo de eddy currents; veanse [1, 6, 14]. De hecho,
este modelo es muy frecuente en ingeniera electrica y por ello esta suscitando un
gran interes en el ambito del analisis matematico y numerico; cf. [2, 3, 4, 6, 8, 9,
10, 11, 12, 13, 14, 32, 33, 39, 41].
En general, la resolucion numerica del problema de eddy currents no puede
hacerse con tecnicas estandar del tipo del metodo de elementos nitos (FEM) o
del metodo de elementos de contorno (BEM). En efecto, por un lado, no puede
aplicarse directamente un metodo BEM porque en general las ecuaciones no son
homogeneas y sus coecientes no son constantes. Por otro lado, tampoco puede
utilizarse directamente un metodo FEM, puesto que el campo electromagnetico
no se reduce unicamente a una region acotada sino que se extiende a todo el
espacio. En este sentido, una estrategia habitual consiste en la introduccion de
un dominio computacional acotado que sea sucientemente grande. Sin embargo,
a menudo esta tecnica no resulta util ya que involucra un dominio computacional
tan grande que el coste del metodo numerico resulta excesivo. Incluso cuando
no es as, el problema debe completarse con condiciones de contorno sobre la
frontera del dominio computacional y la eleccion adecuada de estas condiciones
puede resultar complicada; cf. [9].
Es importante senalar que, en las ecuaciones del problema de eddy currents,
las no homogeneidades y las no linealidades se localizan en una zona acotada,
fuera de la cual los coecientes son constantes. Es precisamente esta propiedad
la que permite combinar BEM y FEM para resolverlo numericamente.
De hecho, el primer paso en un metodo BEMFEM es descomponer el do-
minio (no acotado) del problema original en dos regiones:
un dominio acotado que recoge las no homogeneidades y las no linealidades
de las ecuaciones;
la correspondiente region exterior no acotada, donde las ecuaciones son

homogeneas y lineales, con coecientes constantes.
Introduccion xi
Entonces el problema es equivalente a un problema de transmision entre ambas

regiones y con condiciones de transmision sobre la frontera comun, frontera que
se dice de acoplamiento. A continuacion se reformula el problema utilizando una
representacion integral de la solucion en la zona exterior. As se deduce un pro-
blema planteado en el dominio acotado y con condiciones de contorno globales
(i.e. no diferenciales) sobre la frontera de acoplamiento. Llegados a este punto,
el problema puede resolverse numericamente aproximando las funciones denidas
en el dominio acotado y las asociadas a la frontera de acoplamiento utilizando
elementos nitos y elementos de contorno, respectivamente. Con esta estrategia,
se obtienen aproximaciones de la solucion en la region acotada y de las variables
auxiliares denidas sobre la frontera. Ademas, utilizando estas aproximaciones
junto con dicha formula de representacion integral, tambien podemos estimar la
solucion en la region no acotada. Para ver diversas aplicaciones de este metodo,
pueden consultarse [13, 25, 32, 34, 36, 37, 38, 39, 40, 42, 43, 49, 50, 51, 52].
Tal y como hemos senalado, las condiciones de contorno sobre la frontera
de acoplamiento se obtienen a partir de una formula de representacion integral
en la region exterior. Como estas condiciones no son unicas, distintas elecciones
particulares dan lugar a diversos tipos de metodos BEMFEM, siendo los mas
habituales el metodo de Johnson y Nedelec y el metodo simetrico. En el primero
se impone una unica ecuacion sobre la frontera, que se obtiene a partir de la
formula de representacion y de la relacion de salto del potencial de doble capa.
En este caso, para analizar el error suele necesitarse que el operador asociado
al potencial de doble capa sea compacto y, en consecuencia, que la frontera de
acoplamiento sea regular; cf. [34, 36, 37]. En el metodo simetrico se anade una
segunda ecuacion sobre la frontera de acoplamiento, que se deduce de la formula
de representacion utilizando las relaciones de salto de la derivada normal del
potencial de simple capa. Entonces, para analizar el error habitualmente basta
que la frontera de acoplamiento sea Lipschitz continua; cf. [25].
La estrategia BEMFEM se ha utilizado para el problema de eddy currents
bajo regimen armonico en [13, 32, 41], entre otros.
En [32] se propone y se analiza un metodo BEMFEM que utiliza como
xii Introduccion
frontera de acoplamiento la propia del conductor y opta por una formulacion

simetrica en terminos del campo electrico.
En [14] se propone un esquema BEMFEM no simetrico y formulado en
terminos del campo magnetico. Ahora bien, dicho esquema no esta escrito en
la forma estandar del metodo de Johnson y Nedelec porque elimina la derivada
normal de la variable asociada a la frontera utilizando el operador de Steklov
Poincare. Este esquema se ha implementado en un codigo denominado TRIFOU
(cf. [10]), aunque no conocemos ningun analisis de convergencia de este esque-
ma. En todo caso, tal y como senalamos anteriormente, el analisis de los meto-
dos BEMFEM no simetricos suele requerir que la frontera de acoplamiento sea
regular. En la practica, esta propiedad resulta excesivamente restrictiva sobre la
geometra del conductor y, por ejemplo, no permite estudiar dominios poliedricos.
Teniendo en cuenta estas dicultades, en [41] optamos por una formulacion
BEMFEM simetrica en terminos del campo magnetico. En esta memoria segui-
mos dicho artculo para deducir y estudiar esta formulacion BEMFEM. Tambien
proponemos y analizamos una formulacion alternativa para el tratamiento de
conductores con topologas complicadas y la generalizamos al problema de eddy
currents en regimen de evolucion en tiempo. Damos algunos resultados numericos
obtenidos con ambos esquemas para el problema en regimen armonico.
Mas concretamente, en el Captulo 1 detallamos las ecuaciones de Maxwell
y el modelo de eddy currents, tanto en regimen de evolucion como en el caso
armonico en tiempo.
El objetivo del Captulo 2 es introducir las herramientas matematicas nece-
sarias para estudiar el problema de eddy currents. Precisamente, senalamos algu-
nas propiedades fundamentales de espacios de funciones de trazas tangenciales y
de operadores diferenciales sobre supercies Lipschitz continuas; cf. [20].
En el Captulo 3 estudiamos el problema en regimen armonico en tiempo
para un conductor simplemente conexo; cf. [41].
Para obtener una formulacion variacional BEMFEM de este problema,
seguimos la estrategia introducida por Bossavit en [14]. De este modo, dividimos
el espacio R3 en dos regiones: Un dominio acotado (que representa el conduc-
Introduccion xiii
tor) y su exterior no acotado. A continuacion, introducimos un potencial escalar

magnetico en la region no acotada. Este potencial es armonico y, en consecuen-
cia, nos proporciona condiciones de contorno no locales para el problema en el
dominio acotado. Entonces, en el dominio acotado podemos aproximar el campo
magnetico utilizando elementos nitos de Nedelec.
Como senalamos anteriormente, optamos por una formulacion BEMFEM
de tipo simetrico motivados por el estudio de conductores con fronteras no regu-
lares. De hecho, los resultados dados recientemente en [20] nos permiten probar
que el metodo numerico que proponemos converge con orden optimo siempre y
cuando la frontera del conductor sea Lipschitz continua. En consecuencia, pode-
mos tomar como frontera de acoplamiento directamente la propia del conductor,
reduciendo el tamano del dominio computacional y, por tanto, el coste del meto-
do.
Tambien detallamos como implementar este metodo en el ordenador. En efec-
to, lo reescribimos como un sistema lineal y proponemos formulas de cuadratura
para aproximar las integrales singulares involucradas en el ensamblaje de la matriz
del sistema. Implementamos este metodo en un codigo MATLAB y lo utilizamos
para estudiar un problema con solucion exacta conocida explcitamente. Com-
parando la solucion exacta con los resultados numericos obtenidos, validamos el
codigo que hemos desarrollado y al mismo tiempo comprobamos las propiedades
de convergencia del esquema numerico.
En el Captulo 4, estudiamos el problema de eddy currents en regimen armo-
nico para conductores no simplemente conexos. En esta situacion, los metodos
numericos propuestos en [32, 41] necesitan introducir supercies de corte, que
pueden resultar excesivamente complicadas y costosas de calcular en la practica;
al respecto, vease tambien [8].
En [5] se muestra que la formulacion en terminos del campo magnetico (para
el problema en regimen armonico y planteado en un dominio acotado) admite una
estructura de punto de silla que no requiere la construccion de supercies de corte;
vease [31] para una estrategia similar. Basicamente, dicha estructura se obtiene
introduciendo un multiplicador de Lagrange asociado al rotacional del campo
xiv Introduccion
magnetico en el dielectrico que rodea al conductor.

Seguimos esta estrategia para el problema planteado en todo el espacio.
Concretamente, tomamos un dominio computacional que contiene la region con-
ductora e introducimos un multiplicador de Lagrange para imponer la restriccion
asociada al rotacional del campo magnetico en el dielectrico. A continuacion,
introducimos un potencial escalar magnetico en el exterior del dominio computa-
cional. Nuevamente, este potencial es armonico y nos proporciona condiciones
de contorno no locales para el problema en el dominio computacional. De esta
forma, deducimos una formulacion BEMFEM mixta que esta bien planteada.
A partir de esta formulacion, deducimos un esquema de Galerkin utilizando ele-
mentos nitos de Nedelec y elementos nitos de RaviartThomas. Probamos que
el correspondiente esquema discreto esta bien planteado y analizamos su orden
de convergencia. Ademas, detallamos su implementacion y la desarrollamos en
un codigo MATLAB. Testeamos este codigo utilizando un problema con solu-
cion exacta conocida explcitamente; as validamos el codigo y comprobamos las
propiedades de convergencia del metodo numerico.
Es importante senalar que, incluso cuando la fuente de corriente es de tipo
sinusoidal, hay situaciones en las que el campo electromagnetico no presenta un
comportamiento armonico en tiempo. Por esta razon, en el Captulo 5 extende-
mos nuestro metodo numerico para el problema de eddy currents de evolucion en
tiempo, sin restricciones topologicas sobre el conductor. Bajo hipotesis de regu-
laridad sobre los datos del problema, utilizamos el Teorema de J.L. Lions sobre la
existencia y unicidad de soluciones de problemas lineales parabolicos para mostrar
que la formulacion BEMFEM que proponemos esta bien planteada. Deducimos
un esquema semidiscreto en espacio utilizando elementos nitos de Nedelec y ele-
mentos nitos de RaviartThomas. A continuacion, probamos que este esquema
semidiscreto esta bien planteado y analizamos su orden de convergencia. Finali-
zamos el estudio de este esquema reescribiendolo en forma matricial.
Indice general
Agradecimientos VII
Introduccion IX
1. Modelo de eddy currents 1

1.1. Modelo de eddy currents . . . . . . . . . . . . . . . . . . . . . . . . 3
1.2. Modelo de eddy currents en regimen armonico . . . . . . . . . . . . 5
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
2.7.1. Operadores integrales sobre supercies . . . . . . . . . . . . 27

2.8. Espacios basicos para problemas de evolucion . . . . . . . . . . . . 34
3. Eddy currents en conductores simplemente conexos 37

3.1. Formulacion variacional . . . . . . . . . . . . . . . . . . . . . . . . 37
3.1.1. Un potencial escalar magnetico . . . . . . . . . . . . . . . . 39
3.1.2. Una formulacion variacional BEMFEM . . . . . . . . . . . 40
3.2. Esquema discreto . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
3.2.1. Elementos nitos de Nedelec de primer orden . . . . . . . . 44
3.2.2. Descripcion y analisis del problema discreto . . . . . . . . . 47
3.2.3. Analisis de la convergencia . . . . . . . . . . . . . . . . . . 49
3.3. Forma matricial del esquema discreto . . . . . . . . . . . . . . . . . 50
h (c ) . . . . . . . . . . . . . . . . . . . 50
3.3.1. Base explcita de X
3.3.2. Sistema de ecuaciones asociado al problema discreto . . . . 53
3.3.3. Implementacion del esquema discreto . . . . . . . . . . . . . 54
3.4. Resultados numericos . . . . . . . . . . . . . . . . . . . . . . . . . 54
3.4.1. Descripcion del problema test . . . . . . . . . . . . . . . . . 55
3.4.2. Resultados numericos . . . . . . . . . . . . . . . . . . . . . 55
4. Eddy currents en conductores no simplemente conexos 59

4.1. Espacios funcionales auxiliares . . . . . . . . . . . . . . . . . . . . 60
4.2.1. Una formulacion variacional global . . . . . . . . . . . . . . 66
4.2.2. Una formulacion variacional mixta . . . . . . . . . . . . . . 68
4.3. Esquema discreto . . . . . . . . . . . . . . . . . . . . . . . . . . . . 76
4.3.1. Descripcion del problema discreto . . . . . . . . . . . . . . 76
4.3.2. Analisis del esquema discreto . . . . . . . . . . . . . . . . . 78
4.4. Forma matricial del esquema discreto . . . . . . . . . . . . . . . . . 88
4.4.1. Implementacion del esquema discreto . . . . . . . . . . . . . 90
4.5. Resultados numericos . . . . . . . . . . . . . . . . . . . . . . . . . 90
Introduccion xvii
5. Eddy currents de evolucion 95

5.1.1. Una formulacion variacional global . . . . . . . . . . . . . . 96
5.1.2. Una formulacion variacional mixta . . . . . . . . . . . . . . 100
5.2. Esquema semidiscreto . . . . . . . . . . . . . . . . . . . . . . . . . 108
5.2.1. Descripcion y analisis del problema semidiscreto . . . . . . 108
5.3. Forma matricial del esquema semidiscreto . . . . . . . . . . . . . . 117
A. Integracion numerica 119
Bibliografa 129
Captulo 1
Modelo de eddy currents
El comportamiento de un campo electromagnetico esta regido por las ecua-

ciones de Maxwell, que escribimos a continuacion en forma diferencial:

,
t D + rot H = J

t B + rot E = 0 ,
(1.0.1)

div D = ,

div B = 0 .
La notacion utilizada es la estandar:
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
Estas funciones son reales y dependen del tiempo t > 0 y la posicion x R3 .

La primera ecuacion de (1.0.1) es la ley de AmpereMaxwell y coincide con
la ley de Ampere salvo en el termino adicional t D introducido por Maxwell.
Esta ley, reescrita en forma integral, describe como rodean las lneas del campo
magnetico a una supercie que tiene un ujo electrico variable.
La segunda ecuacion de (1.0.1) se denomina ecuacion de Faraday y describe
como rodean las lneas del campo electrico a una supercie por la que pasa un
ujo magnetico variable.
La tercera ecuacion de (1.0.1) se conoce como ley de Gauss y fsicamente
signica que el ujo de la induccion electrica a traves de una supercie cerrada
es igual a la carga neta encerrada dentro de dicha supercie. En otras palabras,
las lneas del campo electrico empiezan y terminan en cargas electricas.
Analogamente, la cuarta ecuacion de (1.0.1) o ley de Gauss del magnetismo
arma que el ujo de la induccion magnetica a traves de cualquier supercie
cerrada es nulo. En terminos de las lneas del campo magnetico, quiere decir que
dichas lneas no convergen ni divergen en ningun punto del espacio; es decir, no
existen polos magneticos aislados.
Completamos el sistema (1.0.1) anadiendo las ecuaciones constitutivas
D = E,
(1.0.2)
B = H,
y la ley de Ohm generalizada
= J + E,
J (1.0.3)
donde J representa la densidad de la fuente de corriente. Segun estas ecuaciones,

el campo electromagnetico interacciona con la materia a traves de los siguientes
parametros:
la permitividad electrica, ,
la permeabilidad magnetica, ,
Modelo de eddy currents 3
la conductividad electrica, .
En efecto, las ecuaciones constitutivas (1.0.2) describen propiedades intrnsecas

de la materia. Ademas, la ley (1.0.3) arma que la densidad de corriente total, J,
consiste en la densidad de la fuente de corriente, J, mas un termino proporcional
al campo electrico E.
1.1. Modelo de eddy currents

El sistema de ecuaciones (1.0.11.0.3) describe un amplio rango de fenomenos
fsicos. Restringiendonos a situaciones particulares, podemos hacer hipotesis que
simplican las ecuaciones y deducir as modelos que son mas sencillos de re-
solver numericamente. Entre ellos, uno de los mas utilizados es el modelo de eddy
currents, que surge de las ecuaciones de Maxwell al despreciar las corrientes de
desplazamiento, t D, y que es el centro de estudio de este trabajo.
Mas concretamente, estudiamos un conductor que ocupa un dominio acotado
c R3 con frontera := c Lipschitz continua. Suponemos que esta rodeado
por un medio dielectrico, por ejemplo aire seco, y denotamos ec := R3 \ c .
Entonces buscamos el campo electromagnetico (E, H) que cumpla

rot H = J + E en (0, T ) R3 ,

t ( H) + rot E = 0 en (0, T ) R3 ,
(1.1.1)

div( E) = 0 en (0, T ) ec ,

E n dS = 0 en (0, T ) , j = 1, . . . , N ,
j
donde j (j = 1, . . . , N ) representan las componentes conexas de . Ademas, n

denota un vector unitario que es normal a en casi todo punto y esta orientado
hacia el interior de ec .
El campo electromagnetico tambien debe satisfacer las condiciones iniciales
H(0, x) = H0 (x) y E(0, x) = E0 (x) en R3 , (1.1.2)

4 Captulo 1
as como las condiciones asintoticas

1 1
H(t, x) = O( ) y E(t, x) = O( ) cuando |x| , (1.1.3)
|x| |x|
x
uniformemente en casi todas las direcciones (t, |x| ), con t (0, T ) y x R3 \ {0}.
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
En efecto, el problema fsico (1.0.11.0.3) se corresponde con = 1 y el problema

(1.1.1) se obtiene con un razonamiento asintotico para 0.
En lo que sigue consideramos unicamente materiales sin memoria que sean

lineales e isotropos. Ademas, suponemos que los parametros y dependen
unicamente de la variable espacial x R3 . Entonces , y son funciones
escalares, reales y acotadas que cumplen las siguientes propiedades:
la permitividad electrica es tal que
0 < 0 (x) 1 en c.t.p. x c ,

(1.1.4)
(x) = 0 en c.t.p. x ec ;
la permeabilidad magnetica satisface
0 < 0 (x) 1 en c.t.p. x c ,

(1.1.5)
(x) = 0 en c.t.p. x ec ;
la conductividad electrica cumple
0 < 0 (t, x) 1 en c.t.p. (t, x) (0, T ) c ,

(1.1.6)
(t, x) = 0 en c.t.p. (t, x) (0, T ) ec ;
Modelo de eddy currents 5
para algunas constantes 0 , 1 , 0 , 1 , 0 , 1 R.

Bajo estas hipotesis, deducimos de la primera ecuacion de (1.1.1) que la
funcion J debe cumplir las siguientes condiciones de compatibilidad:
div J = 0 en (0, T ) ec ,

(1.1.7)
J n dS = 0 en (0, T ) , j = 1, . . . , N .
j
1.2. Modelo de eddy currents en regimen armonico
A diferencia de lo que sucede para el problema de evolucion, la modelizacion

del problema en regimen armonico emplea funciones complejas. Por esta razon,

introducimos la unidad imaginaria := 1. Ademas, dado un numero complejo
C, representamos sus partes real e imaginaria por Re[] y Im[], respectiva-
mente, mientras que denotamos su conjugado por y su modulo por ||.
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.
Figura 1.1: Geometra del problema

6 Captulo 1
En esta situacion, la densidad de la corriente alterna presenta la forma
J(t, x) = Re[et j(x)] ,
donde denota la frecuencia angular. Ademas, j es un campo complejo que

depende unicamente de x R3 y se denomina amplitud compleja de la densidad
de corriente.
Supongamos que la conductividad depende unicamente de x R3 . En-
tonces los campos electrico y magnetico tambien son armonicos en tiempo:
E(t, x) = Re[et e(x)] y H(t, x) = Re[et h(x)] .
Por lo tanto, el problema (1.1.1) es equivalente a determinar las amplitudes com-

plejas e y h tales que

rot h = j + e en R3 ,

h + rot e = 0 en R3 ,
(1.2.1)

div( e) = 0 en ec ,

e n dS = 0 j = 1, . . . , N .
j
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
Para cerrar este captulo, senalamos que el problema (1.2.11.2.2) es util en

la practica para disenar y estudiar maquinas que trabajan a baja frecuencia. Efec-
tivamente, en [6, Teorema 8.1] se prueba que el problema (1.2.11.2.2) aproxima
al problema fsico (1.0.11.0.3) con orden 2 respecto a la frecuencia .
Captulo 2
Herramientas matematicas
A lo largo de esta memoria, las letras en negrita representan vectores o

funciones vectoriales en C3 . Denotamos la norma eucldea por || y los productos
escalar eucldeo y vectorial por y , respectivamente. Usamos repetidamente las
siguientes identidades vectoriales:
(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 ,
para cualesquiera vectores a, b, c C3 y funciones vectoriales u, v suciente-

mente regulares.
Utilizamos el superndice para designar la transpuesta de una matriz e
introducimos una norma matricial
que este inducida por una norma vectorial.

Ademas, C (con o sin subndices) es una constante generica, no necesaria-
mente la misma en diferentes estimaciones.
7
8 Captulo 2
2.1. Espacios de Sobolev clasicos

Sea O un dominio abierto y acotado de Rn (n = 2 o 3). Suponemos que su
frontera O es Lipschitz continua, concepto que detallamos a continuacion; vease
[45, Denicion 3.1].
Denicion 2.1.1. Decimos que O es Lipschitz continua si para cada x O

podemos tomar un sistema de coordenadas ortogonal
y = (y1 , . . . , yn1 , yn ) (y , yn ) ,
para el que existen
un vector a Rn con x U := {y Rn ; |yj | < aj j = 1, . . . , n},

an
una funcion f : U R Lipschitz continua con |f (y )| < para cualquier
2
y U := y Rn1 ; |yj | < aj j = 1, . . . , n 1 ,
cumpliendo que

O U = y U ; yn < f (y ) y O U = y U ; yn = f (y ) .
Denotamos por D(O) y D(Rn ) los espacios de las funciones indenidamente

diferenciables que tienen soporte compacto contenido en O o en Rn , respectiva-
mente. Entonces denimos

3
D(O) := f |O ; f D(R3 ) y D(O) := D(O) .
Para cada p [1, ), consideramos el espacio Lp (O) de funciones f : O C

que son medibles en el sentido de Lebesgue y con

p

f
p,O := |f (x)|p dx < + .

Dado un multindice = (1 , . . . , n ) Nn , escribimos

1 n
:= 1 y || := 1 + + n .
x1 xnn
Herramientas matematicas 9
A continuacion introducimos los espacios de Sobolev clasicos en el dominio O:

En primer lugar, denimos los espacios de Sobolev de ndice entero no negativo.
Despues los generalizamos a ndices reales no negativos y, nalmente, a ndices
reales negativos.
2.1.1. Indice entero no negativo

Sea m N un entero no negativo. Introducimos el espacio de Sobolev

H m (O) := f L2 (O) ; f L2 (O) Nn con || m ,
que es la complecion de D(O) con respecto a la norma

1/2

f
m,O := | f (x)|2 dx .
||m O
En particular, H 0 (O) L2 (O) y utilizamos la siguiente notacion estandar para

su producto interior:
(f, g)0,O := f (x) g(x) dx .
O
2.1.2. Indice real no negativo

Existen varias deniciones equivalentes de los espacios de Sobolev de ndice
real no negativo. Aqu los introducimos con el metodo de interpolacion real; cf.
[29, Parrafo 1.1]. Mas concretamente, representamos cada numero s [0, +)
no entero bajo la forma s = m + s, con m N y s (0, 1). Entonces denimos el
espacio de Sobolev H s (O) como la complecion de D(O) con respecto a la norma
1/2

f
s,O :=
f
2m,O + | f |2s,O ,
||=m
donde
|g(x) g(y)|2
|g|2s,O := dx dy .
O O |x y|n+2s
10 Captulo 2
2.1.3. Indice real negativo

Introducimos los espacios de Sobolev de ndice negativo por dualidad. En
efecto, jado un numero real s no negativo, denotamos por H0s (O) la clausura de
D(O) en H s (O). Entonces H0s (O) es denso en L2 (O) y podemos denir H s (O)
como el espacio dual de H0s (O) con respecto al espacio pivote L2 (O). Represen-
tamos su producto de dualidad como sigue:
H s (O) H0s (O) C

(f, g) f, gs,O ;
en particular, tenemos que
f, gs,O = (f, g)0,O f L2 (O), g H0s (O) .
Ademas, utilizamos la norma inducida en el espacio H s (O):

|f, gs,O |

f
s,O := sup ,
gH0s (O), g=0
g
s,O
as que las siguientes inclusiones son continuas y densas:
H0s (O) L2 (O) H s (O) .
En lo sucesivo, denotamos con negrita los espacios vectoriales asociados a

los espacios de Sobolev anteriores. De este modo, tomamos L2 (O) := (L2 (O))n ;
analogamente, Hs (O) := (H s (O))n y Hs0 (O) := (H0s (O))n para todo s R.
2.2. Espacios de Sobolev sobre superficies

y teora de trazas
Consideramos un dominio acotado R3 cuya frontera := sea Lips-
chitz continua. Sin perdida de generalidad, suponemos que , e := R3 \ y
son conexos.
Figura 2.1: Dominio
Denotamos por n el vector unitario normal a la supercie y orientado

hacia el interior de e .
Sea {j ; j = 0, . . . , m} un recubrimiento abierto de tal que

m
j y 0 = .
j=1
Para cada j = 1, . . . , m, denimos la aplicacion
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 .
2.2.1. Espacios de Sobolev sobre superficies

Para cada s [0, 1], denimos el espacio de Sobolev

H s () := D () ; j H s (Uj 1
j (j )) j = 1, . . . , m (2.2.1)
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
Puede comprobarse que el espacio H s () es de Hilbert y que su denicion es

independiente de la eleccion del recubrimiento {j ; j = 0, . . . , m}.
Ademas, H s () es denso en H 0 () L2 (). Esta propiedad nos permite
introducir H s () como el espacio dual de H s () con espacio pivote L2 (). Repre-
sentamos su producto de dualidad como sigue:
H s () H s () C
(, ) , s, ;
en particular, tenemos que
, s, = (, )0, L2 (), H s () .
Consideramos la norma inducida en H s ():
|, s, |

s, := sup ,
H s (), =0
s,
de forma que las siguientes inclusiones son continuas y densas:
H s () L2 () H s () . (2.2.3)
Denotamos con negrita los espacios vectoriales asociados; es decir, tomamos

Hs ():= (H s ())3 para cualquier s [1, 1]. Tambien introducimos

L2 () := L2 () ; n = 0 sobre ,
3
que es un subespacio cerrado de L2 () := L2 () . As denido, L2 () se iden-
tica con el espacio de funciones de L2 () que pertenecen al brado tangente de
en casi todo punto; al respecto, veanse [20, Parrafos 1 y 2].
2.2.2. Trazas en espacios de Sobolev
El siguiente resultado es clasico y puede consultarse en [29, Teorema 1.5]

o en [35, Teorema 3.37].
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 () .
Este operador se denomina traza y es suprayectivo. Ademas, admite una inversa

a derecha que es continua y que denotamos por 1 .
Fijado s (0, 1/2], introducimos la traza vectorial : Hs+1/2 () Hs ()

actuando por componentes. Tambien denimos el siguiente operador continuo,
que se dice traza tangencial :
: Hs+1/2 () L2 ()
(2.2.4)
q q := q n .
Denotamos su imagen por Hs () := ( Hs+1/2 ()), que es un espacio de Hilbert

con la norma del grafo

Hs () := nf
q
s+1/2, ; q Hs+1/2 () con q = .
El siguiente resultado se cumple por la propia denicion del espacio Hs ().
Proposicion 2.2.2. Para todo s (0, 1/2], el operador lineal
: Hs+1/2 () Hs ()
es continuo y suprayectivo. Ademas, admite una inversa a derecha que es continua

y que representamos por 1
.
Para cada s (0, 1/2], sabemos que H s () es denso en L2 () (vease (2.2.3)),

as que Hs () es denso en L2 (). En consecuencia, podemos introducir el espacio
Hs s 2
() dual de H () con respecto al espacio pivote L (). Tambien podemos
extender la siguiente forma sesquilineal al espacio Hs () H ():
s
, , := ( 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 ()
De esta forma, las siguientes inclusiones son continuas y densas:
Hs () L2 () Hs
() . (2.2.5)
En lo sucesivo, denotamos por convenio H0 () := L2 (). Ademas, simpli-

camos la notacion escribiendo para la composicion 1 .
2.3. Espacios H(div, ) y H(rot, )

Consideramos el espacio

H(div, ) := u L2 () ; div u L2 () ,
que es de Hilbert con la norma del grafo

1/2

u
div, :=
u
20, +
div u
20, .
Teorema 2.3.1. El espacio D() es denso en H(div, ).
Demostracion. La prueba de este resultado puede consultarse en [29, Teorema

2.4] o [45, Teorema 3.22].
Aplicando el Teorema 2.3.1 junto con la formula de Green
(u, v)0, + (div u, v)0, = (u| n, v)0, u D(), v H 1 () ,

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 () ,
que es suprayectivo y se dice traza normal. Ademas, se cumple
(u, v)0, + (div u, v)0, = n u, v1/2, , (2.3.1)
para cualesquiera funciones u H(div, ) y v H 1 ().

El siguiente resultado es consecuencia de la formula de Green (2.3.1).
Corolario 2.3.3. Consideramos 1 , 2 R3 dos dominios (abiertos pero no
necesariamente acotados) con fronteras 1 := 1 , 2 := 2 Lipschitz continuas
y denotamos por el interior de 1 2 . Sea u L2 () una funcion tal que
u|1 H(div, 1 ) y u|2 H(div, 2 ). Entonces u H(div, ) si y solo si
n (u|1 ) = n (u|2 ) sobre 1 2 .
Denimos el espacio de funciones vectoriales

H(rot, ) := u L2 () ; rot u L2 () ,
que es de Hilbert con la norma
rot, inducida por el producto escalar
(u, v)rot, := (u, v)0, + (rot u, rot v)0, .
En general, para cada s 0 denimos el espacio
Hs (rot, c ) := {u Hs (c ) ; rot u Hs (c )} ,

1/2

u
Hs (rot,c ) :=
u
2s,c +
rot u
2s,c .
El siguiente resultado es clasico y puede consultarse en [29, Teorema 2.10]

o en [45, Teorema 3.26].
16 Captulo 2
Teorema 2.3.4. El espacio D() es denso en H(rot, ).
Observese que, segun la cuarta identidad de (2.0.1) y la formula de Gauss,

(u rot v rot u v) dx = (v u) n dSx u, v D() .

Aplicando las dos primeras identidades de (2.0.1), tenemos que
(u, rot v)0, (rot u, v)0, = ((u n) n, v n)0, u, v D() .
Entonces, con un razomiento por densidad deducimos que
(u, rot v)0, (rot u, v)0, = u, v, u, v H1 () . (2.3.2)
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].
Teorema 2.3.5. La traza tangencial denida por (2.2.4) se extiende de forma

unica a un operador lineal continuo
1/2
: H(rot, ) H () .
Ademas, se cumple
(u, rot v)0, (rot u, v)0, = u, v, , (2.3.3)
para cualesquiera u H(rot, ) y v H1 ().
El siguiente resultado es consecuencia de la formula de Green (2.3.3).
Corolario 2.3.6. Consideramos 1 , 2 R3 dos dominios (abiertos pero no

necesariamente acotados) con fronteras 1 := 1 , 2 := 2 Lipschitz continuas
y denotamos por el interior de 1 2 . Sea u L2 () una funcion tal que
u|1 H(rot, 1 ) y u|2 H(rot, 2 ). Entonces u H(rot, ) si y solo si
(u|1 ) = (u|2 ) sobre 1 2 .

2.4. Operadores diferenciales sobre superficies

Introducimos el rotacional vectorial de supercie rot := 1 ,
denicion que queda justicada gracias al siguiente resultado auxiliar.
Lema 2.4.1. Sea u H 1 () tal que u = 0. Entonces (u) = 0.
Demostracion. Fijamos v H1 () arbitrario. Por un lado, la formula (2.3.3)

para u H(rot, ) y v H1 () garantiza que
(u, rot v)0, = (u), v, .
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,
(u, rot v)0, = (u, div(rot v))0, + u, n (rot v)1/2, = 0 .
En consecuencia,
(u), v, = 0 v H1 () ,
1/2
y concluimos que (u) = 0 en H ().
Proposicion 2.4.2. El operador lineal
1/2
rot : H 1/2 () H ()
esta bien denido y es continuo.
Demostracion. Notese en primer lugar que la denicion de rot es indepen-

diente de la eleccion del levantamiento 1 . En efecto, dados u1 , u2 H 1 ()
tales que u1 = u2 , tenemos que u1 u2 H 1 () con (u1 u2 ) = 0; luego,
segun el Lema 2.4.1,
(u1 ) = (u2 ) .
En lo que respecta a la continuidad de rot , basta observar que es composicion

de aplicaciones continuas (veanse el Teorema 2.2.1 y la Proposicion 2.3.5).
18 Captulo 2
El operador dual de rot con respecto al producto de dualidad

1/2 1/2
H () H () C
(, ) , ,
se conoce como divergencia de supercie y se denota por div :

1/2
, div 1/2, = rot , , H () , H 1/2 () . (2.4.1)
Analogamente, el operador dual de rot con respecto al producto de dualidad

1/2 1/2
H () H () C
(, ) , 1/2,
se denomina rotacional escalar de supercie y se designa por rot :

1/2
, rot 1/2, = rot , 1/2, H () , H 1/2 () . (2.4.2)
Observemos que la Proposicion 2.4.2 justica estas deniciones y garantiza que

los operadores lineales
div : H () H 1/2 () rot : H () H 1/2 ()

1/2 1/2
y
son continuos.
2.5. Trazas tangenciales en H(rot, )

1/2
Dada una funcion H (), decimos que div H 1/2 () si existe
H 1/2 () tal que
u, 1/2, = (u), , u H 2 () ,
en cuyo caso tomamos div := . Consideramos el espacio

1/2 1/2
H (div , ) := H () ; div H 1/2 () ,

1/2
H (div , ) R
1/2

2 1/2 +
div
21/2, .
H ()
Proposicion 2.5.1. Dada una funcion u H(rot, ), se cumple
div ( u) = n (rot u) en H 1/2 () .
Demostracion. Sean u D() y v H 2 () cualesquiera. Como v H1 (),

podemos aplicar la formula de Green (2.3.3) junto con las deniciones de los
operadores rot y div :
(v, rot u)0, = rot (v), u, = v, div ( u)1/2, .
Pero tambien podemos integrar por partes con la formula (2.3.1), de modo que
(rot u, v)0, = n (rot u), v1/2, .
Utilizando las dos ultimas identidades, tenemos
div ( u), v1/2, = n (rot u), v1/2, v H 2 () ,
y deducimos que
div ( u) = n (rot u) H 1/2 () u D() . (2.5.1)
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 ()
son continuos. En consecuencia, el Teorema 2.3.4 nos permite concluir el resultado

del enunciado haciendo un razonamiento por densidad en (2.5.1).
Teorema 2.5.2. El operador lineal

1/2
: H(rot, ) H (div , )
es continuo y suprayectivo. Ademas, admite una inversa a derecha que es continua

y que denotamos por 1 .
20 Captulo 2
Demostracion. Fijada u H(rot, ) cualquiera, la Proposicion 2.5.1 garan-

tiza que div ( u) = n (rot u) H 1/2 (). En virtud de la Proposicion 2.3.2
sabemos que el operador n rot : H(rot, ) H 1/2 () es continuo, as que

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.
2.6. Inversa del operador rotacional de superficie

en dominios simplemente conexos
A lo largo de este parrafo, suponemos que el dominio esta acotado y es
simplemente conexo. En esta situacion, estudiamos como invertir el operador
1/2
rot : H 1/2 () H () .
Con este n, caracterizamos su nucleo y su imagen como en [20, Corolario 5.3],

y a continuacion aplicamos el teorema del grafo cerrado.
En primer lugar, recordamos un teorema de representacion que es clasico y

puede consultarse en [29, Teorema 3.4 y Corolario 3.4]; o bien en [45, Teoremas
3.37 y 3.38].
Teorema 2.6.1. Si u H(div, ) cumple
div u = 0 en y n u, 11/2, = 0 ,
entonces existe un potencial vectorial v H1 () con div v = 0 y rot v = u.

Analogamente, si u H(rot, ) satisface
rot u = 0 en ,
entonces existe un potencial escalar v H 1 () tal que v = u y este potencial

es unico salvo una constante aditiva.
A continuacion recordamos un resultado auxiliar sobre el operador divergen-

cia. Para ello, denimos el espacio L20 () := f L2 () ; (f, 1)0, = 0 de las
funciones de cuadrado integrable y media nula. Observese que el operador
div : H10 () L20 ()
es continuo y suprayectivo. Denotamos su nucleo por ker(div) e introducimos

ker(div) := u H10 () ; (u, v)0, + (u, v)0, = 0 v ker(div) ,
que es el subespacio de H10 () ortogonal a ker(div).
Lema 2.6.2. El siguiente operador lineal dene un isomorsmo:
div : ker(div) L20 () .
Demostracion. Puede consultarse en [29, Corolario 2.4].

1/2
Teorema 2.6.3. El nucleo del operador rot : H 1/2 () H () es
ker(rot ) = C .
Demostracion. Para comodidad del lector, reproducimos a continuacion la de-

mostracion dada en [20, Corolario 3.7].
Por un lado, la inclusion ker(rot ) C es trivial.
22 Captulo 2
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 (),
(p, rot v)0, = rot (p), v, = 0 .
Ademas, utilizando la formula de integracion por partes (2.3.1) para las funciones
rot v H(div, ) y p H 1 (),
(rot v, p)0, = n (rot v), p1/2, .
Teniendo en cuenta estas dos propiedades, resulta que
n (rot v), p1/2, = 0 v H1 () .
En consecuencia, habramos concluido el resultado si probasemos que

1/2
n (rot v) ; v H1 () = H0 () ,
1/2

donde H0 () := H 1/2 () ; , 11/2, = 0 . Mostraremos esta identidad
por doble contenido:
La inclusion () es consecuencia directa de la formula de Green (2.3.1). En
efecto, basta notar que
n (rot v), 11/2, = (rot v, 1)0, + (div(rot v), 1)0, = 0 v H1 () .

1/2
Para ver la inclusion (), jamos H0 () arbitrario. Recordemos que,
en virtud de la Proposicion 2.3.2, existe algun u H(div, ) con n u = .
Entonces, integrando por partes con la formula (2.3.1),
(div u, 1)0, = n u, 11/2, = , 11/2, = 0 .
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
n (u w), 11/2, = , 11/2, = 0 .
Como ademas div(u w) = 0, el Teorema 2.6.1 garantiza la existencia de algun

v H1 () con rot v = u w y por lo tanto = n u = n (rot v).
Lema 2.6.4. Si u H 1 (), entonces
div rot (u) = 0 . (2.6.1)

1/2
Demostracion. Sea u D(). Notese que rot (u) H (div , ) con
v, div rot (u)1/2, = (v), (u), v H 1 () .
Integrando por partes con la formula de Green (2.3.3), deducimos que
v, div rot (u)1/2, = 0 v H 1 () .
Puesto que (H 1 ()) = H 1/2 () (vease el Teorema 2.2.1), la identidad anterior

signica que (2.6.1) se cumple siempre que u D().
Finalmente, recordemos que D() es denso en H 1 () y que el operador
1/2
rot : H 1 () H () es continuo (veanse el Teorema 2.2.1 y la Proposi-
cion 2.4.2). Entonces podemos utilizar un razonamiento por densidad y concluir
que (2.6.1) tambien se cumple para cada funcion u H 1 ().
El resultado que presentamos a continuacion puede consultarse en [16, Pro-

posicion 2.1] para el caso de poliedros de Lipschitz y en [20, Corolario 5.3] para
el caso mas general de dominios de Lipschitz.
Teorema 2.6.5. La imagen del operador rot se caracteriza por

1/2
rot (H 1/2 ()) = ker(div ) H (div , ) .
Demostracion. La siguiente demostracion es analoga a la de [20, Teorema 5.1].

1/2
La inclusion rot (H 1/2 ()) ker(div ) H (div , ) es consecuencia
directa del Lema 2.6.4.
1/2
Para ver la inclusion recproca, jamos H (div , ) con div = 0.
En virtud del Teorema 2.5.2, existe algun u H(rot, ) con
u = . (2.6.2)
24 Captulo 2
Entonces, utilizando la Proposicion 2.5.1, tenemos que
n (rot u) = div ( u) = div = 0 .
Denimos la funcion

rot u en ,
g :=
0 en e := R3 \ .
Notese que g| H(div, ) y g|e H(div, e ) con div g = 0 en e ;

y ademas n (g| ) = n (g|e ) = 0 sobre . Luego el Corolario 2.3.3 garantiza
g H(div, R3 ) con div g = 0 en R3 .
Sea O R3 un dominio abierto, acotado y simplemente conexo tal que
O. Como g|O H(div, O) con div(g|O ) = 0 en O y n (g|O ) = 0 sobre O,
el Teorema 2.6.1 implica que g|O = rot v para algun v H1 (O). En particular,
tenemos que rot v|Oe = 0 y, aplicando de nuevo el Teorema 2.6.1, existe algun
H 1 (O e ) con = v|Oe . Notese que
rot () = () = (v|Oe ) = (v| ) .
Denimos
w := v| H(rot, ) , (2.6.3)
que cumple
rot w = rot v| = g| = rot u .
Entonces uw H(rot, ) con rot(uw) = 0 y, utilizando de nuevo el Teorema

2.6.1, sabemos que existe algun H 1 () de forma que
= u w . (2.6.4)
Ahora aplicamos sucesivamente las identidades (2.6.2), (2.6.4) y (2.6.3):
= u = w + () = (v| ) () + () .
Por lo tanto, recordando la propiedad (v| ) = rot () junto con la denicion

del operador rot , concluimos que
= rot () .
El siguiente resultado es consecuencia de los dos teoremas anteriores y del

teorema del grafo cerrado; cf. [41, Proposicion 2.5].
Corolario 2.6.6. El operador lineal

1/2
rot : H 1/2 ()/C ker(div ) H (div , )
dene un isomorsmo.
2.7. Potenciales armonicos en regiones no acotadas

A lo largo de este apartado, suponemos que el dominio es acotado y
simplemente conexo. Denotamos e := R3 \ , e introducimos el espacio

W ( ) := D ( ) ;
1 e e
L
( ) , L ( ) .
2 e 2 e
1 + |x|2
En [46, Parrafo 2.5.4] se prueba que este espacio es de Hilbert con la norma
W 1 (e ) R

0,e .
En dicha referencia tambien se demuestra que

|O ; W 1 (e ) = H 1 (O) ,
para cada subdominio O e abierto y acotado; as que el siguiente resultado

es consecuencia del Teorema 2.2.1.
26 Captulo 2
Lema 2.7.1. La aplicacion que a cada funcion u D(e ) le asocia su restriccion

u| a se extiende de forma unica a un operador lineal continuo
: W 1 (e ) H 1/2 () .
Esta aplicacion es suprayectiva y se dice traza.
Lema 2.7.2. Sea u H(div, e ) H(rot, e ) con
div u = 0 y rot u = 0 en e .
Entonces existe un unico potencial armonico W 1 (e ) tal que = u en e .
Demostracion. Planteamos el problema variacional

hallar W 1 (e ) tal que
(2.7.1)
(, ) e = u, W 1 (e ) .
0, n 1/2,
Notese que, en virtud de la Proposicion 2.3.2 y el Lema 2.7.1, la aplicacion lineal
W 1 (e ) C
n u, 1/2,
es continua. Luego el Lema de LaxMilgram garantiza que el problema (2.7.1)

tiene solucion y que esta es unica. Concluimos observando que W 1 (e ) es
solucion del problema (2.7.1) si y solo si = u en e , en cuyo caso tenemos
que = div u = 0 en e .
En [29, Teorema 2.9] se debilitan las hipotesis del Lema 2.7.2 como en el
siguiente resultado.
Teorema 2.7.3. Consideramos una region O R3 simplemente conexa (no

necesariamente acotada) y con frontera Lipschitz continua. Sea u H(rot, O).
Entonces rot u = 0 en O si y solo si existe un potencial W 1 (O) con = u
en O, en cuyo caso este potencial es unico.
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].
Teorema 2.7.4. Sea W 1 (e ) una funcion armonica. Entonces

(x y)
(x) = (y) dSy (x y) (y) dSy x e . (2.7.2)
n y n
2.7.1. Operadores integrales sobre superficies

Denimos los potenciales de simple y doble capa sobre la supercie :

V(x) := (x y) (x) dSy x ,

(x y)
K(x) := (y) dSy x .
ny
Tambien introducimos el operador hipersingular sobre :

(x y)
N (x) := (y) dSy x .
nx ny
Las siguientes propiedades de los operadores de simple y doble capa son
clasicas y pueden consultarse en [25, Teoremas 1 y 3].
Teorema 2.7.5. Dado s [1/2, 1/2], los operadores lineales
V : H 1/2+s () H 1/2+s () y K : H 1/2+s () H 1/2+s ()
son continuos. Ademas, existe una constante 1 > 0 de forma que
, 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
Denotamos por V : H1/2+s () H1/2+s () el operador de simple ca-

pa actuando por componentes (s [1/2, 1/2]). Las siguientes propiedades del
operador V := V quedan probadas en [19, Teorema 4.2].

1/2 1/2
V : H () H ()
es continuo y autoadjunto. Ademas, existe una constante 2 > 0 tal que
rot , V (rot ), 2

rot
2 1/2 ,
H ()
para cada H 1/2 ().
Dado H 1/2 (), denimos el potencial de doble capa

(x y)
K(x) := (y) dSy x e .
n y
Para estudiar la regularidad de este operador, introducimos

H 1 ()/C W 1 (e ) := u D (R3 ) ; u| H 1 ()/C , u|e W 1 (e ) ,
que es un espacio de Hilbert dotado de la norma del grafo
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
que es un subespacio cerrado de H 1 ()/C W 1 (e ) y, en particular, de Hilbert.

Dada una funcion u H 1 ()/C W 1 (e ), denimos su salto y el salto de
su derivada normal a traves de como
u
[u] := (u| ) (u|e ) y [ ] := n (u| ) n (u|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].
Lema 2.7.7. El operador lineal
: H 1/2 ()/C Z
K
es un isomorsmo.
Demostracion. Haciendo una formulacion variacional de (2.7.3), deducimos que

Z es solucion del problema
K

hallar u Z tal que
v (2.7.4)

(u, v)0, + (u, v)0,e = , v Z .
n 1/2,
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
esta bien denido y es continuo. Ademas, este operador es suprayectivo y su

nucleo es C, y por lo tanto concluimos el resultado.
: Z L2 (R3 ) dado por

Denimos el operador

(u| ) en ,
:=
u

(u| e ) en e .

30 Captulo 2
Ademas, denotamos por el producto de convolucion de distribuciones e intro-

ducimos la distribucion D (R3 ) caracterizada por
, vD (R3 )D(R3 ) := 1, v| D ()D() v D(R3 ) .
Proposicion 2.7.8. Sea H 1/2 (). Entonces
K)
( = rot ( (rot )) en D (R3 ) .
Demostracion. En primer lugar, estudiamos como se relacionan las distribu-

ciones (K) K)
D (R3 ) y g := ( L2 (R3 ). Con este n, integramos por
partes en
(K), div v)0, (K,

vD (R3 )D(R3 ) = (K, div v)0,e v D(R3 ) ,
y as obtenemos que
vD (R3 )D(R3 ) = ((K),

(K), v)0,e ([K]
n, v)0, v D(R3 ) .
Luego, utilizando la denicion de g y la segunda propiedad de (2.7.3), resulta que
= g + n
(K) en D (R3 ) , (2.7.5)
Por otro lado, la primera ecuacion de (2.7.3) signica que div g = 0 en

e , mientras que la tercera se traduce en n (g| ) = n (g|e ) sobre . Luego,
en virtud del Corolario 2.3.3, tenemos que g H(div, R3 ) con div g = 0 en R3 .
As que, usando la tercera identidad de (2.0.1),
rot rot g = g en D (R3 ) .
Ahora, aplicando el operador rot rot en ambos miembros de (2.7.5),
0 = g + rot rot( n ) en D (R3 ) .
En consecuencia, g coincide con la siguiente convolucion:
g = rot rot( n ) , (2.7.6)

que esta bien denida porque la funcion es localmente integrable y la distribu-

cion rot rot( n ) tiene soporte compacto; vease [56, Parrafo VI.3].
En lo que respecta a la distribucion rot( n ), observamos que
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 ,
rot( n ), vD (R3 )D(R3 ) = , div ( v)1/2, = rot , v, .

1/2
Como rot (H 1/2 ()) H (), tenemos que
rot , v, = rot , v1/2, ,
y resulta que
rot( n ), vD (R3 )D(R3 ) = rot , v1/2, v D(R3 ) .
Es decir,
rot( n ) = rot en D (R3 ) .
Utilizando esta propiedad junto con (2.7.6), concluimos que
g = rot (rot ) = rot ( (rot )) .
A continuacion, utilizamos los resultados anteriores para estudiar la regu-

laridad del operador hipersingular N y para dar una expresion explcita de su
forma sesquilineal asociada; cf. [41, Lema 3.4].
1/2
N : H 1/2 ()/C H0 ()
dene un isomorsmo, que se denomina isomorsmo de SteklovPoincare. Ademas,

se relaciona con el operador V a traves de la siguiente identidad:
N , 1/2, = rot , V rot , , (2.7.7)
para cualesquiera , H 1/2 ().

32 Captulo 2
Demostracion. En [46, Teorema 3.3.2] se prueba este resultado para fronteras

regulares. En esta demostracion seguimos el razonamiento expuesto en [46] y lo
generalizamos a fronteras Lipschitz continuas.
Es conocido que la aplicacion lineal

1/2
Z H0 ()
v
v
n
dene un isomorsmo; vease [46, Parrafo 2.5.7]. Entonces, aplicando el Lema
2.7.7, deducimos que el operador
1/2
N : H 1/2 ()/C Z H0 ()

N := (K| ) = (K|e )
K
n n
es un isomorsmo.
Para demostrar la identidad (2.7.7), utilizamos la tercera ecuacion de (2.7.3)

e integramos por partes como sigue:

(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 ) .
H(rot, ), podemos integrar por

Como ( (rot ))| H1 () y (K)|
partes con la formula (2.3.3):
(K))
((K), 0, = ((K)|
), ( (rot )| ) .
,
Analogamente, tenemos que
(K))
((K), 0,e = ((
K)|
e ), ( (rot )|e ) .
,
Luego

K))
N , 1/2, = (( , ( (rot )) .
,
y rot junto con la tercera ecuacion de

Pero, utilizando las deniciones de
(2.7.3), resulta que

K))
((
= rot K = rot ;

ademas, aplicando las deniciones del producto de convolucion y del operador V,
(rot )| = V(rot ) en H1/2 () .
Por lo tanto, concluimos que
N , 1/2, = rot , V rot , .
Para cada s [0, 1], introducimos el operador identidad I : H s () H s ()

y denotamos por K : H s () H s () el operador dual de K:
K , s, = , Ks, H s (), H s () .
Combinando la formula de representacion integral (2.7.2) con las relaciones

de salto de los operadores de simple y doble capa, deducimos el siguiente resul-
tado; cf. [46, Teorema 3.1.2].
Teorema 2.7.10. Sea W 1 (e ) una funcion armonica. Entonces
1 1
( I K)() + V( ) = 0 y ( I + K )( ) + N () = 0 sobre . (2.7.8)
2 n 2 n
34 Captulo 2
2.8. Espacios basicos para problemas de evolucion

En este apartado introducimos algunos espacios funcionales auxiliares que
utilizaremos para estudiar el problema de evolucion (1.1.1). Para una exposicion
mas detallada, puede consultarse [56, Parrafo V.5].
Consideramos funciones denidas en un intervalo acotado (0, T ) y con valores
en un espacio V que sea de Hilbert y separable dotado de la norma
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 ]
En general, para cada m N, el espacio

dk f
C ([0, T ]; V ) := f C ([0, T ]; V ) ;
m 0
C ([0, T ]; V ) 1 k m
0
dtk
es de Banach con la norma
dk f

f
C m ([0,T ];V ) := max

0 .
1km dtk C ([0,T ];V )
Denimos el espacio L2 ((0, T ); V ) de las funciones f : (0, T ) V que son

medibles en sentido Bochner y tales que
T

f
2L2 ((0,T );V ) :=
f (t)
2V dt < + .
0
Tambien introducimos el espacio

t
1
H ((0, T ); V ) := f (t) = f0 + f1 (s) ds ; f0 V, f1 L ((0, T ); V ) .
2
0
El siguiente resultado queda demostrado en [56, Corolario V.5.2].

Lema 2.8.1. Sean V y H dos espacios de Hilbert separables. Si A : V H es

una aplicacion lineal continua, entonces
t
t
Af (s) ds = A f (s) ds ,
0 0
para cada f L2 ((0, T ); V ) y t (0, T ]. En particular, si denotamos por V el

espacio dual de V con respecto al producto , V V , entonces
t t
f (s), vV V ds = f (s) ds, vV V ,
0 0
para cualesquiera f L2 ((0, T ); V ), v V y t (0, T ].

Captulo 3
Eddy currents en conductores

simplemente conexos
En este captulo estudiamos el problema de eddy currents en regimen armo-

nico (1.2.11.2.2) cuando la topologa del conductor es sencilla. Mas concreta-
mente, suponemos que la region conductora c es conexa y simplemente conexa,
y que su frontera := c es Lipschitz continua, conexa y simplemente conexa.
Tambien asumimos que la funcion dato j cumple las condiciones de compati-
bilidad (1.2.3) y que su soporte no toca la supercie . Entonces, razonando por
superposicion, podemos suponer que el soporte de j esta enteramente contenido
en el conductor c o en el dielectrico ec := R3 \ c . De hecho, aqu supondremos
que el soporte de j esta enteramente contenido en c y nos remitimos al artculo
[41] para el caso contrario.
3.1. Formulacion variacional

En primer lugar, buscamos una formulacion variacional BEMFEM del pro-
blema (1.2.11.2.2) en terminos del campo h. Para justicar los razonamientos
de este apartado, recordamos la siguiente propiedad referente al comportamiento
37
38 Captulo 3
asintotico del campo electromagnetico.
Proposicion 3.1.1. Si e y h son soluciones del problema (1.2.11.2.2), entonces

1 1
h(x) = O( ) y e(x) = O( ) cuando |x| ,
|x|2 |x|2
x
uniformemente en las direcciones |x| con x R3 \ {0}.
Demostracion. Vease [6, Proposicion 3.1].
A continuacion, seguimos la estrategia de [14] e introducimos un potencial

escalar magnetico en ec .
Dado que soporte(j) c , la primera ecuacion de (1.2.1) junto con la

hipotesis (1.1.6) implican que
1
e = (rot h j) en c ,
(3.1.1)
rot h = 0 en ec .
Ademas, aplicando el operador div en la segunda ecuacion de (1.2.1) y teniendo

en cuenta la hipotesis (1.1.5),
div h = 0 en ec . (3.1.2)
Las propiedades anteriores sugieren tomar una funcion test q : R3 C3 sucien-

temente regular, con rot q = 0 y div q = 0 en ec . Utilizando la segunda ecuacion
de (1.2.1) e integrando por partes, resulta que
(h, q)0,R3 + (e, rot q)0,c = 0 .
Entonces eliminamos el campo e de esta ecuacion variacional usando la primera

identidad de (3.1.1):
1 1
(h, q)0,R3 + ( rot h, rot q)0,c = ( j, rot q)0,c . (3.1.3)

Eddy currents en conductores simplemente conexos 39
3.1.1. Un potencial escalar magnetico

A continuacion representamos el campo h en el dielectrico ec mediante un
potencial escalar armonico. Con este n, recordamos que la funcion h|ec satisface
las propiedades (3.1.13.1.2) y, por lo tanto, esta bajo las hipotesis del Lema 2.7.2.
As que existe un unico potencial armonico W 1 (ec ) tal que
= h en ec .
Notese que, en virtud de la primera ecuacion de (1.2.1), tenemos que h H(rot, R3 )

y por lo tanto su componente tangencial es continua a traves de :
rot = (h|c ) sobre .
Ademas, tomando el operador div en la segunda ecuacion de (1.2.1), resulta que

div(h) = 0 en R3 . En particular, deducimos que h H(div, R3 ) y por lo tanto
su componente normal es continua a traves de :

0 = n ((h)|c ) sobre .
n
Analogamente, para cada funcion test q : R3 C3 que sea sucientemente

regular y que tenga div q = 0 y rot q = 0 en ec , existe una unica funcion
armonica W 1 (ce ) con
= q en ec .
Ademas, esta funcion cumple que
rot = (q|c ) sobre .
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
la formulacion variacional que proponemos en este captulo para conductores que

no sean simplemente conexos, necesitaramos introducir dichos campos de Neu-
mann; cf. [41]. Desde el punto de vista numerico, la introduccion de tales campos
de Neumann complica la implementacion y aumenta el coste computacional. Es
precisamente esta dicultad la que motiva la estrategia que seguiremos en el
Captulo 4.
Ahora, integramos por partes en ec y as reescribimos (3.1.3) como

(h, q)0,c + c(h, q) 0 , 1/2, = l(q) , (3.1.4)
n
donde
1 1
c(q1 , q2 ) := ( rot q1 , rot q2 )0,c y l(q) := ( j, rot q)0,c .

La ecuacion (3.1.4) sugiere introducir la incognita auxiliar := sobre .
n
Entonces el potencial W 1 (ec ) es la solucion debil del problema

= 0 en ec ,
= sobre .
n
Ademas, aplicando los Teoremas 2.7.4 y 2.7.10, tenemos la representacion integral

(x y)
(x) = (y) dSy (x y) (y) dSy x ec , (3.1.5)
n y
junto con las ecuaciones integrales
1 1
( I K) + V = 0 y ( I + K ) + N = 0 sobre . (3.1.6)
2 2
3.1.2. Una formulacion variacional BEMFEM

Nuestro siguiente objetivo es combinar la ecuacion (3.1.4) con las ecuaciones
integrales (3.1.6). Para ello, hacemos una formulacion variacional de la segunda
ecuacion de (3.1.6):
1
, 1/2, = ( I K ), 1/2, N , 1/2, W 1 (ec ) .
2
Entonces, usando la identidad (2.7.7) cuando rot = h y rot = q,

1
, 1/2, = , ( I K)1/2, q, V ( h), .
2
Esta propiedad nos permite reescribir la ecuacion (3.1.4) como
(h, q)0,c + c(h, q) + 0 q, V ( h),

1
0 , ( I K)1/2, = l(q) . (3.1.7)
2
1/2
En consecuencia, buscamos dos funciones h H(rot, c ) y H0 (),
junto con un potencial armonico W 1 (ec ), de forma que
1
( I K) + V = 0 ,
2 (3.1.8)
rot = h ,
y que ademas cumplan la ecuacion variacional (3.1.7) para cualquier q H(rot, c )

y el correspondiente potencial armonico W 1 (ec ) con rot = q.
Notese que, segun la Proposicion 2.5.1 y el Lema 2.6.4,
n (rot h) = div ( h) = div (rot ) = 0 ;
es decir h X(c ), donde
X(c ) := {u H(rot, c ) ; n (rot u) = 0 sobre } .
Analogamente, puede comprobarse que las funciones test q utilizadas en (3.1.8)

pertenecen al espacio X(c ).
Proposicion 3.1.2. El espacio X(c ) es un subespacio cerrado de H(rot, c ).
Demostracion. En virtud de la Proposicion 2.3.2, el operador
H(rot, c ) H(div, c ) H 1/2 ()

(3.1.9)
u rot u n (rot u) ,
es continuo. Luego su nucleo, X(c ), es un subespacio cerrado de H(rot, c ).

42 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 , ) .
Entonces, usando el Corolario 2.6.6, deducimos que el operador lineal

1
B := ( I K) rot1
: X(c ) H
1/2
()/C
2
esta bien denido y es acotado. En efecto, existe una constante C > 0 tal que

Bq
1/2, C
q
H1/2 () q X(c ) . (3.1.10)

Utilizando este operador, podemos eliminar los potenciales y de nuestro

problema. Mas concretamente, tenemos que
1 1
Bh = ( I K) y Bq = ( I K) ,
2 2
en virtud de la segunda ecuacion de (3.1.8) y la condicion rot = q sobre la
funcion test. Entonces, el problema (3.1.73.1.8) consiste en buscar dos funciones
1/2
h X(c ) y H0 () tales que
(h, q)0,c + c(h, q) + 0 q, V ( h), 0 , Bq1/2, = l(q) ,
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(
para cualesquiera q 2 = (q2 , 2 ) X(

1 = (q1 , 1 ), q c ). Con esta notacion,
reescribimos el problema variacional anterior:
X(
Problema 3.1.1 Hallar h c ) tal que
q
a(h, ) + c(h, q) = l(q) c) .
q X(
Teorema 3.1.3. El Problema 3.1.1 tiene solucion y esta es unica.
c ), aplicando el Teorema 2.7.5,

= (q, ) X(
Demostracion. Para cada q

1
Re a( ) = ( q, q)0,c + q, V ( q), + , V1/2, ,
q, q
0 0
y resulta que
1
Re (a( ) + c(q, q))

q, q q
2X(
> c),
0
donde
1
:= mn 1, , 1 > 0.
0 1
Teniendo en cuenta esta propiedad, podemos reescalar el Problema 3.1.1 de modo
que este bajo las hipotesis del Lema de LaxMilgram y as concluimos el resultado.

3.2. Esquema discreto

En este apartado proponemos una version discreta del Problema 3.1.1 y
demostramos que esta tiene una unica solucion. Tambien hacemos un analisis a
priori del orden del error cometido al aproximar la solucion exacta por la solucion
del problema discreto.
En lo que sigue, suponemos que el dominio c es poliedrico y denotamos
por {Th (c ) ; h > 0} una familia regular de mallas tetraedricas de c . Ademas,
denimos Th () como la triangulacion que induce Th (c ) sobre la supercie ,
Th () := {F cara de algun T Th (c ) ; F } .
44 Captulo 3
3.2.1. Elementos finitos de Nedelec de primer orden

Aproximamos el espacio H(rot, c ) utilizando elementos nitos de Nedelec
de primer orden, tambien conocidos como elementos de arista. En la literatura,
estos elementos aparecen descritos de forma independiente por varios autores,
siendo H. Whitney el primero del que tenemos constancia; cf. [55]. En lo que
respecta a los elementos de Nedelec de orden mayor que uno, fueron introducidos
por J.-C. Nedelec en [47] y de ah su denominacion.
Fijado un tetraedro T Th (c ) y dado m N, sea Pm (T ) el espacio de
polinomios denidos en T y de grado no mayor que m. Consideramos

N D(T ) := a x + b ; a, b C3 ,
que es un subespacio de (P1 (T ))3 con dimension 6.

Para cada arista E de T , denotamos por TE un vector unitario tangente a
E y denimos
mTE (p) := p(x) TE dLx ,
E
siempre que p : T C3 sea una funcion sucientemente regular.

Introducimos el conjunto GL(T ) := mTE ; E arista de T . Entonces la terna
(T, N D(T ), GL(T )) dene un elemento nito, que se dice elemento de Nedelec
de primer orden o elemento de arista; cf. [45, Lema 5.36].
Consideramos el espacio de elementos nitos global asociado:
N D h (c ) = {vh H(rot, c ) ; vh |T N D(T ) T Th (c )} . (3.2.1)
Para cada T Th (c ), denotamos por I T el operador de interpolacion local

asociado al espacio N D(T ). Es decir, dada una funcion u : T C3 suciente-
mente regular, el elemento I T u N D(T ) se caracteriza por
mTE (I T u) = mTE (u) E arista de T .
Ahora podemos denir el operador de interpolacion global asociado al espa-

cio N D h (c ). Mas concretamente, dada una funcion u : c C3 que sea
sucientemente regular, denimos I h u N D h (c ) como
(I h u)|T = I T (u|T ) T Th (c ) . (3.2.2)
En efecto, el siguiente resultado garantiza que esta denicion es adecuada; cf. [2,
Lema 5.1] o bien [45, Lema 5.38].
Lema 3.2.1. Para cada s > 1/2, el operador lineal
I h : Hs (rot, c ) N D h (c )
esta bien denido y es acotado.
En el siguiente resultado recogemos algunas de las propiedades de aproxi-

macion del espacio N D h (c ) demostradas en [2, Proposicion 5.6] y en [45, Teo-
rema 5.41].
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 ) ,
para cualquier funcion q Hs (rot, c ) y todo h > 0 sucientemente pequeno.
Sean T un tetraedro de Th (c ) y F una cara de T . Denimos

|F | := 1 dSx ,
F
que se dice medida de F . Denotamos por nF el vector unitario normal a F con

orientacion hacia el exterior de T . Ademas, en casi todo punto de F denimos
un vector unitario nF que esta sobre el plano que contiene a F y que es normal
a F con orientacion hacia el exterior de F . Vease la Figura 3.1 a continuacion.
Lema 3.2.3. Sea u una funcion de H2 (T ). Entonces

n (rot u) dSx = (nF nF )|E TE mTE (u) . (3.2.3)
F E lado de F
46 Captulo 3
nF
F nF
Figura 3.1: Vectores nF y nF
Demostracion. Consideramos una funcion u D(T ). Aplicando sucesivamente

la Proposicion 2.5.1 en el dominio T R3 y la formula de Stokes sobre la supercie
F , resulta que

n (rot u) dSx = divT ( u) dSx = ( u) nF dLx .
F F F
Ahora bien, segun la denicion (2.2.4) y las identidades vectoriales (2.0.1),
( u)|E nF = (nF nF ) u|E y (nF nF )|E = (nF nF )|E TE TE ,
para cada lado E de F . En consecuencia, la ecuacion (3.2.3) se cumple para cada

funcion u D(T ). Finalmente, el Teorema de trazas 2.2.1 nos permite concluir
con un razonamiento por densidad.
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 .
Demostracion. Consideramos una funcion p N D(T ) bajo las hipotesis del

enunciado. Entonces, por un lado, el Lema 3.2.3 garantiza que

n (rot p) dSx = (nF nF )|E TE mTE (p) = 0 .
F E lado de F
Por otro lado, tenemos que rot p C3 es constante en T y, en particular,

n (rot p) C es constante sobre F . As que

1
n (rot p) = n (rot p) dSx = 0 sobre F .
|F | F

3.2.2. Descripcion y analisis del problema discreto

Para resolver numericamente el Problema 3.1.1, aproximamos las funciones
del espacio X(c ) con las del espacio de dimension nita
Xh (c ) := N D h (c ) X(c ) . (3.2.4)
Proposicion 3.2.5. Sea u Hs (rot, c ) X(c ), con s (1/2, 1]. Entonces

I h u Xh (c ).
Demostracion. Por denicion, I h u N D h (c ). As que lo que estudiaremos

es si n (rot(I h u)) se anula sobre . Con este n, introducimos la funcion auxiliar
uh := u I h u y consideramos una cara F Th () de un tetraedro T Th (c ).
Notese que
mTE (uh |T ) = mTE (u|T ) mTE (I T (u|T )) = 0 E arista de F .
Aplicando el Lema 3.2.3, deducimos que

n (rot uh ) dSx = 0 .
F
Entonces, utilizando la propia denicion de uh y la hipotesis n (rot u) = 0,

n (rot(I h u)) dSx = n (rot u) dSx = 0 .
F F
Ademas, rot(I h u) es constante en T y, en particular, n (rot(I h u)) es constante

sobre F . Por lo tanto, concluimos que

1
n (rot(I h u)) = n (rot(I h u)) dSx = 0 sobre F .
|F | F

48 Captulo 3
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)
Denotando X h (c ) := Xh (c ) h (), proponemos el siguiente metodo de

Galerkin para aproximar la solucion del Problema 3.1.1.
h = (hh , h ) X
Problema 3.2.1 Hallar h h (c ) tal que
h, q
a(h ) + c(hh , q) = l(q) h (c ) .
qX
Proposicion 3.2.6. El problema discreto 3.2.1 esta bien planteado.
Demostracion. Basta recordar que la forma sesquilineal

c ) X(
X( c) C
1
( 2 )
q1 , q (a( 2 ) + c(q1 , q2 ))
q1 , q
0
es elptica; vease la demostracion del Teorema 3.1.3.
Como consecuencia directa del resultado anterior, se cumple una estimacion

tipo Lema de Cea:
h

h h
> q
C
h
X(
> c) h (c ) ,
qX (3.2.6)
X(c )
siendo C > 0 una constante independiente del parametro de discretizacion h.
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.
3.2.3. Analisis de la convergencia

En este apartado analizamos el error cometido al aproximar la solucion del
Problema 3.1.1 con la del Problema 3.2.1. Con este n, primero estudiamos los
errores de aproximacion asociados a Xh (c ) y h () como subespacios de X(c )
y H 1/2 (), respectivamente.
Por un lado, jado s (1/2, 1], la Proposicion 3.2.5 permite acotar el error
correspondiente al espacio Xh (c ) con la estimacion del error de interpolacion:
nf
u q
rot,c
u I h u
rot,c u Hs (rot, c ) X(c ) .
qXh (c )
Entonces, utilizando el Teorema 3.2.2,
nf
u q
rot,c C hs
u
Hs (rot,c ) u Hs (rot, c ) X(c ) . (3.2.7)
qXh (c )
Por otro lado, para estudiar el error asociado al espacio h () utilizamos el

siguiente resultado clasico.
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 ()
para cualquier H 1/2+s () y siempre que h > 0 sea sucientemente pequeno.
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. Forma matricial del esquema discreto

En este apartado reescribimos el Problema 3.2.1 como un sistema lineal.
h (c ) y a
Con este n, primero determinamos una base explcita del espacio X
continuacion reformulamos el problema en forma matricial.
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 = } .
Tambien introducimos el conjunto Vh (c ) de vertices de la malla Th (c ), as como
Vh () := {v Vh (c ) ; v } .
Para cada E Ah (c ), sea qE el elemento de N D h (c ) caracterizado por
mE (qE ) = E,E E Ah (c ) .
Analogamente, para cada v Vh (c ), sea v la funcion de C(c ) que cumple
v |T P1 (T ) T Th (c ) y v (v ) = v,v v Vh (c ) .
Proposicion 3.3.1. Fijado v0 Vh (), el conjunto

Bh (c ) := qE ; E A0h (c ) {v ; v Vh () \ {v0 }}
dene una base de Xh (c ).
Demostracion. En primer lugar, estudiamos si
Bh (c ) Xh (c ) .
Por un lado, para cada E A0h (c ) sabemos que qE N D h (c ) y que

mE (qE ) = 0 para toda arista E . Entonces el Lema 3.2.4 garantiza que
n (rot qE ) = 0 sobre cada F Fh () y por tanto qE Xh (c ).
Por otro lado, para cualquier v Vh (), la funcion v H(rot, c ) es

constante en cada T Th (c ). Luego N D h (c ) y, como rot(v ) = 0 en
c , resulta que v Xh (c ).
En segundo lugar, estudiamos si Bh (c ) es linealmente independiente. Para

ello, jamos aE , av C (E A0h (c ), v Vh () \ {v0 }) tales que

aE qE + av v = 0 en c . (3.3.1)
EA0h (c ) vVh ()\{v0 }
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 }
En particular, evaluando en cada v Vh () \ {v0 },

av = av v (v) = 0 v Vh () \ {v0 } .
v Vh ()\{v0 }
Ahora la identidad (3.3.1) se reescribe como

aE qE = 0 en c .
EA0h (c )
En particular, tomando el operador mE para cada E A0h (c ),

aE = aE mE (qE ) = 0 E A0h (c ) .
E A0h (c )
52 Captulo 3
Finalmente, estudiamos si Bh (c ) es un sistema generador de Xh (c ). Con

este objetivo, consideramos q Xh (c ) arbitrario. Segun la Proposicion 2.5.1,
div ( q) = n (rot q) = 0 sobre .
Entonces el Corolario 2.6.6 garantiza que existe un potencial H 1/2 () con
rot = q ,
y este potencial es unico salvo constante aditiva. Notese que
(rot )|T = ( q)|T C3 (constante) T Th (c ) .
Luego la funcion H 1/2 () es polinomial a trozos, es decir
|F P1 (F ) F Th () ,
y en consecuencia C(). Introducimos la funcion 0 := (v0 ) C(),

que es polinomial a trozos y cumple que 0 (v0 ) = 0 y rot 0 = q. Denimos

0 := 0 (v) v en c ,
vVh ()\{v0 }
que es un levantamiento de 0 polinomial a trozos:
0 | = 0 sobre y 0 |T P1 (T ) T Th (c ) .
Entonces la funcion q 0 pertenece al espacio N D h (c ) y satisface
(q 0 ) = q rot (0 | ) = q rot 0 = 0 sobre .

Como el espacio N D h (c ) ker esta generado por qE ; E A0h (c ) , con-
cluimos que

q= 0 (v) v + mE (q 0 ) qE .
vVh ()\{v0 } EA0h (c )

Para cada F Th (), denotamos por F su funcion caracterstica. Entonces,

jada una cara F0 Th (), el conjunto

1 1
F := F F0 ; F Th () \ {F0 }
|F | |F0 |
constituye una base de h ().
3.3.2. Sistema de ecuaciones asociado al problema discreto

Expresamos las incognitas del Problema 3.2.1 en terminos de las bases de
los espacios Xh (c ) y h () propuestas en el apartado anterior:

hh = hE qE + hv v y h = F F .
EA0h (c ) vVh ()\{v0 } F Th ()\{F0 }
Denimos las matrices complejas

A c
E,E := ( qE , qE )0,c ,
CE,E := c(qE , qE ) ,
0 0

A c
E,v := ( qE , v )0,c , A
v,v := ( v , v )0,c ,
0 0 (3.3.2)
1
Rv,v := (rot v , V (rot v))0, , BF,v := (F , ( I K)(v))0, ,
2
VF,F := (F , VF )0, ,
para cualesquiera aristas interiores E, E A0h (c ) ; vertices sobre la frontera

v, v Vh () \ {v0 } y caras de la frontera F, F Th () \ {F0 } .
Con esta notacion, el Problema 3.2.1 es equivalente a determinar los vectores
hc := (hE )EA0 (c ) , h := (hv )vVh ()\{v0 } y := (F )F Th ()\{F0 } ,

h
solucion del sistema lineal

Ac + C Ac hc
0 f c

c
(A ) A + R B h = f , (3.3.3)

0 B V 0
54 Captulo 3
donde el termino independiente viene dado por

f c := (l(qE ))EA0 (c ) y f := (l(v ))vVh ()\{v0 } .
0 h 0
3.3.3. Implementacion del esquema discreto

Para implementar el metodo (3.2.1), necesitamos calcular las integrales in-
volucradas en el ensamblaje de la matriz y del segundo miembro del sistema
lineal (3.3.3). Por esta razon, disenamos formulas de cuadratura que sean ade-
cuadas para aproximar las integrales que no podamos evaluar de forma exacta.
Es importante subrayar que tales formulas de cuadratura deben mantener un
compromiso entre su complejidad computacional y el error cometido al aproxi-
mar la integral exacta por la integral numerica. En el Apendice A detallamos la
estrategia que seguimos.
Ademas, para implementar el metodo (3.2.1) tambien necesitamos resolver

el sistema (3.3.3) de forma eciente. Al respecto, recordemos que la matriz del
sistema (3.3.3) es simetrica, no hermtica, y denida positiva. En esta situacion,
H.A. van der Vorst y J.B.M. Melissen proponen un metodo iterativo basado en
una relacion recursiva de dos terminos muy similar a la del gradiente conjugado;
cf. [54]. Tal y como mostramos en el siguiente apartado, los resultados numericos
obtenidos con este metodo son satisfactorios; ademas, nos gustara senalar su
simplicidad de implementacion y bajo coste computacional.
3.4. Resultados numericos

Hemos implementado el metodo numerico descrito en este captulo median-
te un codigo MATLAB. A continuacion presentamos algunos resultados numeri-
cos obtenidos con dicho codigo para un problema test con solucion conocida
explcitamente. As validamos el codigo y comprobamos experimentalmente las
propiedades de convergencia del metodo numerico.
3.4.1. Descripcion del problema test

Notese que, si jamos el campo e, entonces los campos h, j asociados al
problema (1.2.11.2.2) quedan determinados como sigue:

h = rot e en R3 ,

j = rot h e en c ,
j = rot h en ec .
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 ,
donde f : R3 C es una funcion sucientemente regular con soporte(f ) c .
3.4.2. Resultados numericos

A continuacion, mostramos algunos resultados numericos que hemos obtenido
para un problema test como el descrito en el Parrafo 3.4.1. Mas concretamente,
suponemos que el conductor ocupa la region c := (1, 1)3 y que es homogeneo,
con
(x) = 1 y (x) = 0 := 1 en c .
56 Captulo 3
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 ,
siendo x0 (0, 1) y (3, +) dos parametros reales.

Para estudiar el orden de convergencia experimental del esquema numerico,
hemos resuelto los problemas discretos correspondientes a diferentes mallas, re-
nadas sucesivamente. En particular, la Figura 3.2 representa la malla mas grosera
que hemos empleado.
Figura 3.2: Malla mas grosera
En la Tabla 3.1 presentamos los resultados obtenidos con nuestro metodo

cuando x0 = 1 y = 4. Mas concretamente, identicamos cada malla con su
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,
0.7733 34.8247 0.3136

0.5330 25.0762 0.1634 0.8825
0.2989 14.0539 0.0257 1.0010
0.2337 11.4203 0.0131 0.8433
Tabla 3.1: Resultados numericos
Por otra parte, la Figura 3.3 representa el error correspondiente al campo

magnetico h frente al diametro h de la malla. Observamos que el error presenta
una dependencia lineal con respecto a dicho diametro h, lo cual coincide con lo
previsto por el Teorema 3.2.8 ya que la solucion es regular.
58 Captulo 3
Error absoluto
error absoluto
y=Ch
1
10
0.7 0.5 0.3 0.1
10 10 10 10
Dimetro de la malla
Figura 3.3: Error absoluto para hh en H(rot, c ) vs. h (escala logartmica)

Captulo 4
Eddy currents en conductores

no simplemente conexos
En este captulo, proponemos un metodo BEMFEM mixto para el problema

de eddy currents en regimen armonico (1.2.11.2.2) sin restricciones topologicas
sobre el conductor.
Tal y como senalamos en la Nota 3.1.1, cuando seguimos el razonamiento
del Captulo 3 encontramos dicultades para representar el campo magnetico h
en el dielectrico ec . En efecto, esta representacion involucra campos vectoriales
de Neumann armonicos y, en consecuencia, el correspondiente metodo numerico
es difcil de implementar y computacionalmente costoso; cf. [41].
Para evitar estas dicultades, seguimos la estrategia de [5] y reformulamos
el problema de eddy currents como un problema mixto. Al mismo tiempo, esta
estrategia nos permite estudiar aquellas situaciones en las que el soporte de la
densidad de corriente j atraviesa la frontera .
En primer lugar introducimos un dominio computacional conexo y sim-
plemente conexo, tal que
c y soporte(j) . (4.0.1)
Ademas, tomamos con frontera := conexa, simplemente conexa y Lips-
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

Figura 4.1: Geometra del problema
Consideramos los operadores de trazas tangenciales

1/2 1/2
ext
: H(rot, d ) H (div , ) y int
: H(rot, c ) H (div , )
tomados desde d y c , respectivamente. Ademas, denotamos por
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
mente; vease el Teorema 2.5.2.
4.1. Espacios funcionales auxiliares

Denimos el espacio

H(rot, R3 ) := q L2 (R3 ) ; rot q L2 (R3 ) ,
Problema armonico en conductores no simplemente conexos 61

1/2

q
rot,R3 :=
q
20,R3 +
rot q
20,R3 .
Introducimos los espacios

X(R3 ) := q H(rot, R3 ) ; div q = 0 y rot q = 0 en e ,

U(R3 ) := q L2 (R3 ) ; div q = 0 y rot q = 0 en e ,
as como sus subespacios

X0 (R3 ) := q X(R3 ) ; rot q = 0 en d ,

U0 (R3 ) := q U(R3 ) ; rot q = 0 en ec .
Observemos que X(R3 ) y X0 (R3 ) son subespacios cerrados de H(rot, R3 ) y,

por lo tanto, son espacios de Hilbert con la norma
rot,R3 . Analogamente, U(R3 )

y U0 (R3 ) son subespacios cerrados de L2 (R3 ) y, en consecuencia, son espacios de
Hilbert con la norma
0,R3 .
Lema 4.1.1. El espacio X0 (R3 ) es denso en U0 (R3 ).
Demostracion. Sea q U0 (R3 ). Entonces q|d H(rot, d ) y podemos denir

1 ext
) ( q|d ) H(rot, c ) .
p := ( int
Consideramos la descomposicion q = q1 + q2 , donde

p en c
q1 := X0 (R3 ) ,
q| e en e
c c

q| p en c
c
q2 := U0 (R3 ) .
0 en ec
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 ) .
Nota 4.1.1 Recordemos que, segun la primera condicion de compatibilidad de

(1.2.3), div j = 0 en ec . En particular, j|ec H(div, ec ) y por lo tanto el Teorema
2.3.3 garantiza que
n (jd ) = n (j|e ) = 0 sobre ,
donde denotamos jd := j|d .
La Nota anterior y las condiciones de compatibilidad (1.2.3) sugieren denir

el siguiente subespacio cerrado de H(div, d ):

M(d ) := m L2 (d ) ; div m = 0 en d ,

n m = 0 sobre , n m, 1j = 0 j = 1, . . . , N .
Tambien denimos el espacio

H(div, R3 ) := q L2 (R3 ) ; div q L2 (R3 ) ,

1/2

q
div,R3 :=
q
20,R3 +
div q
20,R3 .
Consideramos el operador de extension E : M(d ) H(div, R3 ) dado por

(x) si x c ,

Em(x) = m(x) si x d ,

0 si x e ,
donde H 1 (c ) L20 (c ) es armonica y se caracteriza de forma unica por la

condicion de contorno

= next m sobre .
n
Lema 4.1.2. El operador lineal E : M(d ) H(div, R3 ) esta acotado y satisface
div(Em) = 0 en R3 ,
para cada m M(d ).
Demostracion. Por denicion, la funcion Em L2 (R3 ) cumple
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 .
Por otro lado, utilizando el lema de LaxMilgram, sabemos que el problema

hallar H 1 (c ) L20 (c ) t.q.
(, )0,c = , 1/2, H 1 (c ) L20 (c ) ,
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 .
As concluimos que Em H(div, R3 ) tiene divergencia nula en R3 y cumple

Em
2div,R3 =
20,c +
m
20,d (C22 + 1)
m
20,d . (4.1.1)

64 Captulo 4
Lema 4.1.3. El operador lineal M : M(d ) X(R3 ) H1 (R3 ), denido por

1 Em(y)
Mm(x) := rot dy ,
4 R3 |x y|
es continuo y ademas rot(Mm) = m en d para cada m M(d ).

1
Demostracion. En primer lugar, senalamos que la funcion (x) := es
4 |x|
localmente integrable en R3 y que el soporte de Em L2 (R3 ) es compacto.
Estas propiedades nos permiten introducir la distribucion Mm := rot u, donde
u denota la convolucion

1 Em(y)
u(x) := ( Em)(x) = dy .
4 R3 |x y|
As denida, la distribucion u satisface
u = Em en D (R3 ) ; (4.1.2)
al respecto, puede consultarse [56, Parrafo VI.3].

Sea O un dominio acotado tal que O. Entonces u|O L2 (O) con

u
0,O sup (x y) dy
Em
0,R3 < . (4.1.3)
xO O
En efecto, utilizando la desigualdad de CauchySwartz,

|u(x)|
2
(x y) dy (x y) |Em(y)|2 dy en c.t.p. x R3 ;

luego, por el criterio de mayoracion, u|O L2 (O) con

u
0,O sup
2
(x y) dy (x y) dx |Em(y)|2 dy
xO O O
y obtenemos la propiedad (4.1.3).

Ahora, en virtud de las propiedades (4.1.2) y (4.1.3), podemos aplicar [35,
Teorema 6.4] y deducir as que u H2 (O) para cada D(O). En particular,
u| H2 () con

u
2, C (
u
0,O +
Em
0,O ) C sup (x y) dy + 1
Em
0,R3 .
xO O
Entonces, utilizando la propiedad (4.1.1),

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) = u + (div u) = Em en R3 . (4.1.5)
En particular, se cumple la propiedad del enunciado:
rot(Mm) = m en d .
Tambien tenemos, en virtud de (4.1.5), que rot(Mm) = 0 en e . Luego el

Teorema 2.7.3 garantiza que (Mm)|e = para un potencial W 1 (e ).
Como div(Mm) = 0 en e , deducimos que la funcion W 1 (e ) es armonica
y es la solucion del problema variacional

hallar W ( ) tal que
1 e

dx = n (rot u), 1/2, W 1 (e ) .
e
En virtud del Lema de LaxMilgram, este problema esta bien planteado y, en
consecuencia,

Mm
0,e =
0,e C2
n (rot u)
1/2, .
Utilizando la Proposicion 2.3.2 junto con la propiedad (4.1.4), resulta que

Mm
0,e C3
rot u
0, C4
m
0,d . (4.1.6)
Teniendo en cuenta que div(Mm) = 0 en R3 y aplicando los resultados

(4.1.4), (4.1.5) y (4.1.6), deducimos que Mm H(rot, R3 ) H(div, R3 ) con

Mm
rot,R3 +
Mm
div,R3 C5
m
0,d .
En [29, Nota 2.6] se demuestra que el espacio H(rot, R3 ) H(div, R3 ) se incluye

con continuidad en H1 (R3 ). Por lo tanto, Mm H1 (R3 ) con

Mm
1,R3 C6
m
0,d
y concluimos que el operador M : M(d ) X(R3 ) H1 (R3 ) esta acotado.

66 Captulo 4

En este apartado deducimos una formulacion variacional del problema (1.2.1
1.2.2). Mas concretamente, primero obtenemos una formulacion variacional en
terminos del campo magnetico en todo el espacio R3 . A continuacion, intro-
ducimos un multiplicador de Lagrange para imponer la condicion asociada al
rotacional del campo magnetico en el dielectrico. Finalmente, introducimos una
variable auxiliar sobre la frontera y as podemos reformular el problema en el
dominio acotado .
4.2.1. Una formulacion variacional global

Comenzamos estudiando el espacio funcional adecuado para buscar el campo
magnetico h. Con este n, notamos que, segun la primera ecuacion de (1.2.1),
rot h = 0 en e .
Ademas, aplicando el operador divergencia en la segunda ecuacion de (1.2.1),
div h = 0 en e .
Partiendo de estas dos ecuaciones junto con la condicion asintotica (1.2.2), y

utilizando la tercera identidad de (2.0.1), deducimos que

h = 0 en R3 \ BR ,

div h = 0 en R3 \ BR ,

1
h(x) = O( ) uniformemente cuando |x| ,
|x|
donde BR representa una bola centrada en el origen con radio R sucientemente

grande. En [6, Proposicion 3.1] se hace un desarrollo del campo h en polinomios
esfericos armonicos para mostrar que, bajo las condiciones anteriores,
1
h(x) = O( ) uniformemente cuando |x| .
|x|2
En particular, tenemos que h L2 (R3 ). Esta propiedad, junto con la primera

ecuacion de (1.2.1) y el Lema 4.1.3, sugiere buscar el campo h en el espacio afn
Mjd + X0 (R3 ).
Para buscar una formulacion variacional del problema (1.2.11.2.2), tomamos
el producto escalar de la segunda ecuacion de (1.2.1) por una funcion generica
q X0 (R3 ), integramos en el dominio y usamos la formula de Green (2.3.3):
(h, q)0,R3 + (e, rot q)0,c = 0 . (4.2.1)
La primera ecuacion de (1.2.1) y la hipotesis (1.1.6) garantizan que

1
e= (rot h jc ) en c ,

siendo jc := j|c . As que podemos eliminar el campo electrico de (4.2.1) y obte-
nemos
(h, q)0,R3 + c(h, q) = l(q) q X0 (R3 ) ,
donde
1 1
c(q1 , q2 ) := ( rot q1 , rot q2 )0,c y l(q) := ( jc , rot q)0,c ,

para cualesquiera q1 , q2 , q X(R3 ).
Por lo tanto, proponemos la siguiente formulacion debil del problema (1.2.1)
en terminos del campo magnetico.
Problema 4.2.1 Buscar h Mjd + X0 (R3 ) tal que
(h, q)0,R3 + c(h, q) = l(q) q X0 (R3 ) .
Teorema 4.2.1. Si jd M(d ), entonces el Problema 4.2.1 esta bien planteado.
Demostracion. En terminos de la variable auxiliar h := h Mjd X0 (R3 ),

el problema 4.2.1 es equivalente a

buscar h X0 (R3 ) tal que
(4.2.2)
(h , q) 3 + c(h , q) = l (q) q X (R3 ) .
0,R 0
68 Captulo 4
Aqu, el operador l : X0 (R3 ) C se dene como
l (q) := l(q) (Mjd , q)0,R3 c(Mjd , q) q X0 (R3 ) .
Notese que la siguiente forma sesquilineal es elptica:

X0 (R3 ) X0 (R3 ) C
1
(q1 , q2 ) (1 + ) ( q1 , q2 )0,R3 + c(q1 , q2 ) .
0 0
En efecto, razonando como en la demostracion del Teorema 3.1.3, deducimos que

1
Re ( )0,R3 + c(q, q)
q
2rot,R3 q X0 (R3 ) ,
q, q
0
donde
1
:= mn 1, > 0.
0 1
En consecuencia, podemos reescalar el problema (4.2.2) de modo que este ba-
jo las hipotesis del Lema de LaxMilgram. Como este problema es equivalente al
Problema 4.2.1, concluimos el resultado.
4.2.2. Una formulacion variacional mixta

En este apartado imponemos la condicion rot h|d = jd introduciendo un
multiplicador de Lagrange. Con este n, denimos la forma sesquilineal
d(m, q) := (m, rot q)0,d q X(R3 ), m M(d ).
Sea : X(R3 ) M (d ) el operador lineal caracterizado por
q, mM (d )M(d ) := d(m, q) q X(R3 ), m M(d ) ,
donde M (d ) representa el espacio dual de M(d ) con espacio pivote L2 (d ).

Notese que este operador esta acotado; en efecto, basta observar que
|d(m, q)|

q
M (d ) = sup
rot q
0,d q X(R3 ) .
mM(d ), m=0
m
0,d
Denotamos por : M(d ) X (R3 ) el operador dual de :
m, qX (R3 )X(R3 ) = d(m, q) q X(R3 ), m M(d ) .

Lema 4.2.2. El operador lineal : M(d ) X0 (R3 )0 es un isomorsmo,

siendo

X0 (R3 )0 := X (R3 ) ; , qX (R3 )X(R3 ) = 0 q X0 (R3 ) .
Demostracion. En virtud del Lema 4.1.3,
|d(m, q)| |d(m, Mm)|

m
20,d
sup = m M(d ) .
qX(R3 ), q=0
q
rot,R3
Mm
rot,R3
Mm
rot,R3
Entonces, utilizando que el operador M : M(d ) X(R3 ) H1 (R3 ) esta aco-

tado, resulta que
|d(m, q)| 1
sup
m
0,d m M(d ) .
qX(R3 ), q=0
q
rot,R3
M
Ademas, la inclusion

rot q|d ; q X(R3 ) M(d )
garantiza que X0 (R3 ) es el nucleo del operador : X(R3 ) M (d ).

Por lo tanto, el resultado es consecuencia de [29, Lema 4.1].
Problema 4.2.2 Buscar h X(R3 ) y r M(d ) tales que
(h, q)0,R3 + c(h, q) + d(r, q) = l(q) q X(R3 ) ,

d(m, h) = (jd , m)0,d m 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.
Demostracion. La segunda ecuacion del Problema 4.2.2 signica que rot h = jd

en d , es decir, h Mjd +X0 (R3 ). Luego, testeando la primera ecuacion de 4.2.2
con funciones q X0 (R3 ), deducimos que h coincide con la unica solucion del
70 Captulo 4
Problema 4.2.1. As que el resultado se reduce a mostrar la existencia y unicidad

de un multiplicador r M(d ) tal que
d(r, q) = l(q) (h, q)0,R3 c(h, q) q X(R3 ) . (4.2.3)
Para ello, introducimos el funcional G X (R3 ) denido por
G, qX (R3 )X(R3 ) := l(q) (h, q)0,R3 c(h, q) q X(R3 ) .
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).

Dado un vector q X(R3 ), el Lema 2.7.2 garantiza que podemos represen-
tarlo en el dominio exterior como
q = en e , (4.2.4)
para un unico potencial armonico W 1 (e ). En particular, como es armonico

en e , admite una representacion integral de la forma (2.7.2) y cumple las ecua-
ciones integrales (2.7.8).
Denimos

X() := q H(rot, ) ; n (rot q) = 0 en H 1/2 () ,
que es un subespacio cerrado de H(rot, ); vease la Proposicion 3.1.2. Ademas,

razonando como en el Parrafo 3.1.2, tenemos que
rot : H 1/2 ()/C X() (4.2.5)

es un isomorsmo y que el operador lineal

1
B := ( I K) rot1
: X() H
1/2
()/C
2
esta acotado; tambien tenemos la siguiente estimacion analoga a (3.1.10):

Bq
1/2, C
q
H1/2 () q X(). (4.2.6)

1/2
Introducimos el espacio X() := X()H0 () y las formas sesquilineales
a0 (q1 , q2 ) := (q1 , q2 )0, + 0 q2 , V ( q1 ), ,

q1 , q2 ) := a0 (q1 , q2 ) + 0 2 , V1 1/2, + 2 , Bq1 1/2, 1 , Bq2 1/2, ,
a(
para cualesquiera q 1 := (q1 , 1 ) y q

2 := (q2 , 2 ) en X(). Notese que, bajo la
hipotesis (1.1.5) sobre el coeciente , los Teoremas 2.7.5 y 2.7.6 y la propiedad
(4.2.6) garantizan que

|a( 2 )| C1
q1
0,
q2
0, +
q1
H1/2 ()
q2
H1/2 ()
q1 , q

+
1
1/2,
2
1/2, +
2
1/2,
q1
H1/2 ()

+
1
1/2,
q2
H1/2 () , (4.2.7)

y que ademas a( ) R con

q, q

a( ) C2
q
20, +
q
2
q, q 1/2 +
21/2, , (4.2.8)
H ()
1 := (q1 , 1 ), 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() ,
d(m, h) = (jd , m)0,d m M(d ) .

72 Captulo 4
A continuacion damos un resultado auxiliar que nos permitira analizar el

Problema 4.2.3 y relacionarlo con el Problema 4.2.2.
Proposicion 4.2.4. El siguiente operador de restriccion dene un isomorsmo:
R : X(R3 ) X()
q Rq := q| .
Demostracion. Claramente R : X(R3 ) X() es un operador lineal continuo.

Para mostrar que R es inyectivo, consideramos q X(R3 ) con Rq = 0; es
decir, q = 0 en . Sea W 1 (e ) el potencial armonico asociado a q como en
(4.2.4). Notese que, por la propia denicion del operador rot ,
rot = () = q = 0 .
Luego el Teorema 2.6.3 garantiza que la traza de es constante sobre . Aho-

ra, como la funcion W 1 (e es armonica y su traza es constante sobre ,
deducimos que = 0 en e . Por lo tanto, q se anula en todo R3 .
Para mostrar que R es suprayectivo, tomamos q X(). Como (4.2.5)
dene un isomorsmo, existe un potencial H 1/2 () con rot = q y
este potencial es unico salvo constante aditiva. Sea W 1 (e ) la unica fun-
cion armonica en e cuya traza coincide con sobre salvo constante aditiva.
Denimos
q en ,
p :=
en e ,
que cumple
int p = int q = rot = ext p sobre .
Entonces el Teorema 2.3.6 garantiza que p X(R3 ), con Rp = q.

Ahora podemos aplicar el teorema del grafo cerrado y as concluimos que
R : X(R3 ) X() es un isomorsmo.
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.
Demostracion. Sea h X(R3 ), r M(d ) la solucion del Problema 4.2.2.

Entonces h = (h , ) := (Rh, ext h) X(),
r M(d ) es una solucion del
n
Problema 4.2.3:
Es claro que h X()
satisface la segunda ecuacion del Problema 4.2.3, as que
estudiamos si tambien satisface la primera ecuacion. Para ello, consideramos una
funcion generica q X(R3 ) y denotamos por , W 1 (e ) los potenciales
armonicos asociados a los campos h, q X(R3 ) va (4.2.4). Teniendo en cuenta
la denicion de rot y la continuidad de la traza tangencial a traves de ,
h = rot y q = rot . (4.2.9)

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
(h, q)0,R3 = (h, q)0, + 0 (, )0,e ,
de modo que
(h, q)0,R3 = (h, q)0, 0 , 1/2, .
Combinando esta ecuacion con la segunda de (4.2.10) y con (2.7.7),
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
(h, q)0,R3 = (h, q)0, + 0 q, V ( h ), 0 , Bq1/2, .

74 Captulo 4
Luego, usando la primera identidad de (4.2.10),
, q
(h, R1 q)0,R3 = a(h )
q := (q, ) X() .
En consecuencia, la primera ecuacion del Problema 4.2.2 garantiza que
, q
a(h ) + c(h , q) + d(r, q) = l(q)
q := (q, ) X() ,
que es la primera ecuacion del Problema 4.2.3.

X(),
Por lo tanto, h r M(d ) es una solucion del Problema 4.2.3.
Para demostrar la unicidad de solucion del Problema 4.2.3, consideramos
= (h, ) X(),
h r M(d ) que sea solucion del Problema 4.2.3 homogeneo.
Testeando la primera ecuacion del Problema 4.2.3 homogeneo con funciones de
la forma q
:= (0, ) X(), deducimos que
= V 1 (Bh) . (4.2.11)
Testeando nuevamente la primera ecuacion del Problema 4.2.3 homogeneo con

funciones de la forma q
:= (q, 0) X() y substituyendo por la expresion
(4.2.11),
(h, q)0, + 0 q, V ( h), + 0 V 1 (Bh), Bq1/2,

+ d(r, q) + c(h, q) = 0 q X() .
Razonando como en la demostracion de la Proposicion 4.2.4, podemos asociar al

campo h X() un unico potencial armonico W 1 (e ) caracterizado por
la condicion rot () = h. Analogamente, podemos asociar a cada funcion
q X() un unico potencial armonico W 1 (e ) tal que rot () = q.
Como es armonico, cumple las ecuaciones integrales (2.7.8) y por tanto la
ultima ecuacion es equivalente a
1
(h, q)0, + 0 N , 1/2, 0 ( I K ) , 1/2,
2 n
+ c(h, q) + d(r, q) = 0 q X() .
Aplicando nuevamente que satisface (2.7.8) e integrando por partes,
(h, q)0, + 0 (, )0,e + c(h, q) + d(r, q) = 0 q X() .
Es decir,
(R1 h, q)0,R3 + c(R1 h, q) + d(r, q) = 0 q X(R3 ) .
Teniendo en cuenta esta identidad y la segunda ecuacion del Problema 4.2.3

homogeneo, resulta que R1 h X(R3 ), r M(d ) es una solucion del Problema
4.2.2 homogeneo. Entonces el Teorema 4.2.1 garantiza que R1 h = 0 en R3 y
r = 0 en d , y concluimos que el Problema 4.2.3 homogeneo solo admite la
solucion trivial.
Introducimos los operadores lineales continuos
A : X() X () , C : X() X () y D : X() M (d ) ,
denidos por
Aq1 , q2 X ()X() := a0 (q1 , q2 ) , Cq1 , q2 X ()X() := c(q1 , q2 ) ,

Dq, mM (d )M(d ) := d(m, q) ,
para cualesquiera q1 , q2 , q X() y m M(d ). Ademas, denotamos por

1/2
B : H0 () X () y D : M(d ) X ()
los operadores duales de B y D, respectivamente. Entonces reformulamos el Pro-

blema 4.2.3 como

A + C 0 B D h

0 B 0 V 0 = 0 , (4.2.12)

D 0 0 r d
siendo
, qX ()X() := l(q) y d , mM (d )M(d ) := (jd , m)0,d

76 Captulo 4
para cualesquiera q X() y m M(d ). Utilizando la expresion (4.2.11),

podemos eliminar del sistema (4.2.12) y reescribirlo de forma reducida como

A + 0 B V 1 B + C D h
= . (4.2.13)
D 0 r d
4.3. Esquema discreto

En lo que sigue, suponemos que y c son poliedros de Lipschitz. Conside-
ramos {Th (); h > 0} una familia regular de mallas del dominio tales que cada
elemento T Th () es un tetraedro contenido en c o en d . Denotamos por h
el maximo diametro de los tetraedros de Th (). Ademas, denimos Th (d ) como
la restriccion de Th () al dominio d ,

Th (d ) := T Th () ; T d ,
y Th () como la triangulacion que induce Th () sobre la supercie ,
Th () := {F cara de algun T Th () ; F } .
4.3.1. Descripcion del problema discreto

En este apartado, proponemos una version discreta de (4.2.3) combinan-
do elementos nitos y elementos de contorno para aproximar conformemente el

espacio X().
Mas concretamente, consideramos el espacio de elementos nitos de arista

N D h () := q H(rot, ) ; q|T N D(T ) T Th () , (4.3.1)
y aproximamos las funciones de X() usando las del espacio de dimension nita
Xh () := N D h () X() ;
veanse las deniciones (3.2.1) y (3.2.4).

1/2
Ademas, aproximamos las funciones de H0 () con funciones que son cons-
tantes a trozos con respecto a la triangulacion Th (). De hecho, utilizamos el
espacio de dimension nita

h () := L2 () ; , 1 = 0 , |F C F Th () ;
vease la denicion (3.2.5).

Finalmente, hacemos una discretizacion conforme del espacio H(div, d ) uti-
lizando elementos nitos de RaviartThomas de primer orden:
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 ) .
Proponemos la siguiente version discreta del Problema 4.2.3, donde denota-

h () := Xh () h ().
mos X
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
d(m, hh ) = (jd , m)0,d m Mh (d ) .
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
4.3.2. Analisis del esquema discreto
Introducimos los espacios
X0 () := {q X() ; rot q = 0 en d } ,
X0,h () := {q Xh () ; d(m, q) = 0 m Mh (d )} ,
que son subespacios cerrados de X() y de Xh (), respectivamente. Ademas, en

[45, Lema 5.40] se muestra que {rot q|d ; q Xh ()} Mh (d ); en consecuen-
cia, tenemos que
X0,h () X0 () .
Denotamos por I h el operador de interpolacion asociado al espacio de ele-

mentos nitos de Nedelec N D h (). Recordemos que en el Parrafo 3.2.1 denimos
explcitamente este operador y senalamos sus propiedades fundamentales.
Por otra parte, sea I RT
h el operador de interpolacion asociado al espacio
de elementos nitos de RaviartThomas RT h (d ). En [45, Teorema 5.25] se
demuestra que, para cada s (1/2, 1], existe una constante C > 0 tal que
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)
El siguiente resultado es una herramienta fundamental para el analisis del

esquema discreto (4.3.1).
Lema 4.3.1. Existe una constante > 0 tal que
|d(m, q)|
sup
m
0,d ,
qXh (), q=0
q
rot,
para todo m Mh (d ).
Demostracion. Segun el Lema 4.1.3, la funcion Mm|d H1 (d ) satisface que

rot(Mm) = m en d . En particular, para cada tetraedro T Th (d ) tenemos
que Mh m|T H1 (T ) y, en consecuencia, la traza de Mm sobre T pertenece
al espacio Lp (T ) para todo p 2. En estas condiciones, [7, Lema 4.7] permite
denir Mh m := I dh (Mm|d ), donde I dh denota el operador de interpolacion de
Nedelec asociado al espacio

N D h (d ) := q H(rot, ) ; q|T N D(T ) T Th (d ) .
Por un lado, razonando como en la demostracion de [7, Proposicion 4.6],

deducimos que

Mh m
0,d C1 h
rot(Mm)
0,d +
Mm
1,d . (4.3.4)
Por otro lado, la propiedad (4.3.3) garantiza que
rot(Mh m) = I RT
h (rot(Mm)) = m en d . (4.3.5)
Luego, utilizando el Lema 4.1.3 junto con (4.3.44.3.5), tenemos que

Mh m
rot,d C2
m
0,d .
Ademas, en [2] se muestra que existe un operador de extension discreto
N D h (d ) N D h ()
que es uniformemente continuo con respecto al parametro h > 0. As que existe

# h m Xh () que extiende Mh m a todo y que cumple
una funcion M
# h m
rot, C3
Mh m
rot, C3 C2
m
0, .

M (4.3.6)
d d
Por lo tanto, combinando (4.3.5) y (4.3.6), concluimos que
|d(m, q)| # h m)|

|d(m, M 1
sup
m
0,d .
qXh (), q=0
q
rot,
M# h m
rot, C2 C3

80 Captulo 4
Teorema 4.3.2. El Problema 4.3.1 tiene una unica solucion.
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
d(m, hdh ) = (jd , m)0,d m Mh (d ).
Entonces denimos hh := hh hdh X0,h () y reescribimos el Problema 4.3.1 en

:= (h , h ) X0,h () h () como
terminos de h h h
, 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) .
Introducimos los operadores lineales y acotados

1/2
Ah : X() Xh () , Vh : H0 () h () ,
D h : X() Mh (d ) , D h : M(d ) Xh () ,
1/2
Bh : X() h () , Bh : H0 () Xh () ,
C h : X() Xh () ,
caracterizados por
Ah q, qh Xh ()Xh () = a0 (q, qh ) , Vh , h h ()h () = V, h 1/2, ,

D h q, mh Mh (d )Mh (d ) = d(mh , q) , D h m, qh Xh ()Xh () = d(m, qh ) ,
Bh q, h h ()h () = Bq, h 1/2, , Bh , qh Xh ()Xh () = Bqh , 1/2, ,
C h q, qh Xh ()Xh () = c(q, qh ) ,
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,
Vh h , h h ()h () = Vh , h 1/2, 1

h
21/2, h h () ,
de modo que Vh : h () h () es un isomorsmo. Esta propiedad nos permite

desacoplar el sistema (4.3.7) como

Ah + 0 Bh Vh1 Bh + C h 0 hh
= , (4.3.8)
Vh1 Bh I h Vh1 Bh hdh
donde X0,h () esta denido por
, qXh ()Xh () = l (q) 0 Bh Vh1 Bh hdh , qXh ()Xh () q X0,h () .
Tambien tenemos que

1 1
Re (Ah + 0 Bh Vh Bh + C h ) q, qXh ()Xh ()
0
1 1
( q, q)0, + ( rot q, rot q)0,c ,
0 0
para cada q X0,h (), as que el operador
Ah + 0 Bh Vh1 Bh + C h : X0,h () X0,h ()
es invertible. En consecuencia, queda garantizada la existencia y unicidad de la
incognita hh X0,h () y, por lo tanto, tambien de la funcion
h = Vh1 Bh (hh + hdh ) . (4.3.9)
Para estudiar la existencia y unicidad del multiplicador a nivel discreto,

rh Mh (d ), introducimos el operador lineal
Fh : Xh () C
(4.3.10)
h , (q, 0)) .
q Fh (q) := l(q) c(hh , q) a(h
h es equivalente a
Con esta notacion, la ecuacion que satisface h
Fh (q) = 0 q X0,h () . (4.3.11)
Luego, recordando la denicion de X0,h () y aplicando el Lema 4.3.1, concluimos
que existe un unico rh Mh (d ) con
d(rh , q) = Fh (q) q Xh () . (4.3.12)

82 Captulo 4

Teniendo en cuenta el Teorema 2.7.5, podemos denir el operador lineal
1/2
: X() H0 ()
q q := V 1 Bq ,
que es continuo. Recordemos que el operador V : H 1/2 () H 1/2 () es elptico

1/2
(vease el Teorema 2.7.5) y que el operador B : X() H0 () es continuo;
1/2
as que el Lema de LaxMilgram garantiza que la funcion q H0 () se
caracteriza de forma unica por cumplir
1/2
, Vq1/2, = , Bq1/2, H0 () . (4.3.13)
Ademas, en virtud de (4.2.6), tenemos que

q
1/2, C1
q
H1/2 () . (4.3.14)

Ahora denimos el operador h : X() h () utilizando una version

discreta de la ecuacion variacional anterior. Es decir, h q h () se caracteriza
de forma unica por
, Vh q = , Bq h () . (4.3.15)
En efecto, utilizando nuevamente la elipticidad de V y la propiedad (4.2.6), de-

ducimos que el operador h esta bien denido y que

h q
1/2, C2
q
H1/2 () . (4.3.16)

Ademas, se cumple la siguiente desigualdad tipo Lema de Cea:

q h q
1/2, C3
q
1/2, h () , (4.3.17)
para cualquier q X().
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,) ,
para cada q X() Hs (rot, ).

Demostracion. Fijado s > 1/2, sabemos que : Hs (rot, ) L2 () esta aco-

tado; cf. [21, Teorema 3]. Utilizando el isomorsmo denido en (4.2.5), deducimos
que existe un potencial H 1/2 () con
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

Como H 1 (), tenemos que
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,) .
A continuacion estudiaremos el orden de convergencia del esquema discreto

dado por el Problema 4.3.1 cuando hacemos hipotesis de regularidad sobre la
solucion exacta del Problema 4.2.3.
84 Captulo 4
Teorema 4.3.4. Sean h y hh las primeras componentes de la soluciones de los

Problemas 4.2.3 y 4.3.1, respectivamente. Si h X() Hs (rot, ) para algun
s > 1/2, entonces tenemos la siguiente estimacion del error:

h hh
rot, C h1/2
h
Hs (rot,) .
Demostracion. En esta demostracion, seguimos el razonamiento expuesto en

[29, Teorema 1.1].
Comenzamos notando que el Lema 4.3.1 permite denir ph Xh () con
D h ph = D h (h I h h) . (4.3.19)
Entonces la funcion hdh := ph + I h h Xh () cumple
d(m, hdh ) = (jd , m)0,d m Mh (d ) .
Descomponemos h hh como h hh = e1h e2h , donde
e1h := h hdh y e2h := hh hdh .
A continuacion acotamos la norma de los campos e1h y eh2 en H(rot, ).

Por un lado, aplicando la desigualdad triangular para e1h = h I h h ph ,

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
a0 (h, q) + 0 h, Bq1/2, + c(h, q) = l(q) q X0 () .
Analogamente, la primera ecuacion de (4.3.8) garantiza que
a0 (hh , q) + 0 h hh , Bh q1/2, + c(hh , q) = l(q) q X0,h () .

Puesto que X0,h () X0 (), deducimos de las dos ultimas identidades que
a0 (e2h , q) + c(e2h , q) + 0 Vh1 Bh e2h , Bh qh ()h () =
= a0 (e1h , q) + c(e1h , q) + 0 h h h, Bq1/2, + 0 h e1h , Bq1/2,
para cualquier q X0,h . En particular, se cumple para q = e2h X0,h () y

entonces, aplicando (4.2.7), (4.2.6) y (4.3.16),
|a0 (e2h , e2h ) + 0 Bh Vh1 Bh e2h , e2h Xh ()Xh () + c(e2h , e2h )|

C1
e1h
rot, +
h h h
1/2,
e2h
rot, .
Utilizando la hipotesis (1.1.6), la propiedad (4.2.8) y que el operador Bh Vh1 Bh

es no negativo, deducimos que

e2h
2rot, C2
e1h
rot, +
h h h
1/2,
e2h
rot, .
Simplicando y aplicando el Lema 4.3.3,

e2h
rot, C3
e1h
rot, + h1/2
h
Hs (rot,) . (4.3.21)
Finalmente, aplicando la desigualdad triangular para h hh = e1h e2h junto

con las cotas (4.3.20) y (4.3.21), resulta que

h hh
rot, C4
h I h h
rot, + h
h
Hs (rot,) ,
1/2
y concluimos utilizando la estimacion del error de interpolacion del Teorema 3.2.2.

Corolario 4.3.5. Bajo las hipotesis del Teorema 4.3.4, tenemos que

h
1/2, C h1/2
h
Hs (rot,) .
Demostracion. Partiendo de la primera ecuacion del Problema 4.2.3, dedujimos

la ecuacion (4.2.11), que es equivalente a = h. Analogamente, partiendo de
86 Captulo 4
la primera ecuacion del Problema 4.3.1 obtenemos que h = h hh . Luego,

utilizando la desigualdad triangular,

h
1/2,
h h h
1/2, +
h (h hh )
1/2, .
Ademas, la propiedad (4.3.16) garantiza que

h (h hh )
1/2, C1
h hh
rot, .
As que concluimos el resultado aplicando el Lema 4.3.3 y el Teorema 4.3.4.
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 .
Demostracion. Introducimos el operador lineal continuo
F : X() C
(q, 0)) ,
q F(q) := l(q) c(h, q) a(h,
y recordemos que denimos una version discreta Fh : Xh () C en (4.3.10).

Notese que los multiplicadores de Lagrange r M(d ) y rh Mh (d ) satisfacen
d(r, q) = F(q) q X() y d(rh , q) = Fh (q) q Xh () .
Estas propiedades sugieren tomar una funcion auxiliar

rh Mh (d ) tal que
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 .
A continuacion acotamos la norma de los campos e1h y e2h en L2 (d ).

Por un lado, utilizando la desigualdad triangular para e1h = r s + s
rh y
aplicando el Lema 4.3.1,
1 rh s, q)
d(

e1h
0,d
r s
0,d + sup s Mh (d ) .
qXh (), q=0
q
rot,
rh , q) = d(r, q) para todo q Xh (), deducimos que

Como d(

d

e1h
0,d (1 + ) nf
r s
0,d .
sMh (d )
Ademas, bajo la hipotesis de regularidad r M(d ) Hr (d ), la propiedad

(4.3.3) y el Teorema 4.1.3 implican que
h r = I h (rot(Mr)) = rot(Mh r) Mh (d ) ,
I RT RT
siendo Mh r := I dh (Mr|d ). Luego

d

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 () .
As que, aplicando el Teorema 4.3.4 y el Corolario 4.3.5,

1 |F(q) Fh (q)|

e2h
0,d sup C2 h1/2
h
Hs (rot,) . (4.3.23)
qXh (), q=0
q
rot,
Finalmente, utilizando la desigualdad triangular para r rh = e1h + e2h junto

con las cotas (4.3.22) y (4.3.23), tenemos que

d

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
4.4. Forma matricial del esquema discreto

En este apartado reformulamos el Problema 4.3.1 como un sistema lineal.
h ()
Para ello comenzamos determinando explcitamente una base del espacio X
y un sistema generador de Mh (d ).
Sea Ah () el conjunto de las aristas de la malla Th (). Denimos los con-
juntos A0h () y Ah (d ) de aristas interiores a y d , respectivamente; es decir,

A0h () := {E Ah () ; E = } y Ah (d ) := E Ah () ; E d .
Tambien introducimos el conjunto Vh () de vertices de la malla Th (), as como
Vh () := {v Vh () ; v } .
En la Proposicion 3.3.1 vimos que, si jamos un vertice v0 Vh (), entonces

el siguiente conjunto determina una base de Xh ():

Bh () := qE ; E A0h () {v ; v Vh () \ {v0 }} .
Ademas, en el Parrafo 3.3.1 senalamos que, si jamos una cara F0 Th (),

entonces el siguiente conjunto constituye una base de h ():

1 1
F := F F ; F Th () \ {F0 } .
|F | |F0 | 0
En lo que respecta al espacio M(d ), notese que
{(rot q)|d ; q Xh ()} Mh (d ) .
Por otro lado, la inclusion recproca es consecuencia de la condicion infsup del

Lema 4.3.1. En efecto, para cada rh Mh (d ), dicha condicion infsup garantiza
la existencia de algun qh Xh () tal que
d(qh , m) = (rh , m)0,d m Mh (d ) ;
es decir, rh = (rot qh )|d . En consecuencia,
{(rot q)|d ; q Xh ()} = Mh (d )

y, por lo tanto, el conjunto
{(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 }
y del sistema generador de Mh (d ):

rh = rE (rot qE )|d .
EAh (d )
Recordemos que en (3.3.2) introdujimos las matrices complejas

A
E,E := ( qE , qE )0, , CE,E := c(qE , qE ) ,
0 0

A
E,v := ( qE , v )0, , Av,v := ( v , v )0, ,
0 0
1
Rv,v := (rot v , V (rot v ))0, , BF,v := (F , ( I K)v )0, ,
2
VF,F := (F , VF )0, ,
para cualesquiera aristas interiores E, E A0h () ; vertices sobre la frontera

v, v Vh () \ {v0 } y caras de la frontera F, F Th () \ {F0 } .
Ahora, denimos ademas la matriz

DE,E := (rot qE , rot qE )0,d ,
0
para cualesquiera E A0h () y E Ah (d ).

Con esta notacion, el Problema 4.3.1 es equivalente a determinar los vectores
h := (hE )EA0 () , h := (hv )vVh ()\{v0 } ,

h
:= (F )F Th ()\{F0 } , r := (rE )EA0 (d ) ,

h
90 Captulo 4
solucion del sistema lineal

A + C A 0 D h f

+ R B
(A ) A 0 h 0
= , (4.4.1)

0 B V 0 0

D 0 0 0 r f d

d
f := (l(qE ))EA0 () y f d := (j , rot qE )0,d .
0 h 0 EAh (d )
4.4.1. Implementacion del esquema discreto

Para implementar nuestro metodo numerico, necesitamos aproximar las inte-
grales asociadas a la matriz y al segundo miembro del sistema lineal (4.4.1). Con
este objetivo, seguimos la estrategia descrita en el Parrafo 3.3.3 y el Apendice A.
Es importante recordar que dedujimos el sistema (4.4.1) utilizando, no una
base del espacio Mh (d ), sino un sistema que es generador pero no libre. En
consecuencia, dicho sistema lineal es indeterminado. Esta dicultad puede solu-
cionarse introduciendo un multiplicador de Lagrange adicional para imponer la
restriccion de divergencia nula asociada al espacio M(d ); vease [5, Seccion 5.2].
Ahora bien, esta estrategia aumenta el tamano del sistema lineal y, en conse-
cuencia, el coste computacional de su ensamblaje y su resolucion. Por esta razon,
pensamos que en la practica es preferible resolver el sistema indeterminado (4.4.1)
con un metodo iterativo del tipo gradiente conjugado; vease [5, Nota 5.1].
4.5. Resultados numericos

Hemos implementado el metodo descrito en este captulo mediante un codigo
MATLAB. A continuacion presentamos algunos resultados numericos que hemos
obtenido con dicho codigo para el problema test del Parrafo 3.4.1 cuando
c := [(1, 1) (1, 1) (0,5, 0,5)] \ (0,5, 0,5)3 ,

(x2 |x|2 ) si |x| < x0 ,
0
f (x) :=
0 si no ,
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 .
Ademas, tomamos como dominio computacional
:= (1,5, 1,5) (1,5, 1,5) (1, 1) .
Para estudiar el orden de convergencia del esquema discreto, hemos resuelto

el Problema 4.3.1 para diferentes mallas, renadas sucesivamente. En la Tabla
4.1 mostramos los resultados que hemos obtenido cuando x0 = 1 y = 4. Mas
concretamente, identicamos cada malla con su diametro, que denotamos por h,
y desglosamos el error total en las partes asociadas al campo magnetico h, al
potencial y al multiplicador de Lagrange r M(d ). Tambien mostramos el
orden de convergencia experimental para el campo magnetico, denido por
log
h hh
rot, log
h hAh
rot,
= ,
log h log
h
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
0.9299 56.1051 0.7107 52.0686

0.6601 39.3998 0.1413 24.4914 1.0315
0.4572 28.6757 0.0620 21.4884 0.8651
0.3653 22.0725 0.0173 11.7229 1.1663
Tabla 4.1: Resultados numericos
h, mejorando el resultado previsto por el Teorema 4.3.4. De hecho, para este

problema test, nuestro metodo se comporta como un metodo FEM mixto (sin
elementos de contorno); vease la nota a continuacion.
Nota 4.5.1 Hemos comparado los resultados numericos obtenidos utilizando

nuestro metodo BEMFEM mixto con los resultados numericos que se obtienen
aplicando el metodo numerico propuesto en [5]. Mas concretamente, dicho metodo
es de tipo FEM mixto y consiste en resolver el sistema lineal (4.4.1) bloquean-
do a cero las incognitas h y . En [5, Parrafo 6], se senala que este esquema
numerico presenta el orden de convergencia O(h) siempre que la solucion exacta
sea sucientemente regular.
Para el problema test anterior y empleando las mismas mallas, hemos ob-
servado que los resultados numericos obtenidos con ambos metodos son similares
para las incognitas h y r. Esto sucede porque la incognita de frontera se
anula, y ademas el campo magnetico h y el multiplicador r tienen sus soportes
contenidos en el dominio computacional .
1.8
10
1.7
10
Error absoluto
1.6
10
1.5
10
error absoluto
y=Ch
1.4
10
0.4 0.3 0.2 0.1

10 10 10 10
Dimetro de la malla
Figura 4.2: Error absoluto para hh en H(rot, c ) vs. h (escala logartmica)

Captulo 5
Eddy currents de evolucion
En este captulo estudiamos el problema de eddy currents de evolucion

(1.1.11.1.3) bajo las condiciones de compatibilidad (1.1.7). Para ello, utilizamos
una estrategia analoga a la del Captulo 4.
Mas concretamente, suponemos que J y div H0 tienen soporte compacto.
Entonces podemos introducir un dominio computacional conexo y simplemente
conexo tal que
c , soporte(J) [0, T ] y soporte(div H0 ) .
Ademas, tomamos de forma que su frontera := sea conexa, simplemente

conexa y Lipschitz continua.
Subdividimos el dielectrico ec en el dominio acotado d := \c y la region
no acotada e := R3 \ ; vease la Figura 4.1.
Es importante senalar que los campos involucrados en el problema de evolu-
cion (1.1.11.1.3) son reales, a diferencia de lo que sucede para el problema
en regimen armonico (1.2.11.2.2). Por lo tanto, en este captulo trabajamos
con funciones reales en vez de funciones complejas. Ademas, para cada funcion
f : (0, T ) R3 R, denotamos
f (t) : R3 R
x f (t)(x) := f (t, x) .
95
96 Captulo 5

En este parrafo deducimos una formulacion variacional del problema (1.1.1)
con un razonamiento analogo al del Captulo 4.
5.1.1. Una formulacion variacional global

En primer lugar, estudiamos el espacio funcional en el que buscaremos el
campo magnetico H. Con este n, notamos que, segun la primera ecuacion de
(1.1.1),
rot H(t, x) = J(t, x) en (0, T ) e .
Ademas, tomando el operador divergencia en la segunda ecuacion de (1.1.1) y
utilizando la hipotesis (1.1.5),
t (div H(t, x)) = 0 en (0, T ) e .
Recordemos que hemos introducido el dominio computacional R3 de modo

que J(t, x) = 0 en (0, T ) e y div H(0, x) = div H0 = 0 en e , luego
rot H(t, x) = 0 y div H(t, x) = 0 en (0, T ) e .
Partiendo de esta propiedad junto con la condicion asintotica (1.1.3) y aplicando

la tercera identidad de (2.0.1), deducimos que

H(t, x) = 0 en (0, T ) (R3 \ BR ) ,

div H(t, x) = 0 en (0, T ) (R3 \ BR ) ,

1
H(t, x) = O( ) cuando |x| ,
|x|
siendo BR una bola centrada en el origen con radio R sucientemente grande
y donde el comportamiento asintotico es uniforme en casi todas las direcciones
x
(t, |x| ) (con t (0, T ), x R3 \ {0}). En esta situacion, en [6, Proposicion 3.1]
se hace una expansion del campo H(t) en polinomios esfericos armonicos para
mostrar que
1
H(t, x) = O( ) uniformemente cuando |x| .
|x|2
Problema de evolucion 97
En particular, tenemos que H(t) L2 (R3 ) en c.t.p. t (0, T ). Teniendo en

cuenta esta propiedad, as como la primera ecuacion de (1.1.1) y el Lema 4.1.3,
buscaremos el campo magnetico H(t) en el espacio afn M(J(t)|d ) + X0 (R3 ) en
c.t.p. t (0, T ). En lo que sigue, denotamos por simplicidad Jd := J|(0,T )d y
MJd (t) := M(Jd (t)) en c.t.p. t (0, T ).
Para deducir una formulacion variacional del problema (1.1.11.1.3), teste-
amos la segunda ecuacion de (1.1.1) con una funcion q X0 (R3 ) e integramos
por partes con la formula (2.3.3):
d
(H(t), q)0,R3 + (E(t), rot q)0,c = 0 en D (0, T ). (5.1.1)
dt
Segun la primera ecuacion de (1.1.1),
1
E= (rot H Jc ) en (0, T ) c ,

donde denotamos Jc := J|(0,T )c . As que podemos eliminar el campo electrico

de (5.1.1) como sigue:
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)
para cualesquiera funciones q1 , q2 , q X(R3 ).

Introducimos el espacio
W 1 ((0, T ); X0 (R3 ), X0 (R3 )) ,
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 ,
y que satisfaga 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
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 )).
Teorema 5.1.1. Supongamos que la densidad de corriente J L2 ((0, T ) R3 )

presenta la regularidad Jd H 1 ((0, T ); M(d )) y que el campo magnetico inicial
H0 U(R3 ) satisface la condicion de compatibilidad rot H0 |d = Jd (0). Entonces
el Problema 5.1.1 tiene una solucion H MJd + W 1 ((0, T ); X0 (R3 ), X0 (R3 )),
que es unica y se caracteriza por
T T
( H(t), t q(t))0,R3 dt + c(t, H(t), q(t)) dt =
0 0
T
= ( H0 , q(0))0,R3 + l(t, q(t)) dt , (5.1.2)
0
para cada q C ([0, T ]; X0 (R3 )) con q(T ) = 0.
Demostracion. Introducimos la variable auxiliar H := H MJd y reescribi-

mos el Problema 5.1.1 en terminos de esta nueva incognita.
Con este n, notamos que la hipotesis de regularidad Jd H 1 ((0, T ); M(d ))
junto con el Lema 4.1.2 implican que t E(Jd (t)) = E(t Jd (t)) en c.t.p. t (0, T ).
Luego
t (MJd (t)) = t ( E(Jd (t))) = E(t Jd (t)) = M(t Jd (t)) X(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
l (t, q) := l(t, q) ( t (MJd (t)), q)0,R3 c(t, MJd (t), q)
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
Notese que la forma bilineal
X0 (R3 ) X0 (R3 ) R
(q1 , q2 ) c(t, q1 , q2 )
esta acotada y es coerciva uniformemente con respecto a t (0, T ):
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
para cualesquiera q1 , q2 , q X0 (R3 ) y en c.t.p. t (0, T ). En estas condiciones,

[57, Teorema 23A] garantiza que el problema (5.1.3) esta bien planteado.
Finalmente, concluimos notando que (5.1.3) es equivalente al Problema 5.1.2.

100 Captulo 5
5.1.2. Una formulacion variacional mixta

Siguiendo la estrategia del Parrafo 4.2.2, en este apartado imponemos la
restriccion rot H|(0,T )d = Jd introduciendo un multiplicador de Lagrange. Con
este n, denimos : L2 ((0, T ); X(R3 )) L2 ((0, T ); M (d )) tal que
T T
q(t), m(t)M (d )M(d ) dt = d(m(t), q(t)) dt ,
0 0
para cualesquiera q L2 ((0, T ); X(R3 )) y m L2 ((0, T ); M(d )). Notese que

este operador esta acotado; en efecto, para cada q L2 ((0, T ); X(R3 )),
T$ %2 T
d(m, q(t))
q
2L2 ((0,T );M (d )) = sup dt
rot q(t)
20,d dt .
0 mM(d ), m=0
m
0,d 0
Denotamos su dual por : L2 ((0, T ); M(d )) L2 ((0, T ); X (R3 )); es decir,

T T

m(t), q(t)X (R3 )X(R3 ) dt = d(m(t), q(t)) dt,
0 0
para cualesquiera q L2 ((0, T ); X(R3 )) y m L2 ((0, T ); M(d )). Razonando

como en el Lema 4.2.2, deducimos el siguiente resultado.
Lema 5.1.2. El operador lineal
: L2 ((0, T ); M(d )) L2 ((0, T ); X0 (R3 ))0
dene un isomorsmo, donde L2 ((0, T ); X0 (R3 ))0 representa el espacio de las

funciones L L2 ((0, T ); X (R3 )) tales que
T
L(t), q(t)X (R3 )X(R3 ) dt = 0
0
para cada q L2 ((0, T ); X0 (R3 )).
Problema 5.1.2 Buscar
H W 1 ((0, T ); X(R3 ), X (R3 )) y r L2 ((0, T ); M(d ))

tales que
H(0) = H0 ,
y que cumplan las siguientes ecuaciones en D (0, T ):

d
( H(t), q)0,R3 + d(r(t), q) + c(t, H(t), q) = l(t, q) q X(R3 ) ,
dt
d(m, H(t)) = (Jd (t), m)0,d m M(d ) .
una unica solucion.
Demostracion. La segunda ecuacion variacional del Problema 5.1.2 signica

que
rot H(t)|d = Jd (t) en c.t.p. t (0, T ) ,
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
para cada q L2 ((0, T ); X(R3 )). Aqu hemos denotado

t t
c(t, H(t), q(t)) :=
c(s, H(s), q(t)) ds y (t) := (s) ds ,
0 0
donde L2 ((0, T ); X (R3 )) se caracteriza por

T T
(t), qX (R3 )X(R3 ) dt := l(t, q) dt q X(R3 ) .
0 0
102 Captulo 5
Dados q D((0, T ); X0 (R3 )) y m L2 ((0, T ); M(d )), consideramos

T t
q(t) := q(s) ds y m(t) := m(s) ds t [0, T ] .
t 0
Observemos que, aplicando el Lema 2.8.1,

T T T T s
d(m(t), q(t)) dt = d(m(t), q(s)) ds dt = d(m(t), q(s)) dt ds =
0 0 t 0 0
T
= d(m(t), q(t)) dt = 0 m L2 ((0, T ); M(d )) .
0
En consecuencia q C ([0, T ]; X0 (R3 )) y, puesto que q(T ) = 0, la ecuacion

(5.1.2) garantiza que
T T
( H(t), t q(t))0,R3 dt + c(t, H(t), q(t)) dt =
0 0
T
= ( H0 , q(0))0,R3 + l(t, q(t)) dt .
0
Utilizando la denicion de q y el Lema 2.8.1, reescribimos esta ecuacion como

T
(H(t) H0 , q(t))0,R3 + c(t, H(t), q(t)) (t), q(t)X (R3 )X(R3 ) dt = 0 ,
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
r(t) = G(t) . (5.1.4)
Concluimos notando que r L2 ((0, T ); M(d )) satisface la primera ecuacion

variacional del Problema 5.1.2. En efecto, consideramos q X(R3 ) y D(0, T );
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 ).

Denimos las formas bilineales
a0 (q1 , q2 ) := (q1 , q2 )0, + 0 q2 , V ( q1 ), ,

2 ) := a0 (q1 , q2 ) + 0 2 , V1 1/2, + 2 , Bq1 1/2, 1 , Bq2 1/2, ,
q1 , q
a(

2 := (q2 , 2 ) en X(). Notese que, bajo la
hipotesis (1.1.5) sobre el coeciente , los Teoremas 2.7.5 y 2.7.6 y la propiedad
(4.2.6) garantizan que

|a( 2 )| C1
q1
0,
q2
0, +
q1
H1/2 ()
q2
H1/2 ()
q1 , q

+
1
1/2,
2
1/2, +
2
1/2,
q1
H1/2 ()

+
1
1/2,
q2
H1/2 () , (5.1.5)

y que ademas a( ) R con

q, q

a( ) C2
q
20, +
q
2
q, q 1/2 +
21/2, , (5.1.6)
H ()
104 Captulo 5
1 := (q1 , 1 ), 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).

:= (H, ) L2 ((0, T ); X())
1/2
H C 0 ([0, T ]; L2 () H0 ()) ,
r L2 ((0, T ); M(d )) ,
tales que

H(0) 0,
=H
y que satisfagan las siguientes ecuaciones en D (0, T ):
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 ) .
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.
Demostracion. Sea H W 1 ((0, T ); X(R3 ), X (R3 )), r L2 ((0, T ); M(d )) la

:= (H , ), donde H (t) := H(t)| y
solucion del Problema 5.1.2. Denimos H
(t) := next H(t). Entonces
L2 ((0, T ); X())
1/2
H C 0 ([0, T ]; L2 () H0 ()) ,
r L2 ((0, T ); M(d ))
es una solucion del Problema 5.1.3.

En efecto, utilizando la condicion inicial del Problema 5.1.2, tenemos que
H (0) = H(0)| = H0 | y (0) = next H(0) = next H0 .

Ademas, aplicando la segunda ecuacion del Problema 5.1.2,
d(m, H (t)) = d(m, H(t)) = (Jd (t), m)0,d m M(d ) .
Por tanto lo que tenemos que estudiar es si H y r satisface la primera ecuacion

del Problema 5.1.3.
Para ello, consideramos el potencial L2 ((0, T ); W 1 (e )) asociado a la fun-
cion H(t) X(R3 ) en c.t.p. t (0, T ) como en el Lema 4.2.4. Analogamente,
introducimos el potencial W 1 (e ) correspondiente a una funcion generica
q X(R3 ). Recordemos que (t) W 1 (e ) es armonico y que
H (t) = rot (t) , (5.1.7)

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
( H(t), q)0,R3 = ( H (t), q)0, + 0 ((t), )0,e ,
de modo que
( H(t), q)0,R3 = ( H (t), q)0, 0 (t), 1/2, .
Combinando esta ecuacion con la segunda de (5.1.8) y con (2.7.7),
( H(t), q)0,R3 = ( H (t), q)0,

1
+ 0 rot , V (rot (t)), 0 (t), ( I K)1/2, .
2
Aplicando la propiedad (5.1.7),
( H(t), q)0,R3 = ( H (t), q)0, + 0 q, V ( H (t)), 0 (t), Bq1/2, .

106 Captulo 5
Anadimos a esta ecuacion la siguiente version de la primera identidad de (5.1.8):

1/2
0 , V((t))1/2, + , B(H (t))1/2, = 0 H0 (),
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
que es la primera ecuacion del Problema 5.1.3.

Nos resta estudiar la unicidad de solucion del Problema 5.1.3. Con este n,
consideramos
= (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
en D ((0, T )) y para todo q X(). Denotamos por L2 ((0, T ); W 1 (e )) el

potencial asociado a la funcion H (t) X(R3 ) en c.t.p. t (0, T ) como en el
Lema 4.2.4. Analogamente, W 1 (e ) representa el potencial correspondiente
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.
Reescribimos el Problema 5.1.3 como

A 0 B D H(t) C(t) 0 0 H(t) (t)

d 0 B

0 V +
0 (t) 0
0 0 (t) 0
=
, (5.1.9)
dt
0 0 0 r(t) D 0 0 r(t) d (t)
donde utilizamos la notacion del Parrafo 4.2.3 y ademas
C(t)q1 , q2 X ()X() := c(t, q1 , q2 ) q1 , q2 X() ,

(t), qX ()X() := l(t, q) q X() ,
d (t), mM (d )M(d ) := (Jd (t), m)0,d m M(d ) .
108 Captulo 5
Dado que (t) = V 1 B(H(t)) en c.t.p. t (0, T ), podemos eliminar la

incognita del sistema (5.1.9). As obtenemos el sistema reducido
1

d A + 0 B V B D H(t) C(t) 0 H(t) (t)
+ = . (5.1.10)
dt
0 0 r(t) D 0 r(t) d (t)
5.2. Esquema semidiscreto

En lo que sigue, suponemos que y c son poliedros de Lipschitz y uti-
lizamos los espacios discretos introducidos en la Seccion 4.3.
5.2.1. Descripcion y analisis del problema semidiscreto

Proponemos la siguiente version semidiscreta del Problema 5.1.3.
H h ()
h (t) := (Hh (t), h (t)) X y rh (t) Mh (d )
tales que
h (0) H
H 0,
y que satisfagan las siguientes ecuaciones en todo t (0, T ]:

d
h () ,
) + d(rh (t), q) + c(t, Hh (t), q) = l(t, q)
a(Hh (t), q
qX
dt
d(m, Hh (t)) = (Jd (t), m)0,d m Mh (d ) .
Teorema 5.2.1. El Problema 5.2.1 tiene una unica solucion.
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(m, Hdh (t)) = (Jd (t), m)0,d m Mh (d ) .

Introducimos Hh (t) := Hh (t)Hdh (t) X0,h () y reescribimos el Problema 5.2.1

(t) := (H (t), h (t)) como
en terminos de la nueva incognita H h h
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
donde utilizamos la notacion de la demostracion del Teorema 4.3.2 y ademas
C h (t)q, qh Xh ()Xh () = c(t, q, qh ) ,

h (t), qh Xh ()Xh () = l (t, qh ) 0 Bh Vh1 Bh t Hdh (t), qh Xh ()Xh () ,
para cada t (0, T ] y para cualesquiera q X() y qh Xh ().

Recordemos que el operador Ah + Bh Vh1 Bh es inversible; vease la demos-
tracion del Teorema 4.3.2. Entonces la teora clasica de sistemas lineales de ecua-
ciones diferenciales garantiza que existe una unica funcion Hh (t) X0,h () solu-
cion del sistema (5.2.2). Luego existe una unica funcion H h (t) solucion del Pro-
blema 5.2.1 y esta tiene la forma
Hh (t) = Hdh (t) + Hh (t) y h (t) = h (0) Vh1 Bh (Hh (t) Hh (0)) . (5.2.3)
Para estudiar la existencia y unicidad del multiplicador de Lagrange, intro-

ducimos el operador Fh : [0, T ] Xh () R caracterizado por
t
Fh (t, q) := h (t) H
l(s, q) c(t, Hh (s), q) ds a(H h (0), (q, 0)) . (5.2.4)
0
110 Captulo 5
En particular, para cada q X0,h () tenemos que Fh (0, q) = 0 y que

d
t Fh (t, q) = l(t, q) a(Hh (t), (q, 0)) c(t, Hh (t), q) = 0 t (0, T ) ,
dt
luego
Fh (t, q) = 0 t [0, T ] .
Recordando la denicion del espacio X0,h () y aplicando el Lema 4.3.1, con-
cluimos que para cada t [0, T ] existe un unico rh (t) Mh (d ) con
d(rh (t), q) = Fh (t, q) q Xh () . (5.2.5)
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.

En este apartado estudiamos el orden de convergencia del esquema semidis-
creto con respecto al Problema 5.1.3.
Teorema 5.2.2. Sean H y Hh las primeras componentes de las soluciones de
los Problemas 5.1.3 y 5.2.1, respectivamente. Supongamos que H pertenece al
espacio C 1 ([0, T ]; Hs (rot, ) X()) para algun s > 1/2 y que Hh (0) = I h H(0).
Entonces tenemos la siguiente estimacion de error:
T
sup
H(t)Hh (t)
0, + sup
(H(t)Hh (t))
1/2 +
HHh
2rot,c dt
2 2
t[0,T ] t[0,T ] H () 0

Ch sup
H(t)
2Hs (rot,) + sup
t H(t)
2Hs (rot,) .
t[0,T ] t[0,T ]
Demostracion. A continuacion, seguimos el razonamiento expuesto en [29, Teo-

rema 1.1]; de hecho, esta demostracion es analoga a la que hemos utilizado para
probar el Teorema 4.3.4.
En primer lugar, notese que el Lema 4.3.1 nos permite introducir una funcion
ph (t) Xh () tal que
D h ph (t) = D h (H(t) I h H(t)) , (5.2.6)
para todo t [0, T ]. Entonces Hdh (t) := ph (t) + I h H(t) cumple
d(m, Hdh (t)) = (Jd (t), m)0,d m Mh (d ) ,
para cada t [0, T ]. Descomponemos H Hh como H Hh = e1h e2h , siendo
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)

para todo t [0, T ]. Hemos denotado por

d
> 0 la norma de la forma bilineal
d(, ) y por > 0 la constante que aparece en el Lema 4.3.1.
Ademas, bajo las hipotesis de regularidad del teorema, podemos derivar en la
ecuacion (5.2.6) y as obtenemos que
D h (t ph (t)) = D h (t H(t) I h t H(t)) t [0, T ] .
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
a0 (t H(t), q) + 0 (t H(t)), Bq + c(t, H(t), q) = l(t, q) .
para cada funcion q X0 () y todo t (0, T ). Analogamente, la primera

ecuacion de (5.2.2) garantiza que
a0 (t Hh (t), q) + 0 h (t Hh (t)), Bq + c(t, Hh (t), q) = l(t, q) ,
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 () =
= a0 (t e1h (t), q) + c(t, e1h (t), q)+
+ 0 (t H(t)) h (t H(t)), Bq + 0 h (t e1h (t)), Bq ,
para cada funcion q X0,h () y todo t (0, T ). En particular, se cumple para

q := e2h (t) X0,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))+
+ 0 (t H(t)) h (t H(t)), Be2h (t) + 0 h (t e1h (t)), BHh (t) ,
para cada t (0, T ). Aplicando las propiedades (5.1.5), (4.2.6) y (4.3.16),
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 () .

Si integramos esta ecuacion en (0, t) (0, T ) y utilizamos (5.1.6) junto con la no

negatividad del operador Bh Vh1 Bh , resulta que
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 ()
Razonando de forma estandar, obtenemos la siguiente cota:
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 ()
Por lo tanto, utilizando la desigualdad triangular y el Teorema 2.3.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(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
Luego, aplicando (5.2.7) y (5.2.8), deducimos que
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
Ahora concluimos utilizando el Lema 4.3.3 y la estimacion del error de interpo-

lacion del Teorema 3.2.2.
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 ]
Demostracion. La primera ecuacion (5.1.8) garantiza que (t) = H(t) en

cada t [0, T ]. Ademas, la hipotesis sobre 0 junto con la propiedad (5.2.3)
implican que h (t) = h Hh (t) en todo t [0, T ]. Entonces, aplicando la desi-
gualdad triangular,

(t) h (t)
1/2,
H(t) h H(t)
1/2, +
h (H(t) Hh (t))
1/2, ,
para cada t [0, T ]. Notese que, utilizando (4.3.16),

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.
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
Demostracion. Introducimos el operador continuo F : [0, T ] X() R con

t
F(t, q) :=
l(s, q) c(t, h(s), q) ds a(H(t)
H(0), (q, 0)) ,
0
y recordemos que denimos una version discreta Fh : [0, T ] Xh () R en
(5.2.4). Notese que los multiplicadores r(t) M(d ) y rh (t) Mh (d ) satisfacen
las ecuaciones
d(r(t), q) = F(t, q) q X() ,
d(rh (t), q) = Fh (t, q) q Xh () ,
en c.t.p. t (0, T ). Estas propiedades sugieren introducir una funcion auxiliar

rh (t) Mh (d ) de modo que
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) := r(t)

rh (t) y e2h (t) :=
rh (t) rh (t) ,
en c.t.p. t (0, T ). A continuacion estudiamos las normas de e1h y de e2h en

L2 ((0, T ); L2 (d )).
Por un lado, utilizando el Lema 4.3.1 y la desigualdad triangular,

d

e1h (t)
0,d (1 + ) nf
r(t) s
0,d ,
sMh (d )
116 Captulo 5
en c.t.p. t (0, T ). Ademas, bajo la hipotesis de regularidad sobre r, tenemos

que r(t) M(d ) Hr (d ) en c.t.p. t (0, T ) y entonces la propiedad (4.3.3) y
el Lema 4.1.3 implican que
rot Mh r(t) = I RT
h (rot Mr(t)) = I h (r(t)) Mh (d ) ,
RT
en c.t.p. t (0, T ). Luego

1

e1h (t)
0,d (1 + )
r(t) I RT
h (r(t))
0,d , (5.2.9)

en c.t.p. t (0, T ).
Por otro lado, segun el Lema 4.3.1,
1 |d(
rh (t) rh (t), q)|

e2h (t)
0,d sup
qXh (), q=0
q
rot,
1 |F(t, q) Fh (t, q)|

sup ,
qXh (), q=0
q
rot,
para todo t [0, T ]. Observemos que
|F(t, q) Fh (t, q)| C (H

h + h )
q
rot, ,

para cualesquiera t [0, T ], q Xh (), y donde
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 ]
As que, aplicando el Teorema 5.2.2 y el Corolario 5.2.3, resulta que

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 ]
para cada t [0, T ].
Finalmente, utilizando la desigualdad triangular para r rh = e1h + e2h junto

con las cotas (5.2.9) y (5.2.10), tenemos que
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 ]
en c.t.p. t (0, T ). Por tanto concluimos el resultado aplicando la estimacion del

error de interpolacion (4.3.2).
5.3. Forma matricial del esquema semidiscreto
El objetivo de este parrafo es reescribir el Problema semidiscreto 5.2.1 en

forma matricial. Para ello utilizamos las bases de X h () y el sistema generador
de Mh (d ) introducidas en el Parrafo 4.4. De hecho, seguimos un razonamiento
analogo al all expuesto, si bien ahora todos los terminos son reales y ademas la
matriz C, las incognitas y el segundo miembro dependen del tiempo.
Mas concretamente, expresamos las incognitas del Problema 5.2.1 en termi-
nos de las bases de los espacios Xh () y h ():

Hh (t) = hE (t) qE + hv (t) v y h (t) = F (t) F ;
EA0h () vVh ()\{v0 } F Fh ()\{F0 }
y del sistema generador de Mh (d ):

rh (t) = rE (t) (rot qE )|d .
EAh (d )
118 Captulo 5
Consideramos las matrices reales

1
A
E,E := ( qE , qE )0, , CE,E (t) := c(t, qE , qE ) ,
0 0

A
E,v := ( qE , v )0, , Av,v := ( v , v )0, ,
0 0
1
Rv,v := (rot v , V (rot v ))0, , BF,v := (F , ( I K)v )0, ,
2
VF,F := (F , VF )0, ,
para cualesquiera aristas interiores E, E A0h () ; vertices sobre la frontera

v, v Vh () \ {v0 } y caras de la frontera F, F Fh () \ {F0 } . Ademas, intro-
ducimos la matriz
DE,E := (rot qE , rot qE )0,d ,
para cualesquiera E A0h () y E Ah (d ).

Con esta notacion, el Problema 5.2.1 consiste en determinar los vectores
h (t) := (hE (t))EA0 () , h (t) := (hv (t))vVh ()\{v0 } ,

h
(t) := (F (t))F Fh ()\{F0 } , r(t) := (rE (t))EA0 (d ) ,

h
solucion del sistema de ecuaciones diferenciales ordinarias

A A 0 D h C 0 0 0 h f

d (A ) A +R B 0 h 0 0 0 0 h 0
+ = , (5.3.1)
dt
0 B

V 0 0 0

0 0 0

0 0 0 0 r D 0 0 0 r f d

1
f (t) := (l(t, qE ))EA0 () y f d(t) := (Jd (t), rot qE )0,d .
0 h
Apendice A
Integracion numerica
Tal y como senalamos en el Parrafo 3.3.3, a la hora de implementar efectiva-

mente el sistema lineal (3.3.3), necesitamos estimar las integrales involucradas en
el ensamblaje de la matriz y del segundo miembro del sistema. Lo mismo sucede
con los sistemas (4.4.1) y (5.3.1).
En este apendice estudiamos las integrales de contorno involucradas en el
ensamblaje del sistema (3.3.3). Mas concretamente, las evaluamos de forma exacta
o las aproximamos numericamente con formulas de cuadratura que disenamos al
efecto.
Por un lado, tenemos

1 (1, v )0,F (1, v )0,F0 (K 1, v )0,F (K 1, v )0,F0
BF,v = ,
2 |F | |F0 | |F | |F0 |
para cualesquiera cara F Th () \ {F0 } y vertice v Vh () \ {v0 } sobre la fron-

tera. Notese que podemos calcular (1, v )0,F de forma exacta. Ademas, podemos
descomponer (K 1, v )0,F como

(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
Por otro lado, tenemos

dSx dSy
Rv,v = (rot v )|F (rot v )|F ,
F F 4 |x y|
F,F Th ()
para cualesquiera vertices v, v Vh () \ {v0 } sobre la frontera, y ademas

1 dSx dSy 1 dSx dSy
VF,F = +
|F | |F | F F 4 |x y| |F0 | F0 F0 4 |x y|
2

1 dSx dSy 1 dSx dSy

,
|F0 | |F | F0 F 4 |x y| |F0 | |F | F0 F 4 |x y|
para cualesquiera caras F, F Th () \ {F0 } sobre la frontera.

En consecuencia, para ensamblar las matrices B, R y V necesitamos apro-
ximar integrales de la forma

(y x) ny dSx dSy
dSx p(y) dSy y , (A.0.1)
F F |x y| 3
F F |x y|
para F, F Th () y donde p P1 (F ). Es importante observar que estas inte-

grales presentan singularidades cuando F y F tienen puntos en comun. Por esta
razon, aproximamos las integrales (A.0.1) con formulas de cuadratura estandar
unicamente cuando las caras F y F esten sucientemente alejadas. En caso con-
trario, hacemos una integracion semianaltica; es decir, realizamos las dos etapas
siguientes:
1. En primer lugar, estudiamos las integrales interiores de (A.0.1). Si es posi-

ble, las calculamos de forma exacta. En caso contrario, eliminamos sus
singularidades y entonces las aproximamos con formulas de cuadratura
estandar.
2. En segundo lugar, estudiamos las integrales exteriores de (A.0.1). Como en

el paso anterior eliminamos sus posibles singularidades, ya podemos apro-
ximarlas utilizando la formula de Gauss de orden 3 para triangulos:

|F |
f (x) dSx f (z F1 ) + f (z F2 ) + f (z F3 ) f C(F ) ,
F 3
Integracion numerica 121
con los nodos

6 z F1 = 4 v F1 + v F2 + v F3 ,

6 z F2 = v F1 + 4 v F2 + v F3 ,

6 zF
3 = v F1 + v F2 + 4 v F3 ,
donde v Fi (i = 1, 2, 3) denotan los vertices del triangulo F .
Aproximacion de las integrales singulares
El objetivo de este parrafo es resolver la primera etapa del metodo de inte-

gracion semianaltica. Es decir, estudiamos

(y x) ny 1
I1 (y) := dSx y I2 (y) := dSx ,
F |y x| 3
F |y x|
para cada vector y R3 y cualquier triangulo F R3 . Por simplicidad de

notacion, identicamos los vectores de R3 con los puntos del espacio afn asociado.
Sea hy := (py y) nF R y denimos py := y + hy nF , que representa la
proyeccion de y sobre el plano que contiene al triangulo F ; vease la Figura A.1.
y
nF
F3
F1 py
F2
Figura A.1: Proyeccion py

122 Apendice A
Notese que y = hy nF + py , luego

hy nF ny (py x) ny
I1 (y) = 3/2 dSx + dSx , (A.0.2)
2 3/2
y + |py x|
F h2 y + |py x|
2 F h2

1
I2 (y) = dSx . (A.0.3)
2 1/2
F h2y + |py x|
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).
Cuando y esta en el plano que contiene a F , es claro que hy = 0 y que

ny (y x) = 0, de forma que I1 (y) = 0. Por lo tanto, en lo que sigue, suponemos
sin perdida de generalidad que y = py .
Comenzamos estudiando el segundo sumando de (A.0.2). Para ello, descom-
ponemos la integral utilizando los tres triangulos F1 , F2 y F3 determinados por
py y los vertices de F tomados de dos en dos; vease la Figura A.1. De esta forma,
3
(py x) ny (py x) ny
3/2 dSx = m dSx ,
h2y + |py x|2 2 3/2
F m=1 y + |py x|
Fm h 2
donde m = 1. En consecuencia, es suciente aproximar

(py x) ny
dSx
2 3/2
F h2y + |py x|
para un triangulo F que tiene a py como vertice. Descomponemos nuevamente

esta integral proyectando py sobre el lado opuesto de F . Es decir, si F tiene por
vertices py , v 1 y v 2 , entonces denimos q y como la proyeccion de py sobre el lado
{s v 1 + (1 s) v 2 ; s [0, 1]}. Para m = 1, 2, representamos por Fm el triangulo
de vertices py , q y y v m ; vease la Figura A.2 a continuacion.
Con esta notacion, resulta que
2
(py x) ny (py x) ny
3/2 dSx =
m dSx ,
F h2 y + |py x|
2
m=1 FAm h2y + |py x|
2 3/2
v1
qy
v2
F1
F2
py
Figura A.2: Descomposicion de F
m = 1. Por lo tanto, basta aproximar

siendo

(py x) ny
3/2 dSx
F hy + |py x|2
2
cuando F es un triangulo rectangulo con vertices py , qy y v tales que
(py qy ) (v qy ) = 0 y py y = hy nF . (A.0.4)
Tomando coordenadas polares con centro en py , obtenemos que

$ %
(py x) ny cos (py x) ny
dSx = r dr d ,
2 3/2 (h2 + r2 )3/2
y + |py x|
F h2 0 0
donde denotamos := |qy py | y := (qy py , v py ); vease la Figura A.3.

Descomponemos el vector ny en sus componentes normal y tangencial como
y ; vease la Figura A.4.
ny = (ny nF ) nF + n

Si tomamos := ( ny , q py ), entonces
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

Figura A.3: Coordenadas polares con centro en py
Ademas, integrando por partes, tenemos que

& '(
r ((

cos r2 r
dr = 1/2 + arg sinh |h | (( .
0 (h2y + r2 )3/2 h2y + r2 y
r= cos
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
ny (ny nF ) nF
py
y
n
Figura A.4: Descomposicion del vector ny
Haciendo una descomposicion del triangulo F analoga a la anterior, reduci-

mos el calculo del primer sumando de (A.0.2) al caso de un triangulo rectangulo
F de vertices py , qy y v que satisfagan (A.0.4). Entonces, tomando coordenadas
polares, resulta que
$
%

hy cos hy r
3/2 dSx = dr d .
F h2y + |py x|2 0 0 (h2y + r2 )3/2
Ahora integramos de forma explcita en la variable r:

cos hy r hy
dr = 1/2 + signo(hy ) ,
(h2y 2
+r ) 3/2 2
0
h2y + cos 2
donde
h
y si hy = 0 ,
signo(hy ) := |hy |

0 si hy = 0 .
Entonces tenemos que

hy
|hy |
dSx = signo(h y ) d .
F (h2y + |p x|2 )3/2 0 (h2y + 2 + 2 tan2 )1/2
126 Apendice A
Para calcular la integral en la variable , seguimos la estrategia propuesta

en [30] y hacemos el cambio de variable

tan u = 1/2 tan ,
h2y + 2
cuyo jacobiano es
1/2
h2y + 2 1 + tan2 u
d = du .
1 + tan2
De esta forma, resulta que
1/2

|hy | |hy | 1 + tan2 u
1/2 d =
h2y +2
du ,
0 h2y + 2 + 2 tan2 0 1+ 2
tan2 u
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
Haciendo el nuevo cambio de variable v = sin u y deniendo := sin ,

|hy | |hy | 1 |hy |

1/2
d = 2 dv = arg tan .
h2y + 2 + 2 tan2 0 |h |
0 1+ y v
Ahora aplicamos la relacion

tan
= sin = 1/2 ,
h2y + 2 + 2 tan2
y as deducimos que

|hy | |hy | tan
1/2 d = arg tan 1/2 ;
0 h2y + 2 + 2 tan2 h2y + 2 + 2 tan2
equivalentemente,

|hy | |hy | sin
1/2 d = arg sin 1/2 .
0 h2y + 2 + 2 tan2 h2y + 2
Por lo tanto, tenemos que

$ %
hy |hy | sin
3/2 dSx = signo(hy ) arg sin 1/2 .
F h2y + |p x|2 h2y + 2
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
Entonces, haciendo cambios de variable analogos a los anteriores, resulta que

1/2
1 h2y + 2 + 2 tan2 + tan
1/2 dSx = lg 1/2
F h2y + |py x|2 h2y + 2
hy sin
+ hy arg sin 1/2 hy .
h2y + 2 + 2 tan2
Bibliografa
[1] A. Alonso, A mathematical justication of the low-frequency heteroge-

neous time-harmonic Maxwell equations, Math. Models Methods Appl. Sci.
9 (1999), no. 3, 475489.
[2] A. Alonso, A. Valli, An optimal domain decomposition preconditioner for

low-frequency time-harmonic Maxwell equations, Math. Comp. 68 (1999),
607631.
[3] A. Alonso, P. Fernandes, A. Valli, The time-harmonic eddy current

problem in general domains: solvability via scalar potentials. UTM611, Di-
partimento di Matematica, Universita degli Studi di Trento, 2001.
[4] A. Alonso, A. Valli, A domain decomposition approach for heterogeneus

time-harmonic Maxwell equations, Comput. Methods Appl. Mech. Engrg.
143 (1997), 97112.
[5] A. Alonso, R. Hiptmair, A. Valli, Mixed nite element approximation

of eddy current problems, IMA J. Numer. Anal. 24 (2004), 255271.
[6] H. Ammari, A. Buffa, J.-C. Nedelec, A justication of eddy currents

model for the Maxwell equations, SIAM J. Appl. Math. 60 (2000), 1805
1823.
[7] C. Amrouche, C. Bernardi, M. Dauge, V. Girault, Vector poten-

tials in three-dimensional nonsmooth domains, Math. Methods Appl. Sci. 21
(1998), 823864.
129
130 Bibliografa
[8] A. Bermudez, R. Rodrguez, P. Salgado, A nite element method with

Lagrange multipliers for low-frequency harmonic Maxwell equations, SIAM
J. Numer. Anal. 40 (2002), 18231849.
[9] A. Bermudez, R. Rodrguez, P. Salgado, Modeling and numerical

treatment of boundary data in an eddy currents problem, C. R. Acad. Sci.
Paris, Serie I, 335 (2002), 633638.
[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.
[11] A. Bossavit, Two dual formulations of the 3D eddy-currents problem,

COMPEL 4 (1985), 103116.
[12] A. Bossavit, A rationale for edge elements in 3D eld computations, IEEE

Trans. Mag., 24 (1988), 7479.
[13] A. Bossavit, The computation of eddy-currents in dimension 3 by using

mixed nite elements and boundary elements in association, Math. Comput.
Modelling, 15 (1991), 3342.
[14] A. Bossavit, Electromagnetisme, en vue de la modelisation, Springer-

Verlag, Paris Berlin Heidelberg, 1993.
[15] A. Bossavit, Computational Electromagnetism: Variational Formulations,

Complementarity, Edge Elements, Academic Press, SanDiego, 1997.
[16] A. Buffa, P. Ciarlet, Jr., On traces for functional spaces related to

Maxwells equation. Part I: An integration by parts formula in Lipschitz
polyhedra, Math. Meth. Appl. Sci. 24(1) (2001), 930.
[17] A. Buffa, Hodge decompositions on the boundary of a polyhedron: the

multi-connected case, Math. Meth. Model. Appl. Sci. (2001) Vol. 11, No. 9,
pp. 14911504.
Bibliografa 131
[18] A. Buffa, Traces for functional spaces related to Maxwell equations: an

overview, Proceedings of GAMM-Workshop, Kiel, 2001.
[19] A. Buffa, M. Costabel, Ch. Schwab, Boundary element methods for

Maxwells equations on non-smooth domains, Numer. Math. (2002) Vol. 92,
No. 4, pp. 679710.
[20] A. Buffa, M. Costabel, D. Sheen, On traces for H(rot, ) in Lipschitz

domains, IAN-CNR 1185 (2000), Universidad de Pavia.
[21] A. Buffa, R. Hiptmair, Galerkin boundary element methods for electro-

magnetic scattering. Topics in computational wave propagation, Lect. Notes
Comput. Sci. Eng. 31 Springer, Berlin (2003) 83124.
[22] H. Brezis, Analisis Funcional, Alianza Universidad Textos, Madrid, 1984.
[23] E. Casas, Introduccion a las ecuaciones en derivadas parciales, Servicio de

Publicaciones, Universidad de Cantabria, 1992.
[24] M. Cessenat, Mathematical methods in electromagnetism: linear theory and

applications, World Scientic, Singapur, 1996.
[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.
[26] R. Courant, D. Hilbert, Methods of mathematical physics, Vol. I, Inter-

science Publishers, Nueva York, 1953.
[27] R. Dautray, J.L. Lions, Analyse mathematique et calcul numerique pour

les sciences et les techniques, Volume 5, Masson, Paris Milan Barcelone,
1988.
[28] L. H. Dixon, Jr., Eddy current losses in transformer windings and circuit
wiring, Unitrode Coorporation.
132 Bibliografa
[29] V. Girault, P. A. Raviart, Finite element approximation of the Navier-

Stokes equations: theory and algorithms, Springer, Berlin Heidelberg New
York, 1986.
[30] J. Giroire, Mise en vre de methodes delements nis de frontiere, D.E.A.

dAnalyse Numerique, Universidad Pierre et Marie Curie, 19871988.
[31] J.L. Guermond, P.D. Minev, Mixed nite element approximation of an

MHD problem involving conducting and isolating regions: the 3D case, Nu-
mer. Methods Partial Dierential Equations, 19(6) (2003) 709731.
[32] R. Hiptmair, Symmetric coupling for eddy current problems, Technical

Report 148, Soderforschungsbereich 382, Universidad de Tubigen, 2001.
[33] M. T. Holmberg, Three-dimensional nite element computation of ed-

dy currents in synchronous machines, Technical Report 350, Universidad de
Gotenborg, 1998.
[34] C. Johnson, J. C. Nedelec, On the coupling of boundary integral and

nite element methods, Math. of Comp. 35 (1980), 10631079.
[35] W. McLean, Strongly elliptic systems and boundary integral equations,

Cambridge University Press, 2000.
[36] S. Meddahi, An optimal iterative process for the Johnson-Nedelec method

of coupling boundary and nite elements, SIAM Journal on Numerical Anal-
ysis 35 (1998), 13931415.
[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.
[38] S. Meddahi, J. Valdes, O. Menendez and P. Perez, On the coupling

of boundary integral and mixed nite element methods, J. Comput. Appl.
Math. 69 (1996), 127141.
Bibliografa 133
[39] S. Meddahi, A mixed-FEM and BEM coupling for a two-dimensional eddy

current problem, SIAM Numer. Funct. Anal. and Optimiz. 22 (5&6) (2001),
675696.
[40] S. Meddahi, A. Marquez, A combination of spectral and nite elements

methods for an exterior problem in the plane, Applied Numerical Mathemat-
ics 43 (3) (2002), 275295.
[41] S. Meddahi, V. Selgas, A mixedFEM and BEM coupling for a three

dimensional eddy current problem, Matematical Modelling and Numerical
Analysis, 37(2) (2003), 291318.
[42] S. Meddahi, A. Marquez, V. Selgas, Computing acoustic waves in an

inhomogeneous medium of the plane by a coupling of spectral and nite
elements, SIAM J. Numer. Anal., 41 (5) (2003), 17291750.
[43] S. Meddahi, A. Marquez, V. Selgas, A new BEM-FEM coupling strat-

egy for two dimensional uid-solid interaction problems, J. Comput. Phys.
199 (1) (2004), 205220.
[44] S. Meddahi, V. Selgas, An H-based FEM-BEM formulation for a time

dependent eddy current problem, Technical Report 0507 (2005), Departa-
mento de Matematicas, Universidad de Oviedo.
[45] P. Monk, Finite element methods for Maxwells equations, Clarendon Press,
Oxford, 2003.
[46] J. C. Nedelec, Acoustic and electromagnetic equations. Integral represen-

tations for harmonic problems, Springer-Verlag, New York, 2001.
[47] J. C. Nedelec, Mixed nite elements in R3 , Numer. Math. 35 (1980),

315341.
[48] W. R. Smythe, Static and dynamic electricity, McGraw-Hill, New York,

1950.
134 Bibliografa
[49] E. P. Stephan, M. Maischak, A posteriori error estimates for fem-bem

couplings of three-dimensional electromagnetic problems, Comput. Methods
Appl. Mech. Engrg. 194 (2005), no. 2-5, 441452.
[50] M. Teltscher, M. Maischak, E. P. Stephan, A residual error estimator

for an electromagnetic fem-bem coupling problem in R3 , Technical Report
52 (2003) Inst. Angew. Mathematik, Universitat Hannover.
[51] M. Teltscher, M. Maischak, E. P. Stephan, A hierarchical error es-

timator for an electromagnetic scattering problem coupling fem and bem in
R3 , Technical Report 53 (2003) Inst. Angew. Mathematik, Universitat Han-
nover.
[52] M. Teltscher, M. Maischak, E. P. Stephan, A hierarchical error esti-

mator for an eddy current fem-bem coupling problem, Technical Report 56
(2003) Inst. Angew. Mathematik, Universitat Hannover.
[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.
[55] H. Whitney, Geometric Integration Theory, Princeton University Press,

Princeton, 1957.
[56] K. Yosida, Functional Analysis, SpringerVerlag, Berlin Heidelberg, 1980.
[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.

Análisis Matemático y Numérico de Las Ecuaciones de Maxwell Cuasiestáticas - Virginia Selgas Buznego

Uploaded by

Document Information

Original Description:

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Análisis Matemático y Numérico de Las Ecuaciones de Maxwell Cuasiestáticas - Virginia Selgas Buznego

Uploaded by

Copyright:

Available Formats

UNIVERSIDAD DE OVIEDO

ANALISIS MATEMATICO Y NUMERICO

Oviedo, febrero de 2006

Fdo. D. Benjamn Dugnol Alvarez

que la presente memoria, titulada Analisis matematico y numerico de las ecua-

Oviedo, febrero de 2006

Fdo. D. Salim Meddahi

Este trabajo ha sido subvencionado por el Ministerio de Educacion, Cultura

Hasta el siglo XIX, los efectos electricos y magneticos se consideraban feno-

con modelos simplicados cuya resolucion numerica es menos costosa. En parti-

la correspondiente region exterior no acotada, donde las ecuaciones son

Entonces el problema es equivalente a un problema de transmision entre ambas

frontera de acoplamiento la propia del conductor y opta por una formulacion

tor) y su exterior no acotado. A continuacion, introducimos un potencial escalar

magnetico en el dielectrico que rodea al conductor.

1. Modelo de eddy currents 1

2.7.1. Operadores integrales sobre supercies . . . . . . . . . . . . 27

3. Eddy currents en conductores simplemente conexos 37

4. Eddy currents en conductores no simplemente conexos 59

5. Eddy currents de evolucion 95

A. Integracion numerica 119

Modelo de eddy currents

El comportamiento de un campo electromagnetico esta regido por las ecua-

La notacion utilizada es la estandar:

Estas funciones son reales y dependen del tiempo t > 0 y la posicion x R3 .

y la ley de Ohm generalizada

donde J representa la densidad de la fuente de corriente. Segun estas ecuaciones,

En efecto, las ecuaciones constitutivas (1.0.2) describen propiedades intrnsecas

1.1. Modelo de eddy currents

donde j (j = 1, . . . , N ) representan las componentes conexas de . Ademas, n

H(0, x) = H0 (x) y E(0, x) = E0 (x) en R3 , (1.1.2)

as como las condiciones asintoticas

En efecto, el problema fsico (1.0.11.0.3) se corresponde con = 1 y el problema

En lo que sigue consideramos unicamente materiales sin memoria que sean

la permitividad electrica es tal que

0 < 0 (x) 1 en c.t.p. x c ,

la permeabilidad magnetica satisface

0 < 0 (x) 1 en c.t.p. x c ,

la conductividad electrica cumple

0 < 0 (t, x) 1 en c.t.p. (t, x) (0, T ) c ,

para algunas constantes 0 , 1 , 0 , 1 , 0 , 1 R.

1.2. Modelo de eddy currents en regimen armonico

A diferencia de lo que sucede para el problema de evolucion, la modelizacion

Figura 1.1: Geometra del problema

En esta situacion, la densidad de la corriente alterna presenta la forma

J(t, x) = Re[et j(x)] ,

donde denota la frecuencia angular. Ademas, j es un campo complejo que

E(t, x) = Re[et e(x)] y H(t, x) = Re[et h(x)] .

Por lo tanto, el problema (1.1.1) es equivalente a determinar las amplitudes com-

Para cerrar este captulo, senalamos que el problema (1.2.11.2.2) es util en

A lo largo de esta memoria, las letras en negrita representan vectores o

para cualesquiera vectores a, b, c C3 y funciones vectoriales u, v suciente-

que este inducida por una norma vectorial.

2.1. Espacios de Sobolev clasicos

Denicion 2.1.1. Decimos que O es Lipschitz continua si para cada x O

para el que existen

un vector a Rn con x U := {y Rn ; |yj | < aj j = 1, . . . , n},

Denotamos por D(O) y D(Rn ) los espacios de las funciones indenidamente

Para cada p [1, ), consideramos el espacio Lp (O) de funciones f : O C

Dado un multindice = (1 , . . . , n ) Nn , escribimos

A continuacion introducimos los espacios de Sobolev clasicos en el dominio O:

2.1.1. Indice entero no negativo

que es la complecion de D(O) con respecto a la norma

f, gs,O = (f, g)0,O f L2 (O), g H0s (O) .

H0s (O) L2 (O) H s (O) .

, s, = (, )0, L2 (), H s () .

(u, v)0, + (div u, v)0, = n u, v1/2, , (2.3.1)

(u, rot v)0, (rot u, v)0, = u, v, u, v H1 () . (2.3.2)

(u, rot v)0, (rot u, v)0, = u, v, , (2.3.3)

(u, rot v)0, = (u), v, .

(u, rot v)0, = (u, div(rot v))0, + u, n (rot v)1/2, = 0 .