Searcharxiv⌕ Search

arXiv subjects

Friedrich Philipp

Publications and source records attributed to Friedrich Philipp.

At least 19 recordsLinked to original sources
arXiv2025

Extension theory via boundary triplets for infinite-dimensional implicit port-Hamiltonian systems

The solution of constrained linear partial-differential equations can be described via parametric representations of linear relations. To study these representations, we provide a novel definition of boundary triplets for linear relations in range representations where the associated boundary map is defined on the domain of the parameterizing operators rather than the relation itself. This allows us to characterize all boundary conditions such that the underlying dynamics is represented by a self-adjoint, skew-adjoint or maximally dissipative relation. The theoretical results are applied to a class of implicit port-Hamiltonian systems on one-dimensional spatial domains. More precisely, we explicitly construct a boundary triplet which solely depends on the coefficient matrices of the involved matrix differential operators and we derive the associated Lagrangian subspace. We exemplify our approach by means of the Dzektser equation, the biharmonic wave equation, and an elastic rod with non-local elasticity condition.

math.AP↗
arXiv2024

Invariance of Gaussian RKHSs under Koopman operators of stochastic differential equations with constant matrix coefficients

We consider the Koopman operator semigroup $(K^t)_{t\ge 0}$ associated with stochastic differential equations of the form $dX_t = AX_t\,dt + B\,dW_t$ with constant matrices $A$ and $B$ and Brownian motion $W_t$. We prove that the reproducing kernel Hilbert space $\bH_C$ generated by a Gaussian kernel with a positive definite covariance matrix $C$ is invariant under each Koopman operator $K^t$ if the matrices $A$, $B$, and $C$ satisfy the following Lyapunov-like matrix inequality: $AC^2 + C^2A^\top\le 2BB^\top$. In this course, we prove a characterization concerning the inclusion $\bH_{C_1}\subset\bH_{C_2}$ of Gaussian RKHSs for two positive definite matrices $C_1$ and $C_2$. The question of whether the sufficient Lyapunov-condition is also necessary is left as an open problem.

math.PR↗
arXiv2023

Error bounds for kernel-based approximations of the Koopman operator

We consider the data-driven approximation of the Koopman operator for stochastic differential equations on reproducing kernel Hilbert spaces (RKHS). Our focus is on the estimation error if the data are collected from long-term ergodic simulations. We derive both an exact expression for the variance of the kernel cross-covariance operator, measured in the Hilbert-Schmidt norm, and probabilistic bounds for the finite-data estimation error. Moreover, we derive a bound on the prediction error of observables in the RKHS using a finite Mercer series expansion. Further, assuming Koopman-invariance of the RKHS, we provide bounds on the full approximation error. Numerical experiments using the Ornstein-Uhlenbeck process illustrate our results.

math.DS↗
arXiv2023

The mystery of Carleson frames

In 2016 Aldroubi et al. constructed the first class of frames having the form $\{T^kφ\}_{k=0}^\infty$ for a bounded linear operator on the underlying Hilbert space. In this paper we show that a subclass of these frames has a number of additional remarkable features that have not been identified for any other frames in the literature. Most importantly, the subfamily obtained by selecting each Nth element from the frame is itself a frame, regardless of the choice of $N\in\mathbb{N}$. Furthermore, the frame property is kept upon removal of an arbitrarily finite number of elements.

math.FA↗
arXiv2023

Error analysis of kernel EDMD for prediction and control in the Koopman framework

Extended Dynamic Mode Decomposition (EDMD) is a popular data-driven method to approximate the Koopman operator for deterministic and stochastic (control) systems. This operator is linear and encompasses full information on the (expected stochastic) dynamics. In this paper, we analyze a kernel-based EDMD algorithm, known as kEDMD, where the dictionary consists of the canonical kernel features at the data points. The latter are acquired by i.i.d. samples from a user-defined and application-driven distribution on a compact set. We prove bounds on the prediction error of the kEDMD estimator when sampling from this (not necessarily ergodic) distribution. The error analysis is further extended to control-affine systems, where the considered invariance of the Reproducing Kernel Hilbert Space is significantly less restrictive in comparison to invariance assumptions on an a-priori chosen dictionary.

math.DS↗
arXiv2023

Hidden regularity in singular optimal control of port-Hamiltonian systems

We study the problem of state transition on a finite time interval with minimal energy supply for linear port-Hamiltonian systems. While the cost functional of minimal energy supply is intrinsic to the port-Hamiltonian structure, the necessary conditions of optimality resulting from Pontryagin's maximum principle may yield singular arcs. The underlying reason is the linear dependence on the control, which makes the problem of determining the optimal control as a function of the state and the adjoint more complicated or even impossible. To resolve this issue, we fully characterize regularity of the (differential-algebraic) optimality system by using the interplay of the cost functional and the dynamics. In case of the optimality DAE being characterized by a regular matrix pencil, we fully determine the control on the singular arc. In case of singular matrix pencils of the optimality system, we propose an approach to compute rank-minimal quadratic perturbations of the objective such that the optimal control problem becomes regular. We illustrate the applicability of our results by a general second-order mechanical system and a discretized boundary-controlled heat equation.

math.OC↗
arXiv2023

Equivariance and partial observations in Koopman operator theory for partial differential equations

The Koopman operator has become an essential tool for data-driven analysis, prediction and control of complex systems. The main reason is the enormous potential of identifying linear function space representations of nonlinear dynamics from measurements. This equally applies to ordinary, stochastic, and partial differential equations (PDEs). Until now, with a few exceptions only, the PDE case is mostly treated rather superficially, and the specific structure of the underlying dynamics is largely ignored. In this paper, we show that symmetries in the system dynamics can be carried over to the Koopman operator, which allows us to significantly increase the model efficacy. Moreover, the situation where we only have access to partial observations (i.e., measurements, as is very common for experimental data) has not been treated to its full extent, either. Moreover, we address the highly-relevant case where we cannot measure the full state, where alternative approaches (e.g., delay coordinates) have to be considered. We derive rigorous statements on the required number of observables in this situation, based on embedding theory. We present numerical evidence using various numerical examples including the wave equation and the Kuramoto-Sivashinsky equation.

math.DS↗
arXiv2023

Optimal control of port-Hamiltonian systems: energy, entropy, and exergy

We consider irreversible and coupled reversible-irreversible nonlinear port-Hamiltonian systems and the respective sets of thermodynamic equilibria. In particular, we are concerned with optimal state transitions and output stabilization on finite-time horizons. We analyze a class of optimal control problems, where the performance functional can be interpreted as a linear combination of energy supply, entropy generation, or exergy supply. Our results establish the integral turnpike property towards the set of thermodynamic equilibria providing a rigorous connection of optimal system trajectories to optimal steady states. Throughout the paper, we illustrate our findings by means of two examples: a network of heat exchangers and a gas-piston system.

math.OC↗
arXiv2023

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

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.

math.AP↗
arXiv2022

Towards reliable data-based optimal and predictive control using extended DMD

While Koopman-based techniques like extended Dynamic Mode Decomposition are nowadays ubiquitous in the data-driven approximation of dynamical systems, quantitative error estimates were only recently established. To this end, both sources of error resulting from a finite dictionary and only finitely-many data points in the generation of the surrogate model have to be taken into account. We generalize the rigorous analysis of the approximation error to the control setting while simultaneously reducing the impact of the curse of dimensionality by using a recently proposed bilinear approach. In particular, we establish uniform bounds on the approximation error of state-dependent quantities like constraints or a performance index enabling data-based optimal and predictive control with guarantees.

math.OC↗
arXiv2022

Time-Frequency Shift Invariance of Gabor Spaces with an $S_0$-Generator

We consider Gabor Riesz sequences generated by a lattice $Λ\subset \mathbb{R}^2$ and a window function $g \in L^2(\mathbb{R})$ which is well localized in both time and frequency. When $g$ belongs to the Feichtinger algebra, we prove that only those time-frequency shifts with parameters from the lattice $Λ$ leave the corresponding Gabor space invariant. This improves on earlier results where only lattices of rational density were considered. A slightly weaker result is proved - again for lattices of general density - under the regularity assumptions of the classical Balian-Low theorem, where both $g$ and its Fourier transform belong to the Sobolev space $H^1(\mathbb{R})$. The proof relies on a combination of methods from time-frequency analysis and the theory of $C^\ast$-algebras, specifically the so-called irrational rotation algebra.

math.FA↗
arXiv2022

Relatively bounded perturbations of J-non-negative operators

We improve known perturbation results for self-adjoint operators in Hilbert spaces and prove spectral enclosures for diagonally dominant $J$-self-adjoint operator matrices. These are used in the proof of the central result, a perturbation theorem for $J$-non-negative operators. The results are applied to singular indefinite Sturm-Liouville operators with $L^p$-potentials. Known bounds on the non-real eigenvalues of such operators are improved.

math.SP↗
arXiv2022

On characteristic invariants of matrix pencils and linear relations

The relationship between linear relations and matrix pencils is investigated. Given a linear relation, we introduce its Weyr characteristic. If the linear relation is the range (or the kernel) representation of a given matrix pencil, we show that there is a correspondence between this characteristic and the Kronecker canonical form of the pencil. This relationship is exploited to obtain estimations on the invariant characteristics of matrix pencils under rank one perturbations.

math.SP↗
arXiv2022

Optimal control of thermodynamic port-Hamiltonian Systems

We consider the problem of minimizing the entropy, energy, or exergy production for state transitions of irreversible port-Hamiltonian systems subject to control constraints. Via a dissipativity-based analysis we show that optimal solutions exhibit the manifold turnpike phenomenon with respect to the manifold of thermodynamic equilibria. We illustrate our analytical findings via numerical results for a heat exchanger.

math.OC↗
arXiv2022

Strict dissipativity for generalized linear-quadratic problems in infinite dimensions

We analyze strict dissipativity of generalized linear quadratic optimal control problems on Hilbert spaces. Here, the term ``generalized'' refers to cost functions containing both quadratic and linear terms. We characterize strict pre-dissipativity with a quadratic storage function via coercivity of a particular Lyapunov-like quadratic form. Further, we show that under an additional algebraic assumption, strict pre-dissipativity can be strengthened to strict dissipativity. Last, we relate the obtained characterizations of dissipativity with exponential detectability.

math.OC↗
arXiv2022

Optimal control of port-Hamiltonian descriptor systems with minimal energy supply

We consider the singular optimal control problem of minimizing the energy supply of linear dissipative port-Hamiltonian descriptor systems subject to control and terminal state constraints. To this end, after reducing the problem to an ODE with feed-through term, we derive an input-state turnpike towards a subspace for optimal control of generalized port-Hamiltonian ordinary differential equations. We study the reachability properties of the system and prove that optimal states exhibit a turnpike behavior with respect to the conservative subspace. By means of the port-Hamiltonian structure, we show that, despite control constraints, this turnpike property is global in the initial state. Further, we characterize the class of dissipative Hamiltonian matrices and pencils.

math.OC↗
arXiv2022

Finite-data error bounds for Koopman-based prediction and control

The Koopman operator has become an essential tool for data-driven approximation of dynamical (control) systems, e.g., via extended dynamic mode decomposition. Despite its popularity, convergence results and, in particular, error bounds are still scarce. In this paper, we derive probabilistic bounds for the approximation error and the prediction error depending on the number of training data points; for both ordinary and stochastic differential equations while using either ergodic trajectories or i.i.d. samples. We illustrate these bounds by means of an example with the Ornstein-Uhlenbeck process. Moreover, we extend our analysis to (stochastic) nonlinear control-affine systems. We prove error estimates for a previously proposed approach that exploits the linearity of the Koopman generator to obtain a bilinear surrogate control system and, thus, circumvents the curse of dimensionality since the system is not autonomized by augmenting the state by the control inputs. To the best of our knowledge, this is the first finite-data error analysis in the stochastic and/or control setting. Finally, we demonstrate the effectiveness of the bilinear approach by comparing it with state-of-the-art techniques showing its superiority whenever state and control are coupled.

math.OC↗