DOCSLIB.ORG

Arxiv:1902.08910V3 [Math.GM] 26 Oct 2020

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Arxiv:1902.08910V3 [Math.GM] 26 Oct 2020 Extension of Algebraic Solutions Using the Lambert W Function Sidney Edwards Abstract The Lambert W function has utility for solving various exponential and logarithmic equations arranged in the form of f(x)eg(x). This document presents a variety of categorized inversion formulas and identities making use of the W function and tetration. Related techniques are then used to derive polar forms of exponential and related functions. Contents 1 Introduction 1 1.1 Overview Of The W Function 1 1.2 Tetration 2 1.3 Identities of the W function 2 2 New Solutions to Equations 3 2.1 Examples of Applications 6 2.2 Combining Branches of the W Function 6 3 Representation in polar coordinates 7 3.1 Rotations in Cartesian coordinates 8 4 Derivations 11 5 References 28 arXiv:1902.08910v3 [math.GM] 26 Oct 2020 [email protected] Extension of Algebraic Solutions Using the Lambert W Function 1 1 Introduction This document presents a series of algebraic applications of the Lambert W function, specifically in using it for deriving new solutions to various exponential and logarithmic equations. Section 2, beginning on page 3 summarizes these solutions with proof of derivations starting on page 11. Although the W function has been defined since the time of Euler, it has only recently been applied to common sciences and mathematics. It is used in models for mechanics [5], electrical engineering [6], quantum physics [7] and computational science [8]. For example, consider an equation used in chemical engineering for modeling the time evolution of film thickness of particles in a reaction, with D(t) representing film thickness over time, a and b representing reaction constants and W(t) is the Lambert W function [10]: f(t; D(t)) 2 R2g b h 2 2 i D(t) = 1 + W (−e−1−a t=b ) : a To understand how to arrive at an exact solution for time, one must know the W function's definition and properties in the following sections. The exact solution is shown on page 6. 1.1 Overview Of The W Function The Lambert W function (or \W function") denoted as W (z) (for any z 2 C), is defined as the inverse of zez [1] and satisfies the relationship z = W (z)eW (z): It was originally introduced by Johann Heinrich Lambert when considering functions containing combinations of polynomials and exponents. Euler later utilized it for his famous power tower function and defined its relation to tetration [9]. Although it is analytically defined in the complex plane, this document restricts the W function and consequent derivations to real-valued functions. 1 Figure 1: The W function of the real variable x is shown below as multivalued for x 2 R over [− e ; 0) and is comprised of two branches [2]. The principal branch, denoted W0(x), is the Lambert W function on 1 1 the interval [− e ; 1) with W (x) ≥ −1, while the second branch, W−1(x), lies on the interval [− e ; 0) with W (x) ≤ −1 [1]. Extension of Algebraic Solutions Using the Lambert W Function 2 1.2 Tetration The Lambert W function was shown to be related to tetration by Leonard Euler in his work on iterated exponentials [3]. Tetration is a term coined for the next iterative operator beyond exponentiation or otherwise called iterated exponentiation [4]. A notation similar to an exponent can be used to represent this operation: a::: na = aa | {z } n times with a being the base and n and being the height of tetration [8]. This can more simply be suggested as \a to the height of n". Tetration has two different inverse operations, one being an iterated logarithm [8] and other other being what is only colloquially called the super root or tetra root. The tetra root is the inverse operator that returns the base for a given nth height. For instance, in the case of xx, or 2x, the tetra square root would be used to return x, x tr2(x ) = x: This relates to the W function which can be used to define the tetra square root, derived from finding the inverse of f(x) = xx: y = xx ln(y)) = x ln(x) = eln(x) ln(x) W (ln(y) = ln(x) eW (ln(y) = x: This shows that the inverse of xx is eW (ln(f(x)) explicitly notates the tetra square root. For real numbers, − 1 this function's principal branch is defined over the interval [e e ; 1). In working with intricate exponents, it is useful to condense the notation for certain operations. One of these is the nth tetra root, which can be denoted generally as trn(x). For clarification, t represents tetra, r as root and n the height of tetration it inverts. 1.3 Identities of the W function Starting from W (z) z = W (z)e ; z 2 C [1] the following identities can be derived: z W Exponential Identity z = W (z)eW (z) ! eW (z) = W (z) W Log-Difference Identity ln(z) = ln W (z)eW (z) ! ln(W (z) = ln(z) − W (z) nzn W Product Identity nW (z) = W nW (z)enW (z) ! nW (z) = W W (z)n−1 W Sum Identity Extension of Algebraic Solutions Using the Lambert W Function 3 1 1 W (x) + W (y) = W [W (x) + W (y)]eW (x)+W (y) ! W (x) + W (y) = W xy + W (y) W (x) A change of base formula can be derived by generalizing the base of the exponent: x logb(a)x y = xa logb(a)y = logb(a)xb W0;a(y) = x W0;b(logb(a)y) = logb(a)x logb(a)x W (log (a)y) y = xb 0;b b = x logb(a) W0;b(logb(a)y) and thus the change of base formula is W0;a(y) = : logb(a) 2 New Solutions to Equations Below is the series of various exponential and logarithmic equations with their respective inverses alluded to earlier, arranged by category. Inverses of functions similar in form to zez harness the W function, starting with the basic example y = xeax: This function is inverted by manipulating the factor into the same form as the exponent to implore the use of the W function: y = xeax W (ay) = ax ay = axeax W (ay) = x: a This is also true for more complicated functions containing combinations of logarithms, exponents and specific types of polynomials (See pages 11-27 for proof of derivations). In the following sections, generalized real constants are represented as a; b; c; d; f and g though with f(x) specifically representing a function of the real variable x in equations (4), (5) and (8). \e" in all derivations denotes Euler's number. In application of any following solutions, note the previously mentioned domain restrictions. Only one branch of the W function will result if the argument of the inverse function is strictly greater than 0. Products of Exponentials and Polynomials c dx+f c d 1 db − f b y = (ax + b) e W y c e ac c − =x (1) d ac a 1=c c [a + c]y1=c c W [a+c]y y = eaW (x)+bxc W e a+c ceb=c =x (2) a + c ceb=c 1 2 cd(y−f)d=b 3 d d bW ( ) y = axbecx + f bad=b =x (3) 4 cd 5 bd=a dfx=a dfx=a ! ax + b W ( cde xe ) − W ( dfxe ) f(x) = f 0 a −1 a − bd=a =x (4) ce−dx − f d −b −b −b −b ! W ( xe a ) − W ( xe a ) f(x) = ax coth(bx) − ax f 0 a −1 a =x: (5) 2b Extension of Algebraic Solutions Using the Lambert W Function 4 Products of Logarithms and Polynomials −f=b 1=c ln(axb)c W −f[a dy] y = e a1=bbc =x (6) dxf 1− b+c 1 b b c b+c 1− b+c b hy i b+c y = ax W (x) ( ) b W =x (7) b b + c a 0 2 (d−cb=a)x 1 W ((d−cb=a)xe(d−cb=a)x)−W (− c(d−cb=a) xe ) ln(ax + b) e a − b f(x) = f =x (8) cx + d @ a A Products of Logarithms and Exponentials x 2 y y = W (x)e ln( tr3(e )) =x (9) Products of Logarithms y ln(x) 1 − y y−1 y = =x (10) W (x) W (1 − y) 1 eab 1 − eab y−c aW (bx) W ( y−c ) y = + c =x (11) x(W (bx) + 1) eb Sums of Exponentials and Polynomials dx 1 a dc d y−b y = ax + b + ce ln W e a =x (12) d dc a Sums of Logarithms and Polynomials y − b c y = ax + b + ceW (x) W ec=a − =W (x) (13) a a ad y − ab x W ( e c c ) y = a(x + b) + c ln c =x (14) d a 1=a bW (eay=b) y = xa + ln(xb) =x (15) a Sums of Logarithms 1 b " a+b by=a # aW ( a+b eby=a) aW ( e ) a y = ln(xa) + W (xb) a e b(a+b) =x (16) a + b y y y = W (ax) − W (bx) exp =x (17) abey − a2 bey − a y = W (x) + W (1=x) (18) ey=2 h i1=2 p y2ey − 2 + p(y2ey − 2)2 − 4 2 p p −1=2 −y=2h 2 y 2 y 2 i ·e− 2e y e −2+ (y e −2) −4 = x e−y=2 h i−1=2 p y2ey − 2 − p(y2ey − 2)2 − 4 2 Extension of Algebraic Solutions Using the Lambert W Function 5 −y=2 h p i−1=2 e p y2ey −2− (y2ey −2)2−4 ·e 2 = x y = 2W (ax) − W ([bx]2) (19) r ! a b2 − e−y 1 − yey − 1 b2 a2 2 q 2 − a e−y 1− b yey −1 ·e b2 a2 = x r ! a b2 e−y 1 − yey + 1 b2 a2 2 q 2 a e−y 1− b yey +1 ·e b2 a2 = x Pn Qn ak 1= k=1 ak [ k=1 bk ] y n exp W Pn a X k=1 k y = x ak ln(bkx) Pn =x (20) Qn ak 1= k=1 ak k=1 [ k=1 bk ] Composites of Exponentials and Polynomials c dx+f c d 1 db − f b y = (ax + b) e W y c e ac c − =x (21) d ac a 1 2 cd(y−f)d=b 3 d d bW ( ) y = axbecx + f bad=b =x (22) 4 cd 5 d=b W ( a d ln(y))=d d e bc y = (axb)cx =x (23) a1=b Composites of Exponentials and Logarithms 1=c c [a + c]y1=c c W [a+c]y y = eaW (x)+bxc W e a+c ceb=c =x (24) a + c ceb=c p − ln(b)± ln2(b)−4 ln(c)(ln(y)−ln(a)) y = a(bxln(c))ln(x) e 2 ln(c) =x (25) y c y c 1 bsr (xc) p1 [W (2 ln(( ) b )) ln(( ) a ] 2 y = ax 2 e c 2 a a =x (26) d=b exp W a d ln(y) =d d bc y = (axb)cx =x (27) a1=b 2 y b=c tr3 a y = a tr (bx)cx =x (28) 2 b Composites of Logarithms and Polynomials ay 1=a bW (e b ) y = xa + ln(xb) =x (29) a " #1=b ! aW ( a+b eby=a) aW ( a+b eby=a) y = ln(xa) + W (xb) a exp a =x (30) a + b b(a + b) Extension of Algebraic Solutions Using the Lambert W Function 6 2.1 Examples of Applications Different physical and mathematical applications can be seen harnessing the W function.
Load more

Recommended publications
  • 3 Elementary Functions
    3 Elementary Functions We already know a great deal about polynomials and rational functions: these are analytic on their entire domains. We have thought a little about the square-root function and seen some difficulties. The remaining elementary functions are the exponential, logarithmic and trigonometric functions. 3.1 The Exponential and Logarithmic Functions (§30–32, 34) We have already defined the exponential function exp : C ! C : z 7! ez using Euler’s formula ez := ex cos y + iex sin y (∗) and seen that its real and imaginary parts satisfy the Cauchy–Riemann equations on C, whence exp C d z = z is entire (analytic on ). Indeed recall that dz e e . We have also seen several of the basic properties of the exponential function, we state these and several others for reference. Lemma 3.1. Throughout let z, w 2 C. 1. ez 6= 0. ez 2. ez+w = ezew and ez−w = ew 3. For all n 2 Z, (ez)n = enz. 4. ez is periodic with period 2pi. Indeed more is true: ez = ew () z − w = 2pin for some n 2 Z Proof. Part 1 follows trivially from (∗). To prove 2, recall the multiple-angle formulae for cosine and sine. Part 3 requires an induction using part 2 with z = w. Part 4 is more interesting: certainly ew+2pin = ew by the periodicity of sine and cosine. Now suppose ez = ew where z = x + iy and w = u + iv. Then, by considering the modulus and argument, ( ex = eu exeiy = eueiv =) y = v + 2pin for some n 2 Z We conclude that x = u and so z − w = i(y − v) = 2pin.
    [Show full text]
  • Inverse Trigonometric Functions
    Chapter 2 INVERSE TRIGONOMETRIC FUNCTIONS vMathematics, in general, is fundamentally the science of self-evident things. — FELIX KLEIN v 2.1 Introduction In Chapter 1, we have studied that the inverse of a function f, denoted by f–1, exists if f is one-one and onto. There are many functions which are not one-one, onto or both and hence we can not talk of their inverses. In Class XI, we studied that trigonometric functions are not one-one and onto over their natural domains and ranges and hence their inverses do not exist. In this chapter, we shall study about the restrictions on domains and ranges of trigonometric functions which ensure the existence of their inverses and observe their behaviour through graphical representations. Besides, some elementary properties will also be discussed. The inverse trigonometric functions play an important Aryabhata role in calculus for they serve to define many integrals. (476-550 A. D.) The concepts of inverse trigonometric functions is also used in science and engineering. 2.2 Basic Concepts In Class XI, we have studied trigonometric functions, which are defined as follows: sine function, i.e., sine : R → [– 1, 1] cosine function, i.e., cos : R → [– 1, 1] π tangent function, i.e., tan : R – { x : x = (2n + 1) , n ∈ Z} → R 2 cotangent function, i.e., cot : R – { x : x = nπ, n ∈ Z} → R π secant function, i.e., sec : R – { x : x = (2n + 1) , n ∈ Z} → R – (– 1, 1) 2 cosecant function, i.e., cosec : R – { x : x = nπ, n ∈ Z} → R – (– 1, 1) 2021-22 34 MATHEMATICS We have also learnt in Chapter 1 that if f : X→Y such that f(x) = y is one-one and onto, then we can define a unique function g : Y→X such that g(y) = x, where x ∈ X and y = f(x), y ∈ Y.
    [Show full text]
  • Inverse Trigonometric Functions
    INVERSE TRIGONOMETRIC FUNCTIONS MATH 153, SECTION 55 (VIPUL NAIK) Corresponding material in the book: Section 7.7. What students should already know: The definitions of the trigonometric functions and the key identities relating them. What students should definitely get: The definitions of the inverse trigonometric functions for sine and cosine. The definitions of the other inverse trigonometric functions, and the differentiation rules for these functions. The application of these to some specific types of indefinite integration. What students should hopefully get: The domain/range subtleties for inverse trigonometric func- tions. The one-sided nature of inverses, and how to compute arcsin ◦ sin and similar things in general. The “magic” of finding inverse trigonometric functions as antiderivatives of algebraic functions (rational functions and radical functions). Note: If you would like a more detailed review of trigonometry concepts and ideas, please look at the notes titled Trigonometry review back from 152. These notes were not covered in class, but were included for reference. Executive summary Words ... (1) The functions sin, cos, tan, and their reciprocals are all periodic functions. While tan and cot have a period of π, the other four have a period of 2π each. While sin and cos are continuous and defined for all real numbers, the other four functions have points of discontinuity where they approach infinities of different signs from both sides. Also, tan and cot are one-to-one on a single period domain, while the other functions are usually two-to-one. (2) To construct inverses to these functions, we take intervals small enough such that the function is one-to-one restricted to that interval, but the range of the function restricted to that interval is the whole range.
    [Show full text]
  • Having Fun with Lambert W(X) Function Arxiv:1003.1628V2
    Having Fun with Lambert W(x) Function Darko Vebericˇ a,b,c a University of Nova Gorica, Slovenia b IK, Forschungszentrum Karlsruhe, Germany c J. Stefan Institute, Ljubljana, Slovenia June 2009 Abstract This short note presents the Lambert W(x) function and its possible application in the framework of physics related to the Pierre Auger Observatory. The actual numerical implementation in C++ consists of Halley’s and Fritsch’s iteration with branch-point arXiv:1003.1628v2 [cs.MS] 7 Jan 2018 expansion, asymptotic series and rational fits as initial approximations. 0 W0 -1 L x -2 W H -1 W -3 -4 -0.4 -0.2 0.0 0.2 0.4 0.6 0.8 1.0 x Figure 1: The two branches of the Lambert W function, W−1(x) in blue and W0(x) in red. The branching point at (−e−1, −1) is denoted with a green dash. 1 Introduction The Lambert W(x) function is defined as the inverse function of y exp y = x, (1) the solution being given by y = W(x), (2) or shortly W(x) exp W(x) = x. (3) Since the x 7! x exp x mapping is not injective, no unique inverse of the x exp x function exists. As can be seen in Fig.1, the Lambert function has two real branches with a branching −1 point located at (−e , −1). The bottom branch, W−1(x), is defined in the interval x 2 [−e−1, 0] and has a negative singularity for x ! 0−. The upper branch is defined for x 2 [−e−1, ¥].
    [Show full text]
  • Inverse Trigonometric Functions
    Natural Trigonometry INVERSE TRIGONOMETRIC FUNCTIONS We can think of the act of computing the sine of an angle as a function operation. “Sine” assigns to each angle θ the height of the Sun at angle of elevation θ on a circle of radius 1. Similarly, “cosine” is a function that assigns to each real number, an angle measure θ , a real number between −1 and 1, the “overness” of the Sun at that angle of elevation θ . To each input, one and only one output value is assigned. Question 1: Can “tangent” in trigonometry also be thought of as a function? If so, what are the allowable inputs (the domain)? What possible outputs could you see (the range)? It’s fun to wonder if we can go backwards. Given a height value first, can we determine which angle has that sine value? Given an overness value first, can we determine which angle has that cosine value? The trouble here, of course, that there that are many different angle of elevation values that yield a Sun position of the same height. For example, for a height of h = 0.5, we see that sin( 30 ) , sin( 150 ) , and sin(− 210 ) , for example, all have value h . (Make sure you truly understand this.) JAMES TANTON 1 Natural Trigonometry Question 2: Find seven different angles θ for which cos(θ ) = − 0.5. Question 3: Find three different angles θ for which tan(θ ) = − 1. There are an infinitude of angle measures θ for which sin(θ ) = 0.5 . They are 30 and 150 , and these two angles adjusted by positive or negative integer multiples of 360 (to give 30+= 360 390 and 30−=− 720 690 and 150+= 3600 3750 , and such).
    [Show full text]
  • Inverse Trigonometric Functions 2
    INVERSE TRIGONOMETRIC FUNCTIONS 2 INTRODUCTION In chapter 1, we learnt that only one-one and onto functions are invertible. If a function f is one-one and onto, then its inverse exists and is denoted by f –1. We shall notice that trigonometric functions are not one-one over their whole domains and hence their inverse do not exist. It often happens that a given function f may not be one-one in the whole of its domain, but when we restrict it to a part of the domain, it may be so. If a function is one-one on a part of its domain, it is said to be inversible on that part only. If a function is inversible in serveral parts of its domain, it is said to have an inverse in each of these parts. In this chapter, we shall notice that trigonometric functions are not one-one over their whole domains and hence we shall restrict their domains to ensure the existence of their inverses and observe their behaviour through graphical representation. The inverse trigonometric functions play a very important role in calculus and are used extensively in science and engineering. REMARK → Let a real function f : Df Rf , where Df = domain of f and Rf = range of f, be invertible, –1 → –1 ∈ ∈ then f : Rf Df is given by f (y) = x iff y = f (x) for all x Df and y Rf . Thus, the roles of x and y are just interchanged during the transition from f to f –1 ∈ In fact, graph of f ={(x, y) : y = f (x), for all x Df } and –1 –1 ∈ graph of f ={(y, x) : x = f (y), for all y Rf } ∈ ={(y, x) : y = f (x), for all x Df }.
    [Show full text]
  • Inverse Trigonometric Functions
    Chapter 2 INVERSE TRIGONOMETRIC FUNCTIONS vMathematics, in general, is fundamentally the science of self-evident things. — FELIX KLEIN v 2.1 Introduction In Chapter 1, we have studied that the inverse of a function f, denoted by f–1, exists if f is one-one and onto. There are many functions which are not one-one, onto or both and hence we can not talk of their inverses. In Class XI, we studied that trigonometric functions are not one-one and onto over their natural domains and ranges and hence their inverses do not exist. In this chapter, we shall study about the restrictions on domains and ranges of trigonometric functions which ensure the existence of their inverses and observe their behaviour through graphical representations. Besides, some elementary properties will also be discussed. The inverse trigonometric functions play an important Aryabhata role in calculus for they serve to define many integrals. (476-550 A. D.) The concepts of inverse trigonometric functions is also used in science and engineering. 2.2 Basic Concepts In Class XI, we have studied trigonometric functions, which are defined as follows: sine function, i.e., sine : R → [– 1, 1] cosine function, i.e., cos : R → [– 1, 1] π tangent function, i.e., tan : R – { x : x = (2n + 1) , n ∈ Z} → R 2 cotangent function, i.e., cot : R – { x : x = nπ, n ∈ Z} → R π secant function, i.e., sec : R – { x : x = (2n + 1) , n ∈ Z} → R – (– 1, 1) 2 cosecant function, i.e., cosec : R – { x : x = nπ, n ∈ Z} → R – (– 1, 1) 2019-20 34 MATHEMATICS We have also learnt in Chapter 1 that if f : X→Y such that f(x) = y is one-one and onto, then we can define a unique function g : Y→X such that g(y) = x, where x ∈ X and y = f(x), y ∈ Y.
    [Show full text]
  • Properties and Computation of the Inverse of the Gamma Function
    Western University Scholarship@Western Electronic Thesis and Dissertation Repository 4-23-2018 11:30 AM Properties and Computation of the Inverse of the Gamma function Folitse Komla Amenyou The University of Western Ontario Supervisor Jeffrey,David The University of Western Ontario Graduate Program in Applied Mathematics A thesis submitted in partial fulfillment of the equirr ements for the degree in Master of Science © Folitse Komla Amenyou 2018 Follow this and additional works at: https://ir.lib.uwo.ca/etd Part of the Numerical Analysis and Computation Commons Recommended Citation Amenyou, Folitse Komla, "Properties and Computation of the Inverse of the Gamma function" (2018). Electronic Thesis and Dissertation Repository. 5365. https://ir.lib.uwo.ca/etd/5365 This Dissertation/Thesis is brought to you for free and open access by Scholarship@Western. It has been accepted for inclusion in Electronic Thesis and Dissertation Repository by an authorized administrator of Scholarship@Western. For more information, please contact [email protected]. Abstract We explore the approximation formulas for the inverse function of Γ. The inverse function of Γ is a multivalued function and must be computed branch by branch. We compare ˇ three approximations for the principal branch Γ0. Plots and numerical values show that the choice of the approximation depends on the domain of the arguments, specially for small arguments. We also investigate some iterative schemes and find that the Inverse Quadratic Interpolation scheme is better than Newton's scheme for improving the initial approximation. We introduce the contours technique for extending a real-valued function into the complex plane using two examples from the elementary functions: the log and the arcsin functions.
    [Show full text]
  • The Lambert W Function 1 0 Robert M
    Princeton Companion to Applied Mathematics Proof 1 W W The Lambert W Function 1 0 Robert M. Corless and David J. Jeffrey –e–1 1 Definition and Basic Properties z –1 1 2 3 For a given complex number z, the equation wew = z –1 has a countably infinite number of solutions, which are denoted by Wk(z) for integers k. Each choice of k speci- –2 fies a branch of the Lambert W function. By convention, only the branches k = 0 (called the principal branch) and k =−1 are real-valued for any z; the range of every other branch excludes the real axis, although the range –3 of W1(z) includes (−∞, −1/e] in its closure. Only W0(z) W–1 contains positive values in its range (see figure 1). When z =−1/e (the only nonzero branch point), there is a –4 w double root w =−1 of the basic equation we = z. Figure 1 Real branches of the Lambert W function. The The conventional choice of branches assigns solid line is the principal branch W0; the dashed line is W−1, which is the only other branch that takes real values. The W (− / ) = W (− / ) =− 0 1 e −1 1 e 1 small filled circle at the branch point corresponds to the 2 one in figure 2. and implies that W1(−1/e−iε ) =−1+O(ε) is arbitrar- ily close to −1, because the conventional branch choice means that the point −1 is on the border between these The Wright ω function helps to solve the equation three branches.
    [Show full text]
  • Complex Logarithms
    SECTION 3.5 95 §3.5 Complex Logarithm Function The real logarithm function ln x is defined as the inverse of the exponential function — y =lnx is the unique solution of the equation x = ey. This works because ex is a x1 x2 z one-to-one function; if x1 =6 x2, then e =6 e . This is not the case for e ; we have seen that ez is 2πi-periodic so that all complex numbers of the form z +2nπi are mapped by w = ez onto the same complex number as z. To define the logarithm function, log z, as the inverse of ez is clearly going to lead to difficulties, and these difficulties are much like those encountered when finding the inverse function of sin x in real-variable calculus. Let us proceed. We call w a logarithm of z, and write w = log z,ifz = ew. To find w we let w = u + vi be the Cartesian form for w and z = reθi be the exponential form for z. When we substitute these into z = ew, reθi = eu+vi = euevi. According to conditions 1.20, equality of these complex numbers implies that eu = r or u =lnr, and v = θ = arg z. Thus, w =lnr + θi, and a logarithm of a complex number z is log z =ln|z| + (arg z)i. (3.21) We use ln only for logarithms of real numbers; log denotes logarithms of com- plex numbers using base e (and no other base is used). Because equation 3.21 yields logarithms of every nonzero complex number, we have defined the complex logarithm function.
    [Show full text]
  • Long Lecture Notes
    NST Part IB Complex Methods Lecture Notes Abstract This document contains the long version of the lecture notes for the IB course Complex Methods. These notes are extensive and written such that they can be consumed either together with the lecture or on their own. In drafting these notes, I am indebted to previous lecturers of this course and, in particular, the notes by R. E. Hunt (see also Dexter Chua's site https://dec41.user.srcf.net/notes/) and Gary Gibbons. I also thank Owain Salter Fitz-Gibbon and Miren Radia for discussions and comments on the lecture notes. These notes assume that readers are already familiar with complex numbers, calculus n in multi-dimensional real space R , and Fourier transforms. The most important features of these three areas are briefly summarized, but not at the level of a dedicated lecture. This course is primarily aimed at applications of complex methods; readers interested in a more rigorous treatment of proofs are refered to the IB Complex Analysis lecture. Some more extensive discussions may also be found in the following books, though readers are not required to have studied them. • M. J. Ablowitz and A. S. Fokas, Complex variables: introduction and applications. Cambridge University Press (2003) • G. B. Arfken, H. J. Weber, and F. E. Harris, Mathematical Methods for Physicists. Elsevier (2013) • G. J. O. Jameson, A First Course in Complex Functions. Chapman and Hall (1970) • T. Needham, Visual complex analysis, Clarendon (1998) • H. A. Priestley, Introduction to Complex Analysis. Clarendon (1990) • K. F. Riley, M. P. Hobson, and S.
    [Show full text]
  • The Gamma Function (Factorial Function)
    CHAPTER 8 THE GAMMA FUNCTION (FACTORIAL FUNCTION) The gamma function appears occasionally in physical problems such as the normalization of Coulomb wave functions and the computation of probabilities in statistical mechanics. In general, however, it has less direct physical application and interpretation than, say, the Legendre and Bessel functions of Chapters 11 and 12. Rather, its importance stems from its usefulness in developing other functions that have direct physical application. The gamma function, therefore, is included here. 8.1 DEFINITIONS,SIMPLE PROPERTIES At least three different, convenient definitions of the gamma function are in common use. Our first task is to state these definitions, to develop some simple, direct consequences, and to show the equivalence of the three forms. Infinite Limit (Euler) The first definition, named after Euler, is 1 2 3 n Ŵ(z) lim · · ··· nz,z0, 1, 2, 3,.... (8.1) ≡ n z(z 1)(z 2) (z n) = − − − →∞ + + ··· + This definition of Ŵ(z) is useful in developing the Weierstrass infinite-product form of Ŵ(z), Eq. (8.16), and in obtaining the derivative of ln Ŵ(z) (Section 8.2). Here and else- 499 500 Chapter 8 Gamma–Factorial Function where in this chapter z may be either real or complex. Replacing z with z 1, we have + 1 2 3 n z 1 Ŵ(z 1) lim · · ··· n + + = n (z 1)(z 2)(z 3) (z n 1) →∞ + + + ··· + + nz 1 2 3 n lim · · ··· nz = n z n 1 · z(z 1)(z 2) (z n) →∞ + + + + ··· + zŴ(z). (8.2) = This is the basic functional relation for the gamma function.
    [Show full text]