-
On implicit and explicit representations for 1D distributed port-Hamiltonian systems
Authors:
Antoine Bendimerad-Hohl,
Denis Matignon,
Ghislain Haine,
Laurent Lefèvre
Abstract:
First, two examples of 1D distributed port-Hamiltonian systems with dissipation, given in explicit (descriptor) form, are considered: the Dzekster model for the seepage of underground water and a nanorod model with non-local viscous dam**. Implicit representations in Stokes-Lagrange subspaces are formulated. These formulations lead to modified Hamiltonian functions with spatial differential oper…
▽ More
First, two examples of 1D distributed port-Hamiltonian systems with dissipation, given in explicit (descriptor) form, are considered: the Dzekster model for the seepage of underground water and a nanorod model with non-local viscous dam**. Implicit representations in Stokes-Lagrange subspaces are formulated. These formulations lead to modified Hamiltonian functions with spatial differential operators. The associated power balance equations are derived, together with the new boundary ports. Second, the port-Hamiltonian formulations for the Timoshenko and the Euler-Bernoulli beams are recalled, the latter being a flow-constrained version of the former. Implicit representations of these models in Stokes-Lagrange subspaces and corresponding power balance equations are derived. Bijective transformations are proposed between the explicit and implicit representations. It is proven these transformations commute with the flow-constraint projection operator.
△ Less
Submitted 12 February, 2024;
originally announced February 2024.
-
Reduced order in domain control of distributed parameter port-Hamiltonian systems via energy sha**
Authors:
Ning Liu,
Yongxin Wu,
Yann Le Gorrec,
Laurent Lefevre,
Hector Ramirez
Abstract:
An in-domain finite dimensional controller for a class of distributed parameter systems on a one-dimensional spatial domain formulated under the port-Hamiltonian framework is presented. Based on [25] where positive feedback and a late lum** approach are used, we extend the Control by Interconnection method and propose a new energy sha** methodology with an early lum** approach on the distrib…
▽ More
An in-domain finite dimensional controller for a class of distributed parameter systems on a one-dimensional spatial domain formulated under the port-Hamiltonian framework is presented. Based on [25] where positive feedback and a late lum** approach are used, we extend the Control by Interconnection method and propose a new energy sha** methodology with an early lum** approach on the distributed spatial domain of the system. Our two main control objectives are to stabilize the closed loop system, as well as to improve the closed loop dynamic performances. With the early lum** approach, we investigate two cases of the controller design, the ideal case where each distributed controller acts independently on the spatial domain (fully-actuated), and the more realistic case where the controller is piecewise constant over certain interval (under-actuated). We then analyze the asymptotic stability of the closed loop system when the infinite dimensional plant system is connected with the finite dimensional controller. Furthermore we provide simulation results comparing the performance of the fully-actuated case and the under-actuated case with an example of an elastic vibrating string.
△ Less
Submitted 1 February, 2023;
originally announced February 2023.
-
Mixed Hodge structures on cohomology jump ideals
Authors:
Louis-Clément Lefèvre
Abstract:
In previous work, we constructed for a smooth complex variety $X$ and for a linear algebraic group $G$ a mixed Hodge structure on the complete local ring $\widehat{\mathcal{O}}_ρ$ to the moduli space of representations of the fundamental group $π_1(X,x)$ into $G$ at a representation $ρ$ underlying a variation of mixed Hodge structure. We now show that the jump ideals…
▽ More
In previous work, we constructed for a smooth complex variety $X$ and for a linear algebraic group $G$ a mixed Hodge structure on the complete local ring $\widehat{\mathcal{O}}_ρ$ to the moduli space of representations of the fundamental group $π_1(X,x)$ into $G$ at a representation $ρ$ underlying a variation of mixed Hodge structure. We now show that the jump ideals $J_k^i \subset \widehat{\mathcal{O}}_ρ$, defining the locus of representations such the the dimension of the cohomology of $X$ in degree $i$ of the associated local system is greater than $k$, are sub-mixed Hodge structures; this is in accordance with various known motivicity results for these loci. In rank one we also recover, and find new cases, where these loci are translated sub-tori of the moduli of representations. Our methods are first transcendental, relying on Hodge theory, and then combined with tools of homotopy and algebra.
△ Less
Submitted 23 June, 2021;
originally announced June 2021.
-
Deformations of representations of fundamental groups of complex varieties
Authors:
Louis-Clément Lefèvre
Abstract:
We describe locally the representation varieties of fundamental groups for smooth complex varieties at representations coming from the monodromy of a variation of mixed Hodge structure. Given such a manifold $X$ and such a linear representation $ρ$ of its fundamental group $π_1(X,x)$, we use the theory of Goldman-Millson and pursue our previous work that combines mixed Hodge theory with derived de…
▽ More
We describe locally the representation varieties of fundamental groups for smooth complex varieties at representations coming from the monodromy of a variation of mixed Hodge structure. Given such a manifold $X$ and such a linear representation $ρ$ of its fundamental group $π_1(X,x)$, we use the theory of Goldman-Millson and pursue our previous work that combines mixed Hodge theory with derived deformation theory to construct a mixed Hodge structure on the formal local ring $\widehat{\mathcal{O}}_ρ$ to the representation variety of $π_1(X,x)$ at $ρ$. Then we show how a weighted-homogeneous presentation of $\widehat{\mathcal{O}}_ρ$ is induced directly from a splitting of the weight filtration of its mixed Hodge structure. In this way we recover and generalize theorems of Eyssidieux-Simpson ($X$ compact) and of Kapovich-Millson ($ρ$ finite).
△ Less
Submitted 11 April, 2021; v1 submitted 10 December, 2019;
originally announced December 2019.
-
A Partitioned Finite Element Method for power-preserving discretization of open systems of conservation laws
Authors:
Flávio Luiz Cardoso-Ribeiro,
Denis Matignon,
Laurent Lefèvre
Abstract:
This paper presents a structure-preserving spatial discretization method for distributed parameter port-Hamiltonian systems. The class of considered systems are hyperbolic systems of two conservation laws in arbitrary spatial dimension and geometries. For these systems, a partioned finite element method is derived, based on the integration by parts of one of the two conservation laws written in we…
▽ More
This paper presents a structure-preserving spatial discretization method for distributed parameter port-Hamiltonian systems. The class of considered systems are hyperbolic systems of two conservation laws in arbitrary spatial dimension and geometries. For these systems, a partioned finite element method is derived, based on the integration by parts of one of the two conservation laws written in weak form. The nonlinear 1D Shallow Water Equation (SWE) is first considered as a motivation example. Then the method is investigated on the example of the nonlinear 2D SWE. Complete derivation of the reduced finite-dimensional port-Hamiltonian system is provided and numerical experiments are performed. Extensions to curvilinear (polar) coordinate systems, space-varying coefficients and higher-order port-Hamiltonian systems (Euler-Bernoulli beam equation) are provided.
△ Less
Submitted 13 June, 2019;
originally announced June 2019.
-
Discrete-time port-Hamiltonian systems: A definition based on symplectic integration
Authors:
Paul Kotyczka,
Laurent Lefèvre
Abstract:
We introduce a new definition of discrete-time port-Hamiltonian systems (PHS), which results from structure-preserving discretization of explicit PHS in time. We discretize the underlying continuous-time Dirac structure with the collocation method and add discrete-time dynamics by the use of symplectic numerical integration schemes. The conservation of a discrete-time energy balance - expressed in…
▽ More
We introduce a new definition of discrete-time port-Hamiltonian systems (PHS), which results from structure-preserving discretization of explicit PHS in time. We discretize the underlying continuous-time Dirac structure with the collocation method and add discrete-time dynamics by the use of symplectic numerical integration schemes. The conservation of a discrete-time energy balance - expressed in terms of the discrete-time Dirac structure - extends the notion of symplecticity of geometric integration schemes to open systems. We discuss the energy approximation errors in the context of the presented definition and show that their order is consistent with the order of the numerical integration scheme. Implicit Gauss-Legendre methods and Lobatto IIIA/IIIB pairs for partitioned systems are examples for integration schemes that are covered by our definition. The statements on the numerical energy errors are illustrated by elementary numerical experiments.
△ Less
Submitted 19 November, 2018;
originally announced November 2018.
-
Mixed Hodge structures and representations of fundamental groups of algebraic varieties
Authors:
Louis-Clément Lefèvre
Abstract:
Given a complex variety $X$, a linear algebraic group $G$ and a representation $ρ$ of the fundamental group $π\_1(X,x)$ into $G$, we develop a framework for constructing a functorial mixed Hodge structure on the formal local ring of the representation variety of $π\_1(X,x)$ into $G$ at $ρ$ using mixed Hodgediagrams and methods of $L\_\infty$ algebras. We apply it in two geometric situations: eithe…
▽ More
Given a complex variety $X$, a linear algebraic group $G$ and a representation $ρ$ of the fundamental group $π\_1(X,x)$ into $G$, we develop a framework for constructing a functorial mixed Hodge structure on the formal local ring of the representation variety of $π\_1(X,x)$ into $G$ at $ρ$ using mixed Hodgediagrams and methods of $L\_\infty$ algebras. We apply it in two geometric situations: either when $X$ is compact K{ä}hler and $ρ$ is the monodromy of a variation of Hodge structure, or when $X$ is smooth quasi-projective and $ρ$ has finite image.
△ Less
Submitted 7 June, 2018;
originally announced June 2018.
-
Weak Form of Stokes-Dirac Structures and Geometric Discretization of Port-Hamiltonian Systems
Authors:
Paul Kotyczka,
Bernhard Maschke,
Laurent Lefèvre
Abstract:
We present the mixed Galerkin discretization of distributed parameter port-Hamiltonian systems. On the prototypical example of hyperbolic systems of two conservation laws in arbitrary spatial dimension, we derive the main contributions: (i) A weak formulation of the underlying geometric (Stokes-Dirac) structure with a segmented boundary according to the causality of the boundary ports. (ii) The ge…
▽ More
We present the mixed Galerkin discretization of distributed parameter port-Hamiltonian systems. On the prototypical example of hyperbolic systems of two conservation laws in arbitrary spatial dimension, we derive the main contributions: (i) A weak formulation of the underlying geometric (Stokes-Dirac) structure with a segmented boundary according to the causality of the boundary ports. (ii) The geometric approximation of the Stokes-Dirac structure by a finite-dimensional Dirac structure is realized using a mixed Galerkin approach and power-preserving linear maps, which define minimal discrete power variables. (iii) With a consistent approximation of the Hamiltonian, we obtain finite-dimensional port-Hamiltonian state space models. By the degrees of freedom in the power-preserving maps, the resulting family of structure-preserving schemes allows for trade-offs between centered approximations and upwinding. We illustrate the method on the example of Whitney finite elements on a 2D simplicial triangulation and compare the eigenvalue approximation in 1D with a related approach.
△ Less
Submitted 28 February, 2018; v1 submitted 19 June, 2017;
originally announced June 2017.
-
A criterion for quadraticity of a representation of the fundamental group of an algebraic variety
Authors:
Louis-Clément Lefèvre
Abstract:
Let $Γ$ be a finitely presented group and $G$ a linear algebraic group over $\mathbb{R}$. A representation $ρ:Γ\rightarrow G(\mathbb{R})$ can be seen as an $\mathbb{R}$-point of the representation variety $\mathfrak{R}(Γ, G)$. It is known from the work of Goldman and Millson that if $Γ$ is the fundamental group of a compact K{ä}hler manifold and $ρ$ has image contained in a compact subgroup then…
▽ More
Let $Γ$ be a finitely presented group and $G$ a linear algebraic group over $\mathbb{R}$. A representation $ρ:Γ\rightarrow G(\mathbb{R})$ can be seen as an $\mathbb{R}$-point of the representation variety $\mathfrak{R}(Γ, G)$. It is known from the work of Goldman and Millson that if $Γ$ is the fundamental group of a compact K{ä}hler manifold and $ρ$ has image contained in a compact subgroup then $ρ$ is analytically defined by homogeneous quadratic equations in $\mathfrak{R}(Γ, G)$. When $X$ is a smooth complex algebraic variety, we study a certain criterion under which this same conclusion holds.
△ Less
Submitted 9 September, 2015;
originally announced September 2015.