For n > d/2, the Sobolev (Bessel potential) space H^n(R^d, C) is known to be a Banach algebra with its standard norm || ||_n and the pointwise product; so, there is a best constant K_{n d} such that || f g ||_{n} <= K_{n d} || f ||_{n} || g ||_{n} for all f, g in this space. In this paper we derive upper and lower bounds for these constants, for any dimension d and any (possibly noninteger) n > d/2. Our analysis also includes the limit cases n -> (d/2) and n -> + Infinity, for which asymptotic formulas are presented. Both in these limit cases and for intermediate values of n, the lower bounds are fairly close to the upper bounds. Numerical tables are given for d=1,2,3,4, where the lower bounds are always between 75% and 88% of the upper bounds.
Following Sarason's classification of the densely defined multiplication operators over the Hardy space, we classify the densely defined multipliers over the Sobolev space, $W^{1,2}[0,1]$. In this paper we find that the collection of such multipliers for the Sobolev space is exactly the Sobolev space itself. This sharpens a result of Shields concerning bounded multipliers. The densely defined multiplication operators over the subspace $W_0 = \{f \in W^{1,2}[0,1] : f(0)=f(1)=0 \}$ are also classified. In this case the densely defined multiplication operators can be written as a ratio of functio…
For a pointwise multiplier $φ$ of the Hardy-Sobolev space $H^2_β$ on the open unit ball $\bn$ in $\cn$, we study spectral properties of the multiplication operator $M_φ: H^2_β\to H^2_β$. In particular, we compute the spectrum and essential spectrum of $M_φ$ and develop the Fredholm theory for these operators.
We study the operator $\mathcal{A}$ of multiplication by an independent variable in a matrix Sobolev space $W^2(M)$. In the cases of finite measures on $[a,b]$ with $(2\times 2)$ and $(3\times 3)$ real continuous matrix weights of full rank it is shown that the operator $\mathcal{A}$ is symmetrizable. Namely, there exist two symmetric operators $\mathcal{B}$ and $\mathcal{C}$ in a larger space such that $\mathcal{A} f = \mathcal{C} \mathcal{B}^{-1} f$, $f\in D(\mathcal{A})$. As a corollary, we obtain some new orthogonality conditions for the associated Sobolev orthogonal polynomials. These con…
In this paper we obtain some practical criteria to bound the multiplication operator in Sobolev spaces with respect to measures in curves. As a consequence of these results, we characterize the weighted Sobolev spaces with bounded multiplication operator, for a large class of weights. To have bounded multiplication operator has important consequences in Approximation Theory: it implies the uniform bound of the zeros of the corresponding Sobolev orthogonal polynomials, and this fact allows to obtain the asymptotic behavior of Sobolev orthogonal polynomials. We also obtain some non-trivial resul…
We show that every vector lattice homomorphism $T$ between Sobolev spaces can be represented by a composition and a multiplication, that is, $T$ is of the form $Tu(x)=u(h(x))g(x)$ for quasi every/almost every $x$ and all $u$.
We investigate some multiplication properties of Kato-Sobolev spaces by adapting the techniques used in the study of Beurling algebras by Coifman and Meyer. We develop an analytic functional calculus for Kato-Sobolev algebras based on an integral representation formula belonging A. P. Calderón. Also we study the Schatten-von Neumann properties of pseudo-differential operators with symbols in the Kato-Sobolev spaces.
We investigate some multiplication properties of Kato-Sobolev spaces by adapting the techniques used in the study of Beurling algebras by Coifman and Meyer. Also we develop an analytic functional calculus for Kato-Sobolev algebras based on an integral representation formula belonging A. P. Calderón.
The question is addressed of when a Sobolev type space, built upon a general rearrangement-invariant norm, on an $n$-dimensional domain, is a Banach algebra under pointwise multiplication of functions. A sharp balance condition among the order of the Sobolev space, the strength of the norm, and the (ir)regularity of the domain is provided for the relevant Sobolev space to be a Banach algebra. The regularity of the domain is described in terms of its isoperimetric function. Related results on the boundedness of the multiplication operator into lower-order Sobolev type spaces are also establishe…
We consider the Sobolev (Bessel potential) spaces H^ell(R^d, C), and their standard norms || ||_ell (with ell integer or noninteger). We are interested in the unknown sharp constant K_{ell m n d} in the inequality || f g ||_{ell} \leqs K_{ell m n d} || f ||_{m} || g ||_n (f in H^m(R^d, C), g in H^n(R^d, C); 0 <= ell <= m <= n, m + n - ell > d/2); we derive upper and lower bounds K^{+}_{ell m n d}, K^{-}_{ell m n d} for this constant. As examples, we give a table of these bounds for d=1, d=3 and many values of (ell, m, n); here the ratio K^{-}_{ell m n d}/K^{+}_{ell m n d} ranges between 0.75 a…
Under certain restrictions we describe the set of all pointwise multipliers in case of Sobolev and Besov spaces of dominating mixed smoothness. In addition we shall give necessary and sufficient conditions for the case that these spaces form algebras with respect to pointwise multiplication.
We consider the Sobolev norms of the pointwise product of two functions, and estimate from above and below the constants appearing in two related inequalities.
We obtain the sharp constant for the Hardy-Sobolev inequality involving the distance to the origin. This inequality is equivalent to a limiting Caffarelli-Kohn-Nirenberg inequality. In three dimensions, in certain cases the sharp constant coincides with the best Sobolev constant.
Banach Hardy-Sobolev Spaces on the Upper Half-plane and Operator Theory
College of Mathematics and Informatics, South China Agricultural University（华南农业大学数学与信息学院）；Faculty of Innovation Engineering, Macau University of Science and Technology（澳门科技大学创新工程学院）
The best constant of the Sobolev inequality in the whole space is attained by the Aubin-Talenti function; however, this does not happen in bounded domains because the break in dilation invariance. In this paper, we investigate a new scale invariant form of the Sobolev inequality in a ball and show that its best constant is attained by functions of the Aubin-Talenti type. Generalization to the Caffarelli-Kohn-Nirenberg inequality in a ball is also discussed.
In this paper we estimate the Sobolev embedding constant on general noncompact Lie groups, for sub-Riemannian inhomogeneous Sobolev spaces endowed with a left invariant measure. The bound that we obtain, up to a constant depending only on the group and its sub-Riemannian structure, reduces to the best known bound for the classical inhomogeneous Sobolev embedding constant on $\mathbb{R}^d$. As an application, we prove local and global Moser--Trudinger inequalities.
We consider the inequalities of Gagliardo-Nirenberg and Sobolev in R^d, formulated in terms of the Laplacian Delta and of the fractional powers D^n := (-Delta)^(n/2) with real n >= 0; we review known facts and present novel results in this area. After illustrating the equivalence between these two inequalities and the relations between the corresponding sharp constants and maximizers, we focus the attention on the L^2 case where, for all sufficiently regular f : R^d -> C, the norm || D^j f||_{L^r} is bounded in terms of || f ||_{L^2} and || D^n f ||_{L^2} for 1/r = 1/2 - (theta n - j)/d, and s…
In this paper the dependence of the best constants in Sobolev and Gagliardo-Nirenberg inequalities on the precise form of the Sobolev space norm is investigated. The analysis is carried out on general graded Lie groups, thus including the cases of $\mathbb R^n$, Heisenberg, and more general stratified Lie groups. The Sobolev norms may be defined in terms of Rockland operators, i.e. the hypoelliptic homogeneous left-invariant differential operators on the group. The best constants are expressed in the variational form as well as in terms of the ground state solutions of the corresponding nonlin…
We generalize in this article the classical Sobolev's and Sobolev's trace inequalities on the Grand Lebesgue Spaces under monomial weight instead the classical Lebesgue or grand Lebesgue Spaces. We will distinguish the classical Sobolev's inequality and the so-called trace Sobolev's inequality.
We present the best constant and the existence of extremal functions for an Improved Hardy-Sobolev inequality. We prove that, under a proper transformation, this inequality is equivalent to the Sobolev inequality in $\mathbb{R}^N$. We also discuss the connection of the related functional spaces and as a result we obtain some Caffarelli - Kohn - Nirenberg inequalities. Our starting point is the existence of a minimizer for the Bliss' inequality and the indirect dependence of the Hardy inequality at the origin.
In this paper, we propose a method for estimating the Sobolev type embedding constant on a domain with minimally smooth boundary. We estimate the embedding constant by constructing an extension operator and computing its operator norm. We also present some examples of estimating the embedding constant for certain domains.
We consider the imbedding inequality || f ||_{L^r(R^d)} <= S_{r,n,d} || f ||_{H^{n}(R^d)}; H^{n}(R^d) is the Sobolev space (or Bessel potential space) of L^2 type and (integer or fractional) order n. We write down upper bounds for the constants S_{r, n, d}, using an argument previously applied in the literature in particular cases. We prove that the upper bounds computed in this way are in fact the sharp constants if (r=2 or) n > d/2, r=infinity, and exhibit the maximising functions. Furthermore, using convenient trial functions, we derive lower bounds on S_{r,n,d} for n > d/2, 2 < r < infinit…
In this article we generalize the classical Sobolev's and Sobolev's trace inequalities on the Grand Lebesgue Spaces instead the classical Lebesgue Spaces. We will distinguish the classical Sobolev's inequality and the so-called trace Sobolev's inequality. We consider for simplicity only the case of whole space.
We extend in this article the classical imbedding theorems for fractional Lebesgue-Sobolev's spaces into the so-called Grand Lebesgue spaces, with sharp constant evaluation.
The aim of this paper is to study the spectral gap and the logarithmic Sobolev constant for continuous spin systems. A simple but general result for estimating the spectral gap of finite dimensional systems is given by Theorem 1.1, in terms of the spectral gap for one-dimensional marginals. The study of the topic provides us a chance, and it is indeed another aim of the paper, to justify the power of the results obtained previously. The exact order in dimension one (Proposition 1.4), and then the precise leading order and the explicit positive regions of the spectral gap and the logarithmic So…
The best constants of two kinds of discrete Sobolev inequalities on the C60 fullerene buckyball are obtained. All the eigenvalues of discrete Laplacian $A$ corresponding to the buckyball are found. They are roots of algebraic equation at most degree $4$ with integer coefficients. Green matrix $G(a)=(A+a I)^{-1}\ (0<a<\infty)$ and the pseudo Green matrix $G_*=A^{\dagger}$ are obtained by using computer software Mathematica. Diagonal values of $G_*$ and $G(a)$ are identical and they are equal to the best constants of discrete Sobolev inequalities.
Degenerate constants in degree inequalities for Sobolev circle maps: on some problems posed by Brezis
Beijing International Center for Mathematical Research, Peking University（北京大学北京国际数学研究中心）；School of Mathematical Sciences, Peking University（北京大学数学科学学院）
The main goal of this note is to show that (not necessarily holomorphic) multipliers of a wide class of normed spaces of continuous functions over a connected Hausdorff topological space cannot attain their multiplier norms, unless they are constants. As an application, a contractive multiplication operator is either a multiplication with a constant, or is completely non-unitary. Additionally we explore possibilities for a multiplication operator to be (weakly) compact and (uniformly) mean ergodic.
The embedding constants of the Sobolev spaces $\mathring{W}^n_2[0;1] \hookrightarrow \mathring{W}^k_\infty[0; 1]$ ($0\leqslant k \leqslant n-1$) are studied. A relation of the embedding constants with the norms of the functionals $f\mapsto f^{(k)}(a)$ in the space $\mathring{W}^n_2[0;1]$ is given. An explicit form of the functions $g_{n;k}\in \mathring{W}^n_2[0;1]$ on which these functionals attain their norm is found. These functions are also to be extremal for the embedding constants. A relation of the embedding constants to the Legendre polynomials is put forward. A detailed study is made o…
We study the sharp constant in the Hardy inequality for fractional Sobolev spaces defined on open subsets of the Euclidean space. We first list some properties of such a constant, as well as of the associated variational problem. We then restrict the discussion to open convex sets and compute such a sharp constant, by constructing suitable supersolutions by means of the distance function. Such a method of proof works only for $s\,p\ge 1$ or for $Ω$ being a half-space. We exhibit a simple example suggesting that this method can not work for $s\,p<1$ and $Ω$ different from a half-space. The case…
In this paper, we study the multiplication operators on the Bloch space of a bounded homogeneous domain in $\mathbb{C}^n$. Specifically, we characterize the bounded and the compact multiplication operators, establish estimates on the operator norm, and determine the spectrum. We prove that the only bounded multiplication operators on the Bloch space of the polydisk are those whose symbol is constant. Furthermore, we prove that for a large class of bounded symmetric domains, the isometric multiplication operators are those whose symbol is a constant of modulus one.
This paper is concerned with an explicit value of the embedding constant from $W^{1,q}(Ω)$ to $L^{p}(Ω)$ for a bounded domain $Ω\subset\mathbb{R}^N~(N\in\mathbb{N})$, where $1\leq q\leq p\leq \infty$. To obtain this value, we previously proposed a formula for estimating the embedding constant on bounded and unbounded Lipschitz domains by estimating the norm of Stein's extension operator, in the article (K. Tanaka, K. Sekine, M. Mizuguchi, and S. Oishi, Estimation of Sobolev-type embedding constant on domains with minimally smooth boundary using extension operator, Journal of Inequalities and A…
We study functional inequalities for Markov chains on discrete spaces with entropic Ricci curvature bounded from below. Our main results are that when curvature is non-negative, but not necessarily positive, the spectral gap, the Cheeger isoperimetric constant and the modified logarithmic Sobolev constant of the chain can be bounded from below by a constant that only depends on the diameter of the space, with respect to a suitable metric. These estimates are discrete analogues of classical results of Riemannian geometry obtained by Li and Yau, Buser and Wang.
We extend the classical Hardy-Sobolev-Poincare-Wirtinger inequalities from the ordinary Lebesgue-Riesz spaces into the Grand Lebesgue ones, with exact constants evaluation.
We give a comprehensive study of interpolation inequalities for periodic functions with zero mean, including the existence of and the asymptotic expansions for the extremals, best constants, various remainder terms, etc. Most attention is paid to the critical (logarithmic) Sobolev inequality in the two-dimensional case, although a number of results concerning the best constants in the algebraic case and different space dimensions are also obtained.
The paper is concerned with a sequence of constants which appear in several problems. These problems include the minimal eigenvalue of certain positive definite Toeplitz matrices, the minimal eigenvalue of some higher-order ordinary differential operators, the norm of the Green kernels of these operators, the best constant in a Wirtinger-Sobolev inequality, and the conditioning of a special least squares problem. The main result of the paper gives the asymptotics of this sequence.
We prove a trace Hardy type inequality with the best constant on the polyhedral convex cones which generalizes recent results of Alvino et al. and of Tzirakis on the upper half space. We also prove some trace Hardy-Sobolev-Maz'ya type inequalities which generalize the recent results of Filippas et al.. In applications, we derive some Hardy type inequalities and Hardy-Sobolev-Maz'ya type inequalities for fractional Laplacian. Finally, we prove the logarithmic Sobolev trace inequalities and logarithmic Hardy trace inequalities on the upper half spaces. The best constants in these inequalities ar…
We consider the family of non-local and non-convex functionals proposed and investigated by J. Bourgain, H. Brezis and H.-M. Nguyen in a series of papers of the last decade. It was known that this family of functionals Gamma-converges to a suitable multiple of the Sobolev norm or the total variation, depending on the summability exponent, but the exact constants and the structure of recovery families were still unknown, even in dimension one. We prove a Gamma-convergence result with explicit values of the constants in any space dimension. We also show the existence of recovery families consist…
This note presents a method based on Feynman-Kac semigroups for logarithmic Sobolev inequalities. It follows the recent work of Bonnefont and Joulin on intertwining relations for diffusion operators, formerly used for spectral gap inequalities, and related to perturbation techniques. In particular, it goes beyond the Bakry-{É}mery criterion and allows to investigate high-dimensional effects on the optimal logarithmic Sobolev constant.The method is illustrated on particular examples (namely Subbotin distributions and double-well potentials), for which explicit dimension-free bounds on the latte…
In this paper, we study the best constant of the following discrete Hardy-Littlewood-Sobolev inequality, \begin{equation} \sum_{i,j,i\neq j}\frac{f_{i}g_{j}}{\mid i-j\mid^{n-α}}\leq C_{r,s,α} |f|_{l^r} |g|_{l^s}, \end{equation}where $i,j\in \mathbb Z^n$, $r,s>1$, $0<α<n$, and $\frac 1r+\frac 1s+\frac {n-α}n\geq 2$. Indeed, we can prove that the best constant is attainable in the supercritical case $\frac 1r+\frac 1s+\frac {n-α}n> 2$.
We prove a sharp quantitative version of the $p$-Sobolev inequality for any $1<p<n$, with a control on the strongest possible distance from the class of optimal functions. Surprisingly, the sharp exponent is constant for $p<2$, while it depends on $p$ for $p>2$.
