- $U(x,y) = \sqrt{x^2 - y^2}$ tiene curvas de indiferencia cóncavas. Como usted ha señalado, esto puede comprobarse fijando la utilidad a un nivel constante $\overline{U}$ .
$\overline{U} = \sqrt{x^2 - y^2} \iff \overline{U}^{2} = x^2 - y^2 \iff y^2 = x^2 - \overline{U}^2 \iff y = \sqrt{x^2 - \overline{U}^2}$ ,
el último paso suponiendo que las cantidades no pueden ser negativas.
Tenga en cuenta que $\overline{U}$ es constante, entonces la cantidad $\overline{U}^2$ es una constante, que renombraremos como $C$ .
Obtenemos la familia de curvas de indiferencia como $y = \sqrt{x^2 - C}$ .
Diferenciando con respecto a x,
$\frac{dy}{dx} = \frac{x}{\sqrt{x^2 - C}}$
Diferenciando de nuevo con respecto a x,
$\frac{d^2 y}{dx^2} = \frac{\sqrt{x^2 - C} - x \frac{x}{\sqrt{x^2 - C}}}{x^2 - C} = \frac{\frac{x^2 - C - x^2}{\sqrt{x^2 - C}}}{x^2 - C} = \frac{-C}{(x^2 - C)^{\frac{3}{2}}}$
La cantidad en el denominador es positiva siempre que ella misma y $\frac{d^2 y}{dx^2}$ bien definida y puesto que $C = \overline{U}^2$ es positivo siempre que $\frac{d^2 y}{dx^2}$ está bien definida.
Esa buena definición de la que hablo se produce cuando $x > y$ ya que no se pueden sacar raíces cuadradas de números negativos. El interior de root cuadrada puede ser $0$ pero la derivada no existiría ya que root cuadrada está en el denominador.
Así que tenemos
$\frac{d^2 y}{dx^2} < 0$ cuando $x > y$ .
Desde $x > y \iff \overline{U} > 0,$ esto nos da la concavidad de las curvas de indiferencia para $\overline{U} \in (0,\infty)$ .
Los puntos donde $y = x$ son exactamente la curva de indiferencia para $\overline{U} = 0$ . Como es una línea recta, es cóncava. (Las líneas son a la vez convexas y cóncavas, son una especie de comodín).
Por lo tanto, la curva de indiferencia para $\overline{U} = 0$ también es cóncava.
Obtuvimos que las curvas de indiferencia para $\overline{U} \in [0,\infty)$ son cóncavas.
Dado que la gama de $U(x,y) = \sqrt{x^2 - y^2}$ es $[0,\infty)$ podemos concluir que todas las curvas de indiferencia son cóncavas.
Como usted ha señalado, esta función de utilidad tiene una MRS negativa, debido a lo siguiente:
$\frac{\partial U}{\partial y} = \frac{-y}{\sqrt{x^2 - y^2}}$ que es negativo para todos $y > 0$ .
Esto significa que $U$ es decreciente en $y$ que hace que $y$ un mal más que un bien, como se señala en el comentario. Este es el problema de fondo.
La mayor parte de la teoría se basa tanto en $x, y$ siendo bienes económicos, es decir, la función de utilidad es no decreciente en ambos $x,y$ por lo que habría que tener más cuidado con las reglas que se enseñan cuando uno de los "bienes" es en realidad un mal económico.
Nota: Esta función de utilidad no tiene sentido cuando $y > x$ porque daría root cuadrada de un número negativo.
Por otro lado, para esa función de utilidad Cobb-Douglas, $x,y$ son siempre bienes económicos, ya que
$\frac{\partial U}{\partial x} = \frac{y}{2 \sqrt{xy}}$ ,
$\frac{\partial U}{\partial y} = \frac{x}{2 \sqrt{xy}}$ .
Ya que ambos no pueden ser negativos,
$MRS = \frac{\frac{\partial U}{\partial x}}{\frac{\partial U}{\partial y}}$ no puede ser negativo, como has señalado.
Editar después de comentario de OP:
$MU_x = \frac{\partial U}{\partial x} = \frac{x}{\sqrt{x^2 - y^2}}$ ,
$MU_y = \frac{\partial U}{\partial y} = \frac{-y}{\sqrt{x^2 - y^2}}$ .
De aquí obtenemos
$MRS_{x,y} = \frac{MU_x}{MU_y} = - \frac{x}{y}$ .
En $MRS$ que solemos calcular es $MRS_{x,y}$ salvo que se indique lo contrario.
Aunque esto sea negativo, cuando $x$ aumenta, la fracción $\frac{x}{y}$ aumenta a medida que $x$ está en el numerador y ambas cantidades son positivas.
Esto implica que $MRS_{x,y} = - \frac{x}{y}$ se vuelve más negativo a medida que $x$ aumenta. Que sea más negativo implica que está disminuyendo.