{"id":1057,"date":"2017-10-13T11:08:26","date_gmt":"2017-10-13T15:08:26","guid":{"rendered":"http:\/\/blog.richmond.edu\/math320\/?p=1057"},"modified":"2017-10-13T11:08:26","modified_gmt":"2017-10-13T15:08:26","slug":"modulus-of-continuity","status":"publish","type":"post","link":"https:\/\/blog.richmond.edu\/math320\/2017\/10\/13\/modulus-of-continuity\/","title":{"rendered":"Modulus of Continuity"},"content":{"rendered":"

By: Rhiannon Begley and Shuyi Chen<\/em><\/p>\n

Introduction<\/h3>\n

In class we have begun to and will continue to discuss functions, their continuity, and their limits at a particular point. Although we can determine the continuity and limits of functions with the tools we have learned in class, we cannot determine how quickly the function is converging to its limit at that point. In this paper, we will discuss a concept called a modulus of continuity that is used to quantify the rate of convergence of a function at a particular point of continuity.<\/p>\n

Definitions<\/h3>\n

We will begin by simply stating the definitions we will work with in the remainder of this report.<\/p>\n

Definition<\/strong>: A function \"\sigma is called a modulus of continuity if \"\sigma(0)=0\" and \"\lim_{d\rightarrow.<\/p>\n

Definition<\/strong>: \"f: is continuous at \"c\in with (local) modulus of continuity \"\sigma\" if there exists a \"\delta so that \"|f(x)-f(c)|\leq for \"|x-c|<\delta\".<\/p>\n

The Modulus of Continuity as a Rate of Convergence<\/h3>\n

Let’s break this down by looking at a sequence \"(x_n)=(c+\frac{1}{n})\". This sequence provides a sampling of points in a small \"\delta\" neighborhood around $c$. This is converging to \"c\" at a rate of \"\frac{1}{n}\". Now consider our function \"f\". The rate at which \"f(x_n)\" converges to \"f(c)\" is \"f(\frac{1}{n})\". Compare that to the rate at which \"\sigma(|x_n-c|)\" converges to 0. This rate is \"\sigma(|\frac{1}{n}|)\". So, for this \"\delta\" neighborhood around \"c\", if \"f(\frac{1}{n}\leq\u00a0\sigma(|\frac{1}{n}|)\", then \"\sigma\" is a local modulus of continuity for \"f\".<\/p>\n

We can also visualize this for different possible \"\sigma\" we will discuss later. If the function remains inside the cones (the yellow highlighted areas), then \"\sigma\" is a local modulus of continuity for that function at that point.<\/p>\n

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

Examples<\/h3>\n

To help illustrate this concept of moduli of continuity, we will consider the common family of moduli (the power functions)<\/p>\n

\"\sigma_p(d):=d^p,\qquad\text{for<\/p>\n

In order to show \"\sigma_p\" is a moduli of continuity for a function, we need to produce a \"\delta\" so that \"|f(x)-f(c)|\leq when \"|x-c|<\delta\".<\/p>\n

 <\/p>\n

Example 1<\/strong>: \"f(x)=a\"
\np=2<\/b>: Consider \"\sigma_2=d^2\"
\nThen \"|f(x)-f(c)|=|a-a|=0\leq. Since \"0\leq always holds, any \"\delta will suffice so that \"|f(x)-f(c)|\leq for \"|x-c|<\delta\".
\nThus \"\sigma_2\" is a local modulus of continuity for \"f\" at \"c\".<\/p>\n

p=1<\/b>: Consider \"\sigma_1=d\"
\nThen \"|f(x)-f(c)|=|a-a|=0\leq. Since \"0\leq always holds, any \"\delta will suffice so that \"|f(x)-f(c)|\leq for \"|x-c|<\delta\". Thus \"\sigma_1\" is a local modulus of continuity for \"f\" at \"c\".<\/p>\n

Similarly, the function \"f(x)=a\" is continuous at \"c\in with (local) modulus of continuity \"\sigma_p\" no matter what \"p\" we choose. This makes sense intuitively, since \"f\" is a constant function. It is already at its limit point no matter what \"x\" in the domain we choose, so it will always converge to its limit quicker than, or at least at the same rate, as any other function we could choose.<\/p>\n

Example 2<\/strong>:\u00a0\"f(x)=x^2\"
\np=1<\/strong>:\u00a0Consider \"\sigma_1=d\"<\/p>\n

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

We will think about this example using the picture above. The double-edged cone area is where \"|f(x)-f(c)|\leq for \"|x-c|<\delta\". If the \"f(x)\" (where \"x\" is in \"|x-c|<\delta\") falls into the double-edges cones, it pretends the local modulus of continuity.
\nWhen \"c\in(-1,1)\", all of the points in \"f(x)=x^2\" fall into the double-edged cones. Thus \"\sigma_1\" is a local moduli of continuity for \"f\" when looking at \"c\in(-1,1)\".<\/p>\n

When \"c\not\in(-1,1)\",say \"x=2\", the graph of the function \"f(x)=x^2\"\u00a0(the green highlighted part)\u00a0does not go inside the double-edged cones. Thus \"\sigma_1\" is not a local moduli of continuity for \"f\" when looking at \"c\not\in(-1,1)\".<\/p>\n

Connection to Derivatives<\/h3>\n

A simple way to see whether the graph of function falls into the cones that describe the modulus of continuity is to compare the slope of the function at the point \"c\" with the slope of the modulus of continuity.
\nFor example: when \"x=2\" ,The function is differentiable and has a slope of 4 at \"x=2\". The function is growing locally with a rate of 4. But we are comparing it with \"\sigma_1=d\" with a growth rate of 1. The graph of the function stays outside of the cone.
\nSo for any slope that is larger than 1, \"\sigma_1\" is not a local modulus of continuity for that function at that point.<\/p>\n

Similarly, considering \"\sigma_1(d)=md\". The m is the slope of the cones that describe the modulus of continuity. Any derivative of the function at a point that is greater than m means \"\sigma_1\" is not a local modulus of continuity for that function at that point. So in general,\u00a0\"\sigma_1=md\" is a local modulus of continuity for \"f\" at \"c\" if \"m\geq.<\/p>\n

References<\/h3>\n

https:\/\/arxiv.org\/pdf\/math\/0607672.pdf<\/a><\/p>\n

https:\/\/www.revolvy.com\/main\/index.php?s=Modulus%20of%20continuity&item_type=topic<\/a><\/p>\n

http:\/\/www.stat.cmu.edu\/~cshalizi\/754\/notes\/lecture-08.pdf<\/a><\/p>\n

http:\/\/fourier.eng.hmc.edu\/e176\/lectures\/NM\/node3.html<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"

By: Rhiannon Begley and Shuyi Chen Introduction In class we have begun to and will continue to discuss functions, their continuity, and their limits at a particular point. Although we can determine the continuity and limits of functions with the tools we have learned in class, we cannot determine how quickly the function is converging […]<\/p>\n","protected":false},"author":3532,"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":[58818],"tags":[],"class_list":["post-1057","post","type-post","status-publish","format-standard","hentry","category-class-blogs"],"jetpack_publicize_connections":[],"jetpack_featured_media_url":"","jetpack_sharing_enabled":true,"jetpack_shortlink":"https:\/\/wp.me\/p7L4E1-h3","jetpack-related-posts":[],"_links":{"self":[{"href":"https:\/\/blog.richmond.edu\/math320\/wp-json\/wp\/v2\/posts\/1057","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\/3532"}],"replies":[{"embeddable":true,"href":"https:\/\/blog.richmond.edu\/math320\/wp-json\/wp\/v2\/comments?post=1057"}],"version-history":[{"count":0,"href":"https:\/\/blog.richmond.edu\/math320\/wp-json\/wp\/v2\/posts\/1057\/revisions"}],"wp:attachment":[{"href":"https:\/\/blog.richmond.edu\/math320\/wp-json\/wp\/v2\/media?parent=1057"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/blog.richmond.edu\/math320\/wp-json\/wp\/v2\/categories?post=1057"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/blog.richmond.edu\/math320\/wp-json\/wp\/v2\/tags?post=1057"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}