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 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.
We provide a detailed proof of Hawkings 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 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 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 Colombeaus algebra of generalized functions.
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.
We prove that potential conservation laws have characteristics depending only on local variables if and only if they are induced by local conservation laws. Therefore, characteristics of pure potential conservation laws have to essentially depend on potential variables. This statement provides a significant generalization of results of the recent paper by Bluman, Cheviakov and Ivanova [J. Math. Phys., 2006, V.47, 113505]. Moreover, we present extensions to gauged potential systems, Abelian and general coverings and general foliated systems of differential equations. An example illustrating possible applications of proved statements is considered. A special version of the Hadamard lemma for fiber bundles and the notions of weighted jet spaces are proposed as new tools for the investigation of potential conservation laws.
We carry out an extensive investigation of conservation laws and potential symmetries for the class of linear (1+1)-dimensional second-order parabolic equations. The group classification of this class is revised by employing admissible transformations, the notion of normalized classes of differential equations and the adjoint variational principle. All possible potential conservation laws are described completely. They are in fact exhausted by local conservation laws. For any equation from the above class the characteristic space of local conservation laws is isomorphic to the solution set of the adjoint equation. Effective criteria for the existence of potential symmetries are proposed. Their proofs involve a rather intricate interplay between different representations of potential systems, the notion of a potential equation associated with a tuple of characteristics, prolongation of the equivalence group to the whole potential frame and application of multiple dual Darboux transformations. Based on the tools developed, a preliminary analysis of generalized potential symmetries is carried out and then applied to substantiate our construction of potential systems. The simplest potential symmetries of the linear heat equation, which are associated with single conservation laws, are classified with respect to its point symmetry group. Equations possessing infinite series of potential symmetry algebras are studied in detail.
