Regularity of the optimal sets for some spectral functionals (Q529615): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
Property / review text | |||
Functionals involving the eigenvalues of the Laplacian are the object of this paper. The authors study the regularity of the optimal sets for the shape optimization problem \[ (*)\;\min\Big\{\lambda_{1}(\Omega)+\dotsm+\lambda_{k}(\Omega)\;:\;\Omega \subset {\mathbb {R}}^{d}\;\text{open},\quad |\Omega| = 1\Big\}, \] where \(\lambda_{1},\dotsc,\lambda_{k}\) are the eigenvalues of the Dirichlet Laplacian on the set \(\Omega\) and \({|\cdot|}\) is the \(d\)-dimensional Lebesgue measure. A set \(\Omega\subset\mathbb R^d\) is \(d^*\)-regular if \(\partial\Omega\) is the disjoint union of a regular part \(\roman{Reg}(\partial\Omega)\) and a singular part \(\roman{Sing}(\partial\Omega)\) such that \(\roman{Reg}(\partial\Omega)\) is an open subset of \(\partial\Omega\) and locally a \(C^\infty\) hypersurface of codimension one, and \(\roman{Sing}(\partial\Omega)\) is a closed subset of \(\partial\Omega\) and has the following properties: (i)\,if \(d<d^*\), then \(\roman{Sing}(\partial\Omega)\) is empty, (ii)\,if \(d=d^*\), then the singular set \(\roman{Sing}(\partial\Omega)\) contains at most a finite number of isolated points, and (iii)\,if \(d>d^*\), then the Hausdorff dimension of \(\roman{Sing}(\partial\Omega)\) is less than \(d-d^*\). In this work, the authors consider the natural number \(d^*\in[5,7]\) as the smallest dimension at which the free boundaries of the local minima of the scalar one-phase functional \(u\mapsto\int|\Delta u|^2dx+|\{u>0\}|\) admit singularities. They prove that if the open set \(\Omega^*_k\subset\mathbb R^d\) is an optimal set for the shape optimization problem \((*)\), then \(\Omega^*_k\) is connected and \(d^*\)-regular. Moreover, the vector \(U=(u_1,\dots,u_k)\) of the normalized eigenfunctions is such that \(|U|\) has a \(C^1\) extension on the regular part of the free boundary and satisfies the optimality condition \(\big|\Delta|U|\big|=\sqrt{\Lambda}\) on \(\roman{Reg}(\partial\Omega^*_k)\), where the constant \(\Lambda\) is given by \(\Lambda=\frac2d\sum\limits_{i=1}^k\lambda_i(\Omega^*_k)\). | |||
Property / review text: Functionals involving the eigenvalues of the Laplacian are the object of this paper. The authors study the regularity of the optimal sets for the shape optimization problem \[ (*)\;\min\Big\{\lambda_{1}(\Omega)+\dotsm+\lambda_{k}(\Omega)\;:\;\Omega \subset {\mathbb {R}}^{d}\;\text{open},\quad |\Omega| = 1\Big\}, \] where \(\lambda_{1},\dotsc,\lambda_{k}\) are the eigenvalues of the Dirichlet Laplacian on the set \(\Omega\) and \({|\cdot|}\) is the \(d\)-dimensional Lebesgue measure. A set \(\Omega\subset\mathbb R^d\) is \(d^*\)-regular if \(\partial\Omega\) is the disjoint union of a regular part \(\roman{Reg}(\partial\Omega)\) and a singular part \(\roman{Sing}(\partial\Omega)\) such that \(\roman{Reg}(\partial\Omega)\) is an open subset of \(\partial\Omega\) and locally a \(C^\infty\) hypersurface of codimension one, and \(\roman{Sing}(\partial\Omega)\) is a closed subset of \(\partial\Omega\) and has the following properties: (i)\,if \(d<d^*\), then \(\roman{Sing}(\partial\Omega)\) is empty, (ii)\,if \(d=d^*\), then the singular set \(\roman{Sing}(\partial\Omega)\) contains at most a finite number of isolated points, and (iii)\,if \(d>d^*\), then the Hausdorff dimension of \(\roman{Sing}(\partial\Omega)\) is less than \(d-d^*\). In this work, the authors consider the natural number \(d^*\in[5,7]\) as the smallest dimension at which the free boundaries of the local minima of the scalar one-phase functional \(u\mapsto\int|\Delta u|^2dx+|\{u>0\}|\) admit singularities. They prove that if the open set \(\Omega^*_k\subset\mathbb R^d\) is an optimal set for the shape optimization problem \((*)\), then \(\Omega^*_k\) is connected and \(d^*\)-regular. Moreover, the vector \(U=(u_1,\dots,u_k)\) of the normalized eigenfunctions is such that \(|U|\) has a \(C^1\) extension on the regular part of the free boundary and satisfies the optimality condition \(\big|\Delta|U|\big|=\sqrt{\Lambda}\) on \(\roman{Reg}(\partial\Omega^*_k)\), where the constant \(\Lambda\) is given by \(\Lambda=\frac2d\sum\limits_{i=1}^k\lambda_i(\Omega^*_k)\). / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Andrew Bucki / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 49Q10 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 35R35 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 47A75 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 49R05 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 49L25 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6721409 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
shape optimization | |||
Property / zbMATH Keywords: shape optimization / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Dirichlet eigenvalues | |||
Property / zbMATH Keywords: Dirichlet eigenvalues / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
optimality conditions | |||
Property / zbMATH Keywords: optimality conditions / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
regularity of free boundaries | |||
Property / zbMATH Keywords: regularity of free boundaries / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
viscosity solutions | |||
Property / zbMATH Keywords: viscosity solutions / rank | |||
Normal rank |
Revision as of 08:30, 1 July 2023
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Regularity of the optimal sets for some spectral functionals |
scientific article |
Statements
Regularity of the optimal sets for some spectral functionals (English)
0 references
19 May 2017
0 references
Functionals involving the eigenvalues of the Laplacian are the object of this paper. The authors study the regularity of the optimal sets for the shape optimization problem \[ (*)\;\min\Big\{\lambda_{1}(\Omega)+\dotsm+\lambda_{k}(\Omega)\;:\;\Omega \subset {\mathbb {R}}^{d}\;\text{open},\quad |\Omega| = 1\Big\}, \] where \(\lambda_{1},\dotsc,\lambda_{k}\) are the eigenvalues of the Dirichlet Laplacian on the set \(\Omega\) and \({|\cdot|}\) is the \(d\)-dimensional Lebesgue measure. A set \(\Omega\subset\mathbb R^d\) is \(d^*\)-regular if \(\partial\Omega\) is the disjoint union of a regular part \(\roman{Reg}(\partial\Omega)\) and a singular part \(\roman{Sing}(\partial\Omega)\) such that \(\roman{Reg}(\partial\Omega)\) is an open subset of \(\partial\Omega\) and locally a \(C^\infty\) hypersurface of codimension one, and \(\roman{Sing}(\partial\Omega)\) is a closed subset of \(\partial\Omega\) and has the following properties: (i)\,if \(d<d^*\), then \(\roman{Sing}(\partial\Omega)\) is empty, (ii)\,if \(d=d^*\), then the singular set \(\roman{Sing}(\partial\Omega)\) contains at most a finite number of isolated points, and (iii)\,if \(d>d^*\), then the Hausdorff dimension of \(\roman{Sing}(\partial\Omega)\) is less than \(d-d^*\). In this work, the authors consider the natural number \(d^*\in[5,7]\) as the smallest dimension at which the free boundaries of the local minima of the scalar one-phase functional \(u\mapsto\int|\Delta u|^2dx+|\{u>0\}|\) admit singularities. They prove that if the open set \(\Omega^*_k\subset\mathbb R^d\) is an optimal set for the shape optimization problem \((*)\), then \(\Omega^*_k\) is connected and \(d^*\)-regular. Moreover, the vector \(U=(u_1,\dots,u_k)\) of the normalized eigenfunctions is such that \(|U|\) has a \(C^1\) extension on the regular part of the free boundary and satisfies the optimality condition \(\big|\Delta|U|\big|=\sqrt{\Lambda}\) on \(\roman{Reg}(\partial\Omega^*_k)\), where the constant \(\Lambda\) is given by \(\Lambda=\frac2d\sum\limits_{i=1}^k\lambda_i(\Omega^*_k)\).
0 references
shape optimization
0 references
Dirichlet eigenvalues
0 references
optimality conditions
0 references
regularity of free boundaries
0 references
viscosity solutions
0 references