<?xml version="1.0" encoding="UTF-8"?><!DOCTYPE article  PUBLIC "-//NLM//DTD Journal Publishing DTD v3.0 20080202//EN" "http://dtd.nlm.nih.gov/publishing/3.0/journalpublishing3.dtd"><article xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" dtd-version="3.0" xml:lang="en" article-type="research article"><front><journal-meta><journal-id journal-id-type="publisher-id">AM</journal-id><journal-title-group><journal-title>Applied Mathematics</journal-title></journal-title-group><issn pub-type="epub">2152-7385</issn><publisher><publisher-name>Scientific Research Publishing</publisher-name></publisher></journal-meta><article-meta><article-id pub-id-type="doi">10.4236/am.2023.147029</article-id><article-id pub-id-type="publisher-id">AM-126610</article-id><article-categories><subj-group subj-group-type="heading"><subject>Articles</subject></subj-group><subj-group subj-group-type="Discipline-v2"><subject>Physics&amp;Mathematics</subject></subj-group></article-categories><title-group><article-title>
 
 
  Obtaining Simply Explicit Form and New Properties of Euler Polynomials by Differential Calculus
 
</article-title></title-group><contrib-group><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>Do</surname><given-names>Tan Si</given-names></name><xref ref-type="aff" rid="aff1"><sub>1</sub></xref><xref ref-type="corresp" rid="cor1"><sup>*</sup></xref></contrib></contrib-group><aff id="aff1"><label>1</label><addr-line>Ho Chi Minh-City Physical Association, Ho Chi Minh-City, Vietnam</addr-line></aff><pub-date pub-type="epub"><day>12</day><month>07</month><year>2023</year></pub-date><volume>14</volume><issue>07</issue><fpage>460</fpage><lpage>480</lpage><history><date date-type="received"><day>31,</day>	<month>May</month>	<year>2023</year></date><date date-type="rev-recd"><day>24,</day>	<month>July</month>	<year>2023</year>	</date><date date-type="accepted"><day>27,</day>	<month>July</month>	<year>2023</year></date></history><permissions><copyright-statement>&#169; Copyright  2014 by authors and Scientific Research Publishing Inc. </copyright-statement><copyright-year>2014</copyright-year><license><license-p>This work is licensed under the Creative Commons Attribution International License (CC BY). http://creativecommons.org/licenses/by/4.0/</license-p></license></permissions><abstract><p>
 
 
  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 
  π<sup>m</sup> as series on 
  k<sup>-m</sup> and for expanding functions into series of Euler polynomials.
 
</p></abstract><kwd-group><kwd>Obtaining Appell Type Euler Numbers and Polynomials</kwd><kwd> Relations Euler-Bernoulli Polynomials</kwd><kwd> Sums over &lt;i&gt;k&lt;sup&gt;m&lt;/sup&gt;&lt;/i&gt;</kwd><kwd> Series on &lt;i&gt;k&lt;sup&gt;-m&lt;/sup&gt;&lt;/i&gt;</kwd><kwd> Euler Series of Functions</kwd></kwd-group></article-meta></front><body><sec id="s1"><title>1. Introduction</title><p>Euler is widely regarded as one of the greatest and most prolific mathematicians of all time [<xref ref-type="bibr" rid="scirp.126610-ref1">1</xref>] as everyone can contemplate when reading the list of his publications concerning plenty of mathematical notions in [<xref ref-type="bibr" rid="scirp.126610-ref2">2</xref>] . From this list we know that he has introduced among others the notion of function f ( x ) of a variable x, the exponential notation e x , the symbol i such that i 2 = − 1 , the trigonometric definition of cos x and sin x by the formula</p><p>e i x = cos x + i sin x , etc.</p><p>In the same period, Leibniz and Newton introduced the notions of infinitesimals dx, dy, the derivative f ′ ( x ) = d d x f ( x ) of a function and so on [<xref ref-type="bibr" rid="scirp.126610-ref3">3</xref>] [<xref ref-type="bibr" rid="scirp.126610-ref4">4</xref>] .</p><p>Later, in 1766, Lagrange succeeded Euler at the Prussian Academy of Sciences and invented the shift operator e t ∂ x having the property e t ∂ x f ( x ) = f ( x + t ) [<xref ref-type="bibr" rid="scirp.126610-ref5">5</xref>] .</p><p>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&#243;noma de M&#233;xico [<xref ref-type="bibr" rid="scirp.126610-ref6">6</xref>] who obtained that the Fourier transformation is representable by the operators F T ≡ e i π 4 e − i 2 X ^ 2 e i 2 D x 2 e − i 2 X ^ 2 where X ^ designates the Eckaert “multiply with x” operator analogous with the position operator in quantum mechanics.</p><p>At the same period, many authors such as Moshinsky, Quesne [<xref ref-type="bibr" rid="scirp.126610-ref7">7</xref>] and Treves [<xref ref-type="bibr" rid="scirp.126610-ref8">8</xref>] introduced the notion of linear canonical transforms.</p><p>Now, this work aims to utilize the Lagrange shift operator e t ∂ z to express E m ( z ) 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 π m from series in k − m as so as expansions of functions into Euler series; etc.</p></sec><sec id="s2"><title>2. Definition</title><p>The Euler polynomial is defined from the generating function [<xref ref-type="bibr" rid="scirp.126610-ref9">9</xref>] [<xref ref-type="bibr" rid="scirp.126610-ref10">10</xref>]</p><p>∑ m = 0 ∞ E m ( z ) t m m ! = 2 e t + 1 e z t (1)</p><p>Utilizing the Lagrange translation operator e a ∂ z</p><p>e a ∂ z f ( z ) = f ( z + a ) (2)</p><p>that haves the properties</p><p>e ∂ a z = e d d ( a z ) = e 1 a ∂ z (3)</p><p>e ∂ a z f ( a z ) = e d d ( a z ) f ( a z ) = e 1 a ∂ z f ( a z ) = f ( a ( z + 1 a ) ) = f ( a z + 1 ) (4)</p><p>e ∂ z e t z = e t ( z + 1 ) = e t e t z (5)</p><p>2 e ∂ z + 1 e t z = 2 e t + 1 e t z (6)</p><p>we may write E m ( z ) as the transform of the monomial z m under a differential operator</p><p>E m ( z ) = 2 e ∂ z + 1 z m (7)</p><p>i.e., that E m ( z ) is an Appell type polynomial [<xref ref-type="bibr" rid="scirp.126610-ref11">11</xref>] .</p></sec><sec id="s3"><title>3. Properties of E m ( z )</title><sec id="s3_1"><title>3.1. From (7) We Get Immediately</title><p>E ′ m ( z ) = 2 m e ∂ z + 1 z m − 1 = m E m − 1 ( z ) (8)</p><p>and the interesting property</p><p>2 z m = ( e ∂ z + 1 ) E m ( z ) = E m ( z + 1 ) + E m ( z ) (9)</p><p>saying that</p><p>&#183; z m is equal to the mean value of E m ( z ) and E m ( z + 1 ) .</p></sec><sec id="s3_2"><title>3.2. Power and Alternating Powers Sums</title><p>From the property (9) one gets immediately by addition lines-lines</p><p><sub> 2 ( z + n − 1 ) m = E m ( z + n ) + E m ( z + n − 1 ) </sub></p><p><sub> − 2 ( z + n − 2 ) m = − E m ( z + n − 1 ) − E m ( z + n − 2 ) </sub></p><p><sub> ⋮ </sub></p><p><sub> 2 ( z + n − n ) m = − E m ( z + 1 ) − E m ( z ) </sub></p><p>the interesting formulae on alternating sums of powers from z m to ( z + n − 1 ) m</p><p>z m − ( z + 1 ) m + ⋯ + ( − 1 ) n − 1 ( z + n − 1 ) m = 1 2 ( E m ( z ) + ( − 1 ) n + 1 E m ( z + n ) ) (10)</p><p>and on sums on powers from z m to ( z + n − 1 ) m</p><p>∑ k = 0 n − 1 ( z + k ) m = 1 2 E m ( z + n ) + ∑ k = 1 n − 1 E m ( z + n − k ) + 1 2 E m ( z ) (11)</p><p>As simple examples one has the remarkable identities</p><p>1 m − 2 m + 3 m + ⋯ + ( − 1 ) n − 1 n m = 1 2 ( E m ( 1 ) ) + ( − 1 ) n + 1 ( E m ( n + 1 ) ) (12)</p><p>from which we get the formula</p><p>S m ( n ) = ∑ k = 0 n − 1 k m = 1 2 E m ( n ) + ∑ k = 1 n − 1 E m ( n − k ) + 1 2 E m ( 0 ) (13)</p><p>that one may find in [<xref ref-type="bibr" rid="scirp.126610-ref12">12</xref>] and the followings</p><p>2 ( 0 m + 2 m + ⋯ + ( 2 n − 2 ) m ) = E m ( 0 ) + E m ( 1 ) + ⋯ + E m ( 2 n − 1 )</p><p>2 ( 1 m + 3 m + ⋯ + ( 2 n − 1 ) m ) = E m ( 1 ) + E m ( 2 ) + ⋯ + E m ( 2 n )</p><p>2 ( 1 m − 2 m + 3 m − ⋯ − ( 2 n − 1 ) m ) = E m ( 2 n ) − E m ( 0 ) (14)</p></sec><sec id="s3_3"><title>3.3. Values of E m ( ( 2 n + 1 ) z )</title><p>From the differential form (7) of E m ( z ) and the property</p><p>E m ( z n ) = 2 exp ( ∂ ( z n ) ) + 1 ( z n ) m = 2 e n ˙ ∂ z + 1 ( z n ) m (15)</p><p>as so as the formula for a sum of terms of a geometric progression with common ratio identical to − e ∂ z</p><p>1 − e ∂ z + ⋯ + ( − 1 ) n − 1 e ( n − 1 ) ∂ z = ( − 1 ) n e n ˙ ∂ z − 1 − e ∂ z − 1 = ( − 1 ) n + 1 e n ˙ ∂ z + 1 e ∂ z + 1 (16)</p><p>or, replacing n with 2n + 1,</p><p>e ( 2 n ˙ + 1 ) ∂ z + 1 = ( e ∂ z + 1 ) ( 1 − e ∂ z + e 2 ∂ z + ⋯ − e ( 2 n − 1 ) ∂ z + e 2 n ∂ z )</p><p>one gets from (7)</p><p>E m ( z 2 n + 1 ) = 2 e ( 2 n ˙ + 1 ) ∂ z + 1 ( z 2 n + 1 ) m (17)</p><p>i.e.,</p><p>( 1 − e ∂ z + e 2 ∂ z + ⋯ + e 2 n ∂ z ) E m ( z 2 n + 1 ) = ( 2 n + 1 ) − m E m ( z )</p><p>a new property of Euler polynomials</p><p>( 2 n + 1 ) − m E m ( z ) = ∑ k = 0 2 n ( − 1 ) k E m ( z + k 2 n + 1 ) (18)</p><p>For example</p><p>3 − m E m ( z ) = E m ( z 3 ) − E m ( z + 1 3 ) + E m ( z + 2 3 )</p><p>Formula (18) means that</p><p>&#183; E m ( z ) is ( 2 n + 1 ) m times the alternating sum ( − 1 ) k E m ( z + k 2 n + 1 ) , 0 ≤ k ≤ 2 n or, equivalently,</p><p>E m ( ( 2 n + 1 ) z ) is ( 2 n + 1 ) m times the alternating sum ( − 1 ) k E m ( z + k 2 n + 1 )</p><p>For examples</p><p>3 − m E m ( 3 z ) = E m ( z ) − E m ( z + 1 3 ) + E m ( z + 2 3 )</p><p>3 − m E m ( z ) = E m ( z 3 ) − E m ( z + 1 3 ) + E m ( z + 2 3 )</p><p>5 − m E m ( 5 z ) = E m ( z ) − E m ( z + 1 5 ) + ⋯ + E m ( z + 4 5 )</p></sec><sec id="s3_4"><title>3.4. Symmetry of Euler Polynomials</title><p>From (7) we may write</p><p>E m ( − z ) = 2 e − ∂ z + 1 ( − z ) m = 2 e ∂ z 1 + e ∂ z ( − z ) m = ( − 1 ) m e ∂ z E m ( z ) = ( − 1 ) m E m ( z + 1 ) (19)</p><p>so that</p><p>E m ( − z + 1 2 ) = ( − 1 ) m E m ( z + 1 2 ) (20)</p><p>i.e.,</p><p>&#183; The graph of E m ( z ) is symmetric with respect to the straight line z = 1 2 for m even and to the point ( 1 2 , 0 ) for m odd.</p><p>In particular</p><p>E m ( 0 ) = ( − 1 ) m E m ( 1 ) (21)</p><p>E m ( 1 2 ) = ( − 1 ) m E m ( 1 2 ) (22)</p><p>E 2 m + 1 ≡ 2 2 m + 1 E 2 m + 1 ( 1 2 ) = 0 (23)</p><p>where E n designated the Euler number of order n.</p></sec><sec id="s3_5"><title>3.5. Symbolic Formula of Euler Polynomials</title><p>Now from (7) we may the write down symbolic formula</p><p>E m ( z + a ) = 2 e ∂ ( z + a ) + 1 ( z + a ) m = 2 e ∂ z + 1 ( z + a ) m = 2 e ∂ z + 1 ∑ k = 0 m ( m k ) a m − k z k = ∑ k = 0 m ( m k ) a m − k E k ( z )</p><p>E m ( z + a ) = : ( E ( z ) + a ) m (24)</p><p>where undefined notation E k ( z ) is to be replaced with well defined E k ( z ) .</p><p>Permuting z and a in (24) we get the complementary symbolic formula</p><p>E m ( z + a ) = : ( E ( a ) + z ) m (25)</p><p>which for a = 0 leads to the formula</p><p>E m ( z ) = : ( E ( 0 ) + z ) m (26)</p><p>similar to the Lucas formula for calculating Bernoulli polynomials [<xref ref-type="bibr" rid="scirp.126610-ref12">12</xref>] .</p><p>Another way for obtaining symbolic formula of Euler polynomials is by remarking that as</p><p>e ∂ z + y f ( z + y ) = e ∂ z f ( z + y ) = e ∂ y f ( z + y ) (27)</p><p>we may write</p><p>E m ( z + y ) = 2 e ∂ ( z + y ) + 1 ( z + y ) m = 2 e ∂ z + 1 ( z + y ) m = 2 e ∂ z + 1 ∑ k = 0 m ( m k ) z k y m = ∑ k = 0 m ( m k ) E k ( z ) y m</p><p>or, symbolically, the symbolic relations</p><p>E m ( z + y ) = : ( E ( z ) + y ) m = : ( E ( y ) + z ) m (28)</p><p>E m ( z + E ( y ) ) = : ( E ( z ) + E ( y ) ) m = : ( E ( E ( y ) ) + z ) m (29)</p><p>The above results are resumed in <xref ref-type="table" rid="table1">Table 1</xref>.</p></sec></sec><sec id="s4"><title>4. Relations between Euler and Bernoulli Polynomials</title><sec id="s4_1"><title>4.1. The First Relation</title><p>From the known property of the Bernoulli polynomials [<xref ref-type="bibr" rid="scirp.126610-ref12">12</xref>]</p><p>B m ( z ) = ∂ z e ∂ z − 1 z m (30)</p><p>which makes them also of Appell type we get</p><p>∂ z E m ( z ) = 2 ∂ z e ∂ z + 1 z m = e ∂ z − 1 e ∂ z + 1 2 ∂ z e ∂ z − 1 z m = 2 m ( e ∂ z − 1 ) 2 ∂ z e 2 ∂ z − 1 ( z 2 ) m</p><p>i.e., according to (7) and the property of the shift operator e ∂ z , the known property one may find in Ref. [<xref ref-type="bibr" rid="scirp.126610-ref13">13</xref>]</p><p>m E m − 1 ( z ) = 2 m ( e ∂ z − 1 ) B m ( z 2 )</p><p>( m + 1 ) E m ( z ) = 2 m + 1 ( B m + 1 ( z + 1 2 ) − B m + 1 ( z 2 ) ) (31)</p></sec><sec id="s4_2"><title>4.2. The Second Relation</title><p>Now, thanks to the formula obtainable from (30).</p><table-wrap id="table1" ><label><xref ref-type="table" rid="table1">Table 1</xref></label><caption><title> Simple properties of Euler polynomials</title></caption><table><tbody><thead><tr><th align="center" valign="middle" >E m ( − z )</th><th align="center" valign="middle" >= ( − 1 ) m E m ( z + 1 )</th></tr></thead><tr><td align="center" valign="middle" >E m ( z + 1 2 )</td><td align="center" valign="middle" >= ( − 1 ) m E m ( − z + 1 2 )</td></tr><tr><td align="center" valign="middle" >2 z m</td><td align="center" valign="middle" >= E m ( z ) + E m ( z + 1 )</td></tr><tr><td align="center" valign="middle" >∑ k = 0 n − 1 ( z + k ) m</td><td align="center" valign="middle" >= 1 2 E m ( z + n ) + ∑ k = 1 n − 1 E m ( z + n − k ) + 1 2 E m ( z )</td></tr><tr><td align="center" valign="middle" >S m ( n ) = ∑ k = 0 n − 1 k m</td><td align="center" valign="middle" >= 1 2 E m ( n ) + ∑ k = 1 n − 1 E m ( n − k ) + 1 2 E m ( 0 )</td></tr><tr><td align="center" valign="middle" >∑ k = 1 n ( − 1 ) k + 1 k m</td><td align="center" valign="middle" >= 1 2 ( E m ( 1 ) + ( − 1 ) n + 1 E m ( n + 1 ) )</td></tr><tr><td align="center" valign="middle" >E m ( ( 2 n + 1 ) z )</td><td align="center" valign="middle" >= ( 2 n + 1 ) ∑ k = 0 2 n ( − 1 ) k E m ( z + k 2 n + 1 )</td></tr><tr><td align="center" valign="middle" >E m ( z + a )</td><td align="center" valign="middle" >= : ( E ( z ) + a ) m = : ( E ( a ) + z ) m</td></tr><tr><td align="center" valign="middle" >E m ( z + y )</td><td align="center" valign="middle" >= : ( E ( z ) + E ( y ) ) m</td></tr></tbody></table></table-wrap><p>B m ( z 2 ) = ∂ z / 2 e ∂ z / 2 − 1 ( z 2 ) m = 2 ∂ z e 2 ∂ z − 1 ( z 2 ) m = 1 e ∂ z + 1 2 ∂ z e ∂ z − 1 ⋅ 2 − m z m</p><p>( 1 + e ∂ z ) B m ( z 2 ) = B m ( z 2 ) + B m ( z + 1 2 ) = 2 1 − m B m ( z ) (32)</p><p>we may put the formula (31) under the more useful form</p><p>m E m − 1 ( z ) = 2 B m ( z ) − 2 m + 1 B m ( z 2 ) (33)</p><p>We note that formulae (31) and (33) are proven by Roman [<xref ref-type="bibr" rid="scirp.126610-ref3">3</xref>] by another method.</p><p>As consequence of (33) we have the very important relation linking E m ( 0 ) with B m</p><p>( m + 1 ) E m ( 0 ) = ( 2 − 2 m + 2 ) B m + 1 (34)</p><p>from which one can obtain easily E m ( 0 ) knowing B m and vice-versa.</p><p>For example, with B 8 = − 1 30</p><p>E 7 ( 0 ) = 1 8 2 ( 1 − 2 8 ) − 1 30 = 1 4 255 30 = 17 8</p></sec><sec id="s4_3"><title>4.3. The Third Relation</title><p>Searching for other relations between Euler and Bernoulli polynomials we get from (7) the relations</p><p>∂ z e ∂ z − 1 E m ( z ) = 2 ∂ z e 2 ∂ z − 1 z m = 2 m ∂ z / 2 e ∂ z / 2 − 1 ( z 2 ) m = 2 m B m ( z 2 ) (35)</p><p>E m ( B ( z ) ) = : 2 m B m ( z 2 ) (36)</p><p>and</p><p>m E m − 1 ( z ) = ( e ∂ z − 1 ) 2 m B m ( z 2 )</p><p>m E m − 1 ( z ) = 2 m ( B m ( z + 1 2 ) − B m ( z 2 ) ) (37)</p><p>For examples:</p><p>E 1 ( B ( z ) ) : = B 1 ( z ) − 1 2 = z − 1 = 2 1 B 1 ( z 2 ) ⇒ B 1 = − 1 2</p><p>3 E 2 ( z ) : = 8 ( B 3 ( z + 1 2 ) − B 3 ( z 2 ) )</p><p>E 2 ( B ( z ) ) : = B 2 ( z ) − B 1 ( z ) = z 2 − 2 z + 4 6 = 2 2 B 2 ( z 2 )</p></sec><sec id="s4_4"><title>4.4. The Fourth Relation</title><p>Moreover we find from the differential representations of Euler and Bernoulli polynomials that</p><p>∂ z e ∂ z − 1 E m ( z ) = ∂ z e ∂ z − 1 2 e ∂ z + 1 z m = 2 ∂ z e 2 ∂ z − 1 z m = ∂ z / 2 e ∂ z / 2 − 1 z m = 2 m B m ( z 2 ) (38)</p><p>i.e., another relation between Euler and Bernoulli polynomials</p><p>E m ( B ( z ) ) : = 2 m B m ( z 2 ) = : 2 m ( B ( 0 ) + z 2 ) m (39)</p><p>For examples</p><p>E 1 ( B ) : = B 1 ( z ) − 1 2 = 2 1 B 1 ( z 2 ) = : 2 1 ( z 2 + B ) 1 = z − 1</p><p>⇒ B 1 ( z ) = ( z − 1 2 )</p><p>E 2 ( B ) : = B 2 ( z ) − B 1 ( z ) = 2 2 B 2 ( z 2 ) = : 2 2 ( B + z 2 ) 2</p><p>⇒ B 2 ( z ) = : ( B + z ) 2 = z 2 + 2 B 1 z + B 2</p></sec><sec id="s4_5"><title>4.5. The Fifth Relation</title><p>More curiously concerning the interrelation between Euler and Bernoulli polynomials we discover from the relation</p><p>∂ z e 2 ∂ z − 1 2 e ∂ z + 1 z m = 2 e ∂ z + 1 ∂ z e 2 ∂ z − 1 z m (40)</p><p>the symbolic relation</p><p>E m ( B ( z ) ) = : B m ( E ( z ) ) (41)</p><p>For example</p><p>E 2 ( B ( z ) ) : = B 2 ( z ) − B 1 ( z ) = z 2 − z + 1 6 − z + 1 2 = : B 2 ( E ( z ) ) = E 2 ( z ) − E 1 ( z ) + 1 6 = z 2 − z − z + 1 2 + 1 6</p><p>Formula (41) suggests the great theorem which may be very useful.</p><p>&#183; The property E m ( B ( z ) ) = : B m ( E ( z ) ) holds for any two Appell type polynomials.</p></sec><sec id="s4_6"><title>4.6. The Sixth Relation</title><p>Now, if we write</p><p>E m ( z ) = ∑ k = 0 m ( m k ) E m − k ( 0 ) z k = : ( z + E ( 0 ) ) m (42)</p><p>then apply the operator (30) on both members of it and utilize (39) we get</p><p>E m ( B ( z ) ) = : ( B ( z ) + E ( 0 ) ) m : = 2 m B m ( z 2 ) (43)</p><p>and another relation between E m ( B ) and the Bernoulli numbers</p><p>E m ( B ) = : ( B + E ( 0 ) ) m : = 2 m B m (44)</p><p>For examples</p><p>E 2 ( B ) : = B 2 + 2 B 1 E 1 ( 0 ) + E 2 ( 0 ) = 1 6 + 2 − 1 2 − 1 2 + 0 = 2 2 B 2 = 4 6</p><p>The relations between Euler and Bernoulli polynomials are summarized in <xref ref-type="table" rid="table2">Table 2</xref>.</p></sec></sec><sec id="s5"><title>5. Obtaining Euler Polynomials</title><sec id="s5_1"><title>5.1. From Values at Origin E m ( 0 )</title><p>From the symbolic formula (42)</p><p>E m ( z ) = : ( z + E ( 0 ) ) m</p><p>We see that E m ( z ) may be obtained from the values E k ( 0 ) , k = 1 , ⋯ , m .</p><p>Moreover, because of (34)</p><p>( m + 1 ) E m ( 0 ) = ( 2 − 2 m + 2 ) B m + 1</p><p>they are also obtainable from Bernoulli numbers.</p><p>Finally, in a recent work on Bernoulli polynomials [<xref ref-type="bibr" rid="scirp.126610-ref12">12</xref>] we have obtained the famous formula giving easily all values B m , says</p><p>( 1 − m ) B m = : ( B − B ) m (45)</p><p>Combining (31) with (45) we may calculate very simply all B m = B m ( 0 ) and all E m ( 0 ) .</p><p>For examples</p><p>− 5 B 4 = 6 B 2 B 2 = 1 42</p><p>− 7 B 6 = 2 ( 6 2 ) B 2 B 4 = 30 1 6 ( − 1 30 ) = − 1 6</p><table-wrap id="table2" ><label><xref ref-type="table" rid="table2">Table 2</xref></label><caption><title> Relations Euler-Bernoulli polynomials</title></caption><table><tbody><thead><tr><th align="center" valign="middle" >( m + 1 ) E m ( z )</th><th align="center" valign="middle" >= 2 m + 1 ( B m + 1 ( z + 1 2 ) − B m + 1 ( z 2 ) )</th></tr></thead><tr><td align="center" valign="middle" >m E m − 1 ( z )</td><td align="center" valign="middle" >= 2 B m ( z ) − 2 m + 1 B m ( z 2 )</td></tr><tr><td align="center" valign="middle" >( m + 1 ) E m ( 0 )</td><td align="center" valign="middle" >= ( 2 − 2 m + 2 ) B m + 1</td></tr><tr><td align="center" valign="middle" >m E m − 1 ( z )</td><td align="center" valign="middle" >= 2 m ( B m ( z + 1 2 ) − B m ( z 2 ) )</td></tr><tr><td align="center" valign="middle" >E m ( B ( z ) )</td><td align="center" valign="middle" >= : 2 m B m ( z 2 ) = : 2 m ( B ( 0 ) + z 2 ) m</td></tr><tr><td align="center" valign="middle" >E m ( B ( z ) )</td><td align="center" valign="middle" >= : B m ( E ( z ) )</td></tr></tbody></table></table-wrap><p>6 E 5 ( 0 ) = ( 2 − 2 5 + 2 ) B 6 = − 126 B 6</p></sec><sec id="s5_2"><title>5.2. From Recursion Relation on Euler Polynomials</title><p>From the following identity of operators that we characterize fundamental [<xref ref-type="bibr" rid="scirp.126610-ref14">14</xref>]</p><p>f ( ∂ z ) g ( z ) ≡ g ( z ) f ( ∂ z ) + 1 1 ! g ′ ( z ) f ′ ( ∂ z ) + 1 2 ! g ″ ( z ) f ″ ( ∂ z ) + ⋯ (46)</p><p>obtainable by recurrence from the property</p><p>∂ z z g ( z ) = g ( z ) + z g ′ ( z ) (47)</p><p>we obtain the new symbolic recurrence relation on Euler polynomials</p><p>E m + 1 ( z ) = 2 e ∂ z + 1 z z m = z 2 e ∂ z + 1 z m − 2 e ∂ z ( e ∂ z + 1 ) 2 z m (48)</p><p>i.e.,</p><p>E m + 1 ( z ) = z E m ( z ) − e ∂ z e ∂ z + 1 E m ( z )</p><p>E m + 1 ( z ) = : z E m ( z ) − 1 2 E m ( E ( z + 1 ) ) (49)</p><p>For example, because E 2 ( z ) = z 2 − z ,</p><p>E 3 ( z ) = z E 2 ( z ) − 1 2 ( E 2 ( z + 1 ) − E 1 ( z + 1 ) ) = ( z 3 − z 2 ) − 1 2 ( ( z + 1 ) 2 − 2 ( z + 1 ) + 1 2 ) = z 3 − 3 2 z 2 + 1 4</p></sec><sec id="s5_3"><title>5.3. From Euler Polynomials of Sums of Arguments</title><p>Another way for obtaining recursion relation between E m ( z ) comes from (49) and the property</p><p>e ∂ z + y f ( z + y ) = e ∂ z f ( z + y ) = e ∂ y f ( z + y ) (50)</p><p>which leads to</p><p>E m + 1 ( z + y ) = ( z + y ) E m ( z + y ) − 2 e ∂ z + y ( e ∂ z + y + 1 ) 2 ( z + y ) m = ( z + y ) E m ( z + y ) − e ∂ y e ∂ y + 1 ( y + E ( z ) ) m = ( z + y ) E m ( z + y ) − 1 2 ( E ( y + 1 ) + E ( z ) ) m</p><p>1 2 ( E ( y ) + E ( z ) ) m = ( z + y − 1 ) E m ( z + y ) − E m + 1 ( z + y − 1 ) (51)</p><p>and</p><p>E m + 1 ( z ) = : z E m ( z ) − 1 2 ( E ( 1 ) + E ( z ) ) m</p><p>i.e., because E 2 m + 1 ( 1 ) = − E 2 m + 1 ( 0 ) , E 2 m ( 1 ) = E 2 m ( 0 ) = δ m 0 ,</p><p>E m + 1 ( z ) = : ( z − 1 ) E m ( z ) + 1 2 ( E ( 0 ) + E ( z ) ) m (52)</p><p>In particular</p><p>E m + 1 ( 1 ) = : 1 2 ( E ( 0 ) + E ( 1 ) ) m</p><p>For examples</p><p>E 2 ( z ) = ( z − 1 ) ( z − 1 2 ) + 1 2 ( − 1 2 + z − 1 2 ) = z 2 − z</p><p>E 3 ( z ) = : ( z − 1 ) E 2 ( z ) + 1 2 ( E ( z ) + E ( 0 ) ) 2 = ( z − 1 ) ( z 2 − z ) + 1 2 ( ( z 2 − z ) − ( z − 1 2 ) + 0 ) = z 3 − 3 2 z 2 + 1 4</p><p>E 3 ( 1 ) = : 1 2 ( E ( 0 ) + E ( 1 ) ) 2 = 1 2 ( 2 E 1 ( 0 ) E 1 ( 1 ) ) = − 1 4</p><p>We note that (52) is equivalent with the formula about Bernoulli polynomials found by the similar method cited in Ref. [<xref ref-type="bibr" rid="scirp.126610-ref10">10</xref>]</p><p>( m − 1 ) B m ( z ) = m z B m − 1 ( z ) − ( B ( z ) + B ( 1 ) ) m</p><p>It gives rise also to the second symbolic formula concerning E m ( 0 )</p><p>E m + 1 ( 0 ) + E m ( 0 ) = : 1 2 ( E ( 0 ) + E ( 0 ) ) m (53)</p><p>to be compared with the marvellous formula (45) concerning Bernoulli numbers</p><p>( 1 − m ) B m ( 0 ) = : ( B ( 0 ) − B ( 0 ) ) m</p><p>and the mixed formula coming from (44)</p><p>E m ( B ) = : ( E ( 0 ) + B ) m : = 2 m B m (54)</p><p>E 2 ( B ) = : ( E ( 0 ) + B ) m = E 2 ( 0 ) + 2 E 1 ( 0 ) B 1 + B 2 : = 2 2 B 2</p><p>E 4 ( B ) = : ( E ( 0 ) + B ) m = 4 E 3 ( 0 ) B 1 + B 4 : = 2 4 B 4</p><p>Some examples concerning E m ( 0 ) given by (53) where E 2 m ( 0 ) = δ m 0</p><p>E 1 ( 0 ) + 1 = 1 2</p><p>E 3 ( 0 ) = : 1 2 ( E ( 0 ) + E ( 0 ) ) 2 = 1 2 ( 2 E 1 ( 0 ) E 1 ( 0 ) ) = 1 4</p><p>E 5 ( 0 ) = : 1 2 ( E ( 0 ) + E ( 0 ) ) 4 = 1 2 ( 4 E 1 ( 0 ) E 3 ( 0 ) + 4 E 3 ( 0 ) E 1 ( 0 ) ) = − 1 2</p><p>E 7 ( 0 ) = : 1 2 ( E ( 0 ) + E ( 0 ) ) 6 = 1 2 ( 2 ( 6 1 ) E 1 ( 0 ) E 5 ( 0 ) + ( 6 3 ) E 3 ( 0 ) E 3 ( 0 ) ) = 17 8</p><table-wrap id="table3" ><label><xref ref-type="table" rid="table3">Table 3</xref></label><caption><title> Recursion relations on Euler polynomials</title></caption><table><tbody><thead><tr><th align="center" valign="middle" >E m ( z )</th><th align="center" valign="middle" >= : ( z + E ( 0 ) ) m</th></tr></thead><tr><td align="center" valign="middle" >E m + 1 ( z )</td><td align="center" valign="middle" >= : z E m ( z ) − 1 2 E m ( E ( z + 1 ) )</td></tr><tr><td align="center" valign="middle" >E m + 1 ( z + y − 1 )</td><td align="center" valign="middle" >= ( z + y − 1 ) E m ( z + y ) − 1 2 ( E ( y ) + E ( z ) ) m</td></tr><tr><td align="center" valign="middle" >E m + 1 ( z )</td><td align="center" valign="middle" >= : ( z − 1 ) E m ( z ) + 1 2 ( E ( 0 ) + E ( z ) ) m</td></tr><tr><td align="center" valign="middle" >E m + 1 ( 0 ) + E m ( 0 )</td><td align="center" valign="middle" >= : 1 2 ( E ( 0 ) + E ( 0 ) ) m</td></tr></tbody></table></table-wrap><p>Hereafter we summarize the recursion relations between E m + 1 ( z ) and E m ( z ) of lower orders in <xref ref-type="table" rid="table3">Table 3</xref>.</p><p>Although (53) is convenient for calculating E m ( 0 ) we would like to expose hereafter a formula for calculating them not by recurrence but individually.</p></sec><sec id="s5_4"><title>5.4. Obtaining E m ( z ) from E m − 1 ( z )</title><p>From the property (8) one may write</p><p>E ' m ( z ) = 2 m e ∂ z + 1 z m − 1 = m E m − 1 ( z )</p><p>and by taking primitives of both sides</p><p>E m ( z ) = m ∫ E m − 1 ( z ) + E m ( 0 ) (55)</p><p>From (55) we get</p><p>E 2 m + 1 ( z ) = ( 2 m + 1 ) ∫ E 2 m ( z ) + E 2 m + 1 ( 0 )</p><p>But according to (20)</p><p>E 2 m + 1 ( z ) = − E 2 m + 1 ( 1 − z )</p><p>so that from</p><p>E 2 m + 1 ( 1 ) − E 2 m + 1 ( 0 ) = ( 2 m + 1 ) ( ∫ E 2 m ( z ) ) z = 1</p><p>one gets after all the formula giving E 2 m + 1 ( 0 ) from an integral of E 2 m ( z )</p><p>E 2 m + 1 ( 0 ) = − 1 2 ( 2 m + 1 ) ∫ 0 1 E 2 m ( z ) d z (56)</p><p>This new algorithm may be utilized to calculate them as shown in <xref ref-type="table" rid="table4">Table 4</xref>.</p><p>&#183; We remark that because B 2 m ( z ) = B 2 m ( 1 − z ) a similar formula as (56) for Bernoulli numbers and polynomials doesn’t exist.</p><p>For examples, noting that E 2 m ( 0 ) = δ m 0 ,</p><p>E 1 ( 0 ) = − 1 2 ∫ 0 1 E 0 ( z ) d z = − 1 2</p><table-wrap id="table4" ><label><xref ref-type="table" rid="table4">Table 4</xref></label><caption><title> E m ( 0 ) and Euler polynomials E m ( z ) </title></caption><table><tbody><thead><tr><th align="center" valign="middle" >m</th><th align="center" valign="middle" >E m ( 0 ) = − m 2 ∫ 0 1 E m − 1 ( z )</th><th align="center" valign="middle" >E m ( z ) = m ∫ 0 1 E m − 1 ( z ) d z + E m ( 0 )</th><th align="center" valign="middle" >E m ( z )</th></tr></thead><tr><td align="center" valign="middle" >0</td><td align="center" valign="middle" >E 0 ( 0 ) ≡ 1</td><td align="center" valign="middle" >E 0 ( z ) = E 0 ( 0 )</td><td align="center" valign="middle" >E 0 ( z ) = 1</td></tr><tr><td align="center" valign="middle" >1</td><td align="center" valign="middle" >E 1 ( 0 ) = − 1 2 ∫ 0 1 E 0 ( z ) d z = − 1 2</td><td align="center" valign="middle" >E 1 ( z ) = 1 ∫ 0 1 E 0 ( z ) d z + E 1 ( 0 )</td><td align="center" valign="middle" >E 1 ( z ) = z − 1 2</td></tr><tr><td align="center" valign="middle" >2</td><td align="center" valign="middle" >E 2 ( 0 ) = 0</td><td align="center" valign="middle" >E 2 ( z ) = 2 ( z 2 2 − z 2 )</td><td align="center" valign="middle" >E 2 ( z ) = z 2 − z</td></tr><tr><td align="center" valign="middle" >3</td><td align="center" valign="middle" >E 3 ( 0 ) = − 3 2 ∫ 0 1 ( z 2 − z ) d z = 1 4</td><td align="center" valign="middle" >E 3 ( z ) = 3 ∫ 0 1 E 2 ( z ) d z + E 3 ( 0 )</td><td align="center" valign="middle" >E 3 ( z ) = z 3 − 3 2 z 2 + 1 4</td></tr><tr><td align="center" valign="middle" >4</td><td align="center" valign="middle" >E 4 ( 0 ) = 0</td><td align="center" valign="middle" >E 4 ( z ) = z 4 − 2 z 3 + z</td><td align="center" valign="middle" >E 4 ( z ) = z 4 − 2 z 3 + z</td></tr><tr><td align="center" valign="middle" >5</td><td align="center" valign="middle" >E 5 ( 0 ) = − 5 2 ∫ 0 1 ( z 4 − 2 z 3 + z ) d z = − 1 2</td><td align="center" valign="middle" >E 5 ( z ) = 5 ∫ 0 1 E 4 ( z ) d z + E 5 ( 0 )</td><td align="center" valign="middle" >E 5 ( z ) = z 5 − 5 z 4 2 + 5 z 2 2 − 1 2</td></tr><tr><td align="center" valign="middle" >6</td><td align="center" valign="middle" >E 6 ( 0 ) = 0</td><td align="center" valign="middle" >E 6 ( z ) = z 6 − 3 z 5 + 5 z 3 − 3 z + E 6 ( 0 )</td><td align="center" valign="middle" >E 6 ( z ) = z 6 − 3 z 5 + 5 z 3 − 3 z</td></tr><tr><td align="center" valign="middle" >7</td><td align="center" valign="middle" >E 7 ( 0 ) = − 7 2 ∫ 0 1 E 6 ( z ) d z = 17 8</td><td align="center" valign="middle" >E 7 ( z ) = z 7 − 7 z 6 2 + 35 4 z 4                         − 21 2 z 2 + E 7 ( 0 )</td><td align="center" valign="middle" >E 7 ( z ) = z 7 − 7 z 6 2 + 35 4 z 4                         − 21 2 z 2 + 17 8</td></tr><tr><td align="center" valign="middle" >8</td><td align="center" valign="middle" >E 8 ( 0 ) = 0</td><td align="center" valign="middle" >E 8 ( z ) = z 8 − 4 z 7 + 14 z 5 − 28 z 3                         + 17 z + E 8 ( 0 )</td><td align="center" valign="middle" >E 8 ( z ) = z 8 − 4 z 7 + 14 z 5                         − 28 z 3 + 17 z</td></tr><tr><td align="center" valign="middle" >9</td><td align="center" valign="middle" >E 9 ( 0 ) = − 9 2 ∫ 0 1 ( z 8 − 4 z 7 + 14 z 5 − 28 z 3 + 17 z ) d z = − 31 2</td><td align="center" valign="middle" >E 9 ( z ) = z 9 − 9 2 z 8 + 21 z 6 − 63 z 4                         + 153 2 z 2 + E 9 ( 0 )</td><td align="center" valign="middle" >E 9 ( z ) = z 9 − 9 2 z 8 + 21 z 6 − 63 z 4                         + 153 2 z 2 − 31 2</td></tr><tr><td align="center" valign="middle" >10</td><td align="center" valign="middle" >E 10 ( 0 ) = 0</td><td align="center" valign="middle" >E 10 ( z ) = z 10 − 5 z 9 + 30 z 7 − 126 z 5                           + 255 z 3 − 155 z + E 10 ( 0 )</td><td align="center" valign="middle" >E 10 ( z ) = z 10 − 5 z 9 + 30 z 7 − 126 z 5                           + 255 z 3 − 155 z</td></tr></tbody></table></table-wrap><p>E 1 ( z ) = 1 ∫ E 0 ( z ) d z + E 1 ( 0 ) = z − 1 2</p><p>E 2 ( z ) = 2 ∫ E 1 ( z ) d z + E 2 ( 0 ) = 2 ( z 2 2 − z 2 ) = z 2 − z</p><p>&#183; Another algorithm for obtaining E m ( z ) is:</p><p>Let E 1 ( 0 ) = − 1 2 and E m − ( z ) be the primitive of m E m − 1 ( z ) we see that</p><p>E 1 ( z ) = z − 1 2 → → E 2 − ( z ) = z 2 − z → → E 2 ( 0 ) = 1 − 1 = 0</p><p>E 2 ( z ) = z 2 − z → → E 3 − ( z ) = z 3 − 3 2 z 2 → → E 3 ( 0 ) = E 3 − ( 1 ) = − 1 2</p><p>E 8 ( z ) = z 8 − 4 z 7 + 14 z 5 − 28 z 3 + 17 z → → E 9 − ( z ) = z 9 − 9 2 z 8 + 21 z 6 − 63 z 4 + 9 ( 17 2 z 2 ) → → E 9 ( 0 ) = E 9 − ( 1 ) = − 31 2</p><p>⋮</p></sec></sec><sec id="s6"><title>6. Integral of Product of Euler Polynomials</title><p>Thanks to the property (8) one may perform successive integrations by parts on products of Euler polynomials and get</p><p>∫ 0 1 E n ( z ) E m ( z ) d z = 1 m + 1 ∫ 0 1 E n ( z ) E ′ m + 1 ( z ) d z = 1 m + 1 ( E n ( z ) E m + 1 ( z ) ) | 0 1 − n ( n − 1 ) ( m + 1 ) ( m + 2 ) ( E n − 1 ( z ) E m + 2 ( z ) ) | 0 1     + ⋯ + ( − 1 ) n − 1 n ! m ! ( m + n ) ! ( E 1 ( z ) E m + n ( z ) ) | 0 1     + ( − 1 ) n n ! m ! ( m + n ) ! ∫ 0 1 E 0 ( z ) E m + n ( z ) d z</p><p>But E 2 n ( 1 ) = E 2 n ( 0 ) = 0 and E 2 n + 1 ( 1 ) = − E 2 n + 1 ( 0 ) so that we finally get</p><p>∫ 0 1 E n ( z ) E m ( z ) d z = ( − 1 ) n n ! m ! ( m + n + 1 ) ! E m + n + 1 ( z ) | 0 1 (57)</p><p>In particular for m + n = 2 p</p><p>∫ 0 1 E n ( z ) E m ( z ) d z = ( − 1 ) n + 1 n ! m ! ( m + n + 1 ) ! 2 E 2 p + 1 ( 0 ) (58)</p><p>Thanks to the relation (34) we see that the formula (58) is conformed with the result given in [<xref ref-type="bibr" rid="scirp.126610-ref13">13</xref>] says</p><p>∫ 0 1 E n ( z ) E m ( z ) d z = ( − 1 ) n n ! m ! ( m + n + 2 ) ! 4 ( 2 m + n + 2 − 1 ) B 2 m + 2 (59)</p><p>We observe that by integration by parts one may also calculate ∫ a b E n ( z ) E m ( z ) d z .</p></sec><sec id="s7"><title>7. Fourier Series of Euler Polynomials</title><p>From the famous relation (33) between Euler and Bernoulli polynomials</p><p>m E m − 1 ( z ) = 2 B m ( z ) − 2 m + 1 B m ( z 2 )</p><p>and the Hurwitz formula on Bernoulli polynomials [<xref ref-type="bibr" rid="scirp.126610-ref12">12</xref>]</p><p>B m ( z ) = − m ! ( 2 i π ) m ∑ k ≠ 0 k ∈ Z 1 k m e i 2 π k z ,   0 ≤ z ≤ 1</p><p>we get directly the Fourier series expansions of Euler polynomials</p><p>E m − 1 ( z ) = − m ! ( 2 i π ) m 2 ( ∑ k ∈ Z k ≠ 0 1 k m e i 2 π k z − 2 m ∑ k ∈ Z k ≠ 0 1 k m e i π k z )</p><p>= − m ! ( 2 i π ) m 2 ( ∑ k ∈ Z k ≠ 0 1 k m e i 2 π k z − ∑ k ∈ Z k ≠ 0 1 ( k 2 ) m e i π k z ) = − m ! ( 2 i π ) m 2 ∑ k o d d ∞ 1 ( k 2 ) m e i π k z = − m ! ( i π ) m 2 ∑ k = − ∞ ∞ 1 ( 2 k + 1 ) m e i π ( 2 k + 1 ) z (60)</p><p>i.e.,</p><p>E 2 n − 1 ( z ) = ( − 1 ) n ( 2 n − 1 ) ! π 2 n 4 ∑ k = 0 ∞ cos ( 2 k + 1 ) π z ( 2 k + 1 ) 2 n (61)</p><p>and</p><p>E 2 n ( z ) = ( − 1 ) n ( 2 n ) ! π 2 n + 1 4 ∑ k = 0 ∞ sin ( 2 k + 1 ) π z ( 2 k + 1 ) 2 n + 1 (62)</p><p>For example</p><p>E 1 ( z ) = − 1 π 2 4 ∑ k = 0 ∞ cos ( 2 k + 1 ) π z ( 2 k + 1 ) 2</p><p>The formulae (61), (62) were known for example in [<xref ref-type="bibr" rid="scirp.126610-ref10">10</xref>] . They do not depend On B m or E m ( 0 ) . On the contrary they show the apparition of π n and permit to calculate them by summations of infinite series, for examples</p><p>E 2 n − 1 ( 0 ) = 1 ( 2 n − 1 ) ! 4 π 2 n = ( − 1 ) n ( 1 1 2 n + 1 3 2 n + 1 5 2 n + ⋯ ) (63)</p><p>⇒ π 2 8 = 1 1 2 + 1 3 2 + 1 5 2 + ⋯</p><p>E 2 ( z ) = − 2 π 3 4 ∑ k = 0 ∞ sin ( 2 k + 1 ) π z ( 2 k + 1 ) 3</p><p>E 2 n ( z ) = ( − 1 ) n ( 2 n ) ! π 2 n + 1 4 ∑ k = 0 ∞ sin ( 2 k + 1 ) π z ( 2 k + 1 ) 2 n + 1</p><p>E 2 n ( 1 2 ) π 2 n + 1 4 ( 2 n ) ! = ( − 1 ) n ( 1 1 2 n + 1 − 1 3 2 n + 1 + 1 5 2 n + 1 + ⋯ ) (64)</p><p>π 3 32 = 1 1 3 − 1 3 3 + 1 5 3 + ⋯</p></sec><sec id="s8"><title>8. Euler Polynomials and Euler Zeta Functions</title><p>From the Hurwitz formula on Bernoulli polynomials [<xref ref-type="bibr" rid="scirp.126610-ref13">13</xref>]</p><p>B m ( z ) = − m ! ( 2 i π ) m ∑ k ≠ 0 k ∈ Z 1 k m e i 2 π k z , 0 ≤ z ≤ 1</p><p>we get</p><p>B m ( 0 ) = − m ! ( 2 i π ) m ∑ k ≠ 0 k ∈ Z 1 k m</p><p>B 2 m ( 0 ) = − ( 2 m ! ) 2 ( 2 i π ) 2 m ∑ k &gt; 0 k ∈ Z 1 k 2 m (65)</p><p>Formula (65) leads to the relation of the Euler-Riemann zeta function [<xref ref-type="bibr" rid="scirp.126610-ref15">15</xref>] with Bernoulli numbers</p><p>ζ ( 2 m ) = ∑ k &gt; 0 1 k 2 m = ( − 1 ) m − 1 2 ( 2 m ) ! ( 2 π ) 2 m B 2 m (66)</p><p>and, thanks to (34), with E 2 m − 1 ( 0 )</p><p>ζ ( 2 m ) = ( 2 π ) 2 m m 1 − 2 2 m ( − 1 ) m − 1 2 ( 2 m ) ! E 2 m − 1 ( 0 ) (67)</p><p>For example</p><p>ζ ( 2 ) = 1 1 − 2 2 1 2 ( 2 ) ! ( 2 π ) 2 E 1 ( 0 ) = 4 3 &#215; 4 &#215; 2 π 2 = π 2 6 (68)</p><p>a result that Euler had proven in 1734 by a laborious method described in [<xref ref-type="bibr" rid="scirp.126610-ref15">15</xref>] .</p><p>More generally, by putting z = 1 n in (65) we get the general formulae permitting to calculate the values of π m from the values of sin ( 2 π k n ) and cos ( 2 π k n )</p><p>( 2 π ) m 1 m ! B m ( 1 n ) = − ∑ k ≠ 0 k ∈ Z 1 ( i k ) m e i 2 π k n (69)</p><p>π m 2 m − 1 1 ( m − 1 ) ! E m − 1 ( 1 n ) = − ∑ k ≠ 0 k ∈ Z 1 ( i k ) m ( e i 2 π k n − 2 m e i π k n ) (70)</p><p>Explicitly, from (69) we get <xref ref-type="table" rid="table5">Table 5</xref>.</p><p>Regarding these results one may say that</p><p>&#183; There have five types of infinite sums over 1 k m for calculating each π m B m ( 1 n ) , n ≤ 12 .</p><p>Besides, from (70) we get π m E m − 1 ( 1 n ) from summation of series on k − m</p><p>π m 2 m − 1 1 ( m − 1 ) ! E m − 1 ( 1 n ) = − ∑ k ≠ 0 k ∈ Z 1 ( i k ) m ( e i 2 π k n − 2 m e i π k n ) (71)</p><p>π m 2 m − 1 1 ( m − 1 ) ! E m − 1 ( 1 1 ) = − ∑ k ≠ 0 k ∈ Z 1 ( i k ) m ( e i 2 π k − 2 m e i π k )</p><table-wrap id="table5" ><label><xref ref-type="table" rid="table5">Table 5</xref></label><caption><title> Series of Infinite Sums over 1 k m </title></caption><table><tbody><thead><tr><th align="center" valign="middle" >m</th><th align="center" valign="middle" >n</th><th align="center" valign="middle" >− π B 1 ( 1 n ) = ∑ k &gt; 0 1 k sin ( 2 π k n )</th><th align="center" valign="middle" ></th></tr></thead><tr><td align="center" valign="middle" >1</td><td align="center" valign="middle" >1</td><td align="center" valign="middle" >− π B 1 ( 1 ) − 1 2 π = ( 0 1 + 0 2 + 0 3 + 0 4 + ⋯ )</td><td align="center" valign="middle" ></td></tr><tr><td align="center" valign="middle" ></td><td align="center" valign="middle" >2</td><td align="center" valign="middle" >0 = ( 0 1 − 0 2 + 0 3 − 0 4 + ⋯ )</td><td align="center" valign="middle" ></td></tr><tr><td align="center" valign="middle" ></td><td align="center" valign="middle" >3</td><td align="center" valign="middle" >− π B 1 ( 1 3 ) = 3 2 ( 1 1 − 1 2 + 1 4 + ⋯ )</td><td align="center" valign="middle" ></td></tr><tr><td align="center" valign="middle" ></td><td align="center" valign="middle" >4</td><td align="center" valign="middle" >− π B 1 ( 1 4 ) = ( 1 1 − 1 3 + 1 5 − 1 7 + ⋯ )</td><td align="center" valign="middle" >Gregory-Leibnitz formula</td></tr><tr><td align="center" valign="middle" ></td><td align="center" valign="middle" >6</td><td align="center" valign="middle" >− π B 1 ( 1 6 ) = 3 2 ( 1 1 + 1 2 − 1 4 − 1 6 + 1 7 + ⋯ )</td><td align="center" valign="middle" ></td></tr><tr><td align="center" valign="middle" ></td><td align="center" valign="middle" >8</td><td align="center" valign="middle" >( 2 2 1 1 + 1 2 + 2 2 1 3 − 2 2 1 5 − 1 6 − 2 2 1 7 + 1 9 2 2 + ⋯ )</td><td align="center" valign="middle" >Newton-Euler formula</td></tr><tr><td align="center" valign="middle" ></td><td align="center" valign="middle" >12</td><td align="center" valign="middle" >− π B 1 ( 1 12 ) = ( 1 2 1 1 + 3 2 1 2 + 1 3 + 3 2 1 4 − 1 2 1 5 )                                       − 1 2 1 7 − 3 2 1 8 − 1 9 − 3 2 1 10 − 1 2 1 11 + ⋯</td><td align="center" valign="middle" ></td></tr><tr><td align="center" valign="middle" >m</td><td align="center" valign="middle" >n</td><td align="center" valign="middle" >− π B 2 ( 1 n ) = ∑ k &gt; 0 1 k 2 sin ( 2 π k n )</td><td align="center" valign="middle" ></td></tr><tr><td align="center" valign="middle" >2</td><td align="center" valign="middle" >1</td><td align="center" valign="middle" >π 2 1 6 = ( 0 1 2 + 0 2 2 + 0 3 2 + ⋯ )</td><td align="center" valign="middle" ></td></tr><tr><td align="center" valign="middle" ></td><td align="center" valign="middle" >2</td><td align="center" valign="middle" >π 2 1 12 = ( 0 1 2 − 0 2 2 + 0 3 2 − 0 4 2 + ⋯ )</td><td align="center" valign="middle" ></td></tr><tr><td align="center" valign="middle" ></td><td align="center" valign="middle" >3</td><td align="center" valign="middle" >π B 2 ( 1 3 ) = 3 2 ( 1 1 2 + 1 2 2 − 1 4 2 − 1 5 2 + 1 7 2 + ⋯ )</td><td align="center" valign="middle" ></td></tr><tr><td align="center" valign="middle" ></td><td align="center" valign="middle" >4</td><td align="center" valign="middle" >π B 2 ( 1 4 ) = ( 1 1 2 − 1 3 2 + 1 5 2 − 1 7 2 + ⋯ )</td><td align="center" valign="middle" ></td></tr><tr><td align="center" valign="middle" ></td><td align="center" valign="middle" >6</td><td align="center" valign="middle" >π B 2 ( 1 6 ) = 3 2 ( 1 1 2 + 1 2 2 − 1 4 2 − 1 6 2 + 1 7 2 + ⋯ )</td><td align="center" valign="middle" ></td></tr><tr><td align="center" valign="middle" ></td><td align="center" valign="middle" >8</td><td align="center" valign="middle" >π B 2 ( 1 8 ) = ( 2 2 1 1 2 + 1 2 2 + 2 2 1 3 2 − 2 2 1 5 2 − 1 6 2                               − 2 2 1 7 2 + 1 9 2 2 2 + ⋯ )</td><td align="center" valign="middle" ></td></tr><tr><td align="center" valign="middle" ></td><td align="center" valign="middle" >12</td><td align="center" valign="middle" >1 2 ( 1 1 2 + 3 1 2 2 + 2 1 3 2 + 3 1 4 2 + 1 5 2 ) 1 2 ( − 3 1 7 2 − 1 8 2 − 2 1 9 2 − 3 1 10 2 − 1 11 2 ) + ⋯</td><td align="center" valign="middle" ></td></tr></tbody></table></table-wrap><p>2 π 2 E 1 ( 1 2 ) = 0 = ( − 1 1 2 + 1 2 2 − 1 3 2 + 1 4 2 − ⋯ ) − 4 ( − 1 2 2 + 1 4 2 − 1 6 2 + ⋯ )</p><p>2 π 2 E 1 ( 1 4 ) = ( − 1 2 2 + 1 4 2 + ⋯ ) − 2 ( 2 1 2 − 2 3 2 − 2 1 4 2 − 2 5 2 + 2 7 2 + 2 1 8 2 + ⋯ )</p><p>π 3 2 E 2 ( 1 2 ) = − 1 2 π 3 = − 16 ∑ k &gt; 0 1 k 3 sin ( k π 2 ) = − 16 ( 1 1 3 − 1 3 3 + 1 5 3 − 1 7 3 + ⋯ )</p><p>and so all.</p></sec><sec id="s9"><title>9. Euler Series of Functions</title><p>We already know the formulae on Fourier series (60)</p><p>B m ( z ) = − m ! ( 2 i π ) m ∑ k ≠ 0 k ∈ Z 1 k m e i 2 π k z</p><p>m E m − 1 ( z ) = − m ! ( i π ) m 2 ∑ k = − ∞ ∞ 1 ( 2 k + 1 ) m e i π ( 2 k + 1 ) z</p><p>and that entire functions may be expanded into series of Bernoulli polynomials</p><p>f ( z ) = ∫ 0 1 f ( z ) d z − ∑ n ∈ Z , n ≠ 0     ∑ k = 0 ∞     f ( k ) ( z ) | 0 1 ( 1 2 i π n ) k + 1 e i 2 π n z</p><p>f ( z ) = ∫ 0 1 f ( z ) d z + ∑ k = 0 ∞ [ f ( k ) ( 1 ) − f ( k ) ( 0 ) ] 1 ( k + 1 ) ! B k + 1 ( z ) (72)</p><p>for examples</p><p>z m = ∫ 0 1 z m d z + ∑ k = 1 m ( m k − 1 ) 1 k B k ( z )         0 ≤ z &lt; 1 (73)</p><p>Now from the relations</p><p>m z m − 1 = ∂ z z m = ( e ∂ z − 1 ) B m ( z ) = B m ( z + 1 ) − B m ( z )</p><p>2 z m = ( e ∂ z + 1 ) E m ( z ) = E m ( z + 1 ) + E m ( z )</p><p>we see that entire functions may also be expanded into series of Bernoulli as so as into series of Eulerpoly nomials.</p><p>For examples, because</p><p>2 B m ( z ) = 2 B m + ⋯ + ( m k ) B m − k 2 z k + ⋯ + B 0 2 z m</p><p>we may write</p><p>2 B m ( z ) = ( 1 + e ∂ z ) ∑ k = 0 m − 1 ( m k ) 1 m − k B m − k E k ( z ) + B 0 2 z m = ( 1 + e ∂ z ) ∑ k = 0 m − 1 ( m k ) 1 2 − 2 m − k + 1 E m − k − 1 ( 0 ) E k ( z )       + ( E m ( z + 1 ) + E m ( z ) ) (74)</p><p>z 1 − z = z 1 + z 2 + ⋯ = ( e ∂ z − 1 ) ( B 1 ( z ) + B 2 ( z ) + ⋯ + B m ( z ) + ⋯ ) (75)</p><p>2 z 1 − z = E 1 ( z ) + E 1 ( z + 1 ) + ⋯ + ( E k ( z ) + E k ( z + 1 ) ) + ⋯ (76)</p><p>ln ( 1 − z ) = ∫ ​ 1 1 − z = z + z 2 2 + z 3 3 + ⋯ = 1 2 ( 1 + e ∂ z ) ( E 1 ( z ) + 1 2 E 2 ( z ) + 1 3 E 3 ( z ) + ⋯ + 1 k E k ( z ) + ⋯ )</p><p>The above relations may be resumed in <xref ref-type="table" rid="table6">Table 6</xref>.</p></sec><sec id="s10"><title>10. Remarks and Conclusions</title><p>The main particularity of this work is the use of the Lagrange translation or shift Operator e a ∂ 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 ( z ) may be presented under the form of an Appell type polynomial which gives directly many algebraic properties concerning E m ( − z ) , E m ( ( 2 n + 1 ) z ) , E m ( z + a ) , many relations with sums of powers, many known and new relations with the Bernoulli polynomials B m ( z ) , noticeably E m ( B ( z ) ) = : B m ( E ( z ) ) ; the symbolic relation E m ( z + y ) = : ( E ( z ) + y ) m , a formula simultaneously giving E m ( 0 ) and E m ( z ) ; relations between E 2 m − 1 ( 0 ) and Euler-Riemann zeta</p><table-wrap id="table6" ><label><xref ref-type="table" rid="table6">Table 6</xref></label><caption><title> Series of and on Euler polynomials</title></caption><table><tbody><thead><tr><th align="center" valign="middle" >E m − 1 ( z )</th><th align="center" valign="middle" >= − m ! ( i π ) m 2 ∑ k = − ∞ ∞ 1 ( 2 k + 1 ) m e i π ( 2 k + 1 ) z</th></tr></thead><tr><td align="center" valign="middle" >E 2 n − 1 ( z )</td><td align="center" valign="middle" >= ( − 1 ) n ( 2 n − 1 ) ! π 2 n 4 ∑ k = 0 ∞ cos ( 2 k + 1 ) π z ( 2 k + 1 ) 2 n</td></tr><tr><td align="center" valign="middle" >E 2 n − 1 ( 0 )</td><td align="center" valign="middle" >= ( − 1 ) n ( 2 n − 1 ) ! π 2 n 4 ( 1 1 2 n + 1 3 2 n + ⋯ + 1 ( 2 k + 1 ) 2 n + ⋯ )</td></tr><tr><td align="center" valign="middle" >E 2 n ( z )</td><td align="center" valign="middle" >= ( − 1 ) n ( 2 n ) ! π 2 n + 1 4 ∑ k = 0 ∞ sin ( 2 k + 1 ) π z ( 2 k + 1 ) 2 n + 1</td></tr><tr><td align="center" valign="middle" >ζ ( 2 m )</td><td align="center" valign="middle" >= ( 2 π ) 2 m m 1 − 2 2 m ( − 1 ) m − 1 2 ( 2 m ) ! E 2 m − 1 ( 0 )</td></tr><tr><td align="center" valign="middle" >2 B m ( z )</td><td align="center" valign="middle" >= ∑ k = 0 m − 1 ( m k ) 1 2 − 2 m − k + 1 E m − k − 1 ( 0 ) ( E m ( z + 1 ) + E k ( z ) ) + ( E m ( z + 1 ) + E m ( z ) )</td></tr><tr><td align="center" valign="middle" >2 z m</td><td align="center" valign="middle" >= E m ( z ) + E m ( z + 1 )</td></tr><tr><td align="center" valign="middle" >2 z 1 − z</td><td align="center" valign="middle" >= E 1 ( z ) + E 1 ( z + 1 ) + E 2 ( z ) + E 2 ( z + 1 ) + ⋯</td></tr><tr><td align="center" valign="middle" >ln ( 1 − z )</td><td align="center" valign="middle" >= 1 2 ( 1 + e ∂ z ) ( E 1 ( z ) + 1 2 E 2 ( z ) + ⋯ + 1 k E k ( z ) + ⋯ )</td></tr></tbody></table></table-wrap><p>functions ζ ( 2 m ) as so as between π m E 2 m − 1 ( 1 n ) and series on 1 k 2 m + 1 sin k π n , 1 k 2 m cos 2 k π n generalizing ζ ( 2 m ) are given.</p><p>Last but not least, Fourier series of Euler polynomials and Euler series of functions are discussed and shown.</p><p>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 [<xref ref-type="bibr" rid="scirp.126610-ref16">16</xref>] concerning the properties of Hurwitz polynomials and by Ghisa, D. [<xref ref-type="bibr" rid="scirp.126610-ref17">17</xref>] concerning Euler Product Dirichlet Functions</p></sec><sec id="s11"><title>Acknowledgements</title><p>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.</p><p>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.</p></sec><sec id="s12"><title>Conflicts of Interest</title><p>The author declares no conflicts of interest regarding the publication of this paper.</p></sec><sec id="s13"><title>Cite this paper</title><p>Si, D.T. (2023) Obtaining Simply Explicit Form and New Properties of Euler Polynomials by Differential Calculus. Applied Mathematics, 14, 460-480. https://doi.org/10.4236/am.2023.147029</p></sec><sec id="s14"><title>Notations</title><p>A ( d d z ) z m ≡ Appel-type polynomials;</p><p>B m ( z ) = Bernoulli polynomials;</p><p>B m ≡ B m ( 0 ) = Bernoulli numbers;</p><p>E m ( z ) = Euler polynomials;</p><p>E m = 2 m E m ( 1 2 ) = Euler numbers;</p><p>Symbolic relation E m ( z ) = : ( E ( 0 ) + z ) m where E m ( 0 ) ≡ E m ( 0 ) ;</p><p>S m ( n ) = ∑ k = 0 n − 1 k m = Powers sums;</p><p>∑ k = 0 n − 1 ( − 1 ) k z m = Alternating sums of powers;</p><p>ζ ( 2 m ) = Euler-Riemann zeta function.</p></sec></body><back><ref-list><title>References</title><ref id="scirp.126610-ref1"><label>1</label><mixed-citation publication-type="other" xlink:type="simple">Famous Mathematicians—List of World Famous Mathematicians http://www.thefamouspeople.com</mixed-citation></ref><ref id="scirp.126610-ref2"><label>2</label><mixed-citation publication-type="other" xlink:type="simple">(2023) Leonhard Euler. Wikipedia. https://wikipedia.org/</mixed-citation></ref><ref id="scirp.126610-ref3"><label>3</label><mixed-citation publication-type="other" xlink:type="simple">(2023) Calculus. Wikipedia.</mixed-citation></ref><ref id="scirp.126610-ref4"><label>4</label><mixed-citation publication-type="other" xlink:type="simple">(2023) Leibniz–Newton Calculus Controversy. Wikipedia.</mixed-citation></ref><ref id="scirp.126610-ref5"><label>5</label><mixed-citation publication-type="other" xlink:type="simple">(2023) Shift Operator. Wikipedia.</mixed-citation></ref><ref id="scirp.126610-ref6"><label>6</label><mixed-citation publication-type="other" xlink:type="simple">Wolf, K.B. (2002) Integral Transforms in Science and Engineering. Springer, Berlin.</mixed-citation></ref><ref id="scirp.126610-ref7"><label>7</label><mixed-citation publication-type="other" xlink:type="simple">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</mixed-citation></ref><ref id="scirp.126610-ref8"><label>8</label><mixed-citation publication-type="other" xlink:type="simple">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</mixed-citation></ref><ref id="scirp.126610-ref9"><label>9</label><mixed-citation publication-type="book" xlink:type="simple">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.</mixed-citation></ref><ref id="scirp.126610-ref10"><label>10</label><mixed-citation publication-type="other" xlink:type="simple">(2023) Bernoulli Polynomials. Wikipedia.</mixed-citation></ref><ref id="scirp.126610-ref11"><label>11</label><mixed-citation publication-type="other" xlink:type="simple">Appell, P.E. (1880) Sur une classe de polyn&amp;#244;mes. Annales scientifiques de l’école Normale Supérieure, 9, 119-144. https://doi.org/10.24033/asens.186</mixed-citation></ref><ref id="scirp.126610-ref12"><label>12</label><mixed-citation publication-type="other" xlink:type="simple">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</mixed-citation></ref><ref id="scirp.126610-ref13"><label>13</label><mixed-citation publication-type="other" xlink:type="simple">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.</mixed-citation></ref><ref id="scirp.126610-ref14"><label>14</label><mixed-citation publication-type="other" xlink:type="simple">Do, T.S. (2016) Operator Calculus. Edification and Utilization. Lambert Academic Publishing, Saarbrücken. https://www.lap-publishing.com/.../978-3-659-9160</mixed-citation></ref><ref id="scirp.126610-ref15"><label>15</label><mixed-citation publication-type="other" xlink:type="simple">Coen, L.E.S. (1996) Sums of Powers and the Bernoulli Numbers. Master’s Thesis, Eastern Illinois University, Charleston.</mixed-citation></ref><ref id="scirp.126610-ref16"><label>16</label><mixed-citation publication-type="other" xlink:type="simple">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</mixed-citation></ref><ref id="scirp.126610-ref17"><label>17</label><mixed-citation publication-type="other" xlink:type="simple">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</mixed-citation></ref></ref-list></back></article>