Abstract
A discrete Fourier analysis on the fundamental domain Ω d of the d-dimensional lattice of type A d is studied, where Ω2 is the regular hexagon and Ω3 is the rhombic dodecahedron, and analogous results on d-dimensional simplex are derived by considering invariant and anti-invariant elements. Our main results include Fourier analysis in trigonometric functions, interpolation and cubature formulas on these domains. In particular, a trigonometric Lagrange interpolation on the simplex is shown to satisfy an explicit compact formula and the Lebesgue constant of the interpolation is shown to be in the order of (log n)d. The basic trigonometric functions on the simplex can be identified with Chebyshev polynomials in several variables already appeared in literature. We study common zeros of these polynomials and show that they are nodes for a family of Gaussian cubature formulas, which provides only the second known example of such formulas.
Similar content being viewed by others
References
Bacry, H.: Generalized Chebyshev polynomials and characters of GL(N,C) and SL(N,C). In: Group Theoretical Methods in Physics. Lecture Notes in Phys., vol. 201, pp. 483–485. Springer, Berlin (1984)
Bacry, H.: Zeros of polynomials and generalized Chebyshev polynomials. In: Group Theoretical Methods in Physics, Yurmala, 1985, vol. I, pp. 481–494. VNU Sci. Press, Utrecht (1986)
Beerends, R.J.: Chebyshev polynomials in several variables and the radial part of the Laplace-Beltrami operator. Trans. Am. Math. Soc. 328, 779–814 (1991)
Beerends, R.J., Opdam, E.M.: Certain hypergeometric series related to the root system BC. Trans. Am. Math. Soc. 339, 581–609 (1993)
Berens, H., Schmid, H., Xu, Y.: Multivariate Gaussian cubature formula. Arch. Math. 64, 26–32 (1995)
Conway, J.H., Sloane, N.J.A.: Sphere Packings, Lattices and Groups, 3rd edn. Springer, New York (1999)
Debiard, A.: Polynomes de Tchebychev et de Jacobi duns un espace euclidien de dimension p. C. R. Acad. Sci. Paris 296, 529–532 (1983)
Dudgeon, D.E., Mersereau, R.M.: Multidimensional Digital Signal Processing. Prentice-Hall Inc., Englewood Cliffs (1984)
Dunkl, C.F., Xu, Y.: Orthogonal Polynomials of Several Variables. Encyclopedia of Mathematics and its Applications, vol. 81. Cambridge Univ. Press, Cambridge (2001)
Dunn, K.B., Lidl, R.: Multi-dimensional generalizations of the Chebyshev polynomials. Proc. Jpn. Acad. 56, 154–165 (1980)
Dunn, K.B., Lidl, R.: Generalizations of the classical Chebyshev polynomials to polynomials in two variables. Czechoslov. Math. J. 32, 516–528 (1982)
Eier, R., Lidl, R.: A class of orthogonal polynomials in k variables. Math. Ann. 260, 93–99 (1982)
Fuglede, B.: Commuting self-adjoint partial differential operators and a group theoretic problem. J. Funct. Anal. 16, 101–121 (1974)
Higgins, J.R.: Sampling Theory in Fourier and Signal Analysis, Foundations. Oxford Science Publications, New York (1996)
Klimyk, A.U., Patera, J.: (Anti)symmetric multivariate exponential functions and corresponding Fourier transforms. J. Phys. A 40, 10473–10489 (2007)
Klimyk, A.U., Patera, J.: (Anti)symmetric multivariate trigonometric functions and corresponding Fourier transforms. J. Math. Phys. 48(9), 093504 (2007)
Koornwinder, T.: Orthogonal polynomials in two variables which are eigenfunctions of two algebraically independent partial differential operators, I–IV. Nederl. Acad. Wetensch. Proc. Ser. A77 = Indag. Math. 36, 48–66 and 357–381 (1974)
Li, H., Xu, Y.: Discrete Fourier analysis on a dodecahedron and a tetrahedron. Math. Comput. 78, 999–1029 (2009)
Li, H., Sun, J., Xu, Y.: Discrete Fourier analysis, cubature and interpolation on a hexagon and a triangle. SIAM J. Numer. Anal. 46, 1653–1681 (2008)
Lidl, R.: Tschebyscheff polynome in mehreren variabelen. J. Reine Angew. Math. 273, 178–198 (1975)
Macdonald, I.G.: Symmetric Functions and Hall Polynomials, 2nd edn. Oxford Univ. Press Inc., New York (1995)
Marks, R.J. II: Introduction to Shannon Sampling and Interpolation Theory. Springer, New York (1991)
Mysoviskikh, I.P.: Interpolatory Cubature Formulas. Nauka, Moscow (1981)
Podkorytov, A.N.: Order of growth of Lebesgue constants of Fourier sums over polyhedra, Vestnik Leningrad. Univ. Mat. Mekh. Astron. 1982, 110–111, 127 (Russian. English summary)
Ricci, P.E.: Chebyshev polynomials in several variables. Rend. Mat. 11, 295–327 (1978) (Italian)
Stroud, A.: Approximate Calculation of Multiple Integrals. Prentice-Hall, Englewood Cliffs (1971)
Sun, J.: Multivariate Fourier series over a class of non tensor-product partition domains. J. Comput. Math. 21, 53–62 (2003)
Sun, J.: Multivariate Fourier transform methods over simplex and super-simplex domains. J. Comput. Math. 24, 305–322 (2006)
Sun, J.: A new class of three-variable orthogonal polynomials and their recurrences relations. Sci. China, Ser. A 51, 1071–1092 (2008)
Sun, X.: Approximation on the Voronoi cells of the A d lattice. Manuscript (2008)
Yudin, V.A.: Lower bound of the Lebesgue constants. Math. Notes 25(1–2), 63–65 (1979) (Russian)
Xu, Y.: On orthogonal polynomials in several variables. In: Special Functions, q-series and Related Topics. The Fields Institute for Research in Mathematical Sciences, Communications Series, vol. 14, pp. 247–270 (1997)
Xu, Y.: Polynomial interpolation in several variables, cubature formulae, and ideals. Adv. Comput. Math. 12, 363–376 (2000)
Zygmund, A.: Trigonometric Series. Cambridge Univ. Press, Cambridge (1959)
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Michael Frazier.
The first author was supported by NSFC Grants 10601056 and 10971212. The second author was supported by NSF Grant DMS-0604056.
Rights and permissions
About this article
Cite this article
Li, H., Xu, Y. Discrete Fourier Analysis on Fundamental Domain and Simplex of A d Lattice in d-Variables. J Fourier Anal Appl 16, 383–433 (2010). https://doi.org/10.1007/s00041-009-9106-9
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00041-009-9106-9
Keywords
- Discrete Fourier analysis
- Lattice
- Fundamental domain
- Simplex
- Trigonometric
- Cubature
- Lagrange interpolation