Existence and regularity of optimal shapes for elliptic operators with drift

From MaRDI portal
Publication:2334528

DOI10.1007/S00526-019-1653-6zbMATH Open1428.49044arXiv1810.07943OpenAlexW2988948443WikidataQ126861950 ScholiaQ126861950MaRDI QIDQ2334528FDOQ2334528


Authors: Emmanuel Russ, Baptiste Trey, Bozhidar Velichkov Edit this on Wikidata


Publication date: 7 November 2019

Published in: Calculus of Variations and Partial Differential Equations (Search for Journal in Brave)

Abstract: This paper is devoted to the study of shape optimization problems for the first eigenvalue of the elliptic operator with drift L = --Delta+V (x)cdot abla with Dirichlet boundary conditions, where V is a bounded vector field. In the first instance, we prove the existence of a principal eigenvalue lambda_1(Omega, V) for a bounded quasi-open set Omega which enjoys similar properties to the case of open sets. Then, given m > 0 and au ge 0, we show that the minimum of the following non-variational problem min lambda_1(Omega, V) : Omega subset D quasi-open, |Omega| le m, |V|_{infty} le au. 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 Omega * solving the minimization problem min lambda_1(Omega, Phi) : Omega subset D quasi-open, |Omega| le m , where Phi is a given Lipschitz function on D. We prove that the topological boundary partialOmega * is composed of a regular part which is locally the graph of a C ^{1,alpha} 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 partialOmega * cap partialD, partialOmega * is C^{ 1,alpha} in a neighborhood of x, for some alpha le 1 /2. This last result is optimal in the sense that C ^{1,1/2} is the best regularity that one can expect.


Full work available at URL: https://arxiv.org/abs/1810.07943




Recommendations




Cites Work


Cited In (15)





This page was built for publication: Existence and regularity of optimal shapes for elliptic operators with drift

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2334528)