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

Given a compact manifold $N^n\subset {ℝ}^{\nu }$ and real numbers $s\ge 1$ and $1\le p\<\infty$, we prove that the class $C^{\infty }({\overline{Q}}^m;N^n)$ of smooth maps on the cube with values into $N^n$ is strongly dense in the fractional Sobolev space $W^{s,p}(Q^m;N^n)$ when $N^n$ is $\lfloor sp\rfloor$ simply connected. For $sp$ integer, we prove weak sequential density of $C^{\infty }({\overline{Q}}^m;N^n)$ when $N^n$ is $sp-1$ simply connected. The proofs are based on the existence of a retraction of ${ℝ}^{\nu }$ onto $N^n$ except for a small subset of $N^n$ and on a pointwise estimate of fractional derivatives of composition of maps in $W^{s,p}\cap W^{1,sp}$.

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

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

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 functions $u\in W_0^{m,1}\left(\Omega \right)$, where $\Omega \subset {ℝ}^N$ is a smooth bounded domain, and $m\ge 2$ is an integer. For all $j\ge 0,1\le k\le m-1$, such that $1\le j+k\le m$, we prove that $\frac{{\partial }^{i}u\left(x\right)}{d{\left(x\right)}^{m-j-k}}\in W_0^{k,1}\left(\Omega \right)$ with $∥{\partial }^k{\left(\frac{{\partial }^{i}u\left(x\right)}{d{\left(x\right)}^{m-j-k}}\right)}_{L^1\left(\Omega \right)}\le C∥u∥{}_{W^{m,1}\left(\Omega \right)}$, where $d$ is a smooth positive function which coincides with dist$(x,\partial \Omega )$ near $\partial \Omega$, and ${\partial }^l$ denotes any partial differential operator of order $l$.

Let 1 < p < ∞, q = p/(p-1) and for $f\in L^p(0,\infty )$ define $F\left(x\right)=(1/x){ʃ}_0^{x}f\left(t\right)dt$, x > 0. Moser’s Inequality states that there is a constant $C_p$ such that $su{p}_{a\le 1}su{p}_{f\in B_p}{ʃ}_0^{\infty }exp[a{x}^q{\left|F\left(x\right)\right|}^q-x]dx=C_p$ where $B_p$ is the unit ball of $L^p$. Moreover, the value a = 1 is sharp. We observe that $F=K_1$ f where the integral operator $K_1$ has a simple kernel K. We consider the question of for what kernels K(t,x), 0 ≤ t, x < ∞, this result can be extended, and proceed to discuss this when K is non-negative and homogeneous of degree -1. A sufficient condition on K is found for...

Let $\Omega \in L^s\left({\mathrm{S}}^{n-1}\right)$ for $s\ge 1$ be a homogeneous function of degree zero and $b$ a BMO function. The commutator generated by the Marcinkiewicz integral ${\mu }_{\Omega }$ and $b$ is defined by $${\displaystyle [b,{\mu }_{\Omega }]\left(f\right)\left(x\right)=({\int }_0^{\infty }{\left|{\int }_{|x-y|\le t}\frac{\Omega (x-y)}{{|x-y|}^{n-1}}[b\left(x\right)-b\left(y\right)]f\left(y\right)\mathrm{d}y{|}^2\frac{\mathrm{d}t}{t^3}\right)}^{1/2}.}$$ In this paper, the author proves the $(L^{p(·)}\left({ℝ}^n\right),L^{p(·)}\left({ℝ}^n\right))$-boundedness of the Marcinkiewicz integral operator ${\mu }_{\Omega }$ and its commutator $[b,{\mu }_{\Omega }]$ when $p(·)$ satisfies some conditions. Moreover, the author obtains the corresponding result about ${\mu }_{\Omega }$ and $[b,{\mu }_{\Omega }]$ on Herz spaces with variable exponent.

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.

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

Let $\Omega$ be a bounded domain of class $C^2$ in $ℝ$N and let $K$ be a compact subset of $\partial \Omega$. Assume that $q\ge (N+1)/\left(N-1\right)$ and denote by $U_K$ the maximal solution of $-\Delta u+u^q=0$ in $\Omega$ which vanishes on $\partial \Omega \setminus K$. We obtain sharp upper and lower estimates for $U_K$ in terms of the Bessel capacity $C_{2/q,q^{\text{'}}}$ and prove that $U_K$ is $\sigma$-moderate. In addition we describe the precise asymptotic behavior of $U_K$ at points $\sigma \in K$, which depends on the “density” of $K$ at $\sigma$, measured in terms of the capacity $C_{2/q,q^{\text{'}}}$.

We define a new function space $B$, which contains in particular BMO, BV, and $W^{1/p,p}$, $1<p<\infty$. We investigate its embedding into Lebesgue and Marcinkiewicz spaces. We present several inequalities involving $L^p$ norms of integer-valued functions in $B$. We introduce a significant closed subspace, $B_0$, of $B$, containing in particular VMO and $W^{1/p,p}$, $1\le p<\infty$. The above mentioned estimates imply in particular that integer-valued functions belonging to $B_0$ are necessarily constant. This framework provides a “common roof”...

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

Let $D$ be a ${𝒞}^d$ $q$-convex intersection, $d\ge 2$, $0\le q\le n-1$, in a complex manifold $X$ of complex dimension $n$, $n\ge 2$, and let $E$ be a holomorphic vector bundle of rank $N$ over $X$. In this paper, ${𝒞}^k$-estimates, $k=2,3,\cdots ,\infty$, for solutions to the $\overline{\partial }$-equation with small loss of smoothness are obtained for $E$-valued $(0,s)$-forms on $D$ when $n-q\le s\le n$. In addition, we solve the $\overline{\partial }$-equation with a support condition in ${𝒞}^k$-spaces. More precisely, we prove that for a $\overline{\partial }$-closed form $f$ in ${𝒞}_{0,q}^k(X\setminus D,E)$, $1\le q\le n-2$, $n\ge 3$, with compact support and for $\epsilon$ with $0<\epsilon <1$ there...