We prove the following conjecture of Furstenberg (1969): if 𝐴,𝐵⊂[0,1] are closed and invariant under ×𝑝 mod1 and ×𝑞 mod1, respectively, and if log𝑝/log𝑞∉ℚ, then for all real numbers 𝑢 and 𝑣, dim_H (𝑢𝐴 + 𝑣) ∩ 𝐵 ≤ max {0, dim_H 𝐴 + dim_H 𝐵 − 1}. We obtain this result as a consequence of our study on the intersections of incommensurable self-similar sets on ℝ. Our methods also allow us to give upper bounds for dimensions of arbitrary slices of planar self-similar sets satisfying SSC and certain natural irreducible conditions.

Given a compact set of real numbers, a random $C^{m + \alpha}$ -diffeomorphism is constructed such that the image of any measure concentrated on the set and satisfying a certain condition involving a real number $s$ , almost surely has Fourier dimension greater than or equal to $s / (m + \alpha)$ . This is used to show that every Borel subset of the real numbers of Hausdorff dimension $s$ is $C^{m + \alpha}$ -equivalent to a set of Fourier dimension greater than or equal to $s / (m + \alpha )$ . In particular every Borel set is diffeomorphic to a Salem set, and the Fourier dimension is not invariant under $C^{m}$ -diffeomorphisms for any $m$ .

No abstract uploaded!

It is a classical result of Sobolev spaces that any $H^1$ function has a well-defined $H^{1/2}$ trace on the boundary of a sufficient regular domain. We discuss its recent extensions given in \cite{TiDu16} in some heterogeneously localized nonlocal function spaces. The new trace theorems are stronger and more general than the classical result. They can be established essentially for all functions having only square integrability away from the boundary or in any compact subset of interior domain. Yet, the heterogeneous localization offers the necessary regularity precisely at the boundary to have well-defined traces. A consequence is that we may study associated Dirichlet type boundary value problems, as well as the coupling of local and nonlocal equations through co-dimension-1 interfaces. %Their derivations not only involve various extensions of classical inequalities but also %require new techniques absent from traditional approaches.

No abstract uploaded!