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

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

Let $K\subset {ℝ}^m$ ($m\ge 2$) be a compact set; assume that each ball centered on the boundary $B$ of $K$ meets $K$ in a set of positive Lebesgue measure. Let $C_0^{\left(1\right)}$ be the class of all continuously differentiable real-valued functions with compact support in ${ℝ}^m$ and denote by ${\sigma }_m$ the area of the unit sphere in ${ℝ}^m$. With each $\varphi \in C_0^{\left(1\right)}$ we associate the function $$W_K\varphi \left(z\right)=\frac{1}{{\sigma }_m}\underset{{ℝ}^m\setminus K}{\to }\int \mathrm{g}rad\varphi \left(x\right)·\frac{z-x}{{|z-x|}^m}x$$ of the variable $z\in K$ (which is continuous in $K$ and harmonic in $K\setminus B$). $W_K\varphi$ depends only on the restriction ${\varphi |}_B$ of $\varphi$ to the boundary $B$ of $K$. This gives rise to a linear operator $W_K$...

Let $\Omega \subset {ℝ}^n,n\ge 3$, and let $p,1<p<\infty ,p\ne 2$, be given. In this paper we study the dimension of $p$-harmonic measures that arise from non-negative solutions to the $p$-Laplace equation, vanishing on a portion of $\partial \Omega$, in the setting of $\delta$-Reifenberg flat domains. We prove, for $p\ge n$, that there exists $\tilde{\delta }=\tilde{\delta }(p,n)>0$ small such that if $\Omega$ is a $\delta$-Reifenberg flat domain with $\delta <\tilde{\delta }$, then $p$-harmonic measure is concentrated on a set of $\sigma$-finite $H^{n-1}$-measure. We prove, for $p\ge n$, that for sufficiently flat Wolff snowflakes the Hausdorff dimension of $p$-harmonic...

Let $M_S$ denote the strong maximal operator. Let $M_x$ and $M_y$ denote the one-dimensional Hardy-Littlewood maximal operators in the horizontal and vertical directions in ℝ². A function h supported on the unit square Q = [0,1]×[0,1] is exhibited such that ${\int }_Q{M}_y{M}_{x}h<\infty$ but ${\int }_Q{M}_x{M}_{y}h=\infty$. It is shown that if f is a function supported on Q such that ${\int }_Q{M}_y{M}_{x}f<\infty$ but ${\int }_Q{M}_x{M}_{y}f=\infty$, then there exists a set A of finite measure in ℝ² such that ${\int }_A{M}_{S}f=\infty$.

We establish consistent estimators of jump positions and jump altitudes of a multi-level step function that is the best $L^2$-approximation of a probability density function $f$. If $f$ itself is a step-function the number of jumps may be unknown.