Existence of Solutions to Systems of Underdetermined Equations and Spherical Designs
@article{Chen2006ExistenceOS, title={Existence of Solutions to Systems of Underdetermined Equations and Spherical Designs}, author={Xiaojun Chen and Robert S. Womersley}, journal={SIAM J. Numer. Anal.}, year={2006}, volume={44}, pages={2326-2341} }
This paper is concerned with proving the existence of solutions to an underdetermined system of equations and with the application to existence of spherical $t$-designs with $(t+1)^2$ points on the unit sphere $S^2$ in $R^3$. We show that the construction of spherical designs is equivalent to solution of underdetermined equations. A new verification method for underdetermined equations is derived using Brouwer’s fixed point theorem. Application of the method provides spherical $t$-designs which…
54 Citations
Numerical verification methods for sphericalt-designs
- Mathematics
- 2009
The construction of sphericalt-designs with (t+1)2 points on the unit sphereS2 in ℝ3 can be reformulated as an underdetermined system of nonlinear equations. This system is highly nonlinear and…
Numerical construction of spherical t-designs by Barzilai-Borwein method
- MathematicsApplied Numerical Mathematics
- 2020
Computational existence proofs for spherical t-designs
- Computer Science, MathematicsNumerische Mathematik
- 2011
A computational algorithm based on interval arithmetic which, for given t, upon successful completion will have proved the existence of a t-design with (t + 1)2 nodes on the unit sphere and will have computed narrow interval enclosures which are known to contain these nodes with mathematical certainty.
Numerical Integration over the Unit Sphere by using spherical t-design
- Mathematics
- 2015
This paper studies numerical integration over the unit sphere $ \mathbb{S}^2 \subset \mathbb{R}^{3} $ by using spherical $t$-design, which is an equal positive weights quadrature rule with polynomial…
Explicit spherical designs
- MathematicsAlgebraic Combinatorics
- 2022
Since the introduction of the notion of spherical designs by Delsarte, Goethals, and Seidel in 1977, finding explicit constructions of spherical designs had been an open problem. Most existence proofs…
Spherical t휀-designs for approximations on the sphere
- MathematicsMath. Comput.
- 2018
The worst-case errors of quadrature rules using spherical $t_\epsilon$-designs in a Sobolev space are studied, and a model of polynomial approximation with the $l_1$-regularization using spherical £t_£t- designs is investigated.
Numerical computation of triangular complex spherical designs with small mesh ratio
- MathematicsJ. Comput. Appl. Math.
- 2023
Regularized Least Squares Approximations on the Sphere Using Spherical Designs
- MathematicsSIAM J. Numer. Anal.
- 2012
This work considers polynomial approximation on the unit sphere by a class of regularized discrete least squares methods with novel choices for the regularization operator and the point sets of the discretization.
Well Conditioned Spherical Designs for Integration and Interpolation on the Two-Sphere
- MathematicsSIAM J. Numer. Anal.
- 2010
This paper shows how to construct well conditioned spherical designs with $N\geq(t+1)^2$ points by maximizing the determinant of a matrix while satisfying a system of nonlinear constraints.
The Coulomb energy of spherical designs on S2
- MathematicsAdv. Comput. Math.
- 2008
If the sequence of well separated spherical designs is such that m and n are related by m = O(n2), then the Coulomb energy of each m-point spherical n-design has an upper bound with the same first term and a second term of the same order as the bounds for the minimum energy of point sets on S2.
References
SHOWING 1-10 OF 25 REFERENCES
Solution of underdetermined nonlinear equations by stationary iteration methods
- Mathematics
- 1983
SummaryNonlinear stationary fixed point iterations inRn are considered. The Perron-Ostrowski theorem [23] guarantees convergence if the iteration functionG possesses an isolated fixed pointu. In this…
Extremal Systems of Points and Numerical Integration on the Sphere
- MathematicsAdv. Comput. Math.
- 2004
Extreme systems of points on the unit sphere Sr⊂Rr+1 of degrees up to 191 provide well distributed points, and are found to yield interpolatory cubature rules with positive weights, and the worst case cubature error in a certain Hilbert space is considered.
Efficient numerical validation of solutions of nonlinear systems
- Mathematics
- 1994
A new stopping criterion for Newton’s method is derived by combining the properties of the Krawczyk operator and a corollary of the Newton–Kantorovich theorem. When this criterion is satisfied the…
Fast verification of solutions of matrix equations
- Mathematics, Computer ScienceNumerische Mathematik
- 2002
Different algorithms are proposed, the fastest with $\frac{2}{3} n^3$ flops computational cost for the verification step, the same as for the LU decomposition.
Equidistribution on the Sphere
- MathematicsSIAM J. Sci. Comput.
- 1997
Five kinds of point systems on the spheres, namely lattices in polar coordinates, transformed two-dimensional sequences, rotations on the sphere, triangulations, and "sum of three squares sequence," are investigated and calculations exhibit different orders of convergence of the generalized discrepancy.
Optimal numerical integration on a sphere
- Mathematics
- 1963
Little has been published on this subject or on its extension to the solid sphere. The literature is surveyed briefly in Section 7. Most of our space is devoted to formulas invariant with respect to…
Least-change secant update methods for undetermined systems
- Mathematics
- 1990
Least-change secant updates for nonsquare matrices have been addressed recently in (6). Here the use of these updates in iterative procedures for the numerical solution of underde- retrained systems…
How good can polynomial interpolation on the sphere be?
- MathematicsAdv. Comput. Math.
- 2001
The quality of polynomial interpolation approximations over the sphere Sr−1⊂Rr in the uniform norm is explored, principally for r=3, and empirical evidence suggests that for points obtained by maximizing λmin , the growth in ‖Λn‖ is approximately n+1 for n<30.
Spherical faraday cage for the case of equal point charges and chebyshev-type quadrature on the sphere
- Physics
- 1993
It is shown that configuratin of N point charges 1/N on the unist sphere S,which generate a small electrostatic field inside the unit ball, correspond to good N-tuples of nodes for Chebyshev-type…
Iterative solution of nonlinear equations in several variables
- MathematicsComputer science and applied mathematics
- 1970
Convergence of Minimization Methods An Annotated List of Basic Reference Books Bibliography Author Index Subject Index.