Dyadic cubes

Last updated May 11, 2024

In mathematics, the dyadic cubes are a collection of cubes in Rⁿ of different sizes or scales such that the set of cubes of each scale partition Rⁿ and each cube in one scale may be written as a union of cubes of a smaller scale. These are frequently used in mathematics (particularly harmonic analysis) as a way of discretizing objects in order to make computations or analysis easier. For example, to study an arbitrary subset of A of Euclidean space, one may instead replace it by a union of dyadic cubes of a particular size that cover the set. One can consider this set as a pixelized version of the original set, and as smaller cubes are used one gets a clearer image of the set A. Most notable appearances of dyadic cubes include the Whitney extension theorem and the Calderón–Zygmund lemma.

Dyadic cubes in Euclidean space

In Euclidean space, dyadic cubes may be constructed as follows: for each integer k let Δ_k be the set of cubes in Rⁿ of sidelength 2^−k and corners in the set

2^{-k}\mathbf {Z} ^{n}=\left\{2^{-k}(v_{1},\dots ,v_{n}):v_{j}\in \mathbf {Z} \right\}

and let Δ be the union of all the Δ_k.

The most important features of these cubes are the following:

For each integer k, Δ_k partitions Rⁿ.
All cubes in Δ_k have the same sidelength, namely 2^−k.
If the interiors of two cubes Q and R in Δ have nonempty intersection, then either Q is contained in R or R is contained in Q.
Each Q in Δ_k may be written as a union of 2ⁿ cubes in Δ_k+1 with disjoint interiors.

We use the word "partition" somewhat loosely: for although their union is all of Rⁿ, the cubes in Δ_k can overlap at their boundaries. These overlaps, however, have zero Lebesgue measure, and so in most applications this slightly weaker form of partition is no hindrance.

It may also seem odd that larger k corresponds to smaller cubes. One can think of k as the degree of magnification. In practice, however, letting Δ_k be the set of cubes of sidelength 2^k or 2^−k is a matter of preference or convenience.

The one-third trick

One disadvantage to dyadic cubes in Euclidean space is that they rely too much on the specific position of the cubes. For example, for the dyadic cubes Δ described above, it is not possible to contain an arbitrary ball inside some Q in Δ (consider, for example, the unit ball centered at zero). Alternatively, there may be such a cube that contains the ball, but the sizes of the ball and cube are very different. Because of this caveat, it is sometimes useful to work with two or more collections of dyadic cubes simultaneously.

Definition

The following is known as the one-third trick:^[1]

Let Δ_k be the dyadic cubes of scale k as above. Define

\Delta _{k}^{\alpha }=\{Q+\alpha :Q\in \Delta _{k}\}.

This is the set of dyadic cubes in Δ_k translated by the vector α. For each such α, let Δ^α be the union of the Δ_k^α over k.

There is a universal constant C > 0 such that for any ball B with radius r < 1/3, there is α in {0,1/3}ⁿ and a cube Q in Δ^α containing B whose diameter is no more than Cr.
More generally, if B is a ball with any radius r > 0, there is α in {0, 1/3, 4/3, 4²/3, ...}ⁿ and a cube Q in Δ^α containing B whose diameter is no more than Cr.

An example application

The appeal of the one-third trick is that one can first prove dyadic versions of a theorem and then deduce "non-dyadic" theorems from those. For example, recall the Hardy-Littlewood Maximal function

Mf(x)=\sup _{r>0}{\frac {1}{|B(x,r)|}}\int _{B(x,r)}|f(y)|dy

where f is a locally integrable function and |B(x, r)| denotes the measure of the ball B(x, r). The Hardy–Littlewood maximal inequality states that for an integrable function f,

\left|\{x\in \mathbf {R} ^{n}:Mf(x)>\lambda \}\right|\leq {\frac {C_{n}}{\lambda }}\|f\|_{1}

for λ > 0 where C_n is some constant depending only on dimension.

This theorem is typically proven using the Vitali Covering Lemma. However, one can avoid using this lemma by proving the above inequality first for the dyadic maximal functions

M_{\Delta ^{\alpha }}f(x)=\sup _{x\in Q\in \Delta ^{\alpha }}{\frac {1}{|Q|}}\int _{Q}|f(x)|dx.

The proof is similar to the proof of the original theorem, however the properties of the dyadic cubes rid us of the need to use the Vitali covering lemma. We may then deduce the original inequality by using the one-third trick.

Dyadic cubes in metric spaces

Analogues of dyadic cubes may be constructed in some metric spaces.^[2] In particular, let X be a metric space with metric d that supports a doubling measure μ, that is, a measure such that for x ∈ X and r > 0, one has:

\mu (B(x,2r))\leq C\mu (B(x,r))

where C > 0 is a universal constant independent of the choice of x and r.

If X supports such a measure, then there exist collections of sets Δ_k such that they (and their union Δ) satisfy the following:

For each integer k, Δ_k partitions X, in the sense that

\mu \left(X\backslash \bigcup \nolimits _{Q\in \Delta _{k}}Q\right)=0.

All sets Q in Δ_k have roughly the same size. More specifically, each such Q has a center z_Q such that

B(z_{Q},c_{1}\delta ^{k})\subseteq Q\subseteq B(z_{Q},c_{2}\delta ^{k})

where c₁, c₂, and δ are positive constants depending only on the doubling constant C of the measure μ and independent of Q.

Each Q in Δ_k is contained in a unique set R in Δ_k−1.
There are constants constant C₃, η > 0 depending only on μ such that for all k and t > 0,

\mu \left(\left\{x\in Q:d(x,X\backslash Q)\leq t\delta ^{k}\right\}\right)\leq C_{3}t^{\eta }\mu (Q).

These conditions are very similar to the properties for the usual Euclidean cubes described earlier. The last condition says that the area near the boundary of a "cube" Q in Δ is small, which is a property taken for granted in the Euclidean case although is very important for extending results from harmonic analysis to the metric space setting.

Related Research Articles

In mathematical physics and mathematics, the Pauli matrices are a set of three $2 \times 2$ complex matrices that are Hermitian, involutory and unitary. Usually indicated by the Greek letter sigma, they are occasionally denoted by tau when used in connection with isospin symmetries.

In probability theory, the central limit theorem (CLT) states that, under appropriate conditions, the distribution of a normalized version of the sample mean converges to a standard normal distribution. This holds even if the original variables themselves are not normally distributed. There are several versions of the CLT, each applying in the context of different conditions.

In the mathematical field of real analysis, the monotone convergence theorem is any of a number of related theorems proving the convergence of monotonic sequences that are also bounded. Informally, the theorems state that if a sequence is increasing and bounded above by a supremum, then the sequence will converge to the supremum; in the same way, if a sequence is decreasing and is bounded below by an infimum, it will converge to the infimum.

In mathematics, the Laplace operator or Laplacian is a differential operator given by the divergence of the gradient of a scalar function on Euclidean space. It is usually denoted by the symbols $, (where is the nabla operator), or . In a Cartesian coordinate system, the Laplacian is given by the sum of second partial derivatives of the function with respect to each independent variable. In other coordinate systems, such as cylindrical and spherical coordinates, the Laplacian also has a useful form. Informally, the Laplacian Δ f (p) of a function f at a point p measures by how much the average value of f over small spheres or balls centered at p deviates from f (p) .$

In mathematics, a differential operator is an operator defined as a function of the differentiation operator. It is helpful, as a matter of notation first, to consider differentiation as an abstract operation that accepts a function and returns another function.

In the calculus of variations and classical mechanics, the Euler–Lagrange equations are a system of second-order ordinary differential equations whose solutions are stationary points of the given action functional. The equations were discovered in the 1750s by Swiss mathematician Leonhard Euler and Italian mathematician Joseph-Louis Lagrange.

In mathematics, a hyperbolic metric space is a metric space satisfying certain metric relations between points. The definition, introduced by Mikhael Gromov, generalizes the metric properties of classical hyperbolic geometry and of trees. Hyperbolicity is a large-scale property, and is very useful to the study of certain infinite groups called Gromov-hyperbolic groups.

In mathematics, the Gauss–Kuzmin–Wirsing operator is the transfer operator of the Gauss map that takes a positive number to the fractional part of its reciprocal. It is named after Carl Gauss, Rodion Kuzmin, and Eduard Wirsing. It occurs in the study of continued fractions; it is also related to the Riemann zeta function.

In mathematics, Hensel's lemma, also known as Hensel's lifting lemma, named after Kurt Hensel, is a result in modular arithmetic, stating that if a univariate polynomial has a simple root modulo a prime number $p$ , then this root can be lifted to a unique root modulo any higher power of $p$ . More generally, if a polynomial factors modulo $p$ into two coprime polynomials, this factorization can be lifted to a factorization modulo any higher power of $p$ .

In general relativity, the Gibbons–Hawking–York boundary term is a term that needs to be added to the Einstein–Hilbert action when the underlying spacetime manifold has a boundary.

In geometric topology, Busemann functions are used to study the large-scale geometry of geodesics in Hadamard spaces and in particular Hadamard manifolds. They are named after Herbert Busemann, who introduced them; he gave an extensive treatment of the topic in his 1955 book "The geometry of geodesics".

In mathematics, the (linear) Peetre theorem, named after Jaak Peetre, is a result of functional analysis that gives a characterisation of differential operators in terms of their effect on generalized function spaces, and without mentioning differentiation in explicit terms. The Peetre theorem is an example of a finite order theorem in which a function or a functor, defined in a very general way, can in fact be shown to be a polynomial because of some extraneous condition or symmetry imposed upon it.

In mathematics, in particular in algebraic geometry and differential geometry, Dolbeault cohomology (named after Pierre Dolbeault) is an analog of de Rham cohomology for complex manifolds. Let M be a complex manifold. Then the Dolbeault cohomology groups $depend on a pair of integers p and q and are realized as a subquotient of the space of complex differential forms of degree (p, q).$

In harmonic analysis in mathematics, a function of bounded mean oscillation, also known as a BMO function, is a real-valued function whose mean oscillation is bounded (finite). The space of functions of bounded mean oscillation (BMO), is a function space that, in some precise sense, plays the same role in the theory of Hardy spaces H^p that the space L^∞ of essentially bounded functions plays in the theory of L^p-spaces: it is also called John–Nirenberg space, after Fritz John and Louis Nirenberg who introduced and studied it for the first time.

In mathematics, the Hardy–Littlewood maximal operatorM is a significant non-linear operator used in real analysis and harmonic analysis.

In mathematics and mathematical physics, raising and lowering indices are operations on tensors which change their type. Raising and lowering indices are a form of index manipulation in tensor expressions.

In mathematics, the class of Muckenhoupt weights $A p$ consists of those weights $ω$ for which the Hardy–Littlewood maximal operator is bounded on $L p (dω)$ . Specifically, we consider functions $f$ on $R n$ and their associated maximal functions $M (f)$ defined as

In mathematics, the ATS theorem is the theorem on the approximation of a trigonometric sum by a shorter one. The application of the ATS theorem in certain problems of mathematical and theoretical physics can be very helpful.

In mathematics, the Butcher group, named after the New Zealand mathematician John C. Butcher by Hairer & Wanner (1974), is an infinite-dimensional Lie group first introduced in numerical analysis to study solutions of non-linear ordinary differential equations by the Runge–Kutta method. It arose from an algebraic formalism involving rooted trees that provides formal power series solutions of the differential equation modeling the flow of a vector field. It was Cayley (1857), prompted by the work of Sylvester on change of variables in differential calculus, who first noted that the derivatives of a composition of functions can be conveniently expressed in terms of rooted trees and their combinatorics.

The analyst's traveling salesman problem is an analog of the traveling salesman problem in combinatorial optimization. In its simplest and original form, it asks which plane sets are subsets of rectifiable curves of finite length. Whereas the original traveling salesman problem asks for the shortest way to visit every vertex in a finite set with a discrete path, this analytical version may require the curve to visit infinitely many points.

References

↑ Okikiolu, Kate (1992). "Characterization of subsets of rectifiable curves in Rⁿ". J. London Math. Soc. Series 2. 46 (2): 336–348.
↑ Christ, Michael (1990). "A T(b) theorem with remarks on analytic capacity and the Cauchy integral". Colloq. Math. 60/61 (2): 601–628.

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.

[1] Okikiolu, Kate (1992). "Characterization of subsets of rectifiable curves in Rⁿ". J. London Math. Soc. Series 2. 46 (2): 336–348.

[2] Christ, Michael (1990). "A T(b) theorem with remarks on analytic capacity and the Cauchy integral". Colloq. Math. 60/61 (2): 601–628.

[1]

[2]