{"id":640,"date":"2016-11-28T06:52:00","date_gmt":"2016-11-28T11:52:00","guid":{"rendered":"http:\/\/blog.richmond.edu\/math320\/?p=640"},"modified":"2017-08-22T16:59:42","modified_gmt":"2017-08-22T20:59:42","slug":"eulers-formula-and-taylor-series","status":"publish","type":"post","link":"https:\/\/blog.richmond.edu\/math320\/2016\/11\/28\/eulers-formula-and-taylor-series\/","title":{"rendered":"Euler&#8217;s Formula and Taylor Series"},"content":{"rendered":"<p><strong>Taylor Series<\/strong><\/p>\n<p>Taylor Series provide a way to express many\u00a0functions <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=f&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"f\" class=\"latex\" \/> that are infinitely differentiable on some interval as a power series. If <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=f&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"f\" class=\"latex\" \/> is such a function, then the power series coefficients are given by Taylor&#8217;s Formula which says that if <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=f%28x%29%3Da_0+%2B+a_1x+%2B+a_2x%5E2+%2B+a_3x%5E3+%2B+...+&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"f(x)=a_0 + a_1x + a_2x^2 + a_3x^3 + ... \" class=\"latex\" \/>, then <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=a_n+%3D+%5Cfrac%7Bf%5E%7B%28n%29%7D%280%29%7D%7Bn%21%7D&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"a_n = &#92;frac{f^{(n)}(0)}{n!}\" class=\"latex\" \/>. This is discussed\u00a0in Chapter 6 of Abbott&#8217;s text. Let&#8217;s use this idea and apply it to the functions\u00a0<img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=sin%28x%29&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"sin(x)\" class=\"latex\" \/>\u00a0and\u00a0<img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=cos%28x%29&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"cos(x)\" class=\"latex\" \/>.<\/p>\n<p>Recall the derivatives of <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=sin%28x%29&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"sin(x)\" class=\"latex\" \/>. In order they go <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=cos%28x%29%2C+-sin%28x%29%2C+-cos%28x%29%2C+sin%28x%29%2C+...+&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"cos(x), -sin(x), -cos(x), sin(x), ... \" class=\"latex\" \/>. This cyclic behavior demonstrates that\u00a0<img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=sin%28x%29+&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"sin(x) \" class=\"latex\" \/> is an infinitely differentiable function. In order to write the Taylor series centered at 0 for <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=sin%28x%29&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"sin(x)\" class=\"latex\" \/>, the coefficients must be determined. Using the formula above, <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=a_0+%3D+%5Cfrac%7Bf%280%29%7D%7B0%21%7D+%3D+%5Cfrac%7Bsin%280%29%7D%7B1%7D+%3D+0+&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"a_0 = &#92;frac{f(0)}{0!} = &#92;frac{sin(0)}{1} = 0 \" class=\"latex\" \/>; <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=a_1+%3D+%5Cfrac%7Bf%27%280%29%7D%7B1%21%7D+%3D+%5Cfrac%7Bcos%280%29%7D%7B1%7D+%3D+1+&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"a_1 = &#92;frac{f&#039;(0)}{1!} = &#92;frac{cos(0)}{1} = 1 \" class=\"latex\" \/>; <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=a_2+%3D+%5Cfrac%7Bf%27%27%280%29%7D%7B2%21%7D+%3D+%5Cfrac%7B-sin%280%29%7D%7B2%7D+%3D+0+&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"a_2 = &#92;frac{f&#039;&#039;(0)}{2!} = &#92;frac{-sin(0)}{2} = 0 \" class=\"latex\" \/>;\u00a0<img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=a_3+%3D+%5Cfrac%7Bf%5E%7B3%7D%280%29%7D%7B3%21%7D+%3D+%5Cfrac%7B-cos%280%29%7D%7B6%7D+%3D+%5Cfrac%7B-1%7D%7B6%7D+&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"a_3 = &#92;frac{f^{3}(0)}{3!} = &#92;frac{-cos(0)}{6} = &#92;frac{-1}{6} \" class=\"latex\" \/>. This will continue cyclically, giving us the general formula\u00a0<img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=a_n+%3D+%5Cbegin%7Bcases%7D+0+%26+n%3Deven%5C%5C+%5Cfrac%7B1%7D%7Bn%21%7D+%26+n%3D+odd+%5Cend%7Bcases%7D+&#038;bg=ffffff&#038;fg=000&#038;s=-2&#038;c=20201002\" alt=\"a_n = &#92;begin{cases} 0 &amp; n=even&#92;&#92; &#92;frac{1}{n!} &amp; n= odd &#92;end{cases} \" class=\"latex\" \/>. Substituting these into the formula, we can obtain the power series for <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=sin%28x%29&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"sin(x)\" class=\"latex\" \/>. It can be shown that <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=sin%28x%29&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"sin(x)\" class=\"latex\" \/> equals its power series everywhere, so <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=sin%28x%29+%3D+x+-+%5Cfrac%7Bx%5E3%7D%7B3%21%7D+%2B+%5Cfrac%7Bx%5E5%7D%7B5%21%7D+-+%5Cfrac%7Bx%5E7%7D%7B7%21%7D+%2B+...&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"sin(x) = x - &#92;frac{x^3}{3!} + &#92;frac{x^5}{5!} - &#92;frac{x^7}{7!} + ...\" class=\"latex\" \/> for all <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=x%5Cin+%5Cmathbb%7BR%7D&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"x&#92;in &#92;mathbb{R}\" class=\"latex\" \/>.<\/p>\n<p>Repeating this process for <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=cos%28x%29&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"cos(x)\" class=\"latex\" \/> gives a similar result. Notice that the cyclic order of derivatives following from <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=cos%28x%29&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"cos(x)\" class=\"latex\" \/> looks the same as <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=sin%28x%29&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"sin(x)\" class=\"latex\" \/>, but is shifted by one. Because of this it makes sense for the Taylor Series expansion of <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=cos%28x%29&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"cos(x)\" class=\"latex\" \/> to look like the one above, but with the coefficients shifted by one. This means that the coefficients will be 0 when n is odd this time! Specifically,\u00a0<img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=a_n+%3D+%5Cbegin%7Bcases%7D+0+%26+n%3Dodd%5C%5C+%5Cfrac%7B1%7D%7Bn%21%7D+%26+n%3D+even+%5Cend%7Bcases%7D+&#038;bg=ffffff&#038;fg=000&#038;s=-2&#038;c=20201002\" alt=\"a_n = &#92;begin{cases} 0 &amp; n=odd&#92;&#92; &#92;frac{1}{n!} &amp; n= even &#92;end{cases} \" class=\"latex\" \/>. Substituting these into the power series formula, we arrive at the series\u00a0<img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=cos%28x%29+%3D+1+-+%5Cfrac%7Bx%5E2%7D%7B2%21%7D+%2B+%5Cfrac%7Bx%5E4%7D%7B4%21%7D+-+%5Cfrac%7Bx%5E6%7D%7B6%21%7D+%2B+...&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"cos(x) = 1 - &#92;frac{x^2}{2!} + &#92;frac{x^4}{4!} - &#92;frac{x^6}{6!} + ...\" class=\"latex\" \/>.<\/p>\n<p><strong>Euler&#8217;s Formula<\/strong><\/p>\n<p>Taylor series have many applications in Mathematics, Physics, and other disciplines. One very important use of Taylor Series is present in the construction of Euler&#8217;s Formula. For anyone unfamiliar, Euler&#8217;s formula says that for any real number <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=x&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"x\" class=\"latex\" \/>, <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=e%5E%7Bix%7D+%3D+cos%28x%29+%2B+isin%28x%29&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"e^{ix} = cos(x) + isin(x)\" class=\"latex\" \/>. Recall that <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=i&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"i\" class=\"latex\" \/> is the complex number used to describe <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%5Csqrt%7B-1%7D&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"&#92;sqrt{-1}\" class=\"latex\" \/>. We can show that this is true using Taylor Series! (It turns out that much of the theory of power series evaluated at real numbers also holds for complex numbers.) It can be shown that <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=e%5E%7Bx%7D&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"e^{x}\" class=\"latex\" \/> equals its Taylor series for all <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=x%5Cin+%5Cmathbb%7BC%7D&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"x&#92;in &#92;mathbb{C}\" class=\"latex\" \/>. We will find the Taylor series of <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=e%5E%7Bix%7D&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"e^{ix}\" class=\"latex\" \/> so we can compare it to the Taylor Series of <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=cos%28x%29+%2B+isin%28x%29&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"cos(x) + isin(x)\" class=\"latex\" \/> which we can determine from our work above.<\/p>\n<p>Notice that <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%5Cfrac%7Bd%7D%7Bdx%7D+e%5E%7Bix%7D+%3D+ie%5E%7Bix%7D&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"&#92;frac{d}{dx} e^{ix} = ie^{ix}\" class=\"latex\" \/>. Repeating derivatives will continue to multiply the previous one by <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=i&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"i\" class=\"latex\" \/>. Similar to <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=sin%28x%29&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"sin(x)\" class=\"latex\" \/> and <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=cos%28x%29&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"cos(x)\" class=\"latex\" \/>, we see that <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=e%5E%7Bix%7D&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"e^{ix}\" class=\"latex\" \/> has cyclic derivatives. The first four are <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=ie%5E%7Bix%7D&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"ie^{ix}\" class=\"latex\" \/>; <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=-e%5E%7Bix%7D&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"-e^{ix}\" class=\"latex\" \/>; <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=-ie%5E%7Bix%7D&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"-ie^{ix}\" class=\"latex\" \/>; <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=e%5E%7Bix%7D&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"e^{ix}\" class=\"latex\" \/> and then it starts over. This shows that\u00a0<img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=e%5E%7Bix%7D&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"e^{ix}\" class=\"latex\" \/> is an infinitely differentiable function. Using the Taylor Series formula for the coefficients, we get the function <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=e%5E%7Bix%7D+%3D+1+%2B+ix+-+%5Cfrac%7Bx%5E2%7D%7B2%21%7D+-+i%5Cfrac%7Bx%5E3%7D%7B3%21%7D+%2B%5Cfrac%7Bx%5E4%7D%7B4%21%7D+%2B+i%5Cfrac%7Bx%5E5%7D%7B5%21%7D+-+...&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"e^{ix} = 1 + ix - &#92;frac{x^2}{2!} - i&#92;frac{x^3}{3!} +&#92;frac{x^4}{4!} + i&#92;frac{x^5}{5!} - ...\" class=\"latex\" \/>. By grouping the terms containing <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=i&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"i\" class=\"latex\" \/> together, we get <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=e%5E%7Bix%7D+%3D+%281+-+%5Cfrac%7Bx%5E2%7D%7B2%21%7D+%2B+%5Cfrac%7Bx%5E4%7D%7B4%21%7D+-+...%29+%2B+i%28x+-+%5Cfrac%7Bx%5E3%7D%7B3%21%7D+%2B+%5Cfrac%7Bx%5E5%7D%7B5%21%7D+-+...%29&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"e^{ix} = (1 - &#92;frac{x^2}{2!} + &#92;frac{x^4}{4!} - ...) + i(x - &#92;frac{x^3}{3!} + &#92;frac{x^5}{5!} - ...)\" class=\"latex\" \/>. The power series in the parentheses should look familiar! Crazy enough they are the Taylor Series expansion for <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=cos%28x%29&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"cos(x)\" class=\"latex\" \/> and <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=sin%28x%29&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"sin(x)\" class=\"latex\" \/> Therefore we can conclude that <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=e%5E%7Bix%7D+%3D+cos%28x%29+%2B+isin%28x%29&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"e^{ix} = cos(x) + isin(x)\" class=\"latex\" \/> which is exactly what Euler&#8217;s Formula says!<\/p>\n<p>Just by looking at the Taylor Series expansions of a few simple functions, we are able to come to a pretty amazing result! Not only is Euler&#8217;s Formula a neat example of Taylor Series, but it is actually used in many important calculations! The function <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=e%5E%7Bix%7D&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"e^{ix}\" class=\"latex\" \/> is a solution for many partial differential equations and is therefore used heavily in many applications of Mathematics. Some examples are Electricity and Magnetism, Quantum Mechanics, and Topology! If nothing else I hope you have learned that Taylor Series do not just represent a few random theorems in our textbook, but are instead extremely powerful tools that are implemented in important and interesting scenarios in both Mathematics and Physics!<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Taylor Series Taylor Series provide a way to express many\u00a0functions that are infinitely differentiable on some interval as a power series. If is such a function, then the power series coefficients are given by Taylor&#8217;s Formula which says that if , then . This is discussed\u00a0in Chapter 6 of Abbott&#8217;s text. Let&#8217;s use this idea [&hellip;]<\/p>\n","protected":false},"author":3029,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"jetpack_post_was_ever_published":false,"_jetpack_newsletter_access":"","_jetpack_dont_email_post_to_subs":false,"_jetpack_newsletter_tier_id":0,"_jetpack_memberships_contains_paywalled_content":false,"_jetpack_memberships_contains_paid_content":false,"footnotes":"","jetpack_publicize_message":"","jetpack_publicize_feature_enabled":true,"jetpack_social_post_already_shared":true,"jetpack_social_options":{"image_generator_settings":{"template":"highway","default_image_id":0,"font":"","enabled":false},"version":2}},"categories":[44423],"tags":[],"class_list":["post-640","post","type-post","status-publish","format-standard","hentry","category-fall-2016"],"jetpack_publicize_connections":[],"jetpack_featured_media_url":"","jetpack_sharing_enabled":true,"jetpack_shortlink":"https:\/\/wp.me\/p7L4E1-ak","jetpack-related-posts":[],"_links":{"self":[{"href":"https:\/\/blog.richmond.edu\/math320\/wp-json\/wp\/v2\/posts\/640","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/blog.richmond.edu\/math320\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/blog.richmond.edu\/math320\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/blog.richmond.edu\/math320\/wp-json\/wp\/v2\/users\/3029"}],"replies":[{"embeddable":true,"href":"https:\/\/blog.richmond.edu\/math320\/wp-json\/wp\/v2\/comments?post=640"}],"version-history":[{"count":0,"href":"https:\/\/blog.richmond.edu\/math320\/wp-json\/wp\/v2\/posts\/640\/revisions"}],"wp:attachment":[{"href":"https:\/\/blog.richmond.edu\/math320\/wp-json\/wp\/v2\/media?parent=640"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/blog.richmond.edu\/math320\/wp-json\/wp\/v2\/categories?post=640"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/blog.richmond.edu\/math320\/wp-json\/wp\/v2\/tags?post=640"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}