Showing 1–31 of 31 results for author: Fragalà, I

A sharp quantitative nonlinear Poincaré inequality on convex domains

Authors: Vincenzo Amato, Dorin Bucur, Ilaria Fragalà

Abstract: For any $p \in ( 1, +\infty)$, we give a new inequality for the first nontrivial Neumann eigenvalue $μ_ p (Ω, \varphi)$ of the $p$-Laplacian on a convex domain $Ω\subset \mathbb{R}^N$ with a power-concave weight $\varphi$. Our result improves the classical estimate in terms of the diameter, first stated in a seminal paper by Payne and Weinberger: we add in the lower bound an extra term depending o… ▽ More For any $p \in ( 1, +\infty)$, we give a new inequality for the first nontrivial Neumann eigenvalue $μ_ p (Ω, \varphi)$ of the $p$-Laplacian on a convex domain $Ω\subset \mathbb{R}^N$ with a power-concave weight $\varphi$. Our result improves the classical estimate in terms of the diameter, first stated in a seminal paper by Payne and Weinberger: we add in the lower bound an extra term depending on the second largest John semi-axis of $Ω$ (equivalent to a power of the width in the special case $N = 2$). The power exponent in the extra term is sharp, and the constant in front of it is explicitly tracked, thus enlightening the interplay between space dimension, nonlinearity and power-concavity. Moreover, we attack the stability question: we prove that, if $μ_ p (Ω, \varphi)$ is close to the lower bound, then $Ω$ is close to a thin cylinder, and $\varphi$ is close to a function which is constant along its axis. As intermediate results, we establish a sharp $L^ \infty$ estimate for the associated eigenfunctions, and we determine the asymptotic behaviour of $μ_ p (Ω, \varphi)$ for varying weights and domains, including the case of collapsing geometries. △ Less

Submitted 29 July, 2024; originally announced July 2024.

Comments: 1 figure

MSC Class: 35P15; 49R05

The geometric size of the fundamental gap

Authors: Vincenzo Amato, Dorin Bucur, Ilaria Fragalà

Abstract: The fundamental gap conjecture proved by Andrews and Clutterbuck in 2011 provides the sharp lower bound for the difference between the first two Dirichlet Laplacian eigenvalues in terms of the diameter of a convex set in $\mathbb{R}^N$. The question concerning the rigidity of the inequality, raised by Yau in 1990, was left open. Going beyond rigidity, our main result strengthens Andrews-Clutterbuc… ▽ More The fundamental gap conjecture proved by Andrews and Clutterbuck in 2011 provides the sharp lower bound for the difference between the first two Dirichlet Laplacian eigenvalues in terms of the diameter of a convex set in $\mathbb{R}^N$. The question concerning the rigidity of the inequality, raised by Yau in 1990, was left open. Going beyond rigidity, our main result strengthens Andrews-Clutterbuck inequality, by quantifying geometrically the excess of the gap compared to the diameter in terms of flatness. The proof relies on a localized, variational interpretation of the fundamental gap, allowing a dimension reduction via the use of convex partitions à la Payne-Weinberger: the result stems by combining a new sharp result for one dimensional Schrödinger eigenvalues with measure potentials, with a thorough analysis of the geometry of the partition into convex cells. As a by-product of our approach, we obtain a quantitative form of Payne-Weinberger inequality for the first nontrivial Neumann eigenvalue of a convex set in $\mathbb{R}^N$, thus proving, in a stronger version, a conjecture from 2007 by Hang-Wang. △ Less

Submitted 1 July, 2024; originally announced July 2024.

Comments: 5 figures

MSC Class: 35P15; 49R05

Lattice tilings minimizing nonlocal perimeters

Authors: Annalisa Cesaroni, Ilaria Fragalà, Matteo Novaga

Abstract: We prove the existence of periodic tessellations of $\mathbb{R}^N$ minimizing a general nonlocal perimeter functional, defined as the interaction between a set and its complement through a nonnegative kernel, which we assume to be either integrable at the origin, or singular, with a fractional type singularity. We reformulate the optimal partition problem as an isoperimetric problem among fundamen… ▽ More We prove the existence of periodic tessellations of $\mathbb{R}^N$ minimizing a general nonlocal perimeter functional, defined as the interaction between a set and its complement through a nonnegative kernel, which we assume to be either integrable at the origin, or singular, with a fractional type singularity. We reformulate the optimal partition problem as an isoperimetric problem among fundamental domains associated with discrete subgroups of $\mathbb{R}^N$ , and we provide the existence of a solution by using suitable concentrated compactness type arguments and compactness results for lattices. Finally, we discuss the possible optimality of the hexagonal tessellation in the planar case. △ Less

Submitted 2 October, 2023; originally announced October 2023.

Comments: 19 pages, 2 figures

MSC Class: 52C07; 52C22; 53A10; 58E12

Variational worn stones

Authors: Graziano Crasta, Ilaria Fragalà

Abstract: We introduce an evolution model à la Firey for a convex stone which tumbles on a beach and undertakes an erosion process depending on some variational energy, such as torsional rigidity, principal Dirichlet Laplacian eigenvalue, or Newtonian capacity. Relying on the assumption of existence of a solution to the corresponding parabolic flow, we prove that the stone tends to become asymptotically sph… ▽ More We introduce an evolution model à la Firey for a convex stone which tumbles on a beach and undertakes an erosion process depending on some variational energy, such as torsional rigidity, principal Dirichlet Laplacian eigenvalue, or Newtonian capacity. Relying on the assumption of existence of a solution to the corresponding parabolic flow, we prove that the stone tends to become asymptotically spherical. Indeed, we identify an ultimate shape of these flows with a smooth convex body whose ground state satisfies an additional boundary condition, and we prove symmetry results for the corresponding overdetermined elliptic problems. Moreover, we extend the analysis to arbitrary convex bodies: we introduce new notions of cone variational measures and we prove that, if such a measure is absolutely continuous with constant density, the underlying body is a ball. △ Less

Submitted 21 March, 2023; originally announced March 2023.

Comments: 25 pages

Report number: Roma01.Math.AP MSC Class: 52A20; 52A40; 35N25; 53C44

Journal ref: Arch. Rational Mech. Anal. 248:48 (2024)

The nonlocal isoperimetric problem for polygons: Hardy-Littlewood and Riesz inequalities

Authors: Beniamin Bogosel, Dorin Bucur, Ilaria Fragalà

Abstract: Given a non-increasing and radially symmetric kernel in $L ^ 1 _{\rm loc} (\Bbb{R} ^ 2 ; \Bbb{R}_+)$, we investigate counterparts of the classical Hardy-Littlewood and Riesz inequalities when the class of admissible domains is the family of polygons with given area and $N$ sides. The latter corresponds to study the polygonal isoperimetric problem in nonlocal version. We prove that, for every… ▽ More Given a non-increasing and radially symmetric kernel in $L ^ 1 _{\rm loc} (\Bbb{R} ^ 2 ; \Bbb{R}_+)$, we investigate counterparts of the classical Hardy-Littlewood and Riesz inequalities when the class of admissible domains is the family of polygons with given area and $N$ sides. The latter corresponds to study the polygonal isoperimetric problem in nonlocal version. We prove that, for every $N \geq 3$, the regular $N$-gon is optimal for Hardy-Littlewood inequality. Things go differently for Riesz inequality: while for $N = 3$ and $N = 4$ it is known that the regular triangle and the square are optimal, for $N\geq 5$ we prove that symmetry or symmetry breaking may occur (i.e. the regular $N$-gon may be optimal or not), depending on the value of $N$ and on the choice of the kernel. △ Less

Submitted 22 February, 2023; originally announced February 2023.

On a geometric combination of functions related to Prékopa-Leindler inequality

Authors: Graziano Crasta, Ilaria Fragalà

Abstract: We introduce a new operation between nonnegative integrable functions on $\mathbb{R} ^n$, that we call geometric combination; it is obtained via a mass transportation approach, playing with inverse distribution functions. The main feature of this operation is that the Lebesgue integral of the geometric combination equals the geometric mean of the two separate integrals; as a natural consequence, w… ▽ More We introduce a new operation between nonnegative integrable functions on $\mathbb{R} ^n$, that we call geometric combination; it is obtained via a mass transportation approach, playing with inverse distribution functions. The main feature of this operation is that the Lebesgue integral of the geometric combination equals the geometric mean of the two separate integrals; as a natural consequence, we derive a new functional inequality of Prékopa-Leindler type. When applied to the characteristic functions of two measurable sets, their geometric combination provides a set whose volume equals the geometric mean of the two separate volumes. In the framework of convex bodies, by comparing the geometric combination with the $0$-sum, we get an alternative proof of the log-Brunn-Minkowski inequality for unconditional convex bodies and for convex bodies with $n$ symmetries. △ Less

Submitted 25 April, 2022; originally announced April 2022.

Comments: 22 pages, 1 figure

Report number: Roma01.Math.FA MSC Class: 39B62; 52A40; 52A20

Alexandrov theorem for general nonlocal curvatures: the geometric impact of the kernel

Authors: Dorin Bucur, Ilaria Fragalà

Abstract: For a general radially symmetric, non-increasing, non-negative kernel $h\in L ^ 1 _{loc} ( R ^ d)$, we study the rigidity of measurable sets in $R ^ d$ with constant nonlocal $h$-mean curvature. Under a suitable "improved integrability" assumption on $h$, we prove that these sets are finite unions of equal balls, as soon as they satisfy a natural nondegeneracy condition. Both the radius of the bal… ▽ More For a general radially symmetric, non-increasing, non-negative kernel $h\in L ^ 1 _{loc} ( R ^ d)$, we study the rigidity of measurable sets in $R ^ d$ with constant nonlocal $h$-mean curvature. Under a suitable "improved integrability" assumption on $h$, we prove that these sets are finite unions of equal balls, as soon as they satisfy a natural nondegeneracy condition. Both the radius of the balls and their mutual distance can be controlled from below in terms of suitable parameters depending explicitly on the measure of the level sets of $h$. In the simplest, common case, in which $h$ is positive, bounded and decreasing, our result implies that any bounded open set or any bounded measurable set with finite perimeter which has constant nonlocal $h$-mean curvature has to be a ball. △ Less

Submitted 4 February, 2022; originally announced February 2022.

Comments: arXiv admin note: text overlap with arXiv:2102.12389

Rigidity for measurable sets

Authors: Dorin Bucur, Ilaria Fragalà

Abstract: Let $Ω\subset \mathbb{R}^d$ be a set with finite Lebesgue measure such that, for a fixed radius $r>0$, the Lebesgue measure of $Ω\cap B_r (x)$ is equal to a positive constant when $x$ varies in the essential boundary of $Ω$. We prove that $Ω$ is a ball (or a finite union of equal balls) provided it satisfies a nondegeneracy condition, which holds in particular for any set of diameter larger than… ▽ More Let $Ω\subset \mathbb{R}^d$ be a set with finite Lebesgue measure such that, for a fixed radius $r>0$, the Lebesgue measure of $Ω\cap B_r (x)$ is equal to a positive constant when $x$ varies in the essential boundary of $Ω$. We prove that $Ω$ is a ball (or a finite union of equal balls) provided it satisfies a nondegeneracy condition, which holds in particular for any set of diameter larger than $r$ which is either open and connected, or of finite perimeter and indecomposable. The proof requires reinventing each step of the moving planes method by Alexandrov in the framework of measurable sets. △ Less

Submitted 25 October, 2021; v1 submitted 22 February, 2021; originally announced February 2021.

MSC Class: 53C24; 49Q15; 28A75; 26D10

Solenoidal extensions in domains with obstacles: explicit bounds and applications to Navier-Stokes equations

Authors: Ilaria Fragalà, Filippo Gazzola, Gianmarco Sperone

Abstract: We introduce a new method for constructing solenoidal extensions of fairly general boundary data in (2d or 3d) cubes that contain an obstacle. This method allows us to provide explicit bounds for the Dirichlet norm of the extensions. It runs as follows: by inverting the trace operator, we first determine suitable extensions, not necessarily solenoidal, of the data; then we analyze the Bogovskii pr… ▽ More We introduce a new method for constructing solenoidal extensions of fairly general boundary data in (2d or 3d) cubes that contain an obstacle. This method allows us to provide explicit bounds for the Dirichlet norm of the extensions. It runs as follows: by inverting the trace operator, we first determine suitable extensions, not necessarily solenoidal, of the data; then we analyze the Bogovskii problem with the resulting divergence to obtain a solenoidal extension; finally, by solving a variational problem involving the infinity-Laplacian and using ad hoc cutoff functions, we find explicit bounds in terms of the geometric parameters of the obstacle. The natural applications of our results lie in the analysis of inflow-outflow problems, in which an explicit bound on the inflow velocity is needed to estimate the threshold for uniqueness in the stationary Navier-Stokes equations and, in case of symmetry, the stability of the obstacle immersed in the fluid flow. △ Less

Submitted 19 June, 2020; originally announced June 2020.

MSC Class: 35Q35; 35C05; 76D05; 46E35; 49K20

Concavity properties of solutions to Robin problems

Authors: Graziano Crasta, Ilaria Fragalà

Abstract: We prove that the Robin ground state and the Robin torsion function are respectively log-concave and $\frac{1}{2}$-concave on an uniformly convex domain $Ω\subset \mathbb{R}^N$ of class $\mathcal{C}^m$, with $[m -\frac{ N}{2}]\geq 4$, provided the Robin parameter exceeds a critical threshold. Such threshold depends on $N$, $m$, and on the geometry of $Ω$, precisely on the diameter and on the bound… ▽ More We prove that the Robin ground state and the Robin torsion function are respectively log-concave and $\frac{1}{2}$-concave on an uniformly convex domain $Ω\subset \mathbb{R}^N$ of class $\mathcal{C}^m$, with $[m -\frac{ N}{2}]\geq 4$, provided the Robin parameter exceeds a critical threshold. Such threshold depends on $N$, $m$, and on the geometry of $Ω$, precisely on the diameter and on the boundary curvatures up to order $m$. △ Less

Submitted 12 June, 2020; originally announced June 2020.

Comments: 24 pages

Report number: Roma01.Math.AP MSC Class: 35E10; 35B65; 35J15; 35J25

The Brunn-Minkowski inequality for the principal eigenvalue of fully nonlinear homogeneous elliptic operators

Authors: Graziano Crasta, Ilaria Fragalà

Abstract: We prove that the principal eigenvalue of any fully nonlinear homogeneous elliptic operator which fulfills a very simple convexity assumption satisfies a Brunn-Minkowski type inequality on the class of open bounded sets in $\mathbb{R}^n$ satisfying a uniform exterior sphere condition. In particular the result applies to the (possibly normalized) $p$-Laplacian, and to the minimal Pucci operator. Th… ▽ More We prove that the principal eigenvalue of any fully nonlinear homogeneous elliptic operator which fulfills a very simple convexity assumption satisfies a Brunn-Minkowski type inequality on the class of open bounded sets in $\mathbb{R}^n$ satisfying a uniform exterior sphere condition. In particular the result applies to the (possibly normalized) $p$-Laplacian, and to the minimal Pucci operator. The proof is inspired by the approach introduced by Colesanti for the principal frequency of the Laplacian within the class of convex domains, and relies on a generalization of the convex envelope method by Alvarez-Lasry-Lions. We also deal with the existence and log-concavity of positive viscosity eigenfunctions. △ Less

Submitted 28 July, 2019; v1 submitted 15 March, 2019; originally announced March 2019.

Comments: 19 pages

Report number: Roma01.Math.AP MSC Class: 49K20; 35J60; 47J10; 26A51; 52A20; 39B62

Journal ref: Adv. Math. 359 (2020), 106855

On the supremal version of the Alt-Caffarelli minimization problem

Authors: Graziano Crasta, Ilaria Fragalà

Abstract: 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. 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. △ Less

Submitted 30 November, 2018; originally announced November 2018.

Comments: 18 pages, 2 figures

Report number: Roma01.Math.AP MSC Class: 35R35; 49J45; 49K20; 35N25

On the first eigenvalue of the normalized p-Laplacian

Authors: Graziano Crasta, Ilaria Fragalà, Bernd Kawohl

Abstract: 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 o… ▽ More 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. △ Less

Submitted 25 November, 2018; originally announced November 2018.

Comments: 13 pages, 2 figures

Report number: Roma01.Math.AP MSC Class: 49K20; 35J60; 47J10

Bernoulli free boundary problem for the infinity Laplacian

Authors: Graziano Crasta, Ilaria Fragalà

Abstract: We study the interior Bernoulli free boundary problem for the infinity Laplacian. Our results cover existence, uniqueness, and characterization of solutions (above a threshold representing the "infinity Bernoulli constant"), their regularity, and their relationship with the solutions to the interior Bernoulli problem for the $p$-laplacian. We study the interior Bernoulli free boundary problem for the infinity Laplacian. Our results cover existence, uniqueness, and characterization of solutions (above a threshold representing the "infinity Bernoulli constant"), their regularity, and their relationship with the solutions to the interior Bernoulli problem for the $p$-laplacian. △ Less

Submitted 8 May, 2019; v1 submitted 23 April, 2018; originally announced April 2018.

Comments: 24 pages, 3 figures

Report number: Roma01.Math.AP MSC Class: 49K20; 35J70; 35J40

Optimal partitions for Robin Laplacian eigenvalues

Authors: Dorin Bucur, Ilaria Fragalà, Alessandro Giacomini

Abstract: 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 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$ △ Less

Submitted 10 March, 2018; originally announced March 2018.

Proof of the Honeycomb Asymptotics for Optimal Cheeger Clusters

Authors: Dorin Bucur, Ilaria Fragala

Abstract: We prove that, in the limit as $k \to+ \infty$, the hexagonal honeycomb solves the optimal partition problem in which the criterion is minimizing the largest among the Cheeger constants of $k$ mutually disjoint cells in a planar domain. As a by-product, the same result holds true when the Cheeger constant is replaced by the first Robin eigenvalue of the Laplacian. We prove that, in the limit as $k \to+ \infty$, the hexagonal honeycomb solves the optimal partition problem in which the criterion is minimizing the largest among the Cheeger constants of $k$ mutually disjoint cells in a planar domain. As a by-product, the same result holds true when the Cheeger constant is replaced by the first Robin eigenvalue of the Laplacian. △ Less

Submitted 30 June, 2017; originally announced July 2017.

On the honeycomb conjecture for Robin Laplacian eigenvalues

Authors: Dorin Bucur, Ilaria Fragala

Abstract: We prove that the optimal cluster problem for the sum of the first Robin eigenvalue of the Laplacian, in the limit of a large number of convex cells, is asymptotically solved by (the Cheeger sets of) the honeycomb of regular hexagons. The same result is established for the Robin torsional rigidity. We prove that the optimal cluster problem for the sum of the first Robin eigenvalue of the Laplacian, in the limit of a large number of convex cells, is asymptotically solved by (the Cheeger sets of) the honeycomb of regular hexagons. The same result is established for the Robin torsional rigidity. △ Less

Submitted 30 June, 2017; originally announced June 2017.

Phase field approach to optimal packing problems and related Cheeger clusters

Authors: Beniamin Bogosel, Dorin Bucur, Ilaria Fragala

Abstract: In a fixed domain of $\Bbb{R}^N$ we study the asymptotic behaviour of optimal clusters associated to $α$-Cheeger constants and natural energies like the sum or maximum: we prove that, as the parameter $α$ converges to the "critical" value $\Big (\frac{N-1}{N}\Big ) _+$, optimal Cheeger clusters converge to solutions of different packing problems for balls, depending on the energy under considerati… ▽ More In a fixed domain of $\Bbb{R}^N$ we study the asymptotic behaviour of optimal clusters associated to $α$-Cheeger constants and natural energies like the sum or maximum: we prove that, as the parameter $α$ converges to the "critical" value $\Big (\frac{N-1}{N}\Big ) _+$, optimal Cheeger clusters converge to solutions of different packing problems for balls, depending on the energy under consideration. As well, we propose an efficient phase field approach based on a multiphase Gamma convergence result of Modica-Mortola type, in order to compute $α$-Cheeger constants, optimal clusters and, as a consequence of the asymptotic result, optimal packings. Numerical experiments are carried over in two and three space dimensions. △ Less

Submitted 17 June, 2017; originally announced June 2017.

MSC Class: 52C20; 51M16; 49Q10; 49J45

On the honeycomb conjecture for a class of minimal convex partitions

Authors: Dorin Bucur, Ilaria Fragalà, Bozhidar Velichkov, Gianmaria Verzini

Abstract: 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 dilatio… ▽ More 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. △ Less

Submitted 15 March, 2017; originally announced March 2017.

Comments: 30 pages

MSC Class: 52C20; 51M16; 65N25; 49Q10

Rigidity results for variational infinity ground states

Authors: Graziano Crasta, Ilaria Fragalà

Abstract: 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… ▽ More 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". △ Less

Submitted 28 June, 2017; v1 submitted 3 February, 2017; originally announced February 2017.

Comments: 15 pages

Report number: Roma01.Math.AP MSC Class: 49K20

Journal ref: Indiana Univ. Math. J. 68 (2019), pp. 353-367

A duality theory for non-convex problems in the Calculus of Variations

Authors: Guy Bouchitté, Ilaria Fragalà

Abstract: 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… ▽ More 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}. △ Less

Submitted 11 July, 2016; originally announced July 2016.

MSC Class: 49N15; 49J10; 49J40; 49K35

Characterization of stadium-like domains via boundary value problems for the infinity Laplacian

Authors: Graziano Crasta, Ilaria Fragalà

Abstract: 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 ge… ▽ More 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} (Ω)$. △ Less

Submitted 5 September, 2015; originally announced September 2015.

Comments: 21 pages

Report number: Roma01.Math.AP MSC Class: 35N25 (Primary); 49K30; 35J70; 49K20 (Secondary)

Journal ref: Nonlinear Anal. 133 (2016), pp. 228-249

A variational method for second order shape derivatives

Authors: Guy Bouchitté, Ilaria Fragalà, Ilaria Lucardesi

Abstract: 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… ▽ More 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. △ Less

Submitted 1 September, 2015; originally announced September 2015.

Comments: Submitted paper. 29 pages

MSC Class: 49Q10; 49K10; 49M29; 49J45

A $C^1$ regularity result for the inhomogeneous normalized infinity Laplacian

Authors: Graziano Crasta, Ilaria Fragalà

Abstract: 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. 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. △ Less

Submitted 17 June, 2015; originally announced June 2015.

Comments: 11 pages. arXiv admin note: text overlap with arXiv:1410.6115

Report number: Roma01.Math.AP MSC Class: 49K20

Journal ref: Proc. Amer. Math. Soc. 144 (2016), pp. 2547-2558

A symmetry problem for the infinity Laplacian

Authors: Graziano Crasta, Ilaria Fragalà

Abstract: 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… ▽ More 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. △ Less

Submitted 12 June, 2013; originally announced June 2013.

Comments: 18 pages, 2 figures

Report number: Roma01.Math.AP MSC Class: Primary 49K20; Secondary 49K30; 35J70; 35N25

Journal ref: Int. Math. Res. Not. IMRN 2015 (2015), pp. 8411-8436

On the characterization of some classes of proximally smooth sets

Authors: Graziano Crasta, Ilaria Fragalà

Abstract: 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 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$. △ Less

Submitted 13 May, 2013; originally announced May 2013.

Comments: 19 pages, 3 figures

Report number: Roma01.Math MSC Class: Primary 26B25; Secondary 26B05; 53A05

Journal ref: ESAIM Control Optim. Calc. Var. 22 (2016), pp. 710-727

Quermassintegrals of quasi-concave functions and generalized Prékopa-Leindler inequalities

Authors: Sergey Bobkov, Andrea Colesanti, Ilaria Fragalà

Abstract: 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… ▽ More 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. △ Less

Submitted 23 October, 2012; originally announced October 2012.

Comments: 36 pages

A new symmetry criterion based on the distance function and applications to PDE's

Authors: Graziano Crasta, Ilaria Fragalà

Abstract: 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 $$\varphi(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 d… ▽ More 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 $$\varphi(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. △ Less

Submitted 26 July, 2012; originally announced July 2012.

Comments: 17 pages

Report number: Roma01.Math.AP MSC Class: 35N25; 49K20; 35J70; 53A07

Journal ref: J. Differential Equations 255 (2013), pp. 2082-2099

Sharp bounds for the p-torsion of convex planar domains

Authors: Ilaria Fragalà, Filippo Gazzola, Jimmy Lamboley

Abstract: 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 optimiza… ▽ More 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. △ Less

Submitted 21 December, 2011; originally announced December 2011.

Optimal convex shapes for concave functionals

Authors: Dorin Bucur, Ilaria Fragalà, Jimmy Lamboley

Abstract: 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 indeco… ▽ More 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. △ Less

Submitted 9 February, 2011; originally announced February 2011.

Counterexamples to Symmetry for Partially Overdetermined Elliptic Problems

Authors: Ilaria Fragalà, Filippo Gazzola, Jimmy Lamboley, Michel Pierre

Abstract: 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… ▽ More 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. △ Less

Submitted 17 February, 2009; originally announced February 2009.

MSC Class: 35J70; 35B50; 49Q10