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.

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

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

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

Given d ≥ 2 consider the family of polynomials $P_c\left(z\right)=z^d+c$ for c ∈ ℂ. Denote by $J_c$ the Julia set of $P_c$ and let ${ℳ}_d=c|J_{c}isconnected$ be the connectedness locus; for d = 2 it is called the Mandelbrot set. We study semihyperbolic parameters $c₀\in \partial {ℳ}_d$: those for which the critical point 0 is not recurrent by $P_{c₀}$ and without parabolic cycles. The Hausdorff dimension of $J_c$, denoted by $HD\left(J_c\right)$, does not depend continuously on c at such $c₀\in \partial {ℳ}_d$; on the other hand the function $c\mapsto HD\left(J_c\right)$ is analytic in $ℂ-{ℳ}_d$. Our first result asserts that there is still some...

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

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

Let f₀(z) = z²+1/4. We denote by ₀ the set of parameters σ ∈ ℂ for which the critical point 0 escapes from the filled-in Julia set K(f₀) in one step by the Lavaurs map $g_{\sigma }$. We prove that if σ₀ ∈ ∂₀, then the Hausdorff dimension of the Julia-Lavaurs set $J_{0,\sigma }$ is continuous at σ₀ as the function of the parameter $\sigma \in \overline{₀}$ if and only if $HD\left(J_{0,\sigma ₀}\right)\ge 4/3$. Since $HD\left(J_{0,\sigma }\right)>4/3$ on a dense set of parameters which correspond to preparabolic points, the lower semicontinuity implies the continuity of $HD\left(J_{0,\sigma }\right)$ on an open and dense subset of...

In a Tychonoff space $X$, the point $p\in X$ is called a $C^{*}$-point if every real-valued continuous function on $C\setminus \left\{p\right\}$ can be extended continuously to $p$. Every point in an extremally disconnected space is a $C^{*}$-point. A classic example is the space ${𝐖}^{*}={\omega }_1+1$ consisting of the countable ordinals together with ${\omega }_1$. The point ${\omega }_1$ is known to be a $C^{*}$-point as well as a $P$-point. We supply a characterization of $C^{*}$-points in totally ordered spaces. The remainder of our time is aimed at studying when a point in a product space...

We take another approach to the well known theorem of Korovkin, in the following situation: X, Y are compact Hausdorff spaces, M is a unital subspace of the Banach space C(X) (respectively, $C_{ℝ}\left(X\right)$) of all complex-valued (resp., real-valued) continuous functions on X, S ⊂ M a complex (resp., real) function space on X, ϕₙ a sequence of unital linear contractions from M into C(Y) (resp., $C_{ℝ}\left(Y\right)$), and ${\varphi }_{\infty }$ a linear isometry from M into C(Y) (resp., $C_{ℝ}\left(Y\right)$). We show, under the assumption that ${\Pi }_N\subset {\Pi }_T$, where ${\Pi }_N$ is...

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.

Given a coarse space $(X,ℰ)$ with the bornology $ℬ$ of bounded subsets, we extend the coarse structure $ℰ$ from $X\times X$ to the natural coarse structure on $(ℬ\setminus \{\varnothing \left\}\right)\times (ℬ\setminus \{\varnothing \left\}\right)$ and say that a macro-uniform mapping $f:(ℬ\setminus \{\varnothing \left\}\right)\to X$ (or $f:{\left[X\right]}^2\to X$) is a selector (or 2-selector) of $(X,ℰ)$ if $f\left(A\right)\in A$ for each $A\in ℬ\setminus \left\{\varnothing \right\}$ ($A\in {\left[X\right]}^2$, respectively). We prove that a discrete coarse space $(X,ℰ)$ admits a selector if and only if $(X,ℰ)$ admits a 2-selector if and only if there exists a linear order “$\le$" on $X$ such that the family of intervals $\left\{\right[a,b]:a,b\in X,a\le b\}$ is a base for the bornology $ℬ$.

Let ${ℱ}_h^i(k,n)$ be the $i$-th ordered configuration space of all distinct points $H_1,...,H_h$ in the Grassmannian $Gr(k,n)$ of $k$-dimensional subspaces of ${ℂ}^n$, whose sum is a subspace of dimension $i$. We prove that ${ℱ}_h^i(k,n)$ is (when non empty) a complex submanifold of $Gr{(k,n)}^h$ of dimension $i(n-i)+hk(i-k)$ and its fundamental group is trivial if $i=min(n,hk)$, $hk\ne n$ and $n\&gt;2$ and equal to the braid group of the sphere $ℂ$ $P^1$ if $n=2$. Eventually we compute the fundamental group in the special case of hyperplane arrangements, i.e. $k=n-1$.

The following iterated commutators $T_{\ast ,\Pi b}$ of the maximal operator for multilinear singular integral operators and $I_{\alpha ,\Pi b}$ of the multilinear fractional integral operator are introduced and studied: $T_{\ast ,\Pi b}\left(f⃗\right)\left(x\right)=su{p}_{\delta >0}\left|[b₁,[b₂,\dots {[b_{m-1},[bₘ,T_{\delta }]ₘ]}_{m-1}\cdots ]₂]₁\left(f⃗\right)\left(x\right)\right|$, $I_{\alpha ,\Pi b}\left(f⃗\right)\left(x\right)=[b₁,[b₂,\dots {[b_{m-1},[bₘ,I_{\alpha }]ₘ]}_{m-1}\cdots ]₂]₁\left(f⃗\right)\left(x\right)$, where $T_{\delta }$ are the smooth truncations of the multilinear singular integral operators and $I_{\alpha }$ is the multilinear fractional integral operator, $b_i\in BMO$ for i = 1,…,m and f⃗ = (f1,…,fm). Weighted strong and L(logL) type end-point estimates for the above iterated commutators associated with two classes of multiple...

Suppose that $𝒢$ is a finite, connected graph and $X$ is a lazy random walk on $𝒢$. The lamplighter chain $X^{\diamond }$ associated with $X$ is the random walk on the wreath product ${𝒢}^{\diamond }={𝐙}_2\wr 𝒢$, the graph whose vertices consist of pairs $(\underline{f},x)$ where $f$ is a labeling of the vertices of $𝒢$ by elements of ${𝐙}_2=\{0,1\}$ and $x$ is a vertex in $𝒢$. There is an edge between $(\underline{f},x)$ and $(\underline{g},y)$ in ${𝒢}^{\diamond }$ if and only if $x$ is adjacent to $y$ in $𝒢$ and $f_z=g_z$ for all $z\ne x,y$. In each step, $X^{\diamond }$ moves from a configuration $(\underline{f},x)$ by updating $x$ to $y$ using the transition rule of $X$ and then...

Let $X$ be a $\mu$-symmetric Hunt process on a LCCB space $𝙴$. For an open set $𝙶\subseteq 𝙴$, let ${\tau }_{𝙶}$ be the exit time of $X$ from $𝙶$ and $A^{𝙶}$ be the generator of the process killed when it leaves $𝙶$. Let $r:[0,\infty [\to [0,\infty [$ and $R\left(t\right)={\int }_0^{t}r\left(s\right)\mathrm{d}s$. We give necessary and sufficient conditions for ${𝔼}_{\mu }R\left({\tau }_{𝙶}\right)lt;\infty$ in terms of the behavior near the origin of the spectral measure of $-A^{𝙶}$. When $r\left(t\right)=t^l$, $l\ge 0$, by means of this condition we derive the Nash inequality for the killed process. In the diffusion case this permits to show that the existence of moments of order $l+1$ for ${\tau }_{𝙶}$...

Let $𝒳$ be a Banach space of dimension $n>1$ and $𝔄\subset ℬ\left(𝒳\right)$ be a standard operator algebra. In the present paper it is shown that if a mapping $d:𝔄\to 𝔄$ (not necessarily linear) satisfies $$d\left(\right[[U,V],W\left]\right)=\left[\right[d\left(U\right),V],W]+\left[\right[U,d\left(V\right)],W]+\left[\right[U,V],d(W\left)\right]$$ for all $U,V,W\in 𝔄$, then $d=\psi +\tau$, where $\psi$ is an additive derivation of $𝔄$ and $\tau :𝔄\to 𝔽I$ vanishes at second commutator $\left[\right[U,V],W]$ for all $U,V,W\in 𝔄$. Moreover, if $d$ is linear and satisfies the above relation, then there exists an operator $S\in 𝔄$ and a linear mapping $\tau$ from $𝔄$ into $𝔽I$ satisfying $\tau \left(\right[[U,V],W\left]\right)=0$ for all $U,V,W\in 𝔄$, such that $d\left(U\right)=SU-US+\tau \left(U\right)$ for all $U\in 𝔄$.

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 ${\mathrm{𝙴𝙼𝙱𝙴𝙳}}_{k\to d}$ be the following algorithmic problem: Given a finite simplicial complex $K$ of dimension at most $k$, does there exist a (piecewise linear) embedding of $K$ into ${ℝ}^d$? Known results easily imply polynomiality of ${\mathrm{𝙴𝙼𝙱𝙴𝙳}}_{k\to 2}$ ($k=1,2$; the case $k=1,d=2$ is graph planarity) and of ${\mathrm{𝙴𝙼𝙱𝙴𝙳}}_{k\to 2k}$ for all $k\ge 3$. We show that the celebrated result of Novikov on the algorithmic unsolvability of recognizing the 5-sphere implies that ${\mathrm{𝙴𝙼𝙱𝙴𝙳}}_{d\to d}$ and ${\mathrm{𝙴𝙼𝙱𝙴𝙳}}_{(d-1)\to d}$ are undecidable for each ${}_d\ge 5$. Our main result is NP-hardness of ${\mathrm{𝙴𝙼𝙱𝙴𝙳}}_{2\to 4}$ and, more generally, of ${\mathrm{𝙴𝙼𝙱𝙴𝙳}}_{k\to d}$ for all...