REGULARIZACIN

Habamos obtenido la siguiente cota para la norma de la diferencia entre el

gradiente del problema discreto regularizado y el gradiente del problema con-
tinuo:

\J
o
h
,o
|
(-
o
h
,o
|
) \J(-)

J
1
()
_ C

-
o
h
,o
|
(.) -
|
(.)

J
1
()
+1 |-
|
(.) -(.)|
J
1
()
+
+ c
|

T
h

-
o
h
,o
|
(.) -
0
(.)

J
1
()
+1/ +1c
(1)
donde -
|
es un vector argumento del problema discreto sin regularizar, c
|

0 es el coeciente de regularizacin del problema discreto ,
T
h
es el nmero de
tringulos de la triangulacin t y C, 1, 1, 1 son constantes que dependen de
los datos.
Supongamos que -
o,o
|
(.) -(.) cuando c, c, / 0 y -
o,o
|
(.) -
|
cuando
c, c 0. Deberamos tener que
-
|
(.) - (2)
cuando / 0 en 1
1
(). Queremos que:

\J
o,o
|
(-
o,o
|
) \J(-)

J
1
()
0. (3)
cuando cuando c, c, / 0 y adems determinar una estrategia de reg-
ularizacin c
|
(c) y / = /(c) de tal manera que todo se vaya a cero cuando
c 0.
Enfoqumonos en el trmino c
|

T
h

-
o,o
|
(.) -
0
(.)

J
1
()
. Notemos que

-
o,o
|
(.) -
0
(.)

J
1
()
est acotado por la convergencia de
n
-
o,o
|
(.)
o
.
Dada una triangulacin t
|
, una cota superior para
T
h
est dada por:

T
h
_
1
2
(T)
min
(4)
donde (T)
min
es el rea del tringulo ms pequeo de la triangulacin.
Asumiremos que existe una constante ' 0,independiente de / tal que:
/
/
min
_ ' (5)
donde /
min
es el dimetro mnimo de la triangulacin respectiva. Recordemos
que / = /
max
= dia:(t
|
).
1
Sea T un tringulo cualquiera de t
|
, /(T) su dimetro ,j(T) el dimetro de
la circunferencia inscrita y 0
T
el ngulo ms pequeo de T.

T
(T)
O
A
B
C
T
Es fcil demostrar que:
/(T)
j(T)
_
2
:c:(0
T
)
Como las triangulaciones t
|
son regulares, existe 0
0
tal que 0
T
_ 0
0
, \T
t
|
, \/ 0. Luego:
j(T) _
:c:(0
0
)
2
/(T) (6)
Por otro lado, tenemos que:
(T) _

4
j
2
(T) (7)
Se sigue de (6) , (7) y (5) que:
1
2
(T)
_
161
2
:c:
2
(0
0
)/
2
(T)
_
161
2
:c:
2
(0
0
)/
2
min
_
16'
2
1
2
:c:
2
(0
0
)/
2
Lo anterior es vlido \T t
|
.As tenemos en (4) que:

T
h
_
16'
2
1
2
:c:
2
(0
0
)
1
/
2
(8)
Se sigue que:
c
|

T
h
_ C
c
|
/
2
(9)
2
con C =
161
2
1
2
stn
2
(0
h
)
.
El parmetro de regularizacin c
|
0 se debe elegir dependiente de c 0 y
para que corresponda con una estrategia de regularizacin admisible para cada
problema discreto, debe satisfacer las siguientes propiedades mnimas:
c
|
(c) 0 y
c
2
c
|
(c)
0 (10)
cuando c 0,para cada /, segn el siguiente teorema para el mtodo de
Tikhonov no lineal:
TEOREMA 1: Para el problema no lineal 1(r) = j. Sea j 1 tal que ex-
iste una solucin r
y
o(r
0
) (soluciones de norma mmima-r
0
). Sea j
o
un dato
con error tal que

j j
o

_ c y r
o,o
arg min
n
J
o,o
(r) =

1(r) j
o

2
+
o
2

r r
0

2
o
.
Si c = c(c) se elige tal que:
c(c) 0 y
c
2
c(c)
0
cuando c 0, entonces existe una subsucesin r
on,on
con c
n
0 con-
vergente y el lmite de cualquier sucesin convergente es un elemento de o(r
0
),
es decir, es una solucin de norma mnima-r
0
de 1(r) = j.
Por otro lado, con respecto al orden de convergencia, tenemos el siguiente
resultado:
TEOREMA 2: Con las mismas hiptesis del Teorema 1, supongamos que
1(1) es convexo y adems que:
i) 1 es diferenciable Frchet.
ii) 0 tal que:

1
0
(r
y
) 1
0
(r)

r
y
r

, \r 1(r
y
, 1), para
algn 1 0.
iii) n 1 tal que: r
y
r
0
= 1
0
(r
y
)

n
i) |n| < 1
Entonces, para la eleccin a priori c(c) ~ c, se tiene que:

r
o,o
r
y

= O(
_
c) y

1(r
o,o
) j
o

= O(c) (11)
OBSERVACIONES:
1. c(c) ~ c signica que C
1
c _ c _ C
2
c para C
1
, C
2
0.
2. La cota exacta del teorema es:

r
o,o
r
y

_
c +c|n|
_
c(1 |n|)
1
2
Con la condicin 1 queda:
1 +C
1
|n|
_
C
1
(1 |n|)
1
2
_
c _

r
o,o
r
y

_
1 +C
2
|n|
_
C
2
(1 |n|)
1
2
_
c (12)
3
Considerando los resultados anteriores, supondremos por el momento que se
satisfacen las hiptesis i) a i) del Teorema 2 con respecto al operador discreto
1
|
: 1
1
() 1
2
() de nuestro problema. Entonces para que:
|-
o
|
(.) -
|
(.)|
J
1
()
= O(
_
c)
para cada /, el Teorema 2 y (9) nos sugieren que c
|
(c) tenga la forma:
c
|
(c) = 1
1
c/
2
(13)
con 1
1
0, pues as c
|
(c) 0 y c
|

T
h
0 cuando c 0 y adems
se tendra que:
C
1
(/)c _ c
|
_ C
2
(/)c (14)
con C
1
(/) = 1
1
/
3
y C
2
(/) = 1
1
/ si 0 < / < 1. De esta manera c
|
~ c
para cada / 0.
Por otro lado:
c
2
c
|
(c)
=
c
1
1
/
2
Eligiendo / como:
/ = 1
2
c
|
, 1
2
0
se tiene que:
c
2
c
|
(c)
=
1
1
1
1
2
2
c
12|
Luego:
c
2
c
|
(c)
0
siempre que:
/ = 1
2
c
|
, 0 < t <
1
2
(15)
Notemos por ltimo que al reemplazar el valor de C
2
(/) = 1
1
/ en el lado
derecho de (12), se obtiene:
|-
o
h
|
(.) -
|
(.)|
J
1
()
_
1 +1
1
/|n|
_
1
1
(1 |n|)
1
2
r
c
/
(16)
NOTA: Estoy suponiendo que n = n
|
y
|
= !. Habra que ver la posi-
bilidad de esto.
Se ve que la eleccin de / en (15) asegura una convergencia uniforme a cero
en (16) :

-
o
h
(o)
|(o)
(.) -
|(o)
(.)

J
1
()
0, c 0
REFERENCIA
[1] Engl,Hanke,Neubauer. Regularization of inverse problems. Captulo 10.
4