I've been teaching myself a little bit of Complex Variables this semester, and I had a question concerning complex integrals.(adsbygoogle = window.adsbygoogle || []).push({});

If I understand correctly, then if a function [itex] f [/itex] has an antiderivative [itex] F [/itex], then the line integral [itex] \int_C f(z) dz [/itex] is path independent and always evaluates to [itex] F(z_1) - F(z_0) [/itex], where [itex] z_1 [/itex] and [itex] z_0 [/itex] are the final and initial points of the contour [itex] C [/itex].

Now let [itex] C [/itex] be the unit circle, oriented counterclockwise. Let's also say that 1 is the initial and final point of [itex] C [/itex]. Then by direct computation, we know that [tex] \int_C \frac{1}{z} dz = 2 \pi i .[/tex] Now, I think I understand that [itex] \log z [/itex] is not quite an antiderivative of [itex] \frac{1}{z} [/itex], because there is no way to define a single-valued branch of the complex logarithm over a region containing the unit circle in such a way that it will be differentiable at every point of the circle. So we can't quite say that [tex] \int_C \frac{1}{z} dz = \log(1) - \log(1). [/tex] But on the other hand, it kind of looks like the formula still holds, if we understand that the final value of [itex] \log(1) [/itex] is [itex] 2\pi i [/itex] more than the initial value, because we have gone around full circle.

At this point, I'm not too sure what my question is. I guess my question is: If a function [itex] f [/itex] has an antiderivative [itex] F [/itex] that is multiple-valued, like in my example above, can we still say that [tex] \int_C f(z) dz = F(z_1) - F(z_0), [/tex] as long as we choose the "appropriate" value of [itex] F(z_1) [/itex] and [itex] F(z_0) [/itex]? And if so, how could one go about proving this?

Thanks for reading all of that.

**Physics Forums - The Fusion of Science and Community**

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Complex Integrals, Antiderivatives, Logarithms

Loading...

Similar Threads - Complex Integrals Antiderivatives | Date |
---|---|

I Complex integral | Jun 8, 2017 |

I Complex integral of a real integrand | May 5, 2017 |

A Inverse Laplace transform of a piecewise defined function | Feb 17, 2017 |

I Question about Complex limits of definite integrals | Jan 30, 2017 |

I Complex integral problem | Dec 7, 2016 |

**Physics Forums - The Fusion of Science and Community**