Una función de utilidad es aditivamente separable si se puede escribir como: $U(x,y) = u(x) + v(y)$
Ejemplos:
*$U(x,y) = ax + by$ es aditivamente separable por inspección.
*$U(x,y) = ax + bx2 + cy$ también lo es.
*$U(x,y) = x^a y^b$ es aditivamente separable, porque se puede escribir como $U(x,y) = log(x^a)+log(y^b)=alog(x)+b log(y)= u(x) + v(y)$
*$U(x,y) = \frac{xy}{x+y}$ no es aditivamente separable porque no hay forma de transformarlo en una sub-función independiente de $x, y$. Incluso si tomas logaritmos, queda $U = log(x) + log(y) - log(x+y)$ - nota que el tercer término no se puede 'separar'. Generalmente, mezclar suma, multiplicación y exponenciación destruirá la separabilidad aditiva.
Y así podemos ver, la definición real de separabilidad aditiva es:
Una función $f(x_1,...,x_n)$ es AS si se puede reescribir como $f(x_1,...,x_n)=f_1(x_1)+...+f_n(x_n)
La suposición suele ser una de conveniencia matemática. Por ejemplo, cuando la utilidad es aditivamente separable en $x,y$, entonces la utilidad marginal de $x$ no depende del nivel de $y$, y viceversa. Por lo tanto, cualquier cosa que requiera el uso de derivadas parciales se vuelve más fácil. ¿Es una suposición razonable? A veces. Por ejemplo, si tu utilidad depende de manzanas y caballos, probablemente podemos asumir separabilidad aditiva. Si, en cambio, tu utilidad depende de dos cosas estrechamente relacionadas, podría ser una mala suposición.