Showing 1–47 of 47 results for author: Roncal, L

Landis-type results for discrete equations

Authors: Aingeru Fernández-Bertolin, Luz Roncal, Diana Stan

Abstract: We prove Landis-type results for both the semidiscrete heat and the stationary discrete Schrödinger equations. For the semidiscrete heat equation we show that, under the assumption of two-time spatial decay conditions on the solution $u$, then necessarily $u\equiv 0$. For the stationary discrete Schrödinger equation we deduce that, under a vanishing condition at infinity on the solution $u$, then… ▽ More We prove Landis-type results for both the semidiscrete heat and the stationary discrete Schrödinger equations. For the semidiscrete heat equation we show that, under the assumption of two-time spatial decay conditions on the solution $u$, then necessarily $u\equiv 0$. For the stationary discrete Schrödinger equation we deduce that, under a vanishing condition at infinity on the solution $u$, then $u\equiv 0$. In order to obtain such results, we demonstrate suitable quantitative upper and lower estimates for the $L^2$-norm of the solution within a spatial lattice $(h\mathbb{Z})^d$. These estimates manifest an interpolation phenomenon between continuum and discrete scales, showing that close-to-continuum and purely discrete regimes are different in nature. △ Less

Submitted 17 January, 2024; originally announced January 2024.

Comments: 40 pages, 1 figure

MSC Class: 39A12; 35B05

Non-existence of radial eigenfunctions for the perturbed Heisenberg sublaplacian

Authors: Luca Fanelli, Haruya Mizutani, Luz Roncal, Nico Michele Schiavone

Abstract: We prove uniform resolvent estimates in weighted $L^2$-spaces for radial solutions of the sublaplacian $\mathcal{L}$ on the Heisenberg group $\mathbb{H}^d$. The proofs are based on the multipliers methods, and strongly rely on the use of suitable multipliers and of the associated Hardy inequalities. The constants in our inequalities are explicit and depend only on the dimension $d$. As application… ▽ More We prove uniform resolvent estimates in weighted $L^2$-spaces for radial solutions of the sublaplacian $\mathcal{L}$ on the Heisenberg group $\mathbb{H}^d$. The proofs are based on the multipliers methods, and strongly rely on the use of suitable multipliers and of the associated Hardy inequalities. The constants in our inequalities are explicit and depend only on the dimension $d$. As application of the method, we obtain some suitable smallness and repulsivity conditions on a complex radial potential $V$ on $\mathbb{H}^d$ such that $\mathcal{L}+V$ has no radial eigenfunctions. △ Less

Submitted 3 November, 2023; v1 submitted 27 October, 2023; originally announced October 2023.

Comments: 28 pages. Minor typos corrected. arXiv admin note: substantial text overlap with arXiv:2203.07296

MSC Class: Primary: 35R03; Secondary: 35P99; 47B28; 47F05; 81Q12

Pointwise localization and sharp weighted bounds for Rubio de Francia square functions

Authors: Francesco Di Plinio, Mikel Flórez-Amatriain, Ioannis Parissis, Luz Roncal

Abstract: Let $H_ωf$ be the Fourier restriction of $f\in L^2(\mathbb{R})$ to an interval $ω\subset \mathbb{R}$. If $Ω$ is an arbitrary collection of pairwise disjoint intervals, the square function of $\{H_ωf: ω\in Ω\}$ is termed the Rubio de Francia square function $T^Ω$. This article proves a pointwise bound for $T^Ωf$ by a sparse operator involving local $L^2$-averages. A pointwise bound for the smooth v… ▽ More Let $H_ωf$ be the Fourier restriction of $f\in L^2(\mathbb{R})$ to an interval $ω\subset \mathbb{R}$. If $Ω$ is an arbitrary collection of pairwise disjoint intervals, the square function of $\{H_ωf: ω\in Ω\}$ is termed the Rubio de Francia square function $T^Ω$. This article proves a pointwise bound for $T^Ωf$ by a sparse operator involving local $L^2$-averages. A pointwise bound for the smooth version of $T^Ω$ by a sparse square function is also proved. These pointwise localization principles lead to quantified $L^p(w)$, $p>2$ and weak $L^p(w)$, $p\geq 2$ norm inequalities for $T^Ω$. In particular, the obtained weak $L^p(w)$ norm bounds are new for $p\geq 2$ and sharp for $p>2$. The proofs rely on sparse bounds for abstract balayages of Carleson sequences, local orthogonality and very elementary time-frequency analysis techniques. The paper also contains two results related to the outstanding conjecture that $T^Ω$ is bounded on $L^2(w)$ if and only if $w\in A_1$. The conjecture is verified for radially decreasing even $A_1$ weights, and in full generality for the Walsh group analogue of $T^Ω$. △ Less

Submitted 16 August, 2023; v1 submitted 2 August, 2023; originally announced August 2023.

Comments: 27 pages; submitted. v2: typos fixed and more details provided

MSC Class: 42B20

Singular integrals along variable codimension one subspaces

Authors: Odysseas Bakas, Francesco Di Plinio, Ioannis Parissis, Luz Roncal

Abstract: This article deals with maximal operators on ${\mathbb R}^n$ formed by taking arbitrary rotations of tensor products of a $d$-dimensional Hörmander--Mihlin multiplier with the identity in $n-d$ coordinates, in the particular codimension 1 case $d=n-1$. These maximal operators are naturally connected to differentiation problems and maximally modulated singular integrals such as Sjölin's generalizat… ▽ More This article deals with maximal operators on ${\mathbb R}^n$ formed by taking arbitrary rotations of tensor products of a $d$-dimensional Hörmander--Mihlin multiplier with the identity in $n-d$ coordinates, in the particular codimension 1 case $d=n-1$. These maximal operators are naturally connected to differentiation problems and maximally modulated singular integrals such as Sjölin's generalization of Carleson's maximal operator. Our main result, a weak-type $L^{2}({\mathbb R}^n)$-estimate on band-limited functions, leads to several corollaries. The first is a sharp $L^2({\mathbb R}^n)$ estimate for the maximal operator restricted to a finite set of rotations in terms of the cardinality of the finite set. The second is a version of the Carleson--Sjölin theorem. In addition, we obtain that functions in the Besov space $B_{p,1}^0({\mathbb R}^n)$, $2\le p <\infty$, may be recovered from their averages along a measurable choice of codimension $1$ subspaces, a form of Zygmund's conjecture in general dimension $n$. △ Less

Submitted 21 February, 2024; v1 submitted 24 November, 2022; originally announced November 2022.

Comments: Published version on Ars Inveniendi Analytica

MSC Class: 42B20

Journal ref: Ars Inveniendi Analytica (2024), Paper No. 2, 53 pp

Weak-type maximal function estimates on the infinite-dimensional torus

Authors: Dariusz Kosz, Guillermo Rey, Luz Roncal

Abstract: We prove necessary and sufficient conditions for the weak-$L^p$ boundedness, for $p \in (1,\infty)$, of a maximal operator on the infinite-dimensional torus. In the endpoint case $p=1$ we obtain the same weak-type inequality enjoyed by the strong maximal function in dimension two. Our results are quantitatively sharp. We prove necessary and sufficient conditions for the weak-$L^p$ boundedness, for $p \in (1,\infty)$, of a maximal operator on the infinite-dimensional torus. In the endpoint case $p=1$ we obtain the same weak-type inequality enjoyed by the strong maximal function in dimension two. Our results are quantitatively sharp. △ Less

Submitted 4 March, 2023; v1 submitted 21 November, 2022; originally announced November 2022.

Poisson transform and unipotent complex geometry

Authors: Heiko Gimperlein, Bernhard Krötz, Luz Roncal, Sundaram Thangavelu

Abstract: Our concern is with Riemannian symmetric spaces $Z=G/K$ of the non-compact type and more precisely with the Poisson transform $\mathcal{P}_λ$ which maps generalized functions on the boundary $\partial Z$ to $λ$-eigenfunctions on $Z$. Special emphasis is given to a maximal unipotent group $N<G$ which naturally acts on both $Z$ and $\partial Z$. The $N$-orbits on $Z$ are parametrized by a torus… ▽ More Our concern is with Riemannian symmetric spaces $Z=G/K$ of the non-compact type and more precisely with the Poisson transform $\mathcal{P}_λ$ which maps generalized functions on the boundary $\partial Z$ to $λ$-eigenfunctions on $Z$. Special emphasis is given to a maximal unipotent group $N<G$ which naturally acts on both $Z$ and $\partial Z$. The $N$-orbits on $Z$ are parametrized by a torus $A=(\mathbb{R}_{>0})^r<G$ (Iwasawa) and letting the level $a\in A$ tend to $0$ on a ray we retrieve $N$ via $\lim_{a\to 0} Na$ as an open dense orbit in $\partial Z$ (Bruhat). For positive parameters $λ$ the Poisson transform $\mathcal{P}_λ$ is defined an injective for functions $f\in L^2(N)$ and we give a novel characterization of $\mathcal{P}_λ(L^2(N))$ in terms of complex analysis. For that we view eigenfunctions $φ= \mathcal{P}_λ(f)$ as families $(φ_a)_{a\in A}$ of functions on the $N$-orbits, i.e. $φ_a(n)= φ(na)$ for $n\in N$. The general theory then tells us that there is a tube domain $\mathcal{T}=N\exp(iΛ)\subset N_\mathbb{C}$ such that each $φ_a$ extends to a holomorphic function on the scaled tube $\mathcal{T}_a=N\exp(i\operatorname{Ad}(a)Λ)$. We define a class of $N$-invariant weight functions ${\bf w}_λ$ on the tube $\mathcal{T}$, rescale them for every $a\in A$ to a weight ${\bf w}_{λ, a}$ on $\mathcal{T}_a$, and show that each $φ_a$ lies in the $L^2$-weighted Bergman space $\mathcal{B}(\mathcal{T}_a, {\bf w}_{λ, a}):=\mathcal{O}(\mathcal{T}_a)\cap L^2(\mathcal{T}_a, {\bf w}_{λ, a})$. The main result of the article then describes $\mathcal{P}_λ(L^2(N))$ as those eigenfunctions $φ$ for which $φ_a\in \mathcal{B}(\mathcal{T}_a, {\bf w}_{λ, a})$ and $$\|φ\|:=\sup_{a\in A} a^{\operatorname{Re}λ-2ρ} \|φ_a\|_{\mathcal{B}_{a,λ}}<\infty$$ holds. △ Less

Submitted 28 June, 2022; originally announced June 2022.

Comments: 27 pages

Non self-adjoint perturbations of the Heisenberg sublaplacian

Authors: Luca Fanelli, Luz Roncal, Nico Michele Schiavone

Abstract: We prove uniform resolvent estimates in weighted $L^2$-spaces for the sublaplacian $\mathcal{L}$ on the Heisenberg group $\mathbb{H}^d$. The proof are based on multiplier methods, and strongly rely on the use of horizontal multipliers and the associated Hardy inequalities. The constants of our inequalities are explicit and depend only on the dimension $d$. As applications of this method, we obtain… ▽ More We prove uniform resolvent estimates in weighted $L^2$-spaces for the sublaplacian $\mathcal{L}$ on the Heisenberg group $\mathbb{H}^d$. The proof are based on multiplier methods, and strongly rely on the use of horizontal multipliers and the associated Hardy inequalities. The constants of our inequalities are explicit and depend only on the dimension $d$. As applications of this method, we obtain some suitable smallness and repulsivity conditions on a complex potential $V$ on $\mathbb{H}^d$ such that the spectrum of $\mathcal{L}+V$ does not contain eigenvalues. △ Less

Submitted 27 October, 2023; v1 submitted 14 March, 2022; originally announced March 2022.

Comments: Withdrawn due to a gap in the proof, which can be mended requiring extra radial condition. The fixing is not trivial and the correct result is posted in a new submission by the same authors plus a new one

MSC Class: Primary: 35R03; Secondary: 47A10; 47B28; 47F05; 81Q12

The Frisch--Parisi formalism for fluctuations of the Schrödinger equation

Authors: S. Kumar, F. Ponce-Vanegas, L. Roncal, L. Vega

Abstract: We consider the solution of the Schrödinger equation $u$ in $\mathbb{R}$ when the initial datum tends to the Dirac comb. Let $h_{\text{p}, δ}(t)$ be the fluctuations in time of $\int\lvert x\rvert^{2δ}\lvert u(x,t)\rvert^2\,dx$, for $0 < δ< 1$, after removing a smooth background. We prove that the Frisch--Parisi formalism holds for $H_δ(t) = \int_{[0,t]}h_{\text{p}, δ}(2s)\,ds$, which is morally a… ▽ More We consider the solution of the Schrödinger equation $u$ in $\mathbb{R}$ when the initial datum tends to the Dirac comb. Let $h_{\text{p}, δ}(t)$ be the fluctuations in time of $\int\lvert x\rvert^{2δ}\lvert u(x,t)\rvert^2\,dx$, for $0 < δ< 1$, after removing a smooth background. We prove that the Frisch--Parisi formalism holds for $H_δ(t) = \int_{[0,t]}h_{\text{p}, δ}(2s)\,ds$, which is morally a simplification of the Riemann's non-differentiable curve $R$. Our motivation is to understand the evolution of the vortex filament equation of polygonal filaments, which are related to $R$. △ Less

Submitted 14 February, 2022; originally announced February 2022.

Comments: 17 pages, 4 figures

MSC Class: 35Q41 (Primary) 26A27; 76B47 (Secondary)

On (Global) Unique Continuation Properties of the Fractional Discrete Laplacian

Authors: Aingeru Fernández-Bertolin, Luz Roncal, Angkana Rüland

Abstract: We study various qualitative and quantitative (global) unique continuation properties for the fractional discrete Laplacian. We show that while the fractional Laplacian enjoys striking rigidity properties in the form of (global) unique continuation properties, the fractional discrete Laplacian does not enjoy these in general. While discretization thus counteracts the strong rigidity properties of… ▽ More We study various qualitative and quantitative (global) unique continuation properties for the fractional discrete Laplacian. We show that while the fractional Laplacian enjoys striking rigidity properties in the form of (global) unique continuation properties, the fractional discrete Laplacian does not enjoy these in general. While discretization thus counteracts the strong rigidity properties of the continuum fractional Laplacian, by discussing quantitative forms of unique continuation, we illustrate that these properties can be recovered if exponentially small (in the lattice size) correction terms are added. This in particular allows us to deduce uniform stability properties for a discrete, linear inverse problem for the fractional Laplacian. We complement these observations with a transference principle and the discussion of these properties on the discrete torus. △ Less

Submitted 6 February, 2022; originally announced February 2022.

Comments: 41 pages, comments welcome

Endpoint estimates and optimality for the generalized spherical maximal operator on radial functions

Authors: Adam Nowak, Luz Roncal, Tomasz Z. Szarek

Abstract: We find sharp conditions for the maximal operator associated with generalized spherical mean Radon transform on radial functions $M^{\a,\b}_t$ to be bounded on power weighted Lebesgue spaces. Moreover, we also obtain the corresponding endpoint results in terms of optimal power weighted weak and restricted weak type estimates. We find sharp conditions for the maximal operator associated with generalized spherical mean Radon transform on radial functions $M^{\a,\b}_t$ to be bounded on power weighted Lebesgue spaces. Moreover, we also obtain the corresponding endpoint results in terms of optimal power weighted weak and restricted weak type estimates. △ Less

Submitted 23 January, 2023; v1 submitted 2 January, 2022; originally announced January 2022.

Comments: 39 pages, 2 figures

MSC Class: 44A12 (Primary); 42B37; 35L15; 35B07; 35L05; 35Q05 (Secondary)

Journal ref: Commun. Pure Appl. Anal. 22 (2023), 2233-2277

Maximal operators on the infinite-dimensional torus

Authors: Dariusz Kosz, Javier Martínez Perales, Victoria Paternostro, Ezequiel Rela, Luz Roncal

Abstract: We study maximal operators related to bases on the infinite-dimensional torus $\mathbb{T}^ω$. {For the normalized Haar measure $dx$ on $\mathbb{T}^ω$ it is known that $M^{\mathcal{R}_0}$, the maximal operator associated with the dyadic basis $\mathcal{R}_0$, is of weak type $(1,1)$, but $M^{\mathcal{R}}$, the operator associated with the natural general basis $\mathcal{R}$, is not. We extend the l… ▽ More We study maximal operators related to bases on the infinite-dimensional torus $\mathbb{T}^ω$. {For the normalized Haar measure $dx$ on $\mathbb{T}^ω$ it is known that $M^{\mathcal{R}_0}$, the maximal operator associated with the dyadic basis $\mathcal{R}_0$, is of weak type $(1,1)$, but $M^{\mathcal{R}}$, the operator associated with the natural general basis $\mathcal{R}$, is not. We extend the latter result to all $q \in [1,\infty)$. Then we find a wide class of intermediate bases $\mathcal{R}_0 \subset \mathcal{R}' \subset \mathcal{R}$, for which maximal functions have controlled, but sometimes very peculiar behavior.} Precisely, for given $q_0 \in [1, \infty)$ we construct $\mathcal{R}'$ such that $M^{\mathcal{R}'}$ is of restricted weak type $(q,q)$ if and only if $q$ belongs to a predetermined range of the form $(q_0, \infty]$ or $[q_0, \infty]$. Finally, we study the weighted setting, considering the Muckenhoupt $A_p^\mathcal{R}(\mathbb{T}^ω)$ and reverse Hölder $\mathrm{RH}_r^\mathcal{R}(\mathbb{T}^ω)$ classes of weights associated with $\mathcal{R}$. For each $p \in (1, \infty)$ and each $w \in A_p^\mathcal{R}(\mathbb{T}^ω)$ we obtain that $M^{\mathcal{R}}$ is not bounded on $L^q(w)$ in the whole range $q \in [1,\infty)$. Since we are able to show that \[ \bigcup_{p \in (1, \infty)}A_p^\mathcal{R}(\mathbb{T}^ω) = \bigcup_{r \in (1, \infty)} \mathrm{RH}_r^\mathcal{R}(\mathbb{T}^ω), \] the unboundedness result applies also to all reverse Hölder weights. △ Less

Submitted 15 September, 2021; v1 submitted 10 September, 2021; originally announced September 2021.

Kato-Ponce estimates for fractional sublaplacians

Authors: L. Fanelli, L. Roncal

Abstract: We give a proof of commutator estimates for fractional powers of the sublaplacian on the Heisenberg group. Our approach is based on pointwise and $L^p$ estimates involving square fractional integrals and Littlewood-Paley square functions. We give a proof of commutator estimates for fractional powers of the sublaplacian on the Heisenberg group. Our approach is based on pointwise and $L^p$ estimates involving square fractional integrals and Littlewood-Paley square functions. △ Less

Submitted 21 July, 2021; originally announced July 2021.

Comments: 18 pages, 1 figure

Variation bounds for spherical averages

Authors: David Beltran, Richard Oberlin, Luz Roncal, Andreas Seeger, Betsy Stovall

Abstract: We consider $r$-variation operators for the family of spherical means, with special emphasis on $L^p\to L^q$ estimates. We consider $r$-variation operators for the family of spherical means, with special emphasis on $L^p\to L^q$ estimates. △ Less

Submitted 22 October, 2021; v1 submitted 15 September, 2020; originally announced September 2020.

Comments: 51 pages, 11 figures. Revised version incorporating referee's suggestions. To appear in Mathematische Annalen

Holomorphic extensions of eigenfunctions on $NA$ groups

Authors: L. Roncal, S. Thangavelu

Abstract: Let $ X = G/K $ be a rank one Riemannian symmetric space of noncompact type. In view of the Iwasawa decomposition $ G = NAK $ of the underlying semisimple Lie group, we can also view $ X $ as the solvable extension $ S = NA $ of the Iwasawa group $ N$ which is known to be a $H$-type group. In this work we study the holomorphic extendability of eigenfunctions of the Laplace-Beltrami operator… ▽ More Let $ X = G/K $ be a rank one Riemannian symmetric space of noncompact type. In view of the Iwasawa decomposition $ G = NAK $ of the underlying semisimple Lie group, we can also view $ X $ as the solvable extension $ S = NA $ of the Iwasawa group $ N$ which is known to be a $H$-type group. In this work we study the holomorphic extendability of eigenfunctions of the Laplace-Beltrami operator $ Δ_S$ on $ S $ to certain domains in the complexification of the nilpotent group $ N$. We can also do the same for any $H$-type group $ N $ not necessarily an Iwasawa group. The results are accomplished by making use of the connection with solutions of the extension problem for the Laplacian or the sublaplacian on the corresponding $ N$. △ Less

Submitted 20 May, 2020; originally announced May 2020.

Comments: 35 pages

Directional square functions

Authors: Natalia Accomazzo, Francesco Di Plinio, Paul Hagelstein, Ioannis Parissis, Luz Roncal

Abstract: Quantitative formulations of Fefferman's counterexample for the ball multiplier are naturally linked to square function estimates for conical and directional multipliers. In this article we develop a novel framework for these square function estimates, based on a directional embedding theorem for Carleson sequences and multi-parameter time-frequency analysis techniques. As applications we prove sh… ▽ More Quantitative formulations of Fefferman's counterexample for the ball multiplier are naturally linked to square function estimates for conical and directional multipliers. In this article we develop a novel framework for these square function estimates, based on a directional embedding theorem for Carleson sequences and multi-parameter time-frequency analysis techniques. As applications we prove sharp or quantified bounds for Rubio de Francia type square functions of conical multipliers and of multipliers adapted to rectangles pointing along $N$ directions. A suitable combination of these estimates yields a new and currently best-known logarithmic bound for the Fourier restriction to an $N$-gon, improving on previous results of A. Cordoba. Our directional Carleson embedding extends to the weighted setting, yielding previously unknown weighted estimates for directional maximal functions and singular integrals. △ Less

Submitted 25 January, 2022; v1 submitted 10 April, 2020; originally announced April 2020.

Comments: 49 pages, 4 figures. Final version to appear in Analysis&PDE. arXiv admin note: text overlap with arXiv:1902.03644

MSC Class: 42B20 (Primary) 42B25 (Secondary)

Journal ref: Analysis & PDE 16 (2023) 1651-1699

Discrete Carleman estimates and three balls inequalities

Authors: Aingeru Fernández-Bertolin, Luz Roncal, Angkana Rüland, Diana Stan

Abstract: We prove logarithmic convexity estimates and three balls inequalities for discrete magnetic Schrödinger operators. These quantitatively connect the discrete setting in which the unique continuation property fails and the continuum setting in which the unique continuation property is known to hold under suitable regularity assumptions. As a key auxiliary result which might be of independent interes… ▽ More We prove logarithmic convexity estimates and three balls inequalities for discrete magnetic Schrödinger operators. These quantitatively connect the discrete setting in which the unique continuation property fails and the continuum setting in which the unique continuation property is known to hold under suitable regularity assumptions. As a key auxiliary result which might be of independent interest we present a Carleman estimate for these discrete operators. △ Less

Submitted 26 January, 2021; v1 submitted 1 March, 2020; originally announced March 2020.

Comments: 25 pages, comments welcome, relation $τ$ and h improved, added some higher order Taylor terms in Lemma 3.3

Bilinear spherical maximal functions of product type

Authors: L. Roncal, S. Shrivastava, K. Shuin

Abstract: In this paper we introduce and study a bilinear spherical maximal function of product type in the spirit of bilinear Calderón-Zygmund theory. This operator is different from the bilinear spherical maximal function considered by Geba et al. We deal with lacunary and full versions of this operator, and we prove weighted estimates with respect to bilinear weights. Our approach involves sparse forms f… ▽ More In this paper we introduce and study a bilinear spherical maximal function of product type in the spirit of bilinear Calderón-Zygmund theory. This operator is different from the bilinear spherical maximal function considered by Geba et al. We deal with lacunary and full versions of this operator, and we prove weighted estimates with respect to bilinear weights. Our approach involves sparse forms following ideas by Lacey, but we also use other techniques to handle the particular triplet $(2,2,1)$. △ Less

Submitted 19 February, 2020; originally announced February 2020.

Comments: 24 pages, 2 figures

A decomposition of Calderón--Zygmund type and some observations on differentiation of integrals on the infinite-dimensional torus

Authors: E. Fernández, L. Roncal

Abstract: In this note we will show a Calderón--Zygmund decomposition associated with a function $f\in L^1(\mathbb{T}^ω)$. The idea relies on an adaptation of a more general result by J. L. Rubio de Francia in the setting of locally compact groups. Some related results about differentiation of integrals on the infinite-dimensional torus are also discussed. In this note we will show a Calderón--Zygmund decomposition associated with a function $f\in L^1(\mathbb{T}^ω)$. The idea relies on an adaptation of a more general result by J. L. Rubio de Francia in the setting of locally compact groups. Some related results about differentiation of integrals on the infinite-dimensional torus are also discussed. △ Less

Submitted 6 January, 2020; originally announced January 2020.

Comments: 15 pages, 4 figures, to appear in Potential Analysis

Carleman type inequalities for fractional relativistic operators

Authors: Luz Roncal, Diana Stan, Luis Vega

Abstract: In this paper we derive Carleman estimates for the fractional relativistic operator. We consider changing-sign solutions to the heat equation for such operators. We prove monotonicity inequalities and convexity of certain energy functionals to deduce Carleman estimates with linear exponential weight. Our approach is based on spectral methods and functional calculus. In this paper we derive Carleman estimates for the fractional relativistic operator. We consider changing-sign solutions to the heat equation for such operators. We prove monotonicity inequalities and convexity of certain energy functionals to deduce Carleman estimates with linear exponential weight. Our approach is based on spectral methods and functional calculus. △ Less

Submitted 26 January, 2022; v1 submitted 22 September, 2019; originally announced September 2019.

Comments: Final revised version. Carleman inequality with quadratic exponential weight has been removed

$C_p$ estimates for rough homogeneous singular integrals and sparse forms

Authors: Javier Canto, Kangwei Li, Luz Roncal, Olli Tapiola

Abstract: We consider Coifman--Fefferman inequalities for rough homogeneous singular integrals $T_Ω$ and $C_p$ weights. It was recently shown by Li-Pérez-Rivera-Ríos-Roncal that $$ \|T_Ω\|_{L^p(w)} \le C_{p,T,w} \|Mf\|_{L^p(w)} $$ for every $0< p < \infty$ and every $w \in A_\infty$. Our first goal is to generalize this result for every $w \in C_q$ where $q > \max\{1,p\}$ without using extrapolation theor… ▽ More We consider Coifman--Fefferman inequalities for rough homogeneous singular integrals $T_Ω$ and $C_p$ weights. It was recently shown by Li-Pérez-Rivera-Ríos-Roncal that $$ \|T_Ω\|_{L^p(w)} \le C_{p,T,w} \|Mf\|_{L^p(w)} $$ for every $0< p < \infty$ and every $w \in A_\infty$. Our first goal is to generalize this result for every $w \in C_q$ where $q > \max\{1,p\}$ without using extrapolation theory. Although the bounds we prove are new even in a qualitative sense, we also give the quantitative bound with respect to the $C_q$ characteristic. Our techniques rely on recent advances in sparse domination theory and we actually prove most of our estimates for sparse forms. Our second goal is to continue the structural analysis of $C_p$ classes. We consider some weak self-improving properties of $C_p$ weights and weak and dyadic $C_p$ classes. We also revisit and generalize a counterexample by Kahanpää and Mejlbro who showed that $C_p \setminus \bigcup_{q > p} C_q \neq \emptyset$. We combine their construction with techniques of Lerner to define an explicit weight class $\widetilde{C}_p$ such that $\bigcup_{q > p} C_q \subsetneq \widetilde{C}_p \subsetneq C_p$ and every $w \in \widetilde{C}_p$ satisfies Muckenhoupt's conjecture. In particular, we give a different, self-contained proof for the fact that the $C_{p+\varepsilon}$ condition is not necessary for the Coifman--Fefferman inequality and our ideas allow us to consider also dimensions higher than $1$. △ Less

Submitted 18 September, 2019; originally announced September 2019.

Comments: 31 pages

On the absolute divergence of Fourier series in the infinite dimensional torus

Authors: E. Fernández, L. Roncal

Abstract: We present some simple counterexamples, based on quadratic forms in infinitely many variables, showing that the implication $f\in C^{(\infty}(\mathbb{T}^ω)\Longrightarrow\sum_{\bar{p}\in\mathbb{Z}^\infty}|\widehat{f}(\bar{p})|<\infty$ is false. There are functions of the class $C^{(\infty}(\mathbb{T}^ω)$ (depending on an infinite number of variables) whose Fourier series diverges absolutely. This… ▽ More We present some simple counterexamples, based on quadratic forms in infinitely many variables, showing that the implication $f\in C^{(\infty}(\mathbb{T}^ω)\Longrightarrow\sum_{\bar{p}\in\mathbb{Z}^\infty}|\widehat{f}(\bar{p})|<\infty$ is false. There are functions of the class $C^{(\infty}(\mathbb{T}^ω)$ (depending on an infinite number of variables) whose Fourier series diverges absolutely. This fact establishes a significant difference from the finite dimensional case. △ Less

Submitted 5 June, 2019; originally announced June 2019.

Comments: 12 pages

Journal ref: Colloq. Math. 157 (2019), no. 1, 143--155

On the maximal function associated to the spherical means on the Heisenberg group

Authors: S. Bagchi, S. Hait, L. Roncal, S. Thangavelu

Abstract: In this paper we deal with lacunary and full versions of the spherical maximal function on the Heisenberg group $\mathbb{H}^n$, for $n\ge 2$. By suitable adaptation of an approach developed by M. Lacey in the Euclidean case, we obtain sparse bounds for these maximal functions, which lead to new unweighted and weighted estimates. In particular, we deduce the $L^p$ boundedness, for $1<p<\infty$, of… ▽ More In this paper we deal with lacunary and full versions of the spherical maximal function on the Heisenberg group $\mathbb{H}^n$, for $n\ge 2$. By suitable adaptation of an approach developed by M. Lacey in the Euclidean case, we obtain sparse bounds for these maximal functions, which lead to new unweighted and weighted estimates. In particular, we deduce the $L^p$ boundedness, for $1<p<\infty$, of the lacunary maximal function associated to the spherical means on the Heisenberg group. In order to prove the sparse bounds, we establish $ L^p-L^q $ estimates for local (single scale) variants of the spherical means. △ Less

Submitted 10 March, 2021; v1 submitted 31 December, 2018; originally announced December 2018.

Comments: 34 pages, 4 figures. Revised version

Maximal estimates for a generalized spherical mean Radon transform acting on radial functions

Authors: Óscar Ciaurri, Adam Nowak, Luz Roncal

Abstract: We study a generalized spherical means operator, viz. generalized spherical mean Radon transform, acting on radial functions. As the main results, we find conditions for the associated maximal operator and its local variant to be bounded on power weighted Lebesgue spaces. This translates, in particular, into almost everywhere convergence to radial initial data results for solutions to certain Cauc… ▽ More We study a generalized spherical means operator, viz. generalized spherical mean Radon transform, acting on radial functions. As the main results, we find conditions for the associated maximal operator and its local variant to be bounded on power weighted Lebesgue spaces. This translates, in particular, into almost everywhere convergence to radial initial data results for solutions to certain Cauchy problems for classical Euler-Poisson-Darboux and wave equations. Moreover, our results shed some new light to the interesting and important question of optimality of the yet known $L^p$ boundedness results for the maximal operator in the general non-radial case. It appears that these could still be notably improved, as indicated by our conjecture of the ultimate sharp result. △ Less

Submitted 17 November, 2019; v1 submitted 3 November, 2018; originally announced November 2018.

Comments: 20 pages, 2 figures. Sharpness results added and minor things improved or corrected. Accepted for publication in Annali di Matematica Pura ed Applicata

MSC Class: 44A12 (Primary); 42B37; 35L15; 35B07; 35L05; 35Q05 (Secondary)

Journal ref: Ann. Mat. Pura Appl. 199 (2020), 1597-1619

Quantitative weighted estimates for Rubio de Francia's Littlewood--Paley square function

Authors: R. Garg, L. Roncal, S. Shrivastava

Abstract: We consider the Rubio de Francia's Littlewood--Paley square function associated with an arbitrary family of intervals in $\mathbb{R}$ with finite overlapping. Quantitative weighted estimates are obtained for this operator. The linear dependence on the characteristic of the weight $[w]_{A_{p/2}}$ turns out to be sharp for $3\le p<\infty$, whereas the sharpness in the range $2<p<3$ remains as an ope… ▽ More We consider the Rubio de Francia's Littlewood--Paley square function associated with an arbitrary family of intervals in $\mathbb{R}$ with finite overlapping. Quantitative weighted estimates are obtained for this operator. The linear dependence on the characteristic of the weight $[w]_{A_{p/2}}$ turns out to be sharp for $3\le p<\infty$, whereas the sharpness in the range $2<p<3$ remains as an open question. Weighted weak-type estimates in the endpoint $p=2$ are also provided. The results arise as a consequence of a sparse domination shown for these operators, obtained by suitably adapting the ideas coming from Benea (2015) and Culiuc et al. (2016). △ Less

Submitted 7 October, 2019; v1 submitted 9 September, 2018; originally announced September 2018.

Comments: 18 pages. Revised version

Journal ref: J. Geom. Anal. 31 (2021), no. 1, 748-771

An extension problem and trace Hardy inequality for the sublaplacian on $H$-type groups

Authors: L. Roncal, S. Thangavelu

Abstract: In this paper we study the extension problem for the sublaplacian on a $H$-type group and use the solutions to prove trace Hardy and Hardy inequalities for fractional powers of the sublaplacian. In this paper we study the extension problem for the sublaplacian on a $H$-type group and use the solutions to prove trace Hardy and Hardy inequalities for fractional powers of the sublaplacian. △ Less

Submitted 30 August, 2017; originally announced August 2017.

Comments: 39 pages

Two-weight mixed norm estimates for a generalized spherical mean Radon transform acting on radial functions

Authors: Óscar Ciaurri, Adam Nowak, Luz Roncal

Abstract: We investigate a generalized spherical means operator, viz. generalized spherical mean Radon transform, acting on radial functions. We establish an integral representation of this operator and find precise estimates of the corresponding kernel. As the main result, we prove two-weight mixed norm estimates for the integral operator, with general power weights involved. This leads to weighted Stricha… ▽ More We investigate a generalized spherical means operator, viz. generalized spherical mean Radon transform, acting on radial functions. We establish an integral representation of this operator and find precise estimates of the corresponding kernel. As the main result, we prove two-weight mixed norm estimates for the integral operator, with general power weights involved. This leads to weighted Strichartz type estimates for solutions to certain Cauchy problems for classical Euler-Poisson-Darboux and wave equations with radial initial data. △ Less

Submitted 2 February, 2017; originally announced February 2017.

Comments: 38 pages, 5 figures

MSC Class: Primary: 44A12; Secondary: 42B37; 35L15; 35B07; 35L05; 35Q05

Journal ref: SIAM J. Math. Anal. 49 (2017), 4402-4439

Weighted norm inequalities for rough singular integral operators

Authors: Kangwei Li, Carlos Pérez, Israel P. Rivera-Ríos, Luz Roncal

Abstract: In this paper we provide weighted estimates for rough operators, including rough homogeneous singular integrals $T_Ω$ with $Ω\in L^\infty(\mathbb{S}^{n-1})$ and the Bochner-Riesz multiplier at the critical index $B_{(n-1)/2}$. More precisely, we prove qualitative and quantitative versions of Coifman-Fefferman type inequalities and their vector-valued extensions, weighted $A_p-A_\infty$ strong and… ▽ More In this paper we provide weighted estimates for rough operators, including rough homogeneous singular integrals $T_Ω$ with $Ω\in L^\infty(\mathbb{S}^{n-1})$ and the Bochner-Riesz multiplier at the critical index $B_{(n-1)/2}$. More precisely, we prove qualitative and quantitative versions of Coifman-Fefferman type inequalities and their vector-valued extensions, weighted $A_p-A_\infty$ strong and weak type inequalities for $1<p<\infty$, and $A_1-A_\infty$ type weak $(1,1)$ estimates. Moreover, Fefferman-Stein type inequalities are obtained, proving in this way a conjecture raised by the second-named author in the 90's. As a corollary, we obtain the weighted $A_1-A_\infty$ type estimates. Finally, we study rough homogenous singular integrals with a kernel involving a function $Ω\in L^q(\mathbb{S}^{n-1})$, $1<q<\infty$, and provide Fefferman-Stein inequalities too. The arguments used for our proofs combine several tools: a recent sparse domination result by Conde-Alonso et.al. [CACDPO], results by the first author in [L], suitable adaptations of Rubio de Francia algorithm, the extrapolation theorems for $A_{\infty}$ weights [CMP,CGMP] and ideas contained in previous works by A. Seeger in [S] and D. Fan and S. Sato [FS]. △ Less

Submitted 20 February, 2018; v1 submitted 18 January, 2017; originally announced January 2017.

Comments: 29 pages, v3: minor changes

Journal ref: Journal of Geometric Analysis, 29(2019), 2526--2564

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

$A_1$ theory of weights for rough homogeneous singular integrals and commutators

Authors: C. Perez, I. Rivera-Rios, L. Roncal

Abstract: Quantitative $A_1-A_\infty$ estimates for rough homogeneous singular integrals $T_Ω$ and commutators of $BMO$ symbols and $T_Ω$ are obtained. In particular the following estimates are proved: % \[ \|T_Ω\|_{L^p(w)}\le c_{n,p}\|Ω\|_{L^\infty} [w]_{A_1}^{\frac{1}{p}}\,[w]_{A_{\infty}}^{1+\frac{1}{p'}}\|f\|_{L^p(w)} \] % and % \[ \| [b,T_Ω]f\|_{L^{p}(w)}\leq c_{n,p}\|b\|_{BMO}\|Ω\|_{L^{\infty}} [w]_{A… ▽ More Quantitative $A_1-A_\infty$ estimates for rough homogeneous singular integrals $T_Ω$ and commutators of $BMO$ symbols and $T_Ω$ are obtained. In particular the following estimates are proved: % \[ \|T_Ω\|_{L^p(w)}\le c_{n,p}\|Ω\|_{L^\infty} [w]_{A_1}^{\frac{1}{p}}\,[w]_{A_{\infty}}^{1+\frac{1}{p'}}\|f\|_{L^p(w)} \] % and % \[ \| [b,T_Ω]f\|_{L^{p}(w)}\leq c_{n,p}\|b\|_{BMO}\|Ω\|_{L^{\infty}} [w]_{A_1}^{\frac{1}{p}}[w]_{A_{\infty}}^{2+\frac{1}{p'}}\|f\|_{L^{p}\left(w\right)}, \] % for $1<p<\infty$ and $1/p+1/p'=1$. △ Less

Submitted 21 July, 2016; originally announced July 2016.

Comments: 19 pages

MSC Class: 42B20; 42B25

Hardy-type inequalities for fractional powers of the Dunkl--Hermite operator

Authors: Ó. Ciaurri, L. Roncal, S. Thangavelu

Abstract: We prove Hardy-type inequalities for a fractional Dunkl--Hermite operator which incidentally give Hardy inequalities for the fractional harmonic oscillator as well. The idea is to use $h$-harmonic expansions to reduce the problem in the Dunkl--Hermite context to the Laguerre setting. Then, we push forward a technique based on a non-local ground representation, initially developed by R. L. Frank, E… ▽ More We prove Hardy-type inequalities for a fractional Dunkl--Hermite operator which incidentally give Hardy inequalities for the fractional harmonic oscillator as well. The idea is to use $h$-harmonic expansions to reduce the problem in the Dunkl--Hermite context to the Laguerre setting. Then, we push forward a technique based on a non-local ground representation, initially developed by R. L. Frank, E. H. Lieb and R. Seiringer in the Euclidean setting, to get a Hardy inequality for the fractional-type Laguerre operator. The above-mentioned method is shown to be adaptable to an abstract setting, whenever there is a "good" spectral theorem and an integral representation for the fractional operators involved. △ Less

Submitted 5 September, 2016; v1 submitted 16 February, 2016; originally announced February 2016.

Comments: 24 pages. Revised version

Revisiting floating bodies

Authors: Óscar Ciaurri, Emilio Fernández, L. Roncal

Abstract: The conic sections, as well as the solids obtained by revolving these curves, and many of their surprising properties, were already studied by Greek mathematicians since at least the fourth century B.C. Some of these properties come to the light, or are rediscovered, from time to time. In this paper we characterize the conic sections as the plane curves whose tangent lines cut off from a certain s… ▽ More The conic sections, as well as the solids obtained by revolving these curves, and many of their surprising properties, were already studied by Greek mathematicians since at least the fourth century B.C. Some of these properties come to the light, or are rediscovered, from time to time. In this paper we characterize the conic sections as the plane curves whose tangent lines cut off from a certain similar curve segments of constant area. We also characterize some quadrics as the surfaces whose tangent planes cut off from a certain similar surface compact sets of constant volume. Our work is developed in the most general multidimensional case. △ Less

Submitted 21 October, 2015; originally announced October 2015.

Comments: 23 pages, 9 figures. To appear in Expositiones Mathematicae

Quantitative weighted estimates for rough homogeneous singular integrals

Authors: Tuomas P. Hytönen, L. Roncal, Olli Tapiola

Abstract: We consider homogeneous singular kernels, whose angular part is bounded, but need not have any continuity. For the norm of the corresponding singular integral operators on the weighted space $L^2(w)$, we obtain a bound that is quadratic in the $A_2$ constant $[w]_{A_2}$. We do not know if this is sharp, but it is the best known quantitative result for this class of operators. The proof relies on a… ▽ More We consider homogeneous singular kernels, whose angular part is bounded, but need not have any continuity. For the norm of the corresponding singular integral operators on the weighted space $L^2(w)$, we obtain a bound that is quadratic in the $A_2$ constant $[w]_{A_2}$. We do not know if this is sharp, but it is the best known quantitative result for this class of operators. The proof relies on a classical decomposition of these operators into smooth pieces, for which we use a quantitative elaboration of Lacey's dyadic decomposition of Dini-continuous operators: the dependence of constants on the Dini norm of the kernels is crucial to control the summability of the series expansion of the rough operator. We conclude with applications and conjectures related to weighted bounds for powers of the Beurling transform. △ Less

Submitted 20 October, 2015; originally announced October 2015.

Comments: 23 pages

Hardy's inequality for fractional powers of the sublaplacian on the Heisenberg group

Authors: L. Roncal, S. Thangavelu

Abstract: We prove Hardy inequalities for the conformally invariant fractional powers of the sublaplacian on the Heisenberg group $\mathbb{H}^n$. We prove two versions of such inequalities depending on whether the weights involved are non-homogeneous or homogeneous. In the first case, the constant arising in the Hardy inequality turns out to be optimal. In order to get our results, we will use ground state… ▽ More We prove Hardy inequalities for the conformally invariant fractional powers of the sublaplacian on the Heisenberg group $\mathbb{H}^n$. We prove two versions of such inequalities depending on whether the weights involved are non-homogeneous or homogeneous. In the first case, the constant arising in the Hardy inequality turns out to be optimal. In order to get our results, we will use ground state representations. The key ingredients to obtain the latter are some explicit integral representations for the fractional powers of the sublaplacian and a generalized result by M. Cowling and U. Haagerup. The approach to prove the integral representations is via the language of semigroups. As a consequence of the Hardy inequalities we also obtain versions of Heisenberg uncertainty inequality for the fractional sublaplacian. △ Less

Submitted 14 July, 2016; v1 submitted 4 August, 2015; originally announced August 2015.

Comments: 35 pages. Revised version

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

Mixed norm estimates for the Cesàro means associated with Dunkl--Hermite expansions

Authors: Pradeep Boggarapu, L. Roncal, S. Thangavelu

Abstract: Our main goal in this article is to study mixed norm estimates for the Cesàro means associated with Dunkl--Hermite expansions on $\mathbb{R}^d$. These expansions arise when one consider the Dunkl--Hermite operator (or Dunkl harmonic oscillator) $H_κ:=-Δ_κ+|x|^2$, where $Δ_κ$ stands for the Dunkl--Laplacian. It is shown that the desired mixed norm estimates are equivalent to vector-valued inequalit… ▽ More Our main goal in this article is to study mixed norm estimates for the Cesàro means associated with Dunkl--Hermite expansions on $\mathbb{R}^d$. These expansions arise when one consider the Dunkl--Hermite operator (or Dunkl harmonic oscillator) $H_κ:=-Δ_κ+|x|^2$, where $Δ_κ$ stands for the Dunkl--Laplacian. It is shown that the desired mixed norm estimates are equivalent to vector-valued inequalities for a sequence of Cesàro means for Laguerre expansions with shifted parameter. In order to obtain the latter, we develop an argument to extend these operators for complex values of the parameters involved and apply a version of three lines lemma. △ Less

Submitted 29 October, 2015; v1 submitted 8 October, 2014; originally announced October 2014.

Comments: 24 pages. Revised version following referee's comments. To appear in Transactions of the American Mathematical Society

Transference of fractional Laplacian regularity

Authors: L. Roncal, P. R. Stinga

Abstract: In this note we show how to obtain regularity estimates for the fractional Laplacian on the multidimensional torus $\mathbb{T}^n$ from the fractional Laplacian on $\mathbb{R}^n$. Though at first glance this may seem quite natural, it must be carefully precised. A reason for that is the simple fact that $L^2$ functions on the torus can not be identified with $L^2$ functions on $\mathbb{R}^n$. The t… ▽ More In this note we show how to obtain regularity estimates for the fractional Laplacian on the multidimensional torus $\mathbb{T}^n$ from the fractional Laplacian on $\mathbb{R}^n$. Though at first glance this may seem quite natural, it must be carefully precised. A reason for that is the simple fact that $L^2$ functions on the torus can not be identified with $L^2$ functions on $\mathbb{R}^n$. The transference is achieved through a formula that holds in the distributional sense. Such an identity allows us to transfer Harnack inequalities, to relate the extension problems, and to obtain pointwise formulas and Hölder regularity estimates. △ Less

Submitted 26 June, 2014; originally announced June 2014.

Comments: 7 pages. To appear in Special Functions, Partial Differential Equations and Harmonic Analysis. Proceedings of the conference in honor of Calixto P. Calderón, Roosevelt University at Chicago, November 16-18, 2012. C. Georgakis, A. Stokolos and W. Urbina (eds)

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

Riesz transforms on compact Riemannian symmetric spaces of rank one

Authors: Ó. Ciaurri, L. Roncal, P. R. Stinga

Abstract: In this paper we prove mixed norm estimates for Riesz transforms related to Laplace--Beltrami operators on compact Riemannian symmetric spaces of rank one. These operators are closely related to the Riesz transforms for Jacobi polynomials expansions. The key point is to obtain sharp estimates for the kernel of the Jacobi--Riesz transforms with uniform control on the parameters, together with an ad… ▽ More In this paper we prove mixed norm estimates for Riesz transforms related to Laplace--Beltrami operators on compact Riemannian symmetric spaces of rank one. These operators are closely related to the Riesz transforms for Jacobi polynomials expansions. The key point is to obtain sharp estimates for the kernel of the Jacobi--Riesz transforms with uniform control on the parameters, together with an adaptation of Rubio de Francia's extrapolation theorem. The latter results are of independent interest. △ Less

Submitted 2 August, 2015; v1 submitted 29 August, 2013; originally announced August 2013.

Comments: 19 pages. To appear in Milan Journal of Mathematics

Hardy spaces for Fourier--Bessel expansions

Authors: J. Dziubański, M. Preisner, L. Roncal, P. R. Stinga

Abstract: We study Hardy spaces for Fourier--Bessel expansions associated with Bessel operators on $((0,1), x^{2ν+1}\, dx)$ and $((0,1), dx)$. We define Hardy spaces $H^1$ as the sets of $L^1$-functions for which their maximal functions for the corresponding Poisson semigroups belong to $L^1$. Atomic characterizations are obtained. We study Hardy spaces for Fourier--Bessel expansions associated with Bessel operators on $((0,1), x^{2ν+1}\, dx)$ and $((0,1), dx)$. We define Hardy spaces $H^1$ as the sets of $L^1$-functions for which their maximal functions for the corresponding Poisson semigroups belong to $L^1$. Atomic characterizations are obtained. △ Less

Submitted 19 February, 2014; v1 submitted 18 June, 2013; originally announced June 2013.

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

The Riesz transform for the harmonic oscillator in spherical coordinates

Authors: Ó. Ciaurri, L. Roncal

Abstract: In this paper we show weighted estimates in mixed norm spaces for the Riesz transform associated with the harmonic oscillator in spherical coordinates. In order to prove the result we need a weighted inequality for a vector-valued extension of the Riesz transform related to the Laguerre expansions which is of independent interest. The main tools to obtain such extension are a weighted inequality f… ▽ More In this paper we show weighted estimates in mixed norm spaces for the Riesz transform associated with the harmonic oscillator in spherical coordinates. In order to prove the result we need a weighted inequality for a vector-valued extension of the Riesz transform related to the Laguerre expansions which is of independent interest. The main tools to obtain such extension are a weighted inequality for the Riesz transform independent of the order of the involved Laguerre functions and an appropriate adaptation of Rubio de Francia's extrapolation theorem. △ Less

Submitted 27 March, 2014; v1 submitted 2 April, 2013; originally announced April 2013.

Comments: 19 pages. To appear in Constructive Approximation

Potential operators associated with Jacobi and Fourier-Bessel expansions

Authors: Adam Nowak, Luz Roncal

Abstract: We study potential operators (Riesz and Bessel potentials) associated with classical Jacobi and Fourier-Bessel expansions. We prove sharp estimates for the corresponding potential kernels. Then we characterize those $1 \le p,q \le \infty$, for which the potential operators are of strong type $(p,q)$, of weak type $(p,q)$ and of restricted weak type $(p,q)$. These results may be thought of as analo… ▽ More We study potential operators (Riesz and Bessel potentials) associated with classical Jacobi and Fourier-Bessel expansions. We prove sharp estimates for the corresponding potential kernels. Then we characterize those $1 \le p,q \le \infty$, for which the potential operators are of strong type $(p,q)$, of weak type $(p,q)$ and of restricted weak type $(p,q)$. These results may be thought of as analogues of the celebrated Hardy-Littlewood-Sobolev fractional integration theorem in the Jacobi and Fourier-Bessel settings. As an ingredient of our line of reasoning, we also obtain sharp estimates of the Poisson kernel related to Fourier-Bessel expansions. △ Less

Submitted 6 June, 2013; v1 submitted 27 December, 2012; originally announced December 2012.

Comments: 28 pages, 4 figures; v2 (some comments on Bessel potentials added)

MSC Class: 42C10; 47G40 (Primary) 31C15; 26A33 (Secondary)

Journal ref: J. Math. Anal. Appl. 422 (2015), 148-184

Vector-valued extensions for fractional integrals of Laguerre expansions

Authors: Ó. Ciaurri, L. Roncal

Abstract: 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 estimates of the corresponding kernels with precise control of the parameters involved. As an application, mixed norm estimates for the fractional integrals related to the harmonic oscillator are deduced. 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 estimates of the corresponding kernels with precise control of the parameters involved. As an application, mixed norm estimates for the fractional integrals related to the harmonic oscillator are deduced. △ Less

Submitted 21 February, 2017; v1 submitted 19 December, 2012; originally announced December 2012.

Comments: 21 pages. Revised version

Fractional Laplacian on the torus

Authors: L. Roncal, P. R. Stinga

Abstract: We study the fractional Laplacian $(-Δ)^{σ/2}$ on the $n$-dimensional torus $\mathbb{T}^n$, $n\geq1$. First, we present a general extension problem that describes \textit{any} fractional power $L^γ$, $γ>0$, where $L$ is a general nonnegative selfadjoint operator defined in an $L^2$-space. This generalizes to all $γ>0$ and to a large class of operators the previous known results by Caffarelli and S… ▽ More We study the fractional Laplacian $(-Δ)^{σ/2}$ on the $n$-dimensional torus $\mathbb{T}^n$, $n\geq1$. First, we present a general extension problem that describes \textit{any} fractional power $L^γ$, $γ>0$, where $L$ is a general nonnegative selfadjoint operator defined in an $L^2$-space. This generalizes to all $γ>0$ and to a large class of operators the previous known results by Caffarelli and Silvestre. In particular it applies to the fractional Laplacian on the torus. The extension problem is used to prove interior and boundary Harnack's inequalities for $(-Δ)^{σ/2}$, when $0<σ<2$. We deduce regularity estimates on Hölder, Lipschitz and Zygmund spaces. Finally, we obtain the pointwise integro-differential formula for the operator. Our method is based on the semigroup language approach. △ Less

Submitted 27 January, 2015; v1 submitted 26 September, 2012; originally announced September 2012.

Comments: 18 pages, 2 figures. To appear in Communications in Contemporary Mathematics

Sharp heat kernel estimates in the Fourier-Bessel setting for a continuous range of the type parameter

Authors: Adam Nowak, Luz Roncal

Abstract: 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 estimates of this kernel. Our method relies on establishing a connection with a situation of expansions based on Jacobi polynomials and then transferring known sharp bounds for the related Jacobi heat kernel. 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 estimates of this kernel. Our method relies on establishing a connection with a situation of expansions based on Jacobi polynomials and then transferring known sharp bounds for the related Jacobi heat kernel. △ Less

Submitted 12 June, 2013; v1 submitted 26 August, 2012; originally announced August 2012.

Comments: 8 pages; v2 (now all possible parameters of type admitted)

MSC Class: 42C05 (Primary) 35K08; 60J35 (Secondary)

Journal ref: Acta Math. Sin. (Engl. Ser.) 30 (2014), 437-444

The Bochner-Riesz means for Fourier-Bessel expansions: norm inequalities for the maximal operator and almost everywhere convergence

Authors: Ó. Ciaurri, L. Roncal

Abstract: In this paper, we develop a thorough analysis of the boundedness properties of the maximal operator for the Bochner-Riesz means related to the Fourier-Bessel expansions. For this operator, we study weighted and unweighted inequalities in the spaces L^p((0,1),x^{2ν+1}dx). Moreover, weak and restricted weak type inequalities are obtained for the critical values of p. As a consequence, we deduce the… ▽ More In this paper, we develop a thorough analysis of the boundedness properties of the maximal operator for the Bochner-Riesz means related to the Fourier-Bessel expansions. For this operator, we study weighted and unweighted inequalities in the spaces L^p((0,1),x^{2ν+1}dx). Moreover, weak and restricted weak type inequalities are obtained for the critical values of p. As a consequence, we deduce the almost everywhere pointwise convergence of these means. △ Less

Submitted 24 July, 2012; originally announced July 2012.

Comments: 25 pages, 2 figures

Fractional integrals on compact Riemannian symmetric spaces of rank one

Authors: O. Ciaurri, L. Roncal, P. R. Stinga

Abstract: In this paper we study mixed norm boundedness for fractional integrals related to Laplace--Beltrami operators on compact Riemannian symmetric spaces of rank one. The key point is the analysis of weighted inequalities for fractional integral operators associated to trigonometric Jacobi polynomials expansions. In particular, we find a novel sharp estimate for the Jacobi fractional integral kernel wi… ▽ More In this paper we study mixed norm boundedness for fractional integrals related to Laplace--Beltrami operators on compact Riemannian symmetric spaces of rank one. The key point is the analysis of weighted inequalities for fractional integral operators associated to trigonometric Jacobi polynomials expansions. In particular, we find a novel sharp estimate for the Jacobi fractional integral kernel with explicit dependence on the type parameters. △ Less

Submitted 19 December, 2012; v1 submitted 17 May, 2012; originally announced May 2012.

Comments: 16 pages. To appear in Advances in Mathematics

On sharp heat and subordinated kernel estimates in the Fourier-Bessel setting

Authors: Adam Nowak, Luz Roncal

Abstract: We prove qualitatively sharp heat kernel bounds in the setting of Fourier-Bessel expansions when the associated type parameter $ν$ is half-integer. Moreover, still for half-integer $ν$, we also obtain sharp estimates of all kernels subordinated to the heat kernel. Analogous estimates for general $ν> -1$ are conjectured. Some consequences concerning the related heat semigroup maximal operator are d… ▽ More We prove qualitatively sharp heat kernel bounds in the setting of Fourier-Bessel expansions when the associated type parameter $ν$ is half-integer. Moreover, still for half-integer $ν$, we also obtain sharp estimates of all kernels subordinated to the heat kernel. Analogous estimates for general $ν> -1$ are conjectured. Some consequences concerning the related heat semigroup maximal operator are discussed. △ Less

Submitted 24 November, 2011; originally announced November 2011.

Comments: 12 pages

MSC Class: 42C10 (Primary); 35K08 (Secondary)

Journal ref: Rocky Mountain J. Math. 44 (2014), 1321-1342