Existence, uniqueness and regularity properties
are established for monotone travelling waves
of a convolution double-obstacle problem
ut
=J*u−u−f
(u),
the solution u(x, t) being
restricted to taking values in the interval
[−1, 1]. When u=±1, the
equation becomes an inequality. Here the kernel J
of the convolution is nonnegative with
unit integral and f satisfies
f(−1)>0>f(1). This is an extension
of the theory in Bates et al. (1997), which deals with
this same equation, without the constraint, when
f is bistable.
Among many other things, it is found that the travelling
wave profile u(x−ct) is always
±1 for sufficiently large positive or negative values of
its argument, and a necessary and sufficient condition is given
for it to be piecewise constant, jumping from −1
to 1 at a single point.