Are you familiar with distribution theory? Because you are actually differentiating them now
Trying to verify the general integral solution to Poisson's equation I reach the following contradiction, what am I missing/doing wrong?
A solution to Poisson's equation satisfies:
we can find such a solution in a given domain by evaluating:
or equivalently (if we are only interested in the electric field):
We can think of these solutions as either the Green's function solution or, physically, as the convolution of the point source solution with the source density .
However if I take the Laplacian (or the divergence in the case of the electric field solution) of either of the above I get zero instead of . What am I missing??
To evaluate the Laplacian/divergence of the above I make use of the fact that is a 'dummy variable', which allows me to switch the order of integration and differentiation when applying to the integral on the RHS and also means the components of all have derivative zero. With these assumptions the operation is fairly straightforward to carry out, but I have anyway verified my answer with Mathematica.
EDIT: OK it's since been pointed out to me (at almost the same time as I found it in a book myself --- isn't it always the way) that my error lies in thinking the Laplacian of is zero when it fact it is equal to , which then allows you to get the correct result in the above. However I'm still wondering if anyone knows how to show this is the case directly (i.e. by performing the differentiation), as the references I've found instead start by searching for a function that satisfies and then deducing that it must be the above without direct differentiation.
OK, with thanks to several people I now understand. The way to show it is to use the divergence theorem to prove that the volume integral of is . Then by arguing that we know is zero everywhere except and from the definition of the delta function one can conclude that the value of must be .
For anyone who is interested in more details, see here:
Poisson's equation and Green's functions