Toronto Math Forum
MAT3342018F => MAT334Lectures & Home Assignments => Topic started by: Ende Jin on November 09, 2018, 06:48:49 PM

In a tutorial, the TA showed us why FTOC II can be used in the complex context, the proof is simply just making the derivative of F into the imaginary part $v'$ and real part $u'$. Because that is a line integral, thus ultimately, replace the $\Gamma$ with the parameterization of $\gamma : [a, b] \rightarrow \mathbb{C}$, we are integrating the derivative of $u \circ \gamma: [a,b] \rightarrow \mathbb{R}$ which is just a integral in the real line. Now after using the realfunction version of FTOC II on the derivative of a realvalued function, we get $u,v$ back and end up with $F$ again.
This is the outline of the proof. However, I don't see that F needs to be analytic on a simplyconnected domain in this proof. That F can be analytic on only an annulus (i.e. differentiable on the range of parameterization), even F is undefined outside the annulus, we can still get that the integration is zero when integrating on a closed curve. But it is absolutely wrong because it contradicts the chapter of singularities.
Which part is wrong?

Assume that you need to calculate $I=\int_\gamma (P\,dx +Q\,dy)$ and $P=U_x$, $Q=U_y$. Then $P\,dx +Q\,dy= dU$ and $I= U(x_1,y_1)U(x_0,y_0)$ where $\gamma$ goes from $(x_0,y_0)$ to $(x_1,y_1)$. So far there is no analytic functions or simple connectivity of the domain.
However $P=U_x$, $Q=U_y$ implies $P_y=Q_x$. If we integrate $f\,dz$ then $P=f$, $Q=if$ and this is equivalent to $f_y=if_x$ which is a CauchyRiemann condition (plug $f=u+iv$).
Further, if domain is not simply connected, then even "$f$ is analytic" does not imply that there exists an analytic singlevalued function $F$ such that $F'=f$ (for nonanalytic functions the "derivative": is not defined). F.e. in $\mathbb{C}\setminus 0$ let $f=z^{1}$; then $F=\log (z)$ is a multivalued function and $I$ is an increment of $F$ along $\gamma$, depending on $\gamma$ (more precisely, it depends on the equivalency class $[\gamma]$ of $\gamma$: $\gamma_1 \sim \gamma_2$ if one could be continuously morphed into another without leaving domain. Only in simple connected domains all curves with the same start and end points are equivalent.