Abstract
The modulus metric between two points in a subdomain of \(\mathbb {R}^n, n\ge 2,\) is defined in terms of moduli of curve families joining the boundary of the domain with a continuum connecting the two points. This metric is one of the conformally invariant hyperbolic-type metrics that have become a standard tool in geometric function theory. We prove that the modulus metric is not Hölder continuous with respect to the hyperbolic metric.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In the geometric function theory, one of the important subjects of study is the modulus of a curve family in \({\mathbb R}^2\) introduced in 1950 by L. Ahlfors and A. Beurling. Its definition was extended to the Euclidean space \({\mathbb R}^n\) with dimension \(n\ge 2\) by Fuglede, after which it was quickly adopted as a standard tool to study mappings during the early 1960s by Gehring [5] and J. Väisälä [17]. This conformal invariant has numerous applications in the current research, see [3, 6, 8, 16].
Due to its invariance properties, the conformal modulus of a curve family is often used to study the distortion of distances between points under quasiconformal mappings. At times, it is enough to use crude estimates for simple curve families combined with majorization or minorization. However, the use of crude estimates has two drawbacks: Firstly, it requires experience with the moduli of curve families and, what is more unfortunate, crude estimates lead to loss of information.
Instead of using crude estimates, it is often useful to reduce the estimation problem to classical extremal problems and to use these systematically. We now discuss two classical extremal problems which have been applied in this way. Namely, these two problems have already been studied by Grötzsch and Teichmüller, who both were pioneers of conformal invariant from 1920s and 1930s on.
Let G be a domain in the extended real space \(\overline{{\mathbb R}}^n=\mathbb {{\mathbb R}}^n\cup \{\infty \}\) such that \({{\text {card}}\,}(\overline{{\mathbb R}}^n\backslash G)\ge 2\). Our first extremal problem is [6, (10.2), p. 174]
where the infimum is taken over all continua \(C_{xy}\) joining the points x and y in G, \(\Delta (E,F;G)\) is the family of all such curves in G that join E and F, and \(\textsf{M}(\Gamma )\) denotes the conformal modulus of a curve family \(\Gamma \) in G. The second extremal problem is
where infimum is taken over all pairs of continua \(C_x\) and \(C_y\) in \(\overline{G}\) such that \(x\in C_x\), \(y\in C_y\), \(\overline{C_x}\cap \partial G\ne \varnothing \) and \(\overline{C_y}\cap \partial G\ne \varnothing \).
By Ahlfors [1, p. 72], the extremal problem (1.1) was studied with \(n=2\) and \(G=\mathbb {B}^2\) by Grötzsch while the problem (1.2) was considered with \(n=2\) and \(G={\mathbb R}^2\backslash \{0\}\) by Teichmüller. For further notes on the literature, see [6, 10.30, p. 186], where the contributions of I.S. Gál, T. Kuusalo and J. Lelong-Ferrand are cited. As stated in the following two theorems [6, 19, 20], the functions \(\mu _G\) and \(\lambda _G\) of the extremal problems (1.1) and (1.2) can also be used to define metrics, out of which the first one is called the modulus metric.
Theorem 1.3
(1) If \(\textrm{cap}\,(\partial G)>0\), then \(\mu _G\) is a metric.(2) \(\lambda _G^p\) is a metric if and only if \(p\in [-1/(n-1),0)\).
The proof of Theorem 1.3(1) is straightforward, whereas part (2) has an interesting history. It was proved with \(p=-1/n\) by Ferrand [10] and in the special case \(G=\mathbb {B}^2\) by G.D. Anderson, M.K. Vamanamurthy and M. Vuorinen [2]. As an open problem, part (2) was formulated in [18, p. 193] and J. Ferrand, J.A. Jenkins, and A.Y. Solynin found solutions independently; see [6, p. 453].
Theorem 1.3 has numerous applications, based on the next two theorems.
Theorem 1.4
For \(D\in \{{\mathbb H}^n,\mathbb {B}^n\}\) and all distinct points \(x,y\in D\),
-
(1)
\(\mu _D(x,y)=\gamma _n(1/\textrm{th}(\rho _D(x,y)/2))\);
-
(2)
\(\lambda _D(x,y)=2^{-n}\gamma _n(\textrm{ch}(\rho _D(x,y)/2)),\)
where \(\rho \) stands for the hyperbolic metric and \(\gamma _n\) is a special function called the Grötzsch capacity.
Theorem 1.5
Let \(f:G\rightarrow G'\) be a K-quasiconformal homeomorphism. Then for all distinct \(x,y\in G\),
and
In other words, written as mappings between metric spaces,
the mapping f is bi-Lipschitz. For the case of \(\mu _G\), we assume that \(\textrm{cap}\,(\partial G)>0\) and, for the case of \(\lambda _G\), let \({{\text {card}}\,}(\overline{{\mathbb R}}^n\backslash G)\ge 2\).
The metrics \(\rho _D\), \(\mu _D\) and \(\lambda _D^{1/(1-n)}\) in \(D\in \{{\mathbb H}^n,\mathbb {B}^n\}\) are all conformally invariant, so it is natural to ask whether they are comparable in some other fashion. Theorem 1.5 implies that quasiconformal mappings satisfy a version of the Schwarz lemma, according to which mappings are Hölder continuous with respect to the hyperbolic and the Euclidean metrics. As well known [6, Thm 16.3, Thm 16.21] for dimensions \(n\ge 3\), both the variants of the Theorem 1.5 yield different Hölder exponents, while Theorem 1.5 itself speaks for bi-Lipschitz continuity in the respective two metric spaces.
The above two theorems show that quasiconformal mappings are bi-Lipschitz in the respective metric spaces. However, because the local structure of these spaces depends on the special function \(\gamma _n,\) it is desirable to compare metrics to Euclidean and hyperbolic metrics and this is what we will do here. Surprisingly, it turns out that the \(\mu _{\mathbb {B}^2}\) metric is not Hölder equivalent to the hyperbolic metric \(\rho _{\mathbb {B}^2},\) but nevertheless we can conclude sharp modulus of continuity estimates from the above theorems. We also prove various other results for these metrics.
Theorem 1.6
The \(\mu _D\) metric, \(D\in \{{\mathbb H}^2,\mathbb {B}^2\},\) is not Hölder continuous with respect to \(\rho _D.\)
Here, it should be noted that the same result holds for \(\lambda ^{-1}_{D}(x,y)\) metric as proven in Corollary 3.13. For the Hölder non-equivalence of \(\mu _D\) and, \(\lambda _D^{1/(1-n)}\) see [2, 16.6].
Very recently, \(\mu _G\) isometries were thoroughly studied by D. Betsakos- S. Pouliasis [3], X. Zhang [21], and S. Pouliasis- A. Solynin [11]. In this case, it turns out that \(\mu _G\) isometries are, in fact, conformal mappings. One might expect that a similar result also holds for the \(\lambda _G^{1/(1-n)}\) metric, but this seems to be an open problem. Isometries of some other metrics were studied by Hästö, Z. Ibragimov, D. Minda, S. Ponnusamy, and S. Sahoo [7].
The structure of this article is as follows. In Sect. 2 we give some necessary definitions and notations. In Sect. 3 we prove that the modulus metric is not Hölder continuous with respect to the hyperbolic metric.
2 Preliminaries
Let us first introduce our notations. For all points \(x\in {\mathbb R}^n\) and any radius \(r>0\), we can define an open Euclidean ball \(B^n(x,r)=\{y\in {\mathbb R}^n\text { }:\text { }|x-y|<r\}\) and its boundary sphere \(S^{n-1}(x,r)=\{y\in {\mathbb R}^n\text { }:\text { }|x-y|=r\}\). For the unit ball and sphere, we use the simplified notations \(\mathbb {B}^n=B^n(0,1)\) and \(S^{n-1}=S^{n-1}(0,1)\). Denote also the \((n-1)\)-dimensional surface area of \(S^{n-1}\) by \(\omega _{n-1}\) and define the following constant \(c_n\) (see Ref. [2, p. 41]):
The hyperbolic metric \(\rho \) can be defined in the unit ball with the formula [6, (4.16), p. 55]
and, by the conformal invariance of this metric, we can compute its value in any such domain that can be mapped conformally onto the unit ball. A hyperbolic ball \(B_{\rho }(x,M)\) defined in the unit ball \(\mathbb {B}^n\) is equal to the Euclidean ball \(B^n(y,r)\), where [6, (4.20), p. 56]
The modulus of a curve family \(\Gamma \) in \({\mathbb R}^n\) is [6, (7.1), p. 104]
where \(\mathcal {F}(\Gamma )\) consists of all non-negative Borel-measurable functions \(\rho :{\mathbb R}^n\rightarrow \overline{{\mathbb R}}^n\) such that \(\int _\gamma \rho \mathrm{{ds}}\ge 1\) for each locally rectifiable curve \(\gamma \in \Gamma \) and m stands for the n-dimensional Lebesgue measure. Denote the family of all curves joining two non-empty sets E and F in a domain G by \(\Delta (E,F;G)\). Now, for the annular ring \(D=\overline{B}^n(0,b)\backslash B^n(0,a)\) with \(0<a<b\), it holds that [6, (7.4), p. 107]
Any domain G and its compact subset \(F\subset G\) form a condenser (G, F) and the capacity of this condenser is [6, Thm 9.6, p. 152]
A compact set E in \(\mathbb {R}^n\) is said to be of capacity zero, denoted \(\textrm{cap} (E)=0\), if there exists a bounded open set A containing E with the capacity of the pair (A, E) is equal to zero. A compact set \(E\subset \overline{\mathbb {R}}^n\), \(E\ne \overline{\mathbb {R}}^n\) is said to be of capacity zero if E can be mapped by a Möbius transformation onto a bounded set of capacity zero. If \(\textrm{cap} (E)=0\) does not hold, we express it as \({\textrm{cap}}(E) > 0\).
Define next two decreasing homeomorphisms called the Grötzsch capacity \(\gamma _n:(1,\infty )\rightarrow (0,\infty )\) and the Teichmüller capacity \(\tau _n:(0,\infty )\rightarrow (0,\infty )\) with the following formula [6, (7.17), p. 121]:
and
where \(e_1=(1,0,\ldots ,0)\) is a unit vector in \({\mathbb R}^n\). For \(s>1\), \(\gamma _n(s)=2^{n-1}\tau _n(s^2-1)\). If \(n=2\), the capacities can be computed with the formula [6, (7.18), p. 122],
where
Moreover, for \(s>1\) [6, (7.20)]
and for \(0<r<1\) (see, [2, 5.30])
For approximation of \(\mu (r)\), see [9]. The Grötzsch capacity has the following well-known estimates [6, Thm 9.17(2), p. 160]
where the second inequality holds as an identity for \(n=2\) by (2.2).
A homeomorphism \(f:G\rightarrow G'\) between two domains \(G,G'\subset {\mathbb R}^n\), \(n\ge 2\), is called K-quasiconformal with some constant \(K\ge 1\), if the two-sided inequality
holds for every curve family \(\Gamma \) in G.
Ferrand [10] posed the question whether \(\mu _G\) bi-Lipschitz homeomorphisms are quasiconformal. This question was studied in [4] where it was proved that these mappings are locally Hölder continuous, but they need not be quasiconformal and thus Ferrand’s question was solved in the negative in [4]. Furthermore, the radial mapping \(g:\mathbb {B}^n\rightarrow \mathbb {B}^n\) defined as
is quasiconformal, as noted in [17, 16.2], and Hölder continuous but not Lipschitz with respect to the Euclidean metric. Thus, the bi-Lipschitz condition of the modulus metric under K-quasiconformal mappings does not imply the same property for the Euclidean metric.
3 Upper and Lower Bounds for Modulus Metric
Recently, the modulus metric \(\mu _G\) has been studied in [16] where a characterization of its completeness is given. Also in [16], a new lower bound for \(\mu _G\) was found in terms of the Möbius invariant metric \(\delta _G\) (also, \(\delta _G\) is called the Seittenranta metric [6, p. 75 & p. 199]): If the boundary \(\partial G\) is uniformly perfect, then
where the constant c only depends on the dimension n and the parameters of the uniform perfectness. The estimates in (2.4) also yield
where \(D\in \{{\mathbb H}^n,\mathbb {B}^n\}\). A similar inequality can be also written for \(\lambda _D\):
Because \(\rho _{\mathbb {B}^n}=\delta _{\mathbb {B}^n}\), the lower bound in (3.2) is compatible with (3.1) up to a constant factor, but it can be still improved for small values of the hyperbolic distance \(\rho _{\mathbb {B}^2}(x,y)\) in the two-dimensional case. Note that, for \(n=2\), it follows from the inequality (3.2) that
and consider the following preliminary result:
Lemma 3.4
For all \(t>0\) and \(p>0\), the expression \([\textrm{arth}\left( (\textrm{th}\,t)^{1/p}\right) ]^p\) is strictly increasing with respect to p.
Proof
Since we are interested in the expression above with respect to p only, we can substitute \(u=\textrm{th}\,t\) and study \([\textrm{arth}\, (u^{1/p})]^p\) for \(0<u<1\) and \(p>0\) instead. By differentiation,
where \(0<y<1\). Again, by differentiation,
provided that \(0<y<1\). Since \(\log (\textrm{arth}(y))/\log (y)\) is strictly decreasing on (0, 1) and \((1+y^2)/(1-y^2)\) is strictly increasing on (0, 1), their difference is strictly decreasing on (0, 1) and the following holds:
Consequently, the derivative (3.6) is positive on (0, 1), the differentiated expression in (3.6) is therefore strictly increasing on this interval, and we have the following lower bound:
Thus, the derivative (3.5) is positive for \(0<u<1\) and \(p>0\) and the original expression \(\left[ \textrm{arth}(u^{1/p})\right] ^p\) is strictly increasing with respect to \(p>0\), from which our lemma follows. \(\square \)
Corollary 3.7
For all \(x,y\in D\in \{{\mathbb H}^2,\mathbb {B}^2\}\), the inequality
holds.
Proof
If \(x=y\), the result holds trivially, so let us assume that \(x\ne y\) below. By Lemma 3.4, the expression \([\textrm{arth}\left( (\textrm{th}\,t)^{1/p}\right) ]^p\) is strictly increasing with respect to p for all \(t>0\) and \(p>0\), so
Combining this result to Theorem 1.4, the formula (2.1) and [2, (5.29)], we have
\(\square \)
Remark 3.8
Corollary 3.7 gives a better lower bound for the modulus metric than the inequality (3.3) if and only if the hyperbolic distance \(\rho _{\mathbb {B}^2}(x,y)\) is less than 2. See Fig. 1 for more details. We note that in Fig. 1(a), \(\rho _{\mathbb {B}^2}(x,0)<2\) if and only if \(0<x\le 0.75\). Also, in Fig. 1(b), \(\rho _{\mathbb {B}^2}(x,0)\ge 2\) if and only if \(0.75< x<1\).
In article [14], the Euclidean midpoint rotation was introduced as a new way to find upper and lower bounds for the triangular ratio metric. This metric was originally introduced in 2002 by P. Hästö [8] and recently studied in [12, 13, 15]. In the midpoint rotation, two distinct points \(x,y\in \mathbb {B}^2\) are rotated around their Euclidean midpoint \((x+y)/2\) so that the smaller angle \(\nu \) between lines L(x, y) and \(L(0,(x+y)/2)\) varies on the interval \([0,\pi /2]\). See Fig. 2. Here, we assume that \(x\ne -y\), because otherwise the midpoint \((x+y)/2\) is the origin and the hyperbolic distance \(\rho _{\mathbb {B}^2}(x,y)\) is invariant under rotations around the origin. As explained in Theorem 3.9, the hyperbolic distance of the rotated points is decreasing with respect to \(\nu \) and, since \(\nu =0\) when the rotated points are collinear with the origin and \(\nu =\pi /2\) when their absolute values are equivalent, the Euclidean midpoint rotation yields upper and lower bounds for the hyperbolic metric.
Theorem 3.9
For all distinct points \(x,y\in \mathbb {B}^2\) such that \(x\ne -y\), the hyperbolic distance \(\rho _{\mathbb {B}^2}(x,y)\) decreases as x and y are rotated around their Euclidean midpoint so that the smaller angle between the lines L(x, y) and \(L(0,(x+y)/2)\) increases from 0 to \(\pi /2\). Furthermore,
where equality holds in the first inequality if and only if \(|x|=|y|\) and in the second inequality if and only if x, y are collinear with the origin. Note also that \({|x-y|}/({1-x\cdot y})<1\) if and only if \(|x+y|+|x-y|<2\).
Proof
Fix distinct points \(x,y\in \mathbb {B}^2\) such that \(x\ne -y\). Denote \(d=|x-y|/2\) and \(k=|x+y|/2\), and note that \(k,d\in (0,1)\). Let \(\nu \in [0,\pi /2]\) be the magnitude of the smaller angle between the lines L(x, y) and \(L(0,(x+y)/2)\). Now, we have,
Trivially, the quotient above is decreasing with respect to \(\nu \) and it attains its minimum \(2d/\sqrt{(1+d^2-k^2)^2+4k^2d^2}\) at \(\nu =\pi /2\) and its maximum \(2d/(1+d^2-k^2)\) with respect to \(\nu \) at \(\nu =0\). Given \(|x-y|^2=|x|^2+|y|^2-2x\cdot y\), we can easily show that
and
Note that the points always stay in \(\mathbb {B}^2\) if the rotation is done so that \(\nu \) increases on the interval \([0,\pi /2]\) whereas a rotation decreasing v might move one of the points outside of \(\mathbb {B}^2\) if \(k+d>1\). \(\square \)
By [2, 7.64(26–27), p. 156],
Compared to these bounds, the bounds of Theorem 3.9 are better in some cases but not always. For instance, if \(x=0.6+0.3i\) and \(y=0.1+0.1i\), both the upper and lower bound of Theorem 3.9 are better than those of inequality (3.10), but the bounds of Theorem 3.9 are worse for \(x=-0.7+0.7i\) and \(y=0.65-0.6i\). We summarize our observations in the following table.
Corollary 3.11
For all distinct points \(x,y\in \mathbb {B}^2\) such that \(x\ne -y\), the distance \(\mu _{\mathbb {B}^2}(x,y)\) decreases as x and y are rotated around their Euclidean midpoint so that the smaller angle between lines L(x, y) and \(L(0,(x+y)/2)\) increases from 0 to \(\pi /2\). Furthermore, if \(|x+y|+|x-y|<2\),
where equality holds in the first inequality if and only if \(|x|=|y|\) and in the second inequality if and only if x, y are collinear with the origin. If \(|x+y|+|x-y|\ge 2\), only the first inequality above holds.
Lemma 3.12
The modulus metric defined in the unit disk is not Hölder continuous with respect to the Euclidean metric.
Proof
First, fix \(w>0\) and \(x\in (0,1)\subset \mathbb {B}^2\). By Theorem 1.4, the formula (2.1), and the inequality [6, (7.21), p. 122],
where \(U(r)=\log (2(1+\sqrt{1-r^2})/r)\). Since \(\lim _{r\rightarrow 0+}U(r)=\infty =\lim _{r\rightarrow 0+} r^{-w}\) and \((\partial /\partial r) r^{-w}=-wr^{-w-1}>0\) for all \(r>0\), it follows from L’Hôpital’s rule that
Consequently,
Thus, the quotient \(\mu _{\mathbb {B}^2}(x,0)/|x|^w\) approaches infinity as \(x\rightarrow 0+\) for all \(w>0\), from which our result follows.
Proof of Theorem 1.6
The proof follows from Lemma 3.12. \(\square \)
Corollary 3.13
The metric \(\lambda ^{-1}_{\mathbb {B}^2}(x,y)\) defined in the unit disk is not Hölder continuous with respect to the hyperbolic metric.
Proof
The result follows from Lemma 3.12 and the identity \(\mu _{\mathbb {B}^2}(x,y)\lambda _{\mathbb {B}^2}(x,y)=4\), see [2, 16.7(1)]. \(\square \)
References
Ahlfors, L.V.: Conformal Invariants. McGraw-Hill, New York (1973)
Anderson, G.D., Vamanamurthy, M.K., Vuorinen, M.: Conformal Invariants, Inequalities and Quasiconformal Maps. John Wiley, London (1997)
Betsakos, D., Pouliasis, S.: Isometries for the modulus metric are quasiconformal mappings. Trans. Amer. Math. Soc. 372(4), 2735–2752 (2019)
Ferrand, J., Martin, G.J., Vuorinen, M.: Lipschitz conditions in conformally invariant metrics. J. Anal. Math. 56, 187–210 (1991)
Gehring, F.W.: Quasiconformal mappings in Euclidean spaces. In Handbook of complex analysis: geometric function theory. Elsevier, Amsterdam, 2005, 1–29
Hariri, P., Klén, R., Vuorinen, M.: Conformally Invariant Metrics and Quasiconformal Mappings. Springer Monographs in Mathematics, Berlin (2020)
Hästö, P.A., Ibragimov, Z., Minda, D., Ponnusamy, S., Sahoo, S.: Isometries of some hyperbolic-type path metrics, and the hyperbolic medial axis. (English summary) In the tradition of Ahlfors-Bers. IV, 63–74, Contemp. Math., 432, Amer. Math. Soc., Providence, RI, (2007)
Heinonen, J.: Lectures on Analysis on Metric Spaces. Springer-Verlag, New York (2001)
Kargar, R., Rainio, O., Vuorinen, M.: Landen transformations applied to approximation. Pure Appl. Funct. Anal. arXiv:2212.09336 [math.CV]
Lelong-Ferrand, J.: Invariants conformes globaux sur les variétés riemanniennes. J. Diff. Geometry 8, 487–510 (1973)
Pouliasis, S., Solynin, AYu.: Infinitesimally small spheres and conformally invariant metrics. J. Anal. Math. 143(1), 179–205 (2021)
Rainio, O.: Intrinsic metrics under conformal and quasiregular mappings. Publ. Math. Debrecen 101(1–2), 189–215 (2022)
Rainio, O.: Intrinsic quasi-metrics. Bull. Malays. Math. Sci. Soc. 44(5), 2873–2891 (2021)
Rainio, O., Vuorinen, M.: Triangular ratio metric in the unit disk. Complex Var. Elliptic Equ. 67(6), 1299–1325 (2022)
Rainio, O., Vuorinen, M.: Triangular ratio metric under quasiconformal mappings in sector domains. Comput. Methods Func. Theory (2022). https://doi.org/10.1007/s40315-022-00447-3
Sugawa, T., Vuorinen, M., Zhang, T.: Conformally invariant complete metrics. Math. Proc. Cambridge Philos. Soc. 174(2), 273–300 (2023)
Väisälä, J.: Lectures on \(n\)-Dimensional Quasiconformal Mappings, vol. 229. Springer-Verlag, Berlin-New York (1971)
Vuorinen, M.: Conformal Geometry and Quasiregular Mappings, vol. 1319. Springer-Verlag, Berlin (1988)
Vuorinen, M.: On quasiregular mappings and domains with a complete conformal metric. Math. Z. 194(4), 459–470 (1987)
Vuorinen, M.: Quadruples and spatial quasiconformal mappings. Math. Z. 205(4), 617–628 (1990)
Zhang, X.: Isometries for the modulus metric in higher dimensions are conformal mappings. Sci. Chin. Math. 64(9), 1951–1958 (2021)
Acknowledgements
We are indebted to Prof. Matti Vuorinen for introducing this topic to us and offering useful suggestions during the writing process. We also wish to extend our appreciation to the reviewers for the priceless feedback they provided.
Funding
Open Access funding provided by University of Turku (including Turku University Central Hospital). The first author was financially supported by the University of Turku Graduate School, Doctoral Programme in Exact Sciences (EXACTUS). The research of the second author was supported by the Magnus Ehrnrooth Foundation.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors declare that they have no conflict of interest.
Additional information
Communicated by Saminathan Ponnusamy.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Kargar, R., Rainio, O. Conformally Invariant Metrics and Lack of Hölder Continuity. Bull. Malays. Math. Sci. Soc. 47, 48 (2024). https://doi.org/10.1007/s40840-023-01648-2
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s40840-023-01648-2