Periodicity of the Spectrum of a Finite Union of Intervals

A set Ω, of Lebesgue measure 1, in the real line is called spectral if there is a set Λ of real numbers such that the exponential functions e _λ (x)=exp (2πiλx), λ∈Λ, form a complete orthonormal system on L ²(Ω). Such a set Λ is called a spectrum of Ω. In this note we present a simplified proof of the fact that any spectrum Λ of a set Ω which is finite union of intervals must be periodic. The original proof is due to Bose and Madan.     

Connected components of sets of finite perimeter and applications to image processing

This paper contains a systematic analysis of a natural measure theoretic notion of connectedness for sets of finite perimeter in ℝ ^N , introduced by H. Federer in the more general framework of the theory of currents. We provide a new and simpler proof of the existence and uniqueness of the decomposition into the so-called M-connected components. Moreover, we study carefully the structure of the essential boundary of these components and give in particular a reconstruction formula of a set of finite perimeter from the family of the boundaries of its components. In the two dimensional case we show that this notion of connectedness is comparable with the topological one, modulo the choice of a suitable representative in the equivalence class. Our strong motivation for this study is a mathematical justification of all those operations in image processing that involve connectedness and boundaries. As an application, we use this weak notion of connectedness to provide a rigorous mathematical basis to a large class of denoising filters acting on connected components of level sets. We introduce a natural domain for these filters, the space WBV(Ω) of functions of weakly bounded variation in Ω, and show that these filters are also well behaved in the classical Sobolev and BV spaces. Received July 27, 1999 / final version received June 8, 2000?Published online November 8, 2000     

On Modules of Finite Complexity Over Selfinjective Artin Algebras

In this paper we study Auslander-Reiten sequences of modules with finite complexity over selfinjective artin algebras. In particular, we show that for all eventually Ω-perfect modules of finite complexity, the number of indecomposable non projective summands of the middle term of such sequences is bounded by 4. We also describe situations in which all non projective modules in a connected component of the Auslander-Reiten quiver are eventually Ω-perfect.     

Perturbazione dello spettro di un operatore ellittico di tipo variazionale,in relazione ad una variazione del campo

Summary Let Ω be an open bounded set in R^m and let E_Ω be an elliptic self-adjoint variational operator with Dirichlet's data zero. Changing suitably the shape of Ω, we obtain a new open set Ω* such that E_Ω* has only simple eigenvalues. Moreover choosing a suitable metric for the family of the open sets diffromorphic to Ω, the set of all Ω* such that E_Ω* has multiple eigenvalues, is of the first category.

---

---

Entrata in Redazione il 20 dicembre 1972.

---

Lavoro eseguito nell'ambito del contratto di ricerca del C.N.R. comitato per la matematica.     

Pipes, Cigars, and Kreplach: the Union of Minkowski Sums in Three Dimensions

Let Ω be a set of pairwise-disjoint polyhedral obstacles in R ³ with a total of n vertices, and let B be a ball in R ³. We show that the combinatorial complexity of the free configuration space F of B amid Ω:, i.e., (the closure of) the set of all placements of B at which B does not intersect any obstacle, is O(n ^2+ε ), for any ε >0; the constant of proportionality depends on ε. This upper bound almost matches the known quadratic lower bound on the maximum possible complexity of F . The special case in which Ω is a set of lines is studied separately. We also present a few extensions of this result, including a randomized algorithm for computing the boundary of F whose expected running time is O(n ^2+ε ). Received July 6, 1999, and in revised form April 25, 2000. Online publication August 18, 2000.     

The Maximal Number of Geometric Permutations for n Disjoint Translates of a Convex Set in ℝ Is Ω(n)

A geometric permutation induced by a transversal line of a finite family of disjoint convex sets in ℝ^d is the order in which the transversal meets the members of the family. It is known that the maximal number of geometric permutations in families of n disjoint translates of a convex set in ℝ³ is 3. We prove that for d ≥ 3 the maximal number of geometric permutations for such families in ℝ^d is Ω(n).     

Space of <Emphasis Type="Italic">C</Emphasis><Superscript>1</Superscript>-smooth skew products of maps of an interval

Using the notions of an Ω-function and of functions suitable for an Ω-function, we show that the space of C ¹ -smooth skew products of maps of an interval such that the quotient map of each is Ω-stable in the space of C ¹ -smooth maps of a closed interval into itself and has a type ≻ 2 ^∞ (i.e., contains a periodic orbit with the period not equal to a power of 2) can be represented as a union of four nonempty pairwise nonintersecting subspaces. We give examples of maps belonging to each of the identified subspaces.     

Domains with Hyperbolic Orbit Accumulation Boundary Points

Let Ω be a smoothly bounded pseudoconvex domain in ℂ ⁿ satisfying the condition R. Suppose that its Bergman kernel extends to [`(W)]×[`(W)]\overline{\Omega}\times\overline{\Omega} minus the boundary diagonal set as a locally bounded function. In this paper we show that for each hyperbolic orbit accumulation boundary point p, there exists a contraction f∈Aut(Ω) at p. As an application, we show that Ω admits a hyperbolic orbit accumulation boundary point if and only if it is biholomorphically equivalent to a domain defined by a weighted homogeneous polynomial and that Ω is of finite D’Angelo type.     

Area,coarea, and approximation in <Emphasis Type="Italic">W</Emphasis><Superscript>1,1</Superscript>

Let Ω⊂ℝ ⁿ be an arbitrary open set. We characterize the space W ^1,1 _loc(Ω) using variants of the classical area and coarea formulas. We use these characterizations to obtain a norm approximation and trace theorems for functions in the space W ^1,1(ℝ ⁿ ).     

On quasi-similarity of subnormal operators

For a compact subset K in the complex plane, let Rat(K) denote the set of the rational functions with poles off K. Given a finite positive measure with support contained in K, let R2(K,v) denote the closure of Rat(K) in L2(v) and let Sv denote the operator of multiplication by the independent variable z on R2(K, v), that is, Svf = zf for every f∈R2(K, v). SupposeΩis a bounded open subset in the complex plane whose complement has finitely many components and suppose Rat(Ω) is dense in the Hardy space H2(Ω). Letσdenote a harmonic measure forΩ. In this work, we characterize all subnormal operators quasi-similar to Sσ, the operators of the multiplication by z on R2(Ω,σ). We show that for a given v supported onΩ, Sv is quasi-similar to Sσif and only if v/■Ω■σ and log(dv/dσ)∈L1(σ). Our result extends a well-known result of Clary on the unit disk.     

Spectral stability of the Robin Laplacian

We consider the Robin Laplacian in two bounded regions Ω₁ and Ω₂ of ℝ ^N with Lipschitz boundaries and such that Ω₂ ⊂ Ω₁, and we obtain two-sided estimates for the eigenvalues λ _n,2 of the Robin Laplacian in Ω₂ via the eigenvalues λ _{n, 1} of the Robin Laplacian in Ω₁. Our estimates depend on the measure of the set difference Ω\Ω₂ and on suitably defined characteristics of vicinity of the boundaries ∂Ω₁ and ∂Ω₂, and of the functions defined on ∂Ω₁ and on ∂Ω₂ that enter the Robin boundary conditions.     

Conjugation of injections by permutations

Let Ω be a countably infinite set, Inj(Ω) the monoid of all injective endomaps of Ω, and Sym(Ω) the group of all permutations of Ω. Also, let f,g,h∈Inj(Ω) be any three maps, each having at least one infinite cycle. (For instance, this holds if f,g,h∈Inj(Ω)∖Sym(Ω).) We show that there are permutations a,b∈Sym(Ω) such that h=afa ⁻¹ bgb ⁻¹ if and only if |Ω∖(Ω)f|+|Ω∖(Ω)g|=|Ω∖(Ω)h|. We also prove a generalization of this statement that holds for infinite sets Ω that are not necessarily countable.     

Boundary values versus dilatations of harmonic mappings

This article is divided into two parts. In the first part, we consider univalent harmonic mappings from the unit diskU onto a Jordan domain Ω whose dilatation functions have modulus one on an interval of the unit circle. The boundary values off depend very strongly on the values ofa(e ^it ). A complete characterization of the inverse imagef ^-1 (q) of a pointq on ∂Ω is given. We then consider the case where the dilatation functiona(z) is a finite Blaschke product of degreeN. It is shown that in this case, Ω can have at mostN+2 points of convexity. Finally, we give a complete characterization of simply connected Jordan domains Ω with the property that there exists a nonparametric minimal surface over Ω such that the image of its Gaussian map is the upper half-sphere covered exactly once.     

Uniform harmonic approximation with continuous extension to the boundary

Let Ω be an open set in ℝ ⁿ andE be a relatively closed subset of Ω. Further, letC _e(E) be the collection of real-valued continuous functions onE which extend continuously to the closure ofE in ℝ ⁿ . We characterize those pairs (Ω,E) which have the following property: every function inC _e(E) which is harmonic onE ⁰ can be uniformly approximated onE by functions which are harmonic on Ω and whose restrictions toE belong toC _e(E).     

Boundaries of random walks on graphs and groups with infinitely many ends

Consider an irreducible random walk {Z _n} on a locally finite graphG with infinitely many ends, and assume that its transition probabilities are invariant under a closed group Γ of automorphisms ofG which acts transitively on the vertex set. We study the limiting behaviour of {Z _n} on the spaceΩ of ends ofG. With the exception of a degenerate case,Ω always constitutes a boundary of Γ in the sense of Furstenberg, and {Z _n} converges a.s. to a random end. In this case, the Dirichlet problem for harmonic functions is solvable with respect toΩ. The degenerate case may arise when Γ is amenable; it then fixes a unique end, and it may happen that {Z _n} converges to this end. If {Z _n} is symmetric and has finite range, this may be excluded. A decomposition theorem forΩ, which may also be of some purely graph-theoretical interest, is derived and applied to show thatΩ can be identified with the Poisson boundary, if the random walk has finite range. Under this assumption, the ends with finite diameter constitute a dense subset in the minimal Martin boundary. These results are then applied to random walks on discrete groups with infinitely many ends.     

Convergence and multiplicities for the Lempert function

Given a domain Ω⊂ℂ ⁿ , the Lempert function is a functional on the space of analytic disks with values in Ω, depending on a set of poles in Ω. We generalize its definition to the case where poles have multiplicities given by local indicators (in the sense of Rashkovskii) to obtain a function which still dominates the corresponding Green function, behaves relatively well under limits, and is monotonic with respect to the local indicators. In particular, this is an improvement over the previous generalization used by the same authors to find an example of a set of poles in the bidisk so that the (usual) Green and Lempert functions differ.     

An extension of Hawkes theorem on the Hausdorff dimension of a Galton–Watson tree

Let ? be the genealogical tree of a supercritical multitype Galton–Watson process, and let Λ be the limit set of ?, i.e., the set of all infinite self-avoiding paths (called ends) through ? that begin at a vertex of the first generation. The limit set Λ is endowed with the metric d(ζ, ξ) = 2 ⁻ⁿ where n = n(ζ, ξ) is the index of the first generation where ζ and ξ differ. To each end ζ is associated the infinite sequence Φ(ζ) of types of the vertices of ζ. Let Ω be the space of all such sequences. For any ergodic, shift-invariant probability measure μ on Ω, define Ω_μ to be the set of all μ-generic sequences, i.e., the set of all sequences ω such that each finite sequence v occurs in ω with limiting frequency μ(Ω(v)), where Ω(v) is the set of all ω′?Ω that begin with the word v. Then the Hausdorff dimension of Λ∩Φ⁻¹ (Ω_μ) in the metric d is

The density of infinitely differentiable functions in Sobolev spaces with mixed boundary conditions

We present a detailed proof of the density of the set in the space of test functions V ⊂ H ¹ (Ω) that vanish on some part of the boundary ∂Ω of a bounded domain Ω. This work was supported by the grants GAČR 201/03/0570 and MSM 262100001.     

Extension of smooth functions from finitely connected planar domains

Consider the Sobolev space W _∞ ^k (Ω) of functions with bounded kth derivatives defined in a planar domain. We study the problem of extendability of functions from W _∞ ^k (Ω) to the whole ℝ² with preservation of class, i.e., surjectivity of the restriction operator W _∞ ^k (ℝ²) → W _∞ ^k (Ω).     

Sobolev functions whose inner trace at the boundary is zero

Let Ω⊂R ⁿ be an arbitrary open set. In this paper it is shown that if a Sobolev functionf∈W ^1,p (Ω) possesses a zero trace (in the sense of Lebesgue points) on ϖΩ, thenf is weakly zero on ϖΩ in the sense thatf∈W ₀ ^1,p (Ω).