입증 엄격히 오목 .Πj( xj)엑스j
Πj( xj) = G ( xj) + F( xj와이) = G ( xj) + F( Rj( xj) )
우리가 얻는 차별화
Π'j( xj) = G'( xj) + F'( Rj( xj) ) R'j( xj)
Differentating , 우리는 도착Π'j( xj)
Π′ ′j( xj) = G′ ′( xj) + F′ ′( Rj( xj) ) ( R'j( xj) )2+ F'( Rj( xj) ) R′ ′j( xj) < 0
따라서 는 오목합니다.Πj
대칭 내쉬 평형에서 학업에 소요되는 시간을 결정하십시오. 이라고 부릅니다 .엑스∗ ∗
모든 사람이 선택하는 대칭 내쉬 평형 :엑스∗ ∗
지'( x∗ ∗) + F'( 1 ) R'j( x∗ ∗) = 0
판단되면 보다 크거나, 작거나 같다 ?엑스∗ ∗엑스※
참고 만족엑스※
지'( x※) = 0
및 만족엑스∗ ∗
지'( x∗ ∗) + F'( 1 ) R'j( x∗ ∗) = 0
이 둘을 결합하면
에프'( 1 ) R'j( x∗ ∗) = G'( x※) − G'( x∗ ∗)
이후 및 보유 우리 수득에프'( 1 ) > 0아르 자형'j( x∗ ∗) > 0
지'( x※) − G'( x∗ ∗) > 0
는 오목 하므로 됩니다.지엑스※< x∗ ∗
와 의 학생들의 복지를 비교하십시오 .엑스※엑스∗ ∗
Πj( x∗ ∗) = G ( x∗ ∗) + F( 1 ) = G ( x∗ ∗) < G ( x※)
따라서, 학생들의 오프 더 나쁜 에 비해 .x∗∗x∗
를 보장하는 학업에 대한 세금 을 찾으십시오 .θ∗>0x∗∗=x∗
대칭 내쉬 평형 위치를 모두 선택 세금의 존재 만족x∗∗θ
G′(x∗∗)+F′(1)R′j(x∗∗)−θ=0
의 부호를 확인하기 위해 위의 조건을 와 관련하여 구분합니다 .∂x∗∗/∂θθ
G′′(x∗∗)∂x∗∗∂θ+F′(1)R′′j(x∗∗)∂x∗∗∂θ−1=0
이 결과
∂x∗∗∂θ=1G′′(x∗∗)+F′(1)R′′j(x∗∗)<0
마지막으로, 를 보장하는 를 찾고 싶습니다 . 그렇게하기 위해 우리는θ∗x∗∗=x∗
G′(x∗∗)+F′(1)R′j(x∗∗)−θ=0
위의 를 대체 하여x∗∗=x∗
θ∗=F′(1)R′j(x∗)