Showing 1–18 of 18 results for author: Engel, K

On Structured Perturbations of Positive Semigroups

Authors: Alessio Barbieri, Klaus-Jochen Engel

Abstract: In this note we generalize perturbation results for positive $C_0$-semigroups on AM- and AL-spaces and give a Weiss--Staffans type perturbation result for generators of positive semigroups on Banach lattices. The abstract results are applied to domain perturbations of generators, a heat equation with boundary feedback and perturbations of the first derivative. In this note we generalize perturbation results for positive $C_0$-semigroups on AM- and AL-spaces and give a Weiss--Staffans type perturbation result for generators of positive semigroups on Banach lattices. The abstract results are applied to domain perturbations of generators, a heat equation with boundary feedback and perturbations of the first derivative. △ Less

Submitted 29 May, 2024; originally announced May 2024.

Comments: 37 pages

MSC Class: 47D06 (Primary) 47A55; 34G10; 46B42 (Secondary)

Flows on Metric Graphs with General Boundary Conditions

Authors: Klaus-Jochen Engel, Marjeta Kramar Fijavž

Abstract: In this note we study the generation of $C_0$-semigroups by first order differential operators on $\mathrm{L}^p (\mathbb{R}_+,\mathbb{C}^{\ell})\times \mathrm{L}^p ([0,1],\mathbb{C}^{m})$ with general boundary conditions. In many cases we are able to characterize the generation property in terms of the invertibility of a matrix associated to the boundary conditions. The abstract results are used t… ▽ More In this note we study the generation of $C_0$-semigroups by first order differential operators on $\mathrm{L}^p (\mathbb{R}_+,\mathbb{C}^{\ell})\times \mathrm{L}^p ([0,1],\mathbb{C}^{m})$ with general boundary conditions. In many cases we are able to characterize the generation property in terms of the invertibility of a matrix associated to the boundary conditions. The abstract results are used to study well-posedness of transport equations on non-compact metric graphs. △ Less

Submitted 16 October, 2021; originally announced October 2021.

MSC Class: 47D06; 34G10; 35L04; 35R02

The modulus of the Fourier transform on a sphere determines 3-dimensional convex polytopes

Authors: Konrad Engel, Bastian Laasch

Abstract: Let $\mathcal{P}$ and $\mathcal{P}'$ be $3$-dimensional convex polytopes in $\mathbb{R}^3$ and $S \subseteq \mathbb{R}^3$ be a non-empty intersection of an open set with a sphere. As a consequence of a somewhat more general result it is proved that $\mathcal{P}$ and $\mathcal{P}'$ coincide up to translation and/or reflection in a point if… ▽ More Let $\mathcal{P}$ and $\mathcal{P}'$ be $3$-dimensional convex polytopes in $\mathbb{R}^3$ and $S \subseteq \mathbb{R}^3$ be a non-empty intersection of an open set with a sphere. As a consequence of a somewhat more general result it is proved that $\mathcal{P}$ and $\mathcal{P}'$ coincide up to translation and/or reflection in a point if $|\int_{\mathcal{P}} e^{-i\mathbf{s}\cdot\mathbf{x}} \,\mathbf{dx}| = |\int_{\mathcal{P}'} e^{-i\mathbf{s}\cdot\mathbf{x}} \,\mathbf{dx}|$ for all $\mathbf{s} \in S$. This can be applied to the field of crystallography regarding the question whether a nanoparticle modelled as a convex polytope is uniquely determined by the intensities of its X-ray diffraction pattern on the Ewald sphere. △ Less

Submitted 22 September, 2020; originally announced September 2020.

Comments: 12 pages, 1 figure

MSC Class: 42B10; 52B10; 52B11; 81U40

An identity theorem for the Fourier transform of polytopes on rationally parameterisable hypersurfaces

Authors: Konrad Engel

Abstract: A set $\mathcal{S}$ of points in $\mathbb{R}^n$ is called a rationally parameterisable hypersurface if $\mathcal{S}=\{\boldsymbolσ(\mathbf{t}): \mathbf{t} \in D\}$, where $\boldsymbolσ: \mathbb{R}^{n-1} \rightarrow \mathbb{R}^n$ is a vector function with domain $D$ and rational functions as components. A generalized $n$-dimensional polytope in $\mathbb{R}^n$ is a union of a finite number of convex… ▽ More A set $\mathcal{S}$ of points in $\mathbb{R}^n$ is called a rationally parameterisable hypersurface if $\mathcal{S}=\{\boldsymbolσ(\mathbf{t}): \mathbf{t} \in D\}$, where $\boldsymbolσ: \mathbb{R}^{n-1} \rightarrow \mathbb{R}^n$ is a vector function with domain $D$ and rational functions as components. A generalized $n$-dimensional polytope in $\mathbb{R}^n$ is a union of a finite number of convex $n$-dimensional polytopes in $\mathbb{R}^n$. The Fourier transform of such a generalized polytope $\mathcal{P}$ in $\mathbb{R}^n$ is defined by $F_{\mathcal{P}}(\mathbf{s})=\int_{\mathcal{P}} e^{-i\mathbf{s}\cdot\mathbf{x}} \,\mathbf{dx}$. We prove that $F_{\mathcal{P}_1}(\boldsymbolσ(\mathbf{t})) = F_{\mathcal{P}_2}(\boldsymbolσ(\mathbf{t}))\ \forall \mathbf{t} \in O$ implies $\mathcal{P}_1=\mathcal{P}_2$ if $O$ is an open subset of $D$ satisfying some well-defined conditions. Moreover we show that this theorem can be applied to quadric hypersurfaces that do not contain a line, but at least two points, i.e., in particular to spheres. △ Less

Submitted 29 July, 2020; originally announced August 2020.

Comments: 20 pages

MSC Class: 52B11; 42B10

Journal ref: Discrete & Computational Geometry 2022

Projection inequalities for antichains

Authors: Konrad Engel, Themis Mitsis, Christos Pelekis, Christian Reiher

Abstract: A set $A \subseteq {\mathbb{R}}^n$ is called an antichain (resp. antichain) if it does not contain two distinct elements ${\mathbf x}=(x_1,\ldots, x_n)$ and ${\mathbf y}=(y_1,\ldots, y_n)$ satisfying $x_i\le y_i$ (resp. $x_i < y_i$) for all $i\in \{1,\ldots,n\}$. We show that the Hausdorff dimension of a weak antichain $A$ in the $n$-dimensional unit cube $[0,1]^n$ is at most $n-1$ and that the… ▽ More A set $A \subseteq {\mathbb{R}}^n$ is called an antichain (resp. antichain) if it does not contain two distinct elements ${\mathbf x}=(x_1,\ldots, x_n)$ and ${\mathbf y}=(y_1,\ldots, y_n)$ satisfying $x_i\le y_i$ (resp. $x_i < y_i$) for all $i\in \{1,\ldots,n\}$. We show that the Hausdorff dimension of a weak antichain $A$ in the $n$-dimensional unit cube $[0,1]^n$ is at most $n-1$ and that the $(n-1)$-dimensional Hausdorff measure of $A$ is at most $n$, which are the best possible bounds. This result is derived as a corollary of the following {\it projection inequality}, which may be of independent interest: The $(n-1)$-dimensional Hausdorff measure of a (weak) antichain $A\subseteq [0, 1]^n$ cannot exceed the sum of the $(n-1)$-dimensional Hausdorff measures of the $n$ orthogonal projections of $A$ onto the facets of the unit $n$-cube containing the origin. For the proof of this result we establish a discrete variant of the projection inequality applicable to weak antichains in ${\mathbb Z}^n$ and combine it with ideas from geometric measure theory. △ Less

Submitted 16 December, 2018; originally announced December 2018.

MSC Class: 05D05; 28A75; 49Q15

Journal ref: Israel Journal of Mathematics 238 (2020), no.1, 61--90

Operators with Wentzell boundary conditions and the Dirichlet-to-Neumann operator

Authors: Tim Binz, Klaus-Jochen Engel

Abstract: In this paper we relate the generator property of an operator $A$ with (abstract) generalized Wentzell boundary conditions on a Banach space $X$ and its associated (abstract) Dirichlet-to-Neumann operator $N$ acting on a "boundary" space $\partial X$. Our approach is based on similarity transformations and perturbation arguments and allows to split $A$ into an operator $A_{00}$ with Dirichlet-type… ▽ More In this paper we relate the generator property of an operator $A$ with (abstract) generalized Wentzell boundary conditions on a Banach space $X$ and its associated (abstract) Dirichlet-to-Neumann operator $N$ acting on a "boundary" space $\partial X$. Our approach is based on similarity transformations and perturbation arguments and allows to split $A$ into an operator $A_{00}$ with Dirichlet-type boundary conditions on a space $X_0$ of states having "zero trace" and the operator $N$. If $A_{00}$ generates an analytic semigroup, we obtain under a weak Hille--Yosida type condition that $A$ generates an analytic semigroup on $X$ if and only if $N$ does so on $\partial X$. Here we assume that the (abstract) "trace" operator $L:X\to\partial X$ is bounded what is typically satisfied if $X$ is a space of continuous functions. Concrete applications are made to various second order differential operators. △ Less

Submitted 27 November, 2018; v1 submitted 16 January, 2018; originally announced January 2018.

Comments: 14 pages

MSC Class: 47D06; 34G10; 47E05; 47F05

Waves and Diffusion on Metric Graphs with General Vertex Conditions

Authors: Klaus-Jochen Engel, Marjeta Kramar Fijavž

Abstract: We prove well-posedness for very general linear wave- and diffusion equations on compact or non-compact metric graphs allowing various different conditions in the vertices. More precisely, using the theory of strongly continuous operator semigroups we show that a large class of (not necessarily self-adjoint) second order differential operators with general (possibly non-local) boundary conditions… ▽ More We prove well-posedness for very general linear wave- and diffusion equations on compact or non-compact metric graphs allowing various different conditions in the vertices. More precisely, using the theory of strongly continuous operator semigroups we show that a large class of (not necessarily self-adjoint) second order differential operators with general (possibly non-local) boundary conditions generate cosine families, hence also analytic semigroups, on ${\mathrm{L}}^p({\mathbb{R}_+},{\mathbb{C}}^{\ell})\times{\mathrm{L}}^p([0,1],{\mathbb{C}}^m)$ for $1\le p<+\infty$. △ Less

Submitted 19 July, 2018; v1 submitted 8 December, 2017; originally announced December 2017.

Comments: new examples and som explanations added

MSC Class: 47D06; 35R02; 35G46; 35K05; 35L05

Journal ref: Evol. Equ. Control Theory, 8 (2019), 633-661

Boundary optimization for rough sets

Authors: Konrad Engel, Tran Dan Thu

Abstract: Let $n > m\ge 2$ be integers and let $\mathcal{A}=\{A_1,\dots,A_m\}$ be a partition of $[n]=\{1,\dots,n\}$. For $X \subseteq [n]$, its $\mathcal{A}$-boundary region $\mathcal{A}(X)$ is defined to be the union of those blocks $A_i$ of $\mathcal{A}$ for which $A_i\cap X\neq \emptyset$ and $A_i\cap ([n] \setminus X)\neq \emptyset$. For three different probability distributions on the power set of… ▽ More Let $n > m\ge 2$ be integers and let $\mathcal{A}=\{A_1,\dots,A_m\}$ be a partition of $[n]=\{1,\dots,n\}$. For $X \subseteq [n]$, its $\mathcal{A}$-boundary region $\mathcal{A}(X)$ is defined to be the union of those blocks $A_i$ of $\mathcal{A}$ for which $A_i\cap X\neq \emptyset$ and $A_i\cap ([n] \setminus X)\neq \emptyset$. For three different probability distributions on the power set of $[n]$, partitions $\mathcal{A}$ of $[n]$ are determined such that the expected cardinality of the $\mathcal{A}$-boundary region of a randomly chosen subset of $[n]$ is minimal and maximal, respectively. The problem can be reduced to an optimization problem for integer partitions of $n$. In the most difficult case, the concave-convex shape of the corresponding weight function as well as several other inequalities are proved using an integral representation of the weight function. In one case, there is an interesting analogon to the AZ-identity. The study is motivated by the rough set theory. △ Less

Submitted 15 September, 2017; originally announced September 2017.

MSC Class: 05A17; 05A18; 05D05

Journal ref: Discrete Math. 341 (2018) 2465--2477

A fractal perspective on optimal antichains and intersecting subsets of the unit $n$-cube

Authors: Konrad Engel, Themis Mitsis, Christos Pelekis

Abstract: An \emph{$n$-cube antichain} is a subset of the unit $n$-cube $[0,1]^n$ that does not contain two elements $\mathbf{x}=(x_1, x_2,\ldots, x_n)$ and $\mathbf{y}=(y_1, y_2,\ldots, y_n)$ satisfying $x_i\le y_i$ for all $i\in \{1,\ldots,n\}$. Using a chain partition of an adequate finite poset we show that the Hausdorff dimension of an $n$-cube antichain is at most $n-1$.We conjecture that the $(n-1)$-… ▽ More An \emph{$n$-cube antichain} is a subset of the unit $n$-cube $[0,1]^n$ that does not contain two elements $\mathbf{x}=(x_1, x_2,\ldots, x_n)$ and $\mathbf{y}=(y_1, y_2,\ldots, y_n)$ satisfying $x_i\le y_i$ for all $i\in \{1,\ldots,n\}$. Using a chain partition of an adequate finite poset we show that the Hausdorff dimension of an $n$-cube antichain is at most $n-1$.We conjecture that the $(n-1)$-dimensional Hausdorff measure of an $n$-cube antichain is at most $n$ times the Hausdorff measure of a facet of the unit $n$-cube and we verify this conjecture for $n=2$ as well as under the assumption that the $n$-cube antichain is a smooth surface. Our proofs employ estimates on the Hausdorff measure of an $n$-cube antichain in terms of the sum of the Hausdorff measures of its injective projections. Moreover, by proceeding along devil's staircase, we construct a $2$-cube antichain whose $1$-dimensional Hausdorff measure equals $2$. Additionally, we discuss a problem with an intersection condition in a similar setting. △ Less

Submitted 16 July, 2017; originally announced July 2017.

Comments: 15 pages

Exact and Positive Controllability of Boundary Control Systems

Authors: Klaus-Jochen Engel, Marjeta Kramar Fijavž

Abstract: Using the semigroup approach to abstract boundary control problems we characterize the space of all exactly reachable states. Moreover, we study the situation when the controls of the system are required to be positive. The abstract results are applied to flows in networks with static as well as dynamic boundary conditions. Using the semigroup approach to abstract boundary control problems we characterize the space of all exactly reachable states. Moreover, we study the situation when the controls of the system are required to be positive. The abstract results are applied to flows in networks with static as well as dynamic boundary conditions. △ Less

Submitted 4 October, 2016; originally announced October 2016.

MSC Class: 93B05; 47N70; 35R02

Journal ref: Networks and Heterogeneous Media 12 (2017), p. 319-337

Spectral theory for structured perturbations of linear operators

Authors: Martin Adler, Klaus-Jochen Engel

Abstract: We characterize the spectrum (and its parts) of operators which can be represented as G=A+BC for a simpler operator A and a structured perturbation BC. The interest in this kind of perturbations is motivated, e.g., by perturbations of the domain of an operator A but also arises in the theory of closed-loop systems in control theory. In many cases our results yield the spectral values of G as zeros… ▽ More We characterize the spectrum (and its parts) of operators which can be represented as G=A+BC for a simpler operator A and a structured perturbation BC. The interest in this kind of perturbations is motivated, e.g., by perturbations of the domain of an operator A but also arises in the theory of closed-loop systems in control theory. In many cases our results yield the spectral values of G as zeros of a "characteristic equation". △ Less

Submitted 16 June, 2016; originally announced June 2016.

MSC Class: 47A10; 47A55

Bandwidth of graphs resulting from the edge clique covering problem

Authors: Konrad Engel, Sebastian Hanisch

Abstract: Let $n,k,b$ be integers with $1 \le k-1 \le b \le n$ and let $G_{n,k,b}$ be the graph whose vertices are the $k$-element subsets $X$ of $\{0,\dots,n\}$ with $\max(X)-\min(X) \le b$ and where two such vertices $X,Y$ are joined by an edge if $\max(X \cup Y) - \min(X \cup Y) \le b$. These graphs are generated by applying a transformation to maximal $k$-uniform hypergraphs of bandwidth $b$ that is use… ▽ More Let $n,k,b$ be integers with $1 \le k-1 \le b \le n$ and let $G_{n,k,b}$ be the graph whose vertices are the $k$-element subsets $X$ of $\{0,\dots,n\}$ with $\max(X)-\min(X) \le b$ and where two such vertices $X,Y$ are joined by an edge if $\max(X \cup Y) - \min(X \cup Y) \le b$. These graphs are generated by applying a transformation to maximal $k$-uniform hypergraphs of bandwidth $b$ that is used to reduce the (weak) edge clique covering problem to a vertex clique covering problem. The bandwidth of $G_{n,k,b}$ is thus the largest possible bandwidth of any transformed $k$-uniform hypergraph of bandwidth $b$. For $b\geq \frac{n+k-1}{2}$, the exact bandwidth of these graphs is determined. For $b<\frac{n+k-1}{2}$, the bandwidth is asymptotically determined in the case of $b=o(n)$ and in the case of $b$ growing linearly in $n$ with a factor $β\in (0,0.5]$, where for one case only bounds could be found. It is conjectured that the upper bound of this open case is the right asymptotic value. △ Less

Submitted 2 May, 2016; originally announced May 2016.

MSC Class: 05C78

Journal ref: Electronic Journal of Combinatorics 25(4) (2018) P4.49

Perturbation of Analytic Semigroups and Applications to Partial Differential Equations

Authors: Martin Adler, Miriam Bombieri, Klaus-Jochen Engel

Abstract: In a recent paper we presented a general perturbation result for generators of $C_0$-semigroups. The aim of the present paper is to replace, in case the unperturbed semigroup is analytic, the various conditions appearing in this result by simpler assumptions on the domain and range of the operators involved. The power of our result to treat classes of PDE's systematically is illustrated by conside… ▽ More In a recent paper we presented a general perturbation result for generators of $C_0$-semigroups. The aim of the present paper is to replace, in case the unperturbed semigroup is analytic, the various conditions appearing in this result by simpler assumptions on the domain and range of the operators involved. The power of our result to treat classes of PDE's systematically is illustrated by considering a generic example, a degenerate differential operator with generalized Wentzell boundary conditions and a reaction diffusion equation subject to Neumann boundary conditions with distributed unbounded delay. △ Less

Submitted 6 May, 2015; originally announced May 2015.

On Perturbations of Generators of $C_0$-Semigroups

Authors: M. Adler, M. Bombieri, K. -J. Engel

Abstract: We present a perturbation result for generators of $C_0$-semigroups which can be considered as an operator theoretic version of the Weiss-Staffans perturbation theorem for abstract linear systems. The result are illustrated by applications to the Desch-Schappacher, the Miyadera Voigt perturbation theorems, and to unbounded perturbations of the boundary conditions of a generator. We present a perturbation result for generators of $C_0$-semigroups which can be considered as an operator theoretic version of the Weiss-Staffans perturbation theorem for abstract linear systems. The result are illustrated by applications to the Desch-Schappacher, the Miyadera Voigt perturbation theorems, and to unbounded perturbations of the boundary conditions of a generator. △ Less

Submitted 6 February, 2014; originally announced February 2014.

A semigroup characterization of well-posed linear control systems

Authors: Miriam Bombieri, Klaus-Jochen Engel

Abstract: We study the well-posedness of a linear control system $Σ(A,B,C,D)$ with unbounded control and observation operators. To this end we associate to our system an operator matrix $\mathcal{A}$ on a product space $\mathcal{X}^p$ and call it $p$-well-posed if $\mathcal{A}$ generates a strongly continuous semigroup on $\mathcal{X}^p$. Our approach is based on the Laplace transform and Fourier multiplier… ▽ More We study the well-posedness of a linear control system $Σ(A,B,C,D)$ with unbounded control and observation operators. To this end we associate to our system an operator matrix $\mathcal{A}$ on a product space $\mathcal{X}^p$ and call it $p$-well-posed if $\mathcal{A}$ generates a strongly continuous semigroup on $\mathcal{X}^p$. Our approach is based on the Laplace transform and Fourier multipliers. △ Less

Submitted 22 October, 2013; originally announced October 2013.

The Dilworth Number of Auto-Chordal-Bipartite Graphs

Authors: Anne Berry, Andreas Brandstädt, Konrad Engel

Abstract: The mirror (or bipartite complement) mir(B) of a bipartite graph B=(X,Y,E) has the same color classes X and Y as B, and two vertices x in X and y in Y are adjacent in mir(B) if and only if xy is not in E. A bipartite graph is chordal bipartite if none of its induced subgraphs is a chordless cycle with at least six vertices. In this paper, we deal with chordal bipartite graphs whose mirror is chord… ▽ More The mirror (or bipartite complement) mir(B) of a bipartite graph B=(X,Y,E) has the same color classes X and Y as B, and two vertices x in X and y in Y are adjacent in mir(B) if and only if xy is not in E. A bipartite graph is chordal bipartite if none of its induced subgraphs is a chordless cycle with at least six vertices. In this paper, we deal with chordal bipartite graphs whose mirror is chordal bipartite as well; we call these graphs auto-chordal bipartite graphs (ACB graphs for short). We describe the relationship to some known graph classes such as interval and strongly chordal graphs and we present several characterizations of ACB graphs. We show that ACB graphs have unbounded Dilworth number, and we characterize ACB graphs with Dilworth number k. △ Less

Submitted 23 September, 2013; originally announced September 2013.

MSC Class: 05C75; 05C85; 68R10

Incremental Network Design with Minimum Spanning Trees

Authors: Konrad Engel, Thomas Kalinowski, Martin W. P. Savelsbergh

Abstract: Given an edge-weighted graph $G=(V,E)$ and a set $E_0\subset E$, the incremental network design problem with minimum spanning trees asks for a sequence of edges $e'_1,\ldots,e'_T\in E\setminus E_0$ minimizing $\sum_{t=1}^Tw(X_t)$ where $w(X_t)$ is the weight of a minimum spanning tree $X_t$ for the subgraph $(V,E_0\cup\{e'_1,\ldots,e'_t\})$ and $T=\lvert E\setminus E_0\rvert$. We prove that this p… ▽ More Given an edge-weighted graph $G=(V,E)$ and a set $E_0\subset E$, the incremental network design problem with minimum spanning trees asks for a sequence of edges $e'_1,\ldots,e'_T\in E\setminus E_0$ minimizing $\sum_{t=1}^Tw(X_t)$ where $w(X_t)$ is the weight of a minimum spanning tree $X_t$ for the subgraph $(V,E_0\cup\{e'_1,\ldots,e'_t\})$ and $T=\lvert E\setminus E_0\rvert$. We prove that this problem can be solved by a greedy algorithm. △ Less

Submitted 18 January, 2017; v1 submitted 8 June, 2013; originally announced June 2013.

Comments: 9 pages, minor revision based on reviewer comments

MSC Class: 05C85; 90C27; 90C35

Journal ref: Journal of Graph Algorithms and Applications, Vol. 21, no. 4, pp. 417-432, 2017

Stability and Convergence of Product Formulas for Operator Matrices

Authors: András Bátkai, Petra Csomós, Klaus-Jochen Engel, Bálint Farkas

Abstract: We present easy to verify conditions implying stability estimates for operator matrix splittings which ensure convergence of the associated Trotter, Strang and weighted product formulas. The results are applied to inhomogeneous abstract Cauchy problems and to boundary feedback systems. We present easy to verify conditions implying stability estimates for operator matrix splittings which ensure convergence of the associated Trotter, Strang and weighted product formulas. The results are applied to inhomogeneous abstract Cauchy problems and to boundary feedback systems. △ Less

Submitted 27 August, 2012; v1 submitted 4 July, 2012; originally announced July 2012.

Comments: to appear in Integral Equations and Operator Theory (ISSN: 1420-8989)

MSC Class: 47D06; 47N40; 65J10; 34K06