2
$\begingroup$

Below is the proof that we did in lectures for the link between complex line integral and the line integral of a vector field.

If $f$ is the vector field associated to $f:\Omega \to \mathbb{C}$ by $f(x,y) = (u(x,y), -v(x,y))$ and $z(t) = x(t) + iy(t)$. Then $$\int_C f dz = \int_C f.\tau \, ds + i\int_Cf.n\,ds$$ where $\tau$ is the unit tangent and $n$ is the unit normal. The proof of this goes as such. $$\int_C f\,dz = \int_a^bf(z(t))\frac{dz}{dt}dt$$ $$= \int_a^b\left(u(x(t),y(t))\frac{dx}{dt} + iv(x(t),y(t))\frac{dy}{dt}\right)dt$$ $$+ i\int_a^b\left(u(x(t),y(t))\frac{dy}{dt} + iv(x(t),y(t))\frac{dx}{dt}\right)dt$$ $$ = \int_a^bf(x(t),y(t)).\left(\frac{dx}{dt},\frac{dy}{dt}\right) + i\int_a^bf(x(t),y(t)).\left(\frac{dy}{dt},-\frac{dx}{dt}\right)$$ $$= \int_C f.\tau \, ds + i\int_Cf.n\,ds \qquad \square.$$

But I don't understand how one gets from the first line to the second line of the proof? I'm trying to grapple with the concept of a complex function seemingly being represented by both $f(x,y) = (u(x,y), -v(x,y))$ and $f(x,y) = u(x,y) + iv(x,y)$ at the same time! Could anyone help with this? Thank you!

  • 0
    what is the meaning of $(u(x,y), -v(x,y))$ ?2012-03-26
  • 1
    @Matrix: Apparently OPs text/notes define $f$ as both $u+iv$ (complex function) and $(u,-v)$ (multivariable function), which was overloading the letter $f$ and confusing the OP.2012-03-26

1 Answers 1

3

It would help if we wrote $f=u+iv$ and $\vec{f}=(u,-v)$ to distinguish between the two. Then

$$\begin{array}{} (u+iv)(\dot{x}+i\dot{y}) & =(u\dot{x}-v\dot{y})+i(v\dot{x}+u\dot{y}) \\ & =(u,-v)\cdot(\dot{x},\dot{y})+i(u,-v)\cdot(\dot{y},-\dot{x}) \\ & =(\vec{f}\cdot\vec\tau)+i (\vec{f}\cdot \vec{n}). \end{array}$$

  • 0
    Why is the $v$ negative in $\vec{f}$? I thought that when a complex function say $x(t) + iy(t)$ was represented by a vector field it was $(x(t),y(t))$ rather than $(x(t),-y(t))$?2012-03-26
  • 0
    @user26069: Apparently we are choosing to represent $f$ as a vector function a *different* way so that a meaningful line integral formula can be obtained.2012-03-26
  • 0
    But why can we suddenly choose how to represent $f$ does that representation 'make sense' mathematically? (Sorry about all these questions!)2012-03-26
  • 0
    @user26069: No problem with asking questions! Technically, $f$ and $\vec{f}$ are two different functions - they have different domains and codomains, but there is a sense in which they are, underneath the details, "the same" (almost, anyway), which is the motivation for calling them the same letter. The map $\mathbb{C}\to\mathbb{R}^2:x+iy\mapsto(x,y)$ is well-defined and invertible and smooth; $\tau:x+iy\mapsto(x,-y)$ is too. If we "forget" the complex structure of $\mathbb{C}$ (we must do so to move into a vector-calc setting) and view it as a real space, then our map is an *isomorphism*...2012-03-26
  • 0
    Isomorphisms intuitively mean two structures are "the same." Thus, in a [categorical](http://en.wikipedia.org/wiki/Category_theory) sense, if $f:A\to A$ and $\tau:A\xrightarrow{\sim} B$ is an isomorphism, then $\tau\circ f\circ \tau^{-1}:B\to B$ is "the same" as $f$, only manifesting in a different context. Sorry if that was abstruse!2012-03-26
  • 0
    Ah I think I understand, so you're saying that for $f = u + iv$ you could take $\vec{f} = (u,v)$ as a way of representing $f$ as well, but of course this wouldn't allow us to use the proof above!2012-03-26
  • 0
    @user26069: Yes, that's what I'm saying in my first comment to this answer.2012-03-26