A Unifying Framework for Interpolatory $\mathcal{L}_2$-optimal Reduced-order Modeling

Petar Mlinarić,Serkan Gugercin
DOI: https://doi.org/10.1137/22M1516920
2023-09-26
Abstract:We develop a unifying framework for interpolatory $\mathcal{L}_2$-optimal reduced-order modeling for a wide classes of problems ranging from stationary models to parametric dynamical systems. We first show that the framework naturally covers the well-known interpolatory necessary conditions for $\mathcal{H}_2$-optimal model order reduction and leads to the interpolatory conditions for $\mathcal{H}_2 \otimes \mathcal{L}_2$-optimal model order reduction of multi-input/multi-output parametric dynamical systems. Moreover, we derive novel interpolatory optimality conditions for rational discrete least-squares minimization and for $\mathcal{L}_2$-optimal model order reduction of a class of parametric stationary models. We show that bitangential Hermite interpolation appears as the main tool for optimality across different domains. The theoretical results are illustrated on two numerical examples.
Numerical Analysis,Systems and Control,Optimization and Control
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to develop a unified framework for interpolating L2 - optimal reduced - order modeling, covering a wide range of problems from static models to parametric dynamic systems. Specifically, the objectives of the paper include: 1. **Prove existing interpolation optimality conditions**: For the interpolation optimality conditions in the approximation of linear time - invariant (LTI) systems, prove that these conditions are a special case of its framework and directly derive them therefrom (Section 3.1). 2. **Derive interpolation optimality conditions for parametric LTI systems** (Section 3.2). 3. **Derive interpolation optimality conditions under the discrete least - squares metric** (Section 4). 4. **Derive interpolation optimality conditions for the approximation of parametric static problems** (Section 5). Through these objectives, the authors hope to extend the optimal interpolation theory so that it is applicable to a wider class of problems and provide a unified framework to handle interpolation optimal approximation problems in different fields. ### Specific Problem Description #### 1. Establishment of a Unified Framework The paper first shows that this framework naturally encompasses the known interpolation necessary conditions for H2 - optimal model reduction and leads to the interpolation conditions for H2⊗L2 - optimal model reduction of multi - input/multi - output parametric dynamic systems. In addition, new interpolation optimality conditions for rational discrete least - squares minimization and L2 - optimal model reduction of a class of parametric static models are also derived. #### 2. Bicetare Hermite Interpolation The paper points out that Bicetare Hermite interpolation plays a central role in the optimality in different fields. This indicates that interpolation is a key tool for achieving optimality, whether in dynamic systems or static problems. #### 3. Numerical Examples The theoretical results are illustrated by two numerical examples, which verify the effectiveness and applicability of the proposed framework. ### Main Contributions 1. **Special Case of Existing Conditions**: Proved that the existing interpolation optimality conditions for LTI system approximation are a special case of its framework (Section 3.1). 2. **Conditions for Parametric LTI Systems**: Derived the interpolation optimality conditions for parametric LTI systems (Section 3.2). 3. **Discrete Least - Squares Metric**: Derived the interpolation optimality conditions under the discrete least - squares metric (Section 4). 4. **Parametric Static Problems**: Derived the interpolation optimality conditions for the approximation of parametric static problems (Section 5). Through these contributions, the paper provides a unified framework that can be applied to different types of systems and problems, thereby expanding the application range of the optimal interpolation theory.