{"id":21,"date":"2004-04-09T14:35:59","date_gmt":"2004-04-09T14:35:59","guid":{"rendered":"http:\/\/www.sixthform.info\/maths\/?p=21"},"modified":"2004-04-09T14:35:59","modified_gmt":"2004-04-09T14:35:59","slug":"the-lambertw-function","status":"publish","type":"post","link":"https:\/\/www.sixthform.info\/maths\/?p=21","title":{"rendered":"The LambertW Function"},"content":{"rendered":"<p>Many equations cannot be solved exactly without using special functions. For example, to solve <img src='\/maths\/latexrender\/pictures\/c6fd7fb097fac086c994a0202318a1cb.gif' title='2^x=3' alt='2^x=3' align=absmiddle> requires the use of the <img src='\/maths\/latexrender\/pictures\/5204fde33a37283fecb530a5edc7016a.gif' title='\\ln' alt='\\ln' align=absmiddle> function (or similar). This function is sometimes defined in terms of an integral from which their properties can be deduced. Thus <img src='\/maths\/latexrender\/pictures\/5204fde33a37283fecb530a5edc7016a.gif' title='\\ln' alt='\\ln' align=absmiddle> is defined by <img src='\/maths\/latexrender\/pictures\/4ea6c7b1b846ba19a5e7238f8a79b73b.gif' title='\\displaystyle \\ln x=\\int ^x _1 \\dfrac{dt}{t}\\text{ for } x&gt;0' alt='\\displaystyle \\ln x=\\int ^x _1 \\dfrac{dt}{t}\\text{ for } x&gt;0' align=absmiddle> and it is then clear that, for example, <img src='\/maths\/latexrender\/pictures\/a28c7c48bc558c1a2e34de63ae8c037d.gif' title='\\ln 1=0' alt='\\ln 1=0' align=absmiddle><\/p>\n<p>There are many equations that can only be solved in terms of newly-defined functions. One such function that isn&#8217;t all that well known is the <b>LambertW function<\/b> where <img src='\/maths\/latexrender\/pictures\/f8e8a2b7e60ef51e4ecc981831745f6e.gif' title='w\\left(x\\right)' alt='w\\left(x\\right)' align=absmiddle> is defined as a solution (for <img src='\/maths\/latexrender\/pictures\/f1290186a5d0b1ceab27f4e77c0c5d68.gif' title='w' alt='w' align=absmiddle>) of <img src='\/maths\/latexrender\/pictures\/72c2b07174d3e2d75ee33a60d8e4beb9.gif' title='we^w=x' alt='we^w=x' align=absmiddle>. This allows you to solve equations like <img src='\/maths\/latexrender\/pictures\/9e42f4df34ce4e7bada88e81988b3484.gif' title='2^x=x^8' alt='2^x=x^8' align=absmiddle> which was asked about on the <a href=\"http:\/\/www.sosmath.com\/CBB\/\" target=\"_blank\">S.O.S. Mathematics CyberBoard<\/a><\/p>\n<p>To solve <img src='\/maths\/latexrender\/pictures\/9e42f4df34ce4e7bada88e81988b3484.gif' title='2^x=x^8' alt='2^x=x^8' align=absmiddle> let <img src='\/maths\/latexrender\/pictures\/5251e371fce2ee38178d7d0d20c68856.gif' title='w=-\\ln x' alt='w=-\\ln x' align=absmiddle> so that <img src='\/maths\/latexrender\/pictures\/32bceee67dddbff730093274cb2e45e3.gif' title='x=e^{-w}' alt='x=e^{-w}' align=absmiddle>. Then<\/p>\n<p><img src='\/maths\/latexrender\/pictures\/41306263c932a6430251f94057044a1f.gif' title='2^x=x^8 \\Longrightarrow 2^{e^{-w}}=e^{-8w} \\Longrightarrow e^{-w}\\ln 2=-8w \\Longrightarrow -\\frac{1}{8}\\ln 2=we^w' alt='2^x=x^8 \\Longrightarrow 2^{e^{-w}}=e^{-8w} \\Longrightarrow e^{-w}\\ln 2=-8w \\Longrightarrow -\\frac{1}{8}\\ln 2=we^w' align=absmiddle><\/p>\n<p>Thus <img src='\/maths\/latexrender\/pictures\/93528121c997bd52353693e8ebdb27db.gif' title='w=w(\\frac{1}{8}\\ln 2)' alt='w=w(\\frac{1}{8}\\ln 2)' align=absmiddle> and so <img src='\/maths\/latexrender\/pictures\/c428b08a9a0e5d1c189ba746e2d3010a.gif' title='x=e^{-w}=-8\\dfrac{w(\\frac{1}{8}\\ln 2)}{\\ln 2}' alt='x=e^{-w}=-8\\dfrac{w(\\frac{1}{8}\\ln 2)}{\\ln 2}' align=absmiddle> which is our answer.<\/p>\n<p>Using tables or software this gives 1.100.<\/p>\n<p>But hang on, is that the only solution? No, because <img src='\/maths\/latexrender\/pictures\/bccdc72ea68badcc89364b0597407fc5.gif' title='2^x&lt;x ^8' alt='2^x&lt;x ^8' align=absmiddle> for small values of <img src='\/maths\/latexrender\/pictures\/9dd4e461268c8034f5c8564e155c67a6.gif' title='x' alt='x' align=absmiddle> and <img src='\/maths\/latexrender\/pictures\/f7b95051e8299ee7156878ce84e8019b.gif' title='2^x' alt='2^x' align=absmiddle> grows much faster than <img src='\/maths\/latexrender\/pictures\/f22667057ad708e8e73a6f2dd4c07edd.gif' title='x^8' alt='x^8' align=absmiddle> so <img src='\/maths\/latexrender\/pictures\/93e80bddb6bca006a37ae09e99dfa5b8.gif' title='2^x&gt;x^8' alt='2^x&gt;x^8' align=absmiddle> for large values of <img src='\/maths\/latexrender\/pictures\/9dd4e461268c8034f5c8564e155c67a6.gif' title='x' alt='x' align=absmiddle>. Since both <img src='\/maths\/latexrender\/pictures\/4118cacba18840b6b470776bb051e6bc.gif' title='x \\mapsto 2^x' alt='x \\mapsto 2^x' align=absmiddle> and <img src='\/maths\/latexrender\/pictures\/ad364de01b86e8d4bfd4fe9178343ac5.gif' title='x \\mapsto x^8' alt='x \\mapsto x^8' align=absmiddle> are continuous on <img src='\/maths\/latexrender\/pictures\/2369a2488f59aa39a3fca53e0eff9f88.gif' title='\\mathbb{R}' alt='\\mathbb{R}' align=absmiddle> there is another value of <img src='\/maths\/latexrender\/pictures\/9dd4e461268c8034f5c8564e155c67a6.gif' title='x' alt='x' align=absmiddle> for which <img src='\/maths\/latexrender\/pictures\/9e42f4df34ce4e7bada88e81988b3484.gif' title='2^x=x^8' alt='2^x=x^8' align=absmiddle>. A quick fiddle with a calculator gives <img src='\/maths\/latexrender\/pictures\/9dce8afd5f4906b7a8a8fb14ae6684f1.gif' title='x\\approx43.5' alt='x\\approx43.5' align=absmiddle>.<\/p>\n<p>Research into the LambertW function to find out how this other solution can be given in terms of this function.<\/x><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Many equations cannot be solved exactly without using special functions. For example, to solve requires the use of the function (or similar). This function is sometimes defined in terms of an integral from which their properties can be deduced. Thus is defined by and it is then clear that, for example, There are many equations [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[1],"tags":[],"class_list":["post-21","post","type-post","status-publish","format-standard","hentry","category-articles"],"_links":{"self":[{"href":"https:\/\/www.sixthform.info\/maths\/index.php?rest_route=\/wp\/v2\/posts\/21","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.sixthform.info\/maths\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.sixthform.info\/maths\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.sixthform.info\/maths\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.sixthform.info\/maths\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=21"}],"version-history":[{"count":0,"href":"https:\/\/www.sixthform.info\/maths\/index.php?rest_route=\/wp\/v2\/posts\/21\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.sixthform.info\/maths\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=21"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.sixthform.info\/maths\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=21"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.sixthform.info\/maths\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=21"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}