Properties of Partially Degenerate Complex Appell Polynomials

Abstract

Degenerate versions of polynomial sequences have been recently studied to obtain useful properties such as symmetric identities by introducing degenerate exponential-type generating functions. As part of our continued work in degenerate versions of generating functions, we subsequently present our study on degenerate complex Appell polynomials by considering a partially degenerate version of the generating functions of ordinary complex Appell polynomials in this paper. We only consider partially degenerate generating functions to retain the crucial properties of the Appell sequence, and we present useful identities and general properties by splitting complex values into their real and imaginary parts; moreover, we provide several explicit examples. Additionally, the differential equations satisfied by degenerate complex Bernoulli and Euler polynomials are derived by the quasi-monomiality principle using Appell-type polynomials.

1. Introduction

Appell polynomials are one of the largest class of polynomials. The classical Appell polynomials comprise the Bernoulli, Euler, Appell-Hermite, generalized Bernoulli, and generalized Euler polynomials, as well as other examples in [1,2,3,4].

The sequence of Appell polynomials ${\{A_n(x)\}}_{n=0}^{\infty }$ is defined by either of the following identities:

(i)

$$\frac{d}{dx}{A}_n(x)=n{A}_{n-1}(x),A_0(x)\ne 0,n\in \mathbb{N},$$

(ii)

$$A(t)e^{xt}={\displaystyle \sum _{n=0}^{\infty }}{A}_n(x)\frac{t^n}{n!},A(t)={\displaystyle \sum _{n=0}^{\infty }}{a}_n\frac{t^n}{n!}(a_0\ne 0),$$

where $a_n:=A_n(0)$ denotes the Appell numbers.

According to the alternative definition in [3], the sequence of Appell polynomials ${\{A_n(x)\}}_{n=0}^{\infty }$ for $g(t)$ can be equivalently defined by

$$\frac{1}{g(t)}{e}^{xt}={\displaystyle \sum _{n=0}^{\infty }}{A}_n(x)\frac{t^n}{n!},A_0(x)\ne 0,$$

(1)

where the generating function satisfies $g(t)=\frac{1}{A(t)}$, and thus (1) is identical to (ii).

Appell polynomials appear in various problems in pure and applied mathematics related to differential equations, approximation theory, interpolation, and summation methods. More examples may be found in [1,2,5,6] (and references therein). Moreover, in theoretical applications, degenerate versions of Appell polynomials ${\{A_n(z;\lambda )\}}_{n=0}^{\infty }$ of a complex variable $z\in ℂ$ have been extensively studied [7,8,9,10,11]. These polynomials are defined by the generating functions

$$\frac{1}{g_{\lambda }(t)}{e}_{\lambda }^z(t)={\displaystyle \sum _{n=0}^{\infty }}{A}_n(z;\lambda )\frac{t^n}{n!},\lambda \in ℝ\backslash \{0\},$$

where $g_{\lambda }(t)$ and $e_{\lambda }^z(t)$ are obtained from the degenerate exponential functions. That is, the exponential functions $e^t$ and $e^{zt}$ are replaced by $e_{\lambda }(t)$ and $e_{\lambda }^z(t)$, respectively:

$$e_{\lambda }(t):=e_{\lambda }^1(t):=e^{t_{\lambda }}={(1+\lambda t)}^{\frac{1}{\lambda }},e_{\lambda }^z(t):=e^{z{t}_{\lambda }}={(1+\lambda t)}^{\frac{z}{\lambda }},t_{\lambda }:=\frac{1}{\lambda }log(1+\lambda t),\lambda \in ℝ\backslash \{0\}.$$

Here, it is noted that $\underset{\lambda \to 0}{lim}{e}_{\lambda }^z(t)=e^{zt}$ and $\underset{\lambda \to 0}{lim}{g}_{\lambda }(t)=g(t)$, because $t_{\lambda }\to t$ as $\lambda \to 0$. Since Carlitz in [12,13] introduced degenerate formulas for special numbers and polynomials, the degenerate complex Appell polynomials have been extensively studied to find useful properties and identities. Specifically, degenerate Bernoulli and Euler polynomials of complex variables were introduced in [12], whereas degenerate gamma functions and Laplace transforms were introduced in [14], and their modifications in [9]. The study of degenerate versions of known special numbers and polynomials provides several useful identities and related properties. Although the original sequence ${\{A_n(z)\}}_{n=0}^{\infty }$ satisfies conditions (i) and (ii), the sequence ${\{A_n(z;\lambda )\}}_{n=0}^{\infty }$ of degenerate polynomials no longer satisfies these conditions.

To retain the crucial properties of the Appell sequence, we introduce a new type of degenerate Appell polynomials, which are obtained by partially degenerate generating functions. Some examples are provided in

Table 1. List of some degenerate complex Appell polynomials.

Degenerate Appell Polynomials	Degenerate Generating Functions	${\mathit{g}}_{\mathit{\lambda }}(\mathit{t})$
Degenerate Euler polynomials	$\frac{2}{e_{\lambda }(t)+1}{e}^{zt}={\displaystyle \sum _{n=0}^{\infty }}{E}_{n,\lambda }(z)\frac{t^n}{n!}$	$g_{\lambda }(t)=\frac{e_{\lambda }(t)+1}{2}$
Degenerate Bernoulli polynomials	$\frac{t}{e_{\lambda }(t)-1}{e}^{zt}={\displaystyle \sum _{n=0}^{\infty }}{B}_{n,\lambda }(z)\frac{t^n}{n!}$	$g_{\lambda }(t)=\frac{e_{\lambda }(t)-1}{t}$
Type 2 degenerate Euler polynomials	$\frac{2}{e_{\lambda }^{\frac{1}{2}}(t)+e_{\lambda }^{-\frac{1}{2}}(t)}{e}^{zt}={\displaystyle \sum _{n=0}^{\infty }}{E}_{n,\lambda }^{(2)}(z)\frac{t^n}{n!}$	$g_{\lambda }(t)=\frac{e_{\lambda }^{\frac{1}{2}}(t)+e_{\lambda }^{-\frac{1}{2}}(t)}{2}$
Degenerate generalized Bernoulli polynomials	$\frac{t^{\alpha }}{{(e_{\lambda }(t)-1)}^{\alpha }}{e}^{zt}={\displaystyle \sum _{n=0}^{\infty }}{B}_{n,\lambda }^{(\alpha )}(z)\frac{t^n}{n!}$	$g_{\lambda }(t)=\frac{{(e_{\lambda }(t)-1)}^{\alpha }}{t^{\alpha }}$
Degenerate generalized Euler polynomials	$\frac{2^{\alpha }}{{(e_{\lambda }(t)+1)}^{\alpha }}{e}^{zt}={\displaystyle \sum _{n=0}^{\infty }}{E}_{n,\lambda }^{(\alpha )}(z)\frac{t^n}{n!}$	$g_{\lambda }(t)=\frac{{(e_{\lambda }(t)+1)}^{\alpha }}{2^{\alpha }}$
Degenerate generalized Bernoulli polynomials of order m	$\frac{{\alpha }_1{\alpha }_2\cdots {\alpha }_m{t}^m}{(e_{\lambda }^{{\alpha }_1}(t)-1)(e_{\lambda }^{{\alpha }_2}(t)-1)\cdots (e_{\lambda }^{{\alpha }_m}(t)-1)}{e}^{zt}$	$g_{\lambda }(t)=\frac{(e_{\lambda }^{{\alpha }_1}(t)-1)(e_{\lambda }^{{\alpha }_2}(t)-1)\cdots (e_{\lambda }^{{\alpha }_m}(t)-1)}{{\alpha }_1{\alpha }_2\cdots {\alpha }_m{t}^m}$
	$={\displaystyle \sum _{n=0}^{\infty }}{B}_{n,\lambda }^{(\alpha )}(z|{\alpha }_1{\alpha }_2\cdots {\alpha }_m)\frac{t^n}{n!}$
Degenerate generalized Euler polynomials of order m	$\frac{2^m}{(e_{\lambda }^{{\alpha }_1}(t)+1)(e_{\lambda }^{{\alpha }_2}(t)+1)\cdots (e_{\lambda }^{{\alpha }_m}(t)+1)}{e}^{zt}$	$g_{\lambda }(t)=\frac{(e_{\lambda }^{{\alpha }_1}(t)+1)(e_{\lambda }^{{\alpha }_2}(t)+1)\cdots (e_{\lambda }^{{\alpha }_m}(t)+1)}{2^m}$
	$={\displaystyle \sum _{n=0}^{\infty }}{E}_{n,\lambda }(z|{\alpha }_1{\alpha }_2\cdots {\alpha }_m)\frac{t^n}{n!}$
The degenerate new generalized Bernoulli polynomials	$\frac{t^m}{e_{\lambda }(t)-{\displaystyle \sum _{n=0}^{m-1}}\frac{t^n}{n!}}{e}^{zt}$$={\displaystyle \sum _{n=0}^{\infty }}{B}_{n,\lambda }^{[m-1]}(z)\frac{t^n}{n!}$	$g_{\lambda }(t)=\frac{e_{\lambda }(t)-{\displaystyle \sum _{n=0}^{m-1}}\frac{t^n}{n!}}{t^m}$

. The aim of this paper is to present degenerate complex Appell polynomials and some of their properties. In particular, using degenerate Appell polynomials, we derive the differential equations satisfied by certain degenerate complex polynomials based on the quasi-monomiality principle.

The paper is organized as follows. In Section 2, we introduce degenerate complex Appell polynomials with cosine- and sine-Appell polynomials and prove some of their properties and relations. Section 3 presents illustrative examples of differential equations satisfied by degenerate complex Appell polynomials. Finally, Section 4 concludes the paper.

2. Degenerate Complex Appell Polynomials

In this section, we introduce degenerate complex Appell polynomials based on degenerate generating functions and study some of their properties. Furthermore, cosine- and sine-Appell polynomials are presented by splitting the complex Appell polynomials into their real ℜ and imaginary ℑ parts. We first provide the definition of degenerate Appell polynomials.

Definition 1.

We define the sequence ${\{A_{n,\lambda }(z)\}}_{n=0}^{\infty }$ of degenerate complex Appell polynomials using the generating function

$$\begin{array}{c}\hfill \frac{1}{g_{\lambda }(t)}{e}^{zt}={\displaystyle \sum _{n=0}^{\infty }}{A}_{n,\lambda }(z)\frac{t^n}{n!},A_0(z)\ne 0,\end{array}$$

(2)

where $a_{n,\lambda }:=A_{n,\lambda }(0)$ denotes the degenerate Appell numbers. Here, the degenerate generating functions $g_{\lambda }(t)$, which correspond to $g(t)$ in the Appell polynomials (1), are obtained by the degenerate exponential function $e_{\lambda }(t)$, which corresponds to the standard exponential function $e^t$ in $g(t)$ (see, for example, Table 1).

Remark 1.

 1. Clearly, the first degenerate Appell number $a_{0,\lambda }$ is nonzero and is independent of λ as $a_0\ne 0$ by definition (ii);

2. The sequence ${\{A_{n,\lambda }(z)\}}_{n=0}^{\infty }$ satisfies conditions (i) and (ii);

3. For $n\ge 0$, the sequence ${\{A_{n,\lambda }(z)\}}_{n=0}^{\infty }$ satisfies

$$A_{n,\lambda }(z)={\displaystyle \sum _{k=0}^n}\left(\genfrac{}{}{0pt}{}{n}{k}\right)a_{n-k,\lambda }{z}^k,$$

as the identity for $A_{n,\lambda }(z)$ can be obtained by the binomial convolution of the sequences ${\{a_{n,\lambda }\}}_{n=0}^{\infty }$ and ${\{z^n\}}_{n=0}^{\infty }$.

On the basis of the degenerate complex Appell polynomials, we split complex values into real and imaginary parts using Euler’s formula.

Definition 2.

For a nonnegative integer n, we define the degenerate cosine-Appell polynomials $A_{n,\lambda }^{(c)}(x,y)$ and the degenerate sine-Appell polynomials $A_{n,\lambda }^{(s)}(x,y)$ by the following generating functions:

$$\begin{array}{cc}\hfill & \frac{1}{g_{\lambda }(t)}{e}^{xt}cos(yt)={\displaystyle \sum _{n=0}^{\infty }}{A}_{n,\lambda }^{(c)}(x,y)\frac{t^n}{n!},\frac{1}{g_{\lambda }(t)}{e}^{xt}sin(yt)={\displaystyle \sum _{n=0}^{\infty }}{A}_{n,\lambda }^{(s)}(x,y)\frac{t^n}{n!}.\hfill \end{array}$$

(3)

By Definitions 1 and 2, it follows that for $z=x+iy$,

$$\begin{array}{c}\hfill A_{n,\lambda }(z)=A_{n,\lambda }^{(c)}(x,y)+i{A}_{n,\lambda }^{(s)}(x,y).\end{array}$$

(4)

The degenerate trigonometric functions $A_{n,\lambda }^{(c)}(x,y)$ and $A_{n,\lambda }^{(s)}(x,y)$ have the following property.

Theorem 1.

For $n\ge 0$ and $z=x+iy$, $A_{n,\lambda }^{(c)}(x,y)$ and $A_{n,\lambda }^{(s)}(x,y)$ in (3) can be represented in terms of $A_{n,\lambda }(z)$ and $A_{n,\lambda }(\overline{z})$ as follows:

$$\begin{array}{c}\hfill A_{n,\lambda }^{(c)}(x,y)=\frac{A_{n,\lambda }(z)+A_{n,\lambda }(\overline{z})}{2}and{A}_{n,\lambda }^{(s)}(x,y)=\frac{A_{n,\lambda }(z)-A_{n,\lambda }(\overline{z})}{2i}.\end{array}$$

Proof. 

The proof follows easily by comparing the coefficients in the polynomial expansion in (1) and (2), and by using Euler’s formula $e^{iyt}=cos(yt)+isin(yt)$. □

Remark 2.

It is noted that the sequences ${\{A_{n,\lambda }^{(c)}(x,y)\}}_{n=0}^{\infty }$ and ${\{A_{n,\lambda }^{(s)}(x,y)\}}_{n=0}^{\infty }$ can be explicitly determined when $g_{\lambda }(t)$ is given. For example, for $g_{\lambda }(t)=\frac{e_{\lambda }(t)+1}{2}$ and $g_{\lambda }(t)=\frac{e_{\lambda }(t)-1}{t}$ as defined in Table 1, the first five polynomials can be listed as in

Table 2. Expressions of the first five $E_{n,\lambda }^{(c)}(x,y)$, $E_{n,\lambda }^{(s)}(x,y)$, and $E_{n,\lambda }(z)$.

n	${\mathit{E}}_{\mathit{n},\mathit{\lambda }}^{(\mathit{c})}(\mathit{x},\mathit{y})$	${\mathit{E}}_{\mathit{n},\mathit{\lambda }}^{(\mathit{s})}(\mathit{x},\mathit{y})$	${\mathit{E}}_{\mathit{n},\mathit{\lambda }}(\mathit{z}),\mathit{z}=\mathit{x}+\mathit{iy}$
0	1	0	1
1	$x-\frac{1}{2}$	y	$z-\frac{1}{2}$
2	$\frac{1}{2}(\lambda +2x^2-2x-2y^2)$	$\frac{1}{2}(x-\frac{1}{2})$	$\frac{1}{2}(\lambda +2z(z-1))$
3	$-{\lambda }^2+\frac{3}{2}\lambda x+\frac{1}{4}(2x-1)(2x^2-2x-6y^2-1)$	$\frac{1}{2}(3\lambda +6x^2-6x-2y^2)$	$\frac{1}{4}(-4{\lambda }^2+6\lambda z+4z^3-6z^2+1)$
4	$3{\lambda }^3-4{\lambda }^{2}x+\frac{\lambda }{2}(6x^2-6y^2-3)$$+(x^4-2x^3-6x^2{y}^2+6x{y}^2+x+y^4)$	$y(-4{\lambda }^2+6\lambda x+4x^3-6x^2-4x{y}^2+2y^2+1)$	$(3{\lambda }^3-4{\lambda }^{2}z+\frac{\lambda }{2}(6z^2-3)+(z^4-2z^3+z))$

and

Table 3. Expressions of the first five $B_{n,\lambda }^{(c)}(x,y)$, $B_{n,\lambda }^{(s)}(x,y)$, and $B_{n,\lambda }(z)$.

n	${\mathit{B}}_{\mathit{n},\mathit{\lambda }}^{(\mathit{c})}(\mathit{x},\mathit{y})$	${\mathit{B}}_{\mathit{n},\mathit{\lambda }}^{(\mathit{s})}(\mathit{x},\mathit{y})$	${\mathit{B}}_{\mathit{n},\mathit{\lambda }}(\mathit{z}),\mathit{z}=\mathit{x}+\mathit{iy}$
0	1	0	1
1	$\frac{\lambda -1}{2}+x$	y	$\frac{\lambda -1}{2}+z$
2	$\frac{1}{6}(-{\lambda }^2+6\lambda x+6x^2-6x-6y^2+1)$	$y(\lambda +2x-1)$	$\frac{1}{6}(-{\lambda }^2+6\lambda z+6z^2-6z+1)$
3	$\frac{1}{2}({\lambda }^3-2{\lambda }^{2}x+\lambda (6x^2-6y^2-1)+2(2x-1)(x^2-x-3y^2))$	$-\frac{1}{2}y({\lambda }^2-6\lambda x-6x^2+6x+2y^2-1)$	$\frac{1}{2}({\lambda }^3-2{\lambda }^{2}z+\lambda (6z^2-1)+2z(2z^2-3z+1))$
4	$$\begin{gathered} -\frac{19}{30}{\lambda }^4+{\lambda }^{3}x+{\lambda }^2(-x^2+y^2+\frac{2}{3})+\lambda x(2x^2-6y^2-1)+ \\ {x}^4-2x^3-x^2(6y^2-1)+6x{y}^2+y^4-y^2-\frac{1}{30} \end{gathered}$$	$$\begin{gathered} \frac{1}{2}y{\lambda }^3-{\lambda }^{2}xy+\lambda (3x^2-y^2-\frac{1}{2})y+ \\ y(2x-1)(x^2-x-y^2) \end{gathered}$$	$$\begin{gathered} -\frac{19}{30}{\lambda }^4+{\lambda }^{3}z+{\lambda }^2(\frac{2}{3}-z^2)+ \\ \lambda z(2z^2-1)+z^4-2z^3+z^2-\frac{1}{30} \end{gathered}$$

. One can verify that from [7], $\underset{\lambda \to 0}{lim}{E}_{n,\lambda }^{(c)}(x,y)=E_n^{(c)}(x,y)$, $\underset{\lambda \to 0}{lim}{E}_{n,\lambda }^{(s)}(x,y)=E_n^{(s)}(x,y)$, $\underset{\lambda \to 0}{lim}{B}_{n,\lambda }^{(c)}(x,y)=B_n^{(c)}(x,y)$, and $\underset{\lambda \to 0}{lim}{B}_{n,\lambda }^{(s)}(x,y)=B_n^{(s)}(x,y)$. Moreover, Equation (4) holds.

We now provide an expression of $A_{n,\lambda }^{(c)}(x,y)$ and $A_{n,\lambda }^{(s)}(x,y)$ as well as some of their properties.

Theorem 2.

Let n be a non-negative integer. Then, the following identities hold:

$$\begin{array}{cc}\hfill & A_{n,\lambda }^{(c)}(x,y)={\displaystyle \sum _{m=0}^{[\frac{n}{2}]}}\left(\genfrac{}{}{0pt}{}{n}{2m}\right){(-1)}^m{A}_{n-2m,\lambda }(x)y^{2m},\hfill \\ \hfill & A_{n,\lambda }^{(s)}(x,y)=\left\{\begin{array}{cc}0,\hfill & \mathit{when}n=0,\hfill \\ {\displaystyle \sum _{m=0}^{[\frac{n-1}{2}]}}\left(\genfrac{}{}{0pt}{}{n}{2m+1}\right){(-1)}^m{A}_{n-2m-1,\lambda }(x)y^{2m+1},\hfill & \mathit{when}n\in \mathbb{N},\hfill \end{array}\right.\hfill \end{array}$$

where $[n]$ represents the greatest integer less than or equal to n.

Proof. 

By considering the product of $\frac{1}{g_{\lambda }(t)}{e}^{xt}$ and $cos(yt)$, the identity for $A_{n,\lambda }^{(c)}(x,y)$ is easily obtained by the binomial convolution of the sequences ${\{A_{n,\lambda }(x)\}}_{n=0}^{\infty }$ and ${\{\frac{1+{(-1)}^n}{2}{i}^n{y}^n\}}_{n=0}^{\infty }$. Similarly, the identity for $A_{n,\lambda }^{(s)}(x,y)$ can be obtained by the binomial convolution of the sequences ${\{A_{n,\lambda }(x)\}}_{n=0}^{\infty }$ and ${\{\frac{1-{(-1)}^n}{2i}{i}^n{y}^n\}}_{n=0}^{\infty }$. □

Theorem 3.

If we let $g_{\lambda }(t)={\displaystyle \sum _{n=0}^{\infty }}{\widehat{a}}_{n,\lambda }\frac{t^n}{n!}$ for some sequence ${\{{\widehat{a}}_{n,\lambda }\}}_{n=0}^{\infty }$, then the followings hold:

$$\begin{array}{cc}\hfill & {\displaystyle \sum _{k=0}^n}\left(\genfrac{}{}{0pt}{}{n}{k}\right){\widehat{a}}_{n-k,\lambda }{A}_{k,\lambda }^{(c)}(x,y)={\displaystyle \sum _{k=0}^{[\frac{n}{2}]}}\left(\genfrac{}{}{0pt}{}{n}{2k}\right){(-1)}^k{x}^{n-2k}{y}^{2k},\hfill \\ \hfill & {\displaystyle \sum _{k=0}^n}\left(\genfrac{}{}{0pt}{}{n}{k}\right){\widehat{a}}_{n-k,\lambda }{A}_{k,\lambda }^{(s)}(x,y)={\displaystyle \sum _{k=0}^{[\frac{n-1}{2}]}}\left(\genfrac{}{}{0pt}{}{n}{2k+1}\right){(-1)}^m{x}^{n-2k-1}{y}^{2k+1}.\hfill \end{array}$$

Proof. 

We only prove the first formula, as the proof of the second is similar. We consider the product $e^{xt}cos(yt)$. First, using the binomial convolution of the sequences ${\{x^n\}}_{n=0}^{\infty }$ and ${\{\frac{1+{(-1)}^n}{2}{i}^n{y}^n\}}_{n=0}^{\infty }$, we have that $e^{xt}cos(yt)$ is the exponential generating function of the sequence

$${\left\{{\displaystyle \sum _{k=0}^{[\frac{n}{2}]}}\left(\genfrac{}{}{0pt}{}{n}{2k}\right){(-1)}^k{x}^{n-2k}{y}^{2k}\right\}}_{n=0}^{\infty }.$$

Then, by rewriting the product $e^x(t)cos(yt)$ as

$$g_{\lambda }(t)\left(\frac{1}{g_{\lambda }(t)}{e}^{xt}cos(yt)\right),$$

and using the binomial convolution of the sequences ${\{{\widehat{a}}_{n,\lambda }\}}_{n=0}^{\infty }$ and ${\{A_{n,\lambda }(z)\}}_{n=0}^{\infty }$, we obtain that $e^{xt}cos(yt)$ is the exponential generating function of the sequence

$${\left\{{\displaystyle \sum _{k=0}^n}\left(\genfrac{}{}{0pt}{}{n}{k}\right){\widehat{a}}_{n-k,\lambda }{A}_{k,\lambda }^{(c)}(x,y)\right\}}_{n=0}^{\infty }.$$

Thus, the first identity is proved. □

Before providing an example of Theorem 3, we note that the $\lambda$-falling factorial sequence ${(x)}_{n,\lambda }$ is given by the degenerate exponential function as follows [10,15]:

$$e_{\lambda }^x(t):={(1+\lambda t)}^{\frac{x}{\lambda }}={\displaystyle \sum _{n=0}^{\infty }}{(x)}_{n,\lambda }\frac{t^n}{n!},$$

where

$${(x)}_{0,\lambda }=1,{(x)}_{n,\lambda }=x(x-\lambda )(x-2\lambda )\cdots (x-(n-1)\lambda )(n\ge 1).$$

Example 1.

Type 2 degenerate Euler polynomials $E_{n,\lambda }^{(2)}(z)$ are defined by the generating functions

$$\begin{array}{cc}\hfill & \frac{2}{e_{\lambda }^{\frac{1}{2}}(t)+e_{\lambda }^{-\frac{1}{2}}(t)}{e}^{zt}={\displaystyle \sum _{n=0}^{\infty }}{E}_{n,\lambda }^{(2)}(z)\frac{t^n}{n!}.\hfill \end{array}$$

One can verify that the identities in Theorem 3 hold because ${\widehat{a}}_{n,\lambda }=\frac{1}{2}\left({(\frac{1}{2})}_{n,\lambda }+{(-\frac{1}{2})}_{n,\lambda }\right)$.

We now show that the degenerate cosine- and sine-Appell polynomials ($A_{n,\lambda }^{(c)}(x,y)$ and $A_{n,\lambda }^{(s)}(x,y)$) are represented by the Stirling numbers of the second kind ${\mathcal{S}}_2(n,m)$.

Theorem 4.

For $n\in \mathbb{N}\cup \{0\}$, the degenerate cosine- and sine-Appell polynomials satisfy

$$A_{n,\lambda }^{(c)}(x,y)={\displaystyle \sum _{k=0}^n}\left(\genfrac{}{}{0pt}{}{n}{k}\right)x^k{A}_{n-k,\lambda }^{(c)}(0,y)\mathit{and}{A}_{n,\lambda }^{(s)}(x,y)={\displaystyle \sum _{k=0}^n}\left(\genfrac{}{}{0pt}{}{n}{k}\right)x^k{A}_{n-k,\lambda }^{(s)}(0,y).$$

Proof. 

We first note that $e^{xt}$ is the exponential generating function of the sequence ${\{x^n\}}_{n=0}^{\infty }$. Then, considering the product $\frac{1}{g_{\lambda }(t)}cos(yt)$ and $e^{xt}$, the binomial convolution of the sequences ${\{A_{n,\lambda }^{(c)}(0,y)\}}_{n=0}^{\infty }$ and ${\{x^n\}}_{n=0}^{\infty }$ implies that $\frac{1}{g_{\lambda }(t)}{e}^{xt}cos(yt)$ is the exponential generating function of the sequence

$${\left\{{\displaystyle \sum _{k=0}^n}\left(\genfrac{}{}{0pt}{}{n}{k}\right)x^k{A}_{n-k,\lambda }^{(c)}(0,y)\right\}}_{n=0}^{\infty }.$$

Similarly, by the binomial convolution of the sequences ${\{A_{n,\lambda }^{(s)}(0,y)\}}_{n=0}^{\infty }$ and ${\{x^n\}}_{n=0}^{\infty }$, we have that $\frac{1}{g_{\lambda }(t)}{e}^{xt}sin(yt)$ is the exponential generating function of the sequence

$${\left\{A_{n,\lambda }^{(s)}(x,y)={\displaystyle \sum _{k=0}^n}\left(\genfrac{}{}{0pt}{}{n}{k}\right)x^k{A}_{n-k,\lambda }^{(s)}(0,y)\right\}}_{n=0}^{\infty }.$$

 □

Recalling that $x^n={\displaystyle \sum _{k=0}^n}{\mathcal{S}}_2(n,k){(x)}_k$ (see [3,16]), where ${\mathcal{S}}_2(n,k)$ and ${(x)}_k$ are the Stirling numbers of the second kind and the falling factorial, respectively, we have the following corollary.

Corollary 1.

For $n\in \mathbb{N}\cup \{0\}$, the following identities hold:

$$A_{n,\lambda }^{(c)}(x,y)={\displaystyle \sum _{k=0}^n}{\displaystyle \sum _{m=0}^k}\left(\genfrac{}{}{0pt}{}{n}{k}\right){\mathcal{S}}_2(k,m){(x)}_m{A}_{n-k,\lambda }^{(c)}(0,y),$$

$$A_{n,\lambda }^{(s)}(x,y)={\displaystyle \sum _{k=0}^n}{\displaystyle \sum _{m=0}^k}\left(\genfrac{}{}{0pt}{}{n}{k}\right){\mathcal{S}}_2(k,m){(x)}_m{A}_{n-k,\lambda }^{(s)}(0,y).$$

Example 2.

 1. If $g_{\lambda }(t)=\frac{e_{\lambda }(t)+1}{2}$, then we have the sequence ${\{E_{n,\lambda }(z)\}}_{n=0}^{\infty }$ of the degenerate complex Euler polynomials in Table 1. Thus, the degenerate cosine- and sine-Euler polynomials can be obtained by

$$\begin{array}{cc}\hfill & E_{n,\lambda }^{(c)}(x,y)={\displaystyle \sum _{k=0}^n}{\displaystyle \sum _{m=0}^k}\left(\genfrac{}{}{0pt}{}{n}{k}\right){\mathcal{S}}_2(k,m){(x)}_m{E}_{n-k,\lambda }^{(c)}(0,y),\hfill \\ \hfill & E_{n,\lambda }^{(s)}(x,y)={\displaystyle \sum _{k=0}^n}{\displaystyle \sum _{m=0}^k}\left(\genfrac{}{}{0pt}{}{n}{k}\right){\mathcal{S}}_2(k,m){(x)}_m{E}_{n-k,\lambda }^{(s)}(0,y);\hfill \end{array}$$

2. When $g_{\lambda }(t)=\frac{e_{\lambda }(t)-1}{t}$, we obtain the sequence ${\{B_{n,\lambda }(z)\}}_{n=0}^{\infty }$ of the degenerate complex Bernoulli polynomials in Table 1. Hence, the degenerate cosine- and sine-Bernoulli polynomials are given by

$$\begin{array}{cc}\hfill & B_{n,\lambda }^{(c)}(x,y)={\displaystyle \sum _{k=0}^n}{\displaystyle \sum _{m=0}^k}\left(\genfrac{}{}{0pt}{}{n}{k}\right){\mathcal{S}}_2(k,m){(x)}_m{B}_{n-k,\lambda }^{(c)}(0,y),\hfill \\ \hfill & B_{n,\lambda }^{(s)}(x,y)={\displaystyle \sum _{k=0}^n}{\displaystyle \sum _{m=0}^k}\left(\genfrac{}{}{0pt}{}{n}{k}\right){\mathcal{S}}_2(k,m){(x)}_m{B}_{n-k,\lambda }^{(s)}(0,y).\hfill \end{array}$$

Remark 3.

In particular, when $g_{\lambda }(t)=1$ in Definition 1, we consider the cosine- and sine- sequences $C_n(x,y)$ and $S_n(x,y)$ given by (see [8])

$$e^{xt}cos(yt)={\displaystyle \sum _{n=0}^{\infty }}{C}_n(x,y)\frac{t^n}{n!}\mathit{and}{e}^{xt}sin(yt)={\displaystyle \sum _{n=0}^{\infty }}{S}_n(x,y)\frac{t^n}{n!}.$$

Then, as $A_{n,\lambda }(x)=x^n$ for $g_{\lambda }(t)=1$ in Theorem 2, we have that

$$\begin{array}{cc}\hfill & C_n(x,y)={\displaystyle \sum _{m=0}^{[\frac{n}{2}]}}\left(\genfrac{}{}{0pt}{}{n}{2m}\right){(-1)}^m{y}^{2m}{x}^{n-2m},\hfill \\ \hfill & S_n(x,y)={\displaystyle \sum _{m=0}^{[\frac{n-1}{2}]}}\left(\genfrac{}{}{0pt}{}{n}{2m+1}\right){(-1)}^m{y}^{2m+1}{x}^{n-2m-1}.\hfill \end{array}$$

The following two theorems show that the degenerate complex Appell polynomials can be split into $C_n(x,y)$ and $S_n(x,y)$.

Theorem 5.

For $n\in \mathbb{N}\cup \{0\}$, the degenerate complex Appell polynomials are related to $C_n(x,y)$ and $S_n(x,y)$ as follows:

$$\begin{array}{cc}\hfill & A_{n,\lambda }(z)={\displaystyle \sum _{k=0}^n}\left(\genfrac{}{}{0pt}{}{n}{k}\right)a_{n-k,\lambda }\left(C_k(x,y)+i{S}_k(x,y)\right),z:=x+iy\in ℂ.\hfill \end{array}$$

(5)

Proof. 

As $\frac{1}{g_{\lambda }(t)}{e}^{xt}\left(cos(yt)+isin(yt)\right)$ is the exponential generating functions for $A_{n,\lambda }(z)$, we immediately have (5) by the binomial convolution of the sequences ${\{a_{n,\lambda }\}}_{n=0}^{\infty }$ and ${\{C_n(x,y)+i{S}_n(x,y)\}}_{n=0}^{\infty }$, as $\frac{1}{g_{\lambda }(t)}={\displaystyle \sum _{n=0}^{\infty }}{a}_{n,\lambda }\frac{t^n}{n!}$. □

Theorem 6.

For $r,s\ge 0$, the degenerate cosine- and sine-Appell polynomials have the following properties:

$$\begin{array}{cc}\hfill A_{n,\lambda }^{(c)}(x\pm r,y\pm s)& ={\displaystyle \sum _{l=0}^n}\left(\genfrac{}{}{0pt}{}{n}{l}\right){(\pm 1)}^{n-l}\left[A_{l,\lambda }^{(c)}(x,y)C_{n-l}(r,s)-A_{l,\lambda }^{(s)}(x,y)S_{n-l}(r,s)\right],\hfill \end{array}$$

(6)

$$\begin{array}{cc}\hfill A_n^{(s)}(x\pm r,y\pm s)& ={\displaystyle \sum _{l=0}^n}\left(\genfrac{}{}{0pt}{}{n}{l}\right){(\pm 1)}^{n-l}\left[A_{l,\lambda }^{(s)}(x,y)C_{n-l}(r,s)-A_{l,\lambda }^{(c)}(x,y)S_{n-l}(r,s)\right].\hfill \end{array}$$

(7)

Proof. 

Let us consider the trigonometric identities

$$e^{(x\pm r)t}cos((y\pm s)t)=e^{xt}cos(yt)e^{\pm rt}cos(\pm st)-e^{xt}sin(yt)e^{\pm rt}sin(\pm st),$$

$$e^{(x\pm r)t}sin((y\pm s)t)=e^{xt}sin(yt)e^{\pm rt}cos(\pm st)+e^{xt}cos(yt)e^{\pm rt}sin(\pm st).$$

We note that $C_n(\pm x,\pm y)={(\pm 1)}^n{C}_n(x,y)$ and $S_n(\pm x,\pm y)={(\pm 1)}^n{S}_n(x,y)$ in Remark 3. As $\frac{1}{g_{\lambda }(t)}{e}^{(x\pm r)t}cos((y\pm s)t)$ is the exponential generating function for $A_{n,\lambda }^{(c)}(x\pm r,y\pm s)$, we obtain (6) by the binomial convolutions. Equation (7) can be proved similarly. □

Theorem 7.

For $r>0$, the following identities for degenerate cosine- and sine-Appell polynomials hold:

$$\begin{array}{cc}\hfill A_{n,\lambda }^{(c)}(r\pm x,y)& ={\displaystyle \sum _{k=0}^n}\left(\genfrac{}{}{0pt}{}{n}{k}\right)A_{k,\lambda }(r){(\pm 1)}^{n-k}{C}_{n-k}(x,y),\hfill \end{array}$$

(8)

$$\begin{array}{cc}\hfill A_n^{(s)}(r\pm x,y)& ={\displaystyle \sum _{k=0}^n}\left(\genfrac{}{}{0pt}{}{n}{k}\right)A_{k,\lambda }(r){(\pm 1)}^{n-k}{S}_{n-k}(x,y).\hfill \end{array}$$

(9)

Proof. 

As $\frac{1}{g_{\lambda }(t)}{e}^{rt}{e}^{\pm xt}cos(\pm yt)$ is the exponential generating function for $A_n^{(c)}(r\pm x,y)$, we obtain (8) by the binomial convolution of the sequences ${\{A_{n,\lambda }(r)\}}_{n=0}^{\infty }$ and ${\{C_n(x,y){(\pm 1)}^n\}}_{n=0}^{\infty }$. Similarly, (9) can be proved. □

As $A_{n,\lambda }(r)$ is obtained by the binomial convolution of the sequences ${\{a_{n,\lambda }\}}_{n=0}^{\infty }$ and ${\{r^n\}}_{n=0}^{\infty }$, we obtain the following corollary.

Corollary 2.

For $r>0$, the following identities for $A_{n,\lambda }^{(c)}(x,y)$ and $A_{n,\lambda }^{(s)}(x,y)$ hold:

$$\begin{array}{cc}\hfill & A_{n,\lambda }^{(c)}(r\pm x,y)={\displaystyle \sum _{k=0}^n}\left(\genfrac{}{}{0pt}{}{n}{k}\right)\left({\displaystyle \sum _{j=0}^k}\left(\genfrac{}{}{0pt}{}{k}{j}\right)a_{j,\lambda }{r}^{k-j}\right){(\pm 1)}^{n-k}{C}_{n-k}(x,y),\hfill \\ \hfill & A_n^{(s)}(r\pm x,y)={\displaystyle \sum _{k=0}^n}\left(\genfrac{}{}{0pt}{}{n}{k}\right)\left({\displaystyle \sum _{j=0}^k}\left(\genfrac{}{}{0pt}{}{k}{j}\right)a_{j,\lambda }{r}^{k-j}\right){(\pm 1)}^{n-k}{S}_{n-k}(x,y).\hfill \end{array}$$

3. Illustrative Examples of Differential Equations

In this section, we present two examples of degenerate complex Appell polynomials: the degenerate Bernoulli and Euler polynomials. By using quasi-monomiality, we derive the related differential equation satisfied by each of these polynomials. To this end, we first recall the definition of quasi-monomiality and some related properties.

By [3,17], a polynomial set ${\{p_n(z)\}}_{n=0}^{\infty }$ is called quasi-monomial if there exist two linear operators $\widehat{P}$ and $\widehat{M}$ such that

$$\widehat{P}(p_n(z))=n{p}_{n-1}(z)\mathrm{and}\widehat{M}(p_n(z))=p_{n+1}(z),n\in \mathbb{N},$$

where $\widehat{P}$ and $\widehat{M}$ are called the derivative and multiplication operators, respectively.

On the basis of the results related to the monomiality principle, the quasi-monomial polynomials $\{p_n\}$ satisfy the following differential equation:

$$\widehat{M}\widehat{P}{p}_n(z)=n{p}_n(z).$$

In particular, as the sequence ${\{A_{n,\lambda }(z)\}}_{n=0}^{\infty }$ is Appell-type, we have (more details are in [3]):

$$\widehat{P}=D_z\mathrm{and}\widehat{M}=-\frac{g_{\lambda }^{\prime }(D_z)}{g_{\lambda }(D_z)}+z,D_z=\frac{d}{dz},$$

or equivalently,

$$\left(-\frac{g_{\lambda }^{\prime }(D_z)}{g_{\lambda }(D_z)}{D}_z+z{D}_z\right)A_{n,\lambda }(z)=n{A}_{n,\lambda }(z).$$

3.1. Degenerate complex Bernoulli polynomials $B_{n,\lambda }(z)$

The degenerate complex Bernoulli polynomials $B_{n,\lambda }(z)$ are defined by the degenerate generating function $g_{\lambda }(t)=\frac{e_{\lambda }(t)-1}{t}$. That is,

$$\begin{array}{cc}\hfill & \frac{1}{g_{\lambda }(t)}=\frac{t}{e_{\lambda }(t)-1}={\displaystyle \sum _{n=0}^{\infty }}{b}_{n,\lambda }\frac{t^n}{n!},\hfill \\ \hfill & \frac{t}{e_{\lambda }(t)-1}{e}^{zt}={\displaystyle \sum _{n=0}^{\infty }}{B}_{n,\lambda }(z)\frac{t^n}{n!}={\displaystyle \sum _{n=0}^{\infty }}\left({\displaystyle \sum _{k=0}^n}\left(\genfrac{}{}{0pt}{}{n}{k}\right)b_{n-k,\lambda }{z}^k\right)\frac{t^n}{n!}.\hfill \end{array}$$

By simple computations, it is easily seen that the following expansion holds true:

$$-t\frac{g_{\lambda }^{\prime }(t)}{g_{\lambda }(t)}=\frac{-t{e}_{\lambda }(t)+(1+\lambda t)(e_{\lambda }(t)-1)}{(1+\lambda t)(e_{\lambda }(t)-1)}={\tilde{b}}_{0,\lambda }t+{\tilde{b}}_{1,\lambda }\frac{t^2}{1!}+{\tilde{b}}_{2,\lambda }\frac{t^3}{2!}+{\tilde{b}}_{3,\lambda }\frac{t^4}{3!}+\cdots ,$$

where the first six coefficients are the following:

$$\begin{array}{cccc}\hfill & {\tilde{b}}_{0,\lambda }=\frac{\lambda -1}{2},\hfill & \hfill {\tilde{b}}_{1,\lambda }& =\frac{1}{12}(-5{\lambda }^2+6\lambda -1),\hfill \\ \hfill & {\tilde{b}}_{2,\lambda }=\frac{\lambda }{4}(3{\lambda }^2-4\lambda +1),\hfill & \hfill {\tilde{b}}_{3,\lambda }& =\frac{1}{120}(-251{\lambda }^4+360{\lambda }^3-110{\lambda }^2+1),\hfill \\ \hfill & {\tilde{b}}_{4,\lambda }=\frac{1}{12}\lambda (95{\lambda }^4-144{\lambda }^3+50{\lambda }^2-1),\hfill \\ \hfill & {\tilde{b}}_{5,\lambda }=\frac{1}{504}(-19087{\lambda }^6+30240{\lambda }^5-11508{\lambda }^4+357{\lambda }^2-2).\hfill \end{array}$$

As the operators for the degenerate complex Bernoulli polynomials $B_{n,\lambda }(z)$ are given by

$$\widehat{P}=D_z\mathrm{and}\widehat{M}=\frac{-D_z{e}_{\lambda }(D_z)+(1+\lambda D_z)(e_{\lambda }(D_z)-1)}{D_z(1+\lambda D_z)(e_{\lambda }(D_z)-1)}+z,$$

the degenerate complex Bernoulli polynomials satisfy the following differential equation:

$$\left(\frac{-D_z{e}_{\lambda }(D_z)+(1+\lambda D_z)(e_{\lambda }(D_z)-1)}{(1+\lambda D_z)(e_{\lambda }(D_z)-1)}+z{D}_z\right)B_{n,\lambda }(z)=n{B}_{n,\lambda }(z),e_{\lambda }(D_z)={(1+\lambda D_z)}^{\frac{1}{\lambda }}.$$

We note that for the degenerate complex Bernoulli polynomials $B_{n,\lambda }(z)$ of degree n, the differential equation is equivalently expressed by

$$\left({\displaystyle \sum _{k=0}^{n-1}}\frac{{\tilde{b}}_{k,\lambda }}{k!}{D}_z^{k+1}+z{D}_z\right)B_{n,\lambda }(z)=n{B}_{n,\lambda }(z).$$

3.2. Degenerate Complex Euler Polynomials $E_{n,\lambda }(z)$

The degenerate complex Euler polynomials $E_{n,\lambda }(z)$ are given by the degenerate generating function $g_{\lambda }(t)=\frac{e_{\lambda }(t)+1}{2}$. Equivalently,

$$\begin{array}{cc}\hfill & \frac{1}{g_{\lambda }(t)}=\frac{2}{e_{\lambda }(t)+1}={\displaystyle \sum _{n=0}^{\infty }}{e}_{n,\lambda }\frac{t^n}{n!},\hfill \\ \hfill & \frac{2}{e_{\lambda }(t)+1}{e}^{zt}={\displaystyle \sum _{n=0}^{\infty }}{E}_{n,\lambda }(z)\frac{t^n}{n!}={\displaystyle \sum _{n=0}^{\infty }}\left({\displaystyle \sum _{k=0}^n}\left(\genfrac{}{}{0pt}{}{n}{k}\right)e_{n-k,\lambda }{z}^k\right)\frac{t^n}{n!}.\hfill \end{array}$$

The expansion for $-\frac{g_{\lambda }^{\prime }(t)}{g_{\lambda }(t)}$ is given by

$$-\frac{g_{\lambda }^{\prime }(t)}{g_{\lambda }(t)}=\frac{-e_{\lambda }(t)}{(1+\lambda t)(e_{\lambda }(t)+1)}={\tilde{e}}_{0,\lambda }+{\tilde{e}}_{1,\lambda }\frac{t}{1!}+{\tilde{e}}_{2,\lambda }\frac{t^2}{2!}+{\tilde{e}}_{3,\lambda }\frac{t^3}{3!}+\cdots ,$$

where the first six coefficients are the following:

$$\begin{array}{cccc}\hfill & {\tilde{e}}_{0,\lambda }=-\frac{1}{2},\hfill & \hfill {\tilde{e}}_{1,\lambda }& =\frac{1}{4}(\lambda -1),\hfill \\ \hfill & {\tilde{e}}_{2,\lambda }=\frac{1}{4}\lambda (\lambda -3),\hfill & \hfill {\tilde{e}}_{3,\lambda }& =\frac{1}{8}(3{\lambda }^3-19{\lambda }^2+3\lambda +1),\hfill \\ \hfill & {\tilde{e}}_{4,\lambda }=-\frac{1}{4}\lambda (3{\lambda }^3-35{\lambda }^2+15\lambda +5),\hfill \\ \hfill & {\tilde{e}}_{5,\lambda }=\frac{1}{8}(15{\lambda }^5-303{\lambda }^4+235{\lambda }^3+65{\lambda }^2-10\lambda -2).\hfill \end{array}$$

As the operators for the degenerate complex Euler polynomials $E_{n,\lambda }(z)$ are given by

$$\widehat{P}=D_z\mathrm{and}\widehat{M}=\frac{-e_{\lambda }(D_z)}{(1+\lambda D_z)(e_{\lambda }(D_z)+1)}+z,$$

the differential equation of the degenerate complex Euler polynomials is

$$\left(\frac{-e_{\lambda }(D_z)}{(1+\lambda D_z)(e_{\lambda }(D_z)+1)}{D}_z+z{D}_z\right)E_{n,\lambda }(z)=n{E}_{n,\lambda }(z).$$

It is noted that for the degenerate complex Euler polynomials $E_{n,\lambda }(z)$ of degree n, the differential equation is equivalently given by

$$\left({\displaystyle \sum _{k=0}^{n-1}}\frac{{\tilde{e}}_{k,\lambda }}{k!}{D}_z^{k+1}+z{D}_z\right)E_{n,\lambda }(z)=n{E}_{n,\lambda }(z).$$

4. Conclusions

We studied general properties and related identities of degenerate complex Appell polynomials obtained by degenerate versions of the generating functions of complex Appell polynomials. Treating the real and imaginary parts separately, we introduced the degenerate cosine-Appell and sine-Appell polynomials and presented some of their properties and relations, as well as examples. These polynomials are expressed in terms of the Stirling numbers of the second kind, and several identities were proved in terms of the cosine- and sine- polynomial sequences $C_n(x,y)$ and $S_n(x,y)$ generated by $e^{xt}cos(yt)$ and $e^{xt}sin(yt)$ in Remark 3. In addition, on the basis of quasi-monomiality, the differential equations satisfied by degenerate complex Bernoulli and Euler polynomials were derived.