Orthogonal Exponential Functions on the Three-Dimensional Sierpinski Gasket

Zhi-Min Wang

DOI: https://doi.org/10.1007/s11785-024-01536-y

2024-05-01

Complex Analysis and Operator Theory

Abstract:Let , and with for . For an expanding real matrix

mathematics, applied

What problem does this paper attempt to address?

The Orthogonal Bases of Exponential Functions Based on Moran-Sierpinski Measures

Qi Rong Deng,Xing Gang He,Ming Tian Li,Yuan Ling Ye

DOI: https://doi.org/10.1007/s10114-024-2604-5

2024-05-21

Acta Mathematica Sinica English Series

Abstract:Let A n ∈ M 2 (Z) be integral matrices such that the infinite convolution of Dirac measures with equal weights

mathematics, applied
Multiple Orthogonal Polynomials Associated with an Exponential Cubic Weight

Walter Van Assche,Galina Filipuk,Lun Zhang

DOI: https://doi.org/10.1016/j.jat.2014.06.006

IF: 0.993

2015-01-01

Journal of Approximation Theory

Abstract:We consider multiple orthogonal polynomials associated with the exponential cubic weight e−x3 over two contours in the complex plane. We study the basic properties of these polynomials, including the Rodrigues formula and nearest-neighbor recurrence relations. It turns out that the recurrence coefficients are related to a discrete Painlevé equation. The asymptotics of the recurrence coefficients, the ratio of the diagonal multiple orthogonal polynomials and the (scaled) zeros of these polynomials are also investigated.
An evolution of matrix-valued orthogonal polynomials

Erik Koelink,Pablo Román,Wadim Zudilin

2024-11-27

Abstract:We establish new explicit connections between classical (scalar) and matrix Gegenbauer polynomials, which result in new symmetries of the latter and further give access to several properties that have been out of reach before: generating functions, distribution of zeros for individual entries of the matrices and new type of differential-difference structure. We further speculate about other potentials of the connection formulas found. Part of our proofs makes use of creative telescoping in a matrix setting$-$the strategy which is not yet developed algorithmically.

Classical Analysis and ODEs,Mathematical Physics,Combinatorics,Number Theory,Representation Theory
Orthogonal Polynomial Expansions on Sparse Grids.

Yanzhao Cao,Ying Jiang,Yuesheng Xu

DOI: https://doi.org/10.1016/j.jco.2014.04.001

IF: 1.333

2014-01-01

Journal of Complexity

Abstract:We study the orthogonal polynomial expansion on sparse grids for a function of d variables in a weighted L2 space. Two fast algorithms are developed for computing the orthogonal polynomial expansion and evaluating a linear combination of orthogonal polynomials on sparse grids by combining the fast cosine transform, the fast transforms between the Chebyshev orthogonal polynomial basis and the orthogonal polynomial basis for the weighted L2 space, and a fast algorithm of computing hierarchically structured basis functions. The total number of arithmetic operations used in both algorithms is O(nlogd+1n) where n is the highest polynomial degree in one dimension. The exponential convergence of the approximation for the analytic function is investigated. Specifically, we show the sub-exponential convergence for analytic functions and moreover we prove the approximation order is optimal for the Chebyshev orthogonal polynomial expansion. We furthermore establish the fully exponential convergence for functions with a somewhat stronger analytic assumption. Numerical experiments confirm the theoretical results and demonstrate the efficiency and stability of the proposed algorithms.
The "hot Spots" Conjecture on Higher Dimensional Sierpinski Gaskets

Xiao-Hui Li,Huo-Jun Ruan

DOI: https://doi.org/10.3934/cpaa.2016.15.287

2016-01-01

Abstract:In this paper, using spectral decimation, we prove that the "hot spots" conjecture holds on higher dimensional Sierpinski gaskets.
On sets of orthogonal exponentials on the disk

Dmitrii Zakharov

2024-05-23

Abstract:We show that if $A$ is a set of mutually orthogonal exponentials with respect to the unit disk then $|A \cap [-R, R]^2| \lesssim_\varepsilon R^{3/5+\varepsilon}$ holds. This improves the previous bound of $R^{2/3}$ by Iosevich--Kolountzakis. The main new ingredient in the proof is a variant of Marstrand's projection theorem.

Classical Analysis and ODEs,Metric Geometry
Covering Maps and Periodic Functions on Higher Dimensional Sierpinski Gaskets

Huo-Jun Ruan,Robert S. Strichartz

DOI: https://doi.org/10.4153/cjm-2009-054-5

2010-01-01

Canadian Journal of Mathematics

Abstract:We construct covering maps from infinite blowups of the n-dimensional Sierpinski gasket SG(n) to certain compact fractafolds based on SG(n). These maps are fractal analogs of the usual covering maps from the line to the circle. The construction extends work of the second author in the case n = 2, but a different method of proof is needed, which amounts to solving a Sudoku-type puzzle. We can use the covering maps to define the notion of periodic function on the blowups. We give a characterization of these periodic functions and describe the analog of Fourier series expansions. We study covering maps onto quotient fractalfolds. Finally, we show that such covering maps fail to exist for many other highly symmetric fractals.
Orthogonal structure and orthogonal series in and on a double cone or a hyperboloid

Yuan Xu

DOI: https://doi.org/10.48550/arXiv.1912.07533

2019-12-17

Abstract:We consider orthogonal polynomials on the surface of a double cone or a hyperboloid of revolution, either finite or infinite in axis direction, and on the solid domain bounded by such a surface and, when the surface is finite, by hyperplanes at the two ends. On each domain a family of orthogonal polynomials, related to the Gegebauer polynomials, is study and shown to share two characteristic properties of spherical harmonics: they are eigenfunctions of a second order linear differential operator with eigenvalues depending only on the polynomial degree, and they satisfy an addition formula that provides a closed form formula for the reproducing kernel of the orthogonal projection operator. The addition formula leads to a convolution structure, which provides a powerful tool for studying the Fourier orthogonal series on these domains. Furthermore, another family of orthogonal polynomials, related to the Hermite polynomials, is defined and shown to be the limit of the first family, and their properties are derived accordingly.

Classical Analysis and ODEs
Maximality and completeness of orthogonal exponentials on the cube

Mihail N. Kolountzakis,Nir Lev,Máté Matolcsi

2024-10-16

Abstract:It is possible to have a packing by translates of a cube that is maximal (i.e.\ no other cube can be added without overlapping) but does not form a tiling. In the long running analogy of packing and tiling to orthogonality and completeness of exponentials on a domain, we pursue the question whether one can have maximal orthogonal sets of exponentials for a cube without them being complete. We prove that this is not possible in dimensions 1 and 2, but is possible in dimensions 3 and higher. We provide several examples of such maximal incomplete sets of exponentials, differing in size, and we raise relevant questions. We also show that even in dimension $1$ there are sets which are spectral (i.e. have a complete set of orthogonal exponentials) and yet they also possess maximal incomplete sets of orthogonal exponentials.

Classical Analysis and ODEs
Singular Values of Products of Ginibre Random Matrices, Multiple Orthogonal Polynomials and Hard Edge Scaling Limits

Arno B. J. Kuijlaars,Lun Zhang

DOI: https://doi.org/10.1007/s00220-014-2064-3

2014-01-01

Abstract:Akemann, Ipsen and Kieburg recently showed that the squared singular values of products of M rectangular random matrices with independent complex Gaussian entries are distributed according to a determinantal point process with a correlation kernel that can be expressed in terms of Meijer G-functions. We show that this point process can be interpreted as a multiple orthogonal polynomial ensemble. We give integral representations for the relevant multiple orthogonal polynomials and a new double contour integral for the correlation kernel, which allows us to find its scaling limits at the origin (hard edge). The limiting kernels generalize the classical Bessel kernels. For M = 2 they coincide with the scaling limits found by Bertola, Gekhtman, and Szmigielski in the Cauchy-Laguerre two-matrix model, which indicates that these kernels represent a new universality class in random matrix theory.
Upward extension of the Jacobi matrix for orthogonal polynomials

André Ronveaux,Walter Van Assche

DOI: https://doi.org/10.48550/arXiv.math/9510213

1995-10-09

Abstract:Orthogonal polynomials on the real line always satisfy a three-term recurrence relation. The recurrence coefficients determine a tridiagonal semi-infinite matrix (Jacobi matrix) which uniquely characterizes the orthogonal polynomials. We investigate new orthogonal polynomials by adding to the Jacobi matrix $r$ new rows and columns, so that the original Jacobi matrix is shifted downward. The $r$ new rows and columns contain $2r$ new parameters and the newly obtained orthogonal polynomials thus correspond to an upward extension of the Jacobi matrix. We give an explicit expression of the new orthogonal polynomials in terms of the original orthogonal polynomials, their associated polynomials and the $2r$ new parameters, and we give a fourth order differential equation for these new polynomials when the original orthogonal polynomials are classical. Furthermore we show how the orthogonalizing measure for these new orthogonal polynomials can be obtained and work out the details for a one-parameter family of Jacobi polynomials for which the associated polynomials are again Jacobi polynomials.

Classical Analysis and ODEs
Global Asymptotics for Polynomials Orthogonal with Exponential Quartic Weight.

R. Wong,L. Zhang

DOI: https://doi.org/10.3233/asy-2008-0937

2009-01-01

Asymptotic Analysis

Abstract:In this paper, we study the asymptotics of polynomials orthogonal with respect to the varying quartic weight ω(x) = e −nV (x) ,w hereV (x) = Vt(x) = x 4 4 + t 2 x 2 . We focus on the critical case t = −2, in the sense that for t −2, the support of the associated equilibrium measure is a single interval, while for t< −2, the support consists of two intervals. Globally uniform asymptotic expansions are obtained for z in three unbounded regions. These regions together cover the whole complex z-plane. In particular, in the region containing the origin, the expansion involves the Ψ function affiliated with the Hastings- McLeod solution of the second Painleve equation. Our approach is based on a modified version of the steepest-descent method for Riemann-Hilbert problems introduced by Deift and Zhou (Ann. Math. 137 (1993), 295-370).
Green functions for GJMS operators on spheres, Gegenbauer polynomials and rigidity theorems

Xuezhang Chen,Yalong Shi

2024-10-22

Abstract:We derive explicit representation formulae of Green functions for GJMS operators on $n$-spheres, including the fractional ones. These formulae have natural geometric interpretations concerning the extrinsic geometry of the round sphere. Conversely, we discover that this special feature uniquely characterizes spheres among closed embedded hypersurfaces in $\mathbb{R}^{n+1}$. Furthermore, for $n=3,4,5$ we prove a strong rigidity theorem for Green functions of hypersurfaces in $\mathbb{R}^{n+1}$ using the Positive Mass Theorem.

Differential Geometry,Analysis of PDEs
Uniform Asymptotics for Orthogonal Polynomials with Exponential Weight on the Positive Real Axis

Dan Dai,Weiyuan Qiu,Jun Wang

DOI: https://doi.org/10.3233/asy-141219

2014-01-01

Asymptotic Analysis

Abstract:We consider the uniform asymptotics of polynomials orthogonal on [ 0,8) with respect to the exponential weight w(x) = x(alpha)e- (Q( x)), where alpha > - 1 and Q( x) is a polynomial with positive leading coefficient. In this paper, we have obtained two types of asymptotic expansions in terms of Laguerre polynomials and elementary functions for z in different overlapping regions, respectively. These two regions together cover the whole complex plane. Our approach is based on the steepest descent method for Riemann-Hilbert problems introduced by Deift and Zhou [ Ann. Math. 137 ( 1993), 295-368].
Szegő's Theorem for Matrix Orthogonal Polynomials

Maxim Derevyagin,Olga Holtz,Sergey Khrushchev,Mikhail Tyaglov

DOI: https://doi.org/10.1016/j.jat.2012.05.003

IF: 0.993

2012-01-01

Journal of Approximation Theory

Abstract:We extend some classical theorems in the theory of orthogonal polynomials on the unit circle to the matrix case. In particular, we prove a matrix analogue of Szegő’s theorem. As a by-product, we also obtain an elementary proof of the distance formula by Helson and Lowdenslager.
Box-splines orthogonal projections

M. Beśka,K. Dziedziul

DOI: https://doi.org/10.48550/arXiv.1812.01700

2018-12-05

Abstract:Let $P$ be orthogonal projection on B-splines of degree $r-1$ with equally spaced knots. Sweldens and Piessens proved that $P(x^r)-x^r$ is Bernoulli polynomial. We generalize Sweldens ans Piessens's result for box-splines. It gives the opportunity to define the seminorm of Sobolev space in terms of the asymptotic formula for the error in orthogonal projection.

Classical Analysis and ODEs
Orthogonal Polynomials on Planar Cubic Curves

Marco Fasondini,Sheehan Olver,Yuan Xu

DOI: https://doi.org/10.1007/s10208-021-09540-w

IF: 3.4388

2021-11-11

Foundations of Computational Mathematics

Abstract:Abstract Orthogonal polynomials in two variables on cubic curves are considered. For an integral with respect to an appropriate weight function defined on a cubic curve, an explicit basis of orthogonal polynomials is constructed in terms of two families of orthogonal polynomials in one variable. We show that these orthogonal polynomials can be used to approximate functions with cubic and square root singularities, and demonstrate their usage for solving differential equations with singular solutions.

mathematics, applied,computer science, theory & methods
Oscillation And Dimensions Of Harmonic Functions On The Sierpiński Gaskets

ZHEN LIANG,HUO-JUN RUAN

DOI: https://doi.org/10.1142/s0218348x24501342

2024-10-12

Fractals

Abstract:Fractals, Ahead of Print. In this paper, we estimate the oscillation of harmonic functions on the [math]-dimensional Sierpiński gasket [math], where [math] is the classical Sierpiński gasket. By using this result, we prove that both the box dimension and the Hausdorff dimension of graphs of harmonic functions on [math] are [math].

mathematics, interdisciplinary applications,multidisciplinary sciences
Doubly periodic lozenge tilings of a hexagon and matrix valued orthogonal polynomials

Christophe Charlier

DOI: https://doi.org/10.1111/sapm.12339

Abstract:We analyze a random lozenge tiling model of a large regular hexagon, whose underlying weight structure is periodic of period 2 in both the horizontal and vertical directions. This is a determinantal point process whose correlation kernel is expressed in terms of non-Hermitian matrix valued orthogonal polynomials (OPs). This model belongs to a class of models for which the existing techniques for studying asymptotics cannot be applied. The novel part of our method consists of establishing a connection between matrix valued and scalar valued OPs. This allows to simplify the double contour formula for the kernel obtained by Duits and Kuijlaars by reducing the size of a Riemann-Hilbert problem. The proof relies on the fact that the matrix valued weight possesses eigenvalues that live on an underlying Riemann surface M of genus 0. We consider this connection of independent interest; it is natural to expect that similar ideas can be used for other matrix valued OPs, as long as the corresponding Riemann surface M is of genus 0. The rest of the method consists of two parts, and mainly follows the lines of a previous work of Charlier, Duits, Kuijlaars and Lenells. First, we perform a Deift-Zhou steepest descent analysis to obtain asymptotics for the scalar valued OPs. The main difficulty is the study of an equilibrium problem in the complex plane. Second, the asymptotics for the OPs are substituted in the double contour integral and the latter is analyzed using the saddle point method. Our main results are the limiting densities of the lozenges in the disordered flower-shaped region. However, we stress that the method allows in principle to rigorously compute other meaningful probabilistic quantities in the model.
Solving the matrix exponential function for special orthogonal groups SO(n) and the exceptional G$_2$

Norbert Kaiser

2023-08-23

Abstract:In this work the matrix exponential function is solved analytically for the special orthogonal groups $SO(n)$ up to $n=9$. The number of occurring $k$-th matrix powers gets limited to $0\leq k \leq n-1$ by exploiting the Cayley-Hamilton relation. The corresponding expansion coefficients can be expressed as cosine and sine functions of a vector-norm $V$ and the roots of a polynomial equation that depends on a few specific invariants. Besides the well known case of $SO(3)$, a quadratic equation needs to be solved for $n=4,5$, a cubic equation for $n=6,7$, and a quartic equation for $n=8,9$. As an interesting subgroup of $SO(7)$, the exceptional Lie group $G_2$ of dimension $14$ is constructed via the matrix exponential function through a remarkably simple constraint on an invariant, $\xi=1$. The calculation of the trace of the $SO(n)$-matrices arising from the exponential function, results in a sum of cosines of several angles, which specify the associated conjugation class as a point on a maximal torus.

Mathematical Physics,Nuclear Theory

Orthogonal Exponential Functions on the Three-Dimensional Sierpinski Gasket

The Orthogonal Bases of Exponential Functions Based on Moran-Sierpinski Measures

Multiple Orthogonal Polynomials Associated with an Exponential Cubic Weight

An evolution of matrix-valued orthogonal polynomials

Orthogonal Polynomial Expansions on Sparse Grids.

The "hot Spots" Conjecture on Higher Dimensional Sierpinski Gaskets

On sets of orthogonal exponentials on the disk

Covering Maps and Periodic Functions on Higher Dimensional Sierpinski Gaskets

Orthogonal structure and orthogonal series in and on a double cone or a hyperboloid

Maximality and completeness of orthogonal exponentials on the cube

Singular Values of Products of Ginibre Random Matrices, Multiple Orthogonal Polynomials and Hard Edge Scaling Limits

Upward extension of the Jacobi matrix for orthogonal polynomials

Global Asymptotics for Polynomials Orthogonal with Exponential Quartic Weight.

Green functions for GJMS operators on spheres, Gegenbauer polynomials and rigidity theorems

Uniform Asymptotics for Orthogonal Polynomials with Exponential Weight on the Positive Real Axis

Szegő's Theorem for Matrix Orthogonal Polynomials

Box-splines orthogonal projections

Orthogonal Polynomials on Planar Cubic Curves

Oscillation And Dimensions Of Harmonic Functions On The Sierpiński Gaskets

Doubly periodic lozenge tilings of a hexagon and matrix valued orthogonal polynomials

Solving the matrix exponential function for special orthogonal groups SO(n) and the exceptional G$_2$