However, a closer look at the core identities of the USM, specifically Theorems 1 and 2, reveals something deeper than an algebraic streamlining of Euler’s substitutions. On the positive real hyperbolic components, the inverse-trigonometric angles appearing in these theorems specialize exactly to Lobachevsky’s angle of parallelism. The full principal-branch identities extend the same algebraic parametrization, with controlled complex branches, beyond the positive real domain where the ordinary geometric interpretation applies.
Here is a look at the geometry operating under the hood of the USM.
The Complex Engine of the USM
The foundation of the USM relies on evaluating $e^{\pm i\cos^{-1}(y)}$ and $e^{\pm i\sec^{-1}(y)}$ on their principal complex branches. This allows the framework to cover the relevant real components within one principal-branch calculus, with explicit sign and endpoint conventions.
When establishing the transforms, we defined specific angles. In Theorem 1, for the domain $\vert y\vert \ge 1$, we set:
$$\beta = \csc^{-1}(y)$$
In Theorem 2, for the domain $\vert y\vert \le 1$, we set:
$$\psi = \sin^{-1}(y)$$
In both theorems, the central algebraic identities involve the tangents of these half-angles:
$$e^{\pm i\alpha} = \tan\left(\frac{\beta}{2}\right)$$
and
$$e^{\pm i\phi} = \tan\left(\frac{\psi}{2}\right)$$
with the signs determined by the relevant real component and the principal-branch convention.
Algebraically, these identities rationalize the corresponding integrals. But geometrically, what exactly are $\beta$ and $\psi$?
The Gudermannian Connection
Restrict attention to the positive components where these variables acquire their direct hyperbolic-geometric interpretation.
Let $u \ge 0$. The Gudermannian function may be defined by:
$$\operatorname{gd}(u) = \arctan(\sinh u)$$
Because:
$$\tan(\operatorname{gd}(u)) = \sinh u$$
we obtain:
$$\cos(\operatorname{gd}(u)) = \frac{1}{\sqrt{1+\sinh^2 u}} = \frac{1}{\cosh u} = \operatorname{sech} u$$
Thus:
$$\boxed{\cos(\operatorname{gd}(u)) = \operatorname{sech} u}$$
Since:
$$0 \le \operatorname{gd}(u) < \frac{\pi}{2}$$
its complementary angle lies in the interval $(0, \pi/2]$ and satisfies:
$$\sin\left(\frac{\pi}{2}-\operatorname{gd}(u)\right) = \operatorname{sech} u$$
Therefore:
$$\boxed{\arcsin(\operatorname{sech} u) = \frac{\pi}{2}-\operatorname{gd}(u)}$$
This identity identifies the angles appearing in both USM theorems.
Theorem 2
For the positive component of Theorem 2, set:
$$y = \operatorname{sech} u, \qquad 0 < y \le 1$$
Because:
$$\psi = \sin^{-1}(y)$$
we have:
$$\psi = \arcsin(\operatorname{sech} u)$$
Consequently:
$$\boxed{\psi = \frac{\pi}{2}-\operatorname{gd}(u)}$$
Thus $\psi$ is precisely the complementary Gudermannian angle.
Theorem 1
For the positive component of Theorem 1, set:
$$y = \cosh u, \qquad y \ge 1$$
Because:
$$\beta = \csc^{-1}(y)$$
we obtain:
$$\begin{aligned} \beta &= \operatorname{arccsc}(\cosh u) \\ &= \arcsin\left(\frac{1}{\cosh u}\right) \\ &= \arcsin(\operatorname{sech} u) \end{aligned}$$
Therefore:
$$\boxed{\beta = \frac{\pi}{2}-\operatorname{gd}(u)}$$
The two USM angles are consequently identical:
$$\boxed{\beta (\operatorname{cosh} u) = \psi (\operatorname{sech} u) = \frac{\pi}{2}-\operatorname{gd}(u)}$$
This conclusion is obtained before invoking the geometry of the angle of parallelism.
Lobachevsky’s Angle of Parallelism
Lobachevsky’s angle of parallelism, denoted by $\Pi(u)$, is classically complementary to the Gudermannian:
$$\Pi(u) + \operatorname{gd}(u) = \frac{\pi}{2}$$
Equivalently:
$$\Pi(u) = \frac{\pi}{2}-\operatorname{gd}(u)$$
Combining this with the identities obtained above gives:
$$\boxed{\beta (\operatorname{cosh} u) = \psi (\operatorname{sech} u) = \Pi(u)}$$
Thus the angles appearing in the positive hyperbolic components of Theorems 1 and 2 are literally Lobachevsky’s angle of parallelism.
The complete chain is:
$$\boxed{\Pi(u) = \operatorname{arccsc}(\cosh u) = \arcsin(\operatorname{sech} u) = \frac{\pi}{2}-\operatorname{gd}(u)}$$
This also reproduces the defining trigonometric relationship:
$$\sin\Pi(u) = \operatorname{sech} u$$
The Half-Angle Parameters
The geometric interpretation becomes especially clear when we examine the half-angle parameters used by the USM.
Lobachevsky’s classical formula is:
$$\boxed{\tan\left(\frac{\Pi(u)}{2}\right) = e^{-u}}$$
In Theorem 1, after setting:
$$y = \cosh u$$
the principal inverse cosine satisfies:
$$\alpha = \cos^{-1}(\cosh u) = iu$$
Therefore, on the positive component:
$$e^{i\alpha} = e^{i(iu)} = e^{-u}$$
Theorem 1 also gives:
$$e^{i\alpha} = \tan\left(\frac{\beta}{2}\right)$$
Since $\beta = \Pi(u)$:
$$\boxed{e^{i\alpha} = \tan\left(\frac{\beta}{2}\right) = \tan\left(\frac{\Pi(u)}{2}\right) = e^{-u}}$$
Similarly, in Theorem 2, after setting:
$$y = \operatorname{sech} u$$
we have:
$$\phi = \sec^{-1}(\operatorname{sech} u) = \cos^{-1}(\cosh u) = iu$$
Hence:
$$e^{i\phi} = e^{i(iu)} = e^{-u}$$
Theorem 2 gives:
$$e^{i\phi} = \tan\left(\frac{\psi}{2}\right)$$
Since $\psi = \Pi(u)$:
$$\boxed{e^{i\phi} = \tan\left(\frac{\psi}{2}\right) = \tan\left(\frac{\Pi(u)}{2}\right) = e^{-u}}$$
Thus the two apparently different USM parameters coincide on their positive hyperbolic components:
$$\boxed{t (\operatorname{cosh} u)= r (\operatorname{sech} u) = e^{-u}}$$
More completely:
$$\boxed{\begin{aligned} t(\cosh u) &= e^{i\arccos(\cosh u)} = \tan\left(\frac{\operatorname{arccsc}(\cosh u)}{2}\right) = e^{-u}, \\[2mm] r(\operatorname{sech} u) &= e^{i\operatorname{arcsec}(\operatorname{sech} u)} = \tan\left(\frac{\arcsin(\operatorname{sech} u)}{2}\right) = e^{-u}. \end{aligned}}$$
The same imaginary principal inverse angle $iu$ appears through two reciprocal hyperbolic coordinates:
$$\cosh u \qquad \text{and} \qquad \operatorname{sech} u$$
Theorem 1 reaches it through:
$$\cos^{-1}(\cosh u) = iu$$
while Theorem 2 reaches it through:
$$\sec^{-1}(\operatorname{sech} u) = \cos^{-1}(\cosh u) = iu$$
What This Means for the USM
The parameters driving the USM transforms are not arbitrary algebraic devices. On the positive real hyperbolic components, the substitution parameter is exactly:
$$e^{-u}$$
which is equivalently the tangent of half the angle of parallelism:
$$e^{-u} = \tan\left(\frac{\Pi(u)}{2}\right)$$
The two central USM angles are therefore different inverse-function representations of the same geometric quantity:
$$\boxed{\beta = \operatorname{arccsc}(\cosh u) = \Pi(u)}$$
and
$$\boxed{\psi = \arcsin(\operatorname{sech} u) = \Pi(u)}$$
Their common Gudermannian representation is:
$$\boxed{\beta (\operatorname{cosh} u) = \psi (\operatorname{sech} u) = \Pi(u) = \frac{\pi}{2}-\operatorname{gd}(u)}$$
The full identities of Theorems 1 and 2 also include the negative real components, where principal-branch signs must be handled separately. Those cases belong to the analytic and algebraic extension of the USM rather than to the direct interpretation as the ordinary positive angle of parallelism.
On the positive hyperbolic components, however, the geometric meaning is exact: the USM parameters calculate the exponential of the negative hyperbolic distance, the tangent of half Lobachevsky’s angle of parallelism, and the half-angle parameter of the complementary Gudermannian angle—all as the same quantity.
Note. Here $u$ is the dimensionless hyperbolic distance in the standard curvature-$-1$ normalization. If the hyperbolic plane has curvature
$$K=-\frac{1}{R^2}$$
and $d$ denotes geometric distance, then $u=d/R$, and Lobachevsky’s formula becomes
$$e^{-d/R}.$$
$$K=-\frac{1}{R^2}$$
and $d$ denotes geometric distance, then $u=d/R$, and Lobachevsky’s formula becomes
$$e^{-d/R}.$$
No hay comentarios:
Publicar un comentario