Next Article in Journal
The Weighted Surplus Division Value for Cooperative Games
Next Article in Special Issue
Tribonacci Numbers and Some Related Interesting Identities
Previous Article in Journal
Fast Finger Vein Recognition Based on Sparse Matching Algorithm under a Multicore Platform for Real-Time Individuals Identification
Previous Article in Special Issue
Two Parametric Kinds of Eulerian-Type Polynomials Associated with Euler’s Formula
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

A Note on Degenerate Euler and Bernoulli Polynomials of Complex Variable

1
Department of Mathematics, Sogang University, Seoul 121-742, Korea
2
School of Science, Xi’an Technological University, Xi’an 710021, China
3
Department of Mathematics, Kwangwoon University, Seoul 139-701, Korea
*
Author to whom correspondence should be addressed.
Symmetry 2019, 11(9), 1168; https://doi.org/10.3390/sym11091168
Submission received: 10 August 2019 / Revised: 5 September 2019 / Accepted: 12 September 2019 / Published: 16 September 2019

Abstract

:
Recently, the so-called new type Euler polynomials have been studied without considering Euler polynomials of a complex variable. Here we study degenerate versions of these new type Euler polynomials. This has been done by considering the degenerate Euler polynomials of a complex variable. We also investigate corresponding ones for Bernoulli polynomials in the same manner. We derive some properties and identities for those new polynomials. Here we note that our result gives an affirmative answer to the question raised by the reviewer of the paper.

1. Introduction

The ordinary Bernoulli polynomials B n ( x ) and Euler polynomials E n ( x ) are respectively defined by
t e t 1 e x t = n = 0 B n ( x ) t n n ! ,
and
2 e t + 1 e x t = n = 0 E n ( x ) t n n ! ,
(see [1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20]).
For any nonzero λ R , the degenerate exponential function is defined by
e λ x ( t ) = ( 1 + λ t ) x λ , e λ ( t ) = e λ 1 ( t ) ,
(see [8]).
In [1,2], Carlitz considered the degenerate Bernoulli and Euler polynomials which are given by
t e λ ( t ) 1 e λ x ( t ) = t ( 1 + λ t ) 1 λ 1 ( 1 + λ t ) x λ = n = 0 β n , λ ( x ) t n n ! ,
and
2 e λ ( t ) + 1 e λ x ( t ) = 2 ( 1 + λ t ) 1 λ + 1 ( 1 + λ t ) x λ = n = 0 E n , λ ( x ) t n n ! .
Note that
lim λ 0 β n , λ ( x ) = B n ( x ) , lim λ 0 E n , λ ( x ) = E n ( x ) .
The falling factorial sequence is defined as
( x ) 0 = 1 , ( x ) n = x ( x 1 ) ( x n + 1 ) , ( n 1 ) ,
(see [17]).
The Stirling numbers of the first kind are defined by the coefficients in the expansion of ( x ) n in terms of powers of x as follows:
( x ) n = l = 0 n S ( 1 ) ( n , l ) x l ,
(see, [7,11,17]).
The Stirling numbers of the second kind are defined by
x n = l = 0 n S ( 2 ) ( n , l ) ( x ) l , ( n 0 ) ,
(see [9,10,17]).
In [9], the degenerate stirling numbers of the second kind are defined by
1 k ! e λ ( t ) 1 k = n = k S λ ( 2 ) ( n , k ) t n n ! , ( k 0 ) .
Note that lim λ 0 S λ ( 2 ) ( n , k ) = S ( 2 ) ( n , k ) , ( n , k 0 ) .
Recently, Masjed–Jamei, Beyki and Koepf introduced the new type Euler polynomials which are given by
2 e p t e t + 1 cos q t = n = 0 E n ( c ) ( p , q ) t n n ! ,
2 e p t e t + 1 sin q t = n = 0 E n ( s ) ( p , q ) t n n ! ,
(see [15]).
They also considered the cosine-polynomials and sine-polynomials defined by
e p t cos q t = n = 0 C n ( p , q ) t n n ! ,
and
e p t sin q t = n = 0 S n ( p , q ) t n n ! , ( see [ 15 ] ) .
In [15], the authors deduced many interesting identities and properties for those polynomials.
It is well known that
e i x = cos x + i sin x , where x R , i = 1 ,
(see [20]).
From (1) and (2), we note that
t e t 1 e ( x + i y ) t = n = 0 B n ( x + i y ) t n n ! ,
and
2 e t + 1 e ( x + i y ) t = n = 0 E n ( x + i y ) t n n ! .
By (14) and (15), we get
t e t 1 e x t cos y t = n = 0 B n ( x + i y ) + B n ( x i y ) 2 t n n ! = n = 0 B n ( c ) ( x , y ) t n n ! , t e t 1 e x t sin y t = n = 0 B n ( x + i y ) B n ( x i y ) 2 i t n n ! = n = 0 B n ( s ) ( x , y ) t n n ! , 2 e t + 1 e x t cos y t = n = 0 E n ( x + i y ) + E n ( x i y ) 2 t n n ! = n = 0 E n ( c ) ( x , y ) t n n ! ,
and
2 e t + 1 e x t sin y t = n = 0 E n ( x + i y ) E n ( x i y ) 2 i t n n ! = n = 0 E n ( s ) ( x , y ) t n n ! ,
(see [12]).
In view of (4) and (5), we study the degenerate Bernoulli and Euler polynomials with complex variables and investigate some identities and properties for those polynomials. The outline of this paper is as follows. In Section 1, we will briefly recall the degenerate Bernoulli and Euler polynomials of Carlitz and the degenerate Stirling numbers of the second kind. Then we will introduce the so-called the new type Euler polynomials, and the cosine-polynomials and sine-polynomials recently introduced in [15]. Then we indicate that the new type Euler polynomials and the corresponding Bernoulli polynomials can be expressed by considering Euler and Bernoulli polynomials of a complex variable and treating the real and imaginary parts separately. In Section 2, the degenerate cosine-polynomials and degenerate sine-polynomials were introduced and their explicit expressions were derived. The degenerate cosine-Euler polynomials and degenerate sine-Euler polynomials were expressed in terms of degenerate cosine-polynomials and degenerate sine-polynomials and vice versa. Further, some reflection identities were found for the degenerate cosine-Euler polynomials and degenerate sine-Euler polynomials. In Section 3, the degenerate cosine-Bernoulli polynomials and degenerate sine-Bernoulli polynomials were introduced. They were expressed in terms of degenerate cosine-polynomials and degenerate sine-polynomials and vice versa. Reflection symmetries were deduced for the degenerate cosine-Bernoulli polynomials and degenerate sine-Bernoulli polynomials.

2. Degenerate Euler Polynomials of Complex Variable

Here we will consider the degenerate Euler polynomials of complex variable and, by treating the real and imaginary parts separately, introduce the degenerate cosine-Euler polynomials and degenerate sine-Euler polynomials. They are degenerate versions of the new type Euler polynomials studied in [15].
The degenerate sine and cosine functions are defined by
cos λ t = e λ i ( t ) + e λ i ( t ) 2 , sin λ t = e λ i ( t ) e λ i ( t ) 2 i .
From (13), we note that
lim λ 0 cos λ t = cos t , lim λ 0 sin λ t = sin t .
By (5), we get
2 e λ ( t ) + 1 e λ x + i y ( t ) = n = 0 E n , λ ( x + i y ) t n n ! .
and
2 e λ ( t ) + 1 e λ x i y ( t ) = n = 0 E n , λ ( x i y ) t n n ! .
Now, we define the degenerate cosine and degenerate sine function as
cos λ ( y ) ( t ) = e λ i y ( t ) + e λ i y ( t ) 2 = cos y λ log ( 1 + λ t ) ,
sin λ ( y ) ( t ) = e λ i y ( t ) e λ i y ( t ) 2 i = sin y λ log ( 1 + λ t ) .
Note that lim λ 0 cos λ ( y ) ( t ) = cos y t , lim λ 0 sin λ ( y ) ( t ) = sin y t .
From (18) and (19), we note that
2 e λ ( t ) + 1 e λ x ( t ) cos λ ( y ) ( t ) = n = 0 E n , λ ( x + i y ) + E n , λ ( x i y ) 2 t n n ! ,
and
2 e λ ( t ) + 1 e λ x ( t ) sin λ ( y ) ( t ) = n = 0 E n , λ ( x + i y ) E n , λ ( x i y ) 2 i t n n ! .
In view of (9) and (10), we define the degenerate cosine-Euler polynomials and degenerate sine-Euler polynomials respectively by
2 e λ ( t ) + 1 e λ x ( t ) cos λ ( y ) ( t ) = n = 0 E n , λ ( c ) ( x , y ) t n n ! ,
and
2 e λ ( t ) + 1 e λ x ( t ) sin λ ( y ) ( t ) = n = 0 E n , λ ( s ) ( x , y ) t n n ! .
Note that lim λ 0 E n , λ ( c ) ( x , y ) = E n ( c ) ( x , y ) , lim λ 0 E n , λ ( s ) ( x , y ) = E n ( s ) ( x , y ) , ( n 0 ) , where E n ( c ) ( x , y ) and E n ( s ) ( x , y ) are the new type of Euler polynomials of Masjed-Jamei, Beyki and Koepf (see [15]).
From (22)–(25), we note that
E n , λ ( c ) ( x , y ) = E n , λ ( x + i y ) + E n , λ ( x i y ) 2 ,
and
E n , λ ( s ) ( x , y ) = E n , λ ( x + i y ) E n , λ ( x i y ) 2 i , ( n 0 ) .
We recall here that the generalized falling factorial sequence is defined by
( x ) 0 , λ = 1 , ( x ) n , λ = x ( x λ ) ( x 2 λ ) ( x ( n 1 ) λ ) , ( n 1 ) .
Note that lim λ 1 ( x ) n , λ = ( x ) n , lim λ 0 ( x ) n , λ = x n .
We observe that
e λ i y ( t ) = ( 1 + λ t ) i y λ = e i y λ log ( 1 + λ t ) = k = 0 i y λ k 1 k ! log ( 1 + λ t ) k = k = 0 λ k ( i y ) k n = k S ( 1 ) ( n , k ) λ n n ! t n = n = 0 k = 0 n λ n k i k y k S ( 1 ) ( n , k ) t n n ! .
From (20), we can derive the following equation.
cos λ ( y ) ( t ) = e λ i y ( t ) + e λ i y ( t ) 2 = 1 2 n = 0 k = 0 n λ n k ( i k + ( i ) k ) y k S ( 1 ) ( n , k ) t n n ! = n = 0 k = 0 [ n 2 ] λ n 2 k ( 1 ) k y 2 k S ( 1 ) ( n , 2 k ) t n n ! = k = 0 n = 2 k λ n 2 k ( 1 ) k y 2 k S ( 1 ) ( n , 2 k ) t n n ! .
Note that
lim λ 0 cos λ ( y ) ( t ) = k = 0 ( 1 ) k y 2 k t 2 k ( 2 k ) ! = cos y t .
By (21), we get
sin λ ( y ) ( t ) = e λ i y ( t ) e λ i y ( t ) 2 i = 1 2 i n = 0 k = 0 n λ n k ( i k ( i ) k ) y k S ( 1 ) ( n , k ) t n n ! = n = 1 k = 0 [ n 1 2 ] λ n 2 k 1 ( 1 ) k y 2 k + 1 S ( 1 ) ( n , 2 k + 1 ) t n n ! = k = 0 n = 2 k + 1 ( 1 ) k λ n 2 k 1 S ( 1 ) ( n , 2 k + 1 ) t n n ! y 2 k + 1 ,
where [ x ] denotes the greatest integer x .
Note that
lim λ 0 sin λ ( y ) ( t ) = k = 0 ( 1 ) k y 2 k + 1 t 2 k + 1 ( 2 k + 1 ) ! = sin ( y t ) .
From (18), we note that
n = 0 E n , λ ( x + i y ) t n n ! = 2 e λ ( t ) + 1 e λ x ( t ) · e λ i y ( t ) = l = 0 E l , λ ( x ) t l l ! j = 0 ( i y ) j , λ t j j ! = n = 0 l = 0 n n l ( i y ) n l , λ E l , λ ( x ) t n n ! .
On the other hand
2 e λ ( t ) + 1 e λ x + i y ( t ) = n = 0 E l , λ t l l ! j = 0 ( x + i y ) j , λ t j j ! = n = 0 l = 0 n n l ( x + i y ) n l , λ E l , λ t n n ! .
Therefore, by (31) and (32), we obtain the following theorem,
Theorem 1.
For n 0 , we have
E n , λ ( x + i y ) = l = 0 n n l ( i y ) n l , λ E l , λ ( x ) = l = 0 n n l ( x + i y ) n l , λ E l , λ .
Also, we have
E n , λ ( x i y ) = l = 0 n n l ( 1 ) n l i y n l , λ E l , λ ( x ) = l = 0 n n l ( 1 ) n l i y x n l , λ E l , λ ,
where x 0 , λ = 1 , x n , λ = x ( x + λ ) ( x + λ ( n 1 ) ) , ( n 1 ) .
By (29), we get
e λ x ( t ) cos λ ( y ) ( t ) = l = 0 ( x ) l , λ t l l ! m = 0 k = 0 [ m 2 ] λ m 2 k ( 1 ) k y 2 k S ( 1 ) ( m , 2 k ) t m m !
= n = 0 m = 0 n k = 0 [ m 2 ] n m λ m 2 k ( 1 ) k y 2 k S ( 1 ) ( m , 2 k ) ( x ) n m , λ t n n ! ,
and
e λ x ( t ) sin λ ( y ) ( t ) = l = 0 ( x ) λ , l t l l ! m = 1 k = 0 [ m 1 2 ] λ m 2 k 1 ( 1 ) k y 2 k + 1 S ( 1 ) ( m , 2 k + 1 ) t m m !
= n = 1 m = 1 n k = 0 [ m 1 2 ] n m λ m 2 k 1 ( 1 ) k y 2 k + 1 S ( 1 ) ( m , 2 k + 1 ) ( x ) n m , λ t n n ! .
Now, we define the degenerate cosine-polynomials and degenerate sine-polynomials respectively by
e λ x ( t ) cos λ ( y ) ( t ) = k = 0 C k , λ ( x , y ) t k k ! ,
and
e λ x ( t ) sin λ ( y ) ( t ) = k = 0 S k , λ ( x , y ) t k k ! .
Note that
lim λ 0 C k , λ ( x , y ) = C k ( x , y ) , lim λ 0 S k , λ ( x , y ) = S k ( x , y ) ,
where C k ( x , y ) and S k ( x , y ) are the cosine-polynomials and sine-polynomials of Masijed–Jamei, Beyki and Koepf.
Therefore, by (33)–(36), we obtain the following theorem.
Theorem 2.
For n 0 , we have
C n , λ ( x , y ) = m = 0 n k = 0 [ m 2 ] n m λ m 2 k ( 1 ) k y 2 k S ( 1 ) ( m , 2 k ) ( x ) n m , λ = k = 0 [ n 2 ] m = 2 k n n m λ m 2 k ( 1 ) k y 2 k S ( 1 ) ( m , 2 k ) ( x ) n m , λ .
Also, for n N , we have
S n , λ ( x , y ) = m = 1 n k = 0 [ m 1 2 ] n m λ m 2 k 1 ( 1 ) k y 2 k + 1 S ( 1 ) ( m , 2 k + 1 ) ( x ) n m , λ = k = 0 [ n 1 2 ] m = 2 k + 1 n n m λ m 2 k 1 ( 1 ) k y 2 k + 1 S ( 1 ) ( m , 2 k + 1 ) ( x ) n m , λ .
and S 0 , λ ( x , y ) = 0 .
From (24), we note that
n = 0 E n , λ ( c ) ( x , y ) t n n ! = 2 e λ ( t ) + 1 e λ x ( t ) cos λ ( y ) ( t ) = m = 0 E m , λ t m m ! l = 0 C l , λ ( x , y ) t l l ! = n = 0 m = 0 n n m E m , λ C n m , λ ( x , y ) t n n ! .
On the other hand,
2 e λ ( t ) + 1 e λ x ( t ) cos λ ( y ) ( t ) = m = 0 E m , λ ( x ) t m m ! l = 0 k = 0 [ l 2 ] λ l 2 k ( 1 ) k y 2 k S ( 1 ) ( l , 2 k ) t l l ! = n = 0 l = 0 n k = 0 [ l 2 ] n l λ l 2 k ( 1 ) k y 2 k S ( 1 ) ( l , 2 k ) E n l , λ ( x ) t n n ! = n = 0 k = 0 [ n 2 ] l = 2 k n n l λ l 2 k ( 1 ) k y 2 k S ( 1 ) ( l , 2 k ) E n l , λ ( x ) t n n ! .
By (30), we get
2 e λ ( t ) + 1 e λ x ( t ) sin λ ( y ) ( t ) = m = 0 E m , λ ( x ) t m m ! l = 1 n k = 0 [ l 1 2 ] ( 1 ) k λ l 2 k 1 y 2 k + 1 S ( 1 ) ( l , 2 k + 1 ) t l l ! = n = 1 l = 1 n k = 0 [ l 1 2 ] n l λ l 2 k 1 ( 1 ) k y 2 k + 1 S ( 1 ) ( l , 2 k + 1 ) E n l , λ ( x ) t n n ! = n = 1 k = 0 [ n 1 2 ] l = 2 k + 1 n n l λ l 2 k 1 ( 1 ) k y 2 k + 1 S ( 1 ) ( l , 2 k + 1 ) E n l , λ ( x ) t n n ! .
Therefore, by (24), (25), and (37)–(39), we obtain the following theorem.
Theorem 3.
For n 0 , we have
E n , λ ( c ) ( x , y ) = k = 0 n n k E k , λ C n k , λ ( x , y ) = k = 0 [ n 2 ] l = 2 k n n l λ l 2 k ( 1 ) k y 2 k S ( 1 ) ( l , 2 k ) E n l , λ ( x ) .
Also, for n N , we obtain
E n , λ ( s ) ( x , y ) = k = 0 n n k E k , λ S n k , λ ( x , y ) = k = 0 [ n 1 2 ] l = 2 k + 1 n n l λ l 2 k 1 ( 1 ) k y 2 k + 1 S ( 1 ) ( l , 2 k + 1 ) E n l , λ ( x ) .
By (24), we get
2 e λ x ( t ) cos λ ( y ) ( t ) = l = 0 E l , λ ( c ) ( x , y ) t l l ! ( e λ ( t ) + 1 ) = l = 0 E l , λ ( c ) ( x , y ) t l l ! m = 0 ( 1 ) m , λ t m m ! + n = 0 E n , λ ( c ) ( x , y ) t n n ! = n = 0 l = 0 n n l ( 1 ) n l , λ E l , λ ( c ) ( x , y ) + E n , λ ( c ) ( x , y ) t n n ! .
Therefore by comparing the coefficients on both sides of (35) and (40), we obtain the following theorem.
Theorem 4.
For n 0 , we have
C n , λ ( x , y ) = 1 2 l = 0 n n l ( 1 ) n l , λ E l , λ ( c ) ( x , y ) + E n , λ ( c ) ( x , y ) ,
and
S n , λ ( x , y ) = 1 2 l = 0 n n l ( 1 ) n l , λ E l , λ ( s ) ( x , y ) + E n , λ ( s ) ( x , y ) .
From (24), we have
n = 0 E n , λ ( c ) ( x + r , y ) t n n ! = 2 e λ ( t ) + 1 e λ x + r ( t ) cos λ ( y ) ( t ) = 2 e λ ( t ) + 1 e λ x ( t ) cos λ ( y ) ( t ) e λ r ( t ) = l = 0 E l , λ ( c ) ( x , y ) t l l ! m = 0 ( r ) m , λ t m m ! = n = 0 l = 0 n n l E l , λ ( c ) ( x , y ) ( r ) n l , λ t n n ! .
Therefore, by comparing the coefficients on both sides of (41), we obtain the following proposition.
Proposition 1.
For n 0 , we have
E n , λ ( c ) ( x + r , y ) = l = 0 n n l E l , λ ( c ) ( x , y ) ( r ) n l , λ ,
and
E n , λ ( s ) ( x + r , y ) = l = 0 n n l E l , λ ( s ) ( x , y ) ( r ) n l , λ ,
where r is a fixed real (or complex) number.
Now, we consider the reflection symmetric identities for the degenerate cosine-Euler polynomials.
By (24), we get
n = 0 E n , λ ( c ) ( 1 x , y ) t n n ! = 2 e λ ( t ) + 1 e λ 1 x ( t ) cos λ ( y ) ( t ) = 2 1 + e λ 1 ( t ) e λ x ( t ) cos λ ( y ) ( t ) = 2 e λ ( t ) + 1 e λ x ( t ) cos λ ( y ) ( t ) = n = 0 E n , λ ( c ) ( x , y ) ( 1 ) n t n n ! ,
and
n = 0 E n , λ ( s ) ( 1 x , y ) t n n ! = 2 e λ ( t ) + 1 e λ 1 x ( t ) sin λ ( y ) ( t ) = 2 1 + e λ 1 ( t ) e λ x ( t ) sin λ ( y ) ( t ) = 2 e λ ( t ) + 1 e λ x ( t ) sin λ ( y ) ( t ) = n = 0 E n , λ ( s ) ( x , y ) ( 1 ) n t n n ! .
Therefore, by (42) and (43), we obtain the following theorem.
Theorem 5.
For n 0 , we have
E n , λ ( c ) ( 1 x , y ) = ( 1 ) n E n , λ ( c ) ( x , y ) ,
and
E n , λ ( s ) ( 1 x , y ) = ( 1 ) n + 1 E n , λ ( s ) ( x , y ) ,
Now, we observe that
n = 0 E n , λ ( c ) ( x , y ) t n n ! = 2 e λ ( t ) + 1 ( e λ ( t ) 1 + 1 ) x cos λ ( y ) ( t ) = 2 e λ ( t ) + 1 l = 0 x l ( e λ ( t ) 1 ) l cos λ ( y ) ( t ) = 2 e λ ( t ) + 1 cos λ ( y ) ( t ) l = 0 ( x ) l k = l S λ ( 2 ) ( k , l ) t k k ! = j = 0 E j , λ ( c ) ( y ) t j j ! k = 0 l = 0 k ( x ) l S λ ( 2 ) ( k , l ) t k k ! = n = 0 k = 0 n l = 0 k n k ( x ) l S λ ( 2 ) ( k , l ) E n k ( c ) ( y ) t n n ! .
Therefore, by (44), we obtain the following theorem.
Theorem 6.
For n 0 , we have
E n , λ ( c ) ( x , y ) = k = 0 n l = 0 k n l ( x ) l S λ ( 2 ) ( k , l ) E n k , λ ( c ) ( y ) .
Also, for n N , we have
E n , λ ( s ) ( x , y ) = k = 0 n l = 0 k n k ( x ) l S λ ( 2 ) ( k , l ) E n k , λ ( s ) ( y ) .

3. Degenerate Bernoulli Polynomials of Complex Variable

In this section, we will consider the degenerate Bernoulli polynomials of complex variable and, by treating the real and imaginary parts separately, introduce the degenerate cosine-Bernoulli polynomials and degenerate sine-Bernoulli polynomials.
From (4), we have
t e λ ( t ) 1 e λ x + i y ( t ) = n = 0 β n , λ ( x + i y ) t n n ! ,
and
t e λ ( t ) 1 e λ x i y = n = 0 β n , λ ( x i y ) t n n ! .
Thus, by (45) and (46), we get
n = 0 β n , λ ( x + i y ) + β n , λ ( x i y ) t n n ! = 2 t e λ ( t ) 1 e λ x ( t ) cos λ ( y ) ( t ) ,
and
n = 0 β n , λ ( x + i y ) β n , λ ( x i y ) t n n ! = 2 i t e λ ( t ) 1 e λ x ( t ) sin λ ( y ) ( t ) .
In view of (24) and (25), we define the degenerate cosine-Bernoulli polynomials and degenerate sine-Bernoulli polynomials respectively by
t e λ ( t ) 1 e λ x ( t ) cos λ ( y ) ( t ) = n = 0 β n , λ ( c ) ( x , y ) t n n ! ,
and
t e λ ( t ) 1 e λ x ( t ) sin λ ( y ) ( t ) = n = 0 β n , λ ( s ) ( x , y ) t n n ! .
Note that β 0 , λ ( s ) ( x , y ) = 0 .
From (47)–(50), we have
β n , λ ( c ) ( x , y ) = β n , λ ( x + i y ) + β n , λ ( x i y ) 2 ,
and
β n , λ ( s ) ( x , y ) = β n , λ ( x + i y ) β n , λ ( x i y ) 2 i , ( n 0 ) .
Note that
lim λ 0 β n , λ ( c ) ( x , y ) = B n ( c ) ( x , y ) , lim λ 0 β n , λ ( s ) ( x , y ) = B n ( s ) ( x , y ) ,
where B n ( c ) ( x , y ) , B n ( s ) ( x , y ) are cosine-Bernoulli polynomials, and sine-Bernoulli polynomials (see [12,16]).
By (49), we get
n = 0 β n , λ ( c ) ( x , y ) t n n ! = t e λ ( t ) 1 e λ x ( t ) cos λ ( y ) ( t ) = l = 0 β l , λ t l l ! m = 0 C m , λ ( x , y ) t m m ! = n = 0 l = 0 n n l β l , λ C n l , λ ( x , y ) t n n ! .
On the other hand,
t e λ ( t ) 1 e λ x ( t ) cos λ ( y ) ( t ) = m = 0 β m , λ ( x ) t m m ! l = 0 n k = 0 [ l 2 ] λ l 2 k ( 1 ) k y 2 k S ( 1 ) ( l , 2 k ) t l l ! = n = 0 l = 0 n k = 0 [ l 2 ] n l λ l 2 k ( 1 ) k y 2 k S ( 1 ) ( l , 2 k ) β n l , λ ( x ) t n n ! = n = 0 k = 0 [ n 2 ] l = 2 k n n l λ l 2 k ( 1 ) k y 2 k S ( 1 ) ( l , 2 k ) β n l , λ ( x ) t n n ! .
Therefore, by (53) and (54), we obtain the following theorem.
Theorem 7.
For n 0 , we have
β n , λ ( c ) ( x , y ) = k = 0 n n k β k , λ C n k , λ ( x , y ) = k = 0 [ n 2 ] l = 2 k n n l λ l 2 k ( 1 ) k y 2 k S ( 1 ) ( l , 2 k ) β n l , λ ( x ) .
Also, for n N , we have
β n , λ ( s ) ( x , y ) = k = 0 n n k β k , λ S n k , λ ( x , y ) = k = 0 [ n 1 2 ] l = 2 k + 1 n n l λ l 2 k 1 ( 1 ) k y 2 k + 1 S ( 1 ) ( l , 2 k + 1 ) β n l , λ ( x ) .
and
β 0 , λ ( s ) ( x , y ) = 0 .
From (49), we have
n = 0 β n , λ ( c ) ( 1 x , y ) t n n ! = t 1 e λ 1 ( t ) e λ x ( t ) cos λ ( y ) ( t ) = t e λ ( t ) 1 e λ x ( t ) cos λ ( y ) ( t ) = n = 0 β n , λ ( c ) ( x , y ) ( 1 ) n n ! t n .
Therefore, by (55), we obtain the following theorem.
Theorem 8.
For n 0 , we have
β n , λ ( c ) ( 1 x , y ) = ( 1 ) n β n , λ ( c ) ( x , y ) ,
and
β n , λ ( s ) ( 1 x , y ) = ( 1 ) n + 1 β n , λ ( s ) ( x , y ) .
By (49), we easily get
n = 0 β n , λ ( c ) ( x + r , y ) t n n ! = t e λ ( t ) 1 e λ x + r ( t ) cos λ ( y ) ( t ) = t e λ ( t ) 1 e λ x ( t ) cos λ ( y ) ( t ) e λ r ( t ) = l = 0 β l , λ ( c ) ( x , y ) t l l ! m = 0 ( r ) m , λ t m m ! = n = 0 l = 0 n n l β l , λ ( c ) ( x , y ) ( r ) n l , λ t n n ! .
By comparing the coefficients on both sides of (56), we get
β n λ ( c ) ( x + r , y ) = l = 0 n n l β l , λ ( c ) ( x , y ) ( r ) n l , λ ,
and
β n , λ ( s ) ( x + r , y ) = l = 0 n n l β l , λ ( s ) ( x , y ) ( r ) n l , λ ,
where r is a fixed real (or complex) number.
From (49), we note that
t e λ x ( t ) cos λ ( y ) ( t ) = l = 0 β l , λ ( c ) ( x , y ) t l l ! ( e λ ( t ) 1 ) = l = 0 β l , λ ( c ) ( x , y ) t l l ! m = 0 ( 1 ) m , λ t m m ! n = 0 β n , λ ( c ) ( x , y ) t n n ! = n = 0 l = 0 n n l β l , λ ( c ) ( x , y ) ( 1 ) n l , λ β n , λ ( c ) ( x , y ) t n n ! = n = 1 β n , λ ( c ) ( x + 1 , y ) β n , λ ( c ) ( x , y ) t n n ! = n = 0 β n + 1 , λ ( c ) ( x + 1 , y ) β n + 1 , λ ( c ) ( x , y ) n + 1 t n + 1 n ! .
By (59), we get
n = 0 β n + 1 , λ ( c ) ( x + 1 , y ) β n + 1 , λ ( c ) ( x , y ) n + 1 t n n ! = e λ x ( t ) cos λ ( y ) ( t ) = n = 0 C n , λ ( x , y ) t n n ! .
Therefore, by comparing the coefficients on both sides of (60), we obtain the following theorem.
Theorem 9.
For n 0 , we have
C n , λ ( x , y ) = 1 n + 1 β n + 1 , λ ( c ) ( x + 1 , y ) β n + 1 , λ ( c ) ( x , y ) ,
and
S n , λ ( x , y ) = 1 n + 1 β n + 1 , λ ( s ) ( x + 1 , y ) β n + 1 , λ ( s ) ( x , y ) .
Corollary 1.
For n 1 , we have
C n , λ ( x , y ) = 1 n + 1 l = 0 n n + 1 l β l , λ ( c ) ( x , y ) ( 1 ) n + 1 l , λ ,
and
S n , λ ( x , y ) = 1 n + 1 l = 0 n n + 1 l β l , λ ( s ) ( x , y ) ( 1 ) n + 1 l , λ .
When x = 0 , let β n , λ ( c ) ( 0 , y ) = β n , λ ( c ) ( y ) , β n , λ ( s ) ( 0 , y ) = β n , λ ( s ) ( y ) , E n , λ ( c ) ( 0 , y ) = E n , λ ( c ) ( y ) , and
E n , λ ( s ) ( 0 , y ) = E n , λ ( s ) ( y ) .
For n 0 , we have
β n , λ ( c ) ( y ) = k = 0 [ n 2 ] l = 2 k n n l λ l 2 k ( 1 ) k y 2 k S ( 1 ) ( l , 2 k ) β n l , λ .
Also, for n N , we get
β n , λ ( s ) ( y ) = k = 0 [ n 1 2 ] l = 2 k + 1 n n l λ l 2 k 1 ( 1 ) k y 2 k + 1 S ( 1 ) ( l , 2 k + 1 ) β n l , λ .
By (49), we get
n = 0 β n , λ ( c ) ( x , y ) t n n ! = t e λ ( t ) 1 cos λ ( y ) ( t ) e λ ( t ) 1 + 1 x = m = 0 β m , λ ( c ) ( y ) t m m ! l = 0 ( x ) l k = l S λ ( 2 ) ( k , l ) t k k ! = m = 0 β m , λ ( c ) ( y ) t m m ! k = 0 l = 0 k ( x ) l S λ ( 2 ) ( k , l ) t k k ! = n = 0 k = 0 n l = 0 k n k ( x ) l S λ ( 2 ) ( k , l ) β n k , λ ( c ) ( y ) t n n ! .
Comparing the coefficients on both sides of (63), we have
β n , λ ( c ) ( x , y ) = k = 0 n l = 0 k n k ( x ) l S λ ( 2 ) ( k , l ) β n k , λ ( c ) ( y ) .
Also, for n N , we get
β n , λ ( s ) ( x , y ) = k = 0 n l = 0 k n k ( x ) l S λ ( 2 ) ( k , l ) β n k , λ ( s ) ,
and
β 0 , λ ( s ) ( x , y ) = 0 .

4. Conclusions

In [15], the authors introduced the so-called the new type Euler polynomials by means of generating functions (see (9) and (10)) and deduced several properties and identities for these polynomials. Hacène Belbachir, the reviewer of the paper [15], asked the following question in Mathematical Reviews (MR3808565) of the American Mathematical Society: Is it possible to obtain their results by considering the classical Euler polynomials of complex variable z, and treating the real part and the imaginary part separately?
Our result gives an affirmative answer to the question (see (16)). In this paper, we considered the degenerate Euler and Bernoulli polynomials of a complex variable and, by treating the real and imaginary parts separately, were able to introduce degenerate cosine-Euler polynomials, degenerate sine-Euler polynomials, degenerate cosine-Bernoulli polynomials, and degenerate sine-Bernoulli polynomials. They are degenerate versions of the new type Euler polynomials studied by Masjed–Jamei, Beyki and Koepf [15] and of the ’new type Bernoulli polynomials.’
In Section 2, the degenerate cosine-polynomials and degenerate sine-polynomials were introduced and their explicit expressions were derived. The degenerate cosine-Euler polynomials and degenerate sine-Euler polynomials were expressed in terms of degenerate cosine-polynomials and degenerate sine-polynomials and vice versa. Further, some reflection identities were found for the degenerate cosine-Euler polynomials and degenerate sine-Euler polynomials. In Section 3, the degenerate cosine-Bernoulli polynomials and degenerate sine-Bernoulli polynomials were introduced. They were expressed in terms of degenerate cosine-polynomials and degenerate sine-polynomials and vice versa. Reflection symmetries were deduced for the degenerate cosine-Bernoulli polynomials and degenerate sine-Bernoulli polynomials. Further, some expressions involving the degenerate Stirling numbers of the second kind were derived for them.
It was Carlitz [1,2] who initiated the study of degenerate versions of some special polynomials, namely the degenerate Bernoulli and Euler polynomials. Studying degenerate versions of some special polynomials and numbers have turned out to be very fruitful and promising (see [3,5,6,7,8,9,10,11,13,14,19] and references therein). In fact, this idea of considering degenerate versions of some special polynomials are not limited just to polynomials but can be extended even to transcendental functions like gamma functions [8].

Author Contributions

All authors contributed equally to the manuscript and typed, read, and approved the final manuscript.

Funding

There are no research grants.

Acknowledgments

The authors would like to thank the referees for their valuable comments and suggestions.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Carlitz, L. Degenerate Stirling, Bernoulli and Eulerian numbers. Utilitas Math. 1979, 15, 51–88. [Google Scholar]
  2. Carlitz, L. A degenerate Staud-Clausen theorem. Arch. Math. 1956, 7, 28–33. [Google Scholar] [CrossRef]
  3. Dolgy, D.V.; Kim, T. Some explicit formulas of degenerate Stirling numbers associated with the degenerate special numbers and polynomials. Proc. Jangjeon Math. Soc. 2018, 21, 309–317. [Google Scholar]
  4. Haroon, H.; Khan, W.A. Degenerate Bernoulli numbers and polynomials associated with degenerate Hermite polynomials. Commum Korean Math. Soc. 2018, 33, 651–669. [Google Scholar]
  5. Jang, G.-W.; Kim, T.; Kwon, H.-I. On the extension of degenerate Stirling polynomials of the second kind and degenerate Bell polynomials. Adv. Stud. Contemp. Math. 2018, 28, 305–316. [Google Scholar]
  6. Kim, D.S.; Kim, T. A note on polyexponential and unipoly functions. Russ. J. Math. Phys. 2019, 26, 40–49. [Google Scholar] [CrossRef]
  7. Kim, T.; Jang, G.-W. A note on degenerate gamma function and degenerate Stirling number of the second kind. Adv. Stud. Contemp. Math. 2018, 28, 207–214. [Google Scholar]
  8. Kim, T.; Kim, D.S. Degenerate Laplace transform and degenerate gamma function. Russ. J. Math. Phys. 2017, 24, 241–248. [Google Scholar] [CrossRef] [Green Version]
  9. Kim, T. A note on degenerate Stirling polynomials of the second kind. Proc. Jangjeon Math. Soc. 2017, 20, 319–331. [Google Scholar]
  10. Kim, T.; Yao, Y.; Kim, D.S.; Jang, G.-W. Degenerate r-Stirling numbers and r-Bell polynomials. Russ. J. Math. Phys. 2018, 25, 44–58. [Google Scholar] [CrossRef]
  11. Kim, T.; Kim, D.S.; Kwon, H.-I. A note on degenerate Stirling numbers and their applications. Proc. Jangjeon Math. Soc. 2018, 21, 195–203. [Google Scholar]
  12. Kim, T.; Ryoo, C.S. Some identities for Euler and Bernoulli polynomials and their zeros. Axioms 2018, 7, 56. [Google Scholar] [CrossRef]
  13. Lee, J.G.; Jang, L.-C. On modified degenerate Carlitz q-Bernoulli numbers and polynomials. Adv. Differ. Equ. 2017, 2017, 22. [Google Scholar] [CrossRef]
  14. Lee, J.G.; Kwon, J. The modified degenerate q-Bernoulli polynomials arising from p-adic invariant integral on ℤp. Adv. Difference Equ. 2017, 2017, 29. [Google Scholar] [CrossRef]
  15. Masjed-Jamei, M.; Beyki, M.R.; Koepf, W. A new type of Euler polynomials and numbers. Mediterr. J. Math. 2018, 15, 138. [Google Scholar] [CrossRef]
  16. Masjed-Jamei, M.; Beyki, M.R.; Koepf, W. An extension of the Euler-Maclauin quadrature formula using a parametric type of Bernoulli polynomials. 2019, in press. [Google Scholar]
  17. Roman, S. The umbral calculus. In Pure and Applied Mathematics; Academic Press, Inc. [Harcourt Brace Jovanovich, Publishers]: New York, NY, USA.
  18. Simsek, Y. Identities on the Changhee numbers and Apostol-type Daehee polynomials. Adv. Stud. Contemp. Math. 2017, 27, 199–212. [Google Scholar]
  19. Zhang, Z.; Yang, J. On sums of products of the degenerate Bernoulli numbers. Integral Transforms Spec. Funct. 2009, 20, 751–755. [Google Scholar] [CrossRef]
  20. Zill, D.G.; Cullen, M.R. Advanced Engineering Mathematics; Jones and Barrtlett: Mississauga, ON, Canada, 2006. [Google Scholar]

Share and Cite

MDPI and ACS Style

Kim, D.S.; Kim, T.; Lee, H. A Note on Degenerate Euler and Bernoulli Polynomials of Complex Variable. Symmetry 2019, 11, 1168. https://doi.org/10.3390/sym11091168

AMA Style

Kim DS, Kim T, Lee H. A Note on Degenerate Euler and Bernoulli Polynomials of Complex Variable. Symmetry. 2019; 11(9):1168. https://doi.org/10.3390/sym11091168

Chicago/Turabian Style

Kim, Dae San, Taekyun Kim, and Hyunseok Lee. 2019. "A Note on Degenerate Euler and Bernoulli Polynomials of Complex Variable" Symmetry 11, no. 9: 1168. https://doi.org/10.3390/sym11091168

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop