広田微分の演算子をD_xとして、
e^(D_x) f(x)・f(x) = f(x+1) f(x-1)
ってどんな場合でも成り立ちますでしょうか？
色々計算してみたのですが、どうしても分からずもしかしたら別の条件式から導くのかもしれません