Tuesday, January 30, 2018

real analysis - Characterizing discontinuous derivatives



Apparently the set of discontinuity of derivatives is weird in its own sense. Following are the examples that I know so far:



$1.$ $$g(x)=\left\{ \begin{array}{ll}
x^2 \sin(\frac{1}{x}) & x \in (0,1] \\
0 & x=0 \end{array}\right.$$
$g'$ is discontinuous at $x=0$.



$2. $ The Volterra function defined on the ternary Cantor set is differentiable everywhere but the derivative is discontinuous on the whole of Cantor set ,that is on a nowhere dense set of measure zero.




$3.$ The Volterra function defined on the Fat-Cantor set is differentiable everywhere but the derivative is discontinuous on the whole of Fat-Cantor set ,that is on a set of positive measure, but not full measure.



$4.$ I am yet to find a derivative which is discontinuous on a set of full measure.



Some good discussion about this can be found here and here.



Questions:



1.What are some examples of functions whose derivative is discontinuous on a dense set of zero measure , say on the rationals?




2.What are some examples of functions whose derivative is discontinuous on a dense set of positive measure , say on the irrationals?



Update: One can find a function which is differentiable everywhere but whose derivative is discontinuous on a dense set of zero measure here.


Answer



There is no everywhere differentiable function $f$ on $[0,1]$ such that $f'$ is discontinuous at each irrational there. That's because $f',$ being the everywhere pointwise limit of continuous functions, is continuous on a dense $G_\delta$ subset of $[0,1].$ This is a result of Baire. Thus $f'$ can't be continuous only on a subset of the rationals, a set of the first category.



But there is a differentiable function whose derivative is discontinuous on a set of full measure.



Proof: For every Cantor set $K\subset [0,1]$ there is a "Volterra function" $f$ relative to $K,$ which for the purpose at hand means a differentiable function $f$ on $[0,1]$ such that i)$|f|\le 1$ on $[0,1],$ ii) $|f'|\le 1$ on $[0,1],$ iii) $f'$ is continuous on $[0,1]\setminus K,$ iv) $f'$ is discontinuous at each point of $K.$




Now we can choose disjoint Cantor sets $K_n \subset [0,1]$ such that $\sum_n m(K_n) = 1.$ For each $n$ we choose a Volterra function $f_n$ as above. Then define



$$F=\sum_{n=1}^{\infty} \frac{f_n}{2^n}.$$



$F$ is well defined by this series, and is differentiable on $[0,1].$ That's because each summand above is differentiable there, and the sum of derivatives converges uniformly on $[0,1].$ So we have



$$F'(x) = \sum_{n=1}^{\infty} \frac{f_n'(x)}{2^n}\,\, \text { for each } x\in [0,1].$$



Let $x_0\in \cup K_n.$ Then $x_0$ is in some $K_{n_0}.$ We can write




$$F'(x) = \frac{f_{n_0}'(x)}{2^{n_0}} + \sum_{n\ne n_0}\frac{f_n'(x)}{2^n}.$$



Now the sum on the right is continuous at $x_0,$ being the uniform limit of functions continuous at $x_0.$ But $f_{n_0}'/2^{n_0}$ is not continuous at $x_0.$ This shows $F'$ is not continuous at $x_0.$ Since $x_0$ was an aribtrary point in $\cup K_n,$ $F'$ is discontinuous on a set of full measure as desired.


No comments:

Post a Comment

analysis - Injection, making bijection

I have injection $f \colon A \rightarrow B$ and I want to get bijection. Can I just resting codomain to $f(A)$? I know that every function i...