# Modulus of Continuity

*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 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.

### Definitions

We will begin by simply stating the definitions we will work with in the remainder of this report.

**Definition**: A function is called a modulus of continuity if and .

**Definition**: is continuous at with (local) modulus of continuity if there exists a so that for .

### The Modulus of Continuity as a Rate of Convergence

Let’s break this down by looking at a sequence . This sequence provides a sampling of points in a small neighborhood around $c$. This is converging to at a rate of . Now consider our function . The rate at which converges to is . Compare that to the rate at which converges to 0. This rate is . So, for this neighborhood around , if , then is a local modulus of continuity for .

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

### Examples

To help illustrate this concept of moduli of continuity, we will consider the common family of moduli (the power functions)

In order to show is a moduli of continuity for a function, we need to produce a so that when .

**Example 1**:

**p=2**: Consider

Then . Since always holds, any will suffice so that for .

Thus is a local modulus of continuity for at .

**p=1**: Consider

Then . Since always holds, any will suffice so that for . Thus is a local modulus of continuity for at .

Similarly, the function is continuous at with (local) modulus of continuity no matter what we choose. This makes sense intuitively, since is a constant function. It is already at its limit point no matter what 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.

**Example 2**:

**p=1**: Consider

We will think about this example using the picture above. The double-edged cone area is where for . If the (where is in ) falls into the double-edges cones, it pretends the local modulus of continuity.

When , all of the points in fall into the double-edged cones. Thus is a local moduli of continuity for when looking at .

When ,say , the graph of the function (the green highlighted part) does not go inside the double-edged cones. Thus is not a local moduli of continuity for when looking at .

### Connection to Derivatives

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 with the slope of the modulus of continuity.

For example: when ,The function is differentiable and has a slope of 4 at . The function is growing locally with a rate of 4. But we are comparing it with with a growth rate of 1. The graph of the function stays outside of the cone.

So for any slope that is larger than 1, is not a local modulus of continuity for that function at that point.

Similarly, considering . 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 is not a local modulus of continuity for that function at that point. So in general, is a local modulus of continuity for at if .

### References

https://arxiv.org/pdf/math/0607672.pdf

https://www.revolvy.com/main/index.php?s=Modulus%20of%20continuity&item_type=topic

Very Good Exploration of these concepts. Thank you for the blog post.