Be careful, the Laplacian is not surjective. To see this first write the Laplacian $L$ as the composition of two operators $\nabla$ (the gradient) and $\nabla^*$ the divergence. To define those, let $X$ is the set of vertices and $E \subset X \times X$ be the set of edges (edges are here oriented, one can also impose that $E$ is symmetric: $(x,y) \in E \implies (y,x) \in E$; this has no real influence on the problem). Given a function $f: X \to \mathbb{C}$, let $\nabla f(x,y) = f(y) - f(x)$ ($\nabla f$ is a function on the edges). $\nabla^*$ is the adjoint of $\nabla$. Given a function $g$ on the edges, $\nabla^*g(x) = \sum_{y \sim x} g(y,x) -\sum_{y \sim x} g(x,y)$ where $y \sim x$ are the neighbours of $x$ ($\nabla^*g$ is a function on the vertices). Easy computations show that $L = \nabla^* \nabla$. $\mathrm{Im} \nabla^*$ is $\ell^1_0X = \lbrace f \in \ell^1X \mid \sum_{x \in X} f(x) =0 \rbrace$. So the image of $L$ is contained in $\ell^1_0X$. One can further check that $\overline{\mathrm{Im} L} = \ell^1_0 X$ if and only if the graph has no non-constant bounded harmonic functions. Non-amenable groups always have non-constant bounded harmonic functions so that the image of $L$ is strictly contained in $\ell^1_0 X$.