Estimates of capacity of self-similar measures

Jozef Myjak; Tomasz Szarek

The search session has expired. Please query the service again.

Displaying similar documents to “Estimates of capacity of self-similar measures”

On Ordinary and Standard Lebesgue Measures on $ℝ^{\infty}$

Gogi Pantsulaia (2009)

Bulletin of the Polish Academy of Sciences. Mathematics

Similarity:

New concepts of Lebesgue measure on $ℝ^{\infty}$ are proposed and some of their realizations in the ZFC theory are given. Also, it is shown that Baker’s both measures [1], [2], Mankiewicz and Preiss-Tišer generators [6] and the measure of [4] are not α-standard Lebesgue measures on $ℝ^{\infty}$ for α = (1,1,...).

On inhomogeneous self-similar measures and their $L^{q}$ spectra

Przemysław Liszka (2013)

Annales Polonici Mathematici

Similarity:

Let $S_{i} : ℝ^{d} \to ℝ^{d}$ for i = 1,..., N be contracting similarities, let $(p ₁, . . ., p_{N}, p)$ be a probability vector and let ν be a probability measure on $ℝ^{d}$ with compact support. It is well known that there exists a unique inhomogeneous self-similar probability measure μ on $ℝ^{d}$ such that $μ = \sum_{i = 1}^{N} p_{i} μ \circ S_{i}^{- 1} + p ν$ . We give satisfactory estimates for the lower and upper bounds of the $L^{q}$ spectra of inhomogeneous self-similar measures. The case in which there are a countable number of contracting similarities and probabilities is considered. In particular,...

Osgood type conditions for an m th-order differential equation

Stanisaw Szufla (1998)

Discussiones Mathematicae, Differential Inclusions, Control and Optimization

Similarity:

We present a new theorem on the differential inequality $u^{(m)} \leq w (u)$ . Next, we apply this result to obtain existence theorems for the equation $x^{(m)} = f (t, x)$ .

Unique Bernoulli $g$ -measures

Anders Johansson, Anders Öberg, Mark Pollicott (2012)

Journal of the European Mathematical Society

Similarity:

We improve and subsume the conditions of Johansson and Öberg and Berbee for uniqueness of a $g$ -measure, i.e., a stationary distribution for chains with complete connections. In addition, we prove that these unique $g$ -measures have Bernoulli natural extensions. We also conclude that we have convergence in the Wasserstein metric of the iterates of the adjoint transfer operator to the $g$ -measure.

$L^{p}$ -improving properties of measures of positive energy dimension

Kathryn E. Hare, Maria Roginskaya (2005)

Colloquium Mathematicae

Similarity:

A measure is called $L^{p}$ -improving if it acts by convolution as a bounded operator from $L^{p}$ to $L^{q}$ for some q > p. Positive measures which are $L^{p}$ -improving are known to have positive Hausdorff dimension. We extend this result to complex $L^{p}$ -improving measures and show that even their energy dimension is positive. Measures of positive energy dimension are seen to be the Lipschitz measures and are characterized in terms of their improving behaviour on a subset of $L^{p}$ -functions.

Erratum to “Geometric rigidity of $\times m$ invariant measures” (J. Eur. Math. Soc. 14, 1539–1563 (2012))

Michael Hochman (2013)

Journal of the European Mathematical Society

Similarity:

On the isotropic constant of marginals

Grigoris Paouris (2012)

Studia Mathematica

Similarity:

We show that if μ₁, ..., μₘ are log-concave subgaussian or supergaussian probability measures in $ℝ^{n_{i}}$ , i ≤ m, then for every F in the Grassmannian $G_{N, n}$ , where N = n₁ + ⋯ + nₘ and n< N, the isotropic constant of the marginal of the product of these measures, $π_{F} (μ ₁ \otimes \dots \otimes μ ₘ)$ , is bounded. This extends known results on bounds of the isotropic constant to a larger class of measures.

Invariant densities for random $β$ -expansions

Karma Dajani, Martijn de Vries (2007)

Journal of the European Mathematical Society

Similarity:

Let $β > 1$ be a non-integer. We consider expansions of the form $\sum_{i = 1}^{\infty} d_{i} / β^{i}$ , where the digits ${(d_{i})}_{i \geq 1}$ are generated by means of a Borel map $K_{β}$ defined on ${0, 1}^{ℕ} \times [0, ⌊ β ⌋ (β - 1)]$ . We show existence and uniqueness of a $K_{β}$ -invariant probability measure, absolutely continuous with respect to $m_{p} \otimes λ$ , where $m_{p}$ is the Bernoulli measure on ${0, 1}^{ℕ}$ with parameter $p$ ( $0 < p < 1$ ) and $λ$ is the normalized Lebesgue measure on $[0, ⌊ β ⌋ (β - 1)]$ . Furthermore, this measure is of the form $m_{p} \otimes μ_{β, p}$ , where $μ_{β, p}$ is equivalent to $λ$ . We prove that the measure of maximal entropy and $m_{p} \otimes λ$ are mutually...

On the duality between $p$ -modulus and probability measures

Luigi Ambrosio, Simone Di Marino, Giuseppe Savaré (2015)

Journal of the European Mathematical Society

Similarity:

Motivated by recent developments on calculus in metric measure spaces $(X, d, m)$ , we prove a general duality principle between Fuglede’s notion [15] of $p$ -modulus for families of finite Borel measures in $(X, d)$ and probability measures with barycenter in $L^{q} (X, m)$ , with $q$ dual exponent of $p \in (1, \infty)$ . We apply this general duality principle to study null sets for families of parametric and non-parametric curves in $X$ . In the final part of the paper we provide a new proof, independent of optimal transportation, of the...

Denseness and Borel complexity of some sets of vector measures

Zbigniew Lipecki (2004)

Studia Mathematica

Similarity:

Let ν be a positive measure on a σ-algebra Σ of subsets of some set and let X be a Banach space. Denote by ca(Σ,X) the Banach space of X-valued measures on Σ, equipped with the uniform norm, and by ca(Σ,ν,X) its closed subspace consisting of those measures which vanish at every ν-null set. We are concerned with the subsets $_{ν} (X)$ and $_{ν} (X)$ of ca(Σ,X) defined by the conditions |φ| = ν and |φ| ≥ ν, respectively, where |φ| stands for the variation of φ ∈ ca(Σ,X). We establish necessary and sufficient...

Self-affine measures that are $L^{p}$ -improving

Kathryn E. Hare (2015)

Colloquium Mathematicae

Similarity:

A measure is called $L^{p}$ -improving if it acts by convolution as a bounded operator from $L^{q}$ to L² for some q < 2. Interesting examples include Riesz product measures, Cantor measures and certain measures on curves. We show that equicontractive, self-similar measures are $L^{p}$ -improving if and only if they satisfy a suitable linear independence property. Certain self-affine measures are also seen to be $L^{p}$ -improving.

Quantization Dimension Estimate of Inhomogeneous Self-Similar Measures

Mrinal Kanti Roychowdhury (2013)

Bulletin of the Polish Academy of Sciences. Mathematics

Similarity:

We consider an inhomogeneous measure μ with the inhomogeneous part a self-similar measure ν, and show that for a given r ∈ (0,∞) the lower and the upper quantization dimensions of order r of μ are bounded below by the quantization dimension $D_{r} (ν)$ of ν and bounded above by a unique number $κ_{r} \in (0, \infty)$ , related to the temperature function of the thermodynamic formalism that arises in the multifractal analysis of μ.

Self-affine measures and vector-valued representations

Qi-Rong Deng, Xing-Gang He, Ka-Sing Lau (2008)

Studia Mathematica

Similarity:

Let A be a d × d integral expanding matrix and let $S_{j} (x) = A^{- 1} (x + d_{j})$ for some $d_{j} \in ℤ^{d}$ , j = 1,...,m. The iterated function system (IFS) ${S_{j}}_{j = 1}^{m}$ generates self-affine measures and scale functions. In general this IFS has overlaps, and it is well known that in many special cases the analysis of such measures or functions is facilitated by expressing them in vector-valued forms with respect to another IFS that satisfies the open set condition. In this paper we prove a general theorem on such representation. The proof...

Wasserstein metric and subordination

Philippe Clément, Wolfgang Desch (2008)

Studia Mathematica

Similarity:

Let $(X, d_{X})$ , $(Ω, d_{Ω})$ be complete separable metric spaces. Denote by (X) the space of probability measures on X, by $W_{p}$ the p-Wasserstein metric with some p ∈ [1,∞), and by $_{p} (X)$ the space of probability measures on X with finite Wasserstein distance from any point measure. Let $f : Ω \to_{p} (X)$ , $ω \mapsto f_{ω}$ , be a Borel map such that f is a contraction from $(Ω, d_{Ω})$ into $(_{p} (X), W_{p})$ . Let ν₁,ν₂ be probability measures on Ω with $W_{p} (ν ₁, ν ₂)$ finite. On X we consider the subordinated measures $μ_{i} = \int_{Ω} f_{ω} d ν_{i} (ω)$ . Then $W_{p} (μ ₁, μ ₂) \leq W_{p} (ν ₁, ν ₂)$ . As an application we show that the solution measures $ϱ_{α} (t)$ ...

Measures of maximal entropy for random $β$ -expansions

Karma Dajani, Martijn de Vries (2005)

Journal of the European Mathematical Society

Similarity:

Let $β > 1$ be a non-integer. We consider $β$ -expansions of the form $\sum_{i = 1}^{\infty} d_{i} / β^{i}$ , where the digits ${(d_{i})}_{i \geq 1}$ are generated by means of a Borel map $K_{β}$ defined on ${0, 1}^{ℕ} \times [0, ⌊ β ⌋ / (β - 1)]$ . We show that $K_{β}$ has a unique mixing measure $ν_{β}$ of maximal entropy with marginal measure an infinite convolution of Bernoulli measures. Furthermore, under the measure $ν_{β}$ the digits ${(d_{i})}_{i \geq 1}$ form a uniform Bernoulli process. In case 1 has a finite greedy expansion with positive coefficients, the measure of maximal entropy is Markov. We also discuss the uniqueness...

Interpolating sequences, Carleson measures and Wirtinger inequality

Eric Amar (2008)

Annales Polonici Mathematici

Similarity:

Let S be a sequence of points in the unit ball of ℂⁿ which is separated for the hyperbolic distance and contained in the zero set of a Nevanlinna function. We prove that the associated measure $μ_{S} : = \sum_{a \in S} (1 - | a | ²) ⁿ δ_{a}$ is bounded, by use of the Wirtinger inequality. Conversely, if X is an analytic subset of such that any δ -separated sequence S has its associated measure $μ_{S}$ bounded by C/δⁿ, then X is the zero set of a function in the Nevanlinna class of . As an easy consequence, we prove that if S is a dual...

Invariant subspaces for operators in a general II1-factor

Uffe Haagerup, Hanne Schultz (2009)

Publications Mathématiques de l'IHÉS

Similarity:

Let ℳ be a von Neumann factor of type II1 with a normalized trace τ. In 1983 L. G. Brown showed that to every operator T∈ℳ one can in a natural way associate a spectral distribution measure μ T (now called the Brown measure of T), which is a probability measure in ℂ with support in the spectrum σ(T) of T. In this paper it is shown that for every T∈ℳ and every Borel set B in ℂ, there is a unique closed T-invariant subspace $𝒦 = 𝒦_{T} (B)$ affiliated with ℳ, such that the Brown measure of ${T |}_{𝒦}$ is concentrated...

On nearly radial marginals of high-dimensional probability measures

Bo'az Klartag (2010)

Journal of the European Mathematical Society

Similarity:

Suppose that $μ$ is an absolutely continuous probability measure on $^{R}$ n, for large $n$ . Then $μ$ has low-dimensional marginals that are approximately spherically-symmetric. More precisely, if $n \geq {(C / ε)}^{C d}$ , then there exist $d$ -dimensional marginals of $μ$ that are $ε$ -far from being sphericallysymmetric, in an appropriate sense. Here $C > 0$ is a universal constant.

Path functionals over Wasserstein spaces

Alessio Brancolini, Giuseppe Buttazzo, Filippo Santambrogio (2006)

Journal of the European Mathematical Society

Similarity:

Given a metric space $X$ we consider a general class of functionals which measure the cost of a path in $X$ joining two given points $x_{0}$ and $x_{1}$ , providing abstract existence results for optimal paths. The results are then applied to the case when $X$ is aWasserstein space of probabilities on a given set $Ω$ and the cost of a path depends on the value of classical functionals over measures. Conditions for linking arbitrary extremal measures $μ_{0}$ and $μ_{1}$ by means of finite cost paths are given. ...

Integral representation and relaxation for functionals defined on measures

Ennio De Giorgi, Luigi Ambrosio, Giuseppe Buttazzo (1987)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti

Similarity:

Given a separable metric locally compact space $\Omega$ , and a positive finite non-atomic measure $\lambda$ on $\Omega$ , we study the integral representation on the space of measures with bounded variation $\Omega$ of the lower semicontinuous envelope of the functional $F(u)=\int_{\Omega}f(x,u)d\lambda\qquad u\in L^{1}(\Omega,\lambda,\mathbb{R}^{n})$ with respect to the weak convergence of measures.

Level by level equivalence and the number of normal measures over $P_{κ} (λ)$

Arthur W. Apter (2007)

Fundamenta Mathematicae

Similarity:

We construct two models for the level by level equivalence between strong compactness and supercompactness in which if κ is λ supercompact and λ ≥ κ is regular, we are able to determine exactly the number of normal measures $P_{κ} (λ)$ carries. In the first of these models, $P_{κ} (λ)$ carries $2^{2^{{[λ]}^{< κ}}}$ many normal measures, the maximal number. In the second of these models, $P_{κ} (λ)$ carries $2^{2^{{[λ]}^{< κ}}}$ many normal measures, except if κ is a measurable cardinal which is not a limit of measurable cardinals. In this case, κ (and...

On NIP and invariant measures

Ehud Hrushovski, Anand Pillay (2011)

Journal of the European Mathematical Society

Similarity:

We study forking, Lascar strong types, Keisler measures and definable groups, under an assumption of NIP (not the independence property), continuing aspects of the paper [16]. Among key results are (i) if $p = tp (b / A)$ does not fork over $A$ then the Lascar strong type of $b$ over $A$ coincides with the compact strong type of $b$ over $A$ and any global nonforking extension of $p$ is Borel definable over $bdd (A)$ , (ii) analogous statements for Keisler measures and definable groups, including the fact that $G^{000} = G^{00}$ for $G$ ...

Spaces of functions on domain $Ω$ , whose $k$ -th derivatives are measures defined on $\bar{Ω}$

Jiří Souček (1972)

Časopis pro pěstování matematiky

Similarity:

Characteristic points, rectifiability and perimeter measure on stratified groups

Valentino Magnani (2006)

Journal of the European Mathematical Society

Similarity:

We establish an explicit connection between the perimeter measure of an open set $E$ with $C^{1}$ boundary and the spherical Hausdorff measure $S^{Q - 1}$ restricted to $\partial E$ , when the ambient space is a stratified group endowed with a left invariant sub-Riemannian metric and $Q$ denotes the Hausdorff dimension of the group. Our formula implies that the perimeter measure of $E$ is less than or equal to $S^{Q - 1} (\partial E)$ up to a dimensional factor. The validity of this estimate positively answers a conjecture raised by Danielli,...

Asymmetric covariance estimates of Brascamp–Lieb type and related inequalities for log-concave measures

Eric A. Carlen, Dario Cordero-Erausquin, Elliott H. Lieb (2013)

Annales de l'I.H.P. Probabilités et statistiques

Similarity:

An inequality of Brascamp and Lieb provides a bound on the covariance of two functions with respect to log-concave measures. The bound estimates the covariance by the product of the $L^{2}$ norms of the gradients of the functions, where the magnitude of the gradient is computed using an inner product given by the inverse Hessian matrix of the potential of the log-concave measure. Menz and Otto [Uniform logarithmic Sobolev inequalities for conservative spin systems with super-quadratic single-site...

Relations between Shy Sets and Sets of $ν_{p}$ -Measure Zero in Solovay’s Model

G. Pantsulaia (2004)

Bulletin of the Polish Academy of Sciences. Mathematics

Similarity:

An example of a non-zero non-atomic translation-invariant Borel measure $ν_{p}$ on the Banach space $ℓ_{p} (1 \leq p \leq \infty)$ is constructed in Solovay’s model. It is established that, for 1 ≤ p < ∞, the condition " $ν_{p}$ -almost every element of $ℓ_{p}$ has a property P" implies that “almost every” element of $ℓ_{p}$ (in the sense of [4]) has the property P. It is also shown that the converse is not valid.

Geometric rigidity of $\times m$ invariant measures

Michael Hochman (2012)

Journal of the European Mathematical Society

Similarity:

Let $μ$ be a probability measure on $[0, 1]$ which is invariant and ergodic for $T_{a} (x) = a x 𝚖𝚘𝚍 1$ , and $0 < 𝚍𝚒𝚖 μ < 1$ . Let $f$ be a local diffeomorphism on some open set. We show that if $E \subseteq ℝ$ and $(f μ) {|_{E} \sim μ|}_{E}$ , then $f^{'} (x) \in \{\pm a^{r} : r \in ℚ\}$ at $μ$ -a.e. point $x \in f^{- 1} E$ . In particular, if $g$ is a piecewise-analytic map preserving $μ$ then there is an open $g$ -invariant set $U$ containing supp $μ$ such that $g |_{U}$ is piecewise-linear with slopes which are rational powers of $a$ . In a similar vein, for $μ$ as above, if $b$ is another integer and $a, b$ are not powers of a common integer, and if $ν$ is...

A convolution property of some measures with self-similar fractal support

Denise Szecsei (2007)

Colloquium Mathematicae

Similarity:

We define a class of measures having the following properties: (1) the measures are supported on self-similar fractal subsets of the unit cube $I^{M} = {[0, 1)}^{M}$ , with 0 and 1 identified as necessary; (2) the measures are singular with respect to normalized Lebesgue measure m on $I^{M}$ ; (3) the measures have the convolution property that $μ * L^{p} \subseteq L^{p + ε}$ for some ε = ε(p) > 0 and all p ∈ (1,∞). We will show that if (1/p,1/q) lies in the triangle with vertices (0,0), (1,1) and (1/2,1/3), then $μ * L^{p} \subseteq L^{q}$ for any measure μ in our...

The type set for homogeneous singular measures on ℝ ³ of polynomial type

E. Ferreyra, T. Godoy (2006)

Colloquium Mathematicae

Similarity:

Let φ:ℝ ² → ℝ be a homogeneous polynomial function of degree m ≥ 2, let μ be the Borel measure on ℝ ³ defined by $μ (E) = \int_{D} χ_{E} (x, φ (x)) d x$ with D = x ∈ ℝ ²:|x| ≤ 1 and let $T_{μ}$ be the convolution operator with the measure μ. Let $φ = φ ₁^{e ₁} \dots φ ₙ^{e ₙ}$ be the decomposition of φ into irreducible factors. We show that if $e_{i} \neq m / 2$ for each $φ_{i}$ of degree 1, then the type set $E_{μ} : = (1 / p, 1 / q) \in [0, 1] \times [0, 1] : | | T_{μ} {| |}_{p, q} < \infty$ can be explicitly described as a closed polygonal region.

$L^{p} - L^{q}$ estimates for some convolution operators with singular measures on the Heisenberg group

T. Godoy, P. Rocha (2013)

Colloquium Mathematicae

Similarity:

We consider the Heisenberg group ℍⁿ = ℂⁿ × ℝ. Let ν be the Borel measure on ℍⁿ defined by $ν (E) = \int_{ℂ ⁿ} χ_{E} (w, φ (w)) η (w) d w$ , where $φ (w) = \sum_{j = 1}^{n} a_{j} | w_{j} | ²$ , w = (w₁,...,wₙ) ∈ ℂⁿ, $a_{j} \in ℝ$ , and η(w) = η₀(|w|²) with $η ₀ \in C_{c}^{\infty} (ℝ)$ . We characterize the set of pairs (p,q) such that the convolution operator with ν is $L^{p} (ℍ ⁿ) - L^{q} (ℍ ⁿ)$ bounded. We also obtain $L^{p}$ -improving properties of measures supported on the graph of the function $φ (w) = {| w |}^{2 m}$ .

On biorthogonal systems whose functionals are finitely supported

Christina Brech, Piotr Koszmider (2011)

Fundamenta Mathematicae

Similarity:

We show that for each natural number n > 1, it is consistent that there is a compact Hausdorff totally disconnected space $K_{2 n}$ such that $C (K_{2 n})$ has no uncountable (semi)biorthogonal sequence ${(f_{ξ}, μ_{ξ})}_{ξ \in ω ₁}$ where $μ_{ξ}$ ’s are atomic measures with supports consisting of at most 2n-1 points of $K_{2 n}$ , but has biorthogonal systems ${(f_{ξ}, μ_{ξ})}_{ξ \in ω ₁}$ where $μ_{ξ}$ ’s are atomic measures with supports consisting of 2n points. This complements a result of Todorcevic which implies that it is consistent that such spaces do not exist: he proves...

Convolution operators with anisotropically homogeneous measures on $ℝ^{2 n}$ with n-dimensional support

E. Ferreyra, T. Godoy, M. Urciuolo (2002)

Colloquium Mathematicae

Similarity:

Let $α_{i}, β_{i} > 0$ , 1 ≤ i ≤ n, and for t > 0 and x = (x₁,...,xₙ) ∈ ℝⁿ, let $t • x = (t^{α ₁} x ₁, . . ., t^{α ₙ} x ₙ)$ , $t \circ x = (t^{β ₁} x ₁, . . ., t^{β ₙ} x ₙ)$ and $| | x | | = \sum_{i = 1}^{n} {| x_{i} |}^{1 / α_{i}}$ . Let φ₁,...,φₙ be real functions in $C^{\infty} (ℝ ⁿ - 0)$ such that φ = (φ₁,..., φₙ) satisfies φ(t • x) = t ∘ φ(x). Let γ > 0 and let μ be the Borel measure on $ℝ^{2 n}$ given by $μ (E) = \int_{ℝ ⁿ} χ_{E} {(x, φ (x)) | | x | |}^{γ - α} d x$ , where $α = \sum_{i = 1}^{n} α_{i}$ and dx denotes the Lebesgue measure on ℝⁿ. Let $T_{μ} f = μ * f$ and let $| | T_{μ} {| |}_{p, q}$ be the operator norm of $T_{μ}$ from $L^{p} (ℝ^{2 n})$ into $L^{q} (ℝ^{2 n})$ , where the $L^{p}$ spaces are taken with respect to the Lebesgue measure. The type set $E_{μ}$ is defined by $E_{μ} = (1 / p, 1 / q) : | | T_{μ} {| |}_{p, q} < \infty, 1 \leq p, q \leq \infty$ . In the case $α_{i} \neq β_{k}$ for 1 ≤ i,k ≤ n we characterize the...