Pub Date : 2024-02-08DOI: 10.1016/j.jat.2024.106027
M. Gnewuch , A. Hinrichs , K. Ritter , R. Rüßmann
We study integration and -approximation of functions of infinitely many variables in the following setting: The underlying function space is the countably infinite tensor product of univariate Hermite spaces and the probability measure is the corresponding product of the standard normal distribution. The maximal domain of the functions from this tensor product space is necessarily a proper subset of the sequence space . We establish upper and lower bounds for the minimal worst case errors under general assumptions; these bounds do match for tensor products of well-studied Hermite spaces of functions with finite or with infinite smoothness. In the proofs we employ embedding results, and the upper bounds are attained constructively with the help of multivariate decomposition methods.
{"title":"Infinite-dimensional integration and L2-approximation on Hermite spaces","authors":"M. Gnewuch , A. Hinrichs , K. Ritter , R. Rüßmann","doi":"10.1016/j.jat.2024.106027","DOIUrl":"10.1016/j.jat.2024.106027","url":null,"abstract":"<div><p>We study integration and <span><math><msup><mrow><mi>L</mi></mrow><mrow><mn>2</mn></mrow></msup></math></span>-approximation of functions of infinitely many variables in the following setting: The underlying function space is the countably infinite tensor product of univariate Hermite spaces and the probability measure is the corresponding product of the standard normal distribution. The maximal domain of the functions from this tensor product space is necessarily a proper subset of the sequence space <span><math><msup><mrow><mi>R</mi></mrow><mrow><mi>N</mi></mrow></msup></math></span>. We establish upper and lower bounds for the minimal worst case errors under general assumptions; these bounds do match for tensor products of well-studied Hermite spaces of functions with finite or with infinite smoothness. In the proofs we employ embedding results, and the upper bounds are attained constructively with the help of multivariate decomposition methods.</p></div>","PeriodicalId":54878,"journal":{"name":"Journal of Approximation Theory","volume":null,"pages":null},"PeriodicalIF":0.9,"publicationDate":"2024-02-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139828571","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 : 2024-02-07DOI: 10.1016/j.jat.2024.106017
Michael J. Johnson
It has been recently proved that every proper restricted elastic spline is a stable nonlinear spline, and this yields a broad existence proof for stable nonlinear splines. When tension is included in the setup, stable nonlinear splines under tension always exist, but they do not always have the property that each piece (connecting one interpolation point to the next) is an s-curve. Being correlated with the fairness of an interpolating curve, this property is desirable and we conjecture that the framework employed successfully with restricted elastic splines will also work well with nonlinear splines under tension. Our purpose is to prove the following foundational result: Given points , in the plane, along with corresponding unit directions that satisfy and , there exists a unique s-curve segment of Euler–Bernoulli elastica under tension that connects to with initial direction and terminal direction .
最近有人证明,每一条适当的受限弹性样条曲线都是一条稳定的非线性样条曲线,这就为稳定的非线性样条曲线提供了一个广泛的存在性证明。当设置中包含张力时,张力下的稳定非线性样条曲线总是存在的,但它们并不总是具有每一段(连接一个插值点和下一个插值点)都是 s 曲线的特性。这一特性与插值曲线的公平性相关,因此是理想的。我们推测,在限制弹性样条曲线上成功应用的框架也能在张力下的非线性样条曲线上很好地发挥作用。我们的目的是证明以下基本结果:给定平面上的点 P1≠P2,以及满足 d1⋅(P2-P1)≥0 和 d2⋅(P2-P1)≥0 的相应单位方向 d1、d2,在张力 λ>0 下存在一条唯一的欧拉-伯努利弹性 s 曲线段,它以初始方向 d1 和终端方向 d2 连接 P1 和 P2。
{"title":"Existence and uniqueness of s-curve segments of tensioned elastica satisfying geometric Hermite interpolation conditions","authors":"Michael J. Johnson","doi":"10.1016/j.jat.2024.106017","DOIUrl":"https://doi.org/10.1016/j.jat.2024.106017","url":null,"abstract":"<div><p>It has been recently proved that every <em>proper</em> restricted elastic spline is a stable nonlinear spline, and this yields a broad existence proof for stable nonlinear splines. When tension is included in the setup, stable nonlinear splines under tension always exist, but they do not always have the property that each piece (connecting one interpolation point to the next) is an s-curve. Being correlated with the fairness of an interpolating curve, this property is desirable and we conjecture that the framework employed successfully with restricted elastic splines will also work well with nonlinear splines under tension. Our purpose is to prove the following foundational result: Given points <span><math><mrow><msub><mrow><mi>P</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>≠</mo><msub><mrow><mi>P</mi></mrow><mrow><mn>2</mn></mrow></msub></mrow></math></span>, in the plane, along with corresponding unit directions <span><math><mrow><msub><mrow><mi>d</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>,</mo><msub><mrow><mi>d</mi></mrow><mrow><mn>2</mn></mrow></msub></mrow></math></span> that satisfy <span><math><mrow><msub><mrow><mi>d</mi></mrow><mrow><mn>1</mn></mrow></msub><mi>⋅</mi><mrow><mo>(</mo><msub><mrow><mi>P</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>−</mo><msub><mrow><mi>P</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>)</mo></mrow><mo>≥</mo><mn>0</mn></mrow></math></span> and <span><math><mrow><msub><mrow><mi>d</mi></mrow><mrow><mn>2</mn></mrow></msub><mi>⋅</mi><mrow><mo>(</mo><msub><mrow><mi>P</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>−</mo><msub><mrow><mi>P</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>)</mo></mrow><mo>≥</mo><mn>0</mn></mrow></math></span>, there exists a unique s-curve segment of Euler–Bernoulli elastica under tension <span><math><mrow><mi>λ</mi><mo>></mo><mn>0</mn></mrow></math></span> that connects <span><math><msub><mrow><mi>P</mi></mrow><mrow><mn>1</mn></mrow></msub></math></span> to <span><math><msub><mrow><mi>P</mi></mrow><mrow><mn>2</mn></mrow></msub></math></span> with initial direction <span><math><msub><mrow><mi>d</mi></mrow><mrow><mn>1</mn></mrow></msub></math></span> and terminal direction <span><math><msub><mrow><mi>d</mi></mrow><mrow><mn>2</mn></mrow></msub></math></span>.</p></div>","PeriodicalId":54878,"journal":{"name":"Journal of Approximation Theory","volume":null,"pages":null},"PeriodicalIF":0.9,"publicationDate":"2024-02-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139985540","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 : 2024-02-03DOI: 10.1016/j.jat.2024.106018
Manjunath Krishnapur , Erik Lundberg , Koushik Ramachandran
A classically studied geometric property associated to a complex polynomial is the inradius (the radius of the largest inscribed disk) of its (filled) lemniscate .
In this paper, we study the lemniscate inradius when the defining polynomial is random, namely, with the zeros of sampled independently from a compactly supported probability measure . If the negative set of the logarithmic potential generated by is non-empty, then the inradius is bounded from below by a positive constant with overwhelming probability (as the degree of tends to infinity). Moreover, the inradius has a deterministic limit if the negative set of additionally contains the support of .
We also provide conditions on guaranteeing that the lemniscate is contained in a union of exponentially small disks with overwhelming probability. This leads to a partial solution to a (deterministic) problem concerning the area of lemniscates posed by Erdös, Herzog, and Piranian.
On the other hand, when the zeros are sampled independently and uniformly from the unit circle, then we show that the inradius converges in distribution to a random variable taking values in .
We also consider the characteristic polynomial of a Ginibre random matrix whose lemniscate we show is close to the unit disk with overwhelming probability.
本文研究的是当定义多项式 p 是随机的,即 p 的零点是从紧凑支持的概率量 μ 中独立采样时的多项式内半径。如果由 μ 生成的对数势 Uμ 的负集是非空的,那么内径就会以压倒性的概率(随着 p 的阶数 n 趋于无穷大)自下而上地以一个正常数为界。此外,如果 Uμ 的负集额外包含 μ 的支持,则内径有一个确定的极限。我们还提供了关于 μ 的条件,保证以压倒性的概率将∞包含在 n 个指数小的磁盘的联合中。这就部分地解决了埃尔德斯、赫尔佐格和皮拉尼安提出的关于∞的面积的(确定性)问题。另一方面,当从单位圆中独立均匀地抽取零点时,我们证明了半径在分布上收敛于取值在(0,1/2)的随机变量。
{"title":"Inradius of random lemniscates","authors":"Manjunath Krishnapur , Erik Lundberg , Koushik Ramachandran","doi":"10.1016/j.jat.2024.106018","DOIUrl":"10.1016/j.jat.2024.106018","url":null,"abstract":"<div><p>A classically studied geometric property associated to a complex polynomial <span><math><mi>p</mi></math></span> is the inradius (the radius of the largest inscribed disk) of its (filled) lemniscate <span><math><mrow><mi>Λ</mi><mo>≔</mo><mrow><mo>{</mo><mi>z</mi><mo>∈</mo><mi>ℂ</mi><mo>:</mo><mrow><mo>|</mo><mi>p</mi><mrow><mo>(</mo><mi>z</mi><mo>)</mo></mrow><mo>|</mo></mrow><mo><</mo><mn>1</mn><mo>}</mo></mrow></mrow></math></span>.</p><p>In this paper, we study the lemniscate inradius when the defining polynomial <span><math><mi>p</mi></math></span> is random, namely, with the zeros of <span><math><mi>p</mi></math></span> sampled independently from a compactly supported probability measure <span><math><mi>μ</mi></math></span>. If the negative set of the logarithmic potential <span><math><msub><mrow><mi>U</mi></mrow><mrow><mi>μ</mi></mrow></msub></math></span> generated by <span><math><mi>μ</mi></math></span> is non-empty, then the inradius is bounded from below by a positive constant with overwhelming probability (as the degree <span><math><mi>n</mi></math></span> of <span><math><mi>p</mi></math></span> tends to infinity). Moreover, the inradius has a deterministic limit if the negative set of <span><math><msub><mrow><mi>U</mi></mrow><mrow><mi>μ</mi></mrow></msub></math></span> additionally contains the support of <span><math><mi>μ</mi></math></span>.</p><p>We also provide conditions on <span><math><mi>μ</mi></math></span> guaranteeing that the lemniscate is contained in a union of <span><math><mi>n</mi></math></span> exponentially small disks with overwhelming probability. This leads to a partial solution to a (deterministic) problem concerning the area of lemniscates posed by Erdös, Herzog, and Piranian.</p><p>On the other hand, when the zeros are sampled independently and uniformly from the unit circle, then we show that the inradius converges in distribution to a random variable taking values in <span><math><mrow><mo>(</mo><mn>0</mn><mo>,</mo><mn>1</mn><mo>/</mo><mn>2</mn><mo>)</mo></mrow></math></span>.</p><p>We also consider the characteristic polynomial of a Ginibre random matrix whose lemniscate we show is close to the unit disk with overwhelming probability.</p></div>","PeriodicalId":54878,"journal":{"name":"Journal of Approximation Theory","volume":null,"pages":null},"PeriodicalIF":0.9,"publicationDate":"2024-02-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139679171","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 : 2024-02-01DOI: 10.1016/j.jat.2024.106027
M. Gnewuch, A. Hinrichs, K. Ritter, R. Rüßmann
{"title":"Infinite-dimensional integration and L2-approximation on Hermite spaces","authors":"M. Gnewuch, A. Hinrichs, K. Ritter, R. Rüßmann","doi":"10.1016/j.jat.2024.106027","DOIUrl":"https://doi.org/10.1016/j.jat.2024.106027","url":null,"abstract":"","PeriodicalId":54878,"journal":{"name":"Journal of Approximation Theory","volume":null,"pages":null},"PeriodicalIF":0.9,"publicationDate":"2024-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139888602","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 : 2024-01-23DOI: 10.1016/j.jat.2024.106019
Ali Hasan Ali , Zsolt Páles
The aim of this paper is to establish various factorization results and then to derive estimates for linear functionals through the use of a generalized Taylor theorem. Additionally, several error bounds are established including applications to the trapezoidal rule as well as to a Simpson formula-type rule.
{"title":"Estimates of linear expressions through factorization","authors":"Ali Hasan Ali , Zsolt Páles","doi":"10.1016/j.jat.2024.106019","DOIUrl":"10.1016/j.jat.2024.106019","url":null,"abstract":"<div><p>The aim of this paper is to establish various factorization results and then to derive estimates for linear functionals through the use of a generalized Taylor theorem. Additionally, several error bounds are established including applications to the trapezoidal rule as well as to a Simpson formula-type rule.</p></div>","PeriodicalId":54878,"journal":{"name":"Journal of Approximation Theory","volume":null,"pages":null},"PeriodicalIF":0.9,"publicationDate":"2024-01-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S0021904524000054/pdfft?md5=acddbc03e340f31280d60e4dcc812a41&pid=1-s2.0-S0021904524000054-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139555798","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}
We consider spaces of multivariate splines defined on a particular type of simplicial partitions that we call (generalized) oranges. Such partitions are composed of a finite number of maximal faces with exactly one shared medial face. We reduce the problem of finding the dimension of splines on oranges to computing dimensions of splines on simpler, lower-dimensional partitions that we call projected oranges. We use both algebraic and Bernstein–Bézier tools.
{"title":"Multivariate polynomial splines on generalized oranges","authors":"Maritza Sirvent , Tatyana Sorokina , Nelly Villamizar , Beihui Yuan","doi":"10.1016/j.jat.2024.106016","DOIUrl":"10.1016/j.jat.2024.106016","url":null,"abstract":"<div><p>We consider spaces of multivariate splines defined on a particular type of simplicial partitions that we call <em>(generalized) oranges</em>. Such partitions are composed of a finite number of maximal faces with exactly one shared <em>medial</em> face. We reduce the problem of finding the dimension of splines on oranges to computing dimensions of splines on simpler, lower-dimensional partitions that we call <em>projected oranges</em>. We use both algebraic and Bernstein–Bézier tools.</p></div>","PeriodicalId":54878,"journal":{"name":"Journal of Approximation Theory","volume":null,"pages":null},"PeriodicalIF":0.9,"publicationDate":"2024-01-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S0021904524000029/pdfft?md5=4b8bba34d42f748261b9923cce3ba6be&pid=1-s2.0-S0021904524000029-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139496860","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-01-05DOI: 10.1016/j.jat.2023.106008
Xiaowen Zhu
We prove Anderson localization (AL) and dynamical localization in expectation (EDL, also known as strong dynamical localization) for random CMV matrices for arbitrary distribution of i.i.d. Verblunsky coefficients.
{"title":"Localization for random CMV matrices","authors":"Xiaowen Zhu","doi":"10.1016/j.jat.2023.106008","DOIUrl":"10.1016/j.jat.2023.106008","url":null,"abstract":"<div><p>We prove Anderson localization (AL) and dynamical localization in expectation (EDL, also known as strong dynamical localization) for random CMV matrices for arbitrary distribution of i.i.d. Verblunsky coefficients.</p></div>","PeriodicalId":54878,"journal":{"name":"Journal of Approximation Theory","volume":null,"pages":null},"PeriodicalIF":0.9,"publicationDate":"2024-01-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139396463","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 : 2024-01-05DOI: 10.1016/j.jat.2024.106015
D. Leviatan , M.V. Shchehlov , I.O. Shevchuk
Let be the space of continuous -periodic functions , endowed with the uniform norm , and denote by , the th modulus of smoothness of . Denote by , the subspace of times continuously differentiable functions , and let , be the set of trigonometric polynomials of degree . If , has , , extremal points in , denote by the error of its best comonotone approximation. We prove, that if , then for either , or
{"title":"Comonotone approximation of periodic functions","authors":"D. Leviatan , M.V. Shchehlov , I.O. Shevchuk","doi":"10.1016/j.jat.2024.106015","DOIUrl":"10.1016/j.jat.2024.106015","url":null,"abstract":"<div><p>Let <span><math><mover><mrow><mi>C</mi></mrow><mrow><mo>˜</mo></mrow></mover></math></span> be the space of continuous <span><math><mrow><mn>2</mn><mi>π</mi></mrow></math></span>-periodic functions <span><math><mi>f</mi></math></span>, endowed with the uniform norm <span><math><mrow><mo>‖</mo><mi>f</mi><mo>‖</mo><mo>≔</mo><msub><mrow><mo>max</mo></mrow><mrow><mi>x</mi><mo>∈</mo><mi>R</mi></mrow></msub><mrow><mo>|</mo><mi>f</mi><mrow><mo>(</mo><mi>x</mi><mo>)</mo></mrow><mo>|</mo></mrow></mrow></math></span>, and denote by <span><math><mrow><msub><mrow><mi>ω</mi></mrow><mrow><mi>m</mi></mrow></msub><mrow><mo>(</mo><mi>f</mi><mo>,</mo><mi>t</mi><mo>)</mo></mrow></mrow></math></span>, the <span><math><mi>m</mi></math></span>th modulus of smoothness of <span><math><mi>f</mi></math></span>. Denote by <span><math><msup><mrow><mover><mrow><mi>C</mi></mrow><mrow><mo>˜</mo></mrow></mover></mrow><mrow><mi>r</mi></mrow></msup></math></span>, the subspace of <span><math><mi>r</mi></math></span><span> times continuously differentiable functions </span><span><math><mrow><mi>f</mi><mo>∈</mo><mover><mrow><mi>C</mi></mrow><mrow><mo>˜</mo></mrow></mover></mrow></math></span>, and let <span><math><msub><mrow><mi>T</mi></mrow><mrow><mi>n</mi></mrow></msub></math></span><span>, be the set of trigonometric polynomials </span><span><math><msub><mrow><mi>T</mi></mrow><mrow><mi>n</mi></mrow></msub></math></span> of degree <span><math><mrow><mo><</mo><mi>n</mi></mrow></math></span>. If <span><math><mrow><mi>f</mi><mo>∈</mo><msup><mrow><mover><mrow><mi>C</mi></mrow><mrow><mo>˜</mo></mrow></mover></mrow><mrow><mi>r</mi></mrow></msup></mrow></math></span>, has <span><math><mrow><mn>2</mn><mi>s</mi></mrow></math></span>, <span><math><mrow><mi>s</mi><mo>≥</mo><mn>1</mn></mrow></math></span><span>, extremal points in </span><span><math><mrow><mo>(</mo><mo>−</mo><mi>π</mi><mo>,</mo><mi>π</mi><mo>]</mo></mrow></math></span>, denote by <span><math><mrow><msubsup><mrow><mi>E</mi></mrow><mrow><mi>n</mi></mrow><mrow><mrow><mo>(</mo><mn>1</mn><mo>)</mo></mrow></mrow></msubsup><mrow><mo>(</mo><mi>f</mi><mo>)</mo></mrow><mo>≔</mo><munder><mrow><mo>inf</mo></mrow><mrow><msub><mrow><mi>T</mi></mrow><mrow><mi>n</mi></mrow></msub><mo>∈</mo><msub><mrow><mi>T</mi></mrow><mrow><mi>n</mi></mrow></msub><mo>:</mo><msup><mrow><mi>f</mi></mrow><mrow><mo>′</mo></mrow></msup><msubsup><mrow><mi>T</mi></mrow><mrow><mi>n</mi></mrow><mrow><mo>′</mo></mrow></msubsup><mo>≥</mo><mn>0</mn></mrow></munder><mo>‖</mo><mi>f</mi><mo>−</mo><msub><mrow><mi>T</mi></mrow><mrow><mi>n</mi></mrow></msub><mo>‖</mo><mo>,</mo></mrow></math></span> the error of its best comonotone approximation. We prove, that if <span><math><mrow><mi>f</mi><mo>∈</mo><msup><mrow><mover><mrow><mi>C</mi></mrow><mrow><mo>˜</mo></mrow></mover></mrow><mrow><mi>r</mi></mrow></msup></mrow></math></span>, then for either <span><math><mrow><mi>m</mi><mo>=</mo><mn>1</mn></mrow></math></span>, or <span><math><mrow><mi>m</mi><mo>=</mo><mn>2<","PeriodicalId":54878,"journal":{"name":"Journal of Approximation Theory","volume":null,"pages":null},"PeriodicalIF":0.9,"publicationDate":"2024-01-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139101849","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 : 2024-01-05DOI: 10.1016/j.jat.2023.106010
Yu. Malykhin , K. Ryutin
We construct explicit easily implementable polynomial approximations of sufficiently high accuracy for locally constant functions on the union of disjoint segments (see (1)). This problem has important applications in several areas of numerical analysis, complexity theory, quantum algorithms, etc. The one, most relevant for us, is the amplification of approximation method: it allows to construct approximations of higher degree and better accuracy from the approximations of degree .
我们为不相交线段结合部上的局部恒定函数(见 (1))构建了清晰易实现的多项式近似值,其精度足够高。这个问题在数值分析、复杂性理论、量子算法等多个领域都有重要应用。其中与我们最相关的是近似方法的放大:它允许从 m 级的近似值中构造出更高 M 级和更高精度的近似值。
{"title":"Polynomial approximation on disjoint segments and amplification of approximation","authors":"Yu. Malykhin , K. Ryutin","doi":"10.1016/j.jat.2023.106010","DOIUrl":"10.1016/j.jat.2023.106010","url":null,"abstract":"<div><p><span>We construct explicit easily implementable polynomial approximations of sufficiently high accuracy for locally constant functions on the union of disjoint segments (see </span><span>(1)</span><span><span>). This problem has important applications in several areas of numerical analysis, complexity theory, </span>quantum algorithms, etc. The one, most relevant for us, is the amplification of approximation method: it allows to construct approximations of higher degree </span><span><math><mi>M</mi></math></span><span> and better accuracy from the approximations of degree </span><span><math><mi>m</mi></math></span>.</p></div>","PeriodicalId":54878,"journal":{"name":"Journal of Approximation Theory","volume":null,"pages":null},"PeriodicalIF":0.9,"publicationDate":"2024-01-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139102000","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 : 2024-01-04DOI: 10.1016/j.jat.2023.106012
German Dzyubenko , Kirill A. Kopotun
Given , a nonnegative function , , an arbitrary finite collection of points , and a corresponding collection of nonnegative integers with , , is it true that, for sufficiently large , there exists a polynomial of degree such that
(i) , , where and is the classical th modulus of smoothness.
(ii)
给定 k∈N,一个非负函数 f∈Cr[a,b],r≥0,一个任意有限点集合 {αi}i∈J⊂[a,b],以及一个相应的非负整数集合 {mi}i∈J 且 0≤mi≤r、i∈J,那么对于足够大的 n∈N,是否存在一个阶数为 n 的多项式 Pn,使得(i) |f(x)-Pn(x)|≤cρnr(x)ωk(f(r),ρn(x);[a,b]),x∈[a,b],其中 ρn(x)≔n-11-x2+n-2,ωk 是经典的第 k 个平滑模。(ii) P(ν)(αi)=f(ν)(αi), for all 0≤ν≤mi and all i∈J,and(iii) either P≥f on [a,b] (onesided approximation), or P≥0 on [a,b] (positive approximation)?我们还证明,一般来说,对于 q≥1 的 q 单调逼近的类似问题,答案是否定的,也就是说,如果 q≥1 时,带有一般内插约束的 q 单调逼近是不可能的。
{"title":"Onesided, intertwining, positive and copositive polynomial approximation with interpolatory constraints","authors":"German Dzyubenko , Kirill A. Kopotun","doi":"10.1016/j.jat.2023.106012","DOIUrl":"10.1016/j.jat.2023.106012","url":null,"abstract":"<div><p>Given <span><math><mrow><mi>k</mi><mo>∈</mo><mi>N</mi></mrow></math></span>, a nonnegative function <span><math><mrow><mi>f</mi><mo>∈</mo><msup><mrow><mi>C</mi></mrow><mrow><mi>r</mi></mrow></msup><mrow><mo>[</mo><mi>a</mi><mo>,</mo><mi>b</mi><mo>]</mo></mrow></mrow></math></span>, <span><math><mrow><mi>r</mi><mo>≥</mo><mn>0</mn></mrow></math></span>, an arbitrary finite collection of points <span><math><mrow><msub><mrow><mrow><mo>{</mo><mrow><msub><mrow><mi>α</mi></mrow><mrow><mi>i</mi></mrow></msub></mrow><mo>}</mo></mrow></mrow><mrow><mi>i</mi><mo>∈</mo><mi>J</mi></mrow></msub><mo>⊂</mo><mrow><mo>[</mo><mi>a</mi><mo>,</mo><mi>b</mi><mo>]</mo></mrow></mrow></math></span><span>, and a corresponding collection of nonnegative integers </span><span><math><msub><mrow><mrow><mo>{</mo><mrow><msub><mrow><mi>m</mi></mrow><mrow><mi>i</mi></mrow></msub></mrow><mo>}</mo></mrow></mrow><mrow><mi>i</mi><mo>∈</mo><mi>J</mi></mrow></msub></math></span> with <span><math><mrow><mn>0</mn><mo>≤</mo><msub><mrow><mi>m</mi></mrow><mrow><mi>i</mi></mrow></msub><mo>≤</mo><mi>r</mi></mrow></math></span>, <span><math><mrow><mi>i</mi><mo>∈</mo><mi>J</mi></mrow></math></span>, is it true that, for sufficiently large <span><math><mrow><mi>n</mi><mo>∈</mo><mi>N</mi></mrow></math></span>, there exists a polynomial <span><math><msub><mrow><mi>P</mi></mrow><mrow><mi>n</mi></mrow></msub></math></span> of degree <span><math><mi>n</mi></math></span> such that</p><p>(i) <span><math><mrow><mrow><mo>|</mo><mi>f</mi><mrow><mo>(</mo><mi>x</mi><mo>)</mo></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><mo>≤</mo><mi>c</mi><msubsup><mrow><mi>ρ</mi></mrow><mrow><mi>n</mi></mrow><mrow><mi>r</mi></mrow></msubsup><mrow><mo>(</mo><mi>x</mi><mo>)</mo></mrow><msub><mrow><mi>ω</mi></mrow><mrow><mi>k</mi></mrow></msub><mrow><mo>(</mo><msup><mrow><mi>f</mi></mrow><mrow><mrow><mo>(</mo><mi>r</mi><mo>)</mo></mrow></mrow></msup><mo>,</mo><msub><mrow><mi>ρ</mi></mrow><mrow><mi>n</mi></mrow></msub><mrow><mo>(</mo><mi>x</mi><mo>)</mo></mrow><mo>;</mo><mrow><mo>[</mo><mi>a</mi><mo>,</mo><mi>b</mi><mo>]</mo></mrow><mo>)</mo></mrow></mrow></math></span>, <span><math><mrow><mi>x</mi><mo>∈</mo><mrow><mo>[</mo><mi>a</mi><mo>,</mo><mi>b</mi><mo>]</mo></mrow></mrow></math></span>, where <span><math><mrow><msub><mrow><mi>ρ</mi></mrow><mrow><mi>n</mi></mrow></msub><mrow><mo>(</mo><mi>x</mi><mo>)</mo></mrow><mo>≔</mo><msup><mrow><mi>n</mi></mrow><mrow><mo>−</mo><mn>1</mn></mrow></msup><msqrt><mrow><mn>1</mn><mo>−</mo><msup><mrow><mi>x</mi></mrow><mrow><mn>2</mn></mrow></msup></mrow></msqrt><mo>+</mo><msup><mrow><mi>n</mi></mrow><mrow><mo>−</mo><mn>2</mn></mrow></msup></mrow></math></span> and <span><math><msub><mrow><mi>ω</mi></mrow><mrow><mi>k</mi></mrow></msub></math></span> is the classical <span><math><mi>k</mi></math></span>th modulus of smoothness.</p><p>(ii) <span><math><mrow><msup><mrow><mi>P</mi></mrow><mrow><mrow","PeriodicalId":54878,"journal":{"name":"Journal of Approximation Theory","volume":null,"pages":null},"PeriodicalIF":0.9,"publicationDate":"2024-01-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139093119","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}