*Inspired by this quiz about discrete derivatives.*

When I found this quiz, I remembered a thought I had had when I had heard about the formula \( \sum_{k=1}^n k = \frac{n(n+1)}2 \).

If you expand the fraction, you get \( \frac 1 2 n^2 + \frac 1 2 n \), which almost looks like the antiderivative of \( k \) except for the \( \frac 1 2 n \) term. When I did this for other sums, I got the same result:

\( \sum_{k=1}^n {\color{red} k^2} = {\color{red} \frac 1 3 n^3} + \frac 1 2 n^2 + \frac 1 6 n \)

\( \sum_{k=1}^n {\color{red} k^3} = {\color{red} \frac 1 4 n^4} + \frac 1 2 n^3 + \frac 1 4 n^2 \)

\( \sum_{k=1}^n {\color{red} k^4} = {\color{red} \frac 1 5 n^5} + \frac 1 2 n^4 + \frac 1 3 n^3 - \frac 1 {30} n \)

...

Because of the definition of these sums, their discrete derivatives are always \( n^a \) (a is some natural number), but even for discrete derivatives of simple polynomials the fundametal theorem of calculus still almost holds; at least for the highest order term.

So now I'm wondering if

- this also holds for functions that aren't polynomials, for example exponential functions or trigonometric functions
- the discrete antiderivative of the discrete antiderivative is also similar to the
*normal*second antiderivative - there are some polynomials for which antiderivative and discrete antiderivative are exactly the same

*EDIT: I've found the thing I'm calling "discrete antiderivative" as finite difference on Wikipedia and the article points out Faulhaber's formulas and the difference between odd and even degree polynomials. However, I haven't found what I'm searching for – a comparison/link to standard calculus integrals.*

No vote yet

1 vote

×

Problem Loading...

Note Loading...

Set Loading...

Easy Math Editor

`*italics*`

or`_italics_`

italics`**bold**`

or`__bold__`

boldNote: you must add a full line of space before and after lists for them to show up correctlyparagraph 1

paragraph 2

`[example link](https://brilliant.org)`

`> This is a quote`

Remember to wrap math in \( ... \) or \[ ... \] to ensure proper formatting.`2 \times 3`

`2^{34}`

`a_{i-1}`

`\frac{2}{3}`

`\sqrt{2}`

`\sum_{i=1}^3`

`\sin \theta`

`\boxed{123}`

## Comments

Sort by:

TopNewestThe formulas you have provided are called Faulhaber's formulas and are linked to Bernoulli numbers. There is a result by John Conway recently (2016, I think), where he is able to compute "derivatives" and "integrals" of these Faulhaber formulas, which distinguish between odd degrees and even degrees of the polynomials. Note that here, the notions of "derivative" and "integral" are merely just linear functions on polynomials in \(n\), which sends one polynomial to another with the linearity properties satisfied; no notion of calculus is required here. Because of this, we need to be precise as to what a "derivative" and an "integral" is here, as well as what a "discrete derivative" and a "discrete antiderivative" here. None of your questions can be answered without first establishing this point; you cannot simply input the framework of calculus into something that is only applied in a discrete way.

P.S. As for "exponential" functions and "trigonometric" functions, I don't see the relevance of Faulhaber's results to them as they are not properly defined currently.

Log in to reply

I would say,

Then all those four functions applied to polynomials are also polynomials and satisfy linearity (because of the commutative property for 2. and the linearity of sums for 3.)

So with these definitions, I hope I have stated my questions unambiguously, but I also think that they don't really make sense for other functions like exponential or trigonometric functions. But Conway's result sounds interesting, I think I'll take a look at it.

Log in to reply

What power rule from calculus? It's simplest to just define the Derivative as a linear map, where for integers \( n \geq 1 \),

\( D(x^n) \equiv nx^{n-1} \)

and the Integral as the inverse mapping of the Derivative, i.e. for integers \( n \geq 0 \),

\( I(x^n) \equiv D^{-1}(x^n) = \frac{x^{n+1}}{n+1}. \)

This was how Conway presented his definitions; with this, you don't need to be sloppy with them and avoids having to define a "discrete" version of them. As I said, no notion of calculus is ever involved; we are merely defining the Derivative and Integral as linear maps/functions which map one polynomial to another.

My main point was to ask you why you care to link these to the "standard" framework of calculus, when we have a nice stand-alone framework to study Faulhaber polynomials which only involve algebra & combinatorics.

P.S. I urge you again to look up Bernoulli numbers; I think this should answer your question regarding the coefficient of the largest-degree term.

Log in to reply

And then I also thought, if we have one mapping \( I(x^n) = D^{-1}(x^n) = \frac{x^{n+1}}{n+1} \) and then another mapping \( F(x^n) = (Faulhaber's formula) \), of course it will be interesting if there exist polynomials for which these two mappings give the same result.

Log in to reply

As to your final sentence, I vehemently disagree; there is no polynomial that is invariant under the Derivative or Integral linear map (it is easy to show this). You will have to venture into the realm of fiction to find such a case, by relying on "infinite processes" which would go against everything in discrete mathematics.

EDIT: To save you the trouble, note that what you would call "exponential" or "trigonometric" functions are really just "infinite sums".

Log in to reply

I don't directly see an intuitive reason why this is true, but I also haven't found an example.

Log in to reply