Source author record

Pertti Mattila

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

9works
5topics
4close collaborators

Published work

9 publications

preprint2020arXiv

Hausdorff dimension of intersections with planes and general sets

We give conditions on a general family Pλ:Rn→Rm,λ∈Λ,P_λ:\R^n\to\R^m, λ\in Λ, of orthogonal projections which guarantee that the Hausdorff dimension formula dim⁡A∩Pλ−1{u}=s−m\dim A\cap P_λ^{-1}\{u\}=s-m holds generically for measurable sets $A\subset\Rn$ with positive and finite ss-dimensional Hausdorff measure, s>ms>m, and with positive lower density. As an application we prove for measurable sets $A,B\subset\Rn$ with positive ss- and tt-dimensional measures, and with positive lower density that if s+(n−1)t/n>ns + (n-1)t/n > n, then dim⁡A∩(g(B)+z)=s+t−n\dim A\cap (g(B)+z) = s+t - n for almost all rotations gg and for positively many $z\in\Rn$.

preprint2015arXiv

Hausdorff dimension, intersection of projections and exceptional plane sections

This paper contains new results on two classical topics in fractal geometry: projections, and intersections with affine planes. To keep the notation of the abstract simple, we restrict the discussion to the planar cases of our theorems. Our first main result considers the orthogonal projections of two Borel sets A,B⊂R2A,B \subset \mathbb{R}^{2} into one-dimensional subspaces. Under the assumptions dim⁡A≤1<dim⁡B\dim A \leq 1 < \dim B and dim⁡A+dim⁡B>2\dim A + \dim B > 2, we prove that the intersection of the projections PL(A)P_{L}(A) and PL(B)P_{L}(B) has dimension at least dim⁡A−ε\dim A - ε for positively many lines LL, and for any ε>0ε> 0. This is quite sharp: given s,t∈[0,2]s,t \in [0,2] with s+t=2s + t = 2, we construct compact sets A,B⊂R2A,B \subset \mathbb{R}^{2} with dim⁡A=s\dim A = s and dim⁡B=t\dim B = t such that almost all intersections PL(A)∩PL(B)P_{L}(A) \cap P_{L}(B) are empty. In case both dim⁡A>1\dim A > 1 and dim⁡B>1\dim B > 1, we prove that the intersections PL(A)∩PL(B)P_{L}(A) \cap P_{L}(B) have positive length for positively many LL. If A⊂R2A \subset \mathbb{R}^{2} is a Borel set with 0<Hs(A)<∞0 < \mathcal{H}^{s}(A) < \infty for some s>1s > 1, it is known that AA is 'visible' from almost all points x∈R2x \in \mathbb{R}^{2} in the sense that AA intersects a positive fraction of all lines passing through xx. In fact, a result of Marstrand says that such non-empty intersections typically have dimension s−1s - 1. Our second main result strengthens this by showing that the set of exceptional points x∈R2x \in \mathbb{R}^{2}, for which Marstrand's assertion fails, has Hausdorff dimension at most one.

preprint2015arXiv

Strong Marstrand theorems and dimensions of sets formed by subsets of hyperplanes

We present strong versions of Marstrand's projection theorems and other related theorems. For example, if E is a plane set of positive and finite s-dimensional Hausdorff measure, there is a set X of directions of Lebesgue measure 0, such that the projection onto any line with direction outside X, of any subset F of E of positive s-dimensional measure, has Hausdorff dimension min(1,s), i.e. the set of exceptional directions is independent of F. Using duality this leads to results on the dimension of sets that intersect families of lines or hyperplanes in positive Lebesgue measure.

preprint2012arXiv

How large dimension guarantees a given angle?

We study the following two problems: (1) Given n≥2n\ge 2 and $\al$, how large Hausdorff dimension can a compact set $A\su\Rn$ have if AA does not contain three points that form an angle $\al$? (2) Given $\al$ and $\de$, how large Hausdorff dimension can a %compact subset AA of a Euclidean space have if AA does not contain three points that form an angle in the $\de$-neighborhood of $\al$? An interesting phenomenon is that different angles show different behaviour in the above problems. Apart from the clearly special extreme angles 0 and 180∘180^\circ, the angles 60∘,90∘60^\circ,90^\circ and 120∘120^\circ also play special role in problem (2): the maximal dimension is smaller for these special angles than for the other angles. In problem (1) the angle 90∘90^\circ seems to behave differently from other angles.

preprint2012arXiv

Singular integrals on Ahlfors-David regular subsets of the Heisenberg group

We investigate certain singular integral operators with Riesz-type kernels on s-dimensional Ahlfors-David regular subsets of Heisenberg groups. We show that L2L^2-boundedness, and even a little less, implies that ss must be an integer and the set can be approximated at some arbitrary small scales by homogeneous subgroups. It follows that the operators cannot be bounded on many self similar fractal subsets of Heisenberg groups.

preprint2012arXiv

Singular integrals on self-similar sets and removability for Lipschitz harmonic functions in Heisenberg groups

In this paper we study singular integrals on small (that is, measure zero and lower than full dimensional) subsets of metric groups. The main examples of the groups we have in mind are Euclidean spaces and Heisenberg groups. In addition to obtaining results in a very general setting, the purpose of this work is twofold; we shall extend some results in Euclidean spaces to more general kernels than previously considered, and we shall obtain in Heisenberg groups some applications to harmonic (in the Heisenberg sense) functions of some results known earlier in Euclidean spaces.

preprint2009arXiv

Boundedness and convergence for singular integrals of measures separated by Lipschitz graphs

We shall consider the truncated singular integral operators T_{μ, K}^εf(x)=\int_{\mathbb{R}^{n}\setminus B(x,ε)}K(x-y)f(y)dμy and related maximal operators Tμ,K∗f(x)=sup⁡ε>0∣Tμ,Kεf(x)∣T_{μ,K}^{\ast}f(x)=\underset{ε>0}{\sup}| T_{μ,K}^εf(x)|. We shall prove for a large class of kernels KK and measures μμ and νν that if μμ and νν are separated by a Lipschitz graph, then Tν,K∗:Lp(ν)→Lp(μ)T_{ν,K}^{\ast}:L^p(ν)\to L^p(μ) is bounded for 1<p<∞1<p<\infty. We shall also show that the truncated operators Tμ,KεT_{μ, K}^ε converge weakly in some dense subspaces of L2(μ)L^2(μ) under mild assumptions for the measures and the kernels.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.