Limits with Maple
Discussion
In Calculus we are often concerned with evaluating limiting values of functions as the independent variable approaches a given value. The mathematical notation for this is
. Here the function is given by
, the independent variable is
, and the value that
approaches is
. The conceptual idea behind the statement
is that whenever the value of
is close to the number
then the value of
should be close to
. Maple can help us explore limits by tabulating values of
for many values of
near
. Such exploration does not supply a rigorous proof of the value of the limit, but it can at least intuitively help us to decide whether or not a limit exists and, if so, what its value might be.
Example 1
For example, let's explore
. We first define
and notice that
is not defined at
.
| > | restart: |
| > | f:=x->(x^3-x-6)/(x-2); |
| > | f(2); |
However, if we plot
there seems to be no problem near
.
| > | plot(f(x),x=-1..3); |
This leads us to believe that the limit
does
exist at
. For further evidence of this we compute some of the values of
when
is near
but not equal to it.
| > | f(1.9); |
| > | f(1.99); |
| > | f(1.9999); |
| > | f(2.1); |
| > | f(2.01); |
| > | f(2.0001); |
It becomes apparent from this output that as
gets closer to
,
is getting closer to 11. To make this clearer, we can tabulate
for many values of
. (The absolute value is given by the command: abs().)
First we look at some
-values which are less than 2:
| > | abs(f(1.9)-11); |
| > | abs(f(1.99)-11); |
| > | abs(f(1.9999)-11); |
Then we look at some
-values greater than 2:
| > | abs(f(2.1)-11); |
| > | abs(f(2.01)-11); |
| > | abs(f(2.0001)-11); |
When evaluating at values of
which are very close to
, we may need to increase the accuracy of Maple computation. This is done with the Digits command. For example, if we compute
with the standard eight digit accuracy we get a different value than if we use 20 digit accuracy:
| > | f(2.00001); |
| > | Digits:=20: |
| > | f(2.00001); |
Do Loops and Spreadsheets
If we wish to get a bit fancy about tabulating these values we can use do-loops or spreadsheets to help organize the data. Here are two do-loops that can be copied for use in other situations.
| > | restart: |
| > | Digits:=25: |
| > | f:=x->(x^3-x-6)/(x-2); |
| > | a:=2; |
| > | for i from 1 to 10 do 'f'(a +(0.1)^i)=f(a +(0.1)^i) end do; |
| > |
| > | for i from 1 to 10 do 'f'(a -(0.1)^i)=f(a -(0.1)^i) end do; |
And here is a spreadsheet that can be copied for use with other functions. To copy this spreadsheet somewhere else, first set your cursor where you want the new spreadsheet and then go to
Insert
on the toolbar and scrolldown to
Spreadsheet.
This inserts a blank spreadsheet at the position of your cursor. Next, select the spreadsheet below by clicking between the left sidebar and the spreadsheet, so that a box outlines the spreadsheet. Then select
Copy
from the
Edit
menu. Finally, return to the new spreadsheet that you inserted and select it so that it has a box around it, and then select
Paste
from the
Edit
menu. After this, you may change
and
as you please and then use
Evaluate Spreadsheet
from the
Spreadsheet
menu.
To find out more about creating your own spreadsheets with Maple look at the project called "Limits with Spreadsheets".
| > | restart: |
| > | Digits:=25: |
| > | f:=x->(x^3-x-6)/(x-2); |
| > | a:=2; |
More Examples
Let us now use Maple to explore
.
After restarting Maple, we define the function.
| > | restart: |
| > | f:=x->(x^3-2*x-6)/((x-1)^2); |
Setting
we cut and past the do -loops from above to explore the values of
near 1.
| > | a:=1; |
| > | for i from 1 to 10 do 'f'(a+(0.1)^i)=f(a +(0.1)^i) end do; |
| > | for i from 1 to 10 do 'f'(a-(0.1)^i)=f(a -(0.1)^i) end do; |
Since these are increasingly large negative numbers, we are led to believe that the limit does not exist. A graph of this function helps to confirm this result:
| > | plot(f(x),x=-1..3,y=-100..5); |
As another example, let's look at
. We restart Maple and define
and
.
| > | restart: |
| > | f:=x->sin(1/x); |
| > | a:=0; |
| > | for i from 1 to 10 do 'f'(a+(0.1)^i)=f(a +(0.1)^i) end do; |
| > | for i from 1 to 10 do 'f'(a-(0.1)^i)=f(a -(0.1)^i) end do; |
Here we notice that the values of the function do not seem to "settle down" to any particular number, so again, we are led to believe that the limit fails to exist. Again, let's look at the function to see what is happening near zero:
| > | plot(f(x), x=-5..5); |
Finally, let's look at
.
| > | restart: |
| > | f:=x->sin(x)/x; |
| > | a:=0; |
| > | for i from 1 to 10 do 'f'(a+(0.1)^i)=f(a +(0.1)^i) end do; |
| > | for i from 1 to 10 do 'f'(a-(0.1)^i)=f(a -(0.1)^i) end do; |
This data certainly leads us to believe that the limit exists and is 1. Again, we can get a pictorial view of this with a graph:
| > | plot(f(x), x=-10..10); |
The limit Command
Maple has the power to evaluate limits for you using the limit command. Here is an example
| > | restart: |
| > | f:=x->(x^3-x-6)/(x-2); |
| > | limit(f(x),x=2); |
This tells you that
. Of course it does not tell you how it got this answer, so if your Calculus instructor wants you to show your work when evaluating limits, this won't do that for you. However, it does give a nice check that the answer you got is correct.
In using the limit command, you must be careful about understanding the output. For instance, in your Calculus class it might be the case that
is considered to be undefined, but Maple returns
.
| > | limit(1/x^2,x=0); |
Of course, in a more sophisticated sense, this limit exists and is infinite. On the other hand, Maple correctly states that
does not exist.
| > | limit(1/x,x=0); |
Even more complicated output from Maple can come up. This usually means that the limit does not exist in the standard sense, but that there may be a more sophisticated way of understanding the limiting value(s) of the function. A particularly interesting example of this is given by
.
| > | limit(sin(1/x),x=0); |
This particular output means that the limit
does not
exist, but that values of
can be found arbitrarily close to any number between -1 and 1 when
is close to
.
Exercises
1.) Using either a do-loop or a spreadsheet (or just tabulating by hand), explore the following limits. Say if your exploration leads you to believe that the limit exists, and if so, what that limit is. Finally, graph the function on an appropriate interval to add further evidence to your conclusion.
a.)
b.)
c.)
d.)
2.) a.)
Let
. Use the limit command to find
.
b.)
Graph
on a suitable window around
.
c.)
Zoom in on the above graph near
enough so that you can determine approximately how close
needs to be to 1 to guarantee that
.
3.)
The function
assigns to each
the greatest integer less than or equal to
.
a.)
Plot
on the interval from 0 to 3.
b.)
Evaluate floor at
and
.
c.)
Evaluate floor at
, and
.
d.)
What do you conclude about
?
4.) Use the limit command to evaluate the limits given in problems 1 - 36 of section 2.2 (page 73) of Edwards and Penney's Calculus, Early Transcendentals Version, 6 ed.
5.) Do problems 47 - 56 in section 2.2 (page 73) of Edwards and Penney's Calculus, Early Transcendentals Version, 6 ed.
6.) Do problems 57 - 64 insection 2.2 (page 74) of Edwards and Penney's Calculus, Early Transcendentals Version, 6 ed.
Writing Exercise
Imagine you have a friend who is taking calculus and has missed all classes on limits. Write a few pages of notes (in your own words) explaining the concepts your friend needs to understand.
Organize the notes however you like. Make sure that you
- explain the general idea of what limits are
- refer to the way it was explained to you in your calculus 2200 class
- provide at least one graph illustrating a particular example of a limit (for instance use examples Maple produced above)
- present one example giving a list of numbers, as above
- discuss examples where a certain limit does not exist
- include anything that would help your friend make sense of the material.
GENERAL GUIDELINES ON HOW TO WRITE REPORTS.
To get an A on this report and on future reports, you need to follow these guidelines:
1) Organization.
Your introductory paragraph simply explains what the purpose of the report is. Assume your reader hasn't read the instructions, has no idea what the report is about and doesn't know that limits are a topic in mathematics.
The main part of your report presents a sequence of topics in a logical order, starting general and moving towards specific details and examples. After writing the first draft, look for an even better way to arrange the material.
In the final paragraph, one option is just to summarize what you've written. Even better, try to draw it all together into a few key points that you want the reader to take away. Reread what you've written and think carefully about it to identify what the key points are.
2) Proofreading and redrafting.
The challenge of technical writing is to say precisely what you mean, as clearly as possible. It is hard work to do this well, and time consuming. When you read over what you've written, don't just look for typos. Read slowly and think through the meaning of the words. Ask yourself
- does it say exactly what you mean?
- could you rephrase it in a clearer, less confusing way?
- would your friend be able to learn from what you've written?
It is suggested you repeat this process three times ...no kidding! If you do it carefully you will see more improvements to be made every time.
3.) References.
Although the writing style described above is informal, this is a document you are handing in for credit, so be sure to give references if you quote someone else's work, e.g. Calculus texts or websites.
The Most Common Maple Commands
Academic Honesty Statement:
Place the following statement (by copying and pasting) at the end of your report and sign it in ink. Your instructor will not grade your report unless this signed statement appears at the end of your report.
I understand that I may work with others if I give them credit in this statement. I also understand that I am required to write my report--that to copy all or part of someone else's report or to allow someone else to copy all or part of my report constitutes plagiarism, which is a serious violation of academic honesty.
I worked with (replace this parenthetical remark with first and last names of those with whom you worked) on this project. I wrote my own report. I did not copy any of this report from anyone else and I did not allow anyone else to copy any of this report.
Signed: