On Lebesgue Measure of Integral Self-Affine Sets

Let A be an expanding integer n×n matrix and D be a finite subset of ? ⁿ . The self-affine set T=T(A,D) is the unique compact set satisfying the equality \(A(T)=\bigcup_{d\in D}(T+d)\). We present an effective algorithm to compute the Lebesgue measure of the self-affine set T, the measure of the intersection T∩(T+u) for u∈? ⁿ , and the measure of the intersection of self-affine sets T(A,D ₁)∩T(A,D ₂) for different sets D ₁, D ₂?? ⁿ .     

Classification of Integral Expanding Matrices and Self-Affine Tiles

   Abstract. Let T be a self-affine tile that is generated by an expanding integral matrix A and a digit set D . It is known that many properties of T are invariant under the Z -similarity of the matrix A . In [LW1] Lagarias and Wang showed that if A is a 2 × 2 expanding matrix with |det(A)| = 2 , then the Z -similar class is uniquely determined by the characteristic polynomial of A . This is not true if |det(A)| > 2. In this paper we give complete classifications of the Z -similar classes for the cases |det(A)| =3, 4, 5 . We then make use of the classification for |det(A)| =3 to consider the digit set D of the tile and show that μ(T) >0 if and only if D is a standard digit set. This reinforces the conjecture in [LW3] on this.     

Integral Self-Affine Tiles in {\Bbb R}^n Part II: Lattice Tilings

Let A be an expanding n × n integer matrix with |det (A)| = m. A standard digit set ${\cal D}Let A be an expanding n×n integer matrix with |det(A)|=m. Astandard digit set D for A is any complete set of coset representatives for? ⁿ /A(? ⁿ ). Associated to a given D is a setT (A, D), which is the attractor of an affine iterated function system, satisfyingT=∪ _d∈D (T+d). It is known thatT (A, D) tiles? ⁿ by some subset of? ⁿ . This paper proves that every standard digit set D gives a setT (A, D) that tiles? ⁿ with a lattice tiling.     

On the Connectedness of Self-Affine Tiles

Let T be a self-affine tile in Rⁿ defined by an integral expandingmatrix A and a digit set D. The paper gives a necessary andsufficient condition for the connectedness of T. The conditioncan be checked algebraically via the characteristic polynomialof A. Through the use of this, it is shown that in R², for anyintegral expanding matrix A, there exists a digit set D suchthat the corresponding tile T is connected. This answers a questionof Bandt and Gelbrich. Some partial results for the higher-dimensionalcases are also given.     

Expanding Polynomials and Connectedness of Self-Affine Tiles

Little is known about the connectedness of self-affine tiles in ${\Bbb R}^n$. In this note we consider this property on the self-affine tiles that are generated by consecutive collinear digit sets. By using an algebraic criterion, we call it the {\it height reducing property}, on expanding polynomials (i.e., all the roots have moduli $ > 1$), we show that all such tiles in ${\Bbb R}^n, n \leq 3$, are connected. The problem is still unsolved for higher dimensions. For this we make another investigation on this algebraic criterion. We improve a result of Garsia concerning the heights of expanding polynomials. The new result has its own interest from an algebraic point of view and also gives further insight to the connectedness problem.     

一类平面自仿射tiles的边界

考虑由扩张矩阵A=(?)及数字集D=(?):0≤i≤|p|-1,O≤j≤|q|一1(?)生成的自仿射tiles集T=T(A,D),其中p,q∈Z,|p|≥2,|q|≥2,通过对T中的元素进行分析,得到了计算T的边界的方法.     

Measure of Self-Affine Sets and Associated Densities

Let \(B\) be an \(n\times n\) real expanding matrix and \(\mathcal {D}\) be a finite subset of \(\mathbb {R}^n\) with \(0\in \mathcal {D}\) . The self-affine set \(K=K(B,\mathcal {D})\) is the unique compact set satisfying the set-valued equation \(BK=\bigcup _{d\in \mathcal {D}}(K+d)\) . In the case where \(\#\mathcal D=|\det B|,\) we relate the Lebesgue measure of \(K(B,\mathcal {D})\) to the upper Beurling density of the associated measure \(\mu =\lim _{s\rightarrow \infty }\sum _{\ell _0, \ldots ,\ell _{s-1}\in \mathcal {D}}\delta _{\ell _0+B\ell _1+\cdots +B^{s-1}\ell _{s-1}}.\) If, on the other hand, \(\#\mathcal D<|\det B|\) and \(B\) is a similarity matrix, we relate the Hausdorff measure \(\mathcal {H}^s(K)\) , where \(s\) is the similarity dimension of \(K\) , to a corresponding notion of upper density for the measure \(\mu \) .     

Lebesgue积分的另一种定义

用可数分法代替有限分法,可去掉函数有界和定义域测度有限的限制,一次性地作出函数Lebesgue可积的定义并得出可积的充要条件.     

Construction of Wavelet Sets Using Integral Self-Affine Multi-tiles

Gabardo and Yu first considered using integral self-affine tiles in the Fourier domain to construct wavelet sets and they produced a class of compact wavelet sets with certain self-similarity properties. In this paper, we generalize their results to the integral self-affine multi-tiles setting. We characterize some analytic properties of integral self-affine multi-tiles under certain conditions. We also consider the problem of constructing (multi)wavelet sets using integral self-affine multi-tiles.     

An Integral Test on Time-Dependent Local Extinction for Super-coalescing Brownian Motion with Lebesgue Initial Measure

This paper concerns the almost sure time-dependent local extinction behavior for super-coalescing Brownian motion X with (1+β)-stable branching and Lebesgue initial measure on ?. We first give a representation of X using excursions of a continuous-state branching process and Arratia’s coalescing Brownian flow. For any nonnegative, nondecreasing, and right-continuous function g, let $$\tau:=\sup\bigl\{t\geq0: X_t\bigl(\bigl[-g(t),g(t)\bigr]\bigr )>0 \bigr \}.$$ We prove that ?{τ=∞}=0 or 1 according as the integral $\int_{1}^{\infty}\! g(t)t^{-1-1/\beta} dt$ is finite or infinite.     

一道Lebesgue积分题目的注记

设E为n维欧氏空间Rn的可测子集,m E+∞,f(x)为E上的非负可测函数,并记Ek=E{x|k≤f(x)k+1}(k=0,1,2,…),利用Lebesgue积分的性质,通过构造反例,指出"级数∑k km Ek收敛"并不是f(x)在E上Lebesgue可积的充分条件.进一步,通过增加条件"f在E上a.e.有限",得到相应的充分必要条件.     

Lebesgue积分列的等度绝对连续性

给出了Lebesgue积分列的等度绝对连续的一个充分必要条件.     

Lebesgue积分几何意义的推广

证明了非负有界函数的Lebesgue上积分等于函数下方图形的Lebesgue外测度,其Lebesgue下积分等于函数下方图形的Lebesgue内测度,从而将积分的几何意义从可测情形推广到一般情形.     

勒贝格积分在数学分析中的一些应用

借助勒贝格积分理论证明勒贝格定理和阿尔采拉定理,继而利用它们解决数学分析中一些以黎曼积分理论不能或不易解决的问题.     

Weighted Grand Lebesgue Space with a Mixed Norm and Integral Operators

Doklady Mathematics - Weighted grand Lebesgue spaces with mixed norms are introduced, and criteria for the boundedness of strong maximal functions and Riesz transforms in these spaces are given.     

某类振荡积分算子在Lebesgue空间及Wiener共合空间上的映射性质*

假设 β₁ > 3α₁ > 0, β₂ > 3α₂ > 0,给定函数f(x) ∈ S(R³), 定义算子T_α,β如下:T_α,βf(x,y,z) = p.v.ZT_Q2f(x- t, y-s, z-γ(t)h(s)) e^{-2πit-β₁ s-β₂}/t^1+α₁ s^1+α₂dtds.本文主要考虑如上定义的算子T_α,β在Lebesgue空间L^p(R³)及Wiener共合空间W(FL^p, L^q)(R³)上的有界性. 这里 Q² = [0, 1] × [0, 1], γ(t), h(s)满足适当的条件.作为应用, 本文还考虑了带粗糙核的奇异积分算子在乘积空间上的有界性.     

Copulae,Self-Affine Functions,and Fractal Dimensions

We use the fact that the functions defined on the unit interval whose graphs support a copula are those that are Lebesgue-measure-preserving in order to characterize self-affine functions whose graphs are the support of a copula. This result allows computation of the Hausdorff, packing, and box-counting dimensions. The discussion is applied to classic examples such as the Peano and Hilbert curves, and the results are extended to discontinuous self-affine functions.     

On Central Cantor Sets with Self-Arithmetic Difference of Positive Lebesgue Measure

We prove the existence of C^r - (but not C^r+1-) regular centralCantor sets with zero Lebesgue measure such that their selfarithmetic difference is a Cantor set with positive Lebesguemeasure. This is motivated by a conjecture in the field of bifurcationsof dynamical systems posed by Jacob Palis.