Language:   Search:   Contact
Zentralblatt MATH has released its new interface!
For an improved author identification, see the new author database of ZBMATH.

Query:
Fill in the form and click »Search«...
Format:
Display: entries per page entries
Zbl 0868.35062
Brunovský, P.; Poláčik, P.
The Morse-Smale structure of a generic reaction-diffusion equation in higher space dimension.
(English)
[J] J. Differ. Equations 135, No.1, 129-181 (1997). ISSN 0022-0396

Consider the Dirichlet problem for the reaction-diffusion equation $$u_t= \Delta u+f(x,u),\quad t>0,\ x\in\Omega,\quad u=0,\quad t>0,\ x\in\partial\Omega.\tag1$$ Here $\Omega$ is a bounded domain in $\bbfR^N$ with smooth boundary and $f$ is a sufficiently regular function on $\overline\Omega\times\bbfR$. Problem (1) defines a local semiflow on an appropriate Banach space, for example, the Sobolev space $W^{1,p}_0(\Omega)$ with $p>N$. This semiflow is gradient-like: the energy functional $$\varphi\mapsto \int_\Omega(\textstyle{{1\over 2}}|\nabla \varphi(x)|^2- F(x,\varphi(x)))dx,$$ where $F(x,u)$ is the antiderivative of $f(x,u)$ with respect to $u$, decreases along nonconstant trajectories. In higher space dimensions, stable and unstable manifolds of hyperbolic equilibria can intersect nontransversally. One of the main objectives of the present paper is to prove that generically this cannot happen. To formulate the result precisely, let $k$ be a positive integer and let $\germ G$ denote the space of all $C^k$ functions $f:\overline\Omega\times\bbfR\to\bbfR$ endowed with the $C^k$ Whitney topology. This is the topology in which the collection of all the sets $$\{g\in{\germ G}:|D^if(x,u)- D^ig(x,u)|< \delta(u),\ i=0,\dots,k,\ x\in\overline\Omega,\ u\in\bbfR\},$$ where $\delta$ is a positive continuous function on $\bbfR$, forms a neighborhood basis of an element $f$. Recall that $\germ G$ is a Baire space: any residual set is dens in $\germ G$. Our main result reads as follows.\par Theorem. There is a residual set ${\germ G}^{\text{MS}}$ in $\germ G$ such that for any $f\in{\germ G}^{\text{MS}}$ all equilibria of (1) are hyperbolic and if $\varphi^-$, $\varphi^+$ are any two such equilibria then their stable and unstable manifolds intersect transversally.
MSC 2000:
*35K65 Parabolic equations of degenerate type
37D15 Morse-Smale systems
35K57 Reaction-diffusion equations
35-99 Partial differential equations (PDE)

Keywords: parametrized transversality theorem; $C\sp k$ Whitney topology; stable and unstable manifolds

Cited in: Zbl 1053.35099

Highlights
Master Server