SearcharxivSearch

arXiv subjects

Ioannis Parissis

Publications and source records attributed to Ioannis Parissis.

At least 19 recordsLinked to original sources

Endpoint estimates for multiparameter multipliers of Marcinkiewicz type

In this paper we prove sharp endpoint estimates for multiparameter Marcinkiewicz multiplier operators. More precisely, this result is a consequence of a more general theorem for multiparameter $\mathcal R_{2,n}$-multipliers, a class that contains all multipliers of bounded $\mathcal{V}_q(\mathbb{R}^{\otimes n})$-variation for $1\le q<2$. The class $\mathcal R_{2,n}$ is a multiparameter generalization, introduced in this paper, of the $\mathcal R_2$-multipliers of Coifman, Rubio de Francia, and Semmes. We show that $\mathcal R_{2,n}$-multiplier operators locally map $L\log^{{3(n-1)}/{2}+{1}/{2}}L$ into $L^{1,\infty}$, and that this estimate is best possible, extending the corresponding one-parameter result of Tao and Wright to arbitrarily many parameters. We also establish the sharp bound $O((p')^{{3n}/{2}})$ for the $L^p(\mathbb R^n)\to L^p(\mathbb R^n)$ operator norms of such multiplier operators as $p \to 1^+$. The proof of our $L\log^{{3(n-1)}/{2}+{1}/{2}}L$-to-$L^{1,\infty}$ result combines a vector-valued endpoint estimate for the multipliers with an implicit square function characterization of $L\log^{\sigma/2}L$, obtained via duality from the Chang-Wilson-Wolff inequality. The latter produces, at each iterative step, auxiliary proxy functions that are fed into an intermediate one-parameter vector-valued weak-$(1,1)$ estimate.

math.CA

The initial-to-final-state inverse problem with critically-singular potentials

The Schr\"odinger equation in high dimensions describes the evolution of a quantum system. Assume that we are given the evolution map sending each initial state $f\in L^2(\mathbb{R}^n)$ of the system to the corresponding final state at a fixed time $T$. The main question we address in this paper is whether this initial-to-final-state map uniquely determines the Hamiltonian $-\Delta+V$ that generates the evolution. We restrict attention to time-independent potentials $V$ and show that uniqueness holds provided $V \in L^1(\mathbb{R}^n)\cap L^q(\mathbb{R}^n)$, with $q>1$ if $n=2$ or $q\geq n/2$ if $n\geq 3$. This should be compared with the results of Caro and Ruiz, who proved that in the time-dependent case, uniqueness holds under the stronger assumption that the potential exhibits super-exponential decay at infinity, for both bounded and unbounded potentials. This paper extends earlier work of the same authors, where uniqueness was obtained for bounded time-independent potentials with polynomial decay at infinity. Here we only require $L^1$-type decay at infinity and allow for $L^q$-type singularities. We reach this improvement by providing a refinement of the Kenig-Ruiz-Sogge resolvent estimate, which replaces the classical Agmon-H\"ormander estimates used previously. Crucially, the time-independent setting allows us to avoid the use of complex geometrical optics solutions and thereby dispense with strong decay assumptions at infinity.

math.AP

The initial-to-final-state inverse problem with time-independent potentials

The initial-to-final-state inverse problem consists in determining a quantum Hamiltonian assuming the knowledge of the state of the system at some fixed time, for every initial state. This problem was formulated by Caro and Ruiz and motivated by the data-driven prediction problem in quantum mechanics. Caro and Ruiz analysed the question of uniqueness for Hamiltonians of the form $-Δ+ V$ with an electric potential $V = V(\mathrm{t}, \mathrm{x})$ that depends on the time and space variables. In this context, they proved that uniqueness holds in dimension $n \geq 2$ whenever the potentials are bounded and have super-exponential decay at infinity. Although their result does not seem to be optimal, one would expect at least some degree of exponential decay to be necessary for the potentials. However, in this paper, we show that by restricting the analysis to Hamiltonians with time-independent electric potentials, namely $V = V(\mathrm{x})$, uniqueness can be established for bounded integrable potentials exhibiting only super-linear decay at infinity, in any dimension $n \geq 2$. This surprising improvement is possible because, unlike Caro and Ruiz's approach, our argument avoids the use of complex geometrical optics (CGO). Instead, we rely on the construction of stationary states at different energies -- this is possible because the potential does not depend on time. These states will have an explicit leading term, given by a Herglotz wave, plus a correction term that will vanish as the energy grows. Besides the significant relaxation of decay assumptions on the potential, the avoidance of CGO solutions is important in its own right, since such solutions are not readily available in more complicated geometric settings.

math.AP

Endpoint estimates for higher order Marcinkiewicz multipliers

We consider Marcinkiewicz multipliers of any lacunary order defined by means of uniformly bounded variation on each lacunary Littlewood--Paley interval of some fixed order $τ\geq 1$. We prove the optimal endpoint bounds for such multipliers as a corollary of a more general endpoint estimate for a class of multipliers introduced by Coifman, Rubio de Francia and Semmes and further studied by Tao and Wright. Our methods also yield the best possible endpoint mapping property for higher order Hörmander-Mihlin multipliers, namely multipliers which are singular on every point of a lacunary set of order $τ$. These results can be considered as endpoint versions of corresponding results of Sjögren and Sjölin. Finally our methods generalize a weak square function characterization of the space $L\log^{1/2}L$ in terms of a square function introduced by Tao and Wright: we realize such a weak characterization as the dual of the Chang--Wilson--Wolff inequality, thus giving corresponding weak square function characterizations for the spaces $L\log^{τ/2}L$ for general integer orders $τ\geq 1$.

math.CA

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

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^Ω$.

math.CA

Singular multipliers on multiscale Zygmund sets

Given an Orlicz space $ L^2 \subseteq X \subseteq L^1$ on $[0,1]$, with submultiplicative Young function ${\mathrm{Y}_X}$, we fully characterize the closed null sets $Ξ$ of the real line with the property that Hörmander-Mihlin or Marcinkiewicz multiplier operators $\mathrm{T}_m$ with singularities on $Ξ$ obey weak-type endpoint modular bounds on $X$ of the type \[ \left|\left\{x\in \mathbb R : |\mathrm{T}_m f(x)| >λ\right\}\right| \leq C \int_{\mathbb R} \mathrm{Y}_X \left(\frac{|f|}λ\right), \qquad \forall λ>0. \] These sets $Ξ$ are exactly those enjoying a scale invariant version of Zygmund's $(L\sqrt{\log L},{L^2})$ improving inequality with $X$ in place of the former space, which is termed multiscale Zygmund property. Our methods actually yield sparse and quantitative weighted estimates for the Fourier multipliers $\mathrm{T}_m$ and for the corresponding square functions. In particular, our framework covers the case of singular sets $Ξ$ of finite lacunary order and thus leads to modular and quantitative weighted versions of the classical endpoint theorems of Tao and Wright for Marcinkiewicz multipliers. Moreover, we obtain a pointwise sparse bound for the Marcinkiewicz square function answering a recent conjecture of Lerner. On the other hand, examples of non-lacunary sets enjoying the multiscale Zygmund property for each $X=L^p$, $1<p\leq 2$ are also covered. The main new ingredient in the proofs is a multi-frequency, multi-scale projection lemma based on Gabor expansion, and possessing independent interest.

math.CA

Singular integrals along variable codimension one subspaces

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$.

math.CA

Directional square functions

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.

math.CA

Maximal subspace averages

We study maximal operators associated to singular averages along finite subsets $Σ$ of the Grassmannian $\mathrm{Gr}(d,n)$ of $d$-dimensional subspaces of $\mathbb R^n$. The well studied $d=1$ case corresponds to the the directional maximal function with respect to arbitrary finite subsets of $\mathrm{Gr}(1,n)=\mathbb S^{n-1}$. We provide a systematic study of all cases $1\leq d 1$. In this context, we prove the best possible $L^2(\mathbb R^n)$-bound for the $(d,n)$-Nikodym maximal function for all combinations of dimension and codimension. Our estimates rely on Fourier analytic almost orthogonality principles, combined with polynomial partitioning, but we also use spatial analysis based on the precise calculation of intersections of $d$-dimensional plates in $\mathbb R^n$.

math.CA

A metric approach to sparse domination

We present a general approach to sparse domination based on single-scale $L^p$-improving as a key property. The results are formulated in the setting of metric spaces of homogeneous type and avoid completely the use of dyadic-probabilistic techniques as well as of Christ-Hytönen-Kairema cubes. Among the applications of our general principle, we recover sparse domination of Dini-continuous Calderón-Zygmund kernels on spaces of homogeneous type, we prove a family of sparse bounds for maximal functions associated to convolutions with measures exhibiting Fourier decay, and we deduce sparse estimates for Radon transforms along polynomial submanifolds of $\mathbb R^n$.

math.CA

Rotational smoothing

Rotational smoothing is a phenomenon consisting in a gain of regularity by means of averaging over rotations. This phenomenon is present in operators that regularize only in certain directions, in contrast to operators regularizing in all directions. The gain of regularity is the result of rotating the directions where the corresponding operator performs the smoothing effect. In this paper we carry out a systematic study of the rotational smoothing for a class of operators that includes $k$-vector-space Riesz potentials in $\mathbb{R}^n$ with $k < n$, and the convolution with fundamental solutions of elliptic constant-coefficient differential operators acting on $k$-dimensional linear subspaces. Examples of the latter type of operators are the planar Cauchy transform in $\mathbb{R}^n$, or a solution operator for the transport equation in $\mathbb{R}^n$. The analysis of rotational smoothing is motivated by the resolution of some inverse problems under low-regularity assumptions.

math.AP

Singular integrals along lacunary directions in $\mathbb{R}^n$

A recent result by Parcet and Rogers is that finite order lacunarity characterizes the boundedness of the maximal averaging operator associated to an infinite set of directions in $\mathbb{R}^n$. Their proof is based on geometric-combinatorial coverings of fat hyperplanes by two-dimensional wedges. Seminal results by Nagel-Stein-Wainger relied on geometric coverings of n-dimensional nature. In this article we find the sharp cardinality estimate for singular integrals along finite subsets of finite order lacunary sets in all dimensions. Previous results only covered the special case of the directional Hilbert transform in dimensions two and three. The proof is new in all dimensions and relies, among other ideas, on a precise covering of the n-dimensional Nagel-Stein-Wainger cone by two-dimensional Parcet-Rogers wedges.

math.CA

Maximal directional operators along algebraic varieties

We establish the sharp growth order, up to epsilon losses, of the $L^2$-norm of the maximal directional averaging operator along a finite subset $V$ of a polynomial variety of arbitrary dimension $m$, in terms of cardinality. This is an extension of the works by Córdoba, for one-dimensional manifolds, Katz for the circle in two dimensions, and Demeter for the 2-sphere. For the case of directions on the two-dimensional sphere we improve by a factor of $\sqrt{\log N}$ on the best known bound, due to Demeter, and we obtain a sharp estimate for our model operator. Our results imply new $L^2$-estimates for Kakeya-type maximal functions with tubes pointing along polynomial directions. Our proof technique is novel and in particular incorporates an iterated scheme of polynomial partitioning on varieties adapted to directional operators, in the vein of Guth, Guth-Katz, and Zahl.

math.CA

Directional square functions and a sharp Meyer lemma

Quantitative formulations of Fefferman's counterexample for the ball multiplier are naturally linked to square function and vector-valued estimates for directional singular integrals. The latter are usually referred to as Meyer-type lemmas and are traditionally attacked by combining weighted inequalities with sharp estimates for maximal directional averaging operators. This classical approach fails to give sharp bounds. In this article we develop a novel framework for square function estimates, based on directional Carleson embedding theorems and multi-parameter time-frequency analysis, which overcomes the limitations of weighted theory. In particular we prove the sharp form of Meyer's lemma, namely a sharp operator norm bound for vector-valued directional singular integrals, in both one and two parameters, in terms of the cardinality of the given set of directions. Our sharp Meyer lemma implies an improved quantification of the reverse square function estimate for tangential $δ\times δ^2$-caps on $\mathbb S^1$. We also prove sharp square function estimates for conical and radial multipliers. A suitable combination of these estimates yields a new and currently best known bound for the Fourier restriction to a $N$-gon, improving on previous results of A. Córdoba.

math.CA

On the maximal directional Hilbert transform in three dimensions

We establish the sharp growth rate, in terms of cardinality, of the $L^p$ norms of the maximal Hilbert transform $H_Ω$ along finite subsets of a finite order lacunary set of directions $Ω\subset \mathbb R^3$, answering a question of Parcet and Rogers in dimension $n=3$. Our result is the first sharp estimate for maximal directional singular integrals in dimensions greater than 2. The proof relies on a representation of the maximal directional Hilbert transform in terms of a model maximal operator associated to compositions of two-dimensional angular multipliers, as well as on the usage of weighted norm inequalities, and their extrapolation, in the directional setting.

math.CA

Tauberian constants associated to centered translation invariant density bases

This paper provides a necessary and sufficient condition on Tauberian constants associated to a centered translation invariant differentiation basis so that the basis is a density basis. More precisely, given $x \in \mathbb{R}^n$, let $\mathcal{B} = \cup_{x \in \mathbb{R}^n} \mathcal{B}(x)$ be a collection of bounded open sets in $\mathbb{R}^n$ containing $x$. Suppose moreover that these collections are translation invariant in the sense that, for any two points $x$ and $y$ in $\mathbb{R}^n$ we have that $\mathcal{B}(x + y) = \{R + y : R \in \mathcal{B}(x)\}.$ Associated to these collections is a maximal operator $M_{\mathcal{B}}$ given by $$M_{\mathcal{B}}f(x) :=\sup_{R \in \mathcal{B}(x)} \frac{1}{|R|} \int_R |f|.$$ The Tauberian constants $C_{\mathcal{B}}(α)$ associated to $M_{\mathcal{B}}$ are given by $$C_{\mathcal{B}}(α) :=\sup_{E \subset \mathbb{R}^n \atop 0 < |E| < \infty} \frac{1}{|E|}|\{x \in \mathbb{R}^n :\, M_{\mathcal{B}}χ_E(x) > α\}|.$$ Given $0 < r < \infty$, we set $\mathcal{B}_r(x) :=\{R \in \mathcal{B}(x) : \mathrm{diam } R < r\}$, and let $\mathcal{B}_r :=\cup_{x \in \mathbb{R}^n} \mathcal{B}_r (x).$ We prove that $\mathcal{B}$ is a density basis if and only if, given $0 < α< \infty$, there exists $ r = r(α) >0$ such that $C_{\mathcal{B}_r}(α) < \infty$. Subsequently, we construct a centered translation invariant density basis $\mathcal{B} = \cup_{x \in \mathbb{R}^n} \mathcal{B}(x)$ such that there does not exist any $0 < r$ satisfying $C_{\mathcal{B}_{r}}(α) < \infty$ for all $0 < α< 1$.

math.CA

A sharp estimate for the Hilbert transform along finite order lacunary sets of directions

Let $D$ be a nonnegative integer and ${\mathbfΘ}\subset S^1$ be a lacunary set of directions of order $D$. We show that the $L^p$ norms, $1<p<\infty$, of the maximal directional Hilbert transform in the plane $$ H_{\mathbfΘ} f(x):= \sup_{v\in {\mathbfΘ}} \Big|\mathrm{p.v.}\int_{\mathbb R }f(x+tv)\frac{\mathrm{d} t}{t}\Big|, \qquad x \in {\mathbb R}^2, $$ are comparable to $(\log\#{\mathbfΘ})^\frac{1}{2}$. For vector fields $\mathsf{v}_D$ with range in a lacunary set of of order $D$ and generated using suitable combinations of truncations of Lipschitz functions, we prove that the truncated Hilbert transform along the vector field $\mathsf{v}_D$, $$ H_{\mathsf{v}_D,1} f(x):= \mathrm{p.v.} \int_{ |t| \leq 1 } f(x+t\mathsf{v}_D(x)) \,\frac{\mathrm{d} t}{t}, $$ is $L^p$-bounded for all $1<p<\infty$. These results extend previous bounds of the first author with Demeter, and of Guo and Thiele.

math.CA

Asymptotically sharp reverse Hölder inequalities for flat Muckenhoupt weights

We present reverse Hölder inequalities for Muckenhoupt weights in $\mathbb{R}^n$ with an asymptotically sharp behavior for flat weights, namely $A_\infty$ weights with Fujii-Wilson constant $(w)_{A_\infty}\to 1^+$. That is, the local integrability exponent in the reverse Hölder inequality blows up as the weight becomes nearly constant. This is expressed in a precise and explicit computation of the constants involved in the reverse Hölder inequality. The proofs avoid BMO methods and rely instead on precise covering arguments. Furthermore, in the one-dimensional case we prove sharp reverse Hölder inequalities for one-sided and two sided weights in the sense that both the integrability exponent as well as the multiplicative constant appearing in the estimate are best possible. We also prove sharp endpoint weak-type reverse Hölder inequalities and consider further extensions to general non-doubling measures and multiparameter weights.

math.CA