arXiv subjects

Giuseppe Buttazzo

Publications and source records attributed to Giuseppe Buttazzo.

At least 19 recordsLinked to original sources

arXiv2026

On the relations between fundamental frequency and torsional rigidity in the case of anisotropic energies

We consider variational energies of the form \[E_H(u)=\frac12\int_\Omega H^2(\nabla u)\,dx\] defined on the Sobolev space $H^1_0(\Omega)$, where $H$ is a general seminorm. Our primary objective is to investigate optimization problems associated with the first eigenvalue $\lambda_H(\Omega)$ and the torsional rigidity $T_H(\Omega)$ induced by the seminorm $H$. In particular, we focus on functionals of the type \[F_{q,\Omega}(H)=\lambda_H(\Omega)\,T_H^q(\Omega),\] where $q>0$ is a fixed real parameter. The optimization is performed with respect to the control $H$; we analyze both minimization and maximization problems for $F_{q,\Omega}(H)$, as $H$ ranges over a suitable class of seminorms.

math.OC↗

arXiv2026

Optimization problems for elliptic PDEs

In this paper we consider some optimal control problems governed by elliptic partial differential equations. The solution is the state variable, while the control variable is, depending on the case, the coefficient of the PDE, the potential, the right-hand side. The cost functional is of integral type and involves both the state and control variables.

math.OC↗

arXiv2025

Relations between principal eigenvalue and torsional rigidity with Robin boundary conditions

We consider the torsional rigidity and the principal eigenvalue related to the Laplace operator with Dirichlet and Robin boundary conditions. The goal is to find upper and lower bounds to products of suitable powers of the quantities above in the class of Lipschitz domains. The threshold exponent for the Robin case is explicitly recovered and shown to be strictly smaller than in the Dirichlet one.

math.AP↗

arXiv2025

Optimal coefficients for elliptic PDEs

We consider an optimization problem related to elliptic PDEs of the form $-{\rm div}(a(x)\nabla u)=f$ with Dirichlet boundary condition on a given domain $Ω$. The coefficient $a(x)$ has to be determined, in a suitable given class of admissible choices, in order to optimize a given criterion. We first deal with the case when the cost is the so-called elastic compliance, and then we discuss the more general case when the problem is written as an optimal control problem.

math.OC↗

arXiv2025

The problem of minimal resistance, old and new

Since its original formulation by Isaac Newton in 1685, the problem of determining bodies of minimal resistance moving through a fluid has been one of the classical problems in the calculus of variations. Initially posed for cylindrically symmetric bodies, the problem was later extended to general convex shapes, as explored in \cite{BK93}, \cite{BFK95}. Since then, this broader formulation has inspired a number of articles dedicated to the study of the geometric and analytical properties of optimal shapes, with particular attention to their structure, regularity, and behavior under various constraints. In this article, we provide a comprehensive overview of the principal results that have been established, highlighting the main theoretical advancements. Furthermore, we introduce some new directions of research, some of which were described in \cite{P12}, that offer promising perspectives for future investigation.

math.OC↗

arXiv2025

Optimal domains for the Cheeger inequality

In this paper we consider the scale invariant shape functional $${\mathcal{F}}_{p,q}(Ω)=\frac{λ_p^{1/p}(Ω)}{λ_q^{1/q}(Ω)},$$ where $1\le q<p\le+\infty$ and $λ_p(Ω)$ (respectively $λ_q(Ω)$) is the first eigenvalue of the $p$-Laplacian $-Δ_p$ (respectively $-Δ_q$) with Dirichlet boundary condition on $\partialΩ$. We study both the maximization and minimization problems for ${\mathcal{F}}_{p,q}$, and show the existence of optimal domains in ${\mathbb{R}}^d$, along with some of their qualitative properties. Surprisingly, the case of a bounded box $D$ constraint $$\max\Big\{λ_q(Ω)\ :\ Ω\subset D,\ λ_p(Ω)=1\Big\},$$ leads to a problem of different nature, for which the existence of a solution is shown by analyzing optimal capacitary measures. In the last section we list some interesting questions that, in our opinion, deserve to be investigated.

math.OC↗

arXiv2025

Optimal sources for elliptic PDEs

We investigate optimal control problems governed by the elliptic partial differential equation $-Δu=f$ subject to Dirichlet boundary conditions on a given domain $Ω$. The control variable in this setting is the right-hand side $f$, and the objective is to minimize a cost functional that depends simultaneously on the control $f$ and on the associated state function $u$. We establish the existence of optimal controls and analyze their qualitative properties by deriving necessary conditions for optimality. In particular, when pointwise constraints of the form $α\le f\leβ$ are imposed a priori on the control, we examine situations where a {\it bang-bang} phenomenon arises, that is where the optimal control $f$ assumes only the extremal values $α$ and $β$. More precisely, the control takes the form $f=\alpha1_E+\beta1_{Ω\setminus E}$, thereby placing the problem within the framework of shape optimization. Under suitable assumptions, we further establish certain regularity properties for the optimal sets $E$. Finally, in the last part of the paper, we present numerical simulations that illustrate our theoretical findings through a selection of representative examples.

math.OC↗

arXiv2025

Optimal domains for the Cheeger inequality

In this paper we prove the existence of an optimal domain $Ω_{opt}$ for the shape optimization problem $$\max\Big\{λ_q(Ω)\ :\ Ω\subset D,\ λ_p(Ω)=1\Big\},$$ where $q<p$ and $D$ is a prescribed bounded subset of ${\bf R}^d$. Here $λ_p(Ω)$ (respectively $λ_q(Ω)$) is the first eigenvalue of the $p$-Laplacian $-Δ_p$ (respectively $-Δ_q$) with Dirichlet boundary condition on $\partialΩ$. This is related to the existence of optimal sets that minimize the generalized Cheeger ratio $${\mathcal F}_{p,q}(Ω)=\frac{λ_p^{1/p}(Ω)}{λ_q^{1/q}(Ω)}.$$

math.AP↗

arXiv2025

Dissociation limits in Density Functional Theory

In this paper we consider the {\it Density Functional Theory} (DFT) framework, where a functional of the form $$F_\eps(ρ)=\eps T(ρ)+bC(ρ)-U(ρ)$$ has to be minimized in the class of non-negative measures $ρ$ which have a prescribed total mass $m$ (the total electronic charge). The parameter $\eps$ is small and the terms $T$, $C$, $U$ respectively represent the kinetic energy, the electronic repulsive correlation, the potential interaction term between electrons and nuclei. Several expressions for the above terms have been considered in the literature and our framework is general enough to include most of them. It is known that in general, when the positive charge of the nuclei is small, the so-called {\it ionization phenomenon} may occur, consisting in the fact that the minimizers of $F_\eps$ can have a total mass lower than $m$; this physically means that some of the electrons may escape to infinity when the attraction of the nuclei is not strong enough. Our main goal, continuing the research we started in \cite{bbcd18}, is to study the asymptotic behavior of the minimizers of $F_\eps$ as $\eps\to0$. We show that the $Γ$-limit functional is defined on sums of Dirac masses and has an explicit expression that depends on the terms $T$, $C$, $U$ that the model takes into account. Some explicit examples illustrate how the electrons are distributed around the nuclei according to the model used.

math-ph↗

arXiv2025

Asymptotics of nonlinear Robin energies

This paper investigates the asymptotic behavior of a class of nonlinear variational problems with Robin-type boundary conditions on a bounded Lipschitz domain. The energy functional contains a bulk term (the $p$-norm of the gradient), a boundary term (the $q$-norm of the trace) scaled by a parameter $α>0$, and a linear source term. By variational methods, we derive first-order expansions of the minimum as $α\to 0^+$ (Neumann limit) and as $α\to+\infty$ (Dirichlet limit). In the Dirichlet limit, the energy converges to the one of Dirichlet problem with a power-type quantified rate (depending only on $q$), while the Neumann limit exhibits a dichotomy: under a compatibility condition, the energy linearly approaches the one of Neumann problem, otherwise, it diverges as a power of $α$ depending only on $q$.

math.AP↗

arXiv2025

Monge-Kantorovich interpolation with constraints and application to a parking problem

We consider optimal transport problems where the cost for transporting a given probability measure $μ_0$ to another one $μ_1$ consists of two parts: the first one measures the transportation from $μ_0$ to an intermediate (pivot) measure $μ$ to be determined (and subject to various constraints), and the second one measures the transportation from $μ$ to $μ_1$. This leads to Monge-Kantorovich interpolation problems under constraints for which we establish various properties of the optimal pivot measures $μ$. Considering the more general situation where only some part of the mass uses the intermediate stop leads to a mathematical model for the optimal location of a parking region around a city. Numerical simulations, based on entropic regularization, are presented both for the optimal parking regions and for Monge-Kantorovich constrained interpolation problems.

math.OC↗

arXiv2024

Optimization of an eigenvalue arising in optimal insulation with a lower bound

An eigenvalue problem arising in optimal insulation related to the minimization of the heat decay rate of an insulated body is adapted to enforce a positive lower bound imposed on the distribution of insulating material. We prove the existence of optimal domains among a class of convex shapes and propose a numerical scheme to approximate the eigenvalue. The stability of the shape optimization among convex, bounded domains in $\mathbb{R}^3$ is proven for an approximation with polyhedral domains under a non-conformal convexity constraint. We prove that on the ball, symmetry breaking of the optimal insulation can be expected in general. To observe how the lower bound affects the breaking of symmetry in the optimal insulation and the shape optimization, the eigenvalue and optimal domains are approximated for several values of mass $m$ and lower bounds $\ell_{\min}\ge0$. The numerical experiments suggest, that in general symmetry breaking still arises, unless $m$ is close to a critical value $m_0$, and $\ell_{\min}$ large enough such that almost all of the mass $m$ is fixed through the lower bound. For $\ell_{\min}=0$, the numerical results are consistent with previous numerical experiments on shape optimization restricted to rotationally symmetric, convex domains.

math.NA↗

arXiv2023

Mass optimization problem with convex cost

In this paper we consider a mass optimization problem in the case of scalar state function, where instead of imposing a constraint on the total mass of the competitors, we penalize the classical compliance by a convex functional defined on the space of measures. We obtain a characterization of optimal solutions to the problem through a suitable PDE. This generalizes the case considered in the literature of a linear cost and applies to the optimization of a conductor where very low and very high conductivities have both a high cost, and then the study of nonlinear models becomes relevant.

math.OC↗

arXiv2023

On the regularity of optimal potentials in control problems governed by elliptic equations

In this paper we consider optimal control problems where the control variable is a potential and the state equation is an elliptic partial differential equation of a Schrödinger type, governed by the Laplace operator. The cost functional involves the solution of the state equation and a penalization term for the control variable. While the existence of an optimal solution simply follows by the direct methods of the calculus of variations, the regularity of the optimal potential is a difficult question and under the general assumptions we consider, no better regularity than the $BV$ one can be expected. This happens in particular for the cases in which a bang-bang solution occurs, where optimal potentials are characteristic functions of a domain. We prove the $BV$ regularity of optimal solutions through a regularity result for PDEs. Some numerical simulations show the behavior of optimal potentials in some particular cases.

math.OC↗

arXiv2023

On the numerical approximation of Blaschke-Santaló diagrams using Centroidal Voronoi Tessellations

Identifying Blaschke-Santaló diagrams is an important topic that essentially consists in determining the image $Y=F(X)$ of a map $F:X\to{\mathbb{R}}^d$, where the dimension of the source space $X$ is much larger than the one of the target space. In some cases, that occur for instance in shape optimization problems, $X$ can even be a subset of an infinite-dimensional space. The usual Monte Carlo method, consisting in randomly choosing a number $N$ of points $x_1,\dots,x_N$ in $X$ and plotting them in the target space ${\mathbb{R}}^d$, produces in many cases areas in $Y$ of very high and very low concentration leading to a rather rough numerical identification of the image set. On the contrary, our goal is to choose the points $x_i$ in an appropriate way that produces a uniform distribution in the target space. In this way we may obtain a good representation of the image set $Y$ by a relatively small number $N$ of samples which is very useful when the dimension of the source space $X$ is large (or even infinite) and the evaluation of $F(x_i)$ is costly. Our method consists in a suitable use of {\it Centroidal Voronoi Tessellations} which provides efficient numerical results. Simulations for two and three dimensional examples are shown in the paper.

math.NA↗

arXiv2022

Regularity of the optimal sets for a class of integral shape functionals

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.

math.AP↗

arXiv2022

On a reverse Kohler-Jobin inequality

We consider the shape optimization problems for the quantities $λ(Ω)T^q(Ω)$, where $Ω$ varies among open sets of $\mathbb{R}^d$ with a prescribed Lebesgue measure. While the characterization of the infimum is completely clear, the same does not happen for the maximization in the case $q>1$. We prove that for $q$ large enough a maximizing domain exists among quasi-open sets and that the ball is optimal among {\it nearly spherical domains}.

math.OC↗

arXiv2022

On the continuity of the Continuous Steiner Symmetrization

Starting from the Brock's construction of Continuous Steiner Symmetrization of sets, the problem of modifying continuously a given domain up to obtain a ball, preserving its measure and with decreasing first eigenvalue of the Laplace operator, is considered. For a large class of cases it is shown this is possible, while the general question remains still open.

math.OC↗