BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Nassif Ghoussoub

Nassif Ghoussoub contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.AP

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
16works
0followers
1topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

16 published item(s)

preprint2023arXiv

Ergodic properties of Kantorovich operators

Kantorovich operators are non-linear extensions of Markov operators and are omnipresent in several branches of mathematical analysis. The asymptotic behaviour of their iterates plays an important role even in classical ergodic, potential and probability theories, which are normally concerned with linear Markovian operators, semi-groups, and resolvents. The Kantorovich operators that appear implicitly in these cases, though non-linear, are all positively 1-homogenous. General Kantorovich operators amount to assigning "a cost" to most operations on measures and functions normally conducted "for free" in these classical settings. Motivated by extensions of the Monge-Kantorovich duality in mass transport, the stochastic counterpart of Aubry-Mather theory for Lagrangian systems, weak KAM theory à la Fathi-Mather, and ergodic optimization of dynamical systems, we study the asymptotic properties of general Kantorovich operators.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Multiplicity and stability of the Pohozaev obstruction for Hardy-Schrödinger equations with boundary singularity

Let $Ω$ be a smooth bounded domain in $\mathbb{R}^n$ ($n\geq 3$) such that $0\in\partial Ω$. In this memoir, we consider issues of non-existence, existence, and multiplicity of variational solutions in $H_{1,0}^2(Ω)$ for the borderline Dirichlet problem, $-Δu-γ\frac{u}{|x|^2}- h(x) u = \frac{|u|^{{2^\star(s)}-2}u}{|x|^s}$ in $Ω$, where $0<s<2$, ${2^\star(s)}:=\frac{2(n-s)}{n-2}$, $γ\in\mathbb{R}$ and $h\in C^0(\overlineΩ)$. We use sharp blow-up analysis on --possibly high energy-- solutions of corresponding subcritical problems to establish, for example, that if $γ<\frac{n^2}{4}-1$ and the principal curvatures of $\partialΩ$ at $0$ are non-positive but not all of them vanishing, then the above equation has an infinite number of (possibly sign-changing) solutions in ${H_{1,0}^2(Ω)}$. This complements results of the first and third authors, who had previously shown that if $γ\leq \frac{n^2}{4}-\frac{1}{4}$ and the mean curvature of $\partialΩ$ at $0$ is negative, then the equation has a positive solution. On the other hand, the sharp blow-up analysis also allows us to prove that if the mean curvature at $0$ is non-zero and if the mass (when defined) does not vanish, then there is a surprising stability under $C^1$-perturbations of the potential $h$ of those regimes where no variational positive solutions exist. In particular, and in sharp contrast with the non-singular case (i.e., when $γ=s=0$), we show non-existence of such solutions for (E) in any dimension, whenever $Ω$ is star-shaped and $h$ is close to $0$, which include situations not covered by the classical Pohozaev obstruction.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

A dual Moser-Onofri inequality and its extensions to higher dimensional spheres

We use optimal mass transport to provide a new proof and a dual formula to the Moser-Onofri inequality on $\s^2$ in the same spirit as the approach of Cordero-Erausquin, Nazaret and Villani to the Sobolev inequality and of Agueh-Ghoussoub-Kang to more general settings. There are however many hurdles to overcome once a stereographic projection on $\R^2$ is performed: Functions are not necessarily of compact support, hence boundary terms need to be evaluated. Moreover, the corresponding dual free energy of the reference probability density $μ_2(x)=\frac{1}{π(1+|x|^2)^2}$ is not finite on the whole space, which requires the introduction of a renormalized free energy into the dual formula. We also extend this duality to higher dimensions and establish an extension of the Onofri inequality to spheres $\s^n$ with $n\geq 2$. What is remarkable is that the corresponding free energy is again given by $F(ρ)=-nρ^{1-\frac{1}{n}}$, which means that both the {\it prescribed scalar curvature problem} and the {\it prescribed Gaussian curvature problem} lead essentially to the same dual problem whose extremals are stationary solutions of the fast diffusion equations.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Borderline variational problems involving fractional Laplacians and critical singularities

We consider the problem of attainability of the best constant in the following critical fractional Hardy-Sobolev inequality: \begin{equation*} μ_{γ,s}(\R^n):= \inf\limits_{u \in H^{\fracα{2}} (\R^n)\setminus \{0\}} \frac{ \int_{\R^n} |({-}{ Δ})^{\fracα{4}}u|^2 dx - γ\int_{\R^n} \frac{|u|^2}{|x|^α}dx }{(\int_{\R^n} \frac{|u|^{2_α^*(s)}}{|x|^{s}}dx)^\frac{2}{2_α^*(s)}}, \end{equation*} where $0\leq s<α<2$, $n>α$, ${2_α^*(s)}:=\frac{2(n-s)}{n-α},$ and $γ\in \mathbb{R}$. This allows us to establish the existence of nontrivial weak solutions for the following doubly critical problem on $\R^n$, \begin{equation*} \left\{\begin{array}{lll} ({-}{ Δ})^{\fracα{2}}u- γ\frac{u}{|x|^α}&= |u|^{2_α^*-2} u + {\frac{|u|^{2_α^*(s)-2}u}{|x|^s}} & \text{in } {\R^n}\\ \hfill u&>0 & \text{in } \R^n, \end{array}\right. \end{equation*} where $2_α^*:=\frac{2 n}{n-α}$ is the critical $α$-fractional Sobolev exponent, and $γ< γ_H:=2^α\frac{Γ^2(\frac{n+α}{4})}{Γ^2(\frac{n-α}{4})}$, the latter being the best fractional Hardy constant on $\R^n$.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Decoupling of DeGiorgi-type systems via multi-marginal optimal transport

We exhibit a surprising relationship between elliptic gradient systems of PDEs, multi-marginal Monge-Kantorovich optimal transport problem, and multivariable Hardy-Littlewood inequalities. We show that the notion of an orientable elliptic system, conjectured in [6] to imply that (in low dimensions) solutions with certain monotonicity properties are essentially 1-dimensional, is equivalent to the definition of a compatible cost function, known to imply uniqueness and structural results for optimal measures to certain Monge-Kantorovich problems [11]. Orientable nonlinearities and compatible cost functions turned out to be also related to submodular functions, which appear in rearrangement inequalities of Hardy-Littlewood type. We use this equivalence to establish a decoupling result for certain solutions to elliptic PDEs and show that under the orientability condition, the decoupling has additional properties, due to the connection to optimal transport.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Symmetric Monge-Kantorovich problems and polar decompositions of vector fields

For any given integer $N\geq 2$, we show that every bounded measurable vector field from a bounded domain $Ω$ into $\R^d$ is $N$-cyclically monotone up to a measure preserving $N$-involution. The proof involves the solution of a multidimensional symmetric Monge-Kantorovich problem, which we first study in the case of a general cost function on a product domain $Ω^N$. The polar decomposition described above corresponds to a special cost function derived from the vector field in question (actually $N-1$ of them). In this case, we show that the supremum over all probability measures on $Ω^N$ which are invariant under cyclic permutations and with a given first marginal $μ$, is attained on a probability measure that is supported on the graph of a function of the form $x\to (x, Sx, S^2x,..., S^{N-1}x)$, where $S$ is a $μ$-measure preserving transformation on $Ω$ such that $S^N=I$ a.e. The proof exploits a remarkable duality between such involutions and those Hamiltonians that are $N$-cyclically antisymmetric.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

De Giorgi type results for elliptic systems

We consider the following elliptic system Δu =\nabla H (u) \ \ \text{in}\ \ \mathbf{R}^N, where $u:\mathbf{R}^N\to \mathbf{R}^m$ and $H\in C^2(\mathbf{R}^m)$, and prove, under various conditions on the nonlinearity $H$ that, at least in low dimensions, a solution $u=(u_i)_{i=1}^m$ is necessarily one-dimensional whenever each one of its components $u_i$ is monotone in one direction. Just like in the proofs of the classical De Giorgi&#39;s conjecture in dimension 2 (Ghoussoub-Gui) and in dimension 3 (Ambrosio-Cabré), the key step is a Liouville theorem for linear systems. We also give an extension of a geometric Poincaré inequality to systems and use it to establish De Giorgi type results for stable solutions as well as additional rigidity properties stating that the gradients of the various components of the solutions must be parallel. We introduce and exploit the concept of {\it an orientable system}, which seems to be key for dealing with systems of three or more equations. For such systems, the notion of a stable solution in a variational sense coincide with the pointwise (or spectral) concept of stability.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Functional Inequalities: New Perspectives and New Applications

This book is not meant to be another compendium of select inequalities, nor does it claim to contain the latest or the slickest ways of proving them. This project is rather an attempt at describing how most functional inequalities are not merely the byproduct of ingenious guess work by a few wizards among us, but are often manifestations of certain natural mathematical structures and physical phenomena. Our main goal here is to show how this point of view leads to &#34;systematic&#34; approaches for not just proving the most basic functional inequalities, but also for understanding and improving them, and for devising new ones - sometimes at will, and often on demand.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

On the Hénon-Lane-Emden conjecture

We consider Liouville-type theorems for the following Hénon-Lane-Emden system \hfill -Δu&=& |x|^{a}v^p \text{in} \mathbb{R}^N, \hfill -Δv&=& |x|^{b}u^q \text{in} \mathbb{R}^N, when $pq>1$, $p,q,a,b\ge0$. The main conjecture states that there is no non-trivial non-negative solution whenever $(p,q)$ is under the critical Sobolev hyperbola, i.e. $ \frac{N+a}{p+1}+\frac{N+b}{q+1}>{N-2}$. We show that this is indeed the case in dimension N=3 provided the solution is also assumed to be bounded, extending a result established recently by Phan-Souplet in the scalar case. Assuming stability of the solutions, we could then prove Liouville-type theorems in higher dimensions. For the scalar cases, albeit of second order ($a=b$ and $p=q$) or of fourth order ($a\ge 0=b$ and $p>1=q$), we show that for all dimensions $N\ge 3$ in the first case (resp., $N\ge 5$ in the second case), there is no positive solution with a finite Morse index, whenever $p$ is below the corresponding critical exponent, i.e $ 1<p<\frac{N+2+2a}{N-2}$ (resp., $ 1<p<\frac{N+4+2a}{N-4}$). Finally, we show that non-negative stable solutions of the full Hénon-Lane-Emden system are trivial provided \label{sysdim00} N<2+2(\frac{p(b+2)+a+2}{pq-1}) (\sqrt{\frac{pq(q+1)}{p+1}}+ \sqrt{\frac{pq(q+1)}{p+1}-\sqrt\frac{pq(q+1)}{p+1}}).

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Regularity of semi-stable solutions to fourth order nonlinear eigenvalue problems on general domains

We examine the fourth order problem $Δ^2 u = λf(u) $ in $ Ω$ with $ Δu = u =0 $ on $ \partial Ω$, where $ λ> 0$ is a parameter, $ Ω$ is a bounded domain in $ R^N$ and where $f$ is one of the following nonlinearities: $ f(u)=e^u$, $ f(u)=(1+u)^p $ or $ f(u)= \frac{1}{(1-u)^p}$ where $ p>1$. We show the regularity of all semi-stable solutions and hence of the extremal solutions, provided [N < 2 + 4 \sqrt{2} + 4 \sqrt{2 - \sqrt{2}} \approx 10.718 when $ f(u)=e^u$,] and [\frac{N}{4} < \frac{p}{p-1} + \frac{p+1}{p-1} (\sqrt{\frac{2p}{p+1}} + \sqrt{\frac{2p}{p+1} - \sqrt{\frac{2p}{p+1}}} - 1/2)] when $ f(u)=(u+1)^p$. New results are also obtained in the case where $ f(u)=(1-u)^{-p}$. These are substantial improvements to various results on critical dimensions obtained recently by various authors. We view the equation as a system and then derive a new stability inequality, valid for minimal solutions, which allows a method of proof which is reminiscent of the second order case.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Remarks on multi-marginal symmetric Monge-Kantorovich problems

Symmetric Monge-Kantorovich transport problems involving a cost function given by a family of vector fields were used by Ghoussoub-Moameni to establish polar decompositions of such vector fields into $m$-cyclically monotone maps composed with measure preserving $m$-involutions ($m\geq 2$). In this note, we relate these symmetric transport problems to the Brenier solutions of the Monge and Monge-Kantorovich problem, as well as to the Gangbo-Świȩch solutions of their multi-marginal counterparts, both of which involving quadratic cost functions.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

A Self-dual Polar Factorization for Vector Fields

We show that any non-degenerate vector field $u$ in $ L^{\infty}(Ω, \R^N)$, where $Ω$ is a bounded domain in $\R^N$, can be written as {equation} \hbox{$u(x)= \nabla_1 H(S(x), x)$ for a.e. $x \in Ω$}, {equation} where $S$ is a measure preserving point transformation on $Ω$ such that $S^2=I$ a.e (an involution), and $H: \R^N \times \R^N \to \R$ is a globally Lipschitz anti-symmetric convex-concave Hamiltonian. Moreover, $u$ is a monotone map if and only if $S$ can be taken to be the identity, which suggests that our result is a self-dual version of Brenier&#39;s polar decomposition for the vector field $u$ as $u(x)=\nabla ϕ(S(x))$, where $ϕ$ is convex and $S$ is a measure preserving transformation. We also describe how our polar decomposition can be reformulated as a self-dual mass transport problem.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Homogenization of maximal monotone vector fields via selfdual variational calculus

We use the theory of selfdual Lagrangians to give a variational approach to the homogenization of equations in divergence form, that are driven by a periodic family of maximal monotone vector fields. The approach has the advantage of using $Γ$-convergence methods for corresponding functionals just as in the classical case of convex potentials, as opposed to the graph convergence methods used in the absence of potentials. A new variational formulation for the homogenized equation is also given.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Regularity of Extremal Solutions in Fourth Order Nonlinear Eigenvalue Problems on General Domains

We examine the regularity of the extremal solution of the nonlinear eigenvalue problem $Δ^2 u = λf(u)$ on a general bounded domain $Ω$ in $ \IR^N$, with the Navier boundary condition $ u=Δu =0 $ on $ \pOm$. Here $ λ$ is a positive parameter and $f$ is a non-decreasing nonlinearity with $f(0)=1$. We give general pointwise bounds and energy estimates which show that for any convex and superlinear nonlinearity $f$, the extremal solution $ u^*$ is smooth provided $N\leq 5$.

0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv

On the Best Constant in the Moser-Onofri-Aubin Inequality

Let $S^2$ be the 2-dimensional unit sphere and let $J_α$ denote the nonlinear functional on the Sobolev space $H^{1,2}(S^2)$ defined by $$ J_α(u) = \fracα{4}\int_{S^2}|\nabla u|^2 dω+ \int_{S^2} u dω-\ln \int_{S^2} e^{u} dω, $$ where $dω$ denotes Lebesgue measure on $S^2$, normalized so that $\int_{S^2} dω= 1$. Onofri had established that $J_α$ is non-negative on $H^1(S^2)$ provided $α\geq 1$. In this note, we show that if $J_α$ is restricted to those $u\in H^1(S^2)$ that satisfy the Aubin condition: \int_{S^2}e^u x_j dw=0\quad\text{for all}1\leq j\leq 3, then the same inequality continues to hold (i.e., $J_α(u)\geq0$) whenever $α\geq {2/3}-ε_0$ for some $ε_0>0$. The question of Chang-Yang on whether this remains true for all $α\geq {1/2}$ remains open.

0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv

The critical dimension for a 4th order problem with singular nonlinearity

We study the regularity of the extremal solution of the semilinear biharmonic equation $\bi u=\fλ{(1-u)^2}$, which models a simple Micro-Electromechanical System (MEMS) device on a ball $B\subset\IR^N$, under Dirichlet boundary conditions $u=\partial_νu=0$ on $\partial B$. We complete here the results of F.H. Lin and Y.S. Yang \cite{LY} regarding the identification of a &#34;pull-in voltage&#34; $\la^*>0$ such that a stable classical solution $u_\la$ with $0<u_\la<1$ exists for $\la\in (0,\la^*)$, while there is none of any kind when $\la>\la^*$. Our main result asserts that the extremal solution $u_{λ^*}$ is regular $(\sup_B u_{λ^*} <1)$ provided $ N \le 8$ while $u_{λ^*} $ is singular ($\sup_B u_{λ^*} =1$) for $N \ge 9$, in which case $1-C_0|x|^{4/3}\leq u_{λ^*} (x) \leq 1-|x|^{4/3}$ on the unit ball, where $ C_0:= (\frac{λ^*}{\overlineλ})^{1/3}$ and $ \barλ:= {8/9} (N-{2/3}) (N- {8/3})$.

0 citations0 reviewsNo code linkedOpen access