Fréchet differentiability of a first-order variational integral

ID: frechet-differentiability-of-a-first-order-variational-integral

For on , continuity of on gives a bounded Fréchet derivative in the displayed form. Fixing and restricting to a bounded neighborhood confines all intermediate pairs to a compact range up to null sets. Uniform continuity of the partial derivatives bounds the integrated first-order remainder by , where . This is little-oh of the Sobolev norm. The result needs no continuous derivative representative for ; essential boundedness suffices.

New to topics? Read the docs here!