Related papers: Weakly Hyperbolic Systems by Symmetrization
Properties of solutions of generic hyperbolic systems with multiple characteristics with diagonalizable principal part are investigated. Solutions are represented as a Picard series with terms in the form of iterated Fourier integral…
Motivated by the initial-boundary value problem for the Einstein equations, we propose a definition of symmetric hyperbolicity for systems of evolution equations that are first order in time but second order in space. This can be used to…
We review some well posed formulations of the evolution part of the Cauchy problem of General Relativity that we have recently obtained. We include also a new first order symmetric hyperbolic system based directly on the Riemann tensor and…
This paper is devoted to strictly hyperbolic systems and equations with non-smooth coefficients. Below a certain level of smoothness, distributional solutions may fail to exist. We construct generalised solutions in the Colombeau algebra of…
We present a novel way of generating Lyapunov functions for proving linear convergence rates of first-order optimization methods. Our approach provably obtains the fastest linear convergence rate that can be verified by a quadratic Lyapunov…
We study the behavior of shallow water waves over periodically-varying bathymetry, based on the first-order hyperbolic Saint-Venant equations. Although solutions of this system are known to generally exhibit wave breaking, numerical…
We study properties of evolution equations which are first order in time and arbitrary order in space (FTNS). Following Gundlach and Mart\'in-Garc\'ia (2006) we define strong and symmetric hyperbolicity for FTNS systems and examine the…
Lyapunov functions play a fundamental role in analyzing the stability and convergence properties of optimization methods. In this paper, we propose a novel and straightforward approach for constructing Lyapunov functions for first-order…
In this paper, we consider diagonal hyperbolic systems with monotone continuous initial data. We propose a natural semi-explicit and upwind first order scheme. Under a certain non-negativity condition on the Jacobian matrix of the…
With the aim of deriving symmetric hyperbolic free-evolution systems for GR that possess Hamiltonian structure and allow for the popular puncture gauge condition we analyze the hyperbolicity of Hamiltonian systems. We develop helpful tools…
The existence and uniqueness of weak solutions is shown for a system related to the Willis model of elastodynamics. Both the whole space case and the case of a bounded smooth domain are studied. To this end the equations are reformulated as…
This paper is a continuation a previous work of the authors where parametric Gevrey asymptotics for singularly perturbed nonlinear PDEs has been studied. Here, the partial differential operators are combined with particular Moebius…
We discuss the rigorous justification of the spatial discretization by means of Fourier spectral methods of quasilinear first-order hyperbolic systems. We provide uniform stability estimates that grant spectral convergence of the…
We introduce a general framework for the construction of well-balanced finite volume methods for hyperbolic balance laws. We use the phrase well-balancing in a broader sense, since our proposed method can be applied to exactly follow any…
For a class of weakly hyperbolic systems of the form D_t - A(t,x,D_x), where A(t,x,D_x) is a first-order pseudodifferential operator whose principal symbol degenerates like t^{l_*} at time t=0, for some integer l_* \geq 1, well-posedness of…
We present a unified convergence analysis for first order convex optimization methods using the concept of strong Lyapunov conditions. Combining this with suitable time scaling factors, we are able to handle both convex and strong convex…
In this paper we continue the analysis of non-diagonalisable hyperbolic systems initiated in \cite{GarJRuz, GarJRuz2}. Here we assume that the system has discontinuous coefficients or more in general distributional coefficients.…
While there has been increasing interest in using neural networks to compute Lyapunov functions, verifying that these functions satisfy the Lyapunov conditions and certifying stability regions remain challenging due to the curse of…
We study integral representations of the Gevrey series solutions of irregular hypergeometric systems under certain assumptions. We prove that, for such systems, any Gevrey series solution, along a coordinate hyperplane of its singular…
We establish the solvability of second order divergence type parabolic systems in Sobolev spaces. The leading coefficients are assumed to be only measurable in one spatial direction on each small parabolic cylinder with the spatial…