For real , this energy functional on is coercive and attains its minimum by the direct method in the calculus of variations. The nonnegative potential term is weakly lower semicontinuous by local Sobolev compactness gives lower semicontinuity of a nonnegative integral. Its Euler-Lagrange equation is in the weak solution sense. The extra linear restoring term screens the Sine-Gordon equation nonlinearity. The scalar potential is convex because ; hence any weak critical point is a minimizer. The elliptic regularity estimate for , together with , gives . The Sobolev inequality then puts in , so Morrey's inequality and uniformly continuous integrable functions vanish at infinity give a continuous representative tending to zero.
Take , and on . Set . Both functions are smooth and belong to L2 space, and . The strictly increasing reaction has , while
Consequently . This is a minimizer of the screened sine-Gordon energy: it solves the Euler-Lagrange equation and that energy is convex. Thus even the minimizing and smooth hypotheses do not justify the stronger source-size bound. The appropriate general estimate is maximum bound for a monotone reaction term.

Articles by others on the same topic (0)

There are currently no matching articles.