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 introduce function spaces $B^{p,\lambda }$ with Morrey-Campanato norms, which unify $B^{p,\lambda }$, $CM{O}^{p,\lambda }$ and Morrey-Campanato spaces, and prove the boundedness of the fractional integral operator $I_{\alpha }$ on these spaces.

Given a compact manifold $N^n\subset {ℝ}^{\nu }$ and real numbers $s\ge 1$ and $1\le p\&lt;\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}$.

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

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 a double analytic family of fractional integrals $S_z^{\gamma ,\alpha }$ along the curve ${t\mapsto \left|t\right|}^{\alpha }$, introduced for α = 2 by L. Grafakos in 1993 and defined by $\left(S_z^{\gamma ,\alpha }f\right)(x₁,x₂):=1/\Gamma (z+1/2){\int \int |u-1|}^z\psi (u-1){f(x₁-t,x₂-u|t|}^{\alpha }{\left)du\right|t|}^{\gamma }dt/t$, where ψ is a bump function on ℝ supported near the origin, $f{\in }_c^{\infty }\left(ℝ²\right)$, z,γ ∈ ℂ, Re γ ≥ 0, α ∈ ℝ, α ≥ 2. We determine the set of all (1/p,1/q,Re z) such that $S_z^{\gamma ,\alpha }$ maps $L^p\left(ℝ²\right)$ to $L^q\left(ℝ²\right)$ boundedly. Our proof is based on product-type kernel arguments. More precisely, we prove that the kernel $K_{-1+i\theta }^{i\varrho ,\alpha }$ is a product kernel on ℝ², adapted to the curve ${t\mapsto \left|t\right|}^{\alpha }$; as a consequence, we show...

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.

Let n be a nonnegative integer and let u ∈ (n,n+1]. We say that f is u-times Peano bounded in the approximate (resp. $L^p$, 1 ≤ p ≤ ∞) sense at $x\in {ℝ}^m$ if there are numbers $f_{\alpha }\left(x\right)$, |α| ≤ n, such that $f(x+h)-{\sum }_{\left|\alpha \right|\le n}{f}_{\alpha }\left(x\right)h^{\alpha }/\alpha !$ is $O\left(h^u\right)$ in the approximate (resp. $L^p$) sense as h → 0. Suppose f is u-times Peano bounded in either the approximate or $L^p$ sense at each point of a bounded measurable set E. Then for every ε > 0 there is a perfect set Π ⊂ E and a smooth function g such that the Lebesgue measure of E∖Π is less than ε and...

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

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

Let $\mu$ be a nonnegative Borel measure on ${ℝ}^d$ satisfying that $\mu \left(Q\right)\le l{\left(Q\right)}^n$ for every cube $Q\subset {ℝ}^n$, where $l\left(Q\right)$ is the side length of the cube $Q$ and $0<n\le d$. We study the class of pairs of weights related to the boundedness of radial maximal operators of fractional type associated to a Young function $B$ in the context of non-homogeneous spaces related to the measure $\mu$. Our results include two-weighted norm and weak type inequalities and pointwise estimates. Particularly, we give an improvement of a two-weighted result...

In the present paper, we prove nonexistence results for the following nonlinear evolution equation, see works of T. Cazenave and A. Haraux (1990) and S. Zheng (2004), $$u_{tt}+f\left(x\right)u_t+{(-\Delta )}^{\alpha /2}\left(u^m\right)=h(t,x){\left|u\right|}^p,$$ posed in $(0,T)\times {ℝ}^N,$ where ${(-\Delta )}^{\alpha /2},0<\alpha \le 2$ is $\alpha /2$-fractional power of $-\Delta .$ Our method of proof is based on suitable choices of the test functions in the weak formulation of the sought solutions. Then, we extend this result to the case of a $2\times 2$ system of the same type.

Let $A_{\alpha }f\left(x\right)={\left|B\right(0,\left|x\right|\left)\right|}^{-\alpha /n}{\int }_{B(0,|x\left|\right)}f\left(t\right)dt$ be the n-dimensional fractional Hardy operator, where 0 < α ≤ n. It is well-known that $A_{\alpha }$ is bounded from $L^p$ to $L^{p_{\alpha }}$ with $p_{\alpha }=np/(\alpha p-np+n)$ when n(1-1/p) < α ≤ n. We improve this result within the framework of Banach function spaces, for instance, weighted Lebesgue spaces and Lorentz spaces. We in fact find a ’source’ space $S_{\alpha ,Y}$, which is strictly larger than X, and a ’target’ space $T_Y$, which is strictly smaller than Y, under the assumption that $A_{\alpha }$ is bounded from X into Y and the Hardy-Littlewood...

We consider the Vilenkin orthonormal system on a Vilenkin group $G$ and the Vilenkin-Fourier coefficients $\widehat{f}\left(n\right)$, $n\in \mathbb{N}$, of functions $f\in L^p\left(G\right)$ for some $1<p\le 2$. We obtain certain sufficient conditions for the finiteness of the series ${\sum }_{n=1}^{\infty }{a}_n{\left|\widehat{f}\left(n\right)\right|}^r$, where $\left\{a_n\right\}$ is a given sequence of positive real numbers satisfying a mild assumption and $0<r<2$. We also find analogous conditions for the double Vilenkin-Fourier series. These sufficient conditions are in terms of (either global or local) moduli of continuity of $f$ and give multiplicative...

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

A famous theorem of Carleson says that, given any function $f\in L^p\left(𝕋\right)$, $p\in (1,+\infty )$, its Fourier series $\left(S_{n}f\left(x\right)\right)$ converges for almost every $x\in 𝕋$. Beside this property, the series may diverge at some point, without exceeding $O\left(n^{1/p}\right)$. We define the divergence index at $x$ as the infimum of the positive real numbers $\beta$ such that $S_{n}f\left(x\right)=O\left(n^{\beta }\right)$ and we are interested in the size of the exceptional sets $E_{\beta }$, namely the sets of $x\in 𝕋$ with divergence index equal to $\beta$. We show that quasi-all functions in $L^p\left(𝕋\right)$ have a multifractal behavior with respect to...

Given a two-dimensional fractional multiplicative process ${\left(F_t\right)}_{t\in [0,1]}$ determined by two Hurst exponents $H_1$ and $H_2$, we show that there is an associated uniform Hausdorff dimension result for the images of subsets of $[0,1]$ by $F$ if and only if $H_1=H_2$.

Let $j\ge 2$ be a given integer. Let $H_k^{*}$ be the set of all normalized primitive holomorphic cusp forms of even integral weight $k\ge 2$ for the full modulo group $\mathrm{SL}(2,\mathbb{Z})$. For $f\in H_k^{*}$, denote by ${\lambda }_{{\mathrm{sym}}^{j}f}\left(n\right)$ the $n$th normalized Fourier coefficient of $j$th symmetric power $L$-function ($L(s,{\mathrm{sym}}^{j}f)$) attached to $f$. We are interested in the average behaviour of the sum $$\sum _{\genfrac{}{}{0pt}{}{n=a_1^2+a_2^2+a_3^2+a_4^2+a_5^2+a_6^2\le x}{(a_1,a_2,a_3,a_4,a_5,a_6)\in {\mathbb{Z}}^6}}{\lambda }_{{\mathrm{sym}}^{j}f}^2\left(n\right),$$ where $x$ is sufficiently large, which improves the recent work of A. Sharma and A. Sankaranarayanan (2023).

We use the genus theory to prove the existence and multiplicity of solutions for the fractional $p$-Kirchhoff problem $$\left\{\begin{array}{c}{\displaystyle -{\left[M\left({\int }_Q{\displaystyle \frac{{|u\left(x\right)-u\left(y\right)|}^p}{{|x-y|}^{N+ps}}}\mathrm{d}x\mathrm{d}y\right)\right]}^{p-1}{(-\Delta )}_p^{s}u=\lambda h(x,u)\text{in}\Omega ,}\hfill \\ u=0\text{on}{ℝ}^N\setminus \Omega ,\hfill \end{array}\right.$$ where $\Omega$ is an open bounded smooth domain of ${ℝ}^N$, $p>1$, $N>ps$ with $s\in (0,1)$ fixed, $Q={ℝ}^{2N}\setminus (C\Omega \times C\Omega )$, $\lambda >0$ is a numerical parameter, $M$ and $h$ are continuous functions.

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.