Showing 1–23 of 23 results for author: Hartmann, L

Switching Frequency Limitation with Finite Control Set Model Predictive Control via Slack Variables

Authors: Luca M. Hartmann, Orcun Karaca, Tinus Dorfling, Tobias Geyer

Abstract: Past work proposed an extension to finite control set model predictive control to track both a current reference and a switching frequency reference, simultaneously. Such an objective can jeopardize the current tracking performance, and this can potentially be alleviated by instead limiting the switching frequency. To this end, we propose to limit the switching frequency in finite control set mode… ▽ More Past work proposed an extension to finite control set model predictive control to track both a current reference and a switching frequency reference, simultaneously. Such an objective can jeopardize the current tracking performance, and this can potentially be alleviated by instead limiting the switching frequency. To this end, we propose to limit the switching frequency in finite control set model predictive control. The switching frequency is captured with an infinite impulse response filter and bounded by an inequality constraint; its corresponding slack variable is penalized in the cost function. To solve the resulting problem efficiently, a sphere decoder with a computational speed-up is presented. △ Less

Submitted 17 April, 2024; v1 submitted 10 December, 2023; originally announced December 2023.

Cheeger-Müller theorem for a wedge singularity along an embedded submanifold

Authors: Luiz Hartmann, Boris Vertman

Abstract: In this note we equate the analytic Ray-Singer and the intersection Reidemeister torsions on compact spaces with a specific type of wedge singularities, which arise by turning the disc cross-sections in the tubular neighborhood of an embedded submanifold of even co-dimension into cones. Our result is related to a similar equation, in a setting disjoint from ours, which was previously obtained by A… ▽ More In this note we equate the analytic Ray-Singer and the intersection Reidemeister torsions on compact spaces with a specific type of wedge singularities, which arise by turning the disc cross-sections in the tubular neighborhood of an embedded submanifold of even co-dimension into cones. Our result is related to a similar equation, in a setting disjoint from ours, which was previously obtained by Albin, Rochon and Sher. △ Less

Submitted 19 April, 2023; originally announced April 2023.

MSC Class: 58J52; 57Q10

First Order Linear Marcus SPDEs

Authors: Lena-Susanne Hartmann, Ilya Pavlyukevich

Abstract: In this paper we solve a Lévy driven linear stochastic first order partial differential equation (transport equation) understood in the canonical (Marcus) form. The solution can be obtained with the help of the method of stochastic characteristics. It has the same form as a solution of a deterministic PDE or a solution of a stochastic PDE driven by a Brownian motion studied by Kunita (1984, 1997). In this paper we solve a Lévy driven linear stochastic first order partial differential equation (transport equation) understood in the canonical (Marcus) form. The solution can be obtained with the help of the method of stochastic characteristics. It has the same form as a solution of a deterministic PDE or a solution of a stochastic PDE driven by a Brownian motion studied by Kunita (1984, 1997). △ Less

Submitted 1 March, 2023; originally announced March 2023.

Comments: 25 pages, 1 figure

MSC Class: 35F10; 35R60; 60G51; 60H05 60H15

On the anomaly terms in Cheeger-Müller theorem on spaces with conical singularities

Authors: Luiz Hartmann, Mauro Spreafico

Abstract: We prove that the anomaly term appearing in the ratio between Reidemeister torsion and analytic torsion for a space with a conical singularity vanishes in the smooth case. Moreover, we show that such anomaly term is non trivial for the cone over a torus. We prove that the anomaly term appearing in the ratio between Reidemeister torsion and analytic torsion for a space with a conical singularity vanishes in the smooth case. Moreover, we show that such anomaly term is non trivial for the cone over a torus. △ Less

Submitted 14 September, 2022; originally announced September 2022.

MSC Class: 58J52; 11M36; 57Q10

Zeta and Fredholm determinants of self-adjoint operators

Authors: Luiz Hartmann, Matthias Lesch

Abstract: Let $L$ be a self-adjoint invertible operator in a Hilbert space such that $L^{-1}$ is $p$-summable. Under a certain discrete dimension spectrum assumption on $L$, we study the relation between the (regularized) Fredholm determinant, $\det_{p}(I+z\cdot L^{-1})$, on the one hand and the zeta regularized determinant, $\det_ζ(L+z)$, on the other. One of the main results is the formula \begin{equati… ▽ More Let $L$ be a self-adjoint invertible operator in a Hilbert space such that $L^{-1}$ is $p$-summable. Under a certain discrete dimension spectrum assumption on $L$, we study the relation between the (regularized) Fredholm determinant, $\det_{p}(I+z\cdot L^{-1})$, on the one hand and the zeta regularized determinant, $\det_ζ(L+z)$, on the other. One of the main results is the formula \begin{equation*} \frac{\det_ζ (L + z)}{\det_ζ (L)} = \exp \left( \sum_{j=1}^{p-1} \frac{z^j}{j!} \cdot \frac{d^j}{dz^j} \log \det\nolimits_ζ (L+z) |_{z=0} \right) \cdot \det\nolimits_{p}(I + z \cdot L^{-1} ). \end{equation*} We show that the derivatives $\frac{d^j}{dz^j} \log \det\nolimits_ζ (L+z) |_{z=0}$ can be expressed in terms of (regularized) zeta values and heat trace coefficients of $L$. Furthermore, we give a general criterion in terms of the heat trace coefficients (and which is, e.g., fulfilled for large classes of elliptic operators) which guarantees that the constant term in the asymptotic expansion of the Fredholm determinant, $\log\det_{p} (I+z\cdot L^{-1})$, equals the zeta determinant of $L$. △ Less

Submitted 25 February, 2022; v1 submitted 4 June, 2021; originally announced June 2021.

MSC Class: 58J52

Normalized Yamabe flow on manifolds with bounded geometry

Authors: Bruno Caldeira, Luiz Hartmann, Boris Vertman

Abstract: The goal of this paper is to study Yamabe flow on a complete Riemannian manifold of bounded geometry with possibly infinite volume. In the case of infinite volume, standard volume normalization of the Yamabe flow fails and the flow may not converge. Instead, we consider a curvature normalized Yamabe flow, and assuming negative scalar curvature, prove its long-time existence and convergence. This e… ▽ More The goal of this paper is to study Yamabe flow on a complete Riemannian manifold of bounded geometry with possibly infinite volume. In the case of infinite volume, standard volume normalization of the Yamabe flow fails and the flow may not converge. Instead, we consider a curvature normalized Yamabe flow, and assuming negative scalar curvature, prove its long-time existence and convergence. This extends the results of Suárez-Serrato and Tapie to a non-compact setting. In the appendix, we specify our analysis of a particular example of manifolds with bounded geometry, namely manifolds with fibered boundary metric. In this case, we obtain stronger estimates for the short-time solution using microlocal methods. △ Less

Submitted 13 October, 2022; v1 submitted 29 May, 2021; originally announced May 2021.

Comments: 37 pages, 1 figure; v2: typos and reference corrected, v3: generalization to bounded geometry

MSC Class: 53C44 (Primary); 58J35; 35K08 (Secondary)

Newton Polyhedra and Whitney Equisingularity for Isolated Determinantal Singularities

Authors: Thaís M. Dalbelo, Luiz Hartmann, Maicom Varella

Abstract: Using Newton polyhedra and non-degeneracy of matrices we present conditions which guarantee the Whitney equisingularity of families of isolated determinantal singularities. Using Newton polyhedra and non-degeneracy of matrices we present conditions which guarantee the Whitney equisingularity of families of isolated determinantal singularities. △ Less

Submitted 25 June, 2023; v1 submitted 4 May, 2021; originally announced May 2021.

MSC Class: 32S30

On regular algebraic hypersurfaces with non-zero constant mean curvature in Euclidean spaces

Authors: Alexandre Paiva Barreto, Francisco Fontenele, Luiz Hartmann

Abstract: We prove that there are no regular algebraic hypersurfaces with non-zero constant mean curvature in the Euclidean space $\mathbb R^{n+1}$, $n\geq 2$, defined by polynomials of odd degree. Also we prove that the hyperspheres and the round cylinders are the only regular algebraic hypersurfaces with non-zero constant mean curvature in $\mathbb R^{n+1}$, $n\geq 2$, defined by polynomials of degree les… ▽ More We prove that there are no regular algebraic hypersurfaces with non-zero constant mean curvature in the Euclidean space $\mathbb R^{n+1}$, $n\geq 2$, defined by polynomials of odd degree. Also we prove that the hyperspheres and the round cylinders are the only regular algebraic hypersurfaces with non-zero constant mean curvature in $\mathbb R^{n+1}$, $n\geq 2$, defined by polynomials of degree less than or equal to three. These results give partial answers to a question raised by Barbosa and do Carmo. △ Less

Submitted 8 April, 2021; originally announced April 2021.

MSC Class: 53C42; 53A10

Curvature estimates for graphs in warped products

Authors: Alexandre Paiva Barreto, Fabiani A. Coswosck, Luiz Hartmann

Abstract: We prove local and global upper estimates for the infimum of the mean curvature, the scalar curvature and the norm of the shape operator of graphs in a warped product space. Using these estimates, we obtain some results on pseudo-hyperbolic spaces and space forms. We prove local and global upper estimates for the infimum of the mean curvature, the scalar curvature and the norm of the shape operator of graphs in a warped product space. Using these estimates, we obtain some results on pseudo-hyperbolic spaces and space forms. △ Less

Submitted 4 November, 2020; originally announced November 2020.

MSC Class: 53C42; 53A10

Stratified Morse critical points and Brasselet number on toric varieties

Authors: Thaís M. Dalbelo, Nivaldo G. Grulha Jr., Luiz Hartmann, Hellen Santana

Abstract: The generalization of the Morse theory presented by Goresky and MacPherson is a landmark that divided completely the topological and geo\-me\-tri\-cal study of singular spaces. In this work, we consider $(X,0)$ a germ at $0$ of toric variety and non-degenerate function-germs $f,g : (X,0) \to (\mathbb{C},0)$, and we prove that the difference of the Brasselet numbers ${\rm B}_{f,X}(0)$ and… ▽ More The generalization of the Morse theory presented by Goresky and MacPherson is a landmark that divided completely the topological and geo\-me\-tri\-cal study of singular spaces. In this work, we consider $(X,0)$ a germ at $0$ of toric variety and non-degenerate function-germs $f,g : (X,0) \to (\mathbb{C},0)$, and we prove that the difference of the Brasselet numbers ${\rm B}_{f,X}(0)$ and ${\rm B}_{f,X\cap g^{-1}(0)}(0)$ is related with the number of Morse critical points {on the regular part of the Milnor fiber} of $f$ appearing in a morsefication of $g$, even in the case where $g$ has a critical locus with arbitrary dimension. This result connects topological and geometric properties and allows us to determine many interesting formulae, mainly in therms of the combinatorial information of the toric varieties. △ Less

Submitted 28 April, 2020; originally announced April 2020.

Comments: 25 pages, 1 figure

Intersection torsion and analytic torsion of spaces with conical singularities

Authors: Luiz Hartmann, Mauro Spreafico

Abstract: We prove an extension of the Cheeger-Müller theorem to spaces with isolated conical singularities: the $L^2$-analytic torsion coincides with the Ray-Singer intersection torsion on an even dimensional space, and they are trivial, while the ratio is non trivial on an odd dimensional space, and the anomaly depends only on the link of the singularities. For this aim, we develop on one side a combinato… ▽ More We prove an extension of the Cheeger-Müller theorem to spaces with isolated conical singularities: the $L^2$-analytic torsion coincides with the Ray-Singer intersection torsion on an even dimensional space, and they are trivial, while the ratio is non trivial on an odd dimensional space, and the anomaly depends only on the link of the singularities. For this aim, we develop on one side a combinatorial cellular theory whose homology coincides with the intersection homology of Gregory and Macpherson, and where the Ray-Singer intersection torsion is well defined. On the other side, we elaborate the spectral theory for the Hodge-Laplace operator on the square integrable forms on a space with conical singularities {\it á la} Cheeger, and we extend the classical results of the Hodge theory and the analytic torsion. △ Less

Submitted 23 January, 2020; v1 submitted 21 January, 2020; originally announced January 2020.

Comments: Some misprints corrected, in special, we add the Remark 10.33

MSC Class: 58J52; 57Q10

Rotational Surfaces with second fundamental form of constant length

Authors: Alexandre P. Barreto, Francisco Fontenele, Luiz Hartmann

Abstract: We obtain an infinite family of complete non embedded rotational surfaces in $\mathbb R^3$ whose second fundamental forms have length equal to one at any point. Also we prove that a complete rotational surface with second fundamental form of constant length is either a round sphere, a circular cylinder or, up to a homothety and a rigid motion, a member of that family. In particular, the round sphe… ▽ More We obtain an infinite family of complete non embedded rotational surfaces in $\mathbb R^3$ whose second fundamental forms have length equal to one at any point. Also we prove that a complete rotational surface with second fundamental form of constant length is either a round sphere, a circular cylinder or, up to a homothety and a rigid motion, a member of that family. In particular, the round sphere and the circular cylinder are the only complete embedded rotational surfaces in $\mathbb R^3$ with second fundamental form of constant length. △ Less

Submitted 20 December, 2018; originally announced December 2018.

MSC Class: Primary 53A05; 53C42; Secondary 53C40; 14Q10

Resolvent Trace Asymptotics on Stratified Spaces

Authors: Luiz Hartmann, Matthias Lesch, Boris Vertman

Abstract: Let $(M,g)$ be a compact smoothly stratified pseudomanifold with an iterated cone-edge metric satisfying a spectral Witt condition. Under these assumptions the Hodge-Laplacian $Δ$ is essentially self-adjoint. We establish the asymptotic expansion for the resolvent trace of $Δ$. Our method proceeds by induction on the depth and applies in principle to a larger class of second-order differential ope… ▽ More Let $(M,g)$ be a compact smoothly stratified pseudomanifold with an iterated cone-edge metric satisfying a spectral Witt condition. Under these assumptions the Hodge-Laplacian $Δ$ is essentially self-adjoint. We establish the asymptotic expansion for the resolvent trace of $Δ$. Our method proceeds by induction on the depth and applies in principle to a larger class of second-order differential operators of regular-singular type, e.g., Dirac Laplacians. Our arguments are functional analytic, do not rely on microlocal techniques and are very explicit. The results of this paper provide a basis for studying index theory and spectral invariants in the setting of smoothly stratified spaces and in particular allow for the definition of zeta-determinants and analytic torsion in this general setup. △ Less

Submitted 9 October, 2018; originally announced October 2018.

MSC Class: 35J75; 58J35

Journal ref: Pure Appl. Analysis 3 (2021) 75-108

On the domain of Dirac and Laplace type operators on stratified spaces

Authors: Luiz Hartmann, Matthias Lesch, Boris Vertman

Abstract: We consider a generalized Dirac operator on a compact stratified space with an iterated cone-edge metric. Assuming a spectral Witt condition, we prove its essential self-adjointness and identify its domain and the domain of its square with weighted edge Sobolev spaces. This sharpens previous results where the minimal domain is shown only to be a subset of an intersection of weighted edge Sobolev s… ▽ More We consider a generalized Dirac operator on a compact stratified space with an iterated cone-edge metric. Assuming a spectral Witt condition, we prove its essential self-adjointness and identify its domain and the domain of its square with weighted edge Sobolev spaces. This sharpens previous results where the minimal domain is shown only to be a subset of an intersection of weighted edge Sobolev spaces. Our argument does not rely on microlocal techniques and is very explicit. The novelty of our approach is the use of an abstract functional analytic notion of interpolation scales. Our results hold for the Gauss-Bonnet and spin Dirac operators satisfying a spectral Witt condition. △ Less

Submitted 31 May, 2018; v1 submitted 5 September, 2017; originally announced September 2017.

Comments: revised; to appear in Journal of Spectral Theory

MSC Class: 35J75; 58j52

Journal ref: J. Spectr. Theory 8 (2018), no. 4, 1295-1348

Brasselet number and Newton polygons

Authors: Thais M. Dalbelo, Luiz Hartmann

Abstract: We present a formula to compute the Brasselet number of $f:(Y,0)\to (\C, 0)$ where $Y\subset X$ is a non-degenerate complete intersection in a toric variety $X$. As applications we establish several results concerning invariance of the Brasselet number for families of non-degenerate complete intersections. Moreover, when $(X,0) = (\mathbb{C}^n,0)$ we derive sufficient conditions to obtain the inva… ▽ More We present a formula to compute the Brasselet number of $f:(Y,0)\to (\C, 0)$ where $Y\subset X$ is a non-degenerate complete intersection in a toric variety $X$. As applications we establish several results concerning invariance of the Brasselet number for families of non-degenerate complete intersections. Moreover, when $(X,0) = (\mathbb{C}^n,0)$ we derive sufficient conditions to obtain the invariance of the Euler obstruction for families of complete intersections with an isolated singularity which are contained in $X$. △ Less

Submitted 18 October, 2018; v1 submitted 24 August, 2017; originally announced August 2017.

Zeta-determinants of Sturm-Liouville operators with quadratic potentials at infinity

Authors: Luiz Hartmann, Matthias Lesch, Boris Vertman

Abstract: We consider Sturm-Liouville operators on a half line $[a,\infty), a>0$, with potentials that are growing at most quadratically at infinity. Such operators arise naturally in the analysis of hyperbolic manifolds, or more generally manifolds with cusps. We establish existence and a formula for the associated zeta-determinant in terms of the Wronski-determinant of a fundamental system of solutions ad… ▽ More We consider Sturm-Liouville operators on a half line $[a,\infty), a>0$, with potentials that are growing at most quadratically at infinity. Such operators arise naturally in the analysis of hyperbolic manifolds, or more generally manifolds with cusps. We establish existence and a formula for the associated zeta-determinant in terms of the Wronski-determinant of a fundamental system of solutions adapted to the boundary conditions. Despite being the natural objects in the context of hyperbolic geometry, spectral geometry of such operators has only recently been studied in the context of analytic torsion. △ Less

Submitted 5 December, 2016; v1 submitted 25 July, 2016; originally announced July 2016.

Comments: 31 pages

MSC Class: 58J52; 34B24

Journal ref: J. Differential Equations 262 (2017), no. 5, 3431-3465

The analytic torsion of the finite metric cone over a compact manifold

Authors: L. Hartmann, M. Spreafico

Abstract: We give an explicit formula for the $L^2$ analytic torsion of the finite metric cone over an oriented compact connected Riemannian manifold. We provide an interpretation of the different factors appearing in this formula. We prove that the analytic torsion of the cone is the finite part of the limit obtained collapsing one of the boundaries, of the ratio of the analytic torsion of the frustum to a… ▽ More We give an explicit formula for the $L^2$ analytic torsion of the finite metric cone over an oriented compact connected Riemannian manifold. We provide an interpretation of the different factors appearing in this formula. We prove that the analytic torsion of the cone is the finite part of the limit obtained collapsing one of the boundaries, of the ratio of the analytic torsion of the frustum to a regularising factor. We show that the regularising factor comes from the set of the non square integrable eigenfunctions of the Laplace Beltrami operator on the cone. △ Less

Submitted 12 July, 2015; v1 submitted 25 August, 2013; originally announced August 2013.

Comments: To appear in Journal of the Mathematical Society of Japan

The boundary term from the Analytic Torsion of a cone over a $m$-dimensional sphere

Authors: Luiz Hartmann

Abstract: We present a direct proof that the Anomaly Boundary term of J. Brünning and X. Ma generalizes to the cases of the cone over a $m$-dimensional sphere. We present a direct proof that the Anomaly Boundary term of J. Brünning and X. Ma generalizes to the cases of the cone over a $m$-dimensional sphere. △ Less

Submitted 20 August, 2014; v1 submitted 19 January, 2013; originally announced January 2013.

Comments: To appear in Matematica Contemporanea. arXiv admin note: text overlap with arXiv:1001.4755

MSC Class: 58J52

R torsion and analytic torsion for a conical frustum

Authors: Luiz Hartmann, Mauro Spreafico

Abstract: We investigate the limit the R torsion of a conical frustum as one of the basis is shrunk to a point. We show that, if we take suitable regularization, such a limit gives the intersection torsion of the resulting cone. We investigate the limit the R torsion of a conical frustum as one of the basis is shrunk to a point. We show that, if we take suitable regularization, such a limit gives the intersection torsion of the resulting cone. △ Less

Submitted 14 May, 2011; v1 submitted 14 March, 2011; originally announced March 2011.

MSC Class: 57Q10; 58J52

Journal ref: J. Gökova Geom. Topol. - ISSN 1935-2565, 6, 28-57, 2012

An extension of the Cheeger-Müller theorem for a cone

Authors: Luiz Hartmann, Mauro Spreafico

Abstract: We prove the equality of the $L^2$-analytic torsion and the intersection R torsion of the even dimensional finite metric cone over an odd dimensional compact manifold. We prove the equality of the $L^2$-analytic torsion and the intersection R torsion of the even dimensional finite metric cone over an odd dimensional compact manifold. △ Less

Submitted 2 October, 2014; v1 submitted 17 August, 2010; originally announced August 2010.

Comments: to appear in St. Petersburg Math. Journal

MSC Class: 58J52; 57Q10

The Analytic Torsion of the cone over an odd dimensional manifold

Authors: L. Hartmann, M. Spreafico

Abstract: We study the analytic torsion of the cone over an orientable odd dimensional compact connected Riemannian manifold W. We prove that the logarithm of the analytic torsion of the cone decomposes as the sum of the logarithm of the root of the analytic torsion of the boundary of the cone, plus a topological term, plus a further term that is a rational linear combination of local Riemannian invariants… ▽ More We study the analytic torsion of the cone over an orientable odd dimensional compact connected Riemannian manifold W. We prove that the logarithm of the analytic torsion of the cone decomposes as the sum of the logarithm of the root of the analytic torsion of the boundary of the cone, plus a topological term, plus a further term that is a rational linear combination of local Riemannian invariants of the boundary. We also prove that this last term coincides with the anomaly boundary term appearing in the Cheeger Muller theorem for a manifold with boundary, according to Bruning and Ma, either in the case that W is an odd sphere or has dimension smaller than six. It follows in particular that the Cheeger Muller theorem holds for the cone over an odd dimensional sphere. We also prove Poincare duality for the analytic torsion of a cone. △ Less

Submitted 14 July, 2010; v1 submitted 26 January, 2010; originally announced January 2010.

MSC Class: 58J52

The analytic torsion of a cone over a sphere

Authors: L. Hartmann, M. Spreafico

Abstract: We compute the analytic torsion of a cone over a sphere of dimension 1, 2, and 3, and we conjecture a general formula for the cone over an odd dimensional sphere. We compute the analytic torsion of a cone over a sphere of dimension 1, 2, and 3, and we conjecture a general formula for the cone over an odd dimensional sphere. △ Less

Submitted 23 February, 2009; originally announced February 2009.

MSC Class: 58J52

Reidemeister torsion and analytic torsion of discs

Authors: L. Hartmann, T. de Melo, M. Spreafico

Abstract: We study the Reidemeister torsion and the analytic torsion of the $m$ dimensional disc in the Euclidean $m$ dimensional space, using the base for the homology defined by Ray and Singer in \cite{RS}. We prove that the Reidemeister torsion coincides with a power of the volume of the disc. We study the additional terms arising in the analytic torsion due to the boundary, using generalizations of th… ▽ More We study the Reidemeister torsion and the analytic torsion of the $m$ dimensional disc in the Euclidean $m$ dimensional space, using the base for the homology defined by Ray and Singer in \cite{RS}. We prove that the Reidemeister torsion coincides with a power of the volume of the disc. We study the additional terms arising in the analytic torsion due to the boundary, using generalizations of the Cheeger-Müller theorem. We use a formula proved by Brüning and Ma \cite{BM}, that predicts a new anomaly boundary term beside the known term proportional to the Euler characteristic of the boundary \cite{Luc}. Some of our results extend to the case of the cone over a sphere, in particular we evaluate directly the analytic torsion for a cone over the circle and over the two sphere. We compare the results obtained in the low dimensional cases. We also consider a different formula for the boundary term given by Dai and Fang \cite{DF}, and we show that the result obtained using this formula is inconsistent with the direct calculation of the analytic torsion. △ Less

Submitted 19 November, 2008; originally announced November 2008.

MSC Class: 57Q10 58J52