-
Classical solutions to the soap film capillarity problem for plane boundaries
Authors:
Giulia Bevilacqua,
Salvatore Stuvard,
Bozhidar Velichkov
Abstract:
We study the soap film capillarity problem, in which soap films are modeled as sets of least perimeter among those having prescribed (small) volume and satisfying a topological spanning condition. When the given boundary is the closed tubular neighborhood in $\mathbb{R}^3$ of a smooth Jordan curve (or, more generally, the closed tubular neighborhood in $\mathbb{R}^d$ of a smooth embedding of…
▽ More
We study the soap film capillarity problem, in which soap films are modeled as sets of least perimeter among those having prescribed (small) volume and satisfying a topological spanning condition. When the given boundary is the closed tubular neighborhood in $\mathbb{R}^3$ of a smooth Jordan curve (or, more generally, the closed tubular neighborhood in $\mathbb{R}^d$ of a smooth embedding of $\mathbb{S}^{d-2}$ in a hyperplane), we prove existence and uniqueness of classical minimizers, for which the collapsing phenomenon does not occur. We show that the boundary of the unique minimizer is the union of two symmetric smooth normal graphs over a portion of the plane; the graphs have positive constant mean curvature bounded linearly in terms of the volume parameter, and meet the boundary of the tubular neighbourhood orthogonally. Moreover, we prove uniform bounds on the sectional curvatures in order to show that the boundaries of solutions corresponding to varying volumes are ordered monotonically and produce a foliation of space by constant mean curvature hypersurfaces.
△ Less
Submitted 12 July, 2024;
originally announced July 2024.
-
On the fine structure of the solutions to nonlinear thin two-membrane problems in 2D
Authors:
Lorenzo Ferreri,
Luca Spolaor,
Bozhidar Velichkov
Abstract:
We prove a structure theorem for the solutions of nonlinear thin two-membrane problems in dimension two. Using the theory of quasi-conformal maps, we show that the difference of the sheets is topologically equivalent to a solution of the linear thin obstacle problem, thus inheriting its free boundary structure. More precisely, we show that even in the nonlinear case the branching points can only o…
▽ More
We prove a structure theorem for the solutions of nonlinear thin two-membrane problems in dimension two. Using the theory of quasi-conformal maps, we show that the difference of the sheets is topologically equivalent to a solution of the linear thin obstacle problem, thus inheriting its free boundary structure. More precisely, we show that even in the nonlinear case the branching points can only occur in finite number. We apply our methods to one-phase free boundaries approaching a fixed analytic boundary and to the solutions of a one-sided two-phase Bernoulli problem.
△ Less
Submitted 9 May, 2024;
originally announced May 2024.
-
Boundary regularity of the free interface in spectral optimal partition problems
Authors:
Roberto Ognibene,
Bozhidar Velichkov
Abstract:
We consider the problem of optimal partition of a domain with respect to the sum of the principal eigenvalues and we prove for the first time regularity results for the free interface up to fixed boundary. All our results are quantitative and, in particular, we obtain fine estimates on the continuity of the solutions and the oscillation of the free interface (in terms of the modulus of continuity…
▽ More
We consider the problem of optimal partition of a domain with respect to the sum of the principal eigenvalues and we prove for the first time regularity results for the free interface up to fixed boundary. All our results are quantitative and, in particular, we obtain fine estimates on the continuity of the solutions and the oscillation of the free interface (in terms of the modulus of continuity of the normal vector of the fixed boundary), even in the case of domains with low (Dini-type) regularity. Our analysis is based on an Almgren-type monotonicity formula at boundary points and an epiperimetric inequality at points of low frequency, which, together, yield an explicit rate of convergence for blow-up sequences and the boundary strong unique continuation property. Exploiting our quantitative blow-up analysis, we manage to prove clean-up results near one-phase and two-phase points. We define the notion of free interface inside the fixed boundary, and we prove that the subset of points of minimal frequency is regular and that the interior free interface is approaching the boundary orthogonally in a smooth way.
△ Less
Submitted 8 April, 2024;
originally announced April 2024.
-
A capillarity one-phase Bernoulli free boundary problem
Authors:
Lorenzo Ferreri,
Giorgio Tortone,
Bozhidar Velichkov
Abstract:
We consider a one-phase Bernoulli free boundary problem in a container $D$ - a smooth open subset of $\mathbb{R}^d$ - under the condition that on the fixed boundary $\partial D$ the normal derivative of the solutions is prescribed. We study the regularity of the free boundary (the boundary of the positivity set of the solution) up to $\partial D$ and the structure of the wetting region, which is t…
▽ More
We consider a one-phase Bernoulli free boundary problem in a container $D$ - a smooth open subset of $\mathbb{R}^d$ - under the condition that on the fixed boundary $\partial D$ the normal derivative of the solutions is prescribed. We study the regularity of the free boundary (the boundary of the positivity set of the solution) up to $\partial D$ and the structure of the wetting region, which is the contact set between the free boundary and the ($(d-1)$-dimensional) fixed boundary $\partial D$. In particular, we characterize the contact angle in terms of the permeability of the porous container and we show that the boundary of the wetting region is a smooth $(d-2)$-dimensional manifold, up to a (possibly empty) closed set of Hausdorff dimension at most $d-5$.
△ Less
Submitted 22 October, 2023;
originally announced October 2023.
-
On the dimension of the singular set in optimization problems with measure constraint
Authors:
Dario Mazzoleni,
Giorgio Tortone,
Bozhidar Velichkov
Abstract:
In this paper, we prove estimates on the dimension of the singular part of the free boundary for solutions to shape optimization problems with measure constraints. The focus is on the heat conduction problem studied by Aguilera, Caffarelli, and Spruck and the one-phase Bernoulli problem with measure constraint introduced by Aguilera, Alt and Caffarelli. To estimate the Hausdorff dimension of the s…
▽ More
In this paper, we prove estimates on the dimension of the singular part of the free boundary for solutions to shape optimization problems with measure constraints. The focus is on the heat conduction problem studied by Aguilera, Caffarelli, and Spruck and the one-phase Bernoulli problem with measure constraint introduced by Aguilera, Alt and Caffarelli. To estimate the Hausdorff dimension of the singular set, we introduce a new formulation of the notion of stability for the one-phase problem along volume-preserving variations, which is preserved under blow-up limits. Finally, the result follows by applying the program developed in [Buttazzo et al. 2022] to this class of domain variation.
△ Less
Submitted 10 October, 2023;
originally announced October 2023.
-
Regularity for one-phase Bernoulli problems with discontinuous weights and applications
Authors:
Lorenzo Ferreri,
Bozhidar Velichkov
Abstract:
We study a one-phase Bernoulli free boundary problem with weight function admitting a discontinuity along a smooth jump interface. In any dimension $N\ge 2$, we show the $C^{1, α}$ regularity of the free boundary outside of a singular set of Hausdorff dimension at most $N-3$. In particular, we prove that the free boundaries are $C^{1, α}$ regular in dimension $N=2$, while in dimension $N=3$ the si…
▽ More
We study a one-phase Bernoulli free boundary problem with weight function admitting a discontinuity along a smooth jump interface. In any dimension $N\ge 2$, we show the $C^{1, α}$ regularity of the free boundary outside of a singular set of Hausdorff dimension at most $N-3$. In particular, we prove that the free boundaries are $C^{1, α}$ regular in dimension $N=2$, while in dimension $N=3$ the singular set can contain at most a finite number of points. We use this result to construct singular free boundaries in dimension $N=2$, which are minimizing for one-phase functionals with weight functions in $L^\infty$ that are arbitrarily close to a positive constant.
△ Less
Submitted 17 September, 2023;
originally announced September 2023.
-
A one-sided two phase Bernoulli free boundary problem
Authors:
Lorenzo Ferreri,
Bozhidar Velichkov
Abstract:
We study a two-phase free boundary problem in which the two-phases satisfy an impenetrability condition. Precisely, we have two ordered positive functions, which are harmonic in their supports, satisfy a Bernoulli condition on the one-phase part of the free boundary and a two-phase condition on the collapsed part of the free boundary. For this two-membrane type problem, we prove an epsilon-regular…
▽ More
We study a two-phase free boundary problem in which the two-phases satisfy an impenetrability condition. Precisely, we have two ordered positive functions, which are harmonic in their supports, satisfy a Bernoulli condition on the one-phase part of the free boundary and a two-phase condition on the collapsed part of the free boundary. For this two-membrane type problem, we prove an epsilon-regularity theorem with sharp modulus of continuity. Precisely, we show that at flat points each of the two boundaries is $C^{1,1/2}$ regular surface. Moreover, we show that the remaining singular set has Hausdorff dimension at most $N-5$ as in the case of the classical one-phase problem, $N$ being the dimension of the space.
△ Less
Submitted 4 September, 2023;
originally announced September 2023.
-
The symmetric (log-)epiperimetric inequality and a decay-growth estimate
Authors:
Nick Edelen,
Luca Spolaor,
Bozhidar Velichkov
Abstract:
We introduce a symmetric (log-)epiperimetric inequality, generalizing the standard epiperimetric inequality, and we show that it implies a growth-decay for the associated energy: as the radius increases energy decays while negative and grows while positive. One can view the symmetric epiperimetric inequality as giving a log-convexity of energy, analogous to the 3-annulus lemma or frequency formula…
▽ More
We introduce a symmetric (log-)epiperimetric inequality, generalizing the standard epiperimetric inequality, and we show that it implies a growth-decay for the associated energy: as the radius increases energy decays while negative and grows while positive. One can view the symmetric epiperimetric inequality as giving a log-convexity of energy, analogous to the 3-annulus lemma or frequency formula. We establish the symmetric epiperimetric inequality for some free-boundary problems and almost-minimizing currents, and give some applications including a ``propagation of graphicality'' estimate, uniqueness of blow-downs at infinity, and a local Liouville-type theorem.
△ Less
Submitted 21 April, 2023;
originally announced April 2023.
-
Regularity of the optimal sets for a class of integral shape functionals
Authors:
Giuseppe Buttazzo,
Francesco Paolo Maiale,
Dario Mazzoleni,
Giorgio Tortone,
Bozhidar Velichkov
Abstract:
We prove {the first} regularity theorem for the free boundary of solutions to shape optimization problems involving integral functionals, for which the energy of a domain $Ω$ is obtained as the integral of a cost function $j(u,x)$ depending on the solution $u$ of a certain PDE problem on $Ω$. The main feature of these functionals is that the minimality of a domain $Ω$ cannot be translated into a v…
▽ More
We prove {the first} regularity theorem for the free boundary of solutions to shape optimization problems involving integral functionals, for which the energy of a domain $Ω$ is obtained as the integral of a cost function $j(u,x)$ depending on the solution $u$ of a certain PDE problem on $Ω$. The main feature of these functionals is that the minimality of a domain $Ω$ cannot be translated into a variational problem for a single (real or vector valued) state function.
In this paper we focus on the case of affine cost functions $j(u,x)=-g(x)u+Q(x)$, where $u$ is the solution of the PDE $-Δu=f$ with Dirichlet boundary conditions. We obtain the Lipschitz continuity and the non-degeneracy of the optimal $u$ from the inwards/outwards optimality of $Ω$ and then we use the stability of $Ω$ with respect to variations with smooth vector fields in order to study the blow-up limits of the state function $u$. By performing a triple consecutive blow-up, we prove the existence of blow-up sequences converging to homogeneous stable solution of the one-phase Bernoulli problem and according to the blow-up limits, we decompose $\partialΩ$ into a singular and a regular part. In order to estimate the Hausdorff dimension of the singular set of $\partialΩ$ we give a new formulation of the notion of stability for the one-phase problem, which is preserved under blow-up limits and allows to develop a dimension reduction principle. Finally, by combining a higher order Boundary Harnack principle and a viscosity approach, we prove $C^\infty$ regularity of the regular part of the free boundary when the data are smooth.
△ Less
Submitted 18 December, 2022;
originally announced December 2022.
-
A strong maximum principle for minimizers of the one-phase Bernoulli problem
Authors:
Nick Edelen,
Luca Spolaor,
Bozhidar Velichkov
Abstract:
We prove a strong maximum principle for minimizers of the one-phase Alt-Caffarelli functional. We use this to construct a Hardt-Simon-type foliation associated to any 1-homogenous global minimizer.
We prove a strong maximum principle for minimizers of the one-phase Alt-Caffarelli functional. We use this to construct a Hardt-Simon-type foliation associated to any 1-homogenous global minimizer.
△ Less
Submitted 1 May, 2022;
originally announced May 2022.
-
Free boundary cluster with Robin condition on the transmission Interface
Authors:
Serena Guarino Lo Bianco,
Domenico Angelo La Manna,
Bozhidar Velichkov
Abstract:
We formulate and study a variational two-phase free boundary problem with Robin condition on the interface between the two phases, and we prove existence and regularity of solutions in dimension two
We formulate and study a variational two-phase free boundary problem with Robin condition on the interface between the two phases, and we prove existence and regularity of solutions in dimension two
△ Less
Submitted 1 April, 2022;
originally announced April 2022.
-
The boundary Harnack principle on optimal domains
Authors:
Francesco Paolo Maiale,
Giorgio Tortone,
Bozhidar Velichkov
Abstract:
We give a short and self-contained proof of the Boundary Harnack inequality for a class of domains satisfying some geometric conditions given in terms of a state function that behaves as the distance function to the boundary, is subharmonic inside the domain and satisfies some suitable estimates on the measure of its level sets. We also discuss the applications of this result to some shape optimiz…
▽ More
We give a short and self-contained proof of the Boundary Harnack inequality for a class of domains satisfying some geometric conditions given in terms of a state function that behaves as the distance function to the boundary, is subharmonic inside the domain and satisfies some suitable estimates on the measure of its level sets. We also discuss the applications of this result to some shape optimization and free boundary problems.
△ Less
Submitted 11 February, 2024; v1 submitted 2 December, 2021;
originally announced December 2021.
-
(Quasi-)conformal methods in two-dimensional free boundary problems
Authors:
Guido De Philippis,
Luca Spolaor,
Bozhidar Velichkov
Abstract:
In this paper we study the local behavior of solutions to some free boundary problems. We relate the theory of quasi-conformal maps to the regularity of the solutions to nonlinear thin-obstacle problems; we prove that the contact set is locally a finite union of intervals and we apply this result to the solutions of one-phase Bernoulli problems with geometric constraint. We also introduce a new co…
▽ More
In this paper we study the local behavior of solutions to some free boundary problems. We relate the theory of quasi-conformal maps to the regularity of the solutions to nonlinear thin-obstacle problems; we prove that the contact set is locally a finite union of intervals and we apply this result to the solutions of one-phase Bernoulli problems with geometric constraint. We also introduce a new conformal hodograph transform, which allows to obtain the precise expansion at branch points of both the solutions to the one-phase problem with geometric constraint and a class of symmetric solutions to the two-phase problem, as well as to construct examples of free boundaries with cusp-like singularities.
△ Less
Submitted 26 October, 2021;
originally announced October 2021.
-
Epsilon-regularity for the solutions of a free boundary system
Authors:
Francesco Paolo Maiale,
Giorgio Tortone,
Bozhidar Velichkov
Abstract:
This paper is dedicated to a free boundary system arising in the study of a class of shape optimization problems. The problem involves three variables: two functions $u$ and $v$, and a domain $Ω$; with $u$ and $v$ being both positive in $Ω$, vanishing simultaneously on $\partialΩ$ and satisfying an overdetermined boundary value problem involving the product of their normal derivatives on…
▽ More
This paper is dedicated to a free boundary system arising in the study of a class of shape optimization problems. The problem involves three variables: two functions $u$ and $v$, and a domain $Ω$; with $u$ and $v$ being both positive in $Ω$, vanishing simultaneously on $\partialΩ$ and satisfying an overdetermined boundary value problem involving the product of their normal derivatives on $\partialΩ$. Precisely, we consider solutions $u, v \in C(B_1)$ of $$-Δu= f \quad\text{and} \quad-Δv=g\quad\text{in}\quad Ω=\{u>0\}=\{v>0\}\ ,\qquad \frac{\partial u}{\partial n}\frac{\partial v}{\partial n}=Q\quad\text{on}\quad \partialΩ\cap B_1.$$ Our main result is an epsilon-regularity theorem for viscosity solutions of this free boundary system. We prove a partial Harnack inequality near flat points for the couple of auxiliary functions $\sqrt{uv}$ and $\frac12(u+v)$. Then, we use the gained space near the free boundary to transfer the improved flatness to the original solutions. Finally, using the partial Harnack inequality, we obtain an improvement-of-flatness result, which allows to conclude that flatness implies $C^{1,α}$ regularity.
△ Less
Submitted 8 August, 2021;
originally announced August 2021.
-
Rectifiability and almost everywhere uniqueness of the blow-up for the vectorial Bernoulli free boundaries
Authors:
Guido De Philippis,
Max Engelstein,
Luca Spolaor,
Bozhidar Velichkov
Abstract:
We prove that for minimizers of the vectorial Alt-Caffarelli functional the two-phase singular set of the free boundary is rectifiable and the blow-up is unique almost everywhere on it. While the first conclusion is an application of the recent techniques developed by Naber and Valtorta, the uniqueness part follows from the rectifiability and a new application of the Alt-Caffarelli-Friedman monoto…
▽ More
We prove that for minimizers of the vectorial Alt-Caffarelli functional the two-phase singular set of the free boundary is rectifiable and the blow-up is unique almost everywhere on it. While the first conclusion is an application of the recent techniques developed by Naber and Valtorta, the uniqueness part follows from the rectifiability and a new application of the Alt-Caffarelli-Friedman monotonicity formula.
△ Less
Submitted 8 August, 2021; v1 submitted 26 July, 2021;
originally announced July 2021.
-
Shape optimization problems in control form
Authors:
Giuseppe Buttazzo,
Francesco Paolo Maiale,
Bozhidar Velichkov
Abstract:
We consider a shape optimization problem written in the optimal control form: the governing operator is the $p$-Laplacian in the Euclidean space $\R^d$, the cost is of an integral type, and the control variable is the domain of the state equation. Conditions that guarantee the existence of an optimal domain will be discussed in various situations. It is proved that the optimal domains have a finit…
▽ More
We consider a shape optimization problem written in the optimal control form: the governing operator is the $p$-Laplacian in the Euclidean space $\R^d$, the cost is of an integral type, and the control variable is the domain of the state equation. Conditions that guarantee the existence of an optimal domain will be discussed in various situations. It is proved that the optimal domains have a finite perimeter and, under some suitable assumptions, that they are open sets. A crucial difference is between the case $p>d$, where the existence occurs under very mild conditions, and the case $p\le d$, where additional assumptions have to be made on the data.
△ Less
Submitted 25 June, 2021; v1 submitted 8 May, 2021;
originally announced May 2021.
-
Regularity of the optimal sets for the second Dirichlet eigenvalue
Authors:
Dario Mazzoleni,
Baptiste Trey,
Bozhidar Velichkov
Abstract:
This paper is dedicated to the regularity of the optimal sets for the second eigenvalue of the Dirichlet Laplacian. Precisely, we prove that if the set $Ω$ minimizes the functional \[ \mathcal F_Λ(Ω)=λ_2(Ω)+Λ|Ω|, \] among all subsets of a smooth bounded open set $D\subset \mathbb{R}^d$, where $λ_2(Ω)$ is the second eigenvalue of the Dirichlet Laplacian on $Ω$ and $Λ>0$ is a fixed constant, then…
▽ More
This paper is dedicated to the regularity of the optimal sets for the second eigenvalue of the Dirichlet Laplacian. Precisely, we prove that if the set $Ω$ minimizes the functional \[ \mathcal F_Λ(Ω)=λ_2(Ω)+Λ|Ω|, \] among all subsets of a smooth bounded open set $D\subset \mathbb{R}^d$, where $λ_2(Ω)$ is the second eigenvalue of the Dirichlet Laplacian on $Ω$ and $Λ>0$ is a fixed constant, then $Ω$ is equivalent to the union of two disjoint open sets $Ω_+$ and $Ω_-$, which are $C^{1,α}$-regular up to a (possibly empty) closed set of Hausdorff dimension at most $d-5$, contained in the one-phase free boundaries $D\cap \partialΩ_+\setminus\partialΩ_-$ and $D\cap\partialΩ_-\setminus\partialΩ_+$.
△ Less
Submitted 1 October, 2020;
originally announced October 2020.
-
On the logarithmic epiperimetric inequality for the obstacle problem
Authors:
Luca Spolaor,
Bozhidar Velichkov
Abstract:
We give three different proofs of the log-epiperimetric inequality at singular points for the obstacle problem. In the first, direct proof, we write the competitor explicitly; the second proof is also constructive, but this time the competitor is given through the solution of an evolution problem on the sphere. We compare the competitors obtained in the different proofs and their relation to other…
▽ More
We give three different proofs of the log-epiperimetric inequality at singular points for the obstacle problem. In the first, direct proof, we write the competitor explicitly; the second proof is also constructive, but this time the competitor is given through the solution of an evolution problem on the sphere. We compare the competitors obtained in the different proofs and their relation to other similar results that appeared recently. Finally, in the appendix, we give a general theorem, which can be applied also in other contexts and in which the construction of the competitor is reduced to finding a flow satisfying two differential inequalities.
△ Less
Submitted 5 July, 2020;
originally announced July 2020.
-
Numerical computation of the cut locus via a variational approximation of the distance function
Authors:
François Générau,
Édouard Oudet,
Bozhidar Velichkov
Abstract:
We propose a new method for the numerical computation of the cut locus of a compact submanifold of $\mathbb{R}^3$ without boundary. This method is based on a convex variational problem with conic constraints, with proven convergence. We illustrate the versatility of our approach by the approximation of Voronoi cells on embedded surfaces of $\mathbb{R}^3$.
We propose a new method for the numerical computation of the cut locus of a compact submanifold of $\mathbb{R}^3$ without boundary. This method is based on a convex variational problem with conic constraints, with proven convergence. We illustrate the versatility of our approach by the approximation of Voronoi cells on embedded surfaces of $\mathbb{R}^3$.
△ Less
Submitted 17 June, 2020; v1 submitted 15 June, 2020;
originally announced June 2020.
-
Cut locus on compact manifolds and uniform semiconcavity estimates for a variational inequality
Authors:
François Générau,
Edouard Oudet,
Bozhidar Velichkov
Abstract:
We study a family of gradient obstacle problems on a compact Riemannian manifold. We prove that the solutions of these free boundary problems are uniformly semiconcave and, as a consequence, we obtain some fine convergence results for the solutions and their free boundaries. Precisely, we show that the elastic and the $λ$-elastic sets of the solutions Hausdorff converge to the cut locus and the…
▽ More
We study a family of gradient obstacle problems on a compact Riemannian manifold. We prove that the solutions of these free boundary problems are uniformly semiconcave and, as a consequence, we obtain some fine convergence results for the solutions and their free boundaries. Precisely, we show that the elastic and the $λ$-elastic sets of the solutions Hausdorff converge to the cut locus and the $λ$-cut locus of the manifold.
△ Less
Submitted 12 June, 2020;
originally announced June 2020.
-
A two-phase problem with Robin conditions on the free boundary
Authors:
Serena Guarino Lo Bianco,
Domenico Angelo La Manna,
Bozhidar Velichkov
Abstract:
We study for the first time a two-phase free boundary problem in which the solution satisfies a Robin boundary condition. We consider the case in which the solution is continuous across the free boundary and we prove an existence and a regularity result for minimizers of the associated variational problem. Finally, in the appendix, we give an example of a class of Steiner symmetric minimizers.
We study for the first time a two-phase free boundary problem in which the solution satisfies a Robin boundary condition. We consider the case in which the solution is continuous across the free boundary and we prove an existence and a regularity result for minimizers of the associated variational problem. Finally, in the appendix, we give an example of a class of Steiner symmetric minimizers.
△ Less
Submitted 19 October, 2020; v1 submitted 31 March, 2020;
originally announced March 2020.
-
Regularity of the free boundary for the two-phase Bernoulli problem
Authors:
Guido De Philippis,
Luca Spolaor,
Bozhidar Velichkov
Abstract:
We prove a regularity theorem for the free boundary of minimizers of the two-phase Bernoulli problem, completing the analysis started by Alt, Caffarelli and Friedman in the 80s. As a consequence, we also show regularity of minimizers of the multiphase spectral optimization problem for the principal eigenvalue of the Dirichlet Laplacian.
We prove a regularity theorem for the free boundary of minimizers of the two-phase Bernoulli problem, completing the analysis started by Alt, Caffarelli and Friedman in the 80s. As a consequence, we also show regularity of minimizers of the multiphase spectral optimization problem for the principal eigenvalue of the Dirichlet Laplacian.
△ Less
Submitted 13 November, 2019; v1 submitted 5 November, 2019;
originally announced November 2019.
-
Almost everywhere uniqueness of blow-up limits for the lower dimensional obstacle problem
Authors:
Maria Colombo,
Luca Spolaor,
Bozhidar Velichkov
Abstract:
We answer a question left open in [Arch. Rat. Mech. Anal. 230 (1) (2018), 125-184] and [Arch. Rat. Mech. Anal. 230 (2) (2018), 783-784], by proving that the blow-up limit of minimizers $u$ of the lower dimensional obstacle problem is unique at generic point of the free-boundary.
We answer a question left open in [Arch. Rat. Mech. Anal. 230 (1) (2018), 125-184] and [Arch. Rat. Mech. Anal. 230 (2) (2018), 783-784], by proving that the blow-up limit of minimizers $u$ of the lower dimensional obstacle problem is unique at generic point of the free-boundary.
△ Less
Submitted 9 August, 2019; v1 submitted 4 August, 2019;
originally announced August 2019.
-
Existence and Regularity of Optimal Shapes for Elliptic Operators with Drift
Authors:
Emmanuel Russ,
Baptiste Trey,
Bozhidar Velichkov
Abstract:
This paper is devoted to the study of shape optimization problems for the first eigenvalue of the elliptic operator with drift L = --$Δ$+V (x)\cdot \nabla with Dirichlet boundary conditions, where V is a bounded vector field. In the first instance, we prove the existence of a principal eigenvalue $λ$\_1($Ω$, V) for a bounded quasi-open set $Ω$ which enjoys similar properties to the case of open se…
▽ More
This paper is devoted to the study of shape optimization problems for the first eigenvalue of the elliptic operator with drift L = --$Δ$+V (x)\cdot \nabla with Dirichlet boundary conditions, where V is a bounded vector field. In the first instance, we prove the existence of a principal eigenvalue $λ$\_1($Ω$, V) for a bounded quasi-open set $Ω$ which enjoys similar properties to the case of open sets. Then, given m > 0 and $τ$ $\ge$ 0, we show that the minimum of the following non-variational problem min $λ$\_1($Ω$, V) : $Ω$ $\subset$ D quasi-open, |$Ω$| $\le$ m, |V|\_{\infty} $\le$ $τ$. is achieved, where the box D $\subset$ R^d is a bounded open set. The existence when V is fixed, as well as when V varies among all the vector fields which are the gradient of a Lipschitz function, are also proved. The second interest and main result of this paper is the regularity of the optimal shape $Ω$ * solving the minimization problem min $λ$\_1($Ω$, $Φ$) : $Ω$ $\subset$ D quasi-open, |$Ω$| $\le$ m , where $Φ$ is a given Lipschitz function on D. We prove that the topological boundary $\partial$$Ω$ * is composed of a regular part which is locally the graph of a C ^{1,$α$} function and a singular part which is empty if d < d * , discrete if d = d * and of locally finite H^{d--d *} Hausdorff measure if d > d * , where d * $\in$ {5, 6, 7} is the smallest dimension at which there exists a global solution to the one-phase free boundary problem with singularities. Moreover, if D is smooth, we prove that, for each x $\in$ $\partial$$Ω$ * $\cap$ $\partial$D, $\partial$$Ω$ * is C^{ 1,$α$} in a neighborhood of x, for some $α$ $\le$ 1 /2. This last result is optimal in the sense that C ^{1,1/2} is the best regularity that one can expect.
△ Less
Submitted 16 May, 2019; v1 submitted 18 October, 2018;
originally announced October 2018.
-
Free boundary regularity for a multiphase shape optimization problem
Authors:
Luca Spolaor,
Baptiste Trey,
Bozhidar Velichkov
Abstract:
In this paper we prove a $C^{1,α}$ regularity result in dimension two for almost-minimizers of the constrained one-phase Alt-Caffarelli and the two-phase Alt-Caffarelli-Friedman functionals for an energy with variable coefficients. As a consequence, we deduce the complete regularity of solutions of a multiphase shape optimization problem for the first eigenvalue of the Dirichlet-Laplacian up to th…
▽ More
In this paper we prove a $C^{1,α}$ regularity result in dimension two for almost-minimizers of the constrained one-phase Alt-Caffarelli and the two-phase Alt-Caffarelli-Friedman functionals for an energy with variable coefficients. As a consequence, we deduce the complete regularity of solutions of a multiphase shape optimization problem for the first eigenvalue of the Dirichlet-Laplacian up to the fixed boundary. One of the main ingredient is a new application of the epiperimetric-inequality of Spolaor-Velichkov [CPAM, 2018] up to the boundary. While the framework that leads to this application is valid in every dimension, the epiperimetric inequality is known only in dimension two, thus the restriction on the dimension.
△ Less
Submitted 16 October, 2018;
originally announced October 2018.
-
On the asymptotic behavior of the solutions to parabolic variational inequalities
Authors:
Maria Colombo,
Luca Spolaor,
Bozhidar Velichkov
Abstract:
We consider various versions of the obstacle and thin-obstacle problems, we interpret them as variational inequalities, with non-smooth constraint, and prove that they satisfy a new constrained Lojasiewicz inequality. The difficulty lies in the fact that, since the constraint is non-analytic, the pioneering method of L. Simon (Ann. of Math. 118(3), 1983) does not apply and we have to exploit a bet…
▽ More
We consider various versions of the obstacle and thin-obstacle problems, we interpret them as variational inequalities, with non-smooth constraint, and prove that they satisfy a new constrained Lojasiewicz inequality. The difficulty lies in the fact that, since the constraint is non-analytic, the pioneering method of L. Simon (Ann. of Math. 118(3), 1983) does not apply and we have to exploit a better understanding on the constraint itself. We then apply this inequality to two associated problems. First we combine it with an abstract result on parabolic variational inequalities, to prove the convergence at infinity of the strong global solutions to the parabolic obstacle and thin-obstacle problems to a unique stationary solution with a rate. Secondly, we give an abstract proof, based on a parabolic approach, of the epiperimetric inequality, which we then apply to the singular points of the obstacle and thin-obstacle problems.
△ Less
Submitted 17 September, 2018;
originally announced September 2018.
-
Regularity of the free boundary for the vectorial Bernoulli problem
Authors:
Dario Mazzoleni,
Susanna Terracini,
Bozhidar Velichkov
Abstract:
In this paper we study the regularity of the free boundary for a vector-valued Bernoulli problem, with no sign assumptions on the boundary data. More precisely, given an open, smooth set of finite measure $D\subset \mathbb{R}^d$, $Λ>0$ and $\varphi_i\in H^{1/2}(\partial D)$, we deal with \[ \min{\left\{\sum_{i=1}^k\int_D|\nabla v_i|^2+Λ\Big|\bigcup_{i=1}^k\{v_i\not=0\}\Big|\;:\;v_i=\varphi_i\;\mbo…
▽ More
In this paper we study the regularity of the free boundary for a vector-valued Bernoulli problem, with no sign assumptions on the boundary data. More precisely, given an open, smooth set of finite measure $D\subset \mathbb{R}^d$, $Λ>0$ and $\varphi_i\in H^{1/2}(\partial D)$, we deal with \[ \min{\left\{\sum_{i=1}^k\int_D|\nabla v_i|^2+Λ\Big|\bigcup_{i=1}^k\{v_i\not=0\}\Big|\;:\;v_i=\varphi_i\;\mbox{on }\partial D\right\}}. \] We prove that, for any optimal vector $U=(u_1,\dots, u_k)$, the free boundary $\partial (\cup_{i=1}^k\{u_i\not=0\})\cap D$ is made of a regular part, which is relatively open and locally the graph of a $C^\infty$ function, a singular part, which is relatively closed and has Hausdorff dimension at most $d-d^*$, for a $d^*\in\{5,6,7\}$ and by a set of branching (two-phase) points, which is relatively closed and of finite $\mathcal{H}^{d-1}$ measure. Our arguments are based on the NTA structure of the regular part of the free boundary.
△ Less
Submitted 24 April, 2018;
originally announced April 2018.
-
(Log-)epiperimetric inequality and regularity over smooth cones for almost Area-Minimizing currents
Authors:
Max Engelstein,
Luca Spolaor,
Bozhidar Velichkov
Abstract:
We prove a new logarithmic epiperimetric inequality for multiplicity-one stationary cones with isolated singularity by flowing in the radial direction any given trace along appropriately chosen directions. In contrast to previous epiperimetric inequalities for minimal surfaces (e.g. those of Reifenberg, Taylor and White), we need no a priori assumptions on the structure of the cone (e.g. integrabi…
▽ More
We prove a new logarithmic epiperimetric inequality for multiplicity-one stationary cones with isolated singularity by flowing in the radial direction any given trace along appropriately chosen directions. In contrast to previous epiperimetric inequalities for minimal surfaces (e.g. those of Reifenberg, Taylor and White), we need no a priori assumptions on the structure of the cone (e.g. integrability). Moreover, if the cone is integrable (not only through rotations), we recover the classical epiperimetric inequality. As a consequence we deduce a new $\varepsilon$-regularity result for almost area-minimizing currents at singular points, where at least one blow-up is a multiplicity-one cone with isolated singularity. This result is similar to the one for stationary varifolds of Leon Simon, but independent from it since almost minimizers do not satisfy any equation.
△ Less
Submitted 1 February, 2018;
originally announced February 2018.
-
Uniqueness of the blow-up at isolated singularities for the Alt-Caffarelli functional
Authors:
Max Engelstein,
Luca Spolaor,
Bozhidar Velichkov
Abstract:
In this paper we prove uniqueness of blow-ups and $C^{1,\log}$-regularity for the free-boundary of minimizers of the Alt-Caffarelli functional at points where one blow-up has an isolated singularity. We do this by establishing a (log-)epiperimetric inequality for the Weiss energy for traces close to that of a cone with isolated singularity, whose free-boundary is graphical and smooth over that of…
▽ More
In this paper we prove uniqueness of blow-ups and $C^{1,\log}$-regularity for the free-boundary of minimizers of the Alt-Caffarelli functional at points where one blow-up has an isolated singularity. We do this by establishing a (log-)epiperimetric inequality for the Weiss energy for traces close to that of a cone with isolated singularity, whose free-boundary is graphical and smooth over that of the cone in the sphere. With additional assumptions on the cone, we can prove a classical epiperimetric inequality which can be applied to deduce a $C^{1,α}$ regularity result. We also show that these additional assumptions are satisfied by the De Silva-Jerison-type cones, which are the only known examples of minimizing cones with isolated singularity. Our approach draws a connection between epiperimetric inequalities and the Łojasiewicz inequality, and, to our knowledge, provides the first regularity result at singular points in the one-phase Bernoulli problem.
△ Less
Submitted 23 October, 2019; v1 submitted 28 January, 2018;
originally announced January 2018.
-
Optimal potentials for problems with changing sing data
Authors:
Giuseppe Buttazzo,
Faustino Maestre,
Bozhidar Velichkov
Abstract:
We consider optimal control problems where the state equation is an elliptic PDE of a Schrödinger type, governed by the Laplace operator $-Δ$ with the addition of a potential V, and the control is the potential V itself, that may vary in a suitable admissible class. In a previous paper (Ref. [7]) an existence result was established under a monotonicity assumption on the cost functional, which occu…
▽ More
We consider optimal control problems where the state equation is an elliptic PDE of a Schrödinger type, governed by the Laplace operator $-Δ$ with the addition of a potential V, and the control is the potential V itself, that may vary in a suitable admissible class. In a previous paper (Ref. [7]) an existence result was established under a monotonicity assumption on the cost functional, which occurs if the data do not change sign. In the present paper this sign assumption is removed and the existence of an optimal potential is still valid. Several numerical simulations, made by FreeFem++, are shown
△ Less
Submitted 23 October, 2017;
originally announced October 2017.
-
Direct epiperimetric inequalities for the thin obstacle problem and applications
Authors:
Maria Colombo,
Luca Spolaor,
Bozhidar Velichkov
Abstract:
For the thin obstacle problem, we prove by a new direct method that in any dimension the Weiss' energies with frequency $\frac32$ and $2m$, for $m\in \mathbb N$, satisfy an epiperimetric inequality, in the latter case of logarithmic type. In particular, at difference from the classical statements, we do not assume any a priori closeness to a special class of homogeneous functions. In dimension…
▽ More
For the thin obstacle problem, we prove by a new direct method that in any dimension the Weiss' energies with frequency $\frac32$ and $2m$, for $m\in \mathbb N$, satisfy an epiperimetric inequality, in the latter case of logarithmic type. In particular, at difference from the classical statements, we do not assume any a priori closeness to a special class of homogeneous functions. In dimension $2$, we also prove the epiperimetric inequality at any free boundary point.
As a first application, we improve the set of admissible frequencies for blow ups, previously known to be $λ\in \{\frac32\} \cup [2,\infty)$, and we classify the global $λ$-homogeneous minimizers, with $λ\in [\frac32,2+c]\cup\bigcup_{m\in \mathbb N}(2m-c_m^-,2m+c_m^+)$, showing as a consequence that the frequencies $\frac32$ and $2m$ are isolated.
Secondly, we give a short and self-contained proof of the regularity of the free boundary previously obtained by Athanasopoulos-Caffarelli-Salsa (Amer. J. Math., 130(2) (2008), 485-498) for regular points and Garofalo-Petrosyan (Invent. Math., 177(2) (2009), 415-461) for singular points, by means of an epiperimetric inequality of logarithmic type which applies for the first time also at all singular points of thin-obstacle free boundaries. In particular we improve the $C^1$ regularity of the singular set with frequency $2m$ by an explicit logarithmic modulus of continuity.
△ Less
Submitted 10 September, 2017;
originally announced September 2017.
-
A logarithmic epiperimetric inequality for the obstacle problem
Authors:
Maria Colombo,
Luca Spolaor,
Bozhidar Velichkov
Abstract:
For the general obstacle problem, we prove by direct methods an epiperimetric inequality at regular and singular points, thus answering a question of Weiss (Invent. Math., 138 (1999), 23--50). In particular at singular points we introduce a new tool, which we call logarithmic epiperimetric inequality, which yields an explicit logarithmic modulus of continuity on the $C^1$ regularity of the singula…
▽ More
For the general obstacle problem, we prove by direct methods an epiperimetric inequality at regular and singular points, thus answering a question of Weiss (Invent. Math., 138 (1999), 23--50). In particular at singular points we introduce a new tool, which we call logarithmic epiperimetric inequality, which yields an explicit logarithmic modulus of continuity on the $C^1$ regularity of the singular set, thus improving previous results of Caffarelli and Monneau.
△ Less
Submitted 7 August, 2017;
originally announced August 2017.
-
A shape optimal control problem and its probabilistic counterpart
Authors:
Giuseppe Buttazzo,
Bozhidar Velichkov
Abstract:
In this paper we consider a shape optimization problem in which the data in the cost functional and in the state equation may change sign, and so no monotonicity assumption is satisfied. Nevertheless, we are able to prove that an optimal domain exists. We also deduce some necessary conditions of optimality for the optimal domain. The results are applied to show the existence of an optimal domain i…
▽ More
In this paper we consider a shape optimization problem in which the data in the cost functional and in the state equation may change sign, and so no monotonicity assumption is satisfied. Nevertheless, we are able to prove that an optimal domain exists. We also deduce some necessary conditions of optimality for the optimal domain. The results are applied to show the existence of an optimal domain in the case where the cost functional is completely identified, while the right-hand side in the state equation is only known up to a probability P in the space $L^2$.
△ Less
Submitted 21 April, 2017;
originally announced April 2017.
-
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.
-
An epiperimetric inequality for the regularity of some free boundary problems: the $2$-dimensional case
Authors:
Luca Spolaor,
Bozhidar Velichkov
Abstract:
Using a direct approach, we prove a $2$-dimensional epiperimetric inequality for the one-phase problem in the scalar and vectorial cases and for the double-phase problem. From this we deduce, in dimension $2$, the $C^{1,α}$ regularity of the free-boundary in the scalar one-phase and double-phase problems, and of the reduced free-boundary in the vectorial case, without any restriction on the sign o…
▽ More
Using a direct approach, we prove a $2$-dimensional epiperimetric inequality for the one-phase problem in the scalar and vectorial cases and for the double-phase problem. From this we deduce, in dimension $2$, the $C^{1,α}$ regularity of the free-boundary in the scalar one-phase and double-phase problems, and of the reduced free-boundary in the vectorial case, without any restriction on the sign of the component functions. Furthermore we show that in the vectorial case the free boundary can end in a cusp.
△ Less
Submitted 8 February, 2017; v1 submitted 5 December, 2016;
originally announced December 2016.
-
Regularity of the optimal sets for some spectral functionals
Authors:
Dario Mazzoleni,
Susanna Terracini,
Bozhidar Velichkov
Abstract:
In this paper we study the regularity of the optimal sets for the shape optimization problem \[ \min\Big\{λ_1(Ω)+\dots+λ_k(Ω)\ :\ Ω\subset\mathbb{R}^d,\ \text{open}\ ,\ |Ω|=1\Big\}, \] where $λ_1(\cdot),\dots,λ_k(\cdot)$ denote the eigenvalues of the Dirichlet Laplacian and $|\cdot|$ the $d$-dimensional Lebesgue measure. We prove that the topological boundary of a minimizer $Ω_k^*$ is composed of…
▽ More
In this paper we study the regularity of the optimal sets for the shape optimization problem \[ \min\Big\{λ_1(Ω)+\dots+λ_k(Ω)\ :\ Ω\subset\mathbb{R}^d,\ \text{open}\ ,\ |Ω|=1\Big\}, \] where $λ_1(\cdot),\dots,λ_k(\cdot)$ denote the eigenvalues of the Dirichlet Laplacian and $|\cdot|$ the $d$-dimensional Lebesgue measure. We prove that the topological boundary of a minimizer $Ω_k^*$ is composed of a relatively open regular part which is locally a graph of a $C^{1,α}$ function and a closed singular part, which is empty if $d<d^*$, contains at most a finite number of isolated points if $d=d^*$ and has Hausdorff dimension smaller than $(d-d^*)$ if $d>d^*$, where the natural number $d^*\in[5,7]$ is the smallest dimension at which minimizing one-phase free boundaries admit singularities.
To achieve our goal, as an auxiliary result, we shall extend for the first time the known regularity theory for the one-phase free boundary problem to the vector-valued case.
△ Less
Submitted 20 January, 2017; v1 submitted 5 September, 2016;
originally announced September 2016.
-
A Multiphase Shape Optimization Problem for Eigenvalues: Qualitative Study and Numerical Results
Authors:
Beniamin Bogosel,
Bozhidar Velichkov
Abstract:
We consider the multiphase shape optimization problem $$\min\Big\{\sum_{i=1}^hλ_1(Ω_i)+α|Ω_i|:\ Ω_i\ \hbox{open},\ Ω_i\subset D,\ Ω_i\capΩ_j=\emptyset\Big\},$$ where $α>0$ is a given constant and $ D\subset\Bbb{R}^2$ is a bounded open set with Lipschitz boundary. We give some new results concerning the qualitative properties of the optimal sets and the regularity of the corresponding eigenfunction…
▽ More
We consider the multiphase shape optimization problem $$\min\Big\{\sum_{i=1}^hλ_1(Ω_i)+α|Ω_i|:\ Ω_i\ \hbox{open},\ Ω_i\subset D,\ Ω_i\capΩ_j=\emptyset\Big\},$$ where $α>0$ is a given constant and $ D\subset\Bbb{R}^2$ is a bounded open set with Lipschitz boundary. We give some new results concerning the qualitative properties of the optimal sets and the regularity of the corresponding eigenfunctions. We also provide numerical results for the optimal partitions.
△ Less
Submitted 8 June, 2016;
originally announced June 2016.
-
Regularity of Minimizers of Shape Optimization Problems involving Perimeter
Authors:
Guido De Philippis,
Jimmy Lamboley,
Michel Pierre,
Bozhidar Velichkov
Abstract:
We prove existence and regularity of optimal shapes for the problem$$\min\Big\{P(Ω)+\mathcal{G}(Ω):\ Ω\subset D,\ |Ω|=m\Big\},$$where $P$ denotes the perimeter, $|\cdot|$ is the volume, and the functional $\mathcal{G}$ is either one of the following:\textless{}ul\textgreater{}\textless{}li\textgreater{} the Dirichlet energy $E\_f$, with respect to a (possibly sign-changing) function $f\in L^p$;\te…
▽ More
We prove existence and regularity of optimal shapes for the problem$$\min\Big\{P(Ω)+\mathcal{G}(Ω):\ Ω\subset D,\ |Ω|=m\Big\},$$where $P$ denotes the perimeter, $|\cdot|$ is the volume, and the functional $\mathcal{G}$ is either one of the following:\textless{}ul\textgreater{}\textless{}li\textgreater{} the Dirichlet energy $E\_f$, with respect to a (possibly sign-changing) function $f\in L^p$;\textless{}/li\textgreater{}\textless{}li\textgreater{}a spectral functional of the form $F(λ\_{1},\dots,λ\_{k})$, where $λ\_k$ is the $k$th eigenvalue of the Dirichlet Laplacian and $F:\mathbb{R}^k\to\mathbb{R}$ is Lipschitz continuous and increasing in each variable.\textless{}/li\textgreater{}\textless{}/ul\textgreater{}The domain $D$ is the whole space $\mathbb{R}^d$ or a bounded domain. We also give general assumptions on the functional $\mathcal{G}$ so that the result remains valid.
△ Less
Submitted 19 September, 2016; v1 submitted 20 May, 2016;
originally announced May 2016.
-
Worst-case shape optimization for the Dirichlet energy
Authors:
José Carlos Bellido,
Giuseppe Buttazzo,
Bozhidar Velichkov
Abstract:
We consider the optimization problem for a shape cost functional $F(Ω,f)$ which depends on a domain $Ω$ varying in a suitable admissible class and on a "right-hand side" $f$. More precisely, the cost functional $F$ is given by an integral which involves the solution $u$ of an elliptic PDE in $Ω$ with right-hand side $f$; the boundary conditions considered are of the Dirichlet type. When the functi…
▽ More
We consider the optimization problem for a shape cost functional $F(Ω,f)$ which depends on a domain $Ω$ varying in a suitable admissible class and on a "right-hand side" $f$. More precisely, the cost functional $F$ is given by an integral which involves the solution $u$ of an elliptic PDE in $Ω$ with right-hand side $f$; the boundary conditions considered are of the Dirichlet type. When the function $f$ is only known up to some degree of uncertainty, our goal is to obtain the existence of an optimal shape in the worst possible situation. Some numerical simulations are provided, showing the difference in the optimal shape between the case when $f$ is perfectly known and the case when only the worst situation is optimized.
△ Less
Submitted 17 May, 2016;
originally announced May 2016.
-
A free boundary problem arising in PDE optimization
Authors:
Giuseppe Buttazzo,
Edouard Oudet,
Bozhidar Velichkov
Abstract:
A free boundary problem arising from the optimal reinforcement of a membrane or from the reduction of traffic congestion is considered; it is of the form $$\sup_{\int_Dθ\,dx=m}\ \inf_{u\in H^1_0(D)}\int_D\Big(\frac{1+θ}{2}|\nabla u|^2-fu\Big)\,dx.$$ We prove the existence of an optimal reinforcement $θ$ and that it has some higher integrability properties. We also provide some numerical computatio…
▽ More
A free boundary problem arising from the optimal reinforcement of a membrane or from the reduction of traffic congestion is considered; it is of the form $$\sup_{\int_Dθ\,dx=m}\ \inf_{u\in H^1_0(D)}\int_D\Big(\frac{1+θ}{2}|\nabla u|^2-fu\Big)\,dx.$$ We prove the existence of an optimal reinforcement $θ$ and that it has some higher integrability properties. We also provide some numerical computations for $θ$ and $u$.
△ Less
Submitted 30 May, 2015;
originally announced June 2015.
-
BV Estimates in Optimal Transportation and Applications
Authors:
Guido De Philippis,
Alpár Mészáros,
Filippo Santambrogio,
Bozhidar Velichkov
Abstract:
In this paper we study the BV regularity for solutions of variational problems in Optimal Transportation. As an application we recover BV estimates for solutions of some non-linear parabolic PDE by means of optimal transportation techniques. We also prove that the Wasserstein projection of a measure with BV density on the set of measures with density bounded by a given BV function f is of bounded…
▽ More
In this paper we study the BV regularity for solutions of variational problems in Optimal Transportation. As an application we recover BV estimates for solutions of some non-linear parabolic PDE by means of optimal transportation techniques. We also prove that the Wasserstein projection of a measure with BV density on the set of measures with density bounded by a given BV function f is of bounded variation as well. In particular, in the case f = 1 (projection onto a set of densities with an L^\infty bound) we precisely prove that the total variation of the projection does not exceed the total variation of the projected measure. This is an estimate which can be iterated, and is therefore very useful in some evolutionary PDEs (crowd motion,. . .). We also establish some properties of the Wasserstein projection which are interesting in their own, and allow for instance to prove uniqueness of such a projection in a very general framework.
△ Less
Submitted 15 July, 2015; v1 submitted 22 March, 2015;
originally announced March 2015.
-
The spectral drop problem
Authors:
Giuseppe Buttazzo,
Bozhidar Velichkov
Abstract:
We consider spectral optimization problems of the form $$\min\Big\{λ_1(Ω;D):\ Ω\subset D,\ |Ω|=1\Big\},$$ where $D$ is a given subset of the Euclidean space $\mathbb{R}^d$. Here $λ_1(Ω;D)$ is the first eigenvalue of the Laplace operator $-Δ$ with Dirichlet conditions on $\partialΩ\cap D$ and Neumann or Robin conditions on $\partialΩ\cap\partial D$. The equivalent variational formulation…
▽ More
We consider spectral optimization problems of the form $$\min\Big\{λ_1(Ω;D):\ Ω\subset D,\ |Ω|=1\Big\},$$ where $D$ is a given subset of the Euclidean space $\mathbb{R}^d$. Here $λ_1(Ω;D)$ is the first eigenvalue of the Laplace operator $-Δ$ with Dirichlet conditions on $\partialΩ\cap D$ and Neumann or Robin conditions on $\partialΩ\cap\partial D$. The equivalent variational formulation $$λ_1(Ω;D)=\min\left\{\int_Ω|\nabla u|^2\,dx+k\int_{\partial D}u^2\,d\mathcal{H}^{d-1}\ :\ u\in H^1(D),\ u=0\hbox{ on }\partialΩ\cap D,\ \|u\|_{L^2(Ω)}=1\right\}$$ reminds the classical drop problems, where the first eigenvalue replaces the total variation functional. We prove an existence result for general shape cost functionals and we show some qualitative properties of the optimal domains.
△ Less
Submitted 6 June, 2014;
originally announced June 2014.
-
Optimization problems involving the first Dirichlet eigenvalue and the torsional rigidity
Authors:
Giuseppe Buttazzo,
Michiel van den Berg,
Bozhidar Velichkov
Abstract:
We present some open problems and obtain some partial results for spectral optimization problems involving measure, torsional rigidity and first Dirichlet eigenvalue.
We present some open problems and obtain some partial results for spectral optimization problems involving measure, torsional rigidity and first Dirichlet eigenvalue.
△ Less
Submitted 31 October, 2014; v1 submitted 1 March, 2014;
originally announced March 2014.
-
Shape optimization problems on metric measure spaces
Authors:
Giuseppe Buttazzo,
Bozhidar Velichkov
Abstract:
We consider shape optimization problems of the form $$\min\big\{J(Ω)\ :\ Ω\subset X,\ m(Ω)\le c\big\},$$ where $X$ is a metric measure space and $J$ is a suitable shape functional. We adapt the notions of $γ$-convergence and weak $γ$-convergence to this new general abstract setting to prove the existence of an optimal domain. Several examples are pointed out and discussed.
We consider shape optimization problems of the form $$\min\big\{J(Ω)\ :\ Ω\subset X,\ m(Ω)\le c\big\},$$ where $X$ is a metric measure space and $J$ is a suitable shape functional. We adapt the notions of $γ$-convergence and weak $γ$-convergence to this new general abstract setting to prove the existence of an optimal domain. Several examples are pointed out and discussed.
△ Less
Submitted 13 December, 2013;
originally announced December 2013.
-
Shape Optimization Problems for Metric Graphs
Authors:
Giuseppe Buttazzo,
Berardo Ruffini,
Bozhidar Velichkov
Abstract:
We consider the shape optimization problem $$\min\big\{{\mathcal E}(Γ)\ :\ Γ\in{\mathcal A},\ {\mathcal H}^1(Γ)=l\ \big\},$$ where ${\mathcal H}^1$ is the one-dimensional Hausdorff measure and ${\mathcal A}$ is an admissible class of one-dimensional sets connecting some prescribed set of points ${\mathcal D}=\{D_1,\dots,D_k\}\subset{\mathbb R}^d$. The cost functional ${\mathcal E}(Γ)$ is the Diric…
▽ More
We consider the shape optimization problem $$\min\big\{{\mathcal E}(Γ)\ :\ Γ\in{\mathcal A},\ {\mathcal H}^1(Γ)=l\ \big\},$$ where ${\mathcal H}^1$ is the one-dimensional Hausdorff measure and ${\mathcal A}$ is an admissible class of one-dimensional sets connecting some prescribed set of points ${\mathcal D}=\{D_1,\dots,D_k\}\subset{\mathbb R}^d$. The cost functional ${\mathcal E}(Γ)$ is the Dirichlet energy of $Γ$ defined through the Sobolev functions on $Γ$ vanishing on the points $D_i$. We analyze the existence of a solution in both the families of connected sets and of metric graphs. At the end, several explicit examples are discussed.
△ Less
Submitted 13 December, 2013;
originally announced December 2013.
-
Lipschitz regularity of the eigenfunctions on optimal domains
Authors:
Dorin Bucur,
Dario Mazzoleni,
Aldo Pratelli,
Bozhidar Velichkov
Abstract:
We study the optimal sets $Ω^\ast\subset\mathbb{R}^d$ for spectral functionals $F\big(λ_1(Ω),\dots,λ_p(Ω)\big)$, which are bi-Lipschitz with respect to each of the eigenvalues $λ_1(Ω),\dots,λ_p(Ω)$ of the Dirichlet Laplacian on $Ω$, a prototype being the problem $$ \min{\big\{λ_1(Ω)+\dots+ λ_p(Ω)\;:\;Ω\subset\mathbb{R}^d,\ |Ω|=1\big\}}. $$ We prove the Lipschitz regularity of the eigenfunctions…
▽ More
We study the optimal sets $Ω^\ast\subset\mathbb{R}^d$ for spectral functionals $F\big(λ_1(Ω),\dots,λ_p(Ω)\big)$, which are bi-Lipschitz with respect to each of the eigenvalues $λ_1(Ω),\dots,λ_p(Ω)$ of the Dirichlet Laplacian on $Ω$, a prototype being the problem $$ \min{\big\{λ_1(Ω)+\dots+ λ_p(Ω)\;:\;Ω\subset\mathbb{R}^d,\ |Ω|=1\big\}}. $$ We prove the Lipschitz regularity of the eigenfunctions $u_1,\dots,u_p$ of the Dirichlet Laplacian on the optimal set $Ω^*$ and, as a corollary, we deduce that $Ω^*$ is open. For functionals depending only on a generic subset of the spectrum, as for example $λ_k(Ω)$ or $λ_{k_1}(Ω)+\dots+λ_{k_p}(Ω)$, our result proves only the existence of a Lipschitz continuous eigenfunction in correspondence to each of the eigenvalues involved.
△ Less
Submitted 12 December, 2013;
originally announced December 2013.
-
Multiphase shape optimization problems
Authors:
Dorin Bucur,
Bozhidar Velichkov
Abstract:
This paper is devoted to the analysis of multiphase shape optimization problems, which can formally be written as $\min\Big\{{g}(F_1(Ω_1),\dots,F_h(Ω_h))+ m\vert\,\bigcup_{i=1}^hΩ_i\vert :\ Ω_i\subset D,\ Ω_i\cap Ω_j =\emptyset\Big\},$ where $D\subset\mathcal{R}^d$ is a given bounded open set, $\vertΩ_i\vert$ is the Lebesgue measure of $Ω_i$ and $m$ is a positive constant. For a large class of suc…
▽ More
This paper is devoted to the analysis of multiphase shape optimization problems, which can formally be written as $\min\Big\{{g}(F_1(Ω_1),\dots,F_h(Ω_h))+ m\vert\,\bigcup_{i=1}^hΩ_i\vert :\ Ω_i\subset D,\ Ω_i\cap Ω_j =\emptyset\Big\},$ where $D\subset\mathcal{R}^d$ is a given bounded open set, $\vertΩ_i\vert$ is the Lebesgue measure of $Ω_i$ and $m$ is a positive constant. For a large class of such functionals, we analyse qualitative properties of the cells $Ω_i$ and the interaction between them. Each cell is itself subsolution for a (single phase) shape optimization problem, from which we deduce properties like finite perimeter, inner density, separation by open sets, absence of triple junction points, etc.
As main examples we consider functionals involving the eigenvalues of the Dirichlet Laplacian of each cell, i.e. $F_i=λ_{k_i}$.
△ Less
Submitted 9 October, 2013;
originally announced October 2013.
-
Spectral optimization problems for potentials and measures
Authors:
Dorin Bucur,
Giuseppe Buttazzo,
Bozhidar Velichkov
Abstract:
In the present paper we consider spectral optimization problems involving the Schrödinger operator $-Δ+μ$ on $\R^d$, the prototype being the minimization of the $k$ the eigenvalue $λ_k(μ)$. Here $μ$ may be a capacitary measure with prescribed torsional rigidity (like in the Kohler-Jobin problem) or a classical nonnegative potential $V$ which satisfies the integral constraint…
▽ More
In the present paper we consider spectral optimization problems involving the Schrödinger operator $-Δ+μ$ on $\R^d$, the prototype being the minimization of the $k$ the eigenvalue $λ_k(μ)$. Here $μ$ may be a capacitary measure with prescribed torsional rigidity (like in the Kohler-Jobin problem) or a classical nonnegative potential $V$ which satisfies the integral constraint $\ds \int V^{-p}dx \le m$ with $0<p<1$. We prove the existence of global solutions in $\R^d$ and that the optimal potentials or measures are equal to $+\infty$ outside a compact set.
△ Less
Submitted 6 October, 2013;
originally announced October 2013.
-
Faber-Krahn inequalities in sharp quantitative form
Authors:
Lorenzo Brasco,
Guido De Philippis,
Bozhidar Velichkov
Abstract:
The classical Faber-Krahn inequality asserts that balls (uniquely) minimize the first eigenvalue of the Dirichlet-Laplacian among sets with given volume. In this paper we prove a sharp quantitative enhancement of this result, thus confirming a conjecture by Nadirashvili and Bhattacharya-Weitsman. More generally, the result applies to every optimal Poincaré-Sobolev constant for the embeddings…
▽ More
The classical Faber-Krahn inequality asserts that balls (uniquely) minimize the first eigenvalue of the Dirichlet-Laplacian among sets with given volume. In this paper we prove a sharp quantitative enhancement of this result, thus confirming a conjecture by Nadirashvili and Bhattacharya-Weitsman. More generally, the result applies to every optimal Poincaré-Sobolev constant for the embeddings $W^{1,2}_0(Ω)\hookrightarrow L^q(Ω)$.
△ Less
Submitted 3 June, 2013;
originally announced June 2013.
-
Optimal Potentials For Schrodinger Operators
Authors:
Giuseppe Buttazzo,
Augusto Gerolin,
Berardo Ruffini,
Bozhidar Velichkov
Abstract:
We consider the Schrodinger operator a given domain. Our goal is to study some optimization problems where an optimal (non-negative) potential V has to be determined in some suitable admissible classes and for some suitable optimization criteria, like the energy or the Dirichlet eigenvalues.
We consider the Schrodinger operator a given domain. Our goal is to study some optimization problems where an optimal (non-negative) potential V has to be determined in some suitable admissible classes and for some suitable optimization criteria, like the energy or the Dirichlet eigenvalues.
△ Less
Submitted 2 May, 2013;
originally announced May 2013.