Uncovering the Link Between the Theoretical and Probabilistic Models of the Global Production Function: A Copula Approach

We provide micro foundations for the global production function (GPF) based on the standard microeconomic model, and we develop a parallel probabilistic model with similar properties. The theoretical and probabilistic models of the GPF are integrated in the context of a technology choice problem. We construct a primitive, named the augmented transformation function, to obtain a GPF and its associated joint distribution that includes the output and labor-saving and capital-saving technological innovations. This type of primitive allows us not only to derive the theoretical GPF but also to consistently build a link between the substitutability microparameters (elasticities) and the probabilistic parameters (correlations). We find that the shape of the GPF is determined by all the relations among technological innovations and output and the way they are combined.


Introduction
Endogenous technology choice models obtain the shape of the GPF from two primitives: (1) the functional form of the local production function (LPF) and (2) the functional form of the technology frontier (TF), which is calculated as a level curve of a predefined joint distribution of labor-and capital-augmenting ideas (Growiec 2008a(Growiec , b, 2013(Growiec , 2018Jones 2005Jones , 2011. Then, the LPF is maximized subject to the TF to find the GPF, microfounding the shape of the GPF by assuming the probabilistic model that gives rise to the TF. Jones (2005) obtains a Cobb-Douglas GPF from a Leontief LPF and a TF viewed as a level curve of a joint distribution with independently Pareto-distributed ideas. He finds that the shape of the GPF is determined by the distribution of ideas rather than by the shape of the LPF. Growiec (2008a, b) shows that if ideas are independently Weibull-distributed (with the same shape parameter) or Pareto-distributed and dependent according to the Clayton copula, then the GPF can be of the CES class. He shows that the GPF is determined by the distribution of ideas and by the shape of the LPF. Growiec (2013) devises a specification of the R&D sector, microfounding the assumption of Weibull-distributed ideas by using extreme value theory. He finds that the Weibull distribution is an accurate approximation of the true distribution of ideas needed to obtain GPFs of the CES class. Growiec (2018) assumes homothetic primitives and finds that the TF and the GPF are dual objects, confirming that the GPF depends on the shapes of both the LPF and the TF unless one of them has the Cobb-Douglas form. He proves that if the idea distribution is homothetic and the copula is additively separable, then the TF is of the CES or Cobb-Douglas form, which translates into a requirement of Pareto or Weibull marginal idea distributions.
In general, the previous literature develops a new method to obtain the GPF and provides relevant insights into the determinants of its shape. However, the functional forms of the primitives impose implicit restrictions on the relations among output and factor-saving ideas and the way they are combined, which have a strong influence on the final GPF. In fact, such assumptions lead us to disregard some of the interdependencies among output and factor-augmenting ideas (Das 2021), to impose the mathematical structure of very specific extreme probability distributions on the TF and the GPF and to envisage the probabilistic model only as a primitive needed to obtain the GPF shape. We hold that these limitations can be avoided by microfounding the shape of the GPF based on the properties of the firm's production set, which is considered a primitive datum of the theory (Debreu 1959;Diewert 1973;Mas-Colel, 1995).
Thus, in this paper, we take a new look at the link between the theoretical and probabilistic models of the GPF in the context of the technology choice problem with given input levels. As opposed to the previous literature, we propose to obtain a microfounded theoretical GPF and link it with a probabilistic model by using a unique primitive: a neoclassical augmented transformation function (ATF), which is an equivalent way of describing the properties of the set of 1 3

The Setup
Here, we construct our basic object, an augmented transformation function (ATF), which reflects the microeconomic structure of the set of feasible production plans available for firms in a competitive economy. This function is augmented because there are two types of technological innovations available for given levels of labor L and capital K in the domain of each production plan. The ATF reflects the relationship among the outputs and the factor-saving innovations, the availability of such innovations, and the substitutability or complementarity between them. We need to introduce this function because it is a primitive that allows us to theoretically derive the local production function (LPF) of a firm and its technology frontier (TF), from which we can derive all the textbook GPFs, 1 and it is naturally associated with a trivariate joint distribution function by using Sklar's theorem, which describes all the probabilistic relations among the technological innovations and output.

Theoretical Setup: A Transformation Function is Used to Obtain a Deterministic Microfounded GPF
We assume that there exists a set of feasible production plans, augmented by capitaland labor-saving technological innovations and a level of knowledge, from which an augmented transformation function (ATF) is realized. The level of knowledge determines the possible pairs of labor-and capital-saving technological innovations. We treat technological innovations as scarce goods that are substitutable or complementary like any other good in the economy. The higher the level of knowledge is, the more possible combinations of technological innovations. We show that the ATF embeds an LPF and a TF that are the basis for deriving a GPF.
Let j ∈ J ⊆ ℝ index a discrete set of homogenous firms in a competitive economy. Let i ∈ I ⊆ ℝ index a feasible production plan (i.e., a pair of labor-saving and capital-saving technological innovations a i and b i , respectively, an exogenous level of knowledge N i , the input levels L i and K i , and the output level 2 Ỹ i ), which is available for the j-th firm at any given point in time t ∈ T = [0, ] . Note that the level of knowledge determines the feasible set of possible pairs of labor-and capital-saving technological innovations. In addition, a multiplicity of pairs (a i , b i ) in this set can attain the same level of knowledge N i .
An augmented production plan (a i , is feasible if the combination of technological innovations a i , b i available for the level of knowledge N i and the levels of inputs L i and K i can produce the level of output Ỹ i . represent a single production plan augmented by a i , b i , and N i , and let B j ⊆ ℝ 6 represent the set of augmented feasible production plans for the j-th firm at time t , where Ỹ i is the output and the available technology pair of innovations (a i , b i ) is associated with the levels of labor and capital, L i and K i , respectively. Let B j be a nonempty, closed, and convex subset of the nonnegative orthant in ℝ 6 that satisfies the following properties: Assumption 2.1.1 not only states the substitutability or complementarity between L i and K i and a i and b i , respectively, but also describes the relationship of such inputs and the level of the available factor-saving technological innovations and output. Properties (i) and (iii) indicate that if we can produce a certain quantity of output with a given amount of inputs and technological innovations, then higher quantities can produce at least the same level of output. Property (ii) indicates that firms can decide not to produce and not incur costs for production and that all inputs and technological innovations are necessary for production. Property (iv) indicates that with finite levels of inputs and technological innovations, we can produce only finite amounts of output.
Note that we might use convex analysis to define and solve the firm's technology choice problem, but it could be unmanageable. To have a functional representation of B j , we define an augmented transformation function that indicates if a feasible augmented production plan (a i , is an augmented transformation function (ATF). Note that (a i , Then, an augmented transformation function inherits the mathematical properties of the set B j , such as the shape of its level surfaces and its quasiconcavity and continuity. To analyze the firm's technology choice problem, we are interested in choosing the optimal levels of feasible technological innovations a i and b i that allow the firm to obtain the maximum amount of production for given input levels. , we can define the following set: Then, we have proven that there exists a duality between the set of augmented feasible production plans, B j , and the augmented transformation function, T(a i , L i , b i , K i ,Ỹ i , N i ) , because we can define each object from the other one, maintaining their properties. Now, we suppose that L and K are fixed for a given time t and a representative firm. As a result, subscripts are not provided for these variables in the remainder of the derivations. Thus, we can write the transformation function as Figure 1 shows an augmented transformation function for a given level of knowledge N.
Then, Assumption 2.1.1 and Definition 2.1.1 imply that a representative firm will choose to produce at the maximum of Ỹ i ∶ T a i , b i ,Ỹ i , N i ≥ 0 for each pair (a i , b i ) ≥ 0 at given levels of L andK . Then, an LPF can be obtained from the transformation function. Note that the level of knowledge N at time t is a given exogenous variable because it is unrelated to the level of production in the short run. Consequently, the LPF can be considered a function that does not depend on the level of knowledgeN . In addition, the maximum of T always exists due to Weierstrass's theorem, as it is a continuous function over the range of Ỹ i and the set Definition 2.1.3 The LPF gives the maximum amount of output Ỹ i that can be produced in the set B j for given levels of L and K , i.e., Definition 2.1.4 For a certain time t , the level of Ỹ i does not influence the exogenous level of knowledge; then, we define the technology frontier (TF) as the set of combinations of technology pairs a i , b i and the level of knowledge N such that Definition 2.1.1 and Proposition 2.1.1 imply that for given levels of L and K , the ATF has embedded in it the following microeconomic information: (1) the availability of labor-and capital-saving technological innovations a i and b i ; (2) the existing substitutability or complementarity between the technological innovations and their relationships; and (3) the relationship among technological innovations and output through the LPF for given inputs in the economy. Thus, we can consistently obtain an LPF and a TF from our ATF for the representative firm that chooses an optimal technology pair a i , b i from B j . As opposed to the previous literature, we derive the LPF and the TF from a unique primitive, the ATF. In contrast, in the literature, it has been assumed that the LPF and TF already exist. Our model has a different nature because we do not need to use extreme value theory (probability theory) to provide 1 3 a microfounded model. Then, the GPF is obtained by maximizing the former subject to the latter. Now, for a given level of knowledge N and levels of L and K , we can also define a global production function (GPF) [see, e.g., (Growiec 2008a;Jones 2005)] for the representative firm as the maximum amount of output Y * i that results from solving the problem of maximizing the LPF subject to the TF (as in Fig. 2). That is, Note that there exists a duality defined among B j , the ATF and the GPF.

Probabilistic Setup: Linking the Deterministic Microfounded ATF with its Corresponding Probability Function
Now, we construct a probabilistic version of our augmented transformation function, which can be achieved using Sklar's theorem. Specifically, we construct a joint distribution function of a i , b i ,Ỹ i , and N i for given levels of L and K by using a multivariate copula, which allows us to link the availability and substitutability microparameters to their probabilistic counterparts (location and correlation probabilistic parameters).
Assumption 2.2.1 There exists a random vector g a a i , (Spanos, 1986) that includes monotone transformations of both labor-and capital-saving technological innovations a i , b i , output Ỹ i , and the level of knowledge N i , which are available to the j-th firm at a given point in time for given levels of L and K.
Let g a (a), g b (b), gỸ Ỹ , g N (N) be a realization of this vector. Then, this assumption implies that there exist marginal distribution functions U, V,W , and X that describe its probabilistic behavior. It also implies that there exists a joint distribution of the random vector g a a i , (Nelsen, 2006) . Notably, our setup is general enough that it allows for more than one substitutability parameter that might determine the shape of the GPF. First, we define a 4-dimensional copula as follows: is a continuous and nondecreasing real-valued function C , parametrized with the set of parameters Θ, ΘỸ , and X = X g N (N);Θ N together by using Sklar's theorem to obtain the joint distribution.
where Θ a ,Θ b ,ΘỸ , and Θ N are the margins' parameter sets and where Θ is the copula's parameter set that describes the probabilistic relationship, i.e., the probabilistic dependence structure, between the involved random variables.
and a given exogenous level of knowledge N, we find that the following monotonically increasing transformation of our ATF 7 is the deterministic version of the following 4-copula function: Thus, as shown in Fig. 1, we have constructed a probabilistic version of our transformation function not only by building a particular copula with margins for g a (a), g b (b), gỸ Ỹ , and g N (N) but also by selecting specific values for the copula's parameter set. These parameters must be consistent with the theoretical parameters of the transformation function. Once we have a probabilistic version of the The maximum in T a i , b i ,Ỹ i , N exists because, as N is a fixed exogenous variable, there is a limit for the size of knowledge at time t . Then, as L and K are fixed, there exists a bounded set of feasible outputs that can be attained by this firm. transformation function, we can derive the LPF and the TF from it by following the procedure indicated in the next corollary.

Corollary 2.2.1 The LPF and the TF can be obtained by using Definition 2.2.1 and Eq. (1), as follows:
(a) The functional form of a deterministic LPF can be obtained as follows. By marginalizing C a, b,Ỹ, N with respect to the random variable N i (X = 1) 8 , using the continuous and nondecreasing transformations h a and h b of a i , and b i , respectively, and a decreasing transformation hỸ of Ỹ i , 9 assuming specific values for the copula dependence parameter set Θ, fixing the probability (1), and rearranging the resulting equation, the following result is obtained: where C −1 W and W −1 Y are inverse transformations of C and W 10 with respect to W and Y, respectively. (b) The deterministic TF can be obtained by marginalizing C a, b,Ỹ, N with respect to the random variable Ỹ i (W = 1), 11 assuming continuous and decreasing transformations q a and q b and an increasing transformation q N 12 of the variables a i , b i , and N i , respectively, taking specific values for the copula parameter set Θ, fixing the probability F abN q a (a), q b (b), q N (N); = C abN (a, b, N) at a constant level P 1 , and rearranging the related equation in terms of a and b as follows: where C −1 X and X −1 N are inverse transformations of C and X 13 with respect to X and A N , respectively, and A N is a constant because N is fixed.
A relevant case is one in which we assume that joint distribution is given by a generalized Archimedean copula family, with a probabilistic dependence parameter set Θ , as shown below. 8 We then obtain the marginalized copula C abỸ a, b,Ỹ = C a, b,Ỹ, 1 (Nelsen 2006). 9 In the LPF, g a (a), g b (b), and gỸ Ỹ are denoted as h a (a) , h b (b) , and hỸ Ỹ , respectively.
10 These inverse transformations exist if C W and W Y are strictly monotone. 11 Then, we obtain the marginalized copula C abN (a, b, N) = C(a, b, 1, N). 12 In the TF, g a (a), g b (b), and gỸ Ỹ are denoted as q a (a) , q b (b) , and q N (N) , respectively.
13 These inverse transformations exist if C X and X N are strictly monotone. Additionally, if the derivatives of the functions U and V are separable as then the elasticity of substitution depends only on Θ through a dependence measure ; i.e., = r( (Θ)), where r is a real function. Additionally, if the marginalized copula C ab U, V;Θ abN is described by a single dependence parameter Θ abN = { } , then comes out as the substitutability parameter of the derived LPF and constitutes the unique link between the elasticity of substitution = ( ) and the probabilistic correlation measure = ( ), as follows: The construction of the transformation function in Corollary 2.2.1 is a relevant case in production theory.
Next, as we have deterministic versions of the LPF and the TF, we can obtain the GPF from the firm's technology choice problem (Jones and Manuelli, 1990):

3
Journal of Quantitative Economics (2023) 21:289-315 where N represents the given level of knowledge at time t.
The solution to (2) yields different closed functional forms of the textbook GPFs, depending on the following values contained in our suitable monotonic transformations of the margins U, V, W, and X : the substitutability parameters, the associated copula parameter set Θ ; the availability parameters Θ a , Θ b , and Θ N ; the output parameters ΘỸ ; and the associated tail-thickness parameters.
, which can occur only if the LPF is convex and the TF is concave or if both are convex but the LPF is more sharply curved than the TF in the feasible augmented technology set for a given L and K. We obtain the following general GPF Y * = Y * L, K, N;Θ a , Θ b , ΘỸ , Θ N , Θ by substituting the optimal values of a * and b * into the LPF.
Proof See Appendix A.1.
Note that as the GPF inherits the parameters of the LPF and the TF, the elasticity of substitution GPF in the GPF is determined by the substitutability parameter set Θ , i.e., the copula's dependence parameter set in the probabilistic space and by the availability parameter set Θ a , Θ b , ΘỸ , and Θ N , i.e., the margins' parameters set in the probabilistic space. In other words, This setup is microfounded because if we wish to obtain a GPF, we assume a general ATF by describing the substitutability or complementarity between the technological innovations and their relationship with the output level. Next, we can associate this microeconomic structure with a particular probability distribution (i.e., a copula) with its margins and connect it to the data with observables (i.e., patents and output), without having data on L and K, to validate the empirical predictions of the model. Specifically, from Corollary 2.2.2, we can derive formulas that relate the substitutability between the innovations and the relationship between the factors and output to a particular probabilistic dependence measure, such as Kendall's tau correlation coefficient, and the availability parameters to tail-thickness parameters. (

Illustration of How to Derive a Nested CES GPF and its Distribution Function Based on an Augmented Transformation Function
Next, we use our setup to derive a novel nested CES GPF that inherits its properties from a well-behaved ATF, augmented by labor-and capital-saving technological innovations. The derived nested CES GPF is determined both theoretically and probabilistically by the parameters and , which are defined in the parameter space Θ . Here, describes the substitutability (dependence) between the two types of technological innovations, whereas characterizes the combined effect of the pair of technological innovations on the output. This GPF is general enough to derive textbook GPFs (Leontief, Cobb-Douglas, CES, and linear). We build the probabilistic version of the transformation function (ATF), T , which is useful to link the microparameters of our nested CES GPF with its probabilistic counterparts and approximate its empirical shape. Finally, such a link allows us to describe a method to compute the microparameters of the GPF by simply estimating two Kendall's tau correlation coefficients: (1) between the two types of technological innovations and (2) between the combined pair of technological innovations and output. which is described by the substitutability parameters and and the availability parameters and for output Ỹ and fixed levels of L, K, and N. In addition, based on Theorem 2.2.1, we can construct a probabilistic version of this transformation function T (which is the basis to build a nested CES function) by using the following nested 4-variate copula 14 : This copula describes the joint behavior of the random variables a i , b i ,Ỹ i , and N i through the dependence parameters and , whose domains are defined on [−1, ∞] . If we marginalize with respect to N i (X = 1) in Eq. (3), we obtain the trivariate copula that describes the joint behavior of the random variables a i , b i , and Ỹ i . Similarly, if we marginalize with respect to Y i (W = 1) in Eq. (3), we obtain the following trivariate copula that describes the joint behavior of the random variables a i , b i , and N i . Next, let us assume that the labor-and capital-saving technological innovations, knowledge level, and output are random draws from the marginal Pareto distributions (Growiec 2008a;Jones 2005); then, the functional form is given by Using Corollary 2.2.1 and Assumption 3.1 and assuming consistent transformations h a a i , h b (b i ) , and hỸ Y i of the random variables a i , b i , and Y i , respectively, and replacing Ỹ i with Y i , we obtain a trivariate probabilistic version of the LPF Corollary 2.2.1 guarantees that by using transformations q a a i , q b (b i ) , and q N N i of the random variables a i , b i , and N i , respectively, we can obtain a probabilistic version of the TF as Note that random variables a i and b i are strongly correlated through the copula parameter in the innovative process. Then, they are mutually correlated with Y i when we consider the full production process through the parameter and are independent of N . These relations are statistically and microeconomically meaningful. Furthermore, by fixing the probability level P 1 in Eq. (5), we obtain the TF 15 Expressions = a L − > 0 and 1 − = b K − > 0 , which are known as the technological change indices of a CES function, are shaped by the availability parameters (tail indices α, β) and the substitutability parameters (copula´s dependence parameters θ and δ). In addition, Eq. (6) describes a general nested CES production function, as it might consider nonlinear and linear relationships between technological innovations and the factors of production L and K.
Next, the firm's technology choice problem consists of maximizing (6) given (7); then, its solution is given in the next lemma.
Lemma 3.2 Based on Proposition 2.2.1 and Eqs. (6) and (7), the producer's optimization problem has a unique solution (a * , b * ) that is substituted into the LPF to obtain the following optimal CES GPF:

Relationships Between the Microeconomic and Probabilistic Models
Note that the copula dependence parameters and come out directly as the microeconomic parameters that determine the shape of the nested CES GPF in Eq. (7). These two parameters also describe the dependence between the output and the combined pair of innovations and between the innovations themselves . Thus, the set of microparameters ( , ) constitutes a link between their corresponding copulas, which are defined on the probability space (Ω, F, P) , and the deterministic TF and the LPF, which are defined on the augmented feasible plans set B j . To obtain a simpler interpretation of the LPF and TF, from a probabilistic point of view, the dependence parameters and can be mapped to the interval [−1,1] by using two dependence measures: the dependence between a i and b I and the dependence between a i , b i and Y i .
As we use a nested Clayton copula with generator (t) for the production model, we represent the copula as C(U, V, W) = −1 2 [ 2 (W) + 2 ( −1 1 1 (U) + 1 (V) )] , with correlation parameters and . Then, the dependence measure Kendall's tau can be obtained by using the following formula  Then, we have the following relationships: (d) Dependence measure between output and innovations (Kendall's tau) wuv = 2+ .
Note that as we know the joint distribution of a i , b i and Y i defined in Eq. (4), we can also recover the values of uv , wuv , ab , and Yab by using the formulas in (a), (b), (c), and (d). The link between ab and uv , i.e., between the probabilistic space ( Ω, F, P ) and the set of augmented production plans B j , is the substitutability parameter , with [−1, ∞] as its range of values. Thus, we can vary the values of the parameter to obtain all the nested classic textbook production functions. In addition, the shape of the GPF and its elasticity of substitution depend not only on the substitutability parameters, i.e., the copula's dependence parameters and statistically approximated by Kendall's tau correlation coefficient but also on the availability parameters, i.e., functional forms of the margins and the values of their location parameters.
Note that the link between KL and c is the substitutability parameter . The range of values of the substitutability parameter in our transformation function is [−1, ∞] ; thus, we can vary the values of the parameter to obtain all the classic production functions. We confirm that the shape of the GPF and its elasticity of substitution depend not only on the substitutability parameter, which is reflected by the copula dependence parameter but also on the availability parameters, i.e., the functional forms of the margins and the values of their parameters. Table 1 shows a summary of the derived GPFs when the LPF and the TF share the same set of parameter values −1 ≤ ≤ ∞ . Note that specific values of are associated with different values of the dependence measure c , the elasticity of substitution KL , and the shape of the GPF. 16

Conclusion
The shape of the GPF is obtained from a unique ATF that reflects the structure of the set of production plans augmented by labor-and capital-saving technological innovations, which is the primitive datum in the theory. We show that the shape of the GPF is determined by all the relations among technological innovations and output and the way they are combined, rather than by the shape of two primitives, the LPF and the TF. By mapping the ATF to its corresponding copula, using Sklar's theorem, we ensure that the probabilistic model of the GPF has the same structure as the production set and, consequently, we can consistently link the elasticities and the correlations. Thus, we provide micro foundations for the GPF exclusively based on the microeconomic model, and we develop a parallel probabilistic model with similar properties. This approach allows us to relax the restrictive assumptions on the functional forms of the primitives, including the probability models often used to determine the shape of the TF, which impose strong restrictions on the shape of the calculated GPFs. We could also propose an ATF and its corresponding production set that gives rise to GPFs with different substitutability properties (i.e., an ATF with Leontief or Cobb-Douglas properties).

Appendix A.1: Proofs of the General Setup
Proof of Proposition 2.1.1 First, monotonicity holds because T is nondecreasing in a i , b i , and N i and nonincreasing in Ỹ i . Next, to prove concavity with respect to a i , b i , two augmented production plans in B j . By Assumption 1, z 0 + (1 − )z 1 is also in B j for all λ ∈ [0,1], given that B j is a convex set. Thus, Global production function (GPF) Journal of Quantitative Economics (2023) 21:289-315 Because we have more options for Ỹ io and Ỹ i1 to optimize, then and the transformation function is concave. To prove continuity from above, let us fix Ỹ i and a given decreasing sequence Proof of Proposition 2.1.3 First, the monotonicity and nondecreasing characteristics in inputs and the level of knowledge properties are inherited by the ATF = 0 (property (ii) in Assumption 2.1.1). Finally, to prove cuasiconcavity, let all ∈ [0,1] . Then, z 0Ỹ + (1 − )z 1Ỹ is also in B j for all ∈ [0,1] . Then, by quasiconcavity of f a i , b i ;0,0 , we have that Convexity fits because T and Y i are concave. (iii) Fits because T is monotone. Property (iv) holds because 0 ≤Ỹ , K, N) , and by mono- K, N) . ◻

Proof of Theorem 2.2.1 T C a, b,Ỹ, N is a well-defined function since B j has at least an
by definition, 0 ≤ T C a, b,Ỹ, N ≤ 1 , which is the range of a proper copula function.
Next, we show that T C a, b,Ỹ, N satisfies the conditions to be represented as a copula function (see Nelsen (2006)). From (ii) in Assumption 1, ensures that the cumulative probability over the entire domain is equal to 1 as in a welldefined distribution function. T c inherits the properties of being continuous from above and nondecreasing for g a (a), g b (b) , and gỸ Ỹ from T. We show that the T C -volume is nonnegative for the 3-variated case, which naturally extends to the 4-variated copula. Then, let us assume a 0 ≤ a 1 , b 0 ≤ b 1 , and Ỹ 0 ≤Ỹ 1 . We define the 3-box Given that g a (a) and g b (b) are nondecreasing and gỸ Ỹ is nonincreasing, the T Cvolume of the 4-box B is given by Given that T C is concave, for all ∈ [0,1] , we have In particular, when = 1 2 , we can define T l From the concavity of T C , we have T l which implies that Therefore, we have that the volume which implies that the transformation function T C behaves as a 3-increasing function and is similar to a 3-copula (and then the 4-copula) function. ◻

Proof of Corollary 2.2.1
The proof easily follows by applying the steps described in this corollary.

Proof of Proposition 2.2.1
Since the LPF and the TF depend on the substitutability parameter set Θ ; the LPF depends on the availability parameters in the economy, Θ a ,Θ b , and Θ N ; and the TF depends on Θ a ,Θ b , and ΘỸ , the shape of the resulting GPF depends on these 5 sets of parameters. The marginal technical rate of substitution (MRTS) between L and K MRTS U a * , L;Θ a , V b * , K;Θ b , ΘỸ , Θ also depends on these parameter sets; then, the elasticity of substitution of the GPF is defined by In addition, based on Ida et al. (2014), any measure of dependence based on the copula C of a generalized Archimedean copula should be of the form = ∬ I 2 f (u, v, C(u, v;Θ))dC (u, v;Θ) , where f = f (u, v, C) is an appropriate smooth positive function. Then, the dependence measure only depends on the copula's parameter set, i.e., = (Θ) . ◻

Proof of Corollary 2.2.2
Based on Proposition 2.1.2 and the definition of a generalized Archimedean copula, we can denote the transformation function as The marginal rate of technical substitution (MRTS) is given by As u and v are simple variables, −1 � (u;Θ) = −1 � (v;Θ) , which reduces to Thus, we take the derivative with respect to Ln K L , and we obtain the elasticity of substitution, which is given by tion function T C is represented by a copula in the probability space with two increasing and nondecreasing margins of a andb , respectively, the derived deterministic LPF f (a, b;L, K) also increases over the compact set D and attains its maximum at the TF by (i) and (iii) of Assumption 1. Then, the maximization of the 0 occurs when they coincide over the TF, with the unique solution(a * ,b * ) when these curves are tangent at this point, which can occur only if the LPF is convex and the TF is concave or the LPF is sharper than the TF in the feasible augmented technology set.
In addition, given that the LPF and TF are represented by the distribution functions F h a (a), h b (b), hỸ (Y);Θ a , Θ b , ΘỸ , Θ and F q a (a), q b (b), q N (N);Θ a , Θ b , Θ N , Θ , respectively, they are determined not only by the substitutability parameter set Θ but U 1 a;Θ a U 2 (L;Θ) .
also by the parameters Θ a , Θ b , ΘỸ , and Θ N . Then, once we maximize the LPF, which is subject to the TF, the optimal values a * and b * also depend on Θ , Θ a , Θ b , ΘỸ , and Θ N .
Since we obtain the GPF by substituting a * and b * into the LPF, we have ◻ 1 3 following Pareto random variables q a a i = −a i , q b b i = −b i , and q N N i = 1 N i to obtain (5).

A.2.2. Model Proofs
Proof of Lemma 3.1 Fixing the probability P 0 = P a i > 1 a , b i > 1 b , Y i > Y in Eq. (4) and solving for Y Y , we have Now, we define a = L 1 + L − − 1 and b = K 1 + K − − 1 and substitute them into the previous equation to obtain We change the scale to obtain a L − + b K − = 1, and finally, we obtain To derive the TF, we fix the probability P 1 = P a i > a, b i > b, N i ≤ N in Eq. (5) and simplify the equation to obtain ◻ Proof of Lemma 3.2 We define the following Lagrange multiplier function: Then, we combine the first-order conditions to obtain b 2 = 1+L 1+K a 2 . Substituting the previous equation into the constraint and solving for a , we have Similarly, we derive the expression for the optimal value of b Then, we substitute these optimal values into the LPF as ; then, we obtain the derivative a = L K L K A N  are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http:// creat iveco mmons. org/ licen ses/ by/4. 0/.