arXiv subjects
Publications and source records attributed to Ilaria Fragalà.
This is a companion paper to our recent work [9], where we studied the interior Bernoulli free boundary for the infinity Laplacian. Here we consider its variational side, which corresponds to the supremal version of the Alt--Caffarelli minimization problem.
We prove that, if $Ω$ is an open bounded domain with smooth and connected boundary, for every $p \in (1, + \infty)$ the first Dirichlet eigenvalue of the normalized $p$-Laplacian is simple in the sense that two positive eigenfunctions are necessarily multiple of each other. We also give a (non-optimal) lower bound for the eigenvalue in terms of the measure of $Ω$, and we address the open problem of proving a Faber-Krahn type inequality with balls as optimal domains.
We prove the existence of an optimal partition for the multiphase shape optimization problem which consists in minimizing the sum of the first Robin Laplacian eigenvalue of $k$ mutually disjoint {\it open} sets which have a $\mathcal H ^ {d-1}$-countably rectifiable boundary and are contained into a given box $D$ in $R^d$
We prove two rigidity results for a variational infinity ground state $u$ of an open bounded convex domain $Ω\subset \mathbb{R}^n$. They state that $u$ coincides with a multiple of the distance from the boundary of $Ω$ if either $|\nabla u|$ is constant on $\partial Ω$, or $u$ is of class $C ^ {1,1}$ outside the high ridge of $Ω$. Consequently, in both cases $Ω$ can be geometrically characterized as a "stadium-like domain".
We prove that the planar hexagonal honeycomb is asymptotically optimal for a large class of optimal partition problems, in which the cells are assumed to be convex, and the criterion is to minimize either the sum or the maximum among the energies of the cells, the cost being a shape functional $F$ which satisfies a few assumptions. They are: monotonicity under inclusions; homogeneity under dilations; a Faber-Krahn inequality for convex hexagons; a convexity-type inequality for the map which associates with every $n \in \mathbb{N}$ the minimizers of $F$ among convex $n$-gons with given area. In particular, our result allows to obtain the honeycomb conjecture for the Cheeger constant and for the logarithmic capacity (still assuming the cells to be convex). Moreover we show that, in order to get the conjecture also for the first Dirichlet eigenvalue of the Laplacian, it is sufficient to establish some facts about the behaviour of $λ_1$ among convex pentagons, hexagons, and heptagons with prescribed area.
We present a new duality theory for non-convex variational problems, under possibly mixed Dirichlet and Neumann boundary conditions. The dual problem reads nicely as a linear programming problem, and our main result states that there is no duality gap. Further, we provide necessary and sufficient optimality conditions, and we show that our duality principle can be reformulated as a min-max result which is quite useful for numerical implementations. As an example, we illustrate the application of our method to a celebrated free boundary problem. The results were announced in \cite{BoFr}.
We give a complete characterization, as "stadium-like domains", of convex subsets $Ω$ of $\mathbb{R}^n$ where a solution exists to Serrin-type overdetermined boundary value problems in which the operator is either the infinity Laplacian or its normalized version. In case of the not-normalized operator, our results extend those obtained in a previous work, where the problem was solved under some geometrical restrictions on $Ω$. In case of the normalized operator, we also show that stadium-like domains are precisely the unique convex sets in $\mathbb{R}^n$ where the solution to a Dirichlet problem is of class $C^{1,1} (Ω)$.
We consider shape functionals obtained as minima on Sobolev spaces of classical integrals having smooth and convex densities, under mixed Dirichlet-Neumann boundary conditions. We propose a new approach for the computation of the second order shape derivative of such functionals, yielding a general existence and representation theorem. In particular, we consider the p-torsional rigidity functional for p grater than or equal to 2.
We prove that the unique solution to the Dirichlet problem with constant source term for the inhomogeneous normalized infinity Laplacian on a convex domain of $\mathbb{R}^N$ is of class $C^1$. The result is obtained by showing as an intermediate step the power-concavity (of exponent $1/2$) of the solution.
Aim of this paper is to prove necessary and sufficient conditions on the geometry of a domain $Ω\subset \mathbb{R}^n$ in order that the homogeneous Dirichlet problem for the infinity-Laplace equation in $Ω$ with constant source term admits a viscosity solution depending only on the distance from $\partial Ω$. This problem was previously addressed and studied by Buttazzo and Kawohl. In the light of some geometrical achievements reached in our recent paper "On the characterization of some classes of proximally smooth sets", we revisit the results obtained by Buttazzo and Kawohl and we prove strengthened versions of them, where any regularity assumption on the domain and on the solution is removed. Our results require a delicate analysis based on viscosity methods. In particular, we need to build suitable viscosity test functions, whose construction involves a new estimate of the distance function near singular points.
We provide a complete characterization of closed sets with empty interior and positive reach in $\mathbb{R}^2$. As a consequence, we characterize open bounded domains in $\mathbb{R}^2$ whose high ridge and cut locus agree, and hence $C^1$ planar domains whose normal distance to the cut locus is constant along the boundary. The latter results extends to convex domains in $\mathbb{R}^n$.
We extend to a functional setting the concept of quermassintegrals, well-known within the Minkowski theory of convex bodies. We work in the class of quasi-concave functions defined on the Euclidean space, and with the hierarchy of their subclasses given by $α$-concave functions. In this setting, we investigate the most relevant features of functional quermassintegrals, and we show they inherit the basic properties of their classical geometric counterpart. As a first main result, we prove a Steiner-type formula which holds true by choosing a suitable functional equivalent of the unit ball. Then, we establish concavity inequalities for quermassintegrals and for other general hyperbolic functionals, which generalize the celebrated Prékopa-Leindler and Brascamp-Lieb inequalities. Further issues that we transpose to this functional setting are: integral-geometric formulae of Cauchy-Kubota type, valuation property and isoperimetric/Uryshon-like inequalities.
We prove that, if $Ω\subset \mathbb{R}^n$ is an open bounded starshaped domain of class $C^2$, the constancy over $\partial Ω$ of the function $$φ(y) = \int_0^{λ(y)} \prod_{j=1}^{n-1}[1-t κ_j(y)]\, dt$$ implies that $Ω$ is a ball. Here $k_j(y)$ and $λ(y)$ denote respectively the principal curvatures and the cut value of a boundary point $y \in \partial Ω$. We apply this geometric result to different symmetry questions for PDE's: an overdetermined system of Monge-Kantorovich type equations (which can be viewed as the limit as $p \to + \infty$ of Serrin's symmetry problem for the $p$-Laplacian), and equations in divergence form whose solutions depend only on the distance from the boundary in some subset of their domain.
We obtain some sharp estimates for the $p$-torsion of convex planar domains in terms of their area, perimeter, and inradius. The approach we adopt relies on the use of web functions (i.e. functions depending only on the distance from the boundary), and on the behaviour of the inner parallel sets of convex polygons. As an application of our isoperimetric inequalities, we consider the shape optimization problem which consists in maximizing the $p$-torsion among polygons having a given number of vertices and a given area. A long-standing conjecture by Pólya-Szegö states that the solution is the regular polygon. We show that such conjecture is true within the subclass of polygons for which a suitable notion of "asymmetry measure" exceeds a critical threshold.
Motivated by a long-standing conjecture of Polya and Szegö about the Newtonian capacity of convex bodies, we discuss the role of concavity inequalities in shape optimization, and we provide several counterexamples to the Blaschke-concavity of variational functionals, including capacity. We then introduce a new algebraic structure on convex bodies, which allows to obtain global concavity and indecomposability results, and we discuss their application to isoperimetriclike inequalities. As a byproduct of this approach we also obtain a quantitative version of the Kneser-Süss inequality. Finally, for a large class of functionals involving Dirichlet energies and the surface measure, we perform a local analysis of strictly convex portions of the boundary via second order shape derivatives. This allows in particular to exclude the presence of smooth regions with positive Gauss curvature in an optimal shape for Polya-Szegö problem.
We exhibit several counterexamples showing that the famous Serrin's symmetry result for semilinear elliptic overdetermined problems may not hold for partially overdetermined problems, that is when both Dirichlet and Neumann boundary conditions are prescribed only on part of the boundary. Our counterexamples enlighten subsequent positive symmetry results obtained by the first two authors for such partially overdetermined systems and justify their assumptions as well.