Showing 1–22 of 22 results for author: Zatitskiy, P

On locally concave functions on simplest non-convex domains

Authors: Dmitriy Stolyarov, Pavel Zatitskiy

Abstract: We prove that certain Bellman functions of several variables are the minimal locally concave functions. This generalizes earlier results about Bellman functions of two variables. We prove that certain Bellman functions of several variables are the minimal locally concave functions. This generalizes earlier results about Bellman functions of two variables. △ Less

Submitted 27 April, 2022; originally announced April 2022.

Comments: 30 pages, 10 figures

Sharp multiplicative inequalities with $\mathrm{BMO}$ $\mathrm{II}$

Authors: Vasily Vasyunin, Pavel Zatitskiy, Ilya Zlotnikov

Abstract: We find the best possible constant $C$ in the inequality $$\|\varphi\|_{L^r}^{\phantom{\frac{p}{r}}}\leq C\|\varphi\|_{L^p}^{\frac{p}{r}}\|\varphi\|_{\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… ▽ More We find the best possible constant $C$ in the inequality $$\|\varphi\|_{L^r}^{\phantom{\frac{p}{r}}}\leq C\|\varphi\|_{L^p}^{\frac{p}{r}}\|\varphi\|_{\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 obtain explicit estimates in multi-dimensional cases. △ Less

Submitted 10 November, 2021; originally announced November 2021.

Comments: 8 figures

MSC Class: 42B35; 60G45

Journal ref: Journal of Mathematical Analysis and Applications, Volume 515, Issue 2, (2022), 126430

Sharp moment estimates for martingales with uniformly bounded square functions

Authors: Dmitriy Stolyarov, Vasily Vasyunin, Pavel Zatitskiy, Ilya Zlotnikov

Abstract: 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 n… ▽ More 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. △ Less

Submitted 12 March, 2021; v1 submitted 23 February, 2021; originally announced February 2021.

Comments: 33 pages, 4 figures; second version corrects some typos

Journal ref: Mathematische Zeitschrift, Volume 302, Issue 1, (2022), 181--217

Sharp mutliplicative inequalities with $\mathrm{BMO}$ $\mathrm{I}$

Authors: Dmitriy Stolyarov, Vasily Vasyunin, Pavel Zatitskiy

Abstract: We find the best possible constant $C$ in the inequality $\|\varphi\|_{L^r}\leq C\|\varphi\|_{L^p}^{\frac{p}{r}}\|\varphi\|_{\mathrm{BMO}}^{1-\frac{p}{r}}$, where $2 \leq r$ and $p < r$. We employ the Bellman function technique to solve this problem in the case of an interval and then transfer our results to the circle and the line. We find the best possible constant $C$ in the inequality $\|\varphi\|_{L^r}\leq C\|\varphi\|_{L^p}^{\frac{p}{r}}\|\varphi\|_{\mathrm{BMO}}^{1-\frac{p}{r}}$, where $2 \leq r$ and $p < r$. We employ the Bellman function technique to solve this problem in the case of an interval and then transfer our results to the circle and the line. △ Less

Submitted 26 January, 2020; originally announced January 2020.

Comments: 17 pages

Sharp transference principle for $\mathrm{BMO}$ and $A_p$

Authors: Dmitriy Stolyarov, Pavel Zatitskiy

Abstract: We provide a version of the transference principle. It says that certain optimization problems for functions on the circle, the interval, and the line have the same answers. In particular, we show that the sharp constants in the John--Nirenberg inequalities for naturally defined $\mathrm{BMO}$-spaces on the circle, the interval, and the line coincide. The same principle holds true for the Reverse… ▽ More We provide a version of the transference principle. It says that certain optimization problems for functions on the circle, the interval, and the line have the same answers. In particular, we show that the sharp constants in the John--Nirenberg inequalities for naturally defined $\mathrm{BMO}$-spaces on the circle, the interval, and the line coincide. The same principle holds true for the Reverse Hölder inequality for Muckenhoupt weights. △ Less

Submitted 26 August, 2019; originally announced August 2019.

Comments: 15 pages

Combinatorial invariants of metric filtrations and automorphisms; the universal adic graph

Authors: A. Vershik, P. Zatitskiy

Abstract: We suggest a combinatorial classification of metric filtrations in measure spaces; a complete invariant of such a filtration is its combinatorial scheme, a measure on the space of hierarchies of the group~$\mathbb Z$. In turn, the notion of combinatorial scheme is a source of new metric invariants of automorphisms approximated via basic filtrations. We construct a universal graph endowed with an a… ▽ More We suggest a combinatorial classification of metric filtrations in measure spaces; a complete invariant of such a filtration is its combinatorial scheme, a measure on the space of hierarchies of the group~$\mathbb Z$. In turn, the notion of combinatorial scheme is a source of new metric invariants of automorphisms approximated via basic filtrations. We construct a universal graph endowed with an adic structure such that every automorphism can be realized in its path space. △ Less

Submitted 19 December, 2018; originally announced December 2018.

Comments: 14 p.Ref.19

Journal ref: Func. Anal and Pril.52,#4(2018)

Sharpening Hölder's inequality

Authors: Haakan Hedenmalm, Dmitriy M. Stolyarov, Vasily I. Vasyunin, Pavel B. Zatitskiy

Abstract: 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 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. △ Less

Submitted 20 November, 2017; v1 submitted 29 August, 2017; originally announced August 2017.

Comments: 30 pages

Journal ref: J. Funct. Anal. 275 no. 5 (2018), 1280-1319

Bellman function for extremal problems in $\mathrm{BMO}$ II: evolution

Authors: Paata Ivanisvili, Dmitriy M. Stolyarov, Vasily I. Vasyunin, Pavel B. Zatitskiy

Abstract: 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 nat… ▽ More 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. △ Less

Submitted 4 October, 2015; originally announced October 2015.

Comments: 127 pages, 37 figures

Monotonic rearrangements of functions with small mean oscillation

Authors: Dmitriy M. Stolyarov, Vasily I. Vasyunin, Pavel B. Zatitskiy

Abstract: 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 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. △ Less

Submitted 1 June, 2015; originally announced June 2015.

Comments: 12 pages, 2 figures

MSC Class: 42B35; 52A10; 60G46

Journal ref: Studia Mathematica 231:3 (2015), 257--268

Theory of locally concave functions and its applications to sharp estimates of integral functionals

Authors: Dmitriy M. Stolyarov, Pavel B. Zatitskiy

Abstract: 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 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. △ Less

Submitted 17 December, 2014; originally announced December 2014.

Comments: 37 pages, 7 figures

Journal ref: Advances in Mathematics 291 (2016), 228--273

Sharp estimates of integral functionals on classes of functions with small mean oscillation

Authors: Paata Ivanisvili, Nikolay N. Osipov, Dmitriy M. Stolyarov, Vasily I. Vasyunin, Pavel B. Zatitskiy

Abstract: 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 t… ▽ More 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. △ Less

Submitted 15 December, 2014; originally announced December 2014.

Comments: 7 pages

Journal ref: Comptes Rendus Mathematique 353:12 (2015), 1081--1085

Virtual Continuity of Measurable Functions and Its Applications

Authors: A. Vershik, F. Petrov, P. Zatitskiy

Abstract: Classical theorem of Luzin states that a measurable function of one real variable is "almost" continuous. For measurable functions of several variables the analogous statement (continuity on the product of sets having almost full measure) does not hold in general. Searching for a right analogue of Luzin theorem leads to a notion of virtually continuous functions of several variables. This probably… ▽ More Classical theorem of Luzin states that a measurable function of one real variable is "almost" continuous. For measurable functions of several variables the analogous statement (continuity on the product of sets having almost full measure) does not hold in general. Searching for a right analogue of Luzin theorem leads to a notion of virtually continuous functions of several variables. This probably new notion implicitly appears in the statements of embedding theorems and trace theorems for Sobolev spaces. In fact it reveals the nature of such theorems as statements about virtual continuity. Our results imply that under conditions of Sobolev theorems there is a well-defined integration of a function over wide class of singular measures, including the measures concentrated on submanifolds. The notion of virtual continuity is used also for the classification of measurable functions of several variables and in some questions on dynamical systems, theory of polymorphisms and bistochastic measures. In this paper we recall necessary definitions and properties of admissible metrics, give several definitions of virtual continuity and discuss some applications. Revised version (without the proofs) is published in \cite{VZPFA}. △ Less

Submitted 16 October, 2014; v1 submitted 3 October, 2014; originally announced October 2014.

Comments: 28 pp. Ref 24. appears in Proceedings of Steklov Mathematical Institute, 2014. arXiv admin note: text overlap with arXiv:1307.3523

MSC Class: 28A35; 47B10; 65K05

On scaling entropy sequence of dynamical system

Authors: P. B. Zatitskiy

Abstract: We present a series of statements about scaling entropy, a metric invariant of dynamical systems proposed by A. M. Vershik in the late 90's. We show that it is a metric invariant indeed and calculate it in several special cases. We present a series of statements about scaling entropy, a metric invariant of dynamical systems proposed by A. M. Vershik in the late 90's. We show that it is a metric invariant indeed and calculate it in several special cases. △ Less

Submitted 22 September, 2014; originally announced September 2014.

MSC Class: 37A35

Bellman VS Beurling: sharp estimates of uniform convexity for $L^p$ spaces

Authors: Paata Ivanisvili, Dmitriy M. Stolyarov, Pavel B. Zatitskiy

Abstract: 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 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. △ Less

Submitted 23 May, 2014; originally announced May 2014.

Comments: 11 pages

Journal ref: Algebra i Analiz, 27:2 (2015), 218--231; St.-Petersburg Mathematics Journal 27 (2016), 333--343

Weak integral conditions for BMO

Authors: Alexander A. Logunov, Leonid Slavin, Dmitriy M. Stolyarov, Vasily Vasyunin, Pavel B. Zatitskiy

Abstract: 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(|\varphi-\frac1{|J|} \int_J\varphi |)<\infty \Longrightarrow \varphi\in BMO(Q). $$ Under some additiona… ▽ More 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(|\varphi-\frac1{|J|} \int_J\varphi |)<\infty \Longrightarrow \varphi\in BMO(Q). $$ Under some additional assumptions on $h$ we obtain estimates on $\|\varphi\|_{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. △ Less

Submitted 15 January, 2014; v1 submitted 26 September, 2013; originally announced September 2013.

Comments: 12 pages; sharp one-dimensional theorem added in v2

MSC Class: 42B35; 49K20

Virtual continuity of the measurable functions of several variables, and Sobolev embedding theorems

Authors: Anatoly Vershik, Pavel Zatitskiy, Fedor Petrov

Abstract: Classical Luzin's theorem states that the measurable function of one variable is "almost" continuous. This is not so anymore for functions of several variables. The search of right analogue of the Luzin theorem leads to a notion of virtually continuous functions of several variables. This probably new notion appears implicitly in the statements like embeddings theorems and traces theorems for Sobo… ▽ More Classical Luzin's theorem states that the measurable function of one variable is "almost" continuous. This is not so anymore for functions of several variables. The search of right analogue of the Luzin theorem leads to a notion of virtually continuous functions of several variables. This probably new notion appears implicitly in the statements like embeddings theorems and traces theorems for Sobolev spaces. In fact, it reveals their nature as theorems about virtual continuity. This notion is especially useful for the study and classification of measurable functions, aswell as in some questions on dynamical systems, polymorphisms and bistochastic measures. In this work we recall necessary definitions and properties of admissible metrics, define virtual continuity, describe some of applications. Detailed analysis is to be presented in another paper. △ Less

Submitted 16 July, 2013; v1 submitted 12 July, 2013; originally announced July 2013.

Comments: 16 pp., Re 18

MSC Class: 28A60; 37A30; 46A380

Journal ref: Functional Analisis and its Application 2013, #3

On formula of regularized traces II

Authors: Alexander I. Nazarov, Dmitriy M. Stolyarov, Pavel B. Zatitskiy

Abstract: 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 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. △ Less

Submitted 28 December, 2012; v1 submitted 30 October, 2012; originally announced October 2012.

Comments: 21 pages

MSC Class: 34L05

Journal ref: Journal of Spectral Theory, 4:2 (2014), 365--389

Bellman function for extremal problems in BMO

Authors: Paata Ivanisvili, Nikolay Osipov, Dmitriy Stolyarov, Vasily Vasyunin, Pavel Zatitskiy

Abstract: 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 boundar… ▽ More 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. △ Less

Submitted 10 December, 2012; v1 submitted 31 May, 2012; originally announced May 2012.

Comments: 91 pages, 18 figures

MSC Class: 42A05; 42B35; 49K20; 52A40

Journal ref: Transactions AMS 368 (2016), 3415--3468

Geometry and Dynamics of Admissible Metrics in Measure Spaces

Authors: A. Vershik, F. Petrov, P. Zatitskiy

Abstract: We study a wide class of metrics in a Lebesgue space with a standard measure, the class of so-called admissible metrics. We consider the cone of admissible metrics, introduce a special norm in it, prove compactness criteria, define the "-entropy of a measure space with an admissible metric, etc. These notions and related results are applied to the theory of transformations with invariant measure;… ▽ More We study a wide class of metrics in a Lebesgue space with a standard measure, the class of so-called admissible metrics. We consider the cone of admissible metrics, introduce a special norm in it, prove compactness criteria, define the "-entropy of a measure space with an admissible metric, etc. These notions and related results are applied to the theory of transformations with invariant measure; namely, we study the asymptotic properties of orbits in the cone of admissible metrics with respect to a given transformation or a group of transformations. The main result of this paper is a new discreteness criterion for the spectrum of an ergodic transformation: we prove that the spectrum is discrete if and only if the "-entropy of the averages of some (and hence any) admissible metric over fragments of its trajectory is uniformly bounded. △ Less

Submitted 25 October, 2012; v1 submitted 5 May, 2012; originally announced May 2012.

Comments: 37p. Ref.19

MSC Class: 28D20; 37A35; 54E35

Journal ref: CEMJ-2013

Correction of metrics

Authors: F. V. Petrov, P. B. Zatitskiy

Abstract: We prove that a symmetric nonnegative function of two variables on a Lebesgue space that satisfies the triangle inequality for almost all triples of points is equivalent to some semimetric. Some other properties of metric triples (spaces with structures of a measure space and a metric space) are discussed. We prove that a symmetric nonnegative function of two variables on a Lebesgue space that satisfies the triangle inequality for almost all triples of points is equivalent to some semimetric. Some other properties of metric triples (spaces with structures of a measure space and a metric space) are discussed. △ Less

Submitted 11 December, 2011; originally announced December 2011.

Comments: 6 pages

MSC Class: 54E70

Journal ref: Zapiski Nauchn. Sem. POMI v. 390 (2011), pp. 201-209 (Russian)

On the formula of regularized traces

Authors: Alexander I. Nazarov, Dmitriy M. Stolyarov, Pavel B. Zatitskiy

Abstract: We obtain a new simple formula for the regularized traces of singular ordinary differential operators. We obtain a new simple formula for the regularized traces of singular ordinary differential operators. △ Less

Submitted 29 March, 2011; originally announced March 2011.

MSC Class: 34L05

Journal ref: DAN, 442:2 (2012), 162--165

On embeddings of finite metric spaces in $l_\infty^n$

Authors: Fedor Petrov, Dmitri Stolyarov, Pavel Zatitskiy

Abstract: We prove that for any given integer $c>0$ any metric space on $n$ points may be isometrically embedded into $l_{\infty}^{n-c}$ provided $n$ is large enough. We prove that for any given integer $c>0$ any metric space on $n$ points may be isometrically embedded into $l_{\infty}^{n-c}$ provided $n$ is large enough. △ Less

Submitted 25 March, 2009; originally announced March 2009.

Comments: 6 pages