English

An inequality related to M\"{o}bius transformations

Metric Geometry 2019-02-14 v1

Abstract

The open unit ball B={vRn ⁣:v<1}\mathbb{B} = \{\mathbf{v}\in\mathbb{R}^n\colon\|\mathbf{v}\|<1\} is endowed with M\"{o}bius addition M\oplus_M defined by uMv=(1+2u,v+v2)u+(1u2)v1+u,v+u2v2\mathbf{u}\oplus_M\mathbf{v} = \dfrac{(1 + 2\langle\mathbf{u},\mathbf{v}\rangle + \|\mathbf{v}\|^2)\mathbf{u} + (1 - \|\mathbf{u}^2)\mathbf{v}}{1 + \langle\mathbf{u},\mathbf{v}\rangle + \|\mathbf{u}\|^2\|\mathbf{v}\|^2\|} for all u,vB\mathbf{u},\mathbf{v}\in \mathbf{B}. In this article, we prove the inequality uv1+uvuMvu+v1uv \dfrac{\|\mathbf{u}\|-\|\mathbf{v}\|}{1+\|\mathbf{u}\|\|\mathbf{v}\|}\leq \|\mathbf{u}\oplus_M \mathbf{v}\| \leq \dfrac{\|\mathbf{u}\|+\|\mathbf{v}\|}{1-\|\mathbf{u}\|\|\mathbf{v}\|} in B\mathbb{B}. This leads to a new metric on B\mathbb{B} defined by dT(u,v)=tan1uMv,d_T(\mathbf{u},\mathbf{v}) = \tan^{-1}{\|-\mathbf{u}\oplus_M\mathbf{v}\|}, which turns out to be an invariant of M\"{o}bius transformations on Rn\mathbb{R}^n carrying B\mathbb{B} onto itself. We also compute the isometry group of (B,dT)(\mathbb{B}, d_T) and give a parametrization of the isometry group by vectors and rotations.

Cite

@article{arxiv.1902.05003,
  title  = {An inequality related to M\"{o}bius transformations},
  author = {Themistocles M. Rassias and Teerapong Suksumran},
  journal= {arXiv preprint arXiv:1902.05003},
  year   = {2019}
}

Comments

14 pages

R2 v1 2026-06-23T07:40:06.504Z