arXiv Science⌕ Search

arXiv subjects

Victor Lie

Publications and source records attributed to Victor Lie.

At least 19 recordsLinked to original sources
arXiv2026

On the resonant Carleson-Radon transform in all dimensions. The degree one resonant case

In this paper, we provide the resolution of the degree one resonant case in all dimensions. Our main result reads as follows: for any dimension $D\geq 1$ set $\mathbf{X}(\mathbf{t})=(\mathbf{t},|\mathbf{t}|^2),\; \mathbf{t}\in\mathbb{R}^D$, and let $K(\mathbf{t})$ be any suitable translation invariant Calder\'on--Zygmund kernel. If $\mathbb{V}\leq\mathbb{R}^{D+1}$ is any linear subspace such that $ \exists\:\:\mathbf{v}_0\in\mathbb{R}^D\times\{0\}$ nontrivial with $\mathbf{v}_0\perp\mathbb{V}$ then the following (maximal) Carleson-Radon transform $CR^\ast_{\mathbb{V}}$ is $L^p(\mathbb{R}^{D+1})-$bounded in the maximal range $1<p<\infty$, where $$CR^\ast_{\mathbb{V}} f(\mathbf{x}):= \sup_{\begin{array}{c} \scriptstyle 0<r<R<\infty \cr \scriptstyle \mathbf{a}\in\mathbb{V} \end{array}} \left| \int_{r<|\mathbf{t}|\leq R} f\left(\mathbf{x}-\mathbf{X}(\mathbf{t})\right) e\left(\mathbf{a}\cdot \mathbf{X}(\mathbf{t})\right) K(\mathbf{t}) d \mathbf{t} \right|.$$ The above choice for $\mathbb{V}$ creates a maximal linear subspace of $\mathbb{R}^{D+1}$ closed under parabolic scaling for which - $CR^\ast_{\mathbb{V}}$ is degree one resonant, and - $CR^\ast_{\mathbb{V}}$ is not degree two (or higher) resonant. The proof of the above result unravels several new manifestations and ideas meant to capture the remarkable features of the resonant Carleson-Radon behavior.

math.CA↗
arXiv2025

On the boundedness of the curved trilinear Hilbert transform and the curved $n-$linear maximal operator in the quasi-Banach regime

Let $n\in\mathbb{N}$, $\vec{\alpha}=(\alpha_1,\ldots,\alpha_n)\in (0,\infty)^n$, $\vec{\beta}=(\beta_1,\ldots,\beta_n)\in (\mathbb{R}\setminus\{0\})^n$, $\vec{f}:=(f_1,\ldots, f_n)\in \mathcal{S}^n(\mathbb{R})$ and set $$H_{n,\vec{\alpha},\vec{\beta}}(\vec{f})(x):=p.v. \int_{\mathbb{R}} f_1(x+\beta_1 t^{\alpha_1})\ldots f_n(x+\beta_n t^{\alpha_n}) \frac{dt}{t}, \quad x \in \mathbb{R}\,,$$ with $\mathcal{M}_{n,\vec{\alpha},\vec{\beta}}$ being its maximal operator counterpart. Assume that $1<p_j<\infty$ and $\frac{1}{2}<r<\infty$ satisfy $\sum_{j=1}^n \frac{1}{p_j}=\frac{1}{r}$. Under the \emph{non-resonant} assumption that $\{\alpha_j\}_{j=1}^n$ are pairwise distinct we show that $$\|H_{3,\vec{\alpha},\vec{\beta}}(\vec{f})\|_{L^r}\lesssim_{\vec{\alpha},\vec{\beta}} \prod_{j=1}^3\|f_j\|_{L^{p_j}}\qquad \textrm{and} \qquad \|\mathcal{M}_{n,\vec{\alpha},\vec{\beta}}\|_{L^r}\lesssim_{n,\vec{\alpha},\vec{\beta}} \prod_{j=1}^n\|f_j\|_{L^{p_j}} \qquad \forall\:n\geq 2\,.$$ (For the maximal operator the boundedness range can be extended to include the endpoint $\infty$ for both $p_j$ and $r$.)

math.CA↗
arXiv2025

The Bilinear Hilbert-Carleson operator along curves. The purely non-zero curvature case

In this paper, we provide the maximal boundedness range (up to end-points) for the Bilinear Hilbert-Carleson operator along curves in the (purely) non-zero curvature setting. More precisely, we show that the operator $$ BHC_{[\vec{a},\vec{\alpha}]}(f_1,f_2)(x) := \sup_{\lambda\in\mathbb{R}} \left|\,p.v.\, \int_{\mathbb{R}} f_1(x - a_1 t^{\alpha_1}) \,f_2(x - a_2 t^{\alpha_2}) \,e^{i\,\lambda\,a_3 \,t^{\alpha_3}} \,\frac{dt}{t}\right|$$ obeys the bounds $$\|BHC_{[\vec{a},\vec{\alpha}]} (f_1,f_2)\|_{L^r} \lesssim_{\vec{a} \,\vec{\alpha},r,p_1,p_2} \|f_1\|_{L^{p_1}}\,\|f_2\|_{L^{p_2}}$$ whenever $\vec{a}=(a_1,a_2,a_3),\,\vec{\alpha}=(\alpha_1,\alpha_2,\alpha_3)\in (\mathbb{R}\setminus\{0\})^3$ with $\vec{\alpha}$ having pairwise distinct coordinates and for any H\"older range $\frac{1}{p_1}+\frac{1}{p_2}=\frac{1}{r}$ with $1<p_1,p_2<\infty$ and $\frac{1}{2}<r<\infty$. This result is achieved via the Rank II LGC method introduced in arXiv:2308.10706.

math.CA↗
arXiv2024

On a Carleson-Radon Transform (the non-resonant setting)

Given a curve $\vec{\gamma}=(t^{\alpha_1}, t^{\alpha_2}, t^{\alpha_3})$ with $\vec{\alpha}=(\alpha_1,\alpha_2,\alpha_3)\in \mathbb{R}_{+}^3$, we define the Carleson-Radon transform along $\vec{\gamma}$ by the formula $$ C_{[\vec{\alpha}]}f(x,y):=\sup_{a\in \mathbb{R}}\left|p.v.\,\int_{\mathbb{R}} f (x-t^{\alpha_1},y-t^{\alpha_2})\,e^{i\,a\,t^{\alpha_3}}\,\frac{dt}{t}\right|\,.$$ We show that in the \emph{non-resonant} case, that is, when the coordinates of $\vec{\alpha}$ are pairwise disjoint, our operator $ C_{[\vec{\alpha}]}$ is $L^p$ bounded for any $1<p<\infty$. Our proof relies on the (Rank I) LGC-methodology introduced in arXiv:1902.03807 and employs three key elements: 1) a partition of the time-frequency plane with a linearizing effect on both the argument of the input function and on the phase of the kernel; 2) a sparse-uniform dichotomy analysis of the Gabor coefficients associated with the input/output function; 3) a level set analysis of the time-frequency correlation set.

math.CA↗
arXiv2024

Non-zero to zero curvature transition: Operators along hybrid curves with no quadratic (quasi-)resonances

Building on arXiv:1902.03807, this paper develops a unifying study on the boundedness properties of several representative classes of hybrid operators, i.e. operators that enjoy both zero and non-zero curvature features. Specifically, via the LGC-method, we provide suitable $L^p$ bounds for three classes of operators: (1) Carleson-type operators, (2) Hilbert transform along variable curves, and, taking the center stage, (3) Bilinear Hilbert transform and bilinear maximal operators along curves. All these classes of operators will be studied in the context of hybrid curves with no quadratic resonances. The above study is interposed between two naturally derived topics: i) A prologue providing a first rigorous account on how the presence/absence of a higher order modulation invariance property interacts with and determines the nature of the method employed for treating operators with such a property. ii) An epilogue revealing how several key ingredients within our present study can blend and inspire a short, intuitive new proof of the smoothing inequality that plays the central role in the analysis of the curved version of the triangular Hilbert transform treated in arXiv:2008.10140.

math.CA↗
arXiv2023

On the curved Trilinear Hilbert transform

Building on the (Rank I) LGC-methodology introduced by the second author and on the novel perspective employed in the time-frequency discretization of the non-resonant bilinear Hilbert--Carleson operator, we develop a new, versatile method -- referred to as Rank II LGC -- that has as a consequence the resolution of the $L^p$ boundedness of the trilinear Hilbert transform along the moment curve. More precisely, we show that the operator \begin{equation*} H_{C}(f_1, f_2, f_3)(x):= \textrm{p.v.}\,\int_{\mathbb{R}} f_1(x-t)f_2(x+t^2)f_3(x+t^3) \frac{dt}{t}, \quad x \in \mathbb{R}\,, \end{equation*} is bounded from $L^{p_1}(\mathbb{R})\times L^{p_2}(\mathbb{R})\times L^{p_3}(\mathbb{R})$ into $L^{r}(\mathbb{R})$ within the Banach H\"older range $\frac{1}{p_1}+\frac{1}{p_2}+\frac{1}{p_3}=\frac{1}{r}$ with $1<p_1,p_3<\infty$, $1<p_2\leq \infty$ and $1\leq r <\infty$. A crucial difficulty in approaching this problem is the lack of absolute summability for the linearized discretized model (derived via Rank I LGC method) of the quadrilinear form associated to $H_{C}$. In order to overcome this, we develope a so-called correlative time-frequency model whose control is achieved via the following interdependent elements: (1) a sparse-unform decomposition of the input functions adapted to an appropriate time-frequency foliation of the phase-space, (2) a structural analysis of suitable maximal ``joint Fourier coefficients", and (3) a level set analysis with respect to the time-frequency correlation set.

math.CA↗
arXiv2021

The non-resonant bilinear Hilbert--Carleson operator

In this paper we introduce the class of bilinear Hilbert--Carleson operators $\{BC^a\}_{a>0}$ defined by $$ BC^{a}(f,g)(x):= \sup_{\lambda\in {\mathbb R}} \Big|\int f(x-t)\, g(x+t)\, e^{i\lambda t^a} \, \frac{dt}{t} \Big| $$ and show that in the non-resonant case $a\in (0,\infty)\setminus\{1,2\}$ the operator $BC^a$ extends continuously from $L^p({\mathbb R})\times L^q({\mathbb R})$ into $L^r({\mathbb R})$ whenever $\frac{1}{p}+\frac{1}{q}=\frac{1}{r}$ with $1<p,\,q\leq\infty$ and $\frac{2}{3}<r<\infty$. A key novel feature of these operators is that -- in the non-resonant case -- $BC^{a}$ has a \emph{hybrid} nature enjoying both (1) ``zero curvature'' features inherited from the modulation invariance property of the classical bilinear Hilbert transform (BHT), and (2) ``non-zero curvature'' features arising from the Carleson-type operator with nonlinear phase $\lambda t^a$.

math.CA↗
arXiv2019

The Boundedness of the (Sub)Bilinear Maximal Function along "non-flat" smooth curves

Let $\mathcal{N}\mathcal{F}$ be the class of smooth non-flat curves near the origin and near infinity previously introduced by the second author and let $\gamma\in\mathcal{N}\mathcal{F}$. We show - via a unifying approach relative to the correspondent bilinear Hilbert transform $H_{\Gamma}$ - that the (sub)bilinear maximal function along curves $\Gamma=(t,-\gamma(t))$ defined as $$M_{\Gamma}(f,g)(x):=\sup\limits_{\epsilon>0} \frac{1}{2\epsilon} \int_{-\epsilon}^{\epsilon} |f(x-t)\,g(x+\gamma(t))|\,dt$$ is bounded from $L^p(\mathbb{R})\times L^{q}(\mathbb{R})\to L^r(\mathbb{R})$ for all $p, q$ and $r$ H\"older indices, that is $\frac{1}{p}+\frac{1}{q}=\frac{1}{r}$, with $1<p,\,q\leq\infty$ and $1\le r\leq\infty$. This is the maximal boundedness range for $M_{\Gamma}$, that is, our result is sharp.

math.CA↗
arXiv2019

A unified approach to three themes in harmonic analysis ($1^{st}$ part)

In the present paper and its sequel "A unified approach to three themes in harmonic analysis ($2^{nd}$ part)", we address three rich historical themes in harmonic analysis that rely fundamentally on the concept of non-zero curvature. Namely, we focus on the boundedness properties of (I) the linear Hilbert transform and maximal operator along variable curves, (II) Carleson-type operators in the presence of curvature, and (III) the bilinear Hilbert transform and maximal operator along variable curves. Our Main Theorem states that, given a general variable curve $\gamma(x,t)$ in the plane that is assumed only to be measurable in $x$ and to satisfy suitable non-zero curvature (in $t$) and non-degeneracy conditions, all of the above itemized operators defined along the curve $\gamma$ are $L^p$-bounded for $1<p<\infty$. Our result provides a new and unified treatment of these three themes. Moreover, it establishes a unitary approach for both the singular integral and the maximal operator versions within themes (I) and (III). At the heart of our approach stays a methodology encompassing three key ingredients: 1) discretization on the multiplier side that confines the phase of the multiplier to oscillate at the \emph{linear} level, 2) \emph{Gabor}-frame discretization of the input function(s) and 3) extraction of the \emph{cancelation} hidden in the non-zero curvature of $\gamma$ via $TT^{*}-$orthogonality methods and time-frequency \emph{correlation}.

math.AP↗
arXiv2019

The pointwise convergence of Fourier Series (II). Strong $L^1$ case for the lacunary Carleson operator

We prove that the lacunary Carleson operator is bounded from $L \log L$ to $L^{1}$. This result is sharp. The proof is based on two newly introduced concepts: 1) the \emph{time-frequency regularization of a measurable set} and 2) the \emph{set-resolution of the time-frequency plane at $0-$frequency}. These two concepts will play the central role in providing a special tile decomposition adapted to the interaction between the \emph{structure} of the lacunary Carleson operator and the corresponding \emph{structure} of a fix measurable set. Another key insight of our paper is that it provides for the first time a simultaneous treatment of families of tiles with \emph{distinct} mass parameters. This should be regarded as a fundamental feature/difficulty of the problem of the pointwise convergence of Fourier Series near $L^1$, context in which, unlike the standard $L^p,\:p>1$ case, \emph{no decay} in the mass parameter is possible.

math.CA↗
arXiv2017

A Note on the Polynomial Carleson Operator in higher dimensions

We prove the $L^p$-boundedness, $1<p<\infty$, of the Polynomial Carleson operator in general dimension. This follows the author's resolution of the one dimensional case as well as the work of Zorin-Kranich on the higher dimensional case in the setting $2\leq p<\infty$. The techniques used in this paper are direct adaptations and natural extensions to the higher dimensional case of the one-dimensional methods developed by the author.

math.CA↗
arXiv2016

Maximal operators and Hilbert transforms along variable non-flat homogeneous curves

We prove that the maximal operator associated with variable homogeneous planar curves $(t, u t^{\alpha})_{t\in \mathbb{R}}$, $\alpha\not=1$ positive, is bounded on $L^p(\mathbb{R}^2)$ for each $p>1$, under the assumption that $u:\mathbb{R}^2 \to \mathbb{R}$ is a Lipschitz function. Furthermore, we prove that the Hilbert transform associated with $(t, ut^{\alpha})_{t\in \mathbb{R}}$, $\alpha\not=1$ positive, is bounded on $L^p(\mathbb{R}^2)$ for each $p>1$, under the assumption that $u:\mathbb{R}^2\to \mathbb{R}$ is a measurable function and is constant in the second variable. Our proofs rely on stationary phase methods, $TT^*$ arguments, local smoothing estimates and a pointwise estimate for taking averages along curves.

math.CA↗
arXiv2016

On the Boundedness of The Bilinear Hilbert Transform along "non-flat" smooth curves. The Banach triangle case ($L^r,\: 1\leq r<\infty$)

We show that the bilinear Hilbert transform $H_Γ$ along curves $Γ=(t,-γ(t))$ with $γ\in\mathcal{N}\mathcal{F}^{C}$ is bounded from $L^{p}(\mathbb{R})\times L^{q}(\mathbb{R})\,\rightarrow\,L^{r}(\mathbb{R})$ where $p,\,q,\,r$ are Hölder indices, i.e. $\frac{1}{p}+\frac{1}{q}=\frac{1}{r}$, with $1<p<\infty$, $1<q\leq\infty$ and $1\leq r<\infty$. Here $\mathcal{N}\mathcal{F}^{C}$ stands for a wide class of smooth "non-flat" curves near zero and infinity whose precise definition is given in Section 2. This continues author's earlier work on this topic, extending the boundedness range of $H_Γ$ to any triple of indices $(\frac{1}{p},\,\frac{1}{q},\,\frac{1}{r'})$ within the Banach triangle. Our result is optimal up to end-points.

math.CA↗
arXiv2016

The pointwise convergence of Fourier Series (I). On a conjecture of Konyagin

We provide a near-complete classification of the Lorentz spaces $Λ_φ$ for which the sequence $\{S_{n}\}_{n\in \mathbb{N}}$ of partial Fourier sums is almost everywhere convergent along lacunary subsequences. Moreover, under mild assumptions on the fundamental function $φ$, we identify $Λ_φ:= L\log\log L\log\log\log\log L$ as the \emph{largest} Lorentz space on which the lacunary Carleson operator is bounded as a map to $L^{1,\infty}$. In particular, we disprove a conjecture stated by Konyagin in his 2006 ICM address. Our proof relies on a newly introduced concept of a "Cantor Multi-tower Embedding," a special geometric configuration of tiles that can arise within the time-frequency tile decomposition of the Carleson operator. This geometric structure plays an important role in the behavior of Fourier series near $L^1$, being responsible for the unboundedness of the weak-$L^1$ norm of a "grand maximal counting function" associated with the mass levels.

math.CA↗
arXiv2013

On the absence of "splash" singularities in the case of two-fluid interfaces

We show that "splash" singularities cannot develop in the case of locally smooth solutions of the two-fluid interface in two dimensions. More precisely, we show that the scenario of formation of singularities discovered by Castro-Córdoba-Fefferman-Gancedo-Gómez-Serrano in the case of the water waves system, in which the interface remains locally smooth but self-intersects in finite time, is completely prevented in the case of two-fluid interfaces with positive densities.

math.AP↗
arXiv2012

On the pointwise convergence of the sequence of partial Fourier Sums along lacunary subsequences

In his 2006 ICM invited address, Konyagin mentioned the following conjecture: if $S_n f$ stands for the $n$-th partial Fourier sum of $f$ and ${n_j}_j\subset \N$ is a lacunary sequence, then $S_{n_j} f$ is a.e. pointwise convergent for any $f\in L\log\log L$. In this paper we will show that $| \sup_{j} |S_{n_j}(f)| |_{1,\infty}\leq C |f|_{1} \log\log (10+\frac{|f|_{\infty}}{|f|_1})\:.$ As a direct consequence we obtain that $S_{n_j}f \rightarrow f $ a.e. for $f\in L\log\log L\log\log\log L$. The (discrete) Walsh model version of this last fact was proved by Do and Lacey but their methods do not (re)cover the (continuous) Fourier setting. The key ingredient for our proof is a tile decomposition of the operator $\sup_{j} |S_{n_j}(f)|$ which depends on both the function $f$ and on the lacunary structure of the frequencies. This tile decomposition, called $(f,ł)-$lacunary, is directly adapted to the context of our problem, and, combined with a canonical mass decomposition of the tiles, provides the natural environment to which the methods developed by the author in "On the Boundedness of the Carleson Operator near $L^1$" apply.

math.CA↗