Bol. Soc. Esp. Mat. Apl.

n
o
20(2002), 7796
Series asint oticas en el analisis numerico
de metodos de contorno
F.J. Sayas
Departamento de Matem atica Aplicada,
Centro Politecnico Superior, Universidad de Zaragoza
jsayas@posta.unizar.es
The man that hath no music in himself
Nor is not moved with concord of sweet sounds,
Is t for treasons, stratagems and spoils;
The motions of his spirit are dull as night
And his aections dark as Erebus:
Let no such man be trusted.
The Merchant of Venice
A Michel Crouzeix y Francisco Lisbona,
ejemplares y amigables maestros
Resumen
En este trabajo, se exponen tecnicas basadas en desarrollos asint oticos
para el an alisis de distintos metodos numericos para ecuaciones integrales
de frontera. El an alisis en series asint oticas intenta conocer de golpe el
comportamiento completo de la convergencia del metodo para acceder
de forma ecaz a propiedades de superconvergencia, ya sea puntual o
bajo la acci on de operadores regularizantes. A un m as, la disponibilidad
de desarrollos asint oticos del error en potencias del par ametro de
discretizaci on permite aplicar estrategias de extrapolaci on de Richardson
tanto para realizar estimaciones a posteriori del error cometido como para
acelerar la convergencia del metodo.
La exposici on que sigue realiza un revisi on de trabajos realizados por el autor
en colaboraci on con Michel Crouzeix, Ricardo Celorrio y Vctor Domnguez
[5, 7, 8, 9, 10, 12, 13, 15, 16, 17, 23, 25]. En parte se asume el enfoque de los
ultimos trabajos sobre los primeros, por lo que la visi on de una parte de los
resultados se aleja del original.
Advertencia notacional. A lo largo de esta exposici on se emplean de forma
sistem atica las series formales (o series asint oticas) ya sea en potencias del
par ametro h que controla el nivel de discretizaci on, como en un sentido de
operadores. Todo ello se puede justicar de forma rigurosa, analizando el
77
78 F.J. Sayas
resto resultante de restar una suma parcial cualquiera. No obstante, las series
son en general no convergentes. Siguiendo costumbre de an alisis numerico, C
denotar a una constante independiente del par ametro de discretizaci on h y de
las funciones por cuyas normas este multiplicada. El smbolo de Landau O(h)
se utiliza en forma est andar.
1. Una ecuaci on integral
En las pr oximas secciones vamos a plantear la resoluci on numerica de una
sencilla familia de ecuaciones integrales peri odicas [29, 32]:

_
1
0
log
_
4e
1
sen
2
(( t))
_
g(t)dt +
_
1
0
K( , t)g(t)dt = f. (1)
Suponemos que el dato f : R R es una funci on 1peri odica (diremos
simplemente peri odica) regular y que K : R
2
R es (

y peri odica en ambas

variables. Siguiendo costumbre en teora de operadores, damos nombre a todos
los elementos:
g :=
_
1
0
log
_
4e
1
sen
2
(( t))
_
g(t)dt, Kg :=
_
1
0
K( , t)g(t)dt, (2)
V g := g +Kg,
con lo que (1) se escribe en la conveniente forma V g = f. El signo negativo de
(similar al que se coloca al laplaciano) obedece a razones de denici on positiva
del operador que luego veremos.
Ejemplo. Sea una curva simple regular parametrizable del plano y sea
x : R una parametrizaci on peri odica (

de la misma:
x(s) ,= x(t), s t , Z, [x

(s)[ ,= 0.
Entonces el operador
V g :=
_
1
0
log [x( ) x(t)[
2
g(t)dt, (3)
admite una descomposici on V = + K. M as a un, es el caso particular de
tomar una circunferencia de radio exp(1/2) (el centro es irrelevante) con la
parametrizaci on a velocidad constante. La ecuaci on
V g = f (4)
recibe el nombre de ecuaci on de Symm y aparece en muy diversos contextos
como teora de potencial, transformaci on conforme, etc. Si u
0
: R es una
funci on conocida y tomamos f(s) := u
0
(x(s)), la soluci on de (4) sirve para dar
una soluci on del problema
u = 0, en R
2
, u[

= u
0
Series asint oticas en el analisis numerico de metodos de contorno 79
va la representaci on en potencial de capa simple
u(z) :=
_
1
0
log [z x(t)[
2
g(t)dt, z R
2
. (5)
Este procedimiento recibe el nombre de un metodo de contorno o formulaci on
integral de frontera. B asicamente consiste en resolver un problema de contorno
(incluso en un dominio exterior) mediante una f ormula que representa a la
soluci on desde la frontera y una ecuaci on integral en la frontera que liga las
inc ognitas y las condiciones de contorno.
Marco funcional
De forma muy natural, el operador , llamado operador de Bessel [32], crea
el marco funcional necesario. Si consideramos los monomios trigonometricos

n
(t) := exp(2nt), n Z
se puede conprobar que

n
=

0
, n = 0,
1
[n[

n
, n ,= 0.
Esto es com un a todos los operadores de convoluci on peri odicos: los monomios
son vectores propios y los valores propios son los coecientes de Fourier del
n ucleo, en este caso log(4e
1
sen
2
(t)).
As resulta relativamente natural estudiar el operador en los espacios de
Sobolev peri odicos. Para r R se llama H
r
a la compleci on del conjunto de los
polinomios trigonometricos con la norma prehilbertiana
|u|
r
:=
_
_
[ u(0)[
2
+

n=0
[n[
2r
[ u(n)[
2
_
_
1/2
,
siendo u(n) los coecientes del polinomio en base de monomios, esto es, lo
coecientes de Fourier
u(n) =
_
1
0
u(t)
n
(t)dt.
Bastantes propiedades de estos espacios son bien conocidas [19, 23, 32]. Por un
lado H
0
es identicable a L
2
(0, 1), siendo sus normas iguales. La identicaci on
consiste en que nuestros elementos son peri odicos, y los de L
2
se miran sobre un
unico perodo. De la misma forma, para k entero positivo H
k
es identicable al
subespacio de H
k
(0, 1) con condiciones peri odicas. En general, todos los espacios
H
r
se pueden considerar como espacios de distribuciones peri odicas en R y
cumplen que H
r
H
r

para todo r > r

con inyecci on compacta y densa.

80 F.J. Sayas
Es inmediato observar que dene un isomorsmo isometrico H
r
H
r+1
para todo r:
u = u(0) +

n=0
1
[n[
u(n)
n
. (6)
Por ser continuo de H
r
en H
r+1
para todo r, se dice que es un operador
pseudodiferencial de orden 1. El operador integral K dene un operador
compacto de H
r
en H
r

para cualesquiera r, r

. Por tanto,
V := +K
es la perturbaci on compacta de un operador inversible, esto es, es un operador de
Fredholm de ndice cero [19], luego su invertibilidad equivale a su inyectividad.
M as a un, el producto escalar de H
0
(u, v)
0
=

n
u(n) v(n) =
_
1
0
u(t)v(t)dt
admite (en su expresi on como serie) una extensi on a u H
r
, v H
r
para
todo r. Esta forma sesquilineal da una representaci on recproca de la dualidad
de ambos espacios, de forma que podemos entender que H
r
es el dual de H
r
y viceversa.
Una r apida operaci on sobre la forma Fourier de nos demuestra que
(u, u)
0
= |u|
2
1/2
, u H
1/2
, (7)
esto es, es elptico en H
1/2
.
2. Splines y metodos de Galerkin
Tomemos ahora un mallado uniforme de R
h := 1/N, x
j
:= j h, j Z
y consideremos el espacio S
d
h
de los splines peri odicos regulares con nudos en
el mallado x
j
[j Z. Es decir, S
0
h
es simplemente el espacio de las funciones
constantes a trozos peri odicas. Para d 1,
S
d
h
= u
h
(
d1
[u
h
(1 + ) = u
h
, u
h
[
(x
j1
,x
j
)
P
d
, j
(P
d
es el espacio de los polinomios de grado d).
El correspondiente metodo de Galerkin para resolver la ecuaci on
V g = f,
consiste en [18, 27, 29, 31]
g
h
S
d
h
, (V g
h
, r
h
)
0
= (f, r
h
)
0
, r
h
S
d
h
. (8)
Series asint oticas en el analisis numerico de metodos de contorno 81
Dadas las propiedades de V se tiene que si V es inyectivo, entonces (8) tiene
soluci on unica para h sucientemente peque no, y el metodo es estable en norma
H
1/2
,
|g
h
|
1/2
C|g|
1/2
.
Adem as se pueden obtener una familia de cotas [18, 31]
|g g
h
|
s
Ch
ts
|g|
t
(9)
cuando
2 d s t d + 1, s < d + 1/2, 1/2 t.
Nota. Las cotas en normas m as debiles son particularmente utiles a la hora de
pensar en metodos de elementos de contorno. Si resolvemos la ecuaci on asociada
al operador (3) con el metodo precedente (y la soluci on exacta g H
d+1
), al
denir el potencial aproximado
u
h
(z) :=
_
1
0
log [z x(t)[
2
g
h
(t)dt
entonces
[u
h
(z) u(z)[ = O(h
2d+3
) (10)
uniformemente sobre compactos de R
2
, ya que nos beneciamos de la cota
en la norma m as debil que sea accesible en (9), con s = 2 d.
3. Series asint oticas asociadas a la discretizaci on
Vamos a limitar moment aneamente nuestra atenci on al caso m as simple, el
de las constantes a trozos (d = 0). Por el desarrollo de Taylor tenemos que si
z
j
:= (x
j1
+ x
j
)/2 es el punto medio de cada intervalo donde el spline es un
polinomio
g(s) g(z
j
)

k1
h
k
g
(k)
(s)
(1)
k+1
k!
_
s
h
+
1
2
j
_
k
, (11)
uniformemente en el intervalo [x
j1
, x
j
] y en j. En (11) hemos empleado la
tradicional notaci on asint otica que indica que si interrumpimos la suma en
k = m, el resto funciona como un O(h
m+1
), sin que la serie deba ser convergente.
Consideremos entonces la funci on peri odica dada en el intervalo [0, 1) por la
expresi on
P
k
(t) :=
(1)
k+1
k!
_
t
1
2
_
k
, t [0, 1).
Sea Q
h
g S
0
h
el interpolado de g en los puntos medios, esto es
Q
h
g =
N1

j=0
g(z
j
)
j
82 F.J. Sayas
siendo
j
las extensiones peri odicas de la funciones caractersticas de (x
j1
, x
j
)
y por tanto una base para S
0
h
. Entonces es f acil reescribir (11) en la forma m as
compacta
g Q
h
g

k1
h
k
P
k
( /h)g
(k)
(12)
uniformemente en R.
Aplicando el operador K a lo anterior se obtiene
K(gQ
h
g) =
_
1
0
K( , t)(g(t)Q
h
g(t))dt

k1
h
k
_
1
0
K( , t)g
(k)
(t)P
k
(t/h)dt.
Ahora bien, cada integral en (0, 1) se puede descomponer en N trozos que, con
el cambio de variable t = x
j
+h son llevados de nuevo a (0, 1) y aplicando que
P
k
( /h) es hperi odica
_
1
0
K( , t)g
(k)
(t)P
k
(t/h)dt =
_
1
0
P
k
()
_
_
h
N1

j=0
K( , x
j
+h)g
(k)
(x
j
+h)
_
_
d.
Es bien sabido [19] que las sumas de Riemann sobre particiones uniformes son
asint oticamente optimas para funciones (

h
N1

j=0
a(x
j
+h)
_
1
0
a(t)dt,
uniformemente en (este error es incluso decreciente como exp(N) cuando
a es analtica). Por tanto, llegamos a nuestra primera expresi on asint otica
importante:
K(g Q
h
g)

k1
h
k

k
Kg
(k)
(13)
donde

k
:=
_
1
0
P
k
()d
son nulos para k impar, luego en (13) s olo hay potencias pares de h.
La parte correspondiente al operador de Bessel no es tan simple. Haciendo
como antes llegamos a
(gQ
h
g)

k1
h
k
_
1
0
P
k
()
_
_
h
N1

j=0
log
_
sen
2
((x
j
+h ))
_
g
(k)
(x
j
+h)
_
_
d
luego estamos obligados a estudiar sumas de Riemann de funciones con
singularidad logartmica.
Series asint oticas en el analisis numerico de metodos de contorno 83
Siendo que la funci on tiene una singularidad, la f ormula de EulerMaclaurin
ya no es v alida. Sin embargo disponemos de una forma modicada de la misma
(de nuevo en el caso peri odico): si u(t) := v(t) log(sen
2
(t)), entonces [5]
h
N1

j=0
u(x
j
+h)
_
1
0
u(t)dt

m0
h
m+1
D
m
()v
(m)
(0), (14)
siendo D
k
determinadas funciones peri odicas relacionadas con la funci on zeta
de Riemann. Obviamente (14) quiere decir que asint oticamente todo el error
viene dado por el comportamiento de u en su singularidad. Notemos tambien
que Z da un valor innito en la suma de la izquierda. De hecho D
0
asume
este valor y la serie asint otica anterior es uniforme en R. Aplicando ahora
(14) a u(t) := g
(k)
(t +s) log(sen
2
(t)) se tiene
h
N1

j=0
log
_
sen
2
((x
j
+h s))
_
g
(k)
(x
j
+h)
g
(k)
(s) +

m0
h
m+1
D
m
( +
s
h
)g
(k+m)
(s) (15)
uniformemente en s y , luego
(g Q
h
g)

k1
h
k
_
_

k
g
(k)
+

m0
h
m+1

k,m
( /h)g
(k+m)
_
_
siendo

k,m
(t) :=
_
1
0
P
k
()D
m
( +t)d.
Agrupando terminos y a nadiendo la contribuci on de K (13) se obtiene un
desarrollo
V (g Q
h
g)

k1

2k
h
2k
V g
(2k)
+

k2
h
k

k
( /h)g
(k1)
. (16)
Las funciones
k
son peri odicas pero no regulares y de hecho el factor
k
( /h)
es hperi odico y crea una rugosidad sobre el por otra parte simple desarrollo
precedente. Notemos tambien que con la potencia h
k
hay siempre un operador
de orden k 1.
A partir de este punto el an alisis debe ser proyectado sobre un espacio
discreto, ya sea ortogonalmente (Galerkin), ya sea por evaluaci on (colocaci on).
4. Aplicaci on al metodo de Galerkin
Si pretendemos estudiar el error del metodo de Galerkin, hemos de
concentrarnos en productos
(( /h)f, r
h
)
0
=
_
1
0
()
_
_
h
N1

j=0
f(x
j
+h)r
h
(x
j
+h)
_
_
d. (17)
84 F.J. Sayas
De nuevo nos encontramos ante sumas de Riemann uniformes, esta vez para
el producto de una funci on regular por un spline (funci on decididamente no
regular). Se puede demostrar [16] que uniformemente en
h
N1

j=0
f(x
j
+h)r
h
(x
j
+h) (f, r
h
)
0
+

k1
h
k
1
k!
B
k
()(f
(k)
, r
h
)
0
(18)
siendo B
k
el kesimo polinomio de Bernoulli [1], lo que no es m as que una
relectura de la f ormula de EulerMaclaurin.
Denotemos por G
h
g = g
h
a la soluci on de las ecuaciones del metodo de
Galerkin cuando g es la soluci on, de modo que
(V g, r
h
)
0
= (V G
h
g, r
h
)
0
, r
h
S
0
h
.
A partir de (16), (17) y (18) se demuestra que
(V (G
h
g Q
h
g), r
h
)
0
= (V (g Q
h
g), r
h
)
0

k2
h
k
(R
k
g, r
h
)
0
(19)
uniformemente en |r
h
|
1/2
= 1, siendo R
k
operadores pseudodiferenciales de
orden k 1, con R
2
=
2
V D
2
.
Recordemos que la estabilidad de un metodo de Galerkin se puede escribir
en forma de condici on de BabuskaBrezzi [11, 31]
sup
r
h

1/2
=1
[(V u
h
, r
h
)
0
[ |u
h
|
1/2
, u
h
S
0
h
. (20)
As, utilizando que
(R
k
g, r
h
)
0
= (V G
h
V
1
R
k
g, r
h
)
0
,
(19) se transforma en
(V (G
h
g Q
h
g

k2
h
k
G
h
V
1
R
k
g), r
h
)
0
0, (21)
luego por la condici on (20), convertimos (21) en
G
h
g Q
h
g

k2
h
k
G
h
V
1
R
k
g. (22)
Este desarrollo es v alido en la norma de H
1/2
, pero gracias a las relaciones
entre las normas en el espacio discreto [31]
|u
h
|
1/2
C
1
h
1/2
|u
h
|
0
C
2
h
1
|u
h
|

podemos obtenerla tambien en norma uniforme.

Series asint oticas en el analisis numerico de metodos de contorno 85
Obviamente, puesto que Q
h
g(z
i
) = g(z
i
), (22) demuestra una marcada
superconvergencia en los puntos medios [12, 13]
m ax [g
h
(z
i
) g(z
i
)[ = O(h
2
). (23)
Si ahora pensamos en aplicar un determinado posproceso lineal a la soluci on
T g :=
_
1
0
( , t)g(t)dt (24)
(el potencial (5) por ejemplo), con de clase (

en su variable peri odica t,

se puede retomar la demostraci on de (13) para llegar a consecuencias similares
[7, 24]
T (g Q
h
g)

k1

2k
h
2k
T g
(2k)
.
Aplicando T a (22) e insertando estas series de forma inductiva en la expresi on
resultante, se pueden encontrar desarrollos
T (G
h
g g)

k2
h
k
T g
k
. (25)
Aprovechando que R
2
=
2
V D
2
se tiene
T (G
h
g g) = T (G
h
g Q
h
g)+T (Q
h
g g)h
2

2
T (G
h
g

) +. . . = O(h
3
).
Por tanto, al aplicar T se produce una cancelaci on y la serie comienza en h
3
,
fen omeno de superconvergencia ya observado en las cotas (9) (ver tambien (10)).
Aparte las implicaciones sobre aplicaci on pr actica de estos metodos, todo lo
anterior nos ha dado un sistem atica distinta de an alisis de los metodos y varios
resultados adicionales: superconvergencias nodales y una conrmaci on del orden
optimo de convergencia en norma debiles, ya que se puede comprobar que en
general g
3
,= 0.
Generalizaci on
La generalizaci on de lo anterior a splines de grado arbitrario se basa
esencialmente en poder recuperar una serie asint otica para la interpolaci on como
(12). En este caso Q
d
h
g es el interpolante en los puntos medios z
j
si d es par
y el interpolante en los nodos x
j
si d es impar. Ya sea con an alisis tradicional
[23] o de Fourier [15] se obtiene la serie
g Q
d
h
g

kd+1
h
k
P
d
k
( /h)g
(k)
(26)
con P
d
k
la periodizaci on de polinomios con identicas propiedades de simetra a
l nos que aparecen en (12).
Con excepci on del caso d = 1 (la interpolaci on de poligonales colgando
de los nudos), la interpolaci on con splines es un operador no local, puesto que
86 F.J. Sayas
requiere la resoluci on de un sistema que liga todos los grados de libertad. Sin
embargo, la serie (26) indica el bien conocido car acter asint oticamente local de
esta interpolaci on.
A partir de all se puede seguir paso a paso el an alisis realizado para las
funciones constantes a trozos, hasta que lleguemos al paralelo a (19)
(V (g Q
d
h
g), r
h
)
0

kp(d)
h
k
(R
d
k
g, r
h
)
0
donde p(d) = d + 1 si d es impar y p(d) = d + 2 si d es par. La f ormula (18) se
generaliza a
h
N1

j=0
f(x
j
+h)r
h
(x
j
+h) (f, r
h
)
0
+

kd+1
h
k

d
k
k!
B
k
()(f
(k)
, r
h
)
0
(27)
donde los coecientes
d
k
adaptan la f ormula de EulerMaclaurin al aparecer un
spline multiplicando.
Al aplicar el operador T (24) se consigue una nueva serie asint otica (25),
comenzando en k = 2d + 3. M as a un en el caso d par, la superconvergencia
nodal se repite [13]
m ax [g
h
(z
i
) g(z
i
)[ = O(h
d+2
).
Resulta caracterstico que un tipo paralelo de superconvergencia nodal no se
observe f acilmente para polinomios de grado impar. La raz on de fondo est a en el
desarrollo (26) y en d onde se localizan los ceros de P
d
d+1
. La identicaci on de esta
funci on como un escalado de un polinomio de Bernoulli ha permitido descubrir
[15] que el interpolante optimo de comparaci on no es el obvio (el interpolante
en los nudos) cuando d es impar: escogiendo otro, se puede encontrar un nuevo
conjunto de puntos gaussianos para el caso d impar.
5. Colocaci on
Las optimas propiedades de convergencia de los metodos de Galerkin se
basan en el aprovechamiento de una propiedad variacional del operador V , la
elipticidad de su parte principal (7). No obstante, tradicionalmente el mundo
de la ingeniera ha preferido los metodos de colocaci on a la hora de abordar la
resoluci on de ecuaciones integrales de frontera.
Las razones son variadas, pero se pueden destacar dos. Por un lado, a
diferencia de los metodos variacionales para EDP, en las ecuaciones integrales
la formulaci on variacional no aporta nada desde un punto de vista de
reorganizaci on de las derivadas entre unos candidatos a test y trial, luego el
proceso adicional de integraci on para entrar en un marco variacional tiene un
falso aspecto de complicaci on gratuita. Por otro, el hecho de que ya haya una
integral y se a nada una segunda complica en gran medida la implementaci on,
ya que los operadores integrales son no locales y por tanto la matriz carece de
ning un tipo de dispersi on (sparsity), luego hay que ensamblar el completo y en
Series asint oticas en el analisis numerico de metodos de contorno 87
cada termino de la matriz aparecen integrales dobles que deben ser aproximadas
por cuadratura.
Retomando los espacios discretos anteriores podemos plantearnos la
siguiente familia de metodos
g
h
S
d
h
, V g
h
(
j
) = f(
j
), j = 0, . . . , N 1, (28)
siendo
j
puntos equiespaciados. La opci on m as aplicada y mejor entendida
[3, 4, 22, 27] es tomar
j
= x
j
(los nudos) si d es impar y
j
= z
j
(los puntos
medios) si d es par. Las opciones inversas conducen a metodos inestables y el
resto son conocidas como colocaciones y son igualmente v alidas [28].
Para la primera posibilidad se tienen los siguientes resultados: estabilidad
|g
h
|
s
C|g|
s
, 1/2 < s < d + 1/2
y convergencia [3, 4]
|g g
h
|
s
Ch
ts
|g|
t
,
cuando
1 s t d + 1, s < d + 1/2, 1/2 < t.
Cuando d es par, se puede llegar a una cota de superconvergencia en norma
debil [22]
|g g
h
|
2
Ch
d+3
|g|
d+2
,
peor que la mejor convergencia del equivalente salvo en el caso de las constantes
a trozos (d = 0) donde se repite el orden optimo O(h
3
).
La estabilidad del metodo de colocaci on, incluso para ecuaciones tan simples,
es un tema delicado y no resuelto de forma totalmente satisfactoria. El an alisis
m as completo de la estabilidad se basa en tecnicas de an alisis de Fourier y es
por ello v alido s olo para mallados uniformes.
La serie asint otica vuelve a arrojar luz sobre distintos fen omenos de la
convergencia del metodo. Para ellos, reescribimos primero el metodo en forma
de un PetrovGalerkin. Sean
j
las distribuciones delta de Dirac peri odicas en
los puntos
j
, esto es,
(u,
j
)
0
= u(
j
), u H
r
, r > 1/2.
Sea
S

h
:= span
j
[j = 0, . . . , N 1).
Entonces podemos escribir (28) en forma de un metodo de proyecci on
g
h
S
d
h
, (V g
h
, t
h
)
0
= (f, t
h
)
0
, t
h
S

h
. (29)
Por simplicidad, volvemos a restringirnos al caso d = 0. La gran facilidad de
esta nueva situaci on viene dada por la hperiodicidad de
k
( /h) en (16) que
permite deducir trivialmente
(
k
( /h)g
(k1)
, t
h
)
0
=
k
()(g
(k1)
, t
h
)
0
, t
h
S

h
.
88 F.J. Sayas
Dos detalles que nos permiten repetir lo realizado para el metodo de Galerkin.
Por un lado, podemos estimar las normas del test t
h
S

h
en la siguiente forma
[7]
C
1
h
N1

j=0
[t
j
[ |
N1

j=0
t
j

j
|
1
C
2
N1

j=0
[t
j
[,
luego f acilmente convertimos (16) en un equivalente proyectado (ver (19),
ahora C
h
hace referencia al operador que asigna a g la soluci on numerica por
colocaci on)
(V (C
h
g Q
h
g), t
h
)
0
= (V (g Q
h
g), t
h
)
0

k2
h
k
(R

k
g, t
h
)
0
(30)
uniformemente en |t
h
|
1
= 1 y de nuevo con R

2
=
2
V D
2
. Por otra parte,
la H
0
estabilidad vuelve a ser interpretable como una condici on de Babuska
Brezzi por medio de algunas estrategias de dualidad [7]
sup
t
h

1
=1
[(V u
h
, t
h
)
0
[ |u
h
|
0
, u
h
S
0
h
. (31)
Por tanto, ya no hay ning un inconveniente para obtener de nuevo la convergencia
nodal (23) y los desarrollos al aplicar un operador T , comenzando de nuevo en
el optimo de convergencia h
3
.
6. Metodos delta
Una idea matem aticamente muy l ogica es invertir en (29) los roles de los
espacios trial S
d
h
y test S

h
:
g
h
S

h
, (V g
h
, r
h
)
0
= (f, r
h
)
0
, r
h
S
d
h
. (32)
Como la parte principal del operador V es simetrica, b asicamente se puede
demostrar que la estabilidad de este metodo equivale a la del metodo de
colocaci on [20, 21], aunque sea en distintas normas. Estos metodos reciben el
nombre de metodos deltaspline o metodos duales de colocaci on.
Es f acil ver que la matriz del metodo es la traspuesta de la matriz del
correspondiente metodo de colocaci on para el operador traspuesto
V

g :=
_
1
0
V (t, )g(t)dt.
La teora de este metodo se desarrolla [20, 21] de forma similar a la del metodo de
colocaci on y proporciona resultados muy similares, aunque en distintas normas.
Interpretaci on. Aunque su uso es bastante limitado, los metodos delta tienen
caractersticas muy interesantes que les hacen particularmente utiles y atractivos
Series asint oticas en el analisis numerico de metodos de contorno 89
en sus propiedades de convergencia. Si retomamos la ecuaci on integral de
contorno

_
1
0
log [x( ) x(t)[
2
g(t)dt = f
asociada a una representaci on como potencial de capa simple
u(z) =
_
1
0
log [z x(t)[
2
g(t)dt (33)
la opci on por las distribuciones de deltas en los puntos
j
consiste en buscar
g
h
=
N1

j=0
g
j

j
que cumpla una serie de ecuaciones discretas que reejen la condici on de
contorno. Sustituyendo formalmente en (33) y denotando
x
j
:= x(
j
)
la representaci on del potencial se convierte en
u
h
(z) =
N1

j=0
g
j
log [z x
j
[
2
,
luego corresponde a la idea fsicamente intuitiva de abandonar las distribuciones
continuas de carga por distribuciones discretas. Esta idea tiene positivas
connotaciones en aplicaciones a electromagnetismo y ac ustica pues proporciona
representaciones muy simples del potencial aproximado, f aciles de controlar en
la lejana.
Series asint oticas de los metodos delta
Un operador de pseudointerpolaci on obvio para los metodos delta es [8, 9, 10]
Q

h
g := h
N1

j=0
g(
j
)
j
S

h
.
Su interacci on con los operadores regularizantes es del todo simple
K(g Q

h
g) =
_
1
0
K( , t)g(t)dt h
N1

j=0
K( ,
j
)g(
j
) 0
de nuevo por la optimalidad de las sumas rectangulares para funciones regulares
peri odicas.
Si comparamos ahora a traves del operador de Bessel, escribiendo

j
= x
j
+h
90 F.J. Sayas
con jo, la serie (15) (ver tambien (14)) demuestra que
(g Q

h
g)

m0
h
m+1
D
m
( + /h)g
(m)
.
Al multiplicar por r
h
S
0
h
con la normalizaci on |r
h
|
0
= 1 (y tomando
= 1/2, esto es, deltas sobre los puntos medios), nos encontramos con
((g Q

h
g), r
h
)
0

k1
h
k
(D
k1
(1/2 + /h)g
(k1)
, r
h
)
0
,
es decir, unicamente terminos de la forma (17). Vueltos a desarrollar y
aprovechando que para todo m
_
1
0
D
m
()d = 0,
(integrense ambos lados de (14)), se llega a una sencilla expresi on
((g Q

h
g), r
h
)
0

k3
h
k
(R

k
g, r
h
)
0
.
Con una nueva condici on nmosupremo [8, 9, 10], traspuesta de (31), y la
notaci on C

h
el operador de discretizaci on, se demuestra como antes que
C

h
g Q

h
g

k3
h
k
C

h
R

k
g, (34)
expresi on v alida en H
1
. As, si escribimos
C

h
g = h
N1

j=0
g
i

i
(normalizamos la base
i
mulplicando por h), se obtiene
m ax
i
[g
i
g(
i
)[ = O(h
2
),
una sorprendente convergencia puntual de los coecientes calculados a los
valores de la soluci on, sorprendente por mostrar c omo un metodo que
toma la discretizaci on en un espacio de distribuciones no funcionales, logra
aproximaciones funcionales de la misma calidad que el metodo de colocaci on.
La novedad radica en c omo la serie (34) comienza ya en el optimo de
convergencia, luego no hay que esperar a aplicar un operador regularizante T
para observar la superconvergencia.
Series asint oticas en el analisis numerico de metodos de contorno 91
7. Series asint oticas operacionales y numericas
En aplicaciones asociadas a la ecuaci on de Helmholtz
u +k
2
u = 0, en R
2
, u[

= u
0
(con condiciones de radiaci on de Sommerfeld en innito), la representaci on en
potencial de capa simple toma la forma [19, 31]
u(z) :=
_
1
0
H
(1)
0
(k[z x(t)[)g(t)dt, z R
2
, (35)
donde H
(1)
0
es la funci on de Hankel de primera clase y orden cero [1]. Este
potencial conduce a ecuaciones integrales similares a (1)
V g :=
_
1
0
A( , t) log
_
sen
2
(( t))
_
g(t)dt +
_
1
0
K( , t)g(t)dt = f, (36)
siendo A una funci on de clase (

peri odica tal que

A(t, t) ,= 0.
Las cuestiones de invertibilidad, car acter Fredholm, elipticidad de la parte
principal, convergencia de los metodos de Galerkin y colocaci on son identicas,
pero las series asint oticas se complican, al no ser posible escribir V = + K,
con K operador integral de n ucleo (

.
Una primera posibilidad consiste en utilizar desarrollos de Taylor peri odicos
para descomponer V en serie formal de operadores m as simples. Gracias a la
analiticidad del seno, podemos escribir un desarrollo de Taylor con potencias
del seno [16]
f(x) = f(0) +
T

k=1
L
k
f(0) sen
k
(2x) + O(x
T+1
)
siendo L
k
operadores diferenciales lineales con coecientes constantes.
Aplicando esto a la funci on A(s, t) en la variable t centrado en t = s podemos
escribir un nuevo tipo de desarrollos
V
exp
= +a
k

k1

k
donde a
k
son funciones regulares peri odicas,

k
g :=
_
1
0
sen
k
(2( t)) log
_
sen
2
(( t))
_
g(t)dt
es un operador pseudodiferencial de orden k 1 y el nuevo smbolo de series
formales hace referencia a que la interrupci on de la suma proporciona un resto
que es operador de orden menor que los anteriores.
92 F.J. Sayas
Los desarrollos asint oticos numericos de

k
(g Q
d
h
g)
son factibles por identicas tecnicas. As la combinaci on de desarrollos numericos
y operacionales, permite crear un desarrollo del tipo
(V (g Q
d
h
g), r
h
)
0

kp(d)
h
k
(R
d
k
g, r
h
), r
h
S
d
h
o [7]
(V (g Q
d
h
g), t
h
)
0

kp(d)
h
k
(R
d,
k
g, t
h
), t
h
S

h
y continuar con todo lo anterior.
No obstante el an alisis de Fourier permite dar un tratamiento alternativo
de esta ecuaci on y unicar este desarrollo a los asociados a otros operadores
pseudodiferenciales, con lo que se cubren ecuaciones de segundo tipo, ecuaciones
singulares, hipersingulares, etc y pr acticamente todo el espectro de operadores
de frontera asociados a operadores elpticos sobre fronteras regulares.
La tecnica consiste en considerar dos familias de monomios operacionales
HD
k
, D
k
, k Z
siendo H la transformada de Hilbert peri odica [19, 32]
Hg =

n>0
g(n)
n

n<0
g(n)
n
= v.p.
_
1
0
cotg(( t))g(t)dt
(v.p. es el valor principal de Cauchy), D el operador derivada y D
1
un inverso
del operador derivada aplicable a funciones con integral nula. Tanto D
k
como
HD
k
son operadores pseudodiferenciales de orden k.
Los operadores por tratar son de la forma asint otica [16]
A
exp
=

km
a
k
D
k
+

km
b
k
HD
k
siendo a
k
y b
k
funciones regulares. Por ejemplo, el operador logartmico con
coecientes variables admite un desarrollo
V
exp
=

k1
b
k
HD
k
.
Tratado esto, podemos pensar en analizar A(g Q
d
h
g) como suma de
aportaciones de cada monomio operacional. Sin embargo, hay un operador
discreto sobre S
d
h
que tiene mejores propiedades que la interpolaci on. Si
consideramos el operador D
d
h
denido por las relaciones [2, 15]
D
d
h
g S
d
h
,

D
d
h
g() = g(), N/2 < N/2
Series asint oticas en el analisis numerico de metodos de contorno 93
(esto es, la interpolaci on de los coecientes de Fourier centrales), se puede ver
que D
d
h
admite un desarrollo (26), siendo P
d
k
periodizaciones de polinomios de
Bernoulli escalados. La ventaja de D
d
h
sobre Q
d
h
es que su convergencia es optima
en todas las normas accesibles
|g D
d
h
g|
s
Ch
ts
|g|
t
con s t, s d+1/2. Esto implica que D
d
h
no a nade ning un error de consistencia
innecesario. As, por ejemplo
K(g D
d
h
g) 0.
Con todos estos elementos se reconstruye una teora asint otica bastante
completa para metodos de Galerkin [25], PetrovGalerkin [16], colocaci on y
derivados [14, 17, 30] que ofrece una visi on unicada del comportamiento de los
operadores integrales de frontera frente a fen omenos de discretizaci on con un
marcado grado de uniformidad.
Mencionemos tambien la posibilidad de ampliar el an alisis precedente a la
inclusi on de los efectos de la integraci on numerica a la hora de construir la
matriz y el termino independiente del sistema lineal asociado al metodo. Para
ecuaciones integrales con n ucleo logartmico, ya sea con coecientes constantes
(1) o variables (36) con metodos de Galerkin o colocaci on y tambien en
problemas relacionados con ecuaciones integrales de frontera sobre arcos abiertas
se tiene una sistem atica de implementaci on y an alisis que permite conservar las
buenas propiedades de los metodos [6, 13, 24, 26].
8. Aplicaciones
Concluimos esta exposici on con una breve indicaci on de las implicaciones
pr acticas de tener un desarrollo del error. Si el error de un metodo numerico
T(h) para estimar una cantidad T(0) cumple
e(h) := T(h) T(0) = c
p
h
p
+ O(h
p+1
),
entonces con un doble mallado podemos estimar el primer termino del error
e(h) :=
2
p
2
p
1
(T(h) T(h/2)) = e(h) + O(h
p+1
).
Este procedimiento, conocido como estimaci on a posteriori del error por
extrapolaci on, permite utilizar una doble aplicaci on del metodo para dar un
estimaci on del error cometido.
La otra gran rama de aplicaciones de la existencia de desarrollos asint oticos
del error es la aceleraci on de la convergencia por extrapolaci on de Richardson.
Dicho simplemente, si
T(h) T(0)

kp
c
k
h
k
94 F.J. Sayas
una combinaci on lineal de, por ejemplo, T(h) y T(h/2) permite cancelar el
primer termino de error:
T
1
h
(h) :=
2
p
T(h/2)T(h)
2
p
1
= T(h/2)+
1
2
p
1
(T(h/2)T(h)) T(0)+

kp+1
c
1
k
h
k
Una estrategia de este tipo aplicada varias veces permite obtener metodos de
ordenes razonablemente altos a partir de discretizaciones simples.
Referencias
[1] M. Abramowitz e I.A. Stegun, Handbook of Mathematical Functions,
Dover, 1970.
[2] D.N. Arnold, A splinetrigonometric Galerkin method and an exponent-
ially convergent boundary integral method, Math. Comput. 41 (1983) 383
397.
[3] D. N. Arnold y W.L. Wendland, On the asymptotic convergence of
collocation methods. Math. Comput. 41 (1983), 349381.
[4] D. N. Arnold y W.L. Wendland, The convergence of spline collocation for
strongly elliptic equations on curves. Numer. Math. 47 (1985) 317341.
[5] R. Celorrio y F.J. Sayas, The EulerMaclaurin formula in presence of a
logarithmic singularity. BIT 39 (1999) 780785.
[6] R. Celorrio y F.J. Sayas, Full collocation methods for some boundary
integral equations. Numer. Algorithms 22 (1999) 327351.
[7] R. Celorrio y F.J. Sayas, Extrapolation techniques and the collocation
method for a class of boundary integral equations. ANZIAM J. 42 (2001)
413437.
[8] R. Celorrio, V. Domnguez y F.J. Sayas, On the averaged delta method for
some acoustic scattering problems, en F. Jacobsen, ed. Proceedings of the
6th International Congress on Sound and Vibration, IIAV (1999) 547554
[9] R. Celorrio, V. Domnguez y F.J. Sayas, Metodos de cargas puntuales en
simulaci on de problemas de scattering ac ustico. En R. Abascal et al., eds.:
Metodos numericos en ingeniera (Actas del IV C.M.N.I.), SEMNI (1999).
Publicaci on CD-ROM.
[10] R. Celorrio, V. Domnguez y F.J. Sayas, Periodic Dirac delta distributions
in the boundary element method. Aparecer a en Adv. Comput. Math.
[11] G. Chen y J. Zhou, Boundary element methods, Academic Press, 1992.
Series asint oticas en el analisis numerico de metodos de contorno 95
[12] M. Crouzeix y F.J. Sayas, First term of the asymptotic development in a
Boundary Element Method: piecewise constant functions, en A.C. Casal
et al, eds.: Actas del III C.M.A. XIII C.E.D.Y.A., U.P.M. (1995) 163-168.
[13] M. Crouzeix y F.J. Sayas,, Asymptotic expansions of the error of spline
Galerkin Boundary Element Methods, Numer. Math. 78 (1998) 523547.
[14] V. Domnguez y F.J. Sayas. Variantes del metodo de colocaci on para
ecuaciones integrales de frontera, en R. Montenegro et al, eds: Actas XVI
C.E.D.Y.A.VI C.M.A. Ed. Universidad de Las Palmas de GC (1999) 1053
1060.
[15] V. Domnguez y F.J. Sayas, Local expansions of periodic spline
interpolation with some applications, Math. Nach. 227 (2001) 43-62
[16] V. Domnguez y F.J. Sayas, Full asymptotics of spline PetrovGalerkin
methods for periodic pseudodierential equations, Adv. Comput. Math.
14 (2001) 75-101.
[17] V. Domnguez y F.J. Sayas, An asymptotic series approach to qualocation
methods. Publ. Sem. G. Galdeano 1 (2001). Enviado para publicaci on
[18] G.C. Hsiao y W.L. Wendland, The AubinNitsche lemma for integral
equations of the rst kind, J. Int. Eqns 3 (1981) 299315.
[19] R. Kress, Linear Integral Equations, 2nd ed. Springer, 1999.
[20] K. Ruotsalainen y J. Saranen, Some boundary element methods using
Diracs distributions as trial functions, SIAM J. Numer. Anal. 24 (1987)
816827.
[21] K. Ruotsalainen y J. Saranen, A dual method to the collocation method,
Math. Meth. Appl. Sci. 10 (1988) 439445.
[22] J. Saranen, The convergence of even degree spline collocation solution for
potential problems in smooth domains in the plane, Numer. Math. 53
(1988) 490512.
[23] F.J. Sayas, Asymptotic expansion of the error of some boundary element
methods. Tesis doctoral. Universidad de Zaragoza (1994).
[24] F.J. Sayas, Fully discrete Galerkin methods for systems of boundary
integral equations, J. Comput. Appl. Math. 81 (2), 311-331 (1997).
[25] F.J. Sayas, Numerical approximation of hypersingular equations by
Galerkin methods. Actas V C.M.A. XV C.E.D.Y.A., Ed. Universidad
de Vigo, Congresos 9 (1998) 873877.
[26] F.J. Sayas, The numerical solution of Symms equation on smooth open
arcs by spline Galerkin methods. Comput. Math. Appl. 38 (1999) 8799.
96 F.J. Sayas
[27] G. Schmidt, The convergence of Galerkin and collocation methods
with splines for pseudodierential equations on closed curves, Z. Anal.
Anwendungen 3 (1984) 183196.
[28] G. Schmidt, On collocation for pseudodierential equations on a closed
curve, Math. Nach. 126 (1986) 183196.
[29] I.H. Sloan y A. Spence, The Galerkin method for integral equations of the
rst kind with logarithmic kernel: theory and applications, IMA J. Numer.
Anal. 8 (1988) 105140.
[30] I.H. Sloan y W.L. Wendland, Spline qualocation methods for variable-
coecient elliptic equations on curves, Numer. Math. 83 (1999) 497533.
[31] W.L. Wendland, Boundary element methods for elliptic problems, in A.
Schatz, V. Thomee y W.L. Wendland, eds. Mathematical Theory of Finite
and Boundary Element Methods, Birkh auser, Basel, 1990.
[32] Y. Yan e I.H. Sloan, On integral equations of the rst kind with logarithmic
kernels, J. Int. Eqns. Appl. 1 (1988) 549579.