{"id":494,"date":"2014-01-15T01:00:52","date_gmt":"2014-01-15T01:00:52","guid":{"rendered":"http:\/\/blogs.ams.org\/visualinsight\/?p=494"},"modified":"2015-07-29T00:53:34","modified_gmt":"2015-07-29T00:53:34","slug":"weierstrass-elliptic-function","status":"publish","type":"post","link":"https:\/\/blogs.ams.org\/visualinsight\/2014\/01\/15\/weierstrass-elliptic-function\/","title":{"rendered":"Weierstrass Elliptic Function"},"content":{"rendered":"<div align=\"center\">\n<div id=\"attachment_495\" style=\"width: 406px\" class=\"wp-caption alignnone\"><a href=\"http:\/\/blogs.ams.org\/visualinsight\/files\/2013\/11\/weierstrass_elliptic_function_zoomed_out.gif\"><img loading=\"lazy\" decoding=\"async\" aria-describedby=\"caption-attachment-495\" src=\"http:\/\/blogs.ams.org\/visualinsight\/files\/2013\/11\/weierstrass_elliptic_function_zoomed_out.gif\" alt=\"Weierstrass Elliptic Function (Zoomed Out) - David J. Chudzicki\" width=\"400\" height=\"300\" class=\"size-full wp-image-495\" \/><\/a><p id=\"caption-attachment-495\" class=\"wp-caption-text\">Weierstrass Elliptic Function (Zoomed Out) &#8211; David J. Chudzicki<\/p><\/div>\n<\/div>\n<p>Here <a href=\"http:\/\/blog.davidchudzicki.com\/\">David Chudzicki<\/a> shows how the Weierstrass elliptic function is built up as a sum of terms, one for each point in a lattice in the complex plane.  Each term has a pole at one lattice point.  The resulting function is periodic in two directions and analytic except for poles at the lattice points.  The phase of this function is shown using color, and its magnitude using brightness.<\/p>\n<p>More precisely, choose two complex numbers $\\omega_1, \\omega_2$ that are linearly independent when considered as vectors in the plane $\\mathbb{R}^2$.  The set<\/p>\n<p>$$ L = \\{ m \\omega_1 + n \\omega_2 : \\; m, n \\in \\mathbb{Z} \\}$$<\/p>\n<p>is called a <a href=\"http:\/\/en.wikipedia.org\/wiki\/Lattice_%28group%29\"><b>lattice<\/b><\/a>.  A first attempt at defining the Weierstrass elliptic function would be<\/p>\n<p>$$  \\sum_{\\omega \\in L} \\frac{1}{(z &#8211; \\omega)^2}  $$<\/p>\n<p>but this sum diverges.  So, we subtract a term $1\/\\omega^2$ for each point $\\omega$ in the lattice $L$, except of course for $\\omega = 0$.  The result is the <a href=\"http:\/\/en.wikipedia.org\/wiki\/Weierstrass_elliptic_function\"><b>Weierstrass elliptic function<\/b><\/a>:<\/p>\n<p>$$  \\wp(z) = \\frac{1}{z^2} + \\sum_{\\omega \\in L- \\{0\\}} \\frac{1}{(z &#8211; \\omega)^2} &#8211; \\frac{1}{\\omega^2} .$$<\/p>\n<p>This is analytic except for poles of order two at the points in the lattice $L$, and it is periodic in the following sense:<\/p>\n<p>$$  \\wp(z + \\omega) = \\wp(z)  $$<\/p>\n<p>whenever $\\omega \\in L$.<\/p>\n<p>In David Chudzicki&#8217;s movie, he takes the square lattice with<\/p>\n<p>$$ \\omega_1 = 1, \\quad \\omega_2 = i $$<\/p>\n<p>Here is a zoomed-in version of this movie:<\/p>\n<div align=\"center\">\n<div id=\"attachment_496\" style=\"width: 406px\" class=\"wp-caption alignnone\"><a href=\"http:\/\/blogs.ams.org\/visualinsight\/files\/2013\/11\/weierstrass_elliptic_function_zoomed_in.gif\"><img loading=\"lazy\" decoding=\"async\" aria-describedby=\"caption-attachment-496\" src=\"http:\/\/blogs.ams.org\/visualinsight\/files\/2013\/11\/weierstrass_elliptic_function_zoomed_in.gif\" alt=\"Weierstrass Elliptic Function (Zoomed In) - David J. Chudzicki\" width=\"400\" height=\"300\" class=\"size-full wp-image-496\" \/><\/a><p id=\"caption-attachment-496\" class=\"wp-caption-text\">Weierstrass Elliptic Function (Zoomed In) &#8211; David J. Chudzicki<\/p><\/div>\n<\/div>\n<p>You can see the function getting closer and closer to periodic with each extra term.  <\/p>\n<p>Chudzicki has a blog article on these movies, and he&#8217;s put them and the code for them in the public domain:<\/p>\n<p>&bull; David Chudzicki, <a href=\"http:\/\/blog.davidchudzicki.com\/2013\/03\/weierstrass-elliptic-function.html\">Weierstrass elliptic function<\/a>; <a href=\"https:\/\/github.com\/dchudz\/misc\/tree\/master\/weierstrass\">movies and code<\/a>. <\/p>\n<p>The Weierstrass elliptic function is very important in the theory of <a href=\"http:\/\/en.wikipedia.org\/wiki\/Elliptic_curve\">elliptic curves<\/a>.  For an explanation, see:<\/p>\n<p>&bull; John Baez, <a href=\"http:\/\/math.ucr.edu\/home\/baez\/week13.html\"><i>This Week&#8217;s Finds in Mathematical Physics<\/i><\/a> (Week 13).<\/p>\n<p>This also explains why we need to sum terms like <\/p>\n<p>$$ \\frac{1}{(z &#8211; \\omega)^2}$$<\/p>\n<p>instead of the simpler <\/p>\n<p>$$ \\frac{1}{(z &#8211; \\omega)} .$$<\/p>\n<hr \/>\n<p><i>Visual Insight<\/i> is a place to share striking images that help explain advanced topics in mathematics. I\u2019m always looking for truly beautiful images, so if you know about one, please drop a comment <a href=\"http:\/\/blogs.ams.org\/visualinsight\/about-visual-insight\/\">here<\/a> and let me know!<\/p>\n<div style=\"margin-top: 0px; margin-bottom: 0px;\" class=\"sharethis-inline-share-buttons\" ><\/div>","protected":false},"excerpt":{"rendered":"<p>The Weierstrass elliptic function is built up as a sum of terms, one for each point in a lattice in the complex plane.  Each term has a pole at one lattice point.   The picture here shows the very first term, namely $1\/z^2$.   That&#8217;s why it&#8217;s bright in the middle and the colors go twice around the color wheel as you go around.   If you continue reading, you&#8217;ll see a movie made by David Chudzicki where further terms are added one at a time!<\/p>\n<div style=\"margin-top: 0px; margin-bottom: 0px;\" class=\"sharethis-inline-share-buttons\" data-url=https:\/\/blogs.ams.org\/visualinsight\/2014\/01\/15\/weierstrass-elliptic-function\/><\/div>\n","protected":false},"author":66,"featured_media":495,"comment_status":"closed","ping_status":"closed","sticky":true,"template":"","format":"standard","meta":{"_jetpack_memberships_contains_paid_content":false,"footnotes":""},"categories":[11,2,5],"tags":[],"class_list":["post-494","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-complex-analysis","category-images-library","category-lattices"],"jetpack_featured_media_url":"https:\/\/blogs.ams.org\/visualinsight\/files\/2013\/11\/weierstrass_elliptic_function_zoomed_out.gif","jetpack_shortlink":"https:\/\/wp.me\/p42Vmc-7Y","jetpack_sharing_enabled":true,"_links":{"self":[{"href":"https:\/\/blogs.ams.org\/visualinsight\/wp-json\/wp\/v2\/posts\/494","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/blogs.ams.org\/visualinsight\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/blogs.ams.org\/visualinsight\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/blogs.ams.org\/visualinsight\/wp-json\/wp\/v2\/users\/66"}],"replies":[{"embeddable":true,"href":"https:\/\/blogs.ams.org\/visualinsight\/wp-json\/wp\/v2\/comments?post=494"}],"version-history":[{"count":21,"href":"https:\/\/blogs.ams.org\/visualinsight\/wp-json\/wp\/v2\/posts\/494\/revisions"}],"predecessor-version":[{"id":702,"href":"https:\/\/blogs.ams.org\/visualinsight\/wp-json\/wp\/v2\/posts\/494\/revisions\/702"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/blogs.ams.org\/visualinsight\/wp-json\/wp\/v2\/media\/495"}],"wp:attachment":[{"href":"https:\/\/blogs.ams.org\/visualinsight\/wp-json\/wp\/v2\/media?parent=494"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/blogs.ams.org\/visualinsight\/wp-json\/wp\/v2\/categories?post=494"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/blogs.ams.org\/visualinsight\/wp-json\/wp\/v2\/tags?post=494"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}