Non-strict inverse of a continuous nondecreasing function
ID: non-strict-inverse-of-a-continuous-nondecreasing-function
For a continuous unbounded nondecreasing function on the nonnegative half-line and , the non-strict inverse is left-continuous in its level argument. It equals the left limit of the strict generalized inverse of a nondecreasing function . Indeed for , while for every , and choosing gives . Similarly . A flat part of at level gives a discrepancy between the two inverses: selects the beginning of the flat part and its end. For a Brownian running maximum, these are the non-strict and strict passage times.
New to topics? Read the docs here!