Exercise 11.  Find the function  [Graphics:Images/DirichletProblemModHome_gr_481.gif]  that is harmonic in the quarter-disk  [Graphics:Images/DirichletProblemModHome_gr_482.gif]  and has the boundary values  

                    [Graphics:Images/DirichletProblemModHome_gr_483.gif][Graphics:Images/DirichletProblemModHome_gr_484.gif]

Solution 11.

See text and/or instructor's solution manual.

Answer.   [Graphics:../Images/DirichletProblemModHome_gr_485.gif].  

Alternative Answer.   [Graphics:../Images/DirichletProblemModHome_gr_486.gif].  

Remark.   Notice that the level curves of   [Graphics:../Images/DirichletProblemModHome_gr_487.gif]  are identical to the isothermals   [Graphics:../Images/DirichletProblemModHome_gr_488.gif]   that will be constructed in Exercise 3 in Section 11.5,  

where we will investigate the function   [Graphics:../Images/DirichletProblemModHome_gr_489.gif].  

Also notice that the level curves of   [Graphics:../Images/DirichletProblemModHome_gr_490.gif]  are identical to the streamlines   [Graphics:../Images/DirichletProblemModHome_gr_491.gif]   that will be constructed in Exercise 1 in Section 11.11,  

where we will investigate the function   [Graphics:../Images/DirichletProblemModHome_gr_492.gif].  

Solution.   Use the result of Example 11.9 and observe that   [Graphics:../Images/DirichletProblemModHome_gr_493.gif]   has the boundary values

                    [Graphics:../Images/DirichletProblemModHome_gr_494.gif]  

Hence the function  [Graphics:../Images/DirichletProblemModHome_gr_495.gif]  is  

                    [Graphics:../Images/DirichletProblemModHome_gr_496.gif]    

Thus,   

                    [Graphics:../Images/DirichletProblemModHome_gr_497.gif].  

Now use the intermediate mapping   [Graphics:../Images/DirichletProblemModHome_gr_498.gif]   and get  

                    [Graphics:../Images/DirichletProblemModHome_gr_499.gif]   

Therefore,   

                    [Graphics:../Images/DirichletProblemModHome_gr_500.gif].  

 

We are done.   

 

Aside.  We can let Mathematica double check our work.

[Graphics:../Images/DirichletProblemModHome_gr_501.gif]

[Graphics:../Images/DirichletProblemModHome_gr_502.gif]

We are really done.   

 

A More Detailed Solution.   The function   [Graphics:../Images/DirichletProblemModHome_gr_503.gif]   maps the quarter disk   [Graphics:../Images/DirichletProblemModHome_gr_504.gif]   

onto the upper half-disk   [Graphics:../Images/DirichletProblemModHome_gr_505.gif].   Furthermore,

The quarter-circle  [Graphics:../Images/DirichletProblemModHome_gr_506.gif]    is mapped onto the  semicircle [Graphics:../Images/DirichletProblemModHome_gr_507.gif],

and the segment   [Graphics:../Images/DirichletProblemModHome_gr_508.gif].   is mapped onto the segment     [Graphics:../Images/DirichletProblemModHome_gr_509.gif].   

and the segment   [Graphics:../Images/DirichletProblemModHome_gr_510.gif].   is mapped onto the segment     [Graphics:../Images/DirichletProblemModHome_gr_511.gif].   

        This makes a new boundary value problem in the upper half-disk  H.  

Find the function  [Graphics:../Images/DirichletProblemModHome_gr_512.gif]  that is harmonic in the upper half-disk  [Graphics:../Images/DirichletProblemModHome_gr_513.gif]  that has the boundary values  

                    [Graphics:../Images/DirichletProblemModHome_gr_514.gif]

Use the result of Example 11.9 and observe that   [Graphics:../Images/DirichletProblemModHome_gr_515.gif]    

will be zero on the semicircle [Graphics:../Images/DirichletProblemModHome_gr_516.gif]  

and  [Graphics:../Images/DirichletProblemModHome_gr_517.gif]  on the diameter  [Graphics:../Images/DirichletProblemModHome_gr_518.gif].   

Hence the solution is  [Graphics:../Images/DirichletProblemModHome_gr_519.gif].  

        Or, if more details for the construction of  [Graphics:../Images/DirichletProblemModHome_gr_520.gif]  then use the following construction.  

Exercise 4 in Section 10.2 showed that the transformation  [Graphics:../Images/DirichletProblemModHome_gr_521.gif]

maps the upper half-disk [Graphics:../Images/DirichletProblemModHome_gr_522.gif] onto the first quadrant [Graphics:../Images/DirichletProblemModHome_gr_523.gif].   Furthermore,

the upper semi-circle   [Graphics:../Images/DirichletProblemModHome_gr_524.gif]   is mapped onto the positive u-axis, i.e.  [Graphics:../Images/DirichletProblemModHome_gr_525.gif],

and the diameter (or segment)   [Graphics:../Images/DirichletProblemModHome_gr_526.gif] is mapped onto the positive v-axis, i.e.  [Graphics:../Images/DirichletProblemModHome_gr_527.gif].  

This makes a new boundary value problem in the first quadrant of the w-plane   

                    [Graphics:../Images/DirichletProblemModHome_gr_528.gif],   for  [Graphics:../Images/DirichletProblemModHome_gr_529.gif],   and      
            
                    [Graphics:../Images/DirichletProblemModHome_gr_530.gif],   for  [Graphics:../Images/DirichletProblemModHome_gr_531.gif].        

Applying Example 11.2 in Section 11.1 we know that the form of the solution is  

                    [Graphics:../Images/DirichletProblemModHome_gr_532.gif].  

Use the values   [Graphics:../Images/DirichletProblemModHome_gr_533.gif],  and  [Graphics:../Images/DirichletProblemModHome_gr_534.gif]   and write the system of equations  

                    [Graphics:../Images/DirichletProblemModHome_gr_535.gif]

                    [Graphics:../Images/DirichletProblemModHome_gr_536.gif].  

Simplify them and obtain  

                     [Graphics:../Images/DirichletProblemModHome_gr_537.gif],    and    [Graphics:../Images/DirichletProblemModHome_gr_538.gif].  

Solving we get   [Graphics:../Images/DirichletProblemModHome_gr_539.gif]   and the desired solution.

Thus,    [Graphics:../Images/DirichletProblemModHome_gr_540.gif].   

Since   [Graphics:../Images/DirichletProblemModHome_gr_541.gif],   the solution  [Graphics:../Images/DirichletProblemModHome_gr_542.gif]  in the z-plane in the half-disk  H will be

                    [Graphics:../Images/DirichletProblemModHome_gr_543.gif].  

        Now use the intermediate mapping   [Graphics:../Images/DirichletProblemModHome_gr_544.gif]   and get  

                    [Graphics:../Images/DirichletProblemModHome_gr_545.gif]   

Therefore,   

                    [Graphics:../Images/DirichletProblemModHome_gr_546.gif].  

 

We are really really done.   

 

Aside.  We can let Mathematica double check our work.

[Graphics:../Images/DirichletProblemModHome_gr_547.gif]

[Graphics:../Images/DirichletProblemModHome_gr_548.gif]




[Graphics:../Images/DirichletProblemModHome_gr_550.gif]


[Graphics:../Images/DirichletProblemModHome_gr_551.gif]

[Graphics:../Images/DirichletProblemModHome_gr_552.gif]


[Graphics:../Images/DirichletProblemModHome_gr_553.gif]

[Graphics:../Images/DirichletProblemModHome_gr_554.gif]

We are really really really done.   

 

Aside.  For illustration purposes we can graph the function   [Graphics:../Images/DirichletProblemModHome_gr_555.gif].   

                     [Graphics:../Images/DirichletProblemModHome_gr_556.gif]

                     A contour graph of the function   [Graphics:../Images/DirichletProblemModHome_gr_557.gif]

                     where   [Graphics:../Images/DirichletProblemModHome_gr_558.gif]   for   [Graphics:../Images/DirichletProblemModHome_gr_559.gif].  

 

We are really really really really done.   

 

                     [Graphics:../Images/DirichletProblemModHome_gr_560.gif]

                     A contour graph of the function   [Graphics:../Images/DirichletProblemModHome_gr_561.gif]

                     where   [Graphics:../Images/DirichletProblemModHome_gr_562.gif]   for   [Graphics:../Images/DirichletProblemModHome_gr_563.gif].  

 

                     [Graphics:../Images/DirichletProblemModHome_gr_564.gif]

                    A graph of the function   [Graphics:../Images/DirichletProblemModHome_gr_565.gif]

                    [Graphics:../Images/DirichletProblemModHome_gr_566.gif]   

                     [Graphics:../Images/DirichletProblemModHome_gr_567.gif]

                    A graph of the function   [Graphics:../Images/DirichletProblemModHome_gr_568.gif]

                    [Graphics:../Images/DirichletProblemModHome_gr_569.gif]   

 

We are really really really really really done.   

 

Aside.  The Intermediate Solution

For illustration purposes we can graph the intermediate solution in the Z-plane   

                    [Graphics:../Images/DirichletProblemModHome_gr_570.gif].  

                     [Graphics:../Images/DirichletProblemModHome_gr_571.gif]

                    A graph of the intermediate solution in the Z-plane   

                    [Graphics:../Images/DirichletProblemModHome_gr_572.gif].  

                     [Graphics:../Images/DirichletProblemModHome_gr_573.gif]

                    A graph of the intermediate solution in the Z-plane   

                    [Graphics:../Images/DirichletProblemModHome_gr_574.gif].  

                     [Graphics:../Images/DirichletProblemModHome_gr_575.gif]

                    A graph of the intermediate solution in the Z-plane   

                    [Graphics:../Images/DirichletProblemModHome_gr_576.gif].  

                     [Graphics:../Images/DirichletProblemModHome_gr_577.gif]

                    A graph of the intermediate solution in the Z-plane   

                    [Graphics:../Images/DirichletProblemModHome_gr_578.gif].  

 

We are really really really really really really done.   

 

Alternative Sollution.  An alternative solution can be constructed

                    [Graphics:../Images/DirichletProblemModHome_gr_579.gif]

                     [Graphics:../Images/DirichletProblemModHome_gr_580.gif]

                     A contour graph of the alternative solution   [Graphics:../Images/DirichletProblemModHome_gr_581.gif]

                     where   [Graphics:../Images/DirichletProblemModHome_gr_582.gif]   for   [Graphics:../Images/DirichletProblemModHome_gr_583.gif].  

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

This solution is complements of the authors.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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