Pub Date : 2024-09-13DOI: 10.1016/j.jat.2024.106098
David Krieg , Mathias Sonnleitner
We consider the task of recovering a Sobolev function on a connected compact Riemannian manifold when given a sample on a finite point set. We prove that the quality of the sample is given by the -average of the geodesic distance to the point set and determine the value of . This extends our findings on bounded convex domains [IMA J. Numer. Anal., 2024]. As a byproduct, we prove the optimal rate of convergence of the th minimal worst case error for -approximation for all .
Further, a limit theorem for moments of the average distance to a set consisting of i.i.d. uniform points is proven. This yields that a random sample is asymptotically as good as an optimal sample in precisely those cases with . In particular, we obtain that cubature formulas with random nodes are asymptotically as good as optimal cubature formulas if the weights are chosen correctly. This closes a logarithmic gap left open by Ehler, Gräf and Oates [Stat. Comput., 29:1203-1214, 2019].
我们考虑了当给定有限点集上的样本时,在连通紧凑黎曼流形 M 上恢复 Sobolev 函数的任务。我们证明样本的质量是由到点集的大地距离的 Lγ(M)- 平均值给出的,并确定了 γ∈(0,∞] 的值。这扩展了我们在有界凸域上的发现[IMA J. Numer. Anal.]作为副产品,我们证明了 Lq(M)-approximation 在所有 1≤q≤∞ 条件下第 n 次最小最坏情况误差的最佳收敛速率。由此可以得出,正是在γ<∞的情况下,随机样本在渐近上与最优样本一样好。特别是,如果权重选择得当,我们可以得到带有随机节点的立体公式在渐近上与最优立体公式一样好。这弥补了埃勒、格拉夫和奥茨[Stat. Comput., 29:1203-1214, 2019]留下的对数差距。
{"title":"Function recovery on manifolds using scattered data","authors":"David Krieg , Mathias Sonnleitner","doi":"10.1016/j.jat.2024.106098","DOIUrl":"10.1016/j.jat.2024.106098","url":null,"abstract":"<div><p>We consider the task of recovering a Sobolev function on a connected compact Riemannian manifold <span><math><mi>M</mi></math></span> when given a sample on a finite point set. We prove that the quality of the sample is given by the <span><math><mrow><msub><mrow><mi>L</mi></mrow><mrow><mi>γ</mi></mrow></msub><mrow><mo>(</mo><mi>M</mi><mo>)</mo></mrow></mrow></math></span>-average of the geodesic distance to the point set and determine the value of <span><math><mrow><mi>γ</mi><mo>∈</mo><mrow><mo>(</mo><mn>0</mn><mo>,</mo><mi>∞</mi><mo>]</mo></mrow></mrow></math></span>. This extends our findings on bounded convex domains [IMA J. Numer. Anal., 2024]. As a byproduct, we prove the optimal rate of convergence of the <span><math><mi>n</mi></math></span>th minimal worst case error for <span><math><mrow><msub><mrow><mi>L</mi></mrow><mrow><mi>q</mi></mrow></msub><mrow><mo>(</mo><mi>M</mi><mo>)</mo></mrow></mrow></math></span>-approximation for all <span><math><mrow><mn>1</mn><mo>≤</mo><mi>q</mi><mo>≤</mo><mi>∞</mi></mrow></math></span>.</p><p>Further, a limit theorem for moments of the average distance to a set consisting of i.i.d. uniform points is proven. This yields that a random sample is asymptotically as good as an optimal sample in precisely those cases with <span><math><mrow><mi>γ</mi><mo><</mo><mi>∞</mi></mrow></math></span>. In particular, we obtain that cubature formulas with random nodes are asymptotically as good as optimal cubature formulas if the weights are chosen correctly. This closes a logarithmic gap left open by Ehler, Gräf and Oates [Stat. Comput., 29:1203-1214, 2019].</p></div>","PeriodicalId":54878,"journal":{"name":"Journal of Approximation Theory","volume":"305 ","pages":"Article 106098"},"PeriodicalIF":0.9,"publicationDate":"2024-09-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S0021904524000868/pdfft?md5=fe139e66c2cbd25bf59dda36950e8234&pid=1-s2.0-S0021904524000868-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142239392","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-09-07DOI: 10.1016/j.jat.2024.106099
Stefan Kahler , Ryszard Szwarc
Many symmetric orthogonal polynomials induce a hypergroup structure on . The Haar measure is the counting measure weighted with , where denotes the orthogonalization measure. We observed that many naturally occurring examples satisfy the remarkable property . We give sufficient criteria and particularly show that if the (Hermitian) dual space equals the full interval , which is fulfilled by an abundance of examples. We also study the role of nonnegative linearization of products (and of the resulting harmonic and functional analysis). Moreover, we construct two example types with . To our knowledge, these are the first such examples. The first type is based on Karlin–McGregor polynomials, and consists of two intervals and can be chosen “maximal” in some sense; is of quadratic growth. The second type relies on hypergroups of strong compact type; grows exponentially, and is discrete.
{"title":"Dual spaces vs. Haar measures of polynomial hypergroups","authors":"Stefan Kahler , Ryszard Szwarc","doi":"10.1016/j.jat.2024.106099","DOIUrl":"10.1016/j.jat.2024.106099","url":null,"abstract":"<div><div>Many symmetric orthogonal polynomials <span><math><msub><mrow><mrow><mo>(</mo><msub><mrow><mi>P</mi></mrow><mrow><mi>n</mi></mrow></msub><mrow><mo>(</mo><mi>x</mi><mo>)</mo></mrow><mo>)</mo></mrow></mrow><mrow><mi>n</mi><mo>∈</mo><msub><mrow><mi>N</mi></mrow><mrow><mn>0</mn></mrow></msub></mrow></msub></math></span> induce a hypergroup structure on <span><math><msub><mrow><mi>N</mi></mrow><mrow><mn>0</mn></mrow></msub></math></span>. The Haar measure is the counting measure weighted with <span><math><mrow><mi>h</mi><mrow><mo>(</mo><mi>n</mi><mo>)</mo></mrow><mo>≔</mo><mn>1</mn><mo>/</mo><msub><mrow><mo>∫</mo></mrow><mrow><mi>R</mi></mrow></msub><mspace></mspace><msubsup><mrow><mi>P</mi></mrow><mrow><mi>n</mi></mrow><mrow><mn>2</mn></mrow></msubsup><mrow><mo>(</mo><mi>x</mi><mo>)</mo></mrow><mspace></mspace><mi>d</mi><mi>μ</mi><mrow><mo>(</mo><mi>x</mi><mo>)</mo></mrow><mo>≥</mo><mn>1</mn></mrow></math></span>, where <span><math><mi>μ</mi></math></span> denotes the orthogonalization measure. We observed that many naturally occurring examples satisfy the remarkable property <span><math><mrow><mi>h</mi><mrow><mo>(</mo><mi>n</mi><mo>)</mo></mrow><mo>≥</mo><mn>2</mn><mspace></mspace><mrow><mo>(</mo><mi>n</mi><mo>∈</mo><mi>N</mi><mo>)</mo></mrow></mrow></math></span>. We give sufficient criteria and particularly show that <span><math><mrow><mi>h</mi><mrow><mo>(</mo><mi>n</mi><mo>)</mo></mrow><mo>≥</mo><mn>2</mn><mspace></mspace><mrow><mo>(</mo><mi>n</mi><mo>∈</mo><mi>N</mi><mo>)</mo></mrow></mrow></math></span> if the (Hermitian) dual space <span><math><mover><mrow><msub><mrow><mi>N</mi></mrow><mrow><mn>0</mn></mrow></msub></mrow><mrow><mo>̂</mo></mrow></mover></math></span> equals the full interval <span><math><mrow><mo>[</mo><mo>−</mo><mn>1</mn><mo>,</mo><mn>1</mn><mo>]</mo></mrow></math></span>, which is fulfilled by an abundance of examples. We also study the role of nonnegative linearization of products (and of the resulting harmonic and functional analysis). Moreover, we construct two example types with <span><math><mrow><mi>h</mi><mrow><mo>(</mo><mn>1</mn><mo>)</mo></mrow><mo><</mo><mn>2</mn></mrow></math></span>. To our knowledge, these are the first such examples. The first type is based on Karlin–McGregor polynomials, and <span><math><mover><mrow><msub><mrow><mi>N</mi></mrow><mrow><mn>0</mn></mrow></msub></mrow><mrow><mo>̂</mo></mrow></mover></math></span> consists of two intervals and can be chosen “maximal” in some sense; <span><math><mi>h</mi></math></span> is of quadratic growth. The second type relies on hypergroups of strong compact type; <span><math><mi>h</mi></math></span> grows exponentially, and <span><math><mover><mrow><msub><mrow><mi>N</mi></mrow><mrow><mn>0</mn></mrow></msub></mrow><mrow><mo>̂</mo></mrow></mover></math></span> is discrete.</div></div>","PeriodicalId":54878,"journal":{"name":"Journal of Approximation Theory","volume":"305 ","pages":"Article 106099"},"PeriodicalIF":0.9,"publicationDate":"2024-09-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142421236","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-08-30DOI: 10.1016/j.jat.2024.106097
Mikhail A. Komarov
Let be the class of algebraic polynomials of degree , all of whose zeros lie on the segment . In 1995, S. P. Zhou has proved the following Turán type reverse Markov–Nikol’skii inequality: , , where ,