1. Fractal dimensions of spectral measures of rank one perturbations of a positive self-adjoint operator
- Author
-
Matthew Powell
- Subjects
Pure mathematics ,Applied Mathematics ,010102 general mathematics ,Hausdorff space ,Hilbert space ,Lebesgue integration ,Limit superior and limit inferior ,01 natural sciences ,Fractal dimension ,010101 applied mathematics ,symbols.namesake ,Packing dimension ,Hausdorff dimension ,symbols ,0101 mathematics ,Analysis ,Self-adjoint operator ,Mathematics - Abstract
Let H be a Hilbert space. Suppose A is a positive self-adjoint operator on H and φ ∈ H is a cyclic unit vector. For each λ ∈ R , we can define the rank one perturbation of A by A λ = A + λ 〈 φ , ⋅ 〉 φ . To each A λ we can consider the spectral measure of φ, which we denote by μ λ . This generates a family of measures, { μ λ } , and we analyze the packing dimension of this family. Past results have determined that the Hausdorff dimension of this family can be determined if the limit inferior of a ratio involving μ is constant on a Lebesgue typical set. This ratio is sometimes called the pointwise dimension of μ and is related to the upper derivative of μ. Work has been done to make a similar argument for the packing dimension, but with little success. Using the theory of rank one perturbations and Borel transforms, we introduce the concept of Lebesgue exact dimension for μ, which allows us to determine the packing dimension of spectral measures of almost every rank one perturbation μ λ . If the Lebesgue exact dimension for μ is 1 α 2 then the packing dimension of Lebesgue almost every μ λ is 2 − α . As a corollary, we find that this limit condition implies a stronger result: the Hausdorff and packing dimensions are equal for almost every μ λ .
- Published
- 2019