Strongly elliptic difference-differential operators in semibounded cylinder

In the paper we consider difference-differential operator in semibounded cylinder and obtain necessary and sufficient conditions for a Gårding-type inequality using a symbol of the operator.