Pub Date : 2024-04-23DOI: 10.1007/s00010-024-01059-z
Manisha Devi, Jaspal Singh Aujla, Mohsen Kian, Mohammad Sal Moslehian
Let A and B be (ntimes n) positive definite complex matrices, let (sigma ) be a matrix mean, and let (f: [0,infty )rightarrow [0,infty )) be a differentiable convex function with (f(0)=0). We prove that
where m represents the smallest eigenvalues of A and B and M represents the largest eigenvalues of A and B. If f is differentiable and concave, then the reverse inequalities hold. We use our result to improve some known subadditivity inequalities involving unitarily invariant norms under certain mild conditions. In particular, if f(x)/x is increasing, then
holds for all A and B with (Mle A+B). Furthermore, we apply our results to explore some related inequalities. As an application, we present a generalization of Minkowski’s determinant inequality.
让 A 和 B 是(n 次 n)正定复矩阵,让(sigma )是一个矩阵均值,让(f: [0,infty )rightarrow [0,infty )) 是一个可微凸函数,且(f(0)=0)。我们证明 $$begin{aligned} f^{prime }(0)(Asigma B)le f^{f(m)}{m}(Asigma B)le f(A)sigma f(B)le f^{f(M)}{M}(Asigma B)le f^{prime }(M)(Asigma B)、end{aligned}$$其中 m 代表 A 和 B 的最小特征值,M 代表 A 和 B 的最大特征值。如果 f 是可微且凹的,则反向不等式成立。我们利用我们的结果改进了一些已知的、在某些温和条件下涉及单位不变规范的次等不等式。特别是,如果 f(x)/x 是递增的,那么 $$begin{aligned}|||f(A)+f(B)|||le frac{f(M)}{M}|||A+B||||le ||f(A+B)||| end{aligned}$$holds for all A and B with (Mle A+B)。此外,我们还应用我们的结果探讨了一些相关的不等式。作为应用,我们提出了闵科夫斯基行列式不等式的一般化。
{"title":"Matrix inequalities between $$f(A)sigma f(B)$$ and $$Asigma B$$","authors":"Manisha Devi, Jaspal Singh Aujla, Mohsen Kian, Mohammad Sal Moslehian","doi":"10.1007/s00010-024-01059-z","DOIUrl":"https://doi.org/10.1007/s00010-024-01059-z","url":null,"abstract":"<p>Let <i>A</i> and <i>B</i> be <span>(ntimes n)</span> positive definite complex matrices, let <span>(sigma )</span> be a matrix mean, and let <span>(f: [0,infty )rightarrow [0,infty ))</span> be a differentiable convex function with <span>(f(0)=0)</span>. We prove that </p><span>$$begin{aligned} f^{prime }(0)(A sigma B)le frac{f(m)}{m}(Asigma B)le f(A)sigma f(B)le frac{f(M)}{M}(Asigma B)le f^{prime }(M)(Asigma B), end{aligned}$$</span><p>where <i>m</i> represents the smallest eigenvalues of <i>A</i> and <i>B</i> and <i>M</i> represents the largest eigenvalues of <i>A</i> and <i>B</i>. If <i>f</i> is differentiable and concave, then the reverse inequalities hold. We use our result to improve some known subadditivity inequalities involving unitarily invariant norms under certain mild conditions. In particular, if <i>f</i>(<i>x</i>)/<i>x</i> is increasing, then </p><span>$$begin{aligned} |||f(A)+f(B)|||le frac{f(M)}{M} |||A+B|||le |||f(A+B)||| end{aligned}$$</span><p>holds for all <i>A</i> and <i>B</i> with <span>(Mle A+B)</span>. Furthermore, we apply our results to explore some related inequalities. As an application, we present a generalization of Minkowski’s determinant inequality.</p>","PeriodicalId":55611,"journal":{"name":"Aequationes Mathematicae","volume":"67 1","pages":""},"PeriodicalIF":0.8,"publicationDate":"2024-04-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140799775","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-04-22DOI: 10.1007/s00010-024-01064-2
José Pedro Gaivão, Michel Laurent, Arnaldo Nogueira
We study maps of the unit interval whose graph is made up of two increasing segments and which are injective in an extended sense. Such maps (f_{varvec{p}}) are parametrized by a quintuple (varvec{p}) of real numbers satisfying inequations. Viewing (f_{varvec{p}}) as a circle map, we show that it has a rotation number (rho (f_{varvec{p}})) and we compute (rho (f_{varvec{p}})) as a function of (varvec{p}) in terms of Hecke–Mahler series. As a corollary, we prove that (rho (f_{varvec{p}})) is a rational number when the components of (varvec{p}) are algebraic numbers.
{"title":"Rotation number of 2-interval piecewise affine maps","authors":"José Pedro Gaivão, Michel Laurent, Arnaldo Nogueira","doi":"10.1007/s00010-024-01064-2","DOIUrl":"https://doi.org/10.1007/s00010-024-01064-2","url":null,"abstract":"<p>We study maps of the unit interval whose graph is made up of two increasing segments and which are injective in an extended sense. Such maps <span>(f_{varvec{p}})</span> are parametrized by a quintuple <span>(varvec{p})</span> of real numbers satisfying inequations. Viewing <span>(f_{varvec{p}})</span> as a circle map, we show that it has a rotation number <span>(rho (f_{varvec{p}}))</span> and we compute <span>(rho (f_{varvec{p}}))</span> as a function of <span>(varvec{p})</span> in terms of Hecke–Mahler series. As a corollary, we prove that <span>(rho (f_{varvec{p}}))</span> is a rational number when the components of <span>(varvec{p})</span> are algebraic numbers.</p>","PeriodicalId":55611,"journal":{"name":"Aequationes Mathematicae","volume":"1 1","pages":""},"PeriodicalIF":0.8,"publicationDate":"2024-04-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140799835","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-04-21DOI: 10.1007/s00010-024-01067-z
Elham Mohammadi, Abbas Najati, Kazimierz Nikodem
Consider a real vector space denoted as X, and let cc(Y) represent the collection of all convex and compact subsets of a real Hausdorff topological vector space Y. This paper investigates set-valued solutions of the Pexiderized quadratic functional equation
for unknown functions (f_1,f_2,f_3,f_4:Xrightarrow cc(Y)). This functional equation incorporates many functional equations including the quadratic, Cauchy’s and Drygas’ equations. A characterization for set-valued solutions of this functional equation is presented in this paper.
{"title":"Set valued pexiderized quadratic functional equation","authors":"Elham Mohammadi, Abbas Najati, Kazimierz Nikodem","doi":"10.1007/s00010-024-01067-z","DOIUrl":"https://doi.org/10.1007/s00010-024-01067-z","url":null,"abstract":"<p>Consider a real vector space denoted as <i>X</i>, and let <i>cc</i>(<i>Y</i>) represent the collection of all convex and compact subsets of a real Hausdorff topological vector space <i>Y</i>. This paper investigates set-valued solutions of the Pexiderized quadratic functional equation </p><span>$$begin{aligned} f_1(x+y)+f_2(x-y)=f_3(x)+f_4(y), end{aligned}$$</span><p>for unknown functions <span>(f_1,f_2,f_3,f_4:Xrightarrow cc(Y))</span>. This functional equation incorporates many functional equations including the quadratic, Cauchy’s and Drygas’ equations. A characterization for set-valued solutions of this functional equation is presented in this paper.</p>","PeriodicalId":55611,"journal":{"name":"Aequationes Mathematicae","volume":"51 1","pages":""},"PeriodicalIF":0.8,"publicationDate":"2024-04-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140623865","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-04-20DOI: 10.1007/s00010-024-01050-8
Angshuman R. Goswami
Let ([a,b]subseteq mathbb {R}) be a non-empty and non singleton closed interval and (P={a=x_0<cdots <x_n=b}) is a partition of it. Then (f:Irightarrow mathbb {R}) is said to be a function of r-bounded variation, if the expression (sum nolimits ^{n}_{i=1}|f(x_i)-f(x_{i-1})|^{r}) is bounded for all possible partitions like P. One of the main results of the paper deals with the generalization of the classical Jordan decomposition theorem. We establish that for (rin ]0,1]), a function of r-bounded variation can be written as the difference of two monotone functions. While for (r>1), under minimal assumptions such a function can be treated as an approximately monotone function which can be closely approximated by a nondecreasing majorant. We also prove that for (0<r_1<r_2), the function class of (r_1)-bounded variation is contained in the class of functions satisfying (r_2)-bounded variations. We go through approximately monotone functions and present a possible decomposition for (f:I(subseteq mathbb {R}_+)rightarrow mathbb {R}) satisfying the functional inequality
$$f(x)le f(x)+(y-x)^{p}quad (x,yin I text{ with } x<y text{ and } pin ]0,1[ ).$$
A generalized structural study has also been done in that specific section. On the other hand, for (ell [a,b]ge d), a function satisfying the following monotonic condition under the given assumption will be termed as d-periodically increasing
$$f(x)le f(y)quad text{ for } text{ all }quad x,yin Iquad text{ with }quad y-xge d.$$
We establish that in a compact interval any function satisfying d-bounded variation can be decomposed as the difference of a monotone and a d-periodically increasing function. The core details related to past results, motivation, structure of each and every section are thoroughly discussed below.
让([a,b]/subseteq mathbb {R})是一个非空且非单子的封闭区间,并且(P={a=x_0</cdots <x_n=b})是它的一个分区。如果表达式 (sum nolimits ^{n}_{i=1}|f(x_i)-f(x_{i-1})|^{r}) 对于所有可能的 P 分区都是有界的,那么我们就可以说这个函数是一个有界的变化函数。我们证明,对于 (rin ]0,1]) 来说,r 有界变化的函数可以写成两个单调函数的差。而对于 (r>1),在最小的假设条件下,这样的函数可以被看作是一个近似单调函数,它可以被一个非递减大数近似。我们还证明,对于(0<r_1<r_2),(r_1)-有界变化的函数类包含在满足(r_2)-有界变化的函数类中。我们通过近似单调函数,提出了满足函数不等式 $$f(x)le f(x)+(y-x)^{p}quad (x,yin I text{ with } x<y text{ and } pin ]0,1[ ) 的 f:I(subseteq mathbb {R}_+)rightarrow mathbb {R} 的可能分解。$$在该章节中还进行了广义的结构研究。另一方面,对于(ell [a,b]ge d ),在给定假设下满足以下单调条件的函数将被称为 d-periodically increasing $$f(x)le f(y)quad text{ for }。我们确定,在一个紧凑区间内,任何满足d-有界变化的函数都可以分解为单调函数和d-周期递增函数之差。下面将详细讨论与过去的结果、动机、每一节的结构有关的核心细节。
{"title":"Generalizing the concept of bounded variation","authors":"Angshuman R. Goswami","doi":"10.1007/s00010-024-01050-8","DOIUrl":"https://doi.org/10.1007/s00010-024-01050-8","url":null,"abstract":"<p>Let <span>([a,b]subseteq mathbb {R})</span> be a non-empty and non singleton closed interval and <span>(P={a=x_0<cdots <x_n=b})</span> is a partition of it. Then <span>(f:Irightarrow mathbb {R})</span> is said to be a function of <i>r</i>-bounded variation, if the expression <span>(sum nolimits ^{n}_{i=1}|f(x_i)-f(x_{i-1})|^{r})</span> is bounded for all possible partitions like <i>P</i>. One of the main results of the paper deals with the generalization of the classical Jordan decomposition theorem. We establish that for <span>(rin ]0,1])</span>, a function of <i>r</i>-bounded variation can be written as the difference of two monotone functions. While for <span>(r>1)</span>, under minimal assumptions such a function can be treated as an approximately monotone function which can be closely approximated by a nondecreasing majorant. We also prove that for <span>(0<r_1<r_2)</span>, the function class of <span>(r_1)</span>-bounded variation is contained in the class of functions satisfying <span>(r_2)</span>-bounded variations. We go through approximately monotone functions and present a possible decomposition for <span>(f:I(subseteq mathbb {R}_+)rightarrow mathbb {R})</span> satisfying the functional inequality </p><span>$$f(x)le f(x)+(y-x)^{p}quad (x,yin I text{ with } x<y text{ and } pin ]0,1[ ).$$</span><p>A generalized structural study has also been done in that specific section. On the other hand, for <span>(ell [a,b]ge d)</span>, a function satisfying the following monotonic condition under the given assumption will be termed as <i>d</i>-periodically increasing </p><span>$$f(x)le f(y)quad text{ for } text{ all }quad x,yin Iquad text{ with }quad y-xge d.$$</span><p>We establish that in a compact interval any function satisfying <i>d</i>-bounded variation can be decomposed as the difference of a monotone and a <i>d</i>-periodically increasing function. The core details related to past results, motivation, structure of each and every section are thoroughly discussed below.</p>","PeriodicalId":55611,"journal":{"name":"Aequationes Mathematicae","volume":"116 1","pages":""},"PeriodicalIF":0.8,"publicationDate":"2024-04-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140623861","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-04-16DOI: 10.1007/s00010-024-01060-6
Alireza Khalili Golmankhaneh, Palle E. T. Jørgensen, Cristina Serpa, Kerri Welch
The paper covers the foundations of fractal calculus on fractal curves, defines different function classes, establishes vector spaces for (F^{alpha })-integrable functions, introduces local fractal integrable functions and fractal distribution functionals, defines the dual space of a fractal function space, proves completeness for (F^{alpha })-differentiable function spaces, defines Fractal Sobolev spaces, and introduces fractal gradian and fractal Laplace operators on fractal Hilbert spaces. It also presents criteria for the existence of unique solutions to fractal differential equations.
{"title":"About Sobolev spaces on fractals: fractal gradians and Laplacians","authors":"Alireza Khalili Golmankhaneh, Palle E. T. Jørgensen, Cristina Serpa, Kerri Welch","doi":"10.1007/s00010-024-01060-6","DOIUrl":"https://doi.org/10.1007/s00010-024-01060-6","url":null,"abstract":"<p>The paper covers the foundations of fractal calculus on fractal curves, defines different function classes, establishes vector spaces for <span>(F^{alpha })</span>-integrable functions, introduces local fractal integrable functions and fractal distribution functionals, defines the dual space of a fractal function space, proves completeness for <span>(F^{alpha })</span>-differentiable function spaces, defines Fractal Sobolev spaces, and introduces fractal gradian and fractal Laplace operators on fractal Hilbert spaces. It also presents criteria for the existence of unique solutions to fractal differential equations.\u0000</p>","PeriodicalId":55611,"journal":{"name":"Aequationes Mathematicae","volume":"57 1","pages":""},"PeriodicalIF":0.8,"publicationDate":"2024-04-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140608423","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-04-15DOI: 10.1007/s00010-024-01054-4
David Rochera
This paper characterizes curves where a regular polygon of either a variable side length or a constant side length is allowed to rotate during k full revolutions while having its vertices on the curve during the motion. A constructive method to generate these curves is given based on the curve described by the polygon centers (centroids) during the motion and some examples are shown. Moreover, if the regular polygon divides the curve perimeter into parts of equal length, it is proved that the curve is either a rotational symmetric curve in the case of a variable side length or a circle otherwise. Finally, in the case of a regular polygon of constant side length rotating along a curve, a simple relation between the algebraic areas of such a curve and the curve of polygon centers is revisited.
本文描述了这样的曲线:允许边长可变或边长不变的正多边形旋转 k 周,同时在运动过程中其顶点位于曲线上。根据运动过程中多边形中心(圆心)描述的曲线,给出了生成这些曲线的构造方法,并展示了一些示例。此外,如果正多边形将曲线周长划分为长度相等的部分,则证明在边长可变的情况下,曲线是旋转对称曲线,反之则是圆。最后,在边长不变的正多边形沿曲线旋转的情况下,重新探讨了这种曲线的代数面积与多边形中心曲线之间的简单关系。
{"title":"Curves that allow the motion of a regular polygon","authors":"David Rochera","doi":"10.1007/s00010-024-01054-4","DOIUrl":"https://doi.org/10.1007/s00010-024-01054-4","url":null,"abstract":"<p>This paper characterizes curves where a regular polygon of either a variable side length or a constant side length is allowed to rotate during <i>k</i> full revolutions while having its vertices on the curve during the motion. A constructive method to generate these curves is given based on the curve described by the polygon centers (centroids) during the motion and some examples are shown. Moreover, if the regular polygon divides the curve perimeter into parts of equal length, it is proved that the curve is either a rotational symmetric curve in the case of a variable side length or a circle otherwise. Finally, in the case of a regular polygon of constant side length rotating along a curve, a simple relation between the algebraic areas of such a curve and the curve of polygon centers is revisited.</p>","PeriodicalId":55611,"journal":{"name":"Aequationes Mathematicae","volume":"90 1","pages":""},"PeriodicalIF":0.8,"publicationDate":"2024-04-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140577789","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-04-11DOI: 10.1007/s00010-024-01055-3
Xuguang Lu
Arising from an equilibrium state of a Fermi–Dirac particle system at the lowest temperature, a new characterization of the Euclidean ball is proved: a compact set (Ksubset {{{mathbb {R}}}^n}) (having at least two elements) is an n-dimensional Euclidean ball if and only if for every pair (x, yin partial K) and every (sigma in {{{mathbb {S}}}^{n-1}}), either (frac{1}{2}(x+y)+frac{1}{2}|x-y|sigma in K) or (frac{1}{2}(x+y)-frac{1}{2}|x-y|sigma in K). As an application, a measure version of this characterization of the Euclidean ball is also proved and thus the previous result proved for (n=3) on the classification of equilibrium states of a Fermi–Dirac particle system holds also true for all (nge 2).
从费米-狄拉克粒子系统在最低温度下的平衡态出发,证明了欧几里得球的一个新特征:一个紧凑集(K子集{{{{mathbb {R}}^n}) (至少有两个元素)是一个n维的欧几里得球,当且仅当对于每一对 (x、y in partial K) 和 every (sigma in {{mathbb {S}}}^{n-1}}), either (frac{1}{2}(x+y)+frac{1}{2}|x-y|sigma in K) or(frac{1}{2}(x+y)-frac{1}{2}|x-y|sigma in K).作为一个应用,欧几里得球的这一特征的度量版本也被证明了,因此之前证明的关于费米-狄拉克粒子系统平衡态分类的(n=3)的结果对于所有的(nge 2) 也是成立的。
{"title":"A characterization of the Euclidean ball via antipodal points","authors":"Xuguang Lu","doi":"10.1007/s00010-024-01055-3","DOIUrl":"10.1007/s00010-024-01055-3","url":null,"abstract":"<div><p>Arising from an equilibrium state of a Fermi–Dirac particle system at the lowest temperature, a new characterization of the Euclidean ball is proved: a compact set <span>(Ksubset {{{mathbb {R}}}^n})</span> (having at least two elements) is an <i>n</i>-dimensional Euclidean ball if and only if for every pair <span>(x, yin partial K)</span> and every <span>(sigma in {{{mathbb {S}}}^{n-1}})</span>, either <span>(frac{1}{2}(x+y)+frac{1}{2}|x-y|sigma in K)</span> or <span>(frac{1}{2}(x+y)-frac{1}{2}|x-y|sigma in K)</span>. As an application, a measure version of this characterization of the Euclidean ball is also proved and thus the previous result proved for <span>(n=3)</span> on the classification of equilibrium states of a Fermi–Dirac particle system holds also true for all <span>(nge 2)</span>.</p></div>","PeriodicalId":55611,"journal":{"name":"Aequationes Mathematicae","volume":"98 3","pages":"637 - 660"},"PeriodicalIF":0.9,"publicationDate":"2024-04-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00010-024-01055-3.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140577781","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-04-10DOI: 10.1007/s00010-024-01052-6
Omar Ajebbar, Elhoucien Elqorachi, Henrik Stetkær
Let G be a topological group, and let C(G) denote the algebra of continuous, complex valued functions on G. We determine the solutions (f,g,h in C(G)) of the Levi-Civita equation
$$begin{aligned} g(xy) = g(x)g(y) + f(x)h(y), x,y in G, end{aligned}$$
that extends the cosine addition law. As a corollary we obtain the solutions (f,g in C(G)) of the cosine subtraction law (g(xy^*) = g(x)g(y) + f(x)f(y)), (x,y in G) where (x mapsto x^*) is a continuous involution of G. That (x mapsto x^*) is an involution, means that ((xy)^* = y^*x^*) and (x^{**} = x) for all (x,y in G).
让 G 是一个拓扑群,让 C(G) 表示 G 上连续复值函数的代数。我们确定了 Levi-Civita 方程 $$begin{aligned} g(xy) = g(x)g(y) + f(x)h(y), x,y in G, end{aligned}$ 的解(f,g,h in C(G)),它扩展了余弦加法法则。作为推论,我们得到了余弦减法法则 (g(xy^*) = g(x)g(y) + f(x)f(y)), (x,y in G) 的解 (f,g in C(G)) 其中 (x mapsto x^*) 是 G 的连续反卷。(x映射到x^*)是一个内卷,意味着对于所有的(x,y in G) ,((xy)^* = y^*x^*) 和(x^{**} = x).
{"title":"The cosine addition and subtraction formulas on non-abelian groups","authors":"Omar Ajebbar, Elhoucien Elqorachi, Henrik Stetkær","doi":"10.1007/s00010-024-01052-6","DOIUrl":"10.1007/s00010-024-01052-6","url":null,"abstract":"<div><p>Let <i>G</i> be a topological group, and let <i>C</i>(<i>G</i>) denote the algebra of continuous, complex valued functions on <i>G</i>. We determine the solutions <span>(f,g,h in C(G))</span> of the Levi-Civita equation </p><div><div><span>$$begin{aligned} g(xy) = g(x)g(y) + f(x)h(y), x,y in G, end{aligned}$$</span></div></div><p>that extends the cosine addition law. As a corollary we obtain the solutions <span>(f,g in C(G))</span> of the cosine subtraction law <span>(g(xy^*) = g(x)g(y) + f(x)f(y))</span>, <span>(x,y in G)</span> where <span>(x mapsto x^*)</span> is a continuous involution of <i>G</i>. That <span>(x mapsto x^*)</span> is an involution, means that <span>((xy)^* = y^*x^*)</span> and <span>(x^{**} = x)</span> for all <span>(x,y in G)</span>.\u0000</p></div>","PeriodicalId":55611,"journal":{"name":"Aequationes Mathematicae","volume":"98 6","pages":"1657 - 1676"},"PeriodicalIF":0.9,"publicationDate":"2024-04-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00010-024-01052-6.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140577778","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-04-09DOI: 10.1007/s00010-024-01053-5
Pentti Haukkanen
An arithmetical function f is multiplicative if (f(1)=1) and (f(mn)=f(m)f(n)) whenever m and n are coprime. We study connections between certain subclasses of multiplicative functions, such as strongly multiplicative functions, over-multiplicative functions and totients. It appears, among others, that the over-multiplicative functions are exactly same as the totients and the strongly multiplicative functions are exactly same as the so-called level totients. All these functions satisfy nice arithmetical identities which are recursive in character.
当 m 和 n 是同素数时,如果 (f(1)=1) 和 (f(mn)=f(m)f(n)) 是乘法函数,则算术函数 f 是乘法函数。我们研究了乘法函数的某些子类之间的联系,如强乘法函数、超乘法函数和 totients。除其他外,超乘法函数与图腾完全相同,强乘法函数与所谓的级图腾完全相同。所有这些函数都满足具有递归性质的算术等式。
{"title":"On some classes of multiplicative functions","authors":"Pentti Haukkanen","doi":"10.1007/s00010-024-01053-5","DOIUrl":"https://doi.org/10.1007/s00010-024-01053-5","url":null,"abstract":"<p>An arithmetical function <i>f</i> is multiplicative if <span>(f(1)=1)</span> and <span>(f(mn)=f(m)f(n))</span> whenever <i>m</i> and <i>n</i> are coprime. We study connections between certain subclasses of multiplicative functions, such as strongly multiplicative functions, over-multiplicative functions and totients. It appears, among others, that the over-multiplicative functions are exactly same as the totients and the strongly multiplicative functions are exactly same as the so-called level totients. All these functions satisfy nice arithmetical identities which are recursive in character.\u0000</p>","PeriodicalId":55611,"journal":{"name":"Aequationes Mathematicae","volume":"86 1","pages":""},"PeriodicalIF":0.8,"publicationDate":"2024-04-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140577947","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-04-06DOI: 10.1007/s00010-024-01049-1
Gennaro Auricchio
In this note, we show that the squared Wasserstein distance can be expressed as the average over the sphere of one dimensional Wasserstein distances. We name this new expression for the Wasserstein Distance Radiant Formula. Using this formula, we are able to highlight new connections between the Wasserstein distances and the Sliced Wasserstein distance, an alternative Wasserstein-like distance that is cheaper to compute.
{"title":"A note on the Radiant formula and its relations to the sliced Wasserstein distance","authors":"Gennaro Auricchio","doi":"10.1007/s00010-024-01049-1","DOIUrl":"10.1007/s00010-024-01049-1","url":null,"abstract":"<div><p>In this note, we show that the squared Wasserstein distance can be expressed as the average over the sphere of one dimensional Wasserstein distances. We name this new expression for the Wasserstein Distance <i>Radiant Formula</i>. Using this formula, we are able to highlight new connections between the Wasserstein distances and the Sliced Wasserstein distance, an alternative Wasserstein-like distance that is cheaper to compute.</p></div>","PeriodicalId":55611,"journal":{"name":"Aequationes Mathematicae","volume":"98 5","pages":"1317 - 1332"},"PeriodicalIF":0.9,"publicationDate":"2024-04-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00010-024-01049-1.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140578027","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}