Existence of antiderivative of discontinuous functions

April 10, 2015

Existence of antiderivative of discontinuous functions

Filed under: Uncategorized — Ngô Quốc Anh @ 0:17

It is well-known that every continuous functions admits antiderivative. In this note, we show how to prove existence of antiderivative of some discontinuous functions.

A typical example if the following function

$f(x)=\begin{cases}\sin \frac 1x, & \text{ if } x \ne 0,\\ 0, & \text{ if }x=0.\end{cases}$

By taking to different sequences $x_k = 1/(2k\pi)$ and $y_k = 1/(\pi/2 + 2k\pi)$ we immediately see that $f$ is discontinuous at $x=0$ . However, we will show that $f$ admits $F$ as its antiderivative.

To this end, we first consider the following function

$G(x)=\begin{cases}x^2\cos \frac 1x, & \text{ if } x \ne 0,\\ 0, & \text{ if }x=0.\end{cases}$

First we show that $G$ is differentiable. Clearly whenever $x \ne 0$ , we obtain

$\displaystyle G'(x)=\sin \frac 1x + 2x \cos \frac 1x.$

At $x=0$ , we easily check that

$\displaystyle G'(0)=\lim_{x \to 0} \frac{G(x)-G(0)}{x} = \lim_{x \to 0} x\cos \frac 1x = 0$

thanks to $|\cos \frac 1x| \leqslant 1$ . Thus, we have just shown that $G$ is differentiable with derivative

$G'(x)=\begin{cases} \sin \frac 1x + 2x \cos \frac 1x, & \text{ if } x \ne 0,\\ 0, & \text{ if }x=0.\end{cases}$

Then we decompose $G'$ into two parts as follows $G' = f + h$ with

$h(x)=\begin{cases} 2x \cos \frac 1x, & \text{ if } x \ne 0,\\ 0, & \text{ if }x=0.\end{cases}$

Observe that $h$ is continuous, hence there exists its antiderivative $H$ , i.e. $H'(x)=h(x)$ for any $x \in \mathbb R$ . Hence, in view of the decomposition above, there holds

$\displaystyle f = (G-H)'.$

In other words, we have just proved that $G-H$ is the antiderivative of the function $f$ .

Remark: In this problem, the antiderivative of $f$ cannot be written in terms of elementary functions, so as the function $H$ . The only point in this problem is that we convert the discontinuous function $f$ (at $late x=0$) to a continuous function $h$ so that its antiderivative does naturally exist.

Leave a Comment »

No comments yet.

RSS feed for comments on this post. TrackBack URI

M	T	W	T	F	S	S
« Mar				Aug »
		1	2	3	4	5
6	7	8	9	10	11	12
13	14	15	16	17	18	19
20	21	22	23	24	25	26
27	28	29	30

	Jacobian of the ster… on Stereographic projection, 6
	noname on An example of sectional curvat…
	1 số vấn đề hay về t… on The set of continuous points o…
	Nguyen Huy Chieu on In a normed space, finite line…
	Ngô Quốc Anh on In a normed space, finite line…
	Van Hoang Nguyen on In a normed space, finite line…
	Van Hoang Nguyen on In a normed space, finite line…
	Ngô Quốc Anh on Variation of the Riemann tenso…
	Marija Tomasevic on Variation of the Riemann tenso…
	Ngô Quốc Anh on Variation of the Riemann tenso…

Ngô Quốc Anh

April 10, 2015