Starshapedness of level sets of solutions to elliptic PDEs

We investigate how some geometric properties of the domain are inherited by level sets of solutions of elliptic equations. In particular we prove that, under suitable assumptions, solutions of elliptic Dirichlet problems in starshaped rings have starshaped level sets. Our results are applicable to a large class of operators, including fully-nonlinear ones.     

Topological and algebraic structures on the ring of Fermat reals

The ring of Fermat reals is an extension of the real field containing nilpotent infinitesimals, and represents an alternative to Synthetic Differential Geometry in classical logic. In the present paper, our first aim is to study this ring by using standard topological and algebraic structures. We present the Fermat topology, generated by a complete pseudo-metric, and the omega topology, generated by a complete metric. The first one is closely related to the differentiation of (non-standard) smooth functions defined on open sets of Fermat reals. The second one is connected to the differentiation of smooth functions defined on infinitesimal sets. Subsequently, we prove that every (proper) ideal is a set of infinitesimals whose order is less than or equal to some real number. Finally, we define and study roots of infinitesimals. A computer implementation as well as an application to infinitesimal Taylor formulas with fractional derivatives are presented.     

Bornological Convergences on the Hyperspace of a Uniformizable Space

Bornological convergence is a generalization of the well known Attouch–Wets convergence. Our aim is to compare lower, upper and “two-sided” convergences generated by two compatible uniformities and two arbitrary bornologies. Moreover, the comparison of convergences induced by bounded-proximal topologies is characterized.