Abstract
Here, we introduce a theorem currently proved uniquely by the asymptotic behaviors of eigenvalues of a compact operator. Specifically, a problem of partitions is considered, and the Neumann–Poincaré operator is employed as the compact linear operator. Then a theorem is proved by the spectrum of the Neumann–Poincaré operator. Although the following proposed problem looks artificial, our result in the partitions seems to be proven uniquely by the spectral theory of the Neumann–Poincaré operators: Odd partitions of the unit interval [0, 1] are considered, that is, we divide the unit interval [0, 1] into \(2N+1\) disjoint non-zero intervals \(L_{N, k}\) (\(k=1, \ldots , 2N+1\)), and the sum of corresponding lengths \(\sum _{k=1}^{2N+1} |L_{N, k}| =1\) for each \(N\in \mathbb {N}_{\ge 0}\). Thus we obtain a countable set of real numbers \(P=\{ |L_{N, k}| \;\ k=1, 2, \ldots , 2N+1, \ N\in \mathbb {N}_{\ge 0} \}\) by odd partitions of the unit interval. One can enumerate the set P in decreasing order to obtain the non-increasing sequence
We show that for any \(C \ge 1/2\), there exist odd partitions of the unit interval such that
Here, the coefficient \(C=1/2\) corresponds to the optimal decay. We prove this fact by a fundamental property of the Riemann zeta function and by eigenvalue asymptotics for some compact linear operators known as the Neumann–Poincaré operators.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction and Results
Although many sophisticated results have been presented on the spectral theory of compact operators, their applications in number theory often seem weaker than those in specific fields.
The well-known Gauss circle problem, which is the problem of determining how many integer lattice points N(r) there are in a circle centered at the origin with radius \(r>0\), is a typical example, where \(N(r)=\pi r^2 +O(r^{1/2+\epsilon })\). The estimate \(0< \epsilon \le 1/2\) can be proven by eigenvalue asymptotics of the Laplace operator, whereas the improved estimate \(0< \epsilon \le 27/208\) can be proven by analytic number theory [5, 6, 8]. Thus, spectral theory of linear operators has brought about superior results. However, when spectrtal theory is applied to mathematical problems of different fields, the obtained results often seem weaker than those in specific fields.
Our purpose here is to present an application that seems to be currently proven uniquely by spectral theory. This is shown by the behavior of partitions. More precisely, when we divide the unit interval [0, 1] into \(2N+1\) non–zero length subintervals, finely divided partitions seem to appear. We call such partitions “Odd Partitions”. Denoting odd partitions as \(L_{N, k}\) (\(k=1. \ldots , 2N+1\)) for each \(N \in \mathbb {N}_{\ge 0}\), one can enumerate the countably infinitely many real numbers \(\{ |L_{N, k}| \;\ k=1, 2, \ldots , 2N+1, \ N\in \mathbb {N}_{\ge 0} \}\) in decreasing order. Here, \(|\cdot |\) denotes the Lebesgue measure (length). Thus, such procedure allows us to give the non-increasing sequence
For instance, equi-partitions of the unit interval yield the following diagram, where the first partitioning yields 3 intervals, whose length is 1/3. Similarly, a non-increasing sequence is produced.
In the above diagram, each row shows a partition of the unit interval, that is, the sum of each row equals one. Thus, we obtain the following enumerated sequence in decreasing order:
After the N-th procedure, the diagram of partitions always consists of \(N^2\) numbers. One can easily find from (1.2) that the \(j=N^2\)-th number \(a_j\) is \(1/(2N-1) \sim \frac{1}{{2}}j^{-1/2}\) for large j. It is strongly expected that the optimal decay rate is attained by such equi-partitions.
In fact, we have the desirable decay rates:
Theorem 1.1
(Main Theorem). For all \(C\ge \frac{1}{{2}}\), there exist odd partitions of the unit interval such that
Here, we emphasize that \(C=\frac{1}{{2}}\) is the minimum coefficient, namely, \( a_j \nprec \frac{1}{2} j^{-1/2}\) as \(j \rightarrow \infty \)
To prove this, we recall the concept of unconditional sums, which are convenient here:
Proposition 1.2
For odd partitions, we define the infinite sum \(\tau (p)\) by
Then, \(\tau (p) \ge (1-2^{1-p})\zeta (p-1)\ (p>2)\), where \(\zeta (p)\) denotes the Riemann zeta function.
The equality holds only for the case of equi-partitions.
We remark that Proposition 1.2 holds true even in the case that the sum (1.3) diverges to \(\infty \).
Proof of Proposition 1.2
Since the sum (1.3) consists only of positive values, the sum is unconditional and independent of rearrangements.
It follows by Hölder’s inequality (e.g., see [13]) that
where \(p, q \in [1, \infty ]\) with \(1/p + 1/q = 1\). Thus
and so
The equality holds only for the case of equi-partitions
(i.e., \(|L_{N, 1}| = |L_{N, 2}| = \cdots = |L_{N, 2N+1}| =1/(2N+1)\) for all \(N \in \mathbb {N}\)). \(\square \)
Proof of Theorem 1.1
Firstly, we show that \(\frac{1}{{2}}\) is the minimum coefficient.
Assuming \(C<\frac{1}{{2}}\), then
It can be seen that \(2C^{2p} < 1/2\) for \(p=2+\varepsilon \) with small \(\varepsilon >0\).
Meanwhile, it follows from Proposition 1.2 that the sum of the p–th power equi-partitions is
We then recall a property of the Riemann zeta function \(\zeta (x)\) (e.g., see [3]):
where \(\gamma \) is Euler’s constant. Thus, we have
for some constant \(C (= \frac{1}{2}(\log 2 +\gamma ) )\). Thus, it follows from (1.7) that
and from (1.6) that
This is a contradiction, as desired.
To prove the existence of suitable partitions satisfying \(a_j \sim C j^{-1/2}\) for \(C\ge 1/2\), we use the spectral properties of the Neumann–Poincaré (NP) operator, which is a boundary integral operator, defined on boundaries of a region in \(\mathbb {R}^3\) (e.g., see [2] and references therein for details). The NP operators on \(L^2(\partial \Omega )\) are compact if \(\partial \Omega \) is in \(C^{1, \alpha }\), that is, the corresponding non-zero spectrum consists only of eigenvalues. We emphasize that corresponding eigenvalues on prolate ellipsoids \(\partial \Omega \) satisfy all properties of lengths for odd partitions of the interval [0, 1/2] (see [1, 9, 12]):
Here, each row represents a partition of [0, 1/2] and consists of an odd number of non-zero subintervals. The sum \(\sum _{k=1}^{2N+1}|M_{N, k}|=1/2\) for each \(N \in \mathbb {N}_{\ge 0}\). These novel facts are not elementary, but the results are available here. Furthermore, it was recently proven [10, 11] that NP eigenvalues satisfy the so-called Weyl law, namely,
for \(\widetilde{C} \ge 1/4\). Here, the coefficient \(\widetilde{C}\) is explicitly calculated using the Willmore energy \(W(\partial \Omega )\) and the Euler characteristic \(\chi (\partial \Omega )\) of the boundary surface \(\partial \Omega \). It follows that the coefficient \(\widetilde{C}\) can take arbitrary real values larger than 1/4 (see [10, 11] for details). As a result, there exist odd partitions of a half interval [0, 1/2] such that the enumerated sequence satisfies
for all \(\widetilde{C} \ge 1/4\). When we consider the interval [0, 1] instead of the half interval [0, 1/2], \(C=2 \widetilde{C} \ge 1/2\) automatically. \(\square \)
2 Discussion
We proved the decay rates on odd partitions of the unit interval. Theorem 1.1 is proven by a fundamental property of the Riemann zeta function and the spectral theory of NP operators. If the partitions are permitted to have zero-length sets, this fact is proved in an elementary manner. Can one give an elementary proof of Theorem 1.1 as it is? To the best of my knowledge, we do not know alternative proofs other than spectral theory.
The partitions of the unit interval have been considered for a number of years from various viewpoints (e.g., see [4, 7]). For more general partitions, can one prove the existence of a decay sequence for suitable orders?
The difference sequence of the Farey sequence, for instance, is the partitions of the unit interval [7]:
Thus the enumerated decreasing sequence \(\{a_j\}\) is denoted as
and its corresponding behavior seems to be \(a_{j} \sim C j^{-1/3}\), as it is known that the N-th row consists of \(N^2\) numbers asymptotically. The decreasing order \(j^{-1/3}\) depends on the number of partitions. For general partitions of the unit interval, can one prove analogous results to Theorem 1.1? The minimum decay can be easily guessed, and it should be given by equi-partitions.
References
Ahner, J.F., Arenstorf, R.F.: On the eigenvalues of the electrostatic integral operator. J. Math. Anal. Appl. 117, 187–197 (1986)
Ando, K., Kang, H., Putinar, M., Miyanishi, Y.: Spectral analysis of Neumann–Poincaré operator. Rev. Roumaine Math. Pures Appl. 66(3–4), 545–575 (2021)
Aleksandar, I.: The Riemann Zeta-Function: Theory and Applications. Dover Publications Inc, New York (1985)
Drobot, V.: Uniform partitions of an interval. Trans. Amer. Math. Soc. 268(1), 151–60 (1981)
Duistermaat, H., Guillemin, V.: The spectrum of positive elliptic operators and periodic bicharacteristics. Invent. Math. 29(1), 37–79 (1975)
Hardy, G.H.: On the expression of a number as the sum of two squares. Q. J. Math. 46, 263–283 (1915)
Hardy, G.H., Wright, E.M.: An Introduction to the Theory of Numbers. Clarendon Press, Oxford (1960)
Huxley, M.N.: Integer points, exponential sums and the Riemann zeta function. In: Number Theory for the Millennium. II (Urbana, IL, 2000), pp. 275–290. A K Peters, Natick, MA (2002)
Martensen, E.: A spectral property of the electrostatic integral operator. J. Math. Anal. Appl. 238, 551–557 (1999)
Miyanishi, Y.: Weyl’s law for the eigenvalues of the Neumann–Poincaré operators in three dimensions: Willmore energy and surface geometry. Adv. Math. 406, Paper No. 108547, 19 pp. (2022)
Miyanishi, Y., Rozenblum, G.: Eigenvalues of the Neumann–Poincaré operator in dimension 3: Weyl’s law and geometry. St. Petersb. Math. J. 31, 371–386 (2020)
Ritter, S.: A sum-property of the eigenvalues of the electrostatic integral operator. J. Math. Anal. Appl. 196, 120–134 (1995)
Yosida, K.: Functional Analysis. Fourth edition. Die Grundlehren der mathematischen Wissenschaften, Band 123. Springer, New York-Heidelberg (1974)
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
This work was supported by JSPS (of Japan) KAKENHI Grant Number JP21K13805.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Miyanishi, Y. A short note on decay rates of odd partitions: an application of spectral asymptotics of the Neumann–Poincaré operators. Arch. Math. 121, 419–424 (2023). https://doi.org/10.1007/s00013-023-01910-w
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00013-023-01910-w