# The Novel Family of Transcendental Leal-Functions

## Recommended Posts

Posted (edited)

While attempting to solve the differential equation:

$\dfrac{dr'}{dr} = \dfrac{1}{\sqrt{1 - \dfrac{2GM}{c^2 r}}}$

expressing $r$ in terms of $r'$, I encountered a novel family of transcendental functions called "Leal-functions". These functions are similar to the Lambert W function (the function $W(x)$ that solves $W(x)e^{W(x)} = x$), but (apparently) can't be derived from it.

The link to the section that defines these functions:

Below is a list of Leal functions and their definitions:

$y(x) = \textrm{Lsinh}(x)$     $\iff$     $y(x) \sinh(y(x)) = x$

$y(x) = \textrm{Lcosh}(x)$     $\iff$     $y(x) \cosh(y(x)) = x$

$y(x) = \textrm{Ltanh}(x)$     $\iff$     $y(x) \tanh(y(x)) = x$

$y(x) = \textrm{Lcsch}(x)$     $\iff$     $y(x) \textrm{ csch}(y(x)) = x$

$y(x) = \textrm{Lsech}(x)$     $\iff$     $y(x) \textrm{ sech}(y(x)) = x$

$y(x) = \textrm{Lcoth}(x)$     $\iff$     $y(x) \coth(y(x)) = x$

$y(x) = \textrm{Lln}(x)$     $\iff$     $y(x) \ln(y(x) + 1) = x$

$y(x) = \textrm{Ltan}(x)$     $\iff$     $y(x) \tan(y(x)) = x$

$y(x) = \textrm{Lsinh}_2(x)$     $\iff$     $y(x) + \sinh(y(x)) = x$

$y(x) = \textrm{Lcosh}_2(x)$     $\iff$     $y(x) + \cosh(y(x)) = x$

The authors say that the Leal family of functions can be extended to solve other transcendental equations, and provide examples of other similar functions. They even say that users can propose their own functions, applying the methodology used in the article.

It turns out that the solution to the above differential equation for the coordinate transformation of the $g_{rr}$ component of the Schwarzschild metric to $g_{r'r'} = -1$ involves the $\textrm{Lsinh}_2(x)$ Leal-function defined above.

Edited by KJW
##### Share on other sites

Posted (edited)

Consider the differential equation:

$\dfrac{dy}{dx} = \dfrac{1}{\sqrt{1 - 2/x}} = \dfrac{\sqrt{x}}{\sqrt{x - 2}}$

Let:  $x = u + 1$     ;     $dx = du$

$\dfrac{dy}{du} = \dfrac{\sqrt{u + 1}}{\sqrt{u - 1}} = \dfrac{\sqrt{u + 1}}{\sqrt{u - 1}} \dfrac{\sqrt{u + 1}}{\sqrt{u + 1}}$

$= \dfrac{u + 1}{\sqrt{u^2 - 1}}$

$y - C = \sqrt{u^2 - 1} + \textrm{arccosh}(u)$

Let:  $u = \cosh(v)$

$y - C = \sinh(v) + v$

$v = \textrm{Lsinh}_2(y - C)$

$u = \cosh(\textrm{Lsinh}_2(y - C))$

Therefore:

$x = \cosh(\textrm{Lsinh}_2(y - C)) + 1$

Edited by KJW
##### Share on other sites

• 3 weeks later...
Posted (edited)

Hrrm I can see these functions could have a broad range of applications. Thanks for sharing this, gives me something new to study myself. I always keep an eye out for useful mathematical methods that I could employ. I will have to look more into the Leal functions.

You might this listing handy

There is a section listing  transcendental functions. (The article simply has a good listing of various functions for the purpose of quick reference . It doesn't go into any particular details on any of them.

I found it handy in the past you might as well.

Edit doesn't seem to be a whole lot of information on those functions beyond the links you already posted.

Edited by Mordred
##### Share on other sites

• 2 weeks later...
On 5/28/2024 at 10:51 AM, Mordred said:

I can see these functions could have a broad range of applications.

Functions of this type do seem to crop up every now and then in various places. They seem to highlight the notion of how few the functions are that can be expressed in terms of elementary functions.

On 5/28/2024 at 10:51 AM, Mordred said:

You might this listing handy

Thanks.

On 5/28/2024 at 10:51 AM, Mordred said:

Edit doesn't seem to be a whole lot of information on those functions beyond the links you already posted.

I think the authors invented the Leal-functions. I imagine being a contemporary of someone like Euler wondering if this newfangled notation will just be a flash in the pan or whether it will become a permanent part of mathematics.

##### Share on other sites

Posted (edited)

@KJW Is this the paper you looked at?

The novel family of transcendental Leal-functions with applications to
science and engineering - Leal et al

Full pdf link is in there to the paper.

Edited by StringJunky
##### Share on other sites

3 minutes ago, StringJunky said:

@KJW Is this the paper you looked at?

The novel family of transcendental Leal-functions with applications to
science and engineering - Leal et al

Full pdf link is in there to the paper.

Checking the link... yes. The link opens to a webpage that asks if you are a robot. Verifying you are human takes you the webpage of the paper. From the webpage of the paper, you can view the PDF file, from which it can be saved.

##### Share on other sites

1 hour ago, KJW said:

I think the authors invented the Leal-functions. I imagine being a contemporary of someone like Euler wondering if this newfangled notation will just be a flash in the pan or whether it will become a permanent part of mathematics.

That's the impression I got as well.

## Create an account

Register a new account