{"id":468,"date":"2016-10-26T15:21:19","date_gmt":"2016-10-26T19:21:19","guid":{"rendered":"http:\/\/blog.richmond.edu\/math320\/?p=468"},"modified":"2017-08-22T17:01:00","modified_gmt":"2017-08-22T21:01:00","slug":"continuous-nowhere-differentiable-functions","status":"publish","type":"post","link":"https:\/\/blog.richmond.edu\/math320\/2016\/10\/26\/continuous-nowhere-differentiable-functions\/","title":{"rendered":"Continuous Nowhere-differentiable Functions"},"content":{"rendered":"

Over the past few weeks, we have talked about the continuity and differentiability of a function and we want to intuitively related these two concept with each other because they all characterize some important properties of a function. In Chapter 5 of Understanding Analysis<\/em> by Abbott, there is a theorem states that if \"f:A\to\mathbb{R}\" is differentiable at a point, then it must be continuous at that point as well. We also find that this property gets weakened from the other direction, where continuity does not necessarily imply differentiability. One popular example would be the absolute value function such that \"f(x)=|x|\", where f is continuous but not differentiable at its cusp \"x=0\".<\/p>\n

\"absolute<\/a><\/p>\n

Another example could be the cube root function \"f(x)=x^{1\/3}\" at \"x=0\", where f has a vertical tangent line that is not defined.<\/p>\n

\"cubic<\/a><\/p>\n

You may want to ask (or guess from the topic up front): does there exist a function that is continuous but not differentiable at any point? The answer is absolutely yes. And in fact, among all real-valued continuous functions, the subset of all continuous but nowhere differentiable functions is quite \u201clarge\u201d.<\/p>\n

A Glance of History<\/strong><\/h4>\n

The first example of a continuous nowhere differentiable function on an interval is due to Czech mathematician Bernard Bolzano originally around 1830, but not published until 1922. Unlike many other constructions of nowhere differentiable functions, Bolzano\u2019s function is based on a geometrical construction instead of a series approach. The Bolzano function, \"B\", is constructed as the limit of a sequence {\"B_k\"} of continuous functions.<\/p>\n

\"Bolzano<\/a><\/p>\n

The first published nowhere differentiable continuous function – Weierstrass Function – is presented by Karl Weierstrass on July 18, 1872. The function is given of the form (modified by Hardy in 1916):<\/p>\n

\"W(x)<\/p>\n

for \"0<a<1,. The function is an example of a Fourier Series, a very important and fun type of series. Here, for the sake of better understanding, we simplify some details of Weierstrass\u2019s argument by replacing the cosine function with a piecewise linear function that holds a similar property with \"cos(x)\" when it comes to proving it is continuous and nowhere differentiable.<\/p>\n

A little “pf”<\/strong><\/h4>\n

Let’s define the function \"h:\mathbb{R}\to\mathbb{R}\" such that \"h(x)=|x|\" where \"x\in[-1,1]\" and \"h(x+2)=h(x)\" where \"x\in\mathbb{R}\". So we can see from the figure below that \"h\" is periodic of period 2.<\/p>\n

\"modifed<\/a><\/p>\n

Now we may define \"f(x)=\sum_{n=0}^\infty<\/p>\n

This might look familiar\u00a0to you because it is of a similar form to the construction of Cauchy Condensation Test, but not quite. Actually, we may apply a Weierstrass M-test to show that the infinite series is continuous on \"\mathbb{R}\" give that \"|h(x)\le1|\" and $\\latex M_n=(\\frac{3}{4})^n$.<\/p>\n

A little more difficult task is to show that \"f(x)\" is non-differentiable on all of \"\mathbb{R}\". Ultimately, we want to show that the sequence (\"x_m\") converges to 0\u00a0such that \"\frac{f(x_m)-f(x)}{x_m-x}\" diverges as \"m\to\infty\", which implies that \"f'(x)\" does not exist. Applying\u00a0some algebraic tricks here we will be able to get the result as desired.<\/p>\n

More\u00a0examples and interesting applications<\/strong><\/h4>\n

Takagi presented his example in 1903 as an example of a \u201csimpler\u201d continuous nowhere differentiable function than Weierstrass. The definition of Takagi\u2019s function is expressed as the infinite series:<\/p>\n

\"T(x)<\/p>\n

\"Takagi<\/a><\/p>\n

In 1904, Swedish mathematician Helge von Koch published an article about a curve of infinite length with tangent nowhere. Koch writes:<\/p>\n

Even though the example of Weierstrass has corrected this misconception once and for all, it seems to me that his example is not satisfactory from the geometrical point of view since the function is defined by an analytic expression that hides the geometrical nature of the corresponding curve and so from this point of view one does not see why the curve has no tangent.<\/p><\/blockquote>\n

Koch\u2019s \u201csnowflake\u201d curve (named after its shape) is constructed as follows: Take an equilateral triangle and split each line in three equal parts. Replace the middle segments by two sides of a new equilateral triangle that is constructed with the removed segment as its base. Repeat this procedure on each of the four new lines (for each of the original three sides). Repeat indefinitely.<\/p>\n

\"snowflake<\/a><\/p>\n

The continuous nowhere-differentiable functions also have a broad application in other scientific fields. One interesting note is\u00a0that the well-known Brownian motion, or pedesis, has path that is continuous and nowhere differentiable.\u00a0It\u00a0is insightful to keep in mind that although the path of a Brownian motion is everywhere continuous,\u00a0its\u00a0randomness makes it\u00a0nowhere differentiable. Therefore we actually cannot draw any conclusion on the moving direction in terms of differentiability. (Check out a gif simulation\u00a0of the Brownian motion of a big particle (dust particle) that collides with a large set of smaller particles (molecules of a gas) which move with different velocities in different random directions at https:\/\/upload.wikimedia.org\/wikipedia\/commons\/c\/c2\/Brownian_motion_large.gif<\/a>.)<\/p>\n

 <\/p>\n

References<\/strong><\/h4>\n

https:\/\/ocw.mit.edu\/ans7870\/18\/18.013a\/textbook\/HTML\/chapter06\/section03.html<\/a><\/p>\n

https:\/\/pure.ltu.se\/ws\/files\/30923977\/LTU-EX-03320-SE.pdf<\/a><\/p>\n

http:\/\/www.math.ubc.ca\/~feldman\/m321\/nondiffble.pdf<\/a><\/p>\n

https:\/\/en.wikipedia.org\/wiki\/Brownian_motion<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"

Over the past few weeks, we have talked about the continuity and differentiability of a function and we want to intuitively related these two concept with each other because they all characterize some important properties of a function. In Chapter 5 of Understanding Analysis by Abbott, there is a theorem states that if is differentiable […]<\/p>\n","protected":false},"author":3023,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"jetpack_post_was_ever_published":false,"_jetpack_newsletter_access":"","_jetpack_dont_email_post_to_subs":false,"_jetpack_newsletter_tier_id":0,"_jetpack_memberships_contains_paywalled_content":false,"_jetpack_memberships_contains_paid_content":false,"footnotes":"","jetpack_publicize_message":"","jetpack_publicize_feature_enabled":true,"jetpack_social_post_already_shared":true,"jetpack_social_options":{"image_generator_settings":{"template":"highway","default_image_id":0,"font":"","enabled":false},"version":2}},"categories":[44423],"tags":[],"class_list":["post-468","post","type-post","status-publish","format-standard","hentry","category-fall-2016"],"jetpack_publicize_connections":[],"jetpack_featured_media_url":"","jetpack_sharing_enabled":true,"jetpack_shortlink":"https:\/\/wp.me\/p7L4E1-7y","jetpack-related-posts":[],"_links":{"self":[{"href":"https:\/\/blog.richmond.edu\/math320\/wp-json\/wp\/v2\/posts\/468","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/blog.richmond.edu\/math320\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/blog.richmond.edu\/math320\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/blog.richmond.edu\/math320\/wp-json\/wp\/v2\/users\/3023"}],"replies":[{"embeddable":true,"href":"https:\/\/blog.richmond.edu\/math320\/wp-json\/wp\/v2\/comments?post=468"}],"version-history":[{"count":0,"href":"https:\/\/blog.richmond.edu\/math320\/wp-json\/wp\/v2\/posts\/468\/revisions"}],"wp:attachment":[{"href":"https:\/\/blog.richmond.edu\/math320\/wp-json\/wp\/v2\/media?parent=468"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/blog.richmond.edu\/math320\/wp-json\/wp\/v2\/categories?post=468"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/blog.richmond.edu\/math320\/wp-json\/wp\/v2\/tags?post=468"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}