For a class of closed nonconvex sets in two-dimensional Euclidean space, an approach to finding the value of the Chebyshev layer is proposed. It is based on two well-known concepts that generalize the definition of a convex set. A family of planar sets with a finite number of pseudo-vertices is considered. Three sets of pseudo-vertices are selected for analysis. The sets differ from each other in the order of smoothness of the pseudo-vertices included in them. Within the framework of each of the three cases considered (the case of a piecewise smooth boundary of a set, the case of a discontinuity in the curvature of the boundary of a set, and the classical case when the curvature of the boundary is continuous), a formula for the limit value of the radii of the support balls (by Efimov and Stechkin) is found. We consider balls with centers lying on a branch of the bisector (on a one-dimensional manifold of the set of non-uniqueness) corresponding to the associated pseudo-vertex. The obtained formulas allow one to analytically calculate the value of the Chebyshev layer for nonconvex sets, including sets with a boundary of variable smoothness. An illustrative example and its interpretation from the point of view of optimal control theory are given.
Keywords: alpha set, set hull, metric projection, nonconvexity measure, set bisector, support ball, Chebyshev layer, control.
Received June 4, 2025
Revised July 9, 2025
Accepted July 14, 2025
Funding Agency: The study of the first author was supported by the Russian Science Foundation (project no. 25-11-00269, https://rscf.ru/project/25-11-00269/).
Aleksandr Aleksandrovich Uspenskii, Dr. Phys.-Math. Sci., Prof., Krasovskii Institute of Mathematics and Mechanics of the Ural Branch of the Russian Academy of Sciences, Yekaterinburg, 620108 Russia, e-mail: uspen@imm.uran.ru
Pavel Dmitrievich Lebedev, Cand. Sci. (Phys.-Math.), Krasovskii Institute of Mathematics and Mechanics, Ural Branch of the Russian Academy of Sciences, Yekaterinburg, 620108 Russia, e-mail: pleb@yandex.ru
REFERENCES
1. Ushakov V.N., Uspenskii A.A. α-sets in finite dimensional Euclidean spaces and their properties. Vestn. Udmurtsk. Univ. Mat. Mekh. Komp. Nauki, 2016, vol. 26, no. 1, pp. 95–120 (in Russian). https://doi.org/10.20537/vm160109
2. Efimov N.V., Stechkin S.B. Support properties of sets in Banach spaces and Chebyshev sets. Dokl. Akad. Nauk SSSR, 1959, vol. 127, no. 2, pp. 254–257 (in Russian).
3. Ivanov G.E. Slabo vypuklyye mnozhestva i funktsii: teoriya i prilozheniya [Weakly convex sets and functions: theory and applications]. Moscow, Fizmatlit Publ., 2006, 352 p. ISBN: 978-5-9221-0738-9 .
4. Vlasov L.P. Chebyshev sets and some generalizations of them. Math. Notes, 1968, vol. 3, no. 1, pp. 36–41. https://doi.org/10.1007/BF01386963
5. Balashov M.V. The Lipschitz property of the metric projection in the Hilbert space. J. Math. Sci., 2020, vol. 250, no. 3, pp. 391–403. https://doi.org/10.1007/s10958-020-05022-6
6. Alimov A.R, Tsar’kov I.G. Connectedness and solarity in problems of best and near-best approximation. Russian Math. Surv., 2016, vol. 71, no. 1, pp. 1–77. https://doi.org/10.1070/RM9698
7. Efimov N.V., Stechkin S.B. Some properties of Chebyshev sets. Dokl. Akad. Nauk SSSR, 1958, vol. 118, no. 1, pp. 17–19 (in Russian).
8. Uspenskii A.A., Lebedev P.D. Identification of the singularity of the generalized solution of the Dirichlet problem for an eikonal type equation under the conditions of minimal smoothness of a boundary set. Vestn. Udmurtsk. Univ. Mat. Mekh. Komp. Nauki, 2018, vol. 28, no. 1, pp. 59–73 (in Russian). https://doi.org/10.20537/vm180106
9. Uspenskii A.A., Lebedev P.D. Numerical-analytic construction of a generalized solution to the eikonal equation in the plane case. Sb. Math., 2024, vol. 215, no. 9, pp. 1224–1248. https://doi.org/10.4213/sm9500e
10. Ushakov V.N., Ershov A.A., Matviychuk A.R. On estimating the degree of nonconvexity of reachable sets of control systems. Proc. Steklov Inst. Math., 2021, vol. 315, no. 1, pp. 247–256. https://doi.org/10.1134/S0081543821050199
11. Lebedev P.D., Uspenskii A.A. Analytical and numerical construction of the optimal outcome function for a class of time-optimal problems. Comput. Math. Model., 2008, vol. 19, no. 4, pp. 375–386. https://doi.org/10.1007/s10598-008-9007-9
12. Bröcker Th., Lander L. Differentiable germs and catastrophes. Cambridge, New York, Cambridge Univ. Press, 1975, 179 p. https://doi.org/10.1017/cbo9781107325418 . Translated to Russian under the title Differentsiruyemyye rostki i katastrofy, Мoscow, Mir Publ., 1977, 208 p.
13. Uspenskii A.A. Calculation formulas for nonsmooth singularities of the optimal result function in a time-optimal problem. Proc. Steklov Inst. Math. (Suppl.), 2015, vol. 291, suppl. 1, pp. S239–S254. https://doi.org/10.1134/S0081543815090163
14. Lebedev P.D., Uspenskii A.A. Conditions of transversality of branches of solution to nonlinear equation in speed problem with a circular indicatrix. Trudy Inst. Mat. Mekh. UrO RAN, 2008, vol. 14, no. 4, pp. 82–99 (in Russian).
15. Lebedev P.D., Uspenskii A.A. The construction of singular curves for generalized solutions of eikonal-type equations with a curvature break in the boundary of the boundary set. Proc. Steklov Inst. Math. (Suppl.), 2017, vol. 297, suppl. 1, pp. S191–S202. https://doi.org/10.1134/S0081543817050212
16. Dem’yanov V.F., Vasil’ev L.V. Nondifferentiable optimization. NY, Springer, 1985, 452 p. Original Russian text was published in Dem’yanov V. F., Vasil’ev L. V. Nedifferentsiruyemaya optimizatsiya, Moscow, Nauka Publ., 1981, 384 p. ISBN: 978-0-387-90951-6 .
17. Nackman L.R., Srinivasan V. Bisectors of linearly separable sets. Discrete Comput. Geom., 1991, vol. 6, pp. 263–275. https://doi.org/10.1007/BF02574688
18. Imai K., Kawamura A., Matoušek J., Reem D., Tokuyama T. Distance k-sectors exist. Comput. Geom., 2010, vol. 43, no. 9, pp. 713–720. https://doi.org/10.1016/j.comgeo.2010.05.001
19. Bruce J.W., Giblin P.J. Curves and singularities. A geometrical introduction to singularity theory. Cambridge, New York, Cambridge Univ. Press, 1984, 222 p. ISBN-10: 0521249457 . Translated to Russian under the title Krivyye i osobennosti. Geometricheskoye vvedeniye v teoriyu osobennostey, Мoscow, Mir Publ., 1988, 262 p. ISBN: 5-03-001194-3 .
20. Mestetskii L.M. Nepreryvnaya morfologiya binarnykh izobrazheniy: figury, skelety, tsirkulyary [Continuous morphology of binary images: figures, skeletons, circulars]. Moscow, Fizmatlit Publ., 2009, 288 p. ISBN: 978-5-9221-1050-1 .
21. Nacry F., Sofonea M. History-dependent operators and prox-regular sweeping processes. Fixed Point Theory Algorithms Sci. Eng. 2022, vol. 1, art. no. 5. https://doi.org/10.1186/s13663-022-00715-w
22. Tolstonogov A.A. Existence and relaxation of solutions for a differential inclusion with maximal monotone operators and perturbations. Dokl. Math., 2023, vol. 108, no. 3, pp. 477–480. https://doi.org/10.1134/S1064562423701399
23. Lebedev P.D., Uspenskii A.A. Alpha sets and their hulls: analytical relationships in the plane case. Vestnik Rossiyskikh Univ. Mat., 2024, vol. 29, no. 146, pp. 204–217 (in Russian).
https://doi.org/10.20310/2686-9667-2024-29-146-204-217
24. Arnold V.I. Osobennosti kaustik i volnovykh frontov [Singularities of caustics and wave fronts]. Moscow, Fazis Publ., 1996, 334 p. ISBN: 5-7036-0021-9 .
25. Karlov M.I. Chebyshev layer of manifolds in a Hilbert space. Proc. Steklov Inst. Math., 1997, vol. 219, pp. 231–244.
26. Vlasov L.P. Chebyshev sets and some generalizations of them. Math. Notes 1968, vol. 3, no. 1, pp. 36–41. https://doi.org/10.1007/BF01386963
Cite this article as: A.A. Uspenskii, P.D. Lebedev. Finding the value of the Chebyshev layer of a flat set using constructions of the theory of alpha sets and Efimov–Stechkin support balls. Trudy Instituta Matematiki i Mekhaniki UrO RAN, 2025, vol. 31, no. 3, pp. 264–280.