Chapter 13: Problem 1
Assuming that \(f(x, u)\) is \(C^{1}\) in \(x \in \bar{\Omega}\) and \(-\infty
Short Answer
Step by step solution
Key Concepts
These are the key concepts you need to understand to accurately answer the question.
/*! This file is auto-generated */ .wp-block-button__link{color:#fff;background-color:#32373c;border-radius:9999px;box-shadow:none;text-decoration:none;padding:calc(.667em + 2px) calc(1.333em + 2px);font-size:1.125em}.wp-block-file__button{background:#32373c;color:#fff;text-decoration:none}
Learning Materials
Features
Discover
Chapter 13: Problem 1
Assuming that \(f(x, u)\) is \(C^{1}\) in \(x \in \bar{\Omega}\) and \(-\infty
These are the key concepts you need to understand to accurately answer the question.
All the tools & learning materials you need for study success - in one app.
Get started for free
Let \(\Omega \subset \mathbf{R}^{n}\) be a smooth, bounded domain for which the first Dirichlet eigenvalue \(\lambda_{1}\) satsifies \(0<\lambda_{1}<1\). Show that $$ \left\\{\begin{aligned} \Delta u+u(1-u) &=0 & & \text { in } \Omega \\ u &=0 & & \text { on } \partial \Omega, \end{aligned}\right. $$ admits a solution \(u\) that is positive in \(\Omega\).
Semilinear Elliptic Comparison Principle. Suppose that
\(L=\sum_{i j} a_{i j}(x) \partial^{2} / \partial x_{i} \partial x_{j}+\sum_{k}
b_{k}(x) \partial / \partial x_{k}\)
is uniformly elliptic in a bounded domain \(\Omega, f(x, u, \xi)\) is
nondecreasing
in \(u \in \mathbf{R}\), and \(u, v \in C^{2}(\Omega) \cap C(\bar{\Omega})\)
satisfy \(u \leq v\) on \(\partial \Omega\).
(a) If \(L u-f(x, u, \nabla u) \geq L v-f(x, v, \nabla v)\) in \(\Omega\), then \(u
\leq v\) in \(\Omega\).
(b) If \(L u-f(x, u, \nabla u)>L v-f(x, v, \nabla v)\) in \(\Omega\), then \(u
If \(a(x)\) and \(f(x)\) are smooth functions satisfying \(a(x) \leq 0\) in the bounded domain \(\Omega \subset \mathbf{R}^{n}\) and \(q>1\) is an odd integer, show that $$ \left\\{\begin{aligned} \Delta u+a(x) u^{q}+\lambda u &=f(x) & & \text { in } \Omega \\ u &=0 & & \text { on } \partial \Omega \end{aligned}\right. $$ admits a smooth solution \(u\) whenever \(\lambda<\lambda_{1}\), where \(\lambda_{1}\) is the first Dirichlet eigenvalue for \(\Delta\) in \(\Omega\).
For a smooth, bounded domain \(\Omega\), consider the nonlinear eigenvalue problem $$ \left\\{\begin{aligned} \Delta u+\lambda u-u^{3} &=0 & & \text { in } \Omega \\ u &=0 & & \text { on } \partial \Omega . \end{aligned}\right. $$ Let \(\lambda_{1}\) be the principal Dirichlet eigenvalue for the Laplacian on \(\Omega\). In Section \(10.1\), we saw that there is no nontrivial solution for \(\lambda<\lambda_{1}\), but that \(\lambda_{1}\) is a bifurcation point. Show that for every \(\lambda>\lambda_{1}\), there exist at least two nontrivial solutions, one positive and one negative.
This exercise shows that the restriction \(1<\sigma<(n+2) /(n-2)\) is necessary for the existence of positive solutions of (36) by considering \((*)\) $$ \left\\{\begin{aligned} \Delta u+f(u) &=0 & & \text { in } \Omega \\ u &=0 & & \text { on } \partial \Omega, \end{aligned}\right. $$ where \(f(u)\) is continuous in \(u \in \mathbf{R}\). (a) If \(F(u)=\int_{0}^{u} f(t) d t\), use integration by parts to show $$ n \int_{\Omega} F(u) d x+\int_{\Omega} f(u) \sum_{i=1}^{n} x_{i} \frac{\partial u}{\partial x_{i}} d x=0 $$ for any \(u \in C^{1}(\bar{\Omega})\) with \(u=0\) on \(\partial \Omega\). (b) If \(u \in C^{2}(\Omega) \cap C(\bar{\Omega})\) satisfies \(\left(^{*}\right)\), then prove Pohozaev's identity $$ \frac{n-2}{2} \int_{\Omega}|\nabla u|^{2} d x-n \int_{\Omega} F(u) d x+\frac{1}{2} \int_{\partial \Omega}\left(\frac{\partial u}{\partial \nu}\right)^{2}(x \cdot \nu) d s=0 $$ where \(\nu\) is the exterior unit normal. (c) When \(\Omega\) is a ball in \(\mathbf{R}^{n}\), show that \((*)\) admits no positive solution \(u \in C^{2}(\Omega) \cap C(\bar{\Omega})\) when \(f(u)=u^{\sigma}\) with \(\sigma \geq(n+2) /(n-2)\).
What do you think about this solution?
We value your feedback to improve our textbook solutions.