arXiv subjects
Publications and source records attributed to Liangpan Li.
We prove that among all doubly connected domains of R^n (n>=2) bounded by two spheres of given radii, the Dirichlet heat content at any fixed time achieves its minimum when the spheres are concentric. This is shown to be a special case of a more general theorem concerning the optimal placement of a convex obstacle inside some larger domain so as to maximize or minimize the Dirichlet heat content.
Jean Saint Raymond asked whether continuously differentiable maps with isolated critical points are necessarily open in infinite dimensional (Hilbert) spaces. We answer this question negatively by constructing counterexamples in various settings.
The central purpose of this article is to establish new inverse and implicit function theorems for differentiable maps with isolated critical points. One of the key ingredients is a discovery of the fact that differentiable maps with isolated critical points are discrete maps, which means that algebraic topology methods could then be deployed to explore relevant questions. We also provide a purely topological version of implicit function theorem for continuous maps that still possesses unique existence and continuity. All new results of the paper are optimal with respect to the choice of dimensions.
In the 16th century, Simon Stevin initiated a modern approach to decimal representation of measuring numbers, marking a transition from the discrete arithmetic practised by the Greeks to the arithmetic of the continuum taken for granted today. However, how to perform arithmetic directly on infinite decimals remains a long-standing problem, which has seen the popular degeometrisation of real numbers since the first constructions were published in around 1872. Our article is devoted to solving this historical problem. An issue that Hardy called "a fatal defect" is also settled.
Completing Loo-Keng Hua's approach to the real number system pioneered in 1962, this paper defines arithmetical operations directly on infinite decimals without appealing to any ordering structure. Therefore, the widespread belief that there exists an algorithm for determining the digits of the product of two real numbers in terms of finite pieces of their decimal strings is essentially confirmed.
We show that not feeling the boundary estimates for heat kernels hold for any non-negative self-adjoint extension of the Laplace operator acting on vector-valued compactly supported functions on a domain in $\mathbb{R}^d$. They are therefore valid for any choice of boundary condition and we show that the implied constants can be chosen independent of the self-adjoint extension. The method of proof is very general and is based on finite propagation speed estimates and explicit Fourier Tauberian theorems obtained by Y. Safarov.
Let $P$ be a non-negative self-adjoint Laplace type operator acting on sections of a hermitian vector bundle over a closed Riemannian manifold. In this paper we review the close relations between various $P$-related coefficients such as the mollified spectral counting coefficients, the heat trace coefficients, the resolvent trace coefficients, the residues of the spectral zeta function as well as certain Wodzicki residues. We then use the Wodzicki residue to obtain results about the local counting function of operators of Dirac and Laplace type. In particular, we express the second term of the mollified spectral counting function of Dirac type operators in terms of geometric quantities and characterize those Dirac type operators for which this coefficient vanishes.
This paper discovers a new phenomenon about the Duffin-Schaeffer conjecture, which claims that $λ(\cap_{m=1}^{\infty}\cup_{n=m}^{\infty}{\mathcal E}_n)=1$ if and only if $\sum_nλ({\mathcal E}_n)=\infty$, where $λ$ denotes the Lebesgue measure on $\mathbb{R}/\mathbb{Z}$, \[ {\mathcal E}_n={\mathcal E}_n(ψ)=\bigcup_{m=1 \atop (m,n)=1}^n\big(\frac{m-ψ(n)}{n},\frac{m+ψ(n)}{n}\big), \] $ψ$ is any non-negative arithmetical function. Instead of studying $\cap_{m=1}^{\infty}\cup_{n=m}^{\infty}{\mathcal E}_n$ we introduce an even fundamental object $\cup_{n=1}^{\infty}{\mathcal E}_n$ and conjecture there exists a universal constant $C>0$ such that \[λ(\bigcup_{n=1}^{\infty}{\mathcal E}_n)\geq C\min\{\sum_{n=1}^{\infty}λ({\mathcal E}_n),1\}.\] It is shown that this conjecture is equivalent to the Duffin-Schaeffer conjecture. Similar phenomena are found in the fields of $p$-adic numbers and formal Laurent series. As a byproduct, we answer conditionally a question of Haynes by showing that one can always use the quasi-independence on average method to deduce $λ(\cap_{m=1}^{\infty}\cup_{n=m}^{\infty}{\mathcal E}_n)=1$ as long as the Duffin-Schaeffer conjecture is true. We also show among several others that two conjectures of Haynes, Pollington and Velani are equivalent to the Duffin-Schaeffer conjecture, and introduce for the first time a weighted version of the second Borel-Cantelli lemma to the study of the Duffin-Schaeffer conjecture.
Given a sequence of real numbers $\{ψ(n)\}_{n\in\mathbb{N}}$ with $0\leq ψ(n)<1$, let $W(ψ)$ denote the set of $x\in[0,1]$ for which $|xn-m|<ψ(n)$ for infinitely many coprime pairs $(n,m)\in\mathbb{N}\times\mathbb{Z}$. The purpose of this note is to show that if there exists an $ε>0$ such that $\sum_{n\in\mathbb{N}}ψ(n)^{1+ε}\cdot\frac{φ(n)}{n}=\infty,$ then the Lebesgue measure of $W(ψ)$ equals 1.
The purpose of this note is to show by constructing counterexamples that two conjectures of Móri and Székely for the Borel-Cantelli lemma are false.
Answering two questions of Beresnevich and Velani, we develop zero-one laws in both simultaneous and multiplicative Diophantine approximation. Our proofs rely on a Cassels-Gallagher type theorem as well as a higher-dimensional analogue of the cross fibering principle of Beresnevich, Haynes and Velani.
In this paper we further study the relationship between convexity and additive growth, building on the work of Schoen and Shkredov (\cite{SS}) to get some improvements to earlier results of Elekes, Nathanson and Ruzsa (\cite{ENR}). In particular, we show that for any finite set $A\subset{\mathbb{R}}$ and any strictly convex or concave function $f$, \[|A+f(A)|\gg{\frac{|A|^{24/19}}{(\log|A|)^{2/19}}}\] and \[\max\{|A-A|,\ |f(A)+f(A)|\}\gg{\frac{|A|^{14/11}}{(\log|A|)^{2/11}}}.\] For the latter of these inequalities, we go on to consider the consequences for a sum-product type problem.
A set of reals $A=\{a_1,...,a_n\}$ labeled in increasing order is called convex if there exists a continuous strictly convex function $f$ such that $f(i)=a_i$ for every $i$. Given a convex set $A$, we prove \[|A+A|\gg\frac{|A|^{14/9}}{(\log|A|)^{2/9}}.\] Sumsets of different summands and an application to a sum-product-type problem are also studied either as remarks or as theorems.
In this paper we show that for any $k\geq2$, there exist two universal constants $C_k,D_k>0$, such that for any finite subset $A$ of positive real numbers with $|AA|\leq M|A|$, $|kA|\geq \frac{C_k}{M^{D_k}}\cdot|A|^{\log_42k}.$
This paper gives an improved sum-product estimate for subsets of a finite field whose order is not prime. It is shown, under certain conditions, that $$\max\{|A+A|,|A\cdot{A}|\}\gg{\frac{|A|^{12/11}}{(\log_2|A|)^{5/11}}}.$$ This new estimate matches, up to a logarithmic factor, the current best known bound obtained over prime fields by Rudnev (\cite{mishaSP}).
In this paper we provide a complete approach to the real numbers via decimal representations. Construction of the real numbers by Dedekind cuts, Cauchy sequences of rational numbers, and the algebraic characterization of the real number system by the concept of complete ordered field are also well explained in the new setting.
Let $\{A_n\}_{n=1}^{\infty}$ be a sequence of events on a probability space $(Ω,\mathcal{F},\mathbf{P})$. We show that if $\lim_{m\to\infty}\sum_{n=1}^{m}w_n\mathbf{P}(A_n)=\infty$ where each $w_n\in\mathbb{R}$, then \[{\mathbf{P}}(\limsup A_n)\geq\limsup_{n\to\infty} \frac{\displaystyle\big(\sum_{k=1}^n{w_k\mathbf{P}}(A_k)\big)^2}{\displaystyle\sum_{i=1}^n\sum_{j=1}^nw_iw_j{\mathbf{P}}(A_i\cap A_j)}.\]
In this paper the authors study set expansion in finite fields. Fourier analytic proofs are given for several results recently obtained by Solymosi, Vinh and Vu using spectral graph theory. In addition, several generalizations of these results are given. In the case that $A$ is a subset of a prime field $\mathbb F_p$ of size less than $p^{1/2}$ it is shown that $|\{a^2+b:a,b \in A\}|\geq C |A|^{147/146}$, where $|\cdot|$ denotes the cardinality of the set and $C$ is an absolute constant.