Date: 27/09/2022 10:16:47
From: mollwollfumble
ID: 1937799
Subject: Special functions

Dang it, I used to know this.

What is the name of the special function f(x) that satisfies f(f(x)) = ln(x)?
What is the name of the special function g(x) that satisfies g(g(x)) = exp(x)?

Reply Quote

Date: 27/09/2022 10:21:11
From: roughbarked
ID: 1937801
Subject: re: Special functions

Exponential function

Reply Quote

Date: 27/09/2022 11:17:00
From: mollwollfumble
ID: 1937833
Subject: re: Special functions

mollwollfumble said:


Dang it, I used to know this.

What is the name of the special function f(x) that satisfies f(f(x)) = ln(x)?
What is the name of the special function g(x) that satisfies g(g(x)) = exp(x)?

> Exponential function

No. e^(e^x) ≠ e^x

Reply Quote

Date: 27/09/2022 11:21:08
From: roughbarked
ID: 1937834
Subject: re: Special functions

mollwollfumble said:


mollwollfumble said:

Dang it, I used to know this.

What is the name of the special function f(x) that satisfies f(f(x)) = ln(x)?
What is the name of the special function g(x) that satisfies g(g(x)) = exp(x)?

> Exponential function

No. e^(e^x) ≠ e^x

The exponential function is a convex function. So by Jensen’s Inequality E(eX)≤eE(X). Equality will only hold if X is degenerate.

Reply Quote

Date: 27/09/2022 11:26:34
From: The Rev Dodgson
ID: 1937835
Subject: re: Special functions

mollwollfumble said:


mollwollfumble said:

Dang it, I used to know this.

What is the name of the special function f(x) that satisfies f(f(x)) = ln(x)?
What is the name of the special function g(x) that satisfies g(g(x)) = exp(x)?

> Exponential function

No. e^(e^x) ≠ e^x

I don’t even know what a special function is, but the internet tells me that exponential functions are not special, so are exponential exponential functions special?

Reply Quote

Date: 27/09/2022 11:55:07
From: btm
ID: 1937847
Subject: re: Special functions

mollwollfumble said:


Dang it, I used to know this.

What is the name of the special function f(x) that satisfies f(f(x)) = ln(x)?
What is the name of the special function g(x) that satisfies g(g(x)) = exp(x)?

If you can read German, here’s a 1950 journal article on that very topic (I can’t find an English translation)
Reelle analytische Lösungen der Gleichung φ(φ(x)) = ex und verwandter Funktionalgleichungen.

FWIW, it’s a holomorphic Abel function. it’s also a half exponential function.

Reply Quote

Date: 27/09/2022 12:06:49
From: SCIENCE
ID: 1937848
Subject: re: Special functions

Putin probably knows something about these

Reply Quote

Date: 27/09/2022 12:09:08
From: roughbarked
ID: 1937849
Subject: re: Special functions

SCIENCE said:


Putin probably knows something about these

The gloss somewhat worn off.

Reply Quote

Date: 27/09/2022 12:16:14
From: SCIENCE
ID: 1937855
Subject: re: Special functions

roughbarked said:


SCIENCE said:

Putin probably knows something about these

The gloss somewhat worn off.

so it’s a smooth special function with a turning point at Kharkiv

Reply Quote

Date: 28/09/2022 17:46:52
From: mollwollfumble
ID: 1938341
Subject: re: Special functions

The Rev Dodgson said:


mollwollfumble said:

mollwollfumble said:

Dang it, I used to know this.

What is the name of the special function f(x) that satisfies f(f(x)) = ln(x)?
What is the name of the special function g(x) that satisfies g(g(x)) = exp(x)?

> Exponential function

No. e^(e^x) ≠ e^x

I don’t even know what a special function is, but the internet tells me that exponential functions are not special, so are exponential exponential functions special?

Special functions, see https://en.wikipedia.org/wiki/List_of_mathematical_functions

The function f(x) such that f(f(x)) = log x is the one I most want to track down.

For sufficiently large x,
This f(x) is smaller than x^ε for arbitrarily small positive ε.
And larger than (log x)^n for arbitrarily large n.

I tried “logarithmic integral”, “iterated logarithm” and “super-logarithm” from that list. No luck, except that “super-logarithm” is similar, it’s larger than a constant and smaller than log(log( …(log x)… ) ) for arbitrarily many nestings of the logarithm function.

Reply Quote

Date: 30/09/2022 22:11:33
From: mollwollfumble
ID: 1939227
Subject: re: Special functions

Dang it. Lost my last post here and didn’t even notice it.

The function f(f(x)) = exp(x)
is called the half-exponential function. I found it by accident on wikipedia.

https://en.wikipedia.org/wiki/Functional_square_root
https://en.wikipedia.org/wiki/Half-exponential_function
https://en.wikipedia.org/wiki/Fractional_calculus

Reply Quote

Date: 30/09/2022 22:12:45
From: roughbarked
ID: 1939229
Subject: re: Special functions

mollwollfumble said:


Dang it. Lost my last post here and didn’t even notice it.

The function f(f(x)) = exp(x)
is called the half-exponential function. I found it by accident on wikipedia.

https://en.wikipedia.org/wiki/Functional_square_root
https://en.wikipedia.org/wiki/Half-exponential_function
https://en.wikipedia.org/wiki/Fractional_calculus

Took you this long?

Reply Quote

Date: 30/09/2022 22:25:21
From: btm
ID: 1939232
Subject: re: Special functions

btm said:


mollwollfumble said:

Dang it, I used to know this.

What is the name of the special function f(x) that satisfies f(f(x)) = ln(x)?
What is the name of the special function g(x) that satisfies g(g(x)) = exp(x)?

If you can read German, here’s a 1950 journal article on that very topic (I can’t find an English translation)
Reelle analytische Lösungen der Gleichung φ(φ(x)) = ex und verwandter Funktionalgleichungen.

FWIW, it’s a holomorphic Abel function. it’s also a half exponential function.

*bump* for moll.

Reply Quote

Date: 30/09/2022 22:37:07
From: dv
ID: 1939234
Subject: re: Special functions

btm said:


btm said:

mollwollfumble said:

Dang it, I used to know this.

What is the name of the special function f(x) that satisfies f(f(x)) = ln(x)?
What is the name of the special function g(x) that satisfies g(g(x)) = exp(x)?

If you can read German, here’s a 1950 journal article on that very topic (I can’t find an English translation)
Reelle analytische Lösungen der Gleichung φ(φ(x)) = ex und verwandter Funktionalgleichungen.

FWIW, it’s a holomorphic Abel function. it’s also a half exponential function.

*bump* for moll.

Note that there are an infinite number of functions f(x) such that f(f(x)) = e^x …

Reply Quote