1. Affine noncommutative geometry
  2. Hyperspherical laws
  3. 16a. Calculus

16a. Calculus

[math] \newcommand{\mathds}{\mathbb}[/math]

This article was automatically generated from a tex file and may contain conversion errors. If permitted, you may login and edit this article to improve the conversion.

We have kept the best for this final chapter. Calculus, more calculus, and even more calculus, in relation with the integration over spheres. Our motivations are varied:


(1) First of all, calculus is a good thing, and calculus over spheres, using spherical coordinates, is even better. Mathematicians usually snub spherical coordinates, deemed “unconceptual”, but physicists just love them. Want to do some electrodynamics? Spherical coordinates. Want to solve the hydrogen atom? Spherical coordinates, too. So, following the physicists, we will love these spherical coordinates too, in this chapter. And let me recommend here again the delightful books of Griffiths [1], [2].


(2) Second, the spheres themselves are a very good thing too, be that in the context of the Connes noncommutative geometry [3], [4], [5], or in the context of our noncommutative geometry, following [6] and related papers, and as explained so far in this book, or in the context of any other kind of noncommutative geometry theory. Also, in our setting, everything more advanced, as for instance of analysis over free manifolds type, like the work in [7], [8], [9], starts of course with a study in the sphere case.


(3) Finally, all this, calculus over spheres, will naturally lead us into all sorts of advanced considerations. At the core of all this will be a tough computation from [10], as well as a subtle twisting result from [11], relating the free orthogonal/unitary projective quantum group [math]PO_N^+=PU_N^+[/math] to the quantum permutation group [math]S_{N^2}^+[/math]. And with this being virtually related to pretty much everything, mathematics and physics alike, including [12], [13], [14], [15], [16], [17], [18], [19], [20], [21], [22], [23], [24].


As a starting point, we have the very natural question, first investigated in [6], of computing the laws of individual coordinates of the main 3 real spheres, namely:

[[math]] S^{N-1}_\mathbb R\subset S^{N-1}_{\mathbb R,*}\subset S^{N-1}_{\mathbb R,+} [[/math]]


We already know from chapter 5 the [math]N\to\infty[/math] behavior of these laws, called “hyperspherical”. To be more precise, for [math]S^{N-1}_\mathbb R[/math] we obtain the normal law, and for [math]S^{N-1}_{\mathbb R,+}[/math] we obtain the semicircle law. As for the sphere [math]S^{N-1}_{\mathbb R,*}[/math], this has the same projective version as [math]S^{N-1}_\mathbb C[/math], where the corresponding law becomes complex Gaussian with [math]N\to\infty[/math], as explained in chapter 5, and so we obtain a symmetrized Rayleigh variable. See [25].


The problem that we want to investigate is that of computing these hyperspherical laws at fixed values of [math]N\in\mathbb N[/math]. Let us begin with a discussion in the classical case. At [math]N=2[/math] the sphere is the unit circle [math]\mathbb T[/math], with [math]z=e^{it}[/math] the coordinates are [math]x=\cos t[/math], [math]y=\sin t[/math], and the integrals of the products of such coordinates can be computed as follows:

Theorem

We have the following formula,

[[math]] \int_0^{\pi/2}\cos^pt\sin^qt\,dt=\left(\frac{\pi}{2}\right)^{\varepsilon(p)\varepsilon(q)}\frac{p!!q!!}{(p+q+1)!!} [[/math]]
where [math]\varepsilon(p)=1[/math] if [math]p[/math] is even, and [math]\varepsilon(p)=0[/math] if [math]p[/math] is odd, and where

[[math]] m!!=(m-1)(m-3)(m-5)\ldots [[/math]]
with the product ending at [math]2[/math] if [math]m[/math] is odd, and ending at [math]1[/math] if [math]m[/math] is even.


Show Proof

This is standard calculus, with particular cases of this formula being very familiar to everyone loving and teaching calculus, as we all should. Let us set:

[[math]] I_p=\int_0^{\pi/2}\cos^pt\,dt [[/math]]


We compute [math]I_p[/math] by partial integration. We have the following formula:

[[math]] \begin{eqnarray*} (\cos^pt\sin t)' &=&p\cos^{p-1}t(-\sin t)\sin t+\cos^pt\cos t\\ &=&p\cos^{p+1}t-p\cos^{p-1}t+\cos^{p+1}t\\ &=&(p+1)\cos^{p+1}t-p\cos^{p-1}t \end{eqnarray*} [[/math]]


By integrating between [math]0[/math] and [math]\pi/2[/math], we obtain the following formula:

[[math]] (p+1)I_{p+1}=pI_{p-1} [[/math]]


Thus we can compute [math]I_p[/math] by recurrence, and we obtain:

[[math]] \begin{eqnarray*} I_p &=&\frac{p-1}{p}\,I_{p-2}\\ &=&\frac{p-1}{p}\cdot\frac{p-3}{p-2}\,I_{p-4}\\ &=&\frac{p-1}{p}\cdot\frac{p-3}{p-2}\cdot\frac{p-5}{p-4}\,I_{p-6}\\ &&\vdots\\ &=&\frac{p!!}{(p+1)!!}\,I_{1-\varepsilon(p)} \end{eqnarray*} [[/math]]


Together with [math]I_0=\frac{\pi}{2}[/math] and [math]I_1=1[/math], which are both clear, we obtain:

[[math]] I_p=\left(\frac{\pi}{2}\right)^{\varepsilon(p)}\frac{p!!}{(p+1)!!} [[/math]]


Summarizing, we have proved the following formula, with one equality coming from the above computation, and with the other equality coming from this, via [math]t=\frac{\pi}{2}-s[/math]:

[[math]] \int_0^{\pi/2}\cos^pt\,dt=\int_0^{\pi/2}\sin^pt\,dt=\left(\frac{\pi}{2}\right)^{\varepsilon(p)}\frac{p!!}{(p+1)!!} [[/math]]


In relation with the formula in the statement, we are therefore done with the case [math]p=0[/math] or [math]q=0[/math]. Let us investigate now the general case. We must compute:

[[math]] I_{pq}=\int_0^{\pi/2}\cos^pt\sin^qt\,dt [[/math]]


In order to do the partial integration, observe that we have:

[[math]] \begin{eqnarray*} (\cos^pt\sin^qt)' &=&p\cos^{p-1}t(-\sin t)\sin^qt\\ &+&\cos^pt\cdot q\sin^{q-1}t\cos t\\ &=&-p\cos^{p-1}t\sin^{q+1}t+q\cos^{p+1}t\sin^{q-1}t \end{eqnarray*} [[/math]]


By integrating between [math]0[/math] and [math]\pi/2[/math], we obtain, for [math]p,q \gt 0[/math]:

[[math]] pI_{p-1,q+1}=qI_{p+1,q-1} [[/math]]


Thus, we can compute [math]I_{pq}[/math] by recurrence. When [math]q[/math] is even we have:

[[math]] \begin{eqnarray*} I_{pq} &=&\frac{q-1}{p+1}\,I_{p+2,q-2}\\ &=&\frac{q-1}{p+1}\cdot\frac{q-3}{p+3}\,I_{p+4,q-4}\\ &=&\frac{q-1}{p+1}\cdot\frac{q-3}{p+3}\cdot\frac{q-5}{p+5}\,I_{p+6,q-6}\\ &=&\vdots\\ &=&\frac{p!!q!!}{(p+q)!!}\,I_{p+q} \end{eqnarray*} [[/math]]


But the last term was already computed above, and we obtain the result:

[[math]] \begin{eqnarray*} I_{pq} &=&\frac{p!!q!!}{(p+q)!!}\,I_{p+q}\\ &=&\frac{p!!q!!}{(p+q)!!}\left(\frac{\pi}{2}\right)^{\varepsilon(p+q)}\frac{(p+q)!!}{(p+q+1)!!}\\ &=&\left(\frac{\pi}{2}\right)^{\varepsilon(p)\varepsilon(q)}\frac{p!!q!!}{(p+q+1)!!} \end{eqnarray*} [[/math]]


Observe that this gives the result for [math]p[/math] even as well, by symmetry. Indeed, we have [math]I_{pq}=I_{qp}[/math], by using the following change of variables:

[[math]] t=\frac{\pi}{2}-s [[/math]]


In the remaining case now, where both [math]p,q[/math] are odd, we can use once again the formula [math]pI_{p-1,q+1}=qI_{p+1,q-1}[/math] established above, and the recurrence goes as follows:

[[math]] \begin{eqnarray*} I_{pq} &=&\frac{q-1}{p+1}\,I_{p+2,q-2}\\ &=&\frac{q-1}{p+1}\cdot\frac{q-3}{p+3}\,I_{p+4,q-4}\\ &=&\frac{q-1}{p+1}\cdot\frac{q-3}{p+3}\cdot\frac{q-5}{p+5}\,I_{p+6,q-6}\\ &=&\vdots\\ &=&\frac{p!!q!!}{(p+q-1)!!}\,I_{p+q-1,1} \end{eqnarray*} [[/math]]


In order to compute the last term, observe that we have:

[[math]] \begin{eqnarray*} I_{p1} &=&\int_0^{\pi/2}\cos^pt\sin t\,dt\\ &=&-\frac{1}{p+1}\int_0^{\pi/2}(\cos^{p+1}t)'\,dt\\ &=&\frac{1}{p+1} \end{eqnarray*} [[/math]]


Thus, we can finish our computation in the case [math]p,q[/math] odd, as follows:

[[math]] \begin{eqnarray*} I_{pq} &=&\frac{p!!q!!}{(p+q-1)!!}\,I_{p+q-1,1}\\ &=&\frac{p!!q!!}{(p+q-1)!!}\cdot\frac{1}{p+q}\\ &=&\frac{p!!q!!}{(p+q+1)!!} \end{eqnarray*} [[/math]]


Thus, we obtain the formula in the statement, the exponent of [math]\pi/2[/math] appearing there being [math]\varepsilon(p)\varepsilon(q)=0\cdot 0=0[/math] in the present case, and this finishes the proof.

■

General references

Banica, Teo (2024). "Affine noncommutative geometry". arXiv:2012.10973 [math.QA].

References

  1. D.J. Griffiths, Introduction to electrodynamics, Cambridge Univ. Press (2017).
  2. D.J. Griffiths and D.F. Schroeter, Introduction to quantum mechanics, Cambridge Univ. Press (2018).
  3. A. Connes and M. Dubois-Violette, Moduli space and structure of noncommutative 3-spheres, Lett. Math. Phys. 66 (2003), 91--121.
  4. A. Connes and G. Landi, Noncommutative manifolds, the instanton algebra and isospectral deformations, Comm. Math. Phys. 221 (2001), 141--160.
  5. F. D'Andrea, L. Dabrowski and G. Landi, The noncommutative geometry of the quantum projective plane, Rev. Math. Phys. 20 (2008), 979--1006.
  6. 6.0 6.1 T. Banica and D. Goswami, Quantum isometries and noncommutative spheres, Comm. Math. Phys. 298 (2010), 343--356.
  7. F. Cipriani, U. Franz and A. Kula, Symmetries of Lévy processes on compact quantum groups, their Markov semigroups and potential theory, J. Funct. Anal. 266 (2014), 2789--2844.
  8. B. Das, U. Franz and X. Wang, Invariant Markov semigroups on quantum homogeneous spaces, J. Noncommut. Geom. 15 (2021), 531--580.
  9. B. Das and D. Goswami, Quantum Brownian motion on noncommutative manifolds: construction, deformation and exit times, Comm. Math. Phys. 309 (2012), 193--228.
  10. T. Banica, B. Collins and P. Zinn-Justin, Spectral analysis of the free orthogonal matrix, Int. Math. Res. Not. 17 (2009), 3286--3309.
  11. T. Banica, J. Bichon and S. Curran, Quantum automorphisms of twisted group algebras and free hypergeometric laws, Proc. Amer. Math. Soc. 139 (2011), 3961--3971.
  12. J. Bhowmick, F. D'Andrea and L. Dabrowski, Quantum isometries of the finite noncommutative geometry of the standard model, Comm. Math. Phys. 307 (2011), 101--131.
  13. J. Bhowmick, F. D'Andrea, B. Das and L. Dabrowski, Quantum gauge symmetries in noncommutative geometry, J. Noncommut. Geom. 8 (2014), 433--471.
  14. A.H. Chamseddine and A. Connes, The spectral action principle, Comm. Math. Phys. 186 (1997), 731--750.
  15. A.H. Chamseddine and A. Connes, Why the standard model, J. Geom. Phys. 58 (2008), 38--47.
  16. P. Di Francesco, Meander determinants, Comm. Math. Phys. 191 (1998), 543--583.
  17. V.F.R. Jones, Index for subfactors, Invent. Math. 72 (1983), 1--25.
  18. V.F.R. Jones, On knot invariants related to some statistical mechanical models, Pacific J. Math. 137 (1989), 311--334.
  19. V.F.R. Jones, Planar algebras I (1999).
  20. V.A. Marchenko and L.A. Pastur, Distribution of eigenvalues in certain sets of random matrices, Mat. Sb. 72 (1967), 507--536.
  21. J. Nash, The imbedding problem for Riemannian manifolds, Ann. of Math. 63 (1956), 20--63.
  22. D.V. Voiculescu, K.J. Dykema and A. Nica, Free random variables, AMS (1992).
  23. E. Wigner, Characteristic vectors of bordered matrices with infinite dimensions, Ann. of Math. 62 (1955), 548--564.
  24. E. Witten, Quantum field theory and the Jones polynomial, Comm. Math. Phys. 121 (1989), 351--399.
  25. T. Banica, S. Curran and R. Speicher, Classification results for easy quantum groups, Pacific J. Math. 247 (2010), 1--26.