Colloquium

3:00 p.m., Friday (September 17, 2004)

Math Annex 1100

Otmar Scherzer
Department of Computer Science, University of Innsbruck

Linear, Non-linear, Non-differentiable, Non-convex regularization involving Unbounded Operators

Tikhonov initiated the research on stable method for the numerical solution of inverse and ill-posed problems. Tikhonov's approach consists in approximating a solution of an operator equation

F(x)=y

by a minimizer of the penalized functional

||F(x)-y||^2 +\alpha ||x||^2 (\alpha >0) .

In the beginning mainly linear ill-posed problems (i.e. F is linear) such as computerized tomography have been solved with these methods. The theory of Tikhonov regularization methods developed systematically. Until around 1980 there has been success in a rigorous and rather complete analysis of regularization methods for linear ill-posed problems. We mention the books of Tikhonov & Arsenin, Nashed, Engl & Groetsch, Groetsch, Morozov, Louis Natterer, Bertero & Boccacci, Kirsch, Colton & Kress... . In 1989 Engl & Kunisch & Neubauer and Seidman & Vogel developed a regularization theory for non-linear inverse problems where F is a non-linear, differentiable operator. About the same time Osher & Rudin used bounded variation regularization for denoising and deblurring, which consists in minimization of the functional

||F(x)-y||^2 + \alpha\int |\nabla x| .

This method is highly successful in restoring discontinuities. The analysis of bounded variation regularization is significantly more involved since the penalization functional is not differentiable. Over the past years this concept has attracted many mathematical research. The next step toward generalization of regularization methods is non-convex regularization. Here the general goal is to minimize functionals of the form

\int g(F(x)-y,x,\nabla x),

which may be nonconvex with respect to the third component \nabla x.

Another complication is introduced in the analysis of regularization functionals if for instance the operator F can be decomposed into a continuous and a discontinuous operator. Such models have become popular for level set regularization recently.

Refreshments will be served at 2:45 p.m. in the Faculty Lounge, Math Annex (Room 1115).



Copyright © 2004 UBC Mathematics Department