Automated proof of mixed trigonometric-polynomial inequalities

2020 ◽  
Vol 101 ◽  
pp. 318-329
Author(s):  
Shiping Chen ◽  
Zhong Liu
2020 ◽  
Vol 178 (1-2) ◽  
pp. 235-287
Author(s):  
Alexandros Eskenazis ◽  
Paata Ivanisvili

1988 ◽  
Vol 3 (2) ◽  
pp. 67-88 ◽  
Author(s):  
M. Cardew-Hall ◽  
J. Cosmas ◽  
M. Ristic

2013 ◽  
Vol 2013 ◽  
pp. 1-13 ◽  
Author(s):  
Arnak Poghosyan

We consider the convergence acceleration of the Krylov-Lanczos interpolation by rational correction functions and investigate convergence of the resultant parametric rational-trigonometric-polynomial interpolation. Exact constants of asymptotic errors are obtained in the regions away from discontinuities, and fast convergence of the rational-trigonometric-polynomial interpolation compared to the Krylov-Lanczos interpolation is observed. Results of numerical experiments confirm theoretical estimates and show how the parameters of the interpolations can be determined in practice.


2021 ◽  
Vol 47 (1) ◽  
Author(s):  
Kevin Schober ◽  
Jürgen Prestin ◽  
Serhii A. Stasyuk

AbstractIn this paper, we show that certain trigonometric polynomial shearlets which are special cases of directional de la Vallée Poussin-type wavelets are able to detect step discontinuities along boundary curves of periodic characteristic functions. Motivated by recent results for discrete shearlets in two dimensions, we provide lower and upper estimates for the magnitude of the corresponding inner products. In the proof, we use localization properties of trigonometric polynomial shearlets in the time and frequency domain and, among other things, bounds for certain Fresnel integrals. Moreover, we give numerical examples which underline the theoretical results.


Sign in / Sign up

Export Citation Format

Share Document