Null space correction and adaptive model order reduction in multi-frequency Maxwell’s problem

A model order reduction method is developed for an operator with a non-empty null-space and applied to numerical solution of a forward multi-frequency eddy current problem using a rational interpolation of the transfer function in the complex plane. The equation is decomposed into the part in the null space of the operator, calculated exactly, and the part orthogonal to it which is approximated on a low-dimensional rational Krylov subspace. For the Maxwell’s equations the null space is related to the null space of the curl. The proposed null space correction is related to divergence correction and uses the Helmholtz decomposition. In the case of the finite element discretization with the edge elements, it is accomplished by solving the Poisson equation on the nodal elements of the same grid. To construct the low-dimensional approximation we adaptively choose the interpolating frequencies, defining the rational Krylov subspace, to reduce the maximal approximation error. We prove that in the case of an adaptive choice of shifts, the matrix spanning the approximation subspace can never become rank deficient. The efficiency of the developed approach is demonstrated by applying it to the magnetotelluric problem, which is a geophysical electromagnetic remote sensing method used in mineral, geothermal, and groundwater exploration. Numerical tests show an excellent performance of the proposed methods characterized by a significant reduction of the computational time without a loss of accuracy. The null space correction regularizes the otherwise ill-posed interpolation problem.

[1]  Tzanio V. Kolev,et al.  Some experience with a H1-based auxiliary space AMG for H(curl)-problems , 2006 .

[2]  D. Sorensen,et al.  A Survey of Model Reduction Methods for Large-Scale Systems , 2000 .

[3]  P. Wannamaker,et al.  Variational formulation for maxwell’s equations with lorenz gauge: Existence and uniqueness of solution , 2015 .

[4]  Karl Meerbergen,et al.  Lyapunov Inverse Iteration for Identifying Hopf Bifurcations in Models of Incompressible Flow , 2012, SIAM J. Sci. Comput..

[5]  Chad Lieberman,et al.  On Adaptive Choice of Shifts in Rational Krylov Subspace Reduction of Evolutionary Problems , 2010, SIAM J. Sci. Comput..

[6]  Valeria Simoncini,et al.  Large-scale Gauss-Newton inversion of transient controlled-source electromagnetic measurement data using the model reduction framework , 2013 .

[7]  Luís Miguel Silveira,et al.  ARMS - Automatic residue-minimization based sampling for multi-point modeling techniques , 2009, 2009 46th ACM/IEEE Design Automation Conference.

[8]  Yongwimon Lenbury,et al.  Numerical accuracy of magnetotelluric modeling: A comparison of finite difference approximations , 2002 .

[9]  Edward B. Saff,et al.  Potential theoretic tools in polynomial and rational approximation , 2006 .

[10]  P. Wannamaker,et al.  Adaptive model order reduction for the Jacobian calculation in inverse multi-frequency problem for Maxwell's equations , 2016 .

[11]  Ralph-Uwe Börner,et al.  Numerical Modelling in Geo-Electromagnetics: Advances and Challenges , 2010 .

[12]  Igor Moret Rational Lanczos approximations to the matrix square root and related functions , 2009, Numer. Linear Algebra Appl..

[13]  P. Wannamaker,et al.  3-dimensional magnetotelluric inversion including topography using deformed hexahedral edge finite elements and direct solvers parallelized on symmetric multiprocessor computers – Part II: direct data-space inverse solution , 2016 .

[14]  Colin Farquharson,et al.  Three-dimensional finite-element modelling of magnetotelluric data with a divergence correction , 2011 .

[15]  Z. Bai Krylov subspace techniques for reduced-order modeling of large-scale dynamical systems , 2002 .

[16]  O. Ernst,et al.  Fast 3-D simulation of transient electromagnetic fields by model reduction in the frequency domain using Krylov subspace projection , 2008 .

[17]  Y. Sasaki Full 3-D inversion of electromagnetic data on PC , 2001 .

[18]  Thomas Ransford,et al.  Potential Theory in the Complex Plane: Bibliography , 1995 .

[19]  Stefania Ragni,et al.  Rational Krylov methods in exponential integrators for European option pricing , 2014, Numer. Linear Algebra Appl..

[20]  Yongwimon Lenbury,et al.  Three-dimensional magnetotelluric inversion : data-space method , 2005 .

[21]  G. Newman,et al.  Three-dimensional magnetotelluric inversion using non-linear conjugate gradients , 2000 .

[22]  Vladimir Druskin,et al.  On Optimal Convergence Rate of the Rational Krylov Subspace Reduction for Electromagnetic Problems in Unbounded Domains , 2009, SIAM J. Numer. Anal..

[23]  Elena Cherkaev,et al.  3-D magnetotelluric inversion including topography using deformed hexahedral edge finite elements and direct solvers parallelized on SMP computers – Part I: forward problem and parameter Jacobians , 2016 .

[24]  Valeria Simoncini,et al.  Solution of the Time-Domain Inverse Resistivity Problem in the Model Reduction Framework Part I. One-Dimensional Problem with SISO Data , 2013, SIAM J. Sci. Comput..

[25]  Stefan Güttel,et al.  A black-box rational Arnoldi variant for Cauchy–Stieltjes matrix functions , 2013 .

[26]  E. Saff,et al.  Logarithmic Potentials with External Fields , 1997 .

[27]  S. Güttel Rational Krylov approximation of matrix functions: Numerical methods and optimal pole selection , 2013 .

[28]  Serkan Gugercin,et al.  H2 Model Reduction for Large-Scale Linear Dynamical Systems , 2008, SIAM J. Matrix Anal. Appl..

[29]  M. Bollhöfer,et al.  Adaptive-order rational Arnoldi-type methods in computational electromagnetism , 2014 .

[30]  R. Hiptmair Multigrid Method for Maxwell's Equations , 1998 .

[31]  Paul Van Dooren,et al.  A rational Lanczos algorithm for model reduction , 1996, Numerical Algorithms.

[32]  Peter Benner,et al.  Dimension Reduction of Large-Scale Systems , 2005 .

[33]  Eric James Grimme,et al.  Krylov Projection Methods for Model Reduction , 1997 .

[34]  R. Freund Model reduction methods based on Krylov subspaces , 2003, Acta Numerica.

[35]  A. Antoulas,et al.  H 2 Model Reduction for Large-scale Linear Dynamical Systems * , 2022 .

[36]  Valeria Simoncini,et al.  Acceleration Techniques for Approximating the Matrix Exponential Operator , 2008, SIAM J. Matrix Anal. Appl..

[37]  W. A. Mulder,et al.  A multigrid solver for 3D electromagnetic diffusion , 2006 .

[38]  Valeria Simoncini,et al.  Adaptive rational Krylov subspaces for large-scale dynamical systems , 2011, Syst. Control. Lett..

[39]  Mark E. Everett,et al.  Theoretical Developments in Electromagnetic Induction Geophysics with Selected Applications in the Near Surface , 2011, Surveys in Geophysics.

[40]  J. T. Smith Conservative modeling of 3-D electromagnetic fields, Part II: Biconjugate gradient solution and an accelerator , 1996 .

[41]  Pavel B. Bochev,et al.  Least-Squares Finite Element Methods , 2009, Applied mathematical sciences.