Source author record

Mostafa Fazly

Mostafa Fazly appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

23works
4topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

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

Published work

23 published item(s)

preprint2020arXiv

Classification of finite Morse index solutions of higher-order Gelfand-Liouville equation

We classify finite Morse index solutions of the following Gelfand-Liouville equation \begin{equation*} (-Δ)^{s} u= e^u \ \ \text{in} \ \ \mathbb{R}^n, \end{equation*} for $1<s<2$ and $s=2$ via a novel monotonicity formula and technical blow-down analysis. We show that the above equation does not admit any finite Morse index solution with $(-Δ)^{s/2} u$ vanishes at infinity provided $n>2s$ and \begin{equation*} \label{1.condition} \frac{ Γ(\frac{n+2s}{4})^2 }{ Γ(\frac{n-2s}{4})^2} < \frac{Γ(\frac{n}{2}) Γ(1+s)}{ Γ(\frac{n-2s}{2})}, \end{equation*} where $Γ$ is the classical Gamma function. The cases of $s=1$ and $s=2$ are settled by Dancer and Farina \cite{df,d} and Dupaigne et al. \cite{dggw}, respectively, using Moser iteration arguments established by Crandall and Rabinowitz \cite{CR}. The case of $0<s<1$ is established by Hyder-Yang in \cite{hy} applying arguments provided in \cite{ddw,fw}.

preprint2020arXiv

On stable and finite Morse index solutions of the fractional Toda system

We develop a monotonicity formula for solutions of the fractional Toda system $$ (-Δ)^s f_α= e^{-(f_{α+1}-f_α)} - e^{-(f_α-f_{α-1})} \quad \text{in} \ \ \mathbb R^n,$$ when $0<s<1$, $α=1,\cdots,Q$, $f_0=-\infty$, $f_{Q+1}=\infty$ and $Q \ge2$ is the number of equations in this system. We then apply this formula, technical integral estimates, classification of stable homogeneous solutions, and blow-down analysis arguments to establish Liouville type theorems for finite Morse index (and stable) solutions of the above system when $n > 2s$ and $$ \dfrac{Γ(\frac{n}{2})Γ(1+s)}{Γ(\frac{n-2s}{2})} \frac{Q(Q-1)}{2} > \frac{ Γ(\frac{n+2s}{4})^2 }{ Γ(\frac{n-2s}{4})^2} . $$ Here, $Γ$ is the Gamma function. When $Q=2$, the above equation is the classical (fractional) Gelfand-Liouville equation.

preprint2020arXiv

On stable and finite Morse index solutions of the nonlocal Hénon-Gelfand-Liouville equation

We consider the nonlocal Hénon-Gelfand-Liouville problem $$ (-Δ)^s u = |x|^a e^u\quad\mathrm{in}\quad \mathbb R^n, $$ for every $s\in(0,1)$, $a>0$ and $n>2s$. We prove a monotonicity formula for solutions of the above equation using rescaling arguments. We apply this formula together with blow-down analysis arguments and technical integral estimates to establish non-existence of finite Morse index solutions when $$\dfrac{Γ(\frac n2)Γ(s)}{Γ(\frac{n-2s}{2})}\left(s+\frac a2\right)> \dfrac{Γ^2(\frac{n+2s}{4})}{Γ^2(\frac{n-2s}{4})}.$$

preprint2020arXiv

Partial regularity and Liouville theorems for stable solutions of anisotropic elliptic equations

We study the quasilinear elliptic equation \begin{equation*} -Qu=e^u \ \ \text{in} \ \ Ω\subset \mathbb{R}^{N} \end{equation*} where the operator $Q$, known as Finsler-Laplacian (or anisotropic Laplacian), is defined by $$Qu:=\sum_{i=1}^{N}\frac{\partial}{\partial x_{i}}(F(\nabla u)F_{ξ_{i}}(\nabla u)),$$ where $F_{ξ_{i}}=\frac{\partial F}{\partialξ_{i}}$ and $F: \mathbb{R}^{N}\rightarrow[0,+\infty)$ is a convex function of $ C^{2}(\mathbb{R}^{N}\setminus\{0\})$, that satisfies certain assumptions. For bounded domain $Ω$ and for a stable weak solution of the above equation, we prove that the Hausdorff dimension of singular set does not exceed $N-10$. For the entire space, we apply Moser iteration arguments, established by Dancer-Farina and Crandall-Rabinowitz in the context, to prove Liouville theorems for stable solutions and for finite Morse index solutions in dimensions $N<10$ and $2<N<10$, respectively. We also provide an explicit solution that is stable outside a compact set in $N=2$. In addition, we provide similar Liouville theorems for the power-type nonlinearities.

preprint2016arXiv

On impulsive reaction-diffusion models in higher dimensions

Assume that $N_m(x)$ denotes the density of the population at a point $x$ at the beginning of the reproductive season in the $m$th year. We study the following impulsive reaction-diffusion model for any $m\in \mathbb Z^+$ \begin{eqnarray*}\label{} \ \ \ \ \ \left\{ \begin{array}{lcl} u^{(m)}_t = div(A\nabla u^{(m)}-a u^{(m)}) + f(u^{(m)}) \quad \text{for} \ \ (x,t)\inΩ\times (0,1] u^{(m)}(x,0)=g(N_m(x)) \quad \text{for} \ \ x\in Ω N_{m+1}(x):=u^{(m)}(x,1) \quad \text{for} \ \ x\in Ω\end{array}\right. \end{eqnarray*} for functions $f,g$, a drift $a$ and a diffusion matrix $A$ and $Ω\subset \mathbb R^n$. Study of this model requires a simultaneous analysis of the differential equation and the recurrence relation. When boundary conditions are hostile we provide critical domain results showing how extinction versus persistence of the species arises, depending on the size and geometry of the domain. We show that there exists an {\it extreme volume size} such that if $|Ω|$ falls below this size the species is driven extinct, regardless of the geometry of the domain. To construct such extreme volume sizes and critical domain sizes, we apply Schwarz symmetrization rearrangement arguments, the classical Rayleigh-Faber-Krahn inequality and the spectrum of uniformly elliptic operators. The critical domain results provide qualitative insight regarding long-term dynamics for the model. Lastly, we provide applications of our main results to certain biological reaction-diffusion models regarding marine reserve, terrestrial reserve, insect pest outbreak and population subject to climate change.

preprint2016arXiv

Solutions of multi-component fractional symmetric systems

We study the following elliptic system concerning the fractional Laplacian operator $$(- Δ)^ {s_i} u_i = H_i ( u_1,\cdots,u_m) \ \ \text{in}\ \ \mathbb{R}^n,$$ when $0<s_i<1$, $u_i: \mathbb R^n\to R$ and $H_i$ belongs to $C^{1,γ}(\mathbb{R}^m)$ for $γ> \max(0,1-2\min \left \{s_i \right \})$ for $1\le i \le m$. The above system is called symmetric when the matrix $\mathcal H=(\partial_j H_i(u_1,\cdots,u_m))_{i,j=1}^m$ is symmetric. The notion of symmetric systems seems crucial to study this system with a general nonlinearity $H=(H_i)_{i=1}^m$. We establish De Giorgi type results for stable and $H$-monotone solutions of symmetric systems in lower dimensions that is either $n=2$ and $0<s_i<1$ or $n=3$ and $1/2 \le \min\{s_i\}<1$. The case that $n=3$ and at least one of parameters $s_i$ belongs to $(0,1/2)$ remains open as well as the case $n \ge 4$. Applying a geometric Poincaré inequality, we conclude that gradients of components of solutions are parallel in lower dimensions when the system is coupled. More precisely, we show that the angle between vectors $\nabla u_i$ and $\nabla u_j$ is exactly $\arccos\left({|\partial_j H_i(u)|}/{\partial_j H_i(u)}\right)$. In addition, we provide Hamiltonian identities, monotonicity formulae and Liouville theorems. Lastly, we apply some of our main results to a two-component nonlinear Schrödinger system, that is a particular case of the above system, and we prove Liouville theorems and monotonicity formulae.

preprint2016arXiv

Stable solutions of symmetric systems on Riemannian manifolds

We examine stable solutions of the following symmetric system on a complete, connected, smooth Riemannian manifold $\mathbb{M}$ without boundary, \begin{equation*} -Δ_g u_i = H_i(u_1,\cdots,u_m) \ \ \text{on} \ \ \mathbb{M}, \end{equation*} when $Δ_g$ stands for the Laplace-Beltrami operator, $u_i:\mathbb{M}\to \mathbb R$ and $H_i\in C^1(\mathbb R^m) $ for $1\le i\le m$. This system is called symmetric if the matrix of partial derivatives of all components of $H$, that is $\mathbb H(u)=(\partial_j H_i(u))_{i,j=1}^m$, is symmetric. We prove a stability inequality and a Poincaré type inequality for stable solutions using the Bochner-Weitzenböck formula. Then, we apply these inequalities to establish Liouville theorems and flatness of level sets for stable solutions of the above symmetric system, under certain assumptions on the manifold and on solutions.

preprint2015arXiv

A pointwise inequality for the fourth order Lane-Emden equation

We prove that the following pointwise inequality holds \begin{equation*} -Δu \ge \sqrt\frac{2}{(p+1)-c_n} |x|^{\frac{a}{2}} u^{\frac{p+1}{2}} + \frac{2}{n-4} \frac{|\nabla u|^2}{u} \ \ \text{in}\ \ \mathbb{R}^n \end{equation*} where $c_n:=\frac{8}{n(n-4)}$, for positive bounded solutions of the fourth order Hénon equation that is \begin{equation*} Δ^2 u = |x|^a u^p \ \ \ \ \text {in }\ \ \mathbb{R}^n \end{equation*} for some $a\ge0$ and $p>1$. Motivated by the Moser's proof of the Harnack's inequality as well as Moser iteration type arguments in the regularity theory, we develop an iteration argument to prove the above pointwise inequality. As far as we know this is the first time that such an argument is applied towards constructing pointwise inequalities for partial differential equations. An interesting point is that the coefficient $\frac{2}{n-4}$ also appears in the fourth order $Q$-curvature and the Paneitz operator. This in particular implies that the scalar curvature of the conformal metric with conformal factor $u^\frac{4}{n-4}$ is positive.

preprint2015arXiv

Entire solutions of quasilinear symmetric systems

We study the following quasilinear elliptic system for all $i=1,\cdots,m$ \begin{equation*} \label{} -div(Φ'(|\nabla u_i|^2) \nabla u_i) = H_i(u) \quad \text{in} \ \ \mathbb{R}^n \end{equation*} where $u=(u_i)_{i=1}^m: \mathbb R^n\to \mathbb R^m$ and the nonlinearity $ H_i(u) \in C^1(\mathbb R^m)\to \mathbb R$ is a general nonlinearity. Several celebrated operators such as the prescribed mean curvature, the Laplacian and the $p$-Laplacian operators fit in the above form, for appropriate $Φ$. We establish a Hamiltonian identity of the following form for all $x_n\in\mathbb R$ \begin{equation*}\label{} \int_{\mathbb R^{n-1}} \left(\sum_{i=1}^{m} \left[ \frac{1}{2} Φ\left(|\nabla u_i|^2\right) - Φ'\left(|\nabla u_i|^2\right) |\partial_{x_n} u_i|^2 \right] - \tilde H(u) \right) d x'\equiv C, \end{equation*} where $x=(x',x_n)\in\mathbb R^{n}$ and $\tilde H$ is the antiderivative of $H=(H_i)_{i=1}^m$. This can be seen as a counterpart of celebrated pointwise inequalities provided by Caffarelli, Garofalo and Segala in \cite{cgs} and by Modica in \cite{m}. For the case of system of equations, that is when $m\ge 2$, we show that as long as $$α\ge α^*:=\inf_{s>0}\left\{\frac{2 s Φ'(s)}{Φ(s)}\right\}$$ the function $I_α(r):=\frac{1}{r^{n-α}} \int_{B_r} \sum_{i=1}^{m} Φ(|\nabla u_i|^2) - 2\tilde H(u)$ is monotone nondecreasing in $r$. We call this a weak monotonicity formula since for $m=1$ it is shown in \cite{cgs} that $I_α(r)$ is monotone when $α\ge 1$, under certain conditions on $Φ$. We prove De Giorgi type results and Liouville theorems for $H$-monotone and stable solutions in two and three dimensions when the system is symmetric.

preprint2015arXiv

On finite Morse index solutions of higher order fractional Lane-Emden equations

We classify finite Morse index solutions of the fractional Lane-Emden equation $(-Δ)^{s} u=|u|^{p-1} u \ \ \ \mathbb{R}^n $ for $1<s<2$. For the local case, $s=1$ and $s=2$ this classification was done by Farina in [10] and Davila, Dupaigne, Wang and Wei in [8], respectively. Moreover, for the nonlocal case, $0<s<1$, finite Morse index solutions are classified by Davila, Dupaigne and Wei in [7].

preprint2015arXiv

One-dimensional symmetry for integral systems in two dimensions

The purpose of this brief paper is to prove De Giorgi type results for stable solutions of the following nonlocal system of integral equations in two dimensions $$ L(u_i) = H_i(u) \quad \text{in} \ \ \mathbb R^2 , $$ where $u=(u_i)_{i=1}^m$ for $u_i: \mathbb R^n\to \mathbb R$, $H=(H_i)_{i=1}^m$ is a general nonlinearity. The operator $L$ is given by $$L(u_i (x)):= \int_{\mathbb R^2} [u_i(x) - u_i(z)] K(z-x) dz,$$ for some kernel $K$. The idea is to apply a linear Liouville theorem for the quotient of partial derivatives, just like in the proof of the classical De Giorgi's conjecture in lower dimensions. Since there is no Caffarelli-Silvestre local extension problem associated to the above operator, we deal with this problem directly via certain integral estimates.

preprint2015arXiv

Symmetry results for fractional elliptic systems and related problems

We study elliptic gradient systems with fractional laplacian operators on the whole space $$ (- Δ)^\mathbf s \mathbf u =\nabla H (\mathbf u) \ \ \text{in}\ \ \mathbf{R}^n,$$ where $\mathbf u:\mathbf{R}^n\to \mathbf{R}^m$, $H\in C^{2,γ}(\mathbf{R}^m)$ for $γ> \max(0,1-2\min \left \{s_i \right \})$, $\mathbf s=(s_1,\cdots,s_m)$ for $0<s_i<1$ and $\nabla H (\mathbf u)=(H_{u_i}(u_1, u_2,\cdots,u_m))_{i}$. We prove De Giorgi type results for this system for certain values of $\mathbf s$ and in lower dimensions, i.e. $n=2,3$. Just like the local case, the concepts of orientable systems and $H-$monotone solutions, established in [18], play the key role in proving symmetry results. In addition, we provide optimal energy estimates, a monotonicity formula, a Hamiltonian identity and various Liouville theorems.

preprint2014arXiv

Regularity of the extremal solutions associated to elliptic systems

We examine the two elliptic systems given by [(G)_{λ,γ} \quad -Δu = λf'(u) g(v), \quad -Δv = γf(u) g'(v) \quad in $ Ω$,] and [(H)_{λ,γ} \quad -Δu = λf(u) g'(v), \quad -Δv = γf'(u) g(v) \quad in $ Ω$},] with zero Dirichlet boundary conditions and where $ λ,γ$ are positive parameters. We show that for arbitrary nonlinearities $f$ and $g$ that the extremal solutions associated with $ (G)_{λ,γ}$ are bounded provided $ Ω$ is a convex domain in $ \mathbb R^N$ where $ N \le 3$. In the case of a radial domain we show the extremal solutions are bounded provided $ N <10$. The extremal solutions associated with $ (H)_{λ,γ}$ are bounded in the case where $ f$ is arbitrary, $ g(v)=(v+1)^q$ where $ 1 <q<\infty$ and where $ Ω$ is a bounded convex domain in $ \mathbb R^N$, $ N \le 3$. Results are also obtained in higher dimensions for $ (G)_{λ,γ}$ and $(H)_{λ,γ}$ for the case of explicit nonlinearities of the form $ f(u)=(u+1)^p$ and $ g(v)=(v+1)^q$.

preprint2014arXiv

Rigidity results for stable solutions of symmetric systems

We study stable solutions of the following nonlinear system $$ -Δu = H(u) \quad \text{in} \ \ Ω$$ where $u:\mathbb R^n\to \mathbb R^m$, $H:\mathbb R^m\to \mathbb R^m$ and $Ω$ is a domain in $\mathbb R^n$. We introduce the novel notion of symmetric systems. The above system is said to be symmetric if the matrix of gradient of all components of $H$ is symmetric. It seems that this concept is crucial to prove Liouville theorems, when $Ω=\mathbb R^n$, and regularity results, when $Ω=B_1$, for stable solutions of the above system for a general nonlinearity $H \in C^1(\mathbb R ^m)$. Moreover, we provide an improvement for a linear Liouville theorem given in [20] that is a key tool to establish De Giorgi type results in lower dimensions for elliptic equations and systems.

preprint2013arXiv

Effect of weights on stable solutions of a quasilinear elliptic equation

In this note, we study Liouville theorems for the stable and finite Morse index weak solutions of the quasilinear elliptic equation $-Δ_p u= f(x) F(u) $ in $\mathbb{R}^n$ where $p\ge 2$, $0\le f\in C(\mathbb{R}^n)$ and $F\in C^1(\mathbb{R})$. We refer to $f(x)$ as {\it weight} and to $F(u)$ as {\it nonlinearity}. The remarkable fact is that if the weight function is bounded from below by a strict positive constant that is $0<C\le f$ then it does not have much impact on the stable solutions, however, a nonnegative weight that is $0\le f$ will push certain critical dimensions. This analytical observation has potential to be applied in various models to push certain well-known critical dimensions. For a general nonlinearity $F\in C^1(\mathbb{R})$ and $f(x)=|x|^α$, we prove Liouville theorems in dimensions $n\le \frac{4(p+α)}{p-1}+p$, for bounded radial stable solutions. For specific nonlinearities $F(u)=e^u$, $u^q$ where $q>p-1$ and $-u^{q}$ where $q<0$, known as the Gelfand, the Lane-Emden and the negative exponent nonlinearities, respectively, we prove Liouville theorems for both radial finite Morse index (not necessarily bounded) and stable (not necessarily radial nor bounded) solutions.

preprint2013arXiv

Higher-dimensional solutions for a nonuniformly elliptic equation

We prove $m$-dimensional symmetry results, that we call $m$-Liouville theorems, for stable and monotone solutions of the following nonuniformly elliptic equation \begin{eqnarray*}\label{mainequ} - div(γ(\mathbf x') \nabla u(\mathbf x)) =λ(\mathbf x' ) f(u(\mathbf x)) \ \ \text{for}\ \ \mathbf x=(\mathbf x',\mathbf x'')\in\mathbf{R}^d\times\mathbf{R}^{s}=\mathbf{R}^n, \end{eqnarray*} where $0\le m<n$ and $0<λ,γ$ are smooth functions and $f\in C^1(\mathbf R)$. The interesting fact is that the decay assumptions on the weight function $γ(\mathbf x') $ play the fundamental role in deriving $m$-Liouville theorems. We show that under certain assumptions on the sign of the nonlinearity $f$, the above equation satisfies a 0-Liouville theorem. More importantly, we prove that for the double-well potential nonlinearities, i.e. $f(u)=u-u^3$, the above equation satisfies a $(d+1)$-Liouville theorem. This can be considered as a higher dimensional counterpart of the celebrated conjecture of De Giorgi for the Allen-Cahn equation. The remarkable phenomenon is that the $\tanh$ function that is the profile of monotone and bounded solutions of the Allen-Cahn equation appears towards constructing higher dimensional Liouville theorems.

preprint2013arXiv

Liouville theorems for the polyharmonic Henon-Lane-Emden system

We study Liouville theorems for the following polyharmonic Hénon-Lane-Emden system \begin{eqnarray*} \left\{\begin{array}{lcl} (-Δ)^m u&=& |x|^{a}v^p \ \ \text{in}\ \ \mathbb{R}^n,\\ (-Δ)^m v&=& |x|^{b}u^q \ \ \text{in}\ \ \mathbb{R}^n, \end{array}\right. \end{eqnarray*} when $m,p,q \ge 1,$ $pq\neq1$, $a,b\ge0$. The main conjecture states that $(u,v)=(0,0)$ is the unique nonnegative solution of this system whenever $(p,q)$ is {\it under} the critical Sobolev hyperbola, i.e. $ \frac{n+a}{p+1}+\frac{n+b}{q+1}>{n-2m}$. We show that this is indeed the case in dimension $n=2m+1$ for bounded solutions. In particular, when $a=b$ and $p=q$, this means that $u=0$ is the only nonnegative bounded solution of the polyharmonic Hénon equation \begin{equation*} (-Δ)^m u= |x|^{a}u^p \ \ \text{in}\ \ \mathbb{R}^{n} \end{equation*} in dimension $n=2m+1$ provided $p$ is the subcritical Sobolev exponent, i.e., $1<p<{1+4m+2a}$. Moreover, we show that the conjecture holds for radial solutions in any dimensions. It seems the power weight functions $|x|^a$ and $|x|^b$ make the problem dramatically more challenging when dealing with nonradial solutions.

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'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.

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}}).

preprint2012arXiv

Uniqueness of solutions for a nonlocal elliptic eigenvalue problem

We examine equations of the form {eqnarray*} \{{array}{lcl} \hfill \HA u &=& λg(x) f(u) \qquad \text{in}\ Ω\hfill u&=& 0 \qquad \qquad \qquad \text{on}\ \pOm, {array}. {eqnarray*} where $ λ>0$ is a parameter and $ Ω$ is a smooth bounded domain in $ \IR^N$, $ N \ge 2$. Here $ g$ is a positive function and $ f$ is an increasing, convex function with $ f(0)=1$ and either $ f$ blows up at 1 or $ f$ is superlinear at infinity. We show that the extremal solution $u^*$ associated with the extremal parameter $ λ^*$ is the unique solution. We also show that when $f$ is suitably supercritical and $ Ω$ satisfies certain geometrical conditions then there is a unique solution for small positive $ λ$.

preprint2011arXiv

Liouville type theorems for stable solutions of certain elliptic systems

We establish Liouville type theorems for elliptic systems with various classes of non-linearities on $\mathbb{R}^N$. We show among other things, that a system has no semi-stable solution in any dimension, whenever the infimum of the derivatives of the corresponding non-linearities is positive. We give some immediate applications to various standard systems, such as the Gelfand, and certain Hamiltonian systems. The case where the infimum is zero is more interesting and quite challenging. We show that any $C^2(\mathbb{R}^N)$ positive entire semi-stable solution of the following Lane-Emden system, {eqnarray*} \hbox{$(N_{λ,γ})$}50pt \{{array}{lcl} \hfill -Δu&=&λf(x) \ v^p, \hfill -Δv&=&γf(x) \ u^q, {array}.{eqnarray*} is necessarily constant, whenever the dimension $N< 8+3α+\frac{8+4α}{q-1}$, provided $p=1$, $q\ge2$ and $f(x)= (1+|x|^2)^{\fracα{2}} $. The same also holds for $p=q\ge2$ provided $N < 2+ \frac{2(2+α)}{p-1} (p+\sqrt{p(p-1)})$. We also consider the case of bounded domains $Ω\subset\mathbb{R}^N$, where we extend results of Brown et al. \cite{bs} and Tertikas \cite{te} about stable solutions of equations to systems. At the end, we prove a Pohozaev type theorem for certain weighted elliptic systems.

preprint2011arXiv

On stable entire solutions of semi-linear elliptic equations with weights

We are interested in the existence versus non-existence of non-trivial stable sub- and super-solutions of {equation} \label{pop} -div(ω_1 \nabla u) = ω_2 f(u) \qquad \text{in}\ \ \IR^N, {equation} with positive smooth weights $ ω_1(x),ω_2(x)$. We consider the cases $ f(u) = e^u, u^p$ where $p>1$ and $ -u^{-p}$ where $ p>0$. We obtain various non-existence results which depend on the dimension $N$ and also on $ p$ and the behaviour of $ ω_1,ω_2$ near infinity. Also the monotonicity of $ ω_1$ is involved in some results. Our methods here are the methods developed by Farina, \cite{f2}. We examine a specific class of weights $ ω_1(x) = (|x|^2 +1)^\fracα{2}$ and $ ω_2(x) = (|x|^2+1)^\fracβ{2} g(x)$ where $ g(x)$ is a positive function with a finite limit at $ \infty$. For this class of weights non-existence results are optimal. To show the optimality we use various generalized Hardy inequalities.