On monotone extensions of boundary data

Abstract

A function f ∈C (Ω), {Mathematical expression} is called monotone on Ω if for any x, y ∈ Ω the relation x - y ∈ ∝+s implies f(x)≧f(y). Given a domain {Mathematical expression} with a continuous boundary ∂Ω and given any monotone function f on ∂Ω we are concerned with the existence and regularity of monotone extensions i.e., of functions F which are monotone on all of Ω and agree with f on ∂Ω. In particular, we show that there is no linear mapping that is capable of producing a monotone extension to arbitrarily given monotone boundary data. Three nonlinear methods for constructing monotone extensions are then presented. Two of these constructions, however, have the common drawback that regardless of how smooth the boundary data may be, the resulting extensions will, in general, only be Lipschitz continuous. This leads us to consider a third and more involved monotonicity preserving extension scheme to prove that, when Ω is the unit square [0, 1]2 in ∝2, strictly monotone analytic boundary data admit a monotone analytic extension. © 1992 Springer-Verlag.