В математике оператор неопределенной суммы (также известный как оператор антиразности ) , обозначаемый или [1] [2] [3] , является линейным оператором , обратным прямому оператору разности . Он относится к прямому разностному оператору так же, как неопределенный интеграл относится к производной . Таким образом
Точнее, если , то
Если F ( x ) является решением этого функционального уравнения для данного f ( x ), то таким же решением является F ( x )+ C ( x ) для любой периодической функции C ( x ) с периодом 1. Следовательно, каждая неопределенная сумма на самом деле представляет собой семейство функций. Однако в силу теоремы Карлсона решение, равное ее разложению в ряд Ньютона , единственно с точностью до аддитивной константы C. Это единственное решение может быть представлено формальным степенным рядом антиразностного оператора: .
Если то [6]
Если период функции, то
Если антипериод функции , то