A Bellman function approach to Fefferman's $H^1-BMO$ duality theorem is presented. One Bellman-type argument is used to handle two different one-dimensional cases, dyadic and continuous. An explicit estimate for the constant of embedding $BMO\subset (H^1)^*$ is given in the dyadic case. The same Bellman function is then used to establish a multi-dimensional analog.
We construct the upper and lower Bellman functions for the $L^p$ (quasi)-norms of BMO functions. These appear as solutions to a series of Monge--Ampère boundary value problems on a non-convex plane domain. The knowledge of the Bellman functions leads to sharp constants in inequalities relating average oscillations of BMO functions and various BMO norms.
In this paper we develop the method of finding sharp estimates by using a Bellman function. In such a form the method appears in the proofs of the classical John--Nirenberg inequality and $L^p$ estimations of BMO functions. In the present paper we elaborate a method of solving the boundary value problem for the homogeneous Monge--Ampère equation in a parabolic strip for sufficiently smooth boundary conditions. In such a way we have obtained an algorithm of constructing an exact Bellman function for a large class of integral functionals in the BMO space.
We develop technical tools that enable the use of Bellman functions for BMO defined on $α$-trees, which are structures that generalize dyadic lattices. As applications, we prove the integral John--Nirenberg inequality and an inequality relating $L^1$- and $L^2$-oscillations for BMO on $α$-trees, with explicit constants. When the tree in question is the collection of all dyadic cubes in $\mathbb{R}^n,$ the inequalities proved are sharp. We also reformulate the John--Nirenberg inequality for the continuous BMO in terms of special martingales generated by BMO functions. The tools presented can be…
We find the best possible constant $C$ in the inequality $$\|φ\|_{L^r}^{\phantom{\frac{p}{r}}}\leq C\|φ\|_{L^p}^{\frac{p}{r}}\|φ\|_{\mathrm{BMO}}^{1-\frac{p}{r}}$$ for all possible values of parameters $p$ and $r$ such that $1 \le p < r < +\infty$. We employ the Bellman function technique to solve this problem. The Bellman function of three variables corresponding to this problem has a rather complicated structure, however, we managed to provide the explicit formulas for this function. First, we solve the problem on an interval and then transfer our results to the circle and the line. We also …
We obtain the explicit upper Bellman function for the natural dyadic maximal operator acting from ${\rm BMO}(\mathbb{R}^n)$ into ${\rm BLO}(\mathbb{R}^n).$ As a consequence, we show that the ${\rm BMO}\to{\rm BLO}$ norm of the natural operator equals 1 for all $n,$ and so does the norm of the classical dyadic maximal operator. The main result is a partial corollary of a theorem for the so-called $α$-trees, which generalize dyadic lattices. The Bellman function in this setting exhibits an interesting quasi-periodic structure depending on $α,$ but also allows a majorant independent of $α,$ hence…
This paper is a continuation of earlier work by the first author who determined the John--Nirenberg constant of ${\rm BMO}^p\big((0,1)\big)$ for the range $1\le p\le 2.$ Here, we compute that constant for $p>2.$ As before, the main results rely on Bellman functions for the $L^p$ norms of logarithms of $A_\infty$ weights, but for $p>2$ these functions turn out to have a significantly more complicated structure than for $1\le p\le 2.$
In this paper we characterize the two matrix weighted boundedness of commutators with any of the Riesz transforms (when both are matrix A${}_p$ weights) in terms of a natural two matrix weighted BMO space. Furthermore, we identify this BMO space when $p = 2$ as the dual of a natural two matrix weighted H${}^1$ space, and use our commutator result to provide a converse to Bloom's matrix A${}_2$ theorem, which as a very special case proves Buckley's summation condition for matrix A${}_2$ weights. Finally, we use our results to prove a matrix weighted John-Nirenberg inequality, and we also briefl…
Let (M,μ) be a sigma-finite measure space. Let (T_t) be a semigroup of positive preserving maps on (M,μ) with standard assumptions. We prove a H_1-BMO duality theory with assumptions only on T_t. The BMO is defined as spaces of functions f such that the L_\infty norm of sup_tT_t|f-T_tf|^2 is finite. The H1 is defined by square functions of P. A. Meyer's gradient form. Our argument does not rely on any geometric/metric structure of M nor on the kernel of the semigroups of operators. This abstract argument allows to extend our main results to the noncommutative setting, e.g. the case where L_\in…
We consider the strong form of the John-Nirenberg inequality for the $L^2$-based BMO. We construct explicit Bellman functions for the inequality in the continuous and dyadic settings and obtain the sharp constant as well as the precise bound on the inequality's range of validity, both previously unknown. The results for the two cases are substantially different. The paper not only gives another instance in the short list of such explicit calculations, but also presents the Bellman function method as a sequence of clear steps, adaptable to a wide variety of applications.
In this paper, we study the dyadic Carleson Embedding Theorem in the matrix weighted setting. We provide two new proofs of this theorem, which highlight connections between the matrix Carleson Embedding Theorem and both maximal functions and $H^1$-BMO duality. Along the way, we establish boundedness results about new maximal functions associated to matrix $A_2$ weights and duality results concerning $H^1$ and BMO sequence spaces in the matrix setting. As an application, we then use this Carleson Embedding Theorem to show that if $S$ is a sparse operator, then the operator norm of $S$ on $L^2(W…
We unify several Bellman function problems into one setting. For that purpose we define a class of functions that have, in a sense, small mean oscillation (this class depends on two convex sets in $\mathbb{R}^2$). We show how the unit ball in the $\mathrm{BMO}$ space, or a Muckenhoupt class, or a Gehring class can be described in such a fashion. Finally, we consider a Bellman function problem on these classes, discuss its solution and related questions.
We provide sharp bounds for the exponential moments and $p$-moments, $1\leqslant p \leqslant 2$, of the terminate distribution of a martingale whose square function is uniformly bounded by one. We introduce a Bellman function for the corresponding extremal problem and reduce it to the already known Bellman function on $\mathrm{BMO}([0,1])$. In the case of tail estimates, a similar reduction does not work exactly, so we come up with a fine supersolution that leads to sharp tail estimates.
In this paper we give a simple proof of the fact that the average over all dyadic lattices of the dyadic $H^1$-norm of a function gives an equivalent $H^1$-norm. The proof we present works for both one-parameter and multi-parameter Hardy spaces. The results of such type are known. The first result (for one-parameter Hardy spces) belongs to Burgess Davis (1980). Also, by duality, such results are equivalent to the "BMO from dyadic BMO" statements proved by Garnett-Jones(1982} for one parameter case, and by Pipher-Ward (2008) for two-parameter case. While the paper generalizes these results to t…
Given an inner function $θ$ on the unit disk, let $K^p_θ:=H^p\capθ\bar z\bar{H^p}$ be the associated star-invariant subspace of the Hardy space $H^p$. Also, we put $K_{*θ}:=K^2_θ\cap{\rm BMO}$. Assuming that $B=B_{\mathcal Z}$ is an interpolating Blaschke product with zeros $\mathcal Z=\{z_j\}$, we characterize, for a number of smoothness classes $X$, the sequences of values $\mathcal W=\{w_j\}$ such that the interpolation problem $f\big|_{\mathcal Z}=\mathcal W$ has a solution $f$ in $K^2_B\cap X$. Turning to the case of a general inner function $θ$, we further establish a non-duality relatio…
Let ${\mathcal X}$ be a metric space with doubling measure, $L$ a nonnegative self-adjoint operator in $L^2({\mathcal X})$ satisfying the Davies-Gaffney estimate, $ω$ a concave function on $(0,\infty)$ of strictly lower type $p_ω\in (0, 1]$ and $ρ(t)={t^{-1}}/ω^{-1}(t^{-1})$ for all $t\in (0,\infty).$ The authors introduce the Orlicz-Hardy space $H_{ω,L}({\mathcal X})$ via the Lusin area function associated to the heat semigroup, and the BMO-type space ${\mathop\mathrm{BMO}_{ρ,L}(\mathcal X)}$. The authors then establish the duality between $H_{ω,L}({\mathcal X})$ and $\mathrm{BMO}_{ρ,L}({\mat…
We prove a duality theorem the computation of certain Bellman functions is usually based on. As a byproduct, we obtain sharp results about the norms of monotonic rearrangements. The main novelty of our approach is a special class of martingales and an extremal problem on this class, which is dual to the minimization problem for locally concave functions.