(Global) Modulus of Continuity
Authors: Brittney D’Oleo, Elise Favia
Date: October 27, 2017
Introduction:
This week’s topic, (global) modulus of continuity is an extension of last week’s topic, the (local) modulus of continuity. In the blog, we will explore the new definition and compare it to last weeks definitions. We will also prove an interesting result creating an equivalence between uniform continuity and having a (global) modulus of continuity, as well as some applications involving power functions.
Review:
As a quick summary, last week’s blog provided two definitions (this is Rhiannon and Shuyi’s precise wording):
- Definition: A function is a modulus of continuity if and .
- Definition: is continuous at with (local) modulus of continuity if there exists so that for .
Essentially, the modulus of continuity is a way of measuring the rate of convergence, similar to, but not the same as the slope or derivative of the function. A result from last week’s blog was that is a local modulus of continuity for at if .
New Definitions:
There is a difference between the definition of local modulus of continuity and global modulus of continuity, but before I address this, I will formally write the definition for you.
Definition: A function has a global modulus of continuity , if so that for all such that .
From the review section, when determining if a function is defined to have local modulus of continuity , there is a focus at a particular point . In contrast, when determining if a function is defined to have global modulus of continuity if we can find one where for any two points where the distance between those two points are within a window of each other.
Looking at Uniform Continuity Through a Different Lens:
The definition of uniform continuity states that a function
is uniformly continuous on its domain A if for every , there exists a such that for all , implies that . This definition is very similar to that of global modulus continuity, the main difference is that global modulus continuity has this variable . In fact, has some explicit functional dependence on and . If we look at then these definitions are actually equivalent. To motivate this lets look at the same three functions we did in class, but instead of fixing , lets fix .
In this function notice that no matter what size window we pick, the window will be constant, and so we can find a supremum window so that for any two points in the domain such that the the distance between the points is less than , and are in this “largest” window.
In this function notice that that if we shift our window the right, the window will constantly increase, and so we cannot find a supremum window for any two points in the domain such that the the distance between the points is less than .
In this function notice that no matter what window we choose, the window will constantly shrink towards 0 as you increases , and so we can find a supremum window for any two points in the domain such that the the distance between the points is less than . This will simply be the window around the point 0 corresponding to the given window.
Notice that figures 1 and 3 have global modulus continuity and that these two functions are also uniformly continuous. Instead of looking at a set window and determining if we can find an infimum window that satisfies the definition of uniform continuity, we are looking at a set window and seeing if we can find a supremum window that satisfies the definition of the global modulus of continuity definition. These are equivalent statements and so the take away of this section should be that if a function has a global modulus of continuity, than is also uniformly continuous and vice versa.
Extension of Power Function:
There are several families of (global) moduli functions that are considered Power Functions. In this section,
A power function, is a Hölder condition if it is (global) modulus of continuity. Such functions satisfy the condition for all in the domain of
A function with modulus for all in the domain is called a Lipshitz function.
Notice that this is a special case of the Hölder condition with . We have from the Hölder condition, and so .
All Lipshitz functions therefore satisfy the Hölder condition.
Another important observation is that . In other words, the derivative (or slope) of the function is bounded by .
Works Cited:
https://www.revolvy.com/main/index.php?s=Modulus%20of%20continuity&item_type=topic
https://www.revolvy.com/main/index.php?s=Hölder%20condition&uid=1575
Leave a Reply
You must be logged in to post a comment.