-
Cycling Signatures: Identifying Oscillations from Time Series using Algebraic Topology
Authors:
Ulrich Bauer,
David Hien,
Oliver Junge,
Konstantin Mischaikow
Abstract:
Recurrence is a fundamental characteristic of complicated deterministic dynamical systems. Understanding its structure is challenging, especially if the system of interest has many degrees of freedom so that visualizations of trajectories are of limited use. To analyze recurrent phenomena, we propose a computational method to identify oscillations and the transitions between them. To this end, we…
▽ More
Recurrence is a fundamental characteristic of complicated deterministic dynamical systems. Understanding its structure is challenging, especially if the system of interest has many degrees of freedom so that visualizations of trajectories are of limited use. To analyze recurrent phenomena, we propose a computational method to identify oscillations and the transitions between them. To this end, we introduce the concept of cycling signature, which is a topological descriptor of a trajectory segment. The advantage of a topological approach, in particular in an application setting, is that it is robust to noise. Cycling signatures are computable from data and provide a comprehensive global description of oscillations through their statistics over many trajectory segments. We demonstrate this through three examples. In particular, we identify and analyze six oscillations in a four-dimensional system with a hyperchaotic attractor.
△ Less
Submitted 7 December, 2023;
originally announced December 2023.
-
A dynamic $p$-Laplacian
Authors:
Alvaro de Diego Unanue,
Gary Froyland,
Oliver Junge,
Péter Koltai
Abstract:
We generalise the dynamic Laplacian introduced in (Froyland, 2015) to a dynamic $p$-Laplacian, in analogy to the generalisation of the standard $2$-Laplacian to the standard $p$-Laplacian for $p>1$. Spectral properties of the dynamic Laplacian are connected to the geometric problem of finding "coherent" sets with persistently small boundaries under dynamical evolution, and we show that the dynamic…
▽ More
We generalise the dynamic Laplacian introduced in (Froyland, 2015) to a dynamic $p$-Laplacian, in analogy to the generalisation of the standard $2$-Laplacian to the standard $p$-Laplacian for $p>1$. Spectral properties of the dynamic Laplacian are connected to the geometric problem of finding "coherent" sets with persistently small boundaries under dynamical evolution, and we show that the dynamic $p$-Laplacian shares similar geometric connections. In particular, we prove that the first eigenvalue of the dynamic $p$-Laplacian with Dirichlet boundary conditions exists and converges to a dynamic version of the Cheeger constant introduced in (Froyland, 2015) as $p\rightarrow 1$. We develop a numerical scheme to estimate the leading eigenfunctions of the (nonlinear) dynamic $p$-Laplacian, and through a series of examples we investigate the behaviour of the level sets of these eigenfunctions. These level sets define the boundaries of sets in the domain of the dynamics that remain coherent under the dynamical evolution.
△ Less
Submitted 11 August, 2023;
originally announced August 2023.
-
Entropic transfer operators
Authors:
Oliver Junge,
Daniel Matthes,
Bernhard Schmitzer
Abstract:
We propose a new concept for the regularization and discretization of transfer and Koopman operators in dynamical systems. Our approach is based on the entropically regularized optimal transport between two probability measures. In particular, we use optimal transport plans in order to construct a finite-dimensional approximation of some transfer or Koopman operator which can be analysed computati…
▽ More
We propose a new concept for the regularization and discretization of transfer and Koopman operators in dynamical systems. Our approach is based on the entropically regularized optimal transport between two probability measures. In particular, we use optimal transport plans in order to construct a finite-dimensional approximation of some transfer or Koopman operator which can be analysed computationally. We prove that the spectrum of the discretized operator converges to the one of the regularized original operator, give a detailed analysis of the relation between the discretized and the original peripheral spectrum for a rotation map on the $n$-torus and provide code for three numerical experiments, including one based on the raw trajectory data of a small biomolecule from which its dominant conformations are recovered.
△ Less
Submitted 13 September, 2023; v1 submitted 11 April, 2022;
originally announced April 2022.
-
Heat-content and diffusive leakage from material sets in the low-diffusivity limit
Authors:
Nathanael Schillling,
Daniel Karrasch,
Oliver Junge
Abstract:
We generalize leading-order asymptotics of a form of the heat content of a submanifold (van den Berg & Gilkey 2015) to the setting of time-dependent diffusion processes in the limit of vanishing diffusivity. Such diffusion processes arise naturally when advection-diffusion processes are viewed in Lagrangian coordinates. We prove that as diffusivity $\varepsilon$ goes to zero, the diffusive transpo…
▽ More
We generalize leading-order asymptotics of a form of the heat content of a submanifold (van den Berg & Gilkey 2015) to the setting of time-dependent diffusion processes in the limit of vanishing diffusivity. Such diffusion processes arise naturally when advection-diffusion processes are viewed in Lagrangian coordinates. We prove that as diffusivity $\varepsilon$ goes to zero, the diffusive transport out of a material set $S$ under the time-dependent, mass-preserving advection-diffusion equation with initial condition given by the characteristic function $\mathds{1}_S$, is $\sqrt{\varepsilon/π} d\overline{A}(\partial S) + o(\sqrt{\varepsilon})$. The surface measure $d\overline A$ is that of the so-called geometry of mixing, as introduced in (Karrasch & Keller, 2020). We apply our result to the characterisation of coherent structures in time-dependent dynamical systems.
△ Less
Submitted 19 March, 2021; v1 submitted 16 February, 2021;
originally announced February 2021.
-
Combinatorial models of global dynamics: learning cycling motion from data
Authors:
Ulrich Bauer,
David Hien,
Oliver Junge,
Konstantin Mischaikow,
Max Snijders
Abstract:
We describe a computational method for constructing a coarse combinatorial model of some dynamical system in which the macroscopic states are given by elementary cycling motions of the system. Our method is in particular applicable to time series data. We illustrate the construction by a perturbed double well Hamiltonian as well as the Lorenz system.
We describe a computational method for constructing a coarse combinatorial model of some dynamical system in which the macroscopic states are given by elementary cycling motions of the system. Our method is in particular applicable to time series data. We illustrate the construction by a perturbed double well Hamiltonian as well as the Lorenz system.
△ Less
Submitted 28 July, 2021; v1 submitted 20 January, 2020;
originally announced January 2020.
-
Linear response for the dynamic Laplacian and finite-time coherent sets
Authors:
Fadi Antown,
Gary Froyland,
Oliver Junge
Abstract:
Finite-time coherent sets represent minimally mixing objects in general nonlinear dynamics, and are spatially mobile features that are the most predictable in the medium term. When the dynamical system is subjected to small parameter change, one can ask about the rate of change of (i) the location and shape of the coherent sets, and (ii) the mixing properties (how much more or less mixing), with r…
▽ More
Finite-time coherent sets represent minimally mixing objects in general nonlinear dynamics, and are spatially mobile features that are the most predictable in the medium term. When the dynamical system is subjected to small parameter change, one can ask about the rate of change of (i) the location and shape of the coherent sets, and (ii) the mixing properties (how much more or less mixing), with respect to the parameter. We answer these questions by develo** linear response theory for the eigenfunctions of the dynamic Laplace operator, from which one readily obtains the linear response of the corresponding coherent sets. We construct efficient numerical methods based on a recent finite-element approach and provide numerical examples.
△ Less
Submitted 13 April, 2021; v1 submitted 25 July, 2019;
originally announced July 2019.
-
Lagrangian coherent sets in turbulent Rayleigh-Bénard convection
Authors:
Christiane Schneide,
Martin Stahn,
Ambrish Pandey,
Oliver Junge,
Péter Koltai,
Kathrin Padberg-Gehle,
Jörg Schumacher
Abstract:
Coherent circulation rolls and their relevance for the turbulent heat transfer in a two-dimensional Rayleigh--Bénard convection model are analyzed. The flow is in a closed cell of aspect ratio four at a Rayleigh number ${\rm Ra}=10^6$ and at a Prandtl number ${\rm Pr}=10$. Three different Lagrangian analysis techniques based on graph Laplacians -- distance spectral trajectory clustering, time-aver…
▽ More
Coherent circulation rolls and their relevance for the turbulent heat transfer in a two-dimensional Rayleigh--Bénard convection model are analyzed. The flow is in a closed cell of aspect ratio four at a Rayleigh number ${\rm Ra}=10^6$ and at a Prandtl number ${\rm Pr}=10$. Three different Lagrangian analysis techniques based on graph Laplacians -- distance spectral trajectory clustering, time-averaged diffusion maps and finite-element based dynamic Laplacian discretization -- are used to monitor the turbulent fields along trajectories of massless Lagrangian particles in the evolving turbulent convection flow. The three methods are compared to each other and the obtained coherent sets are related to results from an analysis in the Eulerian frame of reference. We show that the results of these methods agree with each other and that Lagrangian and Eulerian coherent sets form basically a disjoint union of the flow domain. Additionally, a windowed time-averaging of variable interval length is performed to study the degree of coherence as a function of this additional coarse graining which removes small-scale fluctuations that cause trajectories to disperse quickly. Finally, the coherent set framework is extended to study heat transport.
△ Less
Submitted 7 November, 2019; v1 submitted 8 July, 2019;
originally announced July 2019.
-
Higher-Order Finite Element Approximation of the Dynamic Laplacian
Authors:
Nathanael Schilling,
Gary Froyland,
Oliver Junge
Abstract:
The dynamic Laplace operator arises from extending problems of isoperimetry from fixed manifolds to manifolds evolved by general nonlinear dynamics. Eigenfunctions of this operator are used to identify and track finite-time coherent sets, which physically manifest in fluid flows as jets, vortices, and more complicated structures. Two robust and efficient finite-element discretisation schemes for n…
▽ More
The dynamic Laplace operator arises from extending problems of isoperimetry from fixed manifolds to manifolds evolved by general nonlinear dynamics. Eigenfunctions of this operator are used to identify and track finite-time coherent sets, which physically manifest in fluid flows as jets, vortices, and more complicated structures. Two robust and efficient finite-element discretisation schemes for numerically computing the dynamic Laplacian were proposed in Froyland & Junge (2018). In this work we consider higher-order versions of these two numerical schemes and analyse them experimentally. We also prove the numerically computed eigenvalues and eigenvectors converge to the true objects for both schemes under certain assumptions. We provide an efficient implementation of the higher-order element schemes in an accompanying Julia package.
△ Less
Submitted 18 June, 2019;
originally announced June 2019.
-
A convergent Lagrangian discretization for $p$-Wasserstein and flux-limited diffusion equations
Authors:
Benjamin Söllner,
Oliver Junge
Abstract:
We study a Lagrangian numerical scheme for solution of a nonlinear drift diffusion equation of the form $\partial_t u = \partial_x(u \cdot c[\partial_x(h^\prime(u)+v)])$ on an interval. This scheme will consist of a spatio-temporal discretization founded in the formulation of the equation in terms of inverse distribution functions. It is based on the gradient flow structure of the equation with re…
▽ More
We study a Lagrangian numerical scheme for solution of a nonlinear drift diffusion equation of the form $\partial_t u = \partial_x(u \cdot c[\partial_x(h^\prime(u)+v)])$ on an interval. This scheme will consist of a spatio-temporal discretization founded in the formulation of the equation in terms of inverse distribution functions. It is based on the gradient flow structure of the equation with respect to optimal transport distances for a family of costs that are in some sense $p$-Wasserstein like. Additionally we will show that, under a regularity assumption on the initial data, this also includes a family of discontinuous, flux-limiting cost. We show that this discretization inherits various properties from the continuous flow, like entropy monotonicity, mass preservation, a minimum/maximum principle and flux-limitation in the case of the corresponding cost. Convergence in the limit of vanishing mesh size will be proven as the main result. Finally we will present numerical experiments including a numerical convergence analysis.
△ Less
Submitted 22 July, 2019; v1 submitted 4 June, 2019;
originally announced June 2019.
-
Robust FEM-based extraction of finite-time coherent sets using scattered, sparse, and incomplete trajectories
Authors:
Gary Froyland,
Oliver Junge
Abstract:
Transport and mixing properties of aperiodic flows are crucial to a dynamical analysis of the flow, and often have to be carried out with limited information. Finite-time coherent sets are regions of the flow that minimally mix with the remainder of the flow domain over the finite period of time considered. In the purely advective setting this is equivalent to identifying sets whose boundary inter…
▽ More
Transport and mixing properties of aperiodic flows are crucial to a dynamical analysis of the flow, and often have to be carried out with limited information. Finite-time coherent sets are regions of the flow that minimally mix with the remainder of the flow domain over the finite period of time considered. In the purely advective setting this is equivalent to identifying sets whose boundary interfaces remain small throughout their finite-time evolution. Finite-time coherent sets thus provide a skeleton of distinct regions around which more turbulent flow occurs. They manifest in geophysical systems in the forms of e.g.\ ocean eddies, ocean gyres, and atmospheric vortices. In real-world settings, often observational data is scattered and sparse, which makes the difficult problem of coherent set identification and tracking even more challenging. We develop three FEM-based numerical methods to efficiently approximate the dynamic Laplace operator, and introduce a new dynamic isoperimetric problem using Dirichlet boundary conditions. Using these FEM-based methods we rapidly and reliably extract finite-time coherent sets from models or scattered, possibly sparse, and possibly incomplete observed data.
△ Less
Submitted 9 February, 2018; v1 submitted 10 May, 2017;
originally announced May 2017.
-
On the sighting of unicorns: a variational approach to computing invariant sets in dynamical systems
Authors:
Oliver Junge,
Ioannis G. Kevrekidis
Abstract:
We propose to compute approximations to general invariant sets in dynamical systems by minimizing the distance between an appropriately selected finite set of points and its image under the dynamics. We demonstrate, through computational experiments that this approach can successfully converge to approximations of (maximal) invariant sets of arbitrary topology, dimension and stability as, e.g., sa…
▽ More
We propose to compute approximations to general invariant sets in dynamical systems by minimizing the distance between an appropriately selected finite set of points and its image under the dynamics. We demonstrate, through computational experiments that this approach can successfully converge to approximations of (maximal) invariant sets of arbitrary topology, dimension and stability as, e.g., saddle type invariant sets with complicated dynamics. We further propose to extend this approach by adding a Lennard-Jones type potential term to the objective function which yields more evenly distributed approximating finite point sets and perform corresponding numerical experiments.
△ Less
Submitted 16 October, 2016;
originally announced October 2016.
-
Computing Coherent Sets using the Fokker-Planck Equation
Authors:
Andreas Denner,
Oliver Junge,
Daniel Matthes
Abstract:
We perform a numerical approximation of coherent sets in finite-dimensional smooth dynamical systems by computing singular vectors of the transfer operator for a stochastically perturbed flow. This operator is obtained by solution of a discretized Fokker-Planck equation. For numerical implementation, we employ spectral collocation methods and an exponential time differentiation scheme. We experime…
▽ More
We perform a numerical approximation of coherent sets in finite-dimensional smooth dynamical systems by computing singular vectors of the transfer operator for a stochastically perturbed flow. This operator is obtained by solution of a discretized Fokker-Planck equation. For numerical implementation, we employ spectral collocation methods and an exponential time differentiation scheme. We experimentally compare our approach to the more classical method by Ulam that is based on integration of the exact transfer operator.
△ Less
Submitted 14 October, 2016; v1 submitted 11 December, 2015;
originally announced December 2015.
-
A fully discrete variational scheme for solving nonlinear Fokker-Planck equations in higher space dimensions
Authors:
Oliver Junge,
Daniel Matthes,
Horst Osberger
Abstract:
We introduce a novel spatio-temporal discretization for nonlinear Fokker-Planck equations on the multi-dimensional unit cube. This discretization is based on two structural properties of these equations: the first is the representation as a gradient flow of an entropy functional in the $L^2$-Wasserstein metric, the second is the Lagrangian nature, meaning that solutions can be written as the push…
▽ More
We introduce a novel spatio-temporal discretization for nonlinear Fokker-Planck equations on the multi-dimensional unit cube. This discretization is based on two structural properties of these equations: the first is the representation as a gradient flow of an entropy functional in the $L^2$-Wasserstein metric, the second is the Lagrangian nature, meaning that solutions can be written as the push forward transformation of the initial density under suitable flow maps. The resulting numerical scheme is entropy diminishing and mass conserving. Further, the scheme is weakly stable, which allows us to prove convergence under certain regularity assumptions. Finally, we present results from numerical experiments in space dimension $d=2$.
△ Less
Submitted 8 January, 2016; v1 submitted 25 September, 2015;
originally announced September 2015.
-
On fast computation of finite-time coherent sets using radial basis functions
Authors:
Gary Froyland,
Oliver Junge
Abstract:
Finite-time coherent sets inhibit mixing over finite times. The most expensive part of the transfer operator approach to detecting coherent sets is the construction of the operator itself. We present a numerical method based on radial basis function collocation and apply it to a recent transfer operator construction that has been designed specifically for purely advective dynamics. The constructio…
▽ More
Finite-time coherent sets inhibit mixing over finite times. The most expensive part of the transfer operator approach to detecting coherent sets is the construction of the operator itself. We present a numerical method based on radial basis function collocation and apply it to a recent transfer operator construction that has been designed specifically for purely advective dynamics. The construction is based on a "dynamic" Laplacian operator and minimises the boundary size of the coherent sets relative to their volume. The main advantage of our new approach is a substantial reduction in the number of Lagrangian trajectories that need to be computed, leading to large speedups in the transfer operator analysis when this computation is costly.
△ Less
Submitted 9 November, 2015; v1 submitted 19 May, 2015;
originally announced May 2015.
-
Pseudo generators for under-resolved molecular dynamics
Authors:
Andreas Bittracher,
Carsten Hartmann,
Oliver Junge,
Péter Koltai
Abstract:
Many features of a molecule which are of physical interest (e.g. molecular conformations, reaction rates) are described in terms of its dynamics in configuration space. This article deals with the projection of molecular dynamics in phase space onto configuration space. Specifically, we study the situation that the phase space dynamics is governed by a stochastic Langevin equation and study its re…
▽ More
Many features of a molecule which are of physical interest (e.g. molecular conformations, reaction rates) are described in terms of its dynamics in configuration space. This article deals with the projection of molecular dynamics in phase space onto configuration space. Specifically, we study the situation that the phase space dynamics is governed by a stochastic Langevin equation and study its relation with the configurational Smoluchowski equation in the three different scaling regimes: Firstly, the Smoluchowski equations in non-Cartesian geometries are derived from the overdamped limit of the Langevin equation. Secondly, transfer operator methods are used to describe the metastable behaviour of the system at hand, and an explicit small-time asymptotics is derived on which the Smoluchowski equation turns out to govern the dynamics of the position coordinate (without any assumptions on the dam**). By using an adequate reduction technique, these considerations are then extended to one-dimensional reaction coordinates. Thirdly, we sketch three different approaches to approximate the metastable dynamics based on time-local information only.
△ Less
Submitted 19 May, 2015; v1 submitted 4 February, 2015;
originally announced February 2015.
-
Pseudo generators of spatial transfer operators
Authors:
Andreas Bittracher,
Péter Koltai,
Oliver Junge
Abstract:
Metastable behavior in dynamical systems may be a significant challenge for a simulation based analysis. In recent years, transfer operator based approaches to problems exhibiting metastability have matured. In order to make these approaches computationally feasible for larger systems, various reduction techniques have been proposed: For example, Schütte introduced a spatial transfer operator whic…
▽ More
Metastable behavior in dynamical systems may be a significant challenge for a simulation based analysis. In recent years, transfer operator based approaches to problems exhibiting metastability have matured. In order to make these approaches computationally feasible for larger systems, various reduction techniques have been proposed: For example, Schütte introduced a spatial transfer operator which acts on densities on configuration space, while Weber proposed to avoid trajectory simulation (like Froyland et al.) by considering a discrete generator.
In this manuscript, we show that even though the family of spatial transfer operators is not a semigroup, it possesses a well defined generating structure. What is more, the pseudo generators up to order 4 in the Taylor expansion of this family have particularly simple, explicit expressions involving no momentum averaging. This makes collocation methods particularly easy to implement and computationally efficient, which in turn may open the door for further efficiency improvements in, e.g., the computational treatment of conformation dynamics. We experimentally verify the predicted properties of these pseudo generators by means of two academic examples.
△ Less
Submitted 19 May, 2015; v1 submitted 4 December, 2014;
originally announced December 2014.
-
Sparse Control of Alignment Models in High Dimension
Authors:
Mattia Bongini,
Massimo Fornasier,
Oliver Junge,
Benjamin Scharf
Abstract:
For high dimensional particle systems, governed by smooth nonlinearities depending on mutual distances between particles, one can construct low-dimensional representations of the dynamical system, which allow the learning of nearly optimal control strategies in high dimension with overwhelming confidence. In this paper we present an instance of this general statement tailored to the sparse control…
▽ More
For high dimensional particle systems, governed by smooth nonlinearities depending on mutual distances between particles, one can construct low-dimensional representations of the dynamical system, which allow the learning of nearly optimal control strategies in high dimension with overwhelming confidence. In this paper we present an instance of this general statement tailored to the sparse control of models of consensus emergence in high dimension, projected to lower dimensions by means of random linear maps. We show that one can steer, nearly optimally and with high probability, a high-dimensional alignment model to consensus by acting at each switching time on one agent of the system only, with a control rule chosen essentially exclusively according to information gathered from a randomly drawn low-dimensional representation of the control system.
△ Less
Submitted 27 August, 2014;
originally announced August 2014.
-
Dynamic programming using radial basis functions
Authors:
Oliver Junge,
Alex Schreiber
Abstract:
We propose a discretization of the optimality principle in dynamic programming based on radial basis functions and Shepard's moving least squares approximation method. We prove convergence of the approximate optimal value function to the true one and present several numerical experiments.
We propose a discretization of the optimality principle in dynamic programming based on radial basis functions and Shepard's moving least squares approximation method. We prove convergence of the approximate optimal value function to the true one and present several numerical experiments.
△ Less
Submitted 15 May, 2014;
originally announced May 2014.
-
Higher order variational time discretization of optimal control problems
Authors:
C. M. Campos,
O. Junge,
S. Ober-Blöbaum
Abstract:
We reconsider the variational integration of optimal control problems for mechanical systems based on a direct discretization of the Lagrange-d'Alembert principle. This approach yields discrete dynamical constraints which by construction preserve important structural properties of the system, like the evolution of the momentum maps or the energy behavior. Here, we employ higher order quadrature ru…
▽ More
We reconsider the variational integration of optimal control problems for mechanical systems based on a direct discretization of the Lagrange-d'Alembert principle. This approach yields discrete dynamical constraints which by construction preserve important structural properties of the system, like the evolution of the momentum maps or the energy behavior. Here, we employ higher order quadrature rules based on polynomial collocation. The resulting variational time discretization decreases the overall computational effort.
△ Less
Submitted 27 April, 2012;
originally announced April 2012.
-
Lazy global feedbacks for quantized nonlinear event systems
Authors:
Stefan Jerg,
Oliver Junge
Abstract:
We consider nonlinear event systems with quantized state information and design a globally stabilizing controller from which only the minimal required number of control value changes along the feedback trajectory to a given initial condition is transmitted to the plant. In addition, we present a non-optimal heuristic approach which might reduce the number of control value changes and requires a lo…
▽ More
We consider nonlinear event systems with quantized state information and design a globally stabilizing controller from which only the minimal required number of control value changes along the feedback trajectory to a given initial condition is transmitted to the plant. In addition, we present a non-optimal heuristic approach which might reduce the number of control value changes and requires a lower computational effort. The constructions are illustrated by two numerical examples.
△ Less
Submitted 26 April, 2012;
originally announced April 2012.
-
Computing the Invariant Measure and the Lyapunov Exponent for One-Dimensional Maps using a Measure-Preserving Polynomial Basis
Authors:
Philip J. Aston,
Oliver Junge
Abstract:
We consider a generalisation of Ulam's method for approximating invariant densities of one-dimensional chaotic maps. Rather than use piecewise constant polynomials to approximate the density, we use polynomials of degree n which are defined by the requirement that they preserve the measure on n+1 neighbouring subintervals. Over the whole interval, this results in a discontinuous piecewise polynomi…
▽ More
We consider a generalisation of Ulam's method for approximating invariant densities of one-dimensional chaotic maps. Rather than use piecewise constant polynomials to approximate the density, we use polynomials of degree n which are defined by the requirement that they preserve the measure on n+1 neighbouring subintervals. Over the whole interval, this results in a discontinuous piecewise polynomial approximation to the density. We prove error results where this approach is used to approximate smooth densities. We also consider the computation of the Lyapunov exponent using the polynomial density and show that the order of convergence is one order better than for the density itself. Together with using cubic polynomials in the density approximation, this yields a very efficient method for computing highly accurate estimates of the Lyapunov exponent. We illustrate the theoretical findings with some examples.
△ Less
Submitted 25 November, 2011;
originally announced November 2011.
-
Optimal value functions for weakly coupled systems: a posteriori estimates
Authors:
Péter Koltai,
Oliver Junge
Abstract:
We consider weakly coupled LQ optimal control problems and derive estimates on the sensitivity of the optimal value function in dependence of the coupling strength. In order to improve these sensitivity estimates a "coupling adapted" norm is proposed. Our main result is that if a weak coupling suffices to destabilize the closed loop system with the optimal feedback of the uncoupled system then t…
▽ More
We consider weakly coupled LQ optimal control problems and derive estimates on the sensitivity of the optimal value function in dependence of the coupling strength. In order to improve these sensitivity estimates a "coupling adapted" norm is proposed. Our main result is that if a weak coupling suffices to destabilize the closed loop system with the optimal feedback of the uncoupled system then the value function might change drastically with the coupling. As a consequence, it is not reasonable to expect that a weakly coupled system possesses a weakly coupled optimal value function. Also, for a known result on the connection of the separation operator and the stability radius a new and simpler proof is given.
△ Less
Submitted 3 October, 2012; v1 submitted 17 October, 2011;
originally announced October 2011.
-
Estimating long term behavior of flows without trajectory integration: the infinitesimal generator approach
Authors:
Gary Froyland,
Oliver Junge,
Péter Koltai
Abstract:
The long-term distributions of trajectories of a flow are described by invariant densities, i.e. fixed points of an associated transfer operator. In addition, global slowly mixing structures, such as almost-invariant sets, which partition phase space into regions that are almost dynamically disconnected, can also be identified by certain eigenfunctions of this operator. Indeed, these structures ar…
▽ More
The long-term distributions of trajectories of a flow are described by invariant densities, i.e. fixed points of an associated transfer operator. In addition, global slowly mixing structures, such as almost-invariant sets, which partition phase space into regions that are almost dynamically disconnected, can also be identified by certain eigenfunctions of this operator. Indeed, these structures are often hard to obtain by brute-force trajectory-based analyses. In a wide variety of applications, transfer operators have proven to be very efficient tools for an analysis of the global behavior of a dynamical system.
The computationally most expensive step in the construction of an approximate transfer operator is the numerical integration of many short term trajectories. In this paper, we propose to directly work with the infinitesimal generator instead of the operator, completely avoiding trajectory integration. We propose two different discretization schemes; a cell based discretization and a spectral collocation approach. Convergence can be shown in certain circumstances. We demonstrate numerically that our approach is much more efficient than the operator approach, sometimes by several orders of magnitude.
△ Less
Submitted 21 January, 2011;
originally announced January 2011.
-
Mean field approximation in conformation dynamics
Authors:
Gero Friesecke,
Oliver Junge,
Péter Koltai
Abstract:
We propose a new approach to the transfer operator based analysis of the conformation dynamics of molecules. It is based on a statistical independence ansatz for the eigenfunctions of the operator related to a partitioning into subsystems. Numerical tests performed on small systems show excellent qualitative agreement between mean field and exact model, at greatly reduced computational cost.
We propose a new approach to the transfer operator based analysis of the conformation dynamics of molecules. It is based on a statistical independence ansatz for the eigenfunctions of the operator related to a partitioning into subsystems. Numerical tests performed on small systems show excellent qualitative agreement between mean field and exact model, at greatly reduced computational cost.
△ Less
Submitted 10 July, 2009;
originally announced July 2009.
-
Discrete Mechanics and Optimal Control: an Analysis
Authors:
S. Ober-Bloebaum,
O. Junge,
J. E. Marsden
Abstract:
The optimal control of a mechanical system is of crucial importance in many realms. Typical examples are the determination of a time-minimal path in vehicle dynamics, a minimal energy trajectory in space mission design, or optimal motion sequences in robotics and biomechanics. In most cases, some sort of discretization of the original, infinite-dimensional optimization problem has to be performe…
▽ More
The optimal control of a mechanical system is of crucial importance in many realms. Typical examples are the determination of a time-minimal path in vehicle dynamics, a minimal energy trajectory in space mission design, or optimal motion sequences in robotics and biomechanics. In most cases, some sort of discretization of the original, infinite-dimensional optimization problem has to be performed in order to make the problem amenable to computations. The approach proposed in this paper is to directly discretize the variational description of the system's motion. The resulting optimization algorithm lets the discrete solution directly inherit characteristic structural properties from the continuous one like symmetries and integrals of the motion. We show that the DMOC approach is equivalent to a finite difference discretization of Hamilton's equations by a symplectic partitioned Runge-Kutta scheme and employ this fact in order to give a proof of convergence.
The numerical performance of DMOC and its relationship to other existing optimal control methods are investigated.
△ Less
Submitted 8 October, 2008;
originally announced October 2008.
-
Discretization of transfer operators using a sparse hierarchical tensor basis - the Sparse Ulam method
Authors:
Oliver Junge,
Peter Koltai
Abstract:
The global macroscopic behaviour of a dynamical system is encoded in the eigenfunctions of a certain transfer operator associated to it. For systems with low dimensional long term dynamics, efficient techniques exist for a numerical approximation of the most important eigenfunctions, cf. DeJu99a. They are based on a projection of the operator onto a space of piecewise constant functions supporte…
▽ More
The global macroscopic behaviour of a dynamical system is encoded in the eigenfunctions of a certain transfer operator associated to it. For systems with low dimensional long term dynamics, efficient techniques exist for a numerical approximation of the most important eigenfunctions, cf. DeJu99a. They are based on a projection of the operator onto a space of piecewise constant functions supported on a neighborhood of the attractor - Ulam's method.
In this paper we develop a numerical technique which makes Ulam's approach applicable to systems with higher dimensional long term dynamics. It is based on ideas for the treatment of higher dimensional partial differential equations using sparse grids. We develop the technique, establish statements about its complexity and convergence and present two numerical examples.
△ Less
Submitted 27 February, 2008;
originally announced February 2008.
-
Global optimal control of perturbed systems
Authors:
Lars Grüne,
Oliver Junge
Abstract:
We propose a new numerical method for the computation of the optimal value function of perturbed control systems and associated globally stabilizing optimal feedback controllers. The method is based on a set oriented discretization of state space in combination with a new algorithm for the computation of shortest paths in weighted directed hypergraphs. Using the concept of a multivalued game, we…
▽ More
We propose a new numerical method for the computation of the optimal value function of perturbed control systems and associated globally stabilizing optimal feedback controllers. The method is based on a set oriented discretization of state space in combination with a new algorithm for the computation of shortest paths in weighted directed hypergraphs. Using the concept of a multivalued game, we prove convergence of the scheme as the discretization parameter goes to zero.
△ Less
Submitted 29 March, 2007;
originally announced March 2007.
