Searcharxiv⌕ Search

arXiv subjects

Alexander Volberg

Publications and source records attributed to Alexander Volberg.

At least 91 records · Page 5Linked to original sources

The Riesz transform, rectifiability, and removability for Lipschitz harmonic functions

We show that, given a set $E\subset \mathbb R^{n+1}$ with finite $n$-Hausdorff measure $H^n$, if the $n$-dimensional Riesz transform $$R_{H^n|E} f(x) = \int_{E} \frac{x-y}{|x-y|^{n+1}} f(y) dH^n(y)$$ is bounded in $L^2(H^n|E)$, then $E$ is $n$-rectifiable. From this result we deduce that a compact set $E\subset\mathbb R^{n+1}$ with $H^n(E)<\infty$ is removable for Lipschitz harmonic functions if and only if it is purely $n$-unrectifiable, thus proving the analog of Vitushkin's conjecture in higher dimensions.

math.CA↗

Extremizers and Bellman function for martingale weak type inequality

We give an exact formula for the Bellman function of the weak type of martingale transform. We also give the extremal functions (actually extremal sequences of functions). We find them using the precise form of the Bellman function. The extremal examples have a fractal nature as it often happens in that kind of problems. This article is devoted to the unweighted weak type estimate.

math.CA↗

Spectral perturbation theory and the two weights problem

The famous two weights problem consists in characterising all possible pairs of weights such that the Hardy projection is bounded between the corresponding weighted $L^2$ spaces. Koosis' theorem of 1980 gives a way to construct a certain class of pairs of weights. We show that Koosis' theorem is closely related to (in fact, is a direct consequence of) a spectral perturbation model suggested by de Branges in 1962. Further, we show that de Branges' model provides an operator-valued version of Koosis' theorem.

math.CA↗

The proof of non-homogeneous T1 theorem via averaging of dyadic shifts

We give again a proof of non-homogeneous T1 theorem. Our proof consists of three main parts: a construction of a random dyadic lattice; an estimate of matrix coefficients of a Calderón--Zygmund operator with respect to random Haar basis if a smaller Haar support is good; a clever averaging trick from Hytönen's papers which uses the averaging over dyadic lattices to decompose operator into dyadic shifts eliminating the error term that was present in the previous proofs by Nazarov--Treil--Volberg.

math.AP↗

The proof of $A_2$ conjecture in a geometrically doubling metric space

We give a proof of the $A_2$ conjecture in geometrically doubling metric spaces (GDMS), i.e. a metric space where one can fit not more than a fixed amount of disjoint balls of radius $r$ in a ball of radius $2r$. Our proof consists of three main parts: a construction of a random "dyadic" lattice in a metric space; a clever averaging trick from [3], which decomposes a "hard" part of a Calderon-Zygmund operator into dyadic shifts (adjusted to metric setting); and the estimates for these dyadic shifts, made in [16] and later in [19].

math.CA↗

Logarithmic bump conditions and the two weight boundedness of Calderón-Zygmund operators

We prove that if a pair of weights $(u,v)$ satisfies a sharp $A_p$-bump condition in the scale of log bumps and certain loglog bumps, then Haar shifts map $L^p(v)$ into $L^p(u)$ with a constant quadratic in the complexity of the shift. This in turn implies the two weight boundedness for all Calderón-Zygmund operators. This gives a partial answer to a long-standing conjecture. We also give a partial result for a related conjecture for weak-type inequalities. To prove our main results we combine several different approaches to these problems; in particular we use many of the ideas developed to prove the $A_2$ conjecture. As a byproduct of our work we also disprove a conjecture by Muckenhoupt and Wheeden on weak-type inequalities for the Hilbert transform. This is closely related to the recent counterexamples of Reguera, Scurry and Thiele.

math.AP↗

Scattering theory and Banach space valued singular integrals

We give a new sufficient condition for existence and completeness of wave operators in abstract scattering theory. This condition generalises both trace class and smooth approaches to scattering theory. Our construction is based on estimates for the Cauchy transforms of operator valued measures.

math.SP↗

Cauchy independent measures and super-additivity of analytic capacity

We show that, given a family of discs centered at a nice curve, the analytic capacities of arbitrary subsets of these discs add up. However we need that the discs in question would be slightly separated, and it is not clear whether the separation condition is essential or not. We apply this result to study the independence of Cauchy integral operators.

math.CA↗

The fractional Riesz transform and an exponential potential

In this paper we study the $s$-dimensional Riesz transform of a finite measure $μ$ in $\mathbf{R}^d$, with $s\in (d-1,d)$. We show that the boundedness of the Riesz transform of $μ$ implies that a nonlinear potential of exponential type is finite $μ$-almost everywhere. It appears to be the first result of this type for $s>1$.

math.AP↗

Carleson--Buckley measures beyond the scope of $A_\infty$ and their applications

Carleson measures are ubiquitous in Harmonic Analysis. In the paper of Fefferman--Kenig--Pipher in 1991 an interesting class of Carleson measures was introduced for the need of regularity problems of elliptic PDE. These Carleson measures were associated with $A_\infty$ weights. In discrete setting (we need exactly discrete setting here) they were studied by Buckley's, where they were associated with dyadic $A\infty^d$. Our goal here is to show that such Carleson--Buckley measures (in discrete setting) exists for virtually any positive function (weight). Of course some modification is needed, because it is known that Carleson property of Buckley's measure are equivalent to the weight to be in $A_\infty^d$. However a very natural generalization of those facts exist for weights more general $A_\infty$, and of course, in a special case of $A_\infty^d$ it gives Buckley's results. Our generalization of Buckley's inequality beyond the scope of $A_\infty$ allows us to prove the so-called bump conjecture.

math.CA↗

Buffon's needle estimates for rational product Cantor sets

Let $S_\infty=A_\infty\times B_\infty$ be a self-similar product Cantor set in the complex plane, defined via $S_\infty=\bigcup_{j=1}^L T_j(S_\infty)$, where $T_j:\C\to\C$ have the form $T_j(z)=\frac1{L}z+z_j$ and $\{z_1,...,z_L\}=A+iB$ for some $A,B\subset\rr$ with $|A|,|B|>1$ and $|A||B|=L$. Let $S_N$ be the $L^{-N}$-neighbourhood of $S_\infty$, or equivalently (up to constants), its $N$-th Cantor iteration. We are interested in the asymptotic behaviour as $N\to\infty$ of the {\it Favard length} of $S_N$, defined as the average (with respect to direction) length of its 1-dimensional projections. If the sets $A$ and $B$ are rational and have cardinalities at most 6, then the Favard length of $S_N$ is bounded from above by $CN^{-p/\log\log N}$ for some $p>0$. The same result holds with no restrictions on the size of $A$ and $B$ under certain implicit conditions concerning the generating functions of these sets. This generalizes the earlier results of Nazarov-Perez-Volberg, Łaba-Zhai, and Bond-Volberg.

math.CA↗

Some remarks on extrapolation with "flat" weights

We prove an extrapolation result for general operators under some weak assumptions on the boundedness of the operator. In particular, we show that if the operator is weakly bounded on some L^{p_{0}}(w), for all "flat" weights, w in A_{p_{0}}, 1 < p_{0} <\infty, then for p in some small neighborhood around p_{0}, and all "flat" A_{p} weights, w, the operator is weakly bounded on L^{p}(w), and as a result we get strong type estimates for the operator.

math.CA↗

The $s$-Riesz transform of an $s$-dimensional measure in $\R^2$ is unbounded for $1<s<2$

In this paper, we prove that for $s\in(1,2)$ there exists no totally lower irregular finite positive Borel measure $μ$ in $\R^2$ with\break $\mathcal H^s(\suppμ)<+\infty$ such that $\|Rμ\|\ci{L^\infty(m_2)}<+\infty$, where $Rμ=μ\ast\frac{x}{|x|^{s+1}}$ and $m_2$ is the Lebesgue measure in $\R^2$. Combined with known results of Prat and Vihtilä, this shows that for any non-integer $s\in(0,2)$ and any finite positive Borel measure in $\R^2$ with $\mathcal H^s(\suppμ)<+\infty$, we have $\|Rμ\|\ci{L^\infty(m_2)}=\infty$.

math.AP↗

Ahlfors-Beurling operator on radial functions

We give a simple proof of a sharp bound of Ahlfors--Beurling operator on complex-valued radial functions. In the language of the Calculus of Variation we prove a certain estimates for stretch and twist functions. Our estimate go slightly beyond this case. This article was written in February 2009 and then delivered at a seminar talk at UW, Madison on February, 2009.

math.CA↗

Laminates Meet Burkholder Functions

We will explain how to compute the exact $L^p$ operator norm of a "quadratic perturbation" of the real part of the Ahlfors--Beurling operator. For the lower bound estimate we use a new approach of constructing a sequence of laminates (probability measures for which Jensen's inequality holds, but for rank one concave functions) to give an almost extremal sequence to approximate the operator. The upper bound estimate is given by extending the estimates of the quadratic perturbation of the martingale transform to continuous martingales. The use of "heat martingales" then allow us to connect the Riesz transforms to the continuous martingale estimate.

math.AP↗