The arithmetic geometric mean (Agm)
|
|
- Maude Cross
- 6 years ago
- Views:
Transcription
1 The arithmetic geometric mean () Pictures by David Lehavi
2 This is part of exercise 5 question 4 in myc> calculus class Fall 200: a = c a n+ =5a n 2 lim n an = a = a an + bn a n+ = 2 b = b b n+ = a nb n a>b>0 nπ a n =( ) n + sin 4 lim (n + ) n (n ) n n n n + n 2 (n + )2 n +2 n +2 lim n n + Here is the translation (and index change): a 0 = a b 0 = b a n+ = a n + b n 2 lim inf a n, lim sup a n b n+ = a n b n n = 0,,... n 0 N ε > 0 an n= a n a m < ε n, m > n For a > b > 0 show that both sequences converge 0 and calculate their limits.
3 Why do the limits exist?
4 Why do the limits exist? By the mean inequality: a + b 2 ab
5 Why do the limits exist? By the mean inequality: a + b 2 ab Therefore and by induction a b a n b n.
6 Why do the limits exist? By the mean inequality: a + b 2 ab Therefore and by induction a b a n b n. Also a n a n + b n 2 = a n+ b n+ = a n b n b n
7 We have a a... a n a n+ b n+ b n... b b
8 We have a a... a n a n+ b n+ b n... b b The sequence {a n } is decreasing and bounded below by b, and the sequence {b n } is increasing and bounded above by a. So both sequences converge!
9 We have a a... a n a n+ b n+ b n... b b The sequence {a n } is decreasing and bounded below by b, and the sequence {b n } is increasing and bounded above by a. So both sequences converge! Actually, they converge to a common limit: 0 a n+ b n+ a n+ b n = a n + b n 2 b n = a n b n 2
10 We have a a... a n a n+ b n+ b n... b b The sequence {a n } is decreasing and bounded below by b, and the sequence {b n } is increasing and bounded above by a. So both sequences converge! Actually, they converge to a common limit: 0 a n+ b n+ a n+ b n = a n + b n 2 b n = a n b n 2 Inductively: 0 a n b n a b 2 n
11 Define M(a, b) - the arithmetic geometric mean of a, b to be the common limit of the sequences {a n }, {b n } Arithmetic geometric mean M(a, b) = lim n a n = lim n b n
12 Define M(a, b) - the arithmetic geometric mean of a, b to be the common limit of the sequences {a n }, {b n } Arithmetic geometric mean M(a, b) = lim n a n = lim n b n Simple observations: M(a, b) = M(a, b ) = M(a 2, b 2 ) =...
13 Define M(a, b) - the arithmetic geometric mean of a, b to be the common limit of the sequences {a n }, {b n } Arithmetic geometric mean M(a, b) = lim n a n = lim n b n Simple observations: M(a, b) = M(a, b ) = M(a 2, b 2 ) =... M(λa, λb) = λm(a, b).
14 Define M(a, b) - the arithmetic geometric mean of a, b to be the common limit of the sequences {a n }, {b n } Arithmetic geometric mean M(a, b) = lim n a n = lim n b n Simple observations: M(a, b) = M(a, b ) = M(a 2, b 2 ) =... M(λa, λb) = λm(a, b). M(a, a) = a
15 Ok then, what about calculating the limit? Hmm...
16 M( 2, ) = (accuracy to 9 decimal places).
17 M( 2, ) = (accuracy to 9 decimal places). All entries of the following table are rounded to 2 decimal places. n a n b n
18 M( 2, ) = (accuracy to 9 decimal places). All entries of the following table are rounded to 2 decimal places. n a n b n
19 M( 2, ) = (accuracy to 9 decimal places). All entries of the following table are rounded to 2 decimal places. n a n b n
20 M( 2, ) = (accuracy to 9 decimal places). All entries of the following table are rounded to 2 decimal places. n a n b n
21 M( 2, ) = (accuracy to 9 decimal places). All entries of the following table are rounded to 2 decimal places. n a n b n
22 M( 2, ) = (accuracy to 9 decimal places). All entries of the following table are rounded to 2 decimal places. n a n b n Gauss calculated these himself!!! manuscript from 800). (This table appears in his
23 M( 2, ) = (accuracy to 9 decimal places). All entries of the following table are rounded to 2 decimal places. n a n b n Gauss calculated these himself!!! manuscript from 800). (This table appears in his After 4 (!!!) iterations we get 9 digits accuracy, the convergence is really really (really) fast. Much better than b a 2 2 n 00.
24 Better calculation: δ n+ = a n+ b n+ = a n + b n 2 a n b n
25 Better calculation: δ n+ = a n+ b n+ = a n + b n 2 a n b n = 2 (a n + b n 2 a n b n ) = 2 ( a n b n ) 2
26 Better calculation: δ n+ = a n+ b n+ = a n + b n 2 a n b n = 2 (a n + b n 2 a n b n ) = 2 ( a n b n ) 2 On the other hand δ n = a n b n = ( a n b n )( a n + b n )
27 Better calculation: δ n+ = a n+ b n+ = a n + b n 2 a n b n = 2 (a n + b n 2 a n b n ) = 2 ( a n b n ) 2 On the other hand δ n = a n b n = ( a n b n )( a n + b n ) So δ n+ δ 2 n = 2( a n + b n ) 2 n 8M(a, b)
28 convergence rate δ n+ Cδ 2 n Indeed, convergence rate is much better - it is quadratic: if at stage n we have k digits accuracy, then at stage n + our accuracy is 2k digits.
29 The story of the lemniscate In 69 - Jacob Bernoulli was working on the following problem: A thin elastic rod is bent until the two ends are perpendicular to a given line:
30 Bernoulli showed that the upper half of the curve is given by an equation of the form y = x 0 z 2 a 4 z 4 dz How is this related to the lemniscate? Bernoulli sought an algebraic curve whose rectification should agree with the rectification of the elastic curve
31 In 694 he found the lemniscate (Greek for ribbon): x 2 + y 2 = a x 2 y 2
32 694 - Jacob s younger brother, Johann independently discovered the lemniscate! Both papers appeared in Acta Eruditorum: Jacob - September 694 Johann -October 694 Anyway, how is this related to agm???
33 Stirling (730): The length of /4 lemniscate: and also: A = 0 dz = z 4 B = 0 z 2 dz = z 4 Observe that 2 B =
34 Stirling (730): The length of /4 lemniscate: and also: A = 0 dz = z 4 B = 0 z 2 dz = z 4 Observe that 2 B = Which agrees with M( 2, ) to 6 decimal places!
35 Carl Freidrich Gauss M( 2, ) = 2 B = 0 z 2 z 4 dz
36 In 786 Euler showed A B = 0 dz z 2 dz = π z 4 z 4 4 0
37 Coupled with Eulers result we get ω = 2 dz = 0 z 4 π M( 2, ) = length of /2 Lemniscate This is a special notation of Gauss.
38 Coupled with Eulers result we get ω = 2 dz = 0 z 4 π M( 2, ) = length of /2 Lemniscate This is a special notation of Gauss. Compare with: 2 dz = π = length of /2 circle 0 z 2
39 He gave a special name to the function: arclmnsin x arclmnsin x = Then 2 arclmnsin = ω = x 0 π M( 2,) z 4 dz - the period of the lemniscate. Compare to arcsin x = x 0 z 2 dz with 2 arcsin = π - the period of the circle.
40 Theorem [Gauss] M(a, b) π 2 0 a 2 (cos φ) 2 + b 2 (sin φ) 2 dφ = π 2 (exercise: write the equation of the lemniscare in polar coordinates, then write down the expression for its arclength)
41 Theorem [Gauss] M(a, b) π 2 0 a 2 (cos φ) 2 + b 2 (sin φ) 2 dφ = π 2 (exercise: write the equation of the lemniscare in polar coordinates, then write down the expression for its arclength) Proof: Denote I (a, b) = Key step: Show that π 2 0 a 2 (cos φ) 2 + b 2 (sin φ) 2 dφ I (a, b) = I (a, b ) where a = a + b 2 b = ab
42 If we do that, we are done, for then Therefore I (a, b) = I (a, b ) = I (a 2, b 2 ) =... I (a, b) = lim n I (a n, b n ) = lim π 2 The integrand converges uniformly in φ to π a 2 n (cos φ) 2 + b 2 n(sin φ) 2 dφ M(a, b) 2 (cos φ) 2 + M(a, b) 2 (sin φ) dφ = 2 M(a, b) π 2
43 How do we show the key step I (a, b) = I (a.b )?
44 How do we show the key step I (a, b) = I (a.b )? Ingenious change of variables! sin φ = 2a sin φ a + b + (a b)(sin φ ) 2 The range 0 φ π 2 corresponds to 0 φ π 2.
45 How do we show the key step I (a, b) = I (a.b )? Ingenious change of variables! sin φ = 2a sin φ a + b + (a b)(sin φ ) 2 The range 0 φ π 2 corresponds to 0 φ π 2. Gauss then writes after the development has been made correctly, it will be seen that a 2 (cos φ) 2 + b 2 (sin φ) dφ = dφ a 2 2 (cos φ ) 2 + b 2 (sin φ ) 2 (Challenge - try to fill in the details...)
46 How the **** did Gauss come up with this substitution??? Lets go back to the integral we are trying to compute: Why is it hard to compute? 2 dz 0 z 4
47 How the **** did Gauss come up with this substitution??? Lets go back to the integral we are trying to compute: Why is it hard to compute? Try all you like, the integral 2 dz 0 z 4 x 2 0 z 4 dz can not be expressed using elementary functions: polynomials, sin, cos, exp and their inverses.
48 Compare to x 2 0 z 2 dz
49 Compare to x 2 0 z 2 dz After a change of variables z = sin t we get arcsin x cos t arcsin x 2 0 cos t dt = 2 dt = 2 arcsin x 0 For x = we get a period of the function sin x - namely π.
50 In fact we can calculate all integral of the form P(sin t, cos t) Q(sin t, cos t) dt for any polynomials in two variables P, Q like dt which is what we got before but also (sin t) 2 (cos t) 5 + sin t (cos t) 6 + (sin t) 7 dt (cos t) 3 HOW SO?
51 Stereographic projection provides of variables that turns the integral to an integral of a rational function p(s)/q(s) where p(s), q(s) are polynomials (this is the tan s 2 substitution).
52 Back to 0 dz = z 4 0 ( + z 2 )( z)( + z) dz
53 Back to 0 dz = z 4 0 ( + z 2 )( z)( + z) dz Making a change of variable z = /x we get 0 (x 2 2x + 2)(2x ) dx
54 Back to 0 dz = z 4 0 ( + z 2 )( z)( + z) dz Making a change of variable z = /x we get 0 (x 2 2x + 2)(2x ) dx Consider the equation y 2 = (x 2 2x + 2)(2x )
55 Back to 0 dz = z 4 0 ( + z 2 )( z)( + z) dz Making a change of variable z = /x we get 0 (x 2 2x + 2)(2x ) dx Consider the equation y 2 = (x 2 2x + 2)(2x ) This is a special case of y 2 = ax 3 + bx 2 + cx + d
56 The graph describing the solutions to an equation of this type called an elliptic curve, and an integral dx y(x) is called an elliptic integral (of the first kind).
57 If all the roots of P are real, then the curve looks like this. There is no good stereographic projection here (we can only get a map that is 2 : )
58 Equations behave much better when we look at them over the complex numbers C. Recall our equation was y 2 = ax 3 + bx 2 + cx + d and we now think of y, x as taking complex values.
59 We take one more step - we projectivize. We first make the equation homogeneous: ( y z ) 2 = a ( x z ) 3 + b ( x z ) 2 + c ( x z ) + d
60 We take one more step - we projectivize. We first make the equation homogeneous: ( y z ) 2 = a ( x z ) 3 + b ( x z ) 2 + c ( x z ) + d multiplying by z 3 we get y 2 z = ax 3 + bx 2 z + cxz 2 + dz 3 (If we substitute z = we get our original equation).
61 We now look at all triples (x, y, z) satisfying the equation, y 2 z = ax 3 + bx 2 z + cxz 2 + dz 3 but we identify two triples (x, y, z) λ(x, y, z) λ C, λ 0
62 We now look at all triples (x, y, z) satisfying the equation, y 2 z = ax 3 + bx 2 z + cxz 2 + dz 3 but we identify two triples (x, y, z) λ(x, y, z) λ C, λ 0 The set of all triple (x, y, z) C 3 with this identification is denoted PC 3 (or P 2 C). This is a way to make the set of solutions compact. DON T GET LOST JUST YET!
63 Now we can allow ourselves to take linear transformations of PC 3 (möbius transformations), and actually assume that our elliptic curve has 3 real roots e e 2 e 3 and we are looking at the integral e2 (x e )(x e 2 )(x e 3 ) dx e 3 Remember the picture: e 3 e 2 e At last we are ready to describe what the agm substitution does:
64 Each time we apply the ingenious substitution of Gauss, we change the elliptic curve in the in integral. What happens to the geometric picture?
65 Each time we apply the ingenious substitution of Gauss, we change the elliptic curve in the in integral. What happens to the geometric picture? This is a picture of 2 iterations (recall that 2 iterations of the agm give us 4 decimal point precision).
66 Lets zoom in: e, e 2 are getting really close...
67 In the limit we end up with
68 Why is this good?
69 Why is this good? Stereographic projection - provides a rationalization!!!
70 At the integral level - this is providing a sequence of approximations ending with something of the form e 2 e 3 (x e 2 ) 2 (x e 3 )dx (these are not the original e 2, e 3 we stated out with)
71 HOW? It turns out that a miracle happens and the set of solutions to the equation y 2 z = ax 3 + bx 2 z + cxz 2 + dz 3 form a group, and this group is isomorphic to C/Λ where is a lattice. Λ = Z + ωz
72
73 Here is what the group operation looks like on the subset of real solutions: p r q p q
74 Where were we... F : C/(Z + ωz) PC 3 z [ (z) : (z) : ] 0 [0 : : 0] The image of F is an elliptic curve E. (The map from C/(Z + ωz) onto its image is a homomorphism of (abelian) groups). x = (z); dx = (z)dz = ydz Thus e2 e 3 dx y = dz F ([e 3,e 2 ])
75 What happens with agm? division of fundamental domain by 2! i i 2 i 4
76 Who is? This is the Weierstrass function, it is defined as follows: Weierstrass function (z, Λ) = z 2 + (z w) 2 w 2 w Λ Recall the map F : C/Λ PC 3 z [ (z, Λ) : (z, Λ) : ]
77 Example 0 This is the zero iteration of agm: Λ 0 = Z + iz y 0 = (x e)x(x + e) (0, Λ 0 ) = ; ( 2, Λ 0) = e; ( 2 + i 2, Λ 0) = 0; ( 2 i, Λ 0) = e;
78 Example This is first iteration of agm: Λ = 2Z + iz y = (x e )(x e 2 )(x e 3 ); = (0, Λ ); e = (, Λ ); e 2 = (+ 2 i, Λ ); e 3 = ( 2 i, Λ )
79 i i 2 i 4
80 The connection between a > b of agm and the roots e > e 2 > e 3 of the elliptic curve : π 2 0 a 2 (cos φ) 2 + b 2 (sin φ 2 ) dφ = e2 (x e )(x e 2 )(x e 3 ) e 3 Where e + e 2 + e 3 = 0; e e 3 = a; e 2 e 3 = b
81 Complex case If a, b are no longer positive real numbers, but two complex numbers then we have a problem! There is no obvious choice for b n+ = a n b n. We have two choices for each n 0, so we get uncountably many possible sequences {a n }.{b n } given a, b. It turns out all these sequences converge, but only countably many have a non zero limit!
82 All possible limit values are related! Theorem (Gauss) There are special values µ, λ such that all possible limit values µ are given by µ = d µ + ic λ where d, c are relatively prime and d mod 4, c 0 mod 4.
83 Let h = {τ C : Iτ > 0} and set q = e πiτ p(τ) = + 2 q n2 = Θ 3 (τ, 0) n= This is a holomorphic function of τ. It is one of the Jacobi theta functions. The set of possible values {p(γτ0 ) 2 a } : γ Γ i.e. the function p(x)2 a the group Γ. evaluated on the orbit of the point τ 0 under Γ = {γ SL 2 (Z); d (4), c 0(4)}
84 Encryption How is the agm used for encryption? We can look at an elliptic curve E over a finite field F q instead of over the complex field C. We denote this curve E(F q ). It is important in this case to know the exact number of points on the curve #E(F q ) (this number is q + O( q)), that is the number of x, y F q satisfying the equation y 2 = ax 3 + bx 2 + cx + d. For cryptographic purposes, it is essential to find an elliptic curve E where the number #E(F q ) has a large prime factor, so an estimate on its size is not good enough. The agm provides a quick way to evaluate #E(F q ) (via a series of approximations to the (canonical lift of the) elliptic curve E).
85 Some links: Cox, David A. The arithmetic-geometric mean of Gauss.. Enseign. Math. (2) 30 (984), no Ritzenthaler, Christophe AGM for elliptic curves.
Questionnaire for CSET Mathematics subset 1
Questionnaire for CSET Mathematics subset 1 Below is a preliminary questionnaire aimed at finding out your current readiness for the CSET Math subset 1 exam. This will serve as a baseline indicator for
More information1.4 Techniques of Integration
.4 Techniques of Integration Recall the following strategy for evaluating definite integrals, which arose from the Fundamental Theorem of Calculus (see Section.3). To calculate b a f(x) dx. Find a function
More informationDepartment of Mathematics, University of California, Berkeley. GRADUATE PRELIMINARY EXAMINATION, Part A Spring Semester 2015
Department of Mathematics, University of California, Berkeley YOUR OR 2 DIGIT EXAM NUMBER GRADUATE PRELIMINARY EXAMINATION, Part A Spring Semester 205. Please write your - or 2-digit exam number on this
More informationAnalysis-3 lecture schemes
Analysis-3 lecture schemes (with Homeworks) 1 Csörgő István November, 2015 1 A jegyzet az ELTE Informatikai Kar 2015. évi Jegyzetpályázatának támogatásával készült Contents 1. Lesson 1 4 1.1. The Space
More informationUpdated: January 16, 2016 Calculus II 7.4. Math 230. Calculus II. Brian Veitch Fall 2015 Northern Illinois University
Math 30 Calculus II Brian Veitch Fall 015 Northern Illinois University Integration of Rational Functions by Partial Fractions From algebra, we learned how to find common denominators so we can do something
More informationELLIPTIC FUNCTIONS AND THETA FUNCTIONS
ELLIPTIC FUNCTIONS AND THETA FUNCTIONS LECTURE NOTES FOR NOV.24, 26 Historically, elliptic functions were first discovered by Niels Henrik Abel as inverse functions of elliptic integrals, and their theory
More informationMath 61CM - Solutions to homework 2
Math 61CM - Solutions to homework 2 Cédric De Groote October 5 th, 2018 Problem 1: Let V be the vector space of polynomials of degree at most 5, with coefficients in a field F Let U be the subspace of
More informationElliptic functions and Elliptic Integrals
Elliptic functions and Elliptic Integrals R. Herman Nonlinear Pendulum We motivate the need for elliptic integrals by looking for the solution of the nonlinear pendulum equation, θ + ω sin θ. () This models
More informationTEST CODE: MMA (Objective type) 2015 SYLLABUS
TEST CODE: MMA (Objective type) 2015 SYLLABUS Analytical Reasoning Algebra Arithmetic, geometric and harmonic progression. Continued fractions. Elementary combinatorics: Permutations and combinations,
More informationSome Background Material
Chapter 1 Some Background Material In the first chapter, we present a quick review of elementary - but important - material as a way of dipping our toes in the water. This chapter also introduces important
More informationSPRING 2006 PRELIMINARY EXAMINATION SOLUTIONS
SPRING 006 PRELIMINARY EXAMINATION SOLUTIONS 1A. Let G be the subgroup of the free abelian group Z 4 consisting of all integer vectors (x, y, z, w) such that x + 3y + 5z + 7w = 0. (a) Determine a linearly
More informationMathematics 136 Calculus 2 Everything You Need Or Want To Know About Partial Fractions (and maybe more!) October 19 and 21, 2016
Mathematics 36 Calculus 2 Everything You Need Or Want To Know About Partial Fractions (and maybe more!) October 9 and 2, 206 Every rational function (quotient of polynomials) can be written as a polynomial
More informationINDIAN INSTITUTE OF TECHNOLOGY BOMBAY MA205 Complex Analysis Autumn 2012
INDIAN INSTITUTE OF TECHNOLOGY BOMBAY MA205 Complex Analysis Autumn 2012 September 5, 2012 Mapping Properties Lecture 13 We shall once again return to the study of general behaviour of holomorphic functions
More information5.4 Continuity: Preliminary Notions
5.4. CONTINUITY: PRELIMINARY NOTIONS 181 5.4 Continuity: Preliminary Notions 5.4.1 Definitions The American Heritage Dictionary of the English Language defines continuity as an uninterrupted succession,
More informationFay s Trisecant Identity
Fay s Trisecant Identity Gus Schrader University of California, Berkeley guss@math.berkeley.edu December 4, 2011 Gus Schrader (UC Berkeley) Fay s Trisecant Identity December 4, 2011 1 / 31 Motivation Fay
More informationAn invitation to log geometry p.1
An invitation to log geometry James M c Kernan UCSB An invitation to log geometry p.1 An easy integral Everyone knows how to evaluate the following integral: 1 0 1 1 x 2 dx. An invitation to log geometry
More informationSolutions to Practice Final
s to Practice Final 1. (a) What is φ(0 100 ) where φ is Euler s φ-function? (b) Find an integer x such that 140x 1 (mod 01). Hint: gcd(140, 01) = 7. (a) φ(0 100 ) = φ(4 100 5 100 ) = φ( 00 5 100 ) = (
More information* 8 Groups, with Appendix containing Rings and Fields.
* 8 Groups, with Appendix containing Rings and Fields Binary Operations Definition We say that is a binary operation on a set S if, and only if, a, b, a b S Implicit in this definition is the idea that
More informationELLIPSES AND ELLIPTIC CURVES. M. Ram Murty Queen s University
ELLIPSES AND ELLIPTIC CURVES M. Ram Murty Queen s University Planetary orbits are elliptical What is an ellipse? x 2 a 2 + y2 b 2 = 1 An ellipse has two foci From: gomath.com/geometry/ellipse.php Metric
More informationTwitter: @Owen134866 www.mathsfreeresourcelibrary.com Prior Knowledge Check 1) Simplify: a) 3x 2 5x 5 b) 5x3 y 2 15x 7 2) Factorise: a) x 2 2x 24 b) 3x 2 17x + 20 15x 2 y 3 3) Use long division to calculate:
More informationHomework in Topology, Spring 2009.
Homework in Topology, Spring 2009. Björn Gustafsson April 29, 2009 1 Generalities To pass the course you should hand in correct and well-written solutions of approximately 10-15 of the problems. For higher
More informationFourth Week: Lectures 10-12
Fourth Week: Lectures 10-12 Lecture 10 The fact that a power series p of positive radius of convergence defines a function inside its disc of convergence via substitution is something that we cannot ignore
More information5.9 Representations of Functions as a Power Series
5.9 Representations of Functions as a Power Series Example 5.58. The following geometric series x n + x + x 2 + x 3 + x 4 +... will converge when < x
More informationx x2 2 + x3 3 x4 3. Use the divided-difference method to find a polynomial of least degree that fits the values shown: (b)
Numerical Methods - PROBLEMS. The Taylor series, about the origin, for log( + x) is x x2 2 + x3 3 x4 4 + Find an upper bound on the magnitude of the truncation error on the interval x.5 when log( + x)
More informationDepartment of Mathematics, University of California, Berkeley. GRADUATE PRELIMINARY EXAMINATION, Part A Fall Semester 2016
Department of Mathematics, University of California, Berkeley YOUR 1 OR 2 DIGIT EXAM NUMBER GRADUATE PRELIMINARY EXAMINATION, Part A Fall Semester 2016 1. Please write your 1- or 2-digit exam number on
More information8.3 Partial Fraction Decomposition
8.3 partial fraction decomposition 575 8.3 Partial Fraction Decomposition Rational functions (polynomials divided by polynomials) and their integrals play important roles in mathematics and applications,
More informationA GEOMETRIC VIEW OF RATIONAL LANDEN TRANSFORMATIONS
Bull. London Math. Soc. 35 (3 93 3 C 3 London Mathematical Society DOI:./S4693393 A GEOMETRIC VIEW OF RATIONAL LANDEN TRANSFORMATIONS JOHN HUBBARD and VICTOR MOLL Abstract In this paper, a geometric interpretation
More informationPrinciple of Mathematical Induction
Advanced Calculus I. Math 451, Fall 2016, Prof. Vershynin Principle of Mathematical Induction 1. Prove that 1 + 2 + + n = 1 n(n + 1) for all n N. 2 2. Prove that 1 2 + 2 2 + + n 2 = 1 n(n + 1)(2n + 1)
More information2.1 Affine and Projective Coordinates
1 Introduction Depending how you look at them, elliptic curves can be deceptively simple. Using one of the easier definitions, we are just looking at points (x,y) that satisfy a cubic equation, something
More informationReview Sheet for the Final Exam of MATH Fall 2009
Review Sheet for the Final Exam of MATH 1600 - Fall 2009 All of Chapter 1. 1. Sets and Proofs Elements and subsets of a set. The notion of implication and the way you can use it to build a proof. Logical
More informationMTH4101 CALCULUS II REVISION NOTES. 1. COMPLEX NUMBERS (Thomas Appendix 7 + lecture notes) ax 2 + bx + c = 0. x = b ± b 2 4ac 2a. i = 1.
MTH4101 CALCULUS II REVISION NOTES 1. COMPLEX NUMBERS (Thomas Appendix 7 + lecture notes) 1.1 Introduction Types of numbers (natural, integers, rationals, reals) The need to solve quadratic equations:
More informationEXERCISES IN MODULAR FORMS I (MATH 726) (2) Prove that a lattice L is integral if and only if its Gram matrix has integer coefficients.
EXERCISES IN MODULAR FORMS I (MATH 726) EYAL GOREN, MCGILL UNIVERSITY, FALL 2007 (1) We define a (full) lattice L in R n to be a discrete subgroup of R n that contains a basis for R n. Prove that L is
More informationPark Forest Math Team. Meet #3. Algebra. Self-study Packet
Park Forest Math Team Meet #3 Self-study Packet Problem Categories for this Meet: 1. Mystery: Problem solving 2. Geometry: Angle measures in plane figures including supplements and complements 3. Number
More informationAbelian Varieties and Complex Tori: A Tale of Correspondence
Abelian Varieties and Complex Tori: A Tale of Correspondence Nate Bushek March 12, 2012 Introduction: This is an expository presentation on an area of personal interest, not expertise. I will use results
More informationMA257: INTRODUCTION TO NUMBER THEORY LECTURE NOTES
MA257: INTRODUCTION TO NUMBER THEORY LECTURE NOTES 2018 57 5. p-adic Numbers 5.1. Motivating examples. We all know that 2 is irrational, so that 2 is not a square in the rational field Q, but that we can
More informationC-1. Snezana Lawrence
C-1 Snezana Lawrence These materials have been written by Dr. Snezana Lawrence made possible by funding from Gatsby Technical Education projects (GTEP) as part of a Gatsby Teacher Fellowship ad-hoc bursary
More informationBalanced subgroups of the multiplicative group
Balanced subgroups of the multiplicative group Carl Pomerance, Dartmouth College Hanover, New Hampshire, USA Based on joint work with D. Ulmer To motivate the topic, let s begin with elliptic curves. If
More informationMS 3011 Exercises. December 11, 2013
MS 3011 Exercises December 11, 2013 The exercises are divided into (A) easy (B) medium and (C) hard. If you are particularly interested I also have some projects at the end which will deepen your understanding
More information2 Lie Groups. Contents
2 Lie Groups Contents 2.1 Algebraic Properties 25 2.2 Topological Properties 27 2.3 Unification of Algebra and Topology 29 2.4 Unexpected Simplification 31 2.5 Conclusion 31 2.6 Problems 32 Lie groups
More informationFinding Limits Analytically
Finding Limits Analytically Most of this material is take from APEX Calculus under terms of a Creative Commons License In this handout, we explore analytic techniques to compute its. Suppose that f(x)
More informationPartial Fractions. Combining fractions over a common denominator is a familiar operation from algebra: 2 x 3 + 3
Partial Fractions Combining fractions over a common denominator is a familiar operation from algebra: x 3 + 3 x + x + 3x 7 () x 3 3x + x 3 From the standpoint of integration, the left side of Equation
More informationNotes on Polynomials from Barry Monson, UNB
Notes on Polynomials from Barry Monson, UNB 1. Here are some polynomials and their degrees: polynomial degree note 6x 4 8x 3 +21x 2 +7x 2 4 quartic 2x 3 +0x 2 + 3x + 2 3 cubic 2 2x 3 + 3x + 2 3 the same
More informationLECTURE 2 FRANZ LEMMERMEYER
LECTURE 2 FRANZ LEMMERMEYER Last time we have seen that the proof of Fermat s Last Theorem for the exponent 4 provides us with two elliptic curves (y 2 = x 3 + x and y 2 = x 3 4x) in the guise of the quartic
More informationEconomics 204 Summer/Fall 2011 Lecture 5 Friday July 29, 2011
Economics 204 Summer/Fall 2011 Lecture 5 Friday July 29, 2011 Section 2.6 (cont.) Properties of Real Functions Here we first study properties of functions from R to R, making use of the additional structure
More informationLecture 10 - Moment of Inertia
Lecture 10 - oment of Inertia A Puzzle... Question For any object, there are typically many ways to calculate the moment of inertia I = r 2 dm, usually by doing the integration by considering different
More informationSECTION 9.2: ARITHMETIC SEQUENCES and PARTIAL SUMS
(Chapter 9: Discrete Math) 9.11 SECTION 9.2: ARITHMETIC SEQUENCES and PARTIAL SUMS PART A: WHAT IS AN ARITHMETIC SEQUENCE? The following appears to be an example of an arithmetic (stress on the me ) sequence:
More information(1) Consider the space S consisting of all continuous real-valued functions on the closed interval [0, 1]. For f, g S, define
Homework, Real Analysis I, Fall, 2010. (1) Consider the space S consisting of all continuous real-valued functions on the closed interval [0, 1]. For f, g S, define ρ(f, g) = 1 0 f(x) g(x) dx. Show that
More informationMath 141: Lecture 11
Math 141: Lecture 11 The Fundamental Theorem of Calculus and integration methods Bob Hough October 12, 2016 Bob Hough Math 141: Lecture 11 October 12, 2016 1 / 36 First Fundamental Theorem of Calculus
More informationInteger-Valued Polynomials
Integer-Valued Polynomials LA Math Circle High School II Dillon Zhi October 11, 2015 1 Introduction Some polynomials take integer values p(x) for all integers x. The obvious examples are the ones where
More informationComplex Numbers. Rich Schwartz. September 25, 2014
Complex Numbers Rich Schwartz September 25, 2014 1 From Natural Numbers to Reals You can think of each successive number system as arising so as to fill some deficits associated with the previous one.
More informationMATH 310 Course Objectives
MATH 310 Course Objectives Upon successful completion of MATH 310, the student should be able to: Apply the addition, subtraction, multiplication, and division principles to solve counting problems. Apply
More informationACT MATH MUST-KNOWS Pre-Algebra and Elementary Algebra: 24 questions
Pre-Algebra and Elementary Algebra: 24 questions Basic operations using whole numbers, integers, fractions, decimals and percents Natural (Counting) Numbers: 1, 2, 3 Whole Numbers: 0, 1, 2, 3 Integers:
More informationWe are going to discuss what it means for a sequence to converge in three stages: First, we define what it means for a sequence to converge to zero
Chapter Limits of Sequences Calculus Student: lim s n = 0 means the s n are getting closer and closer to zero but never gets there. Instructor: ARGHHHHH! Exercise. Think of a better response for the instructor.
More informationAP Calculus Chapter 9: Infinite Series
AP Calculus Chapter 9: Infinite Series 9. Sequences a, a 2, a 3, a 4, a 5,... Sequence: A function whose domain is the set of positive integers n = 2 3 4 a n = a a 2 a 3 a 4 terms of the sequence Begin
More informationCubic curves: a short survey
ICAMMP 4 4-7 January 5 SUST, Sylhet, Bangladesh Cubic curves: a short survey Balázs Szendrői Department of Mathematics, University of Utrecht, The Netherlands szendroi@math.uu.nl http://www.math.uu.nl/people/szendroi
More informationNon-generic attacks on elliptic curve DLPs
Non-generic attacks on elliptic curve DLPs Benjamin Smith Team GRACE INRIA Saclay Île-de-France Laboratoire d Informatique de l École polytechnique (LIX) ECC Summer School Leuven, September 13 2013 Smith
More informationSolving Systems of Linear Equations. Classification by Number of Solutions
Solving Systems of Linear Equations Case 1: One Solution Case : No Solution Case 3: Infinite Solutions Independent System Inconsistent System Dependent System x = 4 y = Classification by Number of Solutions
More informationHomework for MATH 4603 (Advanced Calculus I) Fall Homework 13: Due on Tuesday 15 December. Homework 12: Due on Tuesday 8 December
Homework for MATH 4603 (Advanced Calculus I) Fall 2015 Homework 13: Due on Tuesday 15 December 49. Let D R, f : D R and S D. Let a S (acc S). Assume that f is differentiable at a. Let g := f S. Show that
More informationProjective Spaces. Chapter The Projective Line
Chapter 3 Projective Spaces 3.1 The Projective Line Suppose you want to describe the lines through the origin O = (0, 0) in the Euclidean plane R 2. The first thing you might think of is to write down
More information8.7 MacLaurin Polynomials
8.7 maclaurin polynomials 67 8.7 MacLaurin Polynomials In this chapter you have learned to find antiderivatives of a wide variety of elementary functions, but many more such functions fail to have an antiderivative
More information4.5 Integration of Rational Functions by Partial Fractions
4.5 Integration of Rational Functions by Partial Fractions From algebra, we learned how to find common denominators so we can do something like this, 2 x + 1 + 3 x 3 = 2(x 3) (x + 1)(x 3) + 3(x + 1) (x
More informationClass invariants for quartic CM-fields
Number Theory Seminar Oxford 2 June 2011 Elliptic curves An elliptic curve E/k (char(k) 2) is a smooth projective curve y 2 = x 3 + ax 2 + bx + c. Q P E is a commutative algebraic group P Q Endomorphisms
More informationYale University Department of Mathematics Math 350 Introduction to Abstract Algebra Fall Midterm Exam Review Solutions
Yale University Department of Mathematics Math 350 Introduction to Abstract Algebra Fall 2015 Midterm Exam Review Solutions Practice exam questions: 1. Let V 1 R 2 be the subset of all vectors whose slope
More informationPermutations and Polynomials Sarah Kitchen February 7, 2006
Permutations and Polynomials Sarah Kitchen February 7, 2006 Suppose you are given the equations x + y + z = a and 1 x + 1 y + 1 z = 1 a, and are asked to prove that one of x,y, and z is equal to a. We
More informationNotes 1 : Measure-theoretic foundations I
Notes 1 : Measure-theoretic foundations I Math 733-734: Theory of Probability Lecturer: Sebastien Roch References: [Wil91, Section 1.0-1.8, 2.1-2.3, 3.1-3.11], [Fel68, Sections 7.2, 8.1, 9.6], [Dur10,
More informationClass polynomials for abelian surfaces
Class polynomials for abelian surfaces Andreas Enge LFANT project-team INRIA Bordeaux Sud-Ouest andreas.enge@inria.fr http://www.math.u-bordeaux.fr/~aenge LFANT seminar 27 January 2015 (joint work with
More informationMath 113 Final Exam Practice
Math Final Exam Practice The Final Exam is comprehensive. You should refer to prior reviews when studying material in chapters 6, 7, 8, and.-9. This review will cover.0- and chapter 0. This sheet has three
More informationTEST CODE: MIII (Objective type) 2010 SYLLABUS
TEST CODE: MIII (Objective type) 200 SYLLABUS Algebra Permutations and combinations. Binomial theorem. Theory of equations. Inequalities. Complex numbers and De Moivre s theorem. Elementary set theory.
More informationWhat do you think are the qualities of a good theorem? it solves an open problem (Name one..? )
What do you think are the qualities of a good theorem? Aspects of "good" theorems: short surprising elegant proof applied widely: it solves an open problem (Name one..? ) creates a new field might be easy
More information6x 2 8x + 5 ) = 12x 8
Example. If f(x) = x 3 4x + 5x + 1, then f (x) = 6x 8x + 5 Observation: f (x) is also a differentiable function... d dx ( f (x) ) = d dx ( 6x 8x + 5 ) = 1x 8 The derivative of f (x) is called the second
More information2 Complex Functions and the Cauchy-Riemann Equations
2 Complex Functions and the Cauchy-Riemann Equations 2.1 Complex functions In one-variable calculus, we study functions f(x) of a real variable x. Likewise, in complex analysis, we study functions f(z)
More informationFINITE GROUPS AND EQUATIONS OVER FINITE FIELDS A PROBLEM SET FOR ARIZONA WINTER SCHOOL 2016
FINITE GROUPS AND EQUATIONS OVER FINITE FIELDS A PROBLEM SET FOR ARIZONA WINTER SCHOOL 2016 PREPARED BY SHABNAM AKHTARI Introduction and Notations The problems in Part I are related to Andrew Sutherland
More informationNotes for Math 290 using Introduction to Mathematical Proofs by Charles E. Roberts, Jr.
Notes for Math 290 using Introduction to Mathematical Proofs by Charles E. Roberts, Jr. Chapter : Logic Topics:. Statements, Negation, and Compound Statements.2 Truth Tables and Logical Equivalences.3
More informationDiscrete Math, Second Problem Set (June 24)
Discrete Math, Second Problem Set (June 24) REU 2003 Instructor: Laszlo Babai Scribe: D Jeremy Copeland 1 Number Theory Remark 11 For an arithmetic progression, a 0, a 1 = a 0 +d, a 2 = a 0 +2d, to have
More informationSTA2112F99 ε δ Review
STA2112F99 ε δ Review 1. Sequences of real numbers Definition: Let a 1, a 2,... be a sequence of real numbers. We will write a n a, or lim a n = a, if for n all ε > 0, there exists a real number N such
More informationREQUIRED MATHEMATICAL SKILLS FOR ENTERING CADETS
REQUIRED MATHEMATICAL SKILLS FOR ENTERING CADETS The Department of Applied Mathematics administers a Math Placement test to assess fundamental skills in mathematics that are necessary to begin the study
More informationUnit 2-1: Factoring and Solving Quadratics. 0. I can add, subtract and multiply polynomial expressions
CP Algebra Unit -1: Factoring and Solving Quadratics NOTE PACKET Name: Period Learning Targets: 0. I can add, subtract and multiply polynomial expressions 1. I can factor using GCF.. I can factor by grouping.
More informationFinite Mathematics : A Business Approach
Finite Mathematics : A Business Approach Dr. Brian Travers and Prof. James Lampes Second Edition Cover Art by Stephanie Oxenford Additional Editing by John Gambino Contents What You Should Already Know
More informationChapter 3: Complex Numbers
Chapter 3: Complex Numbers Daniel Chan UNSW Semester 1 2018 Daniel Chan (UNSW) Chapter 3: Complex Numbers Semester 1 2018 1 / 48 Philosophical discussion about numbers Q In what sense is 1 a number? DISCUSS
More informationModule 2: Reflecting on One s Problems
MATH55 Module : Reflecting on One s Problems Main Math concepts: Translations, Reflections, Graphs of Equations, Symmetry Auxiliary ideas: Working with quadratics, Mobius maps, Calculus, Inverses I. Transformations
More informationInstructor Quick Check: Question Block 12
Instructor Quick Check: Question Block 2 How to Administer the Quick Check: The Quick Check consists of two parts: an Instructor portion which includes solutions and a Student portion with problems for
More informationNotes on uniform convergence
Notes on uniform convergence Erik Wahlén erik.wahlen@math.lu.se January 17, 2012 1 Numerical sequences We begin by recalling some properties of numerical sequences. By a numerical sequence we simply mean
More informationMathematics 1 Lecture Notes Chapter 1 Algebra Review
Mathematics 1 Lecture Notes Chapter 1 Algebra Review c Trinity College 1 A note to the students from the lecturer: This course will be moving rather quickly, and it will be in your own best interests to
More informationChapter One. The Real Number System
Chapter One. The Real Number System We shall give a quick introduction to the real number system. It is imperative that we know how the set of real numbers behaves in the way that its completeness and
More informationComplex Analysis, Stein and Shakarchi Meromorphic Functions and the Logarithm
Complex Analysis, Stein and Shakarchi Chapter 3 Meromorphic Functions and the Logarithm Yung-Hsiang Huang 217.11.5 Exercises 1. From the identity sin πz = eiπz e iπz 2i, it s easy to show its zeros are
More informationPRIME NUMBER THEOREM
PRIME NUMBER THEOREM RYAN LIU Abstract. Prime numbers have always been seen as the building blocks of all integers, but their behavior and distribution are often puzzling. The prime number theorem gives
More informationSince x + we get x² + 2x = 4, or simplifying it, x² = 4. Therefore, x² + = 4 2 = 2. Ans. (C)
SAT II - Math Level 2 Test #01 Solution 1. x + = 2, then x² + = Since x + = 2, by squaring both side of the equation, (A) - (B) 0 (C) 2 (D) 4 (E) -2 we get x² + 2x 1 + 1 = 4, or simplifying it, x² + 2
More informationMath 1302 Notes 2. How many solutions? What type of solution in the real number system? What kind of equation is it?
Math 1302 Notes 2 We know that x 2 + 4 = 0 has How many solutions? What type of solution in the real number system? What kind of equation is it? What happens if we enlarge our current system? Remember
More informationlim n C1/n n := ρ. [f(y) f(x)], y x =1 [f(x) f(y)] [g(x) g(y)]. (x,y) E A E(f, f),
1 Part I Exercise 1.1. Let C n denote the number of self-avoiding random walks starting at the origin in Z of length n. 1. Show that (Hint: Use C n+m C n C m.) lim n C1/n n = inf n C1/n n := ρ.. Show that
More information= 1 2x. x 2 a ) 0 (mod p n ), (x 2 + 2a + a2. x a ) 2
8. p-adic numbers 8.1. Motivation: Solving x 2 a (mod p n ). Take an odd prime p, and ( an) integer a coprime to p. Then, as we know, x 2 a (mod p) has a solution x Z iff = 1. In this case we can suppose
More informationRings. Chapter 1. Definition 1.2. A commutative ring R is a ring in which multiplication is commutative. That is, ab = ba for all a, b R.
Chapter 1 Rings We have spent the term studying groups. A group is a set with a binary operation that satisfies certain properties. But many algebraic structures such as R, Z, and Z n come with two binary
More informationSolutions to Complex Analysis Prelims Ben Strasser
Solutions to Complex Analysis Prelims Ben Strasser In preparation for the complex analysis prelim, I typed up solutions to some old exams. This document includes complete solutions to both exams in 23,
More informationPerforming well in calculus is impossible without a solid algebra foundation. Many calculus
Chapter Algebra Review Performing well in calculus is impossible without a solid algebra foundation. Many calculus problems that you encounter involve a calculus concept but then require many, many steps
More informationMappings of elliptic curves
Mappings of elliptic curves Benjamin Smith INRIA Saclay Île-de-France & Laboratoire d Informatique de l École polytechnique (LIX) Eindhoven, September 2008 Smith (INRIA & LIX) Isogenies of Elliptic Curves
More informationPart II. Riemann Surfaces. Year
Part II Year 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2018 96 Paper 2, Section II 23F State the uniformisation theorem. List without proof the Riemann surfaces which are uniformised
More informationHOME ASSIGNMENT: ELLIPTIC CURVES OVER FINITE FIELDS
HOME ASSIGNMENT: ELLIPTIC CURVES OVER FINITE FIELDS DANIEL LARSSON CONTENTS 1. Introduction 1 2. Finite fields 1 3. Elliptic curves over finite fields 3 4. Zeta functions and the Weil conjectures 6 1.
More informationReal and Complex Analysis, 3rd Edition, W.Rudin Elementary Hilbert Space Theory
Real and Complex Analysis, 3rd Edition, W.Rudin Chapter 4 Elementary Hilbert Space Theory Yung-Hsiang Huang. It s easy to see M (M ) and the latter is a closed subspace of H. Given F be a closed subspace
More informationMAC 2311 Calculus I Spring 2004
MAC 2 Calculus I Spring 2004 Homework # Some Solutions.#. Since f (x) = d dx (ln x) =, the linearization at a = is x L(x) = f() + f ()(x ) = ln + (x ) = x. The answer is L(x) = x..#4. Since e 0 =, and
More informationProblem Solving in Math (Math 43900) Fall 2013
Problem Solving in Math (Math 43900) Fall 203 Week six (October ) problems recurrences Instructor: David Galvin Definition of a recurrence relation We met recurrences in the induction hand-out. Sometimes
More informationIntroduction to Arithmetic Geometry
Introduction to Arithmetic Geometry 18.782 Andrew V. Sutherland September 5, 2013 What is arithmetic geometry? Arithmetic geometry applies the techniques of algebraic geometry to problems in number theory
More information