SearcharxivSearch

arXiv subjects

Barbara Brandolini

Publications and source records attributed to Barbara Brandolini.

15 recordsLinked to original sources

First Eigenvalue and Torsional Rigidity: Isoperimetric Inequalities for the Fractional Laplacian

We present a fractional counterpart of a generalized Kohler-Jobin inequality, showing that, among all bounded, open sets $\Omega\subset \mathbb{R}^N$ with Lipschitz boundary, having the same fractional torsional rigidity, the first Dirichlet eigenvalue $\lambda_1(\Omega)$ of the fractional Laplacian attains its minimum on balls. With the same arguments we also establish a reverse H\"older inequality for an eigenfunction corresponding to $\lambda_1(\Omega)$.

math.AP

Boundedness of solutions to singular anisotropic elliptic equations

We prove the uniform boundedness of all solutions for a general class of Dirichlet anisotropic elliptic problems of the form $$-\Delta_{\overrightarrow{p}}u+\Phi_0(u,\nabla u)=\Psi(u,\nabla u) +f $$ on a bounded open subset $\Omega\subset \mathbb R^N$ $(N\geq 2)$, where $ \Delta_{\overrightarrow{p}}u=\sum_{j=1}^N \partial_j (|\partial_j u|^{p_j-2}\partial_j u)$ and $\Phi_0(u,\nabla u)=\left(\mathfrak{a}_0+\sum_{j=1}^N \mathfrak{a}_j |\partial_j u|^{p_j}\right)|u|^{m-2}u$, with $\mathfrak{a}_0>0$, $m,p_j>1$, $\mathfrak{a}_j\geq 0$ for $1\leq j\leq N$ and $N/p=\sum_{k=1}^N (1/p_k)>1$. We assume that $f \in L^r(\Omega)$ with $r>N/p$. The feature of this study is the inclusion of a possibly singular gradient-dependent term $\Psi(u,\nabla u)=\sum_{j=1}^N |u|^{\theta_j-2}u\, |\partial_j u|^{q_j}$, where $\theta_j>0$ and $0\leq q_j<p_j$ for $1\leq j\leq N$. The existence of such weak solutions is contained in a recent paper by the authors.

math.AP

Isoperimetric sets for weighted twisted eigenvalues

In tis paper we prove an isoperimetric inequality for the first twisted eigenvalue $\lambda_{1,\gamma}^T(\Omega)$ of a weighted operator, defined as the minimum of the usual Rayleigh quotient when the trial functions belong to the weighted Sobolev space $H_0^1(\Omega,d\gamma)$ and have weighted mean value equal to zero in $\Omega$. We are interested in positive measures $d\gamma=\gamma(x) dx$ for which we are able to identify the isoperimetric sets, namely, the sets that minimize $\lambda_{1,\gamma}^T(\Omega)$ among sets of given weighted measure. In the cases under consideration, the optimal sets are given by two identical and disjoint copies of the isoperimetric sets (for the weighted perimeter with respect to the weighted measure).

math.AP

Comparison results for a nonlocal singular elliptic problem

We provide symmetrization results in the form of mass concentration comparisons for fractional singular elliptic equations in bounded domains, coupled with homogeneous external Dirichlet conditions. Two types of comparison results are presented, depending on the summability of the right-hand side of the equation. The maximum principle arguments employed in the core of the proofs of the main results offer a nonstandard, flexible alternative to the ones described in [18, Theorem 31]. Some interesting consequences are Lp regularity results and nonlocal energy estimates for solutions.

math.AP

Eigenvalue Estimates for $p$-Laplace Problems on Domains Expressed in Fermi Coordinates

We prove explicit and sharp eigenvalue estimates for Neumann $p$-Laplace eigenvalues in domains that admit a representation in Fermi coordinates. More precisely, if $\gamma$ denotes a non-closed curve in $\mathbb{R}^2$ symmetric with respect to the $y$-axis, let $D\subset \mathbb{R}^2$ denote the domain of points that lie on one side of $\gamma$ and within a prescribed distance $\delta(s)$ from $\gamma(s)$ (here $s$ denotes the arc length parameter for $\gamma$). Write $\mu_1^{odd}(D)$ for the lowest nonzero eigenvalue of the Neumann $p$-Laplacian with an eigenfunction that is odd with respect to the $y$-axis. For all $p>1$, we provide a lower bound on $\mu_1^{odd}(D)$ when the distance function $\delta$ and the signed curvature $k$ of $\gamma$ satisfy certain geometric constraints. In the linear case ($p=2$), we establish sufficient conditions to guarantee $\mu_1^{odd}(D)=\mu_1(D)$. We finally study the asymptotics of $\mu_1(D)$ as the distance function tends to zero. We show that in the limit, the eigenvalues converge to the lowest nonzero eigenvalue of a weighted one-dimensional Neumann $p$-Laplace problem.

math.AP

Singular anisotropic elliptic equations with gradient-dependent lower order terms

We prove the existence of a solution to a singular anisotropic elliptic equation in a bounded open subset $\Omega$ of $\mathbb R^N$ with $N\ge 2$, subject to a homogeneous boundary condition: \begin{equation} \label{eq0} \left\{ \begin{array}{ll} \mathcal A u+ \Phi(u,\nabla u)=\Psi(u,\nabla u)+ \mathfrak{B} u \quad& \mbox{in } \Omega,\\ u=0 & \mbox{on } \partial\Omega. \end{array} \right. \end{equation} Here $ \mathcal A u=-\sum_{j=1}^N |\partial_j u|^{p_j-2}\partial_j u$ is the anisotropic $\overrightarrow{p}$-Laplace operator, while $\mathfrak B$ is an operator from $W_0^{1,\overrightarrow{p}}(\Omega)$ into $W^{-1,\overrightarrow{p}'}(\Omega)$ satisfying suitable, but general, structural assumptions. $\Phi$ and $\Psi$ are gradient-dependent nonlinearities whose models are the following: \begin{equation*} \label{phi}\Phi(u,\nabla u):=\left(\sum_{j=1}^N \mathfrak{a}_j |\partial_j u|^{p_j}+1\right)|u|^{m-2}u, \quad \Psi(u,\nabla u):=\frac{1}{u}\sum_{j=1}^N |u|^{\theta_j} |\partial_j u|^{q_j}. \end{equation*} We suppose throughout that, for every $1\leq j\leq N$, \begin{equation*}\label{ass} \mathfrak{a}_j\geq 0, \quad \theta_j>0, \quad 0\leq q_j<p_j, \quad 1<p_j,m\quad \mbox{and}\quad p<N, \end{equation*} and we distinguish two cases: 1) for every $1\leq j\leq N$, we have $\theta_j\geq 1$; 2) there exists $1\leq j\leq N$ such that $\theta_j<1$. In this last situation, we look for non-negative solutions of \eqref{eq0}.

math.AP

Anisotropic elliptic equations with gradient-dependent lower order terms and $L^1$ data

We prove the existence of a weak solution for a general class of Dirichlet anisotropic elliptic problems such as $\mathcal Au+\Phi(x,u,\nabla u)=\mathfrak{B}u+f$ in $\Omega$, where $\Omega$ is a bounded open subset of $\mathbb R^N$ and $f\in L^1(\Omega)$ is arbitrary. The principal part is a divergence-form nonlinear anisotropic operator $\mathcal A$, the prototype of which is $\mathcal A u=-\sum_{j=1}^N \partial_j(|\partial_j u|^{p_j-2}\partial_j u)$ with $p_j>1$ for all $1\leq j\leq N$ and $\sum_{j=1}^N (1/p_j)>1$. As a novelty in this paper, our lower order terms involve a new class of operators $\mathfrak B$ such that $\mathcal{A}-\mathfrak{B}$ is bounded, coercive and pseudo-monotone from $W_0^{1,\overrightarrow{p}}(\Omega)$ into its dual, as well as a gradient-dependent nonlinearity $\Phi$ with an "anisotropic natural growth" in the gradient and a good sign condition.

math.AP

Improved Bounds for Hermite-Hadamard Inequalities in Higher Dimensions

Let $Ω\subset \mathbb{R}^n$ be a convex domain and let $f:Ω\rightarrow \mathbb{R}$ be a positive, subharmonic function (i.e. $Δf \geq 0$). Then $$ \frac{1}{|Ω|} \int_Ω{f dx} \leq \frac{c_n}{ |\partial Ω| } \int_{\partial Ω}{ f dσ},$$ where $c_n \leq 2n^{3/2}$. This inequality was previously only known for convex functions with a much larger constant. We also show that the optimal constant satisfies $c_n \geq n-1$. As a byproduct, we establish a sharp geometric inequality for two convex domains where one contains the other $ Ω_2 \subset Ω_1 \subset \mathbb{R}^n$: $$ \frac{|\partial Ω_1|}{|Ω_1|} \frac{| Ω_2|}{|\partial Ω_2|} \leq n.$$

math.CA

Existence of minimizers for eigenvalues of the Dirichlet-Laplacian with a drift

This paper deals with the eigenvalue problem for the operator $L=-Δ-x\cdot \nabla $ with Dirichlet boundary conditions. We are interested in proving the existence of a set minimizing any eigenvalue $λ_k$ of $L$ under a suitable measure constraint suggested by the structure of the operator. More precisely we prove that for any $c>0$ and $k\in \mathbb{N} $ the following minimization problem $$ \min\left\{λ_k(Ω): \> Ω\>\mbox{quasi-open} \>\mbox{set}, \> \int_Ωe^{|x|^2/2}dx\le c\right\} $$ has a solution.

math.AP

Symmetry breaking in a constrained Cheeger type isoperimetric inequality

We study the optimal constant in a Sobolev inequality for BV functions with zero mean value and vanishing outside a bounded open set. We are interested in finding the best possible embedding constant in terms of the measure of the domain alone. We set up an optimal shape problem and we completely characterize the behavior of optimal domains.

math.OC

Characterization of ellipsoids through an overdetermined boundary value problem of Monge-Ampère type

The study of the optimal constant in an Hessian-type Sobolev inequality leads to a fully nonlinear boundary value problem, overdetermined with non standard boundary conditions. We show that all the solutions have ellipsoidal symmetry. In the proof we use the maximum principle applied to a suitable auxiliary function in conjunction with an entropy estimate from affine curvature flow.

math.AP

A remark on the radial minimizer of the Ginzburg-Landau functional

Denote by $E_ε$ the Ginzburg-Landau functional in the plane and let $\tilde u_\varepsilon$ be the radial solution to the Euler equation associated to the problem $\min \left\{E_\varepsilon(u,B_1): \>\left. u\right\vert _{\partial B_{1}}=(\cos \vartheta,\sin \vartheta)\right\}$. Let $Ω\subset \R^2$ be a smooth, bounded domain with the same area as $B_1$. Denoted by $$\mathcal{K}=\left\{v=(v_1,v_2) \in H^1(Ω;\R^2):\> \int_Ωv_1\,dx=\int_Ωv_2\,dx=0,\> \int_Ω|v|^2\,dx\ge \int_{B_1} |\tilde u_\varepsilon|^2\,dx\right\},$$ we prove $$ \min_{v \in \mathcal{K}} E_\varepsilon (v,Ω)\le E_\varepsilon (\tilde u_\varepsilon,B_1). $$

math.AP

An optimal Poincaré-Wirtinger inequality in Gauss space

Let $Ω$ be a smooth, convex, unbounded domain of $\R^N$. Denote by $μ_1(Ω)$ the first nontrivial Neumann eigenvalue of the Hermite operator in $Ω$; we prove that $μ_1(Ω) \ge 1$. The result is sharp since equality sign is achieved when $Ω$ is a $N$-dimensional strip. Our estimate can be equivalently viewed as an optimal Poincaré-Wirtinger inequality for functions belonging to the weighted Sobolev space $H^1(Ω,dγ_N)$, where $γ_N$ is the $N$-dimensional Gaussian measure.

math.AP