BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Wen Yuan

Wen Yuan appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.FAmath.CAmath.APApplicationsData Structures and Algorithmsphysics.opticsPopulations and Evolutionquant-ph

Catalog footprint

What is connected

41works
8topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

41 published item(s)

preprint2026arXiv

A Sharp Localized Weighted Inequality Related to Gagliardo and Sobolev Seminorms and Its Applications

In this article, we establish a nearly sharp localized weighted inequality related to Gagliardo and Sobolev seminorms, respectively, with the sharp $A_1$-weight constant or with the specific $A_p$-weight constant when $p\in (1,\infty)$. As applications, we further obtain a new characterization of Muckenhoupt weights and, in the framework of ball Banach function spaces, an inequality related to Gagliardo and Sobolev seminorms on cubes, a Gagliardo--Nirenberg interpolation inequality, and a Bourgain--Brezis--Mironescu formula. All these obtained results have wide generality and are proved to be (nearly) sharp. The original version of this article was published in [Adv. Math. 481 (2025), Paper No. 110537]. In this revised version, we correct an error appeared in Theorem 1.1 in the case where $p=1$, which was pointed out to us by Emiel Lorist.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

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

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.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

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

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

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

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

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.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

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

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.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

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

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.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

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

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.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

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

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.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

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

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.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

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

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

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Compactness Characterizations of Commutators on Ball Banach Function Spaces

Let $X$ be a ball Banach function space on ${\mathbb R}^n$. Let $Ω$ be a Lipschitz function on the unit sphere of ${\mathbb R}^n$,which is homogeneous of degree zero and has mean value zero, and let $T_Ω$ be the convolutional singular integral operator with kernel $Ω(\cdot)/|\cdot|^n$. In this article, under the assumption that the Hardy--Littlewood maximal operator $\mathcal{M}$ is bounded on both $X$ and its associated space, the authors prove that the commutator $[b,T_Ω]$ is compact on $X$ if and only if $b\in{\rm CMO}({\mathbb R}^n)$. To achieve this, the authors mainly employ three key tools: some elaborate estimates, given in this article, on the norm in $X$ of the commutators and the characteristic functions of some measurable subset,which are implied by the assumed boundedness of ${\mathcal M}$ on $X$ and its associated space as well as the geometry of $\mathbb R^n$; the complete John--Nirenberg inequality in $X$ obtained by Y. Sawano et al.; the generalized Fréchet--Kolmogorov theorem on $X$ also established in this article. All these results have a wide range of applications. Particularly, even when $X:=L^{p(\cdot)}({\mathbb R}^n)$ (the variable Lebesgue space), $X:=L^{\vec{p}}({\mathbb R}^n)$ (the mixed-norm Lebesgue space), $X:=L^Φ({\mathbb R}^n)$ (the Orlicz space), and $X:=(E_Φ^q)_t({\mathbb R}^n)$ (the Orlicz-slice space or the generalized amalgam space), all these results are new.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

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

In this article, the authors introduce the spaces of Lipschitz type on spaces of homogeneous type in the sense of Coifman and Weiss, and discuss their relations with Besov and Triebel-Lizorkin spaces. As an application, the authors establish the difference characterization of Besov and Triebel-Lizorkin spaces on spaces of homogeneous type. A major novelty of this article is that all results presented in this article get rid of the dependence on the reverse doubling assumption of the considered measure of the underlying space ${\mathcal X}$ via using the geometrical property of ${\mathcal X}$ expressed by its dyadic reference points, dyadic cubes, and the (local) lower bound. Moreover, some results when $p\le 1$ but near to $1$ are new even when ${\mathcal X}$ is an RD-space.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Functional Calculus on BMO-type Spaces of Bourgain, Brezis and Mironescu

A nonlinear superposition operator $T_g$ related to a Borel measurable function $g:\ {\mathbb C}\to {\mathbb C}$ is defined via $T_g(f):=g\circ f$ for any complex-valued function $f$ on ${\mathbb R^n}$. This article is devoted to investigating the mapping properties of $T_g$ on a new BMO type space recently introduced by Bourgain, Brezis and Mironescu [J. Eur. Math. Soc. (JEMS) 17 (2015), 2083-2101], as well as its VMO and CMO type subspaces. Some sufficient and necessary conditions for the inclusion result and the continuity property of $T_g$ on these spaces are obtained.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Bilinear Decomposition and Divergence-Curl Estimates on Products Related to Local Hardy Spaces and Their Dual Spaces

Let $p\in(0,1)$, $α:=1/p-1$ and, for any $τ\in [0,\infty)$, $Φ_{p}(τ):=τ/(1+τ^{1-p})$. Let $H^p(\mathbb R^n)$, $h^p(\mathbb R^n)$ and $Λ_{nα}(\mathbb{R}^n)$ be, respectively, the Hardy space, the local Hardy space and the inhomogeneous Lipschitz space on $\mathbb{R}^n$. In this article, applying the inhomogeneous renormalization of wavelets, the authors establish a bilinear decomposition for multiplications of elements in $h^p(\mathbb R^n)$ [or $H^p(\mathbb R^n)$] and $Λ_{nα}(\mathbb{R}^n)$, and prove that these bilinear decompositions are sharp in some sense. As applications, the authors also obtain some estimates of the product of elements in the local Hardy space $h^p(\mathbb R^n)$ with $p\in(0,1]$ and its dual space, respectively, with zero $\lfloor nα\rfloor$-inhomogeneous curl and zero divergence, where $\lfloor nα\rfloor$ denotes the largest integer not greater than $nα$. Moreover, the authors find new structures of $h^{Φ_p}(\mathbb R^n)$ and $H^{Φ_p}(\mathbb R^n)$ by showing that $h^{Φ_p}(\mathbb R^n)=h^1(\mathbb R^n)+h^p(\mathbb R^n)$ and $H^{Φ_p}(\mathbb R^n)=H^1(\mathbb R^n)+H^p(\mathbb R^n)$ with equivalent quasi-norms, and also prove that the dual spaces of both $h^{Φ_p}(\mathbb R^n)$ and $h^p(\mathbb R^n)$ coincide. These results give a complete picture on the multiplication between the local Hardy space and its dual space.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Detecting Suspected Epidemic Cases Using Trajectory Big Data

Emerging infectious diseases are existential threats to human health and global stability. The recent outbreaks of the novel coronavirus COVID-19 have rapidly formed a global pandemic, causing hundreds of thousands of infections and huge economic loss. The WHO declares that more precise measures to track, detect and isolate infected people are among the most effective means to quickly contain the outbreak. Based on trajectory provided by the big data and the mean field theory, we establish an aggregated risk mean field that contains information of all risk-spreading particles by proposing a spatio-temporal model named HiRES risk map. It has dynamic fine spatial resolution and high computation efficiency enabling fast update. We then propose an objective individual epidemic risk scoring model named HiRES-p based on HiRES risk maps, and use it to develop statistical inference and machine learning methods for detecting suspected epidemic-infected individuals. We conduct numerical experiments by applying the proposed methods to study the early outbreak of COVID-19 in China. Results show that the HiRES risk map has strong ability in capturing global trend and local variability of the epidemic risk, thus can be applied to monitor epidemic risk at country, province, city and community levels, as well as at specific high-risk locations such as hospital and station. HiRES-p score seems to be an effective measurement of personal epidemic risk. The accuracy of both detecting methods are above 90\% when the population infection rate is under 20\%, which indicates great application potential in epidemic risk prevention and control practice.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Real-Variable Characterizations of Local Orlicz-Slice Hardy Spaces with Application to Bilinear Decompositions

Recently, both the bilinear decompositions $h^1(\mathbb{R}^n)\times \mathrm{\,bmo}(\mathbb{R}^n) \subset L^1 (\mathbb{R}^n)+h_\ast^Φ(\mathbb{R}^n)$ and $h^1(\mathbb{R}^n) \times \mathrm{bmo}(\mathbb{R}^n) \subset L^1 (\mathbb{R}^n) + h^{\log}(\mathbb{R}^n)$ were established. In this article, the authors prove in some sense that the former is sharp, while the latter is not. To this end, the authors first introduce the local Orlicz-slice Hardy space which contains the variant $h_\ast^Φ(\mathbb{R}^n)$ of the local Orlicz Hardy space introduced by A. Bonami and J. Feuto as a special case, and obtain its dual space by establishing its characterizations via atoms, finite atoms and various maximal functions, which are new even for $h_\ast^Φ(\mathbb R^n)$. The relationships $h_\ast^Φ(\mathbb{R}^n) \subsetneqq h^{\log}(\mathbb{R}^n)$ is also clarified.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Weighted Global Regularity Estimates for Elliptic Problems with Robin Boundary Conditions in Lipschitz Domains

Let $n\ge2$ and $Ω$ be a bounded Lipschitz domain in $\mathbb{R}^n$. In this article, the authors investigate global (weighted) estimates for the gradient of solutions to Robin boundary value problems of second order elliptic equations of divergence form with real-valued, bounded, measurable coefficients in $Ω$. More precisely, let $p\in(n/(n-1),\infty)$. Using a real-variable argument, the authors obtain two necessary and sufficient conditions for $W^{1,p}$ estimates of solutions to Robin boundary value problems, respectively, in terms of a weak reverse Hölder inequality with exponent $p$ or weighted $W^{1,q}$ estimates of solutions with $q\in(n/(n-1),p]$ and some Muckenhoupt weights. As applications, the authors establish some global regularity estimates for solutions to Robin boundary value problems of second order elliptic equations of divergence form with small $\mathrm{BMO}$ coefficients, respectively, on bounded Lipschitz domains, $C^1$ domains or (semi-)convex domains, in the scale of weighted Lebesgue spaces, via some quite subtle approach which is different from the existing ones and, even when $n=3$ in case of bounded $C^1$ domains, also gives an alternative correct proof of some know result. By this and some technique from harmonic analysis, the authors further obtain the global regularity estimates, respectively, in Morrey spaces, (Musielak--)Orlicz spaces and variable Lebesgue spaces

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

XMO and Weighted Compact Bilinear Commutators

To study the compactness of bilinear commutators of certain bilinear Calderón--Zygmund operators which include (inhomogeneous) Coifman--Meyer bilinear Fourier multipliers and bilinear pseudodifferential operators as special examples, Torres and Xue [Rev. Mat. Iberoam. 36 (2020), 939--956] introduced a new subspace of BMO$\,(\mathbb{R}^n)$, denoted by XMO$\,(\mathbb{R}^n)$, and conjectured that it is just the space VMO$\,(\mathbb{R}^n)$ introduced by D. Sarason. In this article, the authors give a negative answer to this conjecture by establishing an equivalent characterization of XMO$\,(\mathbb{R}^n)$, which further clarifies that XMO$\,(\mathbb{R}^n)$ is a proper subspace of VMO$\,(\mathbb{R}^n)$. This equivalent characterization of XMO$\,(\mathbb{R}^n)$ is formally similar to the corresponding one of CMO$\,(\mathbb{R}^n)$ obtained by A. Uchiyama, but its proof needs some essential new techniques on dyadic cubes as well as some exquisite geometrical observations. As an application, the authors also obtain a weighted compactness result on such bilinear commutators, which optimizes the corresponding result in the unweighted setting.

0 citations0 reviewsNo code linkedOpen access
preprint2018arXiv

A Complete Real-Variable Theory of Hardy Spaces on Spaces of Homogeneous Type

Let $(X,d,μ)$ be a space of homogeneous type, with the upper dimension $ω$, in the sense of R. R. Coifman and G. Weiss. Assume that $η$ is the smoothness index of the wavelets on $X$ constructed by P. Auscher and T. Hytönen. In this article, when $p\in(ω/(ω+η),1]$, for the atomic Hardy spaces $H_{\mathrm{cw}}^p(X)$ introduced by Coifman and Weiss, the authors establish their various real-variable characterizations, respectively, in terms of the grand maximal function, the radial maximal function, the non-tangential maximal functions, the various Littlewood-Paley functions and wavelet functions. This completely answers the question of R. R. Coifman and G. Weiss by showing that no any additional (geometrical) condition is necessary to guarantee the radial maximal function characterization of $H_{\mathrm{cw}}^1(X)$ and even of $H_{\mathrm{cw}}^p(X)$ with $p$ as above. As applications, the authors obtain the finite atomic characterizations of $H^p_{\mathrm{cw}}(X)$, which further induce some criteria for the boundedness of sublinear operators on $H^p_{\mathrm{cw}}(X)$. Compared with the known results, the novelty of this article is that $μ$ is not assumed to satisfy the reverse doubling condition and $d$ is only a quasi-metric, moreover, the range $p\in(ω/(ω+η),1]$ is natural and optimal.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Littlewood-Paley Characterizations of Anisotropic Hardy-Lorentz Spaces

Let $p\in(0,1]$, $q\in(0,\infty]$ and $A$ be a general expansive matrix on $\mathbb{R}^n$. Let $H^{p,q}_A(\mathbb{R}^n)$ be the anisotropic Hardy-Lorentz spaces associated with $A$ defined via the non-tangential grand maximal function. In this article, the authors characterize $H^{p,q}_A(\mathbb{R}^n)$ in terms of the Lusin-area function, the Littlewood-Paley $g$-function or the Littlewood-Paley $g_λ^*$-function via first establishing an anisotropic Fefferman-Stein vector-valued inequality in the Lorentz space $L^{p,q}(\mathbb{R}^n)$. All these characterizations are new even for the classical isotropic Hardy-Lorentz spaces on $\mathbb{R}^n$. Moreover, the range of $λ$ in the $g_λ^*$-function characterization of $H^{p,q}_A(\mathbb{R}^n)$ coincides with the best known one in the classical Hardy space $H^p(\mathbb{R}^n)$ or in the anisotropic Hardy space $H^p_A(\mathbb{R}^n)$.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Littlewood-Paley Characterizations of Hajłasz-Sobolev and Triebel-Lizorkin Spaces via Averages on Balls

Let $p\in(1,\infty)$ and $q\in[1,\infty)$. In this article, the authors characterize the Triebel-Lizorkin space ${F}^α_{p,q}(\mathbb{R}^n)$ with smoothness order $α\in(0,2)$ via the Lusin-area function and the $g_λ^*$-function in terms of difference between $f(x)$ and its average $B_tf(x):=\frac1{|B(x,t)|}\int_{B(x,t)}f(y)\,dy$ over a ball $B(x,t)$ centered at $x\in\mathbb{R}^n$ with radius $t\in(0,1)$. As an application, the authors obtain a series of characterizations of $F^α_{p,\infty}(\mathbb{R}^n)$ via pointwise inequalities, involving ball averages, in spirit close to Hajłasz gradients, here an interesting phenomena naturally appears that, in the end-point case when $α=2$, these pointwise inequalities characterize the Triebel-Lizorkin spaces $F^2_{p,2}(\mathbb{R}^n)$, while not $F^2_{p,\infty}(\mathbb{R}^n)$. In particular, some new pointwise characterizations of Hajłasz-Sobolev spaces via ball averages are obtained. Since these new characterizations only use ball averages, they can be used as starting points for developing a theory of Triebel-Lizorkin spaces with smoothness orders not less than $1$ on spaces of homogeneous type.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Variable Weak Hardy Spaces and Their Applications

Let $p(\cdot):\ \mathbb R^n\to(0,\infty)$ be a variable exponent function satisfying the globally log-Hölder continuous condition. In this article, the authors first introduce the variable weak Hardy space on $\mathbb R^n$, $W\!H^{p(\cdot)}(\mathbb R^n)$, via the radial grand maximal function, and then establish its radial or non-tangential maximal function characterizations. Moreover, the authors also obtain various equivalent characterizations of $W\!H^{p(\cdot)}(\mathbb R^n)$, respectively, by means of atoms, molecules, the Lusin area function, the Littlewood-Paley $g$-function or $g_λ^\ast$-function. As an application, the authors establish the boundedness of convolutional $δ$-type and non-convolutional $γ$-order Calderón-Zygmund operators from $H^{p(\cdot)}(\mathbb R^n)$ to $W\!H^{p(\cdot)}(\mathbb R^n)$ including the critical case $p_-={n}/{(n+δ)}$, where $p_-:=\mathop\mathrm{ess\,inf}_{x\in \rn}p(x).$

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Anisotropic Hardy-Lorentz Spaces and Their Applications

Let $p\in(0,1]$, $q\in(0,\infty]$ and $A$ be a general expansive matrix on $\mathbb{R}^n$. The authors introduce the anisotropic Hardy-Lorentz space $H^{p,q}_A(\mathbb{R}^n)$ associated with $A$ via the non-tangential grand maximal function and then establish its various real-variable characterizations in terms of the atomic or the molecular decompositions, the radial or the non-tangential maximal functions, or the finite atomic decompositions. All these characterizations except the $\infty$-atomic characterization are new even for the classical isotropic Hardy-Lorentz spaces on $\mathbb{R}^n$. As applications, the authors first prove that $H^{p,q}_A(\mathbb{R}^n)$ is an intermediate space between $H^{p_1,q_1}_A(\mathbb{R}^n)$ and $H^{p_2,q_2}_A(\mathbb{R}^n)$ with $0<p_1<p<p_2<\infty$ and $q_1,\,q,\,q_2\in(0,\infty]$, and also between $H^{p,q_1}_A(\mathbb{R}^n)$ and $H^{p,q_2}_A(\mathbb{R}^n)$ with $p\in(0,\infty)$ and $0<q_1<q<q_2\leq\infty$ in the real method of interpolation. The authors then establish a criterion on the boundedness of sublinear operators from $H^{p,q}_A(\mathbb{R}^n)$ into a quasi-Banach space; moreover, the authors obtain the boundedness of $δ$-type Calderón-Zygmund operators from $H^p_A(\mathbb{R}^n)$ to the weak Lebesgue space $L^{p,\infty}(\mathbb{R}^n)$ (or $H^{p,\infty}_A(\mathbb{R}^n)$) in the critical case, from $H_A^{p,q}(\mathbb{R}^n)$ to $L^{p,q}(\mathbb{R}^n)$ (or $H_A^{p,q}(\mathbb{R}^n)$) with $δ\in(0,\frac{\lnλ_-}{\ln b}]$, $p\in(\frac1{1+δ},1]$ and $q\in(0,\infty]$, as well as the boundedness of some Calderón-Zygmund operators from $H_A^{p,q}(\mathbb{R}^n)$ to $L^{p,\infty}(\mathbb{R}^n)$, where $b:=|\det A|$, $λ_-:=\min\{|λ|:\ λ\inσ(A)\}$ and $σ(A)$ denotes the set of all eigenvalues of $A$.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Besov-Type and Triebel--Lizorkin-Type Spaces Associated with Heat Kernels

Let $(M, ρ,μ)$ be an RD-space satisfying the non-collapsing condition. In this paper, the authors introduce Besov-type spaces $B_{p,q}^{s,τ}(M)$ and Triebel--Lizorkin-type spaces $F_{p,q}^{s,τ}(M)$ associated to a non-negative self-adjoint operator $L$ whose heat kernels satisfy some Gaussian upper bound estimate, Hölder continuity, and the stochastic completeness property. Characterizations of these spaces via Peetre maximal functions and heat kernels are established for full range of indices. Also, frame characterizations of these spaces are given. When $L$ is the Laplacian operator on $\mathbb R^n$, these spaces coincide with the Besov-type and Triebel-Lizorkin-type spaces on $\mathbb R^n$ studied in [Lecture Notes in Mathematics 2005, Springer-Verlag, Berlin, 2010]. In the case $τ=0$ and the smoothness index $s$ is around zero, comparisons of these spaces with the Besov and Triebel--Lizorkin spaces studied in [Abstr. Appl. Anal. 2008, Art. ID 893409, 250 pp] are also presented.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Besov-Type Spaces with Variable Smoothness and Integrability

In this article, the authors introduce Besov-type spaces with variable smoothness and integrability. The authors then establish their characterizations, respectively, in terms of $φ$-transforms in the sense of Frazier and Jawerth, smooth atoms or Peetre maximal functions, as well as a Sobolev-type embedding. As an application of their atomic characterization, the authors obtain a trace theorem of these variable Besov-type spaces.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Characterizations of Besov and Triebel-Lizorkin Spaces via Averages on Balls

Let $\ell\in\mathbb{N}$ and $p\in(1,\infty]$. In this article, the authors prove that the sequence $\{f-B_{\ell,2^{-k}}f\}_{k\in\mathbb{Z}}$ consisting of the differences between $f$ and the ball average $B_{\ell,2^{-k}}f$ characterizes the Besov space $\dot B^α_{p,q}(\rn)$ with $q\in (0, \infty]$ and the Triebel-Lizorkin space $\dot F^α_{p,q}(\rn)$ with $q\in (1,\infty]$ when the smoothness order $α\in(0,2\ell)$. More precisely, it is proved that $f-B_{\ell,2^{-k}}f$ plays the same role as the approximation to the identity $φ_{2^{-k}}\ast f$ appearing in the definitions of $\dot B^α_{p,q}(\rn)$ and $\dot F^α_{p,q}(\rn)$. The corresponding results for inhomogeneous Besov and Triebel-Lizorkin spaces are also obtained. These results, for the first time, give a way to introduce Besov and Triebel-Lizorkin spaces with any smoothness order in $(0, 2\ell)$ on spaces of homogeneous type, where $\ell\in{\mathbb N}$.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Interpolation of Morrey-Campanato and Related Smoothness Spaces

In this article, the authors study the interpolation of Morrey-Campanato spaces and some smoothness spaces based on Morrey spaces, e.\,g., Besov-type and Triebel-Lizorkin-type spaces. Various interpolation methods, including the complex method, the $\pm$-method and the Peetre-Gagliardo method, are studied in such a framework. Special emphasize is given to the quasi-Banach case and to the interpolation property.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Littlewood-Paley Characterizations of Fractional Sobolev Spaces via Averages on Balls

In this paper, the authors characterize Sobolev spaces $W^{α,p}({\mathbb R}^n)$ with the smoothness order $α\in(0,2]$ and $p\in(\max\{1, \frac{2n}{2α+n}\},\infty)$, via the Lusin area function and the Littlewood-Paley $g_λ^\ast$-function in terms of centered ball averages. The authors also show that the condition $p\in(\max\{1, \frac{2n}{2α+n}\},\infty)$ is nearly sharp in the sense that these characterizations are no longer true when $p\in (1,\max\{1, \frac{2n}{2α+n}\})$. These characterizations provide a new possible way to introduce fractional Sobolev spaces with smoothness order in $(1,2]$ on metric measure spaces.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Triebel-Lizorkin-Type Spaces with Variable Exponents

In this article, the authors first introduce the Triebel-Lizorkin-type space $F_{p(\cdot),q(\cdot)}^{s(\cdot),ϕ}(\mathbb R^n)$ with variable exponents, and establish its $φ$-transform characterization in the sense of Frazier and Jawerth, which further implies that this new scale of function spaces is well defined. The smooth molecular and the smooth atomic characterizations of $F_{p(\cdot),q(\cdot)}^{s(\cdot),ϕ}(\mathbb R^n)$ are also obtained, which are used to prove a trace theorem of $F_{p(\cdot),q(\cdot)}^{s(\cdot),ϕ}(\mathbb R^n)$. The authors also characterize the space $F_{p(\cdot),q(\cdot)}^{s(\cdot),ϕ}(\mathbb R^n)$ via Peetre maximal functions.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

A new framework for generalized Besov-type and Triebel-Lizorkin-type spaces

In this paper, the authors propose a new framework under which a theory of generalized Besov-type and Triebel-Lizorkin-type function spaces is developed. Many function spaces appearing in harmonic analysis fall under the scope of this new framework. Among others, the boundedness of the Hardy-Littlewood maximal operator or the related vector-valued maximal function on any of these function spaces is not required to construct these generalized scales of smoothness spaces. Instead of this, a key idea used in this framework is an application of the Peetre maximal function. This idea originates from recent findings in the abstract coorbit space theory obtained by Holger Rauhut and Tino Ullrich. Under this new setting, the authors establish the boundedness of pseudo-differential operators based on atomic and molecular characterizations and also the boundedness of the Fourier multipliers. The characterizations of these function spaces by means of differences and oscillations are also established. As further applications of this new framework, the authors reexamine and polish some existing results for many different scales of function spaces.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Generalized Fractional Integrals and Their Commutators over Non-homogeneous Metric Measure Spaces

Let $({\mathcal X},d,μ)$ be a metric measure space satisfying both the upper doubling and the geometrically doubling conditions. In this paper, the authors establish some equivalent characterizations for the boundedness of fractional integrals over $({\mathcal X},d,μ)$. The authors also prove that multilinear commutators of fractional integrals with ${\mathop\mathrm{\,RBMO(μ)}}$ functions are bounded on Orlicz spaces over $({\mathcal X},d,μ)$, which include Lebesgue spaces as special cases. The weak type endpoint estimates for multilinear commutators of fractional integrals with functions in the Orlicz-type space ${\mathrm{Osc}_{\exp L^r}(μ)}$, where $r\in [1,\infty)$, are also presented. Finally, all these results are applied to a specific example of fractional integrals over non-homogeneous metric measure spaces.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Hajlasz Gradients Are Upper Gradients

Let $(X, d, μ)$ be a metric measure space, with $μ$ a Borel regular measure. In this paper, we prove that, if $u\in L^1_{\mathop\mathrm{\,loc\,}}(X)$ and $g$ is a Hajłasz gradient of $u$, then there exists $\widetilde u$ such that $\widetilde u=u$ almost everywhere and $4g$ is a $p$-weak upper gradient of $\widetilde u$. This result avoids a priori assumption on the quasi-continuity of $u$ used in [Rev. Mat. Iberoamericana 16 (2000), 243-279]. As an application, an embedding of the Morrey-type function spaces based on Hajłasz-gradients into the corresponding function spaces based on upper gradients is obtained. We also introduce the notion of local Hajłasz gradient, and investigate the relations between local Hajłasz gradient and upper gradient.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

M Times Photon Subtraction-Addition Coherent Superposition Operated Odd-Schrődinger-cat State: Nonclassicality and Decoherence

We introduce a new non-Gaussian state, generated by m times coherent superposition operation $a\cos θ+a^{\dagger }e^{iφ}\sin θ$ (MCSO) on odd-Schrodinger-cat state (OSCS). Its normalized constant is turned out to be related with the Hermite polynomial. We further investigate the nonclassical properties of the MCSO-OSCS through Mandel's Q-parameter, quadrature squeezing, the photocount distribution and Wigner function (WF). It is shown that the nonclassicality of the MCSO-OSCS is influenced by the number of times (m) of coherent superpositon operation, the angle $θ$ and the amplitude of the coherent state (|$α_{0}$|). Especially the volume of negative region of WF increases with the increment of parameters m, $θ$ and $α_{0}$. We also investigate the decoherence of the MCSO-OSCS in terms of the fadeaway of the negativity of WF in a thermal environment.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Weighted multilinear Hardy operators and commutators

In this paper, we introduce a type of weighted multilinear Hardy operators and obtain their sharp bounds on the product of Lebesgue spaces and central Morrey spaces. In addition, we obtain sufficient and necessary conditions of the weight functions so that the commutators of the weighted multilinear Hardy operators (with symbols in central BMO space) are bounded on the product of central Morrey spaces. These results are further used to prove sharp estimates of some inequalities due to Riemann-Liouville and Weyl.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Stochastic Combinatorial Optimization via Poisson Approximation

We study several stochastic combinatorial problems, including the expected utility maximization problem, the stochastic knapsack problem and the stochastic bin packing problem. A common technical challenge in these problems is to optimize some function of the sum of a set of random variables. The difficulty is mainly due to the fact that the probability distribution of the sum is the convolution of a set of distributions, which is not an easy objective function to work with. To tackle this difficulty, we introduce the Poisson approximation technique. The technique is based on the Poisson approximation theorem discovered by Le Cam, which enables us to approximate the distribution of the sum of a set of random variables using a compound Poisson distribution. We first study the expected utility maximization problem introduced recently [Li and Despande, FOCS11]. For monotone and Lipschitz utility functions, we obtain an additive PTAS if there is a multidimensional PTAS for the multi-objective version of the problem, strictly generalizing the previous result. For the stochastic bin packing problem (introduced in [Kleinberg, Rabani and Tardos, STOC97]), we show there is a polynomial time algorithm which uses at most the optimal number of bins, if we relax the size of each bin and the overflow probability by eps. For stochastic knapsack, we show a 1+eps-approximation using eps extra capacity, even when the size and reward of each item may be correlated and cancelations of items are allowed. This generalizes the previous work [Balghat, Goel and Khanna, SODA11] for the case without correlation and cancelation. Our algorithm is also simpler. We also present a factor 2+eps approximation algorithm for stochastic knapsack with cancelations. the current known approximation factor of 8 [Gupta, Krishnaswamy, Molinaro and Ravi, FOCS11].

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

New Characterizations of Besov-Triebel-Lizorkin-Hausdorff Spaces Including Coorbits and Wavelets

In this paper, the authors establish new characterizations of the recently introduced Besov-type spaces $\dot{B}^{s,τ}_{p,q}({\mathbb R}^n)$ and Triebel-Lizorkin-type spaces $\dot{F}^{s,τ}_{p,q}({\mathbb R}^n)$ with $p\in (0,\infty]$, $s\in{\mathbb R}$, $τ\in [0,\infty)$, and $q\in (0,\infty]$, as well as their preduals, the Besov-Hausdorff spaces $B\dot{H}^{s,τ}_{p,q}(\R^n)$ and Triebel-Lizorkin-Hausdorff spaces $F\dot{H}^{s,τ}_{p,q}(\R^n)$, in terms of the local means, the Peetre maximal function of local means, and the tent space (the Lusin area function) in both discrete and continuous types. As applications, the authors then obtain interpretations as coorbits in the sense of H. Rauhut in [Studia Math. 180 (2007), 237-253] and discretizations via the biorthogonal wavelet bases for the full range of parameters of these function spaces. Even for some special cases of this setting such as $\dot F^s_{\infty,q}({\mathbb R}^n)$ for $s\in{\mathbb R}$, $q\in (0,\infty]$ (including $\mathop\mathrm{BMO} ({\mathbb R}^n)$ when $s=0$, $q=2$), the $Q$ space $Q_α({\mathbb R}^n)$, the Hardy-Hausdorff space $HH_{-α}({\mathbb R}^n)$ for $α\in (0,\min\{\frac n2,1\})$, the Morrey space ${\mathcal M}^u_p({\mathbb R}^n)$ for $1<p\le u<\infty$, and the Triebel-Lizorkin-Morrey space $\dot{\mathcal{E}}^s_{upq}({\mathbb R}^n)$ for $0<p\le u<\infty$, $s\in{\mathbb R}$ and $q\in(0,\infty]$, some of these results are new.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Relations among Besov-Type Spaces, Triebel-Lizorkin-Type Spaces and Generalized Carleson Measure Spaces

In this paper, the authors construct some counterexamples to show that the generalized Carleson measure space and the Triebel-Lizorkin-type space are not equivalent for certain parameters, which was claimed to be true in [Taiwanese J. Math. 15 (2011), 919-926]. Moreover, the authors show that for some special parameters, the generalized Carleson measure space, the Triebel-Lizorkin-type space and the Besov-type space coincide with certain Triebel-Lizorkin space, which answers a question posed in Remark 6.11(i) of [Lecture Notes in Mathematics 2005, Springer-Verlag, Berlin, 2010, xi+281 pp.].

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Vanishing Mean Oscillation Spaces Associated with Operators Satisfying Davies-Gaffney Estimates

Let $(\mathcal{X}, d, μ)$ be a metric measure space, $L$ a linear operator which has a bounded $H_\infty$ functional calculus and satisfies the Davies-Gaffney estimate, $Φ$ a concave function on $(0,\infty)$ of critical lower type $p_Φ^-\in(0,1]$ and $ρ(t)\equiv t^{-1}/Φ^{-1}(t^{-1})$ for all $t\in(0,\infty)$. In this paper, the authors introduce the generalized VMO space ${\mathrm {VMO}}_{ρ,L}({\mathcal X})$ associated with $L$, and establish its characterization via the tent space. As applications, the authors show that $({\mathrm {VMO}}_{ρ,L}({\mathcal X}))^*=B_{Φ,L^*}({\mathcal X})$, where $L^*$ denotes the adjoint operator of $L$ in $L^2({\mathcal X})$ and $B_{Φ,L^*}({\mathcal X})$ the Banach completion of the Orlicz-Hardy space $H_{Φ,L^*}({\mathcal X})$.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Decompositions of Besov-Hausdorff and Triebel-Lizorkin-Hausdorff Spaces and Their Applications

Let $p\in(1,\infty)$, $q\in[1,\infty)$, $s\in\mathbb{R}$ and $τ\in[0, 1-\frac{1}{\max\{p,q\}}]$. In this paper, the authors establish the $φ$-transform characterizations of Besov-Hausdorff spaces $B{\dot H}_{p,q}^{s,τ}(\mathbb{R}^n)$ and Triebel-Lizorkin-Hausdorff spaces $F{\dot H}_{p,q}^{s,τ}(\mathbb{R}^n)$ ($q>1$); as applications, the authors then establish their embedding properties (which on $B{\dot H}_{p,q}^{s,τ}(\mathbb{R}^n)$ is also sharp), smooth atomic and molecular decomposition characterizations for suitable $τ$. Moreover, using their atomic and molecular decomposition characterizations, the authors investigate the trace properties and the boundedness of pseudo-differential operators with homogeneous symbols in $B{\dot H}_{p,q}^{s,τ}(\mathbb{R}^n)$ and $F{\dot H}_{p,q}^{s,τ}(\mathbb{R}^n)$ ($q>1$), which generalize the corresponding classical results on homogeneous Besov and Triebel-Lizorkin spaces when $p\in(1,\infty)$ and $q\in[1,\infty)$ by taking $τ=0$.

0 citations0 reviewsNo code linkedOpen access