# All Science Fair Projects

## Science Fair Project Encyclopedia for Schools!

Search                 Browse                 Forum               Coach                 Links                 Editor                 Help                 Tell-a-Friend                 Encyclopedia                 Dictionary

# Science Fair Project Encyclopedia

For information on any area of science that interests you,
enter a keyword (eg. scientific method, molecule, cloud, carbohydrate etc.).
Or else, you can start by choosing any of the categories below.

# Difference operator

In mathematics, a difference operator maps a function f(x) to another function f(x + a) − f(x + b).

The forward difference operator

Δf(x) = f(x + 1) - f(x)

occurs frequently in the calculus of finite differences, where it plays a role formally similar to that of the derivative, but used in discrete circumstances. Difference equations can often be solved with techniques very similar to those for solving differential equations. Analogously we can have the backward difference operator

$\nabla f(x)=f(x)-f(x-1).\,$

When restricted to polynomial functions f, the forward difference operator is a delta operator, i.e., a shift-equivariant linear operator on polynomials that reduces degree by 1. For any polynomial function f we have

$f(x)=\sum_{k=0}^\infty\frac{(\Delta^k f)(0)}{k!}(x)_k$

where

$(x)_k=x(x-1)(x-2)\cdots(x-k+1)$

is the "falling factorial" or "lower factorial" and the empty product (x)0 defined to be 1. (Warning: In the theory of special functions, the notation (x)k is often used for rising factorials; the former notation, however, is universal among combinatorialists.) In analysis with p-adic numbers, the assumption that f is a polynomial function can be weakened all the way to the assumption that f is merely continuous. That is Mahler's theorem.

Note that only finitely many terms in the above sum are non-zero: Δk f = 0 if k is greater than the degree of f. Note also the formal similarity of this result and Taylor's theorem.

03-10-2013 05:06:04
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 3, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.8604961633682251, "perplexity_flag": "middle"}