arXiv Science⌕ Search

arXiv subjects

Marcos Montenegro

Publications and source records attributed to Marcos Montenegro.

At least 19 recordsLinked to original sources
arXiv2025

On the characterization of the Dirichlet and Fucik spectra of the one-dimensional anisotropic p-Laplace operator

The paper is concerned with the Dirichlet spectrum $Λ^{a,b}_p(0,L)$ of the anisotropic $p$-Laplace operator $- Δ^{a,b}_{p}$ on an interval $(0,L)$ where \[ Δ^{a,b}_p u:= \left(a^{p}[(u')^{+}]^{p-1}-b^{p}[(u')^{-}]^{p-1}\right)', \ \ a, b > 0. \] The set $Λ^{a,b}_p(0,L)$ and the respective eigenfunctions are completely characterized for $a \neq b$ in terms of the corresponding ones within the isotropic context. As an interesting application, we derive a new optimal Poincaré inequality that is stronger than the classical counterpart. The leading ideas are based on glue arguments of conveniently modified eigenfunctions and maximum type principles. More generally, our approach allows to characterize the Fu\v cík spectrum $Σ^{a,b}_p(0,L)$ of $- Δ^{a,b}_{p}$ on $(0,L)$ and mainly the corresponding solutions. All results are novelty even for the nonlinear operator $Δ^{a,b}_2$.

math.SP↗
arXiv2024

Sharp isoanisotropic estimates for fundamental frequencies of membranes and connections with shapes

The underlying motivation of the present work lies on a cornerstone question in spectral optimization that consists of determining sharp lower and upper uniform estimates for fundamental frequencies of a set of uniformly elliptic operators on a fixed membrane. We solve completely the problem in the plane for the general class of anisotropic operators in divergence form generated by arbitrary norms, which also includes the computation of optimal constants and the characterization of corresponding anisotropic extremizers (if they exist). Our approach is based on an isoanisotropic optimization formulation which, in turn, demands to be addressed within the broader environment of nonnegative, convex and 1-homogeneous anisotropies. A fine and detailed analysis of least energy levels associated to anisotropies with maximum degeneracy leads to a central connection between shapes and fundamental frequencies of rather degenerate elliptic operators. Such a linking also permits to establish that the supremum of anisotropic fundamental frequencies over all fixed-area membranes is infinite for any nonzero anisotropy. As a by-product, the well-known maximization conjecture for fundamental frequencies of the p-Laplace operator is proved for any p other than 2.

math.AP↗
arXiv2024

Optimal anisotropies for p-Laplace type operators in the plane

Sharp lower and upper uniform estimates are obtained for fundamental frequencies of $p$-Laplace type operators generated by quadratic forms. Optimal constants are exhibited, rigidity of the upper estimate is proved, anisotropic attainability of the lower estimate is derived as well as characterization of anisotropic extremizers for circular and rectangular membranes. Sharp quantitative anisotropic inequalities associated with lower constants are also established, providing as a by-product information on anisotropic stability. When the uniform ellipticity condition is relaxed, we show that the optimal lower constant remains positive, while anisotropic extremizers no longer exist. Our sharp lower estimate can be viewed as an isoanisotropic counterpart of the Faber-Krahn isoperimetric inequality in the plane.

math.AP↗
arXiv2023

Least energy solutions for affine $p$-Laplace equations involving subcritical and critical nonlinearities

The paper is concerned with Lane-Emden and Brezis-Nirenberg problems involving the affine $p$-laplace nonlocal operator $Δ_p^{\cal A}$, which has been introduced in \cite{HJM5} driven by the affine $L^p$ energy ${\cal E}_{p,Ω}$ from convex geometry due to Lutwak, Yang and Zhang \cite{LYZ2}. We are particularly interested in the existence and nonexistence of positive $C^1$ solutions of least energy type. Part of the main difficulties are caused by the absence of convexity of ${\cal E}_{p,Ω}$ and by the comparison ${\cal E}_{p,Ω}(u) \leq \Vert u \Vert_{W^{1,p}_0(Ω)}$ generally strict.

math.AP↗
arXiv2021

Minimization to the Zhang's energy on $BV(Ω)$ and sharp affine Poincaré-Sobolev inequalities

We prove the existence of minimizers for some constrained variational problems on $BV(Ω)$, under subcritical and critical restrictions, involving the affine energy introduced by Zhang in \cite{Z}. Related functionals have non-coercive geometry and properties like semicontinuity and affine compactness are deeper in the weak* topology. As a by-product of the theory, extremal functions are shown to exist for various affine Poincaré-Sobolev type inequalities.

math.FA↗
arXiv2020

From affine Poincaré inequalities to affine spectral inequalities

Given a bounded open subset $Ω$ of $\mathbb R^n$, we establish the weak closure of the affine ball $B^{\mathcal A}_p(Ω) = \{f \in W^{1,p}_0(Ω):\ \mathcal E_p f \leq 1\}$ with respect to the affine functional $\mathcal E_pf$ introduced by Lutwak, Yang and Zhang in [43] as well as its compactness in $L^p(Ω)$ for any $p \geq 1$. These points use strongly the celebrated Blaschke-Santaló inequality. As counterpart, we develop the basic theory of $p$-Rayleigh quotients in bounded domains, in the affine case, for $p\geq 1$. More specifically, we establish $p$-affine versions of the Poincaré inequality and some of their consequences. We introduce the affine invariant $p$-Laplace operator $Δ_p^{\mathcal A} f$ defining the Euler-Lagrange equation of the minimization problem of the $p$-affine Rayleigh quotient. We also study its first eigenvalue $λ^{\mathcal A}_{1,p}(Ω)$ which satisfies the corresponding affine Faber-Krahn inequality, this is that $λ^{\mathcal A}_{1,p}(Ω)$ is minimized (among sets of equal volume) only when $Ω$ is an ellipsoid. This point depends fundamentally on PDEs regularity analysis aimed at the operator $Δ_p^{\mathcal A} f$. We also present some comparisons between affine and classical eigenvalues, including a result of rigidity through the characterization of equality cases for $p \geq 1$. All affine inequalities obtained are stronger and directly imply the classical ones.

math.AP↗
arXiv2018

Asymmetric Blaschke-Santaló functional inequalities

In this work we establish functional asymmetric versions of the celebrated Blaschke-Santaló inequality. As consequences of these inequalities we recover their geometric counterparts with equality cases, as well as, another inequality with strong probabilistic flavour that was firstly obtained by Lutwak, Yang and Zhang. We present a brief study on an $L_p$ functional analogue to the center of mass that is necessary for our arguments and that might be of independent interest.

math.MG↗
arXiv2017

Sharp affine weighted $L^p$ Sobolev type inequalities

We establish sharp affine weighted $L^p$ Sobolev type inequalities by using the $L_p$ Busemann-Petty centroid inequality proved by Lutwak, Yang and Zhang. Our approach consists in combining in a convenient way the latter one with a suitable family of sharp weighted $L^p$ Sobolev type inequalities obtained by Nguyen and allows to characterize all extremizers in some cases. The new inequalities don't rely on any euclidean geometric structure.

math.FA↗
arXiv2016

The C^r dependence problem of eigenvalues of the Laplace operator on domains in the plane

The C^r dependence problem of multiple Dirichlet eigenvalues on domains is discussed for elliptic operators by regarding smooth one-parameter families of C^1 perturbations of domains in R^n. As applications of our main theorem (Theorem 1), we provide a fairly complete description for all eigenvalues of the Laplace operator on disks and squares and also for its second eigenvalue on balls in R^n for any n >= 3. The central tool used in our proof is a degenerate implicit function theorem on Banach spaces of independent interest.

math.AP↗
arXiv2016

The sharp affine $L^2$ Sobolev trace inequality and variants

We establish a sharp affine $L^p$ Sobolev trace inequality by using the $L_p$ Busemann-Petty centroid inequality. For $p = 2$, our affine version is stronger than the famous sharp $L^2$ Sobolev trace inequality proved independently by Escobar and Beckner. Our approach allows also to characterize all cases of equality in this case. For this new inequality, no Euclidean geometric structure is needed.

math.FA↗
arXiv2016

Sharp Lp-entropy inequalities on manifolds

In 2003, Del Pino and Dolbeault [14] and Gentil [19] investigated, independently, best constants and extremals associated to Euclidean Lp-entropy inequalities for p > 1. In this work, we present some contributions in the Riemannian context. Namely, let (M,g) be a closed Riemannian manifold of dimension n >= 3. For 1 < p <= 2, we establish the validity of the sharp Riemannian Lp-entropy inequality int_M |u|^p log(|u|^p) dv_g <= n/p log ( A_{opt} int_M |Grad_g u|^p dv_g + B ) on all functions u em H^{1,p}(M) such that ||u||_{Lp(M)} = 1 for some constant B. Moreover, we prove that the first best constant A_{opt} is equal to the corresponding Euclidean one. Our approach is inspired on the Bakry, Coulhon, Ledoux and Sallof-Coste's idea [3] of getting Euclidean entropy inequalities as a limit case of suitable subcritical interpolation inequalities. It is conjectured that the inequality sometimes fails for p > 2.

math.AP↗
arXiv2016

A priori bounds and positive solutions for non-variational fractional elliptic systems

In this paper we study strongly coupled elliptic systems in non-variational form involving fractional Laplace operators. We prove Liouville type theorems and, by mean of the blow-up method, we establish a priori bounds of positive solutions for subcritical and superlinear nonlinearities in a coupled sense. By using those latter, we then derive the existence of positive solutions through topological methods.

math.AP↗
arXiv2016

The Brezis-Nirenberg problem for fractional elliptic operators

In the present paper, we study the effect of an elliptic operator in divergence form L defined in a bounded open set on the existence and nonexistence of positive solutions of the associated nonlocal Brezis-Nirenberg problem involving powers of L.

math.AP↗