MATH 2710: NOTES FOR ANALYSIS
|
|
- Giles Wilkins
- 5 years ago
- Views:
Transcription
1 MATH 270: NOTES FOR ANALYSIS The main ideas we will learn from analysis center around the idea of a limit. Limits occurs in several settings. We will start with finite limits of sequences, then cover infinite limits, and then look at limits of functions. We have not given a roer definition of R, so we can t really treat limits comletely because they may not exist just in Q. However, all the relevant definitions make sense in Q. I will note in the text where the situation is different between Q and R. Sequences and limits of sequences A sequence is just a function with domain N. We will mostly be interested in sequences with values in the real numbers. The usual function notation a : N R, which would list the values in the sequence as a(), a(2), a(3),... is often not the most convenient way to write a sequence. Instead we write the argument as a subscrit, so the foregoing would read: a, a 2, a 3,. Sometimes we write the sequence as {a n } or {a n }. Like functions, sequences are often written as rules. () The rule a n = n 2 defines a sequence with values, 4, 9, 6, 25,... (2) We could write { n } for the sequence, 2, 3, 4, 5,... (3) Often, a sequence is given by writing a few terms and leaving the reader to infer a rule, e.g. writing 2, 3, 5, 7,, 3,... to indicate the sequence of rimes. This is imrecise, but we will still do it from time to time. The rototye of a convergent sequence is something like { n }, where it seems that the values get arbitrarily close to zero and stay close to zero as n increases. The notion of closer is measured using the distance (in the real numbers). Definition. The distance between x, y R is x y, where the absolute value is defined to be { w if w 0, w = w if w < 0. Now we have a distance we can talk about x being closer to y than z is to y, meaning x y < z y. If ɛ > 0 we can also talk about x being closer than ɛ to y, meaning x y < ɛ. We also make a note of the most useful roerty of distance; we record it as a lemma. Lemma 2 (Triangle Inequality). For oints x, y, z R we have x y x z + z y. Intuitively this says the distance from x to y is no larger than the distance from x to y via z. Proof. This is a straightforward comutation using cases. Clearly the oints are arranged on a line. Swaing x and y does not change the exression, so we can assume x > y (the case x = y is obvious). The cases are then z x, x > z > y, y z. In all cases x y = x y. What changes is the right side. If z x then z y x y, so the inequality is true. If y z then also x z x y so the inequality is true. Finally, if x > z > y then x z = x z and z y = z y so x z + y z = x z = x z. This comletes the roof. A very useful version of the triangle inequality is as follows. Lemma 3. For oints a, b R we have a b a b.
2 2 MATH 270: NOTES FOR ANALYSIS Proof. The triangle inequality says x + y x + y, so x + y y x. Now ut x + y = a and y = b, so x = a b. We obtain a b a b. Reeating this for x + y = b, y = a so x = b a we have b a b a = a b. But a b is equal to one of a b or b a, both of which we showed are no larger than a b, comleting the roof. The idea of a sequence x n converging to a number L is suosed to cature that x n gets arbitrarily close to L as n gets large. The notion of arbitrarily close clearly requires a quantifier: there is no secific roximity we are looking for, but instead we are looking to get the x n closer to L than any ostive number ɛ. The notion of n being large also requires a quantifier. However, a little thought shows us that for a secfic tolerance ɛ > 0 the distance we have to go out along the sequence to get x n L < ɛ deends both on ɛ and on the sequence. For examle, with x n = n, L = 0 and ɛ = 0. we need n > 0 to get x n L < ɛ, while for ɛ = 0.0 we would need n > 00; if the sequence was instead y n = n 2 then to get y n L < 0. we d only need n > 3 and to get y n L < 0.0 we would need n > 0. The fact that the quantifier for how far out in the sequence we go can deend on ɛ means it should be determined after ɛ is determined. The above shows that for every ɛ > 0 we want that there is a notion of far enough out in the sequence, namely a N, ossibly deending on ɛ, such that going any further out, meaning taking n > N, gives x n L < ɛ. This is what we use to make the formal definition of a limit. Before we give this definition, one other imortant oint: if you don t understand the reasoning for defining the limit in this way, it is not essential to do so. Some eole use the definition for a long time before they really get it. If it doesn t make sense to you intuitively, don t worry about it just learn the definition and ractice using it Definition 4. The sequence a n converges to L if ɛ > 0 N such that n N = x n L < ɛ. This is often written as lim n a n = L or as a n L when n. From this we can make two other definitions. The first is that a sequence converges if there is some number to which it converges, while the second is that otherwise it diverges. Definition 5. A sequence a n is convergent if there is an L such that a n L when n. If a n is not convergent it is called divergent. Remark 6. The issue of whether a sequence converges is where Q and R are very different. Even if all the numbers we use in our definitions, excet L, are from Q, there are sequences that converge in R and do not converge in Q. A simle examle: in a homework roblem you saw how given a ositive number a you could construct a number ã so that ã 2 is closer to 2 than a 2. This can be used recursively to construct a sequence x j in Q such that x 2 j 2. Of course x j does not converge in Q, because the limit L would have to have L 2 = 2 and we also roved there is no such L Q. But it turns out one can rove that x j 2 in R. Now we are going to do some simle roofs that secific sequences converge to secified values. In each case the roof begins by saying that ɛ > 0 and then says how to choose N (deending on ɛ) so as to ensure that n > N = x n L < ɛ. However, the oint is to learn how to do these yourself, so each roof is receeded by a descrition of the thought rocess used to make the choice I gave. Note that the choice of N in each case is not unique any larger N would have worked so the reasoning I give is not unique either. Your reasoning for a roblem might be different to mine, which is fine so long as it works. Examle 7. Prove { n } converges to 0 as n. My reasoning: Given ɛ > 0 I want N so n > N will make x n 0 = n < ɛ. To get this I need n > ɛ, so I take N > ɛ. Proof: Given ɛ > 0 let N > ɛ. If n > N then x n 0 = n < N < ɛ, so n 0.
3 Examle 8. Prove { 4n n+3 } converges to 4 as n. My reasoning: With x n = 4n n+3 we have x n 4 = 4n 4(n+3) n+3 MATH 270: NOTES FOR ANALYSIS 3 = 2 n+3 which will be less than ɛ if n + 3 > 2 ɛ. It is temting to take N > 2 ɛ 3, so n > N imlies n + > 2 ɛ and 2 n+3 < ɛ, but it is just as simle and erhas a little neater to take N > 2 ɛ and say n > N imlies 2 n+3 < 2 N < ɛ. Proof: Given ɛ > 0 take N > 2 ɛ. Then n > N imlies x n 4 = 4n 4(n+3) n+3 = 2 n+3 < 2 N < ɛ. So x n 4. Examle 9. Prove 3 n 3 converges to 0 as n. Reasoning: We need N so n > N imlies < ɛ. Evidently N > ( ) 3 /3 n 3 ɛ will work, so we can use that. An alternative would be to say that if n 2 > 3, for which we only need n > N > 2 we would have n 3 > 3N so 3 < n 3 N < ɛ if N > ɛ. I refer this latter way, which requires N > max{2, ɛ } only because the method is more flexible. Proof: Given ɛ > 0 take N > max{2, ɛ }. Then N 2 > 4 so n 3 > 3n and 3 < n 3 n < ɛ which shows the result. Examle 0. Prove { n+ } converges to 0. n 2 3 Reasoning: We need n+ < ɛ. It it a bit messy to figure out what the best choice of N so n > N n 2 3 would make this haen we d have to solve a quadratic equation but we don t need the best N we just need one that works. Accordingly we make some crude inequalities that bound the numerator and denominator just like we did in the revious roblem. Notice n+ < 2n for n >. Also, lets look for where n 2 3 > n2 two inequalities and also 2. This occurs when n2 > 6, so when n > 2. If we have those, then we get the inequality we want. So we 2n (n 2 /2) < ɛ, meaning n > 4 ɛ take N > max{2, 4 ɛ }. Proof: Given ɛ > 0 let N > max{2, 4 ɛ }. If n > N then n > 2 which imlies n + < 2n and n2 > 6, hence n 2 3 > n2 n+ 2. Then n 2 3 < 4n = 4 n 2 n < ɛ, showing the result. At this oint it might be worth summarizing the structure that aeared in all these roofs. When giving a roof of a limit of a sequence from the definition, you can always use the following structure: Given ɛ > 0 here is a rule for getting N (usually as a function of ɛ) and an argument showing that this choice of N ensures that a n L < ɛ. It is now about time to rove that some sequences are divergent. The basic idea is to use contradiction: assume that the sequence is convergent and derive a contradiction. This works well on sequences that diverge to infinity, but also on sequences that oscillate around without settling down in the real numbers. One way to have the latter occur is if the sequence aears to have arts that are converging to different values. We will see examles of both tyes. In both cases the key is that if the sequence did converge then all x n values are eventually close together, so if this is not true the sequence must diverge. Examle. Prove that {( ) n } does not converge as n. Reasoning: No matter how far you go out in the sequence,,,,,... you have oints and that are searated by distance 2. If x n is within ɛ of L for all n then L is within ɛ of both and. But the triangle inequality allows us to say that the distance between and is at most the distance via L, which is L + L so 2 < 2ɛ which gives ɛ >. If we take ɛ = we should get a contradiction. Proof: If the sequence converged to L then for ɛ = there is N so n > N imlies x n L <. But then 2 = 2ɛ > x n L + x n+ L = L + L = 2 by the triangle inequality, a contradiction.
4 4 MATH 270: NOTES FOR ANALYSIS In the revious examle it looks like this sequence has two ieces: the odd terms are all so are converging to and the even terms are all so are converging to. The issue is that the sequence can t converge to two different laces. The idea of the sequence having ieces that do these two different things can be made recise using the idea of subsequences and limit oints. We won t do that right now, but we will reeat the above argument to show that, in fact, it is always imossible for a sequence to converge to two laces. Lemma 2. A convergent sequence has a unique limit. Reasoning: we use a small modifiation of the argument used in the revious exercise. The idea is that the sequence can t simultaneously converge to two different oints L and L because these oints are a ositive distance aart, so it is not ossible to be simultaneously arbitrarily close to both of the oints. The issue is to make this clear with some sort of ɛ and N. It may hel to draw a number line showing L and L. When you do so you will see that it is not ossible to be within 2 L L of both L and L, so this is what we take for ɛ in order to get a contradiction. Proof. Suose a n L and also a n L as n. If L L take ɛ = 2 L L > 0 and get N so n > N imlies x n L < ɛ and N 2 so n > N 2 imlies x L < ɛ. Then for n > N = max{n, N 2 } we have by the triangle inequality L L L x n + L x n < ɛ + ɛ = L L which is a contradiction. We conclude L = L, so the limit is unique. Examle 3. Prove that {n 2 } does not converge as n. Reasoning: If it converged to L then for any tolerance ɛ it would eventually be within ɛ of L. If this haened then n > N would mean n 2 and (n + ) 2 would be within 2ɛ of each other, but the difference between them is 2n + 2 > 2. So the condition for convergence will fail if ɛ <. Proof: If the sequence converged to L then for ɛ = 2 we could take N so n > N would imly both n 2 L < ɛ and (n+) 2 L < ɛ. But then using the triangle inequality n 2 (n+) 2 + < 2ɛ =, so 2n + < when n > N, which is a contradiction. For the revious examle, if you were given the roblem in a calculus class you would have been exected to say that the limit is. Obviously we can t rove this using the definition we have for sequences with finite limits, because the notion of x n < ɛ does not make sense the symbol does not refer to a number, and the distance we are using is not defined if one of the quantities is infinite. Instead, what x n is suosed to mean is that the values get arbitrarily large, arbitrarily meaning larger than any fixed M. The exression x n has a similar meaning. Definition 4. We say x n as n or lim n x n = if M N such that n > N = x n > M. We say x n or lim n x n = if M N such that n > N = x n < M. Examle 5. Prove that {n 2 } converges to as n. Reasoning: Given M we need to show that n 2 is bigger than M. To do so we need to say n 2 is larger than something. One way is to say n 2 2n > n if n > 2, and thus n 2 > M if N > M. So take N = max{2, M} to get the right inequalities. Proof: Given M let N = max{2, M}. If n > N then n > 2 so n 2 2n > n > N M. Algebraic roerties of limits In calculus you would have been taught certain basic rules about limits that were used to comute limits of comlicated limits from simler limits. They are established in the following theorems, which are collectively referred to as the limit laws. Theorem 6. If a n a and b n b then (a n + b n ) (a + b).
5 MATH 270: NOTES FOR ANALYSIS 5 Reasoning: We know (a n + b n ) (a + b) a n a + b n + b. If we want this latter to be less than a given ɛ > 0 we could make both a n a < ɛ 2 by making n > N and b n b < ɛ 2 by making n > N 2. Then n > max{n, N 2 } would make both true and give us the result. Proof. Given ɛ > 0 use the assumed limits to take N so n > N imlies a n a < ɛ 2 and N 2 so n > N 2 so b n b < ɛ 2. Let N = max{n, N 2 } so n > N imlies both n > N and n > N 2, whence a n a < ɛ 2 and b n b < ɛ 2 so (a n + b n ) (a + b) a n a + b n b < ɛ 2 + ɛ 2 = ɛ. Theorem 7. If a n a and b n b then a n b n ab. Reasoning: The key to this comutation is that a n b n ab = a n (b n b) + b(a n a) a n b n b + b a n a. We can take N so n > N imlies a n a < ɛ 2 b and therefore the second term less than ɛ 2. We d like to deal with the first term in a similar way but in that case both factors deend on n, so we d want to a n to be bounded by something. However, since a n a we can see that a n a + if n is large enough. Secifically, if ɛ = then there is N 2 so if n > N 2 then a n a < and ɛ thus a a n a +. Moreover, there is N 3 so if n > N 3 then b n b < 2( a +). If n > N = max{n, N 2, N 3 } then we should get the result. Along the way it seems we roved the following result which will be useful later as well. Lemma 8. If a n a then there is N so n > N imlies a a n a +. Proof. Take ɛ = and N so n > N imlies a n a <. Then a < a n < a +. Proof of theorem. Given ɛ > 0 use the assumed limit of a n to take N so n > N imlies a n a < ɛ 2 b. Using the lemma and a n a take N 2 so n > N 2 so a n < a +. Finally use the limit b n b ɛ to take N 3 so n > N 3 imlies b n b < 2( a +). Then ɛ a n b n ab = a n (b n b) + b(a n a) a n b n b + b a n a ( a + ) 2( a + ) + b ɛ 2 b = ɛ. A secial case of the receding is that if b n b then b n b, because it is easy to rove that the constant sequence converges to. Then the fact that one can add convergent sequences term by term and add the limits means one can do the same with differences. Secifically, a n a and b n b imlies, as we just said, b n b, and using the result about sums, a n b n a b. To do the result corresonding to division we have to work a little harder. Theorem 9. If a n a and a 0 then a n a. Reasoning: When we comute the difference between the sequence elements and the utative limit we find = a n a a a n a a n which looks romising because a a n can be made small by making n large. However, to get this less than ɛ > 0 we need to know a lower bound for a a n. There is no roblem with a because it is a non-zero constant. For a n we could use the lemma already established and find N so n > N imlies a n a, but this would not be useful unless we knew a > 0. We d need something better, like a n > a a 2. But we can get this: just take ɛ = 2 > 0 and then N so n > N imlies a n a < ɛ = a 2, from which a n > a 2. Then a a n > a 2 2. We could then take N 2 so n > N 2 imlies a n a < ɛ a 2 2.
6 6 MATH 270: NOTES FOR ANALYSIS Proof. First take ɛ = a 2 and use a n a to get N so n > N imlies a n a < a 2 so that a n > a 2. Then take N 2 so n > N 2 imlies a n a < ɛ a 2 2. For n > N = max{n, N 2 } comute = a n a a a n a a n < 2 ɛ a 2 a 2 = ɛ 2 which roves the result. Obviously we can combine this with the revious theorem to obtain that a n a 0 and b n b imlies bn a n b a. At this oint we can use these theorems and the fact that n 0 to obtain the results of the other exercises we have done so far which established convergence, as follows. We have 3 = 3 n 3 n n n is a roduct of a constant sequence and three sequences that converge to zero. By our roduct result alied three times we find 3 0. n 3 Rewrite n+ n 2 3 = (/n)+(/n)(/n) 3(/n)(/n). Then the numerator converges to zero (by alying the roduct result and the sum result) and the denominator converges to by the same argument. Using the ratio result we find that the sequence converges to 0. In fact it is not hard to see that the limit of any rational function of n can be comuted in this manner as n, if the limit exists. This does not mean that all limits can be done in this way. Here is an imortant one that cannot be done in this manner. Lemma 20. If r < then r n 0 as n. Reasoning: Given ɛ > 0 we need N so n > N imlies r n < ɛ. We don t know how to do this for general r because we don t know anything about the owers of r, but there is one situation in which we do know about owers the situation in which we can aly the binomial theorem. Some thought suggests that this will let us rove the result in the secial case where r = then ( + ) n = n ) 0 n j n n. So ( n j ( ) n n + n n = 0 as n. n +, because What is more, if r < + this still roves r n 0 as n, and since the distance from r to is ositive (because r < ) and + as we can find a so + is in the interval ( r, ), which makes r <. This is the idea of the roof. + Proof. We begin with the fact that as, which is easily established using the limit laws. Use this to find a for which + < r. Since + < we conclude that r < + <. Now r n 0 = r n < ( ) n. + Given ɛ > 0 take N > ɛ (notice that this is ok because we already decided on the value for ). Then comute ( + ) n n n using the binomial theorem and comlete the roof by deducing ( ) n + n N < ɛ. One can also determine that r > imlies r n as n by a similar method. Try it for yourself!
7 MATH 270: NOTES FOR ANALYSIS 7 Series We know how to add finitely many terms. Suose we have a sequence a, a 2, a 3,.... We can make a new sequence as follows: s = a s 2 = a + a 2 s 3 = a + a 2 + a 3. s n = n j= If the sequence s, s 2, s 3,... converged to a limit L, it would be natural to think of L as the result of the infinite sum a + a 2 + a 3 +. We define this to be the case. Definition 2. If the sequence { n j= a } j n= converges to L as n then we set a j = L and call this a convergent series. There are some basic examles of convergent series, as follows. Examle 22. Prove Reasoning: We consider n k(k+) = k k+. Then n a j j(j+) =.. Several aroaches are ossible. One is to recognize that j(j+) j(j + ) = ( ) ( ) ( ) ( ) Internal cancellation then suggests that the sum is n+. We should be able to rove it by induction. When n = we get 2. If the result was true for n then adding the next term we would get n + + (n + )(n + 2) = ( ) = n + n + 2 n + 2, which verifies the inductive ste. Using this and the fact that n+ 0 as n gives the result. Proof. We first rove by induction that n sides are 2. If it is true for n then n+ so the formula is true for all n by induction. Then use that j(j+) = n+. This is true for n = where both j(j + ) = n + + (n + )(n + 2) = n + 2, n+ 0 as n, which may be roved directly (given ɛ > 0 take N > ɛ and n + > N > (/n) ɛ imlies the result) or by writing it as +(/n) and using the limit laws. This imlies as n, establishing the convergence of the series and that its sum is. n j(j+) Examle 23. If r < rove that rn = r. Reasoning: This is done using a trick. Comute n n n ( r) r j = r j r j+ = Thus n rj = rn+ r n n+ r j r j = r n+.. This and the fact that r n 0 as n roves the result. 2
8 8 MATH 270: NOTES FOR ANALYSIS Proof. Comute ( r) n r j = n r j n r j+ = n n+ r j r j = r n+ 2 and deduce n rj = rn+ r. Use Lemma 20 from the end of the last section and the given fact r r r < to get r n 0 as n and multily by the constant tells us that lim n n rj = r, which is what we wanted to rove. to get rn+ r 0 as well. This There are some other basic facts one can rove about convergence of series. One of the most imortant is an easy test for divergence. Theorem 24. If r j converges then r j 0. Reasoning: The oint here is that convergence of the series means the sequence n r j converges, so the terms of this sequence of artial sums are all close to a limiting value when n is large, which in turn means that all the terms must be close to one another. However the difference between consecutive terms for n and n + is recisely r n+, so r n+ must also be small, in fact (by the triangle inequality) less than twice the distance from the artial sum to its limit value. What remains is to quantify this with ɛ and N. Proof. The series converges to a limit L, so given ɛ > 0 there is N so n > N imlies n r j L < ɛ 2. In articular, using n > N and thus n + > N, and the triangle inequality: r n+ = r j L ) ( n r j L ) n+ r j L + n r j L < ɛ (n+ so for n > N we have r n+ < ɛ which roves the result. It is a very imortant fact that you learned in calculus class that the converse of this result is false: there are sequences for which the terms go to zero but the series diverges. A basic examle is the harmonic series j, for several reasons, one of which is that the method of roof is useful elsewhere. Theorem 25. The series j diverges to. Reasoning: The roof contains an imortant idea, which is that one can break the sum u into blocks of different lengths such that each block contributes at least a constant amount to the sum. The decomosition into blocks is as follows: j = ( 3 + ) ( ) ( 4 + ) ( ) What we see is that adding the terms in the block from 2 n to 2 n we have 2 n terms each of size at least 2 n, so the sum of this block contributes at least 2 to the series. We can make this recise using induction, because this will show 2 n + n 2. From here it is easy to show the series diverges as stated.
9 Proof. We rove by induction that 2 n inductive ste is 2 n+ 2n j = 2n+ j + 2 n+ MATH 270: NOTES FOR ANALYSIS 9 j + n 2 j + n 2n n+ for n. This is true for n =, and the 2 (n+) + n 2 + 2n 2 (n+) = + n + 2 so it is true for all n. Now given M take N > 2 2M. Then n > N imlies N j 2 2M + M > M, so the artial sums diverge to. Limits of functions The limits you most frequently encounter in calculus class are limits of functions not sequences. In these notes we will limit ourselves to considering limits of the form lim x c f(x) = L where f : (a, b) R is a function from an oen interval (a, b) R and c (a, b). The idea is that we can make the values of f(x) arbitrarily close to the limiting value L by making x close enough to c, though not equal to c. As with limits of sequences we want f(x) arbitrarily close to L, so we want for all ɛ > 0 that we can make f(x) L < ɛ. In order to get this to haen we need to take x close enough to c, which requires quantification: we need a distance δ > 0, deending on f and ɛ, such that making x c < δ but x c will ensure f(x) L < ɛ. Definition 26. For a function f : (a, b) R and c (a, b) we say lim x c f(x) = L if ɛ > 0 δ > 0 such that 0 < x c < δ = f(x) L < ɛ. Remark 27. The condition 0 < x c is what ensures x c. Our choice of c (a, b) ensures that if δ < min{ a c, b c } then 0 < x c < δ imlies x (a, b) and therefore f(x) makes sense. Following the same notation as was used for limits of sequences we make the following further deifnitions. As was the case for sequences, the question of whether a limit exists can have different answers in Q and R, for the same reason. Definition 28. The limit lim x c f(x) exists if there is L such that lim x c f(x) = L. If there is no such L then we say the limit does not exist. As with the definition of a limit of a sequence, do not worry unduly if you do not feel any intuition for this definition; ractice using the definition will eventually hel you to make sense of it. It is, however, critical that you know the definition and get comfortable with the structure of arguments using it. As with limits of sequences, the structure of a roof is often different than the intuition needed to figure it out, but once you have it you can ut the roof in fairly standard form like the following: Given ɛ > 0 define δ > 0 deending on ɛ and f, assume 0 < x c < δ and then give an argument which reasons from this assumtion to the conclusion that f(x) L < ɛ. We illustrate with some examles. Examle 29. Problem: Show lim x 2x 3 =. Reasoning: For f(x) = 2x 3 we need to get ɛ > f(x) ( ) > 2x 3 + = 2(x ) by making 0 < x < δ. If we ut δ = ɛ/2 then x < δ = ɛ/2 so 2 x < ɛ, which works. Proof: Given ɛ > 0 let δ = ɛ/2 and suose 0 < x < δ. Then f(x) ( ) = 2(x ) < 2δ = ɛ In the revious roblem we did not really need 0 < x because at x = c we had 2x 3 ( ) = 0. However it is not so difficult to give a similar examle where the 0 < x c condition is essential. x 2 + 5x + 6 Examle 30. Problem: Show that lim =. x 2 x + 2 Reasoning: Factoring the numerator we have x 2 + 5x + 6 = (x + 2)(x + 3). For x 2 we can
10 0 MATH 270: NOTES FOR ANALYSIS then cancel the common factor of x + 2 from the denominator and the numerator, so f(x) = x + 3 = x + 2, and we must rove this is less than ɛ when 0 < x + 2 < δ. Clearly it suffices to set δ = ɛ. Proof: Given ɛ > 0 let δ = ɛ and suose 0 < x + 2 < δ. Factoring the function in the limit we obtain x2 + 5x + 6 (x + 2)(x + 3) = = x + 3 = x + 2 < δ = ɛ x + 2 x + 2 where the cancellation is justified by the fact that x + 2 > 0. This roves the result. Examle 3. Problem: Show lim x 2 x 2 = 4. Reasoning: We need to show x 2 4 < ɛ if x 2 is small enough. The essential oint is that x 2 4 contains a factor of x 2. Secifically, x 2 4 = (x 2)(x + 2), which imlies x 2 4 = x 2 x + 2. If we knew x 2 < δ then 2 δ < x < 2 + δ so x + 2 < 4 + δ, which would make x 2 4 < (4 + δ) x 2 < (4 + δ)δ. We d want (4 + δ)δ ɛ to comlete the argument. It is a bit messy to choose δ using the quadratic formula, so instead we just require that δ < so (4 + δ)δ < 5δ and choose δ so 5δ ɛ. To get our two conditions to be true we take δ = min{, ɛ/5}. Proof: Given ɛ > 0 let δ = min{, ɛ/5}. Then x 2 4 = x + 2 x 2 < (4 + δ) x 2 5δ ɛ. The idea that if f(x) is a olynomial then f(x) L should contain a factor of x c is alicable in general. Here is an examle that looks a little different. Examle 32. Problem: Show lim x x 4 3x 3 + x 2 = 2. Reasoning: We need to show x 4 3x 3 + x 2 ( 2) is small when x is small, and have just said that this should occur because the first exression contains a factor x. Let s try to find the factor by long division of olynomials. (I may not use your favorite format for such long division, but you can always do it yourself. however you refer.) x 4 3x 3 + x 2 ( 2) = x 4 3x 3 + x 2 + = x 3 (x ) 2x 3 + x 2 + = x 3 (x ) 2x 2 (x ) x 2 + = (x 3 2x 2 )(x ) x(x ) x + = (x 3 2x 2 x)(x ) (x ) = (x 3 2x 2 x )(x ) Note that although we had to do this working ste-by-ste to get the factorizations, in the roof we only need to state what the factorization is (we don t need to include all stes) because the reader could verify it quickly by multilying out the factors. Now we want to make sure the factor multilying (x ) is not too big. As in the revious roblem it hels to insist that δ <. When x < δ < we have 0 < x < 2, so x 3 < 8, 2 x 2 < 8 and x < 2 from which we have the following (admittedly not very good) bound using the triangle inequality: x 3 2x 2 x x x 2 + x + < = 9. The reason we did not try to get a better bound in this exression is that it does not matter. If we take δ 9ɛ then we will still get the result we seek. To fit our two conditions on δ we use a minimum as usual. Proof: Given ɛ > 0 let δ = min{, ɛ/9}. If 0 < x < δ then x (0, 2) so x < 2 and we can comute x 4 3x 3 + x 2 ( 2) = x 3 2x 2 x x ( x x 2 + x + ) x < 9δ ɛ.
11 MATH 270: NOTES FOR ANALYSIS Sometimes one has a rational function where the factors in the denominator do not cancel with terms from the numerator. In this case we can still factor out a coy of x c but will be left bounding a rational function rather than a olynomial. The imortant thing is that the bounds for the terms must say the terms in the denominator stay away from 0 and that the terms in the numerator stay away from. x 3 x 2 Examle 33. Problem: Show that lim x 0 x 2 + x + 3 = 0. x 3 x 2 Reasoning: We need to show that x 2 < ɛ when x < δ. Clearly we should factor out one + x + 3 or more owers of x, but one will suffice. So if we wrote x 3 x 2 x 2 x 2 x + + x + 3 x 2 + x + 3 we see it is enough to have an uer bound for the factor with the fraction when x < δ. An uer bound for a fraction uses a lower bound for the denominator, so we want to find a number d, so x 2 +x+3 > d. We d exect this exression to be close to 3 if x is very small. One otion to show this occurs is to use the form of the triangle inequality in Lemma 3, because with a = x 2 + x + 3 and b = 3 we obtain (also using the usual triangle inequality and x < δ at the end: x 2 + x x 2 + x δ 2 + δ If we knew δ then this is no more than 2δ 2, which gives x 2 + x + 3. Then we d get x 3 x 2 x 2 x 2 x + + x + 3 x 2 + x x 2 < 2δ 2 2δ where at the end we again used δ. Taking 2δ < ɛ will finish the roof. Proof: Given ɛ > 0 let δ = min{, ɛ/2}. If 0 < x < δ then x 2 + x x 2 + x δ 2 + δ 2 so that x 2 + x + 3. Then we may comute x 3 x 2 x 2 x 2 x + + x + 3 x 2 + x x 2 < 2δ 2 < 2δ < ɛ to comlete the roof. Proving a limit does not exist frequently roceeds in the way we did for sequences. Aly contradiction, use the hyothesis of the existence of the limit to show that the function gets within ɛ of two values that are searated by distance more than 2ɛ and obtain a contradiction by the triangle inequality. All that is different is that in the sequence case the function values were oints arbitrarily far out in the sequence, whereas for a limit of a function they are values f(x) that occur for x very close to c. Here are two examles. x Examle 34. Problem: Show that lim x 0 x does not exist. Reasoning: If x > 0 then x /x = x/x =. If x < 0 then x /x = x/x =, so we should be able to use the same aroach as in Examle. Suose the limit exists and is L, take ɛ = and use the limit definition to find δ so 0 < x < δ imlies f(x) L < ɛ. Then for any x, x 2 with x < δ, x 2 < δ we must have f(x ) f(x 2 ) = f(x ) L (f(x 2 ) L) < 2ɛ = 2 by the triangle inequality. But if x > 0 then f(x ) = and if x 2 < 0 then f(x 2 ) =, so if we can find such numbers with size less than δ we get the contradiction 2 = ( ) = f(x ) f(x 2 ) < 2. One way to get these numbers is just to take x = δ/2 and x 2 = δ/2. Proof: Suose the limit exists and is equal to L. Let f(x) = x /x when x 0. Given ɛ = take
12 2 MATH 270: NOTES FOR ANALYSIS δ > 0 so 0 < x < δ imlies f(x) L < ɛ =. Let x = δ/2 and x 2 = δ/2. Observe f(x ) = and f(x 2 ) =. Both x < δ and x 2 < δ, so 2 = ( ) = f(x ) f(x 2 ) = f(x ) L (f(x 2 ) L) f(x ) L + f(x 2 ) L < ɛ + ɛ = 2 which gives a contradiction. Examle 35. Problem: Show that lim x 0 x does not exist. Reasoning: We see that x is large when x is small. It seems likely that we can get it to outut values that have arbitrary searation, just by taking, eg, inuts x and x/2. This gives f(x/2) f(x) = (2/x) (/x) = / x. If we ut x < then this difference is larger than. The usual way to get the contradiction is to take ɛ so 2ɛ is the searation of the function values, so lets try ɛ = /2. Proof: In order to obtain a contradiction, suose there is L so lim x 0 x = L. Write f(x) = x. With ɛ = 2 take δ > 0 so 0 < x < δ imlies f(x) L < ɛ. If 0 < x < min{, δ} then also 0 < x 2 < δ, so that x = 2 x = f( x x 2 ) f(x) f( x 2 ) L + f(x) L < 2ɛ =. This gives a contradiction because 0 < x <.
13 Exercises for Chater 2 37 EXERCISES FOR CHAPTER 2 Section 2.: Limits of Sequences 2.. Give an examle of a sequence that is not exressed in terms of trigonometry but whose terms are exactly those of the sequence of {cos(nπ)} Give an examle of two sequences different from the sequence {n 2 n! + n 2 } whose first three terms are the same as those of {n 2 n! + n 2 } Prove that the sequence { } 2n converges to Prove that the sequence { } n 2 + converges to Prove that the sequence { } + 2 converges to. n 2.6. Prove that the sequence { } n+2 2n+3 converges to By definition, lim n a n = L if for every ɛ>0, there exists a ositive integer N such that if n is an integer with n > N, then a n L <ɛ. By taking the negation of this definition, write out the meaning of lim n a n L using quantifiers. Then write out the meaning of {a n } diverges using quantifiers Show that the sequence { n 4} diverges to infinity. { } n 2.9. Show that the sequence 5 +2n diverges to infinity. n (a) Prove that n < 2 n for every ositive integer n. (b) Let s n = n + 2n + 3n + + for each n N. Prove that the sequence {s n 2 n } converges to Prove that if a sequence {s n } converges to L, then the sequence {s n 2} also converges to L. Section 2.2: Infinite Series 2.2. Prove that the series k= converges and determine its sum by (3k 2)(3k+) (a) comuting the first few terms of the sequence {s n } of artial sums and conjecturing a formula for s n ; (b) using mathematical induction to verify that your conjecture in (a) is correct; (c) comleting the roof Prove that the series k= converges and determine its sum by 2 k (a) comuting the first few terms of the sequence {s n } of artial sums and conjecturing a formula for s n ; (b) using mathematical induction to verify that your conjecture in (a) is correct; (c) comleting the roof The terms a, a 2, a 3, of the series k= a k are defined recursively by a = 6 and 2 a n = a n n(n + )(n + 2) for n 2. Prove that k= a k converges and determine its value Prove that the series k= k+3 (k+) 2 diverges to infinity (a) Prove that if k= a k is a convergent series, then lim n a n = 0. (b) Show that the converse of the result in (a) is false Let k= a k be an infinite series whose sequence of artial sums is {s n } where s n = 3n 4n+2. (a) What is the series k= a k? (b) Determine the sum s of k= a k and rove that k= a k = s.
14 38 Chater 2 Proofs in Calculus Section 2.3: Limits of Functions ( 2.8. Give an ɛ δ roof that lim 3 x 2 2 x + ) = Give an ɛ δ roof that lim x (3x 5) = Give an ɛ δ roof that lim x 2 (2x 2 x 5) = Give an ɛ δ roof that lim x 2 x 3 = Determine lim x and verify that your answer is correct with an ɛ δ roof. 5x 4 3x Give an ɛ δ roof that lim x 3 4x+3 = 2 3. x Determine lim 2 2x 3 x 3 and verify that your answer is correct with an ɛ δ roof. x 2 8x Show that lim x 0 does not exist. x The function f : R R is defined by x < 3 f (x) =.5 x = 3 2 x > 3. (a) Determine whether lim x 3 f (x) exists and verify your answer. (b) Determine whether lim x π f (x) exists and verify your answer A function g : R R is bounded if there exists a ositive real number B such that g(x) < B for each x R. (a) Let g : R R be a bounded function and suose that f : R R and a R such that lim x a f (x) = 0. Prove that lim x a f (x)g(x) = 0. (b) Use the result in (a) to determine lim x 0 x 2 sin ( x 2 ) Suose that lim x a f (x) = L, where L > 0. Prove that lim x a f (x) = L Suose that f : R R is a function such that lim x 0 f (x) = L. (a) Let c R. Prove that lim x c f (x c) = L. (b) Suose that f also has the roerty that f (a + b) = f (a) + f (b) for all a, b R. Use the result in (a) to rove that lim x c f (x) exists for all c R Let f : R R be a function. (a) Prove that if lim x a f (x) = L, then lim x a f (x) = L. (b) Prove or disrove: If lim x a f (x) = L, then lim x a f (x) exists. Section 2.4: Fundamental Proerties of Limits of Functions 2.3. Use limit theorems to determine the following: (a) lim x (x 3 2x 2 5x + 8) (b) lim x (4x + 7)(3x 2 2) (c) lim x 2 2x 2 3x Use induction to rove that for every integer n 2 and every n functions f, f 2,, f n such that lim x a f i(x) = L i for i n, lim x a ( f (x) + f 2 (x) + + f n (x)) = L + L 2 + +L n.
15 Additional Exercises for Chater Use Exercise 2.32 to rove that lim x a (x) = (a) for every olynomial (x) = c n x n + c n x n + +c x + c Prove that if f, f 2,..., f n are any n 2 functions such that lim x a f i (x) = L i for i n, then Section 2.5: Continuity lim x a ( f (x) f 2 (x) f n (x)) = L L 2 L n The function f : R {0, 2} Ris defined by f (x) = x2 4. Use limit theorems to determine whether f x 3 2x 2 can be defined at 2 such that f is continuous at The function f defined by f (x) = x2 9 is not defined at 3. Is it ossible to define f at 3 such that f is x 2 3x continuous there? Verify your answer with an ɛ δ roof Let f : R Z be the ceiling function defined by f (x) = x. Giveanɛ δ roof that if a is a real number that is not an integer, then f is continuous at a Show that Exercise 2.33 imlies that every olynomial is continuous at every real number Prove that the function f :[, ) [0, ) defined by f (x) = x is continuous at x = (a) Let f : R R be defined by f (x) = { 0 if x is rational if x is irrational. In articular, f (0) = 0. Prove or disrove: f is continuous at x = 0. (b) The roblem in (a) should suggest another roblem to you. State and solve such a roblem. Section 2.6: Differentiability 2.4. The function f : R R is defined by f (x) = x 2. Determine f (3) and verify that your answer is correct with an ɛ δ roof The function f : R { 2} R is defined by f (x) = x+2. Determine f () and verify that your answer is correct with an ɛ δ roof The function f : R R is defined by f (x) = x 3. Determine f (a) for a R + and verify that your answer is correct with an ɛ δ roof The function f : R R is defined by { x 2 sin if x 0 x f (x) = 0 if x = 0. Determine f (0) and verify that your answer is correct with an ɛ δ roof. ADDITIONAL EXERCISES FOR CHAPTER Prove that the sequence { } n+ 3n converges to 3. 2n Prove that lim 2 n 4n 2 + = Prove that the sequence { + ( 2) n } diverges Prove that lim n ( n 2 + n) = 0.
HENSEL S LEMMA KEITH CONRAD
HENSEL S LEMMA KEITH CONRAD 1. Introduction In the -adic integers, congruences are aroximations: for a and b in Z, a b mod n is the same as a b 1/ n. Turning information modulo one ower of into similar
More informationMA3H1 TOPICS IN NUMBER THEORY PART III
MA3H1 TOPICS IN NUMBER THEORY PART III SAMIR SIKSEK 1. Congruences Modulo m In quadratic recirocity we studied congruences of the form x 2 a (mod ). We now turn our attention to situations where is relaced
More informationElementary Analysis in Q p
Elementary Analysis in Q Hannah Hutter, May Szedlák, Phili Wirth November 17, 2011 This reort follows very closely the book of Svetlana Katok 1. 1 Sequences and Series In this section we will see some
More informationSets of Real Numbers
Chater 4 Sets of Real Numbers 4. The Integers Z and their Proerties In our revious discussions about sets and functions the set of integers Z served as a key examle. Its ubiquitousness comes from the fact
More information16.2. Infinite Series. Introduction. Prerequisites. Learning Outcomes
Infinite Series 6.2 Introduction We extend the concet of a finite series, met in Section 6., to the situation in which the number of terms increase without bound. We define what is meant by an infinite
More information16.2. Infinite Series. Introduction. Prerequisites. Learning Outcomes
Infinite Series 6. Introduction We extend the concet of a finite series, met in section, to the situation in which the number of terms increase without bound. We define what is meant by an infinite series
More informationA CONCRETE EXAMPLE OF PRIME BEHAVIOR IN QUADRATIC FIELDS. 1. Abstract
A CONCRETE EXAMPLE OF PRIME BEHAVIOR IN QUADRATIC FIELDS CASEY BRUCK 1. Abstract The goal of this aer is to rovide a concise way for undergraduate mathematics students to learn about how rime numbers behave
More informationPractice Final Solutions
Practice Final Solutions 1. True or false: (a) If a is a sum of three squares, and b is a sum of three squares, then so is ab. False: Consider a 14, b 2. (b) No number of the form 4 m (8n + 7) can be written
More informationWhy Proofs? Proof Techniques. Theorems. Other True Things. Proper Proof Technique. How To Construct A Proof. By Chuck Cusack
Proof Techniques By Chuck Cusack Why Proofs? Writing roofs is not most student s favorite activity. To make matters worse, most students do not understand why it is imortant to rove things. Here are just
More informationMath 4400/6400 Homework #8 solutions. 1. Let P be an odd integer (not necessarily prime). Show that modulo 2,
MATH 4400 roblems. Math 4400/6400 Homework # solutions 1. Let P be an odd integer not necessarily rime. Show that modulo, { P 1 0 if P 1, 7 mod, 1 if P 3, mod. Proof. Suose that P 1 mod. Then we can write
More informationSeries Handout A. 1. Determine which of the following sums are geometric. If the sum is geometric, express the sum in closed form.
Series Handout A. Determine which of the following sums are geometric. If the sum is geometric, exress the sum in closed form. 70 a) k= ( k ) b) 50 k= ( k )2 c) 60 k= ( k )k d) 60 k= (.0)k/3 2. Find the
More informationf(r) = a d n) d + + a0 = 0
Math 400-00/Foundations of Algebra/Fall 07 Polynomials at the Foundations: Roots Next, we turn to the notion of a root of a olynomial in Q[x]. Definition 8.. r Q is a rational root of fx) Q[x] if fr) 0.
More informationReal Analysis 1 Fall Homework 3. a n.
eal Analysis Fall 06 Homework 3. Let and consider the measure sace N, P, µ, where µ is counting measure. That is, if N, then µ equals the number of elements in if is finite; µ = otherwise. One usually
More informationBy Evan Chen OTIS, Internal Use
Solutions Notes for DNY-NTCONSTRUCT Evan Chen January 17, 018 1 Solution Notes to TSTST 015/5 Let ϕ(n) denote the number of ositive integers less than n that are relatively rime to n. Prove that there
More informationSection 0.10: Complex Numbers from Precalculus Prerequisites a.k.a. Chapter 0 by Carl Stitz, PhD, and Jeff Zeager, PhD, is available under a Creative
Section 0.0: Comlex Numbers from Precalculus Prerequisites a.k.a. Chater 0 by Carl Stitz, PhD, and Jeff Zeager, PhD, is available under a Creative Commons Attribution-NonCommercial-ShareAlike.0 license.
More information19th Bay Area Mathematical Olympiad. Problems and Solutions. February 28, 2017
th Bay Area Mathematical Olymiad February, 07 Problems and Solutions BAMO- and BAMO- are each 5-question essay-roof exams, for middle- and high-school students, resectively. The roblems in each exam are
More informationMATH 361: NUMBER THEORY EIGHTH LECTURE
MATH 361: NUMBER THEORY EIGHTH LECTURE 1. Quadratic Recirocity: Introduction Quadratic recirocity is the first result of modern number theory. Lagrange conjectured it in the late 1700 s, but it was first
More informationInduction 1 = 1(1+1) = 2(2+1) = 3(3+1) 2
Induction 0-8-08 Induction is used to prove a sequence of statements P(), P(), P(3),... There may be finitely many statements, but often there are infinitely many. For example, consider the statement ++3+
More information0.6 Factoring 73. As always, the reader is encouraged to multiply out (3
0.6 Factoring 7 5. The G.C.F. of the terms in 81 16t is just 1 so there is nothing of substance to factor out from both terms. With just a difference of two terms, we are limited to fitting this olynomial
More informationMersenne and Fermat Numbers
NUMBER THEORY CHARLES LEYTEM Mersenne and Fermat Numbers CONTENTS 1. The Little Fermat theorem 2 2. Mersenne numbers 2 3. Fermat numbers 4 4. An IMO roblem 5 1 2 CHARLES LEYTEM 1. THE LITTLE FERMAT THEOREM
More informationp-adic Properties of Lengyel s Numbers
1 3 47 6 3 11 Journal of Integer Sequences, Vol. 17 (014), Article 14.7.3 -adic Proerties of Lengyel s Numbers D. Barsky 7 rue La Condamine 75017 Paris France barsky.daniel@orange.fr J.-P. Bézivin 1, Allée
More informationTopic 7: Using identity types
Toic 7: Using identity tyes June 10, 2014 Now we would like to learn how to use identity tyes and how to do some actual mathematics with them. By now we have essentially introduced all inference rules
More informationMath 5330 Spring Notes Prime Numbers
Math 5330 Sring 208 Notes Prime Numbers The study of rime numbers is as old as mathematics itself. This set of notes has a bunch of facts about rimes, or related to rimes. Much of this stuff is old dating
More informationON THE LEAST SIGNIFICANT p ADIC DIGITS OF CERTAIN LUCAS NUMBERS
#A13 INTEGERS 14 (014) ON THE LEAST SIGNIFICANT ADIC DIGITS OF CERTAIN LUCAS NUMBERS Tamás Lengyel Deartment of Mathematics, Occidental College, Los Angeles, California lengyel@oxy.edu Received: 6/13/13,
More informationMath 104B: Number Theory II (Winter 2012)
Math 104B: Number Theory II (Winter 01) Alina Bucur Contents 1 Review 11 Prime numbers 1 Euclidean algorithm 13 Multilicative functions 14 Linear diohantine equations 3 15 Congruences 3 Primes as sums
More information2 Asymptotic density and Dirichlet density
8.785: Analytic Number Theory, MIT, sring 2007 (K.S. Kedlaya) Primes in arithmetic rogressions In this unit, we first rove Dirichlet s theorem on rimes in arithmetic rogressions. We then rove the rime
More informationMATH 250: THE DISTRIBUTION OF PRIMES. ζ(s) = n s,
MATH 50: THE DISTRIBUTION OF PRIMES ROBERT J. LEMKE OLIVER For s R, define the function ζs) by. Euler s work on rimes ζs) = which converges if s > and diverges if s. In fact, though we will not exloit
More information2 Asymptotic density and Dirichlet density
8.785: Analytic Number Theory, MIT, sring 2007 (K.S. Kedlaya) Primes in arithmetic rogressions In this unit, we first rove Dirichlet s theorem on rimes in arithmetic rogressions. We then rove the rime
More informationThe Hasse Minkowski Theorem Lee Dicker University of Minnesota, REU Summer 2001
The Hasse Minkowski Theorem Lee Dicker University of Minnesota, REU Summer 2001 The Hasse-Minkowski Theorem rovides a characterization of the rational quadratic forms. What follows is a roof of the Hasse-Minkowski
More information[Ch 3, 4] Logic and Proofs (2) 1. Valid and Invalid Arguments ( 2.3, 3.4) 400 lecture note #2. 1) Basics
400 lecture note #2 [Ch 3, 4] Logic and Proofs (2) 1. Valid and Invalid Arguments ( 2.3, 3.4) 1) Basics An argument is a sequence of statements ( s1, s2,, sn). All statements in an argument, excet for
More informationPRIME NUMBERS YANKI LEKILI
PRIME NUMBERS YANKI LEKILI We denote by N the set of natural numbers:,2,..., These are constructed using Peano axioms. We will not get into the hilosohical questions related to this and simly assume the
More informationVarious Proofs for the Decrease Monotonicity of the Schatten s Power Norm, Various Families of R n Norms and Some Open Problems
Int. J. Oen Problems Comt. Math., Vol. 3, No. 2, June 2010 ISSN 1998-6262; Coyright c ICSRS Publication, 2010 www.i-csrs.org Various Proofs for the Decrease Monotonicity of the Schatten s Power Norm, Various
More informationExcerpt from "Intermediate Algebra" 2014 AoPS Inc.
Ecert from "Intermediate Algebra" 04 AoPS Inc. www.artofroblemsolving.com for which our grah is below the -ais with the oints where the grah intersects the -ais (because the ineuality is nonstrict), we
More informationp-adic Measures and Bernoulli Numbers
-Adic Measures and Bernoulli Numbers Adam Bowers Introduction The constants B k in the Taylor series exansion t e t = t k B k k! k=0 are known as the Bernoulli numbers. The first few are,, 6, 0, 30, 0,
More informationChapter 7 Rational and Irrational Numbers
Chater 7 Rational and Irrational Numbers In this chater we first review the real line model for numbers, as discussed in Chater 2 of seventh grade, by recalling how the integers and then the rational numbers
More informationAn Estimate For Heilbronn s Exponential Sum
An Estimate For Heilbronn s Exonential Sum D.R. Heath-Brown Magdalen College, Oxford For Heini Halberstam, on his retirement Let be a rime, and set e(x) = ex(2πix). Heilbronn s exonential sum is defined
More informationAnalysis of some entrance probabilities for killed birth-death processes
Analysis of some entrance robabilities for killed birth-death rocesses Master s Thesis O.J.G. van der Velde Suervisor: Dr. F.M. Sieksma July 5, 207 Mathematical Institute, Leiden University Contents Introduction
More informationRANDOM WALKS AND PERCOLATION: AN ANALYSIS OF CURRENT RESEARCH ON MODELING NATURAL PROCESSES
RANDOM WALKS AND PERCOLATION: AN ANALYSIS OF CURRENT RESEARCH ON MODELING NATURAL PROCESSES AARON ZWIEBACH Abstract. In this aer we will analyze research that has been recently done in the field of discrete
More informationx 2 a mod m. has a solution. Theorem 13.2 (Euler s Criterion). Let p be an odd prime. The congruence x 2 1 mod p,
13. Quadratic Residues We now turn to the question of when a quadratic equation has a solution modulo m. The general quadratic equation looks like ax + bx + c 0 mod m. Assuming that m is odd or that b
More information#A47 INTEGERS 15 (2015) QUADRATIC DIOPHANTINE EQUATIONS WITH INFINITELY MANY SOLUTIONS IN POSITIVE INTEGERS
#A47 INTEGERS 15 (015) QUADRATIC DIOPHANTINE EQUATIONS WITH INFINITELY MANY SOLUTIONS IN POSITIVE INTEGERS Mihai Ciu Simion Stoilow Institute of Mathematics of the Romanian Academy, Research Unit No. 5,
More informationFeedback-error control
Chater 4 Feedback-error control 4.1 Introduction This chater exlains the feedback-error (FBE) control scheme originally described by Kawato [, 87, 8]. FBE is a widely used neural network based controller
More informationThe Euler Phi Function
The Euler Phi Function 7-3-2006 An arithmetic function takes ositive integers as inuts and roduces real or comlex numbers as oututs. If f is an arithmetic function, the divisor sum Dfn) is the sum of the
More informationSolution sheet ξi ξ < ξ i+1 0 otherwise ξ ξ i N i,p 1 (ξ) + where 0 0
Advanced Finite Elements MA5337 - WS7/8 Solution sheet This exercise sheets deals with B-slines and NURBS, which are the basis of isogeometric analysis as they will later relace the olynomial ansatz-functions
More informationLecture 6. 2 Recurrence/transience, harmonic functions and martingales
Lecture 6 Classification of states We have shown that all states of an irreducible countable state Markov chain must of the same tye. This gives rise to the following classification. Definition. [Classification
More informationRepresenting Integers as the Sum of Two Squares in the Ring Z n
1 2 3 47 6 23 11 Journal of Integer Sequences, Vol. 17 (2014), Article 14.7.4 Reresenting Integers as the Sum of Two Squares in the Ring Z n Joshua Harrington, Lenny Jones, and Alicia Lamarche Deartment
More informationSums of independent random variables
3 Sums of indeendent random variables This lecture collects a number of estimates for sums of indeendent random variables with values in a Banach sace E. We concentrate on sums of the form N γ nx n, where
More informationOn the Rank of the Elliptic Curve y 2 = x(x p)(x 2)
On the Rank of the Ellitic Curve y = x(x )(x ) Jeffrey Hatley Aril 9, 009 Abstract An ellitic curve E defined over Q is an algebraic variety which forms a finitely generated abelian grou, and the structure
More informationCSC165H, Mathematical expression and reasoning for computer science week 12
CSC165H, Mathematical exression and reasoning for comuter science week 1 nd December 005 Gary Baumgartner and Danny Hea hea@cs.toronto.edu SF4306A 416-978-5899 htt//www.cs.toronto.edu/~hea/165/s005/index.shtml
More informationGOOD MODELS FOR CUBIC SURFACES. 1. Introduction
GOOD MODELS FOR CUBIC SURFACES ANDREAS-STEPHAN ELSENHANS Abstract. This article describes an algorithm for finding a model of a hyersurface with small coefficients. It is shown that the aroach works in
More informationAveraging sums of powers of integers and Faulhaber polynomials
Annales Mathematicae et Informaticae 42 (20. 0 htt://ami.ektf.hu Averaging sums of owers of integers and Faulhaber olynomials José Luis Cereceda a a Distrito Telefónica Madrid Sain jl.cereceda@movistar.es
More informationStatics and dynamics: some elementary concepts
1 Statics and dynamics: some elementary concets Dynamics is the study of the movement through time of variables such as heartbeat, temerature, secies oulation, voltage, roduction, emloyment, rices and
More informationQuadratic Reciprocity
Quadratic Recirocity 5-7-011 Quadratic recirocity relates solutions to x = (mod to solutions to x = (mod, where and are distinct odd rimes. The euations are oth solvale or oth unsolvale if either or has
More informationOn the Toppling of a Sand Pile
Discrete Mathematics and Theoretical Comuter Science Proceedings AA (DM-CCG), 2001, 275 286 On the Toling of a Sand Pile Jean-Christohe Novelli 1 and Dominique Rossin 2 1 CNRS, LIFL, Bâtiment M3, Université
More informationCERIAS Tech Report The period of the Bell numbers modulo a prime by Peter Montgomery, Sangil Nahm, Samuel Wagstaff Jr Center for Education
CERIAS Tech Reort 2010-01 The eriod of the Bell numbers modulo a rime by Peter Montgomery, Sangil Nahm, Samuel Wagstaff Jr Center for Education and Research Information Assurance and Security Purdue University,
More information2 = = 0 Thus, the number which is largest in magnitude is equal to the number which is smallest in magnitude.
Limits at Infinity Two additional topics of interest with its are its as x ± and its where f(x) ±. Before we can properly discuss the notion of infinite its, we will need to begin with a discussion on
More informationMAS 4203 Number Theory. M. Yotov
MAS 4203 Number Theory M. Yotov June 15, 2017 These Notes were comiled by the author with the intent to be used by his students as a main text for the course MAS 4203 Number Theory taught at the Deartment
More informationExtension of Minimax to Infinite Matrices
Extension of Minimax to Infinite Matrices Chris Calabro June 21, 2004 Abstract Von Neumann s minimax theorem is tyically alied to a finite ayoff matrix A R m n. Here we show that (i) if m, n are both inite,
More information2.1 Convergence of Sequences
Chapter 2 Sequences 2. Convergence of Sequences A sequence is a function f : N R. We write f) = a, f2) = a 2, and in general fn) = a n. We usually identify the sequence with the range of f, which is written
More informationOn Character Sums of Binary Quadratic Forms 1 2. Mei-Chu Chang 3. Abstract. We establish character sum bounds of the form.
On Character Sums of Binary Quadratic Forms 2 Mei-Chu Chang 3 Abstract. We establish character sum bounds of the form χ(x 2 + ky 2 ) < τ H 2, a x a+h b y b+h where χ is a nontrivial character (mod ), 4
More informationChapter 11 - Sequences and Series
Calculus and Analytic Geometry II Chapter - Sequences and Series. Sequences Definition. A sequence is a list of numbers written in a definite order, We call a n the general term of the sequence. {a, a
More informationPHYS 301 HOMEWORK #9-- SOLUTIONS
PHYS 0 HOMEWORK #9-- SOLUTIONS. We are asked to use Dirichlet' s theorem to determine the value of f (x) as defined below at x = 0, ± /, ± f(x) = 0, - < x
More informationCharacteristics of Fibonacci-type Sequences
Characteristics of Fibonacci-tye Sequences Yarden Blausa May 018 Abstract This aer resents an exloration of the Fibonacci sequence, as well as multi-nacci sequences and the Lucas sequence. We comare and
More informationMobius Functions, Legendre Symbols, and Discriminants
Mobius Functions, Legendre Symbols, and Discriminants 1 Introduction Zev Chonoles, Erick Knight, Tim Kunisky Over the integers, there are two key number-theoretic functions that take on values of 1, 1,
More information4. Score normalization technical details We now discuss the technical details of the score normalization method.
SMT SCORING SYSTEM This document describes the scoring system for the Stanford Math Tournament We begin by giving an overview of the changes to scoring and a non-technical descrition of the scoring rules
More informationMarch 4, :21 WSPC/INSTRUCTION FILE FLSpaper2011
International Journal of Number Theory c World Scientific Publishing Comany SOLVING n(n + d) (n + (k 1)d ) = by 2 WITH P (b) Ck M. Filaseta Deartment of Mathematics, University of South Carolina, Columbia,
More informationThe Fekete Szegő theorem with splitting conditions: Part I
ACTA ARITHMETICA XCIII.2 (2000) The Fekete Szegő theorem with slitting conditions: Part I by Robert Rumely (Athens, GA) A classical theorem of Fekete and Szegő [4] says that if E is a comact set in the
More informationNumerical Linear Algebra
Numerical Linear Algebra Numerous alications in statistics, articularly in the fitting of linear models. Notation and conventions: Elements of a matrix A are denoted by a ij, where i indexes the rows and
More informationMATH 3240Q Introduction to Number Theory Homework 7
As long as algebra and geometry have been searated, their rogress have been slow and their uses limited; but when these two sciences have been united, they have lent each mutual forces, and have marched
More informationComplex Analysis Homework 1
Comlex Analysis Homework 1 Steve Clanton Sarah Crimi January 27, 2009 Problem Claim. If two integers can be exressed as the sum of two squares, then so can their roduct. Proof. Call the two squares that
More informationApplications of the course to Number Theory
Alications of the course to Number Theory Rational Aroximations Theorem (Dirichlet) If ξ is real and irrational then there are infinitely many distinct rational numbers /q such that ξ q < q. () 2 Proof
More informationOn generalizing happy numbers to fractional base number systems
On generalizing hay numbers to fractional base number systems Enriue Treviño, Mikita Zhylinski October 17, 018 Abstract Let n be a ositive integer and S (n) be the sum of the suares of its digits. It is
More informationPractice Final Solutions
Practice Final Solutions 1. Find integers x and y such that 13x + 1y 1 SOLUTION: By the Euclidean algorithm: One can work backwards to obtain 1 1 13 + 2 13 6 2 + 1 1 13 6 2 13 6 (1 1 13) 7 13 6 1 Hence
More informationHAUSDORFF MEASURE OF p-cantor SETS
Real Analysis Exchange Vol. 302), 2004/2005,. 20 C. Cabrelli, U. Molter, Deartamento de Matemática, Facultad de Cs. Exactas y Naturales, Universidad de Buenos Aires and CONICET, Pabellón I - Ciudad Universitaria,
More information3 Properties of Dedekind domains
18.785 Number theory I Fall 2016 Lecture #3 09/15/2016 3 Proerties of Dedekind domains In the revious lecture we defined a Dedekind domain as a noetherian domain A that satisfies either of the following
More information1-way quantum finite automata: strengths, weaknesses and generalizations
1-way quantum finite automata: strengths, weaknesses and generalizations arxiv:quant-h/9802062v3 30 Se 1998 Andris Ambainis UC Berkeley Abstract Rūsiņš Freivalds University of Latvia We study 1-way quantum
More informationANALYTIC NUMBER THEORY AND DIRICHLET S THEOREM
ANALYTIC NUMBER THEORY AND DIRICHLET S THEOREM JOHN BINDER Abstract. In this aer, we rove Dirichlet s theorem that, given any air h, k with h, k) =, there are infinitely many rime numbers congruent to
More informationCSE 599d - Quantum Computing When Quantum Computers Fall Apart
CSE 599d - Quantum Comuting When Quantum Comuters Fall Aart Dave Bacon Deartment of Comuter Science & Engineering, University of Washington In this lecture we are going to begin discussing what haens to
More informationMATH 248A. THE CHARACTER GROUP OF Q. 1. Introduction
MATH 248A. THE CHARACTER GROUP OF Q KEITH CONRAD 1. Introduction The characters of a finite abelian grou G are the homomorhisms from G to the unit circle S 1 = {z C : z = 1}. Two characters can be multilied
More informationFERMAT S LAST THEOREM
FERMAT S LAST THEOREM REVISITED AGAIN Colin Newton 8/0/08 0 FERMAT S LAST THEOREM When Fermat wrote a note in the margin of his coy of Bachet s Arithmetica to the effect that he had a marvellous roof that
More information8 STOCHASTIC PROCESSES
8 STOCHASTIC PROCESSES The word stochastic is derived from the Greek στoχαστικoς, meaning to aim at a target. Stochastic rocesses involve state which changes in a random way. A Markov rocess is a articular
More information1. INTRODUCTION. Fn 2 = F j F j+1 (1.1)
CERTAIN CLASSES OF FINITE SUMS THAT INVOLVE GENERALIZED FIBONACCI AND LUCAS NUMBERS The beautiful identity R.S. Melham Deartment of Mathematical Sciences, University of Technology, Sydney PO Box 23, Broadway,
More informationPETER J. GRABNER AND ARNOLD KNOPFMACHER
ARITHMETIC AND METRIC PROPERTIES OF -ADIC ENGEL SERIES EXPANSIONS PETER J. GRABNER AND ARNOLD KNOPFMACHER Abstract. We derive a characterization of rational numbers in terms of their unique -adic Engel
More informationIMPROVED BOUNDS IN THE SCALED ENFLO TYPE INEQUALITY FOR BANACH SPACES
IMPROVED BOUNDS IN THE SCALED ENFLO TYPE INEQUALITY FOR BANACH SPACES OHAD GILADI AND ASSAF NAOR Abstract. It is shown that if (, ) is a Banach sace with Rademacher tye 1 then for every n N there exists
More informationFactorability in the ring Z[ 5]
University of Nebraska - Lincoln DigitalCommons@University of Nebraska - Lincoln Dissertations, Theses, and Student Research Paers in Mathematics Mathematics, Deartment of 4-2004 Factorability in the ring
More informationTHE 2D CASE OF THE BOURGAIN-DEMETER-GUTH ARGUMENT
THE 2D CASE OF THE BOURGAIN-DEMETER-GUTH ARGUMENT ZANE LI Let e(z) := e 2πiz and for g : [0, ] C and J [0, ], define the extension oerator E J g(x) := g(t)e(tx + t 2 x 2 ) dt. J For a ositive weight ν
More informationON THE NORM OF AN IDEMPOTENT SCHUR MULTIPLIER ON THE SCHATTEN CLASS
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 00, Number 0, Pages 000 000 S 000-9939XX)0000-0 ON THE NORM OF AN IDEMPOTENT SCHUR MULTIPLIER ON THE SCHATTEN CLASS WILLIAM D. BANKS AND ASMA HARCHARRAS
More information1 Gambler s Ruin Problem
Coyright c 2017 by Karl Sigman 1 Gambler s Ruin Problem Let N 2 be an integer and let 1 i N 1. Consider a gambler who starts with an initial fortune of $i and then on each successive gamble either wins
More informationIntroduction to Series and Sequences Math 121 Calculus II Spring 2015
Introduction to Series and Sequences Math Calculus II Spring 05 The goal. The main purpose of our study of series and sequences is to understand power series. A power series is like a polynomial of infinite
More informationHARMONIC EXTENSION ON NETWORKS
HARMONIC EXTENSION ON NETWORKS MING X. LI Abstract. We study the imlication of geometric roerties of the grah of a network in the extendibility of all γ-harmonic germs at an interior node. We rove that
More informationElementary theory of L p spaces
CHAPTER 3 Elementary theory of L saces 3.1 Convexity. Jensen, Hölder, Minkowski inequality. We begin with two definitions. A set A R d is said to be convex if, for any x 0, x 1 2 A x = x 0 + (x 1 x 0 )
More informationA review of the foundations of perfectoid spaces
A review of the foundations of erfectoid saces (Notes for some talks in the Fargues Fontaine curve study grou at Harvard, Oct./Nov. 2017) Matthew Morrow Abstract We give a reasonably detailed overview
More informationπ(x) π( x) = x<n x gcd(n,p)=1 The sum can be extended to all n x, except that now the number 1 is included in the sum, so π(x) π( x)+1 = n x
Math 05 notes, week 7 C. Pomerance Sieving An imortant tool in elementary/analytic number theory is sieving. Let s begin with something familiar: the sieve of Ertatosthenes. This is usually introduced
More informationWorksheet on Derivatives. Dave L. Renfro Drake University November 1, 1999
Worksheet on Derivatives Dave L. Renfro Drake University November, 999 A. Fun With d d (n ) = n n : Find y In case you re interested, the rimary urose of these roblems (Section A) is to review roerties
More informationElementary Proof That There are Infinitely Many Primes p such that p 1 is a Perfect Square (Landau's Fourth Problem)
Elementary Proof That There are Infinitely Many Primes such that 1 is a Perfect Square (Landau's Fourth Problem) Stehen Marshall 7 March 2017 Abstract This aer resents a comlete and exhaustive roof of
More informationCombinatorics of topmost discs of multi-peg Tower of Hanoi problem
Combinatorics of tomost discs of multi-eg Tower of Hanoi roblem Sandi Klavžar Deartment of Mathematics, PEF, Unversity of Maribor Koroška cesta 160, 000 Maribor, Slovenia Uroš Milutinović Deartment of
More informationAlgebraic number theory LTCC Solutions to Problem Sheet 2
Algebraic number theory LTCC 008 Solutions to Problem Sheet ) Let m be a square-free integer and K = Q m). The embeddings K C are given by σ a + b m) = a + b m and σ a + b m) = a b m. If m mod 4) then
More informationIntrinsic Approximation on Cantor-like Sets, a Problem of Mahler
Intrinsic Aroximation on Cantor-like Sets, a Problem of Mahler Ryan Broderick, Lior Fishman, Asaf Reich and Barak Weiss July 200 Abstract In 984, Kurt Mahler osed the following fundamental question: How
More information#A37 INTEGERS 15 (2015) NOTE ON A RESULT OF CHUNG ON WEIL TYPE SUMS
#A37 INTEGERS 15 (2015) NOTE ON A RESULT OF CHUNG ON WEIL TYPE SUMS Norbert Hegyvári ELTE TTK, Eötvös University, Institute of Mathematics, Budaest, Hungary hegyvari@elte.hu François Hennecart Université
More informationCONGRUENCE PROPERTIES OF TAYLOR COEFFICIENTS OF MODULAR FORMS
CONGRUENCE PROPERTIES OF TAYLOR COEFFICIENTS OF MODULAR FORMS HANNAH LARSON AND GEOFFREY SMITH Abstract. In their work, Serre and Swinnerton-Dyer study the congruence roerties of the Fourier coefficients
More informationNUMBER SYSTEMS. Number theory is the study of the integers. We denote the set of integers by Z:
NUMBER SYSTEMS Number theory is the study of the integers. We denote the set of integers by Z: Z = {..., 3, 2, 1, 0, 1, 2, 3,... }. The integers have two oerations defined on them, addition and multilication,
More information