Such a random field indeed exists, and its distribution is unique. Given any orthonormal basis ψ ψ 1 , ψ ψ 2 , … … of H 1 ( Ω Ω ) (with the given boundary condition), we can form the formal infinite sum