Showing 1–26 of 26 results for author: Varona, J

The computation of $ζ(2k)$, $β(2k+1)$ and beyond by using telesco** series

Authors: Óscar Ciaurri, Luis M. Navas, Francisco J. Ruiz, Juan L. Varona

Abstract: We present some simple proofs of the well-known expressions for \[ ζ(2k) = \sum_{m=1}^\infty \frac{1}{m^{2k}}, \qquad β(2k+1) = \sum_{m=0}^\infty \frac{(-1)^m}{(2m+1)^{2k+1}}, \] where $k = 1,2,3,\dots$, in terms of the Bernoulli and Euler polynomials. The computation is done using only the defining properties of these polynomials and employing telesco** series. The same method also yields… ▽ More We present some simple proofs of the well-known expressions for \[ ζ(2k) = \sum_{m=1}^\infty \frac{1}{m^{2k}}, \qquad β(2k+1) = \sum_{m=0}^\infty \frac{(-1)^m}{(2m+1)^{2k+1}}, \] where $k = 1,2,3,\dots$, in terms of the Bernoulli and Euler polynomials. The computation is done using only the defining properties of these polynomials and employing telesco** series. The same method also yields integral formulas for $ζ(2k+1)$ and $β(2k)$. In addition, the method also applies to series of type \[ \sum_{m\in\mathbb{Z}} \frac{1}{(2m-μ)^s}, \qquad \sum_{m\in\mathbb{Z}} \frac{(-1)^m}{(2m+1-μ)^s}, \] in this case using Apostol-Bernoulli and Apostol-Euler polynomials. △ Less

Submitted 16 July, 2023; originally announced July 2023.

Comments: 24 pages, to appear in "Orthogonal Polynomials and Special Functions: In Memory of José Carlos Petronilho''

MSC Class: Primary 40C15; Secondary 11M06

Three essays on Machin's type formulas

Authors: Armengol Gasull, Florian Luca, Juan L. Varona

Abstract: We study three questions related to Machin's type formulas. The first one gives all two terms Machin formulas where both arctangent functions are evaluated $2$-integers, that is values of the form $b/2^a$ for some integers $a$ and~$b$. These formulas are computationally useful because multiplication or division by a power of two is a very fast operation for most computers. The second one presents… ▽ More We study three questions related to Machin's type formulas. The first one gives all two terms Machin formulas where both arctangent functions are evaluated $2$-integers, that is values of the form $b/2^a$ for some integers $a$ and~$b$. These formulas are computationally useful because multiplication or division by a power of two is a very fast operation for most computers. The second one presents a method for finding infinitely many formulas with $N$ terms. In the particular case $N=2$ the method is quite useful. It recovers most known formulas, gives some new ones, and allows to prove in an easy way that there are two terms Machin formulas with Lehmer measure as small as desired. Finally, we correct an oversight from previous result and give all Machin's type formulas with two terms involving arctangents of powers of the golden section. △ Less

Submitted 16 July, 2023; v1 submitted 31 January, 2023; originally announced February 2023.

Comments: 22 pages, 3 figures

MSC Class: 11Y60 (Primary); 11D45; 33B10 (Secondary)

Summing Sneddon-Bessel series explicitly

Authors: Antonio J. Durán, Mario Pérez, Juan L. Varona

Abstract: We sum in a close form the Sneddon-Bessel series \[ \sum_{m=1}^\infty \frac{J_α(x j_{m,ν})J_β(y j_{m,ν})} {j_{m,ν}^{2n+α+β-2ν+2} J_{ν+1}(j_{m,ν})^2}, \] where $0<x$, $0<y$, $x+y<2$, $n$ is an integer, $α,β,ν\in \mathbb{C}\setminus \{-1,-2,\dots \}$ with $2\operatorname{Re} ν< 2n+1 + \operatorname{Re} α+ \operatorname{Re} β$ and $\{j_{m,ν}\}_{m\geq 0}$ are the zeros of the Bessel function $J_ν$ of… ▽ More We sum in a close form the Sneddon-Bessel series \[ \sum_{m=1}^\infty \frac{J_α(x j_{m,ν})J_β(y j_{m,ν})} {j_{m,ν}^{2n+α+β-2ν+2} J_{ν+1}(j_{m,ν})^2}, \] where $0<x$, $0<y$, $x+y<2$, $n$ is an integer, $α,β,ν\in \mathbb{C}\setminus \{-1,-2,\dots \}$ with $2\operatorname{Re} ν< 2n+1 + \operatorname{Re} α+ \operatorname{Re} β$ and $\{j_{m,ν}\}_{m\geq 0}$ are the zeros of the Bessel function $J_ν$ of order $ν$. As an application we prove some extensions of the Kneser-Sommerfeld expansion. △ Less

Submitted 15 July, 2022; originally announced July 2022.

Comments: 19 pages

MSC Class: 33C10; 33C20

On the Solution of the Equation $n = ak + bp_k$ by Means of an Iterative Method

Authors: Juan Luis Varona

Abstract: For fixed positive integers $n$, we study the solution of the equation $n = k + p_k$, where $p_k$ denotes the $k$th prime number, by means of the iterative method \[ k_{j+1} = π(n-k_j), \qquad k_0 = π(n), \] which converges to the solution of the equation, if it exists. We also analyze the equation $n = ak + bp_k$ for fixed integer values $a \ne 0$ and $b>0$, and its solution by means of a corresp… ▽ More For fixed positive integers $n$, we study the solution of the equation $n = k + p_k$, where $p_k$ denotes the $k$th prime number, by means of the iterative method \[ k_{j+1} = π(n-k_j), \qquad k_0 = π(n), \] which converges to the solution of the equation, if it exists. We also analyze the equation $n = ak + bp_k$ for fixed integer values $a \ne 0$ and $b>0$, and its solution by means of a corresponding iterative method. The case $a>0$ is somewhat similar to the case $a=b=1$, while for $a<0$ the convergence and usefulness of the method are less satisfactory. The paper also includes a study of the dynamics of the iterative methods. △ Less

Submitted 28 November, 2021; originally announced November 2021.

Comments: 12 pages, Journal of Integer Sequences

MSC Class: Primary 11B83; Secondary 11A41; 11Y16; 37C25; 65H05

Journal ref: Journal of Integer Sequences, Vol. 24 (2021), Article 21.10.5

Develo** and validating multi-modal models for mortality prediction in COVID-19 patients: a multi-center retrospective study

Authors: Joy Tzung-yu Wu, Miguel Ángel Armengol de la Hoz, Po-Chih Kuo, Joseph Alexander Paguio, Jasper Seth Yao, Edward Christopher Dee, Wesley Yeung, Jerry Jurado, Achintya Moulick, Carmelo Milazzo, Paloma Peinado, Paula Villares, Antonio Cubillo, José Felipe Varona, Hyung-Chul Lee, Alberto Estirado, José Maria Castellano, Leo Anthony Celi

Abstract: The unprecedented global crisis brought about by the COVID-19 pandemic has sparked numerous efforts to create predictive models for the detection and prognostication of SARS-CoV-2 infections with the goal of hel** health systems allocate resources. Machine learning models, in particular, hold promise for their ability to leverage patient clinical information and medical images for prediction. Ho… ▽ More The unprecedented global crisis brought about by the COVID-19 pandemic has sparked numerous efforts to create predictive models for the detection and prognostication of SARS-CoV-2 infections with the goal of hel** health systems allocate resources. Machine learning models, in particular, hold promise for their ability to leverage patient clinical information and medical images for prediction. However, most of the published COVID-19 prediction models thus far have little clinical utility due to methodological flaws and lack of appropriate validation. In this paper, we describe our methodology to develop and validate multi-modal models for COVID-19 mortality prediction using multi-center patient data. The models for COVID-19 mortality prediction were developed using retrospective data from Madrid, Spain (N=2547) and were externally validated in patient cohorts from a community hospital in New Jersey, USA (N=242) and an academic center in Seoul, Republic of Korea (N=336). The models we developed performed differently across various clinical settings, underscoring the need for a guided strategy when employing machine learning for clinical decision-making. We demonstrated that using features from both the structured electronic health records and chest X-ray imaging data resulted in better 30-day-mortality prediction performance across all three datasets (areas under the receiver operating characteristic curves: 0.85 (95% confidence interval: 0.83-0.87), 0.76 (0.70-0.82), and 0.95 (0.92-0.98)). We discuss the rationale for the decisions made at every step in develo** the models and have made our code available to the research community. We employed the best machine learning practices for clinical model development. Our goal is to create a toolkit that would assist investigators and organizations in building multi-modal models for prediction, classification and/or optimization. △ Less

Submitted 1 September, 2021; originally announced September 2021.

A Couple of Transcendental Prime-Representing Constants

Authors: Juan L. Varona

Abstract: It is well known that the arithmetic nature of Mills' prime-representing constant is uncertain: we do not know if Mills' constant is a rational or irrational number. In the case of other prime-representing constants, irrationality can be proved, but it is not known whether these constants are algebraic or transcendental numbers. By using Liouville or Roth's theorems about approximation by rational… ▽ More It is well known that the arithmetic nature of Mills' prime-representing constant is uncertain: we do not know if Mills' constant is a rational or irrational number. In the case of other prime-representing constants, irrationality can be proved, but it is not known whether these constants are algebraic or transcendental numbers. By using Liouville or Roth's theorems about approximation by rationals, we find a couple of prime-representing constants that can be proved to be transcendental numbers. △ Less

Submitted 28 November, 2021; v1 submitted 21 December, 2020; originally announced December 2020.

Comments: 8 pages, Amer. Math. Monthly

MSC Class: Primary 11A41; Secondary 11J81

Journal ref: Amer. Math. Monthly 128 (2021), no. 10, 922-928

Continued fractions for strong Engel series and Lüroth series with signs

Authors: Andrew N. W. Hone, Juan Luis Varona

Abstract: An Engel series is a sum of reciprocals $\sum_{j\geq 1} 1/x_j$ of a non-decreasing sequence of positive integers $x_n$ with the property that $x_n$ divides $x_{n+1}$ for all $n\geq 1$. In previous work, we have shown that for any Engel series with the stronger property that $x_n^2$ divides $x_{n+1}$, the continued fraction expansion of the sum is determined explicitly in terms of $z_1=x_1$ and the… ▽ More An Engel series is a sum of reciprocals $\sum_{j\geq 1} 1/x_j$ of a non-decreasing sequence of positive integers $x_n$ with the property that $x_n$ divides $x_{n+1}$ for all $n\geq 1$. In previous work, we have shown that for any Engel series with the stronger property that $x_n^2$ divides $x_{n+1}$, the continued fraction expansion of the sum is determined explicitly in terms of $z_1=x_1$ and the ratios $z_n=x_n/x_{n-1}^2$ for $n\geq 2$. Here we show that, when this stronger property holds, the same is true for a sum $\sum_{j\geq 1}ε_j/x_j$ with an arbitrary sequence of signs $ε_j=\pm 1$. As an application, we use this result to provide explicit continued fractions for particular families of Lüroth series and alternating Lüroth series defined by nonlinear recurrences of second order. We also calculate exact irrationality exponents for certain families of transcendental numbers defined by such series. △ Less

Submitted 18 October, 2020; v1 submitted 29 May, 2020; originally announced May 2020.

Journal ref: Acta Arithmetica, 2020

Continued fractions and irrationality exponents for modified Engel and Pierce series

Authors: Andrew N. W. Hone, Juan Luis Varona

Abstract: An Engel series is a sum of reciprocals of a non-decreasing sequence $(x_n)$ of positive integers, which is such that each term is divisible by the previous one, and a Pierce series is an alternating sum of the reciprocals of a sequence with the same property. Given an arbitrary rational number, we show that there is a family of Engel series which when added to it produces a transcendental number… ▽ More An Engel series is a sum of reciprocals of a non-decreasing sequence $(x_n)$ of positive integers, which is such that each term is divisible by the previous one, and a Pierce series is an alternating sum of the reciprocals of a sequence with the same property. Given an arbitrary rational number, we show that there is a family of Engel series which when added to it produces a transcendental number $α$ whose continued fraction expansion is determined explicitly by the corresponding sequence $(x_n)$, where the latter is generated by a certain nonlinear recurrence of second order. We also present an analogous result for a rational number with a Pierce series added to or subtracted from it. In both situations (a rational number combined with either an Engel or a Pierce series), the irrationality exponent is bounded below by $(3+\sqrt{5})/2$, and we further identify infinite families of transcendental numbers $α$ whose irrationality exponent can be computed precisely. In addition, we construct the continued fraction expansion for an arbitrary rational number added to an Engel series with the stronger property that $x_j^2$ divides $x_{j+1}$ for all $j$. △ Less

Submitted 23 October, 2018; originally announced October 2018.

Dealing with sequences in the RGBDT space

Authors: Gabriel Moyà, Antoni Jaume-i-Capó, Javier Varona

Abstract: Most of the current research in computer vision is focused on working with single images without taking in account temporal information. We present a probabilistic non-parametric model that mixes multiple information cues from devices to segment regions that contain moving objects in image sequences. We prepared an experimental setup to show the importance of using previous information for obtaini… ▽ More Most of the current research in computer vision is focused on working with single images without taking in account temporal information. We present a probabilistic non-parametric model that mixes multiple information cues from devices to segment regions that contain moving objects in image sequences. We prepared an experimental setup to show the importance of using previous information for obtaining an accurate segmentation result, using a novel dataset that provides sequences in the RGBDT space. We label the detected regions ts with a state-of-the-art human detector. Each one of the detected regions is at least marked as human once. △ Less

Submitted 10 May, 2018; originally announced May 2018.

Comments: 4 pages CVPR'18 Workshop: Brave New Ideas for Video Understanding

Modelling depth for nonparametric foreground segmentation using RGBD devices

Authors: Gabriel Moyà-Alcover, Ahmed Elgammal, Antoni Jaume-i-Capó, Javier Varona

Abstract: The problem of detecting changes in a scene and segmenting the foreground from background is still challenging, despite previous work. Moreover, new RGBD capturing devices include depth cues, which could be incorporated to improve foreground segmentation. In this work, we present a new nonparametric approach where a unified model mixes the device multiple information cues. In order to unify all th… ▽ More The problem of detecting changes in a scene and segmenting the foreground from background is still challenging, despite previous work. Moreover, new RGBD capturing devices include depth cues, which could be incorporated to improve foreground segmentation. In this work, we present a new nonparametric approach where a unified model mixes the device multiple information cues. In order to unify all the device channel cues, a new probabilistic depth data model is also proposed where we show how handle the inaccurate data to improve foreground segmentation. A new RGBD video dataset is presented in order to introduce a new standard for comparison purposes of this kind of algorithms. Results show that the proposed approach can handle several practical situations and obtain good results in all cases. △ Less

Submitted 29 September, 2016; originally announced September 2016.

Comments: Accepted in Pattern Recognition Letters. Will update the info

Nonlocal discrete diffusion equations and the fractional discrete Laplacian, regularity and applications

Authors: Ó. Ciaurri, L. Roncal, P. R. Stinga, J. L. Torrea, J. L. Varona

Abstract: The analysis of nonlocal discrete equations driven by fractional powers of the discrete Laplacian on a mesh of size $h>0$ \[ (-Δ_h)^su=f, \] for $u,f:\mathbb{Z}_h\to\mathbb{R}$, $0<s<1$, is performed. The pointwise nonlocal formula for $(-Δ_h)^su$ and the nonlocal discrete mean value property for discrete $s$-harmonic functions are obtained. We observe that a characterization of $(-Δ_h)^s$ as the… ▽ More The analysis of nonlocal discrete equations driven by fractional powers of the discrete Laplacian on a mesh of size $h>0$ \[ (-Δ_h)^su=f, \] for $u,f:\mathbb{Z}_h\to\mathbb{R}$, $0<s<1$, is performed. The pointwise nonlocal formula for $(-Δ_h)^su$ and the nonlocal discrete mean value property for discrete $s$-harmonic functions are obtained. We observe that a characterization of $(-Δ_h)^s$ as the Dirichlet-to-Neumann operator for a semidiscrete degenerate elliptic local extension problem is valid. Regularity properties and Schauder estimates in discrete Hölder spaces as well as existence and uniqueness of solutions to the nonlocal Dirichlet problem are shown. For the latter, the fractional discrete Sobolev embedding and the fractional discrete Poincaré inequality are proved, which are of independent interest. We introduce the negative power (fundamental solution) \[ u=(-Δ_h)^{-s}f, \] which can be seen as the Neumann-to-Dirichlet map for the semidiscrete extension problem. We then prove the discrete Hardy--Littlewood--Sobolev inequality for $(-Δ_h)^{-s}$. As applications, the convergence of our fractional discrete Laplacian to the (continuous) fractional Laplacian as $h\to0$ in Hölder spaces is analyzed. Indeed, uniform estimates for the error of the approximation in terms of $h$ under minimal regularity assumptions are obtained. We finally prove that solutions to the Poisson problem for the fractional Laplacian \[ (-Δ)^sU=F, \] in $\mathbb{R}$, can be approximated by solutions to the Dirichlet problem for our fractional discrete Laplacian, with explicit uniform error estimates in terms of~$h$. △ Less

Submitted 21 March, 2018; v1 submitted 31 August, 2016; originally announced August 2016.

Comments: 39 pages. Submitted on 08/31/2016 and accepted on 03/21/2018. To appear in Advances in Mathematics

Bernoulli-Dunkl and Apostol-Euler-Dunkl polynomials with applications to series involving zeros of Bessel functions

Authors: Óscar Ciaurri, Antonio J. Durán, Mario Pérez, Juan L. Varona

Abstract: We introduce Bernoulli-Dunkl and Apostol-Euler-Dunkl polynomials as generalizations of Bernoulli and Apostol-Euler polynomials, where the role of the derivative is now played by the Dunkl operator on the real line. We use them to sum a bunch of series involving the zeros of Bessel functions. We introduce Bernoulli-Dunkl and Apostol-Euler-Dunkl polynomials as generalizations of Bernoulli and Apostol-Euler polynomials, where the role of the derivative is now played by the Dunkl operator on the real line. We use them to sum a bunch of series involving the zeros of Bessel functions. △ Less

Submitted 24 August, 2016; originally announced August 2016.

Comments: 29 pages

MSC Class: Primary 11B68; Secondary 42C10; 33C10; 11M41

Journal ref: Rev. R. Acad. Cienc. Exactas Fís. Nat. Ser. A Mat. RACSAM 113 (2019), 2853-2876

An optimal three-point eighth-order iterative method without memory for solving nonlinear equations with its dynamics

Authors: Gunar Matthies, Mehdi Salimi, Somayeh Sharifi, Juan Luis Varona

Abstract: We present a three-point iterative method without memory for solving nonlinear equations in one variable. The proposed method provides convergence order eight with four function evaluations per iteration. Hence, it possesses a very high computational efficiency and supports Kung and Traub's conjecture. The construction, the convergence analysis, and the numerical implementation of the method will… ▽ More We present a three-point iterative method without memory for solving nonlinear equations in one variable. The proposed method provides convergence order eight with four function evaluations per iteration. Hence, it possesses a very high computational efficiency and supports Kung and Traub's conjecture. The construction, the convergence analysis, and the numerical implementation of the method will be presented. Using several test problems, the proposed method will be compared with existing methods of convergence order eight concerning accuracy and basin of attraction. Furthermore, some measures are used to judge methods with respect to their performance in finding the basin of attraction. △ Less

Submitted 22 February, 2016; originally announced February 2016.

Comments: arXiv admin note: substantial text overlap with arXiv:1508.01748

MSC Class: 65H05; 37F10

An optimal class of eighth-order iterative methods based on Kung and Traub's method with its dynamics

Authors: Gunar Matthies, Mehdi Salimi, Somayeh Sharifi, Juan Luis Varona

Abstract: In this paper, we present a three-point without memory iterative method based on Kung and Traub's method for solving non-linear equations in one variable. The proposed method has eighth-order convergence and costs only four function evaluations each iteration which supports the Kung-Traub conjecture on the optimal order of convergence. Consequently, this method possesses very high computational ef… ▽ More In this paper, we present a three-point without memory iterative method based on Kung and Traub's method for solving non-linear equations in one variable. The proposed method has eighth-order convergence and costs only four function evaluations each iteration which supports the Kung-Traub conjecture on the optimal order of convergence. Consequently, this method possesses very high computational efficiency. We present the construction, the convergence analysis, and the numerical implementation of the method. Furthermore, comparisons with some other existing optimal eighth-order methods concerning accuracy and basins of attraction for several test problems will be given. △ Less

Submitted 7 August, 2015; originally announced August 2015.

MSC Class: 65H05; 37F10

Unconditional and quasi-greedy bases in $L_p$ with applications to Jacobi polynomials Fourier series

Authors: Fernando Albiac, José L. Ansorena, Óscar Ciaurri, Juan L. Varona

Abstract: We show that the decreasing rearrangement of the Fourier series with respect to the Jacobi polynomials for functions in $L_p$ does not converge unless $p=2$. As a by-product of our work on quasi-greedy bases in $L_{p}(μ)$, we show that no normalized unconditional basis in $L_p$, $p\not=2$, can be semi-normalized in $L_q$ for $q\not=p$, thus extending a classical theorem of Kadets and Pełczy{ń}ski… ▽ More We show that the decreasing rearrangement of the Fourier series with respect to the Jacobi polynomials for functions in $L_p$ does not converge unless $p=2$. As a by-product of our work on quasi-greedy bases in $L_{p}(μ)$, we show that no normalized unconditional basis in $L_p$, $p\not=2$, can be semi-normalized in $L_q$ for $q\not=p$, thus extending a classical theorem of Kadets and Pełczy{ń}ski from 1968. △ Less

Submitted 21 July, 2015; originally announced July 2015.

MSC Class: 46B15 (Primary); 41A65 (Secondary)

Fractional discrete Laplacian versus discretized fractional Laplacian

Authors: Ó. Ciaurri, L. Roncal, P. R. Stinga, J. L. Torrea, J. L. Varona

Abstract: We define and study some properties of the fractional powers of the discrete Laplacian $$(-Δ_h)^s,\quad\hbox{on}~\mathbb{Z}_h = h\mathbb{Z},$$ for $h>0$ and $0<s<1$. A comparison between our fractional discrete Laplacian and the \textit{discretized} continuous fractional Laplacian as $h\to0$ is carried out. We get estimates in $\ell^\infty$ for the error of the approximation in terms of $h$ under… ▽ More We define and study some properties of the fractional powers of the discrete Laplacian $$(-Δ_h)^s,\quad\hbox{on}~\mathbb{Z}_h = h\mathbb{Z},$$ for $h>0$ and $0<s<1$. A comparison between our fractional discrete Laplacian and the \textit{discretized} continuous fractional Laplacian as $h\to0$ is carried out. We get estimates in $\ell^\infty$ for the error of the approximation in terms of $h$ under minimal regularity assumptions. Moreover, we provide a pointwise formula with an explicit kernel and deduce Hölder estimates for $(-Δ_h)^s$. A study of the negative powers (or discrete fractional integral) $(-Δ_h)^{-s}$ is also sketched. Our analysis is mainly performed in dimension one. Nevertheless, we show certain asymptotic estimates for the kernel in dimension two that can be extended to higher dimensions. Some examples are plotted to illustrate the comparison in both one and two dimensions. △ Less

Submitted 17 July, 2015; originally announced July 2015.

Comments: 25 pages, 13 figures

Harmonic Analysis associated with a discrete Laplacian

Authors: Ó. Ciaurri, T. A. Gillespie, L. Roncal, J. L. Torrea, J. L. Varona

Abstract: It is well-known that the fundamental solution of $$ u_t(n,t)= u(n+1,t)-2u(n,t)+u(n-1,t), \quad n\in\mathbb{Z}, $$ with $u(n,0) =δ_{nm}$ for every fixed $m \in\mathbb{Z}$, is given by $u(n,t) = e^{-2t}I_{n-m}(2t)$, where $I_k(t)$ is the Bessel function of imaginary argument. In other words, the heat semigroup of the discrete Laplacian is described by the formal series… ▽ More It is well-known that the fundamental solution of $$ u_t(n,t)= u(n+1,t)-2u(n,t)+u(n-1,t), \quad n\in\mathbb{Z}, $$ with $u(n,0) =δ_{nm}$ for every fixed $m \in\mathbb{Z}$, is given by $u(n,t) = e^{-2t}I_{n-m}(2t)$, where $I_k(t)$ is the Bessel function of imaginary argument. In other words, the heat semigroup of the discrete Laplacian is described by the formal series $$ W_tf(n) = \sum_{m\in\mathbb{Z}} e^{-2t} I_{n-m}(2t) f(m). $$ By using semigroup theory, this formula allows us to analyze some operators associated with the discrete Laplacian. In particular, we obtain the maximum principle for the discrete fractional Laplacian, weighted $\ell^p(\mathbb{Z})$-boundedness of conjugate harmonic functions, Riesz transforms and square functions of Littlewood-Paley. Interestingly, it is shown that the Riesz transforms coincide essentially with the so called discrete Hilbert transform defined by D. Hilbert at the beginning of the XX century. We also see that these Riesz transforms are limits of the conjugate harmonic functions. The results rely on a careful use of several properties of Bessel functions. △ Less

Submitted 14 May, 2014; v1 submitted 9 January, 2014; originally announced January 2014.

Comments: 21 pages. To appear in Journal d'Analyse Mathematique

Misfortunes of a mathematicians' trio using Computer Algebra Systems: Can we trust?

Authors: Antonio J. Durán, Mario Pérez, Juan L. Varona

Abstract: Computer algebra systems are a great help for mathematical research but sometimes unexpected errors in the software can also badly affect it. As an example, we show how we have detected an error of Mathematica computing determinants of matrices of integer numbers: not only it computes the determinants wrongly, but also it produces different results if one evaluates the same determinant twice. Computer algebra systems are a great help for mathematical research but sometimes unexpected errors in the software can also badly affect it. As an example, we show how we have detected an error of Mathematica computing determinants of matrices of integer numbers: not only it computes the determinants wrongly, but also it produces different results if one evaluates the same determinant twice. △ Less

Submitted 15 December, 2013; v1 submitted 11 December, 2013; originally announced December 2013.

Comments: 4 pages

MSC Class: 68W30

Journal ref: Notices Amer. Math. Soc. 61 (2014), 1249-1252

A $q$-linear analogue of the plane wave expansion

Authors: Luís Daniel Abreu, Óscar Ciaurri, Juan Luis Varona

Abstract: We obtain a $q$-linear analogue of Gegenbauer's expansion of the plane wave. It is expanded in terms of the little $q$-Gegenbauer polynomials and the \textit{third} Jackson $q$-Bessel function. The result is obtained by using a method based on bilinear biorthogonal expansions. We obtain a $q$-linear analogue of Gegenbauer's expansion of the plane wave. It is expanded in terms of the little $q$-Gegenbauer polynomials and the \textit{third} Jackson $q$-Bessel function. The result is obtained by using a method based on bilinear biorthogonal expansions. △ Less

Submitted 4 November, 2012; originally announced November 2012.

Comments: 12 pages, to appear in Adv. in Appl. Math. arXiv admin note: text overlap with arXiv:0909.0067

MSC Class: 94A20 (Primary) 42A38; 42C10; 33D45 (Secondary)

Journal ref: Adv. in Appl. Math. 50 (2013), 415-428

A simple computation of $ζ(2k)$ by using Bernoulli polynomials and a telesco** series

Authors: Ó. Ciaurri, L. M. Navas, F. J. Ruiz, J. L. Varona

Abstract: We present a new proof of Euler's formulas for $ζ(2k)$, where $k = 1,2,3,...$, which uses only the defining properties of the Bernoulli polynomials, obtaining the value of $ζ(2k)$ by summing a telesco** series. Only basic techniques from Calculus are needed to carry out the computation. The method also applies to $ζ(2k+1)$ and the harmonic numbers, yielding integral formulas for these. We present a new proof of Euler's formulas for $ζ(2k)$, where $k = 1,2,3,...$, which uses only the defining properties of the Bernoulli polynomials, obtaining the value of $ζ(2k)$ by summing a telesco** series. Only basic techniques from Calculus are needed to carry out the computation. The method also applies to $ζ(2k+1)$ and the harmonic numbers, yielding integral formulas for these. △ Less

Submitted 15 December, 2013; v1 submitted 22 September, 2012; originally announced September 2012.

Comments: 6 pages

MSC Class: 40C15; 11M06

Journal ref: Amer. Math. Monthly 122 (2015), 444-451

Asymptotic estimates for Apostol-Bernoulli and Apostol-Euler polynomials

Authors: Luis M. Navas, Francisco J. Ruiz, Juan L. Varona

Abstract: We analyze the asymptotic behavior of the Apostol-Bernoulli polynomials $\mathcal{B}_{n}(x;λ)$ in detail. The starting point is their Fourier series on $[0,1]$ which, it is shown, remains valid as an asymptotic expansion over compact subsets of the complex plane. This is used to determine explicit estimates on the constants in the approximation, and also to analyze oscillatory phenomena which aris… ▽ More We analyze the asymptotic behavior of the Apostol-Bernoulli polynomials $\mathcal{B}_{n}(x;λ)$ in detail. The starting point is their Fourier series on $[0,1]$ which, it is shown, remains valid as an asymptotic expansion over compact subsets of the complex plane. This is used to determine explicit estimates on the constants in the approximation, and also to analyze oscillatory phenomena which arise in certain cases. These results are transferred to the Apostol-Euler polynomials $\mathcal{E}_{n}(x;λ)$ via a simple relation linking them to the Apostol-Bernoulli polynomials. △ Less

Submitted 17 May, 2011; v1 submitted 7 February, 2011; originally announced February 2011.

Comments: 16 pages

MSC Class: 11B68 (Primary) 42A10; 41A60 (Secondary)

Journal ref: Math. Comp. 81 (2012), no. 279, 1707-1722

Mean convergence of Fourier-Dunkl series

Authors: Ó. Ciaurri, M. Pérez, J. M. Reyes, J. L. Varona

Abstract: In the context of the Dunkl transform a complete orthogonal system arises in a very natural way. This paper studies the weighted norm convergence of the Fourier series expansion associated to this system. We establish conditions on the weights, in terms of the $A_p$ classes of Muckenhoupt, which ensure the convergence. Necessary conditions are also proved, which for a wide class of weights coincid… ▽ More In the context of the Dunkl transform a complete orthogonal system arises in a very natural way. This paper studies the weighted norm convergence of the Fourier series expansion associated to this system. We establish conditions on the weights, in terms of the $A_p$ classes of Muckenhoupt, which ensure the convergence. Necessary conditions are also proved, which for a wide class of weights coincide with the sufficient conditions. △ Less

Submitted 9 October, 2010; originally announced October 2010.

MSC Class: 42C10; 33C10

Journal ref: J. Math. Math. Anal. Appl. 372 (2010), 470-485

Bilinear biorthogonal expansions and the Dunkl kernel on the real line

Authors: L. D. Abreu, Ó. Ciaurri, J. L. Varona

Abstract: We study an extension of the classical Paley-Wiener space structure, which is based on bilinear expansions of integral kernels into biorthogonal sequences of functions. The structure includes both sampling expansions and Fourier-Neumann type series as special cases, and it also provides a bilinear expansion for the Dunkl kernel (in the rank 1 case) which is a Dunkl analogue of Gegenbauer's expansi… ▽ More We study an extension of the classical Paley-Wiener space structure, which is based on bilinear expansions of integral kernels into biorthogonal sequences of functions. The structure includes both sampling expansions and Fourier-Neumann type series as special cases, and it also provides a bilinear expansion for the Dunkl kernel (in the rank 1 case) which is a Dunkl analogue of Gegenbauer's expansion of the plane wave and the corresponding sampling expansions. In fact, we show how to derive sampling and Fourier-Neumann type expansions from the results related to the bilinear expansion for the Dunkl kernel. △ Less

Submitted 5 November, 2012; v1 submitted 31 August, 2009; originally announced September 2009.

Comments: 16 pages

MSC Class: 94A20; 42A38; 42C10; 33D45

Journal ref: Expo. Math. 30 (2012), 32-48

Heat and Poisson semigroups for Fourier-Neumann expansions

Authors: J. J. Betancor, O. Ciaurri, T. Martínez, M. Pérez, J. L. Torrea, J. L. Varona

Abstract: Given $α> -1$, consider the second order differential operator in $(0,\infty)$, $$L_αf \equiv (x^2 \frac{d^2}{dx^2} + (2α+3)x \frac{d}{dx} + x^2 + (α+1)^2)(f), $$ which appears in the theory of Bessel functions. The purpose of this paper is to develop the corresponding harmonic analysis taking $L_α$ as the analogue to the classical Laplacian. Namely we study the boundedness properties of the… ▽ More Given $α> -1$, consider the second order differential operator in $(0,\infty)$, $$L_αf \equiv (x^2 \frac{d^2}{dx^2} + (2α+3)x \frac{d}{dx} + x^2 + (α+1)^2)(f), $$ which appears in the theory of Bessel functions. The purpose of this paper is to develop the corresponding harmonic analysis taking $L_α$ as the analogue to the classical Laplacian. Namely we study the boundedness properties of the heat and Poisson semigroups. These boundedness properties allow us to obtain some convergence results that can be used to solve the Cauchy problem for the corresponding heat and Poisson equations. △ Less

Submitted 3 November, 2005; originally announced November 2005.

Comments: 16 pages

MSC Class: 42C10

Journal ref: Semigroup Forum 73 (2006), 129-142

Singular measures and convolution operators

Authors: J. M. Aldaz, Juan L. Varona

Abstract: We show that in the study of certain convolution operators, functions can be replaced by measures without changing the size of the constants appearing in weak type (1,1) inequalities. As an application, we prove that the best constants for the centered Hardy-Littlewood maximal operator associated to parallelotopes do not decrease with the dimension. We show that in the study of certain convolution operators, functions can be replaced by measures without changing the size of the constants appearing in weak type (1,1) inequalities. As an application, we prove that the best constants for the centered Hardy-Littlewood maximal operator associated to parallelotopes do not decrease with the dimension. △ Less

Submitted 30 July, 2002; originally announced July 2002.

Comments: 8 pages

MSC Class: 42A85

Journal ref: Acta Math. Sin. (Engl. Ser.) 23 (2007), no. 3, 487-490

Weighted norm inequalities for polynomial expansions associated to some measures with mass points

Authors: José J. Guadalupe, Mario Pérez, Francisco J. Ruiz, Juan Luis Varona

Abstract: Fourier series in orthogonal polynomials with respect to a measure $ν$ on $[-1,1]$ are studied when $ν$ is a linear combination of a generalized Jacobi weight and finitely many Dirac deltas in $[-1,1]$. We prove some weighted norm inequalities for the partial sum operators $S_n$, their maximal operator $S^*$ and the commutator $[M_b, S_n]$, where $M_b$ denotes the operator of pointwise multiplic… ▽ More Fourier series in orthogonal polynomials with respect to a measure $ν$ on $[-1,1]$ are studied when $ν$ is a linear combination of a generalized Jacobi weight and finitely many Dirac deltas in $[-1,1]$. We prove some weighted norm inequalities for the partial sum operators $S_n$, their maximal operator $S^*$ and the commutator $[M_b, S_n]$, where $M_b$ denotes the operator of pointwise multiplication by $b \in \BMO$. We also prove some norm inequalities for $S_n$ when $ν$ is a sum of a Laguerre weight on $\R^+$ and a positive mass on $0$. △ Less

Submitted 30 May, 1995; originally announced May 1995.

Report number: OP-SF 31 May 1995

Journal ref: Constr. Approx. 12 (1996), 341-360