Exercise 3.  Show that  [Graphics:Images/LiouvilleMoreraGaussModHome_gr_97.gif]  is not a bounded function.

Solution 3.

See text and/or instructor's solution manual.

Solution.

We know that the complex cosine is an entire function that is not a constant.  

Therefore, by Theorem 6.18 (Liouville's Theorem),  [Graphics:../Images/LiouvilleMoreraGaussModHome_gr_98.gif]  is not bounded.

We are done.

Alternate solution.  We established this characteristic for  [Graphics:../Images/LiouvilleMoreraGaussModHome_gr_99.gif]  with a somewhat tedious proof in Section 5.4.  

Using Identity  (5-35) gives   [Graphics:../Images/LiouvilleMoreraGaussModHome_gr_100.gif].  

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

The identities  [Graphics:../Images/LiouvilleMoreraGaussModHome_gr_102.gif]  and  [Graphics:../Images/LiouvilleMoreraGaussModHome_gr_103.gif]  then yield  

(5-37)            [Graphics:../Images/LiouvilleMoreraGaussModHome_gr_104.gif].  

If we set [Graphics:../Images/LiouvilleMoreraGaussModHome_gr_105.gif] in Identity (5-37) and let  [Graphics:../Images/LiouvilleMoreraGaussModHome_gr_106.gif],  we get  

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

As advertised, we have shown that  [Graphics:../Images/LiouvilleMoreraGaussModHome_gr_108.gif]  is not a bounded function.

We are really done.

Aside.  We can graph  [Graphics:../Images/LiouvilleMoreraGaussModHome_gr_109.gif],  this is just for fun.

          [Graphics:../Images/LiouvilleMoreraGaussModHome_gr_110.gif]           [Graphics:../Images/LiouvilleMoreraGaussModHome_gr_111.gif]

The mapping  [Graphics:../Images/LiouvilleMoreraGaussModHome_gr_112.gif]  will map the infinite strip [Graphics:../Images/LiouvilleMoreraGaussModHome_gr_113.gif] onto the w-plane.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

This solution is complements of the authors.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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