-
Sharp estimates for fundamental frequencies of elliptic operators generated by asymmetric seminorms in low dimensions
Authors:
Julian Haddad,
Raul Fernandes Horta,
Marcos Montenegro
Abstract:
We establish new sharp asymmetric Poincare inequalities in one-dimension with the computation of optimal constants and characterization of extremizers. Using the one-dimensional theory we develop a comprehensive study on fundamental frequencies in the plane and related spectral optimization in the very general setting of positively homogeneous anisotropies.
We establish new sharp asymmetric Poincare inequalities in one-dimension with the computation of optimal constants and characterization of extremizers. Using the one-dimensional theory we develop a comprehensive study on fundamental frequencies in the plane and related spectral optimization in the very general setting of positively homogeneous anisotropies.
△ Less
Submitted 31 January, 2025; v1 submitted 22 January, 2025;
originally announced January 2025.
-
On the characterization of the Dirichlet and Fucik spectra of the one-dimensional anisotropic p-Laplace operator
Authors:
Raul Fernandes Horta,
Marcos Montenegro
Abstract:
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 iso…
▽ More
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 a relevant application, we derive a new optimal Poincaré inequality that is stronger than the classical version. The leading ideas are based on glue arguments of conveniently modified eigenfunctions and maximum type principles. More generally, our approach allows to characterize the Fucí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 $p = 2$ which correspond to nonlinear anisotropic operators.
△ Less
Submitted 12 May, 2025; v1 submitted 17 January, 2025;
originally announced January 2025.
-
Sharp isoanisotropic estimates for fundamental frequencies of membranes and connections with shapes
Authors:
Raul Fernandes Horta,
Marcos Montenegro
Abstract:
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…
▽ More
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.
△ Less
Submitted 15 September, 2024; v1 submitted 26 June, 2024;
originally announced June 2024.
-
Optimal anisotropies for p-Laplace type operators in the plane
Authors:
Raul Fernandes Horta,
Marcos Montenegro
Abstract:
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…
▽ More
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.
△ Less
Submitted 24 June, 2024; v1 submitted 2 May, 2024;
originally announced May 2024.
-
Least energy solutions for affine $p$-Laplace equations involving subcritical and critical nonlinearities
Authors:
Edir Junior Ferreira Leite,
Marcos Montenegro
Abstract:
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…
▽ More
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.
△ Less
Submitted 18 June, 2023; v1 submitted 14 February, 2022;
originally announced February 2022.
-
Minimization to the Zhang's energy on $BV(Ω)$ and sharp affine Poincaré-Sobolev inequalities
Authors:
Edir Junior Ferreira Leite,
Marcos Montenegro
Abstract:
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 e…
▽ More
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.
△ Less
Submitted 2 December, 2021; v1 submitted 24 November, 2021;
originally announced November 2021.
-
From affine Poincaré inequalities to affine spectral inequalities
Authors:
Julián Haddad,
Carlos Hugo Jiménez,
Marcos Montenegro
Abstract:
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…
▽ More
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.
△ Less
Submitted 11 July, 2020; v1 submitted 16 March, 2020;
originally announced March 2020.
-
Extremal solutions for a broad spectrum of nonlinear elliptic systems
Authors:
Felipe Costa,
Gil F. de Souza,
Marcos Montenegro
Abstract:
In this work, we study the existence and nonexistence of solution for strongly coupled elliptic systems to m-parameters.
In this work, we study the existence and nonexistence of solution for strongly coupled elliptic systems to m-parameters.
△ Less
Submitted 2 January, 2021; v1 submitted 20 January, 2020;
originally announced January 2020.
-
SDP-based branch-and-bound for non-convex quadratic integer optimization
Authors:
Christoph Buchheim,
Maribel Montenegro,
Angelika Wiegele
Abstract:
Semidefinite programming (SDP) relaxations have been intensively used for solving discrete quadratic optimization problems, in particular in the binary case. For the general non-convex integer case with box constraints, the branch-and-bound algorithm Q-MIST has been proposed by Buchheim and Wiegele (Math Program 141(1--2):435--452, 2013), which is based on an extension of the well-known SDP-relaxa…
▽ More
Semidefinite programming (SDP) relaxations have been intensively used for solving discrete quadratic optimization problems, in particular in the binary case. For the general non-convex integer case with box constraints, the branch-and-bound algorithm Q-MIST has been proposed by Buchheim and Wiegele (Math Program 141(1--2):435--452, 2013), which is based on an extension of the well-known SDP-relaxation for max-cut. For solving the resulting SDPs, Q-MIST uses an off-the-shelf interior point algorithm.
In this paper, we present a tailored coordinate ascent algorithm for solving the dual problems of these SDPs. Building on related ideas of Dong (SIAM J Optim 26(3):1962--1985, 2016), it exploits the particular structure of the SDPs, most importantly a small rank of the constraint matrices. The latter allows both an exact line search and a fast incremental update of the inverse matrices involved, so that the entire algorithm can be implemented to run in quadratic time per iteration. Moreover, we describe how to extend this approach to a certain two-dimensional coordinate update. Finally, we explain how to include arbitrary linear constraints into this framework, and evaluate our algorithm experimentally.
△ Less
Submitted 29 January, 2019;
originally announced January 2019.
-
Asymmetric Blaschke-Santaló functional inequalities
Authors:
Julian Haddad,
C. Hugo Jimenez,
Marcos Montenegro
Abstract:
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…
▽ More
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.
△ Less
Submitted 4 October, 2018;
originally announced October 2018.
-
Sharp affine weighted $L^p$ Sobolev type inequalities
Authors:
Julian Haddad,
Carlos Hugo Jiménez,
Marcos Montenegro
Abstract:
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'…
▽ More
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.
△ Less
Submitted 30 August, 2017;
originally announced August 2017.
-
A coordinate ascent method for solving semidefinite relaxations of non-convex quadratic integer programs
Authors:
Christoph Buchheim,
Maribel Montenegro,
Angelika Wiegele
Abstract:
We present a coordinate ascent method for a class of semidefinite programming problems that arise in non-convex quadratic integer optimization. These semidefinite programs are characterized by a small total number of active constraints and by low-rank constraint matrices. We exploit this special structure by solving the dual problem, using a barrier method in combination with a coordinate-wise exa…
▽ More
We present a coordinate ascent method for a class of semidefinite programming problems that arise in non-convex quadratic integer optimization. These semidefinite programs are characterized by a small total number of active constraints and by low-rank constraint matrices. We exploit this special structure by solving the dual problem, using a barrier method in combination with a coordinate-wise exact line search. The main ingredient of our algorithm is the computationally cheap update at each iteration and an easy computation of the exact step size. Compared to interior point methods, our approach is much faster in obtaining strong dual bounds. Moreover, no explicit separation and reoptimization is necessary even if the set of primal constraints is large, since in our dual approach this is covered by implicitly considering all primal constraints when selecting the next coordinate.
△ Less
Submitted 8 March, 2016;
originally announced March 2016.
-
The Brezis-Nirenberg problem for fractional elliptic operators
Authors:
Ko-Shin Chen,
Marcos Montenegro,
Xiaodong Yan
Abstract:
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.
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.
△ Less
Submitted 7 January, 2016;
originally announced January 2016.
-
The sharp affine $L^2$ Sobolev trace inequality and variants
Authors:
Pablo Luis De Nápoli,
Julián Haddad,
Carlos Hugo Jiménez,
Marcos Montenegro
Abstract:
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…
▽ More
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.
△ Less
Submitted 5 February, 2016; v1 submitted 14 December, 2015;
originally announced December 2015.
-
A note on borderline Brezis-Nirenberg type problems
Authors:
Julian Haddad,
Marcos Montenegro
Abstract:
We study the effect of ellipticity points on the boundary in the Brezis-Nirenberg problem for elliptic operators in divergence form.
We study the effect of ellipticity points on the boundary in the Brezis-Nirenberg problem for elliptic operators in divergence form.
△ Less
Submitted 11 March, 2016; v1 submitted 8 December, 2015;
originally announced December 2015.
-
On positive viscosity solutions of fractional Lane-Emden systems
Authors:
Edir Leite,
Marcos Montenegro
Abstract:
We discuss on existence, nonexistence and uniqueness of positive viscosity solutions for Lane-Emden systems involving the fractional Laplacian on bounded domains. As a byproduct, we obtain the critical hyperbole associated to the these systems.
We discuss on existence, nonexistence and uniqueness of positive viscosity solutions for Lane-Emden systems involving the fractional Laplacian on bounded domains. As a byproduct, we obtain the critical hyperbole associated to the these systems.
△ Less
Submitted 4 June, 2017; v1 submitted 3 September, 2015;
originally announced September 2015.
-
Sharp affine Sobolev type inequalities via the $\Lp$ Busemann-Petty centroid inequality
Authors:
Julian Haddad,
C. Hugo Jimenez,
Marcos Montenegro
Abstract:
We show that the $\Lp$ Busemann-Petty centroid inequality provides an elementary and powerful tool to the study of some sharp affine functional inequalities with a geometric content, like log-Sobolev, Sobolev and Gagliardo-Nirenberg inequalities. Our approach allows also to characterize directly the corresponding equality cases.
We show that the $\Lp$ Busemann-Petty centroid inequality provides an elementary and powerful tool to the study of some sharp affine functional inequalities with a geometric content, like log-Sobolev, Sobolev and Gagliardo-Nirenberg inequalities. Our approach allows also to characterize directly the corresponding equality cases.
△ Less
Submitted 29 March, 2016; v1 submitted 28 May, 2015;
originally announced May 2015.
-
The C^r dependence problem of eigenvalues of the Laplace operator on domains in the plane
Authors:
Julian Haddad,
Marcos Montenegro
Abstract:
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…
▽ More
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.
△ Less
Submitted 9 April, 2016; v1 submitted 10 May, 2015;
originally announced May 2015.
-
Sharp Lp-entropy inequalities on manifolds
Authors:
Jurandir Ceccon,
Marcos Montenegro
Abstract:
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…
▽ More
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.
△ Less
Submitted 3 February, 2016; v1 submitted 10 May, 2015;
originally announced May 2015.
-
A priori bounds and positive solutions for non-variational fractional elliptic systems
Authors:
Edir Junior Ferreira Leite,
Marcos Montenegro
Abstract:
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 topologica…
▽ More
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.
△ Less
Submitted 24 January, 2016; v1 submitted 21 September, 2014;
originally announced September 2014.
-
Sharp L^p-entropy inequalities on manifolds
Authors:
Jurandir Ceccon,
Marcos Montenegro
Abstract:
\small{In 2004, Del Pino and Dolbeault \cite{DPDo} and Gentil \cite{G} investigated, independently, best constants and extremals associated to sharp Euclidean $L^p$-entropy inequalities. In this work, we present some important advances in the Riemannian context. Namely, let $(M,g)$ be a compact Riemannian manifold of dimension $n \geq 3$. For $1 < p \leq 2$, we prove that the sharp Riemannian…
▽ More
\small{In 2004, Del Pino and Dolbeault \cite{DPDo} and Gentil \cite{G} investigated, independently, best constants and extremals associated to sharp Euclidean $L^p$-entropy inequalities. In this work, we present some important advances in the Riemannian context. Namely, let $(M,g)$ be a compact Riemannian manifold of dimension $n \geq 3$. For $1 < p \leq 2$, we prove that the sharp Riemannian $L^p$-entropy inequality
\[\int_M |u|^p \log(|u|^p) dv_g \leq \frac{n}{p} \log ({\cal A}_{opt} \int_M |\nabla u|_g^p dv_g + {\cal B}) \]
\n holds on all functions $u \in H^{1,p}(M)$ such that $||u||_{L^p(M)} = 1$. Moreover, we show that the first best Riemannian constant ${\cal A}_{opt}$ is equal to the corresponding Euclidean one. Our approach is inspired on the Bakry, Coulhon, Ledoux and Sallof-Coste's idea \cite{Ba} of getting Euclidean entropy inequalities as a limit case of suitable Gagliardo-Nirenberg inequalities. It is conjectured that the above inequality sometimes fails for $p > 2$.}
△ Less
Submitted 5 September, 2013; v1 submitted 26 July, 2013;
originally announced July 2013.
-
Existence and symmetry for elliptic equations in R^n with arbitrary growth in the gradient
Authors:
Lucas C. F. Ferreira,
Marcelo Montenegro,
Matheus C. Santos
Abstract:
We study the semilinear elliptic equation $Δu + g(x,u,Du) = 0$ in $\R^n$. The nonlinearities $g$ can have arbitrary growth in $u$ and $Du$, including in particular the exponential behavior. No restriction is imposed on the behavior of $g(x,z,p)$ at infinity except in the variable $x$. We obtain a solution $u$ that is locally unique and inherits many of the symmetry properties of $g$. Positivity an…
▽ More
We study the semilinear elliptic equation $Δu + g(x,u,Du) = 0$ in $\R^n$. The nonlinearities $g$ can have arbitrary growth in $u$ and $Du$, including in particular the exponential behavior. No restriction is imposed on the behavior of $g(x,z,p)$ at infinity except in the variable $x$. We obtain a solution $u$ that is locally unique and inherits many of the symmetry properties of $g$. Positivity and asymptotic behavior of the solution are also addressed. Our results can be extended to other domains like half-space and exterior domains. We give some examples.
△ Less
Submitted 13 February, 2014; v1 submitted 24 July, 2013;
originally announced July 2013.
-
The k-Yamabe problem on CR manifolds
Authors:
Ezequiel Barbosa,
Luiz Gustavo Carneiro,
Marcos Montenegro
Abstract:
We introduce the notion of pseudohermitian k-curvature, which is a natural extension of the Webster scalar curvature, on an orientable manifold endowed with a strictly pseudoconvex pseudohermitian structure (referred here as a CR manifold) and raise the k-Yamabe problem on a compact CR manifold. When k=1, the problem was proposed and partially solved by Jerison and Lee for CR manifolds non-locally…
▽ More
We introduce the notion of pseudohermitian k-curvature, which is a natural extension of the Webster scalar curvature, on an orientable manifold endowed with a strictly pseudoconvex pseudohermitian structure (referred here as a CR manifold) and raise the k-Yamabe problem on a compact CR manifold. When k=1, the problem was proposed and partially solved by Jerison and Lee for CR manifolds non-locally CR-equivalent to the CR sphere. For k > 1, the problem can be translated in terms of the study of a fully nonlinear equation of type complex k-Hessian. We provide some partial answers related to the CR k-Yamabe problem. We establish that its solutions with null Cotton tensor are critical points of a suitable geometric functional constrained to pseudohermitian structures of unit volume. Thanks to this variational property, we establish a Obata type result for the problem and also compute the infimum of the functional on the CR sphere. Furthermore, we show that this value is an upper bound for the corresponding one on any compact CR manifolds and, assuming the CR Yamabe invariant is positive, we prove that such an upper bound is only attained for compact CR manifolds locally CR-equivalent to the CR sphere. In the Riemannian field, recent advances have been produced in a series of outstanding works.
△ Less
Submitted 8 May, 2012;
originally announced May 2012.
-
Extremal maps in best constants vector theory - Part I: Duality and Compactness
Authors:
Ezequiel R. Barbosa,
Marcos Montenegro
Abstract:
We develop a comprehensive study on sharp potential type Riemannian Sobolev inequalities of order 2 by means of a local geometric Sobolev inequality of same kind and suitable De Giorgi-Nash-Moser estimates. In particular we discuss questions like continuous dependence of optimal constants and existence and compactness of extremal maps. The main obstacle arising in the present setting lies at fairl…
▽ More
We develop a comprehensive study on sharp potential type Riemannian Sobolev inequalities of order 2 by means of a local geometric Sobolev inequality of same kind and suitable De Giorgi-Nash-Moser estimates. In particular we discuss questions like continuous dependence of optimal constants and existence and compactness of extremal maps. The main obstacle arising in the present setting lies at fairly weak conditions of regularity assumed on potential functions.
△ Less
Submitted 26 November, 2010; v1 submitted 3 November, 2010;
originally announced November 2010.
-
Stable solutions for the bilaplacian with exponential nonlinearity
Authors:
Juan Davila,
Louis Dupaigne,
Ignacio Guerra,
Marcelo Montenegro
Abstract:
Let $λ^*>0$ denote the largest possible value of $λ$ such that \begin{align*} \left\{\begin{aligned} Δ^2 u & = \la e^u && \text{in $B $} u &= \pd{u}{n} = 0 && \text{on $ \pa B $} \end{aligned} \right. \end{align*} has a solution, where $B$ is the unit ball in $\R^N$ and $n$ is the exterior unit normal vector. We show that for $λ=λ^*$ this problem possesses a unique {\em weak} solution $u^*$. We…
▽ More
Let $λ^*>0$ denote the largest possible value of $λ$ such that \begin{align*} \left\{\begin{aligned} Δ^2 u & = \la e^u && \text{in $B $} u &= \pd{u}{n} = 0 && \text{on $ \pa B $} \end{aligned} \right. \end{align*} has a solution, where $B$ is the unit ball in $\R^N$ and $n$ is the exterior unit normal vector. We show that for $λ=λ^*$ this problem possesses a unique {\em weak} solution $u^*$. We prove that $u^*$ is smooth if $N\le 12$ and singular when $N\ge 13$, in which case $ u^*(r) = - 4 \log r + \log (8(N-2)(N-4) / λ^*) + o(1)$ as $r\to 0$. We also consider the problem with general constant Dirichlet boundary conditions.
△ Less
Submitted 16 January, 2008;
originally announced January 2008.
-
Perturbing singular solutions of the Gelfand problem
Authors:
Juan Davila,
Louis Dupaigne,
Ignacio Guerra,
Marcelo Montenegro
Abstract:
he equation $-Δu = λe^u$ posed in the unit ball $B \subseteq \R^N$, with homogeneous Dirichlet condition $u|_{\partial B} = 0$, has the singular solution $U=\log\frac1{|x|^2}$ when $λ= 2(N-2)$. If $N\ge 4$ we show that under small deformations of the ball there is a singular solution $(u,λ)$ close to $(U,2(N-2))$. In dimension $N\ge 11$ it corresponds to the extremal solution -- the one associat…
▽ More
he equation $-Δu = λe^u$ posed in the unit ball $B \subseteq \R^N$, with homogeneous Dirichlet condition $u|_{\partial B} = 0$, has the singular solution $U=\log\frac1{|x|^2}$ when $λ= 2(N-2)$. If $N\ge 4$ we show that under small deformations of the ball there is a singular solution $(u,λ)$ close to $(U,2(N-2))$. In dimension $N\ge 11$ it corresponds to the extremal solution -- the one associated to the largest $λ$ for which existence holds. In contrast, we prove that if the deformation is sufficiently large then even when $N\ge 10$, the extremal solution remains bounded in many cases.
△ Less
Submitted 16 January, 2008;
originally announced January 2008.
-
Optimal L^p-Riemannian Gagliardo-Nirenberg inequalities
Authors:
Jurandir Ceccon,
Marcos Montenegro
Abstract:
Let (M,g) be a compact Riemannian manifold of dimension n \geq 2. In this work we prove the validity of the optimal L^p-Riemannian Gagliardo-Nirenberg inequality for 1 < p \leq 2. Our proof relies strongly on a new distance lemma which. In particular, we extend L^p-Euclidean Gagliardo-Nirenberg inequalities due to Del Pino and Dolbeault and the optimal L^2-Riemannian Gagliardo-Nirenberg inequali…
▽ More
Let (M,g) be a compact Riemannian manifold of dimension n \geq 2. In this work we prove the validity of the optimal L^p-Riemannian Gagliardo-Nirenberg inequality for 1 < p \leq 2. Our proof relies strongly on a new distance lemma which. In particular, we extend L^p-Euclidean Gagliardo-Nirenberg inequalities due to Del Pino and Dolbeault and the optimal L^2-Riemannian Gagliardo-Nirenberg inequality due to Broutteland in a unified framework.
△ Less
Submitted 23 August, 2007; v1 submitted 20 August, 2007;
originally announced August 2007.
-
On the geometric dependence of Riemannian Sobolev best constants
Authors:
Ezequiel R. Barbosa,
Marcos Montenegro
Abstract:
We concerns here with the continuity on the geometry of the second Riemannian L^p-Sobolev best constant B_0(p,g) associated to the AB program. Precisely, for 1 <= p <= 2, we prove that B_0(p,g) depends continuously on g in the C^2-topology. Moreover, this topology is sharp for p = 2. From this discussion, we deduce some existence and C^0-compactness results on extremal functions.
We concerns here with the continuity on the geometry of the second Riemannian L^p-Sobolev best constant B_0(p,g) associated to the AB program. Precisely, for 1 <= p <= 2, we prove that B_0(p,g) depends continuously on g in the C^2-topology. Moreover, this topology is sharp for p = 2. From this discussion, we deduce some existence and C^0-compactness results on extremal functions.
△ Less
Submitted 10 August, 2008; v1 submitted 17 August, 2007;
originally announced August 2007.
-
Solutions to the nonlinear Schroedinger equation carrying momentum along a curve. Part I: study of the limit set and approximate solutions
Authors:
Fethi Mahmoudi,
Andrea Malchiodi,
Marcelo Montenegro
Abstract:
We prove existence of a special class of solutions to the (elliptic) Nonlinear Schroeodinger Equation $- ε^2 Δψ+ V(x) ψ= |ψ|^{p-1} ψ$, on a manifold or in the Euclidean space. Here V represents the potential, p an exponent greater than 1 and $ε$ a small parameter corresponding to the Planck constant. As $ε$ tends to zero (namely in the semiclassical limit) we prove existence of complex-valued so…
▽ More
We prove existence of a special class of solutions to the (elliptic) Nonlinear Schroeodinger Equation $- ε^2 Δψ+ V(x) ψ= |ψ|^{p-1} ψ$, on a manifold or in the Euclidean space. Here V represents the potential, p an exponent greater than 1 and $ε$ a small parameter corresponding to the Planck constant. As $ε$ tends to zero (namely in the semiclassical limit) we prove existence of complex-valued solutions which concentrate along closed curves, and whose phase is highly oscillatory. Physically, these solutions carry quantum-mechanical momentum along the limit curves. In this first part we provide the characterization of the limit set, with natural stationarity and non-degeneracy conditions. We then construct an approximate solution up to order $ε^2$, showing that these conditions appear naturally in a Taylor expansion of the equation in powers of $ε$. Based on these, an existence result will be proved in the second part.
△ Less
Submitted 1 August, 2007;
originally announced August 2007.
