Source author record

Jinjun Li

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

2works
3topics
3close collaborators

Published work

2 publications

preprint2026arXiv

Quantitative Hardy--Littlewood maximal inequalities and Wiener--Stein theorem on p.c.f. fractals

Let K⊂RdK\subset \mathbb{R}^d be a post-critically finite (p.c.f.) self-similar set with Hausdorff dimension ss, and μμ be a self-similar probability measure supported on KK. Let HμαH^α_μ, 0<α≤s0<α\le s, be the Hausdorff content on KK, and MDμM_{\mathcal{D}}^μ be the Hardy--Littlewood maximal operator defined on KK associated with its basic cubes D\mathcal{D}. In this paper, we establish quantitative strong type and weak type Hardy--Littlewood maximal inequalities on fractal set KK with respect to HμαH^α_μ for all range 0<α≤s0<α\le s. As applications, the Lebesgue differentiation theorem on KK is proved. Moreover, via the Hardy--Littlewood maximal operator MDμM_{\mathcal{D}}^μ, we characterize the Lebesgue--Choquet space Lp(K,Hμα)L^p(K,H^α_μ) and the Zygmund space Llog⁡L(K,μ)L\log L(K,μ). To be exact, given α/s<p≤∞α/s< p\le \infty, we discover that f∈Lp(K,Hμα) if and only if MDμf∈Lp(K,Hμα) \text{$f\in L^p(K,H^α_μ)$ if and only if $M_{\mathcal{D}}^μf\in L^p(K,H^α_μ)$} and, for f∈L1(K,μ)f\in L^1(K,μ) with KK satisfying the strong separation condition, MDμf∈L1(K,μ) if and only if f∈Llog⁡L(K,μ).\text{$M_{\mathcal{D}}^μf\in L^1(K,μ)$ if and only if $f\in L\log L(K,μ)$}. That is, Wiener's Llog⁡LL\log L inequality and its converse inequality due to Stein in 1969 are extended to fractal set KK with respect to μμ.

preprint2016arXiv

On exceptional sets in Erdős-Rényi limit theorem revisited

For x∈[0,1],x\in [0,1], the run-length function rn(x)r_n(x) is defined as the length of the longest run of 11's amongst the first nn dyadic digits in the dyadic expansion of x.x. Erdős and Rényi proved that lim⁡n→∞rn(x)log⁡2n=1\lim\limits_{n\to\infty}\frac{r_n(x)}{\log_2n}=1 for Lebesgue almost all x∈[0,1]x\in[0,1]. Let HH denote the set of monotonically increasing functions φ:N→(0,+∞)φ:\mathbb{N}\to (0,+\infty) with lim⁡n→∞φ(n)=+∞\lim\limits_{n\to\infty}φ(n)=+\infty. For any φ∈Hφ\in H, we prove that the set Emax⁡φ={x∈[0,1]:lim inf⁡n→∞rn(x)φ(n)=0,lim sup⁡n→∞rn(x)φ(n)=+∞} E_{\max}^φ=\left\{x\in [0,1]:\liminf\limits_{n\to\infty}\frac{r_n(x)}{φ(n)}=0, \limsup\limits_{n\to\infty}\frac{r_n(x)}{φ(n)}=+\infty\right\} either has Hausdorff dimension one and is residual in [0,1][0,1] or empty. The result solves a conjecture posed in \cite{LW5} affirmatively.

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.