Abstract

In the present paper we consider minimization based formulations of inverse problems $ (x, \Phi)\in \mbox{argmin}\left\{{ \mathcal{J}(x, \Phi;y)}:{(x, \Phi)\in M_{ad}(y)}\right\} $ for the specific but highly relevant case that the admissible set $ M_{ad}^\delta(y^\delta) $ is defined by pointwise bounds, which is the case, e.g., if $ L^\infty $ constraints on the parameter are imposed in the sense of Ivanov regularization, and the $ L^\infty $ noise level in the observations is prescribed in the sense of Morozov regularization. As application examples for this setting we consider three coefficient identification problems in elliptic boundary value problems.Discretization of $ (x, \Phi) $ with piecewise constant and piecewise linear finite elements, respectively, leads to finite dimensional nonlinear box constrained minimization problems that can numerically be solved via Gauss-Newton type SQP methods. In our computational experiments we revisit the suggested application examples. In order to speed up the computations and obtain exact numerical solutions we use recently developed active set methods for solving strictly convex quadratic programs with box constraints as subroutines within our Gauss-Newton type SQP approach.

Highlights

  • As alternatives to the classical reduced formulation of inverse problems as operator equations with a forward operator F F (x) = y, (1)all-at once methods based on the more original formulation as a system of model and observation equation A(x, Φ) = 0, (2) C(Φ) = y, (3)and beyond that, minimization based formulations (x, Φ) ∈ argmin {J (x, Φ; y) : (x, Φ) ∈ Mad(y)}, (4)have been put forward, see, e.g., [10, 11]

  • In [10] we provide an analysis of regularization methods ∈ argmin{Tα(x, Φ; yδ) = J (x, Φ; yδ) + α · R(x, Φ) : (x, Φ) ∈ Maδd(yδ)}, (9)

  • The present paper is supposed to provide computational results in the specific but highly relevant case that Maδd(yδ) is defined by pointwise bounds, which is the case, e.g., if L∞ constraints on the parameter are imposed in the sense of Ivanov regularization, and the L∞ noise level in the observations is prescribed in the sense of Morozov regularization, i.e., starting from (4), (7), a regularizer is defined via the minimization problem

Read more

Summary

Introduction

As alternatives to the classical reduced formulation of inverse problems as operator equations with a forward operator F F (x) = y , (1). All-at once methods based on the more original formulation as a system of model and observation equation A(x, Φ) = 0 , (2) C(Φ) = y , (3). Beyond that, minimization based formulations (x, Φ) ∈ argmin {J (x, Φ; y) : (x, Φ) ∈ Mad(y)} , (4). In (1) – (4) x is the searched for quantity (e.g., a coefficient in a PDE), Φ the corresponding state (e.g., the solution of this PDE) and y the observed data.

Objectives
Methods
Conclusion
Full Text
Paper version not known

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.