SHARP LOGARITHMIC ESTIMATES FOR POSITIVE DYADIC SHIFTS
|
|
- Gwenda Logan
- 5 years ago
- Views:
Transcription
1 SHARP LOGARITHMIC STIMATS FOR POSITIV DYADIC SHIFTS ADAM OS OWSI Abstract. The paper contains the study of sharp logarithmic estimates for positive dyadic shifts A given on probability spaces, µ equipped with a treelike structure. For any > 0 we determine the smallest constant L L such that Af dµ Ψ f dµ + L µ, R where Ψt t + 1 logt + 1 t, is an arbitrary measurable subset of and f is an integrable function on. The proof exploits Bellman function method: we extract the above estimate from the existence of an appropriate special function, enjoying certain size and concavity-type conditions. As a corollary, a dual exponential bound is obtained. 1. Introduction Let Q R d be a given dyadic cube and let DQ stand for the grid of its dyadic subcubes. For a given sequence α α R R DQ of nonnegative numbers, dene its Carleson constant by Carlα sup R DQ 1 R R DR α R R, where A is the Lebesgue measure of A. For any such sequence, we introduce the associated dyadic shift A which acts on integrable functions f : Q R by the formula 1.1 Af α R f R χ R, R DQ where f R 1 R fdµ is the average of f over R. R The class of positive dyadic shifts arose in the works of A. Lerner during his study of the A 2 theorem. Let us discuss this issue in a little more detailed manner. Assume that T is a Calderón-Zygmund operator on R d and let w : R d 0, be a weight satisfying Muckenhoupt's condition A 2. The so-called A 2 conjecture asked for the linear dependence of the norm T L 2 w L 2 w on [w] A2, the A 2 characterstic of w: T f L 2 w CT, d[w] A2 f L 2 w. This question has gained a lot of interest in the recent literature see e.g. [1, 4, 11, 16, 18, 19, 20, 21, 26] and was nally answered in the positive by H tonen 2010 Mathematics Subject Classication. Primary: 42B25. Secondary: 4630, 60G42. ey words and phrases. Dyadic shift, Bellman function, best constants. Research supported by Narodowe Centrum Nauki Poland, grant DC- 2014/14//ST1/
2 2 ADAM OS OWSI [7], with the use of clever representation of T as an average of good dyadic shifts. Later, Lerner [12] provided a simpler proof of the A 2 theorem, which avoided the use of most of the complicated techniques in [7]. The idea was to exploit a general pointwise estimate for T in terms of positive dyadic operators, proven in [10]. This allowed to reduce the A 2 problem to a weighted result for the positive dyadic shifts, which had been already shown before in [9] consult also [4] and [5]. The aforementioned pointwise bound states that for every dyadic cube Q, 1.2 T fx 2 δm A m S f x for a.e. x Q, m0 where δ > 0 depends on the operator T, S is a collection of dyadic cubes which depends on f, T and m, and A m S are positive dyadic operators dened by A m S fx Q S f Q mχ Q x, where Q m is the m-th dyadic parent of Q. The collections S used above are assumed to be sparse: for all cubes Q S there exists measurable subsets Q Q with Q Q /2 and Q Q unless Q Q. Coming back to 1.2, Lerner proves that the operator norm of each A m S is appropriately controlled by the operator norm of A 0 S, with S running over the class of all possible sparse collections. That is, he shows that for any Banach function space, A m S m + 1 sup D,S A 0 S f, the supremum taken over all dyadic grids D and all sparse collections S D. Hence, any appropriate bound for A 0 S yields the corresponding statement for the class of Calderón-Zygmund operators. This motivates the question about controlling various norms of A 0 S eciently. This class of operators, after an appropriate localization, is contained in the class 1.1 considered at the beginning of the paper. Indeed, suppose that S D is a sparse family, let us restrict ourselves to a large cube Q D and set α R χ {R S}. Then α R R DQ is a Carleson sequence of constant bounded by 2: for any R DQ, we have α R R R 2 R 2 R, R DR R S, R R R S, R R since the sets R R S are pairwise disjoint. From now on, we will focus on the dyadic shifts of the form 1.1. It is not dicult to show, using sharp estimates for the dyadic maximal operator and the multisublinear maximal function cf. [6, 8], that any A from this class is bounded on L p Q, 1 < p <. More precisely, we have 1.3 Af L p Q p2 p 1 Carlα f L p Q and the multiplicative constant p 2 /p 1 cannot be improved. For p 1 the L p -boundedness does not hold, but, as proved by Rey and Reznikov [22] for d 1 only, we have the sharp weak-type bound {x Q : Afx 1} 2 Carlα f L 1 Q. In this paper, we will establish a related LlogL bound, which can be regarded as another natural substitute for the L 1 estimate, and the dual exponential inequality
3 DYADIC SHIFTS 3 which serves as a version of 1.3 for p. Actually, instead of working with the dyadic lattice in R d, we will study these estimates in the more general context of probability measures equipped with a tree-like structure. Here is the precise denition. Denition 1.1. Suppose that, µ is a nonatomic probability space. A set T of measurable subsets of will be called a tree if the following conditions are satised: i T and for every Q T we have µq > 0. ii For every Q T there is a nite subset CQ T containing at least two elements such that a the elements of CQ are pairwise disjoint subsets of Q, b Q CQ. iii T m 0 T m, where T 0 {} and T m+1 m CQ. iv We have lim m sup m µq 0. The normalization imposed in the above denition which restricts us to probability spaces will not aect sharp constants in the estimates under investigation, which can be seen by applying standard dilation and scaling arguments. For any sequence α α Q of nonnegative numbers, we dene its Carleson constant by Carlα sup 1 µq R Q, R T and the associated shift is given by the formula α R µr, Af α Q f Q χ Q. Here, as above, f Q 1 µq fdµ is the average of f over Q. Q The main emphasis in the paper is put on inequalities of the form 1.4 Af dµ Ψ f dµ + L µ. Here A is the shift associated with some sequence α Q with Carleson constant not exceeding 1, is a measurable subset of, f is an integrable function on and Ψ stands for the LlogL function Ψt t + 1 logt + 1 t, t 0. There are two natural questions about 1.4 to be asked: i For which is there a nite number L such that the inequality holds for all f and? ii For as in i, what is the optimal i.e., the least value of L allowed? Both these questions are answered in the theorem below. Theorem 1.2. For any > 0, the optimal value of the constant L in 1.4 is equal to + if 1, and if > 1. 1 exp expu/ 1 du u Some important observations are in order. First, we may restrict ourselves to nonnegative functions f; indeed, the passage from f to f does not change the right-hand side of 1.4 and does not decrease the left-hand side. Second, our use
4 4 ADAM OS OWSI of somewhat special LlogL function Ψ is forced by the fact that for the standard functions t t log t or t t log + t the above estimate does not hold for any one would have to take L. Indeed, otherwise the shifts would be bounded on L : we would have Afdµ L µ for any f : [0, 1] and any, which is not the case see e.g. Theorem 1.3 below. As a corollary, we obtain the following dual exponential bound. Throughout the paper, Φ : [0, [0, is the Young-conjugate to Ψ, given by Φt e t 1 t. Theorem 1.3. Let A be the shift associated with some sequence α Q with Carleson constant not exceeding 1. For any > 0 and any f : [ 1, 1], we have 1.5 Φ Af /dµ L µ{f 0}. The constant L/ is the best possible for each. We should point out here that the constants L and L/ are best possible for each probability space, µ equipped with some tree T. Therefore, in particular, these constants are also optimal in the dyadic context studied at the beginning. Our approach rests on the so-called Bellman function method. This technique allows to deduce the validity of the LlogL estimate from the existence of a certain special function, which enjoys appropriate size conditions and concavity. This method has its origins in the theory of stochastic optimal control, and, as observed by Burkholder in the eighties during his study on the boundedness properties of the Haar system, it can be used in the investigation of various problems for semimartingales. Following the seminal work [2], Burkholder and others managed to establish a variety of interesting estimates in this probabilistic context see the monograph [17] for the details. A decisive step towards further applications of the method in harmonic analysis was made by Nazarov, Treil and Volberg [14, 15], who put the approach in a more modern and universal form. Since then, the method has been applied in numerous problems arising in various areas of mathematics cf. e.g. [19, 24, 25, 27, 28] and consult references therein. The rest of the paper is organized as follows. In the next section we present an informal reasoning which leads to the discovery of a Bellman function corresponding to our problem. Then, in Section 3, we exploit rigorously the properties of this object to prove the inequalities 1.4 and 1.5. In the nal part of the paper we exploit further properties of the Bellman function to show that the constants in the estimates 1.4 and 1.5 cannot be improved. 2. A related Bellman function Throughout this section, we assume that the probability space, T, µ is the interval [0, 1 equipped with Lebesgue's measure and the tree of its dyadic subintervals. We will also use the notation T {Q T : Q [0, 1/2} and T + {Q T : Q [1/2, 1}. We start the analysis with introducing the abstract Bellman function B : [0, 1] [0, 1] [0, R associated with 1.4. This function is given by 1 Bs, t, x sup α Q f Q χ Q dµ Ψfdµ µr µr. Q R, R
5 DYADIC SHIFTS 5 Here R is a given dyadic subinterval of [0, 1 and the supremum is taken over all measurable sets satisfying χ R s, all sequences α α Q Q R, of nonnegative numbers with Carlα 1 satisfying α Q µq t, µr Q R and all integrable functions f : R [0, satisfying f R x. From the formal point of view, the function B depends also on R, however, this is not the case. Indeed, for any two dyadic intervals R 1 and R 2, an ane mapping of one interval onto another puts the Carleson sequences satisfying 2.1 in one-to-one correspondence, and such a change of the variable preserves the averages. On the other hand, as we will see below, working with dierent domains R is crucial for the understanding of properties of the Bellman function. There are two natural questions arising. The rst concerns the explicit formula for B, and the second is about the extremizers for a given s, t, x i.e., those, α Q Q and f, for which the supremum dening Bs, t, x is attained, or at least almost attained. Clearly, the answer to the rst question is all we need: having found B, it remains to take R [0, 1] and determine the least constant L such that Bs, t, x Ls for all s, t and x. To identify B, one might try to answer the second question, guessing some structural, fractal-type properties of the extremizers. However, in a sense, we will exploit the implications between the two questions in both directions. Our plan is the following. We will consider a slightly dierent Bellman function whose identication is a little easier, then extract the extremizers from its explicit formula, and nally postulate that these extremizers coincide with those corresponding to the initial B. ven though this conjecture is not true the extremizers coincide only on a part of the domain, plugging them into the formula for B will return the right Bellman function, which allows a successful treatment of 1.4. The usual rst step in the search for the formula is to exploit some structural, homogeneity-type properties of the Bellman function which follow directly from its abstract denition. Consider a slightly dierent Bellman function B : [0, 1] [0, 1] [ 1, R dened by 1 Bs, t, x sup µr α Q f Q + 1χ Q dµ Ψf + f dµ µr R, where the supremum is taken over the same parameters as previously, with one crucial change. Namely, we slightly enlarge the allowed class of functions, assuming that they take values in [ 1,. This new function B has a nice structural property studied in the lemma below; this will allow us to reduce the number of variables to two and then solve the underlying Monge-Ampère equation. Lemma 2.1. For any s, t [0, 1] and x 1 we have Bs, t, x x + 1Bs, t, 0 x + 1 logx + 1. Proof. If x 1, then in the denition of Bs, t, x we must take f 1 and then the expression under the supremum vanishes. Therefore Bs, t, x 0 and the equality holds. Suppose then that x > 1. Take, α α Q and f : [0, 1] [ 1, as in the denition of Bs, t, x. Fix a parameter λ > 0 and
6 6 ADAM OS OWSI consider the function g : [0, 1] [ 1, given by g f + 1/λ 1. Then we have g Q + 1 x + 1/λ and Ψf + fdµ f + 1 logf + 1dµ so λ [0,1] [0,1] λ λ [0,1] [0,1] g + 1 logλg + 1dµ Ψg + gdµ + λ log λ [0,1] g + 1dµ, α Q f Q + 1χ Q dµ Ψf + f dµ [0,1] α Q g Q + 1χ Q dµ Ψg + g dµ x + 1 log λ [0,1] λbs, t, x + 1/λ 1 x + 1 log λ. Since, α Q and f were arbitrary, we conclude that 2.2 Bs, t, x λbs, t, x + 1/λ 1 x + 1 log λ. Now, plug y x + 1/λ 1 and γ λ 1 to get Bs, t, y + 1/γ 1 γ 1 Bs, t, y + γ 1 y + 1 log γ 1, which, after renaming x : y, λ : γ, becomes the reverse to 2.2. Consequently, this inequality is actually an equality, and plugging λ x + 1 yields the assertion. Next, we will show that B satises the concavity property. Lemma 2.2. Suppose that s ±, t ± [0, 1], x ± [ 1,. Then s + s + B, t + t +, x + x + Bs, t, x + Bs +, t +, x Proof. Take ±, α ± Q Q and f ± as in the denitions of Bs ±, t ±, x ±. Furthermore, as we have discussed above, for any s, t, x we have some freedom in selecting the underlying dyadic interval R supporting Bs, t, x. We assume that Bs, t, x is supported on [0, 1/2 and Bs +, t +, x + is supported on [1/2, 1 so is a subset of [0, 1/2, α Q is a Carleson sequence indexed by dyadic subsets of [0, 1/2 and f is supported on [0, 1/2; analogous statements, with [0, 1/2 replaced by [1/2, 1, hold for +, α + Q and + f +. Let us glue these objects as follows: put +, let α Q be given by 0 if Q [0, 1, α Q α Q if Q T, α + Q if Q T +, and dene f : [0, 1 [ 1, by f f χ [0,1/2 + f + χ [1/2,1. We easily check that µ s + + s /2, α Q has Carleson constant less or equal to 1 and
7 DYADIC SHIFTS 7 satises Q α QµQ t + t + /2, and f [0,1 x + x + /2. Therefore, s + s + B 2 +, x + x + 2, t + t + 2 α Q f Q + 1χ Q dµ [0,1] α Q f Q + 1χ Q dµ α + Q f + Q + 1χ Q dµ + + Ψf + f dµ [0,1/2 [1/2,1 Ψf + f dµ Ψf + + f + dµ. Taking the supremum over all ±, α ± Q ± and f ±, we get the desired claim. Remark 2.3. Let s, t, x [0, 1] [0, 1] [ 1, be a xed point. Suppose that [0, 1, α Q and f : [0, 1 [ 1, are the extremizers of B s, t, x, so B s, t, x α Q f Q + 1χ Q dµ Ψf + f dµ. Next, dene s 2µ [0, 1/2, s + 2µ [1/2, 1, t 2 α QµQ, t α QµQ and f f [0,1/2, f + f [1/2,1. If α [0,1] 0, then we have B s, t, x [0,1/2 + [1/2,1 α Q f Q + 1χ Q dµ α Q f Q + 1χ Q dµ + Bs, t, x + Bs +, t +, x + 2 [0,1] [0,1/2 [1/2,1 Ψf + f dµ Ψf + f dµ and hence, in the light of the lemma above, we actually have equality here. So, if s, t, x s, t, x and α [0,1] 0 which, as we might hope, holds for most points s, t, x, then there is a line segment passing through s, t, x along which B is linear. This observation will be of fundamental importance in our search for the explicit formula for B. Finally, we will need the following condition. Lemma 2.4. For any s [0, 1], 0 t < t + δ 1 and x [ 1, we have Bs, t + δ, x Bs, t, x + δx + 1s. Proof. We proceed as in the previous lemma, with s ± s, t ± t and x ± x, and take the appropriate parameters ±, α ± Q and ± f ±. Then ± and f ± are glued into one set and one function with the use of the same procedure; however,
8 8 ADAM OS OWSI we construct a slightly dierent Carleson sequence, setting δ if Q [0, 1, α Q α Q if Q [0, 1/2, if Q [1/2, 1. α + Q It is easy to check that the Carleson constant of α Q α QµQ t + t + /2 + δ t + δ. Therefore, is bounded by 1 and B s, t + δ, x α Q f Q + 1χ Q dµ Ψf + f dµ [0,1] α [0,1] f [0,1] + 1µ + α Q f Q + 1χ Q dµ + α + Q f + Q + 1χ Q dµ + + [0,1/2 [1/2,1 Ψf + f dµ Ψf + + f + dµ. However, α [0,1] f [0,1] + 1µ δx + 1s, so taking the supremum over all ±, α ± Q ± and f ±, we get the claim. quipped with the structural properties above, we are ready to construct a candidate for B. We would like to stress here that the reasoning we will present is informal, in particular we will impose some additional regularity conditions on B, we will also guess certain formulas at some points. Thus, we will denote the function dierently, by B 0. One should keep in mind that the primary goal of this section is to discover the function B which will be rigorously exploited later. We start from the observation that Bs, t, x Ψx + x if s 0 or t 0. Indeed, if st 0, then the contribution from α Q f Q + 1χ Q dµ is zero, and the optimal choice for f is f x other choices may only make the expression Ψf + fdµ smaller, since u Ψu + u is a convex function. Thus, in our considerations below, we may restrict ourselves to the domain 0, 1] 0, 1] [ 1,. Our rst assumption is that B 0 is of class C 2. Then the concavity studied in Lemma 2.2 implies that the Hessian matrix D 2 B 0 is nonpositive-denite at each point of the domain. By Lemma 2.1, this amounts to saying that the matrix ϕ ss ϕ st ϕ s /x + 1 ϕ ts ϕ tt ϕ t /x + 1, ϕ s ϕ t /x + 1 where ϕs, t B 0 s, t, 0, is nonpositive-denite. In particular, we see that 2.3 ϕ ss 0 and ϕ tt 0, which will be important to us later. Next, we use Remark 2.3 and assume that for any s, t, x, there is a short line segment I containing s, t, x such B 0 is linear
9 DYADIC SHIFTS 9 along I. This implies the partial dierential equation det ϕ ss ϕ st ϕ s /x + 1 ϕ ts ϕ tt ϕ t /x + 1 0, ϕ s ϕ t /x + 1 the Monge-Ampère equation for B 0. Therefore, for any s, t, x, there are numbers a as, t, x, b bs, t, x, c cs, t, x such that and aϕ ss + bϕ st + c ϕ s x + 1 0, aϕ ts + bϕ tt + c ϕ t x aϕ s + bϕ t c x To gain some intuition about the solution to this system, multiply the last equation by ϕ s / and add it to the rst equation; similarly, multiply 2.4 by ϕ t / and add it to the second equation. As the result, we get the system aϕ ss +ϕ s 2 /+bϕ st +ϕ s ϕ t / 0, aϕ ts +ϕ s ϕ t /+bϕ tt +ϕ t 2 / 0, or, if we put ψ expϕ/, 2.5 aψ ss + bψ st 0, aψ ts + bψ tt 0. In other words, ψ satises the Monge-Ampère equation det D 2 ψ 0, and a, b indicate the direction in which ψ is linear. Since ψ depends on s, t only, we assume that a and b also have this property. It follows from general theory of Monge-Ampère equations see a similar discussion in [28] that [0, 1] [0, 1], the domain of ψ, can be foliated, i.e., split into union of pairwise disjoint line segments along which ψ is linear. Suppose now that s t. A little thought reveals that there is essentially only one candidate for the foliation, consisting of the line segments {αu, u : u [0, 1]}, where α [0, 1] is arbitrary. This corresponds to the choice as, t, x s, bs, t, x t. In other words, we conjecture that the function r ψs + sr, t + tr is linear. Assuming that this conjecture holds, we get that ψs, t 1 tψ0, 0 + tψs/t, 1. However, ψ0, 0 expb 0 0, 0, 0/ 1, from the very denition of B. Putting ξu ψu, 1, we obtain 2.6 B 0 s, t, x [ x + 1ϕs, t x + 1 logx + 1 x + 1 log x + 1 tξs/t + 1 t To nd ξ, let us exploit the condition 2.4, which implies B 0t s, t, x x + 1s. We already know from the previous considerations see 2.3 that the function t B 0 s, t, x is concave for any xed s and x, so the above bound for B 0t is equivalent to B 0t s, 1, x x + 1s. We assume that we have equality here, which, by 2.6, yields a dierential equation for ξ. A little calculation reveals that this equation is ξ u ξu u ξu 1 u. ].
10 10 ADAM OS OWSI Since ξ0 1 this can be extracted from B 0 0, t, x x+1 logx+1, which follows directly from the denition of B we conclude that ξ is given by ξu 1 u 1 u exp + u exp u 1/u 1 exp dr, u > 0. r Coming back to 2.4, we obtain that cs, t, x x + 1tξs/t 1, tξs/t + 1 t which completes the analysis of B 0 on the set {s, t [0, 1] [0, 1] : s t}. What happens if s > t? We have showed above that B 0ss 0 and it is clear from the very denition that for any x and t, the function s B 0 s, t, x is nondecreasing. However, one easily checks, exploiting the above formula for B 0 on the set s t, that lim s t B 0s s, t, x 0 for any t [0, 1] and x 1. These observations imply that B 0 s, t, x B 0 mins, t, t, x. This also shows that the family of line segments {1 α+αt, t : t [0, 1]}, α [0, 1], forms the foliation of {s, t : s t}. Furthermore, as, t, x t1 s/1 t, bs, t, x t and cs, t, x ct, t, x 1 x + 1t t + 1. One can prove that the function B 0 we have constructed majorizes the abstract function B similar arguments will appear in the next section. The examples we are going to study in Section 4 will show the reverse inequality and hence the two functions coincide. 3. A formal proof Throughout this section, > 1 is a xed number. Consider the function ξ : [0, 1] 0,, given by ξ0 1 and ξu 1 u 1 u exp + u exp u 1/u 1 exp dr, u > 0. r One easily veries that ξ is continuous and ξ1 / 1. Lemma 3.1. For any s 0, 1 we have ξs > 1, ξ s > 0 and ξs log s L. s Proof. Observe that ξ satises the dierential equation 3.2 ξ u ξu u ξu 1 u. Suppose that there is u 0 0, 1 such that ξu 0 1. Then ξ u 0 ξu 0 / < 0 and hence ξu < 1 for all u u 0, 1], a contradiction we have u1 > 1. This establishes the rst part of the assertion. To show the second part, note that 3.2 implies lim u 1 ξ u 0. Therefore, we will be done if we show that ξ is concave. To this end, we dierentiate 3.2 and obtain 3.3 uξ u ξu + uξ u 1 2ξu uξu/ 1 ξu 1 > 0.
11 DYADIC SHIFTS 11 Finally, we turn our attention to 3.1. The equality 3.2 and the estimate ξ 1 we have just established imply that ξs 1 + log s ξ s ξs s s s s s 1 ξs 0, s so it suces to show 3.1 as s 0. Directly from the denition of ξ and integration by parts, we obtain ξs s 2 1 exp 1 exp 1 + log s 1 s 1 s + exp s + exp s 1/s exp1/rdr s 1 + log s 1 1/s 1 exp1/r dr r 1 + log s. We have lim s 0 exp s/ 1 log s 0, so adding exp s/ 1 log s to both sides above yields ξs lim 1 + log s s 0 s 1 exp exp1/r 1 dr 1 r L and the claim is proved. Let D {s, t, x [0, 1] [0, 1] [0, : s t} and consider B : D R dened by the formula [ ] tξs/t + 1 t Bs, t, x x s s logt/s + x + 1 log, x + 1 where we use the convention 0/0 1 and 0 logt/0 0. xtend B to the whole set [0, 1] [0, 1] [0,, putting Bs, t, x Bmins, t, t, x. The function B is almost the function B constructed in the preceding section: the key dierences will be discussed in the last part of the paper. The following properties of B will be needed later. Lemma 3.2. We have B s s, t, x 0 and B t s, t, x xs/t in the interior of D. Proof. We compute that 3.4 B s s, t, x logs/t + x + 1 tξs/t + 1 t ξ s/t logs/t + ξ s/t ξs/t, where the inequality follows from the assertion of the previous lemma and the estimates > 1, x + 1 1, ξ 1. If we let s/t 1, then the latter expression converges to 0. Therefore, the inequality B s 0 will follow once we have shown that the function u log u + ξ u/ξu is nonincreasing. If we compute its derivative, we see that we must prove that ξ u ξu By 3.3, this can be rewritten in the form ξ u 2 ξu u 0. uξ u ξu ξ u 2 ξu 2 0,
12 12 ADAM OS OWSI which is evident ξ is increasing, see the previous lemma. To show the estimate for B t, we reformulate it as u + x + 1 tξu + 1 t ξ u uξ u 1 xu here, as above, we use the notation u s/t or, by 3.2, x + 1 u + uξ u xu. tξu + 1 t This can be further transformed into ξu tξu + 1 t, which holds true due to the estimate ξ 1 established above. Lemma 3.3. We have Bs, 0, x B0, 0, x Ψx for any s [0, 1] and any x 0. Furthermore, if s, t, x D, then 3.5 Bs, t, x L s. Proof. The rst part is trivial. To show the majorization 3.5, note that B t 0 by the previous lemma, and hence [ ] ξs Bs, t, x Bs, 1, x x s + s log s + x + 1 log. x + 1 Furthermore, we derive that B x s, 1, x log ξs/x + 1, which is positive if and only if x + 1 < ξs. Consequently, [ ] ξs Bs, 1, x Bs, 1, ξs 1 s 1 + log s L s, s where in the last passage we have exploited 3.1. Lemma 3.4. The Hessian matrix of B is nonpositive-denite in the interior of D. [ ] Bxx B Proof. It suces to check that B xx 0, det xs 0 and det D 2 B 0, in the light of Sylvester's criterion. We have B xx s, t, x /x + 1, so the rst inequality is obvious. To check the second one, we dierentiate 3.4 to obtain B sx s, t, x ξ s/t tξs/t + 1 s/t, B xs B ss s, t, x 1 s x + 1ξ s/t 2 tξs/t + 1 t 2 B ss + x + 1ξ s/t ttξs/t + 1 t and hence [ ] Bxx B det xs B xs B ss x + 1s 2 ξ s/t ttξs/t + 1 t. Since x + 1 1, the desired positivity of the determinant will follow if we prove the estimate 1 uξ u tξu + 1 t 0, where u s/t. This, by 3.3, is equivalent to 1 + ξu + uξ u tξu + 1 t 0. However, for a xed u, the left-hand side above is the smallest for t 1; but then its value is equal to uξ u/ξu which is nonnegative due to Lemma 3.1.
13 DYADIC SHIFTS 13 It remains to show that det D 2 B 0; actually, we will show that the determinant vanishes. To this end, we compute that [ s t B xs + B xt, s t B ts + B tt, s t B ss + B st ] [ x + 1ξu 1 tξu + 1 t x + 1, x + 1ξu 1 [B xx, B xt, B xs ]. tξu + 1 t uξu tξu + 1 t, ξ ] u tξu + 1 t In other words, the rows of the Hessian are linearly dependent. This completes the proof. As a consequence of the lemmas above, we get the following concavity-type property of B. Corollary 3.5. Let n 2 be an integer and suppose that s i, t i, x i [0, 1] [0, 1] [0,, i 1, 2,..., n, be arbitrary points. Assume further that α 1, α 2,..., α n are nonnegative numbers summing up to 1 and set s n i1 α is i, x n i1 α ix i. If t [0, 1] satises t n i1 α it i, then n n x mins, t 3.6 Bs, t, x α i Bs i, t i, x i + t α i t i. t i1 Proof. Set s n i1 α i mins i, t i, t n i1 α it i and observe that s n α i s i s, i1 s i1 n α i t i t. i1 By the previous lemma, the function B is concave on D, so n α i Bs i, t i, x i i1 n α i Bmins i, t i, t i, x i B s, t, x. i1 Now consider two cases. If s t, then by Lemma 3.2, B s, t, x Bs, t, x Bs, t, x Bs, t, x Bs, t, x t t t t t Bs, t, x t t t B t s, u, xdu xs u du xs t du x mins, t, t which combined with the previous estimate yields 3.6. On the other hand, if t < s, then we apply Lemma 3.2 to get B s, t, x B t, t, x. If we consider the function ηu B t + umins, t t, t + ut t, x,
14 14 ADAM OS OWSI then we see that Bs, t, x B t, t, x η1 η η udu xt t B s...mins, t t + B t...t t du B t...t tdu 1 0 t + umins, t t du, t + ut t where in the last line we have exploited Lemma 3.2 again. It suces to note that for any u [0, 1] we have t + umins, t t t + ut t mins, t, t since the left-hand side is concave in u and the inequality holds for u {0, 1}. We are ready to establish the logarithmic estimate. Proof of 1.4. Fix a sequence α Q with a Carleson constant less or equal to 1, a measurable set and a nonnegative function f. By a simple limiting argument, we may assume that all the terms α Q corresponding to suciently small Q vanish i.e., there is M such that α Q 0 if Q n>m T n. We will use the following notation: for Q T we will write s Q µ Q, t Q 1 µq µq Q T Q α Q µq, x Q f Q. Observe that if Q 1, Q 2,..., Q n are direct children of Q, then s Q n i1 µq i µq s Q i, t Q α Q + n i1 µq i µq t Q i and x Q n i1 µq i µq x Q i. Therefore, if we apply the inequality 3.6 with s, t, x s Q, t Q, x Q, s i, t i, x i s Qi, t Qi, x Qi and α i µq i /µq, then we get 3.7 Bs Q, t Q, x Q n µq i µq B s Qi, t Qi, x Qi + αq f Q mins Q, t Q t i1 Q n µq i µq B s Qi, t Qi, x Qi + αq f Q s Q. i1
15 DYADIC SHIFTS 15 Multiply throughout by µq and sum the obtained inequalities over all Q T N for some xed N 0 to get Bs Q, t Q, x Q µq Bs Q, t Q, x Q µq N N+1 + α Q f Q µ Q. N Writing this estimate for N 0, 1, 2,..., M and summing, we obtain Bs, t, x M+1 Bs Q, t Q, x Q µq + M N0 N α Q f Q µ Q. By 3.5, we have Bs, t, x L mins, t L µ. Furthermore, we have assumed that α Q 0 for Q n>m T n, which implies that the second sum above is equal to α Q f Q µ Q Afdµ. Furthermore, we have t Q 0 for Q T M+1, so Lemma 3.3 and Jensen's inequality give Bs Q, t Q, x Q µq Ψ f Q µq Ψfdµ. M+1 M+1 Putting all the above facts together, we obtain the desired estimate 1.4. Finally, we turn our attention to Theorem 1.3. Proof. It suces to show the claim for nonnegative functions f. Pick > 1, M > 0, f : [0, 1] and let g exp min Af/, M 1. Since A is self-adjoint, we may write Af gdµ 1 fagdµ 1 fagdµ {f 0} Ψgdµ + L µ{f 0}, by virtue of 1.4. After simple manipulations, this can be shown to be equivalent to the estimate exp min Af/, M 1 Af dµ Af + {Af>M} M exp min Af/, M dµ L µ{f 0}. Letting M and applying Fatou's lemma, we get 1.5. Let us now show how to deduce the optimality of L/ from the fact that 1.4 is sharp which will be proved later below. Suppose that 1.5 holds with some constant L / on
16 16 ADAM OS OWSI the right. Then for any nonnegative f and any measurable we have, by Young's inequality, Afdµ faχ dµ Ψfdµ + ΦAχ /dµ Ψfdµ + L µ. Therefore L L for each and hence the sharpness is proved. It remains to show that for 1 the exponential bound does not hold with any nite constant; this follows immediately from the facts that the left-hand side of 1.5 decreases as increases, and L as Sharpness and the formula for B Throughout this section we return to the context of general probability space, µ equipped with some tree of its subsets. We will use the following fact which can be found in [13]. Lemma 4.1. For every Q T and every β 0, 1 there is a subfamily F Q T consisting of pairwise almost disjoint subsets of Q such that µ R µr βµq. R F Q R F Q The purpose of this section is to complete the analysis of 1.4, by constructing examples which imply the sharpness of this estimate and nding the formula for B used in Section 3. As we have mentioned above, we expect the examples to be related to the extremizers of the function B discovered above. These extremizers, in turn, are encoded in the formula for B 0, as we shall explain now. The rough idea can be described as follows. Suppose that γ 1, γ 2,..., γ n are nonnegative numbers summing up to 1 and suppose that s i, t i, x i [0, 1] [0, 1] [ 1,, i 1, 2,..., n satisfy n B 0 s, t, x γ i B 0 s i, t i, x i + αx + 1s, i1 where α 0 and s n i1 γ is i, t α + n i1 γ it i 1 and x n i1 γ ix i. Assume further that for each i, any probability space and any tree, we know how to construct the extremizers i, αq i Q and f i of B 0 s i, t i, x i. Then these extremizers, after an appropriate splicing, yield the extremizers, α Q Q and f corresponding to B 0 s, t, x. We have already seen a similar phenomenon in the proofs of Lemmas 2.2 and 2.4, so we will be brief. Apply Lemma 4.1 to obtain a family A 1, A 2,..., A n of pairwise disjoint subsets of such that µa i γ i and such that each A i can be written as a union j Qi j of pairwise disjoint elements of T called the atoms of A i. Now, on each atom Q i j of A i, we construct the extremizers i,j, α i,j Q Q and f i,j of Bs i, t i, x i. Set i,j i,j, f i,j f i,j χ Q i j and consider the union of all α i,j Q Q, completing the sequence to the full α Q by taking α α and
17 DYADIC SHIFTS 17 α Q 0 for remaining Q's. Then, α Q and f have all the properties required in the denition of Bs, t, x and α Q f Q + 1χ Q dµ n Ψf + f dµ γ i B 0 s i, t i, x i + αxs, so they are indeed the extremizers of Bs, t, x. It is convenient to split the reasoning into a few intermediate parts xtremizers corresponding to B1, 1, x. Let x 1 be a given number. Step 1. Indication from B 0. Let us look at the denition of B1, 1, x. As the set, we must take, so that µ s 1. Furthermore, since B 0t 1, 1, x x + 1, we have, for small δ > 0, 4.1 B 0 1, 1, x B 0 1, 1 δ, x + δx oδ. Next, we know from the above construction that B 0 is linear along the line segment 1, 1 δ, x + a1, 1 δ, x, b1, 1 δ, x, c1, 1 δ, x u 1, 1 δ, x + 0, 1 δ, so B 0 1, 1 δ, x δb 0 1, 0, x x + 11 δ δ i1 u, u [ 1, δ/1 δ], x + 11 δ x + 11 δ + 1 δb 0 1, 1, x + δ δ Putting the two steps above together, we see that for δ small enough, B 0 1, 1, x δx δb 0 1, 0, x 4.2 x + 11 δ δ x + 11 δ + 1 δb 0 1, 1, x + δ 1x + 1 δx δb 0 1, 0, δ 1 x δb 0 1, 1, 1 δ δ. 1 δ δ 1 δ Now the reader is urged to recall the discussion from the beginning of this section. The above almost equality indicates how to construct the extremizers corresponding to B1, 1, x if we know how to produce them for the values B 1, 0, x+1 1 δ 1 and B 1, 1, x+1 δ 1. The rst value is evident: since s 1, we must take to be the entire space so that µ s 1; the condition t 0 forces α Q Q to contain only zeros; nally, we must take f 1x+1 δ 1, since other choices make the expression α Q f Q + 1χ Q dµ Ψf + f dµ Ψf + f dµ smaller the function x Ψx + x is convex. To handle the second value, we observe that the rst two coordinates of the point 1, 1, x+1 δ 1 are equal to
18 18 ADAM OS OWSI 1, so we may repeat the splitting described in 4.2, with x replaced by x+1 δ 1. This will imply that the appropriate extremizers can be constructed from those corresponding to B 1, 0, 1x+1 δ 1 and B 1, 1, 2 x+1 2 δ 1. For the rst 2 value the extremizers are clear, while for the second value we use the splitting 4.2 again, and so on. So, the construction has the following inductive algorithm: 1 Start with n 0 and put A 0 : this set has only one atom, A 0 itself. 2 For any atom Q of A n, set α Q δ. 3 Apply Lemma 4.1 to each atom Q of A n, splitting it into two sets Q and Q + Q\Q, with µq 1 δµq. Dene A n+1 Q atom of A n Q. By Lemma 4.1, each Q can be expressed as a union of pairwise disjoint elements of T and hence A n+1 also has this property; call the corresponding elements of T the atoms of A n+1. 4 For all Q T which are proper subsets of some atom of A n and are not contained in any atom of A n+1, set α Q 0. 5 Put f 1 δ 2. δ n x on An \ A n+1, increase n by 1 and go to It is clear from the above construction that A 0 A 1 A Actually, we see that each atom Q of A k k 0, 1, 2,... is split in the same ratio, so µq A k+1 1 δµq and in particular, µa k 1 δ k. As the result of the above construction, we get the following explicit candidates for the sequence α Q and the function f : [ 1,. Namely, the sequence contains only the terms 0 and δ, and α Q δ if and only if Q is an atom of some A n. The function is given by f n0 n 1 x χ An\A δ δ n+1. Let us make a comment which will be used in the study of the sharpness of 1.4. Remark 4.2. If x 1/ 1, then f is nonnegative. Step 2. Formal verication of the properties of α Q and f. The above construction was based on the almost equality 4.2, which, in addition, was applied innitely many times. Thus it is not clear whether the objects we obtained satisfy the required conditions, and we need to check them rigorously. We start with the function. By straightforward manipulations on geometric series, f n0 n 1 x δ n δ x x δ δ and, more generally, for any atom Q of A k, f Q 1 µq nk n 1 x µq A n \ A n+1 δ δ nk 1 δ δ n x δ n k δ k x δ
19 DYADIC SHIFTS 19 Now let us turn our attention to α Q. To check that the Carleson constant is bounded by 1, observe rst that α Q µq δµq δµa n δ1 δ n 1 µ. n0 Q atom n0 n0 of A n Next, for a given Q T dierent from, let n be the largest number such that a certain atom Q of A n is a proper superset of Q. Using the aforementioned fractal properties of A k k 0, we get α R µr δµr δµq A k R Q kn+1 R Q A k, kn+1 R atom of A k µq A n+1 δ1 δ n+1 k µq A n+1 µq. kn+1 Thus, the set, α Q and the function f has all the properties required in the denition of B1, 1, x. Step 3. Checking the value of B1, 1, x. It remains to note that α Q f Q + 1µ Q α Q f Q + 1µQ n δ x + 1µQ δ and f + 1 logf + 1dµ n0 1 δ δ [ 1 x + 1 log n0 Q atom of A n δ n0 δ δx n [ 1 x + 1 log δ x + 1 δ [ 1 x + 1 log x + 1 δ ] + δ 1 x + 1 log δ ] + Therefore, if we let δ 0, then α Q f Q + 1µ Q x B1, 1, x. { x + 1 log x + 1 1δ log δ. n x + 1µA n n x + 1] 1 δ n δ δ δ n0 n f + 1 logf + 1dµ [ 1x + 1 ] + n 1 δ δ } x + 1 1
20 20 ADAM OS OWSI Thus the function B 0 coincides with B at all points of the form 1, 1, x, x 1. Our nal comment concerns the functions B and B studied in the previous sections. As we have discussed above, we expect B and B to have the same extremizers. Let us plug, α Q and f constructed above into the denition of B. Since α Q µ Q α Q µq 1, we obtain in the limit that α Q f Q µ Q The latter is precisely the value B1, 1, x. Ψfdµ δ 0 B1, 1, x 1 + x xtremizers corresponding to Bs, 1, x. Let s 0, 1 and x 1 be given numbers. This time the reasoning will be a little dierent. Step 1. Indication from B 0. Let N be a large positive integer and set δ 1 s 1/N, so that s/1 δ N 1. Since B 0t s, 1, x x + 1s, we have 4.3 B 0 s, 1, x δx + 1s + B 0 s, 1 δ, x + oδ δx + 1s + δb 0 0, 0, x cs, 1 δ, x s + 1 δb 0 1 δ, 1, x + cs, 1 δ, x δ + oδ 1 δ x + 1 δx + 1s + δb 0 0, 0, 1 δξs/1 δ + δ δb 0 s 1 δ, 1, x + 1ξs/1 δ 1 δξs/1 δ + δ 1 + oδ. Here the second passage is a consequence of the linearity of B 0 over the appropriate line segment. By induction, after N steps, the above identity yields 4.4 B 0 s, 1, x N 1 k0 N 1 δx k + 1s + k0 + 1 δ N B 0 1, 1, x N + Oδ, δ1 δ k B 0 0, 0, x k δξs k+1 + δ 1 where s k s/1 δ k and the sequence x k N k0 is given inductively by x 0 x and x k x k + 1ξs k+1 1 δξs k+1 + δ. Let us stress that the summand Oδ in 4.4 comes from N δ 1 terms oδ appearing in 4.3. Analogous reasoning to that from the previous case enables to translate the above identities for B into the inductive construction of an appropriate Carleson sequence α Q and a function f. Let A 0 A 1 A 2... A N be sets given by the same construction as in the previous case. The set A N has measure 1 δ N s and the behavior of A N, α Q,Q AN and f AN must code the value B1, 1, x N. So, for any atom Q of A N, we repeat the construction from the previous case with a dierent xed δ and glue the corresponding sets, sequences and functions corresponding to dierent atoms into one set, one sequence and one
21 DYADIC SHIFTS 21 function on A N. Clearly, for each Q the set we take is equal to Q; this implies A N A N, and hence we are forced to take A N, so that µ s. To complete the construction, we proceed as follows. If Q is an atom of one of the sets A 0, A 1,..., A N 1, set α Q δ. If Q T does not have this property and is not contained in any atom of A N, put α Q 0. Finally, the restriction f to \ A N is given by 4.5 f \AN N 1 k0 x k δξs k+1 + δ 1 χ Ak \A k+1, as indicated by the terms appearing under the second sum in 4.4. The following fact will be useful later. Lemma 4.3. If x + 1 ξs, then f is nonnegative. Proof. Fix s. Let us rst show that for any k 0, 1, 2,..., N 1 we have 4.6 ξs k 1 δξs k+1 + δ. To this end, we consider the function F u ξu1 δ k 1 δξu1 δ k 1 + δ, We have F 0 0 and F u 1 δ k ξ u1 δ k ξ u1 δ k 1 0, u [0, s]. since ξ is concave, as shown in the proof of Lemma 3.1. This shows F s 0 and hence 4.6 follows. Now, to show the nonnegativity of f on A N, we prove inductively the bound 4.7 x k + 1 ξs k, k 0, 1, 2,..., N. When k 0, both sides are equal. Assuming the validity of the above bound for some k, we obtain x k x k + 1ξs k+1 1 δξs k+1 + δ ξs k 1 δξs k+1 + δ ξs k+1 ξs k+1, where the last passage is due to 4.6, and hence 4.7 follows. This estimate combined with 4.6 immediately yields f 0 on \A N see 4.5. It also implies the nonnegativity on A N : indeed, plugging k N we get x N + 1 / 1 and it suces to apply Remark 4.2. Step 2. Formal verication of the properties of, α Q and f. We have already checked that µ µa N 1 δ N s. The corresponding properties of α Q and f are proved with the same reasoning as previously; we leave the details to the reader. Step 3. Checking the value of Bs, 1, x. Let N be xed. We know from the analysis of the preceding case that if we let δ 0 recall that δ was the parameter used in the construction of the extremizers on A N, then for each atom R of A N we have 1 µr,q R α Q f Q + 1µ Q Ψf + fdµ B1, 1, x N, µr R
22 22 ADAM OS OWSI uniformly in R more precisely, the left-hand side does not depend on R, but only on δ. If we multiply throughout by µr and sum over all R, we get α Q f Q + 1µ Q Ψf + fdµ µa N B1, 1, x N,Q R, A N R atom of A N 1 δ N B1, 1, x N. Furthermore, if T {Q T : Q is not contained in any atom of A N }, then α Q f Q + 1µ Q N 1 k0 N 1 k0 Q atom of A k δx k + 1µA N Q δx k + 1µA N N 1 k0 δx k + 1s and f + 1 logf + 1dµ \A N B0, 0, fdµ \A N N 1 k0 N 1 k0 x k + 1 B 0, 0, 1 δξs k+1 + δ 1 µa k \ A k+1 δ1 δ k x k + 1 B 0, 0, 1 δξs k+1 + δ 1. Putting all the above facts together i.e., summing the three equations above, we get α Q f Q + 1χ Q dµ Ψf + f dµ N 1 N 1 δx k + 1s + δ1 δ k x k + 1 B 0, 0, 1 δξs k+1 + δ 1 k0 k0 + 1 δ N B1, 1, x N + oδ. This should be compared to 4.4; if we let δ 0 and then δ 0, then the expression α Q f Q + 1χ Q dµ Ψf + f dµ approaches Bs, 1, x; hence B 0 B for all points of the form s, 1, x. Furthermore, the extremizers we have constructed give rise to the formula for the function B
23 DYADIC SHIFTS 23 studied in Section 3. Since A N, we have A k A max{k,n} and hence 4.8 α Q µ Q N 1 k0 δµa N + δµa k kn Nδ1 δ N + 1 δ N N s log s + s. Consequently, if δ 0 and N, we get α Q f Q χ Q dµ Ψfdµ Bs, 1, x + s log s s + x, and the limit is precisely Bs, 1, x xtremizers corresponding to Bs, t, x. Suppose that t < 1. We will briey discuss the case s t only; if s > t, the reasoning is similar. In this case the argument is very simple: we have s 1 t 4.9 Bs, t, x 1 tb0, 0, x cs, t, x + tb, 1, x + cs, t, x. t t Let us split A \ A, where µa t. On the set \ A we set f x cs, t, x and formally, we require \ A. Next, if Q is not contained in any atom of A, we let α Q 0 in particular, α 0. On the other hand, on each atom Q of A we use the construction of the preceding subsection, corresponding to B s 1 t t, 1, x + cs, t, x t. Now we glue all the sets, sequences and functions corresponding to dierent Q's into one set, sequence and function on A. Together with the preceding requirements, this denes us the desired candidates for the almost extremizers. We conclude by deriving the formula for B. For, α Q and f as above, we have, by 4.8, that if R is an atom of A, then 1 α Q µ Q s/t logs/t + s/t. µr Therefore α Q µ Q and hence,q R,Q A α Q µ Q µa s/t logs/t + s/t s logs/t + s α Q f Q χ Q dµ Ψfdµ Bs, t, x + s logs/t s + x, and the limit is precisely Bs, t, x Sharpness of 1.4. Clearly, it suces to prove that L is the best for > 1; since L as 1, this will automatically imply the sharpness for 1 as well. Fix small ε > 0, s > 0 and suppose that the inequality 1.4 holds with some constant L in the place of L. Consider the extremizers corresponding to Bs, 1, ξs 1. As we have shown in Lemma 4.3 above, the
24 24 ADAM OS OWSI almost extremal function f is nonnegative and if we take δ, δ the parameters of the construction suciently small, then L s α Q f Q χ Q dµ Ψfdµ > Bs, 1, ξs 1 εs. Dividing throughout by s and letting s 0 gives L L ε see the last display in the proof of Lemma 3.1. Since ε was arbitrary, the sharpness follows. Acknowledgments The author would like to thank an anonymous referee for the careful reading of the rst version of the paper. References [1] S. M. Buckley, stimates for operator norms on weighted spaces and reverse Jensen inequalities, Trans. Amer. Math. Soc , [2] D. L. Burkholder, Boundary value problems and sharp inequalities for martingale transforms, Ann. Probab , pp [3] D. Cruz-Uribe, The minimal operator and the geometric maximal operator in R n, Studia Math , no. 1, 137. [4] D. Cruz-Uribe, J. M. Martell, and C. Pérez, Sharp weighted estimates for approximating dyadic operators, lectron. Res. Announc. Math. Sci , [5] D. Cruz-Uribe, J. M. Martell, and C. Pérez, Sharp weighted estimates for classical operators, Adv. Math , [6] W. Chen and W. Damián, Weighted estimates for the multisublinear maximal function, Rend. Circ. Mat. Palermo , no. 3, [7] T. P. Hytönen, The sharp weighted bound for general Calderón-Zygmund operators, Ann. of Math , [8] T. P. Hytönen and C. Pérez, Sharp weighted bounds involving A, Anal. PD , no. 4, [9] M. T. Lacey,. T. Sawyer, and I. Uriarte-Tuero, Two Weight Inequalities for Discrete Positive Operators, Ariv e-prints, Nov [10] A.. Lerner. A pointwise estimate for the local sharp maximal function with applications to singular integrals. Bull. Lond. Math. Soc , [11] M. T. Lacey, S. Petermichl, M. C. Reguera, Sharp A 2 inequality for Haar shift operators, Math. Ann , no. 1, [12] A.. Lerner, On an estimate of Calderón-Zygmund operators by dyadic positive operators, J. Anal. Math , [13] A. D. Melas, The Bellman functions of dyadic-like maximal operators and related inequalities, Adv. Math , [14] F. L. Nazarov and S. R. Treil, The hunt for a Bellman function: applications to estimates for singular integral operators and to other classical problems of harmonic analysis, St. Petersburg Math. J , pp [15] F. L. Nazarov, S. R. Treil and A. Volberg, The Bellman functions and two-weight inequalities for Haar multipliers, J. Amer. Math. Soc., , pp [16] F. L. Nazarov, S. Treil, A. Volberg, The Tb-theorem on non-homogeneous spaces, Acta Math , no. 2, [17] A. Osekowski, Sharp martingale and semimartingale inequalities, Monograe Matematyczne 72, Birkhäuser, [18] C. Pérez, S. Treil and A. Volberg, On A 2 conjecture and corona decomposition of weights, ariv: [19] S. Petermichl, The sharp bound for the Hilbert transform on weighted Lebesgue spaces in terms of the classical A p-characteristic, Amer. J. Math , no. 5, [20] S. Petermichl, The sharp weighted bound for the Riesz transforms, Proc. Amer. Math. Soc ,
25 DYADIC SHIFTS 25 [21] S. Petermichl and A. Volberg, Heating of the Ahlfors-Beurling operator: weakly quasiregular maps on the plane are quasiregular, Duke Math. J , [22] G. Rey and A. Reznikov, xtremizers and sharp weak-type estimates for positive dyadic shifts, Adv. Math , [23] L. Slavin, A. Stokolos, V. Vasyunin, Monge-Ampère equations and Bellman functions: The dyadic maximal operator, C. R. Acad. Sci. Paris, Ser. I , [24] L. Slavin and V. Vasyunin, Sharp results in the integral-form John-Nirenberg inequality, Trans. Amer. Math. Soc , 4135?4169. [25] L. Slavin and A. Volberg, Bellman function and the H 1 -BMO duality, Harmonic analysis, partial dierential equations, and related topics, 113?126, Contemp. Math., 428, Amer. Math. Soc., Providence, RI, [26] A. Vagharshakyan, Recovering singular integrals from Haar shifts, Proc. Amer. Math. Soc , [27] V. Vasyunin, The exact constant in the inverse Hölder inequality for Muckenhoupt weights Russian, Algebra i Analiz , 73117; translation in St. Petersburg Math. J , [28] V. Vasyunin and A. Volberg, Monge-Ampére equation and Bellman optimization of Carleson embedding theorems, Linear and complex analysis, pp. 195?238, Amer. Math. Soc. Transl. Ser. 2, 226, Amer. Math. Soc., Providence, RI, Department of Mathematics, Informatics and Mechanics, University of Warsaw, Banacha 2, Warsaw, Poland -mail address: ados@mimuw.edu.pl
In this note we give a rather simple proof of the A 2 conjecture recently settled by T. Hytönen [7]. Theorem 1.1. For any w A 2,
A SIMPLE PROOF OF THE A 2 CONJECTURE ANDREI K. LERNER Abstract. We give a simple proof of the A 2 conecture proved recently by T. Hytönen. Our proof avoids completely the notion of the Haar shift operator,
More informationA WEIGHTED MAXIMAL INEQUALITY FOR DIFFERENTIALLY SUBORDINATE MARTINGALES
A WEIGHTED MAXIMAL INEQUALITY FOR DIFFERENTIALLY SUBORDINATE MARTINGALES RODRIGO BAÑUELOS AND ADAM OSEKOWSKI ABSTRACT. The paper contains the proof of a weighted Fefferman-Stein inequality in a probabilistic
More informationM ath. Res. Lett. 16 (2009), no. 1, c International Press 2009
M ath. Res. Lett. 16 (2009), no. 1, 149 156 c International Press 2009 A 1 BOUNDS FOR CALDERÓN-ZYGMUND OPERATORS RELATED TO A PROBLEM OF MUCKENHOUPT AND WHEEDEN Andrei K. Lerner, Sheldy Ombrosi, and Carlos
More informationfor all subintervals I J. If the same is true for the dyadic subintervals I D J only, we will write ϕ BMO d (J). In fact, the following is true
3 ohn Nirenberg inequality, Part I A function ϕ L () belongs to the space BMO() if sup ϕ(s) ϕ I I I < for all subintervals I If the same is true for the dyadic subintervals I D only, we will write ϕ BMO
More informationJUHA KINNUNEN. Harmonic Analysis
JUHA KINNUNEN Harmonic Analysis Department of Mathematics and Systems Analysis, Aalto University 27 Contents Calderón-Zygmund decomposition. Dyadic subcubes of a cube.........................2 Dyadic cubes
More informationSHARP BOUNDS FOR GENERAL COMMUTATORS ON WEIGHTED LEBESGUE SPACES. date: Feb
SHARP BOUNDS FOR GENERAL COMMUTATORS ON WEIGHTED LEBESGUE SPACES DAEWON CHUNG, CRISTINA PEREYRA AND CARLOS PEREZ. Abstract. We show that if an operator T is bounded on weighted Lebesgue space L 2 (w) and
More informationTHE JOHN-NIRENBERG INEQUALITY WITH SHARP CONSTANTS
THE JOHN-NIRENBERG INEQUALITY WITH SHARP CONSTANTS ANDREI K. LERNER Abstract. We consider the one-dimensional John-Nirenberg inequality: {x I 0 : fx f I0 > α} C 1 I 0 exp C 2 α. A. Korenovskii found that
More informationDIMENSION FREE PROPERTIES OF STRONG MUCKENHOUPT AND REVERSE HÖLDER WEIGHTS FOR RADON MEASURES
DIMENSION FEE POPETIES OF STONG MUCKENHOUPT AND EVESE HÖLDE WEIGHTS FO ADON MEASUES O BEZNOSOVA AND A EZNIKOV ABSTACT In this paper we prove self-improvement properties of strong Muckenhoupt and everse
More informationarxiv: v1 [math.ca] 31 Dec 2014
INEQUALITIES FOR BMO ON -TREES LEONID SLAVIN AND VASILY VASYUNIN arxiv:150100097v1 [mathca] 31 Dec 2014 Abstract We develop technical tools that enable the use of Bellman functions for BMO defined on -trees,
More informationSharp weighted norm inequalities for Littlewood Paley operators and singular integrals
Advances in Mathematics 226 20) 392 3926 www.elsevier.com/locate/aim Sharp weighted norm inequalities for Littlewood Paley operators and singular integrals Andrei K. Lerner Department of Mathematics, Bar-Ilan
More informationx i y i f(y) dy, x y m+1
MATRIX WEIGHTS, LITTLEWOOD PALEY INEQUALITIES AND THE RIESZ TRANSFORMS NICHOLAS BOROS AND NIKOLAOS PATTAKOS Abstract. In the following, we will discuss weighted estimates for the squares of the Riesz transforms
More informationWeighted norm inequalities for singular integral operators
Weighted norm inequalities for singular integral operators C. Pérez Journal of the London mathematical society 49 (994), 296 308. Departmento de Matemáticas Universidad Autónoma de Madrid 28049 Madrid,
More informationA characterization of the two weight norm inequality for the Hilbert transform
A characterization of the two weight norm inequality for the Hilbert transform Ignacio Uriarte-Tuero (joint works with Michael T. Lacey, Eric T. Sawyer, and Chun-Yen Shen) September 10, 2011 A p condition
More informationTHEOREMS, ETC., FOR MATH 515
THEOREMS, ETC., FOR MATH 515 Proposition 1 (=comment on page 17). If A is an algebra, then any finite union or finite intersection of sets in A is also in A. Proposition 2 (=Proposition 1.1). For every
More informationarxiv: v1 [math.ca] 29 Dec 2018
A QUANTITATIVE WEIGHTED WEAK-TYPE ESTIMATE FOR CALDERÓN-ZYGMUND OPERATORS CODY B. STOCKDALE arxiv:82.392v [math.ca] 29 Dec 208 Abstract. The purpose of this article is to provide an alternative proof of
More information1 Introduction ON AN ESTIMATE OF CALDERÓN-ZYGMUND OPERATORS BY DYADIC POSITIVE OPERATORS ANDREI K. LERNER
ON AN ESTIMATE OF CALDERÓN-ZYGMUND OPERATORS BY DYADIC POSITIVE OPERATORS By ANDREI K. LERNER Abstract. Given a general dyadic grid D and a sparse family of cubes S = {Q } D, define a dyadic positive operator
More informationSHARP INEQUALITIES FOR HILBERT TRANSFORM IN A VECTOR-VALUED SETTING
SHARP INEQUALIIES FOR HILBER RANSFORM IN A VECOR-VALUED SEING ADAM OSȨKOWSKI Abstract. he paper is devoted to the study of the periodic Hilbert transform H in the vector valued setting. Precisely, for
More informationarxiv: v1 [math.ca] 3 Nov 2018
SPARSE DOMINATION AND THE STRONG MAXIMAL FUNCTION ALEX BARRON, JOSÉ M. CONDE-ALONSO, YUMENG OU, AND GUILLERMO REY arxiv:1811.01243v1 [math.ca] 3 Nov 2018 Abstract. We study the problem of dominating the
More informationVECTOR A 2 WEIGHTS AND A HARDY-LITTLEWOOD MAXIMAL FUNCTION
VECTOR A 2 WEIGHTS AND A HARDY-LITTLEWOOD MAXIMAL FUNCTION MICHAEL CHRIST AND MICHAEL GOLDBERG Abstract. An analogue of the Hardy-Littlewood maximal function is introduced, for functions taking values
More informationCarlos Pérez University of the Basque Country and Ikerbasque 1 2. School on Nonlinear Analysis, Function Spaces and Applications T re st, June 2014
A theory of weights for singular integral operators Carlos Pérez University of the Basque Country and Ikerbasque 2 School on Nonlinear Analysis, Function Spaces and Applications T re st, June 204 Introduction:
More informationHerz (cf. [H], and also [BS]) proved that the reverse inequality is also true, that is,
REARRANGEMENT OF HARDY-LITTLEWOOD MAXIMAL FUNCTIONS IN LORENTZ SPACES. Jesús Bastero*, Mario Milman and Francisco J. Ruiz** Abstract. For the classical Hardy-Littlewood maximal function M f, a well known
More informationLet D = R R and let V : D R be a function, not necessarily Borel or
Chapter 2 Burkholder s Method We start by introducing the main tool which will be used in the study of semimartingale inequalities. For the sake of clarity, in this chapter we focus on the description
More informationarxiv: v2 [math.ca] 5 Mar 2010
SHARP WEIGHTED ESTIMATES FOR APPROXIMATING DYADIC OPERATORS arxiv:1001.4724v2 [math.ca] 5 Mar 2010 DAVID CRUZ-URIBE, SFO, JOSÉ MARÍA MARTELL, AND CARLOS PÉREZ Abstract. We givea new proofofthe sharpweighted
More informationTHE LINEAR BOUND FOR THE NATURAL WEIGHTED RESOLUTION OF THE HAAR SHIFT
THE INEAR BOUND FOR THE NATURA WEIGHTED RESOUTION OF THE HAAR SHIFT SANDRA POTT, MARIA CARMEN REGUERA, ERIC T SAWYER, AND BRETT D WIC 3 Abstract The Hilbert transform has a linear bound in the A characteristic
More information2 Lebesgue integration
2 Lebesgue integration 1. Let (, A, µ) be a measure space. We will always assume that µ is complete, otherwise we first take its completion. The example to have in mind is the Lebesgue measure on R n,
More informationA VERY BRIEF REVIEW OF MEASURE THEORY
A VERY BRIEF REVIEW OF MEASURE THEORY A brief philosophical discussion. Measure theory, as much as any branch of mathematics, is an area where it is important to be acquainted with the basic notions and
More informationLEBESGUE INTEGRATION. Introduction
LEBESGUE INTEGATION EYE SJAMAA Supplementary notes Math 414, Spring 25 Introduction The following heuristic argument is at the basis of the denition of the Lebesgue integral. This argument will be imprecise,
More informationLinear Algebra (part 1) : Vector Spaces (by Evan Dummit, 2017, v. 1.07) 1.1 The Formal Denition of a Vector Space
Linear Algebra (part 1) : Vector Spaces (by Evan Dummit, 2017, v. 1.07) Contents 1 Vector Spaces 1 1.1 The Formal Denition of a Vector Space.................................. 1 1.2 Subspaces...................................................
More informationarxiv: v3 [math.ca] 6 Oct 2009
SHARP A 2 INEQUALITY FOR HAAR SHIFT OPERATORS arxiv:09061941v3 [mathca] 6 Oct 2009 MICHAEL T LACEY, STEFANIE PETERMICHL, AND MARIA CARMEN REGUERA Abstract As a Corollary to the main result of the paper
More informationLecture 4 Lebesgue spaces and inequalities
Lecture 4: Lebesgue spaces and inequalities 1 of 10 Course: Theory of Probability I Term: Fall 2013 Instructor: Gordan Zitkovic Lecture 4 Lebesgue spaces and inequalities Lebesgue spaces We have seen how
More informationDeposited on: 20 April 2010
Pott, S. (2007) A sufficient condition for the boundedness of operatorweighted martingale transforms and Hilbert transform. Studia Mathematica, 182 (2). pp. 99-111. SSN 0039-3223 http://eprints.gla.ac.uk/13047/
More informationl(y j ) = 0 for all y j (1)
Problem 1. The closed linear span of a subset {y j } of a normed vector space is defined as the intersection of all closed subspaces containing all y j and thus the smallest such subspace. 1 Show that
More informationIntegral Jensen inequality
Integral Jensen inequality Let us consider a convex set R d, and a convex function f : (, + ]. For any x,..., x n and λ,..., λ n with n λ i =, we have () f( n λ ix i ) n λ if(x i ). For a R d, let δ a
More informationarxiv: v3 [math.ca] 26 Apr 2017
arxiv:1606.03925v3 [math.ca] 26 Apr 2017 SPARSE DOMINATION THEOREM FOR MULTILINEAR SINGULAR INTEGRAL OPERATORS WITH L r -HÖRMANDER CONDITION KANGWEI LI Abstract. In this note, we show that if T is a multilinear
More informationLebesgue-Radon-Nikodym Theorem
Lebesgue-Radon-Nikodym Theorem Matt Rosenzweig 1 Lebesgue-Radon-Nikodym Theorem In what follows, (, A) will denote a measurable space. We begin with a review of signed measures. 1.1 Signed Measures Definition
More informationLebesgue Measure on R n
CHAPTER 2 Lebesgue Measure on R n Our goal is to construct a notion of the volume, or Lebesgue measure, of rather general subsets of R n that reduces to the usual volume of elementary geometrical sets
More informationExamples of Dual Spaces from Measure Theory
Chapter 9 Examples of Dual Spaces from Measure Theory We have seen that L (, A, µ) is a Banach space for any measure space (, A, µ). We will extend that concept in the following section to identify an
More informationConstrained Leja points and the numerical solution of the constrained energy problem
Journal of Computational and Applied Mathematics 131 (2001) 427 444 www.elsevier.nl/locate/cam Constrained Leja points and the numerical solution of the constrained energy problem Dan I. Coroian, Peter
More informationThis article appeared in a journal published by Elsevier. The attached copy is furnished to the author for internal non-commercial research and
This article appeared in a journal published by Elsevier. The attached copy is furnished to the author for internal non-commercial research and education use, including for instruction at the authors institution
More informationON A MAXIMAL OPERATOR IN REARRANGEMENT INVARIANT BANACH FUNCTION SPACES ON METRIC SPACES
Vasile Alecsandri University of Bacău Faculty of Sciences Scientific Studies and Research Series Mathematics and Informatics Vol. 27207), No., 49-60 ON A MAXIMAL OPRATOR IN RARRANGMNT INVARIANT BANACH
More informationBorderline variants of the Muckenhoupt-Wheeden inequality
Borderline variants of the Muckenhoupt-Wheeden inequality Carlos Domingo-Salazar Universitat de Barcelona joint work with M Lacey and G Rey 3CJI Murcia, Spain September 10, 2015 The Hardy-Littlewood maximal
More informationCurriculum vitae. Alexander Reznikov September 21, 2016
Curriculum vitae Alexander Reznikov September 21, 2016 Contact information Name : Alexander Reznikov Address: 1527 Stevenson Center, Department of Mathematics, Vanderbilt University, Nashville, TN, 37240
More information3 Integration and Expectation
3 Integration and Expectation 3.1 Construction of the Lebesgue Integral Let (, F, µ) be a measure space (not necessarily a probability space). Our objective will be to define the Lebesgue integral R fdµ
More informationL p Spaces and Convexity
L p Spaces and Convexity These notes largely follow the treatments in Royden, Real Analysis, and Rudin, Real & Complex Analysis. 1. Convex functions Let I R be an interval. For I open, we say a function
More information( f ^ M _ M 0 )dµ (5.1)
47 5. LEBESGUE INTEGRAL: GENERAL CASE Although the Lebesgue integral defined in the previous chapter is in many ways much better behaved than the Riemann integral, it shares its restriction to bounded
More informationDyadic structure theorems for multiparameter function spaces
Rev. Mat. Iberoam., 32 c European Mathematical Society Dyadic structure theorems for multiparameter function spaces Ji Li, Jill Pipher and Lesley A. Ward Abstract. We prove that the multiparameter (product)
More information5 Measure theory II. (or. lim. Prove the proposition. 5. For fixed F A and φ M define the restriction of φ on F by writing.
5 Measure theory II 1. Charges (signed measures). Let (Ω, A) be a σ -algebra. A map φ: A R is called a charge, (or signed measure or σ -additive set function) if φ = φ(a j ) (5.1) A j for any disjoint
More information2 THE COMPUTABLY ENUMERABLE SUPERSETS OF AN R-MAXIMAL SET The structure of E has been the subject of much investigation over the past fty- ve years, s
ON THE FILTER OF COMPUTABLY ENUMERABLE SUPERSETS OF AN R-MAXIMAL SET Steffen Lempp Andre Nies D. Reed Solomon Department of Mathematics University of Wisconsin Madison, WI 53706-1388 USA Department of
More informationSOLUTIONS OF SEMILINEAR WAVE EQUATION VIA STOCHASTIC CASCADES
Communications on Stochastic Analysis Vol. 4, No. 3 010) 45-431 Serials Publications www.serialspublications.com SOLUTIONS OF SEMILINEAR WAVE EQUATION VIA STOCHASTIC CASCADES YURI BAKHTIN* AND CARL MUELLER
More informationarxiv: v2 [math.ca] 19 Feb 2014
BOUNDS FOR THE HLBERT TRANSFORM WTH MATRX A WEGHTS KELLY BCKEL, STEFANE PETERMCHL, AND BRETT D. WCK arxiv:140.3886v [math.ca] 19 Feb 014 Abstract. LetW denote a matrixa weight. n this paper we implement
More informationCLOSED RANGE POSITIVE OPERATORS ON BANACH SPACES
Acta Math. Hungar., 142 (2) (2014), 494 501 DOI: 10.1007/s10474-013-0380-2 First published online December 11, 2013 CLOSED RANGE POSITIVE OPERATORS ON BANACH SPACES ZS. TARCSAY Department of Applied Analysis,
More informationLinear Regression and Its Applications
Linear Regression and Its Applications Predrag Radivojac October 13, 2014 Given a data set D = {(x i, y i )} n the objective is to learn the relationship between features and the target. We usually start
More information(1.) For any subset P S we denote by L(P ) the abelian group of integral relations between elements of P, i.e. L(P ) := ker Z P! span Z P S S : For ea
Torsion of dierentials on toric varieties Klaus Altmann Institut fur reine Mathematik, Humboldt-Universitat zu Berlin Ziegelstr. 13a, D-10099 Berlin, Germany. E-mail: altmann@mathematik.hu-berlin.de Abstract
More informationX. Tolsa: Analytic capacity, the Cauchy transform, and nonhomogeneous 396 pp
X. Tolsa: Analytic capacity, the Cauchy transform, and nonhomogeneous Calderón-Zygmund theory. Birkhäuser, 2014, 396 pp Heiko von der Mosel, Aachen heiko@instmath.rwth-aachen.de What is analytic capacity?
More informationEstimates for probabilities of independent events and infinite series
Estimates for probabilities of independent events and infinite series Jürgen Grahl and Shahar evo September 9, 06 arxiv:609.0894v [math.pr] 8 Sep 06 Abstract This paper deals with finite or infinite sequences
More informationVector Space Basics. 1 Abstract Vector Spaces. 1. (commutativity of vector addition) u + v = v + u. 2. (associativity of vector addition)
Vector Space Basics (Remark: these notes are highly formal and may be a useful reference to some students however I am also posting Ray Heitmann's notes to Canvas for students interested in a direct computational
More informationLecture 7: Semidefinite programming
CS 766/QIC 820 Theory of Quantum Information (Fall 2011) Lecture 7: Semidefinite programming This lecture is on semidefinite programming, which is a powerful technique from both an analytic and computational
More informationJordan Journal of Mathematics and Statistics (JJMS) 9(1), 2016, pp BOUNDEDNESS OF COMMUTATORS ON HERZ-TYPE HARDY SPACES WITH VARIABLE EXPONENT
Jordan Journal of Mathematics and Statistics (JJMS 9(1, 2016, pp 17-30 BOUNDEDNESS OF COMMUTATORS ON HERZ-TYPE HARDY SPACES WITH VARIABLE EXPONENT WANG HONGBIN Abstract. In this paper, we obtain the boundedness
More informationBellman function approach to the sharp constants in uniform convexity
Adv. Calc. Var. 08; (): 89 9 Research Article Paata Ivanisvili* Bellman function approach to the sharp constants in uniform convexity DOI: 0.55/acv-06-0008 Received February 9 06; revised May 5 06; accepted
More informationA SHORT PROOF OF THE COIFMAN-MEYER MULTILINEAR THEOREM
A SHORT PROOF OF THE COIFMAN-MEYER MULTILINEAR THEOREM CAMIL MUSCALU, JILL PIPHER, TERENCE TAO, AND CHRISTOPH THIELE Abstract. We give a short proof of the well known Coifman-Meyer theorem on multilinear
More informationON COMPACTNESS OF THE DIFFERENCE OF COMPOSITION OPERATORS. C φ 2 e = lim sup w 1
ON COMPACTNESS OF THE DIFFERENCE OF COMPOSITION OPERATORS PEKKA NIEMINEN AND EERO SAKSMAN Abstract. We give a negative answer to a conjecture of J. E. Shapiro concerning compactness of the dierence of
More informationUNCONDITIONALLY CONVERGENT SERIES OF OPERATORS AND NARROW OPERATORS ON L 1
UNCONDITIONALLY CONVERGENT SERIES OF OPERATORS AND NARROW OPERATORS ON L 1 VLADIMIR KADETS, NIGEL KALTON AND DIRK WERNER Abstract. We introduce a class of operators on L 1 that is stable under taking sums
More informationCONDITIONAL ACCEPTABILITY MAPPINGS AS BANACH-LATTICE VALUED MAPPINGS
CONDITIONAL ACCEPTABILITY MAPPINGS AS BANACH-LATTICE VALUED MAPPINGS RAIMUND KOVACEVIC Department of Statistics and Decision Support Systems, University of Vienna, Vienna, Austria Abstract. Conditional
More informationFractional integral operators on generalized Morrey spaces of non-homogeneous type 1. I. Sihwaningrum and H. Gunawan
Fractional integral operators on generalized Morrey spaces of non-homogeneous type I. Sihwaningrum and H. Gunawan Abstract We prove here the boundedness of the fractional integral operator I α on generalized
More informationCongurations of periodic orbits for equations with delayed positive feedback
Congurations of periodic orbits for equations with delayed positive feedback Dedicated to Professor Tibor Krisztin on the occasion of his 60th birthday Gabriella Vas 1 MTA-SZTE Analysis and Stochastics
More informationMichael Lacey and Christoph Thiele. f(ξ)e 2πiξx dξ
Mathematical Research Letters 7, 36 370 (2000) A PROOF OF BOUNDEDNESS OF THE CARLESON OPERATOR Michael Lacey and Christoph Thiele Abstract. We give a simplified proof that the Carleson operator is of weaktype
More informationThe Hilbert Transform and Fine Continuity
Irish Math. Soc. Bulletin 58 (2006), 8 9 8 The Hilbert Transform and Fine Continuity J. B. TWOMEY Abstract. It is shown that the Hilbert transform of a function having bounded variation in a finite interval
More informationPart V. 17 Introduction: What are measures and why measurable sets. Lebesgue Integration Theory
Part V 7 Introduction: What are measures and why measurable sets Lebesgue Integration Theory Definition 7. (Preliminary). A measure on a set is a function :2 [ ] such that. () = 2. If { } = is a finite
More informationHausdorff operators in H p spaces, 0 < p < 1
Hausdorff operators in H p spaces, 0 < p < 1 Elijah Liflyand joint work with Akihiko Miyachi Bar-Ilan University June, 2018 Elijah Liflyand joint work with Akihiko Miyachi (Bar-Ilan University) Hausdorff
More informationNOTES ON PLANAR SEMIMODULAR LATTICES. IV. THE SIZE OF A MINIMAL CONGRUENCE LATTICE REPRESENTATION WITH RECTANGULAR LATTICES
NOTES ON PLANAR SEMIMODULAR LATTICES. IV. THE SIZE OF A MINIMAL CONGRUENCE LATTICE REPRESENTATION WITH RECTANGULAR LATTICES G. GRÄTZER AND E. KNAPP Abstract. Let D be a finite distributive lattice with
More informationDynkin (λ-) and π-systems; monotone classes of sets, and of functions with some examples of application (mainly of a probabilistic flavor)
Dynkin (λ-) and π-systems; monotone classes of sets, and of functions with some examples of application (mainly of a probabilistic flavor) Matija Vidmar February 7, 2018 1 Dynkin and π-systems Some basic
More informationOPERATORS ON TWO BANACH SPACES OF CONTINUOUS FUNCTIONS ON LOCALLY COMPACT SPACES OF ORDINALS
OPERATORS ON TWO BANACH SPACES OF CONTINUOUS FUNCTIONS ON LOCALLY COMPACT SPACES OF ORDINALS TOMASZ KANIA AND NIELS JAKOB LAUSTSEN Abstract Denote by [0, ω 1 ) the set of countable ordinals, equipped with
More information212a1214Daniell s integration theory.
212a1214 Daniell s integration theory. October 30, 2014 Daniell s idea was to take the axiomatic properties of the integral as the starting point and develop integration for broader and broader classes
More informationChapter One. The Calderón-Zygmund Theory I: Ellipticity
Chapter One The Calderón-Zygmund Theory I: Ellipticity Our story begins with a classical situation: convolution with homogeneous, Calderón- Zygmund ( kernels on R n. Let S n 1 R n denote the unit sphere
More informationOn pointwise estimates for maximal and singular integral operators by A.K. LERNER (Odessa)
On pointwise estimates for maximal and singular integral operators by A.K. LERNER (Odessa) Abstract. We prove two pointwise estimates relating some classical maximal and singular integral operators. In
More informationA RELATIONSHIP BETWEEN THE DIRICHLET AND REGULARITY PROBLEMS FOR ELLIPTIC EQUATIONS. Zhongwei Shen
A RELATIONSHIP BETWEEN THE DIRICHLET AND REGULARITY PROBLEMS FOR ELLIPTIC EQUATIONS Zhongwei Shen Abstract. Let L = diva be a real, symmetric second order elliptic operator with bounded measurable coefficients.
More informationDecomposition of Riesz frames and wavelets into a finite union of linearly independent sets
Decomposition of Riesz frames and wavelets into a finite union of linearly independent sets Ole Christensen, Alexander M. Lindner Abstract We characterize Riesz frames and prove that every Riesz frame
More informationINTRODUCTION TO NETS. limits to coincide, since it can be deduced: i.e. x
INTRODUCTION TO NETS TOMMASO RUSSO 1. Sequences do not describe the topology The goal of this rst part is to justify via some examples the fact that sequences are not sucient to describe a topological
More informationPathwise Construction of Stochastic Integrals
Pathwise Construction of Stochastic Integrals Marcel Nutz First version: August 14, 211. This version: June 12, 212. Abstract We propose a method to construct the stochastic integral simultaneously under
More informationIf Y and Y 0 satisfy (1-2), then Y = Y 0 a.s.
20 6. CONDITIONAL EXPECTATION Having discussed at length the limit theory for sums of independent random variables we will now move on to deal with dependent random variables. An important tool in this
More informationGeometric-arithmetic averaging of dyadic weights
Geometric-arithmetic averaging of dyadic weights Jill Pipher Department of Mathematics Brown University Providence, RI 2912 jpipher@math.brown.edu Lesley A. Ward School of Mathematics and Statistics University
More informationGeometric intuition: from Hölder spaces to the Calderón-Zygmund estimate
Geometric intuition: from Hölder spaces to the Calderón-Zygmund estimate A survey of Lihe Wang s paper Michael Snarski December 5, 22 Contents Hölder spaces. Control on functions......................................2
More information2 Garrett: `A Good Spectral Theorem' 1. von Neumann algebras, density theorem The commutant of a subring S of a ring R is S 0 = fr 2 R : rs = sr; 8s 2
1 A Good Spectral Theorem c1996, Paul Garrett, garrett@math.umn.edu version February 12, 1996 1 Measurable Hilbert bundles Measurable Banach bundles Direct integrals of Hilbert spaces Trivializing Hilbert
More information8 Singular Integral Operators and L p -Regularity Theory
8 Singular Integral Operators and L p -Regularity Theory 8. Motivation See hand-written notes! 8.2 Mikhlin Multiplier Theorem Recall that the Fourier transformation F and the inverse Fourier transformation
More informationSOME MEASURABILITY AND CONTINUITY PROPERTIES OF ARBITRARY REAL FUNCTIONS
LE MATEMATICHE Vol. LVII (2002) Fasc. I, pp. 6382 SOME MEASURABILITY AND CONTINUITY PROPERTIES OF ARBITRARY REAL FUNCTIONS VITTORINO PATA - ALFONSO VILLANI Given an arbitrary real function f, the set D
More informationA LOWER BOUND ON BLOWUP RATES FOR THE 3D INCOMPRESSIBLE EULER EQUATION AND A SINGLE EXPONENTIAL BEALE-KATO-MAJDA ESTIMATE. 1.
A LOWER BOUND ON BLOWUP RATES FOR THE 3D INCOMPRESSIBLE EULER EQUATION AND A SINGLE EXPONENTIAL BEALE-KATO-MAJDA ESTIMATE THOMAS CHEN AND NATAŠA PAVLOVIĆ Abstract. We prove a Beale-Kato-Majda criterion
More informationL p -boundedness of the Hilbert transform
L p -boundedness of the Hilbert transform Kunal Narayan Chaudhury Abstract The Hilbert transform is essentially the only singular operator in one dimension. This undoubtedly makes it one of the the most
More informationHarmonic Analysis Homework 5
Harmonic Analysis Homework 5 Bruno Poggi Department of Mathematics, University of Minnesota November 4, 6 Notation Throughout, B, r is the ball of radius r with center in the understood metric space usually
More informationIt follows from the above inequalities that for c C 1
3 Spaces L p 1. Appearance of normed spaces. In this part we fix a measure space (, A, µ) (we may assume that µ is complete), and consider the A - measurable functions on it. 2. For f L 1 (, µ) set f 1
More informationat time t, in dimension d. The index i varies in a countable set I. We call configuration the family, denoted generically by Φ: U (x i (t) x j (t))
Notations In this chapter we investigate infinite systems of interacting particles subject to Newtonian dynamics Each particle is characterized by its position an velocity x i t, v i t R d R d at time
More informationOn a Class of Multidimensional Optimal Transportation Problems
Journal of Convex Analysis Volume 10 (2003), No. 2, 517 529 On a Class of Multidimensional Optimal Transportation Problems G. Carlier Université Bordeaux 1, MAB, UMR CNRS 5466, France and Université Bordeaux
More informationGRAND SOBOLEV SPACES AND THEIR APPLICATIONS TO VARIATIONAL PROBLEMS
LE MATEMATICHE Vol. LI (1996) Fasc. II, pp. 335347 GRAND SOBOLEV SPACES AND THEIR APPLICATIONS TO VARIATIONAL PROBLEMS CARLO SBORDONE Dedicated to Professor Francesco Guglielmino on his 7th birthday W
More informationRecent structure theorems of orders and results in abstract harmonic analysis
A NOTE ON UMD SPACES AND TRANSFERENCE IN VECTOR-VALUED FUNCTION SPACES Nakhlé H. Asmar, Brian P. Kelly, and Stephen Montgomery-Smith Abstract. A Banach space X is called an HT space if the Hilbert transform
More informationA NOTE ON WAVELET EXPANSIONS FOR DYADIC BMO FUNCTIONS IN SPACES OF HOMOGENEOUS TYPE
EVISTA DE LA UNIÓN MATEMÁTICA AGENTINA Vol. 59, No., 208, Pages 57 72 Published online: July 3, 207 A NOTE ON WAVELET EXPANSIONS FO DYADIC BMO FUNCTIONS IN SPACES OF HOMOGENEOUS TYPE AQUEL CESCIMBENI AND
More informationTHE NUMBER OF SQUARE ISLANDS ON A RECTANGULAR SEA
THE NUMBER OF SQUARE ISLANDS ON A RECTANGULAR SEA ESZTER K. HORVÁTH, GÁBOR HORVÁTH, ZOLTÁN NÉMETH, AND CSABA SZABÓ Abstract. The aim of the present paper is to carry on the research of Czédli in determining
More informationCOMPACT DIFFERENCE OF WEIGHTED COMPOSITION OPERATORS ON N p -SPACES IN THE BALL
COMPACT DIFFERENCE OF WEIGHTED COMPOSITION OPERATORS ON N p -SPACES IN THE BALL HU BINGYANG and LE HAI KHOI Communicated by Mihai Putinar We obtain necessary and sucient conditions for the compactness
More informationconsists of two disjoint copies of X n, each scaled down by 1,
Homework 4 Solutions, Real Analysis I, Fall, 200. (4) Let be a topological space and M be a σ-algebra on which contains all Borel sets. Let m, µ be two positive measures on M. Assume there is a constant
More informationKrzysztof Burdzy University of Washington. = X(Y (t)), t 0}
VARIATION OF ITERATED BROWNIAN MOTION Krzysztof Burdzy University of Washington 1. Introduction and main results. Suppose that X 1, X 2 and Y are independent standard Brownian motions starting from 0 and
More informationAn introduction to some aspects of functional analysis
An introduction to some aspects of functional analysis Stephen Semmes Rice University Abstract These informal notes deal with some very basic objects in functional analysis, including norms and seminorms
More informationNOTES ON PLANAR SEMIMODULAR LATTICES. IV. THE SIZE OF A MINIMAL CONGRUENCE LATTICE REPRESENTATION WITH RECTANGULAR LATTICES
NOTES ON PLANAR SEMIMODULAR LATTICES. IV. THE SIZE OF A MINIMAL CONGRUENCE LATTICE REPRESENTATION WITH RECTANGULAR LATTICES G. GRÄTZER AND E. KNAPP Abstract. Let D be a finite distributive lattice with
More information