Machine-Proof of Entropy Inequalities

Author(s):  
Raymond W Yeung ◽  
Cheuk Ting Li
Keyword(s):  
2012 ◽  
Vol 22 (08) ◽  
pp. 1250014 ◽  
Author(s):  
FRÉDÉRIC COQUEL ◽  
EDWIGE GODLEWSKI ◽  
NICOLAS SEGUIN

We propose a relaxation framework for general fluid models which can be understood as a natural extension of the Suliciu approach in the Euler setting. In particular, the relaxation system may be totally degenerate. Several stability properties are proved. The relaxation procedure is shown to be efficient in the numerical approximation of the entropy weak solutions of the original PDEs. The numerical method is particularly simple in the case of a fully degenerate relaxation system for which the solution of the Riemann problem is explicit. Indeed, the Godunov solver for the homogeneous relaxation system results in an HLLC-type solver for the equilibrium model. Discrete entropy inequalities are established under a natural Gibbs principle.


1996 ◽  
Vol 210 (6) ◽  
pp. 377-381 ◽  
Author(s):  
R. Horodecki ◽  
P. Horodecki ◽  
M. Horodecki

2002 ◽  
Vol 30 (4) ◽  
pp. 1959-1976 ◽  
Author(s):  
Paolo Dai Pra ◽  
Anna Maria Paganoni ◽  
Gustavo Posta

2001 ◽  
Vol 59 (2) ◽  
pp. 391-399 ◽  
Author(s):  
Huazhong Tang ◽  
Tao Tang ◽  
Jinghua Wang

2019 ◽  
Vol 178 (2) ◽  
pp. 319-378 ◽  
Author(s):  
Eric A. Carlen ◽  
Jan Maas

AbstractWe study dynamical optimal transport metrics between density matrices associated to symmetric Dirichlet forms on finite-dimensional $$C^*$$ C ∗ -algebras. Our setting covers arbitrary skew-derivations and it provides a unified framework that simultaneously generalizes recently constructed transport metrics for Markov chains, Lindblad equations, and the Fermi Ornstein–Uhlenbeck semigroup. We develop a non-nommutative differential calculus that allows us to obtain non-commutative Ricci curvature bounds, logarithmic Sobolev inequalities, transport-entropy inequalities, and spectral gap estimates.


2019 ◽  
Vol 80 (2) ◽  
pp. 924-956
Author(s):  
Christophe Berthon ◽  
Arnaud Duran ◽  
Françoise Foucher ◽  
Khaled Saleh ◽  
Jean De Dieu Zabsonré

1996 ◽  
Vol 65 (216) ◽  
pp. 1439-1462 ◽  
Author(s):  
F. Bouchut ◽  
Ch. Bourdarias ◽  
B. Perthame

Sign in / Sign up

Export Citation Format

Share Document