arXiv ScienceSearch

arXiv subjects

Adam Sikora

Publications and source records attributed to Adam Sikora.

At least 19 recordsLinked to original sources

Herz versus Fefferman: Symmetric and asymmetric Bochner--Riesz theory

We study Bochner--Riesz summability for a one-dimensional model of noncompact manifolds with ends. Each end has an effective Euclidean dimension, and these dimensions may differ from one end to another. The central point is the contrast between the symmetric and asymmetric cases. When the end dimensions agree, the model follows Herz's radial theory for the Euclidean Laplacian. When they are unequal, a Fefferman-type obstruction appears, analogous to the ball multiplier obstruction in higher-dimensional Fourier analysis, even though the model itself is one-dimensional. We give a complete characterisation of the \(L^p\)-boundedness of the corresponding spectral projections and Bochner--Riesz means. In the asymmetric case, the boundedness range contains an additional restriction depending on the difference between the end dimensions. This restriction is absent from Herz's radial model and shows that Bochner--Riesz summability on spaces with unequal ends is governed not only by the maximal end dimension, but also by the interaction between the ends.

math.AP

On the Interplay Between Hodge Projections and Bounded Harmonic Functions on Manifolds with Ends

We investigate the $L^p$-boundedness of the Hodge projection in the setting of manifolds with ends. We examine its relationship to the Riesz transform and the space of bounded harmonic functions. In particular, we explore how the $L^p$-boundedness of the Hodge projection is connected to the structure of $L^2$ harmonic one-forms and, subsequently, to the space of bounded harmonic functions.

math.AP

Harmonic functions for Bessel operators

We verify the continuity of the Riesz transform from the operator related Hardy space to $L^1$ - Lebesgue space of integrable functions. For the standard Euclidean Laplace operator, this is a classical result that plays a significant role in harmonic analysis and theory of singular integral operators. Here, we consider a one-dimensional model of manifolds with ends and external Dirichlet boundary operators. This setting extends the work of Hassell and the third author. Specifically, we examine the real line with the measure $|x|^{n-1}dx$ leading to various versions of Bessel operators. For integer $n$, this mimics the measure on Euclidean $n$-dimensional space and the obtained results are expected to provide good predictions for a class of Riemannian manifolds with Euclidean ends.

math.FA

Regularity and Separation for $p$-Laplace operators

We analyze $p$-Laplace operators with degenerate elliptic coefficients. This investigation includes Gru\v{s}in type $p$-Laplace operators. We describe a \emph{separation phenomenon} in elliptic and parabolic $p$-Laplace type equations, which provides an illuminating illustration of simple jump discontinuities of the corresponding weak solutions. Interestingly validity of an isoperimetric inequality for considered setting does not imply continuity of elliptic equations. On the other hand, we are able to establish global $L^1$-$L^\infty$-regularization and decay estimates of every mild solution of the parabolic Gru\v{s}in type $p$-Laplace equation.

math.AP

Vertical Maximal Functions on Manifolds with Ends

We consider the setting of manifolds with ends which are obtained by compact perturbation (gluing) of ends of the form $\mathbb{R}^{n_i}\times \mathcal{M}_i$. We investigate family of vertical resolvent $\{\sqrt{t}\nabla(1+t\Delta)^{-m}\}_{t>0}$ where $m\geq1$. We show that the family is uniformly continuous on all $L^p$ for $1\le p \le \min_{i}n_i$. Interestingly this is a closed-end condition in the considered setting. We prove that the corresponding Maximal function is bounded in the same range except that it is only weak-type $(1,1)$ for $p=1$. The Fefferman-Stein vector-valued maximal function is again of weak-type $(1,1)$ but bounded if and only if $1<p<\min_{i}n_i$, and not at $p=\min_{i}n_i$.

math.AP

Hardy spaces meet harmonic weights revisited

We investigate Hardy spaces $H^1_L(X)$ corresponding to self-adjoint operators $L$. Our main aim is to obtain a description of $H^1_L(X)$ in terms of atomic decompositions similar to such characterisation of the classical Hardy spaces $H^1(\mathbb{R}^d)$. Under suitable assumptions, such a description was obtained by Yan and the authors in [Trans. Amer. Math. Soc. 375 (2022), no. 9, 6417-6451], where the atoms associated with an $L$-harmonic function are considered. Here we continue this study and modify the previous definition of atoms. The modified approach allows us to investigate settings, when the generating operator is related to a system of linearly independent harmonic functions. In this context, the cancellation condition for atoms is adjusted to fit this system. In an explicit example, we consider a symmetric manifold with ends $\mathbb{R}^d \# \mathbb{R}^d$. For this manifold the space of bounded harmonic functions is two-dimensional. Any element from the Hardy space $H^1_L(X)$ has to be orthogonal to all of the harmonic functions in the system.

math.FA

Vertical and horizontal Square Functions on a Class of Non-Doubling Manifolds

We consider a class of non-doubling manifolds $\mathcal{M}$ that are the connected sum of a finite number of $N$-dimensional manifolds of the form $\mathbb{R}^{n_{i}} \times \mathcal{M}_{i}$. Following on from the work of Hassell and the second author \cite{hs2019}, a particular decomposition of the resolvent operators $(\Delta + k^{2})^{-M}$, for $M \in \mathbb{N}^{*}$, will be used to demonstrate that the vertical square function operator $$ Sf(x) := \left( \int^{\infty}_{0} \left|t \nabla (I + t^{2} \Delta)^{-M}f(x)\right|{2} \frac{dt}{t}\right)^{\frac{1}{2}} $$ is bounded on $L^{p}(\mathcal{M})$ for $1 < p < n_{min} = \min_{i} n_{i}$ and weak-type $(1,1)$. In addition, it will be proved that the reverse inequality $\left\Vert f \right\Vert_{p} \lesssim \left\Vert S f\right\Vert_{p}$ holds for $p \in (n_{min}',n_{min})$ and that $S$ is unbounded for $p \geq n_{min}$ provided $2 M < n_{min}$. Similarly, for $M > 1$, this method of proof will also be used to ascertain that the horizontal square function operator $$ sf(x) := \left(\int^{\infty}_{0} \left|t^{2}\Delta (I + t^{2} \Delta)^{-M}f(x)\right|^{2} \, \frac{dt}{t}\right)^{\frac{1}{2}} $$ is bounded on $L^{p}(\mathcal{M})$ for all $1 < p < \infty$ and weak-type $(1,1)$. Hence, for $p \geq n_{min}$, the vertical and horizontal square function operators are not equivalent and their corresponding Hardy spaces $H^p$ do not coincide.

math.AP

Riesz transforms on a class of non-doubling manifolds II

We consider a class of manifolds $\mathcal{M}$ obtained by taking the connected sum of a finite number of $N$-dimensional Riemannian manifolds of the form $(\mathbb{R}^{n_i}, \delta) \times (\mathcal{M}_i, g)$, where $\mathcal{M}_i$ is a compact manifold, with the product metric. The case of greatest interest is when the Euclidean dimensions $n_i$ are not all equal. This means that the ends have different `asymptotic dimension', and implies that the Riemannian manifold $\mathcal{M}$ is not a doubling space. In the first paper in this series, by the first and third authors, we considered the case where each $n_i$ is least $3$. In the present paper, we assume that one of the $n_i$ is equal to $2$, which is a special and particularly interesting case. Our approach is to construct the low energy resolvent and determine the asymptotics of the resolvent kernel as the energy tends to zero. We show that the resolvent kernel $(\Delta + k^2)^{-1}$ on $\mathcal{M}$ has an expansion in powers of $1/\log (1/k)$ as $k \to 0$, which is significantly different from the case where all $n_i$ are at least 3, in which case the expansion is in powers of $k$. We express the Riesz transform in terms of the resolvent to show that it is bounded on $L^p(\mathcal{M})$ for $1 < p \leq 2$, and unbounded for all $p > 2$.

math.AP

Hardy spaces meet harmonic weights

We investigate the Hardy space $H^1_L$ associated with a self-adjoint operator $L$ defined in a general setting in [S. Hofmann, et. al., Hardy spaces associated to non-negative self-adjoint operators satisfying Davies-Gaffney estimates, Mem. Amer. Math. Soc. 214 (2011), no. 1007, vi+78.]. We assume that there exists an $L$-harmonic non-negative function $h$ such that the semigroup $\exp(-tL)$, after applying the Doob transform related to $h$, satisfies the upper and lower Gaussian estimates. Under this assumption we describe an illuminating characterisation of the Hardy space $H^1_L$ in terms of a simple atomic decomposition associated with the $L$-harmonic function $h$. Our approach also yields a natural characterisation of the $BMO$-type space corresponding to the operator $L$ and dual to $H^1_L$ in the same circumstances. The applications include surprisingly wide range of operators, such as: Laplace operators with Dirichlet boundary conditions on some domains in $\mathbb{R}^d$, Schr\"odinger operators with certain potentials, and Bessel operators.

math.FA

Lie group approach to Grushin operators

We consider a finite system $\{X_1, X_2, \ldots, X_n\}$ of complete vector fields acting on smooth manifolds $M$ equipped with a smooth positive measure. We assume that the system satisfies H\"ormander's condition and generates a finite dimensional Lie algebra of type (R). We investigate the sum of squares of the vector fields operator corresponding to this system which can be viewed as a generalisation of the notion of Grushin operators. In this setting we prove the Poincar\'e inequality and Li-Yau estimates for the corresponding heat kernel as well as the doubling condition for the optimal control metrics defined by the system. We discuss a surprisingly broad class of examples of described setting.

math.AP

Sharp spectral multipliers without semigroup framework and application to random walks

In this paper we prove spectral multiplier theorems for abstract self-adjoint operators on spaces of homogeneous type. We have two main objectives. The first one is to work outside the semigroup context. In contrast to previous works on this subject, we do not make any assumption on the semigroup. The second objective is to consider polynomial off-diagonal decay instead of exponential one. Our approach and results lead to new applications to several operators such as differential operators, pseudo-differential operators as well as Markov chains. In our general context we introduce a restriction type estimates \`a la Stein-Tomas. This allows us to obtain sharp spectral multiplier theorems and hence sharp Bochner-Riesz summability results. Finally, we consider the random walk on the integer lattice $\mathbf{Z}^n$ and prove sharp Bochner-Riesz summability results similar to those known for the standard Laplacian on $\mathbb{R}^n$.

math.AP

Riesz transforms on a class of non-doubling manifolds

We consider a class of manifolds $\mathcal{M}$ obtained by taking the connected sum of a finite number of $N$-dimensional Riemannian manifolds of the form $(\mathbb{R}^{n_i}, \delta) \times (\mathcal{M}_i, g)$, where $\mathcal{M}_i$ is a compact manifold, with the product metric. The case of greatest interest is when the Euclidean dimensions $n_i$ are not all equal. This means that the ends have different `asymptotic dimension', and implies that the Riemannian manifold $\mathcal{M}$ is not a doubling space. We completely describe the range of exponents $p$ for which the Riesz transform on $\mathcal{M}$ is a bounded operator on $L^p(\mathcal{M})$. Namely, under the assumption that each $n_i$ is at least $3$, we show that Riesz transform is of weak type $(1,1)$, is continuous on $L^p$ for all $p \in (1, \min_i n_i)$, and is unbounded on $L^p$ otherwise. This generalizes results of the first-named author with Carron and Coulhon devoted to the doubling case of the connected sum of several copies of Euclidean space $\mathbb{R}^{N}$, and of Carron concerning the Riesz transform on connected sums.

math.AP

Bounds on the maximal Bochner-Riesz means for elliptic operators

We investigate $L^p$ boundedness of the maximal Bochner-Riesz means for self-adjoint operators of elliptic type. Assuming the finite speed of propagation for the associated wave operator, from the restriction type estimates we establish the sharp $L^p$ boundedness of the maximal Bochner-Riesz means for the elliptic operators. As applications, we obtain the sharp $L^p$ maximal bounds for the Schr\"odinger operators on asymptotically conic manifolds, the harmonic oscillator and its perturbations or elliptic operators on compact manifolds.

math.AP

Probabilistic approach to quantum separation effect for Feynman-Kac semigroup

Quantum tunnelling phenomenon allows a particle in Schr\"odinger mechanics tunnels through a barrier that it classically could not overcome. Even the infinite potentials do not always form impenetrable barriers. We discuss an answer to the following question: What is a critical magnitude of potential, which creates impenetrable barrier and for which the corresponding Schr\"odinger evolution system separates? In addition we describe some quantitative estimates for the separating effect in terms of cut-off potentials.

math.AP

Gradient estimates for heat kernels and harmonic functions

Let $(X,d,\mu)$ be a doubling metric measure space endowed with a Dirichlet form $\E$ deriving from a "carr\'e du champ". Assume that $(X,d,\mu,\E)$ supports a scale-invariant $L^2$-Poincar\'e inequality. In this article, we study the following properties of harmonic functions, heat kernels and Riesz transforms for $p\in (2,\infty]$: (i) $(G_p)$: $L^p$-estimate for the gradient of the associated heat semigroup; (ii) $(RH_p)$: $L^p$-reverse H\"older inequality for the gradients of harmonic functions; (iii) $(R_p)$: $L^p$-boundedness of the Riesz transform ($p<\infty$); (iv) $(GBE)$: a generalised Bakry-\'Emery condition. We show that, for $p\in (2,\infty)$, (i), (ii) (iii) are equivalent, while for $p=\infty$, (i), (ii), (iv) are equivalent. Moreover, some of these equivalences still hold under weaker conditions than the $L^2$-Poincar\'e inequality. Our result gives a characterisation of Li-Yau's gradient estimate of heat kernels for $p=\infty$, while for $p\in (2,\infty)$ it is a substantial improvement as well as a generalisation of earlier results by Auscher-Coulhon-Duong-Hofmann [7] and Auscher-Coulhon [6]. Applications to isoperimetric inequalities and Sobolev inequalities are given. Our results apply to Riemannian and sub-Riemannian manifolds as well as to non-smooth spaces, and to degenerate elliptic/parabolic equations in these settings.

math.MG

Spectral multipliers via resolvent type estimates on non-homogeneous metric measure spaces

We describe a simple but surprisingly effective technique of obtaining spectral multiplier results for abstract operators which satisfy the finite propagation speed property for the corresponding wave equation propagator. We show that, in this setting, spectral multipliers follow from resolvent type estimates. The most notable point of the paper is that our approach is very flexible and can be applied even if the corresponding ambient space does not satisfy the doubling condition or if the semigroup generated by an operator is not uniformly bounded. As a corollary we obtain the $L^p$ spectrum independence for several second order differential operators and recover some known results. Our examples include the Laplace-Belltrami operator on manifolds with ends and Schr\"odinger operators with strongly subcritical potentials.

math.AP

Gaussian heat kernel estimates: from functions to forms

On a complete non-compact Riemannian manifold satisfying the volume doubling property, we give conditions on the negative part of the Ricci curvature that ensure that, unless there are harmonic one-forms, the Gaussian heat kernel upper estimate on functions transfers to one-forms. These conditions do no entail any constraint on the size of the Ricci curvature, only on its decay at infinity.

math.AP

Spectral multipliers, Bochner-Riesz means and uniform Sobolev inequalities for elliptic operators

This paper comprises two parts. In the first, we study $L^p$ to $L^q$ bounds for spectral multipliers and Bochner-Riesz means with negative index in the general setting of abstract self-adjoint operators. In the second we obtain the uniform Sobolev estimates for constant coefficients higher order elliptic operators $P(D)-z$ and all $z\in {\mathbb C}\backslash [0, \infty)$, which give an extension of the second order results of Kenig-Ruiz-Sogge \cite{KRS}. Next we use perturbation techniques to prove the uniform Sobolev estimates for Schr\"odinger operators $P(D)+V$ with small integrable potentials $V$. Finally we deduce spectral multiplier estimates for all these operators, including sharp Bochner-Riesz summability results.

math.AP