Fast numerical solvers for parameter identification problems in mathematical biology

Karolína Benková,John W. Pearson,Mariya Ptashnyk
2024-08-27
Abstract:In this paper, we consider effective discretization strategies and iterative solvers for nonlinear PDE-constrained optimization models for pattern evolution within biological processes. Upon a Sequential Quadratic Programming linearization of the optimization problem, we devise appropriate time-stepping schemes and discrete approximations of the cost functionals such that the discretization and optimization operations are commutative, a highly desirable property of a discretization of such problems. We formulate the large-scale, coupled linear systems in such a way that efficient preconditioned iterative methods can be applied within a Krylov subspace solver. Numerical experiments demonstrate the viability and efficiency of our approach.
Numerical Analysis,Optimization and Control
What problem does this paper attempt to address?
The problem that this paper attempts to solve is: in mathematical biology, how to effectively solve the parameter identification problem in the nonlinear partial differential equation (PDE) -constrained optimization problems related to pattern evolution. Specifically, the authors focus on how to solve the pattern evolution problems in biological processes through effective discretization strategies and iterative solvers. ### Specific description of the problem 1. **Background and motivation**: - In complex biological systems, it is crucial to understand the formation mechanisms of structures and shapes. - Pattern formation is a key research area, such as the formation of different tissues and organs during embryonic development. - These pattern formations can be modeled by reaction - diffusion equations. 2. **Core of the problem**: - Parameter identification problem: determine or approximately identify the missing parameters or functions in the PDE system. - These parameters usually need to be fitted through indirect measurements (such as images). - Transform the parameter identification problem into a PDE -constrained optimization (PDECO) problem, where the PDE is the constraint condition and the unknown parameters are the control variables. 3. **Challenges**: - How to design a discretization scheme so that the discretization and optimization operations can be commutative, which is a very desirable property. - For time - dependent problems, the solution of the coupled system involves forward and backward time evolutions. - Efficient pre - processing strategies are required to accelerate convergence and obtain solutions quickly and robustly. ### Goals of the paper The main goal of the paper is to propose a numerical scheme for solving PDECO problems with reaction - diffusion equations, which allows the exchange of discretization and optimization steps. Specifically: - Develop a discretization scheme so that the system matrix is symmetric, thereby taking advantage of the robustness and theoretically predicted convergence of symmetric systems. - Design a fast and efficient iterative numerical solver by utilizing the algebraic structure of the system matrix and designing appropriate pre - processing methods. - The proposed method is applicable to a wide range of nonlinear evolutionary PDEs and can be applied to other time - stepping methods to achieve the required stability characteristics or implicit - explicit (IMEX) methods. ### Summary This paper aims to solve the parameter identification problem in the nonlinear PDE -constrained optimization problems of pattern evolution in mathematical biology. By developing efficient discretization strategies and iterative solvers, it ensures the commutativity of discretization and optimization operations and provides fast and robust solutions.