INVESTIGACI

ON REVISTA MEXICANA DE F

ISICA 51 (3) 236242 JUNIO 2005

Un algoritmo no iterativo para la tomografa de capacitancia el ectrica
A. Fraguela
a
, J. Oliveros
a
, L. Cervantes
a
, M. Morn
a
, and S. G omez
b
a
BUAP, Puebla
b
IIMAS UNAM M exico
e-mail: fraguela@fcfm.buap.mx, oliveros@fcfm.buap.mx,
lcervant@fcfm.buap.mx, mmorin@ece.buap.mx,
susanag@servidor.unam.mx
Recibido el 23 de enero de 2004; aceptado el 26 de enero de 2005
Se describe un nuevo m etodo para resolver el problema inverso 2-D de identicaci on de par ametros para la reconstrucci on de distribuciones
de la permitividad en una secci on transversal de una tubera que contiene un uido multif asico diel ectrico, usando tomografa de capacitancia
el ectrica. Este m etodo no es iterativo y consiste en desacoplar el problema original en cinco problemas de menor complejidad, para cada uno
de los cuales existen resultados que permiten su tratamiento y an alisis. El m etodo toma en cuenta caractersticas importantes del problema:
su no linealidad, el mal planteamiento y la necesidad de disponer de resultados de regularizaci on justicados te oricamente, ya que los errores
en los datos podran no permitir obtener im agenes de la secci on del ujo con la precisi on deseada. En este trabajo se estudian tres de los
cinco problemas del m etodo propuesto, para cada uno de los cuales se establecen resultados para los algoritmos empleados en cada uno de
dichos problemas.
Descriptores: Tomografa de capacitancia el ectrica; identicaci on de distribuci on de permitividades; mal planteado; regularizaci on.
A novel method is described to solve the 2D inverse parameter identication problem, for image reconstruction of permittivity distribution in
the cross section of a pipeline that contain multiphase dielectric uid, using Electrical Capacitance Tomography. This method is non-iterative
and consists of the decomposition of the inverse problem in several simpler problems, each one of them can be solved with a numerically
stable procedure, with the necessary theoretical justication. The method takes into account important characteristics of the problem: its
non-linearity, its ill posedness and the need to perform a theoretically justied regularization because the errors in data may not allow getting
the images of the cross section with all the desired precision. In this paper three of the ve problems of the novel method are studied and
results for algorithms used for each one are established.
Keywords: Capacitance tomography; identication of permittivity distribution; ill posed; regularization.
PACS: 87.63.Pn
1. Introducci on
La tomografa de capacitancia el ectrica (TCE) ha sido pro-
bada recientemente para obtener im agenes en una secci on
transversal de una tubera en varios problemas industriales
que involucran materiales diel ectricos. En particular, estamos
interesados en visualizar una secci on transversal de un ujo
multif asico en tuberas, para poder determinar la distribuci on
de permitividades y, por lo tanto, la distribuci on de las fases.
Cuando la tubera est a compuesta de un material diel ectri-
co y a su alrededor se coloca un arreglo de electrodos que
act uan como supercies equipotenciales, jando uno de ellos
como referencia se pueden medir las capacitancias mutuas
entre dicho electrodo y los restantes. Para un electrodo arbi-
trario E denotemos mediante C
E
la capacitancia mutua en-
tre dicho electrodo y el electrodo de referencia. Entonces la
relaci on entre la capacitancia C
E
, la distribuci on de permi-
tividades (x, y) y el potencial V generado por el campo de
desplazamiento el ectrico, puede expresarse como
C
E
=
1
V
_
S
(z)
V (z)
n
ds, (1)
donde S es la supercie del electrodo E. A partir de la Ec. (1)
se obtiene una relaci on funcional entre las capacitancias mu-
tuas C medidas en el arreglo de electrodos al variar el elec-
trodo de referencia y la distribuci on de permitividades en la
secci on transversal:
C = F(). (2)
Usando esta relaci on es posible desarrollar m etodos al-
ternativos a n de resolver el problema inverso de determinar
la permitividad a trav es de las mediciones de capacitancias.
Sin embargo, la soluci on del problema (2) tiene las siguientes
dicultades:
1. Esta relaci on es altamente no lineal.
2. El n umero de mediciones de capacitancia independien-
tes N(N 1)/2, donde N es el n umero de electrodos,
es mucho menor que el orden de la discretizaci on re-
querida para identicar la distribuci on de permitivida-
des y de esta forma el problema discretizado est a inde-
terminado, por lo cual su soluci on puede no ser unica.
3. Cualquier m etodo que se utilice para obtener una so-
luci on particular ser a inestable, debido a que este pro-
blema de identicaci on es sensible al error en las me-
diciones.
De aqui se concluye que cualquier m etodo que intente
resolver este problema debe considerar su no linealidad y
debe incluir t ecnicas de regularizaci on a n de brindar una
soluci on num ericamente estable. En la Ref. 1 se muestra el
UN ALGORITMO NO ITERATIVO PARA LA TOMOGRAF

IA DE CAPACITANCIA EL

ECTRICA 237
estado del arte del problema de la TCE y se observa que
los m etodos que linealizan el problema, olvidando su com-
portamiento no lineal, han reportado resultados muy malos.
Adem as, los m etodos iterativos necesitan resolver un proble-
ma de contorno en cada iteraci on, lo cual resulta en un costo
computacional elevado. Algunos problemas sobre la elecci on
del par ametro de regularizaci on, cuando este problema inver-
so es resuelto con el m etodo tradicional de mnimos cuadra-
dos para lograr el mejor ajuste entre la expresi on te orica de
la capacitancias y los datos experimentales, pueden hallarse
en la Ref. 2. Una descripci on detallada sobre la necesidad de
proponer un m etodo alternativo no iterativo para resolver este
problema inverso, puede hallarse en la Ref. 3.
Este trabajo est a organizado como sigue: En la Sec. 2, se
describe el modelo y el problema inverso de identicaci on de
la permitividad; en la Sec. 3 se realizan algunas suposiciones
adicionales sobre las caractersticas del ujo; en la Sec. 4 se
describe la nueva metodologa la cual est a basada en el desa-
coplamiento del problema original en cinco problemas, para
cada uno de los cuales existe teora sucientemente desarro-
llada y justicada para su tratamiento; en la Sec. 5 se efect ua
una simplicaci on del problema al desacoplar una subregi on
anular del area de estudio; en la Sec. 6, se estudia el proble-
ma de Cauchy para la ecuaci on de Laplace en un anillo; en
la Sec. 7 se estudia el problema de recuperar la permitividad
usando los resultados de los problemas anteriores del desaco-
plamiento y se muestra un ejemplo num erico. Las conclusio-
nes se dan en la Sec. 8.
2. El modelo
En nuestro problema la conguraci on de la secci on transver-
sal est a formada por tres crculos conc entricos que determi-
nan tres regiones
k
, k = 1, 2, 3 (ver Fig. 1). Dentro del
crculo interior
1
(con radioR
1
) se tiene un ujo multif asi-
co con una permitividad desconocida
1
(x, y), mientras que
en las regiones anulares
2
y
3
, con radios exteriores R
2
y
R
3
, se tienen materiales con permitividades constantes y co-
nocidas
2
,
3
. Se considera un arreglo de N (8 a 16) elec-
trodos contiguos S
j
colocados de manera equidistante sobre
FIGURA 1.
la supercie del circulo intermedio. El potencial V
(i)
gene-
rado en esta conguraci on por el campo de desplazamien-
to el ectrico, cuando los electrodos son considerados como
supercies equipotenciales con potencial igual a uno en un
electrodo de referencia S
i
y con el resto de los electrodos S
j
,
j = i, j {1, . . . , N} conectados a tierra, tiene tres compo-
nentes V
(i)
1
, V
(i)
2
y V
(i)
3
asociadas, de manera natural, a cada
una de las regiones
k
, k = 1, 2, 3.
La pantalla se modela como una lnea equipotencial cir-
cular, que corresponde a la frontera exterior de
3
, con po-
tencial igual a cero. El modelo que satisfacen los potenciales
V
(i)
k
, i = 1, . . . , N y k = 1, 2, 3 es el siguiente:
(
k
(z)V
(i)
k
) = 0 en
k
k = 1, 2, 3, (3)
donde z = (x, y) y se cumplen las condiciones de frontera
V
(i)
1
(z) = V
(i)
2
(z),
1
(z)
V
(i)
1
n
1
(z) =
2
V
(i)
2
n
1
(z) (4)
sobre |z| = R
1
, donde n
1
es el vector normal unitario exte-
rior a este crculo.
Adicionalmente a las Ecs. (4), se tiene
V
(i)
3
(z)=V
(i)
2
(z)=
i
en |z| =R
2
y V
(i)
3
(z)=0 en |z| =R
3
. (5)
donde
i
es una funci on denida sobre |z| = R
2
que, en
coordenadas angulares, tiene la expresi on

(i)
() =
_

_
0 si
2(i1)
N


0
2
,

0
+ 1 si
2(i 1)
N


0
2

2(i 1)
N
+

0
2
,
1 si
2(i 1)
N
+

0
2

2i
N


0
2
,

+
i

0
+ 1 si
2i
N


0
2
<
2i
N
+

0
2
,
0 si
2i
N
+

0
2
;
(6)
Rev. Mex. Fs. 51 (3) (2005) 236242
238 A. FRAGUELA, J. OLIVEROS, L. CERVANTES, M. MOR

IN, AND S. G

OMEZ
con

i
=
2(i 1)
N
+

0
2
y

+
i
=
2i
N


0
2
.
La capacitancia mutua entre el i- esimo electrodo, consi-
derado como electrodo de referencia, y el j- esimo electrodo
con j = i, est a dada por
C
i j
= K
_
S
j
(z)
V
(i)
n
2
ds, (7)
donde n
2
es el vector unitario normal exterior al crculo de
radio R
2
y K es una constante con unidades de potencial in-
verso. Se observa que es posible obtener de (7) la relaci on

ij
def
=
_
S
j
V
(i)
2
n
2
ds =
1

2
_
_
_

3
_
Sj
V
(i)
3
n
2
ds
C
i,j
K
_
_
_
. (8)
Del hecho de que C
i j
= C
j i
y que, como veremos en la
Sec. 4, el c alculo de V
(i)
3
puede realizarse de forma indepen-
diente en el modelo (3)-(5), se considera el problema inverso
de la manera siguiente:
Dados los 1/2N(N 1) valores v
ij
(i, j = 1, 2, . . . , N)
(i < j), obtenidos usando los datos de capacitancias (7), de-
terminar de forma aproximada el valor de
1
(x, y) teniendo
el cuenta el modelo (3)-(5).
3. Suposiciones adicionales
El m etodo tradicionalmente usado para resolver el problema
inverso de identicaci on consiste en minimizar un funcional
de mnimos cuadrados no lineales que depende de
1
, donde
se minimiza la diferencia entre los valores te oricamente cal-
culados y las mediciones experimentales de las capacitancias
mutuas.
La principal desventaja de esta metodologa es que en
cada paso de la iteraci on para resolver el problema de mi-
nimizaci on debe resolverse un problema de contorno del ti-
po (3)-(5), lo cual implica un alto costo computacional. Por
otra parte, debido a la no linealidad del funcional que debe
minimizarse y al mal planteamiento del problema de identi-
caci on, no hay un criterio fundamentado para obtener una
soluci on num erica estable de este proceso de optimizaci on,
cuando no hay informaci on a priori sobre el tipo de ujo [2].
Por esta raz on, en el presente trabajo se propone un nuevo
m etodo, el cual utiliza un algoritmo no iterativo, bajo la supo-
sici on adicional de que el campo de desplazamiento el ectrico
J
(i)
=
1
V
(i)
1
es irrotacional. Esta condici on puede ser
considerada como un criterio pr actico aceptable para la apli-
caci on de inter es en este trabajo, ya que la misma signica
que el r egimen de ujo no tiene lneas de corriente espira-
les lo cual ocurre en el caso del ujo de petr oleo en tuberas
durante el proceso de extracci on [4]. Con esta suposici on se
obtiene la relaci on [3]:

i
1
(z)

V
(i)
1

_
||=R
1
V
(i)
2
n
1
()
z
(ln|z |) ds

, (9)
la cual indica que para cada juego de mediciones con un solo
electrodo de referencia i- esimo, se identica un unico valor
de la permitividad
i
1
(z), siempre que V
(i)
1
y V
(i)
2
sean cono-
cidos. Posteriormente, al variar el electrodo de referencia se
pueden utilizar diferentes procesos de ajuste para estimar el
valor de
1
(z) que mejor aproxime a todos
i
1
(z), calculados
mediante la f ormula (9). En la Sec. 4 se describe c omo obte-
ner V
(i)
1
y V
(i)
2
en este nuevo m etodo y en la Sec. 7 se mues-
tran ejemplos de c omo obtener una representaci on gr aca de

1
(z) en una secci on transversal de la tubera utilizando (9)
para un juego de mediciones de capacitancias mutuas calcu-
ladas con un unico electrodo de referencia.
4. Descripci on del m etodo
En el nuevo m etodo se calcula primero V
(i)
3
, despu es V
(i)
2
para obtener nalmente V
(i)
1
, lo cual permite el c alculo de la
distribuci on de permitividades deseada
1
a trav es de la rela-
ci on secundaria dada por (9). El m etodo consiste en los pasos
siguientes:
a) Obtener V
(i)
3
en
3
resolviendo un problema de
contorno para la Ec. (3) con j = 3 en el anillo
R
2
|z| R
3
y las condiciones de contorno de Di-
richlet (5) para V
(i)
3
. En la Sec. 5, usando series de
Fourier, se calcula V
(i)
3
junto con el valor de
_
S
j
V
(i)
3
n
2
ds.
b) Obtener un valor aproximado de
V
(i)
2
n
2
sobre el circulo |z| = R
2
usando un algoritmo de inter-
polaci on estable como el indicado en la Ref. 5 a partir
de los datos conocidos
i,j
dados en (8).
c) Usando los valores calculados de
V
(i)
2
n
2
en el inciso anterior y la expresi on de
i
sobre el crcu-
lo de radio R
2
, se resuelve un problema de Cauchy pa-
ra la ecuaci on de Laplace en la regi on anular
2
con el
objetivo de obtener el valor de V
(i)
2
.
Rev. Mex. Fs. 51 (3) (2005) 236242
UN ALGORITMO NO ITERATIVO PARA LA TOMOGRAF

IA DE CAPACITANCIA EL

ECTRICA 239
d) V
(i)
1
es obtenido a trav es de un m etodo variacional
usando una base conveniente =
_
W
1
nm
, W
2
nm
_
de
funciones en el espacio de Sobolev H
1
(
1
) junto con
la expresi on obtenida de V
(i)
2
en c) y teniendo en cuen-
ta las condiciones de frontera (4). Los primeros M co-
ecientes del desarrollo en serie de V
(i)
1
con respecto a
la base se obtienen resolviendo un problema de mni-
mos cuadrados lineales que se deduce a partir de un sis-
tema de ecuaciones integrales equivalente al problema
(3) para j = 1 con las condiciones de contorno (4) [7].
El problema de mnimos cuadrados se resuelve sujeto a
restricciones cuadr aticas, las cuales dependen de la in-
formaci on a priori sobre las cotas para
1
. El n umero
M se determina en funci on del error de medici on [7].
El funcional asociado a este problema de optimizaci on
tiene la forma siguiente:
f
i
(x)=

A
(i)
x

2
+

Bxb
(i)

2
+

Cxd
(i)

2
i,
= 1, 2, . . . , N (10)
con restricciones cuadr aticas, donde las matrices A
(i)
y los vectores b
(i)
y c
(i)
dependen de los datos de capa-
citancia, mientras que las matrices B y C no dependen
de ellos [7]. El vector x est a formado por los coecien-
tes desconocidos del potencial V
(i)
1
en la base [7].
e) Una vez que V
(i)
1
ha sido obtenido, el c alculo de
(i)
1
puede hacerse analticamente a trav es de (9), lo cual
est a en dependencia de los valores obtenidos para V
(i)
1
y V
(i)
2
, respectivamente. Se muestran ejemplos de re-
cuperaci on de
1
(z) en la Sec. 7 de este trabajo.
5. Sobre el desacoplamiento del potencial V
(i)
3
Para desacoplar el potencial V
(i)
3
basta observar que este sa-
tisface el problema
V
(i)
3
= 0 en
3
,
V
(i)
3
= 0 |z| = R
3
y
V
(i]
3
=
i
|z| = R
2
si V
(i)
3
se expresa en coordenadas polares en la forma
V
(i)
3
(r, )=a
(i)
0
+b
(i)
0
ln(r)+

k=1
(a
(i)
k
r
k
+b
(i)
k
r
k
) cos k
+

k=1
(c
(i)
k
r
k
+d
(i)
k
r
k
) senk,
entonces, despu es de realizar las manipulaciones adecuadas,
se encuentra que
_
S
+
j
V
(i)
3
n
2
d
s
= a
0
ln
_
R
3
R
2
_

b
0

k=1
1
k
2
R
k
sen
_
k
0
2
_
sen
_
k
N
_
senk
_

N


0
2
_
cos
_
2k(i j)
N
_
,
donde
R
k
=
R
2k
3
+R
2k
2
R
2k
3
R
2k
2
, a
0
=
1
N
_
2
N

0
_
y

b
0
=
8

0
.
Esta expresi on se calcula una vez y puede sustituirse en (8).
De esta forma, el m etodo propuesto permite reducir el pro-
blema de identicaci on al c` alculo de V
(i)
1
y V
(i)
2
para poste-
riormente obtener
i
1
(z)a partir de la f ormula (9).
6. El problema de Cauchy para la ecuaci on de
Laplace en el anillo circular
De acuerdo con el inciso c) de la Sec. 4, el tercer problema
que debe resolverse para poder aplicar el algoritmo propuesto
es un problema de Cauchy para la ecuaci on de Laplace en un
anillo circular, a saber, hallar la funci on V
(i)
2
que satisfaga el
siguiente problema de contorno:
V
(i)
2
= 0 en
2
(11)
V
(i)
2
n
2
=
(i)
, V
(i)
2
=
(i)
en |z| = R
2
(12)
donde
(i)
representa el valor recuperado de
V
(i)
2
n
2
por medio del proceso de interpolaci on indicado en el inci-
so b) de la Sec. 4.
El problema (11)-(12) es un problema mal planteado [8] y
por ello su soluci on es sensible al error cometido en la deter-
minaci on de
(i)
. Buscaremos la soluci on de (11)-(12) como
la suma de las soluciones de los problemas siguientes:
u
2
= 0 en
2
, (13)
u
2
n
2
=
(i)
en |z| = R
2
,
u
2
= 0 en |z| = R
1
,
_

_
(14)
u
2
= 0 en
2
, (15)
u
2
n
2
= 0 en |z| = R
2
,
u
2
= f en |z| = R
1
,
_

_
(16)
donde f debe elegirse de manera que u
2
+ u
2
=
(i)
en
|z| = R
2
.
Rev. Mex. Fs. 51 (3) (2005) 236242
240 A. FRAGUELA, J. OLIVEROS, L. CERVANTES, M. MOR

IN, AND S. G

OMEZ
El problema (13)-(14) es un problema bien planteado [8].
De hecho si denotamos la serie de Fourier de
(i)
mediante

(i)
= h
0
+

k=1
h
1
k
cos k +h
2
k
senk,
entonces la soluci on de (13)-(14) est a dada por
u
2
= a
0
+b
0
ln(r) +

k=1
( a
k
r
k
+

b
k
r
k
) cos k
+

k=1
( c
k
r
k
+

d
k
r
k
) senk, (17)
donde
a
0
= h
0
R
2
ln(R
1
), b
0
= h
0
R
2
,
a
k
=
h
1
k
R
k+1
1
D
k
,

b
k
=
h
1
k
R
k+1
1
D
k
,
c
k
=
h
2
k
R
k+1
1
D
k
,

d
k
=
h
2
k
R
k+1
1
D
k
,
D
k
= k
_
R
k
1
R
k
2
+R
k
2
R
k
1

. (18)
Por otra parte, existe un operador lineal
K : L
2
(|z| = R
1
) L
2
(|z| = R
2
)
tal que
K(f) = g =
(i)
h, (19)
donde
g = u
2
|
|z|=R
2
y h = u
2
|
|z|=R
2
.
Una vez obtenida la soluci on f de (19), se debe resolver el
problema de contorno (15)-(16) y la soluci on del problema
de Cauchy (11)-(12) se expresa en la forma V
(i)
2
= u
2
+ u
2
.
El operador K est a bien denido, es inyectivo y compac-
to. Para ver esto ultimo basta notar que K es el operador que
a cada condici on de contorno f sobre |z| = R
1
le asocia la
traza sobre |z| = R
2
de la soluci on u H
1
(
2
) del proble-
ma (15)-(16). De los resultados conocidos sobre operadores
compactos, se tiene que el operador inverso K
1
no es con-
tinuo y, por lo tanto, resolver la Ec. (19) es un problema mal
planteado. Describamos el operador K usando series de Fou-
rier.
Supongamos que
f() = f
0
+

k=1
f
1
k
cos k +

k=1
f
2
k
senk
con
f
0
=
1
2
f, 1
L
2
, f
1
k
=
1

f, cos k
L
2
y f
2
k
=
1

f, senk
L
2
.
La soluci on del problema (15)-(16) est a dada por
u
2
(r, ) = a
0
+

k=1
( a
k
r
k
+

b
k
r
k
) cos k
+

k=1
( c
k
r
k
+

d
k
r
k
) senk, (20)
a
0
= f
0
, a
k
=
2f
1
k
R
k
2
E
k
,

b
k
=
2f
1
k
R
k
2
E
k
,
c
k
=
2f
2
k
R
k
2
E
k
,

d
k
=
2f
2
k
R
k
2
E
k
,
E
k
= R
k
2
R
k
1
+R
k
1
R
k
2
. (21)
Sustituyendo (21) en (20) y evaluando en r = R
2
se ob-
tiene
g = f
0
+ 2

k=1
f
1
k
E
k
cos k + 2

k=1
f
2
k
E
k
senk, (22)
con lo cual describimos la acci on del operador K sobre f,
ya que se han expresado los coecientes de Fourier de g en
t erminos de los de f. De (22) se obtiene que los coecientes
de Fourier g
0
, g
1
k
y g
2
k
de g permiten determinar los respecti-
vos coecientes de fpor medio de las relaciones
f
0
= g
0
, f
1
k
=
E
k
g
1
k
2
, f
2
k
=
E
k
g
2
k
2
, (23)
en el caso en que la Ec. (19) tenga soluci on.
El operador inverso K
1
queda denido a partir de (23).
En nuestro caso g =
(i)
h, donde los coecientes de Fou-
rier de h se determinan por medio de la expresi on en serie de
u
2
|
|z|=R
2
, obteni endose
h =

h
0
+

k=1

h
1
k
cos k +

k=1

h
2
k
senk, (24)
donde

h
0
= h
0
R
2
ln(R
1
) +h
0
R
2
ln(R
2
),

h
1
k
=
h
1
k
R
k+1
1
R
k
2
h
1
k
R
k+1
1
R
k
2
D
k
,

h
2
k
=
h
2
k
R
k+1
1
R
k
2
h
2
k
R
k+1
1
R
k
2
D
k
,
D
k
= k
_
R
k
1
R
k
2
+R
k
2
R
k
1

= kE
k
(25)
Por otra parte, los coecientes de Fourier g
0
, g
1
k
y g
2
k
de
(i)
se obtienen por c alculos directos y usando (24) y (25)
se encuentran nalmente para los coecientes de Fourier de
g las relaciones siguientes.
Rev. Mex. Fs. 51 (3) (2005) 236242
UN ALGORITMO NO ITERATIVO PARA LA TOMOGRAF

IA DE CAPACITANCIA EL

ECTRICA 241
Sustituyendo (25)-(26) y (27) en (24) encontramos los co-
ecientes de Fourier para g = g

h:
g
0
= g
0
h
0
R
2
ln
R
2
R
1
,
g
1
k
=
D
k
g
1
k
+h
1
k
R
k+1
1
R
k
2
h
1
k
R
k+1
1
R
k
2
2k
,
g
2
k
=
D
k
g
2
k
+h
2
k
R
k+1
1
R
k
2
h
2
k
R
k+1
1
R
k
2
2k
. (26)
Sustituyendo ahora (26) y (23) en (21) obtenemos los co-
ecientes de la serie de Fourier (20) de u
2
:
a
0
= g
0
h
0
R
2
ln
R
2
R
1
,
a
k
=
D
k
g
1
k
R
k
2
+h
1
k
R
k+1
1
R
2k
2
h
1
k
R
k+1
1
2k
,

b
k
=
D
k
g
1
k
R
k
2
+h
1
k
R
k+1
1
h
1
k
R
k+1
1
R
2k
2
2k
,
c
k
=
D
k
g
2
k
R
k
2
+h
2
k
R
k+1
1
R
2k
2
h
2
k
R
k+1
1
2k
,

d
k
=
D
k
g
2
k
R
k
2
+h
2
k
R
k+1
1
h
2
k
R
k+1
1
R
2k
2
2k
. (27)
Sumando (18) y (27) se obtienen los coecientes de Fou-
rier de la soluci on del problema de Cauchy (11)-(12).
Finalmente, a partir de las condiciones de solubilidad
d ebil de los problemas de contorno (13)-(14) y (15)-(16), ob-
tenemos el resultado siguiente:
La condici on sobre
(i)
y
(i)
para que exista la solu-
ci on d ebil del problema de Cauchy (11)-(12) en el espacio de
Sobolev H
1
(
1
) es que

(i)
L
2
(|z| = R
2
), f H
1/2
(|z| = R
1
) (28)
donde los coecientes de Fourier f
0
, f
1
k
y f
2
k
de f se repre-
sentan a trav es de los coecientes de Fourier g
0
, g
1
k
y g
2
k
de g
por medio de (23) y estos ultimos est an dados por las f ormu-
las (26) que dependen de los coecientes de Fourier de las
condiciones de contorno
(i)
y
(i)
. Si (28) se cumple enton-
ces la soluci on del problema de Cauchy (11)-(12) se expresa
como la suma de las soluciones de los problemas de contor-
no (13)-(14) y (15)-(16).
De esta forma se ha encontrado la expresi on explcita de
la soluci on del problema de Cauchy (11)-(12) usando series
de Fourier.
7. Un ejemplo de la recuperaci on de
1
a trav es
de la Ec. (9)
En esta secci on se muestra un ejemplo sint etico para ver la
efectividad de la f ormula (9) para obtener la permitividad
cuando ya se obtuvieron de manera aproximada los poten-
ciales V
1
y V
2
. Para ello se construye una soluci on V
1
, V
2
del
problema (3)-(4), donde (r, ) y
2
se eligen apropiadamen-
te y por simplicidad, sobre la frontera |z| = R
2
se toma una
condici on de contorno para V
2
diferente de
(i)
. El caso en el
cual
1
es constante y los potenciales V
1
y V
2
son conocidos
ha sido presentado en la Ref. 3.
Para construir el ejemplo se toma

1
(r, ) = V
1
(r, ) =
_
2 r
2
R
2
1
cos(2)
_1
2
,

2
= 1, R
1
= 1 y R
2
= 1.1. En este caso, se cumple que
(V
1
V
1
) = 0, es decir, el vector de desplazamiento
el ectrico cumple la condici on de irrotacionalidad requerida
en la Sec. 3.
Para la elecci on del potencial V
2
, se supone que
V
2
(r, ) =
a
0
2
+

N
k=1
_
a
k
r
k
+

b
k
r
k
_
cos k
+

N
k=1
_
c
k
r
k
+

d
k
r
k
_
senk
y usando las condiciones de contorno (4) se encuentra que
a
0
= a
0
y que a
k
,

b
k
, c
k
,

d
k
satisfacen los sistemas de ecua-
ciones:
a
k
R
k
1
+

b
k
R
k
1
= a
k
a
k
R
k1
1

b
k
R
k1
1
= 0
_
k = 2
a
2
R
2
1
+

b
2
R
2
1
= a
2
,
a
2
R
1

b
2
R
3
1
=
1
2R
1
,
c
k
R
k
1
+

d
k
R
k
1
= b
k
,
c
k
R
k1
1


d
k
R
k1
1
= 0, (29)
donde
a
k
=
1

V
1
|
r=R
1
, cos k

L
2
(|z|=R
1
)
y
b
k
=
1

V
1
|
r=R
1
, senk

L
2
(|z|=R
1
)
,
para k 0 son los coecientes de Fourier de V
1
|
|z|=R
1
.
Para recuperar
1
mediante la formula (9), en este ejem-
plo consideramos dos casos:
1. Tomando la expresi on exacta para V
1
y una expre-
si on aproximada de la serie de Fourier de V
2
con
k = 0, 1, . . . , 20 t erminos que se calculan por medio
de (29). Como condici on de contorno

sobre la fronte-
ra |z| = R
2
se ha tomado la restricci on de V
2
obtenido
de esta forma a dicha frontera. Los coecientes a
k
y b
k
han sido calculados usando las formulas de cuadratura
de Lobato (de MATLAB).
2. Agregando a los coecientes a
k
y b
k
obtenidos en el
caso anterior, un error del orden de 10
2
y obtenien-
do los coecientes aproximados para V
2
resolviendo el
sistema correspondiente (29).
Rev. Mex. Fs. 51 (3) (2005) 236242
242 A. FRAGUELA, J. OLIVEROS, L. CERVANTES, M. MOR

IN, AND S. G

OMEZ
FIGURA 2. Permitividad exacta.
FIGURA 3. Permitividad recuperada por medio de la Ec. (9) para
datos con error.
Posteriormente se recobra la permitividad, en ambos ca-
sos por medio de (9). En las Figs. 1 y 2 se muestra la permi-
tividad exacta y la recuperada a trav es de (9), para datos con
error.
Para el caso 1 la permitividad recuperada coincide con la
exacta y en este caso el error relativo es igual a cero.
En el caso 2 se observa la inuencia del error en la per-
mitividad recuperada. En este caso se calcula el error rela-
tivo con la norma uniforme, es decir, mediante la formula
siguiente:
E
rel
= max
i,j

i,j
1, recuperada

i,j
1, exacta
1

,
donde los indices i, jrepresentan los nodos de la red en
los que ha sido efectuado el calculo de
1
. En este caso
E
rel
= 0.34. Se concluye de estos ejemplos que debe incluir-
se t ecnicas de regularizaci on en el proceso de identicaci on
de la permitividad.
8. Conclusiones
1. Este m etodo permite la descomposici on del problema
inverso en varios problemas m as simples, y cada uno
de ellos puede resolverse de forma num ericamente es-
table con la justicaci on te orica necesaria y no es ne-
cesario resolver el problema directo en cada iteraci on.
2. Se ha establecido un algoritmo para encontrar la solu-
ci on del problema de Cauchy para la ecuaci on de La-
place en el anillo circular usando series de Fourier. El
estudio del efecto del error en las mediciones sobre la
soluci on encontrada se estudiar a en trabajos posterio-
res. Tambi en se muestra, a trav es de un ejemplo, que la
f ormula (9) permite recuperar la permitividad en forma
aproximada. De esta forma, el primero, tercero y quin-
to problema del m etodo propuesto han sido estudiados
en este trabajo. En trabajos futuros se estudiar an tanto
el segundo como el cuarto problema b) y d) de la Sec. 4
de este m etodo.
1. W. Yang, Meas. Sci. Technol. 14 (2003) R1.
2. S. Gomez, M. Ono, C. Gamio y A. Fraguela, Applied Numeri-
cal Mathematics, Elsevier 46 (2003) 197.
3. A. Fraguela, J. Oliveros y S. Gomez,Proceedings of the 3
RD
World Congress of Industrial Process Tomography, Banff Ca-
nada (2003) 864.
4. F. Garaicochea, C. Bernal y O. Lopez, Transporte de petr oleo
por ductos, Colegio de Ingenieros Petroleros de M exico A.C.
(1991).
5. A. Grebennikov, (2002). Local regularization algorithms of sol-
ving coefcients inverse problems for some differential equa-
tions. 4
th
International Conference on Inverse Problems in En-
gineering, Rio de Janeiro, Brazil.
6. V.P. Mijailov, Ecuaciones Diferenciales Parciales, Mosc u: Mir.
(1978)
7. A. Fraguela, C. Gamio y D. Hinestroza, WSEAS Transactions
on Systems 1 (2002) 130.
8. F. Berntsson y E. Lars, Inverse Problems 17 (2001) 839.
Rev. Mex. Fs. 51 (3) (2005) 236242