Abstract
The seminal works by George Matheron provide the foundations of walks through dimensions for positive definite functions defined in Euclidean spaces. For a d-dimensional space and a class of positive definite functions therein, Matheron called montée and descente two operators that allow for obtaining new classes of positive definite functions in lower and higher dimensional spaces, respectively. The present work examines three different constructions to dimension walks for continuous positive definite functions on hyperspheres. First, we define montée and descente operators on the basis of the spectral representation of isotropic covariance functions on hyperspheres. The second approach provides walks through dimensions following Yadrenko’s construction of random fields on spheres. Under this approach, walks through unit dimensions are not permissible, while it is possible to walk under \(\pm 2\) dimensions from a covariance function that is valid on a d-dimensional sphere. The third construction relies on the integration of a given isotropic random field over latitudinal arcs. In each approach, we provide spectral representations of the montée and descente as well as illustrative examples.
Similar content being viewed by others
Availability of data and materials
Not applicable.
References
Alegría A, Emery X, Lantuéjoul C (2020) The turning arcs: a computationally efficient algorithm to simulate isotropic vector-valued Gaussian random fields on the \(d\)-sphere. Stat Comput 30(5):1403–1418
Askey R (1975) Orthogonal polynomials and special functions. In: Regional conference series in applied mathematics, vol 21. SIAM, Philadelphia
Beatson RK, zu Castell W (2016) One-step recurrences for stationary random fields on the sphere. SIGMA Symmetry Integr Geom Methods Appl 12:043
Beatson RK, zu Castell W (2017) Dimension hopping and families of strictly positive definite zonal basis functions on spheres. J Approx Theory 221:22–37
Beatson RK, zu Castell W, Xu Y (2014) A Pólya criterion for (strict) positive-definiteness on the sphere. IMA J Numer Anal 34(2):550–568
Bochner S (1941) Hilbert distances and positive definite functions. Ann Math 42(3):647–656
Cambanis S, Keener R, Simons G (1983) On \(\alpha \)-symmetric multivariate distributions. J Multivar Anal 13(2):213–233
Chilès JP, Delfiner P (2012) Geostatistics: modeling spatial uncertainty. Wiley, New York
Cohl HS, MacKenzie C, Volkmer H (2013) Generalizations of generating functions for hypergeometric orthogonal polynomials with definite integrals. J Math Anal Appl 407:211–225
Daley DJ, Porcu E (2014) Dimension walks and Schoenberg spectral measures. Proc Am Math Soc 142(5):1813–1824
De Micheli E, Viano GA (2013) The expansion in Gegenbauer polynomials: a simple method for the fast computation of the Gegenbauer coefficients. J Comput Phys 239:112–122
Durand L, Fishbane PM, Simmons L (1976) Expansion formulas and addition theorems for Gegenbauer functions. J Math Phys 17:1933–1948
Eaton ML (1981) On the projections of isotropic distributions. Ann Stat 9(2):391–400
Emery X, Porcu E (2019) Simulating isotropic vector-valued Gaussian random fields on the sphere through finite harmonics approximations. Stoch Environ Res Risk Assess 33(8–9):1659–1667
Emery X, Porcu E, Bissiri P (2019) A semiparametric class of axially symmetric random fields on the sphere. Stoch Environ Res Risk Assess 33(10):1863–1874
Emery X, Arroyo D, Mery N (2022) Twenty-two families of multivariate covariance kernels on spheres, with their spectral representations and sufficient validity conditions. Stoch Environ Res Risk Assess 36(5):1447–1467
Erdélyi A (1954) Tables of integral transforms, vol II. McGraw-Hill, New York
Fang KW (2018) Symmetric multivariate and related distributions. CRC Press, Boca Raton
Gegenbauer L (1884) Zur theorie der functionen \({C}_n^{\nu }(x)\). Denkschriften der Akademie der Wissenschaften in Wien, Math Naturwiss K1 48:293–316
Gel’fand I, Graev M, Vilenkin N (1966) Generalized functions, vol. 5: integral geometry and representation theory. Academic Press, New York
Gneiting T (2001) Criteria of Pólya type for radial positive definite functions. Proc Am Math Soc 129(8):2309–2318
Gneiting T (2002) Compactly supported correlation functions. J Multivar Anal 83(2):493–508
Gradshteyn I, Ryzhik I (2007) Table of integrals, series, and products. Academic Press, Amsterdam
Lantuéjoul C, Freulon X, Renard D (2019) Spectral simulation of isotropic Gaussian random fields on a sphere. Math Geosci 51(8):999–1020
Magnus W, Oberhettinger F, Soni R (1966) Formulas and theorems for the special functions of mathematical physics. Springer, Berlin
Matheron G (1965) Les Variables Régionalisées et leur Estimation. Masson, Paris
Matheron G (1971) The theory of regionalized variables and its applications. Paris School of Mines, Fontainebleau
Matheron G (1973) The intrinsic random functions and their applications. Adv Appl Probab 5(3):439–468
Olver FW, Lozier DM, Boisvert RF et al (2010) NIST handbook of mathematical functions. Cambridge University Press, Cambridge
Porcu E, Gregori P, Mateu J (2007) La descente et la montée étendues: the spatially \(d\)-anisotropic and the spatio-temporal case. Stoch Environ Res Risk Assess 21(6):683–693
Santaló L (1976) Integral geometry and geometric probability. Addison-Wesley, Reading
Schaback R, Wu Z (1996) Operators on radial functions. J Comput Appl Math 73(1–2):257–270
Schoenberg IJ (1938) Metric spaces and completely monotone functions. Ann Math 39(4):811–841
Schoenberg IJ (1942) Positive definite functions on spheres. Duke Math J 9(1):96–108
Trübner M, Ziegel J (2017) Derivatives of isotropic positive definite functions on spheres. Proc Am Math Soc 145(7):3017–3031
Wendland H (1995) Piecewise polynomial, positive definite and compactly supported radial functions of minimal degree. Adv Comput Math 4(1):389–396
Whipple F (1925) A group of generalized hypergeometric series: relations between 120 allied series of the type \(f\left[a,b,c;e,f\right]\). Proc Lond Math Soc s2-23(1):104–114
Yadrenko MI (1983) Spectral theory of random fields. Springer, New York
Acknowledgements
The first author acknowledges the funding of the National Agency for Research and Development of Chile, through grants ANID/FONDECYT/REGULAR/1210050 and ANID PIA AFB180004. The second author was partially supported by Fundação de Amparo à Pesquisa do Estado de São Paulo - FAPESP, # 2021/04269-0.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors declare that they have no conflict of interest.
Ethics approval
Not applicable.
Consent to participate
Not applicable.
Consent for publication
Not applicable.
Code availability
Not applicable.
Additional information
Communicated by Eduardo Souza de Cursi.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Emery, X., Peron, A.P. & Porcu, E. Dimension walks on hyperspheres. Comp. Appl. Math. 41, 199 (2022). https://doi.org/10.1007/s40314-022-01912-4
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s40314-022-01912-4