On functions and inverses, both positive, decreasing and convex: And Stieltjes functions

On functions and inverses, both positive, decreasing and convex: And Stieltjes functions G. Keady, N. Khajohnsaksumeth and B. Wiwatanapataphee* Abstract: Any function f from ð0;1Þ onto ð0;1Þ which is decreasing and convex has an inverse g which is positive, decreasing and convex. When f has some form of generalized convexity we determine additional convexity properties inherited by g. When f is positive, decreasing and p; q-convex, its inverse g is q; p-convex. Related properties which pertain when f is a Stieltjes function are developed. The results are illustrated with the Stieltjes function fðxÞ 1⁄4 arctanð1=sqrtðxÞÞ=sqrtðxÞ via a transcendental equation.


Introduction
If f is positive and (strictly) decreasing then, clearly, it has an inverse which is positive and decreasing: the inverse will be denoted by g. If, in addition, f is convex, it is very easy to show that g is also convex. For ease of exposition, assume appropriate differentiability. Denote derivatives with a prime. Starting from f ðxÞ ¼ y, gðyÞ ¼ x and f ðgðyÞÞ ¼ y, and thence f 0 g 0 ¼ 1, a further differentiation gives f 00 ðg 0 Þ 2 þ f 0 g 00 ¼ 0: (1:1) Using f 0 < 0 it follows that, if one of f or g is convex, so is the other. This result is well-known (see Mrševč, 2008; Proposition 1 of Hiriart-Urruty & Martinez-Legaz, 2003), as is the fact that one can remove the differentiability assumptions (for which, see the remarks following Theorem 1).
Theorems A to D are either elementary results or those proved by other authors. Theorems numbered numerically are proved in this paper.
Theorem A. The inverse of a positive, decreasing convex function is positive, decreasing and convex.

ABOUT THE AUTHOR
All the authors are applied mathematicians with interests in a variety of problems from fluid mechanics. See google scholar. New mathematical theorems are sometimes needed to establish results in the applications. This cogent paper is an instance of this.

PUBLIC INTEREST STATEMENT
Convex functions have many applications. https://en.wikipedia.org/wiki/Convex_ function#Functions_of_one_variable New facts about them are likely to be valuable in many areas. Our paper establishes new facts concerning inverse of decreasing convex functions. Our proofs are elementary. This illustrates, again, that simple results concerning classical topics remain to be discovered.

Another elementary fact is
Theorem B. Both the sum, f 0 þ f 1 ,and the product, f 0 f 1 ,of a pair of positive, decreasing convex functions, f 0 and f 1 ,are positive, decreasing and convex.
The preceding theorems A and B are well-known but, prior to the authors' investigations, straightforward developments, in which further convexity properties of f yield further properties of its inverse, do not appear to have had any systematic treatment. In this connection a small development of equation (1.1) is useful: (1:2) The background to this paper is that an application to a partial differential equation (pde) problemstudied in (Keady & Wiwatanapataphee, 2016, 2017, 2018)-required knowledge of convexity or concavity properties of a function μ defined through an implicit equation. It happened that the inverse of this function, denoted ϕ 1 , and the closely related function ϕ 2 , (1:3) happen to be completely monotone and have various other easily established properties. The function ϕ 2 is Stieltjes. (For definitions, see x4.) While calculations with the implicitly defined function were possible-and, indeed were made before the neater approach here was discovered-the routine calculation effort was somewhat unsatisfying. Reducing the amount of calculation (though some remains) led to the topic of this paper: determining convexity properties of the inverse of a function from those of the original function.
There are several functions for this paper.
• General results: (1) We publicise results published in Appendix A of the pde paper (Keady & Wiwatanapataphee, 2018). This is because results such as Theorem 1 will have applications outside pde.
(2) Theorems 2, 3 and 4 form a survey of convexity properties of Stieltjes functions and their inverses.
There are many open questions, some of which concern derivatives higher than the second, e.g. Question 2(ii) of x4.1.
• Results concerning ϕ 1 and ϕ 2 and their inverses: (1) Convexity properties of ϕ 1 , ϕ 2 and their inverses, such as are needed to establish the results in (Keady & Wiwatanapataphee, 2018, 2017, are briefly reviewed. (2) Several of the properties of ϕ 1 and ϕ 2 proved to be easiest established by beginning by noting that they are completely monotone, and ϕ 2 is Stieltjes.
Very early on in this study we obtained evidence, based on the first few derivatives of the inverses of the ϕ, that the following questions might be answered affirmatively.
Question 1. Is the inverse of ϕ 2 completely monotone?
Is the inverse of ϕ 1 completely monotone (and, perhaps even Stieltjes)?
These questions-and the more general ones in x4-remain unresolved.
Theorem 1 is very elementary and appears to be new (to this paper). Theorems 2 onwards will include some readers coming from the application in pde. of (Keady & Wiwatanapataphee, 2017, 2018 who are not familiar with Stieltjes functions, etc. For this reason, we have surveyed relevant definitions and simple properties in a way we hope will be useful for such readers. Because we have many questions in the paper, we highlight the outline of the paper here so readers can return to it if they need to do so.
In our application, Stieltjes functions, denoted S, and/or their reciprocals, the Complete Bernstein Functions, denoted CBF arise. In view of this, and, possible future applications, we discuss these at various points in this paper, notably in x4 and subsequently. As an instance of the sort of neat similarity that sometimes occurs we note the elementary fact: A function h : ð0; 1Þ ! R is convex (concave), if and only if xhð1=xÞ is convex (concave).
This has a parallel, see (Schilling, . Song, & Vondracek, 2010)  A function s : ð0; 1Þ ! R is S if and only if sð1=xÞ=x is S.
As an example concerning the last statement, we mention the Stieltjes function ϕ 2 occuring in our application: The latter function is also a Stieltjes function, which is easily established independently. See the table in x4.3.

First derivatives
This section is genuinely elementary, with extremely simple calculations. Nevertheless it yields results which may not be very well known.
As mentioned earlier, an interest arising from our ϕ 2 being Stieltjes is what can be said about the inverses of Stieltjes functions. Completely monotone and Stieltjes functions are treated in x4, but some easy results can be stated now. The first concerns first derivatives only.
Theorem C. Let f be a positive decreasing (differentiable) function on x > 0.
(i) Each of the functions f ð 1 x Þ=x and 1=ðxf ðxÞÞ is positive and decreasing iff In x2, by way of introduction to the general fact that derivatives of a function f allow one to find properties of its inverse, g, we consider first derivatives. A memorable result is that, if f is a Stieltjes function not equal to a multiple of 1=x, the inverse of f is not a Stieltjes function. In x3 we treat second derivatives and convexity matters. The main result from this section is Theorem 1 which establishes that if a positive, decreasing, convex function f is ðp; qÞ-convex, its inverse g is ðq; pÞ-convex. Various special cases of "convexity with respect to means" are noted.
In x4 we note convexity properties of Stieltjes functions. The Stieltjes function ϕ 2 is the key to neat proofs of properties of its inverse. In x5 we present the transcendental equation which led to this study, and review the properties of ϕ 1 , ϕ 2 and their inverses μ and μ ð2Þ . In x6 we instance a few other situations where a function is defined through a transcendental equation and the methods of this paper might be useful. In x7 we conclude with a short discussion and comment on the questions asked earlier in the paper.
Corollary 1. The only (positive decreasing) Stieltjes functions f whose inverses are also Stieltjes functions are the positive multiples of (the involution) f ðxÞ ¼ 1=x.
Proof. One can appeal to the results that for any Stieltjes function f each of the functions f ð 1 x Þ=x and 1=ðxf ðxÞÞ is Stieltjes. This can also be proved directly, as follows. Since, for t ! 0, the function 1=ðx þ tÞ satisfies inequality (2.1), and, hence, using equation (4.1), so does any Stieltjes function.
Any Stieltjes function is positive and decreasing. The previous paragraph ensures that Theorem C applies and so inequality (2.1) is satisfied Finally the inverse g of f does not satisfy inequality (2.1) so it is not Stieltjes. □ (As an aside here, we remark that there are many completely monotone involutions mapping ð0; 1Þ to ð0; 1Þ, and, as in the previous Corollary, none except 1=x is Stieltjes.) As we have already noted ϕ 2 satisfies inequality (2.1). The inverse of ϕ 1 , denoted μ below, also satisfies inequality (2.1) (and, in so doing, shares this property with Stieltjes functions).
As a lead in to consideration of higher derivatives we remark that equation (2.3) generalises in several ways, for example (2:5) The n ¼ 2 version of the latter is the ðp ¼ À1; q ¼ 1Þ result on a case of ðp; qÞ-concavity of Stieltjes functions. See Definition 1. Theorem 3 is a general statement of the HA-concavity of Stieltjes functions.
Special cases arise sufficiently frequently that there are other notations. There is some literature, notably (Anderson, Vamanamurthy, & Vuorinen, 2007), in connection with 'convexity with respect to means', and the letters A for "arithmetic", G for "geometric", and H for "harmonic" are used to label these. For example, AA-convex is ordinary convexity, AG-convex means log-convex, etc. The correspondence between the ðp; qÞ and the main examples of convexity with respect to means is given in the table.
The set of ðp; 1Þ-convex functions is obviously closed under addition. ð1; qÞ-convexity is related to power-convexity defined and discussed below. Further facts concerning these various convexity properties are given in Appendix A of (Keady & Wiwatanapataphee, 2018).

Definition 2.
A nonnegative function f is said to be q-th power convex if, for qÞ0, qðf ðxÞ q is convex, and 0-power convex if logðf Þ is convex, also called log-convex, or as in (Anderson et al., 2007), AG-convex. See (Lindberg, 1982).
(When q < 0, and f is q-th power convex, then f ðxÞ q is concave.) if f ! 0 is q 0 -th power convex then it is q 1 -th power convex for q 1 ! q 0 .
Another property, used here and again in our application in (Keady & Wiwatanapataphee, 2017, 2018, is, from p159 of (Lindberg, 1982): If q 1 then the set of positive, decreasing, convex functions which are q-th power convex is closed under addition. This set is a convex cone in appropriate function spaces.
Whether the set is closed under multiplication is less important in our present application. As an aside we recall Theorem B and mention (noting that definitions from x4 are needed for later items): Theorem D. The product of AG-convex functions is AG-convex. The product of AG-concave functions is AG-concave.
The product of GG-convex functions is GG-convex. The product of GG-concave functions is GGconcave.
The product of two functions f 0 ; f 1 2 AH is not, in general in AH, but The product of completely monotone functions is completely monotone.
The product of two Stieltjes functions f 0 ; f 1 is not, in general Stieltjes, but (In connection with the GG functions, see also (Niculescu & Persson, 2004) Lemma 2.3.4.) In the proof of Theorem 1 we use the notation Dðf ðxÞ; p; qÞ : Before proving the theorem we note a simple identity (which can be used in connection with μ and μ 2 in x5.2): Dðf ðxÞ 2 ; p; qÞ Dðf ðxÞ; p; 2qÞ ¼ 2: Theorem 1. If a positive, decreasing, convex function f is ðp; qÞ-convex, its inverse g is ðq; pÞ-convex.
The elementary calculus proof above is appropriate here. However differentiability assumptions can be weakened. Define, for pÞ0, the power-mean M p ðx; yÞ ¼ x p þ y p 2 1=p and M 0 ðx; yÞ ¼ ffiffiffiffiffi ffi xy p : The definition that f is ðp; qÞ-convex is often given that f ðM p ðx; yÞÞ M q ðf ðxÞ; f ðyÞÞ. The proof of Theorem 1 given in Appendix A of (Keady & Wiwatanapataphee, 2018) begins with these means.
There are corresponding results for positive, decreasing, ðp; qÞ-concave functions. Also, when the functions are increasing rather than decreasing, convexity of f gives concavity of g and vice-versa. EXAMPLE. Dð1=x α ; p; qÞ ¼ x À1ÀpÀαq αðp þ αqÞ. From this the convexity properties of the positive, decreasing convex functions 1= ffiffi ffi x p and its inverse 1=y 2 are indicated in this diagram: AH À vex ) AG À vex ) AA À vex * GH À ave GG GA À vex + HH À ave ( HG À ave ( HA À ave 1 ffiffi x p AH À ave AG À vex ) AA À vex + * GH À ave GG GA À vex + * HH À ave ( HG À ave HA À vex 1 y 2 For our application to the functions ϕ 1 and ϕ 2 we have the differentiablility needed to apply Theorem 1. However, for other applications, we note that there are other proof techniques. With notation as in that theorem, g the inverse of f , obviously for any invertible α and β, ðβ f αÞ À1 ¼ α À1 g β À1 . Hence, for example, with id the identity and recip the reciprocal function taking x to 1=x, convex; decreasing f is HA À convex , id f recip is convex; increasing , recip g id is concave; increasing , convex; decreasing g is AH À convex: A few results anticipating parts of the preceding theorem have been published. For example, concerning the inverse of a GG functions, we have the following, adapted from (Niculescu & Persson, 2004 Theorem E. If a function f is increasing, multiplicatively convex (GG), and one-to-one, then its inverse is multiplicatively concave (and vice versa).
(GG-a) If a function f is decreasing, multiplicatively convex (GG), and one-to-one, then its inverse is multiplicatively convex.
(HH-a) If a function f is increasing, HH-convex, and one-to-one, then its inverse is HH-concave (and vice versa).
If a function f is decreasing, HH-convex, and one-to-one, then its inverse is HH-convex.
Proof. Once again, simple proofs for C 2 functions use the identities relating derivatives of g, the inverse of f , to those of f .

Higher derivatives. Introduction
This subsection is an aside to the main function of this paper, namely to establish generalised convexity/concavity properties of ϕ 1 and ϕ 2 and their inverses, for use in (Keady & Wiwatanapataphee, 2017, 2018. The subsection is included as the questions here, besides being of interest in their own right, may, if answered, provide simpler and neater routes to the properties used n (Keady & Wiwatanapataphee, 2017, 2018. If one knows a function f is completely monotone or even Stieltjes this provides information about derivatives of all orders. In the same way as we have treated first derivatives in x2 and second derivatives in x3 one may obtain an expression for the higher derivatives of the inverse, g, in terms of those of the original function f . The formulae are given in (Johnson, 2002).
There are many ways that completely monotone and Stieltjes functions either determine relations involving their derivatives or are characterised by these. Concerning third derivatives of Stieltjes functions, consider n ¼ 3 in equations (2.4) and (2.5). For a Stieltjes function f , not only is it completely monotone, with the sign information on the derivatives of f , but as f Ã ðxÞ ¼ f ð1=xÞ=x is also Stieltjes, we also have sign information from the derivatives of f Ã . Concerning completely monotone functions we remark that a result concerning their Hankel determinants is stated near the middle of p167 of (Widder, 1941).
We do not investigate higher derivatives here, but believe they may be useful in answering questions like the following: Question 2. (i) What conditions (if any) are needed to ensure that a Stieltjes function f with range ð0; 1Þ is GA-convex?
(ii) What conditions (if any) are needed to ensure that the inverse g of a Stieltjes function f with range ð0; 1Þ which is GA-convex is such that g is completely monotone?
An affirmative answer to part (iii) would answer the first part of Question 1. There are many inequalities satisfied by derivatives of Stieltjes functions, some of which are given in inequalities (2.3) to (2.5). Others are given in (Widder, 1941), etc.

Perhaps an easier question is:
Question 3. (i) Let f be a completely monotone function mapping ð0; 1Þ onto itself. Is the inverse of f also completely monotone?
(ii) If, as we expect, not, give an example.
It is relatively easy to construct an example of a positive, decreasing, log-convex functions whose inverse is not log-convex. If considerations of second derivatives do not suffice to answer Question 3, or if higher derivatives make it easier to answer, the reference (Johnson, 2002) has the relevant formulae. (ii) If log f is CM,then f is CM (the converse is not true).

Completely monotone functions
(iii) If f 2 CM and g is a positive function with a CM derivative (i.e. a Bernstein function), then the composition x7 ! f ðgðxÞÞ is CM.
A particular case of Lemma 3.4(iii) applies to our functions ϕ 1 and ϕ 2 . As ffiffi ffi x p is Bernstein, as ϕ 1 2 CM so also ϕ 1 ð ffiffi ffi x p Þ ¼ ϕ 2 ðxÞ 2 CM. More generally, since, for t > 0, expðÀt ffiffi ð p zÞÞ is CM, it follows from the Laplace transform representation of f 1 ðzÞ 2 CM that f 1 ð ffiffi ffi z p Þ is also in CM.
Starting with a function f 2 ðzÞ and obtaining properties of f 2 ðz 2 Þ, i.e. f 2 square, seems more difficult. Of course, ϕ 1 ðzÞ ¼ ϕ 2 ðz 2 Þ is CM. Starting with ϕ 1 2 CM then forming ϕ 1 ðz 2 Þ, we note that the inverse Laplace transform of the latter can be found, and it changes sign. ϕ 1 ðz 2 Þ is not in CM, but seems to be log-convex. Starting from the Laplace representation of f 2 seems to be unhelpful in general. We remark that expðÀtz 2 Þ is log-concave in z and sums of log-concave functions are not necessarily logconcave.

Definition and basic properties
Stieltjes functions S are a subclass of CM. A non-negative function f is called a Stieltjes function (f 2 S for short) if there exists a 0 ! 0, a 1 ! 0 and a non-negative measure μðdtÞ on½0; 1Þ integrating ðz þ tÞ À1 such that (4:1) While S is not closed under multiplication it is "logarithmically convex" in the sense that for all g 0 ; g 1 2 S and α 2 ð0; 1Þ we have g 1Àα 0 g α 1 2 S. (See Schilling, Song, & Vondracek, 2010 Proposition 7.10.) Various other cones of functions are treated in (Schilling et al., 2010). The (nonzero) complete Bernstein functions (CBF ) are the reciprocals of (nonzero) Stieltjes functions.
Some of the convexity properties of the kernel 1=ðz þ tÞ are given here: The function f ðxÞ ¼ 1=ð1 þ xÞ has as inverse the function g defined on ð0; 1 by gðyÞ ¼ ð1=yÞ À 1. The function g is log-convex when y < 1=2 and log-/concave for 1=2 < y 1. The function f ðxÞ is GAconvex for x>1 and GA-concave for 0 < x<1. One observation that follows from this is if the input μðtÞ to the representation (4.1) is larger for small t than at larger t the Stieltjes function so formed is more likely to be GA-convex.
There are other characterizations of Stieltjes functions.
• Besides that of equation (4.1) there is that of iterated Laplace transforms (for which, see Schilling et al., 2010 Theorem 2.2 p12). For function f to be a Stieltjes function its inverse Laplace transform should be completely monotone. A simple consequence of this is that if f ðzÞ is Stieltjes, then the completely monotone function f ðzÞ=z cannot be Stieltjes. This is because the inverse Laplace transform of f ðzÞ=z is the integral from 0 of the inverse Laplace transform of f ðzÞ, so increasing and hence not completely monotone.
• There are also characterizations in terms of Nevalinna-Pick functions (for which, see Schilling et al., 2010, p. 56).

Examples, focusing on functions related to that in the application in x5
Define, for 0 a < b 1, Various examples of Stieltjes functions follow: Some comments on the table are appropriate. The first few entries all have range ð0; 1Þ. The later entries have finite ranges (and some, e.g. item 10, are not GA-convex).
• Entry 5 for Stð1; 1; 1 2 ffi ffi t p ; zÞ checks against Also, as mentioned before, for any f 2 S, we have that x7 !f ð1=xÞ=x is also in S, checking against: • Entry 9's function arctanð1= ffiffi ffi z p Þ can be seen to be a Stieltjes function as it is the Laplace transform of a completely monotonic function: The complete monotonicity is proved via the following steps. Beginning from the definition of erfi and using v ¼ ðt À s 2 Þ=t as a change of variable, we find However, for v > 0, expðÀvtÞ= ffiffi t p is the product of CM functions, so CM, and sums and integrals of CM functions are CM. Hence arctanð1= ffiffi ffi z p Þ is Stieltjes.

Various properties of Stieltjes functions
Here is a short list of some properties of the cone of Stieltjes functions:

Stieltjes functions, AG and GA
Any completely monotone function is log-convex, i.e. AG-convex.
We have yet to check when (if always) a Stieltjes function with range ð0; 1Þ is GA-convex. The Stieltjes function ϕ 2 is GA-convex. Any Stieltjes function which is the inverse of a log-convex function, e.g. a completely monotone function, is GA-convex.
Proof. This follows as Theorem 7.3 of (Schilling et al., 2010) ensures that 1=ϕ is a complete Bernstein function. Also any Bernstein function b is positive with b 0 2 CM, so we have ð1=ϕÞ 0 2 CM is positive and decreasing. That it is decreasing is ð1=ϕÞ 00 < 0, i.e. 1=ϕ is concave. In other words, ϕ is AH-convex.
Proof. The result of Theorem 3 follows from item (i) in the above list and Theorem 2. See also (Merkle, 2003).
In connection with our later application, we remark that Theorem 3 gives that ϕ 2 ð1=xÞ is concave, whereas ϕ 1 , which is not Stieltjes, is such that ϕ 1 ð1=xÞ is convex.
Stieltjes functions are simultaneously AH-convex and HA-concave. This, with the AH-HA case of Theorem 1, gives another proof of Corollary 1: the only Stieltjes functions whose inverses are Stieltjes are positive multiples of 1=x.

Stieltjes functions, GG, HG and HH
The next result is weaker than the HA-concavity of Theorem 3 which implies HG-concavity which, in turn, implies HH-concavity: Theorem 4. (i) Any Stieltjes function is HG-concave.
(i) The one-line can be adapted: We remark also that while the Stieltjes function ϕ 2 is necessarily HH-concave, the function ϕ 1 , which is merely in CM, is HH-convex.

A transcendental equation
The transcendental equation and an interest in solutions X with 0 < X < π=2 arises in various applications. The purpose of the remainder of this paper is to extract information on its solutions in a form that can be used in our subsequent paper (Keady & Wiwatanapataphee, 2017, 2018. Before doing this, we note that there are other applications. This transcendental equation has been widely studied, e.g. (Burniston & Siewert, 1973;Luo, Wang, & Jiurong Han, 2015;Markushin, Rosenfelder, & Schreiber, 2003). Numerical values, often used for checks, are given in Table 4.20 of (Abramowitz & Stegun, 1964). Amongst the applications, other than ours in (Keady & Wiwatanapataphee, 2017, 2018, are (i) the energy spectrum for the one-dimensional quantum mechanical finite square well (though with c < 0 in equation (5.1), and (ii) (though again with c < 0) zeros of the spherical Bessel function y 1 ðxÞ ¼ j À2 ðxÞ.
In the application, and notation, in (Keady & Wiwatanapataphee, 2017, 2018 the problem is given β > 0, how does μ depend on c where μðcÞ solves the transcendental equation: It happens that one can re-scale variables so that there is just one independent variableĉ: We have an interest in the smallest positive solutions, 0 < μðcÞ < π=ð2cÞ; 0 <μ < π=ð2ĉÞ: In the application in (Keady & Wiwatanapataphee, 2017, 2018 much of the effort involves obtaining results valid for β ! 0-for Robin boundary conditions-where the corresponding result with β ¼ 0-for Dirichlet boundary conditions-has been available for decades. We will, henceforth, also drop the hat notation. In the next subsection we explore the behaviour of the function ϕ 1 ðμÞ, defined as in (1.3), which is inverse to μðcÞ, that is μ tanðμϕ 1 ðμÞÞ ¼ 1: Also explored are the convexity properties of ϕ 2 where ϕ 2 ðzÞ ¼ ϕ 1 ð ffiffi ffi z p Þ.
5.1. The convexity properties of ϕ 2 andϕ 1 Some properties follow from complete monotonicity, and, for ϕ 2 others follow from it being a Stieltjes function. Yet further properties follow from calculation (the details of which are relegated to appendices of Keady & Wiwatanapataphee, 2017, 2018.
As μ ð2Þ ¼ μ 2 there are some obvious checks. For example, it is clear that the AG, GG-and HGconvexity properties of μ ð2Þ and of μ must be the same. The convexity properties that differ are AH and HA.

Other transcendental equations involving CM functions
Denote the Lambert W function by W. Results concerning Stieltjes representations of W are given in (Kalugin, Jeffreya, Corless, & Borwein, 2012).
The Stieltjes function f ðxÞ ¼ Wð1=xÞ is the solution of gðf Þ :¼ expðÀf Þ=f ¼ x, and g 2 CM as gðyÞ ¼ expðÀyÞ y ¼ ð 1 1 expðÀtyÞ dt: The Stieltjes function f ðxÞ ¼ 1=WðxÞ is the solution of gðf Þ :¼ expð1=f Þ=f ¼ x, and g 2 CM as BesselIð0; 2 ffiffi t p Þ expðÀtyÞ dt: The Stieltjes function gðyÞ ¼ tanhð ffiffi y p Þ ffiffi y p has arisen in connection with one of the author's applied mathematical interests-water waves. That g 2 S is from Proposition 2.22 of (Ehrnstrom & Wahlén, 2016). Amongst the ever-growing menangerie of special functions are "generalized Lambert W" functions. The solution of gðyÞ ¼ x is given in (Mezo & Keady, 2016) as ; À1 : (6:1) To the best of the authors' knowledge, there has been no systematic study of complete monotonicity properties of generalized Lambert W functions.
Here is another example involving a generalized Lambert function, this time with two upper parameters. The equation to be solved, for x is expðxyÞ ¼ ð1 þ x=a 1 Þð1 þ x=a 2 Þ with a 1 > 0; a 2 > 0: (6:2) When a>0, logð1 þ z=aÞ=z is a Stieltjes function for z > 0. Hence it is completely monotone, so convex, and log-convex. A version of the generalized Lambert function-with 2 upper parameters -arises in solving equation (6.2). One is interested in xðy). Take logs y ¼ logðð1 þ x=a 1 Þð1 þ x=a 2 ÞÞ=x: Now the expression on the right is a Stieltjes function of x, and, from this one can draw some conclusions concerning the convexity properties of xðyÞ. (This may be related to a physical problem. See (Barsan, 2016), equations (4) and (62)-(63).)

Conclusion
As a consequence of research associated with convexity properties of a domain functional from a partial differential equation problems (see Keady & Wiwatanapataphee, 2017, 2018 various theorems associated with convex functions and their inverses were discovered. Theorem 1 is the simplest of these.
The application involved a function ϕ 2 which was instantly noted to be Stieltjes from which AH-convexity and HA-concavity (and consequences) follow immediately. Several open questions are posed. See x4.1. That which seems the most important for further results associated with the application of (Keady & Wiwatanapataphee, 2017, 2018 is whether the inverse of ϕ 2 is completely monotone.