A Nonlinear Elliptic PDE on a Bounded Domain

Click For Summary
SUMMARY

The discussion focuses on the existence of a \(C^2\) solution for the nonlinear elliptic partial differential equation (PDE) \(\Delta u^2 = f\) within a smooth, bounded domain \(D\) in \(\mathbb{R}^n\), where \(f: D \to (0, \infty)\) is a continuous function. It is established that no such \(C^2\) solution exists under the boundary condition \(u = 0\) on \(\partial D\). The assertion is supported by the maximum principle, which indicates that the smoothness of the boundary \(\partial D\) is not a necessary condition for the conclusion.

PREREQUISITES
  • Understanding of nonlinear elliptic partial differential equations
  • Familiarity with the maximum principle in PDE theory
  • Knowledge of function spaces, specifically \(C^2\) and \(C(\overline{D})\)
  • Basic concepts of smooth bounded domains in \(\mathbb{R}^n\)
NEXT STEPS
  • Study the maximum principle for elliptic PDEs in detail
  • Explore the implications of boundary conditions on solution existence
  • Investigate other types of PDEs and their solution properties
  • Learn about regularity theory for solutions of elliptic equations
USEFUL FOR

Mathematicians, particularly those specializing in partial differential equations, researchers in applied mathematics, and graduate students studying nonlinear analysis will benefit from this discussion.

Euge
Gold Member
MHB
POTW Director
Messages
2,072
Reaction score
245
Let ##D## be a smooth, bounded domain in ##\mathbb{R}^n## and ##f : D \to (0, \infty)## a continuous function. Prove that there exists no ##C^2##-solution ##u## of the nonlinear elliptic problem ##\Delta u^2 = f## in ##D##, ##u = 0## on ##\partial D##.
 
  • Like
Likes   Reactions: Greg Bernhardt and topsquark
Physics news on Phys.org
Start with Green's identity ##\int_D \left(\psi \Delta \psi +||\nabla\psi||^2\right) dV=\int_{\partial D}\psi\nabla\psi\cdot dS.##

Substituting ##\psi=u^2,## we see that the lefthand side is strictly positive, but the righthand side would be zero if ##u=0## on the boundary.
 
Just adding a comment @Infrared's solution.

Since the two terms in the integrand on the left-hand side is nonnegative, if its integral over ##D## is zero, then both those terms are zero in ##D##. In particular ##fu^2 = 0## in ##D##, forcing ##u = 0## (since ##f## is positive). We get ##f = \Delta u^2 = 0##, a contradiction. Therefore, the integral on the left-hand side is strictly positive.
 
  • Like
Likes   Reactions: Greg Bernhardt
it is not clear enough what ##u=0## on ##\partial D## means. If ##u\in C^2(D)\cap C(\overline D)## then the assertion follows from the maximum principle directly; smoothness of ##\partial D## is not needed
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 1 ·
Replies
1
Views
4K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 12 ·
Replies
12
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K