On Numerical Characteristics of a Simplex and Their Estimates

被引:2
作者
Nevskii M.V. [1 ]
Ukhalov A.Y. [1 ]
机构
[1] Demidov Yaroslavl State University, Yaroslavl
关键词
axial diameter; coefficient of homothety; cube; linear interpolation; norm; numerical methods; projector; simplex;
D O I
10.3103/S0146411617070355
中图分类号
学科分类号
摘要
Let n ∈N, and Qn = [0,1]n let be the n-dimensional unit cube. For a nondegenerate simplex S ⊂ Rn, by σS we denote the homothetic image of with center of homothety in the center of gravity of S and ratio of homothety σ. We apply the following numerical characteristics of a simplex. Denote by ξ(S) the minimal σ > 0 with the property Qn ⊂ σS. By α(S) we denote the minimal σ > 0 such that Qn is contained in a translate of a simplex σS. By di(S) we mean the ith axial diameter of S, i. e., the maximum length of a segment contained in S and parallel to the ith coordinate axis. We apply the computational formulae for ξ(S), α(S), di(S) which have been proved by the first author. In the paper we discuss the case S ⊂ Qn. Let ξn = min{ξ(S): S ⊂ Qn}. Earlier the first author formulated the conjecture: if ξ(S) = ξn, then α(S) = ξ(S). He proved this statement for n = 2 and the case when n + 1 is an Hadamard number, i. e., there exist an Hadamard matrix of order n + 1. The following conjecture is more strong proposition: for each n, there exist γ ≥ 1, not depending on S ⊂ Qn, such that ξ(S) − α(S) ≤S) − ξn). By ϰn we denote the minimal γ with such a property. If n + 1 is an Hadamard number, then the precise value of ϰn is 1. The existence of ϰn for other n was unclear. In this paper with the use of computer methods we obtain an equality ϰ2 = 5+253 = 3.1573.. Also we prove the new estimate ξ4 ≤ 19+5139 = 4.1141.., which improves the earlier result ξ4 ≤ 133 = 4.33.. Our conjecture is that ξ4 is precisely 19+5139. Applying this value in numerical computations we achive the value ϰ4 = 4+135 =1.5211.. Denote by θn the minimal norm of interpolation projector onto the space of linear functions of n variables as an operator from C(Qn) in C(Qn). It is known that, for each n, ξn ≤ n+12(θn−1)+1, and for n = 1, 2,3, 7 here we have an equality. Using computer methods we obtain the result θ4 =73. Hence, the minimal n such that the above inequality has a strong form is equal to 4. © 2017, Allerton Press, Inc.
引用
收藏
页码:757 / 769
页数:12
相关论文
共 12 条
[1]  
Klimov V.S., Ukhalov A.Y., Reshenie zadach matematicheskogo analiza s ispolzovaniem sistem kompyuternoi matematiki, (2014)
[2]  
Nevskij M.V., Inequalities for the norms of interpolating projections, Model. Anal. Inform. Sist., 15, 3, pp. 28-37, (2008)
[3]  
Nevskij M.V., On a certain relation for the minimal norm of an interpolational projection, Model. Anal. Inf. Sist., 16, 1, pp. 24-43, (2009)
[4]  
Nevskii M.V., On a property of n-dimensional simplices, Math. Notes, 87, 4, pp. 543-555, (2010)
[5]  
Nevskii M.V., On geometric charasteristics of an n-dimensional simplex, Model. Anal. Inform. Sist., 18, 2, pp. 52-64, (2011)
[6]  
Nevskii M., Properties of axial diameters of a simplex, Discrete Comput. Geom., 46, 2, pp. 301-312, (2011)
[7]  
Nevskii M.V., Geometricheskie otsenki v polinomial’noi interpolyatsii, (2012)
[8]  
Nevskii M.V., Computation of the longest segment of a given direction in a simplex, Fund. Prikl. Mat., 18, 2, pp. 147-152, (2013)
[9]  
Hudelson M., Klee V., Larman D., Largest j-simplices in d-cubes: Some relatives of the Hadamard maximum determinant problem, Linear Algebra Appl., 241-243, pp. 519-598, (1996)
[10]  
Lassak M., Parallelotopes of maximum volume in a simplex, Discrete Comput. Geom., 21, pp. 449-462, (1999)