Si consideri un gioco con giocatori, con uno spazio di strategia S ⊂ R , in cui S è delimitata set, e il lettore dei payoff funzione π i : S n → R . Le condizioni di Rosen ( JB Rosen. Esistenza e unicità dei punti di equilibrio per i giochi concavi in n-persona. Econometrica, 33 (3): 520–534, 1965 ) per l'unicità dell'equilibrio di Nash nel gioco dei giocatori afferma che l'equlibrium sarà unico quando
- payoff funzione è concavo nella propria strategia
- Esiste un vettore ( ( ∀ i ∈ N ) ( z i ≥ 0 ) ∧ ( ∃ i ∈ N ) ( z i > 0 ) tale che funzione σ ( s , z ) = ∑ n i = 1 z i π i ( s ) è diagonalmente rigorosamente concavo
indica il set di giocatori.
Per definire il concetto di concavità diagonale rigorosa, il pugno introduce 'pseudogradient' della funzione , definito con: g ( s , z ) = ( z 1 ∂ π 1 ( s ) Quindi,si dice che lafunzioneσèdiagonalmente dominanteins∈Sperzfisso0≥se per ognis0,s1∈Svale quanto segue: (s1-s0)′g(s0,z)+(s0-s1)′g(s1,