Decomposition of integral self‐affine multi‐tiles

In contrast to the situation with self‐affine tiles, the representation of self‐affine multi‐tiles may not be unique (for a fixed dilation matrix). Let be an integral self‐affine multi‐tile associated with an integral, expansive matrix B and let K tile by translates of . In this work, we propose a stepwise method to decompose K into measure disjoint pieces  satisfying in such a way that the collection of sets forms an integral self‐affine collection associated with the matrix B and this with a minimum number of pieces . When used on a given measurable subset K which tiles by translates of , this decomposition terminates after finitely many steps if and only if the set K is an integral self‐affine multi‐tile. Furthermore, we show that the minimal decomposition we provide is unique.     

On the structure of WDC sets

WDC sets in were recently defined as sublevel sets of DC functions (differences of convex functions) at weakly regular values. They form a natural and substantial generalization of sets with positive reach and still admit the definition of curvature measures. Using results on singularities of convex functions, we obtain regularity results on the boundaries of WDC sets. In particular, the boundary of a compact WDC set can be covered by finitely many DC surfaces. More generally, we prove that any compact WDC set M of topological dimension can be decomposed into the union of two sets, one of them being a k‐dimensional DC manifold open in M, and the other can be covered by finitely many DC surfaces of dimension . We also characterize locally WDC sets among closed Lipschitz domains and among lower‐dimensional Lipschitz manifolds. Finally, we find a full characterization of locally WDC sets in the plane.     

Ends,tangles and critical vertex sets

We show that an arbitrary infinite graph G can be compactified by its ends plus its critical vertex sets, where a finite set X of vertices of an infinite graph is critical if its deletion leaves some infinitely many components each with neighbourhood precisely equal to X. We further provide a concrete separation system whose ?₀‐tangles are precisely the ends plus critical vertex sets. Our tangle compactification is a quotient of Diestel's (denoted by ), and both use tangles to compactify a graph in much the same way as the ends of a locally finite and connected graph compactify it in its Freudenthal compactification. Finally, generalising both Diestel's construction of and our construction of , we show that G can be compactified by every inverse limit of compactifications of the sets of components obtained by deleting a finite set of vertices. Diestel's is the finest such compactification, and our is the coarsest one. Both coincide if and only if all tangles are ends. This answers two questions of Diestel.     

Analysis of μM,D‐orthogonal exponentials for the planar four‐element digit sets

The self‐affine measure is a unique probability measure satisfying the self‐affine identity with equal weight. It only depends upon an expanding matrix M and a finite digit set D. In this paper we study the question of when the ‐space has infinite families of orthogonal exponentials. Such research is necessary to further understanding the spectrality of . For a class of planar four‐element digit sets, we present several methods to deal with this question. The application of each method is also given, which extends the known results in a simple manner.     

There are eight‐element orthogonal exponentials on the spatial Sierpinski gasket

The self‐affine measure corresponding to an expanding matrix and the digit set in the space is supported on the spatial Sierpinski gasket, where are the standard basis of unit column vectors in and . In the case and , it is conjectured that the cardinality of orthogonal exponentials in the Hilbert space is at most “4”, where the number 4 is the best upper bound. That is, all the four‐element sets of orthogonal exponentials are maximal. This conjecture has been proved to be false by giving a class of the five‐element orthogonal exponentials in . In the present paper, we construct a class of the eight‐element orthogonal exponentials in the corresponding Hilbert space to disprove the conjecture. We also illustrate that the constructed sets of orthogonal exponentials are maximal.     

Operators with Wentzell boundary conditions and the Dirichlet‐to‐Neumann operator

In this paper we relate the generator property of an operator A with (abstract) generalized Wentzell boundary conditions on a Banach space X and its associated (abstract) Dirichlet‐to‐Neumann operator N acting on a “boundary” space . Our approach is based on similarity transformations and perturbation arguments and allows to split A into an operator A₀₀ with Dirichlet‐type boundary conditions on a space X₀ of states having “zero trace” and the operator N. If A₀₀ generates an analytic semigroup, we obtain under a weak Hille–Yosida type condition that A generates an analytic semigroup on X if and only if N does so on . Here we assume that the (abstract) “trace” operator is bounded that is typically satisfied if X is a space of continuous functions. Concrete applications are made to various second order differential operators.     

On para‐Kähler Lie algebroids and contravariant pseudo‐Hessian structures

In this paper, we generalize all the results obtained on para‐Kähler Lie algebras in [3] to para‐Kähler Lie algebroids. In particular, we study exact para‐Kähler Lie algebroids as a generalization of exact para‐Kähler Lie algebras. This study leads to a natural generalization of pseudo‐Hessian manifolds, we call them contravariant pseudo‐Hessian manifolds. Contravariant pseudo‐Hessian manifolds have many similarities with Poisson manifolds. We explore these similarities which, among others, leads to a powerful machinery to build examples of non trivial pseudo‐Hessian structures. Namely, we will show that given a finite dimensional commutative and associative algebra , the orbits of the action Φ of on given by are pseudo‐Hessian manifolds, where . We illustrate this result by considering many examples of associative commutative algebras and show that the resulting pseudo‐Hessian manifolds are very interesting.     

Average distances between points in graph‐directed self‐similar fractals

We study several distinct notions of average distances between points belonging to graph‐directed self‐similar subsets of . In particular, we compute the average distance with respect to graph‐directed self‐similar measures, and with respect to the normalised Hausdorff measure. As an application of our main results, we compute the average distance between two points belonging to the Drobot–Turner set with respect to the normalised Hausdorff measure, i.e. we compute where s denotes the Hausdorff dimension of and is the s‐dimensional Hausdorff measure; here the Drobot–Turner set (introduced by Drobot & Turner in 1989) is defined as follows, namely, for positive integers N and m and a positive real number c, the Drobot–Turner set is the set of those real numbers for which any m consecutive base N digits in the N‐ary expansion of x sum up to at least c. For example, if , and , then our results show that where is the unique positive real number such that .     

Well‐posedness of fractional integro‐differential equations in vector‐valued functional spaces

We study the well‐posedness of the fractional differential equations with infinite delay on Lebesgue–Bochner spaces and Besov spaces , where A and B are closed linear operators on a Banach space X satisfying ,  and . Under suitable assumptions on the kernels a and b, we completely characterize the well‐posedness of in the above vector‐valued function spaces on by using known operator‐valued Fourier multiplier theorems. We also give concrete examples where our abstract results may be applied.     

Recurrence of singularities for second order isotropic pseudodifferential operators

Let H be a self‐adjoint isotropic elliptic pseudodifferential operator of order 2. Denote by the solution of the Schrödinger equation with initial data . If u₀ is compactly supported the solution is smooth for small , but not for all t. We determine the wavefront set of in terms of the wavefront set of u₀ and the principal and subprincipal symbol of H.