Hyperbolic Navier-Stokes equations I: Local well-posedness

We replace a Fourier type law by a Cattaneo type law in the derivation of the fundamental equations of fluid mechanics. This leads to hyperbolicly perturbed quasilinear Navier-Stokes equations. For this problem the standard approach by means of quasilinear symmetric hyperbolic systems seems to fail by the fact that finite propagation speed might not be expected. Therefore a somewhat different approach via viscosity solutions is developed in order to prove higher regularity energy estimates for the linearized system. Surprisingly, this method yields stronger results than previous methods, by the fact that we can relax the regularity assumptions on the coefficients to a minimum. This leads to a short and elegant proof of a local-in-time existence result for the corresponding first order quasilinear system, hence also for the original hyperbolicly perturbed Navier-Stokes equations.