Неопределенная сумма


В математике оператор неопределенной суммы (также известный как оператор антиразности ) , обозначаемый или [1] [2] [3] , является линейным оператором , обратным прямому оператору разности . Он относится к прямому разностному оператору так же, как неопределенный интеграл относится к производной . Таким образом

Точнее, если , то

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

Если то [6]

Если период функции, то

Если антипериод функции , то