Showing 1–50 of 67 results for author: Kunzinger, M

Distributional sectional curvature bounds for Riemannian metrics of low regularity

Authors: Darius Erös, Michael Kunzinger, Argam Ohanyan, Alessio Vardabasso

Abstract: Sectional curvature bounds are of central importance in the study of Riemannian mani\-folds, both in smooth differential geometry and in the generalized synthetic setting of Alexandrov spaces. Riemannian metrics along with metric spaces of bounded sectional curvature enjoy a variety of, oftentimes rigid, geometric properties. The purpose of this article is to introduce and discuss a new notion of… ▽ More Sectional curvature bounds are of central importance in the study of Riemannian mani\-folds, both in smooth differential geometry and in the generalized synthetic setting of Alexandrov spaces. Riemannian metrics along with metric spaces of bounded sectional curvature enjoy a variety of, oftentimes rigid, geometric properties. The purpose of this article is to introduce and discuss a new notion of sectional curvature bounds for manifolds equipped with continuous Riemannian metrics of Geroch--Traschen regularity, i.e., $H^1_{\mathrm{loc}} \cap C^0$, based on a distributional version of the classical formula. Our main result states that for $g \in C^1$, this new notion recovers the corresponding bound based on triangle comparison in the sense of Alexandrov. A weaker version of this statement is also proven for locally Lipschitz continuous metrics. △ Less

Submitted 21 March, 2025; originally announced March 2025.

Comments: 21 pages

MSC Class: 53B20; 53C21; 46T30; 30L99

Hawking's singularity theorem for Lipschitz Lorentzian metrics

Authors: Matteo Calisti, Melanie Graf, Eduardo Hafemann, Michael Kunzinger, Roland Steinbauer

Abstract: We prove Hawking's singularity theorem for spacetime metrics of local Lipschitz regularity. The proof rests on (1) new estimates for the Ricci curvature of regularising smooth metrics that are based upon a quite general Friedrichs-type lemma and (2) the replacement of the usual focusing techniques for timelike geodesics -- which in the absence of a classical ODE-theory for the initial value proble… ▽ More We prove Hawking's singularity theorem for spacetime metrics of local Lipschitz regularity. The proof rests on (1) new estimates for the Ricci curvature of regularising smooth metrics that are based upon a quite general Friedrichs-type lemma and (2) the replacement of the usual focusing techniques for timelike geodesics -- which in the absence of a classical ODE-theory for the initial value problem are no longer available -- by a worldvolume estimate based on a segment-type inequality that allows one to control the volume of the set of points in a spacelike surface that possess long maximisers. △ Less

Submitted 4 February, 2025; v1 submitted 30 January, 2025; originally announced January 2025.

Comments: 28 pages, some typos corrected

MSC Class: 83C75; 53C50; 46T30

On the completeness of the space $\mathcal{O}_C$

Authors: Michael Kunzinger, Norbert Ortner

Abstract: We give a new proof of the completeness of the space $\mathcal{O}_C$ by applying a criterion of compact regularity for the isomorphic sequence space $\lim_{k\rightarrow} (s\hat \otimes (\ell^\infty)_{-k})$. Along the way we show that the strong dual of any quasinormable Fréchet space is a compactly regular $\mathcal{LB}$-space. Finally, we prove that… ▽ More We give a new proof of the completeness of the space $\mathcal{O}_C$ by applying a criterion of compact regularity for the isomorphic sequence space $\lim_{k\rightarrow} (s\hat \otimes (\ell^\infty)_{-k})$. Along the way we show that the strong dual of any quasinormable Fréchet space is a compactly regular $\mathcal{LB}$-space. Finally, we prove that $\lim_{k\rightarrow}(E_k\hat \otimes_ιF) = (\lim_{k\rightarrow} E_k) \hat \otimes_ιF$ if the inductive limit $\lim_{k \rightarrow}(E_k \hat \otimes_ιF)$ is compactly regular. △ Less

Submitted 1 July, 2025; v1 submitted 21 August, 2024; originally announced August 2024.

Comments: 11 pages, final version

MSC Class: 46A04; 46A08; 46A13; 46F05; 46F10

Ricci curvature bounds and rigidity for non-smooth Riemannian and semi-Riemannian metrics

Authors: Michael Kunzinger, Argam Ohanyan, Alessio Vardabasso

Abstract: We study rigidity problems for Riemannian and semi-Riemannian manifolds with metrics of low regularity. Specifically, we prove a version of the Cheeger-Gromoll splitting theorem \cite{CheegerGromoll72splitting} for Riemannian metrics and the flatness criterion for semi-Riemannian metrics of regularity $C^1$. With our proof of the splitting theorem, we are able to obtain an isometry of higher regul… ▽ More We study rigidity problems for Riemannian and semi-Riemannian manifolds with metrics of low regularity. Specifically, we prove a version of the Cheeger-Gromoll splitting theorem \cite{CheegerGromoll72splitting} for Riemannian metrics and the flatness criterion for semi-Riemannian metrics of regularity $C^1$. With our proof of the splitting theorem, we are able to obtain an isometry of higher regularity than the Lipschitz regularity guaranteed by the $\mathsf{RCD}$-splitting theorem \cite{gigli2013splitting, gigli2014splitoverview}. Along the way, we establish a Bochner-Weitzenböck identity which permits both the non-smoothness of the metric and of the vector fields, complementing a recent similar result in \cite{mondino2024equivalence}. The last section of the article is dedicated to the discussion of various notions of Sobolev spaces in low regularity, as well as an alternative proof of the equivalence (see \cite{mondino2024equivalence}) between distributional Ricci curvature bounds and $\mathsf{RCD}$-type bounds, using in part the stability of the variable $\mathsf{CD}$-condition under suitable limits \cite{ketterer2017variableCD}. △ Less

Submitted 21 October, 2024; v1 submitted 10 June, 2024; originally announced June 2024.

Comments: 37 pages, fixed some issues with notation, some proofs simplified

MSC Class: 53C21; 53C24; 46T30; 49Q22

The equivalence of smooth and synthetic notions of timelike sectional curvature bounds

Authors: Tobias Beran, Michael Kunzinger, Argam Ohanyan, Felix Rott

Abstract: Timelike sectional curvature bounds play an important role in spacetime geometry, both for the understanding of classical smooth spacetimes and for the study of Lorentzian (pre-)length spaces introduced in \cite{kunzinger2018lorentzian}. In the smooth setting, a bound on the sectional curvature of timelike planes can be formulated via the Riemann curvature tensor. In the synthetic setting, bounds… ▽ More Timelike sectional curvature bounds play an important role in spacetime geometry, both for the understanding of classical smooth spacetimes and for the study of Lorentzian (pre-)length spaces introduced in \cite{kunzinger2018lorentzian}. In the smooth setting, a bound on the sectional curvature of timelike planes can be formulated via the Riemann curvature tensor. In the synthetic setting, bounds are formulated by comparing various geometric configurations to the corresponding ones in constant curvature spaces. The first link between these notions in the Lorentzian context was established in \cite{harris1982triangle}, which was instrumental in the proof of powerful results in spacetime geometry \cite{beem1985toponogov, beem1985decomposition, galloway2018existence}. For general semi-Riemannian manifolds, the equivalence between sectional curvature bounds and synthetic bounds was established in \cite{alexander2008triangle}, however in this approach the sectional curvatures of both timelike and spacelike planes have to be considered. In this article, we fill a gap in the literature by proving the full equivalence between sectional curvature bounds on timelike planes and synthetic timelike bounds on strongly causal spacetimes. As an essential tool, we establish Hessian comparison for the time separation and signed distance functions. △ Less

Submitted 28 November, 2024; v1 submitted 26 March, 2024; originally announced March 2024.

Comments: 15 pages, final version

MSC Class: 53B30; 53C23; 53B50

On curvature bounds in Lorentzian length spaces

Authors: Tobias Beran, Michael Kunzinger, Felix Rott

Abstract: We introduce several new notions of (sectional) curvature bounds for Lorentzian pre-length spaces: On the one hand, we provide convexity/concavity conditions for the (modified) time separation function, and, on the other hand, we study four-point conditions, which are suitable also for the non-intrinsic setting. Via these concepts we are able to establish (under mild assumptions) the equivalence o… ▽ More We introduce several new notions of (sectional) curvature bounds for Lorentzian pre-length spaces: On the one hand, we provide convexity/concavity conditions for the (modified) time separation function, and, on the other hand, we study four-point conditions, which are suitable also for the non-intrinsic setting. Via these concepts we are able to establish (under mild assumptions) the equivalence of all previously known formulations of curvature bounds. In particular, we obtain the equivalence of causal and timelike curvature bounds as introduced in Kunzinger and Sämann (Ann. Glob. Anal. Geom. 54(3):399-447, 2018). △ Less

Submitted 6 July, 2024; v1 submitted 21 September, 2023; originally announced September 2023.

Comments: Final version, 50 pages, 4 figures

MSC Class: 53C23; 51K10; 53C50; 53B30

Journal ref: J. London Math. Soc. (2) 110 (2024), no. 2, Paper No. e12971

A dynamic capillarity equation with stochastic forcing on manifolds: a singular limit problem

Authors: Kenneth H. Karlsen, Michael Kunzinger, Darko Mitrovic

Abstract: We consider a dynamic capillarity equation with stochastic forcing on a compact Riemannian manifold $(M,g)$. \begin{equation*}\tag{P} d \left(u_{\varepsilon,δ}-δΔ u_{\varepsilon,δ}\right) +\operatorname{div} f_{\varepsilon}(x, u_{\varepsilon,δ})\, dt =\varepsilon Δu_{\varepsilon,δ}\, dt Φ(x, u_{\varepsilon,δ})\, dW_t, \end{equation*} where $f_{\varepsilon}$ is a sequence of smooth vector… ▽ More We consider a dynamic capillarity equation with stochastic forcing on a compact Riemannian manifold $(M,g)$. \begin{equation*}\tag{P} d \left(u_{\varepsilon,δ}-δΔ u_{\varepsilon,δ}\right) +\operatorname{div} f_{\varepsilon}(x, u_{\varepsilon,δ})\, dt =\varepsilon Δu_{\varepsilon,δ}\, dt Φ(x, u_{\varepsilon,δ})\, dW_t, \end{equation*} where $f_{\varepsilon}$ is a sequence of smooth vector fields converging in $L^p(M\times \Bbb{R})$ ($p>2$) as $\varepsilon\downarrow 0$ towards a vector field $f\in L^p(M;C^1(\Bbb{R}))$, and $W_t$ is a Wiener process defined on a filtered probability space. First, for fixed values of $\varepsilon$ and $δ$, we establish the existence and uniqueness of weak solutions to the Cauchy problem for (P). Assuming that $f$ is non-degenerate and that $\varepsilon$ and $δ$ tend to zero with $δ/\varepsilon^2$ bounded, we show that there exists a subsequence of solutions that strongly converges in $L^1_{ω,t,x}$ to a martingale solution of the following stochastic conservation law with discontinuous flux: $$ d u +\operatorname{div} f(x, u)\,dt=Φ(u)\, dW_t. $$ The proofs make use of Galerkin approximations, kinetic formulations as well as $H$-measures and new velocity averaging results for stochastic continuity equations. The analysis relies in an essential way on the use of a.s.~representations of random variables in some particular quasi-Polish spaces. The convergence framework developed here can be applied to other singular limit problems for stochastic conservation laws. △ Less

Submitted 23 September, 2023; v1 submitted 30 October, 2022; originally announced October 2022.

MSC Class: 60H15 (primary); 35L02 (primary); 35K70 (secondary); 42B37 (secondary)

Journal ref: Trans. Amer. Math. Soc., 377, No. 1, 85-166 (2024)

Galerkin-type methods for strictly parabolic equations on compact Riemannian manifolds

Authors: Melanie Graf, Michael Kunzinger, Darko Mitrovich

Abstract: We prove existence of weak solutions to the Cauchy problem corresponding to various strictly parabolic equations on a compact Riemannian manifold $(M,g)$. This also includes strictly parabolic equations with stochastic forcing with linear diffusion. Existence is proved through a variant of the Galerkin method and can be used to construct a convergent finite element method. We prove existence of weak solutions to the Cauchy problem corresponding to various strictly parabolic equations on a compact Riemannian manifold $(M,g)$. This also includes strictly parabolic equations with stochastic forcing with linear diffusion. Existence is proved through a variant of the Galerkin method and can be used to construct a convergent finite element method. △ Less

Submitted 11 September, 2022; originally announced September 2022.

Comments: 25 pages

Journal ref: Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) 25 (2024), no. 2, 689-722

Synthetic versus distributional lower Ricci curvature bounds

Authors: Michael Kunzinger, Michael Oberguggenberger, James A. Vickers

Abstract: We compare two standard approaches to defining lower Ricci curvature bounds for Riemannian metrics of regularity below $C^2$. These are, on the one hand, the synthetic definition via weak displacement convexity of entropy functionals in the framework of optimal transport, and the distributional one based on non-negativity of the Ricci-tensor in the sense of Schwartz. It turns out that distribution… ▽ More We compare two standard approaches to defining lower Ricci curvature bounds for Riemannian metrics of regularity below $C^2$. These are, on the one hand, the synthetic definition via weak displacement convexity of entropy functionals in the framework of optimal transport, and the distributional one based on non-negativity of the Ricci-tensor in the sense of Schwartz. It turns out that distributional bounds imply entropy bounds for metrics of class $C^1$ and that the converse holds for $C^{1,1}$-metrics under an additional convergence condition on regularisations of the metric. △ Less

Submitted 5 October, 2024; v1 submitted 8 July, 2022; originally announced July 2022.

Comments: 23 pages, small correction in the proof of Th. 4.3

MSC Class: 49Q22; 53C21; 46T30

Journal ref: Proceedings of the Royal Society of Edinburgh: Section A Mathematics 154 (2024) 1406-1430

Null distance and convergence of Lorentzian length spaces

Authors: Michael Kunzinger, Roland Steinbauer

Abstract: The null distance of Sormani and Vega encodes the manifold topology as well as the causality structure of a (smooth) spacetime. We extend this concept to Lorentzian length spaces, the analog of (metric) length spaces, which generalize Lorentzian causality theory beyond the manifold level. We then study Gromov-Hausdorff convergence based on the null distance in warped product Lorentzian length spac… ▽ More The null distance of Sormani and Vega encodes the manifold topology as well as the causality structure of a (smooth) spacetime. We extend this concept to Lorentzian length spaces, the analog of (metric) length spaces, which generalize Lorentzian causality theory beyond the manifold level. We then study Gromov-Hausdorff convergence based on the null distance in warped product Lorentzian length spaces and prove first results on its compatibility with synthetic curvature bounds. △ Less

Submitted 9 June, 2021; originally announced June 2021.

Comments: 21 pages

MSC Class: 53C23; 53C50; 53B30; 51K10; 53C80

Journal ref: Annales Henri Poincaré 23 (2022), no. 12, 4319-4342

A Grothendieck topos of generalized functions I: basic theory

Authors: Paolo Giordano, Michael Kunzinger, Hans Vernaeve

Abstract: The main aim of the present work is to arrive at a mathematical theory close to the historically original conception of generalized functions, i.e. set theoretical functions defined on, and with values in, a suitable ring of scalars and sharing a number of fundamental properties with smooth functions, in particular with respect to composition and nonlinear operations. This is how they are still us… ▽ More The main aim of the present work is to arrive at a mathematical theory close to the historically original conception of generalized functions, i.e. set theoretical functions defined on, and with values in, a suitable ring of scalars and sharing a number of fundamental properties with smooth functions, in particular with respect to composition and nonlinear operations. This is how they are still used in informal calculations in Physics. We introduce a category of generalized functions as smooth set-theoretical maps on (multidimensional) points of a ring of scalars containing infinitesimals and infinities. This category extends Schwartz distributions. The calculus of these generalized functions is closely related to classical analysis, with point values, composition, non-linear operations and the generalization of several classical theorems of calculus. Finally, we extend this category of generalized functions into a Grothendieck topos of sheaves over a concrete site. This topos hence provides a suitable framework for the study of spaces and functions with singularities. In this first paper, we present the basic theory; subsequent ones will be devoted to the resulting theory of ODE and PDE. △ Less

Submitted 2 March, 2021; v1 submitted 12 January, 2021; originally announced January 2021.

Comments: 70 pages, 4 figures

MSC Class: 46-XX; 46Fxx; 30Gxx; 46Txx; 46F30; 26E30; 58A03

Journal ref: Dissertationes Math. 592 (2024), 74 pp

Generalized cones as Lorentzian length spaces: Causality, curvature, and singularity theorems

Authors: Stephanie B. Alexander, Melanie Graf, Michael Kunzinger, Clemens Sämann

Abstract: We study generalizations of Lorentzian warped products with one-dimensional base of the form $I\times_f X$, where $I$ is an interval, $X$ is a length space and $f$ is a positive continuous function. These generalized cones furnish an important class of Lorentzian length spaces in the sense of [Kunzinger, Sämann; Ann. Glob. Anal. Geom. 54(3):399--447, 2018], displaying optimal causality properties… ▽ More We study generalizations of Lorentzian warped products with one-dimensional base of the form $I\times_f X$, where $I$ is an interval, $X$ is a length space and $f$ is a positive continuous function. These generalized cones furnish an important class of Lorentzian length spaces in the sense of [Kunzinger, Sämann; Ann. Glob. Anal. Geom. 54(3):399--447, 2018], displaying optimal causality properties that allow for explicit descriptions of all underlying notions. In addition, synthetic sectional curvature bounds of generalized cones are directly related to metric curvature bounds of the fiber $X$. The interest in such spaces comes both from metric geometry and from General Relativity, where warped products underlie important cosmological models (FLRW spacetimes). Moreover, we prove singularity theorems for these spaces, showing that non-positive lower timelike curvature bounds imply the existence of incomplete timelike geodesics. △ Less

Submitted 15 June, 2021; v1 submitted 20 September, 2019; originally announced September 2019.

Comments: 55 pages; minor changes suggested by the referees; to appear in Comm. Anal. Geom

MSC Class: 51K10; 53C23; 53C50; 53B30; 53C80

Journal ref: Comm. Anal. Geom., Volume 31, Number 6, 1469-1528, 2023

The future is not always open

Authors: James D. E. Grant, Michael Kunzinger, Clemens Sämann, Roland Steinbauer

Abstract: We demonstrate the breakdown of several fundamentals of Lorentzian causality theory in low regularity. Most notably, chronological futures (defined naturally using locally Lipschitz curves) may be non-open, and may differ from the corresponding sets defined via piecewise $C^1$-curves. By refining the notion of a causal bubble from [CG:12],we characterize spacetimes for which such phenomena can occ… ▽ More We demonstrate the breakdown of several fundamentals of Lorentzian causality theory in low regularity. Most notably, chronological futures (defined naturally using locally Lipschitz curves) may be non-open, and may differ from the corresponding sets defined via piecewise $C^1$-curves. By refining the notion of a causal bubble from [CG:12],we characterize spacetimes for which such phenomena can occur, and also relate these to the possibility of deforming causal curves of positive length into timelike curves (push-up). The phenomena described here are, in particular, relevant for recent synthetic approaches to low regularity Lorentzian geometry where, in the absence of a differentiable structure, causality has to be based on locally Lipschitz curves. △ Less

Submitted 9 September, 2019; v1 submitted 23 January, 2019; originally announced January 2019.

Comments: Minor amendments. Final version. 17 pages, 4 figures

MSC Class: 53C50; 83C75

Journal ref: Letters in Math. Phys. 110 (2020), no. 1, 83-103

Parameter-dependent linear ordinary differential equations and topology of domains

Authors: Vyacheslav M. Boyko, Michael Kunzinger, Roman O. Popovych

Abstract: The well-known solution theory for (systems of) linear ordinary differential equations undergoes significant changes when introducing an additional real parameter. Properties like the existence of fundamental sets of solutions or characterizations of such sets via nonvanishing Wronskians are sensitive to the topological properties of the underlying domain of the independent variable and the parame… ▽ More The well-known solution theory for (systems of) linear ordinary differential equations undergoes significant changes when introducing an additional real parameter. Properties like the existence of fundamental sets of solutions or characterizations of such sets via nonvanishing Wronskians are sensitive to the topological properties of the underlying domain of the independent variable and the parameter. We give a complete characterization of the solvability of such parameter-dependent equations and systems in terms of topological properties of the domain. In addition, we also investigate this problem in the setting of Schwartz distributions. △ Less

Submitted 19 March, 2021; v1 submitted 7 January, 2019; originally announced January 2019.

Comments: 26 pages, 7 figures, minor corrections

MSC Class: 34A30; 35D30

Journal ref: J. Differential Equations, 284 (2021), 546-575

Laplace transformation of vector-valued distributions and applications to Cauchy-Dirichlet problems

Authors: Michael Kunzinger, Eduard A. Nigsch, Norbert Ortner

Abstract: We present two new proofs of the exchange theorem for the Laplace transformation of vector-valued distributions. We then derive an explicit solution to the Dirichlet problem of the polyharmonic operator in a half-space. Finally, we obtain explicit solutions to Cauchy-Dirichlet problems of iterated wave- and Klein-Gordon-operators in half-spaces. We present two new proofs of the exchange theorem for the Laplace transformation of vector-valued distributions. We then derive an explicit solution to the Dirichlet problem of the polyharmonic operator in a half-space. Finally, we obtain explicit solutions to Cauchy-Dirichlet problems of iterated wave- and Klein-Gordon-operators in half-spaces. △ Less

Submitted 27 November, 2018; v1 submitted 27 September, 2018; originally announced September 2018.

Comments: 16 pages v2: fixed an error in Lemma 5 and some typos

MSC Class: 44A10; 35E05; 35E15; 35C05; 35J30; 35J40; 35L35

Journal ref: J. Math. Anal. Appl. 478, 990-1004, 2019

A vanishing dynamic capillarity limit equation with discontinuous flux

Authors: Melanie Graf, Michael Kunzinger, Darko Mitrovic, Djordjie Vujadinovic

Abstract: We prove existence and uniqueness of a solution to the Cauchy problem corresponding to the equation \begin{equation*} \begin{cases} \partial_t u_{\varepsilon,δ} +\mathrm{div} {\mathfrak f}_{\varepsilon,δ}({\bf x}, u_{\varepsilon,δ})=\varepsilon Δu_{\varepsilon,δ}+δ(\varepsilon) \partial_t Δu_{\varepsilon,δ}, \ \ {\bf x} \in M, \ \ t\geq 0 u|_{t=0}=u_0({\bf x}). \end{cases} \end{equation*} Here,… ▽ More We prove existence and uniqueness of a solution to the Cauchy problem corresponding to the equation \begin{equation*} \begin{cases} \partial_t u_{\varepsilon,δ} +\mathrm{div} {\mathfrak f}_{\varepsilon,δ}({\bf x}, u_{\varepsilon,δ})=\varepsilon Δu_{\varepsilon,δ}+δ(\varepsilon) \partial_t Δu_{\varepsilon,δ}, \ \ {\bf x} \in M, \ \ t\geq 0 u|_{t=0}=u_0({\bf x}). \end{cases} \end{equation*} Here, ${\mathfrak f}_{\varepsilon,δ}$ and $u_0$ are smooth functions while $\varepsilon$ and $δ=δ(\varepsilon)$ are fixed constants. Assuming ${\mathfrak f}_{\varepsilon,δ} \to {\mathfrak f} \in L^p( \mathbb{R}^d\times \mathbb{R};\mathbb{R}^d)$ for some $1<p<\infty$, strongly as $\varepsilon\to 0$, we prove that, under an appropriate relationship between $\varepsilon$ and $δ(\varepsilon)$ depending on the regularity of the flux ${\mathfrak f}$, the sequence of solutions $(u_{\varepsilon,δ})$ strongly converges in $L^1_{loc}(\mathbb{R}^+\times \mathbb{R}^d)$ towards a solution to the conservation law $$ \partial_t u +\mathrm{div} {\mathfrak f}({\bf x}, u)=0. $$ The main tools employed in the proof are the Leray-Schauder fixed point theorem for the first part and reduction to the kinetic formulation combined with recent results in the velocity averaging theory for the second. △ Less

Submitted 4 November, 2020; v1 submitted 7 May, 2018; originally announced May 2018.

Comments: 23 pages, minor corrections, final version

MSC Class: 35K65; 42B37; 76S99

Journal ref: ZAMP 71, Article number 201 (2020)

Inextendibility of spacetimes and Lorentzian length spaces

Authors: James D. E. Grant, Michael Kunzinger, Clemens Sämann

Abstract: We study the low-regularity (in-)extendibility of spacetimes within the synthetic-geometric framework of Lorentzian length spaces developed in [KS:17]. To this end, we introduce appropriate notions of geodesics and timelike geodesic completeness and prove a general inextendibility result. Our results shed new light on recent analytic work in this direction and, for the first time, relate low-regul… ▽ More We study the low-regularity (in-)extendibility of spacetimes within the synthetic-geometric framework of Lorentzian length spaces developed in [KS:17]. To this end, we introduce appropriate notions of geodesics and timelike geodesic completeness and prove a general inextendibility result. Our results shed new light on recent analytic work in this direction and, for the first time, relate low-regularity inextendibility to (synthetic) curvature blow-up. △ Less

Submitted 6 November, 2019; v1 submitted 27 April, 2018; originally announced April 2018.

Comments: 21 pages, 1 figure, made assumptions in 5.4 and 5.6 more explicit (strong causality and local TL geodesic connectedness of extension)

MSC Class: 53C23; 53C50; 53B30; 53C80; 83C75

Journal ref: Ann. Global Anal. Geom. 55, no. 1, 133-147 (2019)

Lorentzian length spaces

Authors: Michael Kunzinger, Clemens Sämann

Abstract: We introduce an analogue of the theory of length spaces into the setting of Lorentzian geometry and causality theory. The rôle of the metric is taken over by the time separation function, in terms of which all basic notions are formulated. In this way we recover many fundamental results in greater generality, while at the same time clarifying the minimal requirements for and the interdependence of… ▽ More We introduce an analogue of the theory of length spaces into the setting of Lorentzian geometry and causality theory. The rôle of the metric is taken over by the time separation function, in terms of which all basic notions are formulated. In this way we recover many fundamental results in greater generality, while at the same time clarifying the minimal requirements for and the interdependence of the basic building blocks of the theory. A main focus of this work is the introduction of synthetic curvature bounds, akin to the theory of Alexandrov and CAT$(k)$-spaces, based on triangle comparison. Applications include Lorentzian manifolds with metrics of low regularity, closed cone structures, and certain approaches to quantum gravity. △ Less

Submitted 6 November, 2019; v1 submitted 24 November, 2017; originally announced November 2017.

Comments: 68 pages, 7 figures, small corrections. In particular, added assumption on local TL geodesic connectedness in 4.15 - 4.19

MSC Class: 53C23; 53C50; 53B30; 53C80

Journal ref: Ann. Global Anal. Geom. 54, no. 3, 399-447 (2018)

The Hawking-Penrose singularity theorem for $C^{1,1}$-Lorentzian metrics

Authors: Melanie Graf, James D. E. Grant, Michael Kunzinger, Roland Steinbauer

Abstract: We show that the Hawking--Penrose singularity theorem, and the generalisation of this theorem due to Galloway and Senovilla, continue to hold for Lorentzian metrics that are of $C^{1, 1}$-regularity. We formulate appropriate weak versions of the strong energy condition and genericity condition for $C^{1,1}$-metrics, and of $C^0$-trapped submanifolds. By regularisation, we show that, under these we… ▽ More We show that the Hawking--Penrose singularity theorem, and the generalisation of this theorem due to Galloway and Senovilla, continue to hold for Lorentzian metrics that are of $C^{1, 1}$-regularity. We formulate appropriate weak versions of the strong energy condition and genericity condition for $C^{1,1}$-metrics, and of $C^0$-trapped submanifolds. By regularisation, we show that, under these weak conditions, causal geodesics necessarily become non-maximising. This requires a detailed analysis of the matrix Riccati equation for the approximating metrics, which may be of independent interest. △ Less

Submitted 12 July, 2018; v1 submitted 26 June, 2017; originally announced June 2017.

Comments: Minor amendments in v4: Removed non-equivalent condition from Def. 2.2 and adapted Lemma 3.5 and the proof of Lemma 3.6

MSC Class: 83C75; 53B30

Journal ref: Comm. Math. Phys., 360 (2018), no. 3, 1009-1042

Well-posedness theory for degenerate parabolic equations on Riemannian manifolds

Authors: Melanie Graf, Michael Kunzinger, Darko Mitrovic

Abstract: We consider the degenerate parabolic equation $$ \partial_t u +\mathrm{div} {\mathfrak f}_{\bf x}(u)=\mathrm{div}(\mathrm{div} ( A_{\bf x}(u) ) ), \ \ {\bf x} \in M, \ \ t\geq 0 $$ on a smooth, compact, $d$-dimensional Riemannian manifold $(M,g)$. Here, for each $u\in {\mathbb R}$, ${\bf x}\mapsto {\mathfrak f}_{\bf x}(u)$ is a vector field and ${\bf x}\mapsto A_{\bf x}(u)$ is a $(1,1)$-tensor fie… ▽ More We consider the degenerate parabolic equation $$ \partial_t u +\mathrm{div} {\mathfrak f}_{\bf x}(u)=\mathrm{div}(\mathrm{div} ( A_{\bf x}(u) ) ), \ \ {\bf x} \in M, \ \ t\geq 0 $$ on a smooth, compact, $d$-dimensional Riemannian manifold $(M,g)$. Here, for each $u\in {\mathbb R}$, ${\bf x}\mapsto {\mathfrak f}_{\bf x}(u)$ is a vector field and ${\bf x}\mapsto A_{\bf x}(u)$ is a $(1,1)$-tensor field on $M$ such that $u\mapsto \langle A_{\bf x}(u) {\boldsymbol ξ},{\boldsymbol ξ} \rangle$, ${\boldsymbol ξ}\in T_{\bf x} M$, is non-decreasing with respect to $u$. The fact that the notion of divergence appearing in the equation depends on the metric $g$ requires revisiting the standard entropy admissibility concept. We derive it under an additional geometry compatibility condition and, as a corollary, we introduce the kinetic formulation of the equation on the manifold. Using this concept, we prove well-posedness of the corresponding Cauchy problem. △ Less

Submitted 18 November, 2022; v1 submitted 24 December, 2016; originally announced December 2016.

Comments: 32 pages, proof of Th. 8 corrected

MSC Class: 35K65; 42B37; 76S99

Journal ref: J. Differential Equations 263, no. 8, 4787-4825 (2017)

Inverse Function Theorems for Generalized Smooth Functions

Authors: Paolo Giordano, Michael Kunzinger

Abstract: Generalized smooth functions are a possible formalization of the original historical approach followed by Cauchy, Poisson, Kirchhoff, Helmholtz, Kelvin, Heaviside, and Dirac to deal with generalized functions. They are set-theoretical functions defined on a natural non-Archimedean ring, and include Colombeau generalized functions (and hence also Schwartz distributions) as a particular case. One of… ▽ More Generalized smooth functions are a possible formalization of the original historical approach followed by Cauchy, Poisson, Kirchhoff, Helmholtz, Kelvin, Heaviside, and Dirac to deal with generalized functions. They are set-theoretical functions defined on a natural non-Archimedean ring, and include Colombeau generalized functions (and hence also Schwartz distributions) as a particular case. One of their key property is the closure with respect to composition. We review the theory of generalized smooth functions and prove both the local and some global inverse function theorems. △ Less

Submitted 13 June, 2016; v1 submitted 29 January, 2016; originally announced February 2016.

Comments: 20 pages, minor corrections

MSC Class: 46F30; 26E30

Lie Transformation Groups -- An Introduction to Symmetry Group Analysis of Differential Equations

Authors: Michael Kunzinger

Abstract: These are lecture notes of a course on symmetry group analysis of differential equations, based mainly on P. J. Olver's book 'Applications of Lie Groups to Differential Equations'. The course starts out with an introduction to the theory of local transformation groups, based on the Stefan-Sussman theory on the integrability of distributions of non-constant rank. The exposition is self-contained, p… ▽ More These are lecture notes of a course on symmetry group analysis of differential equations, based mainly on P. J. Olver's book 'Applications of Lie Groups to Differential Equations'. The course starts out with an introduction to the theory of local transformation groups, based on the Stefan-Sussman theory on the integrability of distributions of non-constant rank. The exposition is self-contained, pre-supposing only basic knowledge in differential geometry and Lie groups. △ Less

Submitted 31 December, 2024; v1 submitted 23 June, 2015; originally announced June 2015.

Comments: 110 pages, corrections in Section 2.2

MSC Class: 58G35; 22E60; 35A30; 58A30

The Penrose singularity theorem in regularity $C^{1,1}$

Authors: Michael Kunzinger, Roland Steinbauer, James A. Vickers

Abstract: We extend the validity of the Penrose singularity theorem to spacetime metrics of regularity $C^{1,1}$. The proof is based on regularisation techniques, combined with recent results in low regularity causality theory. We extend the validity of the Penrose singularity theorem to spacetime metrics of regularity $C^{1,1}$. The proof is based on regularisation techniques, combined with recent results in low regularity causality theory. △ Less

Submitted 12 May, 2015; v1 submitted 1 February, 2015; originally announced February 2015.

Comments: 13 pages. Final version

MSC Class: 83C75; 53B30

Journal ref: Classical Quantum Gravity 32 (2015), no. 15, 155010, 12 pp

A convenient notion of compact set for generalized functions

Authors: Paolo Giordano, Michael Kunzinger

Abstract: We introduce the notion of functionally compact sets into the theory of nonlinear generalized functions in the sense of Colombeau. The motivation behind our construction is to transfer, as far as possible, properties enjoyed by standard smooth functions on compact sets into the framework of generalized functions. Based on this concept, we introduce spaces of compactly supported generalized smooth… ▽ More We introduce the notion of functionally compact sets into the theory of nonlinear generalized functions in the sense of Colombeau. The motivation behind our construction is to transfer, as far as possible, properties enjoyed by standard smooth functions on compact sets into the framework of generalized functions. Based on this concept, we introduce spaces of compactly supported generalized smooth functions that are close analogues to the test function spaces of distribution theory. We then develop the topological and functional analytic foundations of these spaces. △ Less

Submitted 27 February, 2016; v1 submitted 26 November, 2014; originally announced November 2014.

Comments: Some typos corrected, final version

MSC Class: 46F30; 46A13; 13J99

Hawking's singularity theorem for $C^{1,1}$-metrics

Authors: Michael Kunzinger, Roland Steinbauer, Milena Stojkovic, James A. Vickers

Abstract: We provide a detailed proof of Hawking's singularity theorem in the regularity class $C^{1,1}$, i.e., for spacetime metrics possessing locally Lipschitz continuous first derivatives. The proof uses recent results in $C^{1,1}$-causality theory and is based on regularisation techniques adapted to the causal structure. We provide a detailed proof of Hawking's singularity theorem in the regularity class $C^{1,1}$, i.e., for spacetime metrics possessing locally Lipschitz continuous first derivatives. The proof uses recent results in $C^{1,1}$-causality theory and is based on regularisation techniques adapted to the causal structure. △ Less

Submitted 5 March, 2015; v1 submitted 17 November, 2014; originally announced November 2014.

Comments: 19 pages, LaTeX; v2: corrected Lemma 4.2; v3: typos corrected, final version

MSC Class: 83C75; 53B30

Journal ref: Classical Quantum Gravity 32 (2015), no. 7, 075012, 19 pp

A regularization approach to non-smooth symplectic geometry

Authors: Guenther Hoermann, Sanja Konjik, Michael Kunzinger

Abstract: We introduce non-smooth symplectic forms on manifolds and describe corresponding Poisson structures on the algebra of Colombeau generalized functions. This is achieved by establishing an extension of the classical map of smooth functions to Hamiltonian vector fields to the setting of non-smooth geometry. For mildly singular symplectic forms, including the continuous non-differentiable case, we pro… ▽ More We introduce non-smooth symplectic forms on manifolds and describe corresponding Poisson structures on the algebra of Colombeau generalized functions. This is achieved by establishing an extension of the classical map of smooth functions to Hamiltonian vector fields to the setting of non-smooth geometry. For mildly singular symplectic forms, including the continuous non-differentiable case, we prove the existence of generalized Darboux coordinates in the sense of a local non-smooth pull-back to the canonical symplectic form on the cotangent bundle. △ Less

Submitted 30 June, 2014; v1 submitted 2 March, 2014; originally announced March 2014.

Comments: 12 pages, final version

MSC Class: 53D05; 46F30

Journal ref: Pseudo-differential operators and generalized functions, 119-132, Oper. Theory Adv. Appl., 245, Birkhaeuser, Springer, Cham, 2015

Strongly internal sets and generalized smooth functions

Authors: Paolo Giordano, Michael Kunzinger, Hans Vernaeve

Abstract: Based on a refinement of the notion of internal sets in Colombeau's theory, so-called strongly internal sets, we introduce the space of generalized smooth functions, a maximal extension of Colombeau generalized functions. Generalized smooth functions as morphisms between sets of generalized points form a sub-category of the category of topological spaces. In particular, they can be composed unrest… ▽ More Based on a refinement of the notion of internal sets in Colombeau's theory, so-called strongly internal sets, we introduce the space of generalized smooth functions, a maximal extension of Colombeau generalized functions. Generalized smooth functions as morphisms between sets of generalized points form a sub-category of the category of topological spaces. In particular, they can be composed unrestrictedly. △ Less

Submitted 8 August, 2014; v1 submitted 14 February, 2014; originally announced February 2014.

Comments: 17 pages, some minor corrections

MSC Class: 46F30; 03H05; 46S20

Journal ref: J. Math. Anal. Appl., 422 (2015), no. 1, 56-71

A regularisation approach to causality theory for $C^{1,1}$-Lorentzian metrics

Authors: Michael Kunzinger, Roland Steinbauer, James A. Vickers, Milena Stojkovic

Abstract: We show that many standard results of Lorentzian causality theory remain valid if the regularity of the metric is reduced to $C^{1,1}$. Our approach is based on regularisations of the metric adapted to the causal structure. We show that many standard results of Lorentzian causality theory remain valid if the regularity of the metric is reduced to $C^{1,1}$. Our approach is based on regularisations of the metric adapted to the causal structure. △ Less

Submitted 31 July, 2019; v1 submitted 16 October, 2013; originally announced October 2013.

Comments: 17 pages, corrects the proof of Thm. 2.7 in the published version

MSC Class: 53B30

Journal ref: Gen. Relativ. Gravit. (2014) 46:1738

The exponential map of a $C^{1,1}$-metric

Authors: Michael Kunzinger, Roland Steinbauer, Milena Stojkovic

Abstract: Given a pseudo-Riemannian metric of regularity $C^{1,1}$ on a smooth manifold, we prove that the corresponding exponential map is a bi-Lipschitz homeomorphism locally around any point. We also establish the existence of totally normal neighborhoods in an appropriate sense. The proofs are based on regularization, combined with methods from comparison geometry. Given a pseudo-Riemannian metric of regularity $C^{1,1}$ on a smooth manifold, we prove that the corresponding exponential map is a bi-Lipschitz homeomorphism locally around any point. We also establish the existence of totally normal neighborhoods in an appropriate sense. The proofs are based on regularization, combined with methods from comparison geometry. △ Less

Submitted 4 April, 2014; v1 submitted 20 June, 2013; originally announced June 2013.

Comments: Final version

MSC Class: 53B20; 53B21; 53B30

Journal ref: Differential Geom. Appl. 34, 14-24, 2014

Symplectic modules over Colombeau-generalized numbers

Authors: Sanja Konjik, Guenther Hoermann, Michael Kunzinger

Abstract: We study symplectic linear algebra over the ring $\Rt$ of Colombeau generalized numbers. Due to the algebraic properties of $\Rt$ it is possible to preserve a number of central results of classical symplectic linear algebra. In particular, we construct symplectic bases for any symplectic form on a free $\Rt$-module of finite rank. Further, we consider the general problem of eigenvalues for matrice… ▽ More We study symplectic linear algebra over the ring $\Rt$ of Colombeau generalized numbers. Due to the algebraic properties of $\Rt$ it is possible to preserve a number of central results of classical symplectic linear algebra. In particular, we construct symplectic bases for any symplectic form on a free $\Rt$-module of finite rank. Further, we consider the general problem of eigenvalues for matrices over $\Kt$ ($\K=\R$ or $\C$) and derive normal forms for Hermitian and skew-symmetric matrices. Our investigations are motivated by applications in non-smooth symplectic geometry and the theory of Fourier integral operators with non-smooth symbols. △ Less

Submitted 12 October, 2013; v1 submitted 12 November, 2012; originally announced November 2012.

Comments: Some typos corrected, proof of Th. 3.3 corrected

MSC Class: 15A63; 15A18; 15A21; 46F30

Journal ref: Comm. Algebra 42: 3358-3577, 2014

New topologies on Colombeau generalized numbers and the Fermat-Reyes theorem

Authors: Paolo Giordano, Michael Kunzinger

Abstract: Based on the theory of Fermat reals we introduce new topologies on spaces of Colombeau generalized points and derive some of their fundamental properties. In particular, we obtain metric topologies on the space of near-standard generalized points that induce the standard Euclidean topology on the reals. We also give a new description of the sharp topology in terms of the natural extension of the a… ▽ More Based on the theory of Fermat reals we introduce new topologies on spaces of Colombeau generalized points and derive some of their fundamental properties. In particular, we obtain metric topologies on the space of near-standard generalized points that induce the standard Euclidean topology on the reals. We also give a new description of the sharp topology in terms of the natural extension of the absolute value (or of the defining semi-norms in the case of locally convex spaces) that allows to preserve a number of classical notions. Building on a new point value characterization of Colombeau generalized functions we prove a Fermat-Reyes theorem that forms the basis of an approach to differentiation on spaces of generalized functions close to the classical one. △ Less

Submitted 18 January, 2012; originally announced January 2012.

MSC Class: 46F30; 46T20

Singular reduction modules of differential equations

Authors: Vaycheslav M. Boyko, Michael Kunzinger, Roman O. Popovych

Abstract: The notion of singular reduction modules, i.e., of singular modules of nonclassical (conditional) symmetry, of differential equations is introduced. It is shown that the derivation of nonclassical symmetries for differential equations can be improved by an in-depth prior study of the associated singular modules of vector fields. The form of differential functions and differential equations possess… ▽ More The notion of singular reduction modules, i.e., of singular modules of nonclassical (conditional) symmetry, of differential equations is introduced. It is shown that the derivation of nonclassical symmetries for differential equations can be improved by an in-depth prior study of the associated singular modules of vector fields. The form of differential functions and differential equations possessing parameterized families of singular modules is described up to point transformations. Singular cases of finding reduction modules are related to lowering the order of the corresponding reduced equations. As examples, singular reduction modules of evolution equations and second-order quasi-linear equations are studied. Reductions of differential equations to algebraic equations and to first-order ordinary differential equations are considered in detail within the framework proposed and are related to previous no-go results on nonclassical symmetries. △ Less

Submitted 4 December, 2017; v1 submitted 16 January, 2012; originally announced January 2012.

Comments: 38 pages, advanced version. Extension of results of arXiv:0808.3577 to the case of a greater number of independent variables

MSC Class: 35B06; 35A30; 35C05

Journal ref: J. Math. Phys. 57 (2016), 101503, 34 pages

Singularity structures for noncommutative spaces

Authors: Shantanu Dave, Michael Kunzinger

Abstract: We introduce a (bi)category $\mathfrak{Sing}$ whose objects can be functorially assigned spaces of distributions and generalized functions. In addition, these spaces of distributions and generalized functions possess intrinsic notions of regularity and singularity analogous to usual Schwartz distributions on manifolds. The objects in this category can be obtained from smooth manifolds, noncommutat… ▽ More We introduce a (bi)category $\mathfrak{Sing}$ whose objects can be functorially assigned spaces of distributions and generalized functions. In addition, these spaces of distributions and generalized functions possess intrinsic notions of regularity and singularity analogous to usual Schwartz distributions on manifolds. The objects in this category can be obtained from smooth manifolds, noncommutative spaces, or Lie groupoids. An application of these structures relates the longitudinal propagation of singularities for pseudo-differential operators on a groupoid with propagation of singularities on the base manifold. △ Less

Submitted 30 January, 2013; v1 submitted 28 November, 2011; originally announced November 2011.

Comments: Minor corrections, further Examples added, final version

MSC Class: 58J40 (Primary) 58J47; 58J42 (Secondary)

Wave equations on non-smooth space-times

Authors: Guenther Hoermann, Michael Kunzinger, Roland Steinbauer

Abstract: We consider wave equations on Lorentzian manifolds in case of low regularity. We first extend the classical solution theory to prove global unique solvability of the Cauchy problem for distributional data and right hand side on smooth globally hyperbolic space-times. Then we turn to the case where the metric is non-smooth and present a local as well as a global existence and uniqueness result for… ▽ More We consider wave equations on Lorentzian manifolds in case of low regularity. We first extend the classical solution theory to prove global unique solvability of the Cauchy problem for distributional data and right hand side on smooth globally hyperbolic space-times. Then we turn to the case where the metric is non-smooth and present a local as well as a global existence and uniqueness result for a large class of Lorentzian manifolds with a weakly singular, locally bounded metric in Colombeau's algebra of generalized functions. △ Less

Submitted 4 June, 2012; v1 submitted 30 June, 2011; originally announced July 2011.

Comments: 25 pages, final version

MSC Class: 58J45 (Primary) 35L05; 35L15; 35D99; 46F30 (Secondary)

Journal ref: M. Ruzhansky, J. Wirth (Eds.) Evolution Equations of Hyperbolic and Schrödinger Type, Progress in Mathematics 301, Birkäuser, 163-186, 2012

Geometric regularization on Riemannian and Lorentzian manifolds

Authors: Shantanu Dave, Guenther Hoermann, Michael Kunzinger

Abstract: We investigate regularizations of distributional sections of vector bundles by means of nets of smooth sections that preserve the main regularity properties of the original distributions (singular support, wavefront set, Sobolev regularity). The underlying regularization mechanism is based on functional calculus of elliptic operators with finite speed of propagation with respect to a complete Riem… ▽ More We investigate regularizations of distributional sections of vector bundles by means of nets of smooth sections that preserve the main regularity properties of the original distributions (singular support, wavefront set, Sobolev regularity). The underlying regularization mechanism is based on functional calculus of elliptic operators with finite speed of propagation with respect to a complete Riemannian metric. As an application we consider the interplay between the wave equation on a Lorentzian manifold and corresponding Riemannian regularizations, and under additional regularity assumptions we derive bounds on the rate of convergence of their commutator. We also show that the restriction to underlying space-like foliations behaves well with respect to these regularizations. △ Less

Submitted 30 May, 2012; v1 submitted 30 June, 2011; originally announced July 2011.

Comments: 14 pages, final version

MSC Class: Primary: 58J37; Secondary: Secondary 46F30; 46T30; 35A27; 53C50

Journal ref: M. Ruzhansky, J. Wirth (Eds.) Evolution Equations of Hyperbolic and Schrödinger Type, Progress in Mathematics 301, Birkäuser, 87-102, 2012

Topological and algebraic structures on the ring of Fermat reals

Authors: Paolo Giordano, Michael Kunzinger

Abstract: The ring of Fermat reals is an extension of the real field containing nilpotent infinitesimals, and represents an alternative to Synthetic Differential Geometry in classical logic. In the present paper, our first aim is to study this ring from using standard topological and algebraic structures. We present the Fermat topology, generated by a complete pseudo-metric, and the omega topology, generate… ▽ More The ring of Fermat reals is an extension of the real field containing nilpotent infinitesimals, and represents an alternative to Synthetic Differential Geometry in classical logic. In the present paper, our first aim is to study this ring from using standard topological and algebraic structures. We present the Fermat topology, generated by a complete pseudo-metric, and the omega topology, generated by a complete metric. The first one is closely related to the differentiation of (non standard) smooth functions defined on open sets of Fermat reals. The second one is connected to the differentiation of smooth functions defined on infinitesimal sets. Subsequently, we prove that every (proper) ideal is a set of infinitesimals whose order is less than or equal to some real number. Finally, we define and study roots of infinitesimals. A computer implementation as well as an application to infinitesimal Taylor formulas with fractional derivatives are presented. △ Less

Submitted 8 April, 2011; originally announced April 2011.

Comments: 43 pages

MSC Class: 03H05; 12D; 13J25

Journal ref: Israel J. Math. 193 (2013), no. 1, 459-505

Manifold-valued generalized functions in full Colombeau spaces

Authors: Michael Kunzinger, Eduard Nigsch

Abstract: We introduce the notion of generalized function taking values in a smooth manifold into the setting of full Colombeau algebras. After deriving a number of characterization results we also introduce a corresponding concept of generalized vector bundle homomorphisms and, based on this, provide a definition of tangent map for such generalized functions. We introduce the notion of generalized function taking values in a smooth manifold into the setting of full Colombeau algebras. After deriving a number of characterization results we also introduce a corresponding concept of generalized vector bundle homomorphisms and, based on this, provide a definition of tangent map for such generalized functions. △ Less

Submitted 12 October, 2011; v1 submitted 30 March, 2011; originally announced March 2011.

Comments: 18 pages; fixed typos and updated introduction

MSC Class: 46F30; 46T30; 26E15

Journal ref: Comm. Math. Univ. Carolinae 52 (4) (2011) 519-534

Generalized conditional symmetries of evolution equations

Authors: Michael Kunzinger, Roman O. Popovych

Abstract: We analyze the relationship of generalized conditional symmetries of evolution equations to the formal compatibility and passivity of systems of differential equations as well as to systems of vector fields in involution. Earlier results on the connection between generalized conditional invariance and generalized reduction of evolution equations are revisited. This leads to a no-go theorem on dete… ▽ More We analyze the relationship of generalized conditional symmetries of evolution equations to the formal compatibility and passivity of systems of differential equations as well as to systems of vector fields in involution. Earlier results on the connection between generalized conditional invariance and generalized reduction of evolution equations are revisited. This leads to a no-go theorem on determining equations for operators of generalized conditional symmetry. It is also shown that up to certain equivalences there exists a one-to-one correspondence between generalized conditional symmetries of an evolution equation and parametric families of its solutions. △ Less

Submitted 20 January, 2011; v1 submitted 1 November, 2010; originally announced November 2010.

Comments: 23 pages, extended version

MSC Class: 35B06 (Primary) 35K55; 35K57; 35C05 (Secondary)

Journal ref: J. Math. Anal. Appl. 379 (2011), 444-460

Algebras of generalized functions with smooth parameter dependence

Authors: Annegret Burtscher, Michael Kunzinger

Abstract: We show that spaces of Colombeau generalized functions with smooth parameter dependence are isomorphic to those with continuous parametrization. Based on this result we initiate a systematic study of algebraic properties of the ring $\widetilde{\mathbb{K}}_{sm}$ of generalized numbers in this unified setting. In particular, we investigate the ring and order structure of… ▽ More We show that spaces of Colombeau generalized functions with smooth parameter dependence are isomorphic to those with continuous parametrization. Based on this result we initiate a systematic study of algebraic properties of the ring $\widetilde{\mathbb{K}}_{sm}$ of generalized numbers in this unified setting. In particular, we investigate the ring and order structure of $\widetilde{\mathbb{K}}_{sm}$ and establish some properties of its ideals. △ Less

Submitted 27 October, 2010; originally announced October 2010.

Comments: 19 pages

MSC Class: 46F30; 13J25; 46T30

Journal ref: Proceedings of the Edinburgh Mathematical Society (Series 2), Volume 55, Issue 01, pp 105 - 124, 2012

Optimal regularization processes on complete Riemannian manifolds

Authors: Shantanu Dave, Guenther Hoermann, Michael Kunzinger

Abstract: We study regularizations of Schwartz distributions on a complete Riemannian manifold $M$. These approximations are based on families of smoothing operators obtained from the solution operator to the wave equation on $M$ derived from the metric Laplacian. The resulting global regularization processes are optimal in the sense that they preserve the microlocal structure of distributions, commute with… ▽ More We study regularizations of Schwartz distributions on a complete Riemannian manifold $M$. These approximations are based on families of smoothing operators obtained from the solution operator to the wave equation on $M$ derived from the metric Laplacian. The resulting global regularization processes are optimal in the sense that they preserve the microlocal structure of distributions, commute with isometries and provide sheaf embeddings into algebras of generalized functions on $M$. △ Less

Submitted 10 October, 2012; v1 submitted 17 March, 2010; originally announced March 2010.

Comments: minor corrections, final version

MSC Class: 58J37; 46F30; 46T30; 35A27; 35L05

Journal ref: Tokyo J. Math., Vol. 36, No. 1, 2013

Is a nonclassical symmetry a symmetry?

Authors: Michael Kunzinger, Roman O. Popovych

Abstract: Various versions of the definition of nonclassical symmetries existing in the literature are analyzed. Comparing properties of Lie and nonclassical symmetries leads to the conclusion that in fact a nonclassical symmetry is not a symmetry in the usual sense. Hence the term "reduction operator" is suggested instead of the name "operator of nonclassical symmetries". It is shown that in contrast to… ▽ More Various versions of the definition of nonclassical symmetries existing in the literature are analyzed. Comparing properties of Lie and nonclassical symmetries leads to the conclusion that in fact a nonclassical symmetry is not a symmetry in the usual sense. Hence the term "reduction operator" is suggested instead of the name "operator of nonclassical symmetries". It is shown that in contrast to the case of single partial differential equations a satisfactory definition of nonclassical symmetries for systems of such equations has not been proposed up to now. Moreover, the cardinality of essential nonclassical symmetries is discussed, taking into account equivalence relations on the entire set of nonclassical symmetries. △ Less

Submitted 21 February, 2010; v1 submitted 4 March, 2009; originally announced March 2009.

Comments: 15 pages

MSC Class: 35A30; 35C05

Journal ref: Proceedings of 4th Workshop "Group Analysis of Differential Equations and Integrable Systems" (26-30 October 2008, Protaras, Cyprus), 2009, 107-120

A global theory of algebras of generalized functions II: tensor distributions

Authors: Michael Grosser, Michael Kunzinger, Roland Steinbauer, James Vickers

Abstract: We extend the construction of [19] by introducing spaces of generalized tensor fields on smooth manifolds that possess optimal embedding and consistency properties with spaces of tensor distributions in the sense of L. Schwartz. We thereby obtain a universal algebra of generalized tensor fields canonically containing the space of distributional tensor fields. The canonical embedding of distribut… ▽ More We extend the construction of [19] by introducing spaces of generalized tensor fields on smooth manifolds that possess optimal embedding and consistency properties with spaces of tensor distributions in the sense of L. Schwartz. We thereby obtain a universal algebra of generalized tensor fields canonically containing the space of distributional tensor fields. The canonical embedding of distributional tensor fields also commutes with the Lie derivative. This construction provides the basis for applications of algebras of generalized functions in nonlinear distributional geometry and, in particular, to the study of spacetimes of low differentiability in general relativity. △ Less

Submitted 11 February, 2009; originally announced February 2009.

Comments: Latex, 67 pages

MSC Class: 46F30; 46T30; 26E15; 58B10; 46A17

Journal ref: New York J. Math. 18 (2012) 139-199

Singular reduction operators in two dimensions

Authors: Michael Kunzinger, Roman O. Popovych

Abstract: The notion of singular reduction operators, i.e., of singular operators of nonclassical (conditional) symmetry, of partial differential equations in two independent variables is introduced. All possible reductions of these equations to first-order ODEs are are exhaustively described. As examples, properties of singular reduction operators of (1+1)-dimensional evolution and wave equations are stu… ▽ More The notion of singular reduction operators, i.e., of singular operators of nonclassical (conditional) symmetry, of partial differential equations in two independent variables is introduced. All possible reductions of these equations to first-order ODEs are are exhaustively described. As examples, properties of singular reduction operators of (1+1)-dimensional evolution and wave equations are studied. It is shown how to favourably enhance the derivation of nonclassical symmetries for this class by an in-depth prior study of the corresponding singular vector fields. △ Less

Submitted 4 November, 2008; v1 submitted 26 August, 2008; originally announced August 2008.

Comments: 22 pages, minor corrections

MSC Class: 35A30; 35C05; 35K55; 35K55; 35L70

Journal ref: J. Phys. A: Math. Theor. 41 (2008) 505201, 24 pp

Recent Progress in Special Colombeau Algebras: Geometry, Topology, and Algebra

Authors: Michael Kunzinger

Abstract: Over the past few years there has been considerable progress in the structural understanding of special Colombeau algebras. We present some of the main trends in this development: non-smooth differential geometry, locally convex theory of modules over the ring of generalized numbers, and algebraic aspects of Colombeau theory. Some open problems are given and directions of further research are ou… ▽ More Over the past few years there has been considerable progress in the structural understanding of special Colombeau algebras. We present some of the main trends in this development: non-smooth differential geometry, locally convex theory of modules over the ring of generalized numbers, and algebraic aspects of Colombeau theory. Some open problems are given and directions of further research are outlined. △ Less

Submitted 28 December, 2007; originally announced December 2007.

Comments: 12 pages, contribution for conference "Generalized Functions 2007", Banach Center, Bedlewo, Poland

MSC Class: 46F30;46T30;46A20;16D25;53B20

Foundations of the calculus of variations in generalized function algebras

Authors: Sanja Konjik, Michael Kunzinger, Michael Oberguggenberger

Abstract: We propose the use of algebras of generalized functions for the analysis of certain highly singular problems in the calculus of variations. After a general study of extremal problems on open subsets of Euclidean space in this setting we introduce the first and second variation of a variational problem. We then derive necessary (Euler-Lagrange equations) and sufficient conditions for extremals. T… ▽ More We propose the use of algebras of generalized functions for the analysis of certain highly singular problems in the calculus of variations. After a general study of extremal problems on open subsets of Euclidean space in this setting we introduce the first and second variation of a variational problem. We then derive necessary (Euler-Lagrange equations) and sufficient conditions for extremals. The concept of association is used to obtain connections to a distributional description of singular variational problems. We study variational symmetries and derive an appropriate version of Nöther's theorem. Finally, a number of applications to geometry, mechanics, elastostatics and elastodynamics are presented. △ Less

Submitted 12 July, 2007; originally announced July 2007.

MSC Class: 49J27; 46F30; 49K27; 37K05

Journal ref: Acta Appl. Math. 103: 169-199, 2008.

Admissible Transformations and Normalized Classes of Nonlinear Schroedinger Equations

Authors: Roman O. Popovych, Michael Kunzinger, Homayoon Eshraghi

Abstract: The theory of group classification of differential equations is analyzed, substantially extended and enhanced based on the new notions of conditional equivalence group and normalized class of differential equations. Effective new techniques are proposed. Using these, we exhaustively describe admissible point transformations in classes of nonlinear (1+1)-dimensional Schroedinger equations, in par… ▽ More The theory of group classification of differential equations is analyzed, substantially extended and enhanced based on the new notions of conditional equivalence group and normalized class of differential equations. Effective new techniques are proposed. Using these, we exhaustively describe admissible point transformations in classes of nonlinear (1+1)-dimensional Schroedinger equations, in particular, in the class of nonlinear (1+1)-dimensional Schroedinger equations with modular nonlinearities and potentials and some subclasses thereof. We then carry out a complete group classification in this class, representing it as a union of disjoint normalized subclasses and applying a combination of algebraic and compatibility methods. Moreover, we introduce the complete classification of (1+2)-dimensional cubic Schroedinger equations with potentials. The proposed approach can be applied to studying symmetry properties of a wide range of differential equations. △ Less

Submitted 10 October, 2008; v1 submitted 23 November, 2006; originally announced November 2006.

Comments: 42 pages, extended version, the group classification of (1+2)-dimensional cubic Schroedinger equations with potentials was added

MSC Class: 35A30; 35Q55; 58J70; 35C05

Journal ref: Acta Appl. Math. 109 (2010), 315-359

Sheaves of nonlinear generalized functions and manifold-valued distributions

Authors: Michael Kunzinger, Roland Steinbauer, James A. Vickers

Abstract: This paper is part of an ongoing program to develop a theory of generalized differential geometry. We consider the space $\mathcal{G}[X,Y]$ of Colombeau generalized functions defined on a manifold $X$ and taking values in a manifold $Y$. This space is essential in order to study concepts such as flows of generalized vector fields or geodesics of generalized metrics. We introduce an embedding of… ▽ More This paper is part of an ongoing program to develop a theory of generalized differential geometry. We consider the space $\mathcal{G}[X,Y]$ of Colombeau generalized functions defined on a manifold $X$ and taking values in a manifold $Y$. This space is essential in order to study concepts such as flows of generalized vector fields or geodesics of generalized metrics. We introduce an embedding of the space of continuous mappings $\mathcal{C}(X,Y)$ into $\mathcal{G}[X,Y]$ and study the sheaf properties of $\mathcal{G}[X,Y]$. Similar results are obtained for spaces of generalized vector bundle homomorphisms. Based on these constructions we propose the definition of a space $\mathcal{D}'[X,Y]$ of distributions on $X$ taking values in $Y$. $\mathcal{D}'[X,Y]$ is realized as a quotient of a certain subspace of $\mathcal{G}[X,Y]$. △ Less

Submitted 11 February, 2009; v1 submitted 13 September, 2006; originally announced September 2006.

Comments: Minor changes, final version

MSC Class: 46T30; 46F30; 53B20

Journal ref: Trans. Amer. Math. Soc. 361, 5177-5192, 2009

Generalized solutions of the Vlasov-Poisson system with singular data

Authors: Irina Kmit, Michael Kunzinger, Roland Steinbauer

Abstract: We study spherically symmetric solutions of the Vlasov-Poisson system in the context of algebras of generalized functions. This allows to model highly concentrated initial configurations and provides a consistent setting for studying singular limits of the system. The proof of unique solvability in our approach depends on new stability properties of the system with respect to perturbations. We study spherically symmetric solutions of the Vlasov-Poisson system in the context of algebras of generalized functions. This allows to model highly concentrated initial configurations and provides a consistent setting for studying singular limits of the system. The proof of unique solvability in our approach depends on new stability properties of the system with respect to perturbations. △ Less

Submitted 12 September, 2007; v1 submitted 23 January, 2006; originally announced January 2006.

Comments: 16 pages, LaTeX, final version, to apppear in JMAA

MSC Class: 35A05; 46F30; 35Q72; 82C22

Journal ref: J. Math. Anal. Appl. 340, 575-587, (2008)

Generalized Group Actions in a Global Setting

Authors: Sanja Konjik, Michael Kunzinger

Abstract: We study generalized group actions on differentiable manifolds in the Colombeau framework, extending previous work on flows of generalized vector fields and symmetry group analysis of generalized solutions. As an application, we analyze group invariant generalized functions in this setting. We study generalized group actions on differentiable manifolds in the Colombeau framework, extending previous work on flows of generalized vector fields and symmetry group analysis of generalized solutions. As an application, we analyze group invariant generalized functions in this setting. △ Less

Submitted 4 April, 2005; originally announced April 2005.

MSC Class: 46T30; 35A30; 58E40

Journal ref: J. Math. Anal. Appl., 322, 420-436, 2006

Group invariants in algebras of generalized functions

Authors: Sanja Konjik, Michael Kunzinger

Abstract: We study invariance properties of Colombeau generalized functions under actions of smooth Lie transformation groups. Several characterization results analogous to the smooth setting are derived and applications to generalized rotational invariance are given. We study invariance properties of Colombeau generalized functions under actions of smooth Lie transformation groups. Several characterization results analogous to the smooth setting are derived and applications to generalized rotational invariance are given. △ Less

Submitted 4 April, 2005; originally announced April 2005.

Comments: 8 pages

MSC Class: 46F30;58E40;46T30; 35A30

Journal ref: Integral Transforms Spec. Funct. 17, No.2-3, 77-84 (2006).