7.1k citations
- Universidad de ZaragozaES15 papers
- Universidad Pública de Navarra (UPNA)ES12 papers
- Universidade de São PauloBR10 papers
- Universität HamburgDE10 papers
- Universidad Autónoma de MadridES9 papers
- Universidad de GranadaES9 papers
- Universidad Politécnica de MadridES9 papers
- Centre National de la Recherche ScientifiqueFR8 papers
- Universidad de La LagunaES8 papers
- Universidad de OviedoES8 papers
- Centre National d'Études SpatialesFR7 papers
- Centro de AstrobiologíaES7 papers
7 papers · 1 filter
Potential operators associated with Jacobi and Fourier-Bessel expansions
Adam Nowak, Luz Roncal
We study potential operators (Riesz and Bessel potentials) associated with classical Jacobi and Fourier-Bessel expansions. We prove sharp estimates for the corresponding potential…
Vector-valued extensions for fractional integrals of Laguerre expansions
Ó. Ciaurri, L. Roncal
We prove some vector-valued inequalities for fractional integrals defined in the context of two different orthonormal systems of Laguerre functions. Our results are based on estima…
A -linear analogue of the plane wave expansion
Luís Daniel Abreu, Óscar Ciaurri, Juan Luis Varona
We obtain a -linear analogue of Gegenbauer's expansion of the plane wave. It is expanded in terms of the little -Gegenbauer polynomials and the \textit{third} Jackson -Bes…
Fractional Laplacian on the torus
L. Roncal, P. R. Stinga
We study the fractional Laplacian on the -dimensional torus , . First, we present a general extension problem that describes \textit{any} frac…
Sharp heat kernel estimates in the Fourier-Bessel setting for a continuous range of the type parameter
Adam Nowak, Luz Roncal
The heat kernel in the setting of classical Fourier-Bessel expansions is defined by an oscillatory series which cannot be computed explicitly. We prove qualitatively sharp estimate…
Verifying an algorithm computing Discrete Vector Fields for digital imaging
Jónathan Heras, María Poza, Julio Rubio
In this paper, we present a formalization of an algorithm to construct admissible discrete vector fields in the Coq theorem prover taking advantage of the SSReflect library. Discre…