Pub Date : 2025-01-01Epub Date: 2024-10-24DOI: 10.1016/j.jat.2024.106116
M. Dressler , S. Foucart , M. Joldes , E. de Klerk , J.B. Lasserre , Y. Xu
This article is concerned with an extension of univariate Chebyshev polynomials of the first kind to the multivariate setting, where one chases best approximants to specific monomials by polynomials of lower degree relative to the uniform norm. Exploiting the Moment-SOS hierarchy, we devise a versatile semidefinite-programming-based procedure to compute such best approximants, as well as associated signatures. Applying this procedure in three variables leads to the values of best approximation errors for all monomials up to degree six on the euclidean ball, the simplex, and the cross-polytope. Furthermore, inspired by numerical experiments, we obtain explicit expressions for Chebyshev polynomials in two cases unresolved before, namely for the monomial on the euclidean ball and for the monomial on the simplex.
{"title":"Optimization-aided construction of multivariate Chebyshev polynomials","authors":"M. Dressler , S. Foucart , M. Joldes , E. de Klerk , J.B. Lasserre , Y. Xu","doi":"10.1016/j.jat.2024.106116","DOIUrl":"10.1016/j.jat.2024.106116","url":null,"abstract":"<div><div>This article is concerned with an extension of univariate Chebyshev polynomials of the first kind to the multivariate setting, where one chases best approximants to specific monomials by polynomials of lower degree relative to the uniform norm. Exploiting the Moment-SOS hierarchy, we devise a versatile semidefinite-programming-based procedure to compute such best approximants, as well as associated signatures. Applying this procedure in three variables leads to the values of best approximation errors for all monomials up to degree six on the euclidean ball, the simplex, and the cross-polytope. Furthermore, inspired by numerical experiments, we obtain explicit expressions for Chebyshev polynomials in two cases unresolved before, namely for the monomial <span><math><mrow><msubsup><mrow><mi>x</mi></mrow><mrow><mn>1</mn></mrow><mrow><mn>2</mn></mrow></msubsup><msubsup><mrow><mi>x</mi></mrow><mrow><mn>2</mn></mrow><mrow><mn>2</mn></mrow></msubsup><msub><mrow><mi>x</mi></mrow><mrow><mn>3</mn></mrow></msub></mrow></math></span> on the euclidean ball and for the monomial <span><math><mrow><msubsup><mrow><mi>x</mi></mrow><mrow><mn>1</mn></mrow><mrow><mn>2</mn></mrow></msubsup><msub><mrow><mi>x</mi></mrow><mrow><mn>2</mn></mrow></msub><msub><mrow><mi>x</mi></mrow><mrow><mn>3</mn></mrow></msub></mrow></math></span> on the simplex.</div></div>","PeriodicalId":54878,"journal":{"name":"Journal of Approximation Theory","volume":"305 ","pages":"Article 106116"},"PeriodicalIF":0.9,"publicationDate":"2025-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142552896","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2025-01-01Epub Date: 2024-10-22DOI: 10.1016/j.jat.2024.106115
Sergey M. Zagorodnyuk
<div><div>In this paper we study the generalized Bessel polynomials <span><math><mrow><msub><mrow><mi>y</mi></mrow><mrow><mi>n</mi></mrow></msub><mrow><mo>(</mo><mi>x</mi><mo>,</mo><mi>a</mi><mo>,</mo><mi>b</mi><mo>)</mo></mrow></mrow></math></span> (in the notation of Krall and Frink). Let <span><math><mrow><mi>a</mi><mo>></mo><mn>1</mn></mrow></math></span>, <span><math><mrow><mi>b</mi><mo>∈</mo><mrow><mo>(</mo><mo>−</mo><mn>1</mn><mo>/</mo><mn>3</mn><mo>,</mo><mn>1</mn><mo>/</mo><mn>3</mn><mo>)</mo></mrow><mo>∖</mo><mrow><mo>{</mo><mn>0</mn><mo>}</mo></mrow></mrow></math></span>. In this case we present the following positive continuous weights <span><math><mrow><mi>p</mi><mrow><mo>(</mo><mi>θ</mi><mo>)</mo></mrow><mo>=</mo><mi>p</mi><mrow><mo>(</mo><mi>θ</mi><mo>,</mo><mi>a</mi><mo>,</mo><mi>b</mi><mo>)</mo></mrow></mrow></math></span> on the unit circle for <span><math><mrow><msub><mrow><mi>y</mi></mrow><mrow><mi>n</mi></mrow></msub><mrow><mo>(</mo><mi>x</mi><mo>,</mo><mi>a</mi><mo>,</mo><mi>b</mi><mo>)</mo></mrow></mrow></math></span>: <span><math><mrow><mn>2</mn><mi>π</mi><mi>p</mi><mrow><mo>(</mo><mi>θ</mi><mo>,</mo><mi>a</mi><mo>,</mo><mi>b</mi><mo>)</mo></mrow><mo>=</mo><mo>−</mo><mn>1</mn><mo>+</mo><mn>2</mn><mrow><mo>(</mo><mi>a</mi><mo>−</mo><mn>1</mn><mo>)</mo></mrow><msubsup><mrow><mo>∫</mo></mrow><mrow><mn>0</mn></mrow><mrow><mn>1</mn></mrow></msubsup><msup><mrow><mi>e</mi></mrow><mrow><mo>−</mo><mi>b</mi><mi>u</mi><mo>cos</mo><mi>θ</mi></mrow></msup><mo>cos</mo><mrow><mo>(</mo><mi>b</mi><mi>u</mi><mo>sin</mo><mi>θ</mi><mo>)</mo></mrow><msup><mrow><mrow><mo>(</mo><mn>1</mn><mo>−</mo><mi>u</mi><mo>)</mo></mrow></mrow><mrow><mi>a</mi><mo>−</mo><mn>2</mn></mrow></msup><mi>d</mi><mi>u</mi><mo>,</mo></mrow></math></span> where <span><math><mrow><mi>θ</mi><mo>∈</mo><mrow><mo>[</mo><mn>0</mn><mo>,</mo><mn>2</mn><mi>π</mi><mo>]</mo></mrow></mrow></math></span>. Namely, we have <span><math><mrow><msubsup><mrow><mo>∫</mo></mrow><mrow><mn>0</mn></mrow><mrow><mn>2</mn><mi>π</mi></mrow></msubsup><msub><mrow><mi>y</mi></mrow><mrow><mi>n</mi></mrow></msub><mrow><mo>(</mo><msup><mrow><mi>e</mi></mrow><mrow><mi>i</mi><mi>θ</mi></mrow></msup><mo>,</mo><mi>a</mi><mo>,</mo><mi>b</mi><mo>)</mo></mrow><msub><mrow><mi>y</mi></mrow><mrow><mi>m</mi></mrow></msub><mrow><mo>(</mo><msup><mrow><mi>e</mi></mrow><mrow><mi>i</mi><mi>θ</mi></mrow></msup><mo>,</mo><mi>a</mi><mo>,</mo><mi>b</mi><mo>)</mo></mrow><mi>p</mi><mrow><mo>(</mo><mi>θ</mi><mo>,</mo><mi>a</mi><mo>,</mo><mi>b</mi><mo>)</mo></mrow><mi>d</mi><mi>θ</mi><mo>=</mo><msub><mrow><mi>C</mi></mrow><mrow><mi>n</mi></mrow></msub><msub><mrow><mi>δ</mi></mrow><mrow><mi>n</mi><mo>,</mo><mi>m</mi></mrow></msub><mo>,</mo><mspace></mspace><msub><mrow><mi>C</mi></mrow><mrow><mi>n</mi></mrow></msub><mo>≠</mo><mn>0</mn><mo>,</mo><mspace></mspace><mi>n</mi><mo>,</mo><mi>m</mi><mo>=</mo><mn>0</mn><mo>,</mo><mn>1</mn><mo>,</mo><mn>2</mn><mo>,</mo><mo>…</mo><mo>.</mo></mrow></math></span> Notice that this orthogon
{"title":"Positive orthogonalizing weights on the unit circle for the generalized Bessel polynomials","authors":"Sergey M. Zagorodnyuk","doi":"10.1016/j.jat.2024.106115","DOIUrl":"10.1016/j.jat.2024.106115","url":null,"abstract":"<div><div>In this paper we study the generalized Bessel polynomials <span><math><mrow><msub><mrow><mi>y</mi></mrow><mrow><mi>n</mi></mrow></msub><mrow><mo>(</mo><mi>x</mi><mo>,</mo><mi>a</mi><mo>,</mo><mi>b</mi><mo>)</mo></mrow></mrow></math></span> (in the notation of Krall and Frink). Let <span><math><mrow><mi>a</mi><mo>></mo><mn>1</mn></mrow></math></span>, <span><math><mrow><mi>b</mi><mo>∈</mo><mrow><mo>(</mo><mo>−</mo><mn>1</mn><mo>/</mo><mn>3</mn><mo>,</mo><mn>1</mn><mo>/</mo><mn>3</mn><mo>)</mo></mrow><mo>∖</mo><mrow><mo>{</mo><mn>0</mn><mo>}</mo></mrow></mrow></math></span>. In this case we present the following positive continuous weights <span><math><mrow><mi>p</mi><mrow><mo>(</mo><mi>θ</mi><mo>)</mo></mrow><mo>=</mo><mi>p</mi><mrow><mo>(</mo><mi>θ</mi><mo>,</mo><mi>a</mi><mo>,</mo><mi>b</mi><mo>)</mo></mrow></mrow></math></span> on the unit circle for <span><math><mrow><msub><mrow><mi>y</mi></mrow><mrow><mi>n</mi></mrow></msub><mrow><mo>(</mo><mi>x</mi><mo>,</mo><mi>a</mi><mo>,</mo><mi>b</mi><mo>)</mo></mrow></mrow></math></span>: <span><math><mrow><mn>2</mn><mi>π</mi><mi>p</mi><mrow><mo>(</mo><mi>θ</mi><mo>,</mo><mi>a</mi><mo>,</mo><mi>b</mi><mo>)</mo></mrow><mo>=</mo><mo>−</mo><mn>1</mn><mo>+</mo><mn>2</mn><mrow><mo>(</mo><mi>a</mi><mo>−</mo><mn>1</mn><mo>)</mo></mrow><msubsup><mrow><mo>∫</mo></mrow><mrow><mn>0</mn></mrow><mrow><mn>1</mn></mrow></msubsup><msup><mrow><mi>e</mi></mrow><mrow><mo>−</mo><mi>b</mi><mi>u</mi><mo>cos</mo><mi>θ</mi></mrow></msup><mo>cos</mo><mrow><mo>(</mo><mi>b</mi><mi>u</mi><mo>sin</mo><mi>θ</mi><mo>)</mo></mrow><msup><mrow><mrow><mo>(</mo><mn>1</mn><mo>−</mo><mi>u</mi><mo>)</mo></mrow></mrow><mrow><mi>a</mi><mo>−</mo><mn>2</mn></mrow></msup><mi>d</mi><mi>u</mi><mo>,</mo></mrow></math></span> where <span><math><mrow><mi>θ</mi><mo>∈</mo><mrow><mo>[</mo><mn>0</mn><mo>,</mo><mn>2</mn><mi>π</mi><mo>]</mo></mrow></mrow></math></span>. Namely, we have <span><math><mrow><msubsup><mrow><mo>∫</mo></mrow><mrow><mn>0</mn></mrow><mrow><mn>2</mn><mi>π</mi></mrow></msubsup><msub><mrow><mi>y</mi></mrow><mrow><mi>n</mi></mrow></msub><mrow><mo>(</mo><msup><mrow><mi>e</mi></mrow><mrow><mi>i</mi><mi>θ</mi></mrow></msup><mo>,</mo><mi>a</mi><mo>,</mo><mi>b</mi><mo>)</mo></mrow><msub><mrow><mi>y</mi></mrow><mrow><mi>m</mi></mrow></msub><mrow><mo>(</mo><msup><mrow><mi>e</mi></mrow><mrow><mi>i</mi><mi>θ</mi></mrow></msup><mo>,</mo><mi>a</mi><mo>,</mo><mi>b</mi><mo>)</mo></mrow><mi>p</mi><mrow><mo>(</mo><mi>θ</mi><mo>,</mo><mi>a</mi><mo>,</mo><mi>b</mi><mo>)</mo></mrow><mi>d</mi><mi>θ</mi><mo>=</mo><msub><mrow><mi>C</mi></mrow><mrow><mi>n</mi></mrow></msub><msub><mrow><mi>δ</mi></mrow><mrow><mi>n</mi><mo>,</mo><mi>m</mi></mrow></msub><mo>,</mo><mspace></mspace><msub><mrow><mi>C</mi></mrow><mrow><mi>n</mi></mrow></msub><mo>≠</mo><mn>0</mn><mo>,</mo><mspace></mspace><mi>n</mi><mo>,</mo><mi>m</mi><mo>=</mo><mn>0</mn><mo>,</mo><mn>1</mn><mo>,</mo><mn>2</mn><mo>,</mo><mo>…</mo><mo>.</mo></mrow></math></span> Notice that this orthogon","PeriodicalId":54878,"journal":{"name":"Journal of Approximation Theory","volume":"305 ","pages":"Article 106115"},"PeriodicalIF":0.9,"publicationDate":"2025-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142552898","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2025-01-01Epub Date: 2024-09-28DOI: 10.1016/j.jat.2024.106104
Lukas Liehr
Given a compact interval , and a function that is a product of a nonzero polynomial with a Gaussian, it will be shown that the translates are complete in if and only if the series of reciprocals of diverges. This extends a theorem in [R. A. Zalik, Trans. Amer. Math. Soc. 243, 299–308]. An additional characterization is obtained when is an arithmetic progression, and the generator constitutes a linear combination of translates of a function with sufficiently fast decay.
{"title":"Translation-based completeness on compact intervals","authors":"Lukas Liehr","doi":"10.1016/j.jat.2024.106104","DOIUrl":"10.1016/j.jat.2024.106104","url":null,"abstract":"<div><div>Given a compact interval <span><math><mrow><mi>I</mi><mo>⊆</mo><mi>R</mi></mrow></math></span>, and a function <span><math><mi>f</mi></math></span> that is a product of a nonzero polynomial with a Gaussian, it will be shown that the translates <span><math><mrow><mo>{</mo><mi>f</mi><mrow><mo>(</mo><mi>⋅</mi><mo>−</mo><mi>λ</mi><mo>)</mo></mrow><mo>:</mo><mi>λ</mi><mo>∈</mo><mi>Λ</mi><mo>}</mo></mrow></math></span> are complete in <span><math><mrow><mi>C</mi><mrow><mo>(</mo><mi>I</mi><mo>)</mo></mrow></mrow></math></span> if and only if the series of reciprocals of <span><math><mi>Λ</mi></math></span> diverges. This extends a theorem in [R. A. Zalik, Trans. Amer. Math. Soc. 243, 299–308]. An additional characterization is obtained when <span><math><mi>Λ</mi></math></span> is an arithmetic progression, and the generator <span><math><mi>f</mi></math></span> constitutes a linear combination of translates of a function with sufficiently fast decay.</div></div>","PeriodicalId":54878,"journal":{"name":"Journal of Approximation Theory","volume":"305 ","pages":"Article 106104"},"PeriodicalIF":0.9,"publicationDate":"2025-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142421197","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 : 2025-01-01Epub Date: 2024-09-26DOI: 10.1016/j.jat.2024.106102
Dimitar K. Dimitrov, Yen Chi Lun
Recently Baricz et al., 2018 and Baricz and Singh 2018 gave two different proofs of the fact that the zeros of the th derivative of the Bessel function of the first kind are all real when . We provide a third alternative proof. The authors of Baricz et al., 2018 conjectured that, for every , the positive zeros of are increasing functions of the parameter , for . We provide two apparently distinct proofs of the conjecture.
{"title":"Monotonicity of zeros of derivatives of Bessel functions","authors":"Dimitar K. Dimitrov, Yen Chi Lun","doi":"10.1016/j.jat.2024.106102","DOIUrl":"10.1016/j.jat.2024.106102","url":null,"abstract":"<div><div>Recently Baricz et al., 2018 and Baricz and Singh 2018 gave two different proofs of the fact that the zeros of the <span><math><mi>n</mi></math></span>th derivative of the Bessel function of the first kind <span><math><mrow><msub><mrow><mi>J</mi></mrow><mrow><mi>ν</mi></mrow></msub><mrow><mo>(</mo><mi>x</mi><mo>)</mo></mrow></mrow></math></span> are all real when <span><math><mrow><mi>ν</mi><mo>></mo><mi>n</mi><mo>−</mo><mn>1</mn></mrow></math></span>. We provide a third alternative proof. The authors of Baricz et al., 2018 conjectured that, for every <span><math><mrow><mi>n</mi><mo>∈</mo><mi>N</mi></mrow></math></span>, the positive zeros of <span><math><mrow><msubsup><mrow><mi>J</mi></mrow><mrow><mi>ν</mi></mrow><mrow><mrow><mo>(</mo><mi>n</mi><mo>)</mo></mrow></mrow></msubsup><mrow><mo>(</mo><mi>x</mi><mo>)</mo></mrow></mrow></math></span> are increasing functions of the parameter <span><math><mi>ν</mi></math></span>, for <span><math><mrow><mi>ν</mi><mo>∈</mo><mrow><mo>(</mo><mi>n</mi><mo>−</mo><mn>1</mn><mo>,</mo><mi>∞</mi><mo>)</mo></mrow></mrow></math></span>. We provide two apparently distinct proofs of the conjecture.</div></div>","PeriodicalId":54878,"journal":{"name":"Journal of Approximation Theory","volume":"305 ","pages":"Article 106102"},"PeriodicalIF":0.9,"publicationDate":"2025-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142432541","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2025-01-01Epub 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 ,