Franco Pasquarelli

Domain decomposition for spectral approximation to Stokes equations via divergence-free functions

Abstract We consider numerical approximations of the Stokes equations by polynomial bases that are divergence-free. Both Galerkin and collocation approaches are analysed. Then a somain decomposition technique is proposed, and an iteration by subdomain procedure is used for the solution of the global problem. This work provides a generalization of a previous paper on the same subject (see [7]) which focused on homogeneous boundary conditions and on a single-domain approach.

Shape Reconstruction from Apparent Contours: Theory and Algorithms

Motivated by a variational model concerning the depth of the objects in a picture and the problem of hidden and illusory contours, this book investigates one of the central problems of computer vision: thetopological and algorithmic reconstruction of a smooth three dimensional scene starting from the visible part of an apparent contour. The authors focus their attention on the manipulation of apparent contours using a finite set of elementary moves, which correspond to diffeomorphic deformations of three dimensional scenes. A large part of the book is devoted to thealgorithmic part, with implementations, experiments, and computed examples. The book is intended also as a users guide to the software code appcontour, writtenfor the manipulation of apparent contours and their invariants. This book is addressed to theoretical and applied scientists working in the field of mathematical models of image segmentation.

Unstable crystalline Wulff shapes in 3D

We investigate the stability of the evolution by anysotropic and crystalline curvature starting from an initial surface equal to the Wulff shape. It is well known that the Wulff shape evolves selfsimilarly according to the law V = -k o n o .Here the index o refers to the underlying anisotropy described by the Wulff shape, so that k o is the relative mean curvature and n o is the Cahn-Hoffmann conormal vector field. Such selfsimilar evolution is also known to be stable under small perturbations of the initial surface in the isotropic setting (the Wulff shape is a sphere) or in 2D if the underlying anisotropy is symmetric. We show that this evolution is unstable for some specific choices of the Wulff shape both rotationally symmetric and fully crystalline.

Covers, soap films and BV functions

Abstract In this paper we review the double covers method with constrained BV functions for solving the classical Plateau’s problem. Next, we carefully analyze some interesting examples of soap films compatible with covers of degree larger than two: in particular, the case of a soap film only partially wetting a space curve, a soap film spanning a cubical frame but having a large tunnel, a soap film that retracts to its boundary, and various soap films spanning an octahedral frame.

Invariants of an Apparent Contour

The aim of this chapter is to illustrate some interesting invariants of apparent contours and labelled apparent contours. These invariants can be numbers, groups, polynomials; invariance here means that the they are insensitive to certain transformations, that will be specified case by case.

Variational Analysis of the Model on Labelled Graphs

In this chapter, essentially following [2],1 we discuss some coerciveness and semicontinuity properties of the functional \(\mathcal{F}\) introduced in Sect. 1.5 and motivating our study of apparent contours and three-dimensional shapes.

Elimination of Cusps

In this chapter we show that the apparent contour of a stable embedded closed smooth (not necessarily connected) surface can be modified, using some of the moves illustrated in Chap. 6, to obtain an apparent contour without cusps.

A Variational Model on Labelled Graphs with Cusps and Crossings

In this chapter we review some of the variational models appearing in the mathematical literature of image segmentation. We will mainly focus attention on those models related to the problem of reconstructing a notion of order between the various objects in a three-dimensional scene.

Stable Maps and Morse Descriptions of an Apparent Contour

In this chapter we recall the notion of stable map between two manifolds.1 It is convenient to introduce the terminology in arbitrary dimension, and in a rather abstract setting.

Completeness of Reidemeister-Type Moves on Labelled Apparent Contours

In this chapter we illustrate the results and report the figures from the paper [3]. More specifically, we shall prove that there exists a finite set of simple, or elementary, moves (also called rules) on labelled apparent contours, such that the following property holds: the images \(\Sigma _{1}\) and \(\Sigma _{2}\) of two stable embeddings of a closed smooth (not necessarily connected) surface M in \(\mathbb{R}^{3}\) are isotopic if and only if their apparent contours can be connected using finitely many isotopies of \(\mathbb{R}^{2}\), and a finite sequence of elementary moves or of their inverses (sometimes called “reverses”).