Let ${\left(h_k\right)}_{k\ge 0}$ be the Haar system on [0,1]. We show that for any vectors $a_k$ from a separable Hilbert space and any ${\epsilon }_k\in [-1,1]$, k = 0,1,2,..., we have the sharp inequality $\left|\right|{\sum }_{k=0}^n{\epsilon }_k{a}_k{h}_k{\left|\right|}_{W\left(\right[0,1\left]\right)}\le 2\left|\right|{\sum }_{k=0}^n{a}_k{h}_k{\left|\right|}_{L^{\infty }\left([0,1]\right)}$, n = 0,1,2,..., where W([0,1]) is the weak-$L^{\infty }$ space introduced by Bennett, DeVore and Sharpley. The above estimate is generalized to the sharp weak-type bound ${\left|\right|Y\left|\right|}_{W\left(\Omega \right)}{\le 2\left|\right|X\left|\right|}_{L^{\infty }\left(\Omega \right)}$, where X and Y stand for -valued martingales such that Y is differentially subordinate to X. An application to harmonic functions on Euclidean domains is presented.

Let $\Delta u={\Sigma }_i\frac{{\partial }^2}{{\partial }_{x_i}^2}$, $Lu={\Sigma }_{i,j}{a}_{ij}\frac{{\partial }^2}{\partial x_i\partial x_j}u+{\Sigma }_i{b}_i\frac{\partial }{\partial x_i}u+cu$ be elliptic operators with Hölder continuous coefficients on a bounded domain $\Omega \subset {\mathbf{R}}^n$ of class $C^{1,1}$. There is a constant $c\>0$ depending only on the Hölder norms of the coefficients of $L$ and its constant of ellipticity such that $$c^{-1}{G}_{\Delta }^{\Omega }\le G_L^{\Omega }\le c{G}_{\Delta }^{\Omega }\text{on}\Omega \times \Omega ,$$ where ${\gamma }_{\Delta }^{\Omega }$ (resp. $G_L^{\Omega }$) are the Green functions of $\Delta$ (resp. $L$) on $\Omega$.

We consider the hexagonal circle packing with radius $1/2$ and perturb it by letting the circles move as independent Brownian motions for time $t$. It is shown that, for large enough $t$, if ${𝛱}_t$ is the point process given by the center of the circles at time $t$, then, as $t\to \infty$, the critical radius for circles centered at ${𝛱}_t$ to contain an infinite component converges to that of continuum percolation (which was shown – based on a Monte Carlo estimate – by Balister, Bollobás and Walters to be strictly...

We prove unique continuation for solutions of the inequality $\left|\Delta u\right(x\left)\right|\le V\left(x\right)\left|\nabla u\right(x\left)\right|$, $x\in \Omega$ a connected set contained in ${\mathbf{R}}^n$ and $V$ is in the Morrey spaces $F^{\alpha ,p}$, with $p\ge (n-2)/2(1-\alpha )$ and $\alpha \<1$. These spaces include $L^q$ for $q\ge (3n-2)/2$ (see [H], [BKRS]). If $p=(n-2)/2(1-\alpha )$, the extra assumption of $V$ being small enough is needed.

We study supercritical branching Brownian motion on the real line starting at the origin and with constant drift $c$. At the point $xgt;0$, we add an absorbing barrier, i.e. individuals touching the barrier are instantly killed without producing offspring. It is known that there is a critical drift $c_0$, such that this process becomes extinct almost surely if and only if $c\ge c_0$. In this case, if $Z_x$ denotes the number of individuals absorbed at the barrier, we give an asymptotic for $P(Z_x=n)$ as $n$ goes to infinity....

This paper studies a new maximal operator introduced by Hytönen, McIntosh and Portal in 2008 for functions taking values in a Banach space. The $L^p$-boundedness of this operator depends on the range space; certain requirements on type and cotype are present for instance. The original Euclidean definition of the maximal function is generalized to σ-finite measure spaces with filtrations and the $L^p$-boundedness is shown not to depend on the underlying measure space or the filtration. Martingale...

We prove sharp a priori estimates for the distribution function of the dyadic maximal function ℳ ϕ, when ϕ belongs to the Lorentz space $L^{p,q}$, 1 < p < ∞, 1 ≤ q < ∞. The approach rests on a precise evaluation of the Bellman function corresponding to the problem. As an application, we establish refined weak-type estimates for the dyadic maximal operator: for p,q as above and r ∈ [1,p], we determine the best constant $C_{p,q,r}$ such that for any $\varphi \in L^{p,q}$, ${\left|\right|ℳ\varphi \left|\right|}_{r,\infty }\le C_{p,q,r}{\left|\right|\varphi \left|\right|}_{p,q}$.

The classical Hardy-Littlewood maximal operator is bounded not only on the classical Lebesgue spaces $L_p\left({ℝ}^d\right)$ (in the case $p>1$), but (in the case when $1/p(·)$ is log-Hölder continuous and $p_{-}=inf\{p\left(x\right):x\in {ℝ}^d\}>1$) on the variable Lebesgue spaces $L_{p(·)}\left({ℝ}^d\right)$, too. Furthermore, the classical Hardy-Littlewood maximal operator is of weak-type $(1,1)$. In the present note we generalize Besicovitch’s covering theorem for the so-called $\gamma$-rectangles. We introduce a general maximal operator $M_s^{\gamma ,\delta }$ and with the help of generalized $\Phi$-functions, the strong-...

We give a quantitative characterization of the pairs of weights $(w,v)$ for which the dyadic version of the one-sided Hardy-Littlewood maximal operator satisfies a restricted weak $(p,p)$ type inequality for $1\le p<\infty$. More precisely, given any measurable set $E_0$, the estimate $$w\left(\{x\in {ℝ}^n:M^{+,d}\left({𝒳}_{E_0}\right)\left(x\right)>t\}\right)\le \frac{C{\left[(w,v)\right]}_{A_p^{+,d}\left(ℛ\right)}^p}{t^p}v\left(E_0\right)$$ holds if and only if the pair $(w,v)$ belongs to $A_p^{+,d}\left(ℛ\right)$, that is, $$\frac{\left|E\right|}{\left|Q\right|}\le {\left[(w,v)\right]}_{A_p^{+,d}\left(ℛ\right)}{\left(\frac{v\left(E\right)}{w\left(Q\right)}\right)}^{1/p}$$ for every dyadic cube $Q$ and every measurable set $E\subset Q^{+}$. The proof follows some ideas appearing in S. Ombrosi (2005). We also obtain a similar quantitative characterization for the...

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