Related papers: Normal traces and applications to continuity equat…
We develop a framework that systematically casts the solvability and uniqueness conditions of linearized geometric boundary-value problems into cohomological terms. The theory is designed to be applicable without assumptions on the…
This paper is devoted to the well-posedness theory of piston problem for compressible {combustion} Euler flows with physical ignition condition. A significant combustion phenomena called detonation will occur provided the reactant is…
Generalizing similar results for viscous shock and relaxation waves, we establish sharp pointwise Green function bounds and linearized and nonlinear stability for traveling wave solutions of an abstract viscous combustion model including…
We study the boundary regularity properties and derive a priori pointwise supremum estimates of weak solutions and their derivatives in terms of suitable weighted $L^2$-norms for a class of degenerate parabolic equations that satisfy…
We study fine properties of bounded weak solutions to the incompressible Euler equations whose first derivatives, or only some combinations of them, are Radon measures. As consequences we obtain elementary proofs of the local energy…
In this paper we introduce a nonlinear version of the notion of Anzellotti's pairing between divergence--measure vector fields and functions of bounded variation, motivated by possible applications to evolutionary quasilinear problems. As a…
In this paper, we prove in two dimensions global identifiability of the viscosity in an incompressible fluid by making boundary measurements. The main contribution of this work is to use more natural boundary measurements, the Cauchy…
We consider the problem of deciding $\omega$-regular properties on infinite traces produced by linear loops. Here we think of a given loop as producing a single infinite trace that encodes information about the signs of program variables at…
We consider the initial-boundary value problem of a thermodynamically consistent diffuse interface model for incompressible two-phase flows with unmatched densities in a bounded domain $\Omega\subset\mathbb{R}^3$. Our first aim is to study…
We describe the relationship between the notions of $M$-regular sheaf and $GV$-sheaf in the case of abelian varieties. The former is a natural strengthening of the latter, and we provide an algebraic criterion characterizing it among the…
The focus of this work is on the homogeneous and non-homogeneous Dirichlet problem for the Laplacian in bounded Lipschitz domains (BLD). Although it has been extensively studied by many authors, we would like to return to a number of…
In this paper, we will consider regularity criteria for the Navier--Stokes equation in mixed Lebesgue sum spaces. In particular, we will prove regularity criteria that only require control of the velocity, vorticity, or the positive part of…
In this paper we obtain a very general Gauss-Green formula for weakly differentiable functions and sets of finite perimeter. This result is obtained by revisiting Anzellotti's pairing theory and by characterizing the measure pairing…
This work presents the design of nonlinear stabilization techniques for the finite element discretization of Euler equations in both steady and transient form. Implicit time integration is used in the case of the transient form. A…
Vacuum-energy calculations with ideal reflecting boundaries are plagued by boundary divergences, which presumably correspond to real (but finite) physical effects occurring near the boundary. Our working hypothesis is that the stress tensor…
We analyze the semiclassical Einstein equations for quantum scalar fields satisfying modified dispersion relations. We first discuss in detail the renormalization procedure based on adiabatic subtraction and dimensional regularization. We…
In this paper we study sufficient local conditions for the existence of non-trivial solution to a critical equation for the $p(x)-$Laplacian where the critical term is placed as a source through the boundary of the domain. The proof relies…
Boundaries occur naturally in kinetic equations and boundary effects are crucial for dynamics of dilute gases governed by the Boltzmann equation. We develop a mathematical theory to study the time decay and continuity of Boltzmann solutions…
A novel principle is presented which allows for the proof of bounded weak solutions to a class of physically relevant, strongly coupled parabolic systems exhibiting a formal gradient-flow structure. The main feature of these systems is that…
We consider in this work the problem of minimizing the von Neumann entropy under the constraints that the density of particles, the current, and the kinetic energy of the system is fixed at each point of space. The unique minimizer is a…