Let A be a uniform algebra on X and σ a probability measure on X. We define the Hardy spaces $H^p\left(\sigma \right)$ and the $H^p\left(\sigma \right)$ interpolating sequences S in the p-spectrum ${ℳ}_p$ of σ. We prove, under some structural hypotheses on A and σ, that if S is a “dual bounded” Carleson sequence, then S is $H^s\left(\sigma \right)$-interpolating with a linear extension operator for s < p, provided that either p = ∞ or p ≤ 2. In the case of the unit ball of ℂⁿ we find, for instance, that if S is dual bounded in $H^{\infty }\left(\right)$ then S is $H^p\left(\right)$-interpolating with...

For an injective map τ acting on the dyadic subintervals of the unit interval [0,1) we define the rearrangement operator $T_s$, 0 < s < 2, to be the linear extension of the map $\left(h_I\right)/{\left(\right|I|}^{1/s})\mapsto \left(h_{\tau \left(I\right)}\right)\left(\right|\tau \left(I\right){|}^{1/s})$, where $h_I$ denotes the $L^{\infty }$-normalized Haar function supported on the dyadic interval I. We prove the following extrapolation result: If there exists at least one 0 < s₀ < 2 such that $T_{s₀}$ is bounded on $H^{s₀}$, then for all 0 < s < 2 the operator $T_s$ is bounded on $H^s$.

Given 0 < p,q < ∞ and any sequence z = zₙ in the unit disc , we define an operator from functions on to sequences by $T_{z,p}\left(f\right)={(1-|zₙ\left|²\right)}^{1/p}f\left(zₙ\right)$. Necessary and sufficient conditions on zₙ are given such that $T_{z,p}$ maps the Hardy space $H^p$ boundedly into the sequence space ${\ell }^q$. A corresponding result for Bergman spaces is also stated.

We first give a necessary and sufficient condition for $x^{-\gamma }\varphi \left(x\right)\in L^p$, 1 < p < ∞, 1/p - 1 < γ < 1/p, where ϕ(x) is the sum of either ${\sum }_{k=1}^{\infty }{a}_{k}coskx$ or ${\sum }_{k=1}^{\infty }{b}_{k}sinkx$, under the condition that λₙ (where λₙ is aₙ or bₙ respectively) belongs to the class of so called Mean Value Bounded Variation Sequences (MVBVS). Then we discuss the relations among the Fourier coefficients λₙ and the sum function ϕ(x) under the condition that λₙ ∈ MVBVS, and deduce a sharp estimate for the weighted modulus of continuity of ϕ(x)...

The aim of this paper is to introduce some new fixed point results of Hardy-Rogers-type for $\alpha$-$\eta$-$GF$-contraction in a complete metric space. We extend the concept of $F$-contraction into an $\alpha$-$\eta$-$GF$-contraction of Hardy-Rogers-type. An example has been constructed to demonstrate the novelty of our results.

The main aim of this paper is to prove that the maximal operator ${\sigma }^{}$ is bounded from the Hardy space $H_{1/2}$ to weak-$L_{1/2}$ and is not bounded from $H_{1/2}$ to $L_{1/2}$.

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

Given a bounded open set $\Omega$ in ${ℝ}^n$ (or in a Riemannian manifold) and a partition of $\Omega$ by $k$ open sets $D_j$, we consider the quantity ${\mathrm{𝚖𝚊𝚡}}_j\lambda \left(D_j\right)$ where $\lambda \left(D_j\right)$ is the ground state energy of the Dirichlet realization of the Laplacian in $D_j$. If we denote by ${ℒ}_k\left(\Omega \right)$ the infimum over all the $k$-partitions of ${\mathrm{𝚖𝚊𝚡}}_j\lambda \left(D_j\right)$, a minimal $k$-partition is then a partition which realizes the infimum. When $k=2$, we find the two nodal domains of a second eigenfunction, but the analysis of higher $k$’s is non trivial and quite interesting. In this...

We study the structure of longest sequences in $\mathbb{Z}{ₙ}^d$ which have no zero-sum subsequence of length n (or less). We prove, among other results, that for $n=2^a$ and d arbitrary, or $n=3^a$ and d = 3, every sequence of c(n,d)(n-1) elements in $\mathbb{Z}{ₙ}^d$ which has no zero-sum subsequence of length n consists of c(n,d) distinct elements each appearing n-1 times, where $c(2^a,d)=2^d$ and $c(3^a,3)=9$.

Let f be a measurable function defined on ℝ. For each n ∈ ℤ we consider the average $Aₙf\left(x\right)=2^{-n}{\int }_x^{x+2ⁿ}f$. The square function is defined as $Sf\left(x\right)=({\sum }_{n=-\infty }^{\infty }|Aₙf\left(x\right)-A_{n-1}f\left(x\right){\left|²\right)}^{1/2}$. The local version of this operator, namely the operator $S₁f\left(x\right)=({\sum }_{n=-\infty }^0|Aₙf\left(x\right)-A_{n-1}f\left(x\right){\left|²\right)}^{1/2}$, is of interest in ergodic theory and it has been extensively studied. In particular it has been proved [3] that it is of weak type (1,1), maps $L^p$ into itself (p > 1) and $L^{\infty }$ into BMO. We prove that the operator S not only maps $L^{\infty }$ into BMO but it also maps BMO into BMO. We also prove that the $L^p$ boundedness...

In this paper we study the regularity properties of the one-dimensional one-sided Hardy-Littlewood maximal operators ${ℳ}^{+}$ and ${ℳ}^{-}$. More precisely, we prove that ${ℳ}^{+}$ and ${ℳ}^{-}$ map $W^{1,p}\left(ℝ\right)\to W^{1,p}\left(ℝ\right)$ with $1<p<\infty$, boundedly and continuously. In addition, we show that the discrete versions $M^{+}$ and $M^{-}$ map $\mathrm{BV}\left(\mathbb{Z}\right)\to \mathrm{BV}\left(\mathbb{Z}\right)$ boundedly and map $l^1\left(\mathbb{Z}\right)\to \mathrm{BV}\left(\mathbb{Z}\right)$ continuously. Specially, we obtain the sharp variation inequalities of $M^{+}$ and $M^{-}$, that is, $$\mathrm{Var}\left(M^{+}\left(f\right)\right)\le \mathrm{Var}\left(f\right)\text{and}\mathrm{Var}\left(M^{-}\left(f\right)\right)\le \mathrm{Var}\left(f\right)$$ if $f\in \mathrm{BV}\left(\mathbb{Z}\right)$, where $\mathrm{Var}\left(f\right)$ is the total variation of $f$ on $\mathbb{Z}$ and $\mathrm{BV}\left(\mathbb{Z}\right)$ is the set of all functions $f:\mathbb{Z}\to ℝ$ satisfying $\mathrm{Var}\left(f\right)<\infty$.

A subspace A of a topological space X is said to be $P^{\gamma }$-embedded ($P^{\gamma }$(point-finite)-embedded) in X if every (point-finite) partition of unity α on A with |α| ≤ γ extends to a (point-finite) partition of unity on X. The main results are: (Theorem A) A subspace A of X is $P^{\gamma }$(point-finite)-embedded in X iff it is $P^{\gamma }$-embedded and every countable intersection B of cozero-sets in X with B ∩ A = ∅ can be separated from A by a cozero-set in X. (Theorem B) The product A × [0,1] is $P^{\gamma }$(point-finite)-embedded...

We prove three theorems on linear operators $T_{\tau ,p}:H_p\left(ℬ\right)\to H_p$ induced by rearrangement of a subsequence of a Haar system. We find a sufficient and necessary condition for $T_{\tau ,p}$ to be continuous for 0 < p < ∞.

If $E=e_i$ and $F=f_i$ are two 1-unconditional basic sequences in L₁ with E r-concave and F p-convex, for some 1 ≤ r < p ≤ 2, then the space of matrices $a_{i,j}$ with norm $\left|\right|a_{i,j}{\left|\right|}_{E\left(F\right)}=\left|\right|{\sum }_k\left|\right|{\sum }_l{a}_{k,l}{f}_l\left|\right|e_k\left|\right|$ embeds into L₁. This generalizes a recent result of Prochno and Schütt.

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 $(X,d,\mu )$ be a metric measure space endowed with a distance $d$ and a nonnegative Borel doubling measure $\mu$. Let $L$ be a non-negative self-adjoint operator of order $m$ on $L^2\left(X\right)$. Assume that the semigroup ${\mathrm{e}}^{-tL}$ generated by $L$ satisfies the Davies-Gaffney estimate of order $m$ and $L$ satisfies the Plancherel type estimate. Let $H_L^p\left(X\right)$ be the Hardy space associated with $L.$ We show the boundedness of Stein’s square function ${𝒢}_{\delta }\left(L\right)$ arising from Bochner-Riesz means associated to $L$ from Hardy spaces $H_L^p\left(X\right)$ to $L^p\left(X\right)$, and also study...

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

Let $Q={\left(q_n\right)}_{n=1}^{\infty }$ be a sequence of bases with $q_i\ge 2$. In the case when the $q_i$ are slowly growing and satisfy some additional weak conditions, we provide a construction of a number whose $Q$-Cantor series expansion is both $Q$-normal and $Q$-distribution normal. Moreover, this construction will result in a computable number provided we have some additional conditions on the computability of $Q$, and from this construction we can provide computable constructions of numbers with atypical normality properties. ...

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

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.