(442) |

in cylindrical coordinates. Suppose that the domain of solution extends over all space, and the potential is subject to the simple boundary condition

In this case, the solution is written (see Section 2.3)

where the integral is over all space, and is a symmetric Green's function [i.e., --see Equation (143)] that satisfies

subject to the constraint [see Equation (143)]

In cylindrical coordinates,

(447) |

This follows because, by definition (see Section 1.5),

(448) |

whenever lies within the volume . Thus, Equation (446) becomes

The well-known mathematical identities

(450) | ||

(451) |

are conventionally used to invert Fourier series and Fourier transforms, respectively. In the present case, if we write

(452) |

then, making use of these identities, Equation (450) becomes

In the general case, when , the previous equation reduces to the modified Bessel equation,

As we saw in Section 3.10, the modified Bessel function [defined in Equation (435)] is a solution of the modified Bessel equation that is well behaved at , and badly behaved as . On the other hand, the modified Bessel function , where

(455) |

is a solution that is badly behaved at , and well behaved as . In fact,

(456) | ||

(457) |

We are searching for a solution of Equation (454) that is well behaved at (because there is no reason for the potential to be infinite at ) and goes to zero as , in accordance with the constraint (447). It follows that

(458) |

However, given that is a symmetric function, we expect to also be symmetric: that is, . Consequently,

(459) |

where is the lesser of and , and the greater. Integration of Equation (454) across yields

which implies that

(461) |

where denotes differentiation with respect to argument. However, the modified Bessel functions and satisfy the well-known mathematical identity

Hence, we deduce that . Thus, our general Green's function becomes

(463) |

The previous expression for the Green's function, in combination with Equation (445), leads to the following expressions for the general solution to Poisson's equation in cylindrical geometry, subject to the boundary condition (444):

(464) | ||

(465) | ||

(466) | ||

(467) | ||

(468) |

Suppose that we wish to solve Poisson's equation within a finite cylindrical volume, , bounded by the surfaces , , and . Let the boundary conditions imposed at the surface be

(469) | ||

(470) | ||

(471) |

where is a specified function. According to Section 2.10, the solution to this Dirichlet problem is written

where represents the bounding surface. Here, the Green's function is the symmetric solution to

that satisfies

(474) |

when (or ) lies on .

As before, in cylindrical coordinates, Equation (474) is written

If we search for a separable solution of the form then it is clear that

where

(477) |

is the appropriate expression for that satisfies the constraint when and . The Fourier series (477) can be inverted in the usual fashion to give

(478) |

which implies that

(479) |

Thus, searching for a Green's function of the form

(480) |

Equation (476) reduces to

(481) |

Of course, must be well behaved at . Moreover, the constraint when implies that . Hence,

(482) |

Now, the Green's function must be continuous when (otherwise, it would not be a symmetric function of and ): that is,

(483) |

This implies that

Integration of Equation (476) across again gives (461), which leads to

(485) |

where use has been made of Equations (463) and (485). It follows that

(486) |

Our general expression for the Dirichlet Green's function becomes

(487) |

It is easily demonstrated that

(488) |

Hence, making use of Equation (473), in combination with the previous two expressions, our general solution to the problem under discussion is specified by the following set of equations:

(489) | ||

(490) | ||

(491) | ||

(492) | ||

(493) | ||

(494) | ||

(495) |