DOCSLIB.ORG

4. Complex Integration: Cauchy Integral Theorem and Cauchy Integral Formulas

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
4. Complex Integration: Cauchy Integral Theorem and Cauchy Integral Formulas 4. Complex integration: Cauchy integral theorem and Cauchy integral formulas Definite integral of a complex-valued function of a real variable Consider a complex valued function f(t) of a real variable t: f(t)= u(t)+ iv(t), which is assumed to be a piecewise continuous function defined in the closed interval a t b. The integral of f(t) from t = a to ≤ ≤ t = b, is defined as b b b f(t) dt = u(t) dt + i v(t) dt. Za Za Za 1 Properties of a complex integral with real variable of integration 1. b b b Re f(t) dt = Re f(t) dt = u(t) dt. Za Za Za 2. b b b Im f(t) dt = Im f(t) dt = v(t) dt. Za Za Za 3. b b b [γ1f1(t)+ γ2f2(t)] dt = γ1 f1(t) dt + γ2 f2(t) dt, Za Za Za where γ1 and γ2 are any complex constants. 4. b b f(t) dt f(t) dt. Za ≤ Za | | 2 To prove (4), we consider b b b f(t) dt = e iφ f(t) dt = e iφf(t) dt, − − Za Za Za b b where φ = Arg f(t) dt . Since f(t) dt is real, we deduce that Za ! Za b b b f(t) dt = Re e iφf(t) dt = Re [e iφf(t)] dt − − Za Za Za b b iφ e− f(t) dt = f(t) dt. ≤ Za | | Za | | 3 Example Suppose α is real, show that e2απi 1 2π α . | − |≤ | | Solution Let f(t)= eiαt, α and t are real. We obtain 2π 2π eiαt dt eiαt dt = 2π. Z0 ≤ Z0 | | The left-hand side of the above inequality is equal to 2π 2π eiαt e2απi 1 eiαt dt = = | − |. Z0 iα α 0 | | Combining the results, we obtain e2απi 1 2π α , α is real. | − |≤ | | 4 Definition of a contour integral Consider a curve C which is a set of points z = (x,y) in the complex plane defined by x = x(t), y = y(t), a t b, ≤ ≤ where x(t) and y(t) are continuous functions of the real parameter t. One may write z(t)= x(t)+ iy(t), a t b. ≤ ≤ The curve is said to be smooth if z(t) has continuous derivative • z (t) = 0 for all points along the curve. ′ 6 A contour is defined as a curve consisting of a finite number • of smooth curves joined end to end. A contour is said to be a simple closed contour if the initial and final values of z(t) are the same and the contour does not cross itself. 5 Let f(z) be any complex function defined in a domain in the • D complex plane and let C be any contour contained in with D initial point z0 and terminal point z. We divide the contour C into n subarcs by discrete points z , z , z , • 0 1 2 ...,zn 1,zn = z arranged consecutively along the direction of in- − creasing t. Let ζ be an arbitrary point in the subarc z z and form the • k k k+1 sum n 1 − f(ζ )(z z ). k k+1 − k kX=0 6 Subdivision of the contour into n subarcs by discrete points z ,z , , 0 1 ··· zn 1,zn = z. − 7 We write zk = zk+1 zk. Let λ = max zk and take the limit △ − k |△ | n 1 − lim f(ζk) zk. λ 0 △ n → kX=0 →∞ The above limit is defined to be the contour integral of f(z) along the contour C. If the above limit exists, then the function f(z) is said to be inte- grable along the contour C. If we write dz(t) dx(t) dy(t) = + i , a t b, dt dt dt ≤ ≤ then b dz(t) f(z) dz = f(z(t)) dt. ZC Za dt 8 Writing f(z)= u(x,y)+ iv(x,y) and dz = dx + idy, we have f(z) dz = u dx v dy + i u dy + v dx ZC ZC − ZC b dx(t) dy(t) = u(x(t),y(t)) v(x(t),y(t)) dt Za " dt − dt # b dy(t) dx(t) + i u(x(t),y(t)) + v(x(t),y(t)) dt. Za " dt dt # The usual properties of real line integrals are carried over to their complex counterparts. Some of these properties are: (i) f(z) dz is independent of the parameterization of C; ZC (ii) f(z) dz = f(z) dz, where C is the opposite curve of C; C − C − Z− Z (iii) The integrals of f(z) along a string of contours is equal to the sum of the integrals of f(z) along each of these contours. 9 Example Evaluate the integral 1 dz, C z z I − 0 where C is a circle centered at z0 and of any radius. The path is traced out once in the anticlockwise direction. Solution The circle can be parameterized by z(t)= z + reit, 0 t 2π, 0 ≤ ≤ where r is any positive real number. The contour integral becomes 1 2π 1 dz(t) 2π ireit dz = dt = dt = 2πi. C z z 0 z(t) z dt 0 reit I − 0 Z − 0 Z The value of the integral is independent of the radius r. 10 Example Evaluate the integral 1 (i) 2 and (ii) , z dz 2 dz ZC| | ZC z where the contour C is (a) the line segment with initial point 1 and final point i; − (b) the arc of the unit circle Im z 0 with initial point 1 and final ≥ − point i. Do the two results agree? 11 Solution (i) Consider z 2 dz, ZC | | (a) Parameterize the line segment by z = 1+(1+ i)t, 0 t 1, − ≤ ≤ so that z 2 = ( 1+ t)2 + t2 and dz = (1+ i) dt. | | − The value of the integral becomes 1 2 z 2 dz = (2t2 2t + 1)(1 + i) dt = (1 + i). ZC| | Z0 − 3 12 (b) Along the unit circle, z = 1 and z = eiθ, dz = ieiθdθ. The initial | | point and the final point of the path correspond to θ = π and π θ = 2, respectively. The contour integral can be evaluated as π π 2 2 z 2 dz = ieiθ dθ = eiθ =1+ i. ZC| | Zπ π The results in (a) and (b) do not agree. Hence, the value of this contour integral does depend on the path of integration. 13 1 (ii) Consider . 2 dz ZC z (a) line segment from 1 to i − 1 1 1 1+ i 1 1 dz = dt = = 1 = 1+i. C z2 0 [ 1+(1+ i)t]2 − 1+(1+ i)t − − i − Z Z 0 − − (b) subarc from 1 to i − π π 1 2 1 2 dz = ieiθ dθ = e iθ = 1+ i. 2 2iθ − ZC z Zπ e − π − 14 Estimation of the absolute value of a complex integral The upper bound for the absolute value of a complex integral can be related to the length of the contour C and the absolute value of f(z) along C. In fact, f(z) dz ML, ZC ≤ where M is the upper bound of f(z ) along C and L is the arc length | | of the contour C. 15 We consider b dz(t) f(z) dz = f(z(t)) dt ZC Za dt b dz(t) f(z(t)) dt ≤ Za | | dt b dz(t) M dt ≤ Za dt 2 2 b dx (t) dy(t) = M v + dt = ML. a u dt ! dt ! Z u t 16 Example Show that 1 dz 2, where C is the line segment joining 1+ i and 1+ i. 2 ZC z ≤ − Solution Along the contour C, we have z = x + i, 1 x 1, so that 1 1 1 − ≤ ≤ 1 ≤ z √2. Correspondingly, 1. Here, M = max = 1 | | ≤ 2 ≤ z 2 ≤ z C z 2 and the arc length L = 2. We have| | ∈ | | 1 dz ML = 2. 2 ZC z ≤ 17 Example Estimate an upper bound of the modulus of the integral Log z I = dz C z 4i Z − where C is the circle z = 3. | | ln z + Arg z Log z | | | | Now, so that z 4i ≤ z 4i − || |−| || Log z ln3+ π max =ln3+ π; L = (2π)(3) = 6π. z C z 4i ≤ 3 4 ∈ − | − | Log z Hence, dz 6π(π + ln 3). ZC z 4i ≤ − 18 Example Find an upper bound for ez/(z2 + 1) dz , where Γ is the circle Γ Z = 2 traversed once in the counterclockwise direction. z | | Solution The path of integration has length L = 4π. Next we seek an upper bound M for the function ez/(z2 + 1) when z = 2. Writing z = | | x + iy, we have ez = ex+iy = ex e2, for z = x2 + y2 = 2, | | | | ≤ | | q and by the triangle inequality z2 + 1 z 2 1 = 4 1 = 3 for z = 2. | |≥| | − − | | Hence, ez/(z2 + 1) e2/3 for z = 2, and so | |≤ | | ez e2 dz 4π. Γ z2 + 1 ≤ 3 · Z 19 Path independence Under what conditions that f(z) dz = f(z) dz, ZC1 ZC2 where C and C are two contours in a domain with the same 1 2 D initial and final points and f(z) is piecewise continuous inside . D The property of path independence is valid for f(z)= 1 but it fails z2 when f(z) = z 2. The above query is equivalent to the question: | | When does f(z) dz = 0 IC hold, where C is any closed contour lying completely inside ? The D equivalence is revealed if we treat C as C C .
Load more

Recommended publications
  • Integration in the Complex Plane (Zill & Wright Chapter
    Integration in the Complex Plane (Zill & Wright Chapter 18) 1016-420-02: Complex Variables∗ Winter 2012-2013 Contents 1 Contour Integrals 2 1.1 Definition and Properties . 2 1.2 Evaluation . 3 1.2.1 Example: R z¯ dz ............................. 3 C1 1.2.2 Example: R z¯ dz ............................. 4 C2 R 2 1.2.3 Example: C z dz ............................. 4 1.3 The ML Limit . 5 1.4 Circulation and Flux . 5 2 The Cauchy-Goursat Theorem 7 2.1 Integral Around a Closed Loop . 7 2.2 Independence of Path for Analytic Functions . 8 2.3 Deformation of Closed Contours . 9 2.4 The Antiderivative . 10 3 Cauchy's Integral Formulas 12 3.1 Cauchy's Integral Formula . 12 3.1.1 Example #1 . 13 3.1.2 Example #2 . 13 3.2 Cauchy's Integral Formula for Derivatives . 14 3.3 Consequences of Cauchy's Integral Formulas . 16 3.3.1 Cauchy's Inequality . 16 3.3.2 Liouville's Theorem . 16 ∗Copyright 2013, John T. Whelan, and all that 1 Tuesday 18 December 2012 1 Contour Integrals 1.1 Definition and Properties Recall the definition of the definite integral Z xF X f(x) dx = lim f(xk) ∆xk (1.1) ∆xk!0 xI k We'd like to define a similar concept, integrating a function f(z) from some point zI to another point zF . The problem is that, since zI and zF are points in the complex plane, there are different ways to get between them, and adding up the value of the function along one path will not give the same result as doing it along another path, even if they have the same endpoints.
    [Show full text]
  • Class 1/28 1 Zeros of an Analytic Function
    Math 752 Spring 2011 Class 1/28 1 Zeros of an analytic function Towards the fundamental theorem of algebra and its statement for analytic functions. Definition 1. Let f : G → C be analytic and f(a) = 0. a is said to have multiplicity m ≥ 1 if there exists an analytic function g : G → C with g(a) 6= 0 so that f(z) = (z − a)mg(z). Definition 2. If f is analytic in C it is called entire. An entire function has a power series expansion with infinite radius of convergence. Theorem 1 (Liouville’s Theorem). If f is a bounded entire function then f is constant. 0 Proof. Assume |f(z)| ≤ M for all z ∈ C. Use Cauchy’s estimate for f to obtain that |f 0(z)| ≤ M/R for every R > 0 and hence equal to 0. Theorem 2 (Fundamental theorem of algebra). For every non-constant polynomial there exists a ∈ C with p(a) = 0. Proof. Two facts: If p has degree ≥ 1 then lim p(z) = ∞ z→∞ where the limit is taken along any path to ∞ in C∞. (Sometimes also written as |z| → ∞.) If p has no zero, its reciprocal is therefore entire and bounded. Invoke Liouville’s theorem. Corollary 1. If p is a polynomial with zeros aj (multiplicity kj) then p(z) = k k km c(z − a1) 1 (z − a2) 2 ...(z − am) . Proof. Induction, and the fact that p(z)/(z − a) is a polynomial of degree n − 1 if p(a) = 0. 1 The zero function is the only analytic function that has a zero of infinite order.
    [Show full text]
  • A Property of the Derivative of an Entire Function
    A property of the derivative of an entire function Walter Bergweiler∗ and Alexandre Eremenko† July 21, 2011 Abstract We prove that the derivative of a non-linear entire function is un- bounded on the preimage of an unbounded set. MSC 2010: 30D30. Keywords: entire function, normal family. 1 Introduction and results The main result of this paper is the following theorem conjectured by Allen Weitsman (private communication): Theorem 1. Let f be a non-linear entire function and M an unbounded set in C. Then f ′(f −1(M)) is unbounded. We note that there exist entire functions f such that f ′(f −1(M)) is bounded for every bounded set M, for example, f(z)= ez or f(z) = cos z. Theorem 1 is a consequence of the following stronger result: Theorem 2. Let f be a transcendental entire function and ε > 0. Then there exists R> 0 such that for every w C satisfying w >R there exists ∈ | | z C with f(z)= w and f ′(z) w 1−ε. ∈ | | ≥ | | ∗Supported by the Deutsche Forschungsgemeinschaft, Be 1508/7-1, and the ESF Net- working Programme HCAA. †Supported by NSF grant DMS-1067886. 1 The example f(z)= √z sin √z shows that that the exponent 1 ε in the − last inequality cannot be replaced by 1. The function f(z) = cos √z has the property that for every w C we have f ′(z) 0 as z , z f −1(w). ∈ → → ∞ ∈ We note that the Wiman–Valiron theory [20, 12, 4] says that there exists a set F [1, ) of finite logarithmic measure such that if ⊂ ∞ zr = r / F and f(zr) = max f(z) , | | ∈ | | |z|=r | | then ν(r,f) z ′ ν(r, f) f(z) f(zr) and f (z) f(z) ∼ zr ∼ r −1/2−δ for z zr rν(r, f) as r .
    [Show full text]
  • Topic 7 Notes 7 Taylor and Laurent Series
    Topic 7 Notes Jeremy Orloff 7 Taylor and Laurent series 7.1 Introduction We originally defined an analytic function as one where the derivative, defined as a limit of ratios, existed. We went on to prove Cauchy's theorem and Cauchy's integral formula. These revealed some deep properties of analytic functions, e.g. the existence of derivatives of all orders. Our goal in this topic is to express analytic functions as infinite power series. This will lead us to Taylor series. When a complex function has an isolated singularity at a point we will replace Taylor series by Laurent series. Not surprisingly we will derive these series from Cauchy's integral formula. Although we come to power series representations after exploring other properties of analytic functions, they will be one of our main tools in understanding and computing with analytic functions. 7.2 Geometric series Having a detailed understanding of geometric series will enable us to use Cauchy's integral formula to understand power series representations of analytic functions. We start with the definition: Definition. A finite geometric series has one of the following (all equivalent) forms. 2 3 n Sn = a(1 + r + r + r + ::: + r ) = a + ar + ar2 + ar3 + ::: + arn n X = arj j=0 n X = a rj j=0 The number r is called the ratio of the geometric series because it is the ratio of consecutive terms of the series. Theorem. The sum of a finite geometric series is given by a(1 − rn+1) S = a(1 + r + r2 + r3 + ::: + rn) = : (1) n 1 − r Proof.
    [Show full text]
  • 1 the Complex Plane
    Math 135A, Winter 2012 Complex numbers 1 The complex numbers C are important in just about every branch of mathematics. These notes present some basic facts about them. 1 The Complex Plane A complex number z is given by a pair of real numbers x and y and is written in the form z = x+iy, where i satisfies i2 = −1. The complex numbers may be represented as points in the plane, with the real number 1 represented by the point (1; 0), and the complex number i represented by the point (0; 1). The x-axis is called the \real axis," and the y-axis is called the \imaginary axis." For example, the complex numbers 1, i, 3 + 4i and 3 − 4i are illustrated in Fig 1a. 3 + 4i 6 + 4i 2 + 3i imag i 4 + i 1 real 3 − 4i Fig 1a Fig 1b Complex numbers are added in a natural way: If z1 = x1 + iy1 and z2 = x2 + iy2, then z1 + z2 = (x1 + x2) + i(y1 + y2) (1) It's just vector addition. Fig 1b illustrates the addition (4 + i) + (2 + 3i) = (6 + 4i). Multiplication is given by z1z2 = (x1x2 − y1y2) + i(x1y2 + x2y1) Note that the product behaves exactly like the product of any two algebraic expressions, keeping in mind that i2 = −1. Thus, (2 + i)(−2 + 4i) = 2(−2) + 8i − 2i + 4i2 = −8 + 6i We call x the real part of z and y the imaginary part, and we write x = Re z, y = Im z.(Remember: Im z is a real number.) The term \imaginary" is a historical holdover; it took mathematicians some time to accept the fact that i (for \imaginary," naturally) was a perfectly good mathematical object.
    [Show full text]
  • The Integral Resulting in a Logarithm of a Complex Number Dr. E. Jacobs in first Year Calculus You Learned About the Formula: Z B 1 Dx = Ln |B| − Ln |A| a X
    The Integral Resulting in a Logarithm of a Complex Number Dr. E. Jacobs In first year calculus you learned about the formula: Z b 1 dx = ln jbj ¡ ln jaj a x It is natural to want to apply this formula to contour integrals. If z1 and z2 are complex numbers and C is a path connecting z1 to z2, we would expect that: Z 1 dz = log z2 ¡ log z1 C z However, you are about to see that there is an interesting complication when we take the formula for the integral resulting in logarithm and try to extend it to the complex case. First of all, recall that if f(z) is an analytic function on a domain D and C is a closed loop in D then : I f(z) dz = 0 This is referred to as the Cauchy-Integral Theorem. So, for example, if C His a circle of radius r around the origin we may conclude immediately that 2 2 C z dz = 0 because z is an analytic function for all values of z. H If f(z) is not analytic then C f(z) dz is not necessarily zero. Let’s do an 1 explicit calculation for f(z) = z . If we are integrating around a circle C centered at the origin, then any point z on this path may be written as: z = reiθ H 1 iθ Let’s use this to integrate C z dz. If z = re then dz = ireiθ dθ H 1 Now, substitute this into the integral C z dz.
    [Show full text]
  • Complex Sinusoids Copyright C Barry Van Veen 2014
    Complex Sinusoids Copyright c Barry Van Veen 2014 Feel free to pass this ebook around the web... but please do not modify any of its contents. Thanks! AllSignalProcessing.com Key Concepts 1) The real part of a complex sinusoid is a cosine wave and the imag- inary part is a sine wave. 2) A complex sinusoid x(t) = AejΩt+φ can be visualized in the complex plane as a vector of length A that is rotating at a rate of Ω radians per second and has angle φ relative to the real axis at time t = 0. a) The projection of the complex sinusoid onto the real axis is the cosine A cos(Ωt + φ). b) The projection of the complex sinusoid onto the imaginary axis is the cosine A sin(Ωt + φ). AllSignalProcessing.com 3) The output of a linear time invariant system in response to a com- plex sinusoid input is a complex sinusoid of the of the same fre- quency. The system only changes the amplitude and phase of the input complex sinusoid. a) Arbitrary input signals are represented as weighted sums of complex sinusoids of different frequencies. b) Then, the output is a weighted sum of complex sinusoids where the weights have been multiplied by the complex gain of the system. 4) Complex sinusoids also simplify algebraic manipulations. AllSignalProcessing.com 5) Real sinusoids can be expressed as a sum of a positive and negative frequency complex sinusoid. 6) The concept of negative frequency is not physically meaningful for real data and is an artifact of using complex sinusoids.
    [Show full text]
  • Applications of Entire Function Theory to the Spectral Synthesis of Diagonal Operators
    APPLICATIONS OF ENTIRE FUNCTION THEORY TO THE SPECTRAL SYNTHESIS OF DIAGONAL OPERATORS Kate Overmoyer A Dissertation Submitted to the Graduate College of Bowling Green State University in partial fulfillment of the requirements for the degree of DOCTOR OF PHILOSOPHY August 2011 Committee: Steven M. Seubert, Advisor Kyoo Kim, Graduate Faculty Representative Kit C. Chan J. Gordon Wade ii ABSTRACT Steven M. Seubert, Advisor A diagonal operator acting on the space H(B(0;R)) of functions analytic on the disk B(0;R) where 0 < R ≤ 1 is defined to be any continuous linear map on H(B(0;R)) having the monomials zn as eigenvectors. In this dissertation, examples of diagonal operators D acting on the spaces H(B(0;R)) where 0 < R < 1, are constructed which fail to admit spectral synthesis; that is, which have invariant subspaces that are not spanned by collec- tions of eigenvectors. Examples include diagonal operators whose eigenvalues are the points fnae2πij=b : 0 ≤ j < bg lying on finitely many rays for suitably chosen a 2 (0; 1) and b 2 N, and more generally whose eigenvalues are the integer lattice points Z×iZ. Conditions for re- moving or perturbing countably many of the eigenvalues of a non-synthetic operator which yield another non-synthetic operator are also given. In addition, sufficient conditions are given for a diagonal operator on the space H(B(0;R)) of entire functions (for which R = 1) to admit spectral synthesis. iii This dissertation is dedicated to my family who believed in me even when I did not believe in myself.
    [Show full text]
  • Complex Analysis
    Complex Analysis Andrew Kobin Fall 2010 Contents Contents Contents 0 Introduction 1 1 The Complex Plane 2 1.1 A Formal View of Complex Numbers . .2 1.2 Properties of Complex Numbers . .4 1.3 Subsets of the Complex Plane . .5 2 Complex-Valued Functions 7 2.1 Functions and Limits . .7 2.2 Infinite Series . 10 2.3 Exponential and Logarithmic Functions . 11 2.4 Trigonometric Functions . 14 3 Calculus in the Complex Plane 16 3.1 Line Integrals . 16 3.2 Differentiability . 19 3.3 Power Series . 23 3.4 Cauchy's Theorem . 25 3.5 Cauchy's Integral Formula . 27 3.6 Analytic Functions . 30 3.7 Harmonic Functions . 33 3.8 The Maximum Principle . 36 4 Meromorphic Functions and Singularities 37 4.1 Laurent Series . 37 4.2 Isolated Singularities . 40 4.3 The Residue Theorem . 42 4.4 Some Fourier Analysis . 45 4.5 The Argument Principle . 46 5 Complex Mappings 47 5.1 M¨obiusTransformations . 47 5.2 Conformal Mappings . 47 5.3 The Riemann Mapping Theorem . 47 6 Riemann Surfaces 48 6.1 Holomorphic and Meromorphic Maps . 48 6.2 Covering Spaces . 52 7 Elliptic Functions 55 7.1 Elliptic Functions . 55 7.2 Elliptic Curves . 61 7.3 The Classical Jacobian . 67 7.4 Jacobians of Higher Genus Curves . 72 i 0 Introduction 0 Introduction These notes come from a semester course on complex analysis taught by Dr. Richard Carmichael at Wake Forest University during the fall of 2010. The main topics covered include Complex numbers and their properties Complex-valued functions Line integrals Derivatives and power series Cauchy's Integral Formula Singularities and the Residue Theorem The primary reference for the course and throughout these notes is Fisher's Complex Vari- ables, 2nd edition.
    [Show full text]
  • Complex Analysis Qual Sheet
    Complex Analysis Qual Sheet Robert Won \Tricks and traps. Basically all complex analysis qualifying exams are collections of tricks and traps." - Jim Agler 1 Useful facts 1 X zn 1. ez = n! n=0 1 X z2n+1 1 2. sin z = (−1)n = (eiz − e−iz) (2n + 1)! 2i n=0 1 X z2n 1 3. cos z = (−1)n = (eiz + e−iz) 2n! 2 n=0 1 4. If g is a branch of f −1 on G, then for a 2 G, g0(a) = f 0(g(a)) 5. jz ± aj2 = jzj2 ± 2Reaz + jaj2 6. If f has a pole of order m at z = a and g(z) = (z − a)mf(z), then 1 Res(f; a) = g(m−1)(a): (m − 1)! 7. The elementary factors are defined as z2 zp E (z) = (1 − z) exp z + + ··· + : p 2 p Note that elementary factors are entire and Ep(z=a) has a simple zero at z = a. 8. The factorization of sin is given by 1 Y z2 sin πz = πz 1 − : n2 n=1 9. If f(z) = (z − a)mg(z) where g(a) 6= 0, then f 0(z) m g0(z) = + : f(z) z − a g(z) 1 2 Tricks 1. If f(z) nonzero, try dividing by f(z). Otherwise, if the region is simply connected, try writing f(z) = eg(z). 2. Remember that jezj = eRez and argez = Imz. If you see a Rez anywhere, try manipulating to get ez. 3. On a similar note, for a branch of the log, log reiθ = log jrj + iθ.
    [Show full text]
  • On Bounds of the Sine and Cosine Along Straight Lines on the Complex Plane
    Preprints (www.preprints.org) | NOT PEER-REVIEWED | Posted: 19 September 2018 doi:10.20944/preprints201809.0365.v1 Peer-reviewed version available at Acta Universitatis Sapientiae, Mathematica 2019, 11, 371-379; doi:10.2478/ausm-2019-0027 ON BOUNDS OF THE SINE AND COSINE ALONG STRAIGHT LINES ON THE COMPLEX PLANE FENG QI Institute of Mathematics, Henan Polytechnic University, Jiaozuo, Henan, 454010, China College of Mathematics, Inner Mongolia University for Nationalities, Tongliao, Inner Mongolia, 028043, China Department of Mathematics, College of Science, Tianjin Polytechnic University, Tianjin, 300387, China E-mail: [email protected], [email protected] URL: https: // qifeng618. wordpress. com Abstract. In the paper, the author discusses and computes bounds of the sine and cosine along straight lines on the complex plane. 1. Motivations In the theory of complex functions, the sine and cosine on the complex plane C are denoted and defined by eiz − e−iz e−iz + e−iz sin z = and cos z = ; 2i 2 where z = x + iy and x; y 2 R. When z = x 2 R, these two functions become sin x and cos x which satisfy the periodicity and boundedness sin(x + 2kπ) = sin x; cos(x + 2kπ) = cos x; j sin xj ≤ 1; j cos xj ≤ 1 for k 2 Z. On the other hand, when z = iy for y 2 R, e−y − ey e−y + ey sin(iy) = ! ±i1 and cos(iy) = ! +1 2i 2 as y ! ±∞. These imply that the sine and cosine are bounded on the real x-axis, but unbounded on the imaginary y-axis. Motivated by the above boundedness, we naturally guess that the complex func- tions sin z and cos z for z 2 C are (1) bounded on all straight lines parallel to the real x-axis, (2) unbounded on all straight lines whose slopes are not horizontal.
    [Show full text]
  • Smooth Versus Analytic Functions
    Smooth versus Analytic functions Henry Jacobs December 6, 2009 Functions of the form X i f(x) = aix i≥0 that converge everywhere are called analytic. We see that analytic functions are equal to there Taylor expansions. Obviously all analytic functions are smooth or C∞ but not all smooth functions are analytic. For example 2 g(x) = e−1/x Has derivatives of all orders, so g ∈ C∞. This function also has a Taylor series expansion about any point. In particular the Taylor expansion about 0 is g(x) ≈ 0 + 0x + 0x2 + ... So that the Taylor series expansion does in fact converge to the function g˜(x) = 0 We see that g andg ˜ are competely different and only equal each other at a single point. So we’ve shown that g is not analytic. This is relevent in this class when finding approximations of invariant man- ifolds. Generally when we ask you to find a 2nd order approximation of the center manifold we just want you to express it as the graph of some function on an affine subspace of Rn. For example say we’re in R2 with an equilibrium point at the origin, and a center subspace along the y-axis. Than if you’re asked to find the center manifold to 2nd order you assume the manifold is locally (i.e. near (0,0)) defined by the graph (h(y), y). Where h(y) = 0, h0(y) = 0. Thus the taylor approximation is h(y) = ay2 + hot. and you must solve for a using the invariance of the manifold and the dynamics.
    [Show full text]