TheoremBase

A Nondecreasing Differentiable Majorant with Vanishing Derivative at Zero for a Little-o Modulus

A bounded nonnegative function on an interval [0,r] that vanishes faster than linearly at zero lies below a nondecreasing, differentiable function on the half-line that vanishes at zero, with bounded derivative tending to zero at zero.

Statement

In the setting of Single-Variable Calculus on an Interval, write [0,∞)={s∈R:0≤s}[0,\infty)=\{s\in\mathbb{R}:0\le s\}, and let [0,r][0,r] be the closed interval for a real r>0r>0. Let m:[0,r]→[0,∞)m:[0,r]\to[0,\infty) be a function such that m(0)=0m(0)=0, there is a real BB with m(s)≤Bm(s)\le B for every s∈[0,r]s\in[0,r], and for every real η>0\eta>0 there is a real r′>0r'>0 with m(s)≤ηsm(s)\le\eta s for every s∈[0,r]s\in[0,r] with s<r′s<r'.

There is a function h:[0,∞)→[0,∞)h:[0,\infty)\to[0,\infty) with the following four properties, where hˉ:R→R\bar{h}:\mathbb{R}\to\mathbb{R} is given by hˉ(s)=h(s)\bar{h}(s)=h(s) for s≥0s\ge0 and hˉ(s)=0\bar{h}(s)=0 for s<0s<0.

(Monotone) hh is nondecreasing on [0,∞)[0,\infty) and h(0)=0h(0)=0.

(Differentiable) hˉ\bar{h} is differentiable at every point of the interval I=RI=\mathbb{R}, and we write h′(s)=hˉ′(s)h'(s)=\bar{h}'(s) for s≥0s\ge0.

(Derivative) h′(0)=0h'(0)=0, there is a real KK with ∣h′(s)∣≤K|h'(s)|\le K for every s≥0s\ge0, and h′(s)→0h'(s)\to0 as s→0s\to0: for every real η>0\eta>0 there is a real r′′>0r''>0 with ∣h′(s)∣<η|h'(s)|<\eta for every ss with 0≤s<r′′0\le s<r''.

(Majorant) h(s)≥m(s)h(s)\ge m(s) for every s∈[0,r]s\in[0,r].

Proofs

Log in to submit a proof.

Loading...

Citations

Loading…

Dependencies

Loading…

Related

0 relations

Curated associations between results. These are editable and subjective — they do not replace the dependency graph, which is derived from the references in the text.

No relations recorded yet.

Comments

Log in to comment.

Loading…