A nonlocal elliptic problem on a Heisenberg group

We study an elliptic nonlocal problem driven by a source term which is a Radon measure. We prove the existence of a weak solution by a weak convergence method. In the process, we define a new function space which we name the Walker space. The question about the existence of infinitely many nontrivial solutions leads to an interesting conjecture.