Locality of the perimeter in Carnot groups and chain rule

In the class of Carnot groups, we study fine properties of sets of finite perimeter. Improving a recent result by Ambrosio–Kleiner–Le Donne, we show that the perimeter measure is local, i.e., that given any pair of sets of finite perimeter their perimeter measures coincide on the intersection of their essential boundaries. This solves a question left open in Ambrosio et al. (Calculus of variations: topics from mathematical heritage of Ennio De Giorgi. Quad Mat). As a consequence, we prove a general chain rule for BV functions in this setting.     

The element number of the convex regular polytopes

Let Σ be a set of n-dimensional polytopes. A set Ω of n-dimensional polytopes is said to be an element set for Σ if each polytope in Σ is the union of a finite number of polytopes in Ω identified along (n − 1)-dimensional faces. In this paper, we consider the n-dimensional polytopes in general, and extend the notion of element sets to higher dimensions. In particular, we will show that in the 4-space, the element number of the six convex regular polychora is at least 2, and in the n-space (n ≥ 5), the element number is 3, unless n + 1 is a square number.     

On the isoperimetric problem in the Heisenberg group ℍ<Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>

It has been recently conjectured that, in the context of the Heisenberg group ℍⁿ endowed with its Carnot–Carathéodory metric and Haar measure, the isoperimetric sets (i.e., minimizers of the ℍ-perimeter among sets of constant Haar measure) could coincide with the solutions to a “restricted” isoperimetric problem within the class of sets having finite perimeter, smooth boundary, and cylindrical symmetry. In this paper, we derive new properties of these restricted isoperimetric sets, which we call Heisenberg bubbles. In particular, we show that their boundary has constant mean ℍ-curvature and, quite surprisingly, that it is foliated by the family of minimal geodesics connecting two special points. In view of a possible strategy for proving that Heisenberg bubbles are actually isoperimetric among the whole class of measurable subsets of ℍⁿ, we turn our attention to the relationship between volume, perimeter, and ε-enlargements. In particular, we prove a Brunn–Minkowski inequality with topological exponent as well as the fact that the ℍ-perimeter of a bounded, open set F⊂ℍⁿ of class C² can be computed via a generalized Minkowski content, defined by means of any bounded set whose horizontal projection is the 2n-dimensional unit disc. Some consequences of these properties are discussed. Mathematics Subject Classification (2000) 28A75, 22E25, 49Q20     

Multivalued Analytic Continuation of the Cauchy Transform

In this paper we introduce the notion of multivalued analytic continuation of the Cauchy transforms. Many difficulties arise because the continuation is not single-valued. Our main result asserts that if χ_Ω has a multivalued analytic continuation, then the free boundary ∂Ω has zero Lebesgue measure. Here χ_Ω is the characteristic function of a domain Ω and ∂Ω is its boundary. We also discuss the connections between this notion, quadrature domains and approximations of analytic functions with single-valued integrals by rational functions. The last problem is related to the existence of a continuous function g and a closed connected set K such that the gradient of g vanishes on K, nevertheless g is not constant on K. Mathematics Subject Classifications (2000) Primary 31A25, 31B20; secondary 30E10, 35J05, 41A20.     

A notion of rank in set theory without choice

 Starting from the definition of `amorphous set' in set theory without the axiom of choice, we propose a notion of rank (which will only make sense for, at most, the class of Dedekind finite sets), which is intended to be an analogue in this situation of Morley rank in model theory. Received: 22 September 2000 / Revised version: 14 May 2002 Published online: 19 December 2002 The research of the first author was supported by the SERC. Mathematics Subject Classification (2000): 03E25 Key words or phrases: Rank – Degree – Amorphous     

Gauss‐Green theorem for weakly differentiable vector fields,sets of finite perimeter,and balance laws

We analyze a class of weakly differentiable vector fields F : ?ⁿ → ?ⁿ with the property that F ∈ L^∞ and div F is a (signed) Radon measure. These fields are called bounded divergence‐measure fields. The primary focus of our investigation is to introduce a suitable notion of the normal trace of any divergence‐measure field F over the boundary of an arbitrary set of finite perimeter that ensures the validity of the Gauss‐Green theorem. To achieve this, we first establish a fundamental approximation theorem which states that, given a (signed) Radon measure μ that is absolutely continuous with respect to ??^{N ? 1} on ?^N, any set of finite perimeter can be approximated by a family of sets with smooth boundary essentially from the measure‐theoretic interior of the set with respect to the measure ||μ||, the total variation measure. We employ this approximation theorem to derive the normal trace of F on the boundary of any set of finite perimeter E as the limit of the normal traces of F on the boundaries of the approximate sets with smooth boundary so that the Gauss‐Green theorem for F holds on E. With these results, we analyze the Cauchy flux that is bounded by a nonnegative Radon measure over any oriented surface (i.e., an (N ? 1)‐dimensional surface that is a part of the boundary of a set of finite perimeter) and thereby develop a general mathematical formulation of the physical principle of the balance law through the Cauchy flux. Finally, we apply this framework to the derivation of systems of balance laws with measure‐valued source terms from the formulation of the balance law. This framework also allows the recovery of Cauchy entropy flux through the Lax entropy inequality for entropy solutions of hyperbolic conservation laws. © 2008 Wiley Periodicals, Inc.     

Convexes divisibles IV : Structure du bord en dimension 3

Divisible convex sets IV: Boundary structure in dimension 3 Let Ω be an indecomposable properly convex open subset of the real projective 3-space which is divisible i.e. for which there exists a torsion free discrete group Γ of projective transformations preserving Ω such that the quotient M := Γ\Ω is compact. We study the structure of M and of ∂Ω, when Ω is not strictly convex: The union of the properly embedded triangles in Ω projects in M onto an union of finitely many disjoint tori and Klein bottles which induces an atoroidal decomposition of M. Every non extremal point of ∂Ω is on an edge of a unique properly embedded triangle in Ω and the set of vertices of these triangles is dense in the boundary of Ω (see Figs. 1 to 4). Moreover, we construct examples of such divisible convex open sets Ω.      

Element number of the Platonic solids

Let Σ be a set of polyhedra. A set Ω of polyhedra is said to be an element set for Σ if each polyhedron in Σ is the union of a finite number of polyhedra in Ω. We call each polyhedron of the element set Ω an element for Σ. In this paper, we determine one element set for the set Π of the Platonic solids, and prove that this element set is, in fact, best possible; it achieves the minimum in terms of cardinality among all the element sets for Π. We also introduce the notion of indecomposability of a polyhedron and present a conjecture in Sect. 3.     

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.     

The Hadamard Product on Open Sets in the Extended Plane

For two open sets Ω₁, Ω₂ in the extended complex plane, we define a Hadamard product as an operator from H(Ω₁) × H(Ω₂) to H(Ω₁ * Ω₂), where Ω₁ * Ω₂ is the so-called star product. Moreover, we study properties of this product and give applications.     

Uniqueness in Discrete Tomography of Delone Sets with Long-Range Order

We address the problem of determining finite subsets of Delone sets Λ⊂ℝ ^d with long-range order by X-rays in prescribed Λ-directions, i.e., directions parallel to nonzero interpoint vectors of Λ. Here, an X-ray in direction u of a finite set gives the number of points in the set on each line parallel to u. For our main result, we introduce the notion of algebraic Delone sets Λ⊂ℝ² and derive a sufficient condition for the determination of the convex subsets of these sets by X-rays in four prescribed Λ-directions.     

Rectifiability of Sets of Finite Perimeter in Carnot Groups: Existence of a Tangent Hyperplane

We consider sets of locally finite perimeter in Carnot groups. We show that if E is a set of locally finite perimeter in a Carnot group G then, for almost every x∈G with respect to the perimeter measure of E, some tangent of E at x is a vertical halfspace. This is a partial extension of a theorem of Franchi-Serapioni-Serra Cassano in step 2 Carnot groups: they show in Math. Ann. 321, 479–531, 2001 and J. Geom. Anal. 13, 421–466, 2003 that, for almost every x, E has a unique tangent at x, and this tangent is a vertical halfspace. The second author was partially supported by NSF grant DMS-0701515.     

A capacitary method for the asymptotic analysis of dirichlet problems for monotone operators

Given a non-linear elliptic equation of monotone type in a bounded open set Ω ⊂ Rⁿ, we prove that the asymptotic behaviour, asj → ∞, of the solutions of the Dirichlet problems corresponding to a sequence (Ω_j) of open sets contained in Ω is uniquely determined by the asymptotic behaviour, asj → ∞, of suitable non-linear capacities of the setsKΩ _j, whereK runs in the family of all compact subsets of Ω.     

On the finiteness of optimal partitions

We prove that, under appropriate assumptions on the domain Ω and on the datumg, any optimal partition of Ω (minimizing the sum of the total perimeter and the approximation term is finite. Finiteness result for the problem of image segmentation in Artificial Vision can be deduced.

---

Sunto Dimostriamo che, in opportune ipotesi sul dominio Ω e sul datog, ogni partizione ottimale di Ω (minimizzante il perimetro totale in Ω più il termine di approssimazione è finita. Se ne deducono risultati di finitezza per il problema della segmentazione di immagini in Visione Artificiale.

     

An extension of Bruen chains

One way to obtain a new non-Desarguesian translation plane is by constructing a new spread that is not subregular. Chains of reguli in a regular spread of PG(3,q) were first introduced by Bruen as a method of obtaining a non-subregular spread. In this paper, we shall extend Bruen's notion of a chain of reguli. Let Ω be a regular spead of PG(3,q). A collection of reguli in Ω such that every line of Ω is contained in exactly none or two of these reguli will be called anest of reguli. Let γ be the spread obtained by replacing in Ω the lines of the nest with the lines of some other partial spread of PG(3,q) covering the same points. We shall show that in the case where the number of reguli in the nest is no more thanq, γ is not subregular and its full collineation group is the inherited group.     

Extensional subobjects in categories of Ω-fuzzy sets

Two categories Set(Ω) and SetF(Ω) of fuzzy sets over an MV-algebra Ω are investigated. Full subcategories of these categories are introduced consisting of objects (sub(A, δ), σ), where sub(A, δ) is a subset of all extensional subobjects of an object (A, δ). It is proved that all these subcategories are quasi-reflective subcategories in the corresponding categories. Supported by MSM6198898701, grant GAČR 201/04/0381/2 and grant 1M0572.     

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.     

Cluster sets for sobolev functions and quasiminimizers

In this paper, we study cluster sets and essential cluster sets for Sobolev functions and quasiharmonic functions (i.e., continuous quasiminimizers). We develop their basic theory with a particular emphasis on when they coincide and when they are connected. As a main result, we obtain that if a Sobolev function u on an open set Ω has boundary values f in Sobolev sense and f |_∂Ω is continuous at x ₀ ∈ ∂Ω, then the essential cluster set (u, x ₀,Ω) is connected. We characterize precisely in which metric spaces this result holds. Further, we provide some new boundary regularity results for quasiharmonic functions. Most of the results are new also in the Euclidean case.     

Intersection Graphs and the Clique Operator

 Let P be a class of finite families of finite sets that satisfy a property P. We call ΩP the class of intersection graphs of families in P and CliqueP the class of graphs whose family of cliques is in P. We prove that a graph G is in ΩP if and only if there is a family of complete sets of G which covers all edges of G and whose dual family is in P. This result generalizes that of Gavril for circular-arc graphs and conduces those of Fulkerson-Gross, Gavril and Monma-Wei for interval graphs, chordal graphs, UV, DV and RDV graphs. Moreover, it leads to the characterization of Helly-graphs and dually chordal graphs as classes of intersection graphs. We prove that if P is closed under reductions, then CliqueP=Ω(P ^*∩H) (P ^*= Class of dual families of families in P). We find sufficient conditions for the Clique Operator, K, to map ΩP into ΩP ^*. These results generalize several known results for particular classes of intersection graphs. Furthermore, they lead to the Roberts-Spencer characterization for the image of K and the Bandelt-Prisner result on K-fixed classes. Received: August 18, 1997 Final version received: March 30, 1999     

Continuity of the straight line path for convex sets

IfA andB are closed nonempty sets in a locally convex space, the straight line path fromA toB is defined by the formulaφ(α)=cl (αA+(1−α)B), 0≦α≦1. IfA andB are convex, then continuity of the path with respect to the Hausdorff uniform topology is necessary for both connectedness and path connectedness ofA toB within the convex sets so topologized. We also produce internal necessary and sufficient conditions for continuity of the path between pairs of convex sets.