We prove several optimal Moser–Trudinger and logarithmic Hardy–Littlewood–Sobolev inequalities for systems in two dimensions. These include inequalities on the sphere $S^2$, on a bounded domain $\Omega \subset {ℝ}^2$ and on all of ${ℝ}^2$. In some cases we also address the question of existence of minimizers.

We extend Kahane-Khinchin type inequalities to the case p > -2. As an application we verify the slicing problem for the unit balls of finite-dimensional spaces that embed in $L_p$, p > -2.

Let $X={\sum }_{i=1}^k{a}_i{U}_i$, $Y={\sum }_{i=1}^k{b}_i{U}_i$, where the $U_i$ are independent random vectors, each uniformly distributed on the unit sphere in ℝⁿ, and $a_i,b_i$ are real constants. We prove that if $b{²}_i$ is majorized by $a{²}_i$ in the sense of Hardy-Littlewood-Pólya, and if Φ: ℝⁿ → ℝ is continuous and bisubharmonic, then EΦ(X) ≤ EΦ(Y). Consequences include most of the known sharp $L²-L^p$ Khinchin inequalities for sums of the form X. For radial Φ, bisubharmonicity is necessary as well as sufficient for the majorization inequality to always hold. Counterparts...

We prove a Sobolev and a Morrey type inequality involving the mean curvature and the tangential gradient with respect to the level sets of the function that appears in the inequalities. Then, as an application, we establish a priori estimates for semistable solutions of $–{\Delta }_{p}u=g\left(u\right)$ in a smooth bounded domain $\Omega \subset {ℝ}^n$. In particular, we obtain new $L^r$ and $W^{1,r}$ bounds for the extremal solution $u^{☆}$ when the domain is strictly convex. More precisely, we prove that $u^{☆}\in L^{\infty }\left(\Omega \right)$ if $n\le p+2$ and $u^{☆}\in L^{\frac{np}{n-p-2}}\left(\Omega \right)\cap W_0^{1,p}\left(\Omega \right)$ if $n>p+2$.

An inequality of Brascamp and Lieb provides a bound on the covariance of two functions with respect to log-concave measures. The bound estimates the covariance by the product of the $L^2$ norms of the gradients of the functions, where the magnitude of the gradient is computed using an inner product given by the inverse Hessian matrix of the potential of the log-concave measure. Menz and Otto [Uniform logarithmic Sobolev inequalities for conservative spin systems with super-quadratic single-site...

We prove trace inequalities of type $\left|\right|u^{\text{'}}{\left|\right|}_{L^2}^2+{\sum }_{j\in \mathbb{Z}}{k}_j|u\left(a_j\right){|}^2{\ge \lambda \left|\right|u\left|\right|}_{L^2}^2$ where $u\in H^1\left(ℝ\right)$, under suitable hypotheses on the sequences ${a_j}_{j\in \mathbb{Z}}$ and ${k_j}_{j\in \mathbb{Z}}$, with the first sequence increasing and the second bounded.

We consider the operator $-d^2/d{r}^2-V$ in $L_2\left({ℝ}_{+}\right)$ with Dirichlet boundary condition at the origin. For the moments of its negative eigenvalues we prove the bound $\mathrm{tr}{(-d^2/d{r}^2-V)}_{-}^{\gamma }\le C_{\gamma ,\alpha }{\int }_{{ℝ}_{+}}{(V\left(r\right)-1/\left(4r^2\right))}_{+}^{\gamma +(1+\alpha )/2}{r}^{\alpha }dr$ for any $\alpha \in [0,1)$ and $\gamma \ge (1-\alpha )/2$. This includes a Lieb-Thirring inequality in the critical endpoint case.

We prove some results in the context of isoperimetric inequalities with quantitative terms. In the $2$-dimensional case, our main contribution is a method for determining the optimal coefficients $c_1,...,c_m$ in the inequality $\delta P\left(E\right)\ge {\sum }_{k=1}^m{c}_k\alpha {\left(E\right)}^k+o\left(\alpha {\left(E\right)}^m\right)$, valid for each Borel set $E$ with positive and finite area, with $\delta P\left(E\right)$ and $\alpha \left(E\right)$ being, respectively, the $\mathrm{𝑖𝑠𝑜𝑝𝑒𝑟𝑖𝑚𝑒𝑡𝑟𝑖𝑐𝑑𝑒𝑓𝑖𝑐𝑖𝑡}$ and the $\mathrm{𝐹𝑟𝑎𝑒𝑛𝑘𝑒𝑙𝑎𝑠𝑦𝑚𝑚𝑒𝑡𝑟𝑦}$ of $E$. In $n$ dimensions, besides proving existence and regularity properties of minimizers for a wide class of $\mathrm{𝑞𝑢𝑎𝑛𝑡𝑖𝑡𝑎𝑡𝑖𝑣𝑒𝑖𝑠𝑜𝑝𝑒𝑟𝑖𝑚𝑒𝑡𝑟𝑖𝑐𝑞𝑢𝑜𝑡𝑖𝑒𝑛𝑡𝑠}$ including the lower semicontinuous extension of $\frac{\delta P\left(E\right)}{\alpha {\left(E\right)}^2}$, we...

The authors first establish the Marcinkiewicz-Zygmund inequalities with exponent $p$ ($1\le p\le 2$) for $m$-pairwise negatively quadrant dependent ($m$-PNQD) random variables. By means of the inequalities, the authors obtain some limit theorems for arrays of rowwise $m$-PNQD random variables, which extend and improve the corresponding results in [Y. Meng and Z. Lin (2009)] and [H. S. Sung (2013)]. It is worthy to point out that the open problem of [H. S. Sung, S. Lisawadi, and A. Volodin (2008)] can be...

Suppose Δ̃ is the Laplace-Beltrami operator on the sphere $S^{d-1},{\Delta }_{\rho }^{k}f\left(x\right)={\Delta }_{\rho }{\Delta }_{\rho }^{k-1}f\left(x\right)$ and ${\Delta }_{\rho }f\left(x\right)=f\left(\rho x\right)-f\left(x\right)$ where ρ ∈ SO(d). Then ${\omega }^m{(f,t)}_{L_p\left(S^{d-1}\right)}\equiv sup\parallel {\Delta }_{\rho }^{m}f{\parallel }_{L_p\left(S^{d-1}\right)}:\rho \in SO\left(d\right),ma{x}_{x\in S^{d-1}}\rho x·x\ge cost$ and $K̃ₘ{(f,t^m)}_p\equiv inf\parallel f-g{\parallel }_{L_p\left(S^{d-1}\right)}+t^m\parallel {(-\Delta ̃)}^{m/2}g{\parallel }_{L_p\left(S^{d-1}\right)}:g\in \left({(-\Delta ̃)}^{m/2}\right)$ are equivalent for 1 < p < ∞. We note that for even m the relation was recently investigated by the second author. The equivalence yields an extension of the results on sharp Jackson inequalities on the sphere. A new strong converse inequality for $L_p\left(S^{d-1}\right)$ given in this paper plays a significant role in the proof.

We consider the quasilinear equation ${\Delta }_{p}u+K\left(\right|x\left|\right)u^q=0$, and present the proof of the local existence of positive radial solutions near $0$ under suitable conditions on $K$. Moreover, we provide a priori estimates of positive radial solutions near $\infty$ when $r^{-\ell }K\left(r\right)$ for $\ell \ge -p$ is bounded near $\infty$.

For a function $f\in L_{loc}^p\left(ℝⁿ\right)$ the notion of p-mean variation of order 1, ${₁}^p(f,ℝⁿ)$ is defined. It generalizes the concept of F. Riesz variation of functions on the real line ℝ¹ to ℝⁿ, n > 1. The characterisation of the Sobolev space $W^{1,p}\left(ℝⁿ\right)$ in terms of ${₁}^p(f,ℝⁿ)$ is directly related to the characterisation of $W^{1,p}\left(ℝⁿ\right)$ by Lipschitz type pointwise inequalities of Bojarski, Hajłasz and Strzelecki and to the Bourgain-Brezis-Mironescu approach.

We study some geometric properties associated with the $t$-geometric means $A{♯}_{t}B:=A^{1/2}{\left(A^{-1/2}B{A}^{-1/2}\right)}^t{A}^{1/2}$ of two $n\times n$ positive definite matrices $A$ and $B$. Some geodesical convexity results with respect to the Riemannian structure of the $n\times n$ positive definite matrices are obtained. Several norm inequalities with geometric mean are obtained. In particular, we generalize a recent result of Audenaert (2015). Numerical counterexamples are given for some inequality questions. A conjecture on the geometric mean inequality regarding...

We consider the Yamabe type family of problems $\left(P_{\epsilon }\right):-\Delta u_{\epsilon }=u_{\epsilon }^{(n+2)/\left(n-2\right)}$, $u_{\epsilon }>0$ in $A_{\epsilon }$, $u_{\epsilon }=0$ on $\partial A_{\epsilon }$, where $A_{\epsilon }$ is an annulus-shaped domain of ${ℝ}^n$, $n\ge 3$, which becomes thinner as $\epsilon \to 0$. We show that for every solution $u_{\epsilon }$, the energy ${\int }_{A_{\epsilon }}|\nabla u_{|}^2$ as well as the Morse index tend to infinity as $\epsilon \to 0$. This is proved through a fine blow up analysis of appropriate scalings of solutions whose limiting profiles are regular, as well as of singular solutions of some elliptic problem on ${ℝ}^n$, a half-space or an infinite strip. Our argument also involves a Liouville...

In this work we study the problem $u_t{-div\left(\right|x|}^{-2\gamma }\nabla u)=\lambda \frac{u^{\alpha }}{{\left|x\right|}^{2(\gamma +1)}}+f$ in $\Omega \times (0,T)$, $u\ge 0$ in $\Omega \times (0,T)$, $u=0$ on $\partial \Omega \times (0,T)$, $u(x,0)=u_0\left(x\right)$ in $\Omega$, $\Omega \subset {ℝ}^N$ $(N\ge 2)$ is a bounded regular domain such that $0\in \Omega$, $\lambda >0$, $\alpha >0$, $-\infty <\gamma <\left(N-2\right)/2$, $f$ and $u_0$ are positive functions such that $f\in L^1(\Omega \times (0,T))$ and $u_0\in L^1\left(\Omega \right)$. The main points under analysis are: (i) spectral instantaneous and complete blow-up related to the Harnack inequality in the case $\alpha =1$, $1+\gamma >0$; (ii) the nonexistence of solutions if $\alpha >1$, $1+\gamma >0$; (iii) a uniqueness result for weak solutions (in the distribution sense); (iv) further results on existence of weak solutions...

We deal with the problem ⎧ -Δu = f(x,u) + λg(x,u), in Ω, ⎨ ($P_{\lambda }$) ⎩ $u_{\mid \partial \Omega }=0$ where Ω ⊂ ℝⁿ is a bounded domain, λ ∈ ℝ, and f,g: Ω×ℝ → ℝ are two Carathéodory functions with f(x,0) = g(x,0) = 0. Under suitable assumptions, we prove that there exists λ* > 0 such that, for each λ ∈ (0,λ*), problem ($P_{\lambda }$) admits a non-zero, non-negative strong solution $u_{\lambda }\in {\bigcap }_{p\ge 2}{W}^{2,p}\left(\Omega \right)$ such that $li{m}_{\lambda \to 0⁺}\left|\right|u_{\lambda }{\left|\right|}_{W^{2,p}\left(\Omega \right)}=0$ for all p ≥ 2. Moreover, the function $\lambda \mapsto I_{\lambda }\left(u_{\lambda }\right)$ is negative and decreasing in ]0,λ*[, where $I_{\lambda }$ is the energy functional related to ($P_{\lambda }$). ...

We present some results concerning the problem $-\Delta u=\lambda \frac{u}{{\left|x\right|}^2}+u^q$, $u>0$ in $\Omega$, ${u|}_{\partial \Omega }=0$, where $0<q<(N+2)/\left(N-2\right)$, $q\ne 1$, $\lambda \ge 0$ and $\Omega$ is a smooth bounded domain containing the origin. In particular, bifurcation and uniqueness results are discussed.

For n ∈ ℕ, L > 0, and p ≥ 1 let ${\kappa }_p(n,L)$ be the largest possible value of k for which there is a polynomial P ≢ 0 of the form $P\left(x\right)={\sum }_{j=0}^n{a}_j{x}^j$, $|a_0\left|\ge L\right({\sum }_{j=1}^n|a_j{{|}^p)}^{1/p}$, $a_j\in ℂ$, such that ${(x-1)}^k$ divides P(x). For n ∈ ℕ, L > 0, and q ≥ 1 let ${\mu }_q(n,L)$ be the smallest value of k for which there is a polynomial Q of degree k with complex coefficients such that $\left|Q\left(0\right)\right|>1/L({\sum }_{j=1}^n{\left|Q\left(j\right)\right|}^q{)}^{1/q}$. We find the size of ${\kappa }_p(n,L)$ and ${\mu }_q(n,L)$ for all n ∈ ℕ, L > 0, and 1 ≤ p,q ≤ ∞. The result about ${\mu }_{\infty }(n,L)$ is due to Coppersmith and Rivlin, but our proof is completely different and much shorter even...

Our aim is to establish Sobolev type inequalities for fractional maximal functions $M_{ℍ,\nu }f$ and Riesz potentials $I_{ℍ,\alpha }f$ in weighted Morrey spaces of variable exponent on the half space $ℍ$. We also obtain Sobolev type inequalities for a $C^1$ function on $ℍ$. As an application, we obtain Sobolev type inequality for double phase functionals with variable exponents $\Phi (x,t)=t^{p\left(x\right)}+{\left(b\left(x\right)t\right)}^{q\left(x\right)}$, where $p(·)$ and $q(·)$ satisfy log-Hölder conditions, $p\left(x\right)<q\left(x\right)$ for $x\in ℍ$, and $b(·)$ is nonnegative and Hölder continuous of order $\theta \in (0,1]$.

We prove some optimal estimates of Hölder-logarithmic type in the Hardy-Sobolev spaces $H^{k,p}\left(G\right)$, where $k\in {\mathbb{N}}^{*}$, $1\le p\le \infty$ and $G$ is either the open unit disk $𝔻$ or the annular domain $G_s$, $0<s<1$ of the complex space $ℂ$. More precisely, we study the behavior on the interior of $G$ of any function $f$ belonging to the unit ball of the Hardy-Sobolev spaces $H^{k,p}\left(G\right)$ from its behavior on any open connected subset $I$ of the boundary $\partial G$ of $G$ with respect to the $L^1$-norm. Our results can be viewed as an improvement and generalization of...

The distributional $k$-dimensional Jacobian of a map $u$ in the Sobolev space $W^{1,k-1}$ which takes values in the sphere $S^{k-1}$ can be viewed as the boundary of a rectifiable current of codimension $k$ carried by (part of) the singularity of $u$ which is topologically relevant. The main purpose of this paper is to investigate the range of the Jacobian operator; in particular, we show that any boundary $M$ of codimension $k$ can be realized as Jacobian of a Sobolev map valued in $S^{k-1}$. In case $M$ is polyhedral, the...

We consider the semilinear Lane–Emden problem $$ where $p>1$ and $\Omega$ is a smooth bounded domain of ${ℝ}^2$. The aim of the paper is to analyze the asymptotic behavior of sign changing solutions of ${(}_p)$, as $p\to +\infty$. Among other results we show, under some symmetry assumptions on $\Omega$, that the positive and negative parts of a family of symmetric solutions concentrate at the same point, as $p\to +\infty$, and the limit profile looks like a tower of two bubbles given by a superposition of a regular and a singular solution of...

CONTENTSPART IIntroduction............................................................................................... 31. General solution.................................................................................. 42. Preliminaries and notation................................................................ 53. $C^p$ solutions in $ℭ$*................................................ 74. Change of variables..............................................................................

We consider linear elliptic equations $-\Delta u+q\left(x\right)u=\lambda u+f$ in bounded Lipschitz domains $D\subset {ℝ}^N$ with mixed boundary conditions $\partial u/\partial n=\sigma \left(x\right)\lambda u+g$ on $\partial D$. The main feature of this boundary value problem is the appearance of $\lambda$ both in the equation and in the boundary condition. In general we make no assumption on the sign of the coefficient $\sigma \left(x\right)$. We study positivity principles and anti-maximum principles. One of our main results states that if $\sigma$ is somewhere negative, $q\ge 0$ and ${\int }_{D}q\left(x\right)dx>0$ then there exist two eigenvalues ${\lambda }_{-1}$, ${\lambda }_1$ such the positivity...