Searcharxiv⌕ Search

arXiv subjects

Yufeng Lu

Publications and source records attributed to Yufeng Lu.

At least 19 recordsLinked to original sources

Finite-rank Toeplitz commutators on the harmonic Bergman space

We completely characterize finite-rank commutators of Toeplitz operators with bounded harmonic symbols on the harmonic Bergman space of the unit disk. Apart from affine dependence, finite rank occurs precisely when both symbols are analytic with rational primitives, or both are coanalytic and their complex conjugates have rational primitives. Our approach combines a block-matrix decomposition with Luecking's theorem, which rules out nonzero finite-rank Toeplitz operators with bounded symbols on the Bergman space. In particular, every such finite-rank commutator has square zero.

math.FA↗

Unbounded Helson Forms with a Moment Representation

We study the positive Helson form $h_0[a,b]=\sum_{m,n\ge1}α(mn)a_n\overline{b_m}$ on the finitely supported sequences $c_{00}\subset\ell^2(\mathbb{N})$, where $α(n)=\int_{\mathbb{R}}n^{-s}dμ(s)<\infty$ for a finite positive Borel measure $μ$. Under the Carleman condition $\sum_{k\ge1}α(4^k)^{-1/(2k)}=\infty$, closability of $h_0$ is equivalent to $\sqrt{n}α(n)\to0$, and hence to $μ((-\infty,1/2])=0$. For measures concentrated on $(1/2,\infty)$, we identify the closure of the operator $N_0a=\sum_{n\ge1}a_nn^{-s}$, defined on $c_{00}$, with its maximal realization from $\ell^2(\mathbb{N})$ to $L^2(μ)$. We further prove that the sequences $a\in c_{00}$ satisfying $\sum_{n\ge1}a_n/\sqrt{n}=0$ form an operator core for the positive self-adjoint operator associated with the closure of $h_0$.

math.FA↗

Norms of the Hilbert Matrix Operator on Some Analytic Function Spaces

For $\mathcal H:\mathcal B^α\to\mathcal B^α$ with $1<α<2$, we obtain an exact norm representation. In particular, the norm is given by an explicit Gamma-function formula for $1<α\leq3/2$, whereas for $3/2<α<2$ it strictly exceeds the corresponding Gamma-function expression. For $\mathcal H:\mathcal B^α\to\mathcal B^α_{\log}$, we determine the exact norm: it is equal to $3/2$ for $1<α\leq4/3$ and is given by an explicit Gamma-function formula for $4/3<α<2$. We also determine the exact norm of $\mathcal H:H^1\to H^1_{\log}$ and show that it is equal to $π$. Finally, for $0<α<1$, we determine the exact norm of $\mathcal H:H^\infty_α\to\mathcal B^{α+1}$, which is given by an explicit Gamma-function formula.

math.FA↗

On the Spectra of Multiplicative Hilbert Operator on Bergman Spaces of Dirichlet Series

For $α>1$, we study the weighted multiplicative Hilbert operator \[ (T_αf)(s) = \int_{1/2}^{\infty} f(t)\bigl(ζ(s+t)^α-1\bigr) \left(t-\frac12\right)^{α-1}\,dt \] on the Hilbertian Bergman space $A_{α,0}^2$ of Dirichlet series with zero constant term. In the natural orthonormal basis, $T_α$ is represented by the weighted multiplicative Hilbert matrix \[ \left( \frac{Γ(α)\sqrt{d_α(m)d_α(n)}} {\sqrt{mn}\,(\log(mn))^α} \right)_{m,n\ge2}, \] where $d_α$ is the generalized divisor function defined by $ζ(s)^α=\sum_{n\ge1}d_α(n)n^{-s}$ for $\Re s>1$. Set $Λ_α=Γ(α/2)^2/Γ(α)$. We prove that the essential spectrum of \(T_α\) is \([0,Λ_α]\) and that the spectrum in this interval is purely absolutely continuous with multiplicity one. Above \(Λ_α\), there are at most finitely many eigenvalues, all of which are simple. Moreover, there is a unique \(α_*\in(1,2)\) such that \(T_α\) has eigenvalues if and only if \(α>α_*\). Consequently, the associated sharp embedding inequality admits a non-zero extremizer precisely when $α>α_*$, and this extremizer is unique up to scalar multiplication. We also establish the asymptotic formula $\|T_α\|\simΓ(α+1)/(2(2\log 2)^α)$ as $α\to\infty$. A key step in the proof combines Mellin-transform asymptotics, strict total positivity, and eigenvalue counting to exclude embedded eigenvalues. The proof includes a general result on the essential and singular continuous spectra of weighted integral Hankel operators.

math.FA↗

Asymptotic Rigidity and Boundary Structure of Yang's Numerical Invariants for the Bidisk Submodules $[z^k-w^\ell]$

Let \[ M_{k,\ell}=[z^k-w^\ell]\subset H^2(\mathbb D^2), \qquad k,\ell\in\mathbb N,\quad k\ne\ell . \] We study the large-index asymptotics of Yang's numerical invariants and the boundary structure of their generating function. Starting from the exact staircase formula obtained in our preceding work, we prove that \[ Σ_j(M_{k,\ell}) = \frac{C_{k,\ell}}{j} + O(j^{-2}), \] where \[ C_{k,\ell} = \int_0^\infty \frac{x^2} {(x+1/k)^2(x+1/\ell)^2}\,dx . \] The first strict descent together with $C_{k,\ell}$ recovers the unordered pair $\{k,\ell\}$, yielding an asymptotic rigidity principle. At the next order we obtain a periodic correction \[ Σ_j(M_{k,\ell}) = \frac{C_{k,\ell}}{j} + \frac{Ψ_{k,\ell}(j)}{j^2} + O(j^{-3}), \] whose least period is \(\operatorname{lcm}(k,\ell)\), and we determine the leading amplitudes of the strict drops. For Yang's generating function \[ \mathcal P_{k,\ell}(t) = \sum_{j=0}^{\infty}Σ_j(M_{k,\ell})t^j, \] we prove that it has radius of convergence one and a logarithmic singularity at $t=1$; hence it is never a polynomial for $k\ne\ell$, giving a negative answer to Yang's polynomiality question within this quasi-homogeneous family. The periodic higher-order corrections generate root-of-unity polylogarithmic boundary modes. The leading logarithmic coefficient together with the second-order boundary support determines the unordered pair $\{k,\ell\}$, while successive renormalized boundary limits recover the Fourier coefficients of every finite-order periodic asymptotic term.

math.FA↗

The compactness of Moser-Trudinger type inequalities in the unit ball

In this paper, we employ the concentration-compactness principle to show that if the Dirichlet norm is replaced by the standard Sobolev norm, then the supremum of $$ \int_{\mathbb{B}} |x|^{N ε} Φ\left( α_N \left( 1+ ε\right) |u|^{ \frac{N}{N-1} } \right) dx $$ over all such functions is uniformly bounded. Furthermore, we also prove the existence of extremals. Finally, we consider the compactness of the sequence of extremals of the inequalities and the limit of this sequence is the extremal of $$ \int_{\mathbb{B}} Φ\left( α_N |u|^{ \frac{N}{N-1} } \right) dx $$ in $C^1 \left( \mathbb{B} \right)$, where $α_N = N ω_{N-1}^{ \frac{1}{N-1} } $, $Φ\left( t \right) := e^t - \sum_{j=0}^{N-2} \frac{t^j}{j!} $ and $ω_{N-1}$ is the surface of the unit ball in $\mathbb{R}^N$.

math.AP↗

Numerical Invariants and Parameter Recovery for Quasi-Homogeneous Submodules $[z^k-w^\ell]$

We study Yang's higher numerical invariants for the quasi-homogeneous submodules \[ M_{k,\ell}=[z^k-w^\ell]\subset H^2(\mathbb D^2), \qquad k,\ell\in\mathbb N,\quad k\neq\ell. \] The Hilbert--Schmidt property and the low-order invariants $Σ_0$ and $Σ_1$ for this family follow from earlier results on $M_{θ,φ}$-type submodules. Our aim is to determine the complete higher-order sequence. Using the weighted homogeneous decomposition associated with $z^k-w^\ell$, we construct explicit orthonormal bases for the two defect spaces and determine the exact support of the shifted defect inner products. For $j\geq1$, set \[ A_j=\left\lceil\frac{j}{\ell}\right\rceil, \qquad B_j=\left\lceil\frac{j}{k}\right\rceil. \] We obtain \[ Σ_0(M_{k,\ell})=\frac{π^2}{6}, \qquad Σ_j(M_{k,\ell})=F(A_j,B_j), \] where $F$ is an explicitly evaluated symmetric function on $\mathbb N^2$. The sequence is nonincreasing, tends to zero, and satisfies $Σ_j>Σ_{j+1} \Longleftrightarrow k\mid j\ \text{or}\ \ell\mid j$. Hence its strict descent set is $k\mathbb N\cup\ell\mathbb N$. This descent set determines the additive semigroup $\langle k,\ell\rangle$, while the complete numerical invariant sequence determines the unordered pair $\{k,\ell\}$. The order of the two exponents is not recoverable because of coordinate-swap symmetry.

math.FA↗

Radial Convergence along Decreasing Coordinate Radii in \texorpdfstring{$H^\infty(\T^\infty)$}{H-infinity(T-infinity)}

Aleman, Olsen, and Saksman asked whether radial convergence may fail for bounded analytic functions on the infinite-dimensional polydisc when every radial point has non-increasing coordinates, and whether the approach may be chosen independently of the boundary point. We construct a point-dependent counterexample in which every fixed coordinate nevertheless increases to $1$. A finite discretization yields a boundary-point-independent coordinatewise decreasing approach for which convergence to the boundary function fails almost everywhere. In contrast, every boundary-point-independent approach whose fixed coordinates increase monotonically to $1$ satisfies an $L^p$ maximal inequality and the almost-everywhere Fatou theorem for $1<p<\infty$.

math.FA↗

Verblunsky coefficients, CMV matrices and numerical invariants of homogeneous bidisc submodules

Let $[p]$ be the principal submodule generated by a polynomial in $H^2(\mathbb D^2)$. For homogeneous $p$, the homogeneous slices of $[p]$ admit a weighted OPUC model in which the two wandering vectors are an orthonormal polynomial and its reversal. We show that the associated Verblunsky coefficients determine the singular values of the wandering-projection product and the restricted cross-commutator, as well as the non-zero spectrum of the core operator. Toeplitz-determinant and Mahler-measure identities yield exact Fredholm determinants and Schatten estimates, while $[(z-w)^N]$ rules out a uniform Hilbert--Schmidt bound. The same model gives explicit singular values of $[S_z^*,S_w]$ on the homogeneous quotient $H^2(\mathbb D^2)\ominus[p]$; for $p=(z-w)^N$, its squared Hilbert--Schmidt norm is asymptotic to $N$. For arbitrary polynomial generators, we construct a weighted bivariate model with a doubly Toeplitz, block-banded moment matrix and prove $C_p^2|_{\mathscr E_z}=Γ_p^*Γ_p$, relating the core spectrum to the cross-Gram operator between the two edge spaces. We also discuss cyclic-factor obstructions, represent higher numerical invariants by alternating CMV products, and give a quadratic counterexample to their proposed monotonicity.

math.FA↗

Strict Monotonicity of Numerical Invariants for the Submodules $[(z-w)^k]$ in $H^2(\mathbb D^2)$

For $k\geq1$, let $M_k=[(z-w)^k]\subset H^2(\mathbb D^2)$. We first determine the banded Toeplitz matrices associated with the homogeneous components of $M_k$, together with explicit formulas for their determinants and the relevant algebraic cofactors. These formulas lead to a complete description of the spectrum of the core operator: \[ σ(C_{M_k}) = \{0,1\} \cup \left\{ \pm\frac{k}{n+k}:n\geq1 \right\}. \] In particular, the spectral data determine the parameter $k$. The determinant and cofactor formulas further yield a unified finite-sum representation for $α_{n,j}^{(k)} =\langle w^jϕ_n,z^jψ_n\rangle$, and hence for Yang's higher numerical invariants. We derive an adjacent relation connecting $α_{n,j}^{(k)}$ and $α_{n,j+1}^{(k)}$ by means of an explicit telescoping certificate, and show that the corresponding finite-section transformations are strict contractions. Combining these finite-dimensional estimates with the asymptotic behavior of $α_{n,j}^{(k)}$, we prove the strict monotonicity \[ Σ_0(M_k)> Σ_1(M_k)> Σ_2(M_k)> \cdots . \] The cases $k\geq3$ constitute the new part of the analysis, while the previously known cases $k=1,2$ are recovered within the same framework. Consequently, Yang's monotonicity conjecture holds in strict form for the entire family $\{[(z-w)^k]:k\geq1\}$.

math.FA↗

Corona theorem for the quaternionic Hardy space

The finite-generator corona theorem for bounded slice regular functions on the quaternionic unit ball was recently established by Colombo, Pozzi, Sabadini, and Wick. In the present paper, we extend the quaternionic \(H^\infty\)-corona theorem to countably many generators and obtain quantitative estimates that are independent of the cardinality of the generating family. We also establish the corresponding \(H^p\)-corona theorem for the full range \(1\leq p<\infty\), with quantitative norm estimates for both finite and countable families of generators. In the Hilbert-space setting, we prove a quaternionic Leech factorization theorem for Hardy-space multipliers and derive, as a consequence, a Toeplitz corona characterization. Our approach is based on a fixed-slice \(2\times2\) complex matrix realization of the slice regular product, together with operator-valued corona and factorization techniques.

math.FA↗

Block Repetition of Numerical Invariants for the Submodules $[z^k-w^k]$ in $H^2(\mathbb D^2)$

For $k\ge 2$, let $M_k=[z^k-w^k]$ be the principal homogeneous submodule of the Hardy space over the bidisk. We determine Yang's complete sequence of numerical invariants and prove $$ Σ_0(M_k)=\frac{π^2}{6},\qquad Σ_j(M_k)=Σ_{\lceil j/k\rceil}([z-w]),\quad j\ge1. $$ The proof exploits a residue-class decomposition of the Toeplitz matrices associated with the graded wandering spaces. Consequently, Yang's monotonicity conjecture holds for the family $\{M_k:k\ge2\}$. We also show that the nonzero spectral data of the core operator are independent of $k$, whereas the numerical invariant sequence recovers $k$ from the length of its constant blocks. Thus the higher numerical invariants detect module-theoretic information invisible to the core spectrum.

math.FA↗

Slice Regular Composition Operators on Quaternionic Fock Spaces via Matrix Realization

We characterize the boundedness and compactness of slice regular composition operators between quaternionic Fock spaces for the full range \(0<p,q<\infty\), without assuming that the composition symbol preserves a fixed complex slice. As applications of the same method, we also obtain corresponding criteria for weighted composition operators and for products of Volterra-type integral operators with slice regular composition operators. The main tool is a fixed-slice matrix realization of the regular product, which represents slice regular composition on a fixed complex slice through a holomorphic \(2\times 2\) matrix functional calculus. This representation reveals a genuinely quaternionic rigidity phenomenon: boundedness imposes affine restrictions on the eigenvalue functions of the associated matrix symbol rather than on the original symbol itself. In particular, the original symbol need not be affine, and affine eigenvalue functions alone do not characterize boundedness.

math.FA↗

On numerical invariants for submodules $[(z-w)^2]$ in $H^2(\mathbb{D}^2)$

In this paper, we study numerical invariants associated with a homogeneous submodule of the Hardy module over the bidisk. We focus on the submodule generated by the polynomial $(z-w)^2$ and obtain explicit formulas for the corresponding invariants. As an application, we verify the monotonicity property in this concrete setting. Our results provide a detailed example illustrating the behavior of these invariants beyond the linear case.

math.FA↗

A Fourier Criterion for the Toeplitzness of Operators on Fock Spaces

We give a Fourier criterion for the Toeplitzness of bounded operators on Fock spaces, where Toeplitzness means representability as a Toeplitz operator with a bounded measurable symbol. For a Toeplitz operator, the anti-diagonal restriction of its canonical kernel is the Fourier transform of the Gaussian-weighted symbol. Consequently, Fourier inversion of this anti-diagonal restriction recovers the unique bounded symbol whenever such a representation exists. As applications, we characterize the Toeplitzness of weighted composition operators and generalized Volterra-type operators.

math.FA↗

Compactness of products and commutators of inner projections

In this paper, we study the compactness of the product and the commutator of two inner projections on the Hardy spaces over the unit disk and the polydisc. For the single-variable case, we provide a complete characterization of the compactness of the commutator of two inner projections by means of Douglas algebra. In the multivariable setting, we discover a rigidity phenomenon: on the bidisc, the product of two inner projections is compact if and only if it has finite rank, whereas on the polydisc of dimension strictly greater than two, any such compact product must be trivial.

math.FA↗

Nuclear Toeplitz operators between Fock spaces

We characterize the nuclearity of Toeplitz operators $T_μ: F_α^p \to F_α^q$ with Borel measure symbols for $1\leq p,q\leq \infty$. For positive measures $μ$ and $q\leq p$, we provide necessary and sufficient conditions in terms of the Berezin transform and establish a rigidity property for nuclearity across this range. In the case $p<q$, we obtain separate necessary and sufficient conditions, indicating that the Berezin transform alone is insufficient for a complete characterization. Our results extend to Fock spaces on $\mathbb{C}^n$.

math.FA↗

The compactness of Moser-Trudinger functionals with conical metric in the unit ball

Let $\mathbb{B}$ be the unit ball in $\mathbb{R}^2$, $W_0^{1,2} \left( \mathbb{B} \right)$ is a standard Sobolev space. Suppose a function $h_ε(x)$ is radially symmetric, nonnegative, continuous on $\overline{\mathbb{B}}$ and satifies $\underset{x \rightarrow 0}{\lim} h_ε(x) |x|^{- 2 ε} =1 $, with $h_ε (x) >0$ on $\overline{\mathbb{B}} \setminus \{0\}$. In \citep{26}, Zhang proved that the supremum in the following inequality can be attained by some function $u_ε$, i.e. , \begin{align} \int_{ \mathbb{B} } h_ε (x) e^{ 4 π\left(1 + ε\right) {u_ε}^2 } dx = \underset{u \in W_0^{1,2} \left( \mathbb{B} \right) \cap \mathcal{S} \setminus \{0\} , ~ \int_{ \mathbb{B} } |\nabla u|^2 dx \leq 1}{\sup} \int_{\mathbb{B}} h_ε (x) e^{4 π(1 + ε) u^2 } dx, \label{eq: 0.1} \end{align} where $4 π$ is the best constant in the classical Moser-Trudinger inequality, and $\mathcal{S}$ is the set of radially symmetric functions. In this paper, we consider the compactness of the sequence $\{ u_ε \}_ε $ and prove that the limit of this sequence is a function $u_0 \in C^1 (\overline{ \mathbb{B}} )$. Moreover, the $u_0$ is an extremal function of the supremum \begin{align*} \underset{u \in W_0^{1,2} \left( \mathbb{B} \right) \cap \mathcal{S} \setminus \{0\} , ~ \int_{ \mathbb{B} } |\nabla u|^2 dx \leq 1}{\sup} \int_{\mathbb{B}} e^{4 πu^2 } dx. \end{align*}

math.AP↗