Nonnegative truncation of a semilinear source

ID: nonnegative-truncation-of-a-semilinear-source

If is continuous, bounded and nonnegative on , extend it to a bounded continuous function on the real line by the displayed formula. The bounded semilinear Dirichlet existence theorem gives with . Test with the negative part to obtain . The Poincaré inequality gives , so and . Thus singularities or uncontrolled growth of the original formula at negative arguments need not prevent a nonnegative weak solution.

New to topics? Read the docs here!