On One of Matérn's Hard-core Point Process Models

By means of time discretization, we approximate evolution variational inequalities by the corresponding elliptic variational inequalities. Using ROTHE'S method (method of lines), an approximate solution is constructed by means of direct variational methods. Existence, uniqueness and regularity of solutions as well as convergence of the approximate solutions are proved.