Searcharxiv⌕ Search

arXiv subjects

Michael Kunzinger

Publications and source records attributed to Michael Kunzinger.

At least 37 records · Page 2Linked to original sources

A vanishing dynamic capillarity limit equation with discontinuous flux

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.

math.AP↗

Lorentzian length spaces

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.

math.DG↗

Inextendibility of spacetimes and Lorentzian length spaces

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.

math.DG↗

The future is not always open

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.

math.DG↗

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

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.

math-ph↗

Singular reduction modules of differential equations

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.

math-ph↗

Inverse Function Theorems for Generalized Smooth Functions

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.

math.FA↗

A convenient notion of compact set for generalized functions

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.

math.FA↗

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

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.

gr-qc↗

Strongly internal sets and generalized smooth functions

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.

math.FA↗

A regularization approach to non-smooth symplectic geometry

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.

math.DG↗

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

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.

math.DG↗

Symplectic modules over Colombeau-generalized numbers

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.

math.RA↗

Singularity structures for noncommutative spaces

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.

math.FA↗

Optimal regularization processes on complete Riemannian manifolds

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$.

math.FA↗