Interpolation Inequalities Research Articles

Logarithmically refined Gagliardo–Nirenberg interpolation and application to blow-up exclusion in a singular chemotaxis–consumption system

A family of interpolation inequalities is derived, which differ from estimates of classical Gagliardo–Nirenberg type through the appearance of certain logarithmic deviations from standard Lebesgue norms in zero-order expressions. Optimality of the obtained inequalities is shown. A subsequent application reveals that when posed under homogeneous Neumann boundary conditions in smoothly bounded planar domains and with suitably regular initial data, for any choice of \alpha>0 the Keller–Segel-type migration–consumption system u_{t} = \Delta (uv^{-\alpha}) , v_{t} = \Delta v-uv , admits a global classical solution.

Logarithmic Sobolev inequalities for bounded domains and applications to drift-diffusion equations

We prove logarithmic Sobolev inequalities on higher-dimensional bounded smooth domains based on novel Gagliardo-Nirenberg type interpolation inequalities. Moreover, we use them to address the long-time dynamics of some nonlinear nonlocal drift-diffusion models and prove the exponential decay of their solutions to constant steady states.

Inverse Problems for One-Dimensional Fluid-Solid Interaction Models

AbstractWe consider a one-dimensional fluid-solid interaction model governed by the Burgers equation with a time varying interface. We discuss the inverse problem of determining the shape of the interface from Dirichlet and Neumann data at one endpoint of the spatial interval. In particular, we establish unique results and some conditional stability estimates. For the proofs, we use and adapt some lateral estimates that, in turn, rely on appropriate Carleman and interpolation inequalities.

Entropic uncertainty principle for mixed states

The entropic uncertainty principle in the form proven by Maassen and Uffink yields a fundamental inequality that is prominently used in many places all over the field of quantum information theory. In this paper, we provide a family of versatile generalizations of this relation. Our proof methods build on a deep connection between entropic uncertainties and interpolation inequalities for the doubly stochastic map that links probability distributions in two measurement bases. In contrast to the original relation, our generalization also incorporates the von Neumann entropy of the underlying quantum state. These results can be directly used to bound the extractable randomness of a source-independent quantum random number generator in the presence of fully quantum attacks, to certify entanglement between trusted parties, or to bound the entanglement of a system with an untrusted environment. Published by the American Physical Society 2024

An interpolation inequality and its applications to stability of fractional resolvent families

An interpolation inequality and its applications to stability of fractional resolvent families

Compact Embeddings for Fractional Super and Sub Harmonic Functions with Radial Symmetry

We prove compactness of the embeddings in Sobolev spaces for fractional super and sub harmonic functions with radial symmetry. The main tool is a pointwise decay for radially symmetric functions belonging to a function space defined by finite homogeneous Sobolev norm together with finite L2\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$L^2$$\\end{document} norm of the Riesz potentials. As a byproduct we prove also existence of maximizers for the interpolation inequalities in Sobolev spaces for radially symmetric fractional super and sub harmonic functions.

Corrigendum to “Logarithmic Sobolev and interpolation inequalities on the sphere: Constructive stability results”

This corrigendum corrects several mistakes in Appendix B.3 of [Ann. Inst. H. Poincaré Anal. Non Linéaire (2023). .

A generic functional inequality and Riccati pairs: an alternative approach to Hardy-type inequalities

We present a generic functional inequality on Riemannian manifolds, both in additive and multiplicative forms, that produces well known and genuinely new Hardy-type inequalities. For the additive version, we introduce Riccati pairs that extend Bessel pairs developed by Ghoussoub and Moradifam (Proc. Natl. Acad. Sci. USA, 2008 & Math. Ann., 2011). This concept enables us to give very short/elegant proofs of a number of celebrated functional inequalities on Riemannian manifolds with sectional curvature bounded from above by simply solving a Riccati-type ODE. Among others, we provide alternative proofs for Caccioppoli inequalities, Hardy-type inequalities and their improvements, spectral gap estimates, interpolation inequalities, and Ghoussoub-Moradifam-type weighted inequalities. Concerning the multiplicative form, we prove sharp uncertainty principles on Cartan-Hadamard manifolds, i.e., Heisenberg-Pauli-Weyl uncertainty principles, Hydrogen uncertainty principles and Caffarelli-Kohn-Nirenberg inequalities. Some sharpness and rigidity phenomena are also discussed.

Global existence and exponential decay of the 2D density‐dependent Bénard system with vacuum in bounded domain

In this paper, an initial boundary value problem of the 2D incompressible Bénard system is concerned. The global existence of a unique strong solution is established by the energy method and a key logarithmic interpolation inequality. In particular, the exponential decay rates for the gradients of velocity and temperature field are obtained.

L∞\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$L^\\infty $$\\end{document} a-priori estimates for subcritical p-laplacian equations with a Carathéodory non-linearity

Let us consider a quasi-linear boundary value problem -Δpu=f(x,u),\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$ -\\Delta _p u= f(x,u),$$\\end{document} in Ω,\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\Omega ,$$\\end{document} with Dirichlet boundary conditions, where Ω⊂RN\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\Omega \\subset \\mathbb {R}^N $$\\end{document}, with p<N,\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$p<N,$$\\end{document} is a bounded smooth domain strictly convex, and the non-linearity f is a Carathéodory function p-super-linear and subcritical. We provide L∞\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$L^\\infty $$\\end{document} a priori estimates for weak solutions, in terms of their Lp∗\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$L^{p^*}$$\\end{document}-norm, where p∗=NpN-p\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$p^*= \\frac{Np}{N-p}\\ $$\\end{document} is the critical Sobolev exponent. No hypotheses on the sign of the solutions, neither of the non-linearities are required. This method is based in elliptic regularity for the p-Laplacian combined either with Gagliardo–Nirenberg or with Caffarelli–Kohn–Nirenberg interpolation inequalities. By a subcritical non-linearity we mean, for instance, |f(x,s)|≤|x|-μf~(s),\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$|f(x,s)|\\le |x|^{-\\mu }\\, \ ilde{f}(s),$$\\end{document} where μ∈(0,p),\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\mu \\in (0,p),$$\\end{document} and f~(s)/|s|pμ∗-1→0\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\ ilde{f}(s)/|s|^{p_{\\mu }^*-1}\\rightarrow 0$$\\end{document} as |s|→∞\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$|s|\\rightarrow \\infty $$\\end{document}, here pμ∗:=p(N-μ)N-p\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$p^*_{\\mu }:=\\frac{p(N-\\mu )}{N-p}$$\\end{document} is the critical Hardy–Sobolev exponent. Our non-linearities includes non-power non-linearities. In particular we prove that when f(x,s)=|x|-μ|s|pμ∗-2s[log(e+|s|)]α,\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$f(x,s)=|x|^{-\\mu }\\,\\frac{|s|^{p^*_{\\mu }-2}s}{\\big [\\log (e+|s|)\\big ]^\\alpha },$$\\end{document} with μ∈[1,p),\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\mu \\in [1,p),$$\\end{document} then, for any ε>0\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\varepsilon >0$$\\end{document} there exists a constant Cε>0\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$C_\\varepsilon >0$$\\end{document} such that for any solution u∈H01(Ω)\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$u\\in H^1_0(\\Omega )$$\\end{document}, the following holds [log(e+‖u‖∞)]α≤Cε(1+‖u‖p∗)(pμ∗-p)(1+ε),\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\begin{aligned} \\Big [\\log \\big (e+\\Vert u\\Vert _{\\infty }\\big )\\Big ]^\\alpha \\le C_\\varepsilon \\, \\Big (1+\\Vert u\\Vert _{p^*}\\Big )^{\\, (p^*_{\\mu }-p)(1+\\varepsilon )}\\,, \\end{aligned}$$\\end{document}where Cε\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$C_\\varepsilon $$\\end{document} is independent of the solution u.

Existence of solutions to a nonlinear fractional diffusion equation with exponential growth

In this paper, we study a Cauchy problem for a space–time fractional diffusion equation with exponential nonlinearity. Based on the standard Lp-Lq estimates of strongly continuous semigroup generated by fractional Laplace operator, we investigate the existence of global solutions for initial data with small norm in Orlicz space exp Lp(Rd) and a time weighted Lr(Rd) space. In the framework of the Hölder interpolation inequality, we also discuss the existence of local solutions without the Orlicz space.

An interpolation inequality involving LlogL$L\log L$ spaces and application to the characterization of blow‐up behavior in a two‐dimensional Keller–Segel–Navier–Stokes system

AbstractIn a smoothly bounded two‐dimensional domain and for a given nondecreasing positive unbounded , for each and the inequality is shown to hold for any positive fulfilling This is thereafter applied to nonglobal solutions of the Keller–Segel system coupled to the incompressible Navier–Stokes equations through transport and buoyancy, and it is seen that in any such blow‐up event the corresponding population density cannot remain uniformly integrable over near its explosion time.

On Gaussian interpolation inequalities

On Gaussian interpolation inequalities

Sobolev embeddings for kinetic Fokker-Planck equations

We introduce intrinsic Sobolev-Slobodeckij spaces for a class of ultra-parabolic Kolmogorov type operators satisfying the weak Hörmander condition. We prove continuous embeddings into Lorentz and intrinsic Hölder spaces. We also prove approximation and interpolation inequalities by means of an intrinsic Taylor expansion, extending analogous results for Hölder spaces. The embedding at first order is proved by adapting a method by Luc Tartar which only exploits scaling properties of the intrinsic quasi-norm, while for higher orders we use uniform kernel estimates.

Sparse additive support vector machines in bounded variation space

Abstract We propose the total variation penalized sparse additive support vector machine (TVSAM) for performing classification in the high-dimensional settings, using a mixed $l_{1}$-type functional regularization scheme to induce sparsity and smoothness simultaneously. We establish a representer theorem for TVSAM, which turns the infinite-dimensional problem into a finite-dimensional one, thereby providing computational feasibility. Even for the least squares loss, our result fills a gap in the literature when compared with the existing representer theorem. Theoretically, we derive some risk bounds for TVSAM under both exact sparsity and near sparsity, and with arbitrarily specified internal knots. In this process, we develop an important interpolation inequality for the space of functions of bounded variation, relying on analytic techniques such as mollification and partition of unity. An efficient implementation based on the alternating direction method of multipliers is employed.

A MULTIPOINT BOUNDARY VALUE PROBLEM IN TIME FOR A $2B$-PARABOLIC EQUATION WITH DEGENERACY

One of the most important issues in the general theory of differential equations with partial derivatives is establishing the solvability of boundary value problems. Among the boundary value problems for equations with partial derivatives, problems with nonlocal boundary conditions occupy an important place. Such interest in such problems is caused both by their rich practical application (the process of diffusion, moisture distortion in soils, plasma physics, etc.), and by the needs of the general theory of boundary value problems. A general multipoint boundary value problem for nonuniformly $2b$-parabolic equations with degeneracy is studied. The coefficients of parabolic equations and boundary conditions allow power degeneracy of arbitrary order in terms of time variable and spatial variables at some set of points. To solve the given multipoint boundary value problem, solutions of problems with smooth coefficients in Hölder spaces with the appropriate norm are studied. With the help of interpolation inequalities and a priori estimates, estimates of the solution of auxiliary problems and their derivatives in special Gelder spaces are established. Using the theorems of Ross and Archel, a convergent sequence is distinguished from the compact sequence of solutions of the auxiliary problems, the limiting value of which is the solution of the multipoint boundary value problem in time for the $2b$-parabolic equation with degeneracy. Estimates of the solution of the given problem are established in Hölder spaces with power-law weights. The order of the power weight is determined by the order of features of the coefficients of the equations and the boundary conditions. With certain restrictions on the right-hand side of the equation and boundary conditions, an integral image of the given problem is obtained.

Logarithmic Sobolev and interpolation inequalities on the sphere: Constructive stability results

We consider Gagliardo–Nirenberg inequalities on the sphere which interpolate between the Poincaré inequality and the Sobolev inequality, and include the logarithmic Sobolev inequality as a special case. We establish explicit stability results in the subcritical regime using spectral decomposition techniques, and entropy and carré du champ methods applied to nonlinear diffusion flows.

Keller and Lieb–Thirring estimates of the eigenvalues in the gap of Dirac operators

We estimate the lowest eigenvalue in the gap of the essential spectrum of a Dirac operator with mass in terms of a Lebesgue norm of the potential. Such a bound is the counterpart for Dirac operators of the Keller estimates for the Schrödinger operator, which are equivalent to some Gagliardo–Nirenberg–Sobolev interpolation inequalities. Domain, self-adjointness, optimality and critical values of the norms are addressed, while the optimal potential is given by a Dirac equation with a Kerr nonlinearity. A new critical bound appears, which is the smallest value of the norm of the potential for which eigenvalues may reach the bottom of the gap in the essential spectrum. The Keller estimate is then extended to a Lieb–Thirring inequality for the eigenvalues in the gap. Most of our result are established in the Birman–Schwinger reformulation.

Fractional Gagliardo–Nirenberg interpolation inequality and bounded mean oscillation

Fractional Gagliardo–Nirenberg interpolation inequality and bounded mean oscillation

Lower N-weighted Ricci curvature bound with 𝜀-range and displacement convexity of entropies

In this paper, we provide a characterization of a lower [Formula: see text]-weighted Ricci curvature bound for [Formula: see text] with [Formula: see text]-range introduced by Lu–Minguzzi–Ohta [Comparison theorems on weighted Finsler manifolds and space-times with [Formula: see text]-range, Anal. Geom. Metr. Spaces 10(1) (2022) 1–30] in terms of a convexity of entropies over Wasserstein space. We further derive various interpolation inequalities and functional inequalities.