Showing 1–50 of 121 results for author: Yuan, W

Multiple collisions of eigenvalues and singular values of matrix Gaussian field

Authors: Wangjun Yuan

Abstract: Let $X^β$ be a real symmetric or complex Hermitian matrix whose entries are independent Gaussian random fields. We provide the sufficient and necessary conditions such that multiple collisions of eigenvalue processes of $A^β+ T_βX^βT_β^*$ occur with positive probability. In addition, for a real or complex rectangular matrix $W^β$ with independent Gaussian random field entries, we obtain the suffic… ▽ More Let $X^β$ be a real symmetric or complex Hermitian matrix whose entries are independent Gaussian random fields. We provide the sufficient and necessary conditions such that multiple collisions of eigenvalue processes of $A^β+ T_βX^βT_β^*$ occur with positive probability. In addition, for a real or complex rectangular matrix $W^β$ with independent Gaussian random field entries, we obtain the sufficient and necessary conditions under which the probability of multiple collisions of non-trivial singular value processes of $B^β+ T_βW^β\tilde T_β$ is positive. In both cases, the size of the set of collision times is characterized via Hausdorff dimension. △ Less

Submitted 12 July, 2024; originally announced July 2024.

Comments: 48 pages

Strong convergence for tensor GUE random matrices

Authors: Benoît Collins, Wangjun Yuan

Abstract: Haagerup and Thorbjørnsen proved that iid GUEs converge strongly to free semicircular elements as the dimension grows to infinity. Motivated by considerations from quantum physics -- in particular, understanding nearest neighbor interactions in quantum spin systems -- we consider iid GUE acting on multipartite state spaces, with a mixing component on some sites and identity on the remaining sites.… ▽ More Haagerup and Thorbjørnsen proved that iid GUEs converge strongly to free semicircular elements as the dimension grows to infinity. Motivated by considerations from quantum physics -- in particular, understanding nearest neighbor interactions in quantum spin systems -- we consider iid GUE acting on multipartite state spaces, with a mixing component on some sites and identity on the remaining sites. We show that under proper assumptions on the dimension of the sites, strong asymptotic freeness still holds. Our proof relies on an interpolation technology recently introduced by Bandeira, Boedihardjo and van Handel. △ Less

Submitted 12 July, 2024; originally announced July 2024.

Comments: 15 pages

Muckenhoupt Weights Meet Brezis--Seeger--Van Schaftingen--Yung Formulae in Ball Banach Function Spaces

Authors: Yinqin Li, Dachun Yang, Wen Yuan, Yangyang Zhang, Yirui Zhao

Abstract: In this article, via first establishing a weighted variant of the profound and far-reaching inequality obtained by A. Cohen, W. Dahmen, I. Daubechies, and R. DeVore in 2003, the authors give two new characterizations of Muckenhoupt weights. As an application, the authors further establish a representation formula of gradients with sharp parameters in ball Banach function spaces, which extends the… ▽ More In this article, via first establishing a weighted variant of the profound and far-reaching inequality obtained by A. Cohen, W. Dahmen, I. Daubechies, and R. DeVore in 2003, the authors give two new characterizations of Muckenhoupt weights. As an application, the authors further establish a representation formula of gradients with sharp parameters in ball Banach function spaces, which extends the famous formula obtained by H. Brezis, A. Seeger, J. Van Schaftingen, and P.-L. Yung in 2021 from classical Sobolev spaces to various different Sobolev-type spaces and gives an affirmative answer to the question in page 29 of [Calc. Var. Partial Differential Equations 62 (2023), Paper No. 234]. The most novelty of this article exists in subtly revealing the mutual equivalences among the Muckenhoupt weight, the weighted variant of the inequality of Cohen et al., and the weighted upper estimate of the formula of Brezis et al. △ Less

Submitted 30 May, 2024; originally announced May 2024.

Comments: 48 pages; Submitted

MSC Class: Primary 46E35; Secondary 26D10; 42B25; 26A33; 35A23

New approach to affine Moser-Trudinger inequalities via Besov polar projection bodies

Authors: Oscar Dominguez, Yinqin Li, Sergey Tikhonov, Dachun Yang, Wen Yuan

Abstract: We extend the affine inequalities on $\mathbb{R}^n$ for Sobolev functions in $W^{s,p}$ with $1 \leq p < n/s$ obtained recently by Haddad-Ludwig [16, 17] to the remaining range $p \geq n/s$. For each value of $s$, our results are stronger than affine Moser-Trudinger and Morrey inequalities. As a byproduct, we establish the analog of the classical $L^p$ Bourgain-Brezis-Mironescu inequalities related… ▽ More We extend the affine inequalities on $\mathbb{R}^n$ for Sobolev functions in $W^{s,p}$ with $1 \leq p < n/s$ obtained recently by Haddad-Ludwig [16, 17] to the remaining range $p \geq n/s$. For each value of $s$, our results are stronger than affine Moser-Trudinger and Morrey inequalities. As a byproduct, we establish the analog of the classical $L^p$ Bourgain-Brezis-Mironescu inequalities related to the Moser-Trudinger case $p=n$. Our main tool is the affine invariant provided by Besov polar projection bodies. △ Less

Submitted 12 May, 2024; originally announced May 2024.

Computing renormalized curvature integrals on Poincaré-Einstein manifolds

Authors: Jeffrey S. Case, Ayush Khaitan, Yueh-Ju Lin, Aaron J. Tyrrell, Wei Yuan

Abstract: We describe a general procedure for computing renormalized curvature integrals on Poincaré-Einstein manifolds. In particular, we explain the connection between the Gauss-Bonnet-type formulas of Albin and Chang-Qing-Yang for the renormalized volume, and explicitly identify a scalar conformal invariant in the latter formula. Our approach constructs scalar conformal invariants that are divergences at… ▽ More We describe a general procedure for computing renormalized curvature integrals on Poincaré-Einstein manifolds. In particular, we explain the connection between the Gauss-Bonnet-type formulas of Albin and Chang-Qing-Yang for the renormalized volume, and explicitly identify a scalar conformal invariant in the latter formula. Our approach constructs scalar conformal invariants that are divergences at any Einstein manifold; these imply that the scalar invariant in the Chang-Qing-Yang formula is not unique in dimension at least eight. Our procedure also produces explicit conformally invariant Gauss-Bonnet-type formulas for compact Einstein manifolds. △ Less

Submitted 9 May, 2024; v1 submitted 17 April, 2024; originally announced April 2024.

Comments: Improved introduction to better highlight some applications; 18 pages

Matrix-Weighted Besov-Type and Triebel--Lizorkin-Type Spaces III: Characterizations of Molecules and Wavelets, Trace Theorems, and Boundedness of Pseudo-Differential Operators and Calderón--Zygmund Operators

Authors: Fan Bu, Tuomas Hytönen, Dachun Yang, Wen Yuan

Abstract: This is the last one of three successive articles by the authors on matrix-weighted Besov-type and Triebel--Lizorkin-type spaces $\dot B^{s,τ}_{p,q}(W)$ and $\dot F^{s,τ}_{p,q}(W)$. In this article, the authors establish the molecular and the wavelet characterizations of these spaces. Furthermore, as applications, the authors obtain the optimal boundedness of trace operators, pseudo-differential o… ▽ More This is the last one of three successive articles by the authors on matrix-weighted Besov-type and Triebel--Lizorkin-type spaces $\dot B^{s,τ}_{p,q}(W)$ and $\dot F^{s,τ}_{p,q}(W)$. In this article, the authors establish the molecular and the wavelet characterizations of these spaces. Furthermore, as applications, the authors obtain the optimal boundedness of trace operators, pseudo-differential operators, and Calderón--Zygmund operators on these spaces. Due to the sharp boundedness of almost diagonal operators on their related sequence spaces obtained in the second article of this series, all results presented in this article improve their counterparts on matrix-weighted Besov and Triebel--Lizorkin spaces $\dot B^{s}_{p,q}(W)$ and $\dot F^{s}_{p,q}(W)$. In particular, even when reverting to the boundedness of Calderón--Zygmund operator on unweighted Triebel--Lizorkin spaces $\dot F^{s}_{p,q}$, these results are still better. △ Less

Submitted 27 December, 2023; v1 submitted 20 December, 2023; originally announced December 2023.

Comments: We split the article arXiv:2304.00292 into three articles and this is the last one

MSC Class: Primary 46E35; Secondary 47A56; 42B25; 42B20; 42C40; 35S05; 42B35

Matrix-Weighted Besov-Type and Triebel--Lizorkin-Type Spaces II: Sharp Boundedness of Almost Diagonal Operators

Authors: Fan Bu, Tuomas Hytönen, Dachun Yang, Wen Yuan

Abstract: This article is the second one of three successive articles of the authors on the matrix-weighted Besov-type and Triebel--Lizorkin-type spaces. In this article, the authors obtain the sharp boundedness of almost diagonal operators on matrix-weighted Besov-type and Triebel--Lizorkin-type sequence spaces. These results not only possess broad generality but also improve most cases of existing almost… ▽ More This article is the second one of three successive articles of the authors on the matrix-weighted Besov-type and Triebel--Lizorkin-type spaces. In this article, the authors obtain the sharp boundedness of almost diagonal operators on matrix-weighted Besov-type and Triebel--Lizorkin-type sequence spaces. These results not only possess broad generality but also improve most cases of existing almost diagonal conditions of matrix-weighted Besov and Triebel--Lizorkin sequence spaces and even also weighted Besov-type and Triebel--Lizorkin-type sequence spaces into sharp ones via using $A_p$-dimensions of matrix weights and their elaborate properties in terms of reducing operators obtained by the same authors in the first article of this series. △ Less

Submitted 27 December, 2023; v1 submitted 20 December, 2023; originally announced December 2023.

Comments: We split the article arXiv:2304.00292 into three articles and this is the second one

MSC Class: Primary 46E35; Secondary 47A56; 42B25; 42B35

Separable algebras in multitensor C$^*$-categories are unitarizable

Authors: Luca Giorgetti, Wei Yuan, XuRui Zhao

Abstract: Recently, S. Carpi et al. (Comm. Math. Phys., 402:169-212, 2023) proved that every connected (i.e. haploid) Frobenius algebra in a tensor C$^*$-category is unitarizable (i.e. isomorphic to a special C$^*$-Frobenius algebra). Building on this result, we extend it to the non-connected case by showing that an algebra in a multitensor C$^*$-category is unitarizable if and only if it is separable. Recently, S. Carpi et al. (Comm. Math. Phys., 402:169-212, 2023) proved that every connected (i.e. haploid) Frobenius algebra in a tensor C$^*$-category is unitarizable (i.e. isomorphic to a special C$^*$-Frobenius algebra). Building on this result, we extend it to the non-connected case by showing that an algebra in a multitensor C$^*$-category is unitarizable if and only if it is separable. △ Less

Submitted 27 March, 2024; v1 submitted 19 December, 2023; originally announced December 2023.

Comments: 14 pages

MSC Class: 46L89 (Primary) 18M20; 46L08 (Secondary)

Journal ref: AIMS Mathematics 9 (2024) 11320-11334. Special Issue Operator Theory: Advances and Applications

On a class of stochastic fractional heat equations

Authors: Jian Song, Meng Wang, Wangjun Yuan

Abstract: For the fractional heat equation $\frac{\partial}{\partial t} u(t,x) = -(-Δ)^{\fracα{2}}u(t,x)+ u(t,x)\dot W(t,x)$ where the covariance function of the Gaussian noise $\dot W$ is defined by the heat kernel, we establish Feynman-Kac formulae for both Stratonovich and Skorohod solutions, along with their respective moments. In particular, we prove that $d<2+α$ is a sufficient and necessary condition… ▽ More For the fractional heat equation $\frac{\partial}{\partial t} u(t,x) = -(-Δ)^{\fracα{2}}u(t,x)+ u(t,x)\dot W(t,x)$ where the covariance function of the Gaussian noise $\dot W$ is defined by the heat kernel, we establish Feynman-Kac formulae for both Stratonovich and Skorohod solutions, along with their respective moments. In particular, we prove that $d<2+α$ is a sufficient and necessary condition for the equation to have a unique square-integrable mild Skorohod solution. One motivation lies in the occurrence of this equation in the study of a random walk in random environment which is generated by a field of independent random walks starting from a Poisson field. △ Less

Submitted 13 December, 2023; v1 submitted 20 November, 2023; originally announced November 2023.

MSC Class: 60H15; 35R60; 60G60

New Characterizations and Properties of Matrix $A_\infty$ Weights

Authors: Fan Bu, Tuomas Hytönen, Dachun Yang, Wen Yuan

Abstract: We provide several new characterizations of $A_{p,\infty}$-matrix weights, originally introduced by A. Volberg as matrix-valued substitutes of the classical $A_\infty$ weights. In analogy with the notion of $A_p$-dimension of matrix weights introduced in our previous work, we introduce the concepts of the lower and the upper dimensions of $A_{p,\infty}$-matrix weights, which enable us to obtain sh… ▽ More We provide several new characterizations of $A_{p,\infty}$-matrix weights, originally introduced by A. Volberg as matrix-valued substitutes of the classical $A_\infty$ weights. In analogy with the notion of $A_p$-dimension of matrix weights introduced in our previous work, we introduce the concepts of the lower and the upper dimensions of $A_{p,\infty}$-matrix weights, which enable us to obtain sharp estimates related to their reducing operators. In a follow-up work, these results will play a key role in the study of function spaces with $A_{p,\infty}$-matrix weights, which extends earlier results in the more restricted class of $A_p$-matrix weights. △ Less

Submitted 10 November, 2023; originally announced November 2023.

Comments: 39 pages. arXiv admin note: text overlap with arXiv:2304.00292

MSC Class: Primary 46E30; Secondary 47A56; 15A15; 42B35

Stochastic partial differential equations associated with Feller processes

Authors: Jian Song, Meng Wang, Wangjun Yuan

Abstract: For the stochastic partial differential equation $\frac{\partial u}{\partial t}=\mathcal L u +u\dot W$ where $\dot W$ is Gaussian noise colored in time and $\mathcal L$ is the infinitesimal generator of a Feller process $X$, we obtain Feynman-Kac type of representations for the Stratonovich and Skorohod solutions as well as for their moments. The regularity of the law and the Hölder continuity of… ▽ More For the stochastic partial differential equation $\frac{\partial u}{\partial t}=\mathcal L u +u\dot W$ where $\dot W$ is Gaussian noise colored in time and $\mathcal L$ is the infinitesimal generator of a Feller process $X$, we obtain Feynman-Kac type of representations for the Stratonovich and Skorohod solutions as well as for their moments. The regularity of the law and the Hölder continuity of the solutions are also studied. △ Less

Submitted 5 May, 2024; v1 submitted 28 October, 2023; originally announced October 2023.

Comments: 43 pages

A unified approach to self-improving property via K-functionals

Authors: Oscar Dominguez, Yinqin Li, Sergey Tikhonov, Dachun Yang, Wen Yuan

Abstract: In this paper we obtain new quantitative estimates that improve the classical inequalities: Poincaré-Ponce, Gaussian Sobolev, and John-Nirenberg. Our method is based on the K-functionals and allows one to derive self-improving type inequalities. We show the optimality of the method by obtaining new Bourgain-Brezis-Mironescu and Maz'ya-Shaposhnikova limiting formulas. In particular, we derive these… ▽ More In this paper we obtain new quantitative estimates that improve the classical inequalities: Poincaré-Ponce, Gaussian Sobolev, and John-Nirenberg. Our method is based on the K-functionals and allows one to derive self-improving type inequalities. We show the optimality of the method by obtaining new Bourgain-Brezis-Mironescu and Maz'ya-Shaposhnikova limiting formulas. In particular, we derive these formulas for fractional powers of infinitesimal generators of operator semigroups on Banach spaces. △ Less

Submitted 5 September, 2023; originally announced September 2023.

Extension Theorem and Bourgain--Brezis--Mironescu-Type Characterization of Ball Banach Sobolev Spaces on Domains

Authors: Chenfeng Zhu, Dachun Yang, Wen Yuan

Abstract: Let $Ω\subset\mathbb{R}^n$ be a bounded $(\varepsilon,\infty)$-domain with $\varepsilon\in(0,1]$, $X(\mathbb{R}^n)$ a ball Banach function space satisfying some extra mild assumptions, and $\{ρ_ν\}_{ν\in(0,ν_0)}$ with $ν_0\in(0,\infty)$ a $ν_0$-radial decreasing approximation of the identity on $\mathbb{R}^n$. In this article, the authors establish two extension theorems, respectively, on the inho… ▽ More Let $Ω\subset\mathbb{R}^n$ be a bounded $(\varepsilon,\infty)$-domain with $\varepsilon\in(0,1]$, $X(\mathbb{R}^n)$ a ball Banach function space satisfying some extra mild assumptions, and $\{ρ_ν\}_{ν\in(0,ν_0)}$ with $ν_0\in(0,\infty)$ a $ν_0$-radial decreasing approximation of the identity on $\mathbb{R}^n$. In this article, the authors establish two extension theorems, respectively, on the inhomogeneous ball Banach Sobolev space $W^{m,X}(Ω)$ and the homogeneous ball Banach Sobolev space $\dot{W}^{m,X}(Ω)$ for any $m\in\mathbb{N}$. On the other hand, the authors prove that, for any $f\in\dot{W}^{1,X}(Ω)$, $$ \lim_{ν\to0^+} \left\|\left[\int_Ω\frac{|f(\cdot)-f(y)|^p}{ |\cdot-y|^p}ρ_ν(|\cdot-y|)\,dy \right]^\frac{1}{p}\right\|_{X(Ω)}^p =\frac{2π^{\frac{n-1}{2}}Γ(\frac{p+1}{2})}{Γ(\frac{p+n}{2})} \left\|\,\left|\nabla f\right|\,\right\|_{X(Ω)}^p, $$ where $Γ$ is the Gamma function and $p\in[1,\infty)$ is related to $X(\mathbb{R}^n)$. Using this asymptotics, the authors further establish a characterization of $W^{1,X}(Ω)$ in terms of the above limit. To achieve these, the authors develop a machinery via using a method of the extrapolation, two extension theorems on weighted Sobolev spaces, and some recently found profound properties of $W^{1,X}(\mathbb{R}^n)$ to overcome those difficulties caused by that the norm of $X(\mathbb{R}^n)$ has no explicit expression and that $X(\mathbb{R}^n)$ might be neither the reflection invariance nor the translation invariance. This characterization has a wide range of generality and can be applied to various Sobolev-type spaces, such as Morrey [Bourgain--Morrey-type, weighted (or mixed-norm or variable), local (or global) generalized Herz, Lorentz, and Orlicz (or Orlicz-slice)] Sobolev spaces, all of which are new. △ Less

Submitted 31 July, 2023; v1 submitted 21 July, 2023; originally announced July 2023.

Comments: 58 pages, Submitted. arXiv admin note: substantial text overlap with arXiv:2307.10528, arXiv:2304.00949

MSC Class: Primary 46E35; Secondary 35A23; 42B25; 26D10

Brezis--Seeger--Van Schaftingen--Yung-Type Characterization of Homogeneous Ball Banach Sobolev Spaces and Its Applications

Authors: Chenfeng Zhu, Dachun Yang, Wen Yuan

Abstract: Let $γ\in\mathbb{R}\setminus\{0\}$ and $X(\mathbb{R}^n)$ be a ball Banach function space satisfying some extra mild assumptions. Assume that $Ω=\mathbb{R}^n$ or $Ω\subset\mathbb{R}^n$ is an $(\varepsilon,\infty)$-domain for some $\varepsilon\in(0,1]$. In this article, the authors prove that a function $f$ belongs to the homogeneous ball Banach Sobolev space $\dot{W}^{1,X}(Ω)$ if and only if… ▽ More Let $γ\in\mathbb{R}\setminus\{0\}$ and $X(\mathbb{R}^n)$ be a ball Banach function space satisfying some extra mild assumptions. Assume that $Ω=\mathbb{R}^n$ or $Ω\subset\mathbb{R}^n$ is an $(\varepsilon,\infty)$-domain for some $\varepsilon\in(0,1]$. In this article, the authors prove that a function $f$ belongs to the homogeneous ball Banach Sobolev space $\dot{W}^{1,X}(Ω)$ if and only if $f\in L_{\mathrm{loc}}^1(Ω)$ and $$ \sup_{λ\in(0,\infty)}λ\left\|\left[\int_{\{y\inΩ:\ |f(\cdot)-f(y)|>λ|\cdot-y|^{1+\fracγ{p}}\}} \left|\cdot-y\right|^{γ-n}\,dy \right]^\frac{1}{p}\right\|_{X(Ω)}<\infty, $$ where $p\in[1,\infty)$ is related to $X(\mathbb{R}^n)$. This result is of wide generality and can be applied to various specific Sobolev-type function spaces, including Morrey [Bourgain--Morrey-type, weighted (or mixed-norm or variable) Lebesgue, local (or global) generalized Herz, Lorentz, and Orlicz (or Orlicz-slice)] Sobolev spaces, which is new even in all these special cases; in particular, it coincides with the well-known result of H. Brezis, A. Seeger, J. Van Schaftingen, and P.-L. Yung when $X(Ω):=L^q(\mathbb{R}^n)$ with $1<p=q<\infty$, while it is still new even when $X(Ω):=L^q(\mathbb{R}^n)$ with $1\leq p<q<\infty$. △ Less

Submitted 31 July, 2023; v1 submitted 19 July, 2023; originally announced July 2023.

Comments: 46 pages, Submitted. arXiv admin note: substantial text overlap with arXiv:2307.11392, arXiv:2304.00949

MSC Class: Primary 46E35; Secondary 35A23; 42B25; 26D10

Global stability of the open Milne spacetime

Authors: **hua Wang, Wei Yuan

Abstract: The open Milne cosmological spacetime has a 3-dimensional Cauchy surface isometric to the (non-compact) hyperbolic space. We prove the globally nonlinear stability of the open Milne spacetime for both massive and massless Einstein-scalar field equations and show that as time goes to infinity, the spatial metric tends to the hyperbolic metric. The proof is based on the Gaussian normal coordinates,… ▽ More The open Milne cosmological spacetime has a 3-dimensional Cauchy surface isometric to the (non-compact) hyperbolic space. We prove the globally nonlinear stability of the open Milne spacetime for both massive and massless Einstein-scalar field equations and show that as time goes to infinity, the spatial metric tends to the hyperbolic metric. The proof is based on the Gaussian normal coordinates, in which the decay rates of gravity are determined by the expanding geometry of Milne spacetime. △ Less

Submitted 24 July, 2023; v1 submitted 10 July, 2023; originally announced July 2023.

Comments: More references are added

Gaussian fluctuations for the wave equation under rough random perturbations

Authors: Raluca M. Balan, **gyu Huang, Xiong Wang, Panqiu Xia, Wangjun Yuan

Abstract: In this article, we consider the stochastic wave equation in spatial dimension $d=1$, with linear term $σ(u)=u$ multiplying the noise. This equation is driven by a Gaussian noise which is white in time and fractional in space with Hurst index $H \in (\frac{1}{4},\frac{1}{2})$. First, we prove that the solution is strictly stationary and ergodic in the spatial variable. Then, we show that with prop… ▽ More In this article, we consider the stochastic wave equation in spatial dimension $d=1$, with linear term $σ(u)=u$ multiplying the noise. This equation is driven by a Gaussian noise which is white in time and fractional in space with Hurst index $H \in (\frac{1}{4},\frac{1}{2})$. First, we prove that the solution is strictly stationary and ergodic in the spatial variable. Then, we show that with proper normalization and centering, the spatial average of the solution converges to the standard normal distribution, and we estimate the rate of this convergence in the total variation distance. We also prove the corresponding functional convergence result. △ Less

Submitted 30 June, 2023; originally announced July 2023.

Comments: 31 pages

On spectrum of sample covariance matrices from large tensor vectors

Authors: Wangjun Yuan

Abstract: In this paper, we investigate the limiting empirical spectral distribution (LSD) of sums of independent rank-one $k$-fold tensor products of $n$-dimensional vectors as $k,n \to \infty$. Assuming that the base vectors are complex random variables with unit modular, we show that the LSD is the Marčenko-Pastur law. Comparing with the existing results, our limiting setting allows $k$ to grow much fast… ▽ More In this paper, we investigate the limiting empirical spectral distribution (LSD) of sums of independent rank-one $k$-fold tensor products of $n$-dimensional vectors as $k,n \to \infty$. Assuming that the base vectors are complex random variables with unit modular, we show that the LSD is the Marčenko-Pastur law. Comparing with the existing results, our limiting setting allows $k$ to grow much faster than $n$. Consequently, we obtain the necessary and sufficient conditions for Marčenko-Pastur law to serve as the LSD of our matrix model. Our approach is based on the moment method. △ Less

Submitted 7 January, 2024; v1 submitted 9 June, 2023; originally announced June 2023.

Comments: 22 pages, 10 figures

Hyperbolic Anderson model with time-independent rough noise: Gaussian fluctuations

Authors: Raluca M. Balan, Wangjun Yuan

Abstract: In this article, we study the hyperbolic Anderson model in dimension 1, driven by a time-independent rough noise, i.e. the noise associated with the fractional Brownian motion of Hurst index $H \in (1/4,1/2)$. We prove that, with appropriate normalization and centering, the spatial integral of the solution converges in distribution to the standard normal distribution, and we estimate the speed of… ▽ More In this article, we study the hyperbolic Anderson model in dimension 1, driven by a time-independent rough noise, i.e. the noise associated with the fractional Brownian motion of Hurst index $H \in (1/4,1/2)$. We prove that, with appropriate normalization and centering, the spatial integral of the solution converges in distribution to the standard normal distribution, and we estimate the speed of this convergence in the total variation distance. We also prove the corresponding functional limit result. Our method is based on a version of the second-order Gaussian Poincaré inequality developed recently in [27], and relies on delicate moment estimates for the increments of the first and second Malliavin derivatives of the solution. These estimates are obtained using a connection with the wave equation with delta initial velocity, a method which is different than the one used in [27] for the parabolic Anderson model. △ Less

Submitted 8 May, 2023; originally announced May 2023.

Comments: 54 pages

Cuntz-Nica-Pimsner algebras associated to product systems over quasi-lattice ordered groupoids

Authors: Feifei Miao, Liguang Wang, Wei Yuan

Abstract: We characterize Cuntz-Nica-Pimsner algebras for compactly aligned product systems over quasi-lattice ordered groupoids. We show that the full cross sectional $C^*$-algebras of Fell bundles of Morita equivalence bimodules are isomorphic to the related Cuntz-Nica-Pimsner algebras under certain conditions. We characterize Cuntz-Nica-Pimsner algebras for compactly aligned product systems over quasi-lattice ordered groupoids. We show that the full cross sectional $C^*$-algebras of Fell bundles of Morita equivalence bimodules are isomorphic to the related Cuntz-Nica-Pimsner algebras under certain conditions. △ Less

Submitted 6 May, 2023; originally announced May 2023.

MSC Class: 46L05

Hardy Spaces Associated with Non-Negative Self-Adjoint Operators and Ball Quasi-Banach Function Spaces on Doubling Metric Measure Spaces and Their Applications

Authors: Xiaosheng Lin, Dachun Yang, Sibei Yang, Wen Yuan

Abstract: Let $(\mathcal{X},d,μ)$ be a doubling metric measure space in the sense of R. R. Coifman and G. Weiss, $L$ a non-negative self-adjoint operator on $L^2(\mathcal{X})$ satisfying the Davies--Gaffney estimate, and $X(\mathcal{X})$ a ball quasi-Banach function space on $\mathcal{X}$ satisfying some mild assumptions. In this article, the authors introduce the Hardy type space $H_{X,\,L}(\mathcal{X})$ b… ▽ More Let $(\mathcal{X},d,μ)$ be a doubling metric measure space in the sense of R. R. Coifman and G. Weiss, $L$ a non-negative self-adjoint operator on $L^2(\mathcal{X})$ satisfying the Davies--Gaffney estimate, and $X(\mathcal{X})$ a ball quasi-Banach function space on $\mathcal{X}$ satisfying some mild assumptions. In this article, the authors introduce the Hardy type space $H_{X,\,L}(\mathcal{X})$ by the Lusin area function associated with $L$ and establish the atomic and the molecular characterizations of $H_{X,\,L}(\mathcal{X}).$ As an application of these characterizations of $H_{X,\,L}(\mathcal{X})$, the authors obtain the boundedness of spectral multiplies on $H_{X,\,L}(\mathcal{X})$. Moreover, when $L$ satisfies the Gaussian upper bound estimate, the authors further characterize $H_{X,\,L}(\mathcal{X})$ in terms of the Littlewood--Paley functions $g_L$ and $g_{λ,\,L}^\ast$ and establish the boundedness estimate of Schrödinger groups on $H_{X,\,L}(\mathcal{X})$. Specific spaces $X(\mathcal{X})$ to which these results can be applied include Lebesgue spaces, Orlicz spaces, weighted Lebesgue spaces, and variable Lebesgue spaces. This shows that the results obtained in the article have extensive generality. △ Less

Submitted 26 April, 2023; originally announced April 2023.

Comments: 46 pages; Submitted

MSC Class: Primary 42B30; Secondary 42B25; 35K08; 42B35; 35J30

Generalized Brezis--Van Schaftingen--Yung Formulae and Their Applications in Ball Banach Sobolev Spaces

Authors: Chenfeng Zhu, Dachun Yang, Wen Yuan

Abstract: Let $X$ be a ball Banach function space on $\mathbb{R}^n$. In this article, under some mild assumptions about both $X$ and the boundedness of the Hardy--Littlewood maximal operator on both $X$ and the associate space of its convexification, the authors successfully recover the homogeneous ball Banach Sobolev semi-norm $\|\,|\nabla f|\,\|_X$ via the functional… ▽ More Let $X$ be a ball Banach function space on $\mathbb{R}^n$. In this article, under some mild assumptions about both $X$ and the boundedness of the Hardy--Littlewood maximal operator on both $X$ and the associate space of its convexification, the authors successfully recover the homogeneous ball Banach Sobolev semi-norm $\|\,|\nabla f|\,\|_X$ via the functional $$ \sup_{λ\in(0,\infty)}λ\left\|\left[\int_{\{y\in\mathbb{R}^n:\ |f(\cdot)-f(y)|>λ|\cdot-y|^{1+\fracγ{q}}\}} \left|\cdot-y\right|^{γ-n}\,dy\right]^\frac{1}{q}\right\|_X $$ for any distributions $f$ with $|\nabla f|\in X$, as well as the corresponding limiting identities with the limit for $λ\to\infty$ when $γ\in(0,\infty)$ or the limit for $λ\to0^+$ when $γ\in(-\infty,0)$, where $γ\in\mathbb{R}\setminus\{0\}$ and where $q\in(0,\infty)$ is related to $X$. In particular, some of these results are still new even when $X:=L^p(X)$ with $p\in[1,\infty)$. As applications, the authors obtain some fractional Sobolev-type and some fractional Gagliardo--Nirenberg-type inequalities in the setting of $X$. All these results are of quite wide generality and are applied to various specific function spaces, including Morrey, mixed-norm (or variable or weighted) Lebesgue, Lorentz, and Orlicz (or Orlicz-slice) spaces, some of which are new even in all these special cases. The novelty of this article is to use both the method of the extrapolation and the boundedness of the Hardy--Littlewood maximal operator on both $X$ and the associate space of its convexification to overcome the essential difficulties caused by the deficiency of both the translation and the rotation invariance and an explicit expression of the norm of $X$. △ Less

Submitted 3 April, 2023; originally announced April 2023.

Comments: 80 pages; Submitted

MSC Class: Primary 46E35; Secondary 26D10; 42B25; 26A33; 35A23

Matrix-Weighted Besov-Type and Triebel--Lizorkin-Type Spaces I: $A_p$-Dimensions of Matrix Weights and $\varphi$-Transform Characterizations

Authors: Fan Bu, Tuomas P. Hytönen, Dachun Yang, Wen Yuan

Abstract: Let $s\in{\mathbb R}$, $q\in (0,\infty]$, and $τ\in[0,\infty)$. It is well known that Besov-type spaces $\dot B^{s,τ}_{p,q}$ with $p\in (0,\infty]$ and Triebel--Lizorkin-type spaces $\dot F^{s,τ}_{p,q}$ with $p\in (0,\infty)$ when $τ\in [0,\infty)$ or with $p\in (0,\infty]$ when $τ=0$ on $\mathbb{R}^n$ consist of a general family of function spaces that cover not only the well-known Besov and Trie… ▽ More Let $s\in{\mathbb R}$, $q\in (0,\infty]$, and $τ\in[0,\infty)$. It is well known that Besov-type spaces $\dot B^{s,τ}_{p,q}$ with $p\in (0,\infty]$ and Triebel--Lizorkin-type spaces $\dot F^{s,τ}_{p,q}$ with $p\in (0,\infty)$ when $τ\in [0,\infty)$ or with $p\in (0,\infty]$ when $τ=0$ on $\mathbb{R}^n$ consist of a general family of function spaces that cover not only the well-known Besov and Triebel--Lizorkin spaces $\dot B^{s}_{p,q}$ and $\dot F^{s}_{p,q}$ (when $τ=0$) but also several other function spaces of interest, such as Morrey spaces and $Q$ spaces. In three successive articles, the authors develop a complete real-variable theory of matrix-weighted Besov-type spaces $\dot B^{s,τ}_{p,q}(W)$ and matrix-weighted Triebel--Lizorkin-type spaces $\dot F^{s,τ}_{p,q}(W)$ on $\mathbb{R}^n$, where $W$ is a matrix-valued Muckenhoupt $A_p$ weight. This article is the first one, whose main novelty exists in that the authors introduce the new concept, $A_p$-dimensions of matrix weights, and intensively study their properties, especially those elaborate properties expressed via reducing operators. The authors then introduce the spaces $\dot B^{s,τ}_{p,q}(W)$ and $\dot F^{s,τ}_{p,q}(W)$ and, using $A_p$-dimensions and their nice properties, the authors establish the $\varphi$-transform characterization of $\dot B^{s,τ}_{p,q}(W)$ and $\dot F^{s,τ}_{p,q}(W)$. The $A_p$-dimensions of matrix weights and their properties also enable the authors to obtain the sharp boundedness of almost diagonal operators on related sequence spaces in the subsequent second article and the optimal characterizations of molecules and wavelets, trace theorems, and the optimal boundedness of pseudo-differential operators and Calderón--Zygmund operators in the subsequent third article. △ Less

Submitted 26 December, 2023; v1 submitted 1 April, 2023; originally announced April 2023.

Comments: 74 pages. We split the original article into three parts. This is the first part, which retains the original arXiv identifier. See arXiv:2312.13548 and arXiv:2312.13549 for parts II and III

MSC Class: Primary 46E35; Secondary 47A56; 42B25; 42C40; 42B35

Pointwise Multipliers for Besov Spaces $B^{0,b}_{p,\infty}(\mathbb{R}^n)$ with Only Logarithmic Smoothness

Authors: Ziwei Li, Winfried Sickel, Dachun Yang, Wen Yuan

Abstract: In this article, we establish a characterization of the set $M(B^{0,b}_{p,\infty}(\mathbb{R}^n))$ of all pointwise multipliers of Besov spaces $B^{0,b}_{p,\infty}(\mathbb{R}^n)$ with only logarithmic smoothness $b\in\mathbb{R}$ in the special cases $p=1$ and $p=\infty$. As applications of these two characterizations, we clarify whether or not the three concrete examples, namely characteristic func… ▽ More In this article, we establish a characterization of the set $M(B^{0,b}_{p,\infty}(\mathbb{R}^n))$ of all pointwise multipliers of Besov spaces $B^{0,b}_{p,\infty}(\mathbb{R}^n)$ with only logarithmic smoothness $b\in\mathbb{R}$ in the special cases $p=1$ and $p=\infty$. As applications of these two characterizations, we clarify whether or not the three concrete examples, namely characteristic functions of open sets, continuous functions defined by differences, and the functions $e^{ik\cdot x}$ with $k\in\mathbb{Z}^n$ and $x\in\mathbb{R}^n$, are pointwise multipliers of $B^{0,b}_{1,\infty}(\mathbb{R}^n)$ and $B^{0,b}_{\infty,\infty}(\mathbb{R}^n)$, respectively; furthermore, we obtain the explicit estimates of $\|e^{ik \cdot x}\|_{M(B^{0,b}_{1,\infty}(\mathbb{R}^n))}$ and $\|e^{ik \cdot x}\|_{M(B^{0,b}_{\infty,\infty}(\mathbb{R}^n))}$. In the case that $p\in(1,\infty)$, we give some sufficient conditions and some necessary conditions of the pointwise multipliers of $B^{0,b}_{p,\infty}(\mathbb{R}^n)$ and a complete characterization of $M(B^{0,b}_{p,\infty}(\mathbb{R}^n))$ is still open. However, via a different method, we are still able to accurately calculate $\|e^{ik \cdot x}\|_{M(B^{0,b}_{p,\infty}(\mathbb{R}^n))}$, $k\in\mathbb{Z}^n$, in this situation. The novelty of this article is that most of the proofs are constructive and these constructions strongly depend on the logarithmic structure of Besov spaces under consideration. △ Less

Submitted 25 October, 2022; originally announced October 2022.

Comments: 64 pages; Submitted

MSC Class: Primary 46E35; Secondary 42B35

Riesz Transform Characterization of Hardy Spaces Associated with Ball Quasi-Banach Function Spaces

Authors: Fan Wang, Dachun Yang, Wen Yuan

Abstract: Let $X$ be a ball quasi-Banach function space satisfying some mild assumptions and $H_X(\mathbb{R}^n)$ the Hardy space associated with $X$. In this article, the authors introduce both the Hardy space $H_X(\mathbb{R}^{n+1}_+)$ of harmonic functions and the Hardy space $\mathbb{H}_X(\mathbb{R}^{n+1}_+)$ of harmonic vectors, associated with $X$, and then establish the isomorphisms among… ▽ More Let $X$ be a ball quasi-Banach function space satisfying some mild assumptions and $H_X(\mathbb{R}^n)$ the Hardy space associated with $X$. In this article, the authors introduce both the Hardy space $H_X(\mathbb{R}^{n+1}_+)$ of harmonic functions and the Hardy space $\mathbb{H}_X(\mathbb{R}^{n+1}_+)$ of harmonic vectors, associated with $X$, and then establish the isomorphisms among $H_X(\mathbb{R}^n)$, $H_{X,2}(\mathbb{R}^{n+1}_+)$, and $\mathbb{H}_{X,2}(\mathbb{R}^{n+1}_+)$, where $H_{X,2}(\mathbb{R}^{n+1}_+)$ and $\mathbb{H}_{X,2}(\mathbb{R}^{n+1}_+)$ are, respectively, certain subspaces of $H_X(\mathbb{R}^{n+1}_+)$ and $\mathbb{H}_X(\mathbb{R}^{n+1}_+)$. Using these isomorphisms, the authors establish the first order Riesz transform characterization of $H_X(\mathbb{R}^n)$. The higher order Riesz transform characterization of $H_X(\mathbb{R}^n)$ is also obtained. The results obtained in this article have a wide range of generality and can be applied to the classical Hardy space, the weighted Hardy space, the Herz-Hardy space, the Lorentz-Hardy space, the variable Hardy space, the mixed-norm Hardy space, the local generalized Herz-Hardy space, and the mixed-norm Herz-Hardy space. △ Less

Submitted 22 August, 2022; originally announced August 2022.

Comments: 43 pages, Submitted

MSC Class: Primary 42B30; Secondary 42B35; 42B20; 44A15; 47B06

Maximal Function and Riesz Transform Characterizations of Hardy Spaces Associated with Homogeneous Higher Order Elliptic Operators and Ball Quasi-Banach Function Spaces

Authors: Xiaosheng Lin, Dachun Yang, Sibei Yang, Wen Yuan

Abstract: Let $L$ be a homogeneous divergence form higher order elliptic operator with complex bounded measurable coefficients on $\mathbb{R}^n$ and $X$ a ball quasi-Banach function space on $\mathbb{R}^n$ satisfying some mild assumptions. Denote by $H_{X,\, L}(\mathbb{R}^n)$ the Hardy space, associated with both $L$ and $X$, which is defined via the Lusin area function related to the semigroup generated by… ▽ More Let $L$ be a homogeneous divergence form higher order elliptic operator with complex bounded measurable coefficients on $\mathbb{R}^n$ and $X$ a ball quasi-Banach function space on $\mathbb{R}^n$ satisfying some mild assumptions. Denote by $H_{X,\, L}(\mathbb{R}^n)$ the Hardy space, associated with both $L$ and $X$, which is defined via the Lusin area function related to the semigroup generated by $L$. In this article, the authors establish both the maximal function and the Riesz transform characterizations of $H_{X,\, L}(\mathbb{R}^n)$. The results obtained in this article have a wide range of generality and can be applied to the weighted Hardy space, the variable Hardy space, the mixed-norm Hardy space, the Orlicz--Hardy space, the Orlicz-slice Hardy space, and the Morrey--Hardy space, associated with $L$. In particular, even when $L$ is a second order divergence form elliptic operator, both the maximal function and the Riesz transform characterizations of the mixed-norm Hardy space, the Orlicz-slice Hardy space, and the Morrey--Hardy space, associated with $L$, obtained in this article, are totally new. △ Less

Submitted 7 July, 2022; originally announced July 2022.

Comments: 52 pages; Submitted

MSC Class: Primary 42B30; Secondary 42B25; 47B06; 35J30; 42B35

Curved versions of the Ovsienko-Redou operators

Authors: Jeffrey S. Case, Yueh-Ju Lin, Wei Yuan

Abstract: We give a complete classification of tangential bidifferential operators of total order at most $n$ which are expressed purely in terms of the Laplacian on the ambient space of an $n$-dimensional manifold. This gives a curved analogue of the classification, due to Ovsienko--Redou and Clerc, of conformally invariant bidifferential operators on the sphere. As an application, we construct a large cla… ▽ More We give a complete classification of tangential bidifferential operators of total order at most $n$ which are expressed purely in terms of the Laplacian on the ambient space of an $n$-dimensional manifold. This gives a curved analogue of the classification, due to Ovsienko--Redou and Clerc, of conformally invariant bidifferential operators on the sphere. As an application, we construct a large class of formally self-adjoint conformally invariant differential operators. △ Less

Submitted 7 July, 2022; v1 submitted 6 June, 2022; originally announced June 2022.

Comments: 19 pages; corrected a formula in Theorem 1.5

Central limit theorems for heat equation with time-independent noise: the regular and rough cases

Authors: Raluca M. Balan, Wangjun Yuan

Abstract: In this article, we investigate the asymptotic behaviour of the spatial integral of the solution to the parabolic Anderson model with time independent noise in dimension $d\geq 1$, as the domain of the integral becomes large. We consider 3 cases: (a) the case when the noise has an integrable covariance function; (b) the case when the covariance of the noise is given by the Riesz kernel; (c) the ca… ▽ More In this article, we investigate the asymptotic behaviour of the spatial integral of the solution to the parabolic Anderson model with time independent noise in dimension $d\geq 1$, as the domain of the integral becomes large. We consider 3 cases: (a) the case when the noise has an integrable covariance function; (b) the case when the covariance of the noise is given by the Riesz kernel; (c) the case of the rough noise, i.e. fractional noise with index $H \in (\frac{1}{4},\frac{1}{2})$ in dimension $d=1$. In each case, we identify the order of magnitude of the variance of the spatial integral, we prove a quantitative central limit theorem for the normalized spatial integral by estimating its total variation distance to a standard normal distribution, and we give the corresponding functional limit result. △ Less

Submitted 25 May, 2022; originally announced May 2022.

Comments: 43 pages

A Measure Characterization of Embedding and Extension Domains for Sobolev, Triebel-Lizorkin, and Besov Spaces on Spaces of Homogeneous Type

Authors: Ryan Alvarado, Dachun Yang, Wen Yuan

Abstract: In this article, for an optimal range of the smoothness parameter $s$ that depends (quantitatively) on the geometric makeup of the underlying space, the authors identify purely measure theoretic conditions that fully characterize embedding and extension domains for the scale of Hajłasz--Triebel--Lizorkin spaces $M^s_{p,q}$ and Hajłasz--Besov spaces $N^s_{p,q}$ in general spaces of homogeneous type… ▽ More In this article, for an optimal range of the smoothness parameter $s$ that depends (quantitatively) on the geometric makeup of the underlying space, the authors identify purely measure theoretic conditions that fully characterize embedding and extension domains for the scale of Hajłasz--Triebel--Lizorkin spaces $M^s_{p,q}$ and Hajłasz--Besov spaces $N^s_{p,q}$ in general spaces of homogeneous type. Although stated in the context of quasi-metric spaces, these characterizations improve related work even in the metric setting. In particular, as a corollary of the main results in this article, the authors obtain a new characterization for Sobolev embedding and extension domains in the context of general doubling metric measure spaces. △ Less

Submitted 14 February, 2022; originally announced February 2022.

Comments: arXiv admin note: text overlap with arXiv:2202.06389

MSC Class: Primary 46E36; 46E35; Secondary 43A85; 42B35; 30L99

Optimal Embeddings for Triebel-Lizorkin and Besov Spaces on Quasi-Metric Measure Spaces

Authors: Ryan Alvarado, Dachun Yang, Wen Yuan

Abstract: In this article, via certain lower bound conditions on the measures under consideration, the authors fully characterize the Sobolev embeddings for the scales of Hajłasz-Triebel-Lizorkin and Hajłasz-Besov spaces in the general context of quasi-metric measure spaces for an optimal range of the smoothness parameter $s$. An interesting facet of this work is how the range of $s$ for which the above cha… ▽ More In this article, via certain lower bound conditions on the measures under consideration, the authors fully characterize the Sobolev embeddings for the scales of Hajłasz-Triebel-Lizorkin and Hajłasz-Besov spaces in the general context of quasi-metric measure spaces for an optimal range of the smoothness parameter $s$. An interesting facet of this work is how the range of $s$ for which the above characterizations of these embeddings hold true is intimately linked (in a quantitative manner) to the geometric makeup of the underlying space. Moreover, although stated for Hajłasz-Triebel-Lizorkin and Hajłasz-Besov spaces in the context of quasi-metric spaces, the main results in this article improve known work even for Sobolev spaces in the metric setting. △ Less

Submitted 13 February, 2022; originally announced February 2022.

MSC Class: Primary 46E36; 46E35; Secondary 43A85; 42B35; 30L99

Hitting probabilities of Gaussian random fields and collision of eigenvalues of random matrices

Authors: Cheuk Yin Lee, Jian Song, Yimin Xiao, Wangjun Yuan

Abstract: Let $X= \{X(t), t \in \mathbb R^N\}$ be a centered Gaussian random field with values in $\mathbb R^d$ satisfying certain conditions and let $F \subset \mathbb R^d$ be a Borel set. In our main theorem, we provide a sufficient condition for $F$ to be polar for $X$, i.e. $\mathbb P \big( X(t) \in F \hbox{ for some } t \in \mathbb R^N \big) = 0$, which improves significantly the main result in Dalang… ▽ More Let $X= \{X(t), t \in \mathbb R^N\}$ be a centered Gaussian random field with values in $\mathbb R^d$ satisfying certain conditions and let $F \subset \mathbb R^d$ be a Borel set. In our main theorem, we provide a sufficient condition for $F$ to be polar for $X$, i.e. $\mathbb P \big( X(t) \in F \hbox{ for some } t \in \mathbb R^N \big) = 0$, which improves significantly the main result in Dalang et al [7], where the case of $F$ being a singleton was considered. We provide a variety of examples of Gaussian random field for which our result is applicable. Moreover, by using our main theorem, we solve a problem on the existence of collisions of the eigenvalues of random matrices with Gaussian random field entries that was left open in Jaramillo and Nualart [14] and Song et al [21]. △ Less

Submitted 7 February, 2022; originally announced February 2022.

Comments: 25 pages

Pointwise Characterization of Besov and Triebel-Lizorkin Spaces on Spaces of Homogeneous Type

Authors: Ryan Alvarado, Fan Wang, Dachun Yang, Wen Yuan

Abstract: In this article, the authors establish the pointwise characterization of Besov and Triebel-Lizorkin spaces on spaces of homogeneous type via clarifying the relationship among Hajłasz-Sobolev spaces, Hajłasz-Besov and Hajłasz-Triebel-Lizorkin spaces, grand Besov and Triebel-Lizorkin spaces, and Besov and Triebel-Lizorkin spaces. A major novelty of this article is that all results presented in this… ▽ More In this article, the authors establish the pointwise characterization of Besov and Triebel-Lizorkin spaces on spaces of homogeneous type via clarifying the relationship among Hajłasz-Sobolev spaces, Hajłasz-Besov and Hajłasz-Triebel-Lizorkin spaces, grand Besov and Triebel-Lizorkin spaces, and Besov and Triebel-Lizorkin spaces. A major novelty of this article is that all results presented in this article get rid of both the dependence on the reverse doubling condition of the measure and the metric condition of the quasi-metric under consideration. Moreover, the pointwise characterization of the inhomogeneous version is new even when the underlying space is an RD-space. △ Less

Submitted 25 January, 2022; originally announced January 2022.

Comments: arXiv admin note: text overlap with arXiv:2012.13035, arXiv:2103.02390, arXiv:2103.08227

MSC Class: Primary 46E36; Secondary 46E35; 42B25; 30L99

Weak Hardy Spaces Associated with Ball Quasi-Banach Function Spaces on Spaces of Homogeneous Type: Decompositions, Real Interpolation, and Calderón--Zygmund Operators

Authors: **gsong Sun, Dachun Yang, Wen Yuan

Abstract: Let $(\mathbb{X},d,μ)$ be a space of homogeneous type in the sense of R. R. Coifman and G. Weiss, and $X(\mathbb{X})$ a ball quasi-Banach function space on $\mathbb{X}$. In this article, the authors introduce the weak Hardy space $WH_X(\mathbb{X})$ associated with $X(\mathbb{X})$ via the grand maximal function, and characterize $WH_X(\mathbb{X})$ by other maximal functions and atoms. The authors t… ▽ More Let $(\mathbb{X},d,μ)$ be a space of homogeneous type in the sense of R. R. Coifman and G. Weiss, and $X(\mathbb{X})$ a ball quasi-Banach function space on $\mathbb{X}$. In this article, the authors introduce the weak Hardy space $WH_X(\mathbb{X})$ associated with $X(\mathbb{X})$ via the grand maximal function, and characterize $WH_X(\mathbb{X})$ by other maximal functions and atoms. The authors then apply these characterizations to obtain the real interpolation and the boundedness of Calderón--Zygmund operators in the critical case. The main novelties of this article exist in that the authors use the Aoki--Rolewicz theorem and both the dyadic system and the exponential decay of approximations of the identity on $\mathbb{X}$, which closely connect with the geometrical properties of $\mathbb{X}$, to overcome the difficulties caused by the absence of both the triangle inequality of $\|\cdot\|_{X(\mathbb{X})}$ and the reverse doubling assumption of the measure $μ$ under consideration, and also use the relation between the convexification of $X(\mathbb{X})$ and the weak space $WX(\mathbb{X})$ associated with $X(\mathbb{X})$ to prove that the infinite summation of atoms converges in the space of distributions on $\mathbb{X}$. Moreover, all these results have a wide range of generality and, particularly, even when they are applied to the weighted Lebesgue space, the Orlicz space, and the variable Lebesgue space, the obtained results are also new and, actually, some of them are new even on RD-spaces (namely, spaces of homogeneous type satisfying the additional reverse doubling condition). △ Less

Submitted 23 January, 2022; originally announced January 2022.

MSC Class: Primary 42B30; Secondary 42B25; 42B20; 42B35; 46E36; 30L99

Co-universal $C^{\ast}$-algebras for product systems over finite aligned subcategories of groupoids

Authors: Feifei Miao, Liguang Wang, Wei Yuan

Abstract: The product systems over left cancellative small categories are introduced and studied in this paper. We also introduce the notion of compactly aligned product systems over finite aligned left cancellative small categories and its Nica covariant representations. The existence of co-universal algebras for injective, gauge-compatible, Nica covariant representations of compactly aligned product syste… ▽ More The product systems over left cancellative small categories are introduced and studied in this paper. We also introduce the notion of compactly aligned product systems over finite aligned left cancellative small categories and its Nica covariant representations. The existence of co-universal algebras for injective, gauge-compatible, Nica covariant representations of compactly aligned product systems over finite aligned subcategories of groupoids is proved in this paper. △ Less

Submitted 7 January, 2024; v1 submitted 20 January, 2022; originally announced January 2022.

Comments: 24 pages

MSC Class: 46L05

Spatial integral of the solution to hyperbolic Anderson model with time-independent noise

Authors: Raluca M. Balan, Wangjun Yuan

Abstract: In this article, we study the asymptotic behavior of the spatial integral of the solution to the hyperbolic Anderson model in dimension $d\leq 2$, as the domain of the integral gets large (for fixed time $t$). This equation is driven by a spatially homogeneous Gaussian noise, whose covariance function is either integrable, or is given by the Riesz kernel. The novelty is that the noise does not dep… ▽ More In this article, we study the asymptotic behavior of the spatial integral of the solution to the hyperbolic Anderson model in dimension $d\leq 2$, as the domain of the integral gets large (for fixed time $t$). This equation is driven by a spatially homogeneous Gaussian noise, whose covariance function is either integrable, or is given by the Riesz kernel. The novelty is that the noise does not depend on time, which means that Itô's martingale theory for stochastic integration cannot be used. Using a combination of Malliavin calculus with Stein's method, we show that with proper normalization and centering, the spatial integral of the solution converges to a standard normal distribution, by estimating the speed of this convergence in the total variation distance. We also prove the corresponding functional limit theorem for the spatial integral process. △ Less

Submitted 14 January, 2022; v1 submitted 6 January, 2022; originally announced January 2022.

Comments: 33 pages

Global Gradient Estimates for Dirichlet Problems of Elliptic Operators with a BMO Anti-Symmetric Part

Authors: Sibei Yang, Dachun Yang, Wen Yuan

Abstract: Let $n\ge2$ and $Ω\subset\mathbb{R}^n$ be a bounded NTA domain. In this article, the authors investigate (weighted) global gradient estimates for Dirichlet boundary value problems of second order elliptic equations of divergence form with an elliptic symmetric part and a BMO anti-symmetric part in $Ω$. More precisely, for any given $p\in(2,\infty)$, the authors prove that a weak reverse Hölder ine… ▽ More Let $n\ge2$ and $Ω\subset\mathbb{R}^n$ be a bounded NTA domain. In this article, the authors investigate (weighted) global gradient estimates for Dirichlet boundary value problems of second order elliptic equations of divergence form with an elliptic symmetric part and a BMO anti-symmetric part in $Ω$. More precisely, for any given $p\in(2,\infty)$, the authors prove that a weak reverse Hölder inequality with exponent $p$ implies the global $W^{1,p}$ estimate and the global weighted $W^{1,q}$ estimate, with $q\in[2,p]$ and some Muckenhoupt weights, of solutions to Dirichlet boundary value problems. As applications, the authors establish some global gradient estimates for solutions to Dirichlet boundary value problems of second order elliptic equations of divergence form with small $\mathrm{BMO}$ symmetric part and small $\mathrm{BMO}$ anti-symmetric part, respectively, on bounded Lipschitz domains, quasi-convex domains, Reifenberg flat domains, $C^1$ domains, or (semi-)convex domains, in weighted Lebesgue spaces. Furthermore, as further applications, the authors obtain the global gradient estimate, respectively, in (weighted) Lorentz spaces, (Lorentz--)Morrey spaces, (Musielak--)Orlicz spaces, and variable Lebesgue spaces. Even on global gradient estimates in Lebesgue spaces, the results obtained in this article improve the known results via weakening the assumption on the coefficient matrix. △ Less

Submitted 3 January, 2022; originally announced January 2022.

Comments: 41 pages; Submitted. arXiv admin note: substantial text overlap with arXiv:2003.07609

MSC Class: Primary 35J25; Secondary 35J15; 42B35; 42B37

On spectral distribution of sample covariance matrices from large dimensional and large $k$-fold tensor products

Authors: Benoît Collins, Jianfeng Yao, Wangjun Yuan

Abstract: We study the eigenvalue distributions for sums of independent rank-one $k$-fold tensor products of large $n$-dimensional vectors. Previous results in the literature assume that $k=o(n)$ and show that the eigenvalue distributions converge to the celebrated Marčenko-Pastur law under appropriate moment conditions on the base vectors. In this paper, motivated by quantum information theory, we study th… ▽ More We study the eigenvalue distributions for sums of independent rank-one $k$-fold tensor products of large $n$-dimensional vectors. Previous results in the literature assume that $k=o(n)$ and show that the eigenvalue distributions converge to the celebrated Marčenko-Pastur law under appropriate moment conditions on the base vectors. In this paper, motivated by quantum information theory, we study the regime where $k$ grows faster, namely $k=O(n)$. We show that the moment sequences of the eigenvalue distributions have a limit, which is different from the Marčenko-Pastur law. As a byproduct, we show that the Marčenko-Pastur law limit holds if and only if $k=o(n)$ for this tensor model. The approach is based on the method of moments. △ Less

Submitted 11 December, 2021; originally announced December 2021.

Comments: 21 pages, 6 figures

Journal ref: Electronic Journal of Probability (2022) 27, 1-18

John--Nirenberg-$Q$ Spaces via Congruent Cubes

Authors: ** Tao, Zhenyu Yang, Wen Yuan

Abstract: To shed some light on the John--Nirenberg space, the authors in this article introduce the John--Nirenberg-$Q$ space via congruent cubes, $JNQ^α_{p,q}(\mathbb{R}^n)$, which when $p=\infty$ and $q=2$ coincides with the space $Q_α(\mathbb{R}^n)$ introduced by Essén et al. in [Indiana Univ. Math. J. 49 (2000), 575-615]. Moreover, the authors show that, for some particular indices,… ▽ More To shed some light on the John--Nirenberg space, the authors in this article introduce the John--Nirenberg-$Q$ space via congruent cubes, $JNQ^α_{p,q}(\mathbb{R}^n)$, which when $p=\infty$ and $q=2$ coincides with the space $Q_α(\mathbb{R}^n)$ introduced by Essén et al. in [Indiana Univ. Math. J. 49 (2000), 575-615]. Moreover, the authors show that, for some particular indices, $JNQ^α_{p,q}(\mathbb{R}^n)$ coincides with the congruent John--Nirenberg space, or that the (fractional) Sobolev space is continuously embedded into $JNQ^α_{p,q}(\mathbb{R}^n)$. Furthermore, the authors characterize $JNQ^α_{p,q}(\mathbb{R}^n)$ via mean oscillations, and then use this characterization to study the dyadic counterparts. Also, the authors obtain some properties of composition operators on such spaces. The main novelties of this article are twofold: establishing a general equivalence principle for a kind of `almost increasing' set function introduced in this article, and using the fine geometrical properties of dyadic cubes to properly classify any collection of cubes with pairwise disjoint interiors and equal edge length. △ Less

Submitted 8 December, 2021; originally announced December 2021.

Comments: 38 pages, submitted

MSC Class: Primary 42B35; Secondary 46E30; 46E35

Poincaré Inequality Meets Brezis--Van Schaftingen--Yung Formula on Metric Measure Spaces

Authors: Feng Dai, Xiaosheng Lin, Dachun Yang, Wen Yuan, Yangyang Zhang

Abstract: Let $(\mathcal{X}, ρ, μ)$ be a metric measure space of homogeneous type which supports a certain Poincaré inequality. Denote by the symbol $\mathcal{C}_{\mathrm{c}}^\ast(\mathcal{X})$ the space of all continuous functions $f$ with compact support satisfying that $\operatorname{Lip} f:=\limsup _{r \rightarrow 0} \sup_{y\in B(\cdot, r)} |f(\cdot)-f(y)|/r$ is also a continuous function with compact s… ▽ More Let $(\mathcal{X}, ρ, μ)$ be a metric measure space of homogeneous type which supports a certain Poincaré inequality. Denote by the symbol $\mathcal{C}_{\mathrm{c}}^\ast(\mathcal{X})$ the space of all continuous functions $f$ with compact support satisfying that $\operatorname{Lip} f:=\limsup _{r \rightarrow 0} \sup_{y\in B(\cdot, r)} |f(\cdot)-f(y)|/r$ is also a continuous function with compact support and $\operatorname{Lip} f=\lim _{r \rightarrow 0} \sup_{y\in B(\cdot, r)} |f(\cdot)-f(y)|/r$ converges uniformly. Let $p \in[1,\infty)$. In this article, the authors prove that, for any $f\in\mathcal{C}_{\mathrm{c}}^\ast(\mathcal{X})$, \begin{align*} &\sup_{λ\in(0,\infty)}λ^p\int_{\mathcal{X}} μ\left(\left\{y\in \mathcal{X}:\ |f(x)-f(y)|>λρ(x,y) [V(x,y)]^{\frac 1p}\right\}\right)\, dμ(x)\\ &\quad\sim \int_{\mathcal{X}} [\operatorname{Lip}f(x)]^p \,dμ(x) \end{align*} with the positive equivalence constants independent of $f$, where $V(x,y):=μ(B(x,ρ(x,y)))$. This generalizes a recent surprising formula of H. Brezis, J. Van Schaftingen, and P.-L. Yung from the $n$-dimensional Euclidean space ${\mathbb R}^n$ to $\mathcal{X}$. Applying this generalization, the authors establish new fractional Sobolev and Gagliardo--Nirenberg inequalities in $\mathcal{X}$. All these results have a wide range of applications. Particularly, when applied to two concrete examples, namely, ${\mathbb R}^n$ with weighted Lebesgue measure and the complete $n$-dimensional Riemannian manifold with non-negative Ricci curvature, all these results are new. The proofs of these results strongly depend on the geometrical relation of differences and derivatives in the metric measure space and the Poincaré inequality. △ Less

Submitted 18 November, 2021; originally announced November 2021.

Comments: 25 pages; Submitted. arXiv admin note: text overlap with arXiv:2109.04638

MSC Class: Primary 46E36; Secondary 26D10; 30L15; 26A33

Hardy Spaces Associated with Ball Quasi-Banach Function Spaces on Spaces of Homogeneous Type: Characterizations of Maximal Functions, Decompositions, and Dual Spaces

Authors: Xianjie Yan, Ziyi He, Dachun Yang, Wen Yuan

Abstract: Let $({\mathcal X},ρ,μ)$ be a space of homogeneous type in the sense of Coifman and Weiss, and $Y({\mathcal X})$ a ball quasi-Banach function space on ${\mathcal X}$, which supports a Fefferman--Stein vector-valued maximal inequality, and the boundedness of the powered Hardy--Littlewood maximal operator on its associate space. The authors first introduce the Hardy space $H_{Y}^*({\mathcal X})$, as… ▽ More Let $({\mathcal X},ρ,μ)$ be a space of homogeneous type in the sense of Coifman and Weiss, and $Y({\mathcal X})$ a ball quasi-Banach function space on ${\mathcal X}$, which supports a Fefferman--Stein vector-valued maximal inequality, and the boundedness of the powered Hardy--Littlewood maximal operator on its associate space. The authors first introduce the Hardy space $H_{Y}^*({\mathcal X})$, associated with $Y({\mathcal X})$, via the grand maximal function, and then establish its various real-variable characterizations, respectively, in terms of radial or non-tangential maximal functions, atoms or finite atoms, and molecules. As an application, the authors give the dual space of $H_{Y}^*({\mathcal X})$, which proves to be a ball Campanato-type function space associated with $Y({\mathcal X})$. All these results have a wide range of generality and, particularly, even when they are applied to variable Hardy spaces, the obtained results are also new. The major novelties of this article exist in that, to escape the reverse doubling condition of $μ$ and the triangle inequality of $ρ$, the authors cleverly construct admissible sequences of balls, and fully use the geometrical properties of ${\mathcal X}$ expressed by dyadic reference points or dyadic cubes and, to overcome the difficulty caused by the lack of the good dense subset of $H_{Y}^*({\mathcal X})$, the authors further prove that $Y({\mathcal X})$ can be embedded into the weighted Lebesgue space with certain special weight, and then can fully use the known results of the weighted Lebesgue space. △ Less

Submitted 6 October, 2021; originally announced October 2021.

MSC Class: Primary 42B30; Secondary 42B25; 42B35; 46E36; 30L99

Recent advances on eigenvalues of matrix-valued stochastic processes

Authors: Jian Song, Jianfeng Yao, Wangjun Yuan

Abstract: Since the introduction of Dyson's Brownian motion in early 1960's, there have been a lot of developments in the investigation of stochastic processes on the space of Hermitian matrices. Their properties, especially, the properties of their eigenvalues have been studied in great details. In particular, the limiting behaviors of the eigenvalues are found when the dimension of the matrix space tends… ▽ More Since the introduction of Dyson's Brownian motion in early 1960's, there have been a lot of developments in the investigation of stochastic processes on the space of Hermitian matrices. Their properties, especially, the properties of their eigenvalues have been studied in great details. In particular, the limiting behaviors of the eigenvalues are found when the dimension of the matrix space tends to infinity, which connects with random matrix theory. This survey reviews a selection of results on the eigenvalues of stochastic processes from the literature of the past three decades. For most recent variations of such processes, such as matrix-valued processes driven by fractional Brownian motion or Brownian sheet, the eigenvalues of them are also discussed in this survey. In the end, some open problems in the area are also proposed. △ Less

Submitted 24 September, 2021; originally announced September 2021.

Comments: 28 pages

Brezis--Van Schaftingen--Yung Formulae in Ball Banach Function Spaces with Applications to Fractional Sobolev and Gagliardo--Nirenberg Inequalities

Authors: Feng Dai, Xiaosheng Lin, Dachun Yang, Wen Yuan, Yangyang Zhang

Abstract: Let $X$ be a ball Banach function space on ${\mathbb R}^n$. In this article, under some mild assumptions about both $X$ and the boundedness of the Hardy--Littlewood maximal operator on the associate space of the convexification of $X$, the authors prove that, for any locally integrable function $f$ with $\|\,|\nabla f|\,\|_{X}<\infty$,… ▽ More Let $X$ be a ball Banach function space on ${\mathbb R}^n$. In this article, under some mild assumptions about both $X$ and the boundedness of the Hardy--Littlewood maximal operator on the associate space of the convexification of $X$, the authors prove that, for any locally integrable function $f$ with $\|\,|\nabla f|\,\|_{X}<\infty$, $$\sup_{λ\in(0,\infty)}λ\left \|\left|\left\{y\in{\mathbb R}^n:\ |f(\cdot)-f(y)| >λ|\cdot-y|^{\frac{n}{q}+1}\right\}\right|^{\frac{1}{q}} \right\|_X\sim \|\,|\nabla f|\,\|_X$$ with the positive equivalence constants independent of $f$, where the index $q\in(0,\infty)$ is related to $X$ and $|\{y\in{\mathbb R}^n:\ |f(\cdot)-f(y)| >λ|\cdot-y|^{\frac{n}{q}+1}\}|$ is the Lebesgue measure of the set under consideration. In particular, when $X:=L^p({\mathbb R}^n)$ with $p\in [1,\infty)$, the above formulae hold true for any given $q\in (0,\infty)$ with $n(\frac{1}{p}-\frac{1}{q})<1$, which when $q=p$ are exactly the recent surprising formulae of H. Brezis, J. Van Schaftingen, and P.-L. Yung, and which in other cases are new. This generalization has a wide range of applications and, particularly, enables the authors to establish new fractional Sobolev and new Gagliardo--Nirenberg inequalities in various function spaces, including Morrey spaces, mixed-norm Lebesgue spaces, variable Lebesgue spaces, weighted Lebesgue spaces, Orlicz spaces, and Orlicz-slice (generalized amalgam) spaces, and, even in all these special cases, the obtained results are new. The proofs of these results strongly depend on the Poincaré inequality, the extrapolation, the exact operator norm on $X'$ of the Hardy--Littlewood maximal operator, and the exquisite geometry of $\mathbb{R}^n.$ △ Less

Submitted 10 August, 2022; v1 submitted 9 September, 2021; originally announced September 2021.

Comments: 68 pages, Submitted

MSC Class: Primary 46E35; Secondary 26D10; 42B25; 26A33; 35A23

Boundedness of Fractional Integrals on Special John--Nirenberg--Campanato and Hardy-Type Spaces via Congruent Cubes

Authors: Hongchao Jia, ** Tao, Dachun Yang, Wen Yuan, Yangyang Zhang

Abstract: Let $p\in[1,\infty]$, $q\in[1,\infty)$, $s\in\mathbb{Z}_+:=\mathbb{N}\cup\{0\}$, and $α\in\mathbb{R}$. In this article, the authors first find a reasonable version $\widetilde{I}_β$ of the (generalized) fractional integral $I_β$ on the special John--Nirenberg--Campanato space via congruent cubes, $JN_{(p,q,s)_α}^{\mathrm{con}}(\mathbb{R}^n)$, which coincides with the Campanato space… ▽ More Let $p\in[1,\infty]$, $q\in[1,\infty)$, $s\in\mathbb{Z}_+:=\mathbb{N}\cup\{0\}$, and $α\in\mathbb{R}$. In this article, the authors first find a reasonable version $\widetilde{I}_β$ of the (generalized) fractional integral $I_β$ on the special John--Nirenberg--Campanato space via congruent cubes, $JN_{(p,q,s)_α}^{\mathrm{con}}(\mathbb{R}^n)$, which coincides with the Campanato space $\mathcal{C}_{α,q,s}(\mathbb{R}^n)$ when $p=\infty$. To this end, the authors introduce the vanishing moments up to order $s$ of $I_β$. Then the authors prove that $\widetilde{I}_β$ is bounded from $JN_{(p,q,s)_α}^{\mathrm{con}}(\mathbb{R}^n)$ to $JN_{(p,q,s)_{α+β/n}}^{\mathrm{con}}(\mathbb{R}^n)$ if and only if $I_β$ has the vanishing moments up to order $s$. The obtained result is new even when $p=\infty$ and $s\in\mathbb{N}$. Moreover, the authors show that $I_β$ can be extended to a unique continuous linear operator from the Hardy-kind space $HK_{(p,q,s)_{α+β/n}}^{\mathrm{con}}(\mathbb{R}^n)$, the predual of $JN_{(p',q',s)_{α+β/n}}^{\mathrm{con}}(\mathbb{R}^n)$ with $\frac{1}{p}+\frac{1}{p'}=1=\frac{1}{q}+\frac{1}{q'}$, to $HK_{(p,q,s)_α}^{\mathrm{con}}(\mathbb{R}^n)$ if and only if $I_β$ has the vanishing moments up to order $s$. The proof of the latter boundedness strongly depends on the dual relation $(HK_{(p,q,s)_α}^{\mathrm{con}}(\mathbb{R}^n))^* =JN_{(p',q',s)_α}^{\mathrm{con}}(\mathbb{R}^n)$, the properties of molecules of $HK_{(p,q,s)_α}^{\mathrm{con}}(\mathbb{R}^n)$, and a crucial criterion for the boundedness of linear operators on $HK_{(p,q,s)_α}^{\mathrm{con}}(\mathbb{R}^n)$. △ Less

Submitted 13 June, 2022; v1 submitted 4 August, 2021; originally announced August 2021.

Comments: 38 pages; Front. Math. China. (to appear). arXiv admin note: text overlap with arXiv:2108.01517

MSC Class: Primary 46E36; Secondary 46E35; 42B25; 42B20; 42B35; 30L99

Estimates for Littlewood--Paley Operators on Ball Campanato-Type Function Spaces

Authors: Hongchao Jia, Dachun Yang, Wen Yuan, Yangyang Zhang

Abstract: Let $X$ be a ball quasi-Banach function space on ${\mathbb R}^n$ and assume that the Hardy--Littlewood maximal operator satisfies the Fefferman--Stein vector-valued maximal inequality on $X$, and let $q\in[1,\infty)$ and $d\in(0,\infty)$. In this article, the authors prove that, for any $f\in \mathcal{L}_{X,q,0,d}(\mathbb{R}^n)$ (the ball Campanato-type function space associated with $X$), the Lit… ▽ More Let $X$ be a ball quasi-Banach function space on ${\mathbb R}^n$ and assume that the Hardy--Littlewood maximal operator satisfies the Fefferman--Stein vector-valued maximal inequality on $X$, and let $q\in[1,\infty)$ and $d\in(0,\infty)$. In this article, the authors prove that, for any $f\in \mathcal{L}_{X,q,0,d}(\mathbb{R}^n)$ (the ball Campanato-type function space associated with $X$), the Littlewood--Paley $g$-function $g(f)$ is either infinite everywhere or finite almost everywhere and, in the latter case, $g(f)$ is bounded on $\mathcal{L}_{X,q,0,d}(\mathbb{R}^n)$. Similar results for both the Lusin-area function and the Littlewood--Paley $g_λ^*$-function are also obtained. All these results have a wide range of applications. Particularly, even when $X$ is the weighted Lebesgue space, or the mixed-norm Lebesgue space, or the variable Lebesgue space, or the Orlicz space, or the Orlicz-slice space, all these results are new. The proofs of all these results strongly depend on several delicate estimates of Littlewood--Paley operators on the mean oscillation of the locally integrable function $f$ on $\mathbb{R}^n$. Moreover, the same ideas are also used to obtain the corresponding results for the special John--Nirenberg--Campanato space via congruent cubes. △ Less

Submitted 19 June, 2022; v1 submitted 3 August, 2021; originally announced August 2021.

Comments: 46 pages; Submitted

MSC Class: Primary 42B25; Secondary 42B20; 42B30; 42B35; 46E35; 47A30

Boundedness of Calderón--Zygmund Operators on Special John--Nirenberg--Campanato and Hardy-Type Spaces via Congruent Cubes

Authors: Hongchao Jia, ** Tao, Dachun Yang, Wen Yuan, Yangyang Zhang

Abstract: Let $p\in[1,\infty]$, $q\in(1,\infty)$, $s\in\mathbb{Z}_+:=\mathbb{N}\cup\{0\}$, and $α\in\mathbb{R}$. In this article, the authors introduce a reasonable version $\widetilde T$ of the Calderón--Zygmund operator $T$ on $JN_{(p,q,s)_α}^{\mathrm{con}}(\mathbb{R}^n)$, the special John--Nirenberg--Campanato space via congruent cubes, which coincides with the Campanato space… ▽ More Let $p\in[1,\infty]$, $q\in(1,\infty)$, $s\in\mathbb{Z}_+:=\mathbb{N}\cup\{0\}$, and $α\in\mathbb{R}$. In this article, the authors introduce a reasonable version $\widetilde T$ of the Calderón--Zygmund operator $T$ on $JN_{(p,q,s)_α}^{\mathrm{con}}(\mathbb{R}^n)$, the special John--Nirenberg--Campanato space via congruent cubes, which coincides with the Campanato space $\mathcal{C}_{α,q,s}(\mathbb{R}^n)$ when $p=\infty$. Then the authors prove that $\widetilde T$ is bounded on $JN_{(p,q,s)_α}^{\mathrm{con}}(\mathbb{R}^n)$ if and only if, for any $γ\in\mathbb{Z}_+^n$ with $|γ|\leq s$, $T^*(x^γ)=0$, which is a well-known assumption. To this end, the authors find an equivalent version of this assumption. Moreover, the authors show that $T$ can be extended to a unique continuous linear operator on the Hardy-kind space $HK_{(p,q,s)_α}^{\mathrm{con}}(\mathbb{R}^n)$, the predual space of $JN_{(p',q',s)_α}^{\mathrm{con}}(\mathbb{R}^n)$ with $\frac{1}{p}+\frac{1}{p'}=1=\frac{1}{q}+\frac{1}{q'}$, if and only if, for any $γ\in\mathbb{Z}_+^n$ with $|γ|\leq s$, $T^*(x^γ)=0$. △ Less

Submitted 23 August, 2021; v1 submitted 3 August, 2021; originally announced August 2021.

Comments: 47 pages; Submitted

MSC Class: Primary 42B20; Secondary 47A30; 42B30; 46E35; 42B35

A Survey on Function Spaces of John--Nirenberg Type

Authors: ** Tao, Dachun Yang, Wen Yuan

Abstract: In this article, the authors give a survey on the recent developments of both the John--Nirenberg space $JN_p$ and the space BMO as well as their vanishing subspaces such as VMO, XMO, CMO, $VJN_p$, and $CJN_p$ on $\mathbb{R}^n$ or a given cube $Q_0\subset\mathbb{R}^n$ with finite side length. In addition, some related open questions are also presented. In this article, the authors give a survey on the recent developments of both the John--Nirenberg space $JN_p$ and the space BMO as well as their vanishing subspaces such as VMO, XMO, CMO, $VJN_p$, and $CJN_p$ on $\mathbb{R}^n$ or a given cube $Q_0\subset\mathbb{R}^n$ with finite side length. In addition, some related open questions are also presented. △ Less

Submitted 3 August, 2021; originally announced August 2021.

Comments: 65 pages; Submitted

MSC Class: Primary 42B35; Secondary 42B30; 46E35

Journal ref: Mathematics 9 (2021), 2264

Surjective $L^p$-isometries of Grassmann spaces

Authors: Wenhua Qian, Junhao Shen, Weijuan Shi, Wenming Wu, Wei Yuan

Abstract: Based on the characterization of surjective $L^p$-isometries of unitary groups in finite factors, we describe all surjective $L^p$-isometries between Grassmann spaces of projections with the same trace value in semifinite factors. Based on the characterization of surjective $L^p$-isometries of unitary groups in finite factors, we describe all surjective $L^p$-isometries between Grassmann spaces of projections with the same trace value in semifinite factors. △ Less

Submitted 14 April, 2021; originally announced April 2021.

Comments: 14 pages

MSC Class: 47B49; 54E40

On cleanness of von Neumann algebras

Authors: Lu Cui, Linzhe Huang, Wenming Wu, Wei Yuan, Hanbin Zhang

Abstract: A unital ring is called clean (resp. strongly clean) if every element can be written as the sum of an invertible element and an idempotent (resp. an invertible element and an idempotent that commutes). T.Y. Lam proposed a question: which von Neumann algebras are clean as rings? In this paper, we characterize strongly clean von Neumann algebras and prove that all finite von Neumann algebras and all… ▽ More A unital ring is called clean (resp. strongly clean) if every element can be written as the sum of an invertible element and an idempotent (resp. an invertible element and an idempotent that commutes). T.Y. Lam proposed a question: which von Neumann algebras are clean as rings? In this paper, we characterize strongly clean von Neumann algebras and prove that all finite von Neumann algebras and all separable infinite factors are clean. △ Less

Submitted 12 January, 2022; v1 submitted 9 April, 2021; originally announced April 2021.

Comments: 19 pages(A citation mistake is corrected)

MSC Class: 47C15(Primary) 16U99; 46L10; 47A65(Secondary)

Enriched monoidal categories I: centers

Authors: Liang Kong, Wei Yuan, Zhi-Hao Zhang, Hao Zheng

Abstract: This work is the first one in a series, in which we develop a mathematical theory of enriched (braided) monoidal categories and their representations. In this work, we introduce the notion of the $E_0$-center ($E_1$-center or $E_2$-center) of an enriched (monoidal or braided monoidal) category, and compute the centers explicitly when the enriched (braided monoidal or monoidal) categories are obtai… ▽ More This work is the first one in a series, in which we develop a mathematical theory of enriched (braided) monoidal categories and their representations. In this work, we introduce the notion of the $E_0$-center ($E_1$-center or $E_2$-center) of an enriched (monoidal or braided monoidal) category, and compute the centers explicitly when the enriched (braided monoidal or monoidal) categories are obtained from the canonical constructions. These centers have important applications in the mathematical theory of gapless boundaries of 2+1D topological orders and that of topological phase transitions in physics. They also play very important roles in the higher representation theory, which is the focus of the second work in the series. △ Less

Submitted 28 April, 2024; v1 submitted 7 April, 2021; originally announced April 2021.

Comments: 56 pages. published version

Journal ref: Quantum Topol. (2024)

Wavelet Characterization of Besov and Triebel--Lizorkin Spaces on Spaces of Homogeneous Type and Its Applications

Authors: Ziyi He, Fan Wang, Dachun Yang, Wen Yuan

Abstract: In this article, the authors establish the wavelet characterization of Besov and Triebel--Lizorkin spaces on a given space $(X,d,μ)$ of homogeneous type in the sense of Coifman and Weiss. Moreover, the authors introduce almost diagonal operators on Besov and Triebel--Lizorkin sequence spaces on $X$, and obtain their boundedness. Using this wavelet characterization and this boundedness of almost di… ▽ More In this article, the authors establish the wavelet characterization of Besov and Triebel--Lizorkin spaces on a given space $(X,d,μ)$ of homogeneous type in the sense of Coifman and Weiss. Moreover, the authors introduce almost diagonal operators on Besov and Triebel--Lizorkin sequence spaces on $X$, and obtain their boundedness. Using this wavelet characterization and this boundedness of almost diagonal operators, the authors obtain the molecular characterization of Besov and Triebel--Lizorkin spaces. Applying this molecular characterization, the authors further establish the Littlewood--Paley characterizations of Triebel--Lizorkin spaces on $X$. The main novelty of this article is that all these results get rid of their dependence on the reverse doubling property of $μ$ and also the triangle inequality of $d$, by fully using the geometrical property of $X$ expressed via its equipped quasi-metric $d$, dyadic reference points, dyadic cubes, and wavelets △ Less

Submitted 15 March, 2021; originally announced March 2021.

Comments: 55 pages, Submitted

MSC Class: Primary 46E35; Secondary 46E36; 46E39; 42B25; 30L99

On eigenvalues of the Brownian sheet matrix

Authors: Jian Song, Yimin Xiao, Wangjun Yuan

Abstract: We derive a system of stochastic partial differential equations satisfied by the eigenvalues of the symmetric matrix whose entries are the Brownian sheets. We prove that the sequence $\left\{L_{d}(s,t), (s,t)\in[0,S]\times [0,T]\right\}_{d\in\mathbb N}$ of empirical spectral measures of the rescaled matrices is tight on $C([0,S]\times [0,T], \mathcal P(\mathbb R))$ and hence is convergent as $d$ g… ▽ More We derive a system of stochastic partial differential equations satisfied by the eigenvalues of the symmetric matrix whose entries are the Brownian sheets. We prove that the sequence $\left\{L_{d}(s,t), (s,t)\in[0,S]\times [0,T]\right\}_{d\in\mathbb N}$ of empirical spectral measures of the rescaled matrices is tight on $C([0,S]\times [0,T], \mathcal P(\mathbb R))$ and hence is convergent as $d$ goes to infinity by Wigner's semicircle law. We also obtain PDEs which are satisfied by the high-dimensional limiting measure. △ Less

Submitted 12 March, 2021; originally announced March 2021.

Comments: 34 pages