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

We are interested in regularizing effect of the interplay between the coefficient of zero order term and the datum in some noncoercive integral functionals of the type $$𝒥\left(v\right)={\int }_{\Omega }j(x,v,\nabla v)\mathrm{d}x+{\int }_{\Omega }a\left(x\right){\left|v\right|}^2\mathrm{d}x-{\int }_{\Omega }fv\mathrm{d}x,v\in W_0^{1,2}\left(\Omega \right),$$ where $\Omega \subset {ℝ}^N$, $j$ is a Carathéodory function such that $\xi \mapsto j(x,s,\xi )$ is convex, and there exist constants $0\le \tau <1$ and $M>0$ such that $$\frac{{\left|\xi \right|}^2}{{(1+|s\left|\right)}^{\tau }}\le j(x,s,\xi )\le M{\left|\xi \right|}^2$$ for almost all $x\in \Omega$, all $s\in ℝ$ and all $\xi \in {ℝ}^N$. We show that, even if $0<a\left(x\right)$ and $f\left(x\right)$ only belong to $L^1\left(\Omega \right)$, the interplay $$\left|f\right(x\left)\right|\le 2Qa\left(x\right)$$ implies the existence of a minimizer $u\in W_0^{1,2}\left(\Omega \right)$ which belongs to $L^{\infty }\left(\Omega \right)$.

In 1955, Roth established that if $\xi$ is an irrational number such that there are a positive real number $\epsilon$ and infinitely many rational numbers $p/q$ with $q\ge 1$ and $|\xi -p/q|\&lt;q^{-2-\epsilon }$, then $\xi$ is transcendental. A few years later, Cugiani obtained the same conclusion with $\epsilon$ replaced by a function $q\mapsto \epsilon \left(q\right)$ that decreases very slowly to zero, provided that the sequence of rational solutions to $|\xi -p/q|\&lt;q^{-2-\epsilon \left(q\right)}$ is sufficiently dense, in a suitable sense. We give an alternative, and much simpler, proof of Cugiani’s Theorem and extend it...

Following a suggestion of W.M. Schmidt and L. Summerer, we construct a proper $3$-system $(P_1,P_2,P_3)$ with the property ${\overline{\varphi }}_3=1$. In fact, our method generalizes to provide $n$-systems with ${\overline{\varphi }}_n=1$, for arbitrary $n\ge 3$. We visualize our constructions with graphics. We further present explicit examples of numbers ${\xi }_1,...,{\xi }_{n-1}$ that induce the $n$-systems in question.

The seminal theorem of Cobham has given rise during the last 40 years to a lot of work about non-standard numeration systems and has been extended to many contexts. In this paper, as a result of fifteen years of improvements, we obtain a complete and general version for the so-called substitutive sequences. Let $\alpha$ and $\beta$ be two multiplicatively independent Perron numbers. Then a sequence $x\in A^{\mathbb{N}}$, where $A$ is a finite alphabet, is both $\alpha$-substitutive and $\beta$-substitutive if and only if $x$ is ultimately...

Let $a₁,...,a_k$ be arbitrary nonzero real numbers. An $(a₁,...,a_k)$-decomposition of a function f:ℝ → ℝ is a sum $f₁+\cdots +f_k=f$ where $f_i:ℝ\to ℝ$ is an $a_i$-periodic function. Such a decomposition is not unique because there are several solutions of the equation $h₁+\cdots +h_k=0$ with $h_i:ℝ\to ℝa_i$-periodic. We will give solutions of this equation with a certain simple structure (trivial solutions) and study whether there exist other solutions or not. If not, we say that the $(a₁,...,a_k)$-decomposition is essentially unique. We characterize those periods for which essential...

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 $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 characterise the boundedness of the $H^{\infty }$ calculus of a sectorial operator in terms of dilation theorems. We show e. g. that if $-A$ generates a bounded analytic $C_0$ semigroup $\left(T_t\right)$ on a UMD space, then the $H^{\infty }$ calculus of $A$ is bounded if and only if $\left(T_t\right)$ has a dilation to a bounded group on $L^2([0,1],X)$. This generalises a Hilbert space result of C.LeMerdy. If $X$ is an $L^p$ space we can choose another $L^p$ space in place of $L^2([0,1],X)$.

A nonincreasing sequence $\pi =(d_1,...,d_n)$ of nonnegative integers is a graphic sequence if it is realizable by a simple graph $G$ on $n$ vertices. In this case, $G$ is referred to as a realization of $\pi$. Given two graphs $G_1$ and $G_2$, A. Busch et al. (2014) introduced the potential-Ramsey number of $G_1$ and $G_2$, denoted by $r_{\mathrm{pot}}(G_1,G_2)$, as the smallest nonnegative integer $m$ such that for every $m$-term graphic sequence $\pi$, there is a realization $G$ of $\pi$ with $G_1\subseteq G$ or with $G_2\subseteq \overline{G}$, where $\overline{G}$ is the complement of $G$. For $t\ge 2$ and $0\le k\le \lfloor \frac{t}{2}\rfloor$, let $K_t^{-k}$ be the graph...

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

The aim of this paper is to characterize the $L^p-L^q$ boundedness of two classes of integral operators from $L^p(𝒰,\mathrm{d}{V}_{\alpha })$ to $L^q(𝒰,\mathrm{d}{V}_{\beta })$ in terms of the parameters $a$, $b$, $c$, $p$, $q$ and $\alpha$, $\beta$, where $𝒰$ is the Siegel upper half-space. The results in the presented paper generalize a corresponding result given in C. Liu, Y. Liu, P. Hu, L. Zhou (2019).

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

We show that every operator from ${\ell }_s$ to ${\ell }_p\otimes ̂{\ell }_q$ is compact when 1 ≤ p,q < s and that every operator from ${\ell }_s$ to ${\ell }_p\widehat{\otimes ̂}{\ell }_q$ is compact when 1/p + 1/q > 1 + 1/s.

We give new results on square functions $${\parallel x\parallel }_F=\parallel {\left({\int }_0^{\infty }{\left|F\left(tA\right)x\right|}^2\frac{\mathrm{d}t}{t}\right)}^{1/2}{\parallel }_p$$ associated to a sectorial operator $A$ on $L^p$ for $1\&lt;p\&lt;\infty$. Under the assumption that $A$ is actually $R$-sectorial, we prove equivalences of the form $K^{-1}{\parallel x\parallel }_G\le {\parallel x\parallel }_F\le K{\parallel x\parallel }_G$ for suitable functions $F,G$. We also show that $A$ has a bounded $H^{\infty }$ functional calculus with respect to ${\parallel .\parallel }_F$. Then we apply our results to the study of conditions under which we have an estimate $\parallel {({\int }_0^{\infty }|C{\mathrm{e}}^{-tA}{\left(x\right)|}^2\mathrm{d}t{)}^{1/2}\parallel }_q\le M{\parallel x\parallel }_p$, when $-A$ generates a bounded semigroup ${\mathrm{e}}^{-tA}$ on $L^p$ and $C:D\left(A\right)\to L^q$ is a linear mapping.

For $X,Y\in {𝐌}_{n,m}$ it is said that $X$ is gut-majorized by $Y$, and we write $X{\prec }_{\mathrm{gut}}Y$, if there exists an $n$-by-$n$ upper triangular g-row stochastic matrix $R$ such that $X=RY$. Define the relation ${\sim }_{\mathrm{gut}}$ as follows. $X{\sim }_{\mathrm{gut}}Y$ if $X$ is gut-majorized by $Y$ and $Y$ is gut-majorized by $X$. The (strong) linear preservers of ${\prec }_{\mathrm{gut}}$ on ${ℝ}^n$ and strong linear preservers of this relation on ${𝐌}_{n,m}$ have been characterized before. This paper characterizes all (strong) linear preservers and strong linear preservers of ${\sim }_{\mathrm{gut}}$ on ${ℝ}^n$ and ${𝐌}_{n,m}$.

Let $f^j={\sum }_k{a}_{k}f(2^{j+1}x-2k)$, where the sum is taken over the lattice of all points k in ${ℝ}^n$ having integer-valued components, j∈ℕ and $a_k\in ℂ$. Let $A_{pq}^s$ be either $B_{pq}^s$ or $F_{pq}^s$ (s ∈ ℝ, 0 < p < ∞, 0 < q ≤ ∞) on ${ℝ}^n.$ The aim of the paper is to clarify under what conditions $\parallel f^j|A_{pq}^s\parallel$ is equivalent to $2^{j(s-n/p)}({\sum }_k|a_k{|}^p{)}^{1/p}\parallel f|A_{pq}^s\parallel$.

We prove that for a normed linear space $X$, if $f_1:X\to ℝ$ is continuous and semiconvex with modulus $\omega$, $f_2:X\to ℝ$ is continuous and semiconcave with modulus $\omega$ and $f_1\le f_2$, then there exists $f\in C^{1,\omega }\left(X\right)$ such that $f_1\le f\le f_2$. Using this result we prove a generalization of Ilmanen lemma (which deals with the case $\omega \left(t\right)=t$) to the case of an arbitrary nontrivial modulus $\omega$. This generalization (where a $C_{loc}^{1,\omega }$ function is inserted) gives a positive answer to a problem formulated by A. Fathi and M. Zavidovique in 2010.