/*
* You may think you know what the following code does.
* But you dont. Trust me.
* Fiddle with it, and youll spend many a sleepless
* night cursing the moment you thought youd be clever
* enough to "optimize" the code below.
* Now close this file and go play with something else.
*/
@Lozansky Just to follow up: in the solution I wrote up, i computed the surface bound charge and used it to get the boundary condition at the cylinder for the electric potential
A multipole expansion is a mathematical series representing a function that depends on angles—usually the two angles on a sphere. These series are useful because they can often be truncated, meaning that only the first few terms need to be retained for a good approximation to the original function. The function being expanded may be complex in general. Multipole expansions are very frequently used in the study of electromagnetic and gravitational fields, where the fields at distant points are given in terms of sources in a small region. The multipole expansion with angles is often combined with...
though for the cylinder you need to use cylindrical multipoles instead of spherical multipoles. That means no Legendre polynomials, which makes things rather simpler.
Ok so let's say $\mathbf{P} = P \hat{x}$ then $\sigma_b = P \hat{x} \cdot \hat{s} = P \cos \phi$ and problem is $\nabla \cdot \mathbf{E} = 0$ with boundary condition $\mathbf{E}_1-\mathbf{E}_2 = \dfrac{1}{\epsilon_0} P \cos \phi \hat{n}_{12}$ where $\hat{n}_{12}$ goes from $2$ to $1$?
though I partly say that because one of my students assigned problems was to work out the separation of variables solution: >! $$V(s,\phi) = A_0+B_0\ln s+\sum_{n=1}^\infty [s^n(A_n \cos n\phi+B_n\sin n\phi)+s^{-n}(C_n\cos n \phi+D_n \sin \phi]$$
I would discourage you from approaches that use that approach. Griffiths is explicitly trying to get you to understand what makes that very same black-box tick.
My main problem with "just try a separation of variables solution" is that in general that won't work---you'll need to consider a set of such solutions
The value of separation of variables isn't that they give solutions to particular boundary conditions. it's that they can be used to set up arbitrary boundary conditions
I would argue that the right approach is to learn to recognize when the system has the correct angular dependence (i.e. multipolar) that will lead to that simplification in the separation of variables.
(that to me is another good lesson: to be able to look at the full solution and determine what parts of it matter, and which parts can be ignored)
The fact that the surface bound charge is basically just $\cos\phi$ is a pretty big hint :)
I think the other reason I like this approach, though, is that it's absolutely essential to proceed in this way once you start doing linear dielectrics
Gotta understand how the boundary conditions for the potential work in that case