The spectral Einstein functional and the noncommutative residue for manifolds with boundary

In this paper, we define the spectral Einstein functional associated with the Dirac operator for manifolds with boundary. And we give the proof of Kastler-Kalau-Walze type theorem for the spectral Einstein functional associated with the Dirac operator on 4-dimensional manifolds with boundary.