Can the contour integral of z⁷ be simplified using a parameterized expression?

Click For Summary
The discussion focuses on simplifying the contour integral of z⁷ using a parameterized expression. The parameterization of z is established as z(t) = 3t + i(5 - 4t), allowing for the transformation of the integral into a function of t. The derivative dz/dt is calculated as 3 - 4i, leading to the expression for the integral in terms of t. The participant considers expanding the binomial and factoring out constants, but expresses uncertainty about the best approach due to the presence of the imaginary unit. The conversation highlights the complexity of integrating in the complex plane and seeks efficient methods for simplification.
Mayhem
Messages
417
Reaction score
311
Homework Statement
Integrate ##\int_{\Gamma} z^7 dz## along the line ##5i## to ##3 + i##
Relevant Equations
##z = x + iy##
First I parameterize ##z## by ##z(t) = 5i + (3 + i - 5i)t## such that ##z(0) = 5i## and ##z(1) = 3 + i##, which means that ##0 \leq t \leq 0## traces the entire line on the complex plane. By distributing ##t##, we achieve a parameterized expression of the form ##z(t) = x(t) + iy(t)##
$$z(t) = 3t + i(5 - 4t)$$

Then to rewrite the contour integral in terms of ##t##, we determine ##dz/dt##
$$\frac{dz}{dt} = 3 - 4i$$
Yielding
$$\int_{\Gamma} z^7 dz = \int_{0}^{1} z^7 \frac{dz}{dt} dt = (3-4i)\int_{0}^{1} (3t + i(4-5t))^7 dt$$

Not sure where to go from here. The naive approach would be to expand the binominal and factor out all constants (including imaginary units ##i##), but that is tedious. Is there a trick? If this was a calc I problem, I'd just do a simple u-substitution, but not sure if the same logic holds when ##i## is involved.
 
Physics news on Phys.org
Observe that you can rewrite your integral,
$$
I=(3-4i)\int_0^{1} [(3-4i)t + 5i]^7dt
$$
$$
(3-4i)=5e^{-i\tan^{-1}(\frac{4}{3})}=5z_0
$$
Expand the integral with binomial thm,
$$
I=5^8z_0\int_0^{1} [(z_0t + i]^7dt=5^8z_0\sum_{n=0}^{7}\int_0^{1}\begin{pmatrix}
7\\
n
\end{pmatrix} z_0^{n}t^{n} (i)^{7-n}dt
$$
 
First, I tried to show that ##f_n## converges uniformly on ##[0,2\pi]##, which is true since ##f_n \rightarrow 0## for ##n \rightarrow \infty## and ##\sigma_n=\mathrm{sup}\left| \frac{\sin\left(\frac{n^2}{n+\frac 15}x\right)}{n^{x^2-3x+3}} \right| \leq \frac{1}{|n^{x^2-3x+3}|} \leq \frac{1}{n^{\frac 34}}\rightarrow 0##. I can't use neither Leibnitz's test nor Abel's test. For Dirichlet's test I would need to show, that ##\sin\left(\frac{n^2}{n+\frac 15}x \right)## has partialy bounded sums...