Some formulas (rules, etc.)
Differential
Study of instantaneous rate of change of functions.
Slope.
What is a function?
A: black box w/ mapping of 1 in to 1 out (not reverse, Vertical Line Test)
Note to self: functions work well for events in time, or causally-linked events.
Note note to self: what are causally linked events?
Polynomial
A function of the form
Intermediate Value Theorem IVT
On any interval of cnts , , where c is in the interval, will be between the values of f at the bounds of the interval.
Min-Max Theorem
Let be continuous on a closed interval. Then it has an absolute max & min on that interval.
Differentiable at
is diffable at if the following limit exists and is finite:
This means the slope of the chord from the two points converges to a finite number.
Alternatively, there is a ‘good’ approx to in a nbhd of .
Equivalent Notation
Use this definition of a derivative to prove formulas.
Leibniz Notation
For derivative at write
Some rules
These are generally proven using the h notation plus limit theorems.
MVT
If cts and diffable on then
A policeman stops you and asks to see your toll ticket, which shows that you entered the road 2 hours earlier. The policeman notes that you are exactly 242 km from where you entered. He then gives you a traffic ticket. You protest because you know that in the last several minutes you were driving well under the speed limit. The policeman replies: “Your average speed was 121 km/hour. Therefore by the Mean Value Theorem, at some point in your trip you were traveling at 121 km/hour.”
Generalized MVT
Derivatives of sums are easier than derivatives of products and the log of a product is the sum of the logs
Local minima/maxima: slope is zero
- Important for optimization!
Linear Approximation
Linearization near a point a:
In the sense that:
So is a tangent line to f at some point a. (Not chord).
Error in approximation:
Equivalently,
Where is some point on domain of and is some point between and .
Weird result, since we are re-defining in terms of the tangent at some point on it, plus this weird double derivative piece.
The proof uses GMVT followed by MVT.
Corollary:
Differentials notation
Some change in x and corresponding change in f(x).
Then,
Leibniz notation
Taylor Polynomials
This is the n-th Taylor polynomial, which is a generalization of linearization to higher degree polynomials.
Assumes is at least times diffable at .
Corollary
And it is a unique polynomial that satisfies this condition.
Why unique? (Some proof involving re-writing any polynomial in terms of x-a)
We can also iteratively compute , by just adding the new term.
Lagrange remainder
If exists for all in an interval containing and , then there exists some in between and s.t.
Note similarity of this error to the lin approximation error. Proof is by induction, but takes a bit of effort and algebra…
Big O
Defn: as if there exists and an open interval containing s.t. for all
Simple properties:
-
If as , then for any .
-
If and as , then as (use triangle inequality).
-
- If as , then
Equivalently:
is the unique polynomial of degree at most that approximates with error on the order of
Maclaurin Polynomials
:= Taylor polynomials at
Q: why are they useful?
Integrals
Defn: An anti-derivative of a function is a function s.t.
Defn: An indefinite integral of a function is written:
Chapters 5,6,7,8,9 of Single Variable Calc
- Area under a curve
- Note:
- Choose smaller and smaller to sum the true area under the curve
Reimann sum definition of definite integral
where the interval is divided into subintervals of equal width , and is a sample point in each subinterval.
Fundamental Theorem of Calculus
- First Part: It states that if is an antiderivative of a continuous function on the interval , then the definite integral of from to is given by:
This means that the integral (area under the curve) can be found using the antiderivative.
- Second Part: It states that if is continuous on and is defined by the integral , then the derivative of is :
This means that the derivative of the integral function recovers the original function.
Proof of part 1 (visually makes sense), uses reimann sum definition and MVT for integrals:
Integral MVT
For a continuous function on , there exists a point such that: