<<

Graphs of q-exponentials and q-trigonometric functions Amelia Carolina Sparavigna

To cite this version:

Amelia Carolina Sparavigna. Graphs of q-exponentials and q-trigonometric functions. 2016. ￿hal- 01377262￿

HAL Id: hal-01377262 https://hal.archives-ouvertes.fr/hal-01377262 Preprint submitted on 6 Oct 2016

HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés.

Graphs of q-exponentials and q-trigonometric functions

Amelia Carolina Sparavigna Politecnico di Torino

Abstract Here we will show the behavior of some of qfunctions. In particular we plot the q exponential and the qtrigonometric functions. Since these functions are not generally included as software routines, a Fortran program was necessary to give them.

Keywords qcalculus, qexponential, qtrigonometric functions, Tsallis qfunctions.

Introduction Frank Hilton Jackson (18701960) was an English clergyman and mathematician who systematically studied what today is known as the qcalculus. In particular, he studied some qfunctions and the qanalogs of derivative and integral [1]. Actually, Jackson started his studies introducing the qdifference operator, an operator the origins of which can be tracked back to Eduard Heine and Leonhard Euler [2]. For this reason, the qdifference operator is also known as the EulerHeineJackson operator [3]. Also Carl Friedrich Gauss was involved in the qcalculus since he proposed some relations such as the qanalog of binomials [4]. As told in [5], the qcalculus has various “dialects,” and for this reason it is known as “quantum calculus,” “timescale calculus” or “calculus of partitions” [5]. Here we will use the notation given in the book by Kac and Cheung [6]. This book is discussing two modified versions of a quantum calculus, defined as the “hcalculus” and the “qcalculus.” The letter “h” indicates the Planck's constant and the letter “q” stands for quantum. Let us note that these two versions of calculus reduce to Newton's calculus in the limit where h → 0 or q → 1. Here, in the framework of the qcalculus of [6], we will show the behaviors of some of the q functions. In particular we will plot the qexponential and of the qtrigonometric functions. We will see that, in the limit where q → 1, these functions become the functions commonly used. Since these qfunctions are not generally included as software routines, we prepared a Fortran program for giving them. Before showing the results, let us discuss shortly the qdifference operator and the related qderivative.

The quantum difference operator. In the qcalculus, the qdifference is simply given by:

dq f = f (qx) − f (x)

From this difference, the qderivative is:

f (qx) − f (x) D f = q qx − x

The qderivative reduces to the Newton’s derivative as q →1. We have also the hderivative:

f (x + h) − f (x) D f = h h

In the limit as h → 0 , this reduces to the usual derivative.

Taking h = (q − )1 x , we may see that:

f (x + h) − f (x) f (x + (q − )1 x) − f (x) f (qx) − f (x) D f = = = = D f h h qx − x qx − x q

From the two formulas for Dq f and Dh f , we see that Dh f concerns how the function f (x) changes when a quantity h is added to x, whereas Dq f considers how it changes when the variable x is multiplied by a factor q. Let us consider the function f (x) = xn . If we calculate its qderivative, we obtain:

(qx)n − x n q n −1 (1) D x n = = x n−1 q qx − x q −1

Comparing the ordinary calculus, giving (xn )'= nxn−1 , to Equation (1), we can define the “q integer” [n] by:

q n −1 []n = = 1+ q + q 2 + ...+ q n−1 q −1

Therefore Equation (1) turns out to be:

n n−1 Dq x = [n]x

As a consequence, a nth qderivative of f (x) = xn , which is obtained by reperting n times the qderivative, generates the qfactorial:

[n]!= [n][n −1]...[3][2][ ]1

Form the qfactorials, we can define qbinomial coefficients:

[n]!

[m []! n − m]!

This means that we can use the usual Taylor formula, replacing the derivatives by the q derivatives and the factorials by qfactorials.

The q-exponentials As given in [6], the qanalog of the exponential function is defined as

∞ n x x eq = ∑ n=0 []n !

Since we have that [6]:

∞ xn ∞ xn (1− q)−n = ∑ n n−1 ∑ n=0 (1− q )(1− q )L()1− q n=0 []n !

The qexponential has the following expression too:

∞ (1− q)n ex = xn q ∑ n n−1 n=0 (1− q )(1− q )L()1− q

Another qanalog of the exponential function is [6]:

n  1    ∞ 1−  x n  q  x E = x = e q ∑ n n−1 1 q n=0   1    1    1  1−   1−    1−    q    q  L q          

A property of the qexponential functions is

x y x+ y eq eq = eq if yx = qxy

Due to this commutation relation, x and y are not symmetric and therefore:

x y y x eqeq ≠ eq eq

When q → 1, the qexponentials become the usual exponential. We can see this in the following Figure 1.

The q-trigonometric functions As given in [6], the qanalog of the trigonometric functions are defined as:

ix −ix ix −ix eq − eq eq + eq sin x = ; cos x = q 2i q 2

ix −ix ix −ix Eq − Eq Eq + Eq Sin x = ; Cos x = q 2i q 2

We have that:

(2) cosq x Cosq x + sin q x Sin q x =1.

In the Figure 2, we can see the graphs of the qtrigonometric functions for two different values of q. When q →1, these functions become the usual ones. To check the calculation, in the

Figure 2, it is shown also the value of cosq x Cosq x + sin q x Sin q x . It is equal to 1, as it must be because given by (2). From the plots, we see that the behavior of the qtrigonometric functions become more different from that of the trigonometric functions, when the value of x is large. Let us also note that when q is close to 1, the qfunctions are close to cos x and sin x.

Other q-functions It is necessary to note that other qfunctions exist, which are linked to the formulation of the given by . In 1948 [7], Claude Shannon defined the entropy S of a discrete random variable Ξ as the expected value of the information content: S = p I = − p log p [8]. In this expression, I is the information content of Ξ, the ∑i i i ∑i i b i probability of ievent is pi and b is the base of the used logarithm. Common values of the base are 2, Euler’s number e, and 10. Tsallis generalized the Shannon entropy in the following manner [9]:

1  q  Sq = 1− ∑ pi  q −1 i 

Let us note that, if we consider the qderivative of the quantity p x , we have: ∑i i

qx x ∑ pi − ∑ pi D p x = i i q ∑i i qx − x

Therefore, when x →1:

pqx − p x pq −1 x ∑i i ∑i i ∑i i lim Dq ∑ pi = lim = = −Sq x→1 i x→1 qx − x q −1

Then, the Tsallis entropy is linked to the qderivative. But, in the framework of the Tsallis approach to statistics, we have a deformation of the exponential function, the Tsallis q exponential function, given by [10]:

 exp(x) if q =1 (3) eq (x) =  1/(1−q) []1+ 1( − q)x if q ≠1 and 1+ 1( − q)x > 0

This is different from the qexponential previously discussed. If the function in (3) is expanded in Taylor series, we have [11]:

∞ Qn−1 n (4) eq (x) =1+ ∑ x n=1 n!

In (4), we have Qn (q) =1⋅q(2q −1)(3q − 2)L[nq− (n − )1 ]. From the expression (4) of the Tsallis qexponential, given for complex ix , we can obtain the Tsallis trigonometric functions:

∞ j ∞ j (− )1 Q 2 j −1 2 j (− )1 Q2 j 2 j +1 cosq x =1+ ∑ x ; sinq x = ∑ x j =1 2( j)! j =0 2( j +1)!

References

1. H. Jackson (1908). On qfunctions and a certain difference operators, Trans. Roy. Soc. Edin., 46 253281 2. T. Ernst (2012). A Comprehensive Treatment of qCalculus, Springer Science & Business Media. 3. M. H. Annaby, Z. S. Mansour (2012). qFractional Calculus and Equations, Springer. 4. Ranjan Roy (2011). Sources in the Development of Mathematics: Series and Products from the Fifteenth to the Twentyfirst Century, Cambridge University Press. 5. T. Ernst (2008). The different tongues of qcalculus. Proceedings of the Estonian Academy of Sciences, 2008, 57, 2, 81–99 DOI: 10.3176/proc.2008.2.03 6. V. Kac, Pokman Cheung (2002). Quantum Calculus, Springer, Berlin. 7. C. E. Shannon (1948). A Mathematical Theory of Communication. Bell System Technical Journal 2 (3):379–423. DOI: 10.1002/j.15387305.1948.tb01338.x 8. M. Borda (2011). Fundamentals in and Coding. Springer. ISBN 9783 642203466. 9. C. Tsallis (1988). Possible Generalization of BoltzmannGibbs Statistics, Journal of Statistical Physics, 52: 479–487. DOI:10.1007/BF01016429 10. S. Umarov, C. Tsallis, S. Steinberg (2008). On a qCentral Limit Theorem Consistent with Nonextensive . Milan J. Math. Birkhauser Verlag. 76: 307–328. doi:10.1007/s000320080087y 11. E. P. Borges (1998). On a qgeneralization of circular and hyperbolic functions. J. Phys. A: Math. Gen. 31 5281

x x x Figure 1: Behavior of eq ,e , Eq for different values of q.

Figure 2: qtrigonometric functions for two different values of q.