Exercise 7. Find
the function
that
is harmonic in the unit disk
and
has the boundary values
![[Graphics:Images/DirichletProblemModHome_gr_232.gif]](../Images/DirichletProblemModHome_gr_232.gif)
![[Graphics:Images/DirichletProblemModHome_gr_233.gif]](../Images/DirichletProblemModHome_gr_233.gif)
Solution 7.
See text and/or instructor's solution manual.
Answer. Use
the result of Example
11.8 and get
.
Alternative
Answer.
.
Solution. Use
the result of Example
11.8 and the function
, where
![[Graphics:../Images/DirichletProblemModHome_gr_237.gif]](../Images/DirichletProblemModHome_gr_237.gif)
Then it is easy to see that
.
Therefore,
.
A More Detailed
Solution. Example 10.3 in Section
10.2 showed that the transformation
maps
the unit disk
onto the upper half-plane
.
Furthermore, the upper semi-circle
is mapped onto the positive u-axis,
i.e.
,
and the lower semi-circle
is mapped onto the negative u-axis,
i.e.
.
This makes a new boundary value problem in the w-plane
, for
, and
, for
.
Now let
apply
the result in Example
11.5. Then for the boundary value problem
, for
, and
, for
,
has the solution
.
Since
, the
solution
in
the z-plane will be
.
Therefore,
.
We are really done.
Aside. For
illustration purposes we can graph the
function
.
![[Graphics:../Images/DirichletProblemModHome_gr_262.gif]](../Images/DirichletProblemModHome_gr_262.gif)
A
contour graph of the function ![]()
where
for
.
We are really really done.
![[Graphics:../Images/DirichletProblemModHome_gr_266.gif]](../Images/DirichletProblemModHome_gr_266.gif)
A
contour graph of the function ![]()
where
for
.
![[Graphics:../Images/DirichletProblemModHome_gr_270.gif]](../Images/DirichletProblemModHome_gr_270.gif)
A
contour graph of the function ![]()
where
for
.
![[Graphics:../Images/DirichletProblemModHome_gr_274.gif]](../Images/DirichletProblemModHome_gr_274.gif)
A
graph of the function
.
![[Graphics:../Images/DirichletProblemModHome_gr_276.gif]](../Images/DirichletProblemModHome_gr_276.gif)
![[Graphics:../Images/DirichletProblemModHome_gr_277.gif]](../Images/DirichletProblemModHome_gr_277.gif)
A
graph of the function
.
![[Graphics:../Images/DirichletProblemModHome_gr_279.gif]](../Images/DirichletProblemModHome_gr_279.gif)
![[Graphics:../Images/DirichletProblemModHome_gr_280.gif]](../Images/DirichletProblemModHome_gr_280.gif)
A
graph of the function
.
![[Graphics:../Images/DirichletProblemModHome_gr_282.gif]](../Images/DirichletProblemModHome_gr_282.gif)
We are really really really done.
Alternative
Solution. If the trigonometric
identity
is
used then we get:
![[Graphics:../Images/DirichletProblemModHome_gr_285.gif]](../Images/DirichletProblemModHome_gr_285.gif)
A
contour graph of the function ![]()
where
for
.
![[Graphics:../Images/DirichletProblemModHome_gr_289.gif]](../Images/DirichletProblemModHome_gr_289.gif)
A
graph of the function
.
![[Graphics:../Images/DirichletProblemModHome_gr_291.gif]](../Images/DirichletProblemModHome_gr_291.gif)
![[Graphics:../Images/DirichletProblemModHome_gr_292.gif]](../Images/DirichletProblemModHome_gr_292.gif)
A
graph of the function
.
![[Graphics:../Images/DirichletProblemModHome_gr_294.gif]](../Images/DirichletProblemModHome_gr_294.gif)
This solution is complements of the authors.
(c) 2008 John H. Mathews, Russell W. Howell