Solution 5 (f).

See text and/or instructor's solution manual.

Answer.  First verify that    satisfies Laplace's Equation.  Then construct  .  

Solution.  First, verify that    satisfies Laplace's Equation.  

                    ,   and  ,  

                    ,   and  ,  

                    ,  

which holds for all z.  Hence    is harmonic for all values of  (x,y).

Second, we extend the construction process of Theorem 3.9 to the case when   is the given function.   The first partial derivatives of    are

                        and   .  

To verify that    is harmonic, we compute the second partial derivatives and note that  

                    

so    satisfies Laplace's Equation.  

To construct  ,  we first use the Cauchy-Riemann equation    and integration with respect to y to get:

                      

Differentiating the left and right sides of this equation with respect to x and using and the Cauchy-Riemann    on the left side yields  

                      

Then an easy integration yields  

                      

where c is a constant.   Now we substitute into the previous expression for    and obtain the required solution

                      

The harmonic conjugate of      is    .

We are done.   

Aside.  We can let Mathematica double check our work.

We are really done.   

Remark.  The function    is analytic, and it can be written as  .  

Aside.  We can use the Milne-Thomson method (see Exercise 17) to construct the harmonic function  .

The function    is analytic and can be constructed as follows:

                       

Now expand the quantity    and obtain  

                        

Therefore  ,   or  

                  .

We are really really done.   

Aside.  We can let Mathematica double check our work.

          The level curves    and  .  

          The orthogonal grid formed with    and  .    

We are really really really done.   

                    In Section 11.4 we will prove that the image of an orthogonal grid under an analytic function is an orthogonal grid.  

          It is best to worry about these concepts when we get there because this example involves the inverse transformation  .

          The orthogonal grid formed by the composite image of several rectangular grids like the one on the left,

           under the multivalued inverse function  .  

          The spacing between curves is not the same as in the previous figures because lines in the domain grid are equally spaced.

          A portion of the above grid where the mapping is  ,  and the principal value of   is used (see Section 2.2 for details).  

          Remark.  In Section 2.2 we introduced formulas for powers of z and the mulitvalued function  .  

This solution is complements of the authors.

(c) 2008 John H. Mathews, Russell W. Howell