We show that the first order Sobolev spaces on cuspidal symmetric domains can be characterized via pointwise inequalities. In particular, they coincide with the Hajlasz-Sobolev spaces.
We study extensions of Sobolev and BV functions on infinite-dimensional domains. Along with some positive results we present a negative solution of the long-standing problem of existence of Sobolev extensions of functions in Gaussian Sobolev spaces from a convex domain to the whole space.
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 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. Afte
r 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 suitable values of j,n,theta (with j,n possibly noninteger). In the special cases theta = 1 and theta = j/n + d/2 n (i.e., r = + infinity), related to previous results of Lieb and Ilyin, the sharp constants and the maximizers can be found explicitly; we point out that the maximizers can be expressed in terms of hypergeometric, Fox and Meijer functions. For the general L^2 case, we present two kinds of upper bounds on the sharp constants: the first kind is suggested by the literature, the second one is an alternative proposal of ours, often more precise than the first one. We also derive two kinds of lower bounds. Combining all the available upper and lower bounds, the Gagliardo-Nirenberg and Sobolev sharp constants are confined to quite narrow intervals. Several examples are given.
For positive semidefinite matrices $A$ and $B$, Ando and Zhan proved the inequalities $||| f(A)+f(B) ||| ge ||| f(A+B) |||$ and $||| g(A)+g(B) ||| le ||| g(A+B) |||$, for any unitarily invariant norm, and for any non-negative operator monotone $f$ on
$[0,infty)$ with inverse function $g$. These inequalities have very recently been generalised to non-negative concave functions $f$ and non-negative convex functions $g$, by Bourin and Uchiyama, and Kosem, respectively. In this paper we consider the related question whether the inequalities $||| f(A)-f(B) ||| le ||| f(|A-B|) |||$, and $||| g(A)-g(B) ||| ge ||| g(|A-B|) |||$, obtained by Ando, for operator monotone $f$ with inverse $g$, also have a similar generalisation to non-negative concave $f$ and convex $g$. We answer exactly this question, in the negative for general matrices, and affirmatively in the special case when $Age ||B||$. In the course of this work, we introduce the novel notion of $Y$-dominated majorisation between the spectra of two Hermitian matrices, where $Y$ is itself a Hermitian matrix, and prove a certain property of this relation that allows to strengthen the results of Bourin-Uchiyama and Kosem, mentioned above.