A Nonlinear Elliptic PDE on a Bounded Domain

Click For Summary

Discussion Overview

The discussion centers on the existence of a \(C^2\) solution for a nonlinear elliptic partial differential equation (PDE) defined on a smooth, bounded domain in \(\mathbb{R}^n\). The specific problem involves proving that there is no solution \(u\) such that \(\Delta u^2 = f\) in the domain \(D\) with the boundary condition \(u = 0\) on the boundary \(\partial D\).

Discussion Character

  • Technical explanation, Debate/contested

Main Points Raised

  • One participant asserts that there exists no \(C^2\) solution \(u\) for the given nonlinear elliptic problem.
  • Another participant comments on a previous solution provided by @Infrared, suggesting a connection to the ongoing discussion.
  • A third participant questions the clarity of the boundary condition \(u = 0\) on \(\partial D\) and argues that if \(u\) is in \(C^2(D) \cap C(\overline{D})\), the assertion can be derived from the maximum principle without needing the smoothness of \(\partial D\).

Areas of Agreement / Disagreement

Participants express differing views on the implications of the boundary condition and the application of the maximum principle, indicating that the discussion remains unresolved with multiple competing perspectives.

Contextual Notes

The discussion highlights potential ambiguities regarding the interpretation of the boundary condition and the assumptions about the smoothness of the domain and the function \(u\).

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 2 ·
Replies
2
Views
3K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 1 ·
Replies
1
Views
4K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 12 ·
Replies
12
Views
3K