-
Finite time horizon mixed control of vibrational systems
Authors:
Ivica Nakić,
Marinela Pilj Vidaković,
Zoran Tomljanović
Abstract:
We consider a vibrational system control problem over a finite time horizon. The performance measure of the system is taken to be $p$-mixed $H_2$ norm which generalizes the standard $H_2$ norm. We present an algorithm for efficient calculation of this norm in the case when the system is parameter dependent and the number of inputs or outputs of the system is significantly smaller than the order of…
▽ More
We consider a vibrational system control problem over a finite time horizon. The performance measure of the system is taken to be $p$-mixed $H_2$ norm which generalizes the standard $H_2$ norm. We present an algorithm for efficient calculation of this norm in the case when the system is parameter dependent and the number of inputs or outputs of the system is significantly smaller than the order of the system. Our approach is based on a novel procedure which is not based on solving Lyapunov equations and which takes into account the structure of the system. We use a characterization of the $H_2$ norm given in terms of integrals which we solve using adaptive quadrature rules. This enables us to use recycling strategies as well as parallelization. The efficiency of the new algorithm allows for an analysis of the influence of various system parameters and different finite time horizons on the value of the $p$-mixed $H_2$ norm. We illustrate our approach by numerical examples concerning an $n$-mass oscillator with one damper.
△ Less
Submitted 23 December, 2023;
originally announced December 2023.
-
Efficient solution of sequences of parametrized Lyapunov equations with applications
Authors:
Davide Palitta,
Zoran Tomljanović,
Ivica Nakić,
Jens Saak
Abstract:
Sequences of parametrized Lyapunov equations can be encountered in many application settings. Moreover, solutions of such equations are often intermediate steps of an overall procedure whose main goal is the computation of $\text{trace}(EX)$ where $X$ denotes the solution of a Lyapunov equation and $E$ is a given matrix. We are interested in addressing problems where the parameter dependency of th…
▽ More
Sequences of parametrized Lyapunov equations can be encountered in many application settings. Moreover, solutions of such equations are often intermediate steps of an overall procedure whose main goal is the computation of $\text{trace}(EX)$ where $X$ denotes the solution of a Lyapunov equation and $E$ is a given matrix. We are interested in addressing problems where the parameter dependency of the coefficient matrix is encoded as a low-rank modification to a \emph{seed}, fixed matrix. We propose two novel numerical procedures that fully exploit such a common structure. The first one builds upon the Sherman-Morrison-Woodbury (SMW) formula and recycling Krylov techniques, and it is well-suited for small dimensional problems as it makes use of dense numerical linear algebra tools. The second algorithm can instead address large-scale problems by relying on state-of-the-art projection techniques based on the extended Krylov subspace. We test the new algorithms on several problems arising in the study of damped vibrational systems and the analyses of output synchronization problems for multi-agent systems. Our results show that the algorithms we propose are superior to state-of-the-art techniques as they are able to remarkably speed up the computation of accurate solutions.
△ Less
Submitted 28 May, 2024; v1 submitted 13 December, 2023;
originally announced December 2023.
-
Optimal control of parabolic equations -- a spectral calculus based approach
Authors:
Luka Grubišić,
Martin Lazar,
Ivica Nakić,
Martin Tautenhahn
Abstract:
In this paper we consider a constrained parabolic optimal control problem. The cost functional is quadratic and it combines the distance of the trajectory of the system from the desired evolution profile together with the cost of a control. The constraint is given by a term measuring the distance between the final state and the desired state towards which the solution should be steered. The contro…
▽ More
In this paper we consider a constrained parabolic optimal control problem. The cost functional is quadratic and it combines the distance of the trajectory of the system from the desired evolution profile together with the cost of a control. The constraint is given by a term measuring the distance between the final state and the desired state towards which the solution should be steered. The control enters the system through the initial condition. We present a geometric analysis of this problem and provide a closed-form expression for the solution. This approach allows us to present the sensitivity analysis of this problem based on the resolvent estimates for the generator of the system. The numerical implementation is performed by exploring efficient rational Krylov approximation techniques that allow us to approximate a complex function of an operator by a series of linear problems. Our method does not depend on the actual choice of discretization. The main approximation task is to construct an efficient rational approximation of a generalized exponential function. It is well known that this class of functions allows exponentially convergent rational approximations, which, combined with the sensitivity analysis of the closed form solution, allows us to present a robust numerical method. Several case studies are presented to illustrate our results.
△ Less
Submitted 28 September, 2021;
originally announced September 2021.
-
Mixed control of vibrational systems
Authors:
Ivica Nakić,
Zoran Tomljanović,
Ninoslav Truhar
Abstract:
We consider new performance measures for vibrational systems based on the $H_2$ norm of linear time invariant systems. New measures will be used as an optimization criterion for the optimal dam** of vibrational systems. We consider both theoretical and concrete cases in order to show how new measures stack up against the standard measures. The quality and advantages of new measures as well as th…
▽ More
We consider new performance measures for vibrational systems based on the $H_2$ norm of linear time invariant systems. New measures will be used as an optimization criterion for the optimal dam** of vibrational systems. We consider both theoretical and concrete cases in order to show how new measures stack up against the standard measures. The quality and advantages of new measures as well as the behaviour of optimal dam** positions and corresponding dam** viscosities are illustrated in numerical experiments.
△ Less
Submitted 2 June, 2019;
originally announced June 2019.
-
On Structured Lyapunov Functions and Dissipativity in Interconnected LTI Systems
Authors:
Andrej Jokić,
Ivica Nakić
Abstract:
In this paper we study connections between structured storage or Lyapunov functions of a class of interconnected systems (dynamical networks) and dissipativity properties of the individual systems. We prove that if a dynamical network, composed as a set of linear time invariant (LTI) systems interconnected over an acyclic graph, admits an additive quadratic Lyapunov function, then the individual s…
▽ More
In this paper we study connections between structured storage or Lyapunov functions of a class of interconnected systems (dynamical networks) and dissipativity properties of the individual systems. We prove that if a dynamical network, composed as a set of linear time invariant (LTI) systems interconnected over an acyclic graph, admits an additive quadratic Lyapunov function, then the individual systems in the network are dissipative with respect to a (nonempty) set of interconnection neutral supply functions. Each supply function from this set is defined on a single interconnection link in the network. Specific characterizations of neutral supply functions are presented which imply robustness of network stability/dissiptivity to removal of interconnection links.
△ Less
Submitted 14 May, 2019;
originally announced May 2019.
-
Null-controllability and control cost estimates for the heat equation on unbounded and large bounded domains
Authors:
Michela Egidi,
Ivica Nakić,
Albrecht Seelmann,
Matthias Täufer,
Martin Tautenhahn,
Ivan Veselic
Abstract:
We survey recent results on the control problem for the heat equation on unbounded and large bounded domains. First we formulate new uncertainty relations, respectively spectral inequalities. Then we present an abstract control cost estimate which improves upon earlier results. It is particularly interesting when combined with the earlier mentioned spectral inequalities since it yields sharp contr…
▽ More
We survey recent results on the control problem for the heat equation on unbounded and large bounded domains. First we formulate new uncertainty relations, respectively spectral inequalities. Then we present an abstract control cost estimate which improves upon earlier results. It is particularly interesting when combined with the earlier mentioned spectral inequalities since it yields sharp control cost bounds in several asymptotic regimes. We also show that control problems on unbounded domains can be approximated by corresponding problems on a sequence of bounded domains forming an exhaustion. Our results apply also for the generalized heat equation associated with a Schrödinger semigroup.
△ Less
Submitted 17 August, 2020; v1 submitted 26 October, 2018;
originally announced October 2018.
-
Sharp estimates and homogenization of the control cost of the heat equation on large domains
Authors:
Ivica Nakić,
Matthias Täufer,
Martin Tautenhahn,
Ivan Veselic
Abstract:
We prove new bounds on the control cost for the abstract heat equation, assuming a spectral inequality or uncertainty relation for spectral projectors. In particular, we specify quantitatively how upper bounds on the control cost depend on the constants in the spectral inequality. This is then applied to the heat flow on bounded and unbounded domains modeled by a Schrödinger semigroup. This means…
▽ More
We prove new bounds on the control cost for the abstract heat equation, assuming a spectral inequality or uncertainty relation for spectral projectors. In particular, we specify quantitatively how upper bounds on the control cost depend on the constants in the spectral inequality. This is then applied to the heat flow on bounded and unbounded domains modeled by a Schrödinger semigroup. This means that the heat evolution generator is allowed to contain a potential term. The observability/control set is assumed to obey an equidistribution or a thickness condition, depending on the context. Complementary lower bounds and examples show that our control cost estimates are sharp in certain asymptotic regimes. One of these is dubbed homogenization regime and corresponds to the situation that the control set becomes more and more evenly distributed throughout the domain while its density remains constant.
△ Less
Submitted 29 September, 2020; v1 submitted 25 October, 2018;
originally announced October 2018.
-
Perturbation of eigenvalues of the Klein-Gordon operators
Authors:
Ivica Nakić,
Krešimir Veselić
Abstract:
We prove inclusion theorems for both spectra and essential spectra as well as two-sided bounds for isolated eigenvalues for Klein-Gordon type Hamiltonian operators. We first study operators of the form $JG$, where $J$, $G$ are selfadjoint operators on a Hilbert space, $J = J^* = J^{-1}$ and $G$ is positive definite and then we apply these results to obtain bounds of the Klein-Gordon eigenvalues un…
▽ More
We prove inclusion theorems for both spectra and essential spectra as well as two-sided bounds for isolated eigenvalues for Klein-Gordon type Hamiltonian operators. We first study operators of the form $JG$, where $J$, $G$ are selfadjoint operators on a Hilbert space, $J = J^* = J^{-1}$ and $G$ is positive definite and then we apply these results to obtain bounds of the Klein-Gordon eigenvalues under the change of the electrostatic potential. The developed general theory allows applications to some other instances, as e.g. the Sturm-Liouville problems with indefinite weight.
△ Less
Submitted 8 August, 2019; v1 submitted 30 July, 2018;
originally announced July 2018.
-
Unique continuation and lifting of spectral band edges of Schrödinger operators on unbounded domains (With an Appendix by Albrecht Seelmann)
Authors:
Ivica Nakić,
Matthias Täufer,
Martin Tautenhahn,
Ivan Veselic,
Albrecht Seelmann
Abstract:
We prove and apply two theorems: First, a quantitative, scale-free unique continuation estimate for functions in a spectral subspace of a Schrödinger operator on a bounded or unbounded domain, second, a perturbation and lifting estimate for edges of the essential spectrum of a self-adjoint operator under a semi-definite perturbation. These two results are combined to obtain lower and upper Lipschi…
▽ More
We prove and apply two theorems: First, a quantitative, scale-free unique continuation estimate for functions in a spectral subspace of a Schrödinger operator on a bounded or unbounded domain, second, a perturbation and lifting estimate for edges of the essential spectrum of a self-adjoint operator under a semi-definite perturbation. These two results are combined to obtain lower and upper Lipschitz bounds on the function parametrizing locally a chosen edge of the essential spectrum of a Schrödinger operator in dependence of a coupling constant. Analogous estimates for eigenvalues, possibly in gaps of the essential spectrum, are exhibited as well.
△ Less
Submitted 17 August, 2020; v1 submitted 20 April, 2018;
originally announced April 2018.
-
Scale-free unique continuation principle, eigenvalue lifting and Wegner estimates for random Schrödinger operators
Authors:
Ivica Nakić,
Matthias Täufer,
Martin Tautenhahn,
Ivan Veselic
Abstract:
We prove a scale-free, quantitative unique continuation principle for functions in the range of the spectral projector $χ_{(-\infty,E]}(H_L)$ of a Schrödinger operator $H_L$ on a cube of side $L\in \mathbb{N}$, with bounded potential. Such estimates are also called, depending on the context, uncertainty principles, observability estimates, or spectral inequalities. We apply it to (i) prove a Wegne…
▽ More
We prove a scale-free, quantitative unique continuation principle for functions in the range of the spectral projector $χ_{(-\infty,E]}(H_L)$ of a Schrödinger operator $H_L$ on a cube of side $L\in \mathbb{N}$, with bounded potential. Such estimates are also called, depending on the context, uncertainty principles, observability estimates, or spectral inequalities. We apply it to (i) prove a Wegner estimate for random Schrödinger operators with non-linear parameter-dependence and to (ii) exhibit the dependence of the control cost on geometric model parameters for the heat equation in a multi-scale domain.
△ Less
Submitted 7 September, 2016;
originally announced September 2016.
-
On the correspondence between spectra of the operator pencil $A-λB$ and of the operator $B^{-1}A$
Authors:
Ivica Nakić
Abstract:
This paper is concerned with the reduction of the spectral problem for symmetric linear operator pencils to a spectral problem for the single operator. Also, a Rayleigh-Ritz-like bounds on eigenvalues of linear operator pencils are obtained.
This paper is concerned with the reduction of the spectral problem for symmetric linear operator pencils to a spectral problem for the single operator. Also, a Rayleigh-Ritz-like bounds on eigenvalues of linear operator pencils are obtained.
△ Less
Submitted 2 October, 2015; v1 submitted 16 June, 2015;
originally announced June 2015.
-
A quantitative Carleman estimate for second order elliptic operators
Authors:
Ivica Nakić,
Christian Rose,
Martin Tautenhahn
Abstract:
We prove a Carleman estimate for elliptic second order partial differential operators with Lipschitz continuous coefficients. The Carleman estimate is valid for any complex-valued function $u\in W^{2,2}$ with support in a punctured ball of arbitrary radius. The novelty of this Carleman estimate is that we establish an explicit dependence on the Lipschitz and ellipticity constants, the dimension of…
▽ More
We prove a Carleman estimate for elliptic second order partial differential operators with Lipschitz continuous coefficients. The Carleman estimate is valid for any complex-valued function $u\in W^{2,2}$ with support in a punctured ball of arbitrary radius. The novelty of this Carleman estimate is that we establish an explicit dependence on the Lipschitz and ellipticity constants, the dimension of the space and the radius of the ball. In particular we provide a uniform and quantitative bound on the weight function for a class of elliptic operators given explicitly in terms of ellipticity and Lipschitz constant.
△ Less
Submitted 15 May, 2019; v1 submitted 26 February, 2015;
originally announced February 2015.
-
Scale-free uncertainty principles and Wegner estimates for random breather potentials
Authors:
Ivica Nakić,
Matthias Täufer,
Martin Tautenhahn,
Ivan Veselić
Abstract:
We present new scale-free quantitative unique continuation principles for Schrödinger operators. They apply to linear combinations of eigenfunctions corresponding to eigenvalues below a prescribed energy, and can be formulated as an uncertainty principle for spectral projectors. This extends recent results of Rojas-Molina & Veselić, and Klein. We apply the scale-free unique continuation principle…
▽ More
We present new scale-free quantitative unique continuation principles for Schrödinger operators. They apply to linear combinations of eigenfunctions corresponding to eigenvalues below a prescribed energy, and can be formulated as an uncertainty principle for spectral projectors. This extends recent results of Rojas-Molina & Veselić, and Klein. We apply the scale-free unique continuation principle to obtain a Wegner estimate for a random Schrödinger operator of breather type. It holds for arbitrarily high energies. Schrödinger operators with random breather potentials have a non-linear dependence on random variables. We explain the challenges arising from this non-linear dependence.
△ Less
Submitted 6 October, 2015; v1 submitted 20 October, 2014;
originally announced October 2014.
-
Multiscale unique continuation properties of eigenfunctions
Authors:
Denis Borisov,
Ivica Nakić,
Christian Rose,
Martin Tautenhahn,
Ivan Veselić
Abstract:
Quantitative unique continuation principles for multiscale structures are an important ingredient in a number applications, e.g. random Schrödinger operators and control theory.
We review recent results and announce new ones regarding quantitative unique continuation principles for partial differential equations with an underlying multiscale structure. They concern Schrödinger and second order e…
▽ More
Quantitative unique continuation principles for multiscale structures are an important ingredient in a number applications, e.g. random Schrödinger operators and control theory.
We review recent results and announce new ones regarding quantitative unique continuation principles for partial differential equations with an underlying multiscale structure. They concern Schrödinger and second order elliptic operators. An important feature is that the estimates are scale free and with quantitative dependence on parameters. These unique continuation principles apply to functions satisfying certain `rigidity' conditions, namely that they are solutions of the corresponding elliptic equations, or projections on spectral subspaces. Carleman estimates play an important role in the proofs of these results. We also present an explicit Carleman estimate for second order elliptic operators.
△ Less
Submitted 2 July, 2015; v1 submitted 4 October, 2014;
originally announced October 2014.
-
Generalized Eigenvalue Problems with Specified Eigenvalues
Authors:
Daniel Kressner,
Emre Mengi,
Ivica Nakic,
Ninoslav Truhar
Abstract:
We consider the distance from a (square or rectangular) matrix pencil to the nearest matrix pencil in 2-norm that has a set of specified eigenvalues. We derive a singular value optimization characterization for this problem and illustrate its usefulness for two applications. First, the characterization yields a singular value formula for determining the nearest pencil whose eigenvalues lie in a sp…
▽ More
We consider the distance from a (square or rectangular) matrix pencil to the nearest matrix pencil in 2-norm that has a set of specified eigenvalues. We derive a singular value optimization characterization for this problem and illustrate its usefulness for two applications. First, the characterization yields a singular value formula for determining the nearest pencil whose eigenvalues lie in a specified region in the complex plane. For instance, this enables the numerical computation of the nearest stable descriptor system in control theory. Second, the characterization partially solves the problem posed in [Boutry et al. 2005] regarding the distance from a general rectangular pencil to the nearest pencil with a complete set of eigenvalues. The involved singular value optimization problems are solved by means of BFGS and Lipschitz-based global optimization algorithms.
△ Less
Submitted 20 May, 2012; v1 submitted 12 September, 2010;
originally announced September 2010.