Searcharxiv⌕ Search

arXiv subjects

Ivica Nakić

Publications and source records attributed to Ivica Nakić.

14 recordsLinked to original sources

Efficient solution of sequences of parametrized Lyapunov equations with applications

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.

math.NA↗

Finite time horizon mixed control of vibrational systems

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.

math.OC↗

Optimal control of parabolic equations -- a spectral calculus based approach

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.

math.OC↗

Sharp estimates and homogenization of the control cost of the heat equation on large domains

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.

math.AP↗

Unique continuation and lifting of spectral band edges of Schrödinger operators on unbounded domains (With an Appendix by Albrecht Seelmann)

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.

math.SP↗

Null-controllability and control cost estimates for the heat equation on unbounded and large bounded domains

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.

math.AP↗

Perturbation of eigenvalues of the Klein-Gordon operators

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.

math-ph↗

Mixed control of vibrational systems

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 damping 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 damping positions and corresponding damping viscosities are illustrated in numerical experiments.

math.OC↗

A quantitative Carleman estimate for second order elliptic operators

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.

math.AP↗

On Structured Lyapunov Functions and Dissipativity in Interconnected LTI Systems

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.

math.OC↗

Scale-free unique continuation principle, eigenvalue lifting and Wegner estimates for random Schrödinger operators

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.

math.AP↗

Scale-free uncertainty principles and Wegner estimates for random breather potentials

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.

math.AP↗

Multiscale unique continuation properties of eigenfunctions

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.

math.AP↗