INDIAN INSTITUTE OF TECHNOLOGY BOMBAY MA205 Complex Analysis Autumn 2012

Similar documents
u(t)dt + i a f(t)dt f(t) dt b f(t) dt (2) With this preliminary step in place, we are ready to define integration on a general curve in C.

Notes on length and conformal metrics

We partition C into n small arcs by forming a partition of [a, b] by picking s i as follows: a = s 0 < s 1 < < s n = b.

II. Integration and Cauchy s Theorem

The Regulated and Riemann Integrals

Review on Integration (Secs ) Review: Sec Origins of Calculus. Riemann Sums. New functions from old ones.

Integrals along Curves.

Section 17.2 Line Integrals

UNIFORM CONVERGENCE MA 403: REAL ANALYSIS, INSTRUCTOR: B. V. LIMAYE

ODE: Existence and Uniqueness of a Solution

Math Advanced Calculus II

MATH 185: COMPLEX ANALYSIS FALL 2009/10 PROBLEM SET 5 SOLUTIONS. cos t cos at dt + i

UNIFORM CONVERGENCE. Contents 1. Uniform Convergence 1 2. Properties of uniform convergence 3

Lecture 1. Functional series. Pointwise and uniform convergence.

Space Curves. Recall the parametric equations of a curve in xy-plane and compare them with parametric equations of a curve in space.

Math 554 Integration

Complex variables lecture 5: Complex integration

Anonymous Math 361: Homework 5. x i = 1 (1 u i )

Review of Calculus, cont d

Riemann Sums and Riemann Integrals

f(x)dx . Show that there 1, 0 < x 1 does not exist a differentiable function g : [ 1, 1] R such that g (x) = f(x) for all

Math 360: A primitive integral and elementary functions

Riemann Sums and Riemann Integrals

Problem Set 4: Solutions Math 201A: Fall 2016

11 An introduction to Riemann Integration

1 The Riemann Integral

Advanced Calculus: MATH 410 Notes on Integrals and Integrability Professor David Levermore 17 October 2004

Advanced Calculus: MATH 410 Uniform Convergence of Functions Professor David Levermore 11 December 2015

1. On some properties of definite integrals. We prove

7.2 The Definite Integral

Line Integrals. Partitioning the Curve. Estimating the Mass

Homework 4. (1) If f R[a, b], show that f 3 R[a, b]. If f + (x) = max{f(x), 0}, is f + R[a, b]? Justify your answer.

63. Representation of functions as power series Consider a power series. ( 1) n x 2n for all 1 < x < 1

Math 6455 Oct 10, Differential Geometry I Fall 2006, Georgia Tech

( dg. ) 2 dt. + dt. dt j + dh. + dt. r(t) dt. Comparing this equation with the one listed above for the length of see that

x = b a n x 2 e x dx. cdx = c(b a), where c is any constant. a b

A REVIEW OF CALCULUS CONCEPTS FOR JDEP 384H. Thomas Shores Department of Mathematics University of Nebraska Spring 2007

Lecture 1: Introduction to integration theory and bounded variation

10 Vector Integral Calculus

Math 231E, Lecture 33. Parametric Calculus

Fourier series. Preliminary material on inner products. Suppose V is vector space over C and (, )

Math 8 Winter 2015 Applications of Integration

Review of Riemann Integral

a n = 1 58 a n+1 1 = 57a n + 1 a n = 56(a n 1) 57 so 0 a n+1 1, and the required result is true, by induction.

Week 10: Riemann integral and its properties

p(t) dt + i 1 re it ireit dt =

University of. d Class. 3 st Lecture. 2 nd

Definition of Continuity: The function f(x) is continuous at x = a if f(a) exists and lim

n f(x i ) x. i=1 In section 4.2, we defined the definite integral of f from x = a to x = b as n f(x i ) x; f(x) dx = lim i=1

Jim Lambers MAT 280 Spring Semester Lecture 17 Notes. These notes correspond to Section 13.2 in Stewart and Section 7.2 in Marsden and Tromba.

Chapter 8: Methods of Integration

Chapter 6. Riemann Integral

Lecture 3: Curves in Calculus. Table of contents

MATH , Calculus 2, Fall 2018

A BRIEF INTRODUCTION TO UNIFORM CONVERGENCE. In the study of Fourier series, several questions arise naturally, such as: c n e int

Lecture 3. Limits of Functions and Continuity

Conservation Law. Chapter Goal. 5.2 Theory

(4.1) D r v(t) ω(t, v(t))

MA Handout 2: Notation and Background Concepts from Analysis

Indefinite Integral. Chapter Integration - reverse of differentiation

a < a+ x < a+2 x < < a+n x = b, n A i n f(x i ) x. i=1 i=1

Note 16. Stokes theorem Differential Geometry, 2005

Continuous Random Variables

MA 124 January 18, Derivatives are. Integrals are.

INTRODUCTION TO INTEGRATION

The final exam will take place on Friday May 11th from 8am 11am in Evans room 60.

Sections 5.2: The Definite Integral

The Banach algebra of functions of bounded variation and the pointwise Helly selection theorem

IMPORTANT THEOREMS CHEAT SHEET

1 1D heat and wave equations on a finite interval

Properties of Integrals, Indefinite Integrals. Goals: Definition of the Definite Integral Integral Calculations using Antiderivatives

Chapter 6 Notes, Larson/Hostetler 3e

The Riemann Integral

AP Calculus Multiple Choice: BC Edition Solutions

APPLICATIONS OF THE DEFINITE INTEGRAL

MATH 409 Advanced Calculus I Lecture 19: Riemann sums. Properties of integrals.

SYDE 112, LECTURES 3 & 4: The Fundamental Theorem of Calculus

df dt f () b f () a dt

Fundamental Theorem of Calculus

Review of basic calculus

Line and Surface Integrals: An Intuitive Understanding

Principles of Real Analysis I Fall VI. Riemann Integration

Main topics for the First Midterm

We divide the interval [a, b] into subintervals of equal length x = b a n

THE EXISTENCE-UNIQUENESS THEOREM FOR FIRST-ORDER DIFFERENTIAL EQUATIONS.

MAA 4212 Improper Integrals

Phil Wertheimer UMD Math Qualifying Exam Solutions Analysis - January, 2015

Kevin James. MTHSC 206 Section 13.2 Derivatives and Integrals of Vector

One dimensional integrals in several variables

Jim Lambers MAT 280 Spring Semester Lecture 26 and 27 Notes

The Fundamental Theorem of Calculus. The Total Change Theorem and the Area Under a Curve.

Math 220A Homework 2 Solutions

Definite Integrals. The area under a curve can be approximated by adding up the areas of rectangles = 1 1 +

Big idea in Calculus: approximation

Math 1B, lecture 4: Error bounds for numerical methods

METRIC SPACES AND COMPLEX ANALYSIS. 35

Regulated functions and the regulated integral

Handout 4. Inverse and Implicit Function Theorems.

Properties of the Riemann Integral

The usual algebraic operations +,, (or ), on real numbers can then be extended to operations on complex numbers in a natural way: ( 2) i = 1

Transcription:

Lecture 6: Line Integrls INDIAN INSTITUTE OF TECHNOLOGY BOMBAY MA205 Complex Anlysis Autumn 2012 August 8, 2012

Lecture 6: Line Integrls Lecture 6: Line Integrls

Lecture 6: Line Integrls Integrls of complex vlued functions Definition Given f : [, b] C continuous. We define b f (t) dt := b b Re (f (t)) dt +ı Im (f (t)) dt. (1)

Lecture 6: Line Integrls Integrls of complex vlued functions Definition Given f : [, b] C continuous. We define b f (t) dt := b b Re (f (t)) dt +ı Im (f (t)) dt. (1) Stndrd properties of Riemnn integrls of rel vlued functions ll hold for the bove integrl of complex vlued function. For instnce, linerity properties re esy to verify.

Lecture 6: Line Integrls Integrls of complex functions However, you hve to be cutious bout those properties which involve inequlites. Here is something which my be new for you nd which is indeed most fundmentl for us now.

Lecture 6: Line Integrls Integrls of complex functions However, you hve to be cutious bout those properties which involve inequlites. Here is something which my be new for you nd which is indeed most fundmentl for us now. Let us verify b b f (t) dt f (t) dt (2)

Lecture 6: Line Integrls Integrls of complex functions However, you hve to be cutious bout those properties which involve inequlites. Here is something which my be new for you nd which is indeed most fundmentl for us now. Let us verify b b f (t) dt f (t) dt (2) Put w = re ıθ = b f (t)dt.

Lecture 6: Line Integrls Integrls of complex functions Then w = r = e ıθ w. Tht is, b b f (t) dt = r = e iθ f (t) dt = = b Re (e iθ f (t)) dt b b e iθ f (t) dt f (t) dt.

Lecture 6: Line Integrls Let U be n open subset in C. By smooth prmeterised curve in U, we men function γ : [, b] U which hs continuous derivtive γ(t) 0, throughout the intervl.

Lecture 6: Line Integrls Let U be n open subset in C. By smooth prmeterised curve in U, we men function γ : [, b] U which hs continuous derivtive γ(t) 0, throughout the intervl. Here the dot on the top denotes differentition with respect to t. This just mens tht γ(t) = (x(t), y(t)) U nd ẋ, ẏ exist nd re continuous, nd (ẋ(t), ẏ(t)) (0, 0).

Lecture 6: Line Integrls Exmple The curve γ : t (t 2, t 3 ) (OR t t + ιt 3 ) is given by function which hs continuous derivtive. However, t t = 0, γ = (0, 0). Therefore, if the domin of the function is llowed to include the point 0 then it is not smooth curve. Otherwise it is smooth curve.

Lecture 6: Line Integrls Exmple Consider the curves C 1 (t) = e 2πıt, C 2 (t) = e 4πıt, C 3 (t) = e 2πıt, 0 t 1. Ech of them hve its imge equl to the unit circle. However, they re ll different curves s prmetrized curves.

Lecture 6: Line Integrls Sense in prmeterized curve Remrk Geometriclly, by curve we often men the imge set of curve s given bove. A prmetrized curve is much refined notion thn tht. For instnce, observe tht the prmetriztion utomticlly defines sense of orienttion on the curve, the wy in which the geometric curve is being trced.

Lecture 6: Line Integrls We shll fix the following nottion for certin prmeterized curves: Given z 1, z 2 C, write [z 1, z 2 ] for the curve given by t (1 t)z 1 + tz 2, 0 t 1.}

Lecture 6: Line Integrls We shll fix the following nottion for certin prmeterized curves: Given z 1, z 2 C, write [z 1, z 2 ] for the curve given by t (1 t)z 1 + tz 2, 0 t 1.} The circle with centre w nd rdius r trced exctly once in the counterclockwise sense will be denoted by z w = r := {t w + re 2πıt, 0 t 1.}

Contour integrtion Lecture 6: Line Integrls Let γ be smooth curve in U. Then for ny continuous function f : U C we define the contour integrl, or line integrl of f long γ to be γ f dz := b f (γ(t)) γ(t) dt. (3)

Contour Integrtion Lecture 6: Line Integrls Observe tht γ(t) is complex number for ech t, sy, γ(t) = x(t) + ıy(t), then γ(t) = ẋ(t) + ıẏ(t).

Lecture 6: Line Integrls The expressions dx, dy etc. Similrly if we write f (z) = u(z) + ıv(z), then f (γ(t)) = u(γ(t)) + ıv(γ(t)).

Lecture 6: Line Integrls The expressions dx, dy etc. Similrly if we write f (z) = u(z) + ıv(z), then f (γ(t)) = u(γ(t)) + ıv(γ(t)). Hence the of the bove definition cn lso be expressed s b f (z)dz := (u(γ(t))ẋ(t) v(γ(t))ẏ(t)) dt γ +ı b (u(γ(t))ẏ(t) + v(γ(t))ẋ(t)) dt.

Lecture 6: Line Integrls The expressions dx, dy etc. Similrly if we write f (z) = u(z) + ıv(z), then f (γ(t)) = u(γ(t)) + ıv(γ(t)). Hence the of the bove definition cn lso be expressed s b f (z)dz := (u(γ(t))ẋ(t) v(γ(t))ẏ(t)) dt γ b +ı (u(γ(t))ẏ(t) + v(γ(t))ẋ(t)) dt. ( b b ) udx vdy, udy + vdx. =

Lecture 6: Line Integrls The expressions dx, dy etc. Therefore it follows tht dx + ıdy = dz. There expressions re clled 1-forms. For us they re good for crrying out integrtion: indictors of which vrible is being integrted. This is the only justifiction for the nme complex integrls which mny uthors use.

Exmples Lecture 6: Line Integrls (1) Compute the vlue of [0,1+i] x dz.

Exmples Lecture 6: Line Integrls (1) Compute the vlue of [0,1+i] x dz. Sol: Here the curve γ is the line segment from 0 to 1 + i. Recll tht this curve is given by: γ(t) = (1 + ı)t, 0 t 1.

Exmples Lecture 6: Line Integrls (1) Compute the vlue of [0,1+i] x dz. Sol: Here the curve γ is the line segment from 0 to 1 + i. Recll tht this curve is given by: γ(t) = (1 + ı)t, 0 t 1. Then γ(t) = 1 + i for ll t nd hence by definition γ x dz = 1 0 x(γ(t)) γ(t) dt = 1 0 t(1+ı) dt = 1 + ı 2.

Exmples Lecture 6: Line Integrls (2) Let us compute C z n dz, where C is ny circle with origin s centre nd oriented counter-clockwise.

Exmples Lecture 6: Line Integrls (2) Let us compute C z n dz, where C is ny circle with origin s centre nd oriented counter-clockwise. Sol: We hve C : γ(t) = re ı2πt, 0 t 1.

Exmples Lecture 6: Line Integrls (2) Let us compute C z n dz, where C is ny circle with origin s centre nd oriented counter-clockwise. Sol: We hve C : γ(t) = re ı2πt, 0 t 1. By definition, we hve, 1 z n dz = r n e 2nπıt (2πı)re 2πıt dt C 0 1 1 = r n+1 e 2πı(n+1)t dt = 2πır n+1 e 2πı(n+1) dt. 0 0

Exmples Lecture 6: Line Integrls This is esily seen to be = 0 if n 1 nd = 2πı if n = 1.

Exmples Lecture 6: Line Integrls This is esily seen to be = 0 if n 1 nd = 2πı if n = 1. Shifting the origin to z =, tking n = 1 we obtin z =r dz z = 2πı. (4)

Lecture 6: Line Integrls Some bsic properties of the integrl: 1. Invrince Under Chnge of Prmeteriztion Let τ : [α, β] [, b] be continuously differentible function with τ(α) =, τ(β) = b, τ(t) > 0, t. Then γ τ f (z) dz γ f (z) dz (5)

Lecture 6: Line Integrls Some bsic properties of the integrl: 1. Invrince Under Chnge of Prmeteriztion Let τ : [α, β] [, b] be continuously differentible function with τ(α) =, τ(β) = b, τ(t) > 0, t. Then γ τ f (z) dz γ f (z) dz (5) This follows by chin rule nd the Lw of substitution for Riemnn integrtion.

Lecture 6: Line Integrls Chnge of prmeteriztion: LHS := β α RHS = f (γ τ(t)) b d(γ τ) (t) dt. dt f (γ(s)) γ ds ds

Lecture 6: Line Integrls Chnge of prmeteriztion: LHS := β α RHS = f (γ τ(t)) b d(γ τ) (t) dt. dt f (γ(s)) γ ds ds Now mke the substitution s = τ(t) nd use the fct ds = τdt.

Lecture 6: Line Integrls (2) Linerity For ll α, β C γ (αf + βg)(z) dz = α f (z) dz + β g(z) dz (6) γ γ

Lecture 6: Line Integrls (3) Additivity Under Sub-division or Conctention If < c < b nd γ 1 = γ [,c], γ 2 = γ [c,b], re the restrictions to the respective sub-intervls of prmeterized curve γ : [, b] C, then γ f (z) dz := f (z) dz + γ 1 f (z) dz γ 2 (7)

Lecture 6: Line Integrls (4) Orienttion Respecting We lso hve, f (z) dz = γ 1 γ f (z) dz (8) where γ 1 is the curve γ itself trced in the opposite direction, viz., γ 1 (t) = γ( + b t).

Lecture 6: Line Integrls To see this, put t = + b s. Then, L.H.S. = = b = b b f (γ 1 (s)) dγ 1 (s) ds ds f (γ(t))( γ(t))( dt) f (z) dz = R.H.S.

Lecture 6: Line Integrls (5) Interchnge of order of integrtion nd limit If {f n } is sequence of continuous functions uniformly convergent to f then the limit nd integrtion cn be interchnged viz., lim f n (z) dz = f (z) dz. (9) n γ γ This follows from the corresponding property of Riemnn integrtion.

Lecture 6: Line Integrls (6) Term-by-term Integrtion From (5) it lso follows tht whenever we hve uniformly convergent series of functions then term-by-term integrtion is vlid. γ ( ) f n (z) dz = n n ( γ ) f n (z) dz (10)

Lecture 6: Line Integrls (7)Fundmentl Theorem of integrl clculus Suppose g is complex differentible in U. Then for ll smooth curves γ : [, b] U we hve g (z)dz = g(γ(b)) g(γ()). (11) γ For the composite function g γ is differentible in [, b]. Therefore b g d (z)dz = (g γ(t))dt = g(γ(b)) g(γ()). dt γ

Contours Lecture 6: Line Integrls Definition By contour, we men the conctention (composite) γ = γ 1 γ 2 γ k of finite number of smooth prmeterized curves γ i tken in fixed order.

Lecture 6: Line Integrls Contours Definition By contour, we men the conctention (composite) γ = γ 1 γ 2 γ k of finite number of smooth prmeterized curves γ i tken in fixed order. Observe tht γ is continuously differentible except t finitely mny points of the intervl, where even the continuity lso my brek.

Lecture 6: Line Integrls Contours Property (7) comes to our help nd sys tht the only nturl wy to define the integrls over rbitrry contours is by the formul γ f (z) dz := k j=1 γ j f (z) dz. (12)

Lecture 6: Line Integrls Contours Property (7) comes to our help nd sys tht the only nturl wy to define the integrls over rbitrry contours is by the formul γ f (z) dz := k j=1 γ j f (z) dz. (12) Verify directly tht ll the bsic properties mentioned bove for line integrls is vlid for contour integrls s well.

Length of countor Lecture 6: Line Integrls Definition Length of contour: Let γ : [, b] R 2, γ(t) = (x(t), y(t)) be continuously differentible rc. Then the rc-length of γ is obtined by the integrl L(γ) := b γ(t) dt = b [(ẋ(t)) 2 + (ẏ(t)) 2 ] 1/2 dt (13)

Length of countor Lecture 6: Line Integrls It is esily checked tht L(γ) is independent of the choice of prmeteriztion of γ s discussed erlier.

Length of countor Lecture 6: Line Integrls It is esily checked tht L(γ) is independent of the choice of prmeteriztion of γ s discussed erlier. Sometimes we use the following complex nottion for (13): If γ(t) = z(t) = x(t) + ıy(t), this becomes L(γ) := dz (14) γ

Exmples Lecture 6: Line Integrls As simple exercise, let us compute the length of the circle C r := z(θ) == (r cos θ, r sin θ) 0 θ 2π. L(C r ) = dz C r = = r 2π 0 2π 0 (r 2 sin 2 θ + r 2 cos 2 θ) 1/2 dθ dθ = 2πr.

Lecture 6: Line Integrls A nottion nd consequence We now introduce the nottion: b f (z) dz := f (γ(t)) γ(t) dt. (15) γ for ny continuous function f nd ny contour γ.

Lecture 6: Line Integrls A nottion nd consequence We now introduce the nottion: b f (z) dz := f (γ(t)) γ(t) dt. (15) γ for ny continuous function f nd ny contour γ. Note tht s consequence of (2), it follows tht f (z)dz f (z)dz (16) γ γ

M-L Inequlity Lecture 6: Line Integrls Theorem M-L Inequlity Let U be n open set in C, f be continuous function on U nd γ : [, b] U be contour in U. Let M = sup{ f (γ(t)) : t b}. Then γ f (z) dz ML(γ). (17)

M-L Inequlity Lecture 6: Line Integrls Proof: This is n immedite consequence of (2) b f (z) dz = f (γ(t)) γ(t) dt γ M b γ(t) dt = ML(γ).

Lecture 6: Line Integrls Continuity of the Integrls Theorem Let Ω be n open set in R n nd g : Ω [, b] C be continuous function. Put φ(p) = b g(p, t) dt, P Ω. Then φ : Ω C is continuous function.

Lecture 6: Line Integrls Continuity of Integrls Proof: Let B be closed bll of rdius, sy δ 1 > 0, round point P 0 Ω such tht B Ω.

Lecture 6: Line Integrls Continuity of Integrls Proof: Let B be closed bll of rdius, sy δ 1 > 0, round point P 0 Ω such tht B Ω. Then B [, b], is closed nd bounded subset of Euciden spce. Hence, g restricted to this set is uniformly continuous.

Lecture 6: Line Integrls Continuity of Integrls This mens tht given ɛ > 0, we cn find δ 2 > 0 such tht g(p 1, t 1 ) g(p 2,, t 2 ) < ɛ/(b ) for ll (P i, t i ) B [, b] whenever (P 1, t 1 ) (P 2, t 2 ) < δ 2. Now let δ = min{δ 1, δ 2 } nd P P 0 < δ.

Lecture 6: Line Integrls Continuity of Integrls This mens tht given ɛ > 0, we cn find δ 2 > 0 such tht g(p 1, t 1 ) g(p 2,, t 2 ) < ɛ/(b ) for ll (P i, t i ) B [, b] whenever (P 1, t 1 ) (P 2, t 2 ) < δ 2. Now let δ = min{δ 1, δ 2 } nd P P 0 < δ. Then b φ(p) φ(p 0 ) = (g(p, t) g(p 0, t)) dt ɛ. This proves the continuity of φ t P 0.

Lecture 6: Line Integrls Differentition Under Integrl Sign Theorem Differentition Under the Integrl Sign Let U be n open subset of C nd g : U [, b] C be continuous functions such tht for ech t [, b], the function z g(z, t) is complex differentible nd the mp g : U [, b] C is continuous. z Then f (z) = b g(z, t)dt is complex differentible in U nd f (z) = b g (z, t) dt. z

Lecture 6: Line Integrls Differentition Under Integrl Sign Proof: Given z 0 U, we need to show tht [ f (z) f (z0 ) b ] lim z z 0 z z 0 z g(z 0, t)dt = 0.

Lecture 6: Line Integrls Differentition Under Integrl Sign Proof: Given z 0 U, we need to show tht [ f (z) f (z0 ) b ] lim z z 0 z z 0 z g(z 0, t)dt = 0. Put h(z, t) = g(z, t) f (z 0, t)) (z z 0 ) z g(z 0, t).

Lecture 6: Line Integrls Differentition Under Integrl Sign Proof: Given z 0 U, we need to show tht [ f (z) f (z0 ) b ] lim z z 0 z z 0 z g(z 0, t)dt = 0. Put h(z, t) = g(z, t) f (z 0, t)) (z z 0 ) z g(z 0, t). Then we hve to show [ 1 lim z z 0 z z 0 b ] h(z, t)dt = 0.

Lecture 6: Line Integrls Differentition Under Integrl Sign Let r > 0 be such tht B = B r (z 0 ) U. Then B [, b] is closed nd bounded nd hence g z is uniformly continuous on it.

Lecture 6: Line Integrls Differentition Under Integrl Sign Let r > 0 be such tht B = B r (z 0 ) U. Then B [, b] is closed nd bounded nd hence g z is uniformly continuous on it. Hence, given ɛ > 0 we cn choose 0 < δ < r such tht g z (z 1, t) g z (z 2, t) < ɛ (18) b for ll t [, b] nd z 1, z 2 B such tht z 1 z 2 < δ.

Lecture 6: Line Integrls Differentition Under Integrl Sign Now, let 0 < z z 0 < δ. Then h(z, t) is equl to ( g g (w, t) w z (z 0, t)) dw ɛ z z 0, [z 0,z] by M-L inequlity.

Lecture 6: Line Integrls Differentition Under Integrl Sign Now, let 0 < z z 0 < δ. Then h(z, t) is equl to ( g g (w, t) w z (z 0, t)) dw ɛ z z 0, [z 0,z] by M-L inequlity. 1 b h(z, t)dt z z 0 < ɛ. This proves the theorem.

Vnishing derivtive. Lecture 6: Line Integrls Theorem Let U be convex open set, f : U C be C-differentible function such tht f (z) = 0 for ll z U. Then f is constnt function on U.

Vnishing derivtive. Lecture 6: Line Integrls Theorem Let U be convex open set, f : U C be C-differentible function such tht f (z) = 0 for ll z U. Then f is constnt function on U.

Vnishing derivtive. Lecture 6: Line Integrls Theorem Let U be convex open set, f : U C be C-differentible function such tht f (z) = 0 for ll z U. Then f is constnt function on U.

Vnishing derivtive. Lecture 6: Line Integrls Theorem Let U be convex open set, f : U C be C-differentible function such tht f (z) = 0 for ll z U. Then f is constnt function on U. Proof: Fix z 0 U nd for every point z U define g(t) = f ((1 t)z 0 + tz). Then g : [0, 1] C is differentible function nd g (t) = 0 by chin rule. This implies tht g(1) = g(0) Tht is the sme s sying f (z) = f (z 0 ).