Showing 1–27 of 27 results for author: Reis, T

Linear-quadratic optimal control for abstract differential-algebraic equations

Authors: Hannes Gernandt, Timo Reis

Abstract: In this paper, we extend a classical approach to linear quadratic (LQ) optimal control via Popov operators to abstract linear differential-algebraic equations (ADAEs) in Hilbert spaces. To ensure existence of solutions, we assume that the underlying differential-algebraic equation has index one in the pseudo-resolvent sense. This leads to the existence of a degenerate semigroup that can be used to… ▽ More In this paper, we extend a classical approach to linear quadratic (LQ) optimal control via Popov operators to abstract linear differential-algebraic equations (ADAEs) in Hilbert spaces. To ensure existence of solutions, we assume that the underlying differential-algebraic equation has index one in the pseudo-resolvent sense. This leads to the existence of a degenerate semigroup that can be used to define a Popov operator for our system. It is shown that under a suitable coercivity assumption for the Popov operator the optimal costs can be described by a bounded Riccati operator and that the optimal control input is of feedback form. Furthermore, we characterize exponential stability of ADAEs which is required to solve the infinite horizon LQ problem. △ Less

Submitted 10 July, 2024; v1 submitted 13 February, 2024; originally announced February 2024.

MSC Class: 34A09; 34G10; 49N05

Linear-quadratic optimal control for infinite-dimensional input-state-output systems

Authors: Timo Reis, Manuel Schaller

Abstract: We examine the minimization of a quadratic cost functional composed of the output and the final state of abstract infinite-dimensional evolution equations in view of existence of solutions and optimality conditions. While the initial value is prescribed, we are minimizing over all inputs within a specified convex subset of square integrable controls with values in a Hilbert space. The considered c… ▽ More We examine the minimization of a quadratic cost functional composed of the output and the final state of abstract infinite-dimensional evolution equations in view of existence of solutions and optimality conditions. While the initial value is prescribed, we are minimizing over all inputs within a specified convex subset of square integrable controls with values in a Hilbert space. The considered class of infinite-dimensional systems is based on the system node approach introduced by Staffans. Thus, our developed approach includes optimal control of a wide variety of linear partial differential equations with boundary control and observation that are not well-posed in the sense that the output continuously depends on the input and the initial value. We provide an application of particular optimal control problems arising in energy-optimal control of port-Hamiltonian systems. Last, we illustrate the our abstract theory by two examples including a non-well-posed heat equation with Dirichlet boundary control and a wave equation on an L-shaped domain with boundary control of the stress in normal direction. △ Less

Submitted 20 January, 2024; originally announced January 2024.

Comments: 45 pages, 6 figures

MSC Class: 49J20; 49N10; 49K27; 93C25

Index concepts for linear differential-algebraic equations in finite and infinite dimensions

Authors: Mehmet Erbay, Birgit Jacob, Kirsten Morris, Timo Reis, Caren Tischendorf

Abstract: Different index concepts for linear differential-algebraic equations are defined in the general Banach space setting, and compared. For regular finite-dimensional linear differential-algebraic equations, all these indices exist and are equivalent. For infinite-dimensional systems, the situation is more complex. It is proven that although some indices imply others, in general they are not equivalen… ▽ More Different index concepts for linear differential-algebraic equations are defined in the general Banach space setting, and compared. For regular finite-dimensional linear differential-algebraic equations, all these indices exist and are equivalent. For infinite-dimensional systems, the situation is more complex. It is proven that although some indices imply others, in general they are not equivalent. The situation is illustrated with a number of examples. △ Less

Submitted 3 January, 2024; originally announced January 2024.

Experimental validation for the combination of funnel control with a feedforward control strategy

Authors: Svenja Drücker, Lukas Lanza, Thomas Berger, Timo Reis, Robert Seifried

Abstract: Current engineering design trends, such as light-weight machines and humanmachine-interaction, often lead to underactuated systems. Output trajectory tracking of such systems is a challenging control problem. Here, we use a twodesign-degree of freedom control approach by combining funnel feedback control with feedforward control based on servo-constraints. We present experimental results to verify… ▽ More Current engineering design trends, such as light-weight machines and humanmachine-interaction, often lead to underactuated systems. Output trajectory tracking of such systems is a challenging control problem. Here, we use a twodesign-degree of freedom control approach by combining funnel feedback control with feedforward control based on servo-constraints. We present experimental results to verify the approach and demonstrate that the addition of a feedforward controller mitigates drawbacks of the funnel controller. We also present new experimental results for the real-time implementation of a feedforward controller based on servo-constraints on a minimum phase system. △ Less

Submitted 7 December, 2023; originally announced December 2023.

A pseudo-resolvent approach to abstract differential-algebraic equations

Authors: Hannes Gernandt, Timo Reis

Abstract: We study linear abstract differential-algebraic equations (ADAEs), and we introduce an index concept which is based on polynomial growth of a~pseudo-resolvent. Our approach to solvability analysis is based on degenerate semigroups. We apply our results to some examples such as distributed circuit elements, and a system obtained by heat-wave coupling. We study linear abstract differential-algebraic equations (ADAEs), and we introduce an index concept which is based on polynomial growth of a~pseudo-resolvent. Our approach to solvability analysis is based on degenerate semigroups. We apply our results to some examples such as distributed circuit elements, and a system obtained by heat-wave coupling. △ Less

Submitted 4 December, 2023; originally announced December 2023.

Characterization of the absorption radical of an evolution algebra using their associated graph

Authors: Paula Cadavid, Tiago Reis, Mary Luz Rodiño

Abstract: In this paper we present a method for finding the absorbing radical of a finite-dimensional evolution algebra. Such a method consists of finding the acyclic vertices of an oriented graph associated with the algebra. The set of generators associated with such vertices turn out to be the generators of the absorption radical. As an application we use the absorption radical to study the decomposabilit… ▽ More In this paper we present a method for finding the absorbing radical of a finite-dimensional evolution algebra. Such a method consists of finding the acyclic vertices of an oriented graph associated with the algebra. The set of generators associated with such vertices turn out to be the generators of the absorption radical. As an application we use the absorption radical to study the decomposability of some degenerate evolution algebras. △ Less

Submitted 26 June, 2023; originally announced June 2023.

MSC Class: 17D92; 17A60; 17A36; 05C25

Port-Hamiltonian formulation of Oseen flows

Authors: Timo Reis, Manuel Schaller

Abstract: We present Oseen equations on Lipschitz domains in a port-Hamiltonian context. Such equations arise, for instance, by linearization of the Navier-Stokes equations. In our setup, the external port consists of the boundary traces of velocity and the normal component of the stress tensor, and boundary control is imposed by velocity and normal stress tensor prescription at disjoint parts of the bounda… ▽ More We present Oseen equations on Lipschitz domains in a port-Hamiltonian context. Such equations arise, for instance, by linearization of the Navier-Stokes equations. In our setup, the external port consists of the boundary traces of velocity and the normal component of the stress tensor, and boundary control is imposed by velocity and normal stress tensor prescription at disjoint parts of the boundary. We employ the recently developed theory of port-Hamiltonian system nodes for our formulation. An illustration is provided by means of flow through a cylinder. △ Less

Submitted 13 November, 2023; v1 submitted 16 May, 2023; originally announced May 2023.

Comments: 19 pages

Infinite-dimensional port-Hamiltonian systems -- a system node approach

Authors: Friedrich Philipp, Timo Reis, Manuel Schaller

Abstract: We consider an operator-theoretic approach to linear infinite-dimensional port-Hamiltonian systems. In particular, we use the theory of system nodes by Staffans to formulate a~suitable concept for port-Hamiltonian systems, which allows a unifying approach to systems with boundary as well as distributed control and observation. The concept presented in this article is further neither limited to par… ▽ More We consider an operator-theoretic approach to linear infinite-dimensional port-Hamiltonian systems. In particular, we use the theory of system nodes by Staffans to formulate a~suitable concept for port-Hamiltonian systems, which allows a unifying approach to systems with boundary as well as distributed control and observation. The concept presented in this article is further neither limited to parabolic nor hyperbolic systems, and it also covers partial differential equations on multi-dimensional spatial domains. Our presented theory is substantiated by means of several physical examples. △ Less

Submitted 10 February, 2023; originally announced February 2023.

MSC Class: 37Kxx; 47Dxx; 93C20

Operator splitting based dynamic iteration for linear infinite-dimensional port-Hamiltonian systems

Authors: Bálint Farkas, Birgit Jacob, Timo Reis, Merlin Schmitz

Abstract: A dynamic iteration scheme for linear infinite-dimensional port-Hamiltonian systems is proposed. The dynamic iteration is monotone in the sense that the error is decreasing, it does not require any stability condition and is in particular applicable to port-Hamiltonian formulations arising from domain decompositions. A dynamic iteration scheme for linear infinite-dimensional port-Hamiltonian systems is proposed. The dynamic iteration is monotone in the sense that the error is decreasing, it does not require any stability condition and is in particular applicable to port-Hamiltonian formulations arising from domain decompositions. △ Less

Submitted 2 February, 2023; originally announced February 2023.

Port-Hamiltonian Systems Modelling in Electrical Engineering

Authors: Andreas Bartel, Markus Clemens, Michael Günther, Birgit Jacob, Timo Reis

Abstract: The port-Hamiltonian modelling framework allows for models that preserve essential physical properties such as energy conservation or dissipative inequalities. If all subsystems are modelled as port-Hamiltonian systems and the inputs are related to the output in a linear manner, the overall system can be modelled as a port-Hamiltonian system (PHS), too, which preserves the properties of the underl… ▽ More The port-Hamiltonian modelling framework allows for models that preserve essential physical properties such as energy conservation or dissipative inequalities. If all subsystems are modelled as port-Hamiltonian systems and the inputs are related to the output in a linear manner, the overall system can be modelled as a port-Hamiltonian system (PHS), too, which preserves the properties of the underlying subsystems. If the coupling is given by a skew-symmetric matrix, as usual in many applications, the overall system can be easily derived from the subsystems without the need of introducing dummy variables and therefore artificially increasing the complexity of the system. Hence the PHS framework is especially suitable for modelling multi-physical systems. In this paper, we show that port-Hamiltonian systems are a natural generalization of Hamiltonian systems, define coupled port-Hamiltonian systems as ordinary and differential-algebraic equations. To highlight the suitability for electrical engineering applications, we derive PHS models for MNA network equations, electromagnetic devices and coupled systems thereof. △ Less

Submitted 5 January, 2023; originally announced January 2023.

Comments: 12 pages, 0 figures

Operator Splitting Based Dynamic Iteration for Linear Port-Hamiltonian Systems

Authors: Andreas Bartel, Michael Günther, Birgit Jacob, Timo Reis

Abstract: A dynamic iteration scheme for linear differential-algebraic port-Hamil\-tonian systems based on Lions-Mercier-type operator splitting methods is developed. The dynamic iteration is monotone in the sense that the error is decreasing and no stability conditions are required. The developed iteration scheme is even new for linear port-Hamiltonian systems. The obtained algorithm is applied to multibod… ▽ More A dynamic iteration scheme for linear differential-algebraic port-Hamil\-tonian systems based on Lions-Mercier-type operator splitting methods is developed. The dynamic iteration is monotone in the sense that the error is decreasing and no stability conditions are required. The developed iteration scheme is even new for linear port-Hamiltonian systems. The obtained algorithm is applied to multibody systems and electrical networks. △ Less

Submitted 6 August, 2022; originally announced August 2022.

Comments: 29 pages, 6 figures

MSC Class: 37Jxx; 34A09

Journal ref: Numerische Mathematik, 2023

Analysis of a quasilinear coupled magneto-quasistatic model: solvability and regularity of solutions

Authors: Ralph Chill, Timo Reis, Tatjana Stykel

Abstract: We consider a~quasilinear model arising from dynamical magnetization. This model is described by a~magneto-quasistatic (MQS) approximation of Maxwell's equations. Assuming that the medium consists of a~conducting and a~non-conducting part, the derivative with respect to time is not fully entering, whence the system can be described by an abstract differential-algebraic equation. Furthermore, via m… ▽ More We consider a~quasilinear model arising from dynamical magnetization. This model is described by a~magneto-quasistatic (MQS) approximation of Maxwell's equations. Assuming that the medium consists of a~conducting and a~non-conducting part, the derivative with respect to time is not fully entering, whence the system can be described by an abstract differential-algebraic equation. Furthermore, via magnetic induction, the system is coupled with an equation which contains the induced electrical currents along the associated voltages, which form the input of the system. The aim of this paper is to study well-posedness of the coupled MQS system and regularity of its solutions. Thereby, we rely on the classical theory of gradient systems on Hilbert spaces combined with the concept of $\mathcal{E}$-subgradients using in particular the magnetic energy. The coupled MQS system precisely fits into this general framework. △ Less

Submitted 30 May, 2022; originally announced May 2022.

Passivity, Port-Hamiltonian Formulation and Solution Estimates for a Coupled Magneto-Quasistatic System

Authors: Timo Reis, Tatjana Stykel

Abstract: We study a~quasilinear coupled magneto-quasistatic model from a~systems theoretic perspective.} First, by taking the injected voltages as input and the associated currents as output, we prove that the magneto-quasistatic system is passive. Moreover, by defining suitable Dirac and resistive structures, we show that it admits a~representation as a~port-Hamiltonian system. Thereafter, we consider dep… ▽ More We study a~quasilinear coupled magneto-quasistatic model from a~systems theoretic perspective.} First, by taking the injected voltages as input and the associated currents as output, we prove that the magneto-quasistatic system is passive. Moreover, by defining suitable Dirac and resistive structures, we show that it admits a~representation as a~port-Hamiltonian system. Thereafter, we consider dependence on initial and input data. We show that the current and the magnetic vector potential can be estimated by means of the initial magnetic vector potential and the voltage. We also analyse the free dynamics of the system and study the asymptotic behavior of the solutions for $t\to\infty$. △ Less

Submitted 30 May, 2022; originally announced May 2022.

Derivations and loops of some evolution algebras

Authors: Yolanda Cabrera Casado, Paula Cadavid, Tiago Reis

Abstract: In this work we study the space of derivations of non-degenerate evolution algebras. We improve some results obtained recently in the literature and, as a consequence, we advance in the description of the derivations for $n$-dimensional Volterra evolution algebras. In addition, we introduce the notion of loop of an evolution algebra and we analyze under which conditions the set of loops is invaria… ▽ More In this work we study the space of derivations of non-degenerate evolution algebras. We improve some results obtained recently in the literature and, as a consequence, we advance in the description of the derivations for $n$-dimensional Volterra evolution algebras. In addition, we introduce the notion of loop of an evolution algebra and we analyze under which conditions the set of loops is invariant under change of basis. △ Less

Submitted 30 March, 2022; v1 submitted 25 March, 2022; originally announced March 2022.

MSC Class: 17A36; 05C25; 17D92; 17D99

Structure-Preserving Model Reduction for Dissipative Mechanical Systems

Authors: Rebekka S. Beddig, Peter Benner, Ines Dorschky, Timo Reis, Paul Schwerdtner, Matthias Voigt, Steffen W. R. Werner

Abstract: Suppressing vibrations in mechanical systems, usually described by second-order dynamical models, is a challenging task in mechanical engineering in terms of computational resources even nowadays. One remedy is structure-preserving model order reduction to construct easy-to-evaluate surrogates for the original dynamical system having the same structure. In our work, we present an overview of recen… ▽ More Suppressing vibrations in mechanical systems, usually described by second-order dynamical models, is a challenging task in mechanical engineering in terms of computational resources even nowadays. One remedy is structure-preserving model order reduction to construct easy-to-evaluate surrogates for the original dynamical system having the same structure. In our work, we present an overview of recently developed structure-preserving model reduction methods for second-order systems. These methods are based on modal and balanced truncation in different variants, as well as on rational interpolation. Numerical examples are used to illustrate the effectiveness of all described methods. △ Less

Submitted 25 January, 2022; v1 submitted 13 October, 2020; originally announced October 2020.

Comments: 21 pages, 8 figures

Journal ref: Lect. Notes Appl. Comput. Mech., 102:209-230, 2024

A linear relation approach to port-Hamiltonian differential-algebraic equations

Authors: Hannes Gernandt, Frédéric Enrico Haller, Timo Reis

Abstract: We consider linear port-Hamiltonian differential-algebraic equations (pH-DAEs). Inspired by the geometric approach of Maschke and van der Schaft and the linear algebraic approach of Mehl, Mehrmann and Wojtylak, we present another view by using the theory of linear relations. We show that this allows to elaborate the differences and mutualities of the geometric and linear algebraic views, and we in… ▽ More We consider linear port-Hamiltonian differential-algebraic equations (pH-DAEs). Inspired by the geometric approach of Maschke and van der Schaft and the linear algebraic approach of Mehl, Mehrmann and Wojtylak, we present another view by using the theory of linear relations. We show that this allows to elaborate the differences and mutualities of the geometric and linear algebraic views, and we introduce a class of DAEs which comprises these two approaches. We further study the properties of matrix pencils arising from our approach via linear relations. △ Less

Submitted 5 October, 2020; originally announced October 2020.

Comments: 29 pages, 4 figures, 2 tables

MSC Class: 47A06; 15A21; 15A22;

Tracking control for underactuated non-minimum phase multibody systems

Authors: Thomas Berger, Svenja Drücker, Lukas Lanza, Timo Reis, Robert Seifried

Abstract: We consider tracking control for multibody systems which are modelled using holonomic and nonholonomic constraints. Furthermore, the systems may be underactuated and contain kinematic loops and are thus described by a set of differential-algebraic equations that cannot be reformulated as ordinary differential equations in general. We propose a control strategy which combines a feedforward controll… ▽ More We consider tracking control for multibody systems which are modelled using holonomic and nonholonomic constraints. Furthermore, the systems may be underactuated and contain kinematic loops and are thus described by a set of differential-algebraic equations that cannot be reformulated as ordinary differential equations in general. We propose a control strategy which combines a feedforward controller based on the servo-constraints approach with a feedback controller based on a recent funnel control design. As an important tool for both approaches we present a new procedure to derive the internal dynamics of a multibody system. Furthermore, we present a feasible set of coordinates for the internal dynamics avoiding the effort involved with the computation of the Byrnes-Isidori form. The control design is demonstrated by a simulation for a nonlinear non-minimum phase multi-input, multi-output robotic manipulator with kinematic loop. △ Less

Submitted 10 February, 2021; v1 submitted 2 October, 2020; originally announced October 2020.

Derivations of Evolution Algebras associated to graphs over a field of any characteristic

Authors: Tiago Reis, Paula Cadavid

Abstract: The space of derivations of finite dimensional evolution algebras associated to graphs over a field with characteristic zero has been completely characterized in the literature. In this work we generalize that characterization by describing the derivations of this class of algebras for fields of any characteristic. The space of derivations of finite dimensional evolution algebras associated to graphs over a field with characteristic zero has been completely characterized in the literature. In this work we generalize that characterization by describing the derivations of this class of algebras for fields of any characteristic. △ Less

Submitted 21 June, 2020; originally announced June 2020.

MSC Class: 17A36; 05C25; 17D92; 17D99

Balanced truncation model reduction for symmetric second order systems -- A passivity-based approach

Authors: Ines Dorschky, Timo Reis, Matthias Voigt

Abstract: We introduce a model reduction approach for linear time-invariant second order systems based on positive real balanced truncation. Our method guarantees asymptotic stability and passivity of the reduced order model as well as the positive definiteness of the mass and stiffness matrices. Moreover, we receive an a priori gap metric error bound. Finally, we show that our method based on positive real… ▽ More We introduce a model reduction approach for linear time-invariant second order systems based on positive real balanced truncation. Our method guarantees asymptotic stability and passivity of the reduced order model as well as the positive definiteness of the mass and stiffness matrices. Moreover, we receive an a priori gap metric error bound. Finally, we show that our method based on positive real balanced truncation preserves the structure of overdamped second order systems. △ Less

Submitted 16 June, 2020; originally announced June 2020.

Comments: 32 pages, 2 figures

MSC Class: 93B10; 93C05; 93C15; 65F30

Dynamic iteration schemes and port-Hamiltonian formulation in coupled DAE circuit simulation

Authors: Michael Günther, Andreas Bartel, Birgit Jacob, Timo Reis

Abstract: Electric circuits are usually described by charge- and flux-oriented modified nodal analysis. In this paper, we derive models as port-Hamiltonian systems on several levels: overall systems, multiply coupled systems and systems within dynamic iteration procedures. To this end, we introduce new classes of port-Hamiltonian differential-algebraic equations. Thereby, we additionally allow for nonlinear… ▽ More Electric circuits are usually described by charge- and flux-oriented modified nodal analysis. In this paper, we derive models as port-Hamiltonian systems on several levels: overall systems, multiply coupled systems and systems within dynamic iteration procedures. To this end, we introduce new classes of port-Hamiltonian differential-algebraic equations. Thereby, we additionally allow for nonlinear dissipation on a subspace of the state space. Both, each subsystem and the overall system, possess a port-Hamiltonian structure. A structural analysis is performed for the new setups. Dynamic iteration schemes are investigated and we show that the Jacobi approach as well as an adapted Gauss-Seidel approach lead to port-Hamiltonian differential-algebraic equations. △ Less

Submitted 27 April, 2020; originally announced April 2020.

Comments: 33 pages, 1 figure

MSC Class: 34A09; 37J05; 65L80; 94C05; 94C15

Vector relative degree and funnel control for differential-algebraic systems

Authors: Thomas Berger, Huy Hoàng Lê, Timo Reis

Abstract: We consider tracking control for multi-input multi-output differential-algebraic systems. First, the concept of vector relative degree is generalized for linear systems and we arrive at the novel concept of "truncated vector relative degree", and we derive a new normal form. Thereafter, we consider a class of nonlinear functional differential-algebraic systems which comprises linear systems with t… ▽ More We consider tracking control for multi-input multi-output differential-algebraic systems. First, the concept of vector relative degree is generalized for linear systems and we arrive at the novel concept of "truncated vector relative degree", and we derive a new normal form. Thereafter, we consider a class of nonlinear functional differential-algebraic systems which comprises linear systems with truncated vector relative degree. For this class we introduce a feedback controller which achieves that, for a given sufficiently smooth reference signal, the tracking error evolves within a prespecified performance funnel. We illustrate our results by an example of a robotic manipulator. △ Less

Submitted 15 January, 2020; originally announced January 2020.

Funnel control for the monodomain equations with the FitzHugh-Nagumo model

Authors: Thomas Berger, Tobias Breiten, Marc Puche, Timo Reis

Abstract: We consider a nonlinear reaction diffusion system of parabolic type known as the monodomain equations, which model the interaction of the electric current in a cell. Together with the FitzHugh-Nagumo model for the nonlinearity they represent defibrillation processes of the human heart. We study a fairly general type with co-located inputs and outputs describing both boundary and distributed contro… ▽ More We consider a nonlinear reaction diffusion system of parabolic type known as the monodomain equations, which model the interaction of the electric current in a cell. Together with the FitzHugh-Nagumo model for the nonlinearity they represent defibrillation processes of the human heart. We study a fairly general type with co-located inputs and outputs describing both boundary and distributed control and observation. The control objective is output trajectory tracking with prescribed performance. To achieve this we employ the funnel controller, which is model-free and of low complexity. The controller introduces a nonlinear and time-varying term in the closed-loop system, for which we prove existence and uniqueness of solutions. Additionally, exploiting the parabolic nature of the problem, we obtain Hölder continuity of the state, inputs and outputs. We illustrate our results by a simulation of a standard test example for the termination of reentry waves. △ Less

Submitted 26 January, 2021; v1 submitted 4 December, 2019; originally announced December 2019.

Funnel control for boundary control systems

Authors: Marc Puche, Timo Reis, Felix Schwenninger

Abstract: We study a nonlinear, non-autonomous feedback controller applied to boundary control systems. Our aim is to track a given reference signal with prescribed performance. Existence and uniqueness of solutions to the resulting closed-loop system is proved by using nonlinear operator theory. We apply our results to both hyperbolic and parabolic equations. We study a nonlinear, non-autonomous feedback controller applied to boundary control systems. Our aim is to track a given reference signal with prescribed performance. Existence and uniqueness of solutions to the resulting closed-loop system is proved by using nonlinear operator theory. We apply our results to both hyperbolic and parabolic equations. △ Less

Submitted 8 June, 2020; v1 submitted 8 March, 2019; originally announced March 2019.

Comments: 26 pages, thoroughly revised version. The system class has been generalized considerably. Added general example class of parabolic problems

MSC Class: Primary: 93C20; 93C40; Secondary: 47H06

Journal ref: Evolution Equations & Control Theory, 2021, 10 (3) : 519-544

Gaps of powers of consecutive primes and some consequences

Authors: Douglas Azevedo, Tiago Reis

Abstract: Let $p_n$ denote the $n$-th prime number, $\{q_n\}$ be a sequence of positive numbers and $x\in\mathbb{R}$. In this note we prove that the inequality $$q_n p_{n+1}^{x}-q_{n+1}p_{n}^{x}<p_{n}^{x}p_{n+1}^{x-1}, $$ holds for infinitely many values of $n$. As it is shown, the key ingredient to obtain this behaviour is a consequence of an extension of the Kummer's characterization of convergent series… ▽ More Let $p_n$ denote the $n$-th prime number, $\{q_n\}$ be a sequence of positive numbers and $x\in\mathbb{R}$. In this note we prove that the inequality $$q_n p_{n+1}^{x}-q_{n+1}p_{n}^{x}<p_{n}^{x}p_{n+1}^{x-1}, $$ holds for infinitely many values of $n$. As it is shown, the key ingredient to obtain this behaviour is a consequence of an extension of the Kummer's characterization of convergent series of positive terms. △ Less

Submitted 8 December, 2017; v1 submitted 7 September, 2017; originally announced September 2017.

Comments: 7 pages

MSC Class: 11A41

A new approximation method for geodesics on the space of Kähler metrics using complexified symplectomorphisms and Gröbner Lie series

Authors: José Mourão, João P. Nunes, Tomás Reis

Abstract: It has been shown that the Cauchy problem for geodesics in the space of Kähler metrics with a fixed cohomology class on a compact complex manifold $M$ can be effectively reduced to the problem of finding the flow of a related hamiltonian vector field $X_H$, followed by analytic continuation of the time to complex time. This opens the possibility of expressing the geodesic $ω_t$ in terms of Gröbn… ▽ More It has been shown that the Cauchy problem for geodesics in the space of Kähler metrics with a fixed cohomology class on a compact complex manifold $M$ can be effectively reduced to the problem of finding the flow of a related hamiltonian vector field $X_H$, followed by analytic continuation of the time to complex time. This opens the possibility of expressing the geodesic $ω_t$ in terms of Gröbner Lie series of the form $\exp(\sqrt{-1} \, tX_H)(f)$, for local holomorphic functions $f$. The main goal of this paper is to use truncated Lie series as a new way of constructing approximate solutions to the geodesic equation. For the case of an elliptic curve and $H$ a certain Morse function squared, we approximate the relevant Lie series by their first twelve terms, calculated with the help of Mathematica. This leads to approximate geodesics which hit the boundary of the space of Kähler metrics in finite geodesic time. For quantum mechanical applications, one is interested also on the non-Kähler polarizations that one obtains by crossing the boundary of the space of Kähler structures. Properties of the approximate geodesics and its extensions are also studied using Mathematica. △ Less

Submitted 9 September, 2019; v1 submitted 6 January, 2017; originally announced January 2017.

Comments: Final version

MSC Class: 53D05; 32Q15; 53D50

Recovering $U(n)$-invariant toric Kähler metrics on $\mathbb{C}\mathbb{P}^n$ from the torus equivariant spectrum

Authors: Tomás A. Reis, Rosa Sena-Dias

Abstract: In this note we prove that toric Kähler metrics on complex projective space which are also $U(n)$-invariant are determined by their equivariant spectrum i.e. the list of eigenvalues of the Laplacian together with weights of the torus representation on the eigenspaces. In this note we prove that toric Kähler metrics on complex projective space which are also $U(n)$-invariant are determined by their equivariant spectrum i.e. the list of eigenvalues of the Laplacian together with weights of the torus representation on the eigenspaces. △ Less

Submitted 20 April, 2016; originally announced April 2016.

Comments: 11 pages

The SDA Method for Numerical Solution of Lur'e Equations

Authors: Federico Poloni, Timo Reis

Abstract: We introduce a numerical method for the numerical solution of the so-called Lur'e matrix equations that arise in balancing-related model reduction and linear-quadratic infinite time horizon optimal control. Based on the fact that the set of solutions can be characterized in terms of deflating subspaces of even matrix pencils, an iterative scheme is derived that converges linearly to the maximal so… ▽ More We introduce a numerical method for the numerical solution of the so-called Lur'e matrix equations that arise in balancing-related model reduction and linear-quadratic infinite time horizon optimal control. Based on the fact that the set of solutions can be characterized in terms of deflating subspaces of even matrix pencils, an iterative scheme is derived that converges linearly to the maximal solution. △ Less

Submitted 6 January, 2011; originally announced January 2011.