Bridging the p-Special Functions between the Generalized Hyperbolic and Trigonometric Families

Abstract

Here, we study the extension of p-trigonometric functions $\mathrm{sinp}$ and $\mathrm{cosp}$ family in complex domains and p-hyperbolic functions $\mathrm{sinhp}$ and the $\mathrm{coshp}$ family in hyperbolic complex domains. These functions satisfy analogous relations as their classical counterparts with some unknown properties. We show the relationship of these two classes of special functions viz. p-trigonometric and p-hyperbolic functions with imaginary arguments. We also show many properties and identities related to the analogy between these two groups of functions. Further, we extend the research bridging the concepts of hyperbolic and elliptical complex numbers to show the properties of logarithmic functions with complex arguments.

1. Introduction

The generalized complex numbers were introduced in [1,2] as follows:

$${\mathbb{C}}_p:=\{\mu +i\gamma :\mu ;\gamma \in \mathbb{R};i^2=p;p\in {\mathbb{R}}_{-}\}.$$

It was observed that ${\mathbb{C}}_p$ corresponds to the set of elliptical complex numbers. For ${\xi }_1={\mu }_1+i{\gamma }_1$ and ${\xi }_2={\mu }_2+i{\gamma }_2\in {\mathbb{C}}_p$, addition and multiplication are defined by:

$${\xi }_1+{\xi }_2=\left({\mu }_1+i{\gamma }_1\right)+\left({\mu }_2+i{\gamma }_2\right)=\left({\mu }_1+{\mu }_2\right)+i\left({\gamma }_1+{\gamma }_2\right),$$

and

$${\xi }_1{\xi }_2=\left({\mu }_1{\mu }_2+p{\gamma }_1{\gamma }_2\right)+i\left({\mu }_1{\gamma }_2+{\mu }_2{\gamma }_1\right).$$

As is well known, ${\mathbb{C}}_p$ is a field under these two operations [1]. On the other hand, the p-magnitude of $\xi =\mu +i\gamma \in {\mathbb{C}}_p$ is ${\parallel \xi \parallel }_p^2={\mu }^2-p{\gamma }^2$. The unit circle in ${\mathbb{C}}_p$ is an Euclidean ellipse, which is given by the equation ${\mu }^2-p{\gamma }^2=1.$ Specially, if $p=-1$, this ellipse matches the Euclidean unit.

Let $\xi =\mu +i\gamma \in {\mathbb{C}}_p$; it was observed in [1] that the number $\xi$ can be expressed with a position vector (see [1]). The arc of ellipse between this vector and the real axis determines an elliptic angle ${\theta }_p$. This angle is called p-argument of $\xi$. On the generalized complex numbers and elliptical complex numbers in the literature, we invite the interest of the readers to some interesting studies, namely [3,4,5,6,7,8] and the reference therein. The authors of [1] introduced in ${\mathbb{C}}_p$ the p-trigonometric functions p-cosine, p-sine and p-tangent as follows:

$$\mathrm{cosp}\left({\theta }_p\right)=\cos \left(\sqrt{\left|\mathit{p}\right|}{\theta }_{\mathit{p}}\right),$$

(1)

$$\mathrm{sinp}\left({\theta }_{\mathit{p}}\right)=\frac{1}{\sqrt{\left|\mathit{p}\right|}}sin\left(\sqrt{\left|\mathit{p}\right|}{\theta }_{\mathit{p}}\right),$$

(2)

$$\mathrm{tanp}\left({\theta }_{\mathit{p}}\right)=\frac{\mathrm{sinp}\left({\theta }_{\mathit{p}}\right)}{\mathrm{cosp}\left({\theta }_{\mathit{p}}\right)}.$$

(3)

We may then define the other p-trigonometric functions as:

$$\mathrm{cotp}\left({\theta }_{\mathit{p}}\right)=\frac{\mathrm{cosp}\left({\theta }_{\mathit{p}}\right)}{\mathrm{sinp}\left({\theta }_{\mathit{p}}\right)}=\frac{\sqrt{\left|\mathit{p}\right|}\cos \left({\theta }_{\mathit{p}}\sqrt{\left|\mathit{p}\right|}\right)}{\sin \left({\theta }_{\mathit{p}}\sqrt{\left|\mathit{p}\right|}\right)}=\sqrt{\left|\mathit{p}\right|}\cot \left({\theta }_{\mathit{p}}\sqrt{\left|\mathit{p}\right|}\right),$$

(4)

$$\mathrm{secp}\left({\theta }_{\mathit{p}}\right)=\frac{1}{\mathrm{cosp}\left({\theta }_{\mathit{p}}\right)}=\frac{1}{\cos \left({\theta }_{\mathit{p}}\sqrt{\left|\mathit{p}\right|}\right)}=\sec \left({\theta }_{\mathit{p}}\sqrt{\left|\mathit{p}\right|}\right),$$

(5)

$$\mathrm{cosecp}\left({\theta }_{\mathit{p}}\right)=\frac{1}{\mathrm{sinp}\left({\theta }_{\mathit{p}}\right)}=\frac{\sqrt{\left|\mathit{p}\right|}}{\sin \left({\theta }_{\mathit{p}}\sqrt{\left|\mathit{p}\right|}\right)}=\sqrt{\left|\mathit{p}\right|}\mathrm{cosec}\left({\theta }_{\mathit{p}}\sqrt{\left|\mathit{p}\right|}\right).$$

(6)

According to the generalized hyperbolic number system [9,10,11,12,13]:

$${\mathbb{H}}_p=\left\{\xi =\mu +i\gamma :\mu ,\gamma \in \mathbb{R},i^2=p,p\in {\mathbb{R}}^{+}\right\}.$$

When $p=1$, we get the hyperbolic numbers system:

$${\mathbb{H}}_1=\left\{\xi =\mu +i\gamma :\mu ,\gamma \in \mathbb{R},i^2=1\right\}.$$

We have introduced the new concept of generalized p-hyperbolic functions related to the generalized hyperbolic number systems. We start by defining coshp, sinhp, tanhp, cothp, sechp and cosecp functions, which generalize the standard hyperbolic functions. These definitions run parallel to the definitions of generalization of p-trigonometric functions. For $p>0$, we define the following p-hyperbolic functions as:

$$\mathrm{coshp}\left(\mu \right)=\cosh \left(\sqrt{p}\mu \right),$$

(7)

$$\mathrm{sinhp}\left(\mu \right)=\frac{1}{\sqrt{p}}sinh\left(\sqrt{p}\mu \right),$$

(8)

$$\mathrm{tanhp}\left(\mu \right)=\frac{\mathrm{sinhp}\left(\mu \right)}{\mathrm{coshp}\left(\mu \right)}=\frac{\sinh \left(\sqrt{\mathit{p}}\mu \right)}{\sqrt{\mathit{p}}\cosh \left(\sqrt{\mathit{p}}\mu \right)},$$

(9)

$$\mathrm{cothp}\left(\mu \right)=\frac{\mathrm{coshp}\left(\mu \right)}{\mathrm{sinhp}\left(\mu \right)}=\frac{\sqrt{\mathit{p}}\cosh \left(\sqrt{\mathit{p}}\mu \right)}{\sinh \left(\sqrt{\mathit{p}}\mu \right)},$$

(10)

$$\mathrm{sechp}\left(\mu \right)=\frac{1}{\mathrm{coshp}\left(\mu \right)}=\frac{1}{\cosh \left(\sqrt{\mathit{p}}\mu \right)},$$

(11)

$$\mathrm{cosechp}\left(\mu \right)=\frac{1}{\mathrm{sinhp}\left(\mu \right)}=\frac{\sqrt{\mathit{p}}}{\sinh \left(\sqrt{\mathit{p}}\mu \right)}.$$

(12)

In recent times, properties involving p-trigonometric and hyperbolic functions have become a subject of intense discussion, and there exists vast literature on such functions. For more information on this topic, one may refer to [14] and the references therein. The purpose of this paper is twofold. We begin with a short survey of results from [3,7]. Then, we extend the ideas from [14] to define corresponding generalization of hyperbolic functions and study relations of p-trigonometric and p-hyperbolic functions on a complex domain. The connection between the p-trigonometric and p-hyperbolic functions is established by the definition of such functions of a generalized complex number. We have developed a generalization of the usual logarithm and power of complex functions, based on the properties of p-generalized complex numbers. We have established some basic relations for the proposed p-logarithmic functions. For example, the p-logarithm of product and quotient of members of ${\mathbb{C}}_p$.

The use generalized trigonometric functions as the basis has already been studied by Harkin and Harkin [1]. However, many formal proofs on orthogonality and series expansions, etc., do not exist in the literature, unlike for other special functions. The main contribution of this paper is to show the duality between p-trigonometric and p-hyperbolic functions. Once we develop the relationship between the p-trigonometric and p-hyperbolic functions, this can lead to the solution of complex differential equation problems involving p-complex numbers. It is well-known that standard hyperbolic and trigonometric functions are solution of certain class of ODEs. Orthogonality of these basis functions can only be developed by first investigating the duality between the p-hyperbolic and p-trigonometric functions with complex arguments which is the main motivation of this paper.

2. The $\mathit{p}$-Trigonometric Functions with Generalized Complex Variables

In the following definitions, we introduce the concepts of p-trigonometric functions with a generalized complex variable.

Definition 1. 

Following [3], for $\xi =\mu +i\gamma \in {\mathbb{C}}_P$, where $i^2=p<0$,

$$\mathrm{cosp}\left(\xi \right)=\frac{e^{i\xi }+e^{-i\xi }}{2},$$

(13)

$$\mathrm{sinp}\left(\xi \right)=\frac{e^{\mathit{i}\xi }-e^{-i\xi }}{2i}.$$

(14)

Remark 1. 

When $\xi =\mu \in \mathbb{R}$,

$$\mathrm{cosp}\left(\mu \right)=\frac{e^{i\mu }+e^{-i\mu }}{2},$$

(15)

$$\mathrm{sinp}\left(\mu \right)=\frac{e^{i\mu }-e^{-i\mu }}{2i}.$$

(16)

Remark 2. 

When $\xi =\mu \in \mathbb{R}$ and $p=-1$ $(i^2=-1)$, we obtain the classical relations:

$$\cos \left(\mu \right)=\frac{e^{i\mu }+e^{-i\mu }}{2},$$

(17)

$$\sin \left(\mu \right)=\frac{e^{i\mu }-e^{-i\mu }}{2i}.$$

(18)

Lemma 1. 

For all $\xi \in {\mathbb{C}}_p$ with $p<0$, the following identity holds:

$${\mathrm{cosp}}^2\left(\xi \right)-\mathit{p}{\mathrm{sinp}}^2\left(\xi \right)=1.$$

Definition 2. 

For $\xi \in {\mathbb{C}}_p$, we define the p-trigonometric functions with a generalized complex variable:

$$\mathrm{tanp}\left(\xi \right)=\frac{\mathrm{sinp}\left(\xi \right)}{\mathrm{cosp}\left(\xi \right)},$$

(19)

$$\mathrm{cotp}\left(\xi \right)=\frac{\mathrm{cosp}\left(\xi \right)}{\mathrm{sinp}\left(\xi \right)}=\frac{1}{\mathrm{tanp}\left(\xi \right)},$$

(20)

$$\mathrm{secp}\left(\xi \right)=\frac{1}{\mathrm{cosp}\left(\xi \right)},$$

(21)

$$\mathrm{cosecp}\left(\xi \right)=\frac{1}{\mathrm{sinp}\left(\xi \right)}.$$

(22)

3. The $\mathit{p}$-Hyperbolic Functions with Generalized Hyperbolic Complex Variables

In the following definition, we introduce the concepts of p-hyperbolic functions with hyperbolic complex variable [15,16].

Definition 3. 

For $\xi =\mu +i\gamma \in {\mathbb{H}}_p$ where $i^2=p>0$,

$$\mathrm{coshp}\left(\xi \right)=\frac{e^{\left(\sqrt{\mathit{p}}\xi \right)}+e^{(-\sqrt{\mathit{p}}\xi )}}{2},$$

(23)

$$\mathrm{sinhp}\left(\xi \right)=\frac{e^{\left(\sqrt{\mathit{p}}\xi \right)}-e^{(-\sqrt{\mathit{p}}\xi )}}{2\sqrt{\mathit{p}}}.$$

(24)

Remark 3. 

When $\xi =\mu \in \mathbb{R}$,

$$\mathrm{coshp}\left(\mu \right)=\frac{e^{\sqrt{\mathit{p}}\mu }+e^{-\sqrt{\mathit{p}}\mu }}{2},$$

(25)

$$\mathrm{sinhp}\left(\mu \right)=\frac{e^{\sqrt{\mathit{p}}\mu }-e^{-\sqrt{\mathit{p}}\mu }}{2\sqrt{\mathit{p}}}.$$

(26)

Remark 4. 

When $\xi =\mu \in \mathbb{R}$ and $p=1$ $(i^2=1)$, we obtain the classical relations:

$$\cosh \left(\mu \right)=\frac{e^{\mu }+e^{-\mu }}{2},$$

(27)

$$\sinh \left(\mu \right)=\frac{e^{\mu }-e^{-\mu }}{2}.$$

(28)

Remark 5. 

When $p=1$, we obtain:

$$\mathrm{coshp}\left(\mu \right)=\cosh \left(\mu \right),$$

(29)

$$\mathrm{sinhp}\left(\mu \right)=\sinh \left(\mu \right),$$

(30)

$$\mathrm{tanhp}\left(\mu \right)=\tanh \left(\mu \right),$$

(31)

$$\mathrm{cothp}\left(\mu \right)=\coth \left(\mu \right).$$

(32)

Proposition 1. 

For $p>0$, the following identities hold:

$$\mathrm{coshp}\left(\mu \right)=\frac{e^{\sqrt{\mathit{p}}\mu }+e^{-\sqrt{\mathit{p}}\mu }}{2},$$

(33)

$$\mathrm{sinhp}\left(\mu \right)=\frac{e^{\sqrt{\mathit{p}}\mu }-e^{-\sqrt{\mathit{p}}\mu }}{2\sqrt{\mathit{p}}},$$

(34)

$$\mathrm{tanhp}\left(\mu \right)=\frac{e^{\sqrt{\mathit{p}}\mu }-e^{-\sqrt{\mathit{p}}\mu }}{\sqrt{\mathit{p}}\left(e^{\sqrt{\mathit{p}}\mu }+e^{-\sqrt{\mathit{p}}\mu }\right)},$$

(35)

$$\mathrm{cothp}\left(\mu \right)=\frac{\sqrt{\mathit{p}}\left(e^{\sqrt{\mathit{p}}\mu }+e^{-\sqrt{\mathit{p}}\mu }\right)}{e^{\sqrt{\mathit{p}}\mu }-e^{-\sqrt{\mathit{p}}\mu }}.$$

(36)

Proof. 

$$\mathrm{coshp}\left(\mu \right)=\cosh (\sqrt{p}\mu )=\frac{e^{\sqrt{\mathit{p}}\mu }+e^{-\sqrt{\mathit{p}}\mu }}{2},$$

(37)

$$\mathrm{sinhp}\left(\mu \right)=\frac{1}{\sqrt{p}}\sinh (\sqrt{p}\mu )=\frac{e^{\sqrt{\mathit{p}}\mu }-e^{-\sqrt{\mathit{p}}\mu }}{2\sqrt{\mathit{p}}},$$

(38)

$$\mathrm{tanhp}\left(\mu \right)=\frac{\mathrm{sinhp}\left(\mu \right)}{\mathrm{coshp}\left(\mu \right)}=\frac{e^{\sqrt{\mathit{p}}\mu }-e^{-\sqrt{\mathit{p}}\mu }}{\sqrt{\mathit{p}}\left(e^{\sqrt{\mathit{p}}\mu }+e^{-\sqrt{\mathit{p}}\mu }\right)},$$

(39)

$$\mathrm{cothp}\left(\mu \right)=\frac{\mathrm{coshp}\left(\mu \right)}{\mathrm{sinhp}\left(\mu \right)}=\frac{\sqrt{\mathit{p}}\left(e^{\sqrt{\mathit{p}}\mu }+e^{-\sqrt{\mathit{p}}\mu }\right)}{e^{\sqrt{\mathit{p}}\mu }-e^{-\sqrt{\mathit{p}}\mu }}.$$

(40)

□

Remark 6. 

When $p=1$, we obtain the following classical identities:

$$\cosh \left(\mu \right)=\frac{e^{\mu }+e^{-\mu }}{2},$$

(41)

$$\sinh \left(\mu \right)=\frac{e^{\mu }-e^{-\mu }}{2},$$

(42)

$$\tanh \left(x\right)=\frac{e^{\mu }-e^{-\mu }}{e^{\mu }+e^{-\mu }},$$

(43)

$$\coth \left(\mu \right)=\frac{e^{\mu }+e^{-\mu }}{e^{\mu }-e^{-\mu }}.$$

(44)

Proposition 2. 

For $p<0$, the following identities hold:

$$\mathrm{cosp}\left(\mathit{i}\mu \right)=\frac{e^{\mathit{p}\mu }+e^{-\mathit{p}\mu }}{2},$$

(45)

$$\mathrm{cosp}\left(\mathit{i}\mu \right)=\cosh \left|\mathit{p}\right|\left(\sqrt{\left|\mathit{p}\right|}\mu \right),$$

(46)

$$\cosh \left|\mathit{p}\right|\left(\mathit{i}\mu \right)=\mathrm{cosp}\left(\sqrt{\left|\mathit{p}\right|}\mu \right).$$

(47)

Proof. 

From identity (13), we have:

$$\mathrm{cosp}\left(\mathit{i}\mu \right)=\frac{e^{{\mathit{i}}^2\mu }+e^{{-\mathit{i}}^2\mu }}{2}=\frac{e^{\mathit{p}\mu }+e^{-\mathit{p}\mu }}{2}.$$

On the other hand, since $p=-\mid p\mid$ for $p<0$, we my write:

$$\begin{array}{ccc}\hfill \mathrm{cosp}\left(\mathit{i}\mu \right)& =& \frac{e^{p\mu }+e^{-p\mu }}{2}\hfill \\ & =& \frac{e^{-\left|p\right|\mu }+e^{\left|p\right|\mu }}{2}\hfill \\ & =& \frac{e^{\sqrt{\left|p\right|}\left(\sqrt{\left|p\right|}\mu \right)}+e^{-\sqrt{\left|p\right|}\left(\sqrt{\left|p\right|}\mu \right)}}{2}\hfill \\ & =& cosh\left|p\right|\left(\sqrt{\left|p\right|}\mu \right)\left(\mathrm{by}\left(25\right)\right).\hfill \end{array}$$

Similarly, from identity (23), we have:

$$\begin{array}{ccc}\hfill \cosh \left|\mathit{p}\right|\left(\mathit{i}\mu \right)& =& \frac{e^{\sqrt{\left|p\right|}i\mu }+e^{-\sqrt{\left|p\right|}i\mu }}{2}\hfill \\ & =& \frac{e^{i\sqrt{\left|p\right|}\mu }+e^{-i\sqrt{\left|p\right|}\mu }}{2}\hfill \\ & =& \mathrm{cosp}\left(\sqrt{\left|\mathit{p}\right|}\mu \right)\left(\mathit{by}\left(13\right)\right).\hfill \end{array}$$

□

Proposition 3. 

For $p<0$, the following statements are true:

$$\mathrm{sinp}\left(\mathit{i}\mu \right)=\frac{e^{\mathit{p}\mu }-e^{-\mathit{p}\mu }}{2\mathit{i}},$$

(48)

$$i\mathrm{sinp}\left(\mathit{i}\mu \right)=-\sqrt{\left|\mathit{p}\right|}\sinh \left|\mathit{p}\right|\left(\sqrt{\left|\mathit{p}\right|}\mu \right),$$

(49)

$$\sqrt{\left|p\right|}\sinh \left|\mathit{p}\right|\left(\mathit{i}\mu \right)=\mathit{i}\mathrm{sinp}\left(\sqrt{\left|\mathit{p}\right|}\mu \right).$$

(50)

Proof. 

From identity (14), we have:

$$\mathrm{sinp}\left(\mathit{i}\mu \right)=\frac{e^{{\mathit{i}}^2\mu }-e^{-{\mathit{i}}^2\mu }}{2\mathit{i}}=\frac{e^{\mathit{p}\mu }-e^{-\mathit{p}\mu }}{2\mathit{i}}.$$

On the other hand, since $p=-\mid p\mid$ for $p<0$, we may write:

$$\begin{array}{ccc}\hfill \mathrm{sinp}\left(\mathit{i}\mu \right)& =& \frac{e^{p\mu }-e^{-p\mu }}{2i}\hfill \\ & =& \frac{e^{-\left|p\right|\mu }-e^{\left|p\right|\mu }}{2i}.\hfill \end{array}$$

From which it follows that

$$\begin{array}{ccc}\hfill i\mathrm{sinp}\left(\mathit{i}\mu \right)& =& \frac{e^{-\left(\sqrt{\left|p\right|}\sqrt{\left|p\right|}\mu \right)}-e^{\left(\sqrt{\left|p\right|}\sqrt{\left|p\right|}\mu \right)}}{2}\hfill \\ & =& \frac{\sqrt{\left|p\right|}\left(e^{-\left(\sqrt{\left|p\right|}\sqrt{\left|p\right|}\mu \right)}-e^{\left(\sqrt{\left|p\right|}\sqrt{\left|p\right|}\mu \right)}\right)}{2\sqrt{\left|p\right|}}\hfill \\ & =& -\sqrt{\left|p\right|}sinh\left|p\right|\left(\sqrt{\left|p\right|}\mu \right)\left(\mathrm{by}\left(26\right)\right).\hfill \end{array}$$

From identity (24), we have:

$$\begin{array}{ccc}\hfill \sqrt{\left|p\right|}\sinh \left|\mathit{p}\right|\left(\mathit{i}\mu \right)& =& \frac{e^{\sqrt{\left|p\right|}i\mu }-e^{-\sqrt{\left|p\right|}i\mu }}{2}\hfill \\ & =& \frac{e^{i\sqrt{\left|p\right|}\mu }-e^{-i\sqrt{\left|p\right|}\mu }}{2}\hfill \\ & =& i\frac{e^{i\sqrt{\left|p\right|}\mu }-e^{-i\sqrt{\left|p\right|}\mu }}{2i}\hfill \\ & =& i\mathrm{sinp}\left(\sqrt{\left|\mathit{p}\right|}\mu \right)\left(\mathrm{by}\left(14\right)\right).\hfill \end{array}$$

□

Definition 4. 

For $\xi \in {\mathbb{H}}_p,$ we define the p-hyperbolic functions:

$$\mathrm{tanhp}\left(\xi \right)=\frac{\mathrm{sinhp}\left(\xi \right)}{\mathrm{coshp}\left(\xi \right)},$$

(51)

$$\mathrm{cothp}\left(\xi \right)=\frac{\mathrm{coshp}\left(\xi \right)}{\mathrm{sinhp}\left(\xi \right)}=\frac{1}{\mathrm{tanhp}\left(\xi \right)},$$

(52)

$$\mathrm{sechp}\left(\xi \right)=\frac{1}{\mathrm{coshp}\left(\xi \right)},$$

(53)

$$\mathrm{cosechp}\left(\xi \right)=\frac{1}{\mathrm{sinhp}\left(\xi \right)}.$$

(54)

Proposition 4. 

The following identities hold for $\mu \in \mathbb{R}$ and $p<0$:

$$\mathrm{tanp}\left(\mathit{i}\mu \right)=\frac{\mathit{i}}{\sqrt{\left|\mathit{p}\right|}}\tanh \left|\mathit{p}\right|\left(\sqrt{\left|\mathit{p}\right|}\mu \right),$$

(55)

$$\mathrm{cotp}\left(\mathit{i}\mu \right)=-\frac{\mathit{i}}{\sqrt{\left|\mathit{p}\right|}}\coth \left|\mathit{p}\right|\left(\sqrt{\left|\mathit{p}\right|}\mu \right).$$

(56)

Proof. 

By taking into account the identities (46) and (49), we obtain:

$$\begin{array}{ccc}\hfill \mathrm{tanp}\left(\mathit{i}\mu \right)& =& \frac{\mathrm{sinp}\left(\mathit{i}\mu \right)}{\mathrm{cosp}\left(\mathit{i}\mu \right)}\hfill \\ & =& \frac{i}{\sqrt{\left|p\right|}}\frac{\sinh \left|\mathit{p}\right|\left(\sqrt{\left|\mathit{p}\right|}\mu \right)}{\cosh \left|\mathit{p}\right|\left(\sqrt{\left|\mathit{p}\right|\mu }\right)}\hfill \\ & =& \frac{i}{\sqrt{\left|p\right|}}\tanh \left|\mathit{p}\right|\left(\sqrt{\left|\mathit{p}\right|}\mu \right).\hfill \end{array}$$

A similar calculation based on identities (46) and (49) yields:

$$\mathrm{cotp}\left(i\mu \right)=-\frac{\mathit{i}}{\sqrt{\left|\mathit{p}\right|}}\coth \left|\mathit{p}\right|\left(\sqrt{\left|\mathit{p}\right|}\mu \right).$$

□

Proposition 5. 

The following identities hold for $\mu \in \mathbb{R}$ and $p<0$:

$$\mathrm{secp}\left(\mathit{i}\mu \right)=\mathrm{sech}\left|\mathit{p}\right|\left(\sqrt{\left|\mathit{p}\right|}\mu \right),$$

(57)

$$\mathrm{cosecp}\left(\mathit{i}\mu \right)=-\mathit{i}\mathrm{cosech}\left|\mathit{p}\right|\left(\sqrt{\left|\mathit{p}\right|}\mu \right).$$

(58)

Proof. 

$$\mathrm{secp}\left(\mathit{i}\mu \right)=\frac{1}{\mathrm{cosp}\left(\mathit{i}\mu \right)}=\frac{1}{\cosh \left|\mathit{p}\right|\left(\mu \right)}=\mathrm{sech}\left|\mathit{p}\right|\left(\sqrt{\left|\mathit{p}\right|}\mu \right).$$

Similarly,

$$\mathrm{cosecp}\left(\mathit{i}\mu \right)=\frac{1}{\mathrm{sinp}\left(\mathit{i}\mu \right)}=\frac{\sqrt{\left|\mathit{p}\right|}}{\mathit{i}\sinh \left|\mathit{p}\right|\left(\sqrt{\left|\mathit{p}\right|}\mu \right)}=\frac{\sqrt{\left|\mathit{p}\right|}}{\mathit{i}}\mathrm{cosech}\left|\mathit{p}\right|\left(\sqrt{\left|\mathit{p}\right|}\mu \right).$$

□

4. The $\mathit{p}$-Complex Logarithmic Functions and $\mathit{p}$-Complex Powers of Generalized Complex Numbers

The multi-valued function log is defined by:

$$\log \left(\xi \right)=\ln \left(\right|\xi \left|\right)+i.\arg \left(\xi \right),\xi \in \mathbb{C},$$

(59)

where $\xi \ne 0$ is called the complex logarithm.

Remark 7. 

For $\xi \in \mathbb{C}$ with $\xi \ne 0$, it is well known that

$$\mathit{log}\left(\xi \right)=log\left|\xi \right|+i(\theta +2k\pi ),k\in \mathbb{Z}$$

(60)

where, $-\pi \le \theta <\pi .$

Moreover,

$${\xi }^a=e^{alog\left(\xi \right)}=e^{a\left(ln\left|\xi \right|+i\left(\theta +2k\pi \right)\right)}.$$

(61)

Let $\xi =\mu +i\gamma$ be a number in ${\mathbb{C}}_p^{\ast }$, where:

$${\mathbb{C}}_p^{\ast }=\left\{\mu +i\gamma ,;\mu ,\gamma \in \mathbb{R},i^2=p,p\in {\mathbb{R}}_{-}(p<0)\right\}.$$

The p-magnitude of $\xi =\mu +i\gamma \in {\mathbb{C}}_p^{\ast }$ is given by ${\parallel \xi \parallel }_p=\sqrt{|{\mu }^2-p{\gamma }^2|}$.

For $i^2=p<0$ we have $e^{i\mu }=\mathrm{cosp}\left(\mu \right)+i\mathrm{sinp}\left(\mu \right)$ and

$$\begin{array}{ccc}\hfill e^{i\left({\theta }_p+\frac{2\pi }{\sqrt{\left|p\right|}}\right)}& =& \mathrm{cosp}\left({\theta }_p+\frac{2\pi }{\sqrt{\left|p\right|}}\right)+i·\mathrm{sinp}\left({\theta }_p+\frac{2\pi }{\sqrt{\left|p\right|}}\right)\hfill \\ & =& \mathrm{cosp}\left({\theta }_p\right)+i·\mathrm{sinp}\left({\theta }_p\right)\hfill \\ & =& e^{i{\theta }_p}.\hfill \end{array}$$

Remark 8. 

We observe that

$$e^{i\frac{2\pi k}{\sqrt{\left|p\right|}}}=1,k=0,\pm 1,\pm 2,\cdots .$$

(62)

According to [1], it is well known for $\xi =\phi +i\psi \in {\mathbb{C}}_p$ that we have:

$$\begin{array}{ccc}\hfill e^{\xi }& =& e^{\phi +i\psi }\hfill \\ & =& e^{\phi }·e^{i\psi }\hfill \\ & =& e^{\phi }\left(\mathrm{cosp}\left(\psi \right)+i\mathrm{sinp}\left(\psi \right)\right).\hfill \end{array}$$

For $\xi \in {\mathbb{C}}_p\ne 0$, we need to define $\omega ={log}_p\left(\xi \right)$ for which $p^{\omega }=\xi$.

Definition 5. 

Let $\xi =\mu +i\gamma \in {\mathbb{C}}_p^{\ast }$ with $\xi \ne 0$. The p-complex logarithm of ξ is defined by:

$$\begin{array}{ccc}\hfill {log}_p\left(\xi \right)& =& {log\left(\right|\left|\xi \right||}_p)+i·{\arg }_p\left(\xi \right)\hfill \end{array}$$

(63)

$$\begin{array}{ccc}& =& log\left(\sqrt{|{\mu }^2-p{\gamma }^2|}\right)+i\left({\theta }_p+\frac{2\pi k}{\sqrt{\left|p\right|}}\right).\hfill \end{array}$$

(64)

Definition 6. 

For $\xi \in {\mathbb{C}}_p$, with $\xi \ne 0$ the principal value of p-complex logarithm is defined by:

$${\mathrm{Log}}_p\left(\xi \right)={\ln \left(\right|\left|\xi \right||}_p)+i{\theta }_p,$$

(65)

where, ${\theta }_p\in \left(\frac{-\pi }{\sqrt{\left|p\right|}},\frac{\pi }{\sqrt{\left|p\right|}}\right]$.

Remark 9. 

We observe that for $\xi \in {\mathbb{C}}_p$ with $\xi \ne 0$, we have:

$${log}_p\left(\xi \right)={\mathrm{Log}}_p\left(\xi \right)+i\frac{2k\pi }{\sqrt{\left|p\right|}},k\in \mathbb{Z}.$$

(66)

Proposition 6. 

Let ${\xi }_1,{\xi }_2\in {\mathbb{C}}_p$ with ${\xi }_1,{\xi }_2\ne 0$, then the following identities hold:

$${log}_p({\xi }_1.{\xi }_2)={log}_p\left({\xi }_1\right)+{log}_p\left({\xi }_2\right).$$

(67)

Proof. 

According to [1] we may write

$${\xi }_1=\left|\right|{\xi }_1{\left|\right|}_p\left(\mathrm{cosp}\left({\theta }_p\right)+i\mathrm{sinp}\left({\theta }_p\right)\right),$$

and

$${\xi }_2=\left|\right|{\xi }_2{\left|\right|}_p\left(\mathrm{cosp}\left({\theta }_p^{\prime }\right)+i\mathrm{sinp}\left({\theta }_p^{\prime }\right)\right).$$

Then,

$${\xi }_1.{\xi }_2=\left|\right|{\xi }_1{\left|\right|}_p.\left|\right|{\xi }_2{\left|\right|}_p\left(\mathrm{cosp}({\theta }_p+{\theta }_p^{\prime })+i\mathrm{sinp}({\theta }_p+{\theta }_p^{\prime })\right).$$

From which we obtain:

$$\begin{array}{ccc}\hfill {log}_p({\xi }_1·{\xi }_2)& =& \ln \left(\left|\right|{\xi }_1{\left|\right|}_p·\left|\right|{\xi }_2{\left|\right|}_p\right)+i({\theta }_p+{\theta }_p^{\prime })\hfill \\ & =& \ln \left(\left|\right|{\xi }_1{\left|\right|}_p\right)+\ln \left(\left|\right|{\xi }_2{\left|\right|}_p\right)+i\left({\theta }_p\right)+i\left({\theta }_p^{\prime }\right)\hfill \\ & =& \ln \left(\left|\right|{\xi }_1{\left|\right|}_p\right)+i{\theta }_p+\ln \left(\left|\right|{\xi }_2{\left|\right|}_p\right)+i{\theta }_p^{\prime }\hfill \\ & =& {log}_p\left({\xi }_1\right)+{log}_p\left({\xi }_2\right).\hfill \end{array}$$

Therefore, the proof is complete. □

Remark 10. 

In general, for ${\xi }_1,{\xi }_2\in {\mathbb{C}}_p$ with ${\xi }_1.{\xi }_2\ne 0,$ the following identity does not hold:

$${\mathrm{Log}}_p({\xi }_1.{\xi }_2)\ne {\mathrm{Log}}_p\left({\xi }_1\right)+{\mathrm{Log}}_p\left({\xi }_2\right),$$

(68)

as shown in the following example.

Example 1. 

Consider ${\xi }_1={\xi }_2=p<0$; we have:

$$\begin{array}{ccc}\hfill {\mathrm{Log}}_p({\xi }_1·{\xi }_2)={\mathrm{Log}}_p\left(p^2\right)& =& \mathit{ln}\left(\right|p^2\left|\right)+i0\hfill \\ & =& 2\mathit{ln}\left(\right|p\left|\right).\hfill \end{array}$$

However,

$$\begin{array}{ccc}\hfill {\mathrm{Log}}_p\left({\xi }_1\right)& =& {\mathrm{Log}}_p\left(p\right)\hfill \\ & =& \mathit{>ln}\left(\right|p\left|\right)+i\frac{\pi }{\sqrt{\left|p\right|}}.\hfill \end{array}$$

Similarly,

$$\begin{array}{c}\hfill {\mathrm{Log}}_p\left({\xi }_2\right)=\mathit{ln}\left(\right|p\left|\right)+i\frac{\pi }{\sqrt{\left|p\right|}}.\end{array}$$

Therefore,

$$\begin{array}{c}\hfill {\mathrm{Log}}_p\left({\xi }_1\right)+{\mathrm{Log}}_p\left({\xi }_2\right)=2\mathit{ln}\left(\right|p\left|\right)+i\frac{2\pi }{\sqrt{\left|p\right|}}.\end{array}$$

From the above calculation, we obtain:

$$\begin{array}{c}\hfill {\mathrm{Log}}_p({\xi }_1.{\xi }_2)\ne {\mathrm{Log}}_p\left({\xi }_1\right)+{\mathrm{Log}}_p\left({\xi }_2\right).\end{array}$$

Proposition 7. 

Let ${\xi }_1,{\xi }_2\in {\mathbb{C}}_p$, such that ${\xi }_1=\left|\right|{\xi }_1{\left|\right|}_p{e}^{i{\theta }_p}$ and ${\xi }_2=\left|\right|{\xi }_2{\left|\right|}_p{e}^{i{\phi }_p}$ for which $\{{\theta }_p,{\phi }_p\}\in \left(\frac{-\pi }{2\sqrt{\left|p\right|}},\frac{\pi }{2\sqrt{\left|p\right|}}\right]$. Then,

$${\mathrm{Log}}_p({\xi }_1·{\xi }_2)={\mathrm{Log}}_p\left({\xi }_1\right)+{\mathrm{Log}}_p\left({\xi }_2\right).$$

(69)

Proof. 

Since,

$$\begin{array}{c}\hfill {\mathrm{Log}}_p\left({\xi }_1\right)=\ln \left|\right|{\xi }_1{\left|\right|}_p+i{\theta }_p,\end{array}$$

and

$$\begin{array}{c}\hfill {\mathrm{Log}}_p\left({\xi }_2\right)=\ln \left|\right|{\xi }_2{\left|\right|}_p+i{\phi }_p,\end{array}$$

we obtain

$$\begin{array}{ccc}\hfill {\mathrm{Log}}_p\left({\xi }_1\right)+{\mathrm{Log}}_p\left({\xi }_2\right)& =& \ln \left|\right|{\xi }_1{\left|\right|}_p+\ln \left|\right|{\xi }_2{\left|\right|}_p+i({\theta }_p+{\phi }_p)\hfill \\ & =& \ln \left(\right||{\xi }_1{\left|\right|}_p·\left|\right|{\xi }_2{\left|\right|}_p)+i({\theta }_p+{\phi }_p).\hfill \end{array}$$

On the other hand, according to [1], we have:

$$\begin{array}{c}\hfill {\xi }_1·{\xi }_2=\left|\right|{\xi }_1{\left|\right|}_p·\left|\right|{\xi }_2{\left|\right|}_p{e}^{i({\theta }_p+{\phi }_p)},\end{array}$$

and, consequently,

$$\begin{array}{c}\hfill {\mathrm{Log}}_p({\xi }_1·{\xi }_2)=\ln \left(\right||{\xi }_1{\left|\right|}_p·\left|\right|{\xi }_2{\left|\right|}_p)+i({\theta }_p+{\phi }_p).\end{array}$$

Under the condition for

$$\begin{array}{c}\hfill \{{\theta }_p,{\phi }_p\}\in \left(\frac{-\pi }{2\sqrt{\left|p\right|}},\frac{\pi }{2\sqrt{\left|p\right|}}\right],\end{array}$$

we have

$$\begin{array}{c}\hfill \{{\theta }_p+{\phi }_p\}\in \left(\frac{-\pi }{\sqrt{\left|p\right|}},\frac{\pi }{\sqrt{\left|p\right|}}\right].\end{array}$$

Therefore,

$$\begin{array}{c}\hfill {\mathrm{Log}}_p({\xi }_1.{\xi }_2)={\mathrm{Log}}_p\left({\xi }_1\right)+{\mathrm{Log}}_p\left({\xi }_2\right).\end{array}$$

□

Proposition 8. 

Let ${\xi }_1,{\xi }_2\in {\mathbb{C}}_p$ such that ${\xi }_1\ne 0$ and ${\xi }_2\ne 0$. Then,

$${log}_p\left(\frac{{\xi }_1}{{\xi }_2}\right)={log}_p\left({\xi }_1\right)-{log}_p\left({\xi }_2\right).$$

(70)

Proof. 

$$\begin{array}{c}\hfill {log}_p\left({\xi }_1{\xi }_2\right)=\ln \left(\frac{{\left|\right|{\xi }_1\left|\right|}_p}{{\left|\right|{\xi }_2\left|\right|}_p}\right)+i\left({\theta }_p-{\phi }_p+\frac{2k\pi }{\sqrt{\left|p\right|}}\right)\end{array}$$

$$\begin{array}{c}\hfill {log}_p\left({\xi }_1\right)=\ln {\left|\right|{\xi }_1\left|\right|}_p+i\left({\theta }_p+\frac{2k\pi }{\sqrt{\left|p\right|}}\right)\end{array}$$

and

$$\begin{array}{c}\hfill {log}_p\left({\xi }_2\right)=\ln {\left|\right|{\xi }_2\left|\right|}_p+i\left({\phi }_p+\frac{2k^{\prime }\pi }{\sqrt{\left|p\right|}}\right)\end{array}$$

$$\begin{array}{ccc}\hfill {log}_p\left({\xi }_1\right)-{log}_p\left({\xi }_2\right)& =& \ln {\left|\right|{\xi }_1\left|\right|}_p-\ln {\left|\right|{\xi }_2\left|\right|}_p+i\left({\theta }_p-{\phi }_p+\frac{2(k-k^{\prime })\pi }{\sqrt{\left|p\right|}}\right)\hfill \\ & =& \ln \left(\frac{{\left|\right|{\xi }_1\left|\right|}_p}{{\left|\right|{\xi }_2\left|\right|}_p}\right)+i\left({\theta }_p-{\phi }_p+\frac{2r\pi }{\sqrt{\left|p\right|}}\right).\hfill \end{array}$$

□

Remark 11. 

In general, ${\xi }_1,{\xi }_2\in {\mathbb{C}}_p-\left\{0\right\}$, then

$${\mathrm{Log}}_p\left(\frac{{\xi }_1}{{\xi }_2}\right)\ne {\mathrm{Log}}_p\left({\xi }_1\right)-{\mathrm{Log}}_p\left({\xi }_2\right).$$

(71)

Definition 7. 

Let ξ and $a\in {\mathbb{C}}_p$ with $\xi \ne 0$; we define:

$${\xi }^a=e^{a{log}_p\left(\xi \right)}.$$

(72)

The principal determination of ${\xi }^a$ is given by:

$${\xi }^a=e^{a{\mathrm{Log}}_p\left(\xi \right)}.$$

(73)

Remark 12. 

For $\{\xi ,a\}\in {\mathbb{C}}_p$ with $\xi \ne 0$, we have:

$$\begin{array}{ccc}\hfill {\xi }^a& =& e^{a{log}_p\left(\xi \right)}\hfill \\ & =& e^{a\left(log\left({\left|\right|\xi \left|\right|}_p\right)+iar{g}_p\left(\xi \right)\right)}\hfill \\ & =& e^{a\left(log\left(\sqrt{|{\mu }^2-p{\gamma }^2|}\right)+i\left({\theta }_p+\frac{2\pi k}{\sqrt{\left|p\right|}}\right)\right)}.\hfill \end{array}$$

Remark 13 

(Branches of Logarithms). From the identity:

$${log}_p\left(\xi \right)={log\left(\right|\left|\xi \right||}_p)+i\left({\theta }_p+\frac{2\pi k}{\sqrt{\left|p\right|}}\right),$$

and by assuming ${\mathsf{\Theta }}_p={\theta }_p+\frac{2\pi k}{\sqrt{\left|p\right|}}$, we can write:

$$log\left(\xi \right)={ln(\parallel \xi \parallel }_p)+i{\mathsf{\Theta }}_p.$$

Now, let α be any real number. If we restrict the value of α so that ${\displaystyle \alpha <{\mathsf{\Theta }}_p<\left(\alpha +\frac{2\pi k}{\sqrt{\left|p\right|}}\right)}$, then the function

$$log\left(\xi \right)={ln(\parallel \xi \parallel }_p)+i{\mathsf{\Theta }}_p,$$

is a single-valued function in the above stated domain.

Observe that for each fixed α, the single-valued function $log\left(\xi \right)={ln(\parallel \xi \parallel }_p)+i{\mathsf{\Theta }}_p$ is a branch of the multiple-valued function $log.$ The function $\mathrm{Log}\left(\xi \right)={ln(\parallel \xi \parallel }_p)+i{\mathsf{\Theta }}_p$, where ${\displaystyle -\frac{\pi }{\sqrt{\left|p\right|}}<{\mathsf{\Theta }}_p\le \frac{\pi }{\sqrt{\left|p\right|}}}$ is called the principal branch.

Example 2. 

If i is generalized imaginary number, find $i^i$.

According to (72), we may write

$$\begin{array}{ccc}\hfill i^i& =& e^{i(log||i|{|}_p+i·{\arg }_p\left(i\right))}\hfill \\ & =& e^{i\left(log\left(\sqrt{\left|p\right|}\right)+i\left({\theta }_p+\frac{2\pi k}{\sqrt{\left|p\right|}}\right)\right)}\left({\mathit{since},log\parallel i\parallel }_p=\sqrt{\left|p\right|}\right)\hfill \\ & =& e^{ilog\left(\sqrt{\left|p\right|}\right)+i^2\left({\theta }_p+\frac{2k\pi }{\sqrt{\left|p\right|}}\right)}\mathit{where},i^2=p\hfill \\ & =& e^{ilog\sqrt{\left|p\right|}+p\left({\theta }_p+\frac{2k\pi }{\sqrt{\left|p\right|}}\right)}.\hfill \end{array}$$

Remark 14. 

Now, the question is when $p=-1$ what happens? We obtain

$$\begin{array}{ccc}\hfill i^i& =& e^{i(log(i)}\hfill \\ & =& e^{ilog\sqrt{1}+i\left({\theta }_{-1}+2k\pi \right))}\hfill \\ & =& e^{-\left({\theta }_{-1}+2k\pi \right)}\hfill \\ & =& e^{-\frac{\pi }{2}}{e}^{-2k\pi };k=0,\pm 1\pm 2\cdots .\hfill \end{array}$$

The principal branch of $i^i$ is $e^{-\frac{\pi }{2}}.$

Remark 15. 

According to Example 2 and Remark 14, we observe that for $p=-1$, $i^i$ is real number; however, for $p\ne -1$, $i^i$ is general complex number.

5. Conclusions

In this paper, we provide rigorous proofs for some important identities related to bridging the family of p-trigonometric and p-hyperbolic functions, involving the p-complex numbers. We also extend these properties to the logarithmic functions with complex arguments. The study of these special functions will also help in the development of the unknown properties and identities involving other classes of p-special functions.

In future, study can be extended to similar relationships between the inverse p-trigonometric functions and inverse p-hyperbolic functions [17,18]. The study of ordinary differential equations (ODEs) involving complex numbers and their solutions in the generalised p-trigonometric and hyperbolic function basis can also be explored in the future. This may also involve the study of the orthogonality properties of the basis of complex ODEs and their solution using various integral transforms.