Sí, son las mismas definiciones. Gráficamente las diferentes integrales calculan la misma área sólo que girada 90 grados. Las formas geométricas tienen la misma área independientemente de la rotación.
Prueba general:
Supongamos que tenemos una región de fijo tamaño llamado CS en el cuadrante I del sistema de coordenadas cartesianas delimitado por p(q) y p= p_0 . El área de la región vendría dada por:
\text{ CS} = \lim_{n \to \infty} \sum [p(q_i)- p_0] \Delta q, \text{with } \quad \Delta q = \frac{q_0-0}{n}
Tomando el límite obtenemos:
\text{CS} = \int_{0}^{q_0} [p(q) - p_0] \ dq
Ahora integra el mismo fijo zona CS delimitada por p(q) y p_0 por y eje.
Dado que CS está acotado por p(q) y p_0 en y estamos integrando sobre el intervalo [p_{max},p_0] sobre la función inversa p(q)^{-1} es decir q=p(q) (no incluimos p_0 ya que es una función constante y, por tanto, el límite en y eje). Por lo tanto, en y ejes el fijo área de CS se define como:
\text{CS}= \lim_{n \to \infty} \sum q(p_i)\Delta p, \text{with} \quad \Delta p = \frac{p_{max}-p_0}{n}
tomando el límite que obtenemos:
\text{CS}= \int_{p_0}^{p_{max}}q(p)dp
Como estamos hablando de CS del mismo tamaño que nosotros:
\int_{0}^{q_0} [p(q) - p_0] \ dq = \text{CS} = \int_{p_0}^{p_{max}}q(p)dp
Y de ahí que hayamos demostrado que:
\int_{0}^{q_0} [p(q) - p_0] \ dq = \int_{p_0}^{p_{max}}q(p)dp
Ejemplo:
Puede comprobarlo probando varias funciones de demanda. Supongamos que tenemos una demanda dada por Q=100-p El precio de equilibrio viene dado por p=10 .
Varian:
CS(10)= \int_{10}^{100}(100-p)dp= 100(100) -\frac{1}{2}(100)^2-100(10) -\frac{1}{2}(10)^2=4050
No Varian:
primero tenemos que resolver la demanda inversa que viene dada por: p=100-q (recordemos que al fijar $p=10 \implies q^*=90).
CS(10)= \int_{0}^{90}[(100-q)-10]dp= 4050
Esto será válido para cualquier función arbitraria ya que el excedente del consumidor es gráficamente un objeto geométrico y las integrales respectivas son sólo diferentes formas de calcular el área de este objeto dependiendo de cómo se rote el plano con el objeto.
De forma más general, lo que hace Varian se conoce como integración a lo largo del eje y.