arXiv subjects
Publications and source records attributed to Dmitriy M. Stolyarov.
We strengthen Hölder's inequality. The new family of sharp inequalities we obtain might be thought of as an analog of Pythagorean theorem for the $L^p$ spaces. Our reasonings rely upon Bellman functions of four variables.
We obtain a necessary and sufficient condition for the operator of integration to be bounded on $H^\infty$ in a simply connected domain. The main ingredient of the proof is a new result on uniform approximation of Bloch functions. This gives a full characterization of symbols of certain Volterra operators that act on bounded analytic functions in the disc if the symbol is assumed to be univalent. Without this assumption the answer is not known, and as the example at the end of the paper shows, the natural answer is definitely false.
We study the subspaces of $L_p(\mathbb{R}^d)$ that consist of functions whose Fourier transforms vanish on a smooth surface of codimension $1$. We show that a subspace defined in such a manner coincides with the whole $L_p$ space for $p > \frac{2d}{d+1}$. We also prove density of smooth functions in such spaces when $p < \frac{2d}{d+1}$ for specific cases of surfaces and give an equivalent definition in terms of differential operators.
In the paper "Bellman function for extremal problems in $\mathrm{BMO}$", the authors built the Bellman function for integral functionals on the $\mathrm{BMO}$ space. The present paper provides a development of the subject. We abandon the majority of unwanted restrictions on the function that generates the functional. It is the new evolutional approach that allows us to treat the problem in its natural setting. What is more, these new considerations lighten dynamical aspects of the Bellman function, in particular, evolution of its picture.
We obtain sharp bounds for the monotonic rearrangement operator from "dyadic-type" classes to "continuous". In particular, for the $\mathrm{BMO}$ space and Muckenhoupt classes. The idea is to connect the problem with a simple geometric construction named $α$-extension.
We investigate existence of a priori estimates for differential operators in $L^1$ norm: for anisotropic homogeneous differential operators $T_1, \ldots , T_{\ell}$, we study the conditions under which the inequality $$ \|T_1 f\|_{L_1(\mathbb{R}^d)} \lesssim \sum\limits_{j = 2}^{\ell}\|T_j f\|_{L_1(\mathbb{R}^d)} $$ holds true. We also discuss a similar problem for martingale transforms.
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.
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 prove bilinear inequalities for differential operators in $\mathbb{R}^2$. Such type inequalities turned out to be useful for anisotropic embedding theorems for overdetermined systems and the limiting order summation exponent. However, here we study the phenomenon in itself. We consider elliptic case, where our analysis is complete, and non-elliptic, where it is not. The latter case is related to Strichartz estimates in a very easy case of two dimensions.
We obtain the classical Hanner inequalities by the Bellman function method. These inequalities give sharp estimates for the moduli of convexity of Lebesgue spaces. Easy ideas from differential geometry help us to find the Bellman function using neither "magic guesses" nor calculations.
We prove that if pure derivatives with respect to all coordinates of a function on $\mathbb{R}^n$ are signed measures, then their lower Hausdorff dimension is at least $n-1$. The derivatives with respect to different coordinates may be of different order.
We study the question of how much one can weaken the defining condition of BMO. Specifically, we show that if $Q$ is a cube in $\mathbb{R}^n$ and $h:[0,\infty)\to[0,\infty)$ is such that $h(t)\underset{t\to\infty}{\longrightarrow}\infty,$ then $$ \sup_{J \text{subcube} Q} \frac1{|J|}\int_J h(|φ-\frac1{|J|} \int_Jφ|)<\infty \Longrightarrow φ\in BMO(Q). $$ Under some additional assumptions on $h$ we obtain estimates on $\|φ\|_{BMO}$ in terms of the supremum above. We also show that even though the condition $h(t)\underset{t\to\infty}{\longrightarrow}\infty$ is not necessary for this implication to hold, it becomes necessary if one considers the dyadic BMO.
We obtain a simple formula for the first-order trace of a regular differential operator on a segment perturbated by a multiplication operator. The main analytic ingredient of the proof is an improvement of the Tamarkin equiconvergence theorem.
We obtain a new simple formula for the regularized traces of singular ordinary differential operators.