Module

for

Two-Dimensional Mathematical Models

 

11.4  Two-Dimensional Mathematical Models

    We now consider problems involving steady state heat flow, electrostatics, and ideal fluid flow that can be solved with conformal mapping techniques.  Conformal mapping transforms a region in which the problem is posed to one in which the solution is easy to obtain.  As our solutions involve only two independent variables, x and y, we first mention a basic assumption needed for the validity of the model.

    The physical problems we just mentioned are real-world applications and involve solutions in three-dimensional Cartesian space.  Such problems generally would involve the Laplacian in three variables and the divergence and curl of three-dimensional vector functions.  Since complex analysis involves only x and y, we consider the special case in which the solution does not vary with the coordinate along the axis perpendicular to the xy plane.  For steady state heat flow and electrostatics, this assumption means that the temperature, T, or the potential, V, varies only with x, and y.  Thus for the flow of ideal fluids, the fluid motion is the same in any plane that is parallel to the z plane.  Curves drawn in the z plane are to be interpreted as cross sections that correspond to infinite cylinders perpendicular to the z plane.  An infinite cylinder is the limiting case of a "long" physical cylinder, so the mathematical model that we present is valid provided the three-dimensional problem involves a physical cylinder long enough that the effects at the ends can be reasonably neglected.

 

    In Section 11.2 and Section 11.3, we showed how to obtain solutions [Graphics:Images/MathModelsMod_gr_6.gif] for harmonic functions.  For applications, we need to consider the family of level curves  

(10-16)        [Graphics:Images/MathModelsMod_gr_7.gif]

and the conjugate harmonic function  [Graphics:Images/MathModelsMod_gr_8.gif]  and its family of level curves  

(10-17)        [Graphics:Images/MathModelsMod_gr_9.gif]

For convenience, we introduce the term complex potential for the analytic function  

            [Graphics:Images/MathModelsMod_gr_10.gif].

We use Theorem 11.4, regarding the orthogonality of the families of level curves (10-16) and (10-17), to develop ideas concerning the physical applications that we will consider.

Theorem 11.4 (Orthogonal Families of Level Curves).  Let [Graphics:Images/MathModelsMod_gr_11.gif] be harmonic in a domain D.  Let [Graphics:Images/MathModelsMod_gr_12.gif] be the harmonic conjugate and let   [Graphics:Images/MathModelsMod_gr_13.gif]  be the complex potential.  Then the two families of level curves given in Equations  (10-16) and (10-17), respectively, are orthogonal in the sense that if [Graphics:Images/MathModelsMod_gr_14.gif] is a point in common to the two curves  [Graphics:Images/MathModelsMod_gr_15.gif]  and  [Graphics:Images/MathModelsMod_gr_16.gif],  and  if   [Graphics:Images/MathModelsMod_gr_17.gif] ,  then these two curves intersect orthogonally.

Proof.

Proof of Theorem 11.4 is in the book.
Complex Analysis for Mathematics and Engineering

Exploration for Theorem 11.4.

 

    The complex potential  [Graphics:Images/MathModelsMod_gr_35.gif]  has many physical interpretations.  Suppose, for example, that we have solved a problem in steady state temperatures. Then we can obtain the solution to a similar problem with the same boundary conditions in electrostatics by interpreting the isothermals as equipotential curves and the heat flow lines as flux lines. This implies that heat flow and electrostatics correspond directly.

    Or suppose that we have solved a fluid flow problem.  Then we can obtain a solution to an analogous problem in heat flow by interpreting the equipotentials as isothermals and streamlines as heat flow lines.  Various interpretations of the families of level curves given in Equations  (10-16) and (10-17) and correspondences between families are summarized in Table 11.1.

            

[Graphics:Images/MathModelsMod_gr_36.gif]

[Graphics:Images/MathModelsMod_gr_37.gif]

[Graphics:Images/MathModelsMod_gr_38.gif]

       [Graphics:Images/MathModelsMod_gr_39.gif]

       [Graphics:Images/MathModelsMod_gr_40.gif]

       [Graphics:Images/MathModelsMod_gr_41.gif]

       [Graphics:Images/MathModelsMod_gr_42.gif]

       [Graphics:Images/MathModelsMod_gr_43.gif]

       [Graphics:Images/MathModelsMod_gr_44.gif]

       [Graphics:Images/MathModelsMod_gr_45.gif]

       [Graphics:Images/MathModelsMod_gr_46.gif]

       [Graphics:Images/MathModelsMod_gr_47.gif]

       [Graphics:Images/MathModelsMod_gr_48.gif]

       [Graphics:Images/MathModelsMod_gr_49.gif]

       [Graphics:Images/MathModelsMod_gr_50.gif]

       [Graphics:Images/MathModelsMod_gr_51.gif]

       [Graphics:Images/MathModelsMod_gr_52.gif]

       [Graphics:Images/MathModelsMod_gr_53.gif]

       [Graphics:Images/MathModelsMod_gr_54.gif]

       [Graphics:Images/MathModelsMod_gr_55.gif]

       [Graphics:Images/MathModelsMod_gr_56.gif]

       [Graphics:Images/MathModelsMod_gr_57.gif]

       [Graphics:Images/MathModelsMod_gr_58.gif]

       [Graphics:Images/MathModelsMod_gr_59.gif]

       [Graphics:Images/MathModelsMod_gr_60.gif]

       [Graphics:Images/MathModelsMod_gr_61.gif]

       [Graphics:Images/MathModelsMod_gr_62.gif]

                Table 11.1  Interpretations for the level curves of [Graphics:Images/MathModelsMod_gr_63.gif] and [Graphics:Images/MathModelsMod_gr_64.gif].

 

 

Preview of Applications

    The following is a sample of applications taken from Section 11.5 Steady State Temperatures; Section 11.6 Two-Dimensional Electrostatics; Section 11.7 Two-Dimensional Fluid Flow; Section 11.8 The Joukowski Airfoil ; Section 11.9 The Schwarz-Christoffel Transformation; Section 11.10 Image of a Fluid Flow; Section 11.11 Sources and Sinks.

 

Example 11.16.  (See Section 11.5 for more.) Find the temperature [Graphics:Images/MathModelsMod_gr_65.gif] at each point in the upper half-disk  [Graphics:Images/MathModelsMod_gr_66.gif],  if the temperature at points on the boundary satisfies

            [Graphics:Images/MathModelsMod_gr_67.gif]    

[Graphics:Images/MathModelsMod_gr_68.gif]

Solution.  As discussed in Example 11.9, the transformation  

            [Graphics:Images/MathModelsMod_gr_69.gif]

is a one-to-one conformal mapping of the half-disk H onto the first quadrant [Graphics:Images/MathModelsMod_gr_70.gif], and can be written as

(11-24)            [Graphics:Images/MathModelsMod_gr_71.gif]    

The conformal map given by Equation (11-24) gives rise to a new problem of finding the temperature [Graphics:Images/MathModelsMod_gr_72.gif] that satisfies the boundary conditions  

            [Graphics:Images/MathModelsMod_gr_73.gif]

If we use Example 11.2, the harmonic function [Graphics:Images/MathModelsMod_gr_74.gif] is given by  

(11-25)         [Graphics:Images/MathModelsMod_gr_75.gif].  

Substituting the expressions for u and v from Equation (11-24) into Equation (11-25) yields the desired solution:  

            [Graphics:Images/MathModelsMod_gr_76.gif].
The isothermals  [Graphics:Images/MathModelsMod_gr_77.gif]  are circles that pass through the points ±1, as shown in Figure 11.19.

            Figure 11.19  The temperature [Graphics:Images/MathModelsMod_gr_78.gif] in a half-disk.

Explore Solution 11.16.

 

Example 11.21.  (See Section 11.6 for more.) Find the electrical potential  [Graphics:Images/MathModelsMod_gr_88.gif]  in the disk  [Graphics:Images/MathModelsMod_gr_89.gif]  that satisfies the boundary values

            [Graphics:Images/MathModelsMod_gr_90.gif]  

[Graphics:Images/MathModelsMod_gr_91.gif]

Solution.  The mapping  [Graphics:Images/MathModelsMod_gr_92.gif]  is a one-to-one conformal mapping of D onto the upper half-plane  [Graphics:Images/MathModelsMod_gr_93.gif]  with the property that [Graphics:Images/MathModelsMod_gr_94.gif] is mapped onto the negative u axis and [Graphics:Images/MathModelsMod_gr_95.gif] is mapped onto the positive u axis.  The potential [Graphics:Images/MathModelsMod_gr_96.gif] in the upper half-plane that satisfies the new boundary values

            [Graphics:Images/MathModelsMod_gr_97.gif]  

is given by  

(11-29)            [Graphics:Images/MathModelsMod_gr_98.gif].  

A straightforward calculation shows that  

            [Graphics:Images/MathModelsMod_gr_99.gif]


We substitute the real and imaginary parts,  [Graphics:Images/MathModelsMod_gr_100.gif]  and  [Graphics:Images/MathModelsMod_gr_101.gif]  from this equation, into Equation (11-29) to obtain the desired solution:   

             [Graphics:Images/MathModelsMod_gr_102.gif].  

The level curve  [Graphics:Images/MathModelsMod_gr_103.gif]  in the upper half-plane is a ray emanating from the origin, and the preimage  [Graphics:Images/MathModelsMod_gr_104.gif]  in the unit disk is an arc of a circle that passes through the points  [Graphics:Images/MathModelsMod_gr_105.gif].  Several level curves are illustrated in Figure 11.38.

            Figure 11.38  The potentials  [Graphics:Images/MathModelsMod_gr_106.gif]  and  [Graphics:Images/MathModelsMod_gr_107.gif].  

Explore Solution 11.21.

 

Example 11.24.  (See Section 11.7 for more.) Find the complex potential for an ideal fluid flowing from left to right across the complex plane and around the unit circle  [Graphics:Images/MathModelsMod_gr_119.gif].  

[Graphics:Images/MathModelsMod_gr_120.gif]

Solution.  We use the fact that the conformal mapping  [Graphics:Images/MathModelsMod_gr_121.gif]  maps the domain  [Graphics:Images/MathModelsMod_gr_122.gif]  one-to-one and onto the w plane slit along the segment  [Graphics:Images/MathModelsMod_gr_123.gif].  The complex potential for a uniform horizontal flow parallel to this slit in the w plane is  

            [Graphics:Images/MathModelsMod_gr_124.gif],  

where A is a positive real number.  The stream function for the flow in the w plane is  [Graphics:Images/MathModelsMod_gr_125.gif]  so that the slit lies along the streamline  [Graphics:Images/MathModelsMod_gr_126.gif].

    The composite function  [Graphics:Images/MathModelsMod_gr_127.gif]  determines the fluid flow in the domain D, where the complex potential is

            [Graphics:Images/MathModelsMod_gr_128.gif],  

where [Graphics:Images/MathModelsMod_gr_129.gif].  We can use polar coordinates to express [Graphics:Images/MathModelsMod_gr_130.gif] as

            [Graphics:Images/MathModelsMod_gr_131.gif]

The streamline   [Graphics:Images/MathModelsMod_gr_132.gif]  consists of the rays

            [Graphics:Images/MathModelsMod_gr_133.gif]   and   [Graphics:Images/MathModelsMod_gr_134.gif]

along the x axis and the curve  [Graphics:Images/MathModelsMod_gr_135.gif],  which is the unit circle  [Graphics:Images/MathModelsMod_gr_136.gif].  Thus the unit circle can be considered as a boundary curve for the fluid flow.

    The approximation  [Graphics:Images/MathModelsMod_gr_137.gif]  is valid for large values of z, so we can approximate the flow with a uniform horizontal flow having speed  [Graphics:Images/MathModelsMod_gr_138.gif]  at points that are distant from the origin.  The streamlines  [Graphics:Images/MathModelsMod_gr_139.gif]  and their images  [Graphics:Images/MathModelsMod_gr_140.gif]  under the mapping [Graphics:Images/MathModelsMod_gr_141.gif] are illustrated in Figure 11.51.

            Figure 11.51  Fluid flow around a circle. 

Explore Solution 11.24.

 

Example 11.27.  (See Section 11.9 for more.) Use the Schwarz Christoffel formula to verify that  [Graphics:Images/MathModelsMod_gr_158.gif]  maps the upper half plane  [Graphics:Images/MathModelsMod_gr_159.gif]  onto the upper half plane  [Graphics:Images/MathModelsMod_gr_160.gif]  slit along the line segment from  [Graphics:Images/MathModelsMod_gr_161.gif].   (Use the principal square root throughout.)

[Graphics:Images/MathModelsMod_gr_172.gif]

Solution.  If we choose  [Graphics:Images/MathModelsMod_gr_162.gif]  and  [Graphics:Images/MathModelsMod_gr_163.gif],  then the formula

            [Graphics:Images/MathModelsMod_gr_164.gif]

will determine a mapping [Graphics:Images/MathModelsMod_gr_165.gif] from the upper half-plane  [Graphics:Images/MathModelsMod_gr_166.gif]  onto the portion of the upper half-plane  [Graphics:Images/MathModelsMod_gr_167.gif]  that lies outside the triangle with vertices  [Graphics:Images/MathModelsMod_gr_168.gif]  as indicated in Figure 11.73(a).  If we let [Graphics:Images/MathModelsMod_gr_169.gif],  then  [Graphics:Images/MathModelsMod_gr_170.gif], and  [Graphics:Images/MathModelsMod_gr_171.gif].  

            Figure 11.73   The region with [Graphics:Images/MathModelsMod_gr_173.gif] and [Graphics:Images/MathModelsMod_gr_174.gif].

    The limiting formula for the derivative [Graphics:Images/MathModelsMod_gr_175.gif] becomes    

            [Graphics:Images/MathModelsMod_gr_176.gif]

which will determine a mapping [Graphics:Images/MathModelsMod_gr_177.gif] from the upper half-plane  [Graphics:Images/MathModelsMod_gr_178.gif]  onto the upper half plane  [Graphics:Images/MathModelsMod_gr_179.gif]  slit along the line segment from  [Graphics:Images/MathModelsMod_gr_180.gif] as indicated in Figure 11.73(b).  An easy integration reveals that [Graphics:Images/MathModelsMod_gr_181.gif] is given by  

            [Graphics:Images/MathModelsMod_gr_182.gif]  

and the boundary values  [Graphics:Images/MathModelsMod_gr_183.gif]  lead to system of equations

            [Graphics:Images/MathModelsMod_gr_184.gif]   and   [Graphics:Images/MathModelsMod_gr_185.gif]

the solution is easily found to be [Graphics:Images/MathModelsMod_gr_186.gif] and the desired function  is  

            [Graphics:Images/MathModelsMod_gr_187.gif].

Explore Solution 11.27.

 

Example 11.29.  (See Section 11.10 for more.) Show that the mapping  [Graphics:Images/MathModelsMod_gr_202.gif]  maps the upper half plane [Graphics:Images/MathModelsMod_gr_203.gif]  onto the domain in the w-plane that lies above the boundary curve consisting of the rays  [Graphics:Images/MathModelsMod_gr_204.gif] and the segment  [Graphics:Images/MathModelsMod_gr_205.gif]   (see Figure 11.87).

[Graphics:Images/MathModelsMod_gr_206.gif]

            Figure 11.87  (a) Flow over a step.                    (b) Flow around a blunt object.

Hint:  Set  [Graphics:Images/MathModelsMod_gr_207.gif]  and   [Graphics:Images/MathModelsMod_gr_208.gif].  In the w-plane [Graphics:Images/MathModelsMod_gr_209.gif], and the exterior angles are  [Graphics:Images/MathModelsMod_gr_210.gif],  and the formula for the derivative [Graphics:Images/MathModelsMod_gr_211.gif] is  

            [Graphics:Images/MathModelsMod_gr_212.gif]

Integrate and get  

            [Graphics:Images/MathModelsMod_gr_213.gif]

Solve for the coefficients A and B and obtain

            [Graphics:Images/MathModelsMod_gr_214.gif]

It maps the upper half-plane [Graphics:Images/MathModelsMod_gr_215.gif]  onto the domain in the w plane that lies above the boundary curve consisting of the rays  [Graphics:Images/MathModelsMod_gr_216.gif] and the segment  [Graphics:Images/MathModelsMod_gr_217.gif].  Furthermore, the image of horizontal streamlines in the z plane are curves in the w plane given by the parametric equation

        [Graphics:Images/MathModelsMod_gr_218.gif]

for  [Graphics:Images/MathModelsMod_gr_219.gif].  The new flow is that of a step in the bed of a deep stream and is illustrated in Figure 11.87(a).  The function [Graphics:Images/MathModelsMod_gr_220.gif] is also defined for values of z in the lower half-plane, and the images of horizontal streamlines that lie above or below the x axis are mapped onto streamlines that flow past a long rectangular obstacle, which is illustrated in Figure 11.87(b).

Explore Solution 11.29.

 

Example 11.30.  (Source and sink of equal strength)  (See Section 11.11 for more.) Let a source and sink of unit strength be located at the points [Graphics:Images/MathModelsMod_gr_252.gif] and [Graphics:Images/MathModelsMod_gr_253.gif], respectively.  The complex potential for a fluid flowing from the source at  [Graphics:Images/MathModelsMod_gr_254.gif]  to the sink at  [Graphics:Images/MathModelsMod_gr_255.gif]  is  

            [Graphics:Images/MathModelsMod_gr_256.gif].  

 

[Graphics:Images/MathModelsMod_gr_257.gif]

            Figure 11.95 (a)  Source and sink of unit strength.

The velocity potential and stream function are  

            [Graphics:Images/MathModelsMod_gr_258.gif],   and  

            [Graphics:Images/MathModelsMod_gr_259.gif],  

respectively.  Solving for the streamline  [Graphics:Images/MathModelsMod_gr_260.gif],  we start with   

            [Graphics:Images/MathModelsMod_gr_261.gif]  

and obtain the equation

            [Graphics:Images/MathModelsMod_gr_262.gif].

A straightforward calculation shows that points on the streamline must satisfy the equation  

            [Graphics:Images/MathModelsMod_gr_263.gif],  

which is the equation of a circle with center at  [Graphics:Images/MathModelsMod_gr_264.gif]  that passes through the points  [Graphics:Images/MathModelsMod_gr_265.gif].  Several streamlines are indicated in Figure 11.95(a).

Explore Solution 11.30.

 

Library Research Experience for Undergraduates

Dirichlet Problem

Neumann Problem

Poisson Integral

Electrostatics

Ideal Fluid Flow

Steady State Temperature

Joukowski Transformation and Airfoils

Schwarz-Christoffel Transformation

Complex Potential

Green's Function

 

Download This Mathematica Notebook

Download The Maple Worksheet

  

The Next Module is

Steady State Temperatures  

 

 

Return to the Complex Analysis Modules  

 

 

Return to the Complex Analysis Project

 

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