Obtaining Simply Explicit Form and New Properties of Euler Polynomials by Differential Calculus

Do Tan Si

Ho Chi Minh-City Physical Association, Ho Chi Minh-City, Vietnam.

DOI: 10.4236/am.2023.147029                

Abstract

Utilization of the shift operator to represent Euler polynomials as polynomials of Appell type leads directly to its algebraic properties, its relations with powers sums; may be all its relations with Bernoulli polynomials, Bernoulli numbers; its recurrence formulae and a very simple formula for calculating simultaneously Euler numbers and Euler polynomials. The expansions of Euler polynomials into Fourier series are also obtained; the formulae for obtaining all π^m as series on k^-m and for expanding functions into series of Euler polynomials.

Keywords

Obtaining Appell Type Euler Numbers and Polynomials, Relations Euler-Bernoulli Polynomials, Sums over k^m, Series on k^-m, Euler Series of Functions

1. Introduction

Euler is widely regarded as one of the greatest and most prolific mathematicians of all time [1] as everyone can contemplate when reading the list of his publications concerning plenty of mathematical notions in [2] . From this list we know that he has introduced among others the notion of function $f\left(x\right)$ of a variable x, the exponential notation ${\text{e}}^x$ , the symbol i such that $i^2=-1$ , the trigonometric definition of $\cos x$ and $\sin x$ by the formula

${\text{e}}^{ix}=\cos x+i\sin x$ , etc.

In the same period, Leibniz and Newton introduced the notions of infinitesimals dx, dy, the derivative $f^{\prime }\left(x\right)=\frac{\text{d}}{\text{d}x}f\left(x\right)$ of a function and so on [3] [4] .

Later, in 1766, Lagrange succeeded Euler at the Prussian Academy of Sciences and invented the shift operator ${\text{e}}^{t{\partial }_x}$ having the property ${\text{e}}^{t{\partial }_x}f\left(x\right)=f\left(x+t\right)$ [5] .

After the introduction of shift or translation operators, it was introduced about in 1970 the notion of hyper-differential operator, noticeably by Wolf of Universidad Nacional Autónoma de México [6] who obtained that the Fourier transformation is representable by the operators $FT\equiv {\text{e}}^{i\frac{\pi }{4}}{\text{e}}^{-\frac{i}{2}{\hat{X}}^2}{\text{e}}^{\frac{i}{2}{D}_x^2}{\text{e}}^{-\frac{i}{2}{\hat{X}}^2}$ where $\hat{X}$ designates the Eckaert “multiply with x” operator analogous with the position operator in quantum mechanics.

At the same period, many authors such as Moshinsky, Quesne [7] and Treves [8] introduced the notion of linear canonical transforms.

Now, this work aims to utilize the Lagrange shift operator ${\text{e}}^{t{\partial }_z}$ to express $E_m\left(z\right)$ as the transform of the monomial $z^m$ by a hyper differential operator then to obtain by differential calculus, its known and new found properties, its recursion relations; maybe all of its relations with the Bernoulli polynomials; its Fourier series which give ${\pi }^m$ from series in $k^{-m}$ as so as expansions of functions into Euler series; etc.

2. Definition

The Euler polynomial is defined from the generating function [9] [10]

${\displaystyle {\sum }_{m=0}^{\infty }{E}_m\left(z\right)\frac{t^m}{m!}}=\frac{2}{{\text{e}}^t+1}{\text{e}}^{zt}$ (1)

Utilizing the Lagrange translation operator ${\text{e}}^{a{\partial }_z}$

${\text{e}}^{a{\partial }_z}f\left(z\right)=f\left(z+a\right)$ (2)

that haves the properties

${\text{e}}^{{\partial }_{az}}={\text{e}}^{\frac{\text{d}}{\text{d}\left(az\right)}}={\text{e}}^{\frac{1}{a}{\partial }_z}$ (3)

$\begin{array}{c}{\text{e}}^{{\partial }_{az}}f\left(az\right)={\text{e}}^{\frac{\text{d}}{\text{d}\left(az\right)}}f\left(az\right)={\text{e}}^{\frac{1}{a}{\partial }_z}f\left(az\right)\\ =f\left(a\left(z+\frac{1}{a}\right)\right)=f\left(az+1\right)\end{array}$ (4)

${\text{e}}^{{\partial }_z}{\text{e}}^{tz}={\text{e}}^{t\left(z+1\right)}={\text{e}}^t{\text{e}}^{tz}$ (5)

$\frac{2}{{\text{e}}^{{\partial }_z}+1}{\text{e}}^{tz}=\frac{2}{{\text{e}}^t+1}{\text{e}}^{tz}$ (6)

we may write $E_m\left(z\right)$ as the transform of the monomial $z^m$ under a differential operator

$E_m\left(z\right)=\frac{2}{{\text{e}}^{{\partial }_z}+1}{z}^m$ (7)

i.e., that $E_m\left(z\right)$ is an Appell type polynomial [11] .

3. Properties of $E_m(\; z\; )$

3.1. From (7) We Get Immediately

${E^{\prime }}_m\left(z\right)=\frac{2m}{{\text{e}}^{{\partial }_z}+1}{z}^{m-1}=m{E}_{m-1}\left(z\right)$ (8)

and the interesting property

$2z^m=\left({\text{e}}^{{\partial }_z}+1\right)E_m\left(z\right)=E_m\left(z+1\right)+E_m\left(z\right)$ (9)

saying that

· $z^m$ is equal to the mean value of $E_m\left(z\right)$ and $E_m\left(z+1\right)$ .

3.2. Power and Alternating Powers Sums

From the property (9) one gets immediately by addition lines-lines

_{$2{\left(z+n-1\right)}^m=E_m\left(z+n\right)+E_m\left(z+n-1\right)$}

_{$-2{\left(z+n-2\right)}^m=-E_m\left(z+n-1\right)-E_m\left(z+n-2\right)$}

_$⋮$

_{$2{\left(z+n-n\right)}^m=-E_m\left(z+1\right)-E_m(\; z\; )$}

the interesting formulae on alternating sums of powers from $z^m$ to ${\left(z+n-1\right)}^m$

$z^m-{\left(z+1\right)}^m+\cdots +{\left(-1\right)}^{n-1}{\left(z+n-1\right)}^m=\frac{1}{2}\left(E_m\left(z\right)+{\left(-1\right)}^{n+1}{E}_m\left(z+n\right)\right)$ (10)

and on sums on powers from $z^m$ to ${\left(z+n-1\right)}^m$

${\displaystyle {\sum }_{k=0}^{n-1}{\left(z+k\right)}^m}=\frac{1}{2}{E}_m\left(z+n\right)+{\displaystyle {\sum }_{k=1}^{n-1}{E}_m\left(z+n-k\right)}+\frac{1}{2}{E}_m\left(z\right)$ (11)

As simple examples one has the remarkable identities

$1^m-2^m+3^m+\cdots +{\left(-1\right)}^{n-1}{n}^m=\frac{1}{2}\left(E_m\left(1\right)\right)+{\left(-1\right)}^{n+1}\left(E_m\left(n+1\right)\right)$ (12)

from which we get the formula

$S_m\left(n\right)={\displaystyle {\sum }_{k=0}^{n-1}{k}^m}=\frac{1}{2}{E}_m\left(n\right)+{\displaystyle {\sum }_{k=1}^{n-1}{E}_m\left(n-k\right)}+\frac{1}{2}{E}_m\left(0\right)$ (13)

that one may find in [12] and the followings

$2\left(0^m+2^m+\cdots +{\left(2n-2\right)}^m\right)=E_m\left(0\right)+E_m\left(1\right)+\cdots +E_m\left(2n-1\right)$

$2\left(1^m+3^m+\cdots +{\left(2n-1\right)}^m\right)=E_m\left(1\right)+E_m\left(2\right)+\cdots +E_m(\; 2\; n\; )$

$2\left(1^m-2^m+3^m-\cdots -{\left(2n-1\right)}^m\right)=E_m\left(2n\right)-E_m\left(0\right)$ (14)

3.3. Values of $E_m\left(\left(2n+1\right)z\right)$

From the differential form (7) of $E_m\left(z\right)$ and the property

$E_m\left(\frac{z}{n}\right)=\frac{2}{\exp \left({\partial }_{\left(\frac{z}{n}\right)}\right)+1}{\left(\frac{z}{n}\right)}^m=\frac{2}{{\text{e}}^{\stackrel{\dot{}}{n}{\partial }_z}+1}{\left(\frac{z}{n}\right)}^m$ (15)

as so as the formula for a sum of terms of a geometric progression with common ratio identical to $-{\text{e}}^{{\partial }_z}$

$1-{\text{e}}^{{\partial }_z}+\cdots +{\left(-1\right)}^{n-1}{\text{e}}^{\left(n-1\right){\partial }_z}=\frac{{\left(-1\right)}^n{\text{e}}^{\stackrel{\dot{}}{n}{\partial }_z}-1}{-{\text{e}}^{{\partial }_z}-1}=\frac{{\left(-1\right)}^{n+1}{\text{e}}^{\stackrel{\dot{}}{n}{\partial }_z}+1}{{\text{e}}^{{\partial }_z}+1}$ (16)

or, replacing n with 2n + 1,

${\text{e}}^{\left(2\stackrel{\dot{}}{n}+1\right){\partial }_z}+1=\left({\text{e}}^{{\partial }_z}+1\right)\left(1-{\text{e}}^{{\partial }_z}+{\text{e}}^{2{\partial }_z}+\cdots -{\text{e}}^{\left(2n-1\right){\partial }_z}+{\text{e}}^{2n{\partial }_z}\right)$

one gets from (7)

$E_m\left(\frac{z}{2n+1}\right)=\frac{2}{{\text{e}}^{\left(2\stackrel{\dot{}}{n}+1\right){\partial }_z}+1}{\left(\frac{z}{2n+1}\right)}^m$ (17)

i.e.,

$\left(1-{\text{e}}^{{\partial }_z}+{\text{e}}^{2{\partial }_z}+\cdots +{\text{e}}^{2n{\partial }_z}\right)E_m\left(\frac{z}{2n+1}\right)={\left(2n+1\right)}^{-m}{E}_m(\; z\; )$

a new property of Euler polynomials

${\left(2n+1\right)}^{-m}{E}_m\left(z\right)={\displaystyle {\sum }_{k=0}^{2n}{\left(-1\right)}^k{E}_m\left(\frac{z+k}{2n+1}\right)}$ (18)

For example

$3^{-m}{E}_m\left(z\right)=E_m\left(\frac{z}{3}\right)-E_m\left(\frac{z+1}{3}\right)+E_m\left(\frac{z+2}{3}\right)$

Formula (18) means that

· $E_m\left(z\right)$ is ${\left(2n+1\right)}^m$ times the alternating sum ${\left(-1\right)}^k{E}_m\left(\frac{z+k}{2n+1}\right),0\le k\le 2n$ or, equivalently,

$E_m\left(\left(2n+1\right)z\right)$ is ${\left(2n+1\right)}^m$ times the alternating sum ${\left(-1\right)}^k{E}_m\left(z+\frac{k}{2n+1}\right)$

For examples

$3^{-m}{E}_m\left(3z\right)=E_m\left(z\right)-E_m\left(z+\frac{1}{3}\right)+E_m\left(z+\frac{2}{3}\right)$

$3^{-m}{E}_m\left(z\right)=E_m\left(\frac{z}{3}\right)-E_m\left(\frac{z+1}{3}\right)+E_m\left(\frac{z+2}{3}\right)$

$5^{-m}{E}_m\left(5z\right)=E_m\left(z\right)-E_m\left(z+\frac{1}{5}\right)+\cdots +E_m\left(z+\frac{4}{5}\right)$

3.4. Symmetry of Euler Polynomials

From (7) we may write

$E_m\left(-z\right)=\frac{2}{{\text{e}}^{-{\partial }_z}+1}{\left(-z\right)}^m=\frac{2{\text{e}}^{{\partial }_z}}{1+{\text{e}}^{{\partial }_z}}{\left(-z\right)}^m={\left(-1\right)}^m{\text{e}}^{{\partial }_z}{E}_m\left(z\right)={\left(-1\right)}^m{E}_m\left(z+1\right)$ (19)

so that

$E_m\left(-z+\frac{1}{2}\right)={\left(-1\right)}^m{E}_m\left(z+\frac{1}{2}\right)$ (20)

i.e.,

· The graph of $E_m\left(z\right)$ is symmetric with respect to the straight line $z=\frac{1}{2}$ for m even and to the point $\left(\frac{1}{2},0\right)$ for m odd.

In particular

$E_m\left(0\right)={\left(-1\right)}^m{E}_m\left(1\right)$ (21)

$E_m\left(\frac{1}{2}\right)={\left(-1\right)}^m{E}_m\left(\frac{1}{2}\right)$ (22)

$E_{2m+1}\equiv 2^{2m+1}{E}_{2m+1}\left(\frac{1}{2}\right)=0$ (23)

where $E_n$ designated the Euler number of order n.

3.5. Symbolic Formula of Euler Polynomials

Now from (7) we may the write down symbolic formula

$\begin{array}{c}{E}_m\left(z+a\right)=\frac{2}{{\text{e}}^{{\partial }_{\left(z+a\right)}}+1}{\left(z+a\right)}^m=\frac{2}{{\text{e}}^{{\partial }_z}+1}{\left(z+a\right)}^m\\ =\frac{2}{{\text{e}}^{{\partial }_z}+1}\underset{k=0}{\overset{m}{{\displaystyle \sum }}}\left(\begin{array}{c}m\\ k\end{array}\right)a^{m-k}{z}^k=\underset{k=0}{\overset{m}{{\displaystyle \sum }}}\left(\begin{array}{c}m\\ k\end{array}\right)a^{m-k}{E}_k(\; z\; )\end{array}$

$E_m\left(z+a\right)=:{\left(E\left(z\right)+a\right)}^m$ (24)

where undefined notation $E^k\left(z\right)$ is to be replaced with well defined $E_k\left(z\right)$ .

Permuting z and a in (24) we get the complementary symbolic formula

$E_m\left(z+a\right)=:{\left(E\left(a\right)+z\right)}^m$ (25)

which for $a=0$ leads to the formula

$E_m\left(z\right)=:{\left(E\left(0\right)+z\right)}^m$ (26)

similar to the Lucas formula for calculating Bernoulli polynomials [12] .

Another way for obtaining symbolic formula of Euler polynomials is by remarking that as

${\text{e}}^{{\partial }_{z+y}}f\left(z+y\right)={\text{e}}^{{\partial }_z}f\left(z+y\right)={\text{e}}^{{\partial }_y}f\left(z+y\right)$ (27)

we may write

$\begin{array}{c}{E}_m\left(z+y\right)=\frac{2}{{\text{e}}^{{\partial }_{\left(z+y\right)}}+1}{\left(z+y\right)}^m=\frac{2}{{\text{e}}^{{\partial }_z}+1}{\left(z+y\right)}^m\\ =\frac{2}{{\text{e}}^{{\partial }_z}+1}\underset{k=0}{\overset{m}{{\displaystyle \sum }}}\left(\begin{array}{c}m\\ k\end{array}\right)z^k{y}^m=\underset{k=0}{\overset{m}{{\displaystyle \sum }}}\left(\begin{array}{c}m\\ k\end{array}\right)E_k\left(z\right)y^m\end{array}$

or, symbolically, the symbolic relations

$E_m\left(z+y\right)=:{\left(E\left(z\right)+y\right)}^m=:{\left(E\left(y\right)+z\right)}^m$ (28)

$E_m\left(z+E\left(y\right)\right)=:{\left(E\left(z\right)+E\left(y\right)\right)}^m=:{\left(E\left(E\left(y\right)\right)+z\right)}^m$ (29)

The above results are resumed in Table 1.

4. Relations between Euler and Bernoulli Polynomials

4.1. The First Relation

From the known property of the Bernoulli polynomials [12]

$B_m\left(z\right)=\frac{{\partial }_z}{{\text{e}}^{{\partial }_z}-1}{z}^m$ (30)

which makes them also of Appell type we get

${\partial }_z{E}_m\left(z\right)=\frac{2{\partial }_z}{{\text{e}}^{{\partial }_z}+1}{z}^m=\frac{{\text{e}}^{{\partial }_z}-1}{{\text{e}}^{{\partial }_z}+1}\frac{2{\partial }_z}{{\text{e}}^{{\partial }_z}-1}{z}^m=2^m\left({\text{e}}^{{\partial }_z}-1\right)\frac{2{\partial }_z}{{\text{e}}^{2{\partial }_z}-1}{\left(\frac{z}{2}\right)}^m$

i.e., according to (7) and the property of the shift operator ${\text{e}}^{{\partial }_z}$ , the known property one may find in Ref. [13]

$m{E}_{m-1}\left(z\right)=2^m\left({\text{e}}^{{\partial }_z}-1\right)B_m(\; z\; 2\; )$

$\left(m+1\right)E_m\left(z\right)=2^{m+1}\left(B_{m+1}\left(\frac{z+1}{2}\right)-B_{m+1}\left(\frac{z}{2}\right)\right)$ (31)

4.2. The Second Relation

Now, thanks to the formula obtainable from (30).

Table 1. Simple properties of Euler polynomials.

$B_m\left(\frac{z}{2}\right)=\frac{{\partial }_{z/2}}{{\text{e}}^{{\partial }_{z/2}}-1}{\left(\frac{z}{2}\right)}^m=\frac{2{\partial }_z}{{\text{e}}^{2{\partial }_z}-1}{\left(\frac{z}{2}\right)}^m=\frac{1}{{\text{e}}^{{\partial }_z}+1}\frac{2{\partial }_z}{{\text{e}}^{{\partial }_z}-1}\cdot 2^{-m}{z}^m$

$\left(1+{\text{e}}^{{\partial }_z}\right)B_m\left(\frac{z}{2}\right)=B_m\left(\frac{z}{2}\right)+B_m\left(\frac{z+1}{2}\right)=2^{1-m}{B}_m\left(z\right)$ (32)

we may put the formula (31) under the more useful form

$m{E}_{m-1}\left(z\right)=2B_m\left(z\right)-2^{m+1}{B}_m\left(\frac{z}{2}\right)$ (33)

We note that formulae (31) and (33) are proven by Roman [3] by another method.

As consequence of (33) we have the very important relation linking $E_m\left(0\right)$ with $B_m$

$\left(m+1\right)E_m\left(0\right)=\left(2-2^{m+2}\right)B_{m+1}$ (34)

from which one can obtain easily $E_m\left(0\right)$ knowing $B_m$ and vice-versa.

For example, with $B_8=\frac{-1}{30}$

$E_7\left(0\right)=\frac{1}{8}2\left(1-2^8\right)\frac{-1}{30}=\frac{1}{4}\frac{255}{30}=\frac{17}{8}$

4.3. The Third Relation

Searching for other relations between Euler and Bernoulli polynomials we get from (7) the relations

$\frac{{\partial }_z}{{\text{e}}^{{\partial }_z}-1}{E}_m\left(z\right)=\frac{2{\partial }_z}{{\text{e}}^{2{\partial }_z}-1}{z}^m=2^m\frac{{\partial }_{z/2}}{{\text{e}}^{{\partial }_{z/2}}-1}{\left(\frac{z}{2}\right)}^m=2^m{B}_m\left(\frac{z}{2}\right)$ (35)

$E_m\left(B\left(z\right)\right)=:2^m{B}_m\left(\frac{z}{2}\right)$ (36)

and

$m{E}_{m-1}\left(z\right)=\left({\text{e}}^{{\partial }_z}-1\right)2^m{B}_m(\; z\; 2\; )$

$m{E}_{m-1}\left(z\right)=2^m\left(B_m\left(\frac{z+1}{2}\right)-B_m\left(\frac{z}{2}\right)\right)$ (37)

For examples:

$E_1\left(B\left(z\right)\right):=B_1\left(z\right)-\frac{1}{2}=z-1=2^1{B}_1\left(\frac{z}{2}\right)\Rightarrow B_1=-\frac{1}{2}$

$3E_2\left(z\right):=8\left(B_3\left(\frac{z+1}{2}\right)-B_3\left(\frac{z}{2}\right)\right)$

$E_2\left(B\left(z\right)\right):=B_2\left(z\right)-B_1\left(z\right)=z^2-2z+\frac{4}{6}=2^2{B}_2(\; z\; 2\; )$

4.4. The Fourth Relation

Moreover we find from the differential representations of Euler and Bernoulli polynomials that

$\frac{{\partial }_z}{{\text{e}}^{{\partial }_z}-1}{E}_m\left(z\right)=\frac{{\partial }_z}{{\text{e}}^{{\partial }_z}-1}\frac{2}{{\text{e}}^{{\partial }_z}+1}{z}^m=\frac{2{\partial }_z}{{\text{e}}^{2{\partial }_z}-1}{z}^m=\frac{{\partial }_{z/2}}{{\text{e}}^{{\partial }_{z/2}}-1}{z}^m=2^m{B}_m\left(\frac{z}{2}\right)$ (38)

i.e., another relation between Euler and Bernoulli polynomials

$E_m\left(B\left(z\right)\right):=2^m{B}_m\left(\frac{z}{2}\right)=:2^m{\left(B\left(0\right)+\frac{z}{2}\right)}^m$ (39)

For examples

$E_1\left(B\right):=B_1\left(z\right)-\frac{1}{2}=2^1{B}_1\left(\frac{z}{2}\right)=:2^1{\left(\frac{z}{2}+B\right)}^1=z-1$

$\Rightarrow B_1\left(z\right)=\left(z-\frac{1}{2}\right)$

$E_2\left(B\right):=B_2\left(z\right)-B_1\left(z\right)=2^2{B}_2\left(\frac{z}{2}\right)=:2^2{\left(B+\frac{z}{2}\right)}^2$

$\Rightarrow B_2\left(z\right)=:{\left(B+z\right)}^2=z^2+2B_{1}z+B_2$

4.5. The Fifth Relation

More curiously concerning the interrelation between Euler and Bernoulli polynomials we discover from the relation

$\frac{{\partial }_z}{{\text{e}}^{2{\partial }_z}-1}\frac{2}{{\text{e}}^{{\partial }_z}+1}{z}^m=\frac{2}{{\text{e}}^{{\partial }_z}+1}\frac{{\partial }_z}{{\text{e}}^{2{\partial }_z}-1}{z}^m$ (40)

the symbolic relation

$E_m\left(B\left(z\right)\right)=:B_m\left(E\left(z\right)\right)$ (41)

For example

$\begin{array}{l}{E}_2\left(B\left(z\right)\right):=B_2\left(z\right)-B_1\left(z\right)=z^2-z+\frac{1}{6}-z+\frac{1}{2}\\ =:B_2\left(E\left(z\right)\right)=E_2\left(z\right)-E_1\left(z\right)+\frac{1}{6}=z^2-z-z+\frac{1}{2}+\frac{1}{6}\end{array}$

Formula (41) suggests the great theorem which may be very useful.

· The property $E_m\left(B\left(z\right)\right)=:B_m\left(E\left(z\right)\right)$ holds for any two Appell type polynomials.

4.6. The Sixth Relation

Now, if we write

$E_m\left(z\right)={\displaystyle {\sum }_{k=0}^m\left(\begin{array}{c}m\\ k\end{array}\right)E_{m-k}\left(0\right)z^k}=:{\left(z+E\left(0\right)\right)}^m$ (42)

then apply the operator (30) on both members of it and utilize (39) we get

$E_m\left(B\left(z\right)\right)=:{\left(B\left(z\right)+E\left(0\right)\right)}^m:=2^m{B}_m\left(\frac{z}{2}\right)$ (43)

and another relation between $E_m\left(B\right)$ and the Bernoulli numbers

$E_m\left(B\right)=:{\left(B+E\left(0\right)\right)}^m:=2^m{B}_m$ (44)

For examples

$E_2\left(B\right):=B_2+2B_1{E}_1\left(0\right)+E_2\left(0\right)=\frac{1}{6}+2\frac{-1}{2}\frac{-1}{2}+0=2^2{B}_2=\frac{4}{6}$

The relations between Euler and Bernoulli polynomials are summarized in Table 2.

5. Obtaining Euler Polynomials

5.1. From Values at Origin $E_m(\; 0\; )$

From the symbolic formula (42)

$E_m\left(z\right)=:{\left(z+E\left(0\right)\right)}^m$

We see that $E_m\left(z\right)$ may be obtained from the values $E_k\left(0\right),k=1,\cdots ,m$ .

Moreover, because of (34)

$\left(m+1\right)E_m\left(0\right)=\left(2-2^{m+2}\right)B_{m+1}$

they are also obtainable from Bernoulli numbers.

Finally, in a recent work on Bernoulli polynomials [12] we have obtained the famous formula giving easily all values $B_m$ , says

$\left(1-m\right)B_m=:{\left(B-B\right)}^m$ (45)

Combining (31) with (45) we may calculate very simply all $B_m=B_m\left(0\right)$ and all $E_m\left(0\right)$ .

For examples

$-5B_4=6B_2{B}_2=\frac{1}{42}$

$-7B_6=2\left(\begin{array}{c}6\\ 2\end{array}\right)B_2{B}_4=30\frac{1}{6}\left(\frac{-1}{30}\right)=\frac{-1}{6}$

Table 2. Relations Euler-Bernoulli polynomials.

$6E_5\left(0\right)=\left(2-2^{5+2}\right)B_6=-126B_6$

5.2. From Recursion Relation on Euler Polynomials

From the following identity of operators that we characterize fundamental [14]

$f\left({\partial }_z\right)g\left(z\right)\equiv g\left(z\right)f\left({\partial }_z\right)+\frac{1}{1!}{g}^{\prime }\left(z\right)f^{\prime }\left({\partial }_z\right)+\frac{1}{2!}{g}^{″}\left(z\right)f^{″}\left({\partial }_z\right)+\cdots$ (46)

obtainable by recurrence from the property

${\partial }_{z}zg\left(z\right)=g\left(z\right)+z{g}^{\prime }\left(z\right)$ (47)

we obtain the new symbolic recurrence relation on Euler polynomials

$E_{m+1}\left(z\right)=\frac{2}{{\text{e}}^{{\partial }_z}+1}z{z}^m=z\frac{2}{{\text{e}}^{{\partial }_z}+1}{z}^m-\frac{2{\text{e}}^{{\partial }_z}}{{\left({\text{e}}^{{\partial }_z}+1\right)}^2}{z}^m$ (48)

i.e.,

$E_{m+1}\left(z\right)=z{E}_m\left(z\right)-\frac{{\text{e}}^{{\partial }_z}}{{\text{e}}^{{\partial }_z}+1}{E}_m(\; z\; )$

$E_{m+1}\left(z\right)=:z{E}_m\left(z\right)-\frac{1}{2}{E}_m\left(E\left(z+1\right)\right)$ (49)

For example, because $E_2\left(z\right)=z^2-z$ ,

$\begin{array}{c}{E}_3\left(z\right)=z{E}_2\left(z\right)-\frac{1}{2}\left(E_2\left(z+1\right)-E_1\left(z+1\right)\right)\\ =\left(z^3-z^2\right)-\frac{1}{2}\left({\left(z+1\right)}^2-2\left(z+1\right)+\frac{1}{2}\right)=z^3-\frac{3}{2}{z}^2+\frac{1}{4}\end{array}$

5.3. From Euler Polynomials of Sums of Arguments

Another way for obtaining recursion relation between $E_m\left(z\right)$ comes from (49) and the property

${\text{e}}^{{\partial }_{z+y}}f\left(z+y\right)={\text{e}}^{{\partial }_z}f\left(z+y\right)={\text{e}}^{{\partial }_y}f\left(z+y\right)$ (50)

which leads to

$\begin{array}{c}{E}_{m+1}\left(z+y\right)=\left(z+y\right)E_m\left(z+y\right)-\frac{2{\text{e}}^{{\partial }_{z+y}}}{{\left({\text{e}}^{{\partial }_{z+y}}+1\right)}^2}{\left(z+y\right)}^m\\ =\left(z+y\right)E_m\left(z+y\right)-\frac{{\text{e}}^{{\partial }_y}}{{\text{e}}^{{\partial }_y}+1}{\left(y+E\left(z\right)\right)}^m\\ =\left(z+y\right)E_m\left(z+y\right)-\frac{1}{2}{\left(E\left(y+1\right)+E\left(z\right)\right)}^m\end{array}$

$\frac{1}{2}{\left(E\left(y\right)+E\left(z\right)\right)}^m=\left(z+y-1\right)E_m\left(z+y\right)-E_{m+1}\left(z+y-1\right)$ (51)

and

$E_{m+1}\left(z\right)=:z{E}_m\left(z\right)-\frac{1}{2}{\left(E\left(1\right)+E\left(z\right)\right)}^m$

i.e., because $E_{2m+1}\left(1\right)=-E_{2m+1}\left(0\right)$ , $E_{2m}\left(1\right)=E_{2m}\left(0\right)={\delta }_{m0}$ ,

$E_{m+1}\left(z\right)=:\left(z-1\right)E_m\left(z\right)+\frac{1}{2}{\left(E\left(0\right)+E\left(z\right)\right)}^m$ (52)

In particular

$E_{m+1}\left(1\right)=:\frac{1}{2}{\left(E\left(0\right)+E\left(1\right)\right)}^m$

For examples

$E_2\left(z\right)=\left(z-1\right)\left(z-\frac{1}{2}\right)+\frac{1}{2}\left(-\frac{1}{2}+z-\frac{1}{2}\right)=z^2-z$

$\begin{array}{c}{E}_3\left(z\right)=:\left(z-1\right)E_2\left(z\right)+\frac{1}{2}{\left(E\left(z\right)+E\left(0\right)\right)}^2\\ =\left(z-1\right)\left(z^2-z\right)+\frac{1}{2}\left(\left(z^2-z\right)-\left(z-\frac{1}{2}\right)+0\right)\\ =z^3-\frac{3}{2}{z}^2+\frac{1}{4}\end{array}$

$E_3\left(1\right)=:\frac{1}{2}{\left(E\left(0\right)+E\left(1\right)\right)}^2=\frac{1}{2}\left(2E_1\left(0\right)E_1\left(1\right)\right)=-\frac{1}{4}$

We note that (52) is equivalent with the formula about Bernoulli polynomials found by the similar method cited in Ref. [10]

$\left(m-1\right)B_m\left(z\right)=mz{B}_{m-1}\left(z\right)-{\left(B\left(z\right)+B\left(1\right)\right)}^m$

It gives rise also to the second symbolic formula concerning $E_m(\; 0\; )$

$E_{m+1}\left(0\right)+E_m\left(0\right)=:\frac{1}{2}{\left(E\left(0\right)+E\left(0\right)\right)}^m$ (53)

to be compared with the marvellous formula (45) concerning Bernoulli numbers

$\left(1-m\right)B_m\left(0\right)=:{\left(B\left(0\right)-B\left(0\right)\right)}^m$

and the mixed formula coming from (44)

$E_m\left(B\right)=:{\left(E\left(0\right)+B\right)}^m:=2^m{B}_m$ (54)

$E_2\left(B\right)=:{\left(E\left(0\right)+B\right)}^m=E_2\left(0\right)+2E_1\left(0\right)B_1+B_2:=2^2{B}_2$

$E_4\left(B\right)=:{\left(E\left(0\right)+B\right)}^m=4E_3\left(0\right)B_1+B_4:=2^4{B}_4$

Some examples concerning $E_m\left(0\right)$ given by (53) where $E_{2m}\left(0\right)={\delta }_{m0}$

$E_1\left(0\right)+1=\frac{1}{2}$

$E_3\left(0\right)=:\frac{1}{2}{\left(E\left(0\right)+E\left(0\right)\right)}^2=\frac{1}{2}\left(2E_1\left(0\right)E_1\left(0\right)\right)=\frac{1}{4}$

$E_5\left(0\right)=:\frac{1}{2}{\left(E\left(0\right)+E\left(0\right)\right)}^4=\frac{1}{2}\left(4E_1\left(0\right)E_3\left(0\right)+4E_3\left(0\right)E_1\left(0\right)\right)=-\frac{1}{2}$

$E_7\left(0\right)=:\frac{1}{2}{\left(E\left(0\right)+E\left(0\right)\right)}^6=\frac{1}{2}\left(2\left(\begin{array}{c}6\\ 1\end{array}\right)E_1\left(0\right)E_5\left(0\right)+\left(\begin{array}{c}6\\ 3\end{array}\right)E_3\left(0\right)E_3\left(0\right)\right)=\frac{17}{8}$

Table 3. Recursion relations on Euler polynomials.

Hereafter we summarize the recursion relations between $E_{m+1}\left(z\right)$ and $E_m\left(z\right)$ of lower orders in Table 3.

Although (53) is convenient for calculating $E_m\left(0\right)$ we would like to expose hereafter a formula for calculating them not by recurrence but individually.

5.4. Obtaining $E_m\left(z\right)$ from $E_{m-1}(\; z\; )$

From the property (8) one may write

$E{\text{'}}_m\left(z\right)=\frac{2m}{{\text{e}}^{{\partial }_z}+1}{z}^{m-1}=m{E}_{m-1}(\; z\; )$

and by taking primitives of both sides

$E_m\left(z\right)=m{\displaystyle \int E_{m-1}\left(z\right)}+E_m\left(0\right)$ (55)

From (55) we get

$E_{2m+1}\left(z\right)=\left(2m+1\right){\displaystyle \int E_{2m}\left(z\right)}+E_{2m+1}(\; 0\; )$

But according to (20)

$E_{2m+1}\left(z\right)=-E_{2m+1}\left(1-z\right)$

so that from

$E_{2m+1}\left(1\right)-E_{2m+1}\left(0\right)=\left(2m+1\right){\left({\displaystyle \int E_{2m}\left(z\right)}\right)}_{z=1}$

one gets after all the formula giving $E_{2m+1}\left(0\right)$ from an integral of $E_{2m}(\; z\; )$

$E_{2m+1}\left(0\right)=-\frac{1}{2}\left(2m+1\right){\displaystyle {\int }_0^1{E}_{2m}\left(z\right)\text{d}z}$ (56)

This new algorithm may be utilized to calculate them as shown in Table 4.

· We remark that because $B_{2m}\left(z\right)=B_{2m}\left(1-z\right)$ a similar formula as (56) for Bernoulli numbers and polynomials doesn’t exist.

For examples, noting that $E_{2m}\left(0\right)={\delta }_{m0}$ ,

$E_1\left(0\right)=-\frac{1}{2}{\displaystyle {\int }_0^1{E}_0\left(z\right)\text{d}z}=-\frac{1}{2}$

Table 4. $E_m\left(0\right)$ and Euler polynomials $E_m\left(z\right)$ .

$E_1\left(z\right)=1{\displaystyle \int E_0\left(z\right)\text{d}z}+E_1\left(0\right)=z-\frac{1}{2}$

$E_2\left(z\right)=2{\displaystyle \int E_1\left(z\right)\text{d}z}+E_2\left(0\right)=2\left(\frac{z^2}{2}-\frac{z}{2}\right)=z^2-z$

· Another algorithm for obtaining $E_m\left(z\right)$ is:

Let $E_1\left(0\right)=-\frac{1}{2}$ and $E_m^{-}\left(z\right)$ be the primitive of $m{E}_{m-1}\left(z\right)$ we see that

$E_1\left(z\right)=z-\frac{1}{2}\to \to E_2^{-}\left(z\right)=z^2-z\to \to E_2\left(0\right)=1-1=0$

$E_2\left(z\right)=z^2-z\to \to E_3^{-}\left(z\right)=z^3-\frac{3}{2}{z}^2\to \to E_3\left(0\right)=E_3^{-}\left(1\right)=-\frac{1}{2}$

$\begin{array}{l}{E}_8\left(z\right)=z^8-4z^7+14z^5-28z^3+17z\to \to \\ E_9^{-}\left(z\right)=z^9-\frac{9}{2}{z}^8+21z^6-63z^4+9\left(\frac{17}{2}{z}^2\right)\to \to E_9\left(0\right)=E_9^{-}\left(1\right)=-\frac{31}{2}\end{array}$

$⋮$

6. Integral of Product of Euler Polynomials

Thanks to the property (8) one may perform successive integrations by parts on products of Euler polynomials and get

$\begin{array}{c}{\displaystyle {\int }_0^1{E}_n\left(z\right)E_m\left(z\right)\text{d}z}=\frac{1}{m+1}{\displaystyle {\int }_0^1{E}_n\left(z\right){E^{\prime }}_{m+1}\left(z\right)\text{d}z}\\ ={\frac{1}{m+1}\left(E_n\left(z\right)E_{m+1}\left(z\right)\right)|}_0^1-{\frac{n\left(n-1\right)}{\left(m+1\right)\left(m+2\right)}\left(E_{n-1}\left(z\right)E_{m+2}\left(z\right)\right)|}_0^1\\ +\cdots +{{\left(-1\right)}^{n-1}\frac{n!m!}{\left(m+n\right)!}\left(E_1\left(z\right)E_{m+n}\left(z\right)\right)|}_0^1\\ +{\left(-1\right)}^n\frac{n!m!}{\left(m+n\right)!}{\displaystyle {\int }_0^1{E}_0\left(z\right)E_{m+n}\left(z\right)\text{d}z}\end{array}$

But $E_{2n}\left(1\right)=E_{2n}\left(0\right)=0$ and $E_{2n+1}\left(1\right)=-E_{2n+1}\left(0\right)$ so that we finally get

${\displaystyle {\int }_0^1{E}_n\left(z\right)E_m\left(z\right)\text{d}z}={{\left(-1\right)}^n\frac{n!m!}{\left(m+n+1\right)!}{E}_{m+n+1}\left(z\right)|}_0^1$ (57)

In particular for $m+n=2p$

${\displaystyle {\int }_0^1{E}_n\left(z\right)E_m\left(z\right)\text{d}z}={\left(-1\right)}^{n+1}\frac{n!m!}{\left(m+n+1\right)!}2E_{2p+1}\left(0\right)$ (58)

Thanks to the relation (34) we see that the formula (58) is conformed with the result given in [13] says

${\displaystyle {\int }_0^1{E}_n\left(z\right)E_m\left(z\right)\text{d}z}={\left(-1\right)}^n\frac{n!m!}{\left(m+n+2\right)!}4\left(2^{m+n+2}-1\right)B_{2m+2}$ (59)

We observe that by integration by parts one may also calculate ${\displaystyle {\int }_a^b{E}_n\left(z\right)E_m\left(z\right)\text{d}z}$ .

7. Fourier Series of Euler Polynomials

From the famous relation (33) between Euler and Bernoulli polynomials

$m{E}_{m-1}\left(z\right)=2B_m\left(z\right)-2^{m+1}{B}_m(\; z\; 2\; )$

and the Hurwitz formula on Bernoulli polynomials [12]

$B_m\left(z\right)=-\frac{m!}{{\left(2i\pi \right)}^m}\underset{\begin{array}{l}k\ne 0\\ k\in Z\end{array}}{{\displaystyle \sum }}\frac{1}{k^m}{\text{e}}^{i2\pi kz},0\le z\le 1$

we get directly the Fourier series expansions of Euler polynomials

$E_{m-1}\left(z\right)=-\frac{m!}{{\left(2i\pi \right)}^m}2\left(\underset{\begin{array}{l}k\in Z\\ k\ne 0\end{array}}{{\displaystyle \sum }}\frac{1}{k^m}{\text{e}}^{i2\pi kz}-2^m\underset{\begin{array}{l}k\in Z\\ k\ne 0\end{array}}{{\displaystyle \sum }}\frac{1}{k^m}{\text{e}}^{i\pi kz}\right)$

$\begin{array}{c}=-\frac{m!}{{\left(2i\pi \right)}^m}2\left(\underset{\begin{array}{l}k\in Z\\ k\ne 0\end{array}}{{\displaystyle \sum }}\frac{1}{k^m}{\text{e}}^{i2\pi kz}-\underset{\begin{array}{l}k\in Z\\ k\ne 0\end{array}}{{\displaystyle \sum }}\frac{1}{{\left(\frac{k}{2}\right)}^m}{\text{e}}^{i\pi kz}\right)\\ =-\frac{m!}{{\left(2i\pi \right)}^m}2\underset{kodd}{\overset{\infty }{{\displaystyle \sum }}}\frac{1}{{\left(\frac{k}{2}\right)}^m}{\text{e}}^{i\pi kz}\\ =-\frac{m!}{{\left(i\pi \right)}^m}2\underset{k=-\infty }{\overset{\infty }{{\displaystyle \sum }}}\frac{1}{{\left(2k+1\right)}^m}{\text{e}}^{i\pi \left(2k+1\right)z}\end{array}$ (60)

i.e.,

$E_{2n-1}\left(z\right)={\left(-1\right)}^n\frac{\left(2n-1\right)!}{{\pi }^{2n}}4{\displaystyle {\sum }_{k=0}^{\infty }\frac{\cos \left(2k+1\right)\pi z}{{\left(2k+1\right)}^{2n}}}$ (61)

and

$E_{2n}\left(z\right)={\left(-1\right)}^n\frac{\left(2n\right)!}{{\pi }^{2n+1}}4{\displaystyle {\sum }_{k=0}^{\infty }\frac{\sin \left(2k+1\right)\pi z}{{\left(2k+1\right)}^{2n+1}}}$ (62)

For example

$E_1\left(z\right)=-\frac{1}{{\pi }^2}4\underset{k=0}{\overset{\infty }{{\displaystyle \sum }}}\frac{\cos \left(2k+1\right)\pi z}{{\left(2k+1\right)}^2}$

The formulae (61), (62) were known for example in [10] . They do not depend On $B_m$ or $E_m\left(0\right)$ . On the contrary they show the apparition of ${\pi }^n$ and permit to calculate them by summations of infinite series, for examples

$E_{2n-1}\left(0\right)=\frac{1}{\left(2n-1\right)!4}{\pi }^{2n}={\left(-1\right)}^n\left(\frac{1}{1^{2n}}+\frac{1}{3^{2n}}+\frac{1}{5^{2n}}+\cdots \right)$ (63)

$\Rightarrow \frac{{\pi }^2}{8}=\frac{1}{1^2}+\frac{1}{3^2}+\frac{1}{5^2}+\cdots$

$E_2\left(z\right)=-\frac{2}{{\pi }^3}4\underset{k=0}{\overset{\infty }{{\displaystyle \sum }}}\frac{\sin \left(2k+1\right)\pi z}{{\left(2k+1\right)}^3}$

$E_{2n}\left(z\right)={\left(-1\right)}^n\frac{\left(2n\right)!}{{\pi }^{2n+1}}4\underset{k=0}{\overset{\infty }{{\displaystyle \sum }}}\frac{\sin \left(2k+1\right)\pi z}{{\left(2k+1\right)}^{2n+1}}$

$E_{2n}\left(\frac{1}{2}\right)\frac{{\pi }^{2n+1}}{4\left(2n\right)!}={\left(-1\right)}^n\left(\frac{1}{1^{2n+1}}-\frac{1}{3^{2n+1}}+\frac{1}{5^{2n+1}}+\cdots \right)$ (64)

$\frac{{\pi }^3}{32}=\frac{1}{1^3}-\frac{1}{3^3}+\frac{1}{5^3}+\cdots$

8. Euler Polynomials and Euler Zeta Functions

From the Hurwitz formula on Bernoulli polynomials [13]

$B_m\left(z\right)=-\frac{m!}{{\left(2i\pi \right)}^m}\underset{\begin{array}{l}k\ne 0\\ k\in Z\end{array}}{{\displaystyle \sum }}\frac{1}{k^m}{\text{e}}^{i2\pi kz},0\le z\le 1$

we get

$B_m\left(0\right)=-\frac{m!}{{\left(2i\pi \right)}^m}\underset{\begin{array}{l}k\ne 0\\ k\in Z\end{array}}{{\displaystyle \sum }}\frac{1}{k^m}$

$B_{2m}\left(0\right)=-\frac{\left(2m!\right)2}{{\left(2i\pi \right)}^{2m}}{\displaystyle {\sum }_{\begin{array}{l}k>0\\ k\in Z\end{array}}\frac{1}{k^{2m}}}$ (65)

Formula (65) leads to the relation of the Euler-Riemann zeta function [15] with Bernoulli numbers

$\zeta \left(2m\right)={\displaystyle {\sum }_{k>0}\frac{1}{k^{2m}}}=\frac{{\left(-1\right)}^{m-1}}{2\left(2m\right)!}{\left(2\pi \right)}^{2m}{B}_{2m}$ (66)

and, thanks to (34), with $E_{2m-1}(\; 0\; )$

$\zeta \left(2m\right)={\left(2\pi \right)}^{2m}\frac{m}{1-2^{2m}}\frac{{\left(-1\right)}^{m-1}}{2\left(2m\right)!}{E}_{2m-1}\left(0\right)$ (67)

For example

$\zeta \left(2\right)=\frac{1}{1-2^2}\frac{1}{2\left(2\right)!}{\left(2\pi \right)}^2{E}_1\left(0\right)=\frac{4}{3\times 4\times 2}{\pi }^2=\frac{{\pi }^2}{6}$ (68)

a result that Euler had proven in 1734 by a laborious method described in [15] .

More generally, by putting $z=\frac{1}{n}$ in (65) we get the general formulae permitting to calculate the values of ${\pi }^m$ from the values of $\sin \left(\frac{2\pi k}{n}\right)$ and $\cos \left(\frac{2\pi k}{n}\right)$

${\left(2\pi \right)}^m\frac{1}{m!}{B}_m\left(\frac{1}{n}\right)=-{\displaystyle {\sum }_{\begin{array}{l}k\ne 0\\ k\in Z\end{array}}\frac{1}{{\left(ik\right)}^m}{\text{e}}^{i2\pi \frac{k}{n}}}$ (69)

${\pi }^m{2}^{m-1}\frac{1}{\left(m-1\right)!}{E}_{m-1}\left(\frac{1}{n}\right)=-{\displaystyle {\sum }_{\begin{array}{l}k\ne 0\\ k\in Z\end{array}}\frac{1}{{\left(ik\right)}^m}}\left({\text{e}}^{i2\pi \frac{k}{n}}-2^m{\text{e}}^{i\pi \frac{k}{n}}\right)$ (70)

Explicitly, from (69) we get Table 5.

Regarding these results one may say that

· There have five types of infinite sums over $\frac{1}{k^m}$ for calculating each ${\pi }^m{B}_m\left(\frac{1}{n}\right),n\le 12$ .

Besides, from (70) we get ${\pi }^m{E}_{m-1}\left(\frac{1}{n}\right)$ from summation of series on $k^{-m}$

${\pi }^m{2}^{m-1}\frac{1}{\left(m-1\right)!}{E}_{m-1}\left(\frac{1}{n}\right)=-{\displaystyle {\sum }_{\begin{array}{l}k\ne 0\\ k\in Z\end{array}}\frac{1}{{\left(ik\right)}^m}}\left({\text{e}}^{i2\pi \frac{k}{n}}-2^m{\text{e}}^{i\pi \frac{k}{n}}\right)$ (71)

${\pi }^m{2}^{m-1}\frac{1}{\left(m-1\right)!}{E}_{m-1}\left(\frac{1}{1}\right)=-\underset{\begin{array}{l}k\ne 0\\ k\in Z\end{array}}{{\displaystyle \sum }}\frac{1}{{\left(ik\right)}^m}\left({\text{e}}^{i2\pi k}-2^m{\text{e}}^{i\pi k}\right)$

Table 5. Series of Infinite Sums over $\frac{1}{k^m}$ .

$2{\pi }^2{E}_1\left(\frac{1}{2}\right)=0=\left(-\frac{1}{1^2}+\frac{1}{2^2}-\frac{1}{3^2}+\frac{1}{4^2}-\cdots \right)-4\left(-\frac{1}{2^2}+\frac{1}{4^2}-\frac{1}{6^2}+\cdots \right)$

$2{\pi }^2{E}_1\left(\frac{1}{4}\right)=\left(-\frac{1}{2^2}+\frac{1}{4^2}+\cdots \right)-2\left(\frac{\sqrt{2}}{1^2}-\frac{\sqrt{2}}{3^2}-2\frac{1}{4^2}-\frac{\sqrt{2}}{5^2}+\frac{\sqrt{2}}{7^2}+2\frac{1}{8^2}+\cdots \right)$

${\pi }^{3}2E_2\left(\frac{1}{2}\right)=-\frac{1}{2}{\pi }^3=-16\underset{k>0}{{\displaystyle \sum }}\frac{1}{k^3}\sin \left(\frac{k\pi }{2}\right)=-16\left(\frac{1}{1^3}-\frac{1}{3^3}+\frac{1}{5^3}-\frac{1}{7^3}+\cdots \right)$

and so all.

9. Euler Series of Functions

We already know the formulae on Fourier series (60)

$B_m\left(z\right)=-\frac{m!}{{\left(2i\pi \right)}^m}\underset{\begin{array}{l}k\ne 0\\ k\in Z\end{array}}{{\displaystyle \sum }}\frac{1}{k^m}{\text{e}}^{i2\pi kz}$

$m{E}_{m-1}\left(z\right)=-\frac{m!}{{\left(i\pi \right)}^m}2\underset{k=-\infty }{\overset{\infty }{{\displaystyle \sum }}}\frac{1}{{\left(2k+1\right)}^m}{\text{e}}^{i\pi \left(2k+1\right)z}$

and that entire functions may be expanded into series of Bernoulli polynomials

$f\left(z\right)={\displaystyle {\int }_0^{1}f\left(z\right)\text{d}z}-{\underset{n\in Z,n\ne 0}{{\displaystyle \sum }}\underset{k=0}{\overset{\infty }{{\displaystyle \sum }}}{f}^{\left(k\right)}\left(z\right)|}_0^1{\left(\frac{1}{2i\pi n}\right)}^{k+1}{\text{e}}^{i2\pi nz}$

$f\left(z\right)={\displaystyle {\int }_0^{1}f\left(z\right)\text{d}z}+{\displaystyle {\sum }_{k=0}^{\infty }\left[f^{\left(k\right)}\left(1\right)-f^{\left(k\right)}\left(0\right)\right]\frac{1}{\left(k+1\right)!}{B}_{k+1}\left(z\right)}$ (72)

for examples

$z^m={\displaystyle {\int }_0^1{z}^m\text{d}z}+{\displaystyle {\sum }_{k=1}^m\left(\begin{array}{c}m\\ k-1\end{array}\right)\frac{1}{k}{B}_k\left(z\right)}0\le z<1$ (73)

Now from the relations

$m{z}^{m-1}={\partial }_z{z}^m=\left({\text{e}}^{{\partial }_z}-1\right)B_m\left(z\right)=B_m\left(z+1\right)-B_m(\; z\; )$

$2z^m=\left({\text{e}}^{{\partial }_z}+1\right)E_m\left(z\right)=E_m\left(z+1\right)+E_m(\; z\; )$

we see that entire functions may also be expanded into series of Bernoulli as so as into series of Eulerpoly nomials.

For examples, because

$2B_m\left(z\right)=2B_m+\cdots +\left(\begin{array}{c}m\\ k\end{array}\right)B_{m-\text{k}}2z^k+\cdots +B_{0}2z^m$

we may write

$\begin{array}{c}2B_m\left(z\right)=\left(1+{\text{e}}^{{\partial }_z}\right)\underset{k=0}{\overset{m-1}{{\displaystyle \sum }}}\left(\begin{array}{c}m\\ k\end{array}\right)\frac{1}{m-k}{B}_{m-k}{E}_k\left(z\right)+B_{0}2z^m\\ =\left(1+{\text{e}}^{{\partial }_z}\right)\underset{k=0}{\overset{m-1}{{\displaystyle \sum }}}\left(\begin{array}{c}m\\ k\end{array}\right)\frac{1}{2-2^{m-k+1}}{E}_{m-k-1}\left(0\right)E_k\left(z\right)\\ +\left(E_m\left(z+1\right)+E_m\left(z\right)\right)\end{array}$ (74)

$\frac{z}{1-z}=z^1+z^2+\cdots =\left({\text{e}}^{{\partial }_z}-1\right)\left(B_1\left(z\right)+B_2\left(z\right)+\cdots +B_m\left(z\right)+\cdots \right)$ (75)

$\frac{2z}{1-z}=E_1\left(z\right)+E_1\left(z+1\right)+\cdots +\left(E_k\left(z\right)+E_k\left(z+1\right)\right)+\cdots$ (76)

$\begin{array}{c}\ln \left(1-z\right)={{\displaystyle \int }}^{\text{}}\frac{1}{1-z}=z+\frac{z^2}{2}+\frac{z^3}{3}+\cdots \\ =\frac{1}{2}\left(1+{\text{e}}^{{\partial }_z}\right)\left(E_1\left(z\right)+\frac{1}{2}{E}_2\left(z\right)+\frac{1}{3}{E}_3\left(z\right)+\cdots +\frac{1}{k}{E}_k\left(z\right)+\cdots \right)\end{array}$

The above relations may be resumed in Table 6.

10. Remarks and Conclusions

The main particularity of this work is the use of the Lagrange translation or shift Operator ${\text{e}}^{a{\partial }_z}$ that is curiously let apart by quasi all authors although this is seen here to be very useful and easy to utilize. From it, Euler polynomials $E_m\left(z\right)$ may be presented under the form of an Appell type polynomial which gives directly many algebraic properties concerning $E_m\left(-z\right)$ , $E_m\left(\left(2n+1\right)z\right)$ , $E_m\left(z+a\right)$ , many relations with sums of powers, many known and new relations with the Bernoulli polynomials $B_m\left(z\right)$ , noticeably $E_m\left(B\left(z\right)\right)=:B_m\left(E\left(z\right)\right)$ ; the symbolic relation $E_m\left(z+y\right)=:{\left(E\left(z\right)+y\right)}^m$ , a formula simultaneously giving $E_m\left(0\right)$ and $E_m\left(z\right)$ ; relations between $E_{2m-1}\left(0\right)$ and Euler-Riemann zeta

Table 6. Series of and on Euler polynomials.

functions $\zeta \left(2m\right)$ as so as between ${\pi }^m{E}_{2m-1}\left(\frac{1}{n}\right)$ and series on $\frac{1}{k^{2m+1}}\sin \frac{k\pi }{n}$ , $\frac{1}{k^{2m}}\cos \frac{2k\pi }{n}$ generalizing $\zeta \left(2m\right)$ are given.

Last but not least, Fourier series of Euler polynomials and Euler series of functions are discussed and shown.

We think that this work has some significative value for the comprehension of the Euler polynomials. Nevertheless it may be completed with many works on them, one may find in literature for example by Vergara-Hermosilla [16] concerning the properties of Hurwitz polynomials and by Ghisa, D. [17] concerning Euler Product Dirichlet Functions

Acknowledgements

The author specially dedicates this works to Profs. Tu Ngoc Tinh, Nguyen Chung Tu who teach him in the years 60’s of the last century in Vietnam; to his Prof. Demeur M. and Drs. Quesne C., Reidemeister G., Deenen J., Beart G. at ULB, Brussels; Profs. Dagonnier R., Van Praag P. at UEM, Mons.

He would like also to thank very, very much his lovely wife Truong K.Q. for the perseverant cares she devote to him during his researcher life and life.

Notations

$A\left(\frac{\text{d}}{\text{d}z}\right)z^m$ ≡ Appel-type polynomials;

$B_m\left(z\right)$ = Bernoulli polynomials;

$B_m\equiv B_m\left(0\right)$ = Bernoulli numbers;

$E_m\left(z\right)$ = Euler polynomials;

$E_m=2^m{E}_m\left(\frac{1}{2}\right)$ = Euler numbers;

Symbolic relation $E_m\left(z\right)=:{\left(E\left(0\right)+z\right)}^m$ where $E^m\left(0\right)\equiv E_m\left(0\right)$ ;

$S_m\left(n\right)={\displaystyle {\sum }_{k=0}^{n-1}{k}^m}$ = Powers sums;

${\displaystyle {\sum }_{k=0}^{n-1}{\left(-1\right)}^k{z}^m}$ = Alternating sums of powers;

$\zeta \left(2m\right)$ = Euler-Riemann zeta function.

Conflicts of Interest

The author declares no conflicts of interest regarding the publication of this paper.

References

[1]	Famous Mathematicians—List of World Famous Mathematicians http://www.thefamouspeople.com
[2]	(2023) Leonhard Euler. Wikipedia. https://wikipedia.org/
[3]	(2023) Calculus. Wikipedia.
[4]	(2023) Leibniz–Newton Calculus Controversy. Wikipedia.
[5]	(2023) Shift Operator. Wikipedia.
[6]	Wolf, K.B. (2002) Integral Transforms in Science and Engineering. Springer, Berlin.
[7]	Moshinsky, M. and Quesne, C. (1971) Linear Canonical Transformation and Their Unitary Representation. Journal of Mathematical Physics, 12, 1771-1783. https://doi.org/10.1063/1.1665806
[8]	Treves, F. (2022) Functions and Differential Operators in Euclidean Space. In: Analytic Partial Differential Equations, Grundlehren der mathematischen Wissenschaften, Vol. 359, Springer, Cham, 221-247. https://doi.org/10.1007/978-3-030-94055-3
[9]	Abramowitz, M. and Stegun, I.A., Eds. (1972) Handbook of Mathematical Functions with Formulas, Graphs and Mathematical Tables, 9th Printing. Dover, New York, 16-806.
[10]	(2023) Bernoulli Polynomials. Wikipedia.
[11]	Appell, P.E. (1880) Sur une classe de polynômes. Annales scientifiques de l’école Normale Supérieure, 9, 119-144. https://doi.org/10.24033/asens.186
[12]	Si, D.T. (2022) Selection of Coherent and Concise Formulae on Bernoulli Polynomials-Numbers-Series and Power Sums-Faulhaber Problems. Applied Mathematics, 13, 799-821. https://doi.org/10.4236/am.2022.1310051
[13]	Dilcher, K. (2023) DLMF: §24.4 Basic Properties Properties Chapter 24 Bernoulli and Euler Polynomials, DLMF: Chapter 24 Bernoulli and Euler Polynomials (nist.gov), Dalhousie University, Halifax.
[14]	Do, T.S. (2016) Operator Calculus. Edification and Utilization. Lambert Academic Publishing, Saarbrücken. https://www.lap-publishing.com/.../978-3-659-9160
[15]	Coen, L.E.S. (1996) Sums of Powers and the Bernoulli Numbers. Master’s Thesis, Eastern Illinois University, Charleston.
[16]	Vergara-Hermosilla, G. (2021) On a Dual to the Properties of Hurwitz Polynomials I. American Journal of Computational Mathematics, 11, 31-41. https://doi.org/10.4236/ajcm.2021.111003
[17]	Ghisa, D. (2019) On the Zeros of Euler Product Dirichlet Functions. Advances in Pure Mathematics, 9, 959-966. https://doi.org/10.4236/apm.2019.912048