Continuity estimate for the Loewner driving function
ID: continuity-estimate-for-the-loewner-driving-function
Suppose the mapped increments have real-centred enclosing radii bounded by a nondecreasing modulus . Nested closures define the unique growing real point . For , its preimage belongs to . The uniform displacement estimate for a mapping-out function gives , while . Letting with proves the displayed estimate. It proves uniform continuity of the Loewner transform on each bounded time interval without evaluating a conformal map on a rough boundary.
New to topics? Read the docs here!