Existence, uniqueness, and nondegeneracy of positive solutions of semilinear elliptic equations (Q1069033)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Existence, uniqueness, and nondegeneracy of positive solutions of semilinear elliptic equations |
scientific article |
Statements
Existence, uniqueness, and nondegeneracy of positive solutions of semilinear elliptic equations (English)
0 references
1984
0 references
This article studies positive solutions of the Dirichlet problem \[ (1)\quad \Delta u(x)+f(u(x))=0,\quad x\in D^ n,\quad u(x)=0,\quad x\in \partial D^ n \] where \(D^ n\) is an n-ball. Since positive solutions of (1) are radially symmetric the authors consider a general ODE-problem \[ (2)\quad u''+g(u,u',t)=0,\quad u'(0)=0,\quad u(R)=0. \] For (2) the so called time-map T(p) is defined on the set \(A=\{p\in R^+:\quad u(t,p)=0\) for some \(t>0\}\) via \(T(p)=\min \{t>0:\quad u(t,p)=0\}.\) (u(t,p) is the solution to (2) with \(u(0,p)=p.)\) u is a positive solution of (2) iff \(u=u(\cdot,p)\), \(p\in A\) and \(R=T(p)\). Uniqueness follows from A being connected and \(T'(p)>0\) or \(<0\). For \(g(u,u',t)=(n-1)/t\cdot u'+f(u)\) the authors give \((3)\quad (f(u)/u)'<0\) as a condition for \(T'>0\), and \((4)\quad (f(u)/u)'>0,\quad f''(u)<0\) for \(T'<0.\) For existence, conditions on the growth of f at \(+\infty\) are given for which \(A\neq \emptyset\), like \(f(u)/u^ k\to 1\) for \(u\to \infty\) and \(2/(n-2)>k.\) Proofs use comparison and phase plane arguments. As the authors point out the usual method of finding sub- and supersolutions does not apply if e.g. (4) holds for f, since then all positive solutions are unstable. Nondegeneracy of a solution u (i.e. 0 is not in the spectrum of the linearization of (1) about u) is shown to be equivalent to \(u(x)=u(| x|,p),\quad T'(p)\neq 0,\quad u'(T(p),p)\neq 0.\)
0 references
positive solutions
0 references
Dirichlet problem
0 references
time-map
0 references
Uniqueness
0 references
existence
0 references
comparison
0 references
phase plane arguments
0 references
Nondegeneracy
0 references