Search

We provide a scheme of a recent stability result for a family of Gagliardo-Nirenberg-Sobolev (GNS) inequalities, which is equivalent to an improved entropy - entropy production inequality associated with an appropriate fast diffusion equation (FDE) written in self-similar variables. This result can be rephrased as an improved decay rate of the entropy of the solution of (FDE) for well prepared initial data. There is a family of Caffarelli-Kohn-Nirenberg (CKN) inequalities which has a very similar structure. When the exponents are in a range for which the optimal functions for (CKN) are radially symmetric, we investigate how the methods for (GNS) can be extended to (CKN). In particular, we prove that the solutions of the evolution equation associated to (CKN) also satisfy an improved decay rate of the entropy, after an explicit delay. However, the improved rate is obtained without assuming that initial data are well prepared, which is a major difference with the (GNS) case.

This document comes as supplementary material of the paper Stability in Gagliardo-Nirenberg inequalities by the same authors. It is intended to state a number of classical or elementary statements concerning constants and inequalities for which we are not aware of existing published material or expressions detailed enough for our purpose. We claim no originality on the theoretical results and rely on standard methods in most cases, except that we keep track of the constants and provide constructive estimates.

The purpose of this work is to establish a quantitative and constructive stability result for a class of subcritical Gagliardo-Nirenberg-Sobolev inequalities which interpolates between the logarithmic Sobolev inequality and the standard Sobolev inequality (in dimension larger than three), or Onofri's inequality in dimension two. We develop a new strategy, in which the flow of the fast diffusion equation is used as a tool: a stability result in the inequality is equivalent to an improved rate of convergence to equilibrium for the flow. The regularity properties of the parabolic flow allow us to connect an improved entropy - entropy production inequality during an initial time layer to spectral properties of a suitable linearized problem which is relevant for the asymptotic time layer. Altogether, the stability in the inequalities is measured by a deficit which controls in strong norms (a Fisher information which can be interpreted as a generalized Heisenberg uncertainty principle) the distance to the manifold of optimal functions. The method is constructive and, for the first time, quantitative estimates of the stability constant are obtained, including in the critical case of Sobolev's inequality. To build the estimates, we establish a quantitative global Harnack principle and perform a detailed analysis of large time asymptotics by entropy methods., Comment: This manuscript merges 2007.03674: Stability in Gagliardo-Nirenberg inequalities and 2007.03419: Stability in Gagliardo-Nirenberg inequalities. Supplementary material with several additions including: Chapter 1 (variational methods) and Chapter 6 (Sobolev's inequality)

Schweizer, Sklar and Thorp proved in 1960 that a Menger space $(G,D,T)$ under a continuous $t$-norm $T$, induce a natural topology $\tau$ wich is metrizable. We extend this result to any probabilistic metric space $(G,D,\star)$ provided that the triangle function $\star$ is continuous. We prove in this case, that the topological space $(G,\tau)$ is uniformly homeomorphic to a (deterministic) metric space $(G,\sigma_D)$ for some canonical metric $\sigma_D$ on $G$. As applications, we extend the fixed point theorem of Hicks to probabilistic metric spaces which are not necessarily Menger spaces and we prove a probabilistic Arzela-Ascoli type theorem., Comment: arXiv admin note: text overlap with arXiv:1904.12514

This paper is the second part of the study. In Part~I, self-similar solutions of a weighted fast diffusion equation (WFD) were related to optimal functions in a family of subcritical Caffarelli-Kohn-Nirenberg inequalities (CKN) applied to radially symmetric functions. For these inequalities, the linear instability (symmetry breaking) of the optimal radial solutions relies on the spectral properties of the linearized evolution operator. Symmetry breaking in (CKN) was also related to large-time asymptotics of (WFD), at formal level. A first purpose of Part~II is to give a rigorous justification of this point, that is, to determine the asymptotic rates of convergence of the solutions to (WFD) in the symmetry range of (CKN) as well as in the symmetry breaking range, and even in regimes beyond the supercritical exponent in (CKN). Global rates of convergence with respect to a free energy (or entropy) functional are also investigated, as well as uniform convergence to self-similar solutions in the strong sense of the relative error. Differences with large-time asymptotics of fast diffusion equations without weights will be emphasized.

In this paper we consider a family of Caffarelli-Kohn-Nirenberg interpolation inequalities (CKN), with two radial power law weights and exponents in a subcritical range. We address the question of symmetry breaking: are the optimal functions radially symmetric, or not ? Our intuition comes from a weighted fast diffusion (WFD) flow: if symmetry holds, then an explicit entropy - entropy production inequality which governs the intermediate asymptotics is indeed equivalent to (CKN), and the self-similar profiles are optimal for (CKN). We establish an explicit symmetry breaking condition by proving the linear instability of the radial optimal functions for (CKN). Symmetry breaking in (CKN) also has consequences on entropy - entropy production inequalities and on the intermediate asymptotics for (WFD). Even when no symmetry holds in (CKN), asymptotic rates of convergence of the solutions to (WFD) are determined by a weighted Hardy-Poincar{\'e} inequality which is interpreted as a linearized entropy - entropy production inequality. All our results rely on the study of the bottom of the spectrum of the linearized diffusion operator around the self-similar profiles, which is equivalent to the linearization of (CKN) around the radial optimal functions, and on variational methods. Consequences for the (WFD) flow will be studied in Part II of this work.

We study so{\`u}e infinite-horizon optimization problems on spaces of periodic functions for non periodic Lagrangians. The main strategy relies on the reduction to finite horizon thanks in the introduction of an avering operator.We then provide existence results and necessary optimality conditions in which the corresponding averaged Lagrangian appears.

We study optimal functions in a family of Caffarelli-Kohn-Nirenberg inequalities with a power-law weight, in a regime for which standard symmetrization techniques fail. We establish the existence of optimal functions, study their properties and prove that they are radial when the power in the weight is small enough. Radial symmetry up to translations is true for the limiting case where the weight vanishes, a case which corresponds to a well-known subfamily of Gagliardo-Nirenberg inequalities. Our approach is based on a concentration-compactness analysis and on a perturbation method which uses a spectral gap inequality. As a consequence, we prove that optimal functions are explicit and given by Barenblatt-type profiles in the perturbative regime.

In this paper, we study the characterization of geodesics for a class of distances between probability measures introduced by Dolbeault, Nazaret and Savar e. We first prove the existence of a potential function and then give necessary and suffi cient optimality conditions that take the form of a coupled system of PDEs somehow similar to the Mean-Field-Games system of Lasry and Lions. We also consider an equivalent formulation posed in a set of probability measures over curves.

We use the distances introduced in a previous joint paper to exhibit the gradient flow structure of some drift-diffusion equations for a wide class of entropy functionals. Functional inequalities obtained by the comparison of the entropy with the entropy production functional reflect the contraction properties of the flow. Our approach provides a unified framework for the study of the Kolmogorov-Fokker-Planck (KFP) equation.

We introduce a new class of distances between nonnegative Radon measures in Euclidean spaces. They are modeled on the dynamical characterization of the Kantorovich-Rubinstein-Wasserstein distances proposed by Benamou-Brenier and provide a wide family interpolating between the Wasserstein and the homogeneous (dual) Sobolev distances. From the point of view of optimal transport theory, these distances minimize a dynamical cost to move a given initial distribution of mass to a final configuration. An important difference with the classical setting in mass transport theory is that the cost not only depends on the velocity of the moving particles but also on the densities of the intermediate configurations with respect to a given reference measure. We study the topological and geometric properties of these new distances, comparing them with the notion of weak convergence of measures and the well established Kantorovich-Rubinstein-Wasserstein theory. An example of possible applications to the geometric theory of gradient flows is also given.

The goal of this paper is to give a non-local sufficient condition for generalized Poincar\'e inequalities, which extends the well-known Bakry-Emery condition. Such generalized Poincar\'e inequalities have been introduced by W. Beckner in the gaussian case and provide, along the Ornstein-Uhlenbeck flow, the exponential decay of some generalized entropies which interpolate between the $L^2$ norm and the usual entropy. Our criterion improves on results which, for instance, can be deduced from the Bakry-Emery criterion and Holley-Stroock type perturbation results. In a second step, we apply the same strategy to non-linear equations of porous media type. This provides new interpolation inequalities and decay estimates for the solutions of the evolution problem. The criterion is again a non-local condition based on the positivity of the lowest eigenvalue of a Schr\"odinger operator. In both cases, we relate the Fisher information with its time derivative. Since the resulting criterion is non-local, it is better adapted to potentials with, for instance, a non-quadratic growth at infinity, or to unbounded perturbations of the potential.

Among $\R^3$-valued triples of random vectors $(X,Y,Z)$ having fixed marginal probability laws, what is the best way to jointly draw $(X,Y,Z)$ in such a way that the simplex generated by $(X,Y,Z)$ has maximal average volume? Motivated by this simple question, we study optimal transportation problems with several marginals when the objective function is the determinant or its absolute value.