1991 Mathematics Subject Classification. 35B40, 35B41, 35R05.

- Abstract. We study the dynamics of a degenerate parabolic equation with a variable, generally non-smooth diffusion coefficient, which may vanish at some points or be unbounded. We show the existence of a global branch of nonnegative stationary states, covering both the cases of a bounded and an unbounded domain. The global bifurcation of stationary states, implies-in conjuction with the definition of a gradient dynamical system in the natural phase space-that at least in the case of a bounded domain, any solution with nonnegative initial data tends to the trivial or the nonnegative equilibrium. Applications of the global bifurcation result to general degenerate semilinear as well as to quasilinear elliptic equations, are also discussed.

1 Introduction

The mathematical modelling of various physical processes, where spatial heterogeneity has a primary role, has usually as a result, the derivation of nonlinear evolution equations with variable diffusion, or dispersion. Applications are ranging from physics to biology. To name but a few, equations of such a type have been successfully applied to the heat propagation in heterogeneous materials [27, 42, 51, 52] , the study of transport of electron temperature in a confined plasma [30] , the propagation of varying amplitude waves in a nonlinear medium [70] (and [24] for linear Schrödinger equation), to the study of electromagnetic phenomena in nonhomogeneous superconductors [23, 43, 49, 50] and the dynamics of Josephson junctions [36, 37] , to epidemiology and the growth and control of brain tumors [61] .

In this work we continue the study, initiated in [55] , of the qualitative behavior of solutions of some degenerate evolution equations (involving degenerate coefficients). Work [55] concerns the asymptotic behavior of solutions, of a complex evolution equation of Ginzburg-Landau type. Here we study the following semilinear parabolic equation with variable, nonnegative diffusion coefficient, defined on an arbitrary domain (bounded or unbounded)
$\Omega \subseteq {\mathbb{R}}^{N}$
,
$N\ge 2$
,

Equation (1.1 ) can be derived as a simple model for neutron diffusion (feedback control of nuclear reactor) [27, 56] . In this case
$\phi $
(which must be nonnegative) and
$\sigma $
stand for the neutron flux and neutron diffusion respectively.

$$\begin{array}{ccc}{\partial}_{t}\phi -div\left(\sigma \right(x)\nabla \phi )& -& \lambda \phi +|\phi {|}^{2\gamma}\phi =0,x\in \Omega ,t>0,\end{array}$$ |

$$\begin{array}{ccc}\phi (x,0)& =& {\phi}_{0}\left(x\right),x\in \Omega ,\end{array}$$ | (1.1) |

$$\begin{array}{ccc}\phi {|}_{\partial \Omega}& =& 0,t>0.\end{array}$$ |

The degeneracy of problem (1.1 ) is considered in the sense that the measurable, nonnegative diffusion coefficient
$\sigma $
, is allowed to have at most a finite number of (essential) zeroes, at some points or even to be unbounded. The point of departure for the consideration of suitable assumptions on the diffusion coefficient is the work [18] , where the degenerate elliptic problem is studied: we assume that the function
$\sigma :\Omega \to \mathbb{R}$
satisfies the following assumptions
$\left({\mathcal{\mathscr{H}}}_{\alpha}\right)$
$\sigma \in {L}_{loc}^{1}(\Omega )$
and for some
$\alpha \in (0,2)$
,
${liminf}_{x\to z}|x-z{|}^{-\alpha}\sigma (x)>0$
, for every
$z\in \overline{\Omega}$
, when the domain
$\Omega $
is bounded,
$\left({\mathcal{\mathscr{H}}}_{\beta}^{\infty}\right)$
$\sigma $
satisfies condition
$\left({\mathcal{\mathscr{H}}}_{\alpha}\right)$
and
${liminf}_{\left|x\right|\to \infty}\left|x{|}^{-\beta}\sigma \right(x)>0$
, for some
$\beta >2$
, when the domain
$\Omega $
is unbounded.

The assumptions
$\left({\mathcal{\mathscr{H}}}_{\alpha}\right)$
and
$\left({\mathcal{\mathscr{H}}}_{\beta}^{\infty}\right)$
imply (see [18,Lemma2.2] ) that (i) the set of zeroes is finite, (ii) the function
$\sigma $
could be non smooth (cannot be of class
${C}^{2}$
, if
$\alpha \in (0,2)$
and it cannot have bounded derivatives if
$\alpha \in (0,1)$
). Moreover, in the unbounded domain case the function
$\sigma $
has to be unbounded. The approach in [18] , was based on Caffarelli-Kohn-Nirenberg type inequalities (see (2.1 )). For some recent results concerning these inequalities and their applications to the study of elliptic equations, we refer to [1, 20, 35] .

The physical motivation of the assumption
$\left({\mathcal{\mathscr{H}}}_{\alpha}\right)$
, is related to the modelling of reaction diffusion processes in composite materials, occupying a bounded domain
$\Omega $
, which at some points they behave as perfect insulators. Following [27,pg.79] , when at some points the medium is perfectly insulating, it is natural to assume that
$\sigma \left(x\right)$
vanishes at these points. On the other hand, when condition
$\left({\mathcal{\mathscr{H}}}_{\beta}^{\infty}\right)$
is satisfied, it follows from [18,Lemma2.2] , that in addition, the diffusion coefficient has to be unbounded. Physically, this situation corresponds to a nonhomogeneous medium, occupying the unbounded domain
$\Omega $
, which behaves as a perfect conductor in
$\Omega \backslash {B}_{R}\left(0\right)$
(see [27,pg.79] ), and as a perfect insulator in a finite number of points in
${B}_{R}\left(0\right)$
. Note that when
$\partial \Omega \ne \varnothing $
, the function
$\sigma \left(x\right)$
, need not be locally bounded. These conditions arise in various simple transport models of electron temperature in a confined plasma. See [52] for a discussion concerning the one-dimensional case:

the electron thermal diffusion is density dependent such that it vanishes with density, rendering the problem singular. Note that in various diffusion processes, the equations involve diffusion
$\sigma \left(x\right)\sim |x{|}^{\alpha}$
,
$\alpha <N$
: We refer to [30, 53] for equations describing heat propagation.

The main purpose of this work is to combine basic results from the theory of infinite dimensional dynamical systems and bifurcation theory, to give a description of the dynamics of (1.1 ). We remark here the crucial role of the conditions
$\left({\mathcal{\mathscr{H}}}_{\alpha}\right)$
and
$\left({\mathcal{\mathscr{H}}}_{\beta}^{\infty}\right)$
on the “degeneracy exponents”
$\alpha ,\beta $
which give rise to necessary compactness properties of various linear and nonlinear operators associated to the study of (1.1 ) and its related stationary problem (a degenerate elliptic equation).

We are restricted in the case
$N\ge 2$
since the case
$N=1$
, despite its similarities with the higher dimensional case with respect to the definition and properties of the appropriate functional setting, recovers also important differences. For the definition and properties of the relatedfunction spaces and detailed discussions on one dimensional versions of generalized Hardy and Caffarelli-Kohn-Nirenberg inequalities, we refer to [19, 20] .

More precisely, the first part of the present work is devoted to some results concerning the existence of a global attractor. While the result in [55] , for the complex evolution equation, concerns the existence of a global attractor in
${L}^{2}(\Omega )$
, here it is verified that the dynamical system associated to (1.1 ) is a gradient system, and that there exists a connected global attractor in the weighted Sobolev space
${D}_{0}^{1,2}(\Omega ;\sigma )$
, the closure of
${C}_{0}^{\infty}(\Omega )$
with respect to the norm
$\left|\right|\phi |{|}_{{D}_{0}^{1,2}(\Omega ,\sigma )}^{2}={\int}_{\Omega}\sigma (x\left)\right|\nabla \phi {|}^{2}$
. This space appears to be the natural energy space for (1.1 ). The main result of Section 3, can be stated by the following theorem.

Theorem 1.1.
Let
$\Omega \subseteq {\mathbb{R}}^{N}$
,
$N\ge 2$
, be an arbitrary domain (bounded or unbounded).

Assume that
$\sigma $
satisfies condition
$\left({\mathcal{\mathscr{H}}}_{\alpha}\right)$
or
$\left({\mathcal{\mathscr{H}}}_{\beta}^{\infty}\right)$
and
$$0<\gamma \le \frac{2-\alpha}{2(N-2+\alpha )}:={\gamma}^{*}.$$
Equation (1.1 ) defines a semiflow
$$\mathcal{S}\left(t\right):{D}_{0}^{1,2}(\Omega ,\sigma )\to {D}_{0}^{1,2}(\Omega ,\sigma ),$$
which possesses a global attractor
$\mathcal{A}$
in
${D}_{0}^{1,2}(\Omega ;\sigma )$
. Let
$\mathcal{\mathcal{E}}$
denote the (bounded) set of equilibrium points of
$\mathcal{S}\left(t\right)$
. For each positive orbit
$\phi $
lying in
$\mathcal{A}$
the limit set
$\omega \left(\phi \right)$
is a connected subset of
$\mathcal{\mathcal{E}}$
on which
$\mathcal{J}:{D}_{0}^{1,2}(\Omega ;\sigma )\to \mathbb{R}$
,

the Lyapunov functional associated to
$\mathcal{S}\left(t\right)$
, is constant. If
$\mathcal{\mathcal{E}}$
is totally disconnected (in particular if
$\mathcal{\mathcal{E}}$
is countable), the limit
$${z}_{+}={lim}_{t\to +\infty}\phi \left(t\right),$$
exists and is an equilibrium point. Furthermore, any solution of (1.1 ), tends to an equilibrium point as
$t\to +\infty $
.
Further analysis is carried out, regarding the bifurcation of the corresponding steady states with respect to the parameter
$\lambda \in \mathbb{R}$
. More precisely, we prove the existence of a global branch of nonnegative solutions for the equation

bifurcating from the trivial solution at
$({\lambda}_{1},0)$
, where
${\lambda}_{1}$
, is the positive principal eigenvalue of the corresponding linear problem

This is the main result of Section 4, described by the following Theorem.

$$\begin{array}{ccc}\mathcal{J}\left(\phi \right):=\frac{1}{2}{\int}_{\Omega}\sigma \left(x\right)|\nabla \phi {|}^{2}dx-\frac{\lambda}{2}{\int}_{\Omega}|\phi {|}^{2}dx+\frac{1}{2\gamma +2}{\int}_{\Omega}|\phi {|}^{2\gamma +2}dx,& & \end{array}$$ |

$$\begin{array}{c}\begin{array}{c}-div\left(\sigma \right(x)\nabla u)=\lambda u-|u{|}^{2\gamma}u,\text{in}\Omega ,\\ u{|}_{\partial \Omega}=0,\end{array}\end{array}$$ | (1.2) |

$$\begin{array}{c}\begin{array}{c}-div\left(\sigma \right(x)\nabla u)=\lambda u,\text{in}\Omega ,\\ u{|}_{\partial \Omega}=0.\end{array}\end{array}$$ | (1.3) |

Theorem 1.2.
Let
$\Omega \subseteq {\mathbb{R}}^{N}$
,
$N\ge 2$
, be an arbitrary domain (bounded or unbounded).

Assume that
$\sigma $
satisfies condition
$\left({\mathcal{\mathscr{H}}}_{\alpha}\right)$
or
$\left({\mathcal{\mathscr{H}}}_{\beta}^{\infty}\right)$
, and
$$0<\gamma <\frac{2-\alpha}{2(N-2+\alpha )}.$$
Then, the principal eigenvalue
${\lambda}_{1}$
of (1.3 ) is a bifurcating point of the problem (1.2 ) and
${C}_{{\lambda}_{1}}$
is a global branch of nonnegative solutions, which ”bends” to the right of
${\lambda}_{1}$
.

For any fixed
$\lambda >{\lambda}_{1}$
these solutions are unique.
The technique leading to the global bifurcation result, is included in the general strategy of the approximation of solutions of a degenerate partial differential equation, by constructing an approximate sequence of solutions of nondegenerate problems. The approximation procedure has been successfully applied to evolution [31, 34] , and to stationary problems [25, 26, 62] , and in the context of bifurcation theory [5, 14, 32, 38] .

One of the main difficulties arising, on the attempt to establish the global character of the branch of nonnegative solutions for (1.2 ), is that Harnack-type Inequalities are not valid in general (see [29,Remark3.2] ). This is a common fact for non-uniformly elliptic equations [39] . However, we refer to [1] and the references therein for generalized Harnack-type inequalities, applied to degenerate elliptic equations. Distinguishing between the bounded and the unbounded domain case, we consider different families of approximate boundary value problems. When
$\Omega $
is bounded, [18,Lemma2.2andRemark2.3] implies that under assumption
$\left({\mathcal{\mathscr{H}}}_{\alpha}\right)$
, there exists a finite set
$Z:=\{{z}_{1},\dots ,{z}_{k}\}\subset \overline{\Omega}$
and
$r,\delta >0$
, such that the balls of center
${z}_{i}$
and radius
$r$
,
${B}_{r}\left({z}_{i}\right)$
,
$i=1,\dots ,k$
, are pairwise disjoint and

Moreover if
$\sigma $
satisfies
$\left({\mathcal{\mathscr{H}}}_{\alpha}\right)$
, then
$\sigma \ge 0$
in
$\overline{\Omega}$
, the set of zeroes of
$\sigma $
${Z}_{\sigma}:=\{z\in \overline{\Omega}:\sigma (z)=0\}$
is finite, and
${Z}_{\sigma}\subseteq Z$
([18,Remark2.3] ). It is not a loss of a generality to assume that
${Z}_{\sigma}=Z$
.

$$\begin{array}{c}\begin{array}{c}\left(i\right)\sigma \left(x\right)\ge \delta |x-{z}_{i}{|}^{\alpha}\text{for}x\in {B}_{r}({z}_{i})\cap \Omega ,i=1,\dots ,k,\\ \left(ii\right)\sigma \left(x\right)\ge \delta ,\text{for}x\in \Omega \backslash {\cup}_{i}{B}_{r}\left({z}_{i}\right).\end{array}\end{array}$$ | (1.4) |

For convenience and simplicity, in the bounded domain case, we consider as a model for the diffusion coefficient, the function

satisfying
$\left({\mathcal{\mathscr{H}}}_{\alpha}\right)$
. Quite naturally, we construct a family of approximating nondegenerate problems as follows: Setting
${\Omega}_{r}:=\Omega \backslash {B}_{r}\left(0\right)$
, we consider the boundary value problems
$$(P{)}_{r}\{\begin{array}{c}-div\left(\sigma \right(x)\nabla u)=\lambda u-|u{|}^{2\gamma}u,\text{in}{\Omega}_{r},\\ u{|}_{\partial {\Omega}_{r}}=0.\end{array}$$
From the characterization (1.4 ), problems
$(P{)}_{r}$
are non-degenerate, and it can be shown that for fixed
$r>0$
, there exists a global branch of positive solutions (see Definition 2.6 ), by using Harnack type inequalities. The next step is to prove that the limit of the approximating family
$(P{)}_{r}$
, as
$r\to 0$
, preserves the same property, thus Theorem 1.2 .

$$\begin{array}{ccc}\sigma \left(x\right)=|x{|}^{\alpha},\alpha \in (0,2),& & \end{array}$$ | (1.5) |

When
$\Omega $
is unbounded [18,Lemma2.2andRemark2.3] implies that under
$\left({\mathcal{\mathscr{H}}}_{\beta}^{\infty}\right)$
, in addition to (1.4 ), there exists
$R>0$
, such that
$\overline{{B}_{r}\left({z}_{i}\right)}\subset {B}_{R}\left(0\right)$
for every
$i,\dots ,k$
and

In the unbounded domain case we consider as a model, the diffusion coefficient

satisfying
$\left({\mathcal{\mathscr{H}}}_{\beta}^{\infty}\right)$
. Note that since
$\sigma $
is unbounded the Harnack inequality is still not applicable.

$$\begin{array}{c}\begin{array}{c}\left(iii\right)\sigma \left(x\right)\ge \delta |x{|}^{\beta},\text{for}x\in \Omega |x|>R.\end{array}\end{array}$$ | (1.6) |

$$\begin{array}{ccc}\sigma \left(x\right)=|x{|}^{\alpha}+|x{|}^{\beta},\alpha \in (0,2),\beta >2,& & \end{array}$$ | (1.7) |

To approximate (1.2 ) defined in the unbounded domain (
$\Omega \subseteq {\mathbb{R}}^{N}$
), this time we consider the approximate family of boundary value problems in
${\Omega}_{R}:=\Omega \cap {B}_{R}\left(0\right)$
:
$$(P{)}_{R}\{\begin{array}{c}-div\left(\sigma \right(x)\nabla u)=\lambda u-|u{|}^{2\gamma}u,\text{in}{\Omega}_{R},\\ u{|}_{\partial {\Omega}_{R}}=0.\end{array}$$
Theorem 1.2 holds for
$(P{)}_{R}$
and the claim is that as
$R\to \infty $
the theorem remains valid at the limit.

To establish the properties of the principal eigenvalues corresponding to both of the approximating problems
$(P{)}_{r}$
and
$(P{)}_{R}$
, we prefer an alternative proof, based on an appropriate adaptation of Picone's Identity. This identity has been used in [2, 3, 4] , where the author established certain properties of the principal eigenvalue of the p-Laplacian operator, and extends Sturm Theorems to degenerate elliptic equations.

Furthermore, we note that the presented method is applicable independently of the shape of
$\Omega $
.

In general, the situation becomes more complicated for non-uniformly elliptic problems in terms of
$u$
. As an example of the appearance of local bifurcation, for such a type of equation, we refer to [69] .

A general treatment of degenerate elliptic equations is provided by the monograph [29] , focusing on the existence and properties of solutions (the issue of global bifurcation in the degenerate case is not addressed). Especially in the unbounded domain case, the problems are non-degenerate (at least in the sense of degeneracy, imposed by assumption (1.6 )). In [32] a global bifurcation result is proved for a degenerate semilinear elliptic equation, with a degenerate diffusion coefficient of ”critical exponent” (inducing non-compactness). Recent global bifurcation results for non-degenerate problems are included in the works [6, 32, 38, 40, 58, 66, 67] . For an overview, we also refer to the latest monographs [15, 54] .

It is our intention to use Theorem 1.2 as a main tool, for a more detailed description of the asymptotic behavior of solutions of (1.1 ), at least for the case of a bounded domain. A consequence of Theorem 1.2 is that for any fixed
$\lambda >{\lambda}_{1}$
, the set
$\mathcal{\mathcal{E}}$
includes the trivial, the unique nonnegative solution of (1.1 ) and its (unique) nonpositive reflection. A combination of Theorems 1.1 -1.2 could be used to design an intuitive picture for the dynamics of (1.1 ): It seems that the system undergoes through
${\lambda}_{1}$
a pitchfork bifurcation of supercritical type, where exchange of stability holds, i.e., the trivial solution is stable when
$\lambda <{\lambda}_{1}$
, while for
${\lambda}_{1}<\lambda $
the nonnegative (nonpositive) solution of the global branch become the stable stationary state. Section 5 is devoted to some remarks related to the rigorous verification of the bifurcation picture for (1.2 ). The fact that solutions of (1.1 ) with nonnegative initial data, remain nonnegative for all times (a ”maximum principle” property), and the stability analysis of the unique nonnegative steady state, in conjuction with [13,Theorem2.7] , implies the following

Corollary 1.3.
Assume that condition
$\left({\mathcal{\mathscr{H}}}_{\alpha}\right)$
, holds. If
${\phi}_{0}\ge 0$
a.e in
$\Omega $
, any solution
$\phi \left(t\right)$
of (1.1 ), tends to either the trivial or the unique nonnegative equilibrium point, as
$t\to \infty $
.

As it is expected, the nonnegative steady state is a global minimizer for the Lyapunov functional (Remark 5.3 ). A comment on the role of the “degeneracy exponent”
$\alpha $
and a discussion concerningsome possible further developments with respect to the case of noncompactness, is given in Remarks 5.4 , 5.5 .
We conclude by mentioning the main results, on the convergence of globally defined and bounded solutions of evolution equations to rest points, as
$t\to \infty $
.

For scalar parabolic equations we refer to [59, 60] and [74] for convergence to a single equilibrium.

In [57] the result is proved for a semilinear heat equation defined in a higher dimensional domain, assuming a special structure of the set of rest points (semistable solutions). In [44] , convergence to a unique rest point, at least for the scalar case, is proved without the hypothesis that the set of rest points is totally disconnected. The same result is extended to semilinear parabolic and wave equations considered in multidimensional domains in[45, 46, 48] , when the nonlinearity is analytic. For a scalar degenerate parabolic problem (porous medium equation) a positive answer is given in [34] .

In the recent work [17] , the result of convergence to a (single) equilibrium is extended to a semilinear parabolic equation in
${\mathbb{R}}^{N}$
: The main difficulty in the unbounded domain case is that even there exists a unique rest point
$z$
(radial with respect to
$0$
), the
$\omega $
-limit set, may contains infinite many distinct translates of
$z$
. The authors introduce a new method, by defining moments of energy, which can discriminate against different translates of a rest point. The work [17] provides also a brief but complete review of the existing results and methods. For a more detailed survey we refer to [64] .

In the case of non-autonomous systems or in the case where uniqueness of solutions of the evolution equation is not expected, the question on the convergence of solutions to rest points, and generally, on the existence of a global attractor, is discussed through the framework of generalized processes and semiflows in [11, 12, 13] . Applications include nonautonomous semilinear wave and parabolic equations, or equations involving non-Lipschitz nonlinearities, and Navier-Stokes equations.

2 Preliminaries

Function spaces and formulation of the problem. We recall some of the basic results on functional spaces defined in [18] . Let
$N\ge 2$
,
$\alpha \in (0,2)$
and
$${2}_{\alpha}^{*}=:\{\begin{array}{c}\frac{4}{\alpha}\in (2,+\infty ),\text{if}\alpha \in (0,2),N=2,\\ \frac{2N}{N-2+\alpha}\in \left(2,\frac{2N}{N-2}\right),\text{if}\alpha \in (0,2),N\ge 3.\end{array}$$
The exponent
${2}_{\alpha}^{*}$
, has the role of the critical exponent in the classical Sobolev embeddings. The following Caffarelli-Kohn-Nirenberg inequality holds, for a constant
$c$
depending only on
$\beta ,N$
,

By using (2.1 ) and conditions
$\left({\mathcal{\mathscr{H}}}_{\alpha}\right)$
and
$\left({\mathcal{\mathscr{H}}}_{\beta}^{\infty}\right)$
, it is proved in [18,Proposition2.5] , the following generalized version of (2.1 ),

As a consequence of (2.1 ) and (2.2 ), we have the following generalized version of Poincaré inequality ([18,Corollary2.6-Proposition3.5] , see also [55,Section5] ).

$$\begin{array}{c}{\left({\int}_{{\mathbb{R}}^{N}}|\phi {|}^{{2}_{\alpha}^{*}}dx\right)}^{\frac{2}{{2}_{\alpha}^{*}}}\le c{\int}_{{\mathbb{R}}^{N}}\left|x{|}^{\beta}\right|\nabla \phi {|}^{2}dx,\text{for every}\phi \in {C}_{0}^{\infty}\left({\mathbb{R}}^{N}\right).\end{array}$$ | (2.1) |

$$\begin{array}{c}{\left({\int}_{\Omega}|\phi {|}^{{2}_{\alpha}^{*}}dx\right)}^{\frac{2}{{2}_{\alpha}^{*}}}\le K{\int}_{\Omega}\sigma \left(x\right)|\nabla \phi {|}^{2}dx,\text{for every}\phi \in {C}_{0}^{\infty}(\Omega ).\end{array}$$ | (2.2) |

Lemma 2.1.
Let
$\Omega $
be a bounded (unbounded) domain of
${\mathbb{R}}^{N}$
,
$N\ge 2$
and assume that condition
$\left({\mathcal{\mathscr{H}}}_{\alpha}\right)$
(
$\left({\mathcal{\mathscr{H}}}_{\beta}^{\infty}\right)$
) is satisfied. Then there exists a constant
$c>0$
, such that

We emphasize that inequalities (2.1 ),(2.2 ) (and (2.3 ) in the case of a bounded domain), hold for some
$\alpha \in (0,2]$
. However, the case
$a=2$
can be considered as a “critical case” with respect to compactness of various embeddings, even in the bounded domain case. Moreover, condition
$\left({\mathcal{\mathscr{H}}}_{\alpha}\right)$
is optimal in the following sense: For
$\alpha >2$
there exist functions such that (2.3 ) is not satisfied [18] . Note also that in the case of an unbounded domain, (2.3 ) does not hold in general, if
$\beta \le 2$
in
$\left({\mathcal{\mathscr{H}}}_{\beta}^{\infty}\right)$
. We refer also to the examples of [1] . $$\begin{array}{c}{\int}_{\Omega}|\phi {|}^{2}dx\le c{\int}_{\Omega}\sigma (x\left)\right|\nabla \phi {|}^{2}dx,\text{for every}\phi \in {C}_{0}^{\infty}(\Omega ).\end{array}$$ | (2.3) |

The natural energy space for the problems (1.1 ) and (1.2 ) involves the space
${D}_{0}^{1,2}(\Omega ,\sigma )$
, defined as the closure of
${C}_{0}^{\infty}(\Omega )$
with respect to the norm
$$\left|\right|\phi |{|}_{{D}_{0}^{1,2}(\Omega ,\sigma )}:={\left({\int}_{\Omega}\sigma \left(x\right)|\nabla \phi {|}^{2}\right)}^{1/2}.$$
The space
${D}_{0}^{1,2}(\Omega ,\sigma )$
is a Hilbert space with respect to the scalar product

The following two lemmas refer to the continuous and compact inclusions of
${D}_{0}^{1,2}(\Omega ,\sigma )$
[18,Propositions3.3-3.5] .

$$\begin{array}{ccc}(\phi ,\psi {)}_{\sigma}:={\int}_{\Omega}\sigma (x)\nabla \phi \nabla \psi dx,\text{for every}\phi \psi \in {D}_{0}^{1,2}(\Omega ,\sigma ).& & \end{array}$$ |

Lemma 2.2.
Assume that
$\Omega $
is a bounded domain in
${\mathbb{R}}^{N}$
,
$N\ge 2$
and
$\sigma $
satisfies
$\left({\mathcal{\mathscr{H}}}_{\alpha}\right)$
.

Then the following embeddings hold:

i)
${D}_{0}^{1,2}(\Omega ,\sigma )\hookrightarrow {L}^{{2}_{\alpha}^{*}}(\Omega )$
continuously, ii)
${D}_{0}^{1,2}(\Omega ,\sigma )\hookrightarrow {L}^{p}(\Omega )$
compactly if
$p\in [1,{2}_{\alpha}^{*})$
.

Lemma 2.3.
Assume that
$\Omega $
is an unbounded domain in
${\mathbb{R}}^{N}$
,
$N\ge 2$
, and
$\sigma $
satisfies
$\left({\mathcal{\mathscr{H}}}_{\beta}^{\infty}\right)$
. Then the following embeddings hold:

i)
${D}_{0}^{1,2}(\Omega ,\sigma )\hookrightarrow {L}^{p}(\Omega )$
continuously for every
$p\in [{2}_{\beta}^{*},{2}_{\alpha}^{*}]$
, ii)
${D}_{0}^{1,2}(\Omega ,\sigma )\hookrightarrow {L}^{p}(\Omega )$
compactly if
$p\in ({2}_{\beta}^{*},{2}_{\alpha}^{*})$
.

Remark 2.4.
It is crucial to note that as a special case, the embedding
${D}_{0}^{1,2}(\Omega ,\sigma )\subset {L}^{2}(\Omega )$
is compact if either conditions
$\left({\mathcal{\mathscr{H}}}_{\alpha}\right)$
or
$\left({\mathcal{\mathscr{H}}}_{\beta}^{\infty}\right)$
hold: Observe that
$\beta >2$
implies
${2}_{\beta}^{*}=\frac{2N}{N-2+\beta}<2$
, i.e.
$2\in ({2}_{\beta}^{*},{2}_{\alpha}^{*})$
. In the unbounded domain case, we need
$\sigma $
to grow faster than quadratically at infinity, to ensure compactness. We also stress the fact, that since
$\sigma $
is not in
${L}_{loc}^{\infty}(\Omega )$
, there is not in general any inclusion relation between the space
${D}_{0}^{1,2}(\Omega ,\sigma )$
and the standard Sobolev space
${H}_{0}^{1}(\Omega )$
.
To justify the natural energy space for (1.1 ), we have applied in [55] , Friedrich's extension theory [21,pg.28,32] , [73,pg.126-135] : Assuming conditions
$\left({\mathcal{\mathscr{H}}}_{\alpha}\right)$
or
$\left({\mathcal{\mathscr{H}}}_{\beta}^{\infty}\right)$
, the operator
$\mathbf{T}=-div\left(\sigma \right(x)\nabla \phi )$
is positive and self adjoint, with domain of definition
$$D(\mathbf{T})=\left\{\phi \in {D}_{0}^{1,2}(\Omega ,\sigma ),\mathbf{T}\phi \in {L}^{2}(\Omega )\right\}.$$
The space
$D(\mathbf{T})$
, is a Hilbert space endowed with the usual graph scalar product. Moreover, there exist a complete system of eigensolutions
$\{{e}_{j},{\lambda}_{j}\}$
,

The fractional powers are defined as follows: For every
$s>0,{\mathbf{T}}^{s}$
is an unbounded selfadjoint operator in
${L}^{2}(\Omega )$
, with domain
$D\left({\mathbf{T}}^{s}\right)$
to be a dense subset in
${L}^{2}(\Omega )$
. The operator
${\mathbf{T}}^{s}$
is strictly positive and injective. Also,
$D\left({\mathbf{T}}^{s}\right)$
endowed with the scalar product
$(\phi ,\psi {)}_{D\left({\mathbf{T}}^{s}\right)}=({\mathbf{T}}^{s}\phi ,{\mathbf{T}}^{s}\psi {)}_{{L}^{2}}$
, becomes a Hilbert space. We write as usual,
${V}_{2s}=D\left({\mathbf{T}}^{s}\right)$
and we have the following identifications
$D\left({\mathbf{T}}^{-1/2}\right)={D}_{0}^{-1}(\Omega ,\sigma )$
=the dual of
${D}_{0}^{1,2}(\Omega ,\sigma )$
,
$D\left({\mathbf{T}}^{0}\right)={L}^{2}(\Omega )$
and
$D\left({\mathbf{T}}^{1/2}\right)={D}_{0}^{1,2}(\Omega ,\sigma )$
.

$$\begin{array}{c}\{\begin{array}{ccc}-div\left(\sigma \right(x)\nabla {e}_{j})={\lambda}_{j}{e}_{j},& j=1,2,...,& j\ge 1,\\ 0<{\lambda}_{1}\le {\lambda}_{2}\le ...,& {\lambda}_{j}\to \infty ,& \text{as}j\to \infty .\end{array}\end{array}$$ | (2.4) |

Moreover, the injection
${V}_{2{s}_{1}}\subset {V}_{2{s}_{2}},{s}_{1},{s}_{2}\in \mathbb{R},{s}_{1}>{s}_{2}$
, is compact and dense.

While in [55] , the local in time solvability was discussed via compactness methods, for the purposes of the present work, it is more convenient to study the local in time solvability of (1.1 ) in
${D}_{0}^{1,2}(\Omega ,\sigma )$
,via the semigroup method approach: The discussion above clearly shows, that the operator
$-\mathbf{T}$
is the generator of a linear strongly continuous semigroup
$\mathcal{T}\left(t\right)$
([10, 22, 63] ).

Definition 2.5.
For a given function
${\phi}_{0}\in {D}_{0}^{1,2}(\Omega ,\sigma )$
,
$0<\gamma <\infty $
and
$T>0$
, a solution for the problem (1.1 ), is a function
$$\phi (x,t)\in C\left(\right[0,T);{D}_{0}^{1,2}(\Omega ,\sigma \left)\right)\cap {C}^{1}\left(\right[0,T);{L}^{2}(\Omega \left)\right),$$
satisfying the variation of constants formula

where
$f\left(s\right)=\lambda s-|s{|}^{2\gamma}s$
.
Solutions of (1.1 ) satisfying Definition 2.5 and solutions satisfying [55,Definition2.3] (weak solutions) are the same. This is an immediate consequence of [9] .

$$\begin{array}{ccc}\phi \left(t\right)=\mathcal{T}\left(t\right){\phi}_{0}+{\int}_{0}^{t}\mathcal{T}(t-s)f\left(\phi \right(s\left)\right)ds& & \end{array}$$ | (2.5) |

We conclude this introductory section, by stating for the convenience of the reader, some basic definitions and results for our analysis. We state first a result on the existence of a branch of solutions of an operator equation (bifurcation in the sense of Rabinowitz [68] -see also [28] ).

Theorem 2.6.
Let
$X$
be a Banach space with norm
$\left|\right|\cdot |{|}_{X}$
and consider the operators
$$\mathbf{G}(\lambda ,\cdot ),\mathbf{L},\mathbf{H}(\lambda ,\cdot ):X\to {X}^{*},$$
where
$\mathbf{G}(\lambda ,\cdot )=\lambda \mathbf{L}(\cdot )+\mathbf{H}(\lambda ,\cdot )$
,
$\mathbf{L}$
is a compact linear operator and
$\mathbf{H}(\lambda ,\cdot )$
is compact and satisfies
$${lim}_{\left|\right|u|{|}_{X}\to 0}\frac{\left|\right|\mathbf{H}(\lambda ,u)|{|}_{{X}^{*}}}{\left|\right|u|{|}_{X}}=0.$$
If
$\lambda $
is a simple eigenvalue of
$\mathbf{L}$
then the closure of the set
$$C=\left\{\right(\lambda ,u)\in \mathbb{R}\times X:(\lambda ,u)\text{solves}\mathbf{N}(\lambda ,u):=u-\mathbf{G}(\lambda ,u)=0\text{in}{X}^{*},u\not\equiv 0\},$$
possesses a maximal continuum (i.e. connected branch) of solutions,
${C}_{\lambda}$
, such that
$(\lambda ,0)\in {C}_{\lambda}$
and
${C}_{\lambda}$
either:

(i) meets infinity in
$\mathbb{R}\times X$
or, (ii) meets
$({\lambda}^{*},0)$
, where
${\lambda}^{*}\ne \lambda $
is also an eigenvalue of
$\mathbf{L}$
.
In the approximation procedure, we are making use of a generalized Harnack-type inequality (see [29, 39] and the references therein).

Theorem 2.7.
(Harnack-type Inequality) Consider the equation

where
$\Omega \subseteq {\mathbb{R}}^{N}$
,
$1<p<N$
and the functions
$a$
and
$f$
satisfy the following conditions:

$$\begin{array}{c}-div\left(a\right(x,u\left)\right|\nabla u{|}^{p-2}\nabla u)=f(x,u),x\in \Omega ,\end{array}$$ | (2.6) |

(i)
$a$
is a Carathéodory function, such that
$a(x,s)$
is uniformly separated from zero and bounded for almost every
$x\in \Omega $
and all
$s\in \mathbb{R}$
, (ii)
$f$
is a Carathéodory function and for any
$M>0$
there exists a constant
${c}_{M}>0$
, such that
$$\left|f\right(x,s\left)\right|\le {c}_{m}|s{|}^{{p}^{*}-1},$$
for almost every
$x\in \Omega $
and all
$s\in (-M,M)$
, where
${p}^{*}$
is the critical Sobolev exponent
${p}^{*}=\frac{Np}{N-p}$
.

Assume that
$u\in {D}^{1,p}(\Omega ):=\left\{u\in {L}^{{p}^{*}}(\Omega ):\nabla u\in \left({L}^{p}\right(\Omega ){)}^{N}\right\}$
is a weak solution of (2.6 ) satisfying the weak formula
$${\int}_{\Omega}a(x,u)|\nabla u{|}^{p-2}\nabla u\nabla \phi dx={\int}_{\Omega}f(x,u)\phi dx,$$
holds for any
$\phi \in {C}_{0}^{\infty}(\Omega )$
. Then, for any cube
$K=K\left(3\rho \right)\subset \Omega $
with
$0\le u<M$
in
$K$
, we have that
$${max}_{x\in {K}_{\rho}}u\left(x\right)\le C{min}_{x\in {K}_{\rho}}u\left(x\right).$$
In particular, if the weak solution
$u\not\equiv 0$
of (1.2 ) satisfies
$u\ge 0$
in
$\Omega $
then it follows that
$u$
is strictly positive in
$\Omega $
.

Remark 2.8.
In the case where
$a(x,s)\equiv a\left(x\right)$
satisfies condition (i) of Theorem 2.6 , the norms of
${D}_{0}^{1,2}(\Omega ,a)$
and
${D}^{1,2}(\Omega )$
are equivalent.
We also recall some basic definitions and results on semiflows (see [12, 13] and [41, 71] ). Let
$X$
be a complete metric space. For each
${\phi}_{0}\in X$
, via the correspondence
$\mathcal{S}\left(t\right){\phi}_{0}=\phi \left(t\right)$
, a semiflow is a family of continuous maps
$\mathcal{S}\left(t\right):X\to X$
,
$t\ge 0$
, satisfying the semigroup identities (a)
$\mathcal{S}\left(0\right)=I$
, (b)
$\mathcal{S}(s+t)=\mathcal{S}\left(s\right)\mathcal{S}\left(t\right)$
. For
$\mathcal{\mathcal{B}}\subset X$
, and
$t\ge 0$

The positive orbit of
$\phi $
through
${\phi}_{0}$
is the set
${\gamma}^{+}\left({\phi}_{0}\right)=\left\{\phi \right(t)=\mathcal{S}(t){\phi}_{0},t\ge 0\}$
. If
$\mathcal{\mathcal{B}}\subset X$
then the positive orbit of
$\mathcal{\mathcal{B}}$
is the set

If
${t}_{0}\ge 0$
,
${\gamma}^{{t}_{0}}(\mathcal{\mathcal{B}}):={\cup}_{t\ge {t}_{0}}\mathcal{S}\left(t\right)\mathcal{\mathcal{B}}={\gamma}^{+}(\mathcal{S}({t}_{0})\mathcal{\mathcal{B}})$
. The
$\omega $
-limit set of
${\phi}_{0}\in X$
is the set
$\omega \left({\phi}_{0}\right)=\{z\in X:\phi ({t}_{j})=\mathcal{S}({t}_{j}){\phi}_{0}\to z\text{for some sequence}{t}_{j}\to +\infty \}$
. A complete orbit containing
${\phi}_{0}\in X$
, is a function
$\phi :\mathbb{R}\to X$
such that
$\phi \left(0\right)={\phi}_{0}$
and for any
$s\in \mathbb{R}$
,
$\mathcal{S}\left(t\right)\phi \left(s\right)=\phi (t+s)$
for
$t\ge 0$
. If
$\phi $
is a complete orbit containing
${\phi}_{0}$
, then the
$\alpha $
-limit set of
${\phi}_{0}$
is the set
$$\alpha \left({\phi}_{0}\right)=\{z\in X:\phi ({t}_{j})\to z\text{for some sequence}{t}_{j}\to -\infty \}.$$
The subset
$\mathcal{A}$
attracts a set
$\mathcal{\mathcal{B}}$
if
$dist(\mathcal{S}(t)\mathcal{\mathcal{B}},\mathcal{A})\to 0$
as
$t\to +\infty $
. The set
$\mathcal{A}$
is positively invariant if
$\mathcal{S}\left(t\right)\mathcal{A}\subset \mathcal{A}$
, for all
$t\ge 0$
and invariant if
$\mathcal{S}\left(t\right)\mathcal{A}=\mathcal{A}$
for all
$t\ge 0$
. The set
$\mathcal{A}$
is a global attractor if it is compact, invariant, and attracts all bounded sets.

$$\begin{array}{ccc}\mathcal{S}\left(t\right)\mathcal{\mathcal{B}}:=\left\{\phi \right(t)=\mathcal{S}(t\left){\phi}_{0}\text{with}\phi \right(0)={\phi}_{0}\in \mathcal{\mathcal{B}}\}.& & \end{array}$$ |

$$\begin{array}{ccc}{\gamma}^{+}(\mathcal{\mathcal{B}})={\bigcup}_{t\ge 0}\mathcal{S}\left(t\right)\mathcal{\mathcal{B}}=\left\{{\gamma}^{+}\right(\phi ):\phi (t)=\mathcal{S}(t\left){\phi}_{0}\text{with}\phi \right(0)={\phi}_{0}\in \mathcal{\mathcal{B}}\}.& & \end{array}$$ |

The semiflow
$\mathcal{S}\left(t\right)$
is eventually bounded if given any bounded set
$\mathcal{\mathcal{B}}\subset X$
, there exists
${t}_{0}\ge 0$
such that the set
${\gamma}^{{t}_{0}}(\mathcal{\mathcal{B}})$
is bounded. The semiflow
$\mathcal{S}\left(t\right)$
is said to be point dissipative if there is a bounded set
${\mathcal{\mathcal{B}}}_{0}$
that attracts each point of
$X$
. It is called asymptotically compact if for any bounded sequence
${\phi}_{n}$
in
$X$
and for any sequence
${t}_{n}\to \infty $
, the sequence
$\mathcal{S}\left({t}_{n}\right){\phi}_{n}$
has a convergent subsequence. It is called asymptotically smooth if whenever
$\mathcal{\mathcal{B}}$
is nonempty, bounded and positively invariant, there exists a compact set
$\mathcal{K}$
which attracts
$\mathcal{\mathcal{B}}$
.

A complete orbit is stationary if
$\phi \left(t\right)=z$
for all
$t\in \mathbb{R}$
for some
$z\in X$
and each such
$z$
, is called an equilibrium point. We denote by
$\mathcal{\mathcal{E}}$
the set of stationary points.

The functional
$\mathcal{J}:X\to \mathbb{R}$
is a Lyapunov functional for the semiflow
$\mathcal{S}\left(t\right)$
if (i)
$\mathcal{J}$
is continuous, (ii)
$\mathcal{J}(\mathcal{S}(t\left){\phi}_{0}\right)\le \mathcal{J}\mathcal{S}\left(s\right){\phi}_{0})$
and
$t\ge s\ge 0$
, (iii) if
$\mathcal{J}\left(\phi \right(t\left)\right)=$
constant for some complete orbit
$\phi $
and all
$t\in \mathbb{R}$
, then
$\phi $
is stationary.

To derive the convergence result we shall use the following Theorem.

Theorem 2.8.
([13] ) Let
$\mathcal{S}\left(t\right)$
be an asymptotically compact semiflow and suppose that there exists a Lyapunov function
$\mathcal{J}$
. Suppose further that the set
$\mathcal{\mathcal{E}}$
is bounded. Then
$\mathcal{S}\left(t\right)$
is point dissipative, so that there exists a global attractor
$\mathcal{A}$
. For each complete orbit
$\phi $
containing
${\phi}_{0}$
lying in
$\mathcal{A}$
the limit sets
$\alpha \left({\phi}_{0}\right)$
and
$\omega \left({\phi}_{0}\right)$
are connected subsets of
$\mathcal{\mathcal{E}}$
on which
$\mathcal{J}$
is constant. If
$\mathcal{\mathcal{E}}$
is totally disconnected (in particular if
$\mathcal{\mathcal{E}}$
is countable) the limits
$${z}_{-}={lim}_{t\to -\infty}\phi \left(t\right),{z}_{+}={lim}_{t\to +\infty}\phi \left(t\right)$$
exist and are equilibrium points. Furthermore any solution
$\mathcal{S}\left(t\right){\phi}_{0}$
tends to an equilibrium point as
$t\to \infty $

3 Global Attractor in ${D}_{0}^{1,2}(\Omega ,\sigma )$

In this section we shall show, that the degenerate semilinear parabolic equation (1.1 ) defines a semiflow in the energy space
${D}_{0}^{1,2}(\Omega ,\sigma )$
, possessing a global attractor. We state first an auxiliary lemma.

Lemma 3.1.
Assume that either conditions
$\left({\mathcal{\mathscr{H}}}_{\alpha}\right)$
or
$\left({\mathcal{\mathscr{H}}}_{\beta}^{\infty}\right)$
hold. The function
${f}_{1}\left(s\right):=|s{|}^{2\gamma}s,s\in \mathbb{R}$
, defines a sequentially weakly continuous map
${f}_{1}:{\mathcal{D}}_{0}^{1}(\Omega ,\sigma )\to {L}^{2}(\Omega )$
if

Furthermore, if
${F}_{1}\left(\phi \right):={\int}_{0}^{\phi}{f}_{1}\left(s\right)ds$
, the functional
${E}_{1}:{D}_{0}^{1,2}(\Omega ,\sigma )\to \mathbb{R}$
defined by
${E}_{1}\left(\phi \right)={\int}_{\Omega}{F}_{1}\left(\phi \right)dx$
, is
${C}^{1}\left({D}_{0}^{1,2}\right(\Omega ,\sigma ),\mathbb{R})$
and sequentially weakly continuous.
Proof: It can be easily checked that the functional
${f}_{1}$
is well defined, under the restriction (3.1 ), by using Lemmas 2.2 (i)-2.3 (i). Similarly, it follows that
${E}_{1}$
is well defined if

and note that
${\gamma}^{*}<{\gamma}_{1}$
. To show that both functionals are sequentially weakly continuous, we use the compactness of the embeddings stated in Lemmas 2.2 (ii)-2.3 (ii), and repeat the lines of the proof of [13,Lemma3.3,pg.38&Theorem3.6,pg.40] . To verify that
${E}_{1}$
is a
${C}^{1}$
-functional, and its derivative is given by

we consider for
$\phi ,\psi \in {D}_{0}^{1,2}(\Omega ,\sigma )$
, the quantity

Setting
$q=\frac{2N}{N+2-\alpha}$
,
$q+{2}_{\alpha}^{*}=1$
, we observe that

Lemmas 2.2 (i)-2.3 (i) are applicable under the requirement
$(2\gamma +1)q\le {2}_{\alpha}^{*}$
which justifies (3.2 ).

$$\begin{array}{ccc}0<\gamma \le \frac{2-\alpha}{2(N-2+\alpha )}:={\gamma}^{*}.& & \end{array}$$ | (3.1) |

$$\begin{array}{ccc}0<\gamma \le \frac{2-\alpha}{N-2+\alpha}:={\gamma}_{1},& & \end{array}$$ | (3.2) |

$$\begin{array}{ccc}{E}_{1}^{\prime}\left(\phi \right)\left(z\right)=\langle {f}_{1}\left(\phi \right),z\rangle ,\text{for every}\phi \in {D}_{0}^{1,2}(\Omega ,\sigma ),z\in {D}_{0}^{-1}(\Omega ,\sigma ),& & \end{array}$$ | (3.3) |

$$\begin{array}{ccc}\frac{{E}_{1}(\phi +s\psi )-{E}_{1}\left(\phi \right)}{s}& =& \frac{1}{s}{\int}_{\Omega}{\int}_{0}^{1}\frac{d}{d\theta}{F}_{1}(\phi +\theta s\psi )d\theta dx\end{array}$$ |

$$\begin{array}{ccc}& =& {\int}_{\Omega}{\int}_{0}^{1}{f}_{1}(\phi +s\theta \psi )d\theta dx.\end{array}$$ | (3.4) |

$$\begin{array}{ccc}\left|{\int}_{\Omega}{f}_{1}(\phi +\theta s\psi )\psi dx\right|\le c{\left({\int}_{\Omega}\left(\right|\phi {|}^{(2\gamma +1)}+|\psi {|}^{(2\gamma +1)}{)}^{q}dx\right)}^{\frac{1}{q}}{\left({\int}_{\Omega}|\psi {|}^{{2}_{\alpha}^{*}}dx\right)}^{\frac{1}{{2}_{\alpha}^{*}}}.& & \end{array}$$ | (3.5) |

Using the dominated convergence theorem, we may let
$s\to 0$
, to obtain that
$E$
is differentiable with the derivative (3.3 ).

We consider next a sequence
$\{{\phi}_{n}{\}}_{n\in \mathbb{N}}$
of
${D}_{0}^{1,2}(\Omega ,\sigma )$
such that
${\phi}_{n}\to \phi $
in
${D}_{0}^{1,2}(\Omega ,\sigma )$
as
$n\to \infty $
.

It holds that

Setting
${p}_{1}=\frac{{2}_{\alpha}^{*}}{q}$
we observe that the requirement for
${p}_{1}>1$
, justifies the restrictions on the exponent of degeneracy
$\alpha $
, imposed by
$\left({\mathcal{\mathscr{H}}}_{\alpha}\right)$
or
$\left({\mathcal{\mathscr{H}}}_{\beta}^{\infty}\right)$
. Setting now
${p}_{2}=\frac{N+2-\alpha}{2(2-\alpha )}$
,
${p}_{2}^{-1}+{p}_{1}^{-1}=1$
, we get

Let
${p}_{3}=2\gamma q{p}_{2}$
. To apply Lemmas 2.2 (i)-2.3 (i) once again, we need
${p}_{3}\le {2}_{\alpha}^{*}$
or (3.2 ).

$$\begin{array}{ccc}\langle {E}_{1}^{\prime}\left({\phi}_{n}\right)-{E}_{1}^{\prime}\left(\phi \right),z\rangle \le \left|\right|{f}_{1}\left({\phi}_{n}\right)-{f}_{1}\left(\phi \right)\left|{|}_{{L}^{q}}^{q}\right|\left|z\right|{|}_{{L}^{{2}_{\alpha}^{*}}}^{{2}_{\alpha}^{*}}.& & \end{array}$$ | (3.6) |

$$\begin{array}{ccc}\left|\right|{f}_{1}\left({\phi}_{n}\right)-{f}_{1}\left(\phi \right)|{|}_{{L}^{q}}^{q}& \le & c{\left({\int}_{\Omega}\left(\right|{\phi}_{n}{|}^{2\gamma}+|\phi {|}^{2\gamma}{)}^{q{p}_{2}}dx\right)}^{\frac{1}{{p}_{2}}}{\left({\int}_{\Omega}|{\phi}_{m}-\phi {|}^{{2}_{{\alpha}^{*}}}dx\right)}^{\frac{1}{{p}_{1}}}\end{array}$$ |

$$\begin{array}{ccc}& & :=\Lambda ({\phi}_{m},\phi ).\end{array}$$ |

Under this condition we have that
$\Lambda ({\phi}_{n},\phi )\to 0$
as
$n\to \infty $
and from (3.6 ), we get the continuity of
${E}^{\prime}$
.
$\diamond $
We consider the energy functional
$\mathcal{J}:{D}_{0}^{1,2}(\Omega ,\sigma )\to \mathbb{R}$

$$\begin{array}{ccc}\mathcal{J}\left(\phi \right):=\frac{1}{2}{\int}_{\Omega}\sigma \left(x\right)|\nabla \phi {|}^{2}dx-\frac{\lambda}{2}{\int}_{\Omega}|\phi {|}^{2}dx+\frac{1}{2\gamma +2}{\int}_{\Omega}|\phi {|}^{2\gamma +2}dx.& & \end{array}$$ | (3.7) |

Proposition 3.2.
Let
${\phi}_{0}\in {D}_{0}^{1,2}(\Omega ,\sigma )$
and either conditions
$\left({\mathcal{\mathscr{H}}}_{\alpha}\right)$
or
$\left({\mathcal{\mathscr{H}}}_{\beta}^{\infty}\right)$
be fulfilled, and assume that (3.1 ) holds. Then equation (1.1 ), has a unique, global in time (weak) solution
$\phi $
, such that

For each (weak solution)
$\mathcal{J}\left(\phi \right(\cdot \left)\right)\in {C}^{1}\left(\right[0,\infty \left)\right)$
and

Proof: By using similar arguments to those used for the proof of Lemma 3.1 , we may show under the assumption (3.1 ), that the function
$f\left(s\right)=|s{|}^{2\gamma}s-\lambda s$
, defines a locally Lipschitz map
$f:{D}_{0}^{1,2}(\Omega ;\sigma )\to {L}^{2}(\Omega )$
. This suffices in order to show the existence of a unique solution
$\phi $
with
$\phi \left(0\right)={\phi}_{0}$
, defined on a maximal interval
$[0,{T}_{max})$
, where
$0<{T}_{max}\le \infty $
[22] . $$\begin{array}{ccc}\phi \in C\left(\right[0,\infty );{D}_{0}^{1,2}(\Omega ,\sigma \left)\right)\cap {C}^{1}\left(\right[0,\infty );{L}^{2}(\Omega \left)\right).& & \end{array}$$ | (3.8) |

$$\begin{array}{ccc}\frac{d}{dt}\mathcal{J}\left(\phi \right(t\left)\right)=-{\int}_{\Omega}|{\partial}_{t}\phi {|}^{2}dx& & \end{array}$$ | (3.9) |

We proceed by showing that
${T}_{max}=\infty $
. First note, that by Lemma 3.1 , the energy functional
$\mathcal{J}$
is
${C}^{1}$
. This fact allows to adapt the method of [11, 13] , in order to justify (3.9 ) for any
$t\in [0,T]$
,
$T<{T}_{max}$
. We repeat the main lines of the proof, only for the shake of completeness: For all
$\phi \in D(\mathbf{T})$
, then

Setting
$g\left(t\right)=f\left(\phi \right(t\left)\right)$
we consider sequences
${g}_{n}\left(t\right)\in {C}^{1}\left(\right[0,T];{D}_{0}^{1,2}(\Omega ;\sigma \left)\right)$
and
${\phi}_{0n}\in D(\mathbf{T})$
such that

We define
${\phi}_{n}\left(t\right)=\mathcal{T}\left(t\right){\phi}_{0n}+{\int}_{0}^{t}\mathcal{T}(t-s){g}_{n}\left(s\right)ds$
, and it follows from [63,Corrolary2.5,p107] that
${\phi}_{n}\left(t\right)\in D(\mathbf{T})$
,
${\phi}_{n}\in {C}^{1}\left(\right[0,T];{D}_{0}^{1,2}(\Omega ;\sigma \left)\right)$
satisfying
$\frac{d}{dt}{\phi}_{n}\left(t\right)+\mathbf{T}\phi +f\left(\phi \right)=0$
. Also, from [11,Lemma5.5,pg.246-247] (see also [13,Theorem3.6,pg.41] ) we get that

Now using the fact that
$\mathcal{J}$
is
${C}^{1}$
and (3.10 ), we may pass to the limit to

to derive (3.9 ).

$$\begin{array}{ccc}\langle -\mathbf{T}\phi +f\left(\phi \right),{\mathcal{J}}^{\prime}\left(\phi \right)\rangle & =& -{\int}_{\Omega}|div(\sigma \left(x\right)\nabla \phi )+f(\phi ){|}^{2}dx\end{array}$$ |

$$\begin{array}{ccc}& =& -{\int}_{\Omega}|{\partial}_{t}\phi {|}^{2}dx\le 0.\end{array}$$ | (3.10) |

$$\begin{array}{ccc}{g}_{n}& \to & g,\text{in}{C}^{1}\left(\right[0,T];{D}_{0}^{1,2}(\Omega ;\sigma \left)\right),\end{array}$$ |

$$\begin{array}{ccc}{\phi}_{0n}& \to & {\phi}_{0},\text{in}{D}_{0}^{1,2}(\Omega ;\sigma ).\end{array}$$ |

$$\begin{array}{ccc}{\phi}_{n}\to \phi ,\text{in}C\left(\right[0,T];{D}_{0}^{1,2}(\Omega ;\sigma \left)\right).& & \end{array}$$ |

$$\begin{array}{ccc}\mathcal{J}\left({\phi}_{n}\right(t\left)\right)-\mathcal{J}\left({\phi}_{0n}\right)& =& {\int}_{0}^{t}\langle {\mathcal{J}}^{\prime}\left({\phi}_{n}\right(s\left)\right),-\mathbf{T}{\phi}_{n}\left(s\right)+{g}_{n}\left(s\right)\rangle ds\end{array}$$ |

$$\begin{array}{ccc}& =& -{\int}_{0}^{t}\left|\right|{\partial}_{t}{\phi}_{n}\left(s\right)|{|}_{{L}^{2}}^{2}ds+{\int}_{0}^{t}\langle {\mathcal{J}}^{\prime}\left({\phi}_{n}\right(s\left)\right),{g}_{n}\left(s\right)-f\left({\phi}_{n}\right(s\left)\right)\rangle ds\end{array}$$ |

Multiplying (1.1 ) by
$\phi $
, and integrating over
$\Omega $
, we obtain the equation

We are focusing on the case where
$\lambda >{\lambda}_{1}$
and the domain is unbounded. By interpolation and Lemma 2.3 (i), we have that for some
$\theta \in (0,1)$
,

where
${C}_{\beta}$
is the constant of the embedding
${D}_{0}^{1,2}(\Omega ,\sigma )\subset {L}^{{2}_{\beta}^{*}}(\Omega )$
and

By inserting the estimate (3.12 ) to (3.11 ), we get

Gronwall's Lemma leads to the following inequality

Letting
$t\to \infty $
, from (3.14 ) we obtain that

Now assume that
${\phi}_{0}$
is in a bounded set
$\mathcal{\mathcal{B}}$
of
${D}_{0}^{1,2}(\Omega ,\sigma )$
. Then (3.15 ) implies that for any
${\rho}_{1}>\rho $
, there exists
${t}_{0}(\mathcal{\mathcal{B}},{\rho}_{1})$
, such that

We observe that by the definition of the energy functional and (3.16 ),

Hence, since
$\mathcal{J}\left(\phi \right(t\left)\right)$
is nonincreasing in
$t$
, we conclude that

Thus solutions are globally defined in
${D}_{0}^{1,2}(\Omega ,\sigma )$
.
$\diamond $
Proof of Theorem 1.1 : It is not a loss of generality to assume that
${\phi}_{0}\in \mathcal{\mathcal{B}}(0,R)$
, a closed ball of
${D}_{0}^{1,2}(\Omega ,\sigma )$
, of center
$0$
and radius
$R$
. Then from Lemma 3.1 and (3.7 ) it follows that there exists a constant
$c\left(R\right)$
such that
$\mathcal{J}\left({\phi}_{0}\right)\le c\left(R\right)$
. Hence, (3.18 ) implies that
$\mathcal{S}\left(t\right)$
is eventually bounded. Since the resolvent of the operator
$-\mathbf{T}$
is compact,
$\mathcal{S}\left(t\right)$
is completely continuous for
$t>0$
, thus asymptotically smooth. The equivalence criterion [13,Proposition2.3,pg.36] , implies that
$\mathcal{S}\left(t\right)$
is asymptotically compact. The positive orbit
${\gamma}^{+}\left({\phi}_{0}\right)$
is precompact, having a nonempty compact connected invariant
$\omega $
-limit set
$\omega \left({\phi}_{0}\right)$
. From (3.9 ) and the continuity of
$\mathcal{S}\left(t\right)$
it follows that
$\omega \left({\phi}_{0}\right)\in \mathcal{\mathcal{E}}$
.

$$\begin{array}{ccc}\frac{1}{2}\frac{d}{dt}\left|\right|\phi |{|}_{{L}^{2}}^{2}+{\int}_{\Omega}\sigma (x\left)\right|\nabla \phi {|}^{2}dx-\lambda \left|\right|\phi |{|}_{{L}^{2}}^{2}+{\int}_{\Omega}|\phi {|}^{2\gamma +2}dx=0.& & \end{array}$$ | (3.11) |

$$\begin{array}{ccc}2\lambda \left|\right|\phi |{|}_{{L}^{2}}^{2}& \le & 2\lambda \left|\right|\phi \left|{|}_{{L}^{2\gamma +2}}^{2\theta}\right|\left|\phi \right|{|}_{{L}^{{2}_{\beta}^{*}}}^{2(1-\theta )}\end{array}$$ |

$$\begin{array}{ccc}& \le & 2\lambda {C}_{\beta}^{2(1-\theta )}\left|\right|\phi \left|{|}_{{L}^{2\gamma +2}}^{2\theta}\right|\left|\phi \right|{|}_{{D}_{0}^{1,2}(\Omega ,\sigma )}^{2(1-\theta )}\end{array}$$ |

$$\begin{array}{ccc}& \le & \frac{1}{2}\left|\right|\phi |{|}_{{D}_{0}^{1,2}(\Omega ,\sigma )}^{2}+{c}_{1}|\left|\phi \right|{|}_{{L}^{2\gamma +2}}^{2}\end{array}$$ |

$$\begin{array}{ccc}& \le & \frac{1}{2}\left|\right|\phi |{|}_{{D}_{0}^{1,2}(\Omega ,\sigma )}^{2}+\frac{1}{2}|\left|\phi \right|{|}_{{L}^{2\gamma +2}}^{2\gamma +2}+{R}_{1},\end{array}$$ | (3.12) |

$$\begin{array}{ccc}\theta & =& \frac{(\gamma +1)(\beta -2)}{(N+\beta -2)(\gamma +1)-N},{c}_{1}={C}_{\beta}^{2}\left(2\lambda {)}^{\frac{1}{1-\theta}}\right(1-\theta \left)\right(2\theta {)}^{\frac{\theta}{1-\theta}},\end{array}$$ |

$$\begin{array}{ccc}{R}_{1}& =& {c}_{1}^{\frac{\gamma +1}{\gamma}}\frac{{2}^{\frac{1}{\gamma}}\gamma}{(\gamma +1{)}^{\gamma +1}}.\end{array}$$ | (3.13) |

$$\begin{array}{ccc}\frac{1}{2}\frac{d}{dt}\left|\right|\phi |{|}_{{L}^{2}}^{2}+\frac{1}{2}|\left|\phi \right|{|}_{{D}_{0}^{1,2}(\Omega ,\sigma )}^{2}+\lambda \left|\right|\phi |{|}_{{L}^{2}}^{2}+\frac{1}{2}|\left|\phi \right|{|}_{{L}^{2\gamma +2}}^{2\gamma +2}dx\le {R}_{1}.& & \end{array}$$ |

$$\begin{array}{ccc}\left|\right|\phi \left(t\right)|{|}_{{L}^{2}}^{2}\le |\left|\phi \right(0\left)\right|{|}_{{L}^{2}}^{2}exp(-2\lambda t)+\frac{1}{\lambda {R}_{1}}(1-exp(-2\lambda t\left)\right).& & \end{array}$$ | (3.14) |

$$\begin{array}{ccc}{limsup}_{t\to \infty}\left|\right|\phi \left(t\right)|{|}_{{L}^{2}}^{2}\le {\rho}^{2},{\rho}^{2}=1/\lambda {R}_{1}.& & \end{array}$$ | (3.15) |

$$\begin{array}{ccc}\left|\right|\phi \left(t\right)|{|}_{{L}^{2}}\le {\rho}_{1},\text{for any}t\ge {t}_{0}(\mathcal{\mathcal{B}},{\rho}_{1}).& & \end{array}$$ | (3.16) |

$$\begin{array}{ccc}\mathcal{J}\left(\phi \right(t\left)\right)& \ge & \frac{1}{2}{\int}_{\Omega}\sigma \left(x\right)|\nabla \phi {|}^{2}dx-\frac{\lambda}{2}{\int}_{\Omega}|\phi {|}^{2}dx\end{array}$$ |

$$\begin{array}{ccc}& \ge & \frac{1}{2}{\int}_{\Omega}\sigma \left(x\right)|\nabla \phi {|}^{2}dx-\frac{\lambda}{2}{\rho}_{1}^{2},t\ge {t}_{0}.\end{array}$$ | (3.17) |

$$\begin{array}{ccc}\left|\right|\phi \left(t\right)|{|}_{{D}_{0}^{1,2}(\Omega ,\sigma )}^{2}\le 2\mathcal{J}({\phi}_{0})+\lambda {\rho}_{1}^{2},t\ge {t}_{0}.& & \end{array}$$ | (3.18) |

It remains to show that
$\mathcal{\mathcal{E}}$
is bounded, to conclude that
$\mathcal{S}\left(t\right)$
is point dissipative. An equilibrium point of
$\mathcal{S}\left(t\right)$
, is an extreme value of the functional
$\mathcal{J}$
or equivalently, satisfies the weak formula

Setting
$v=u$
in (3.19 ) and using inequality (3.12 ,) we obtain

(see 3.13 )), which implies that for fixed
$\lambda $
the set
$\mathcal{\mathcal{E}}$
is bounded.
$\diamond $

$$\begin{array}{ccc}{\int}_{\Omega}\sigma \left(x\right)\nabla u\nabla vdx-\lambda {\int}_{\Omega}uvdx+{\int}_{\Omega}|u{|}^{2\gamma}uvdx,\text{for every}v\in {D}_{0}^{1,2}(\Omega ,\sigma ).& & \end{array}$$ | (3.19) |

$$\begin{array}{ccc}{\int}_{\Omega}\sigma \left(x\right)|\nabla u{|}^{2}dx\le (2\lambda {)}^{\frac{\gamma +1}{\gamma (1-\theta )}}{R}_{2}(\gamma ,\theta ),& & \end{array}$$ | (3.20) |

4 Global Bifurcation of Stationary States

The validity of the continuous imbedding
${D}_{0}^{1,2}(\Omega ,\sigma )\hookrightarrow {L}^{{2}_{\alpha}^{*}}(\Omega )$
(Lemmas 2.2 -2.3 (i)), enables us to use the same arguments as in the proof [29,Theorem4.1(Step2)] (see also [1,Lemma2.8] ), in order to prove
${L}^{\infty}$
-estimates, for the weak solutions of (1.2 ) and (1.3 ).

Lemma 4.1.
Assume that
$\Omega $
is an arbitrary domain (bounded or unbounded) and the conditions
$\left({\mathcal{\mathscr{H}}}_{\alpha}\right)$
or
$\left({\mathcal{\mathscr{H}}}_{\beta}^{\infty}\right)$
are satisfied. Then any weak solution
$u$
of (1.2 ) or (1.3 ) is uniformly bounded in
$\Omega $
, i.e.
$\left|\right|u|{|}_{{L}^{\infty}(\Omega )}<C$
, where
$C$
is a positive constant depending on
$\lambda $
,
$\gamma $
and
$K$
, where
$K$
, is the constant appearing in (2.2 ).
A. The bounded domain case: We assume that the diffusion coefficient is given by (1.5 ), and we consider the following problems:
$$\left(P\right)\{\begin{array}{c}-div\left(\sigma \right(x)\nabla u)=\lambda u-|u{|}^{2\gamma}u,\text{in}\Omega ,\\ u{|}_{\partial \Omega}=0,\end{array}$$
$$(P{)}_{r}\{\begin{array}{c}-div\left(\sigma \right(x)\nabla u)=\lambda u-|u{|}^{2\gamma}u,\text{in}{\Omega}_{r}=\Omega \backslash {B}_{r}(0),\\ u{|}_{\partial {\Omega}_{r}}=0,\end{array}$$
for some
$r>0$
sufficiently small. Standard regularity results (cf. [39,Theorem8.22] ) imply that if
$u$
is a weak solution of the problem
$\left(P\right)$
, (
$(P{)}_{r}$
) then
$u\in {C}_{loc}^{1,\zeta}(\Omega \backslash \{0\left\}\right)$
, (
$u\in {C}_{loc}^{1,\zeta}\left({\Omega}_{r}\right)$
), for some
$\zeta \in (0,1)$
.

For the linear eigenvalue problems
$$\left(PL\right),\left(\right(PL{)}_{r})\{\begin{array}{cc}& -div\left(\sigma \right(x)\nabla u)=\lambda u,\text{in}\Omega \left({\Omega}_{r}\right),\\ & u{|}_{\partial \Omega}=0,(u{|}_{\partial {\Omega}_{r}}=0),\end{array}$$
we have the following lemma.

Lemma 4.2.
Assume that
$\sigma $
is given by
$\left(1.5\right)$
. Problem
$\left(PL\right)\left(\right(PL{)}_{r})$
, admits a positive principal eigenvalue
${\lambda}_{1}$
(
${\lambda}_{1,r}$
), given by

with the following properties: (i)
${\lambda}_{1}$
(
${\lambda}_{1,r})$
, is simple with a nonnegative (positive) associated eigenfunction
${u}_{1}$
, (
${u}_{1,r}$
). (ii)
${\lambda}_{1}$
(
${\lambda}_{1,r})$
, is the only eigenvalue of
$\left(PL\right)\left(\right(PL{)}_{r})$
, with nonnegative (positive) associated eigenfunction.
Proof: The existence of
${\lambda}_{1}$
(
${\lambda}_{1,r}$
) is a consequence of Lemma 2.2 (ii) (see also (2.4 )). For the proof of (i), let us assume that
${u}_{1}\ge 0$
(
${u}_{1,r}>0$
) in
$\Omega $
(
${\Omega}_{r}$
) (since if
$u$
(
${u}_{1,r}$
) is a minimizer of (4.1 ), then
$\left|{u}_{1}\right|$
(
$\left|{u}_{1,r}\right|$
) must be also a minimizer-similar arguments may also be find in [39,Theorem8.38] ). The simplicity of
${\lambda}_{1}$
(
${\lambda}_{1,r}$
), can be shown by an alternative argument, based on the so called Picone's Identity [2, 3, 4] .

$$\begin{array}{c}{\lambda}_{1}\left({\lambda}_{1,r}\right)={inf}_{\begin{array}{c}\phi \in {D}_{0}^{1,2}(\Omega ({\Omega}_{r}),\sigma )\\ \phi \not\equiv 0\end{array}}\frac{{\int}_{\Omega \left({\Omega}_{r}\right)}\sigma \left(x\right)|\nabla \phi {|}^{2}dx}{{\int}_{\Omega \left({\Omega}_{r}\right)}|\phi {|}^{2}dx}.\end{array}$$ | (4.1) |

$(\mathcal{P}\mathcal{\mathcal{I}})$
: Assume that
$u\ge 0,v>0$
are almost everywhere differentiable functions in
$\Omega $
. Define

Then
$L(u,v)=R(u,v)$
,
$L(u,v)\ge 0$
, and
$L(u,v)=0$
, if and only if
$u=kv$
for some constant
$k$
, a.e. in
$\Omega $
.

$$\begin{array}{ccc}L(u,v)& :=& |\nabla u{|}^{2}+\frac{{u}^{2}}{{v}^{2}}|\nabla v{|}^{2}-2\frac{u}{v}\nabla u\cdot \nabla v,\end{array}$$ |

$$\begin{array}{ccc}R(u,v)& :=& |\nabla u{|}^{2}-\nabla \left(\frac{{u}^{2}}{v}\right)\cdot \nabla v.\end{array}$$ |

Let
${\Omega}_{0}\subset \Omega $
a compact subset of
$\Omega $
, and
$0\le \phi \in {C}_{0}^{\infty}(\Omega )$
. For
$\lambda >0$
we consider
$u\in {C}_{loc}^{1,\zeta}(\Omega )$
,
$\zeta \in (0,1)$
, a weak solution of
$\left(PL\right)$
, such that
$0\le u$
a.e in
$\Omega $
. Then, for any
$\varepsilon >0$
, we have that

Assume now that
${\lambda}_{1}$
is not simple. Let
$v\not\equiv {u}_{1}$
be another associated eigenfunction,
$v\in {D}_{0}^{1,2}(\Omega ,\sigma )$
almost everywhere differentiable in
$\Omega $
, such that
$v\left(x\right)\ge 0$
in some
${\Omega}^{+}\subset \Omega $
. Consider (4.2 ) with
${\Omega}_{0}\subseteq {\Omega}^{+}$
,
$\lambda ={\lambda}_{1}$
and
$u={u}_{1}$
. Letting
$\phi \to v$
in
${\Omega}^{+}$
and
$\epsilon \to 0$
, Fatou's Lemma and Lebesgue Dominated Convergence Theorem, imply that
$L(v,{u}_{1})=0$
a.e. in
${\Omega}^{+}$
. Hence from
$(\mathcal{P}\mathcal{\mathcal{I}})$
we get that
$v=k{u}_{1}$
, a.e. in
${\Omega}^{+}$
, which implies the simplicity of
${\lambda}_{1}$
. Property (i) is proved.

$$\begin{array}{ccc}0& \le & {\int}_{{\Omega}_{0}}\sigma \left(x\right)L(\phi ,u+\epsilon )dx\le {\int}_{\Omega}\sigma \left(x\right)L(\phi ,u+\epsilon )dx=\end{array}$$ |

$$\begin{array}{ccc}& =& {\int}_{\Omega}\sigma \left(x\right)R(\phi ,u+\epsilon )dx=\end{array}$$ |

$$\begin{array}{ccc}& =& {\int}_{\Omega}\sigma \left(x\right)|\nabla \phi {|}^{2}dx-{\int}_{\Omega}\sigma (x)\nabla \left(\frac{{\phi}^{2}}{u+\epsilon}\right)\cdot \nabla udx=\end{array}$$ |

$$\begin{array}{ccc}& =& {\int}_{\Omega}\sigma \left(x\right)|\nabla \phi {|}^{2}dx+{\int}_{\Omega}\left(\frac{{\phi}^{2}}{u+\epsilon}\right)\nabla (\sigma \left(x\right)\nabla u)dx=\end{array}$$ |

$$\begin{array}{ccc}& =& {\int}_{\Omega}\sigma \left(x\right)|\nabla \phi {|}^{2}dx-\lambda {\int}_{\Omega}\left(\frac{{\phi}^{2}}{u+\epsilon}\right)udx.\end{array}$$ | (4.2) |

For the proof of (ii), we suppose that there exists another eigenvalue of
$\left(PL\right)$
,
${\lambda}^{*}>{\lambda}_{1}$
, to which corresponds a nonnegative eigenfunction
${u}^{*}$
. Consider (4.2 ) with
${\Omega}_{0}\subseteq {\Omega}^{+}$
,
$\lambda ={\lambda}^{*}$
and
$u={u}_{*}$
.

Letting
$\phi \to {u}_{1}$
in
$\Omega $
and
$\epsilon \to 0$
, we obtain that
$$0\le {\int}_{\Omega}\sigma \left(x\right)L({u}_{1},{u}^{*})dx<0,$$
which is a contradiction.
$\diamond $

Lemma 4.3.
Assume that
$\sigma $
is given by (1.5 ). Let also
${\lambda}_{1}$
,
${\lambda}_{1,r}$
, be the positive principal eigenvalues of the problems
$\left(PL\right)$
,
$(PL{)}_{r}$
, respectively. Then,
${u}_{1,r}\to {u}_{1}$
in
${D}_{0}^{1,2}(\Omega ,\sigma )\cap {L}_{loc}^{\infty}(\Omega \backslash \{0\left\}\right)$
, and
${\lambda}_{1,r}\downarrow {\lambda}_{1}$
, as
$r\downarrow 0$
.
Proof: We extend
${u}_{1,r}$
on
$\Omega $
as
$${\hat{u}}_{1,r}\left(x\right)=:\{\begin{array}{cc}{u}_{1,r}\left(x\right),& x\in {\Omega}_{r},\\ 0,& x\in {B}_{r},\end{array}$$
for any sufficiently small
$r>0$
, but in the sequel, for convenience, we shall use the same notation
${u}_{1,r}\equiv {\hat{u}}_{1,r}$
. Observe that
$${\lambda}_{1,r}=\frac{{\int}_{{\Omega}_{r}}\sigma \left(x\right)|\nabla {u}_{1,r}{|}^{2}dx}{{\int}_{{\Omega}_{r}}|{u}_{1,r}{|}^{2}dx}=\frac{{\int}_{\Omega}\sigma \left(x\right)|\nabla {u}_{1,r}{|}^{2}dx}{{\int}_{\Omega}|{u}_{1,r}{|}^{2}dx}\ge {\lambda}_{1},$$
and
${\lambda}_{1,r}$
is an decreasing sequence, as
$r\to 0$
, since
${\Omega}_{\rho}\subset {\Omega}_{\varrho}$
, for any
$\rho >\varrho $
. Clearly,
${u}_{1,r}$
forms a bounded sequence in
${D}_{0}^{1,2}(\Omega ,\sigma )$
. Lemma 2.2 (ii) and Lemma 4.2 , imply the existence of a pair
$({\lambda}^{*},{u}^{*})$
, and a subsequence of
${u}_{1,r}$
(not relabelled), such that
$${\lambda}_{1,r}{\int}_{\Omega}|{u}_{1,r}{|}^{2}dx\to {\lambda}^{*}{\int}_{\Omega}|{u}^{*}{|}^{2}dx,$$
as
$r\to 0$
. Then (4.1 ) implies that
${u}_{1,r}\to {u}^{*}$
in
${D}_{0}^{1,2}(\Omega ,\sigma )$
and
${u}^{*}$
satisfies
$${\int}_{\Omega}\sigma \left(x\right)|\nabla {u}^{*}{|}^{2}dx={\lambda}^{*}{\int}_{\Omega}|{u}^{*}{|}^{2}dx.$$
From Lemma 4.2 (ii), we obtain that
$({\lambda}^{*},{u}^{*})\equiv ({\lambda}_{1},{u}_{1})$
. We conclude by justifying the claim that
${u}_{1,r}$
is uniformly bounded in
${L}^{\infty}(\Omega )$
. Note that
${\lambda}_{1,r}\in ({\lambda}_{1},{\lambda}_{1}+\epsilon )$
, for some
$\epsilon >0$
and any
$r$
small enough. Since
${u}_{1,r}\in {D}_{0}^{1,2}(\Omega ,\sigma )$
, it holds that
$\left|\right|{u}_{1,r}|{|}_{{L}^{{2}_{\alpha}^{*}}(\Omega )}<K|\left|{u}_{1,r}\right|{|}_{{D}_{0}^{1,2}(\Omega ,\sigma )}$
,
$K$
is given in (2.2 ) and is independent of
$r$
. Hence, from Lemma 4.1 we have that
${u}_{1,r}$
is uniformly bounded in
${L}^{\infty}(\Omega )$
. Then by a standard bootstrap argument we get that
${u}_{1,r}\to {u}_{1}$
in
${L}_{loc}^{\infty}(\Omega \backslash \{0\left\}\right)$
and the proof is completed.
$\diamond $

Proposition 4.4.
Assume that
$\sigma $
is given by (1.5 ). The principal eigenvalues
${\lambda}_{1},{\lambda}_{1,r}$
of the linear problems
$\left(PL\right),(PL{)}_{r}$
, are bifurcation points of the problems
$\left(P\right),(P{)}_{r}$
respectively. Moreover, for any (sufficiently small)
$r>0$
, the branch
${C}_{{\lambda}_{1,r}}$
is global, and any function which belongs to
${C}_{{\lambda}_{1,r}}$
, is strictly positive.

Proof: The existence of branches bifurcating from
${\lambda}_{1},{\lambda}_{1,r}$
follows by Theorem 2.6 , since Lemma 2.2 (ii) and Lemmas 4.2 -4.3 , are in hand. We outline the proof for the branch
${C}_{{\lambda}_{1}}$
.
As in [16] , we define a bilinear form in
${C}_{0}^{\infty}(\Omega )$
by

(
$c$
is the constant in (2.3 )) and we define
$X$
to be the completion of
${C}_{0}^{\infty}(\Omega )$
with respect to the norm induced by (4.3 ),
$\left|\right|u|{|}_{X}^{2}=\langle u,u\rangle $
: from inequality 2.3 we get that

and by density it follows that
$X={D}_{0}^{1,2}(\Omega ,\sigma )$
. Henceforth we may suppose that the norm in
$X$
coincides with the norm in
${D}_{0}^{1,2}(\Omega ,\sigma )$
and that the inner product in
$X$
is given by
$<u,v>=(u,v{)}_{\sigma}$
(moreover, we may assume that if
$<\cdot ,\cdot {>}_{X,{X}^{*}}$
denotes the duality pairing on
$X$
, then
$<\cdot ,\cdot {>}_{X,{X}^{*}}=<\cdot ,\cdot >$
[73,IdentificationPrinciple21.18,pg.254] ). On the other hand, the bilinear form

is clearly continuous in
$X$
as it follows from Lemma 2.2 , and by the Riesz reperesentation theorem we can define a bounded linear operator
$\mathbf{L}$
such that

The operator
$\mathbf{L}$
is self adjoint and by Lemma 2.2 (ii) is compact. Th largest eigenvalue
${\nu}_{1}$
of
$\mathbf{L}$
is given by

It follows from Lemma 4.2 that the the positive eigenfunction
${u}_{1}$
of
$\left(PL\right)$
corresponding to
${\lambda}_{1}$
is a positive eigenfunction of
$\mathbf{L}$
corresponding to
${\nu}_{1}=1/{\lambda}_{1}$
. We consider now the nonlinear operator
$\mathbf{N}(\lambda ,\cdot ):\mathbb{R}\times X\to {X}^{*}$
defined by

Arguments very similar to those used for the proof of Lemma 3.1 , can be used in order to verify that for fixed
$u\in X$
, the functional
$S$
defined by

is a bounded linear functional and thus
$\mathbf{N}(\lambda ,u)$
is well defined from (4.5 ). Moreover by using the fact that
$X={D}_{0}^{1,2}(\Omega ,\sigma )$
and relation (4.4 ), we can rewrite
$\mathbf{N}(\lambda ,u)$
in the form
$\mathbf{N}(\lambda ,u)=u-\mathbf{G}(\lambda ,u)$
where
$\mathbf{G}(\lambda ,u):=\lambda \mathbf{L}u-\mathbf{H}\left(u\right)$
,

The restriction (3.1 ) and Lemma 2.2 (ii) implies that
$\mathbf{H}$
is compact. Moreover we observe that

Therefore, we get from (4.6 ) that

To prove that
${C}_{{\lambda}_{1,r}}$
is global for sufficiently small
$r>0$
, we proceed in two steps.

$$\begin{array}{ccc}\langle u,v\rangle ={\int}_{\Omega}\sigma \left(x\right)\nabla u\nabla vdx-\frac{{c}^{-1}}{2}{\int}_{\Omega}uvdx,\text{for all}u,v\in {C}_{0}^{\infty}(\Omega ).& & \end{array}$$ | (4.3) |

$$\begin{array}{ccc}\frac{1}{2}\left|\right|u|{|}_{{D}_{0}^{1,2}(\Omega ,\sigma )}^{2}\le |\left|u\right|{|}_{X}^{2}\le \frac{3}{2}\left|\right|u|{|}_{{D}_{0}^{1,2}(\Omega ,\sigma )}^{2},\text{for all}u,v\in {C}_{0}^{\infty}(\Omega ),& & \end{array}$$ |

$$\begin{array}{ccc}\mathbf{a}(u,v)={\int}_{\Omega}uvdx,\text{for all}u,v\in X,& & \end{array}$$ |

$$\begin{array}{ccc}\mathbf{a}(u,v)=<\mathbf{L}u,v>,\text{for all}u,v\in X.& & \end{array}$$ | (4.4) |

$$\begin{array}{ccc}{\nu}_{1}={sup}_{u\in X}\frac{<\mathbf{L}u,u>}{<u,u>}={sup}_{u\in X}\frac{{\int}_{\Omega}{u}^{2}dx}{{\int}_{\Omega}\sigma \left(x\right)|\nabla u{|}^{2}dx}.& & \end{array}$$ |

$$\begin{array}{ccc}\langle \mathbf{N}(\lambda ,u),v\rangle ={\int}_{\Omega}\sigma \left(x\right)\nabla u\nabla vdx-\lambda {\int}_{\Omega}uvdx+{\int}_{\Omega}|u{|}^{2\gamma}uvdx,\text{for all}v\in X.& & \end{array}$$ | (4.5) |

$$\begin{array}{ccc}S\left(v\right)={\int}_{\Omega}\sigma \left(x\right)\nabla u\nabla vdx-\lambda {\int}_{\Omega}uvdx+{\int}_{\Omega}|u{|}^{2\gamma}uvdx,v\in X,& & \end{array}$$ |

$$\begin{array}{ccc}<\mathbf{H}\left(u\right),v>={\int}_{\Omega}|u{|}^{2\gamma}uvdx\text{for all}v\in X.& & \end{array}$$ |

$$\begin{array}{ccc}\frac{1}{\left|\right|u|{|}_{X}}|<\mathbf{H}(u),v>|& \le & \frac{1}{\left|\right|u|{|}_{X}}\left|\right|u\left|{|}_{{L}^{2\gamma +2}}^{2\gamma}\right|\left|u\right|{|}_{{L}^{2\gamma +2}}\left|\right|v|{|}_{{L}^{2\gamma +2}}\end{array}$$ |

$$\begin{array}{ccc}& \le & {c}_{1}\left|\right|u\left|{|}_{X}^{2\gamma}\right|\left|v\right|{|}_{X}.\end{array}$$ | (4.6) |

$$\begin{array}{ccc}{lim}_{\left|\right|u|{|}_{X}\to 0}\frac{\left|\right|\mathbf{H}\left(u\right)|{|}_{{X}^{*}}}{\left|\right|u|{|}_{X}}={lim}_{\left|\right|u|{|}_{X}\to 0}{sup}_{\left|\right|v|{|}_{X}\le 1}\frac{1}{\left|\right|u|{|}_{X}}|<\mathbf{H}(u),v>|=0.& & \end{array}$$ |

(a) We shall prove first that for all solutions
$(\lambda ,u)\in {C}_{{\lambda}_{1},r}$
close to
$({\lambda}_{1,r},0)$
it holds that
$u\left(x\right)>0$
,
$x\in {\Omega}_{r}$
. In other words, we have to show that there exists
${\epsilon}_{0}>0$
, such that for any
$(\lambda ,u(x\left)\right)\in {C}_{{\lambda}_{1,r}}\cap {B}_{{\epsilon}_{0}}\left(\right({\lambda}_{1,r},0\left)\right)$
, it holds that
$u\left(x\right)>0$
, for any
$x\in {\Omega}_{r}$
(By
${B}_{{\epsilon}_{0}}\left(\right({\lambda}_{1,r},0\left)\right)$
, we denote the open ball of
${C}_{{\lambda}_{1,r}}$
of center
$({\lambda}_{1,r},0)$
and radius
${\epsilon}_{0}$
).

We argue by contradiction: Let
$({\lambda}_{n},{u}_{n})$
be a sequence of solutions of
$(P{)}_{r}$
, such that
$({\lambda}_{n},{u}_{n})\to ({\lambda}_{1,r},0)$
and assume that
${u}_{n}$
are changing sign in
${\Omega}_{r}$
. Let
${u}_{n}^{-}:=min\{0,{u}_{n}\}$
and
${\mathcal{U}}_{n}^{-}=:\{x\in {\Omega}_{r}:{u}_{n}(x)<0\}$
. Since
${u}_{n}={u}_{n}^{+}-{u}_{n}^{-}$
is a solution of the problem
$(P{)}_{r}$
it can be easily seen that
${u}_{n}^{-}$
, satisfies (in the weak sense) the equation

Then, multiplying
$\left(4.7\right)$
with
${u}_{n}^{-}$
and integrating over
${\Omega}_{r}$
we have that

Since
${\lambda}_{n}$
is a bounded sequence, it follows from (4.8 ), Hölder's inequality and relation (2.2 ) that

or, equivalently

where the constant
$M$
is independent of
$n$
. We denote now by
${\stackrel{~}{u}}_{n},={u}_{n}/\left|\right|{u}_{n}\left|\right|$
the normalization of
${u}_{n}$
. Then there exists a subsequence of
${\stackrel{~}{u}}_{n}$
(not relabelled) converging weakly in
${D}_{0}^{1,2}({\Omega}_{r},\sigma )$
to some function
${\stackrel{~}{u}}_{0}$
. By following the lines of the proof of Lemma 4.3 , it can be seen that
${\stackrel{~}{u}}_{0}={u}_{1,r}$
.

$$\begin{array}{ccc}-div\left(\sigma \left(x\right)\nabla {u}_{n}^{-}\right)& -& {\lambda}_{n}{u}_{n}^{-}+|{u}_{n}{|}^{2\gamma}{u}_{n}^{-}=0,\end{array}$$ | (4.7) |

$$\begin{array}{ccc}{u}_{n}^{-}{|}_{\partial {\Omega}_{r}}& =& 0.\end{array}$$ |

$$\begin{array}{ccc}{\int}_{{\mathcal{U}}_{n}^{-}}|\nabla {u}_{n}^{-}{|}^{2}dx-{\lambda}_{n}{\int}_{{\mathcal{U}}_{n}^{-}}|{u}_{n}^{-}{|}^{2}dx+{\int}_{{\mathcal{U}}_{n}^{-}}\left|{u}_{n}{|}^{2}\right|{u}_{n}^{-}{|}^{2}dx=0.& & \end{array}$$ | (4.8) |

$$\begin{array}{ccc}\left|\right|{u}_{n}^{-}|{|}_{{D}_{0}^{1,2}({\mathcal{U}}_{n}^{-},\sigma )}^{2}& \le & {\lambda}_{n}{\int}_{{\mathcal{U}}_{n}^{-}}|{u}_{n}^{-}{|}^{2}dx\end{array}$$ |

$$\begin{array}{ccc}& \le & C|{\mathcal{U}}_{n}^{-}{|}^{\frac{2-\alpha}{N}}{\left({\int}_{{\mathcal{U}}_{n}^{-}}|{u}_{n}{|}^{{2}_{\alpha}^{*}}\right)}^{\frac{2}{{2}_{\alpha}^{*}}}\end{array}$$ |

$$\begin{array}{ccc}& \le & C\left|{\mathcal{U}}_{n}^{-}{|}^{\frac{2-\alpha}{N}}\right|\left|{u}_{n}^{-}\right|{|}_{{D}_{0}^{1,2}({\mathcal{U}}_{n}^{-},\sigma )}^{2}.\end{array}$$ |

$$\begin{array}{c}M\le \left|{\mathcal{U}}_{n}^{-}\right|,\text{for all}n,\end{array}$$ | (4.9) |

Moreover,
${\stackrel{~}{u}}_{n}\to {u}_{1,r}>0$
in
${L}^{2}\left({\Omega}_{r}\right)$
. Passing to a further subsequence if necessary, by Egorov's Theorem,
${\stackrel{~}{u}}_{n}\to {u}_{1,r}$
uniformly on
${\Omega}_{r}$
with the exception of a set of arbitrary small measure. This contradicts (4.9 ) and we conclude the functions
${u}_{n}$
cannot change sign (for a similar argument, we refer to [28, 29, 69] ).

(b) Suppose now that for some solution
$(\lambda ,u)\in {C}_{{\lambda}_{1},r}$
, there exists a point
${x}_{0}\in {\Omega}_{r}$
, such that
$u\left({x}_{0}\right)<0$
. Using (a), the fact that the continuum
${C}_{{\lambda}_{1},r}$
is connected (see Theorem 2.6 ) and the
${C}_{loc}^{1,\zeta}\left({\Omega}_{r}\right)$
regularity of solutions, we get that there exists
$({\lambda}_{0},{u}_{0})\in {C}_{{\lambda}_{1},r}$
, such that
${u}_{0}\left(x\right)\ge 0$
, for all
$x\in {\Omega}_{r}$
, except possibly some point
${x}_{0}\in {\Omega}_{r}$
, such that
${u}_{0}\left({x}_{0}\right)=0$
. Then Theorem 2.7 , implies that
${u}_{0}\equiv 0$
on
${\Omega}_{r}$
. Thus, we may construct a sequence
$\left\{\right({\lambda}_{n},{u}_{n}\left)\right\}\subseteq {C}_{{\lambda}_{1},r}$
, such that
${u}_{n}\left(x\right)>0$
, for all
$n$
and
$x\in {\Omega}_{r}$
,
${u}_{n}\to 0$
in
${D}_{0}^{1,2}({\Omega}_{r},\sigma )$
, and
${\lambda}_{n}\to {\lambda}_{0}$
. However, this is true only for
${\lambda}_{0}={\lambda}_{1}$
.

As a consequence, we have that
${C}_{{\lambda}_{1},r}$
cannot cross
$(\lambda ,0)$
for some
$\lambda \ne {\lambda}_{1}$
, and every function which belongs to
${C}_{{\lambda}_{1},r}$
is strictly positive.
$\diamond $

Theorem 4.5.
Assume that
$\sigma $
is given by (1.5 ). Then,
${C}_{{\lambda}_{1}}$
is a global branch of nonnegative solutions for the problem
$\left(P\right)$
.
Proof It suffices to prove that
${C}_{{\lambda}_{1,r}}\to {C}_{{\lambda}_{1}}$
, as
$r\to 0$
. The global character of
${C}_{{\lambda}_{1,r}}$
implies that for any fixed positive number
$R$
, and any
$r$
sufficiently small, the set
${C}_{{\lambda}_{1,r}}\cap {B}_{R}({\lambda}_{1,r},0)$
is not empty. By using the properties of
${\lambda}_{1}$
established in Lemma 4.2 and the compactness arguments of Lemma 4.3 , we can show that
$${lim}_{r\to 0}{C}_{{\lambda}_{1,r}}\cap {B}_{R}({\lambda}_{1,r},0)\to {C}_{{\lambda}_{1}}\cap {B}_{R}({\lambda}_{1},0),\text{for every}R>0,$$
which implies that
${C}_{{\lambda}_{1,r}}\to {C}_{{\lambda}_{1}}$
, as
$r\to 0$
. Alternatively, one may use Whyburn's Theorem [5, 14, 32, 38] .
$\diamond $
Proof of Theorem 1.2 in the case of
$\left({\mathcal{\mathscr{H}}}_{\alpha}\right)$
: One has to extend Theorem 4.5 in the case of a diffusion coefficient satisfying
$\left({\mathcal{\mathscr{H}}}_{\alpha}\right)$
. Since the set of zeroes of
$\sigma $
,
${Z}_{\sigma}$
is finite, we may use (1.4 ) and consider approximating problems similar to
$\left({P}_{r}\right)$
, defined this time in the domain
${\Omega}_{r}=\Omega \backslash {\cup}_{i}{B}_{r}\left({z}_{i}\right)$
. The finiteness of
${Z}_{\sigma}$
, allows to repeat the proofs of Lemmas 4.2 -4.3 and Proposition 4.4 , without additional complications.

B. The unbounded domain case We assume that the diffusion coefficient is given by (1.7 ) andwe consider the following problem:
$$(P{)}_{\infty}\{\begin{array}{cc}& -div\left(\sigma \right(x)\nabla u)=\lambda u-|u{|}^{2\gamma}u,\text{in}\Omega ,\\ & u{|}_{\partial \Omega}=0.\end{array}$$
where
$\Omega \subseteq {\mathbb{R}}^{N}$
,
$N\ge 2$
, is an unbounded domain containing the origin. The regularity results of [39,Theorem8.22] , imply once again that if
$u$
is a weak solution of the problem
$\left({P}_{\infty}\right)$
, then
$u\in {C}_{loc}^{1,\zeta}(\Omega \backslash \{0\left\}\right)$
, for some
$\zeta \in (0,1)$
. This time, we consider the approximating problem,
$$(P{)}_{R}\{\begin{array}{cc}& -div\left(\sigma \right(x)\nabla u)=\lambda u-|u{|}^{2\gamma}u,\text{in}{\Omega}_{R}=\Omega \cap {B}_{R}(0),\\ & u{|}_{\partial {\Omega}_{R}}=0.\end{array}$$
We consider the linear eigenvalue problems
$$(PL{)}_{\infty},(\left(PL{)}_{R}\right)\{\begin{array}{c}-div\left(\sigma \right(x)\nabla u)=\lambda u,\text{in}\Omega \left({\Omega}_{R}\right),\\ u{|}_{\partial \Omega}=0,(u{|}_{\partial {\Omega}_{R}}=0).\end{array}$$
A result similar to Lemma 4.2 , holds.

Lemma 4.6.
Assume that
$\sigma $
is given by
$\left(1.7\right)$
. Problem
$\left(PL{)}_{\infty}\right(\left(PL{)}_{R}\right)$
, admits a positive principal eigenvalue
${\lambda}_{1}$
(
${\lambda}_{1,R}$
), given by

with the following properties: (i)
${\lambda}_{1}$
(
${\lambda}_{1,R})$
, is simple with a nonnegative (positive) associated eigenfunction
${u}_{1}$
, (
${u}_{1,R}$
). (ii)
${\lambda}_{1}$
(
${\lambda}_{1,R})$
, is the only eigenvalue of
$\left(PL{)}_{\infty}\right(\left(PL{)}_{R}\right)$
, with nonnegative (positive) associated eigenfunction.
To prove a similar to Lemma 4.3 result, we shall use the extension
$${\hat{u}}_{1,R}\left(x\right)=:\{\begin{array}{cc}{u}_{1,R}\left(x\right),& x\in {\Omega}_{R},\\ 0,& x\in \Omega \backslash {\Omega}_{R},\end{array}$$
and use for convenience the notation
${\hat{u}}_{1,R}\equiv {u}_{1,R}$
.

$$\begin{array}{c}{\lambda}_{1}\left({\lambda}_{1,R}\right)={inf}_{\begin{array}{c}\phi \in {D}_{0}^{1,2}(\Omega ({\Omega}_{R}),\sigma )\\ \phi \not\equiv 0\end{array}}\frac{{\int}_{\Omega \left({\Omega}_{R}\right)}\sigma \left(x\right)|\nabla \phi {|}^{2}dx}{{\int}_{\Omega \left({\Omega}_{R}\right)}|\phi {|}^{2}dx}.\end{array}$$ | (4.10) |

Lemma 4.7.
Let
${\lambda}_{1}$
, (
${\lambda}_{1,R}$
) be the positive principal eigenvalues of the problems
$\left(P{L}_{\infty}\right),\left(\right(PL{)}_{R})$
. Then,
${\hat{u}}_{1,R}\to {u}_{1}$
, in
${D}_{0}^{1,2}(\Omega ,\sigma )\cap {L}_{loc}^{\infty}(\Omega \backslash \{0\left\}\right)$
and
${\lambda}_{1,R}\downarrow {\lambda}_{1}$
, as
$R\to \infty $
.
We remark that for each
$R>0$
, Theorem 4.5 is applicable for
$(P{)}_{R}$
: There exists a global branch,
${C}_{{\lambda}_{1,R}}$
, of nonnegative solutions, bifurcating from
${\lambda}_{1,R}$
. This suffices for a repetition of arguments similar to those used for the proof of Theorem 4.5 , to show that
${C}_{{\lambda}_{1,R}}\to {C}_{{\lambda}_{1}}$
, as
$R\to \infty $
.

Theorem 4.8.
Assume that
$\sigma $
is given by ( 1.7 ). Then,
${\lambda}_{1}$
is a bifurcating point of the problem
$\left({P}_{\infty}\right)$
and
${C}_{{\lambda}_{1}}$
is a global branch of nonnegative solutions.
Proof of Theorem 1.2 in the case of
$\left({\mathcal{\mathscr{H}}}_{\beta}^{\infty}\right)$
: One has to consider approximating problems similar to
$\left({P}_{R}\right)$
, defined in the domain
${\Omega}_{R}=\Omega \cap {B}_{R}\left(0\right)$
. The conclusion follows from Theorem 1.2 in the case of
$\left({\mathcal{\mathscr{H}}}_{\alpha}\right)$
, repeating the proofs of Lemmas 4.6 -4.7 and the arguments of the proof of Theorem 4.5 .

C. Properties of the global branches In the remaining part of this section, we state some further properties of the global branch
${C}_{{\lambda}_{1}}$
, both in the bounded and the unbounded domain case.For similar properties possessed by solutions of nondegenerate elliptic equations, we refer to [5, 32, 38] .

Lemma 4.9.
Assume that
$\Omega $
is a bounded domain and the condition
$\left({\mathcal{\mathscr{H}}}_{\alpha}\right)$
is fulfilled,
$\lambda >{\lambda}_{1}$
is fixed and
${u}_{\lambda ,r}\in {C}_{{\lambda}_{1,r}}$
and
${u}_{\lambda}\in {C}_{{\lambda}_{1}}$
. Then, we have that
$${u}_{\lambda ,r}\left(x\right)\le {u}_{\lambda}\left(x\right),\text{for any}x\in {\overline{\Omega}}_{r},\text{and any}r\to 0,$$
and
$${u}_{\lambda ,r}\to {u}_{\lambda}\text{in}{L}_{loc}^{\infty}(\Omega \backslash \{0\left\}\right),\text{as}r\to 0.$$

Proof: The solution
${u}_{\lambda ,r}$
satisfies
$(P{)}_{r}$
, while
${u}_{\lambda}$
satisfies
$$\{\begin{array}{c}-div\left(\sigma \right(x)\nabla u)=\lambda u-|u{|}^{2\gamma}u,\\ u{|}_{\partial \Omega}=0,u{|}_{\partial {B}_{r}}>0.\end{array}$$
Having in mind, that both
${u}_{\lambda ,r}$
and
${u}_{\lambda}$
are sufficiently smooth and positive functions on
${\overline{\Omega}}_{r}$
, from the Comparison Principle [65,Theorem10.5] , we conclude the first assertion of Lemma. Next, we proceed as in Lemma 4.3 . Since
${u}_{\lambda ,r}\in {D}_{0}^{1,2}(\Omega ,\sigma )$
, it holds that
$\left|\right|{u}_{\lambda ,r}|{|}_{{L}^{{2}_{\alpha}^{*}}(\Omega )}<K|\left|{u}_{\lambda ,r}\right|{|}_{{D}_{0}^{1,2}(\Omega ,\sigma )}$
, where
$K$
is given in (2.2 ) and is independent of
$r$
. Hence, from Lemma 4.1 we have that
${u}_{\lambda ,r}$
is uniformly bounded in
${L}^{\infty}(\Omega )$
. Consider
$\psi =u-{u}_{\lambda ,r}$
. Then, from [39,Theorem8.8] we obtain that
$$\left|\right|\psi |{|}_{{W}_{loc}^{2,2}(\Omega \backslash \{0\left\}\right)}\le c|\left|\psi \right|{|}_{{W}^{1,2}(\Omega )}+O\left(r\right),\text{as}r\to 0,$$
for some positive constant
$c$
independent from
$r$
. Then, by a standard bootstrap argument, we conclude that
${u}_{\lambda ,r}\to {u}_{\lambda}$
in
${L}_{loc}^{\infty}(\Omega \backslash \{0\left\}\right)$
and the proof is completed.
$\diamond $
Similar results may be obtained for the unbounded domain case.
Lemma 4.10.
Assume that
$\Omega $
is an unbounded domain and the condition
$\left({\mathcal{\mathscr{H}}}_{\beta}^{\infty}\right)$
is fulfilled,
$\lambda >{\lambda}_{1}$
is fixed,
${u}_{\lambda ,R}\in {C}_{{\lambda}_{1,R}}$
and
${u}_{\lambda}\in {C}_{{\lambda}_{1}}$
. Then, we have that
$${u}_{\lambda ,R}\left(x\right)<{u}_{\lambda}\left(x\right),\text{for any}x\in {\Omega}_{R},$$
and
$${u}_{\lambda ,R}\to {u}_{\lambda}\text{in}{L}_{loc}^{\infty}(\Omega \backslash \{0\left\}\right),\text{as}R\to \infty .$$

For both, the bounded and the unbounded domain case, we have the following
Proposition 4.11.
Assume that conditions
$\left({\mathcal{\mathscr{H}}}_{\alpha}\right)$
or
$\left({\mathcal{\mathscr{H}}}_{\beta}^{\infty}\right)$
hold. Then, (i) The global branch
${C}_{{\lambda}_{1}}$
bends to the right of
${\lambda}_{1}$
(supercritical bifurcation) and it is bounded for
$\lambda $
bounded.

(ii) Every solution
$u\in {C}_{{\lambda}_{1}}$
, is the unique nonnegative solution for the problem (1.2 ).
Proof: (i) Assume that
${C}_{{\lambda}_{1}}$
bends to the left of
${\lambda}_{1}$
. Then there exists a pair
$(\lambda ,u)\in \mathbb{R}\times {D}_{0}^{1,2}(\Omega ,\sigma )$
,
$0<\lambda <{\lambda}_{1}$
, such that

The last equality implies that
$$\left|\right|u|{|}_{{D}_{0}^{1,2}(\Omega ,\sigma )}^{2}\le \lambda |\left|u\right|{|}_{{L}^{2}(\Omega )}^{2},\text{with}\lambda <{\lambda}_{1},$$
which contradicts the variational characterization (4.1 ) of
${\lambda}_{1}$
. Thus,
${C}_{{\lambda}_{1}}$
must bend to the right of
${\lambda}_{1}$
. To show that
${C}_{{\lambda}_{1}}$
is bounded for
$\lambda $
bounded, we proceed exactly as for the derivation of the estimate (3.20 ).

$$\begin{array}{c}{\int}_{\Omega}\sigma \left(x\right)|\nabla u{|}^{2}dx=\lambda {\int}_{\Omega}|u{|}^{2}dx-{\int}_{\Omega}|u{|}^{2\gamma +2}dx,\end{array}$$ | (4.11) |

(ii) Let
$u\in {C}_{{\lambda}_{1}}$
, and suppose that
$v$
is a nonnegative solution of (1.2 ) with
$u\not\equiv v$
. We claim that
$u\left(x\right)\le v\left(x\right)$
, for any
$x\in \Omega \backslash \left\{0\right\}$
. This is a concequence of Lemma 4.9 , since by the Comparison Principle we have that
$${u}_{\lambda ,r}\left(x\right)\left(\text{or}{u}_{\lambda ,R}\right(x\left)\right)\le {min}_{x\in \Omega}\left\{u\right(x),v(x\left)\right\},$$
and of the
${L}_{loc}^{\infty}$
-convergence of
${u}_{\lambda ,r}$
(or
${u}_{\lambda ,R}\left(x\right)$
) to
$u$
. Then, from (4.11 ) we must have that
$${\int}_{\Omega}\left(\right|u{|}^{2\gamma}v-\left|v{|}^{2\gamma}u\right)dx=0,$$
which is a contradiction, unless
$u\equiv v$
.
$\diamond $
We emphasize that uniqueness results in the case of semilinear elliptic equations, have been treated by many authors. We refer to the discussion in [58,Theorem2.4] . For an approach using variational methods we refer to [32,Theorem4.1] ).

5 Convergence to the nonnegative equilibrium, in the case of a bounded domain.

Theorem 1.1 establishes for any
$\lambda >{\lambda}_{1}$
, the existence of a unique nonnegative equilibrium point for the semiflow
$\mathcal{S}\left(t\right)$
. In the light of Theorem 1.2 , in order to prove convergence of solutions of (1.1 ) to the nonnegative equilibrium, it remains to verify (a) that solutions of (1.1 ) remain positive for all times and (b) the asymptotic stability of the nonnegative equilibrium.

Proposition 5.1.
Assume that condition
$\left({\mathcal{\mathscr{H}}}_{\alpha}\right)$
or
$\left({\mathcal{\mathscr{H}}}_{\beta}^{\infty}\right)$
holds. The set
$${\mathcal{D}}_{+}:=\left\{\phi \in {D}_{0}^{1,2}(\Omega ,\sigma ):\phi \left(x\right)\ge 0\text{on}\overline{\Omega}\right\},$$
is a positively invariant set for the semiflow
$\mathcal{S}\left(t\right)$
.
Proof: From Proposition 3.2 , we have that solutions are globally defined in time. It suffices to show that a kind of maximum principle holds, that is, solutions of (1.1 ) corresponding to nonnegative initial data, remain positive. We adapt an argument from [22,Proposition5.3.1] . Let
${\phi}_{0}\in {D}_{0}^{1,2}(\Omega ,\sigma )$
,
${\phi}_{0}\ge 0$
a.e in
$\Omega $
, and
$\phi \in C\left(\right[0,+\infty );{D}_{0}^{1,2}(\Omega ,\sigma \left)\right)\cap {C}^{1}\left(\right[0,+\infty );{L}^{2}(\Omega \left)\right)$
the global in time solution of (1.1 ), with initial condition
${\phi}_{0}$
. We consider
${\phi}^{+}:=max\{\phi ,0\}$
,
${\phi}^{-}:=-min\{\phi ,0\}$
.

Both
${\phi}^{+}$
and
${\phi}^{-}$
are nonnegative,
${\phi}^{-},{\phi}^{+}\in \phi \in C\left(\right[0,+\infty );{D}_{0}^{1,2}(\Omega ,\sigma \left)\right)\cap {C}^{1}\left(\right[0,+\infty );{L}^{2}(\Omega \left)\right)$
, and we set
$\phi ={\phi}^{+}-{\phi}^{-}$
. We get from (1.1 ), that
${\phi}^{-}$
satisfies the equation

Multiplying (5.1 ) by
${\phi}^{-}$
and integrating over
$\Omega $
we obtain

which implies that

Thus, by Gronwall's Lemma we obtain

hence
$\phi \ge 0$
for all
$t\in (0,+\infty )$
, a.e. in
$\Omega $
.
$\diamond $

$$\begin{array}{ccc}{\partial}_{t}{\phi}^{-}-div\left(\sigma \right(x)\nabla {\phi}^{-})-\lambda {\phi}^{-}+|\phi {|}^{2\gamma}{\phi}^{-}=0.& & \end{array}$$ | (5.1) |

$$\begin{array}{ccc}\frac{1}{2}\frac{d}{dt}\left|\right|{\phi}^{-}|{|}_{{L}^{2}}^{2}+{\int}_{\Omega}\sigma (x\left)\right|\nabla {\phi}^{-}{|}^{2}dx-\lambda \left|\right|{\phi}^{-}|{|}_{{L}^{2}}^{2},+{\int}_{\Omega}|\phi {|}^{2\gamma}|{\phi}^{-}{|}^{2}dx=0,& & \end{array}$$ | (5.2) |

$$\begin{array}{ccc}\frac{1}{2}\frac{d}{dt}\left|\right|{\phi}^{-}|{|}_{{L}^{2}}^{2}\le c|\left|{\phi}^{-}\right|{|}_{{L}^{2}}^{2}.& & \end{array}$$ |

$$\begin{array}{ccc}\left|\right|{\phi}^{-}\left(t\right)|{|}_{{L}^{2}}^{2}\le {e}^{ct}|\left|{\phi}_{0}^{-}\right|{|}_{{L}^{2}}^{2}=0,\text{for every}t\in [0,+\infty ),& & \end{array}$$ | (5.3) |

Lemma 5.2.
Let condition
$\left({\mathcal{\mathscr{H}}}_{\alpha}\right)$
be fulfilled. The unique nonnegative equilibrium point which exists for
$\lambda >{\lambda}_{1}$
is uniformly asymptotically stable.
We discuss first the stability properties of the zero solution. The linearization about the zero solution which is an equilibrium point for any
$\lambda $
is

It follows from (2.4 ), that
$\phi =0$
is asymptotically stable in
${D}_{0}^{1,2}(\Omega ,\sigma )$
if
$\lambda <{\lambda}_{1}$
, and unstable in
${D}_{0}^{1,2}(\Omega ,\sigma )$
if
$\lambda >{\lambda}_{1}$
.

$$\begin{array}{ccc}{\partial}_{t}\psi -div\left(\sigma \right(x)\nabla \psi )& -& \lambda \psi =0,x\in \Omega ,\end{array}$$ |

$$\begin{array}{ccc}\psi {|}_{\partial \Omega}& =& 0.\end{array}$$ |

The linearization around the nonnegative equilibrium point
$u$
of (1.1 ), is given by

and we shall see that for the corresponding eigenvalue problem

zero is not an eigenvalue. The weak formulation of (5.5 ) is

for every
$\omega \in {D}_{0}^{1,2}(\Omega ,\sigma )$
. The symmetric bilinear form
${A}_{\sigma}:{D}_{0}^{1,2}(\Omega ,\sigma )\times {D}_{0}^{1,2}(\Omega ,\sigma )\to \mathbb{R}$
defines a Garding form [73,pg.366] , since

Hence, Garding's inequality is satisfied. Then it follows from Lemmas 2.2 -2.3 and [73,Theorem22.Gpg.369-370] , that the problem (5.5 ) has infinitely many eigenvalues of finite multiplicity, and if we count the eigenvalues according to their multiplicity, then

The smallest eigenvalue can be characterized by the minimization problem

The
$j$
-th eigenvalue, can be characterized by the minimum-maximum principle

where
$M=\{\psi \in {D}_{0}^{1,2}(\Omega ,\sigma ):|\left|\psi \right|{|}_{{L}^{2}}=1\}$
and
${\mathcal{\mathcal{L}}}_{j}$
denotes the class of all sets
$M\cap L$
with
$L$
an arbitrary
$j$
-dimensional linear subspace of
${D}_{0}^{1,2}(\Omega ,\sigma )$
.

$$\begin{array}{ccc}-div\left(\sigma \right(x)\nabla \psi )& -& \lambda \psi +(2\gamma +1)|u{|}^{2\gamma}\psi =0,\end{array}$$ | (5.4) |

$$\begin{array}{ccc}\psi {|}_{\partial \Omega}& =& 0,\end{array}$$ |

$$\begin{array}{ccc}-div\left(\sigma \right(x)\nabla \psi )& -& \lambda \psi +(2\gamma +1)|u{|}^{2\gamma}\psi =\mu \psi ,\end{array}$$ | (5.5) |

$$\begin{array}{ccc}\psi {|}_{\partial \Omega}& =& 0,\end{array}$$ |

$$\begin{array}{ccc}A(\psi ,\omega {)}_{\sigma}& :=& {\int}_{\Omega}\sigma \left(x\right)\nabla \psi \nabla \omega dx-\lambda {\int}_{\Omega}\psi \omega dx\end{array}$$ |

$$\begin{array}{ccc}& +& (2\gamma +1){\int}_{\Omega}|u{|}^{2\gamma}\psi \omega dx=\mu {\int}_{\Omega}\psi \omega dx,\end{array}$$ | (5.6) |

$$\begin{array}{ccc}{A}_{\sigma}(\psi ,\psi )\ge \left|\right|\psi |{|}_{{D}_{0}^{1,2}(\Omega ,\sigma )}^{2}-\lambda |\left|\psi \right|{|}_{{L}^{2}(\Omega )}^{2}.& & \end{array}$$ |

$$\begin{array}{ccc}-\lambda <{\mu}_{1}\le {\mu}_{2}\le \cdots ,\text{and}{\mu}_{j}\to \infty \text{as}j\to \infty .& & \end{array}$$ | (5.7) |

$$\begin{array}{ccc}{\mu}_{1}=min{A}_{\sigma}(\psi ,\psi ),\psi \in {D}_{0}^{1,2}(\Omega ,\sigma ),\left|\right|\psi |{|}_{{L}^{2}}=1.& & \end{array}$$ | (5.8) |

$$\begin{array}{ccc}{\mu}_{j}={min}_{M\in {\mathcal{\mathcal{L}}}_{j}}{max}_{\psi \in M}{A}_{\sigma}(\psi ,\psi ).& & \end{array}$$ | (5.9) |

By using similar arguments as for the proof of Lemmas 4.2 -4.6 , we may see that for (5.5 ), the (nontrivial) eigenfunction corresponding to the principal eigenvalue
${\mu}_{1}$
is nonnegative, i.e
${\psi}_{1}\ge 0$
a.e. on
$\Omega $
. Since
${\mu}_{1},{\psi}_{1}$
satisfy (5.6 ) we get by setting
$\omega =u$
that

On the other hand, by setting
$v={\psi}_{1}$
to the weak formula (3.19 ) we get

Subtracting these equations, we obtain that

which implies that
${\mu}_{1}>0$
.
$\diamond $
Proof of Corollary 1.3 : The positivity property of Proposition 5.1 and Theorem 1.1 , imply that the solution
$\phi (\cdot ,t)$
converges towards the set of nonnegative solutions of (1.2 ) as
$t\to \infty $
, in
${D}_{0}^{1,2}(\Omega ,\sigma )$
. In fact, it follows from Lemma 5.2 , that in the case of
$\lambda >{\lambda}_{1}$
, for any nonnegative initial condition
${\phi}_{0}$
,
$\omega \left({\phi}_{0}\right)=\left\{u\right\}$
. On the other hand it is not hard to check, by following the computations leading to (3.14 )-(3.15 ), that in the case
$\lambda <{\lambda}_{1}$
,
$dist(\mathcal{S}(t)\mathcal{\mathcal{B}},\{0\left\}\right)\to 0$
as
$t\to \infty $
, for every bounded set
$\mathcal{\mathcal{B}}\subset {D}_{0}^{1,2}(\Omega ,\sigma )$
. In this case, the global attractor
$\mathcal{A}$
is reduced to
$\left\{0\right\}$
.
$\diamond $

$$\begin{array}{ccc}{\int}_{\Omega}\sigma \left(x\right)\nabla {\psi}_{1}\nabla udx-\lambda {\int}_{\Omega}{\psi}_{1}udx+(2\gamma +1){\int}_{\Omega}|u{|}^{2\gamma}{\psi}_{1}udx={\mu}_{1}{\int}_{\Omega}{\psi}_{1}u.& & \end{array}$$ |

$$\begin{array}{ccc}{\int}_{\Omega}\sigma \left(x\right)\nabla {\psi}_{1}\nabla udx-\lambda {\int}_{\Omega}{\psi}_{1}udx+{\int}_{\Omega}|u{|}^{2\gamma}{\psi}_{1}udx=0.& & \end{array}$$ |

$$\begin{array}{ccc}2\gamma {\int}_{\Omega}|u{|}^{2\gamma}u{\psi}_{1}dx={\mu}_{1}{\int}_{\Omega}u{\psi}_{1}dx,& & \end{array}$$ | (5.10) |

Remark 5.3.
(Minimization of the Lyapunov Function) We expect naturally, that the nonnegative equilibrium points, minimize the Lyapunov function ( 3.7 ) [7] . Assume that condition
$\left({\mathcal{\mathscr{H}}}_{\alpha}\right)$
holds. It is not hard to check that
$\mathcal{J}$
is a bounded from below functional on
${D}_{0}^{1,2}(\Omega ,\sigma )$
. Assume further that
$\lambda <{\lambda}_{1}$
. Then, the variational characterization of
${\lambda}_{1}$
( 4.1 )( 4.10 ), implies that
$$\mathcal{J}\left(\phi \right)\ge \frac{1}{2\gamma +2}\left|\right|\phi |{|}_{{L}^{2\gamma +2}(\Omega )}^{2\gamma +2},$$
for every
$\phi \in {D}_{0}^{1,2}(\Omega ,\sigma )$
. Hence the trivial solution is the global minimizer of the functional
$\mathcal{J}$
. However, for
$\lambda >{\lambda}_{1}$
the origin is no longer the global minimizer of the functional: consider the function
$t{u}_{1}$
, where
${u}_{1}$
is the normalized nonnegative eigenfunction associated to
${\lambda}_{1}$
and
$t>0$
is small enough. Then from ( 3.7 ), we have that

The justification of the Palais-Smale condition follows from Lemma 2.2 (ii). Then, Ekeland's variational principle implies the existence of nontrivial minimizers for
$\mathcal{J}$
.

$$\begin{array}{ccc}\mathcal{J}\left(t{u}_{1}\right)& =& \frac{{t}^{2}}{2}\left|\right|{u}_{1}|{|}_{{D}_{0}^{1,2}(\Omega ,\sigma )}^{2}-\frac{{\lambda}_{1}{t}^{2}}{2}|\left|{u}_{1}\right|{|}_{{L}^{2}(\Omega )}^{2}-\frac{(\lambda -{\lambda}_{1}){t}^{2}}{2}\left|\right|{u}_{1}|{|}_{{L}^{2}(\Omega )}^{2}\end{array}$$ |

$$\begin{array}{ccc}& & +\frac{{t}^{2\gamma +2}}{2\gamma +2}\left|\right|{u}_{1}|{|}_{{L}^{2\gamma +2}(\Omega )}^{2\gamma +2}\end{array}$$ |

$$\begin{array}{ccc}& =& -\frac{(\lambda -{\lambda}_{1}){t}^{2}}{2}\left|\right|{u}_{1}|{|}_{{L}^{2}(\Omega )}^{2}+\frac{{t}^{2\gamma +2}}{2\gamma +2}|\left|{u}_{1}\right|{|}_{{L}^{2\gamma +2}(\Omega )}^{2\gamma +2}<0.\end{array}$$ |

These minimizers are the solutions which belong to the branch
${C}_{{\lambda}_{1}}$
.

Actually
${C}_{{\lambda}_{1}}$
is a pitchfork bifurcation of supercritical type, where Principle of Exchange of Stability holds.

Remark 5.4.
(Degeneracy exponent) Condition (3.1 ) can be written as a restriction on the “degeneracy” exponent

This is a restriction on the “rate” of decrease of the diffusion coefficient
$\sigma $
near every point
$z\in {\sigma}^{-1}\left\{0\right\}$
. Unique (since the nonlinearity defines a Lipschitz map) and global in time solutions of (1.1 ) exist, converging towards a global attractor, if
$\sigma \left(x\right)$
decreases more slowly than
$|x-z{|}^{\delta}$
,
$\delta \in (0,{\alpha}^{*}]$
, near every point
$z\in {\sigma}^{-1}\left\{0\right\}$
. As an example we mention the case
$N=2$
and
$\gamma =1$
(cubic nonlinearity) where
${\alpha}^{*}=2/3$
.

$$\begin{array}{ccc}0<\alpha \le \frac{2(1-\gamma (N-2\left)\right)}{2\gamma +1}:={\alpha}^{*}.& & \end{array}$$ | (5.11) |

However, as it follows from the discussion in [13] , (5.11 ) (or (3.1 )) does not possibly define a critical exponent, concerning the existence of global attractor. In the case
$\alpha >{\alpha}^{*}$
, the dynamics related to (1.1 ), could be investigated through the theory of generalised semiflows [12, 13] . As in the case of the damped semilinear wave equation examined in [13] , where uniqueness of solutions is not assumed, one could possibly prove the existence of a global attractor in the case
$\alpha >{\alpha}^{*}$
, under the hypothesis that weak solutions of (1.1 ) satisfy the corresponding energy equation.

Possibly, an interesting issue could be, the extension of the bifuraction result and convergence to equilibrium, to the complex evolution equation discussed in [55] .

Writing the stationary problem as a real system for the real part
${\phi}_{1}$
and imaginary part
${\phi}_{2}$
, one could observe, that at least in the case of the Ginzburg-Landau equation with real coefficients, the stationary problem defines a potential system [47] , which admits a positive principal eigenvalue
${\lambda}_{1}$
. The eigenvalue
${\lambda}_{1}$
could be a bifurcation point, from which two global branches bifurcate. These branches could consist of semitrivial solutions (i.e. solutions of the form
$({\phi}_{1},0)$
or
$(0,{\phi}_{2})$
).

Remark 5.5.
(Lack of compactess) Our approach concerning convergence to the equilibrium, which combines the charachterization of the global attractor of and global bifurcation theory depends heavily on
$\left({\mathcal{\mathscr{H}}}_{\alpha}\right)$
and
$\left({\mathcal{\mathscr{H}}}_{\beta}^{\infty}\right)$
, ensuring compactness of the linear and nonlinear operators involved to our study, either in the bounded or unbounded domain case. Thus it is natural to ask if a relaxation of the aforementioned conditions which may give rise to noncompatness, could allow for a generalization of the results of Sections 3-5.

A starting point, could be the generalization of the result concerning the existence of the global attractor. One could assume conditions
$\left({\mathcal{\mathscr{H}}}_{\alpha}\right)$
and
$\left({\mathcal{\mathscr{H}}}_{\alpha}^{\infty}\right)$
for some
$\alpha \in [0,+\infty )$
.

As it is noted in [18,Remark2.1] , if
$\sigma \in {L}_{loc}^{1}(\Omega )$
,
$\Omega \subseteq {\mathbb{R}}^{N}$
,
$N\ge 2$
, satisfies
$\left({\mathcal{\mathscr{H}}}_{\alpha}\right)$
then it satisfies
$\left({\mathcal{\mathscr{H}}}_{\beta}\right)$
for any
$\beta \ge \alpha $
and if
$\left({\mathcal{\mathscr{H}}}_{\alpha}^{\infty}\right)$
holds, then
$\left({\mathcal{\mathscr{H}}}_{\delta}^{\infty}\right)$
is valid for any
$\delta \in [0,\alpha ]$
.

For example, in the case where
$\Omega ={\mathbb{R}}^{N}$
one can also consider as an energy space, the space
${H}_{0}^{1}({\mathbb{R}}^{N},\sigma )$
, defined as the closure of
${C}_{0}^{\infty}\left({\mathbb{R}}^{N}\right)$
with respect to the norm

The embedding
${H}_{0}^{1}({\mathbb{R}}^{N},\sigma )\subseteq {L}^{2}\left({\mathbb{R}}^{N}\right)$
although obviously continuous, is not compact, in the case where
$\left({\mathcal{\mathscr{H}}}_{\alpha}\right)$
and
$\left({\mathcal{\mathscr{H}}}_{\alpha}^{\infty}\right)$
, hold for some
$\alpha \in (0,2]$
. Recall also from Remark 2.4 , that
${D}_{0}^{1,2}({\mathbb{R}}^{N},\sigma )$
is not compactly embedded in
${L}^{2}\left({\mathbb{R}}^{N}\right)$
, if
$\sigma $
grows less or equal than quadratically at infinity, even in the case where
$\left({\mathcal{\mathscr{H}}}_{\alpha}\right)$
is satisfied for some
$\alpha \in (0,2)$
.

$$\begin{array}{ccc}\left|\right|\phi |{|}_{H,\sigma}^{2}={\int}_{{\mathbb{R}}^{N}}\sigma (x\left)\right|\nabla \phi {|}^{2}dx+{\int}_{{\mathbb{R}}^{N}}|\phi {|}^{2}dx.& & \end{array}$$ |

For the existence of global attractors for reaction diffusion equations in unbounded domains, representative references include [8, 33] ( for semilinear and degenerate (porous medium) parabolic equations considered on weighted Sobolev spaces) and [72] . The latter provides with an effective remedy for the lack of compactness of the Sobolev imbeddings, with respect to the existence of the global attractor for partial differential equations considered in unbounded domains and in the natural phase space. The idea of [72] is based on the approximation of
${\mathbb{R}}^{N}$
by a bounded domain and on the derivation of suitable estimates for the approximation error of the norm of solutions, showing that this approximation error is arbitrary small. These estimates allow for the application of the method developed in [13] which makes use of the energy functional associated to the evolution equation (in [72] a reaction diffusion equation): Asymptotic compactness is shown by passing to the limit of the nonlinear term of the energy functional as the error tends to zero, establishing the existence of a global atractor in
${L}^{2}\left({\mathbb{R}}^{N}\right)$
.

It would be possibly interesting to attempt to apply this method, to the degenerate equation of the form (1.1 ) and investigate if new restrictions could arise between degeneracy, nonlinearity and the parameters involved, through the process of the derivation of an appropriate energy functional, and the estimation of the relevant estimation errors of the generalised Sobolev norms.

On the other hand, as it is already mentioned in the introduction with respect to the convergence to equilibrium, in the unbounded domain case, one has to deal in general, not only with the lack of compactness but also with the possible appearance of infinite distinct translates of a unique rest point. Thus, it could be also interesting to investigate if the analysis of [17] , could provide a framework for the generalization of the convergence result for (1.1 ), in the unbounded domain case.

6 Applications of the Global Bifurcation Result to general elliptic equations

We conclude, by mentioning some other examples of degenerate elliptic equations for which, extensions of the results of Section 4, could be investigated.

A. Semilinear Equations We consider the semilinear problem

and the corresponding linear eigenvalue problem

where
$\Omega \subseteq {\mathbb{R}}^{N}$
,
$N\ge 2$
, is an arbitrary domain (bounded or unbounded). In this case, the coefficient functions satisfy:

$$\begin{array}{c}\begin{array}{c}-\nabla \left(\sigma \right(x)\nabla u)=\lambda f\left(x\right)u-g(\lambda ,x,u),\\ u{|}_{\partial \Omega}=0.\end{array}\end{array}$$ | (6.1) |

$$\begin{array}{c}\begin{array}{c}-\nabla \left(\sigma \right(x)\nabla u)=\lambda f\left(x\right)u,\\ u{|}_{\partial \Omega}=0,\end{array}\end{array}$$ | (6.2) |

$(\mathcal{\mathcal{F}}{)}^{\alpha}$
$f$
is a smooth function, at least
${C}_{loc}^{0,\zeta}(\Omega )$
, for some
$\zeta \in (0,1)$
, such that
$f\in {L}^{\frac{{2}_{\alpha}^{*}}{{2}_{\alpha}^{*}-2}}(\Omega )$
, and there exists
${\Omega}_{f}^{+}\subset \Omega $
,
$\left|{\Omega}_{f}^{+}\right|>0$
, such that
$f\left(x\right)>0$
for all
$x\in {\Omega}_{f}^{+}$
.

$(\mathcal{G}{)}_{\gamma}^{\alpha}$
$g$
is a Carathéodory function, i.e.,
$g(\cdot ,x,\cdot )$
is a continuous function for a.e.
$x\in \Omega $
and
$g(\lambda ,\cdot ,u)$
is measurable for all
$(\lambda ,u)\in {\mathbb{R}}^{2}$
. Moreover, there exist nonnegative functions
$c\left(\lambda \right)\in C(\mathbb{R})$
and
$\rho \left(x\right)\in {L}^{\infty}(\Omega )\cap {L}^{\frac{{2}_{\alpha}^{*}}{{2}_{\alpha}^{*}-\gamma}}(\Omega )$
, such that
$\left|g\right(\lambda ,x,u\left)\right|\le c\left(\lambda \right)\rho \left(x\right)|u{|}^{\gamma}$
, for all
$(\lambda ,u)\in {\mathbb{R}}^{2}$
and almost every
$x\in {\mathbb{R}}^{N}$
.

Depending on the particular properties of the coefficient functions, the properties of the global branch could be represented by those of the corresponding approximating problems. For some applications, we refer to [5, 6, 40, 58] .

B. Quasilinear Equations We consider quasilinear degenerate elliptic equations of the form

and

where
$\Omega $
ia a bounded domain of
${\mathbb{R}}^{N}$
,
$N\ge 2$
and
$1<p<N$
. A possible treatment could be based on the results of [29] . Assume that there exists a function
$\nu \left(x\right)\ge 0$
in
$\Omega $
satisfying
$\left({\mathcal{N}}_{1}\right)$
$\nu \left(x\right)=0$
or
$\nu \left(x\right)=\infty $
in a finite subset
$Z\subset \overline{\Omega}$
,
$\left({\mathcal{N}}_{2}\right)$
$\nu \in {L}_{loc}^{1}(\Omega )$
,
${\nu}^{-\frac{1}{p-1}}\in {L}_{loc}^{1}(\Omega )$
and
${\nu}^{-s}\in {L}^{1}(\Omega )$
, for some
$s\in \left(max\{\frac{N}{p},\frac{1}{p-1}\},\infty \right)$
.

$$\begin{array}{c}-\nabla \left(a\right(x\left)\right|\nabla u{|}^{p-2}\nabla u)=\lambda b(x\left)\right|u{|}^{p-2}u+f\left(x\right)|u{|}^{\gamma -1}u\end{array}$$ | (6.3) |

$$\begin{array}{c}-\nabla \left(a\right(x,u\left)\right|\nabla u{|}^{p-2}\nabla u)=\lambda b(x\left)\right|u{|}^{p-2}u+f\left(x\right)|u{|}^{\gamma -1}u,\end{array}$$ | (6.4) |

The coefficient functions
$a,b,f$
satisfy:

$(\mathcal{A})$
$a$
is a smooth function at least
${C}_{loc}^{0,\zeta}$
, for some
$\zeta \in (0,1)$
a.e. in
$\Omega $
, such that
$$\frac{\nu \left(x\right)}{c}\le a\left(x\right)\le c\nu \left(x\right),\text{for some}c>0.$$
$(\mathcal{\mathcal{B}})$
$b$
is a nonnegative and smooth function, at least
${C}_{loc}^{0,\zeta}(\Omega )$
, for some
$\zeta \in (0,1)$
, such that
$b\in {L}^{\infty}(\Omega )$
,
$(\mathcal{\mathcal{F}})$
$f$
is a smooth function, at least
${C}_{loc}^{0,\zeta}(\Omega )$
, for some
$\zeta \in (0,1)$
, such that
$f\in {L}^{\frac{{p}_{s}^{*}}{{p}_{s}^{*}-(\gamma +1)}}$
, where
${p}_{s}^{*}:=\frac{Nps}{N(s+1)-ps}$
and
$p<\gamma +1<{p}_{s}^{*}$
. We consider the weighted Sobolev space
${D}_{0}^{1,p}(\Omega ,\nu )$
endowed with the norm
$$\left|\right|u|{|}_{{D}_{0}^{1,p}(\Omega ,\nu )}:={\left({\int}_{\Omega}\nu \left(x\right)|\nabla u{|}^{p}\right)}^{1/p}<\infty .$$
The space
${D}_{0}^{1,p}(\Omega ,\nu )$
is a reflexive Banach space, enjoying the following embeddings:

i)
${D}_{0}^{1,p}(\Omega ,\nu )\hookrightarrow {L}^{{p}_{s}^{*}}(\Omega )$
continuously for
$1<{p}_{s}^{*}<N$
, ii)
${D}_{0}^{1,p}(\Omega ,\nu )\hookrightarrow {L}^{r}(\Omega )$
compactly for any
$r\in [1,{p}_{s}^{*})$
.

For further properties of these spaces, we refer to [29] , as well as for the proof of the following results.

Lemma 6.1.
Assume that conditions
$\left({\mathcal{N}}_{2}\right)$
,
$(\mathcal{A})$
,
$(\mathcal{\mathcal{B}})$
and
$(\mathcal{\mathcal{F}})$
hold. Then, the corresponding to (6.3 ) eigenvalue problem

admits a positive principal eigenvalue
${\lambda}_{1}$
, given by
$${\lambda}_{1}={inf}_{{\int}_{\Omega}b\left(x\right)|\phi {|}^{p}dx=1}{\int}_{\Omega}a\left(x\right)|\nabla \phi {|}^{p}dx.$$
Moreover,
${\lambda}_{1}$
is simple with a nonnegative associated eigenfunction
${u}_{1}$
. In addition,
${\lambda}_{1}$
is the only eigenvalue with nonnegative associated eigenfunction.

$$\begin{array}{c}-\nabla \left(a\right(x\left)\right|\nabla u{|}^{p-2}\nabla u)=\lambda b(x\left)\right|u{|}^{p-2}u,\end{array}$$ | (6.5) |

Lemma 6.2.
Assume that conditions
$\left({\mathcal{N}}_{2}\right)$
,
$(\mathcal{A})$
,
$(\mathcal{\mathcal{B}})$
and
$(\mathcal{\mathcal{F}})$
hold. Then, any weak solution
$u\in {D}_{0}^{1,p}(\Omega ,\nu )$
of (6.3 ) belongs to
${L}^{\infty}(\Omega )$
. Moreover,
$u\in {C}_{loc}^{0,\zeta}$
for some
$\zeta \in (0,1)$
, a.e. in
$\Omega $
.

Proposition 6.3.
Assume that conditions
$\left({\mathcal{N}}_{2}\right)$
,
$(\mathcal{A})$
,
$(\mathcal{\mathcal{B}})$
and
$(\mathcal{\mathcal{F}})$
hold. Then the principal eigenvalue
${\lambda}_{1}$
of (6.5 ), is a bifurcation point of the problem (6.3 ).
Proposition 6.3 , could be extended to a global bifurcation result as follows: Assuming that
$\nu $
satisfies in adition, condition
$\left({\mathcal{N}}_{1}\right)$
, the principal eigenvalue
${\lambda}_{1}$
is a bifurcating point of a global branch. We may adapt the same procedure described in Sections 2-4, by considering similar approximating problems. It is interesting to note that in this case, Picone's identity is still applicable.

Theorem 6.4.
Assume that the conditions
$\left({\mathcal{N}}_{1}\right)$
,
$\left({\mathcal{N}}_{2}\right)$
,
$(\mathcal{A})$
,
$(\mathcal{\mathcal{B}})$
and
$(\mathcal{\mathcal{F}})$
hold. Then the branch bifurcating from the principal eigenvalue
${\lambda}_{1}$
of (6.5 ), is a global branch of solutions of the problem (6.3 ). Moreover, any solution which belongs in this branch, is nonnegative.
Concerning problem (6.4 ), we assume that
$a(x,u)$
,
$b(x,u)$
, are sufficiently smooth functions satisfying the following conditions:

$(\mathcal{A}\mathcal{S})$
$\frac{\nu \left(x\right)}{c}\le a(x,s)\le cg\left(\right|s\left|\right)\nu \left(x\right)$
,
$0\le b(x,s)\le b\left(x\right)$
and
${lim}_{s\to 0}a(x,s)=a\left(x\right)$
,
${lim}_{s\to 0}b(x,s)=b\left(x\right)$
uniformly for a.e.
$x\in \Omega $
.

Here
$c>0$
,
$g$
is a nondecreasing bounded function and
$a,b$
satisfy conditions
$(\mathcal{A})$
and
$(\mathcal{\mathcal{B}})$
, respectively.

Based again on [29] , and the analysis of Sections 2-4, we may prove

Theorem 6.5.
Assume that condition
$(\mathcal{A}\mathcal{S})$
holds. Then the principal eigenvalue
${\lambda}_{1}$
of (6.5 ), is a bifurcation point of the problem ( 6.4 ). Moreover, the corresponding branch is global, and any solution which belongs to this branch, is nonnegative.

The quasilinear problems,
$$-\nabla \left(\right(k|x{|}^{\alpha}+m|x{|}^{\beta}\left)\right|\nabla u{|}^{p-2}\nabla u)=\lambda |u{|}^{p-2}u+f\left(x\right)|u{|}^{\gamma -1}u$$
and
$$-\nabla \left(\right(k|x{|}^{\alpha}+m|x{|}^{\beta}\left)\right(1+{e}^{-1/{u}^{2}}\left)\right|\nabla u{|}^{p-2}\nabla u)=\lambda {e}^{-{u}^{2}}|u{|}^{p-2}u+f\left(x\right)|u{|}^{\gamma -1}u,$$
for some
$0<\alpha <min\{p,N(p-1\left)\right\}$
,
$-N<\beta <0$
and
$k$
,
$m$
nonnegative constants, could serve as examples.
Acknowledgments. We would like to thank the referee for his/her valuable comments and suggestions, which improved considerably the presentation of the manuscript. Part of this work was done while N. B. Zographopoulos had a visiting position at the Department of Applied Mathematics, University of Crete. The research of N. I. Karachalios was partially sponsored by a grant from IKY-State Scholarship's Foundation of Greece, contract No. 349, for Postdoctoral Research in the Department of Mathematics-University of the Aegean. The authors acknowledge financial support from project “PYTHAGORAS-National Technical University of Athens” under proposal “Dynamics of infinite dimensional discrete and continuous dynamical systems and applications”.

References

- B. Abdellaoui and I. Peral, On Quasilinear Elliptic Equations Related to Some Caffarelli-Kohn-Nirenberg Inequalities, Commun. Pure Appl. Anal. 2 (2003), no.4, 539-566.
- W. Allegretto, Sturm Theorems for Degenerate Elliptic Equations, Proc. Amer. Math. Soc. 129 (2001), no.10, 165-174.
- W. Allegretto and Y. X. Huang, A Picone's Identity for the p-Laplacian and Applications, Nonlinear Analysis TMA, 32 (1998), no.7, 819-830.
- W. Allegretto and Y. X. Huang, Principal Eigenvalues and Sturm Comparison via Picone's Identity, J. Differential Equations, 156 (1999), 427-438.
- A. Ambrosetti and J. L. Gámez, Branches of Positive Solutions for some Semilinear Schrödinger Equations, Math. Z., 224, (1997), 347-362.
- D. Arcoya and J. L. Gámez, Bifurcation Theory and Related Problems: Anti-maximum Principle and resonance, Comm. Partial Differential Equations. 26, (2001), no. 9&10, 1879-1911.
- J. F. G. Auchmuty, Lyapunov methods and equations of parabolic type, Nonlinear Problems in the Physical Sciences and Biology, Lectures Notes in Mathematics 332 Springer-Verlag (1973).
- A. V. Babin and M. I. Vishik, Attractors for Partial Differential Evolution Equations in an Unbounded Domain, Proc. Roy. Soc. Edinb., 116A, (1990), 221-243.
- J. M. Ball, Strongly continuous semigroups, weak solutions, and the variation of constants formula, Proc. Amer. Math. Soc 64, (1977), 370-373.
- J. M. Ball, Remarks on the Blow-Up and Nonexistence Theorems for Nonlinear Evolution Equations, Quart. J. Math. Oxford (2), 28 (1977),473-486.
- J. M. Ball, On the Asymptotic Behavior of Generalized Processes with Applications to Nonlinear Evolution Equations, J. Differential Equations 27, (1978), 224-265.
- J. M. Ball, Continuity properties and attractors of generalized semiflows and the Navier-Stokes equations, J. Nonlinear Science, 7, (1997), 475-502.
- J. M. Ball, Global Attractors for Damped Semilinear Wave equations, Discrete Cont. Dyn. Syst. -Series A., Vol.10 -No. 1-2, (2004) 31-52.
- R. E. Beardmore and R. Laister, Sequential and Continuum Bifurcations in Degenerate Elliptic Equations, Proc. Amer. Math. Soc. 132, (2004), no.1, 165-174.
- B. Bouffoni and J. Tolland, Analytic Theory of Global Bifurcation: An Introduction, Princeton University Press, 2003.
- K J Brown and N M Stavrakakis, Global Bifurcation Results for a Semilinear Elliptic Equation on all of ${\mathbb{R}}^{N}$ , Duke Math J, 85, (1996), 77-94.
- J. Busca, M. A. Jendoubi, P. Pol $\stackrel{\xb4}{a}\stackrel{\u02c7}{c}$ ik, Convergence to Equilibrium for Semilinear Parabolic Problems in ${\mathbb{R}}^{N}$ , Comm. Partial Differential Equations 27, No. 9 & 10, (2002), 1793-1814.
- P. Caldiroli and R. Musina, On a Variational Degenerate Elliptic Problem, Nonlinear differ. equ. appl. 7 (2000), 187-199.
- P. Caldiroli and R. Musina, Existence and nonexistence results for a class of nonlinear singular Sturm-Liouville equations, Advances in Differential Equations, Vol. 6, No. 3, (2001), 303-326.
- F. Catrina and Z.-Q. Wang, On the Caffarelli-Kohn-Nirenberg Inequalities: sharp constants, existence (and nonexistence) and symmetry of extremal functions, Comm. Pure Appl. Math. 54, (2001), no.2, 229-258.
- T. Cazenave, An introduction to Nonlinear Schrödinger equations, Textos des Métodos Matemáticos 26, I.M.U.F.R.J., Rio de Janeiro, 1996.
- T. Cazenave, A. Haraux, Introduction to Semilinear Evolution Equations, Oxford Lecture Series in Mathematics and its Applications 13, 1998.
- S. J. Chapman, G. Ridhardson, Vortex pining by inhomogeneities in type-II superconductors, Phys. D 108, (1997), 397-407.
- W. Craig, T. Kappeler, W. Strauss, Microlocal Dispersive Smoothing for the Schrödinger equation, Comm. Pure Appl. Math. 48, (1995), 769-860.
- E. N. Dancer, On the number of Positive Solutions of Some Weakly Nonlinear Equations on Annular Regions, Math. Z. 206, (1991), 551-562.
- E. N. Dancer, Superlinear Problems on Domains with Holes of Asymptotic Shape and Exterior Problems, Math. Z. 229, (1998), 475-491.
- R. Dautray, J. L. Lions, Mathematical Analysis and Numerical Methods for Science and Technology, Vol. I: Physical origins and classical methods, Springer-Verlag, Berlin, (1985).
- P.Drábek and Y. X. Huang, Perturbed p-Laplacian in ${\mathbb{R}}^{N}$ : Bifurcation from the Principal Eigenvalue, J. Math. Anal. Appl. 204, (1996), no. 2, 582-608.
- P. Drábek, A. Kufner and F. Nicolosi, Quasilinear Elliptic Equations with Degenerations and Singularities, Walter de Gruyter & Co., Berlin, 1997.
- D. Eidus, S. Kamin, The Filtration Equation, in a class of functions decreasing at infinity, Proc. Amer. Math. Soc. 120, No.3 (1994), 825-830.
- A. Eden, B. Michaux, J. M. Rakotoson, Doubly Nonlinear Parabolic equations as Dynamical Systems. J. Dynamics Differential Equations Vol.3, No.1, (1991), 87-131.
- M. J. Esteban, J. Giacomoni, Existence of Global Branches of Positive Solutions for Semilinear Elliptic Gegenerate Problems, J. Math. Pures Appl. 79, (2000), no.7, 715-740.
- E. Feireisl, Ph. Laurencot, F. Simondon, Global attractors for degenerate parabolic equations on unbounded domains, J. Differential Equations 129 (1996), no. 2, 239–261.
- E. Feiresl, F. Simondon, Convergence for Degenerate Parabolic Equations, J. Differential Equations 152, (1999) 439-466.
- V. Felli and M. Schneider, Pertubation Results of Critical Elliptic Equations of Caffarelli-Kohn-Nirenberg type, J. Differential Equations 191, (2003) 121-142.
- Y. Gaididei, N. Lazarides, N. Flytzanis, Fluxons in a superlattice of Josephson junctions: dynamics and radiation, J. Phys. A 36 (2003), no. 10, 2423–2441.
- Y. Gaididei, N. Lazarides, N. Flytzanis, Static fluxons in a superlattice of Josephson junctions, J. Phys. A 35 (2002), no. 48, 10409–10427.
- J. Giacomoni, Global Bifurcation Results for Semilinear Elliptic Problems in ${\mathbb{R}}^{N}$ , Comm. Partial Differential Equations 23, (1998), no. 11&12, 1875-1927.
- D. Gilbarg and N. S. Trudinger, Elliptic Partial Differential Equations of Second Order, Reprint of the 1998 Edition, Springer-Verlag, Berlin-Heidelberg-New York, 2001.
- R. Gómez-Ren͂asco and J. López-Gómez, The Effect of Varying Coefficients on the Dynamics of a Class of Superlinear Indefinite Reaction-Diffusion Equations, J. Differential Equations 167, (2000), 36-72.
- J. K. Hale, Asymptotic Behaviour of Dissipative Systems, Mathematical Surveys and Monographs 25, Amer. Math. Soc., Providence, R.I., 1988.
- J. K. Hale, C. Rocha, Varying boundary conditions and large diffusivity, J. Math. Pures Appl. 66, (1987), 139-158.
- J. K. Hale, G. Raugel, Reaction diffusion equations on thin domains, J. Math. Pures Appl. 71, (1992), 35-91.
- J. K. Hale, G. Raugel, Convergence in gradient-like systems with applications to PDE'S, Z. Angew. Math. Phys. 43, (1992), 63-124.
- A. Haraux, M. A. Jendoubi, Convergence of global and bounded solutions of the wave equation with linear dissipation and analytic nonlinearity, J. Differential Equations 144, (1998), 302-312.
- A. Haraux, M. A. Jendoubi, Convergence of bounded weak solutions of the wave equation with dissipation and analytic nonlinearity, Calc. Var. 9, (1999), 95-124.
- J. Hulshof, E. Mitidieri, R. Vandervorst, Strongly indefinite systems with critical exponents, Trans. Amer. Math. Soc. 350, (1998), 2349-2365.
- M. A. Jendoubi, A simple Unified Approach to some Convergence Theorems of L. Simon, J. Funct. Anal., 153, (1998), 187-202.
- H. Jian, B. Song, Vortex Dynamics of Ginzburg-Landau Equations in Inhomogeneous Superconductors, J. Differential Eqnuations 170, (2001), 173-141.
- S. Jimbo, Y. Morita, Stable Vortex Solutions to the Ginzburg-Landau Equation with a Variable Coefficient in a Disk, J. Differential Equations 155, (1999), 153-176.
- S. Kamin, P. Rosenau, Propagation of thermal waves in an inhomogeneous medium, Comm. Pure Appl. Math. 34, (1981), 831-852.
- S. Kamin, P. Rosenau, Nonlinear thermal evolution in an inhomogeneous medium, J. Math. Physics 23, 7, (1982), 1385-1390.
- S. Kamin, R. Kersner, Disappearance of interfaces in finite time, Meccanica 28, (1993) 117-120.
- H, Kielhöfer, Bifurcation Theory. An Introduction with Applications to PDEs, Springer-Verlag, New York-Berlin-Heidelberg, 2004.
- N. I. Karachalios and N. B. Zographopoulos, Convergence towards Attractors for a Degenerate Ginzburg-Landau Equation, Z. Angew. Math. Phys. 56, no. 1, (2005), 11-30.
- W. E. Kastenberg, Stability analysis of nonlinear space dependent reactor kinetics, Adv. in Nucl. Science and Tech., 5 (1969), Academic Press, New-York.
- P. L. Lions, Structure of the Set of the Steady-State Solutions and Asymptotic Behavior of Semilinear Heat Equations, J. Differential Equations 53, (1984), 362-386.
- J. López-Gómez, Varying Bifurcation Diagrams of Positive Solutions For a Class of Indefinite Superlinear Boundary Value Problems, Trans. Amer. Math. Soc. 352, (1999), no. 4, 1825-1858.
- H. Matano, Nonincrease of the lap number of a Solution for a One-dimensional Semilinear Parabolic Equation. J. Fac. Sci. Univ. Tokyo Sect. IA Math. 29, (1982), 401-444.
- H. Matano, Convergence of Solutions of One-Dimensional Semilinear Heat equation, J. Math. Kyoto Univ. 18, (1978), 221-227.
- J. D. Murray, Mathematical Biology, II: Spatial Models and Biomedical Applications, Springer-Verlag, New York-Berlin-Heidelberg, 2003.
- L. Orsina and A. Prignet, Strong Stability Results for Solutions of Elliptic Equations with Power-like Lower Order Terms and Measure Data, J. Funct. Anal. 189, (2002), 549-566.
- A Pazy, Semigroups of Linear Operators and Applications to Partial Differential Equations, Appl Math Sc, 44, Springer-Verlag, New York, 1983.
- P. Pol $\stackrel{\xb4}{a}\stackrel{\u02c7}{c}$ ik, Parabolic Equations: Asymptotic Behavior and Dynamics on Invariant Manifolds, Handbook of Dynamical Systems III: Towards applications, B. Fiedler, Ed., Elsevier, Amsterdam, (2002), 835-883.
- P. Pucci and J. Serrin, The Strong Maximum Principle Revisited (Review), J. Differential. Equations 196, (2004), 1-66.
- P. J. Rabier and C. A. Stuart, Global Bifurcation for Quasilinear Elliptic Equations on ${\mathbb{R}}^{N}$ , Math. Z. 237, (2001), 85-124.
- P. J. Rabier and C. A. Stuart, Applications of Elliptic Regularity to Bifurcation in Stationary Nonlinear Schrödinger Equations, Nonlinear Analysis TMA 52, (2003), 869-890.
- P. Rabinovitz, Some Global Results for Nonlinear Eigenvalue Problems, J. Funct. Anal. 7, (1971), 487-513.
- N. M. Stavrakakis and N. B. Zographopoulos, Bifurcation Results for the Mean Curvature Equations Defined on all ${\mathbb{R}}^{N}$ , Geom. Dedicata 91, (2002), 71-84.
- Sulem, C., Sulem, P.L., The Nonlinear Schrödinger Equation, Applied Mathematical Sciences Vol. 139, Springer-Verlag, 1999.
- R. Temam, Infinite-Dimensional Dynamical Systems in Mechanics and Physics, 2nd edition, Springer-Verlag, New York, 1997.
- B. Wang, Attractors for Reaction-Diffusion Equations in Unbounded Domains, Physica D, 128 (1999), 41-52.
- E. Zeidler, Nonlinear Functional Analysis and its Applications, Vols I, II, (Fixed Point Theorems, Monotone Operators), Springer-Verlag, Berlin, 1990.
- T. J. Zelenyak, Stabilization of Solutions of Boundary Value problems for a Second Order Parabolic Equation with One Space Variable, Differentsial'nye Uravneniya, 4, (1968),17-22.