-
Nonintrusive model order reduction for stochastic differential equations
Authors:
M. A. Freitag,
J. M. Nicolaus,
M. Redmann
Abstract:
A non-intrusive model order reduction method for bilinear stochastic differential equations with additive noise is proposed. A reduced order model (ROM) is designed in order to approximate the statistical properties of high-dimensional systems. The drift and diffusion coefficients of the ROM are inferred from state observations by solving appropriate least-squares problems. The closeness of the RO…
▽ More
A non-intrusive model order reduction method for bilinear stochastic differential equations with additive noise is proposed. A reduced order model (ROM) is designed in order to approximate the statistical properties of high-dimensional systems. The drift and diffusion coefficients of the ROM are inferred from state observations by solving appropriate least-squares problems. The closeness of the ROM obtained by the presented approach to the intrusive ROM obtained by the proper orthogonal decomposition (POD) method is investigated. Two generalisations of the snapshot-based dominant subspace construction to the stochastic case are presented. Numerical experiments are provided to compare the developed approach to POD.
△ Less
Submitted 8 July, 2024;
originally announced July 2024.
-
(Empirical) Gramian-based dimension reduction for stochastic differential equations driven by fractional Brownian motion
Authors:
Nahid Jamshidi,
Martin Redmann
Abstract:
In this paper, we investigate large-scale linear systems driven by a fractional Brownian motion (fBm) with Hurst parameter $H\in [1/2, 1)$. We interpret these equations either in the sense of Young ($H>1/2$) or Stratonovich ($H=1/2$). Especially fractional Young differential equations are well suited for modeling real-world phenomena as they capture memory effects. Although it is very complex to s…
▽ More
In this paper, we investigate large-scale linear systems driven by a fractional Brownian motion (fBm) with Hurst parameter $H\in [1/2, 1)$. We interpret these equations either in the sense of Young ($H>1/2$) or Stratonovich ($H=1/2$). Especially fractional Young differential equations are well suited for modeling real-world phenomena as they capture memory effects. Although it is very complex to solve them in high dimensions, model reduction schemes for Young or Stratonovich settings have not yet been studied much. To address this gap, we analyze important features of fundamental solutions associated to the underlying systems. We prove a weak type of semigroup property which is the foundation of studying system Gramians. From the introduced Gramians, dominant subspace can be identified which is shown in this paper as well. The difficulty for fractional drivers with $H>1/2$ is that there is no link of the corresponding Gramians to algebraic equations making the computation very difficult. Therefore, we further propose empirical Gramians that can be learned from simulation data. Subsequently, we introduce projection-based reduced order models (ROMs) using the dominant subspace information. We point out that such projections are not always optimal for Stratonovich equations as stability might not be preserved and since the error might be larger than expected. Therefore, an improved ROM is proposed for $H=1/2$. We validate our techniques conducting numerical experiments on some large-scale stochastic differential equations driven by fBm resulting from spatial discretizations of fractional stochastic PDEs. Overall, our study provides useful insights into the applicability and effectiveness of reduced order methods for stochastic systems with fractional noise, which can potentially aid in the development of more efficient computational strategies for practical applications.
△ Less
Submitted 10 July, 2023;
originally announced July 2023.
-
Exact dimension reduction for rough differential equations
Authors:
Martin Redmann,
Sebastian Riedel
Abstract:
In this paper, practically computable low-order approximations of potentially high-dimensional differential equations driven by geometric rough paths are proposed and investigated. In particular, equations are studied that cover the linear setting, but we allow for a certain type of dissipative nonlinearity in the drift as well. In a first step, a linear subspace is found that contains the solutio…
▽ More
In this paper, practically computable low-order approximations of potentially high-dimensional differential equations driven by geometric rough paths are proposed and investigated. In particular, equations are studied that cover the linear setting, but we allow for a certain type of dissipative nonlinearity in the drift as well. In a first step, a linear subspace is found that contains the solution space of the underlying rough differential equation (RDE). This subspace is associated to covariances of linear Ito-stochastic differential equations which is shown exploiting a Gronwall lemma for matrix differential equations. Orthogonal projections onto the identified subspace lead to a first exact reduced order system. Secondly, a linear map of the RDE solution (quantity of interest) is analyzed in terms of redundant information meaning that state variables are found that do not contribute to the quantity of interest. Once more, a link to Ito-stochastic differential equations is used. Removing such unnecessary information from the RDE provides a further dimension reduction without causing an error. Finally, we discretize a linear parabolic rough partial differential equation in space. The resulting large-order RDE is subsequently tackled with the exact reduction techniques studied in this paper. We illustrate the enormous complexity reduction potential in the corresponding numerical experiments.
△ Less
Submitted 30 June, 2023;
originally announced June 2023.
-
Complexity reduction of large-scale stochastic systems using linear quadratic Gaussian balancing
Authors:
Tobias Damm,
Martin Redmann
Abstract:
In this paper, we consider a model reduction technique for stabilizable and detectable stochastic systems. It is based on a pair of Gramians that we analyze in terms of well-posedness. Subsequently, dominant subspaces of the stochastic systems are identified exploiting these Gramians. An associated balancing related scheme is proposed that removes unimportant information from the stochastic dynami…
▽ More
In this paper, we consider a model reduction technique for stabilizable and detectable stochastic systems. It is based on a pair of Gramians that we analyze in terms of well-posedness. Subsequently, dominant subspaces of the stochastic systems are identified exploiting these Gramians. An associated balancing related scheme is proposed that removes unimportant information from the stochastic dynamics in order to obtain a reduced system. We show that this reduced model preserves important features like stabilizability and detectability. Additionally, a comprehensive error analysis based on eigenvalues of the Gramian pair product is conducted. This provides an a-priori criterion for the reduction quality which we illustrate in numerical experiments.
△ Less
Submitted 6 November, 2023; v1 submitted 23 March, 2023;
originally announced March 2023.
-
Model reduction for stochastic systems with nonlinear drift
Authors:
Martin Redmann
Abstract:
In this paper, we study dimension reduction techniques for large-scale controlled stochastic differential equations (SDEs). The drift of the considered SDEs contains a polynomial term satisfying a one-sided growth condition. Such nonlinearities in high dimensional settings occur, e.g., when stochastic reaction diffusion equations are discretized in space. We provide a brief discussion around exist…
▽ More
In this paper, we study dimension reduction techniques for large-scale controlled stochastic differential equations (SDEs). The drift of the considered SDEs contains a polynomial term satisfying a one-sided growth condition. Such nonlinearities in high dimensional settings occur, e.g., when stochastic reaction diffusion equations are discretized in space. We provide a brief discussion around existence, uniqueness and stability of solutions. (Almost) stability then is the basis for new concepts of Gramians that we introduce and study in this work. With the help of these Gramians, dominant subspace are identified leading to a balancing related highly accurate reduced order SDE. We provide an algebraic error criterion and an error analysis of the propose model reduction schemes. The paper is concluded by applying our method to spatially discretized reaction diffusion equations.
△ Less
Submitted 9 March, 2023; v1 submitted 31 January, 2023;
originally announced January 2023.
-
Solving high-dimensional optimal stop** problems using optimization based model order reduction
Authors:
Martin Redmann
Abstract:
Solving optimal stop** problems by backward induction in high dimensions is often very complex since the computation of conditional expectations is required. Typically, such computations are based on regression, a method that suffers from the curse of dimensionality. Therefore, the objective of this paper is to establish dimension reduction schemes for large-scale asset price models and to solve…
▽ More
Solving optimal stop** problems by backward induction in high dimensions is often very complex since the computation of conditional expectations is required. Typically, such computations are based on regression, a method that suffers from the curse of dimensionality. Therefore, the objective of this paper is to establish dimension reduction schemes for large-scale asset price models and to solve related optimal stop** problems (e.g. Bermudan option pricing) in the reduced setting, where regression is feasible. The proposed algorithm is based on an error measure between linear stochastic differential equations. We establish optimality conditions for this error measure with respect to the reduce system coefficients and propose a particular method that satisfies these conditions up to a small deviation. We illustrate the benefit of our approach in several numerical experiments, in which Bermudan option prices are determined.
△ Less
Submitted 18 May, 2022;
originally announced May 2022.
-
Gramian-based model reduction for unstable stochastic systems
Authors:
Martin Redmann,
Nahid Jamshidi
Abstract:
This paper considers large-scale linear stochastic systems representing, e.g., spatially discretized stochastic partial differential equations. Since asymptotic stability can often not be ensured in such a stochastic setting (e.g. due to larger noise), the main focus is on establishing model order reduction (MOR) schemes applicable to unstable systems. MOR is vital to reduce the dimension of the p…
▽ More
This paper considers large-scale linear stochastic systems representing, e.g., spatially discretized stochastic partial differential equations. Since asymptotic stability can often not be ensured in such a stochastic setting (e.g. due to larger noise), the main focus is on establishing model order reduction (MOR) schemes applicable to unstable systems. MOR is vital to reduce the dimension of the problem in order to lower the enormous computational complexity of for instance sampling methods in high dimensions. In particular, a new type of Gramian-based MOR approach is proposed in this paper that can be used in very general settings. The considered Gramians are constructed to identify dominant subspaces of the stochastic system as pointed out in this work. Moreover, they can be computed via Lyapunov equations. However, covariance information of the underlying systems enters these equations which is not directly available. Therefore, efficient sampling based methods relying on variance reduction techniques are established to derive the required covariances and hence the Gramians. Alternatively, an ansatz to compute the Gramians by deterministic approximations of covariance functions is investigated. An error bound for the studied MOR methods is proved yielding an a-priori criterion for the choice of the reduced system dimension. This bound is new and beneficial even in the deterministic case. The paper is concluded by numerical experiments showing the efficiency of the proposed MOR schemes.
△ Less
Submitted 18 May, 2022; v1 submitted 21 September, 2021;
originally announced September 2021.
-
Model order reduction for bilinear systems with non-zero initial states -- different approaches with error bounds
Authors:
Martin Redmann,
Igor Pontes Duff
Abstract:
In this paper, we consider model order reduction for bilinear systems with non-zero initial conditions. We discuss choices of Gramians for both the homogeneous and the inhomogeneous parts of the system individually and prove how these Gramians characterize the respective dominant subspaces of each of the two subsystems. Proposing different, not necessarily structure preserving, reduced order metho…
▽ More
In this paper, we consider model order reduction for bilinear systems with non-zero initial conditions. We discuss choices of Gramians for both the homogeneous and the inhomogeneous parts of the system individually and prove how these Gramians characterize the respective dominant subspaces of each of the two subsystems. Proposing different, not necessarily structure preserving, reduced order methods for each subsystem, we establish several strategies to reduce the dimension of the full system. For all these approaches, error bounds are shown depending on the truncated Hankel singular values of the subsystems. Besides the error analysis, stability is discussed. In particular, a focus is on a new criterion for the homogeneous subsystem guaranteeing the existence of the associated Gramians and an asymptotically stable realization of the system.
△ Less
Submitted 18 May, 2022; v1 submitted 9 July, 2021;
originally announced July 2021.
-
Full state approximation by Galerkin projection reduced order models for stochastic and bilinear systems
Authors:
Martin Redmann,
Igor Pontes Duff
Abstract:
In this paper, the problem of full state approximation by model reduction is studied for stochastic and bilinear systems. Our proposed approach relies on identifying the dominant subspaces based on the reachability Gramian of a system. Once the desired subspace is computed, the reduced order model is then obtained by a Galerkin projection. We prove that, in the stochastic case, this approach eithe…
▽ More
In this paper, the problem of full state approximation by model reduction is studied for stochastic and bilinear systems. Our proposed approach relies on identifying the dominant subspaces based on the reachability Gramian of a system. Once the desired subspace is computed, the reduced order model is then obtained by a Galerkin projection. We prove that, in the stochastic case, this approach either preserves mean square asymptotic stability or leads to reduced models whose minimal realization is mean square asymptotically stable. This stability preservation guarantees the existence of the reduced system reachability Gramian which is the basis for the full state error bounds that we derive. This error bound depends on the neglected eigenvalues of the reachability Gramian and hence shows that these values are a good indicator for the expected error in the dimension reduction procedure. Subsequently, we establish the stability preservation result and the error bound for a full state approximation to bilinear systems in a similar manner. These latter results are based on a recently proved link between stochastic and bilinear systems. We conclude the paper by numerical experiments using a benchmark problem. We compare this approach with balanced truncation and show that it performs well in reproducing the full state of the system. \end{abstract}
△ Less
Submitted 15 February, 2021;
originally announced February 2021.
-
Optimization based model order reduction for stochastic systems
Authors:
Martin Redmann,
Melina A. Freitag
Abstract:
In this paper, we bring together the worlds of model order reduction for stochastic linear systems and $\mathcal H_2$-optimal model order reduction for deterministic systems. In particular, we supplement and complete the theory of error bounds for model order reduction of stochastic differential equations. With these error bounds, we establish a link between the output error for stochastic systems…
▽ More
In this paper, we bring together the worlds of model order reduction for stochastic linear systems and $\mathcal H_2$-optimal model order reduction for deterministic systems. In particular, we supplement and complete the theory of error bounds for model order reduction of stochastic differential equations. With these error bounds, we establish a link between the output error for stochastic systems (with additive and multiplicative noise) and modified versions of the $\mathcal H_2$-norm for both linear and bilinear deterministic systems. When deriving the respective optimality conditions for minimizing the error bounds, we see that model order reduction techniques related to iterative rational Krylov algorithms (IRKA) are very natural and effective methods for reducing the dimension of large-scale stochastic systems with additive and/or multiplicative noise. We apply modified versions of (linear and bilinear) IRKA to stochastic linear systems and show their efficiency in numerical experiments.
△ Less
Submitted 20 July, 2020;
originally announced July 2020.
-
Runge-Kutta methods for rough differential equations
Authors:
Martin Redmann,
Sebastian Riedel
Abstract:
We study Runge-Kutta methods for rough differential equations which can be used to calculate solutions to stochastic differential equations driven by processes that are rougher than a Brownian motion. We use a Taylor series representation (B-series) for both the numerical scheme and the solution of the rough differential equation in order to determine conditions that guarantee the desired order of…
▽ More
We study Runge-Kutta methods for rough differential equations which can be used to calculate solutions to stochastic differential equations driven by processes that are rougher than a Brownian motion. We use a Taylor series representation (B-series) for both the numerical scheme and the solution of the rough differential equation in order to determine conditions that guarantee the desired order of the local error for the underlying Runge-Kutta method. Subsequently, we prove the order of the global error given the local rate. In addition, we simplify the numerical approximation by introducing a Runge-Kutta scheme that is based on the increments of the driver of the rough differential equation. This simplified method can be easily implemented and is computational cheap since it is derivative-free. We provide a full characterization of this implementable Runge-Kutta method meaning that we provide necessary and sufficient algebraic conditions for an optimal order of convergence in case that the driver, e.g., is a fractional Brownian motion with Hurst index $\frac{1}{4} < H \leq \frac{1}{2}$. We conclude this paper by conducting numerical experiments verifying the theoretical rate of convergence.
△ Less
Submitted 27 March, 2020;
originally announced March 2020.
-
Low-dimensional approximations of high-dimensional asset price models
Authors:
Martin Redmann,
Christian Bayer,
Pawan Goyal
Abstract:
We consider high-dimensional asset price models that are reduced in their dimension in order to reduce the complexity of the problem or the effect of the curse of dimensionality in the context of option pricing. We apply model order reduction (MOR) to obtain a reduced system. MOR has been previously studied for asymptotically stable controlled stochastic systems with zero initial conditions. Howev…
▽ More
We consider high-dimensional asset price models that are reduced in their dimension in order to reduce the complexity of the problem or the effect of the curse of dimensionality in the context of option pricing. We apply model order reduction (MOR) to obtain a reduced system. MOR has been previously studied for asymptotically stable controlled stochastic systems with zero initial conditions. However, stochastic differential equations modeling price processes are uncontrolled, have non-zero initial states and are often unstable. Therefore, we extend MOR schemes and combine ideas of techniques known for deterministic systems. This leads to a method providing a good pathwise approximation. After explaining the reduction procedure, the error of the approximation is analyzed and the performance of the algorithm is shown conducting several numerical experiments. Within the numerics section, the benefit of the algorithm in the context of option pricing is pointed out.
△ Less
Submitted 1 April, 2021; v1 submitted 15 March, 2020;
originally announced March 2020.
-
Error bounds for model reduction of feedback-controlled linear stochastic dynamics on Hilbert spaces
Authors:
Simon Becker,
Carsten Hartmann,
Martin Redmann,
Lorenz Richter
Abstract:
We analyze structure-preserving model order reduction methods for Ornstein-Uhlenbeck processes and linear S(P)DEs with multiplicative noise based on balanced truncation. For the first time, we include in this study the analysis of non-zero initial conditions. We moreover allow for feedback-controlled dynamics for solving stochastic optimal control problems with reduced-order models and prove novel…
▽ More
We analyze structure-preserving model order reduction methods for Ornstein-Uhlenbeck processes and linear S(P)DEs with multiplicative noise based on balanced truncation. For the first time, we include in this study the analysis of non-zero initial conditions. We moreover allow for feedback-controlled dynamics for solving stochastic optimal control problems with reduced-order models and prove novel error bounds for a class of linear quadratic regulator problems. We provide numerical evidence for the bounds and discuss the application of our approach to enhanced sampling methods from non-equilibrium statistical mechanics.
△ Less
Submitted 17 March, 2022; v1 submitted 12 December, 2019;
originally announced December 2019.
-
Bilinear systems -- A new link to $\mathcal H_2$-norms, relations to stochastic systems and further properties
Authors:
Martin Redmann
Abstract:
In this paper, we prove several new results that give new insights into bilinear systems. We discuss conditions for asymptotic stability using probabilistic arguments. Moreover, we provide a global characterization of reachability in bilinear systems based on a certain Gramian. Reachability energy estimates using the same Gramian have only been local so far. The main result of this paper, however,…
▽ More
In this paper, we prove several new results that give new insights into bilinear systems. We discuss conditions for asymptotic stability using probabilistic arguments. Moreover, we provide a global characterization of reachability in bilinear systems based on a certain Gramian. Reachability energy estimates using the same Gramian have only been local so far. The main result of this paper, however, is a new link between the output error and the $\mathcal H_2$-error of two bilinear systems. This result has several consequences in the field of model order reduction. It explains why $\mathcal H_2$-optimal model order reduction leads to good approximations in terms of the output error. Moreover, output errors based on the $\mathcal H_2$-norm can now be proved for balancing related model order reduction schemes in this paper. All these new results are based on a Gronwall lemma for matrix differential equations that is established here.
△ Less
Submitted 1 April, 2021; v1 submitted 31 October, 2019;
originally announced October 2019.
-
An $L^2_T$-error bound for time-limited balanced truncation
Authors:
Martin Redmann
Abstract:
Model order reduction (MOR) is often applied to spatially-discretized partial differential equations to reduce their order and hence decrease computational complexity. A reduced system can be obtained, e.g., by time-limited balanced truncation, a method that aims to construct an accurate reduced order model on a given finite time interval $[0, T]$. This particular balancing related MOR technique i…
▽ More
Model order reduction (MOR) is often applied to spatially-discretized partial differential equations to reduce their order and hence decrease computational complexity. A reduced system can be obtained, e.g., by time-limited balanced truncation, a method that aims to construct an accurate reduced order model on a given finite time interval $[0, T]$. This particular balancing related MOR technique is studied in this paper. An $L^2_T$-error bound based on the truncated time-limited singular values is proved and is the main result of this paper. The derived error bound converges (as $T\rightarrow \infty$) to the well-known $\mathcal H_\infty$-error bound of unrestricted balanced truncation, a scheme that is used to construct a good reduced system on the entire time line. The techniques within the proofs of this paper can also be applied to unrestricted balanced truncation so that a relatively short time domain proof of the $\mathcal H_\infty$-error bound is found here.
△ Less
Submitted 11 July, 2019;
originally announced July 2019.
-
A new type of singular perturbation approximation for stochastic bilinear systems
Authors:
Martin Redmann
Abstract:
Model order reduction (MOR) techniques are often used to reduce the order of spatially-discretized (stochastic) partial differential equations and hence reduce computational complexity. A particular class of MOR techniques is balancing related methods which rely on simultaneously diagonalizing the system Gramians. This has been extensively studied for deterministic linear systems. The balancing pr…
▽ More
Model order reduction (MOR) techniques are often used to reduce the order of spatially-discretized (stochastic) partial differential equations and hence reduce computational complexity. A particular class of MOR techniques is balancing related methods which rely on simultaneously diagonalizing the system Gramians. This has been extensively studied for deterministic linear systems. The balancing procedure has already been extended to bilinear equations [1], an important subclass of nonlinear systems. The choice of Gramians in [1] is referred to be the standard approach. In [18], a balancing related MOR scheme for bilinear systems called singular perturbation approximation (SPA) has been described that relies on the standard choice of Gramians. However, no error bound for this method could be proved. In this paper, we extend the setting used in [18] by considering a stochastic system with bilinear drift and linear diffusion term. Moreover, we propose a modified reduced order model and choose a different reachability Gramian. Based on this new approach, an $L^2$-error bound is proved for SPA which is the main result of this paper. This bound is new even for deterministic bilinear systems.
△ Less
Submitted 27 March, 2019;
originally announced March 2019.
-
Dynamic programming for optimal stop** via pseudo-regression
Authors:
Christian Bayer,
Martin Redmann,
John Schoenmakers
Abstract:
We introduce new variants of classical regression-based algorithms for optimal stop** problems based on computation of regression coefficients by Monte Carlo approximation of the corresponding $L^2$ inner products instead of the least-squares error functional. Coupled with new proposals for simulation of the underlying samples, we call the approach "pseudo regression". A detailed convergence ana…
▽ More
We introduce new variants of classical regression-based algorithms for optimal stop** problems based on computation of regression coefficients by Monte Carlo approximation of the corresponding $L^2$ inner products instead of the least-squares error functional. Coupled with new proposals for simulation of the underlying samples, we call the approach "pseudo regression". A detailed convergence analysis is provided and it is shown that the approach asymptotically leads to less computational cost for a pre-specified error tolerance, hence to lower complexity. The method is justified by numerical examples.
△ Less
Submitted 25 April, 2019; v1 submitted 10 August, 2018;
originally announced August 2018.
-
Energy estimates and model order reduction for stochastic bilinear systems
Authors:
Martin Redmann
Abstract:
In this paper, we investigate a large-scale stochastic system with bilinear drift and linear diffusion term. Such high dimensional systems appear for example when discretizing a stochastic partial differential equations in space. We study a particular model order reduction technique called balanced truncation (BT) to reduce the order of spatially-discretized systems and hence reduce computational…
▽ More
In this paper, we investigate a large-scale stochastic system with bilinear drift and linear diffusion term. Such high dimensional systems appear for example when discretizing a stochastic partial differential equations in space. We study a particular model order reduction technique called balanced truncation (BT) to reduce the order of spatially-discretized systems and hence reduce computational complexity. We introduce suitable Gramians to the system and prove energy estimates that can be used to identify states which contribute only very little to the system dynamics. When BT is applied the reduced system is obtained by removing these states from the original system. The main contribution of this paper is an $L^2$-error bound for BT for stochastic bilinear systems. This result is new even for deterministic bilinear equations. In order to achieve it, we develop a new technique which is not available in the literature so far.
△ Less
Submitted 5 April, 2018;
originally announced April 2018.
-
Solving linear parabolic rough partial differential equations
Authors:
Christian Bayer,
Denis Belomestny,
Martin Redmann,
Sebastian Riedel,
John Schoenmakers
Abstract:
We study linear rough partial differential equations in the setting of [Friz and Hairer, Springer, 2014, Chapter 12]. More precisely, we consider a linear parabolic partial differential equation driven by a deterministic rough path $\mathbf{W}$ of Hölder regularity $α$ with $1/3 < α
\le 1/2$. Based on a stochastic representation of the solution of the rough partial differential equation, we prop…
▽ More
We study linear rough partial differential equations in the setting of [Friz and Hairer, Springer, 2014, Chapter 12]. More precisely, we consider a linear parabolic partial differential equation driven by a deterministic rough path $\mathbf{W}$ of Hölder regularity $α$ with $1/3 < α
\le 1/2$. Based on a stochastic representation of the solution of the rough partial differential equation, we propose a regression Monte Carlo algorithm for spatio-temporal approximation of the solution. We provide a full convergence analysis of the proposed approximation method which essentially relies on the new bounds for the higher order derivatives of the solution in space. Finally, a comprehensive simulation study showing the applicability of the proposed algorithm is presented.
△ Less
Submitted 26 March, 2018;
originally announced March 2018.
-
Towards Time-Limited $\mathcal H_2$-Optimal Model Order Reduction
Authors:
Pawan Goyal,
Martin Redmann
Abstract:
In order to solve partial differential equations numerically and accurately, a high order spatial discretization is usually needed. Model order reduction (MOR) techniques are often used to reduce the order of spatially-discretized systems and hence reduce computational complexity. A particular class of MOR techniques are $\mathcal H_2$-optimal methods such as the iterative rational Krylov subspace…
▽ More
In order to solve partial differential equations numerically and accurately, a high order spatial discretization is usually needed. Model order reduction (MOR) techniques are often used to reduce the order of spatially-discretized systems and hence reduce computational complexity. A particular class of MOR techniques are $\mathcal H_2$-optimal methods such as the iterative rational Krylov subspace algorithm (IRKA) and related schemes. However, these methods are used to obtain good approximations on a infinite time-horizon. Thus, in this work, our main goal is to discuss MOR schemes for time-limited linear systems. For this, we propose an alternative time-limited $\mathcal H_2$-norm and show its connection with the time-limited Gramians. We then provide first-order optimality conditions for an optimal reduced order model (ROM) with respect to the time-limited $\mathcal H_2$-norm. Based on these optimality conditions, we propose an iterative scheme, which, upon convergence, aims at satisfying these conditions approximately. Then, we analyze how far away the obtained ROM due to the proposed algorithm is from satisfying the optimality conditions. We test the efficiency of the proposed iterative scheme using various numerical examples and illustrate that the newly proposed iterative method can lead to a better reduced-order compared to the unrestricted IRKA in the finite time interval of interest.
△ Less
Submitted 1 December, 2017;
originally announced December 2017.
-
An $\mathcal H_2$-Type Error Bound for Time-Limited Balanced Truncation
Authors:
Martin Redmann,
Patrick Kürschner
Abstract:
When solving partial differential equations numerically, usually a high order spatial discretization is needed. Model order reduction (MOR) techniques are often used to reduce the order of spatially-discretized systems and hence reduce computational complexity. A particular MOR technique to obtain a reduced order model (ROM) is balanced truncation (BT). However, if one aims at finding a good ROM o…
▽ More
When solving partial differential equations numerically, usually a high order spatial discretization is needed. Model order reduction (MOR) techniques are often used to reduce the order of spatially-discretized systems and hence reduce computational complexity. A particular MOR technique to obtain a reduced order model (ROM) is balanced truncation (BT). However, if one aims at finding a good ROM on a certain finite time interval only, time-limited BT (TLBT) can be a more accurate alternative. So far, no error bound on TLBT has been proved. In this paper, we close this gap in the theory by providing an $\mathcal H_2$ error bound for TLBT with two different representations. The performance of the error bound is then shown in several numerical experiments.
△ Less
Submitted 20 October, 2017;
originally announced October 2017.
-
Type II balanced truncation for deterministic bilinear control systems
Authors:
Martin Redmann
Abstract:
When solving partial differential equations numerically, usually a high order spatial discretisation is needed. Model order reduction (MOR) techniques are often used to reduce the order of spatially-discretised systems and hence reduce computational complexity. A particular MOR technique to obtain a reduced order model (ROM) is balanced truncation (BT), a method which has been extensively studied…
▽ More
When solving partial differential equations numerically, usually a high order spatial discretisation is needed. Model order reduction (MOR) techniques are often used to reduce the order of spatially-discretised systems and hence reduce computational complexity. A particular MOR technique to obtain a reduced order model (ROM) is balanced truncation (BT), a method which has been extensively studied for deterministic linear systems. As so-called type I BT it has already been extended to bilinear equations, an important subclass of nonlinear systems. We provide an alternative generalisation of the linear setting to bilinear systems which is called type II BT. The Gramians that we propose in this context contain information about the control. It turns out that the new approach delivers energy bounds which are not just valid in a small neighbourhood of zero. Furthermore, we provide an $H_\infty$-error bound which so far is not known when applying type I BT to bilinear systems.
△ Less
Submitted 17 September, 2017;
originally announced September 2017.
-
Balanced truncation and singular perturbation approximation model order reduction for stochastically controlled linear systems
Authors:
Martin Redmann,
Melina A. Freitag
Abstract:
When solving linear stochastic differential equations numerically, usually a high order spatial discretisation is used. Balanced truncation (BT) and singular perturbation approximation (SPA) are well-known projection techniques in the deterministic framework which reduce the order of a control system and hence reduce computational complexity. This work considers both methods when the control is re…
▽ More
When solving linear stochastic differential equations numerically, usually a high order spatial discretisation is used. Balanced truncation (BT) and singular perturbation approximation (SPA) are well-known projection techniques in the deterministic framework which reduce the order of a control system and hence reduce computational complexity. This work considers both methods when the control is replaced by a noise term. We provide theoretical tools such as stochastic concepts for reachability and observability, which are necessary for balancing related model order reduction of linear stochastic differential equations with additive Lévy noise. Moreover, we derive error bounds for both BT and SPA and provide numerical results for a specific example which support the theory.
△ Less
Submitted 16 November, 2016;
originally announced November 2016.
