Friday, 25 November 2016

solution verification - Bounding a complex integral over a square



I'm solving the following exercise:





Use the estimate lemma to prove that |γz2z3dz|410,where γ is the square with vertices ±1±i.




Clearly the lenght of the square is 8. Starting from 1i, counterclockwise, call the sides of the square γ1,,γ4.




  • For γ1 and γ3, we have |z2|10 and |z3|5, whence: |z2z3|105=2.


  • For γ2, we have |z2|2 and |z3|2, so: |z2z3|22.



  • For γ4, we have |z2|10 e |z3|4, so: |z2z3|104
    The greatest of these upper bounds is 2. So that inequality is good on all of γ. We get:|γz2z3dz|82.






I got these inequalities geometrically, looking at maximum and minimum distances from 2 and 3 to said curves γj. I don't see how he got 410. Can someone help me please?



Here's a figure to make your life easier:




enter image description here


Answer



I'll convert my comment into an answer:



Since 82<410, you have found a stronger upper bound for |γz2z3dz| than what was required by the problem.



We can get the weaker upper bound that the problem is asking for as follows:



For all z on the curve, we have |z2|10 and |z3|2.




Hence, |z2z3|102, and thus, |γz2z3dz|8102=410.



This gives us a weaker upper bound since we didn't have to consider 3 seperate cases.



We can get an even stronger upper bound by using the Residue Theorem to get |γz2z3dz|=0, (because the only pole z=3 is outside γ), but that's overkill.


No comments:

Post a Comment

real analysis - How to find limhrightarrow0fracsin(ha)h

How to find lim without lhopital rule? I know when I use lhopital I easy get $$ \lim_{h\rightarrow 0}...