The estimate ${∥D^{k-1}u∥}_{L^{n/(n-1)}}\le {∥A\left(D\right)u∥}_{L^1}$ is shown to hold if and only if $A\left(D\right)$ is elliptic and canceling. Here $A\left(D\right)$ is a homogeneous linear differential operator $A\left(D\right)$ of order $k$ on ${ℝ}^n$ from a vector space $V$ to a vector space $E$. The operator $A\left(D\right)$ is defined to be canceling if ${\bigcap }_{\xi \in {ℝ}^n\setminus \left\{0\right\}}A\left(\xi \right)\left[V\right]=\left\{0\right\}$. This result implies in particular the classical Gagliardo–Nirenberg–Sobolev inequality, the Korn–Sobolev inequality and Hodge–Sobolev estimates for differential forms due to J. Bourgain and H. Brezis. In the proof, the class of cocanceling homogeneous...

Let $\Omega \subset {ℝ}^n$ be a bounded starshaped domain and consider the $(p,q)$-Laplacian problem $$\begin{array}{c}\hfill -{\Delta }_{p}u-{\Delta }_{q}u=\lambda \left(𝐱\right){\left|u\right|}^{p^{☆}-2}u+\mu {\left|u\right|}^{r-2}u\end{array}$$ where $\mu$ is a positive parameter, $1<q\le p<n$, $r\ge p^{☆}$ and $p^{☆}:=\frac{np}{n-p}$ is the critical Sobolev exponent. In this short note we address the question of non-existence for non-trivial solutions to the $(p,q)$-Laplacian problem. In particular we show the non-existence of non-trivial solutions to the problem by using a method based on Pohozaev identity.

We study the leading order behaviour of positive solutions of the equation $-\Delta u+ϵu-{\left|u\right|}^{p-2}u+{\left|u\right|}^{q-2}u=0,x\in {ℝ}^N$, where $N\ge 3$, $q>p>2$ and when $ϵ>0$ is a small parameter. We give a complete characterization of all possible asymptotic regimes as a function of $p$, $q$ and $N$. The behavior of solutions depends sensitively on whether $p$ is less, equal or bigger than the critical Sobolev exponent $2^{*}=\frac{2N}{N-2}$. For $p<2^{*}$ the solution asymptotically coincides with the solution of the equation in which the last term is absent. For $p>2^{*}$ the solution asymptotically...

In this paper we consider a nonlinear elliptic equation with critical growth for the operator ${\mathrm{\Delta }}^2$ in a bounded domain $\mathrm{\Omega }\subset {ℝ}^n$. We state some existence results when $n\ge 8$. Moreover, we consider $5\le n\le 7$, expecially when $\mathrm{\Omega }$ is a ball in ${ℝ}^n$.

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.

The role of the second critical exponent $p=(n+1)/(n-3)$, the Sobolev critical exponent in one dimension less, is investigated for the classical Lane–Emden–Fowler problem $\Delta u+u^p=0$, $u>0$ under zero Dirichlet boundary conditions, in a domain $\Omega$ in ${ℝ}^n$ with bounded, smooth boundary. Given $\Gamma$, a geodesic of the boundary with negative inner normal curvature we find that for $p=(n+1)/(n-3-\epsilon )$, there exists a solution $u_{\epsilon }$ such that $|\nabla u_{\epsilon }{|}^2$ converges weakly to a Dirac measure on $\Gamma$ as $\epsilon \to 0^{+}$, provided that $\Gamma$ is nondegenerate in the sense of second...

In this paper we consider a nonlinear elliptic equation with critical growth for the operator ${\mathrm{\Delta }}^2$ in a bounded domain $\mathrm{\Omega }\subset {ℝ}^n$. We state some existence results when $n\ge 8$. Moreover, we consider $5\le n\le 7$, expecially when $\mathrm{\Omega }$ is a ball in ${ℝ}^n$.

CONTENTSIntroduction............................................................................................................ 51. Preliminaries............................................................................................................. 82. Embedding into $W^{m,p}\left(\Omega \right)$ into $L^S\left(\Omega \right)$ (n>1).......................................... 103. The case n = 1.......................................................................................................... 284. Embedding $W^{m,p}\left(\Omega \right)$ into $L^{\phi }\left(\Omega \right)$...............................................................

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...

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 show that the critical nonlinear elliptic Neumann problem $\Delta u-\mu u+u^{7/3}=0$ in $\Omega$, $u>0$ in $\Omega$, $\frac{\partial u}{\partial \nu }=0$ on $\partial \Omega$, where $\Omega$ is a bounded and smooth domain in ${ℝ}^5$, has arbitrarily many solutions, provided that $\mu >0$ is small enough. More precisely, for any positive integer $K$, there exists ${\mu }_K>0$ such that for $0<\mu <{\mu }_K$, the above problem has a nontrivial solution which blows up at $K$ interior points in $\Omega$, as $\mu \to 0$. The location of the blow-up points is related to the domain geometry. The solutions are obtained as critical points of some finite-dimensional...

The main purpose of this article is to give a generalization of the logarithmic-type estimate in the Hardy-Sobolev spaces $H^{k,p}\left(G\right)$; $k\in {\mathbb{N}}^{*}$, $1\le p\le \infty$ and $G$ is the open unit disk or the annulus of the complex space $ℂ$.

Let ${\left(F_n\right)}_{n\in \mathbb{N}}$ be a sequence of non-decreasing functions from $[0,+\infty )$ into $[0,+\infty )$. Under some suitable hypotheses of ${\left(F_n\right)}_{n\in \mathbb{N}}$, we will prove that if $g\in L^p\left({ℝ}^N\right)$, $1<p<+\infty$, satisfies ${lim\; inf}_{n\to \infty }{\int }_{{ℝ}^N}{\int }_{{ℝ}^N}{F}_n{\left(\right|g\left(x\right)-g\left(y\right)\left|\right)/|x-y|}^{N+p}dxdy<+\infty$, then $g\in W^{1,p}\left({ℝ}^N\right)$ and moreover ${lim}_{n\to \infty }{\int }_{{ℝ}^N}{\int }_{{ℝ}^N}{F}_n{\left(\right|g\left(x\right)-g\left(y\right)\left|\right)/|x-y|}^{N+p}dxdy=K_{N,p}{\int }_{{ℝ}^N}{\left|\nabla g\left(x\right)\right|}^{p}dx$, where $K_{N,p}$ is a positive constant depending only on $N$ and $p$. This extends some results in J. Bourgain and H-M. Nguyen [A new characterization of Sobolev spaces, C. R. Acad Sci. Paris, Ser. 343 (2006) 75-80] and H-M. Nguyen [Some new characterizations of Sobolev spaces, J. Funct. Anal. 237 (2006) 689-720]. We also present some...

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...

We consider all the non-metabelian groups $G$ of order $144$ that have exponent either $36$ or $72$ and deduce the unit group $U\left({𝔽}_{q}G\right)$ of semisimple group algebra ${𝔽}_{q}G$. Here, $q$ denotes the power of a prime, i.e., $q=p^r$ for $p$ prime and a positive integer $r$. Up to isomorphism, there are $6$ groups of order $144$ that have exponent either $36$ or $72$. Additionally, we also discuss how to simply obtain the unit groups of the semisimple group algebras of those non-metabelian groups of order $144$ that are a direct product of two...

We report on results we recently obtained in Hebey and Thizy [11, 12] for critical stationary Kirchhoff systems in closed manifolds. Let $(M^n,g)$ be a closed $n$-manifold, $n\ge 3$. The critical Kirchhoff systems we consider are written as $$\left(a+b\sum _{j=1}^p{\int }_M{\left|\nabla u_j\right|}^{2}d{v}_g\right){\Delta }_g{u}_i+\sum _{j=1}^p{A}_{ij}{u}_j={\left|U\right|}^{2^{☆}-2}{u}_i$$ for all $i=1,\cdots ,p$, where ${\Delta }_g$ is the Laplace-Beltrami operator, $A$ is a $C^1$-map from $M$ into the space $M_s^p\left(ℝ\right)$ of symmetric $p\times p$ matrices with real entries, the $A_{ij}$’s are the components of $A$, $U=(u_1,\cdots ,u_p)$, $\left|U\right|:M\to ℝ$ is the Euclidean norm of $U$, $2^{☆}=\frac{2n}{n-2}$ is the critical Sobolev exponent, and...

Motivated by the paper by H. Herrlich, E. Tachtsis (2017) we investigate in ZFC the following compactness question: for which uncountable cardinals $\kappa$, an arbitrary nonempty system $S$ of homogeneous $\mathbb{Z}$-linear equations is nontrivially solvable in $\mathbb{Z}$ provided that each of its subsystems of cardinality less than $\kappa$ is nontrivially solvable in $\mathbb{Z}$?

It is shown that there exists a $\sigma$-compact topological group which cannot be represented as a continuous image of a Lindelöf $p$-group, see Example 2.8. This result is based on an inequality for the cardinality of continuous images of Lindelöf $p$-groups (Theorem 2.1). A closely related result is Corollary 4.4: if a space $Y$ is a continuous image of a Lindelöf $p$-group, then there exists a covering $\gamma$ of $Y$ by dyadic compacta such that $\left|\gamma \right|\le 2^{\omega }$. We also show that if a homogeneous compact space $Y$ is...

We consider two operator space versions of type and cotype, namely $S_p$-type, $S_q$-cotype and type (p,H), cotype (q,H) for a homogeneous Hilbertian operator space H and 1 ≤ p ≤ 2 ≤ q ≤ ∞, generalizing “OH-cotype 2” of G. Pisier. We compute type and cotype of some Hilbertian operator spaces and $L_p$ spaces, and we investigate the relationship between a homogeneous Hilbertian space H and operator spaces with cotype (2,H). As applications we consider operator space versions of generalized little...

Let ${(X,\varrho ,\mu )}_{d,\theta }$ be a space of homogeneous type, i.e. X is a set, ϱ is a quasi-metric on X with the property that there are constants θ ∈ (0,1] and C₀ > 0 such that for all x,x’,y ∈ X, $|\varrho (x,y)-\varrho (x^{\text{'}},y)|\le C₀\varrho {(x,x^{\text{'}})}^{\theta }{[\varrho (x,y)+\varrho (x^{\text{'}},y)]}^{1-\theta }$, and μ is a nonnegative Borel regular measure on X such that for some d > 0 and all x ∈ X, $\mu \left(y\in X:\varrho (x,y)<r\right)\sim r^d$. Let ε ∈ (0,θ], |s| < ε and maxd/(d+ε),d/(d+s+ε) < q ≤ ∞. The author introduces new inhomogeneous Triebel-Lizorkin spaces $F_{\infty q}^s\left(X\right)$ and establishes their frame characterizations by first establishing a Plancherel-Pólya-type...

On the unit disk $B_1\subset {ℝ}^2$ we study the Moser-Trudinger functional $E\left(u\right)={\int }_{B_1}\left(e^{u^2}-1\right)dx,u\in H_0^1\left(B_1\right)$ and its restrictions ${E|}_{M_{\Lambda }}$, where $M_{\Lambda }:=\{u\in H_0^1\left(B_1\right){:\parallel u\parallel }_{H_0^1}^2=\Lambda \}$ for $\Lambda >0$. We prove that if a sequence $u_k$ of positive critical points of ${E|}_{M_{{\Lambda }_k}}$ (for some ${\Lambda }_k>0$) blows up as $k\to \infty$, then ${\Lambda }_k\to 4\pi$, and $u_k\to 0$ weakly in $H_0^1\left(B_1\right)$ and strongly in $C_{\mathrm{loc}}^1({\overline{B}}_1\setminus \left\{0\right\})$. Using this fact we also prove that when $\Lambda$ is large enough, then ${E|}_{M_{\Lambda }}$ has no positive critical point, complementing previous existence results by Carleson-Chang, M. Struwe and Lamm-Robert-Struwe.

Let $G$ be a group and $m$ be an integer greater than or equal to $2$. $G$ is said to be $m$-permutable if every product of $m$ elements can be reordered at least in one way. We prove that, if $G$ has a centre of finite index $z$, then $G$ is $(1+[z/2])$-permutable. More bounds are given on the least $m$ such that $G$ is $m$-permutable.

Let $𝔻$ denote the unit disk $\{z:|z|<1\}$ in the complex plane $ℂ$. In this paper, we study a family of polynomials $P$ with only one zero lying outside $\overline{𝔻}$.  We establish  criteria for $P$ to satisfy implying that each of $P$ and $P^{\text{'}}$  has exactly one critical point outside $\overline{𝔻}$.

Via critical point theory we establish the existence and regularity of solutions for the quasilinear elliptic problem ⎧ $div(x,\nabla u)+{a\left(x\right)\left|u\right|}^{p-2}u={g\left(x\right)\left|u\right|}^{p-2}u+h\left(x\right){\left|u\right|}^{s-1}u$ in ${ℝ}^N$ ⎨ ⎩ u > 0, $li{m}_{\left|x\right|\to \infty }u\left(x\right)=0$, where 1 < p < N; a(x) is assumed to satisfy a coercivity condition; h(x) and g(x) are not necessarily bounded but satisfy some integrability restrictions.

We study embeddings of spaces of Besov-Morrey type, $i{d}_{\Omega }{:}_{p₁,u₁,q₁}^{s₁}\left(\Omega \right){\hookrightarrow }_{p₂,u₂,q₂}^{s₂}\left(\Omega \right)$, where $\Omega \subset {ℝ}^d$ is a bounded domain, and obtain necessary and sufficient conditions for the continuity and compactness of $i{d}_{\Omega }$. This continues our earlier studies relating to the case of ${ℝ}^d$. Moreover, we also characterise embeddings into the scale of $L_p$ spaces or into the space of bounded continuous functions.