A conducting sphere of radius $a $, at potential $V_0 $, is surrounded by a thin concentric spherical shell of radius $b $, over which someone has glued a surface charge
\[\sigma (\theta )=k\cos \left( \theta \right) \]Where $k $ is a constant and $\theta $ is the usual spherical coordinate.
(a) Find the potential in each region: (i) $r>b $ and (ii) $a < r < b $. You should find that
\[V(r,\theta )=\begin{cases} \begin{matrix} aV_0/r+(b^3 -a^3 )k \cos \left( \theta \right) /3r^2 \epsilon _0 & r\geq b \\ aV_0/r+(r^3 -a^3 )k \cos \left( \theta \right) /3r^2 \epsilon _0 & a\leq r\leq b \\ \end{matrix} \end{cases} \](b) Find the induced surface charge $\sigma _i(\theta ) $ on the conductor.
(c) What is the total charge of this system? Check that your answer is consistent with the behavior of $V $ at large $r $.
Here's the layout of our problem:
Let's start by recalling that the general solution of Laplace's equation in spherical coordinates (see section 3.3.2: Spherical Coordinates, page 139)
\[V(r,\theta )=\sum_{l=0}^{\infty } \bigg( A_l r ^{l} + \frac{B_l}{r^{l+1}} \bigg)P_l(\cos \left( \theta \right) ) \tag{Eq. 3.65, page 141}\]Where the $P_l $'s are Legendre Polynomials. To keep this solution self-contained, here's a table of them (as seen on page 140):
Where in our case, $x\rightarrow \cos \left( \theta \right) $.
We need to subject Eq. 3.65 to the Boundary conditions that the physical setup has as well as common potential properties.
Outside the sphere of radius $b $, we must have $A_l=0 $ for all $l $. This is because we need $V\rightarrow 0 $ as $r\rightarrow \infty $. So far this reduces the general solution to
\[V_{r\geq b}(r,\theta )=\frac{B_l}{r^{l+1}}P_l(\cos \theta ) \]In the yellow region we can't say much for now. To make things clearer, let's denote the solution to the yellow region ($a\leq r \leq b $) with coefficients $A' $ and $B' $ (rather than $A $ and $B $ as in the outside solution):
\[V_{a\leq r \leq b}(r,\theta )=\sum_{l=0}^{\infty } \bigg( A'_l r ^{l} + \frac{B'_l}{r^{l+1}} \bigg)P_l(\cos \left( \theta \right) ) \]Of course, since the inner sphere is a conductor, we must have:
\[V_{r\leq a}(r,\theta )=V_0 \]Where $V_0 $ is constant.
Let's continue imposing constraints and requirements. Recall that potentials must be continuous, meaning that:
\begin{align*} V_{r\geq b}(b,\theta ) &= V_{a\leq r \leq b}(b,\theta ) \\ \text{and} \;\;\; V_{a\leq r \leq b}(a,\theta ) &= V_{r\leq a}(a,\theta ) \end{align*}From continuity at $r=b $ we have:
\begin{align*} V_{r\geq b}(b,\theta ) &= V_{a\leq r \leq b}(b,\theta ) \\ \sum_{l=0}^{\infty }\frac{B_l}{b^{l+1}}P_l(\cos \theta ) &= \sum_{l=0}^{\infty } \bigg( A'_l b ^{l} + \frac{B'_l}{b^{l+1}} \bigg)P_l(\cos \left( \theta \right) ) \\ \text{(*)} \;\;\;\;\;\;\frac{B_l}{b^{l+1}} &= \bigg( A'_l b ^{l} + \frac{B'_l}{b^{l+1}} \bigg)\\ B_l &= b^{2l+1}A'_l + B'_l \end{align*}Where the step (*) follows because the Legendre Polynomials are a system of complete and orthogonal polynomials, so the coefficients must match on a 1-to-1 correspondence.
We can see that the continuity at $r=b $ gave us a relation between the unknown coefficients in the outside region and those in the middle region.
From continuity at $r=a $ we have:
\begin{align*} V_{a\leq r \leq b}(a,\theta ) &= V_{r\leq a}(a,\theta ) \\ \sum_{l=0}^{\infty } \bigg( A'_l a ^{l} + \frac{B'_l}{a^{l+1}} \bigg)P_l(\cos \left( \theta \right) ) &= V_0 \end{align*}We can't use the same argument as in the case for continuity at $r=b $, where we got rid of the Legendre polynomials through a completeness/orthogonality argument, since the right hand side doesn't depend on the Legendre polynomials.
Still, notice the following: The right hand side is a constant. The left hand side is a function of $\theta $. The only way to make these two ideas match is to make the coefficients of all the $\theta $-dependent polynomials zero, and the rest will be equal to the right hand side: $V_0 $:
\begin{align*} \text{(**)} \;\;\;\;\;\;A'_l a ^{l} + \frac{B'_l}{a^{l+1}} &= V_0 \;\;\;\text{when} \;\;\;l=0 \\ \text{(***)} \;\;\;\;\;\;A'_l a ^{l} + \frac{B'_l}{a^{l+1}} &= 0 \;\;\; \text{when} \;\;\; l\neq 0 \end{align*}Again, the first Legendre polynomial is the only constant polynomial. From (**) it follows that (we can now change $l\rightarrow 0 $):
\[B'_0 = aV_0 -aA'_0 \]And from (***) it follows that
\[B'_l =-a^{2l+1}A'_l\;\;\; \text{when} \;\;\; l\neq 0 \]At this point, the three potentials can be simplified to (where by simplified we mean having less unknown coefficients):
\begin{align*} V_{r\leq a}(r,\theta ) &= V_0 \\ V_{a\leq r \leq b}(r,\theta ) &= \sum_{l=0}^{\infty } \bigg( A'_l r ^{l} + \frac{B'_l}{r^{l+1}} \bigg)P_l(\cos \left( \theta \right) ) \\ &{\;} \rightarrow \; A'_0 +\frac{aV_0 -aA'_0 }{r}+ \sum_{l=1}^{\infty } \bigg( A'_l r ^{l} + \frac{B'_l}{r^{l+1}} \bigg)P_l(\cos \left( \theta \right) )\\ V_{r\geq b}(r,\theta ) &= \sum_{l=0}^{\infty }\frac{B_l}{r^{l+1}}P_l(\cos \theta ) \\ &{\;} \rightarrow \sum_{l=0}^{\infty } \frac{b^{2l+1}A'_l+B'_l}{r^{l+1}}P_l(\cos \theta ) \end{align*}Let's now impose the condition having to do with $\sigma $:
\[\frac{\partial V_{\text{above} }}{\partial n}-\frac{\partial V_{\text{below} }}{\partial n}=-\frac{1}{\epsilon _0 }\sigma \tag{Eq. 2.36, page 88} \]Where in this problem
\begin{align*} \sigma &= k\cos \left( \theta \right) \\ &{\;}\equiv k P_1 (\cos \left( \theta \right) )\\ V_{\text{above} } &= V_{r\geq b}\\ V_{\text{below} } &= V_{a\leq r \leq b} \end{align*}The fact that $\sigma $ can be written in terms of one of the Legendre polynomials (with argument $\cos \left( \theta \right) $) will allow us to generate further constraints. To keep things simple, I will use the potentials without substituting the constraints found through continuity:
\begin{align*} \frac{\partial V_{r\geq b}}{\partial r} &= \sum_{l=0}^{\infty } B_l\frac{-(l+1)}{r^{l+2}}P_l(\cos \theta ) \\ \frac{\partial V_{a\leq r\leq b}}{\partial r} &= \sum_{l=0}^{\infty } \bigg( A'_l l r^{l-1}+B'_l \frac{-(l+1)}{r^{l+2}} \bigg) P_l(\cos \theta ) \end{align*}Equation 2.36 then says:
\[\sum_{l=0}^{\infty } \bigg( B_l\frac{-(l+1)}{b^{l+2}} - A'_l l b^{l-1}+B'_l \frac{(l+1)}{b^{l+2}} \bigg) P_l(\cos \theta )=-\frac{k}{\epsilon _0 }P_1 (\cos \theta ) \](Notice that I evaluated $r\rightarrow b $).
If $l=1 $, then:
\begin{align*} -B_1 \frac{2}{b^3}-A'_1 +B'_1 \frac{2}{b^3 } &= -\frac{k}{\epsilon _0 } \\ \text{so} \;\;\;\;\; A'_1 +\frac{2}{b^3 }(B_1 -B'_1 ) &= \frac{k}{\epsilon _0 } \end{align*}Where, as above, we had the match the coefficients of $P_1 $ on both sides.
If $l\neq 1 $, then the coefficient of $P_l $ must be zero, meaning
\[B_l\frac{-(l+1)}{b^{l+2}} - A'_l l b^{l-1}+B'_l \frac{(l+1)}{b^{l+2}} =0 \]Which we further simplify to a more useable form:
\[(l+1)(B_l-B'_l)+lb^{2l+1}A'_l =0\]Let's summarize our findings so far:
(f1) From continuity at $r=b $:
\[B_l=b^{2l+1}A'_l+B'_l\tag{i} \](f2) From continuity at $r=a $:
\begin{align*} B'_0 &= aV_0 -aA'_0 \tag{ii} \\ \text{With $l\neq 0 $} \;\;\;B'_l &= -a^{2l+1}A'_l\tag{iii} \end{align*}(f3) From surface charge:
\begin{align*} A'_1 +\frac{2}{b^3 }(B_1 -B'_1 ) &= \frac{k}{\epsilon _0 }\tag{iv} \\ \text{With $l\neq 1 $} \;\;\;(l+1)(B_l-B'_l)+lb^{2l+1}A'_l &= 0 \tag{v} \end{align*}Use (ii) and (iii) to write (i) in terms of $A'_l $ only:
\begin{align*} B_l &= (b^{2l+1}-a^{2l+1})A'_l \\ B_0 &= (b-a)A'_0+aV_0 \;\;\; \text{With $l\neq 0 $} \end{align*}Using this and (iii) in (v) for any case where $l\neq 0 \neq 1 $:
\[(l+1)\bigg( (b-a)A'_l+aV_0 + a^{2l+1}A'_l \bigg)+lb^{2l+1}A'_l=0 \]Since we can factor out $A'_l $, it follows that
\[A'_l=0 \]For any $l>1 $. This implies
\[B'_l=0 \]For any $l>1 $ (were I looked at (iii)). And looking at (i), it follows that
\[B_l=0 \]For any $l>1 $. At this point it must be clear that we haven't found any specific values for any of the constants, but we did find that out of the infinite ones we had to find, only 6 might be non-zero: $B_l,A'_l,B'_l $ with $l=0 $ or $l=1 $.
From (v) with $l=0 $ it follows that
\[B_0 =B'_0 \]And with $A'_0 =0 $, it follows that
\[B_0 =B'_0 =aV_0 \]For $l=1 $, it is immediate that
\[A'_1=\frac{k}{3\epsilon _0 } \]Giving (since we can relate $A'_1 $ and $B'_1 $):
\[B'_1 =-\frac{a^3 k}{3\epsilon _0 } \]Finally:
\[B_1 =\frac{(b^3 -a^3 )k}{3\epsilon _0 } \]So
\[V(r,\theta )=\begin{cases} \begin{matrix} aV_0/r+(b^3 -a^3 )k \cos \left( \theta \right) /3r^2 \epsilon _0 & r\geq b \\ aV_0/r+(r^3 -a^3 )k \cos \left( \theta \right) /3r^2 \epsilon _0 & a\leq r\leq b \\ \end{matrix} \end{cases} \]Which also corresponds to the total charge of the system.
Consider the $V $ for $r\geq b $. For large $r $, the 2nd term can be ignored and we are left with
\[V(r,\theta )\approx \frac{aV_0 }{r} \]Notice that this is the same as putting the total charge found on part (b) in the point-particle formula.