Cauchy Riemann & Taylor Expansion.

[mathfied]

Hi There. Was working on these and I think I managed to get most of them but still have a few niggling parts. I've managed to do questions 2,3,3Part2 and I've shown my working out so I'd be greatful if you could verify whether they are correct.
Please could you also guide me on Q1 & 4. Q1: Suppose that f(z) = u(x,y) + iv(x,y) is holomorphic on a domain D, and that |f(z)| = constant throughout D. Show that f(z) = constant aswell.

I realize this has something to do with the Cauchy Riemann equations but I can't quite apply it to this question. Any hints would be greatly appreciated.
----------------------------------------------------------------------------------------
Q2:
<br /> \begin{gathered}<br /> {\text{Using sum formula for cosine, write the taylor expansion of cos z centred at z}}_{\text{0}} {\text{, where z}}_0 {\text{ is a point in }}\mathbb{C}{\text{.}} \hfill \\<br /> {\text{Sum formula for cosine: }}\sum\limits_{n = 0}^\infty {( - 1)^n } \frac{{z^{2n} }}<br /> {{(2n)!}}. \hfill \\<br /> {\text{cos(z) : (z - z}}_{\text{0}} ){\text{ - }}\frac{{(z - z_0 )^2 }}<br /> {{2!}}{\text{ + }}\frac{{(z - z_0 )^4 }}<br /> {{4!}}{\text{ - }}\frac{{(z - z_0 )^6 }}<br /> {{6!}}... \hfill \\<br /> {\text{Is this correct?}} \hfill \\ <br /> \end{gathered} <br /> \]<br />

----------------------------------------------------------------------------------------
Q3:

<br /> \begin{gathered}<br /> {\text{Prove: }}\frac{d}<br /> {{dz}}\sin z = \cos z \hfill \\<br /> {\text{We know the definition of a derivative of a function f at z}} \in \mathbb{C}{\text{ is: f&#039;(z) = }}\mathop {\lim }\limits_{h \to 0} \left[ {\frac{{f(z + h) - f(z)}}<br /> {h}} \right]. \hfill \\<br /> {\text{Using the sine angle rule: sin(z + h) = sin(z)cos(h) + cos(z)sin(h)}}{\text{. So }}\frac{{\sin (z + h){\text{ }} - {\text{ }}\sin (z)}}<br /> {h}{\text{ }} = {\text{ }}\frac{{\sin (z)\cos (h){\text{ }} + {\text{ }}\cos (z)\sin (h){\text{ }} - {\text{ }}\sin (z)}}<br /> {h}{\text{ = }} \hfill \\<br /> \frac{{{\text{sin}}\left( {\text{z}} \right)\left( {{\text{cos}}\left( {\text{h}} \right){\text{ }} - {\text{ 1}}} \right){\text{ }} + {\text{ cos}}\left( {\text{z}} \right){\text{sin}}\left( {\text{h}} \right)}}<br /> {h}{\text{ = sin(z)}}\left[ {\frac{{\cos (h) - 1}}<br /> {h}} \right]{\text{ + cos(z)}}\left[ {\frac{{\sin (h)}}<br /> {h}} \right]. \hfill \\<br /> {\text{So now computing the derivative:}} \hfill \\<br /> \frac{d}<br /> {{dz}}\sin z{\text{ }} = {\text{ sin(z)}}\left[ {{\text{ }}\mathop {\lim }\limits_{h \to 0} \left[ {\frac{{\cos (h) - 1}}<br /> {h}} \right]} \right]{\text{ + cos(z)}}\left[ {{\text{ }}\mathop {\lim }\limits_{h \to 0} \left[ {\frac{{\sin (h)}}<br /> {h}} \right]} \right]{\text{ = sin(z)(0) + cos(z)(1) = 0 + cos(z) = cos(z)}}{\text{.}} \hfill \\<br /> {\text{Is this correct?}} \hfill \\ <br /> \end{gathered}

----------------------------------------------------------------------------------------
Q3, Part 2:

<br /> \begin{gathered}<br /> {\text{Prove: }}\frac{d}<br /> {{dz}}\cos z = - \sin z \hfill \\<br /> {\text{We know the definition of a derivative of a function f at z}}\varepsilon \mathbb{C}{\text{ is: f&#039;(z) = }}\mathop {\lim }\limits_{h \to 0} \left[ {\frac{{f(z + h) - f(z)}}<br /> {h}} \right]. \hfill \\<br /> {\text{Using the sine angle rule: cos(z + h) = cos(z)cos(h) - sin(z)sin(h)}}{\text{. So }}\frac{{\cos (z + h){\text{ }} - {\text{ }}\cos (z)}}<br /> {h}{\text{ }} = {\text{ }}\frac{{{\text{cos(z)cos(h) - sin(z)sin(h) }} - {\text{ }}\cos (z)}}<br /> {h}{\text{ = }} \hfill \\<br /> \frac{{{\text{cos}}\left( {\text{z}} \right)\left( {{\text{cos}}\left( {\text{h}} \right){\text{ }} - {\text{ 1}}} \right){\text{ }} - {\text{ sin}}\left( {\text{z}} \right){\text{sin}}\left( {\text{h}} \right)}}<br /> {h}{\text{ = cos(z)}}\left[ {\frac{{\cos (h) - 1}}<br /> {h}} \right]{\text{ - sin(z)}}\left[ {\frac{{\sin (h)}}<br /> {h}} \right]. \hfill \\<br /> {\text{So now computing the derivative:}} \hfill \\<br /> \frac{d}<br /> {{dz}}\cos z{\text{ }} = {\text{ cos(z)}}\left[ {{\text{ }}\mathop {\lim }\limits_{h \to 0} \left[ {\frac{{\cos (h) - 1}}<br /> {h}} \right]} \right]{\text{ - sin(z)}}\left[ {{\text{ }}\mathop {\lim }\limits_{h \to 0} \left[ {\frac{{\sin (h)}}<br /> {h}} \right]} \right]{\text{ = cos(z)(0) - sin(z)(1) = 0 - sin(z) = - sin(z)}}{\text{.}} \hfill \\<br /> {\text{Is this correct?}} \hfill \\ <br /> \end{gathered} <br />

----------------------------------------------------------------------------------------
Q4:

Prove sin^2z + cos^2z = 1 for all {\text{z}} \in \mathbb{C}.No idea on this one. Please could you give me a hint.

 

[Dick]

For Q1, if |f(z)| is constant then so is u^2+v^2. Take the partial derivatives of that with respect to x and y and apply Cauchy-Riemann. What do you conclude? For the other ones, it looks like you are trying to prove some trig type identities for sin and cos of a complex argument. So are you allowed to use these trig identities to prove them?? What is your definition of sin(z) and cos(z)? You should probably start with that. If you ARE allowed to use the identities you are using, that makes Q4 really easy. Use an identity on cos(z-z).

 

[HallsofIvy]

Hi There. Was working on these and I think I managed to get most of them but still have a few niggling parts. I've managed to do questions 2,3,3Part2 and I've shown my working out so I'd be greatful if you could verify whether they are correct.
Please could you also guide me on Q1 & 4.


Q1: Suppose that f(z) = u(x,y) + iv(x,y) is holomorphic on a domain D, and that |f(z)| = constant throughout D. Show that f(z) = constant aswell.

I realize this has something to do with the Cauchy Riemann equations but I can't quite apply it to this question. Any hints would be greatly appreciated.
Q2:
----------------------------------------------------------------------------------------

? That's not true. f(z)= z² is holomorphic on the entire complex plane but is NOT constant. Are there other conditions on f? For example if f is holomorphic on the entire complex plane and bounded then it is a constant.

<br /> \begin{gathered}<br /> {\text{Using sum formula for cosine, write the taylor expansion of cos z centred at z}}_{\text{0}} {\text{, where z}}_0 {\text{ is a point in }}\mathbb{C}{\text{.}} \hfill \\<br /> {\text{Sum formula for cosine: }}\sum\limits_{n = 0}^\infty {( - 1)^n } \frac{{z^{2n} }}<br /> {{(2n)!}}. \hfill \\<br /> {\text{cos(z) : (z - z}}_{\text{0}} ){\text{ - }}\frac{{(z - z_0 )^2 }}<br /> {{2!}}{\text{ + }}\frac{{(z - z_0 )^4 }}<br /> {{4!}}{\text{ - }}\frac{{(z - z_0 )^6 }}<br /> {{6!}}... \hfill \\<br /> {\text{Is this correct?}} \hfill \\ <br /> \end{gathered}<br /> \]<br />
Yes, those are the first four terms of the sequence. Can you write the general formula, in the same way you have given the "sum formula"?

----------------------------------------------------------------------------------------
Q3:

<br /> \begin{gathered}<br /> {\text{Prove: }}\frac{d}<br /> {{dz}}\sin z = \cos z \hfill \\<br /> {\text{We know the definition of a derivative of a function f at z}} \in \mathbb{C}{\text{ is: f&#039;(z) = }}\mathop {\lim }\limits_{h \to 0} \left[ {\frac{{f(z + h) - f(z)}}<br /> {h}} \right]. \hfill \\<br /> {\text{Using the sine angle rule: sin(z + h) = sin(z)cos(h) + cos(z)sin(h)}}{\text{. So }}\frac{{\sin (z + h){\text{ }} - {\text{ }}\sin (z)}}<br /> {h}{\text{ }} = {\text{ }}\frac{{\sin (z)\cos (h){\text{ }} + {\text{ }}\cos (z)\sin (h){\text{ }} - {\text{ }}\sin (z)}}<br /> {h}{\text{ = }} \hfill \\<br /> \frac{{{\text{sin}}\left( {\text{z}} \right)\left( {{\text{cos}}\left( {\text{h}} \right){\text{ }} - {\text{ 1}}} \right){\text{ }} + {\text{ cos}}\left( {\text{z}} \right){\text{sin}}\left( {\text{h}} \right)}}<br /> {h}{\text{ = sin(z)}}\left[ {\frac{{\cos (h) - 1}}<br /> {h}} \right]{\text{ + cos(z)}}\left[ {\frac{{\sin (h)}}<br /> {h}} \right]. \hfill \\<br /> {\text{So now computing the derivative:}} \hfill \\<br /> \frac{d}<br /> {{dz}}\sin z{\text{ }} = {\text{ sin(z)}}\left[ {{\text{ }}\mathop {\lim }\limits_{h \to 0} \left[ {\frac{{\cos (h) - 1}}<br /> {h}} \right]} \right]{\text{ + cos(z)}}\left[ {{\text{ }}\mathop {\lim }\limits_{h \to 0} \left[ {\frac{{\sin (h)}}<br /> {h}} \right]} \right]{\text{ = sin(z)(0) + cos(z)(1) = 0 + cos(z) = cos(z)}}{\text{.}} \hfill \\<br /> {\text{Is this correct?}} \hfill \\ <br /> \end{gathered}

Can you prove that
\lim_{h\rightarrow 0}\frac{1- cos(h)}{h}= 0 and
\lim_{h\rightarrow 0}\frac{sin(h)}{h}= 1
for h complex?

----------------------------------------------------------------------------------------
Q3, Part 2:

<br /> \begin{gathered}<br /> {\text{Prove: }}\frac{d}<br /> {{dz}}\cos z = - \sin z \hfill \\<br /> {\text{We know the definition of a derivative of a function f at z}}\varepsilon \mathbb{C}{\text{ is: f&#039;(z) = }}\mathop {\lim }\limits_{h \to 0} \left[ {\frac{{f(z + h) - f(z)}}<br /> {h}} \right]. \hfill \\<br /> {\text{Using the sine angle rule: cos(z + h) = cos(z)cos(h) - sin(z)sin(h)}}{\text{. So }}\frac{{\cos (z + h){\text{ }} - {\text{ }}\cos (z)}}<br /> {h}{\text{ }} = {\text{ }}\frac{{{\text{cos(z)cos(h) - sin(z)sin(h) }} - {\text{ }}\cos (z)}}<br /> {h}{\text{ = }} \hfill \\<br /> \frac{{{\text{cos}}\left( {\text{z}} \right)\left( {{\text{cos}}\left( {\text{h}} \right){\text{ }} - {\text{ 1}}} \right){\text{ }} - {\text{ sin}}\left( {\text{z}} \right){\text{sin}}\left( {\text{h}} \right)}}<br /> {h}{\text{ = cos(z)}}\left[ {\frac{{\cos (h) - 1}}<br /> {h}} \right]{\text{ - sin(z)}}\left[ {\frac{{\sin (h)}}<br /> {h}} \right]. \hfill \\<br /> {\text{So now computing the derivative:}} \hfill \\<br /> \frac{d}<br /> {{dz}}\cos z{\text{ }} = {\text{ cos(z)}}\left[ {{\text{ }}\mathop {\lim }\limits_{h \to 0} \left[ {\frac{{\cos (h) - 1}}<br /> {h}} \right]} \right]{\text{ - sin(z)}}\left[ {{\text{ }}\mathop {\lim }\limits_{h \to 0} \left[ {\frac{{\sin (h)}}<br /> {h}} \right]} \right]{\text{ = cos(z)(0) - sin(z)(1) = 0 - sin(z) = - sin(z)}}{\text{.}} \hfill \\<br /> {\text{Is this correct?}} \hfill \\ <br /> \end{gathered} <br />

Same comment

----------------------------------------------------------------------------------------
Q4:

Prove sin^2z + cos^2z = 1 for all {\text{z}} \in \mathbb{C}.


No idea on this one. Please could you give me a hint.

Write sin(z) and cos(z) in terms of e^iz and e^-iz.

 

[Dick]

? That's not true. f(z)= z² is holomorphic on the entire complex plane but is NOT constant. Are there other conditions on f? For example if f is holomorphic on the entire complex plane and bounded then it is a constant.

Yes, there is another condition on f. |f(z)| is constant.

 

[mathfied]

?

<br /> \begin{gathered}<br /> {\text{Using sum formula for cosine, write the taylor expansion of cos z centred at z}}_{\text{0}} {\text{, where z}}_0 {\text{ is a point in }}\mathbb{C}{\text{.}} \hfill \\<br /> {\text{Sum formula for cosine: }}\sum\limits_{n = 0}^\infty {( - 1)^n } \frac{{z^{2n} }}<br /> {{(2n)!}}. \hfill \\<br /> {\text{cos(z) : (z - z}}_{\text{0}} ){\text{ - }}\frac{{(z - z_0 )^2 }}<br /> {{2!}}{\text{ + }}\frac{{(z - z_0 )^4 }}<br /> {{4!}}{\text{ - }}\frac{{(z - z_0 )^6 }}<br /> {{6!}}... \hfill \\<br /> {\text{Is this correct?}} \hfill \\ <br /> \end{gathered}<br /> \]<br />
Yes, those are the first four terms of the sequence. Can you write the general formula, in the same way you have given the "sum formula"?

Yes, the general formula be:

\sum\limits_{n = 0}^\infty {( - 1)^n } \frac{{(z-z_0)^{2n} }}<br /> {{(2n)!}}. So is that it? end of question?------------------------------------------------------------------------
QUESTION 3:
------------------------------------------------------------------------

Can you prove that
\lim_{h\rightarrow 0}\frac{1- cos(h)}{h}= 0 and
\lim_{h\rightarrow 0}\frac{sin(h)}{h}= 1
for h complex?

yes. i would do it like this:
\mathop {\lim }\limits_{h \to 0} \left[ {\frac{{\cos (h) - 1}}<br /> {h}} \right] = \mathop {\lim }\limits_{h \to 0} \frac{1}<br /> {h}\left[ {\left[ {1 - \frac{{h^2 }}<br /> {{2!}} + \frac{{h^4 }}<br /> {{4!}}...} \right] - 1} \right] = \mathop {\lim }\limits_{h \to 0} \left[ {\left[ {\frac{1}<br /> {h} - \frac{{h^2 }}<br /> {{2h!}} + \frac{{h^4 }}<br /> {{4h!}}...} \right] - \frac{1}<br /> {h}} \right] = \left[ {\left[ {\frac{1}<br /> {h} - \frac{{0^2 }}<br /> {{2(0)}} + \frac{{0^4 }}<br /> {{4(0)}}...} \right] - \frac{1}<br /> {h}} \right] = \frac{1}<br /> {h} - \frac{1}<br /> {h} = 0

\mathop {\lim }\limits_{h \to 0} \left[ {\frac{{\sin (h)}}<br /> {h}} \right] = \mathop {\lim }\limits_{h \to 0} \frac{1}<br /> {h}\left[ {h - \frac{{h^3 }}<br /> {{3!}} + \frac{{h^5 }}<br /> {{5!}} - \frac{{h^7 }}<br /> {{7!}}...} \right] = \mathop {\lim }\limits_{h \to 0} \left[ {\frac{h}<br /> {h} - \frac{{h^3 }}<br /> {{3h!}} + \frac{{h^5 }}<br /> {{5h!}} - \frac{{h^7 }}<br /> {{7h!}}...} \right] = \left[ {\frac{h}<br /> {h} - \frac{{0^3 }}<br /> {{3(0)}} + \frac{{0^5 }}<br /> {{5(0)}} - \frac{{0^7 }}<br /> {{7(0)}}...} \right] = \frac{h}<br /> {h} = 1

would this overall method of me taking limits now be deemed sufficient to have "proved" QUESTION 3 and QUESTION 3 PART 2 thoroughly?

 

[mathfied]

QUESTION 4

Write sin(z) and cos(z) in terms of e^iz and e^-iz.

Here's my attempt for QUESTION 4:

\begin{gathered}<br /> \sin \theta = \frac{{e^{i\theta } - e^{ - i\theta } }}<br /> {{2i}} \hfill \\<br /> \cos \theta = \frac{{e^{i\theta } + e^{ - i\theta } }}<br /> {2} \hfill \\<br /> \hfill \\<br /> \sin ^2 \theta = \left[ {\frac{{e^{i\theta } - e^{ - i\theta } }}<br /> {{2i}}} \right]^2 = \left( {\frac{1}<br /> {{2i}}\left( {e^{i\theta } - e^{ - i\theta } } \right)} \right)\left( {\frac{1}<br /> {{2i}}\left( {e^{i\theta } - e^{ - i\theta } } \right)} \right) \hfill \\<br /> = - \frac{1}<br /> {4}\left[ {e^{2i\theta } - 2 + e^{ - 2i\theta } } \right] \hfill \\<br /> \hfill \\<br /> \cos ^2 \theta = \left[ {\frac{{e^{i\theta } + e^{ - i\theta } }}<br /> {2}} \right]^2 = \left( {\frac{1}<br /> {2}\left( {e^{i\theta } + e^{ - i\theta } } \right)} \right)\left( {\frac{1}<br /> {2}\left( {e^{i\theta } + e^{ - i\theta } } \right)} \right) \hfill \\<br /> = \frac{1}<br /> {4}\left[ {e^{2i\theta } - 2 + e^{ - 2i\theta } } \right] \hfill \\<br /> \hfill \\<br /> \sin ^2 \theta + \cos ^2 \theta = \frac{1}<br /> {4}e^{2i\theta } + \frac{1}<br /> {2} + \frac{1}<br /> {4}e^{ - 2i\theta } - \frac{1}<br /> {4}e^{2i\theta } + \frac{1}<br /> {2} - \frac{1}<br /> {4}e^{ - 2i\theta } = \frac{1}<br /> {2} + \frac{1}<br /> {2} = 1 \hfill \\ <br /> \end{gathered} <br /> \]<br />

Seems good to me but I don't know whether that would be counted as a "rigorous" proof?