- #1
futurebird
- 272
- 0
I'm trying to understand the proof for this theorem, and I can't see what they did to get from one step to the next.
THEOREM: Suppose F(z) is an analytic function and that f(z) = F'(z) is continuous on a domain D. Then for a contour C lying in D with endpoints z1 and z2:
[tex]\int_{C}f(z)dz=F(z_{2}) - F(z_{1})[/tex]
PROOF:
Using the definition of the integral, and assuming z'(t) is continuous
[tex]\int_{C}f(z)dz=\int_{C}F'(z)dz=\int^{b}_{a}F'(z(t))z'(t)dt[/tex]
This next step is the one I don't get. They say they used the chain rule?
[tex]=\int^{b}_{a}\frac{d}{dt}\left[F(z(t))\right]dt[/tex]
But HOW?
The rest makes sense:
=F(z(b))-F(z(a))
=F(z2)-F(z1)
Hence,
[tex]\int_{C}f(z)dz=F(z_{2}) - F(z_{1})[/tex]
THEOREM: Suppose F(z) is an analytic function and that f(z) = F'(z) is continuous on a domain D. Then for a contour C lying in D with endpoints z1 and z2:
[tex]\int_{C}f(z)dz=F(z_{2}) - F(z_{1})[/tex]
PROOF:
Using the definition of the integral, and assuming z'(t) is continuous
[tex]\int_{C}f(z)dz=\int_{C}F'(z)dz=\int^{b}_{a}F'(z(t))z'(t)dt[/tex]
This next step is the one I don't get. They say they used the chain rule?
[tex]=\int^{b}_{a}\frac{d}{dt}\left[F(z(t))\right]dt[/tex]
But HOW?
The rest makes sense:
=F(z(b))-F(z(a))
=F(z2)-F(z1)
Hence,
[tex]\int_{C}f(z)dz=F(z_{2}) - F(z_{1})[/tex]