Wednesday 6 September 2017

calculus - L'Hospital rule for derivative functions on dense set




I'm constructing a continuous function $f$ which is well defined on $\mathbb R$ and its derivative $g$ does not exists on a countable infinite points. This kind of functions is easy to find. For example, a continuous function consisting a series of connected line segments. I think the $g$ is actually continuous on its domain, if its domain is restricted on where it exists (correct me if I am wrong). Here its domain is a dense set. Then I am wondering if we can find an example or a counterexample which succeed or fail the L'Hospital rule, of which the numerator and denominator are continuous on $\mathbb R$, and their derivative exists almost everywhere.



Update:



I guess I should be more specific. I want the points where the derivative does not exist are concentrated around the point where L' Hospital will be used. For example, L' Hospital rule will be used at $x=0$ and the numerator and denominator's derivatives do not exist on $\{x=\frac{1}{n}\}$



Update2:



I note that in common L'Hospital rule statement and proof, it is assumed that in $\lim\frac{f(x)}{g(x)}$, $f$ and $g$ are not only continuous on an interval (neighborhood of $x_0$, where the rule will be used), but also differentiable on the interval everywhere. See here. I am wondering if this condition is too strong. I think the derivatives of $f$ and $g$ are not necessary to exist everywhere on the interval but only need the $\lim \frac{f'}{g'}$ to exist, to apply L'Hospital rule. In other words, can we relax the condition by allowing $f'$ and $g'$ to exist outside a smaller, in some sense (e.g. measure zero ?), subset of the interval.



Answer



Maybe, perhaps, this is what you are thinking of? I will pose as another (related) problem.




Problem. Suppose $f$ is continuous in some neighborhood $(x_0-\delta,x_0+\delta)$ of a point $x_0$ and there is a "small" set
$N$ so that $f'(x)$ exists for each $x\not\in N$ and moreover $$
\alpha < f'(x) < \beta$$ for each $x\in
(x_0-\delta,x_0+\delta)\setminus N$.



Can we conclude that, for all $x\in (x_0-\delta,x_0+\delta) $ $$

\alpha \leq \frac{f(x)- f(x_0)}{x-x_0} \leq \beta?$$




If so then you could use this result for your L'Hopital's rule.
For example if $f(x_0)=0$ and $g(x_0)=0$ then
$$
\lim_{x\to x_0} \frac{f(x)}{g(x)} = \lim_{x\to x_o, x\not\in N}
\frac{f'(x)}{g'(x)}
$$
would be true under the right hypotheses. You need (i) $N$ to be suitably small (i.e., it answers the problem above) (ii) you need $f$ and $g$ differentiable outside $N$ and (iii) you need
both limits to exist:

$$\lim_{x\to x_o, x\not\in N}
{f'(x)}
$$
and $$ \lim_{x\to x_o, x\not\in N}
{g'(x)} \not= 0
$$



So really your fundamental problem here is a monotonicity problem. The answer is that for continuous $f$ and a countable set $N$ the answer to the problem posed is "yes". For continuous $f$ and a measure zero set $N$ the claim might be false. For absolutely continuous $f$ and a measure zero set the answer is again "yes."



I hope this isn't too brief or cryptic for your purposes.



No comments:

Post a Comment

real analysis - How to find $lim_{hrightarrow 0}frac{sin(ha)}{h}$

How to find $\lim_{h\rightarrow 0}\frac{\sin(ha)}{h}$ without lhopital rule? I know when I use lhopital I easy get $$ \lim_{h\rightarrow 0}...