# Marshallsche Nachfragefunktion

Als marshallsche Nachfragefunktion (auch walrasianische Nachfragefunktion), benannt nach dem Ökonomen Alfred Marshall (bzw. Léon Walras), bezeichnet man in der Mikroökonomik und dort speziell in der Haushaltstheorie eine mathematische Funktion, die für gegebene Güterpreise und ein gegebenes Einkommen angibt, welche Menge von jedem einzelnen Gut konsumiert werden sollte, wenn man den größtmöglichen Nutzen realisieren möchte.

Ausgangspunkt der Überlegungen, die zur marshallschen Nachfragefunktion führen, ist das Prinzip der Nutzenmaximierung: Ein Konsument (typischerweise ein Haushalt) entscheidet selbständig über die Aufteilung seines Vermögens auf den Konsum unterschiedlicher Güter, die zu bestimmten Preisen angeboten werden. Je nachdem, wie er sein Vermögen aufteilt, unterscheidet sich sein Ausgabenplan. Grundidee der marshallschen Nachfrage ist, dass der Konsument immer genau jenen Ausgabenplan wählt, den er allen anderen leistbaren Ausgabenplänen gegenüber vorzieht. Die marshallsche Nachfrage beschreibt genau diesen – optimalen – Ausgabenplan, indem sie angibt, wie viel unter diesem von jedem einzelnen existierenden Gut konsumiert werden soll. Weil es sich um eine Funktion handelt, beschreibt die marshallsche Nachfrage diesen Ausgabenplan nicht nur für irgendeine spezielle Vermögenshöhe und irgendwelche speziellen Güterpreise, sondern für alle möglichen Vermögenshöhen und Güterpreise.
Das Konzept der marshallschen Nachfragefunktion lässt sich verallgemeinern. Allgemeiner spricht man dann von einer marshallschen Nachfragekorrespondenz (auch walrasianischen Nachfragekorrespondenz). Dabei wird das mathematische Konzept der Funktion gegen das einer Korrespondenz ausgetauscht, wodurch es möglich wird, dass ein Konsument mit einem gewissen Vermögen und bei gewissen Güterpreisen in der Ökonomie auch mitunter nicht nur einen, sondern mehrere optimale Ausgabenpläne haben kann.


## Nichttechnische Einführung
### Idee der Nutzenfunktion
Es gibt verschiedene Möglichkeiten, die Nachfrage von Konsumenten nach einem Gut zu modellieren. Welche angemessen ist, hängt davon ab, welche Annahme man über das Zustandekommen der Konsumentscheidung macht. Man könnte etwa davon ausgehen, dass Konsumenten zufällig irgendeine Kombination von Güterbündeln wählen, ungeachtet dessen, wie viel ihnen die entsprechenden Güter überhaupt wert sind; oder man könnte sich vorstellen, dass ein sozialer Planer sämtliches Vermögen der Konsumenten an sich nimmt und ihnen nach eigenen Kriterien bestimmte Warenkörbe zuteilt. Grundgedanke der modernen Nutzentheorie ist indes, dass Konsumenten ihre Entscheidung über den Konsum der Menge an einem bestimmten Gut aufgrund ihrer Präferenzen treffen. Konsumenten verfügen über individuelle Präferenzordnungen; eine solche Präferenzordnung schließt über alle möglichen Kombinationen sämtlicher Güter hinweg die Information ein, ob das eine Güterbündel als mindestens so begehrenswert, als ebenso begehrenswert oder als höchstens so begehrenswert wie das andere Güterbündel empfunden wird (ein Beispiel für ein Güterbündel wäre etwa „1 Apfel, 1 Banane, 0 Orangen und 2 Mangos“ und die individuelle Präferenzordnung mag die Information enthalten, wie sich das Güterbündel „2 Äpfel, 0 Bananen, 1 Orange und 2 Mangos“ für den betrachteten Konsumenten dazu verhält).
Eine einfachere Möglichkeit, diese Information auszudrücken, besteht darin, statt komplexer Ordnungen eine einfache Funktion zu betrachten. Unter bestimmten Voraussetzungen lässt sich eine Nutzenfunktion konstruieren, die für ein gegebenes Güterbündel irgendeine Zahl ausgibt. Diese Zahl ist für sich bedeutungslos; ihre Bedeutung ergibt sich erst aus dem Vergleich mit den Nutzenwerten anderer Güterbündel. Daraus wird nämlich offensichtlich, welches Güterbündel der Konsument lieber mag: Vergleicht man irgendwelche zwei Güterbündel, dann ist der Nutzenwert eines Bündels 
  
    
      
        
          A
        
      
    
    {\displaystyle \mathrm {A} }
  
 genau dann strikt größer als der eines Bündels 
  
    
      
        
          B
        
      
    
    {\displaystyle \mathrm {B} }
  
, wenn der Konsument, dessen Nutzenfunktion wir betrachten, das Bündel 
  
    
      
        
          A
        
      
    
    {\displaystyle \mathrm {A} }
  
 gegenüber 
  
    
      
        
          B
        
      
    
    {\displaystyle \mathrm {B} }
  
 bevorzugt.


### Marshallsche Nachfrage
Die marshallsche Nachfrage verbindet diesen Gedanken mit einem verwandten: Ein vernünftiger Konsument wird ein „möglichst bevorzugtes“ Güterbündel konsumieren, was mit vorstehender Überlegung gleichbedeutend dazu ist, dass es ihm einen möglichst hohen Nutzen verschafft. Allerdings kann nicht in uferlosem Ausmaß konsumiert werden. Jeder Konsument unterliegt einer so genannten Budgetrestriktion, das heißt, er kann keine Güterbündel konsumieren, die er sich bei den herrschenden Güterpreisen gar nicht leisten könnte. Unter denjenigen Güterbündeln, die er sich leisten kann, wählt er dann erwähntermaßen genau das, das ihm den größten Nutzen verschafft. Man stelle sich nun vor, dass es nur zwei Güter gibt, die wir möglichst einfach als „Gut 1“ und „Gut 2“ bezeichnen wollen und die zu Preisen 
  
    
      
        
          p
          
            1
          
        
      
    
    {\displaystyle p_{1}}
  
 bzw. 
  
    
      
        
          p
          
            2
          
        
      
    
    {\displaystyle p_{2}}
  
 auf dem Markt verfügbar sind. Dann beschreibt das folgende Problem das Nutzenmaximierungsproblem des Konsumenten:

  
    
      
        max
        
        u
        (
        
          x
          
            1
          
        
        ,
        
          x
          
            2
          
        
        )
      
    
    {\displaystyle \max \;u(x_{1},x_{2})}
  
     unter den Nebenbedingungen     
  
    
      
        
          p
          
            1
          
        
        
          x
          
            1
          
        
        +
        
          p
          
            2
          
        
        
          x
          
            2
          
        
        ≤
        y
      
    
    {\displaystyle p_{1}x_{1}+p_{2}x_{2}\leq y}
  
    und    
  
    
      
        
          x
          
            1
          
        
        ,
        
          x
          
            2
          
        
        ≥
        0
      
    
    {\displaystyle x_{1},x_{2}\geq 0}
  

mit dem verfügbaren Vermögen 
  
    
      
        y
      
    
    {\displaystyle y}
  
, 
  
    
      
        
          x
          
            1
            ,
            2
          
        
      
    
    {\displaystyle x_{1,2}}
  
 der nachgefragten Menge von Gut 1 bzw. 2 und 
  
    
      
        u
        (
        
          x
          
            1
          
        
        ,
        
          x
          
            2
          
        
        )
      
    
    {\displaystyle u(x_{1},x_{2})}
  
 der Nutzenfunktion des Konsumenten. Um das Problem handhabbarer zu machen, setzt man zunächst voraus, dass die Nutzenfunktion stetig ist. Damit ist sichergestellt, dass es bei einer geringfügigen Änderung der Menge eines oder mehrerer Güter in einem Güterbündel keinen plötzlichen sprunghaften Anstieg des resultierenden Nutzens gibt. Eine Bemerkung erscheint angebracht: Weil die Preise und das Einkommen in dem obigen Maximierungsproblem Variablen sind, wird die Lösung des Problems kein konkretes Güterbündel sein; welches Güterbündel den Ausdruck maximiert, kommt im Konkreten auf die genauen Güterpreise und das verfügbare Vermögen an, sodass die Lösung von diesen Variablen (den Preisen und dem verfügbaren Vermögen) abhängig sein wird.
Die optimale Nachfrage nach Gut 1 beträgt 
  
    
      
        
          x
          
            1
          
          
            ∗
          
        
      
    
    {\displaystyle x_{1}^{*}}
  
 und sie ist abhängig vom Preis dieses Gutes, dem Einkommen 
  
    
      
        y
        >
        0
      
    
    {\displaystyle y>0}
  
, das dem Individuum zur Verfügung steht, sowie vom Preis von Gut 2. Intuitiv kann Letzteres zum Beispiel daran eingesehen werden, dass die nutzenmaximierende Nachfrage nach Autos sicherlich auch davon abhängig ist, ob ein Zugticket 500 Euro oder 5 Euro kostet (das schließt nicht aus, dass der Preis im Einzelfall einmal unabhängig davon sein kann). Folglich ergeben sich aus dem Optimierungsproblem optimale Werte für die beiden Güter: 
  
    
      
        
          x
          
            1
          
          
            m
          
        
        (
        
          p
          
            1
          
        
        ,
        
          p
          
            2
          
        
        ,
        y
        )
      
    
    {\displaystyle x_{1}^{m}(p_{1},p_{2},y)}
  
 (die marshallsche Nachfrage nach Gut 1) und analog 
  
    
      
        
          x
          
            2
          
          
            m
          
        
        (
        
          p
          
            1
          
        
        ,
        
          p
          
            2
          
        
        ,
        y
        )
      
    
    {\displaystyle x_{2}^{m}(p_{1},p_{2},y)}
  
 (die marshallsche Nachfrage nach Gut 2).


## Formale Definition
Bezeichne mit 
  
    
      
        
          x
          
            i
          
        
        ≥
        0
      
    
    {\displaystyle x_{i}\geq 0}
  
 die von einem bestimmten Konsumenten nachgefragte Menge von Gut 
  
    
      
        i
      
    
    {\displaystyle i}
  
, 
  
    
      
        i
        =
        1
        ,
        …
        ,
        n
      
    
    {\displaystyle i=1,\ldots ,n}
  
, und fasse der Vektor 
  
    
      
        
          x
        
        =
        (
        
          x
          
            1
          
        
        ,
        …
        ,
        
          x
          
            n
          
        
        )
        ∈
        
          
            
              R
            
          
          
            +
          
          
            n
          
        
      
    
    {\displaystyle \mathbf {x} =(x_{1},\ldots ,x_{n})\in \mathbb {\mathbb {R} } _{+}^{n}}
  
 die Nachfrage bezüglich aller Güter zusammen. Der Preis jedes Gutes sei strikt positiv, 
  
    
      
        
          p
          
            i
          
        
        >
        0
      
    
    {\displaystyle p_{i}>0}
  
 für alle 
  
    
      
        i
        =
        1
        ,
        …
        ,
        n
      
    
    {\displaystyle i=1,\ldots ,n}
  
, und man vereinbare 
  
    
      
        
          p
        
        =
        (
        
          p
          
            1
          
        
        ,
        …
        ,
        
          p
          
            n
          
        
        )
        ∈
        
          
            R
          
          
            +
            +
          
          
            n
          
        
      
    
    {\displaystyle \mathbf {p} =(p_{1},\ldots ,p_{n})\in \mathbb {R} _{++}^{n}}
  
 als Preisvektor der Ökonomie.
Der Nutzen des Konsumenten folge einer stetigen Nutzenfunktion 
  
    
      
        u
        (
        
          x
        
        )
      
    
    {\displaystyle u(\mathbf {x} )}
  
. Der Konsument verfüge über ein Budget in Höhe von 
  
    
      
        y
        >
        0
      
    
    {\displaystyle y>0}
  
. Betrachte nun das Nutzenmaximierungsproblem des Konsumenten unter Berücksichtigung der Budgetrestriktion:

  
    
      
        
          max
          
            
              x
            
            ∈
            
              
                R
              
              
                +
              
              
                n
              
            
          
        
        u
        (
        
          x
        
        )
      
    
    {\displaystyle \max _{\mathbf {x} \in \mathbb {R} _{+}^{n}}u(\mathbf {x} )}
  
    unter der Nebenbedingung    
  
    
      
        
          p
        
        ⋅
        
          x
        
        =
        
          p
          
            1
          
        
        
          x
          
            1
          
        
        +
        
          p
          
            2
          
        
        
          x
          
            2
          
        
        +
        …
        +
        
          p
          
            n
          
        
        
          x
          
            n
          
        
        ≤
        y
      
    
    {\displaystyle \mathbf {p} \cdot \mathbf {x} =p_{1}x_{1}+p_{2}x_{2}+\ldots +p_{n}x_{n}\leq y}
  

Eine Korrespondenz ist eine mengenwertige Funktion. Während eine Funktion im engeren Sinne jedem Element aus dem Definitionsbereich ein einziges Element aus der Zielmenge (hier also der Menge der Güterbündel) zuordnet, weist eine Korrespondenz jedem Element aus dem Definitionsbereich eine Teilmenge der Zielmenge zu. Die marshallsche Nachfragefunktion kann man also als einen Spezialfall der Nachfragekorrespondenz auffassen, bei dem jedem Tupel 
  
    
      
        (
        
          p
        
        ,
        y
        )
      
    
    {\displaystyle (\mathbf {p} ,y)}
  
 eine genau einelementige Teilmenge der Zielmenge zugeordnet wird.
Andere Schreibweisen für die Definition der marshallschen Nachfragekorrespondenz sind ebenfalls gebräuchlich. Es ist trivialerweise etwa

  
    
      
        
          
            
              
                
                  
                    x
                  
                  
                    m
                  
                
                (
                
                  p
                
                ,
                y
                )
              
              
                
                ≡
                arg
                ⁡
                max
                {
                u
                (
                
                  x
                
                )
                
                  |
                
                
                  p
                
                ⋅
                
                  x
                
                ≤
                y
                }
              
            
            
              
              
                
                =
                
                  {
                  
                    
                      x
                    
                    ∈
                    
                      B
                      
                        
                          p
                        
                        ,
                        y
                      
                    
                    
                      |
                      
                        
                          (
                          
                            ∀
                            
                              
                                x
                              
                              ′
                            
                            ∈
                            
                              
                                R
                              
                              
                                +
                              
                              
                                n
                              
                            
                          
                          )
                        
                        :
                        u
                        (
                        
                          
                            x
                          
                          ′
                        
                        )
                        >
                        u
                        (
                        
                          x
                        
                        )
                        ⇒
                        
                          p
                        
                        ⋅
                        
                          
                            x
                          
                          ′
                        
                        >
                        y
                      
                      
                    
                  
                  }
                
              
            
          
        
      
    
    {\displaystyle {\begin{aligned}\mathbf {x} ^{m}(\mathbf {p} ,y)&\equiv \arg \max\{u(\mathbf {x} )|\mathbf {p} \cdot \mathbf {x} \leq y\}\\&=\left\{\mathbf {x} \in B_{\mathbf {p} ,y}\left|\left(\forall \mathbf {x} '\in \mathbb {R} _{+}^{n}\right):u(\mathbf {x} ')>u(\mathbf {x} )\Rightarrow \mathbf {p} \cdot \mathbf {x} '>y\right.\right\}\end{aligned}}}
  

mit

  
    
      
        
          B
          
            
              p
            
            ,
            y
          
        
        ≡
        {
        
          x
        
        ∈
        
          
            R
          
          
            +
          
          
            n
          
        
        
          |
          
            
              p
            
            ⋅
            
              x
            
            ≤
            y
          
          
        
        }
      
    
    {\displaystyle B_{\mathbf {p} ,y}\equiv \{\mathbf {x} \in \mathbb {R} _{+}^{n}\left|\mathbf {p} \cdot \mathbf {x} \leq y\right.\}}
  

der zulässigen Menge (Budgetmenge). In Worten: Die marshallsche Nachfrage bei einem gegebenen Preissystem und einem gegebenen Haushaltsvermögen entspricht genau der Menge jener zulässigen Güterbündel, die die Eigenschaft haben, dass sämtliche Güterbündel mit strikt größerem Nutzen derart teuer wären, dass ihr Konsum die Budgetrestriktion verletzen würde.


## Allgemeine Eigenschaften
### Existenz und Kompaktheit
Die marshallsche Nachfragekorrespondenz ist nichtleer und kompaktwertig.
Um einzusehen, dass die Nachfragekorrespondenz nichtleer ist, genügt es zu zeigen, dass die Budgetmenge 
  
    
      
        
          B
          
            
              p
            
            ,
            y
          
        
      
    
    {\displaystyle B_{\mathbf {p} ,y}}
  
 kompakt ist. Denn nach dem Extremwertsatz von Weierstraß nimmt eine stetige Funktion über einer kompakten Menge stets einen Minimal- und einen Maximalwert ein, das heißt, das obige Nutzenmaximierungsproblem hat für alle 
  
    
      
        (
        
          p
        
        ,
        y
        )
      
    
    {\displaystyle (\mathbf {p} ,y)}
  
 auch mindestens eine Lösung. Als Teilmenge des 
  
    
      
        
          
            R
          
          
            n
          
        
      
    
    {\displaystyle \mathbb {R} ^{n}}
  
 ist die (nichtleere) Budgetmenge nun kompakt genau dann, wenn sie beschränkt und abgeschlossen ist (Satz von Heine-Borel). Das ist der Fall: beschränkt ist sie, weil bei der vorausgesetzten strikten Positivität der Preise stets 
  
    
      
        
          x
          
            i
          
        
        ≤
        y
        
          /
        
        
          p
          
            i
          
        
      
    
    {\displaystyle x_{i}\leq y/p_{i}}
  
 sowie zugleich 
  
    
      
        
          x
          
            i
          
        
        ≥
        0
      
    
    {\displaystyle x_{i}\geq 0}
  
 für alle 
  
    
      
        i
        =
        1
        ,
        …
        ,
        n
      
    
    {\displaystyle i=1,\ldots ,n}
  
 und für alle 
  
    
      
        
          x
        
        ∈
        
          B
          
            
              p
            
            ,
            y
          
        
      
    
    {\displaystyle \mathbf {x} \in B_{\mathbf {p} ,y}}
  
; und abgeschlossen ist sie, weil sie über schwache Ungleichungen definiert ist.Beide Eigenschaften folgen zudem unmittelbar aus dem Maximumsatz von Berge, auf den weiter unten unter „Stetigkeitseigenschaften“ näher eingegangen wird.


### Konvexität und Funktionseigenschaft
1. Sei die Nutzenfunktion quasikonkav. Dann ist die marshallsche Nachfragekorrespondenz konvexwertig.2. Sei die Nutzenfunktion strikt quasikonkav. Dann ist die marshallsche Nachfragekorrespondenz einelementig für alle 
  
    
      
        (
        
          p
        
        ,
        y
        )
        ∈
        
          
            R
          
          
            +
            +
          
          
            n
            +
            1
          
        
      
    
    {\displaystyle (\mathbf {p} ,y)\in \mathbb {R} _{++}^{n+1}}
  
, mit anderen Worten: 
  
    
      
        
          
            x
          
          
            m
          
        
        (
        
          p
        
        ,
        y
        )
      
    
    {\displaystyle \mathbf {x} ^{m}(\mathbf {p} ,y)}
  
 ist eine Funktion.
Zu diesen beiden Eigenschaften sei bemerkt, dass die einer quasikonkaven Nutzenfunktion 
  
    
      
        u
      
    
    {\displaystyle u}
  
 zugrunde liegende Präferenzordnung 
  
    
      
        ≿
      
    
    {\displaystyle \succsim }
  
 konvex ist; zu (2.), dass die einer strikt quasikonkaven Nutzenfunktion 
  
    
      
        u
      
    
    {\displaystyle u}
  
 zugrunde liegende Präferenzordnung strikt konvex ist. Man beachte, dass es für (1.) und (2.) aber nicht genügt, die Konvexität (bzw. strikte Konvexität) der Präferenzordnung vorauszusetzen. Zwar impliziert in der Tat auch umgekehrt die (strikte) Konvexität von 
  
    
      
        ≿
      
    
    {\displaystyle \succsim }
  
, dass jede repräsentierende Nutzenfunktion 
  
    
      
        u
      
    
    {\displaystyle u}
  
 (strikt) quasikonkav ist. Allerdings existiert nicht für jede (strikt) konvexe Präferenzordnung eine reellwertige Repräsentation. So sind etwa, um das berühmte Beispiel von Debreu (1959) aufzugreifen, lexikographische Präferenzordnungen strikt konvex, aber nicht durch eine Nutzenfunktion repräsentierbar. Es ist jedoch möglich, die hier eingeführten Konzepte auch auf Grundlage von Präferenzordnungen einzuführen, sodass es nicht mehr auf eine Repräsentationsfunktion ankommt.Der Beweis von (1.) beruht auf der Betrachtung zweier Güterbündel 
  
    
      
        
          x
        
        ,
        
          
            x
          
          ′
        
        ∈
        
          
            x
          
          
            m
          
        
        (
        
          p
        
        ,
        y
        )
      
    
    {\displaystyle \mathbf {x} ,\mathbf {x} '\in \mathbf {x} ^{m}(\mathbf {p} ,y)}
  
, 
  
    
      
        
          x
        
        ≠
        
          
            x
          
          ′
        
      
    
    {\displaystyle \mathbf {x} \neq \mathbf {x} '}
  
. Aus der Definition der marshallschen Nachfrage folgt zunächst, dass 
  
    
      
        u
        (
        
          x
        
        )
        =
        u
        (
        
          
            x
          
          ′
        
        )
      
    
    {\displaystyle u(\mathbf {x} )=u(\mathbf {x} ')}
  
. Bezeichne man dieses Nutzenniveau mit 
  
    
      
        
          u
          
            0
          
        
      
    
    {\displaystyle u_{0}}
  
. Für eine quasikonkave Nutzenfunktion gilt definitionsgemäß, dass mit 
  
    
      
        
          
            x
          
          ″
        
        ≡
        α
        
          x
        
        +
        (
        1
        −
        α
        )
        
          
            x
          
          ′
        
      
    
    {\displaystyle \mathbf {x} ''\equiv \alpha \mathbf {x} +(1-\alpha )\mathbf {x} '}
  
 auch 
  
    
      
        u
        (
        
          
            x
          
          ″
        
        )
        ≥
        
          u
          
            0
          
        
      
    
    {\displaystyle u(\mathbf {x} '')\geq u_{0}}
  
 für alle 
  
    
      
        α
        ∈
        [
        0
        ,
        1
        ]
      
    
    {\displaystyle \alpha \in [0,1]}
  
. Zudem ist 
  
    
      
        
          p
        
        ⋅
        
          
            x
          
          ″
        
        ≤
        y
      
    
    {\displaystyle \mathbf {p} \cdot \mathbf {x} ''\leq y}
  
, weil 
  
    
      
        
          p
        
        ⋅
        
          x
        
        ≤
        y
      
    
    {\displaystyle \mathbf {p} \cdot \mathbf {x} \leq y}
  
 und 
  
    
      
        
          p
        
        ⋅
        
          
            x
          
          ′
        
        ≤
        y
      
    
    {\displaystyle \mathbf {p} \cdot \mathbf {x} '\leq y}
  
 nach Definition der marshallschen Nachfrage. Folglich ist 
  
    
      
        
          
            x
          
          ″
        
        ∈
        
          B
          
            
              p
            
            ,
            y
          
        
      
    
    {\displaystyle \mathbf {x} ''\in B_{\mathbf {p} ,y}}
  
. Daraus und mit 
  
    
      
        u
        (
        
          
            x
          
          ″
        
        )
        ≥
        
          u
          
            0
          
        
      
    
    {\displaystyle u(\mathbf {x} '')\geq u_{0}}
  
 folgt schließlich, dass 
  
    
      
        
          
            x
          
          ″
        
        ∈
        
          
            x
          
          
            m
          
        
        (
        
          p
        
        ,
        y
        )
      
    
    {\displaystyle \mathbf {x} ''\in \mathbf {x} ^{m}(\mathbf {p} ,y)}
  
. Also ist 
  
    
      
        
          
            x
          
          
            m
          
        
        (
        
          p
        
        ,
        y
        )
      
    
    {\displaystyle \mathbf {x} ^{m}(\mathbf {p} ,y)}
  
 konvex.Zu (2.): (Beweis durch Widerspruch:) Betrachte wiederum zwei Güterbündel 
  
    
      
        
          x
        
        ,
        
          
            x
          
          ′
        
        ∈
        
          
            x
          
          
            m
          
        
        (
        
          p
        
        ,
        y
        )
      
    
    {\displaystyle \mathbf {x} ,\mathbf {x} '\in \mathbf {x} ^{m}(\mathbf {p} ,y)}
  
, 
  
    
      
        
          x
        
        ≠
        
          
            x
          
          ′
        
      
    
    {\displaystyle \mathbf {x} \neq \mathbf {x} '}
  
. Abermals gilt definitionsgemäß 
  
    
      
        u
        (
        
          x
        
        )
        =
        u
        (
        
          
            x
          
          ′
        
        )
      
    
    {\displaystyle u(\mathbf {x} )=u(\mathbf {x} ')}
  
. Strikte Quasikonkavität impliziert aber 
  
    
      
        u
        (
        α
        
          x
        
        +
        (
        1
        −
        α
        )
        
          
            x
          
          ′
        
        )
        >
        u
        (
        
          
            x
          
          ′
        
        )
      
    
    {\displaystyle u(\alpha \mathbf {x} +(1-\alpha )\mathbf {x} ')>u(\mathbf {x} ')}
  
 für alle 
  
    
      
        α
        ∈
        (
        0
        ,
        1
        )
      
    
    {\displaystyle \alpha \in (0,1)}
  
 – ein Widerspruch.


### Homogenität
Die marshallsche Nachfragekorrespondenz ist homogen vom Grad null in 
  
    
      
        (
        
          p
        
        ,
        y
        )
      
    
    {\displaystyle (\mathbf {p} ,y)}
  
, das heißt 
  
    
      
        
          
            x
          
          
            m
          
        
        (
        α
        
          p
        
        ,
        α
        y
        )
        =
        
          
            x
          
          
            m
          
        
        (
        
          p
        
        ,
        y
        )
      
    
    {\displaystyle \mathbf {x} ^{m}(\alpha \mathbf {p} ,\alpha y)=\mathbf {x} ^{m}(\mathbf {p} ,y)}
  
 für alle 
  
    
      
        (
        
          p
        
        ,
        y
        )
        ∈
        
          
            R
          
          
            +
            +
          
          
            n
            +
            1
          
        
      
    
    {\displaystyle (\mathbf {p} ,y)\in \mathbb {R} _{++}^{n+1}}
  
 und für alle 
  
    
      
        α
        >
        0
      
    
    {\displaystyle \alpha >0}
  
.
Es macht für die Konsumentscheidung demnach keinen Unterschied, wenn sowohl das Vermögen als auch alle Güterpreise um denselben Faktor ansteigen bzw. fallen. Dies schließt etwa auch aus, dass es eine Rolle spielt, in welcher Währung Vermögen und Preise fakturiert sind. Die Eigenschaft folgt wegen 
  
    
      
        
          B
          
            α
            
              p
            
            ,
            α
            y
          
        
        =
        {
        
          x
        
        ∈
        
          
            R
          
          
            +
          
          
            n
          
        
        
          |
        
        α
        
          p
        
        ⋅
        
          x
        
        ≤
        α
        y
        }
        =
        {
        
          x
        
        ∈
        
          
            R
          
          
            +
          
          
            n
          
        
        
          |
        
        
          p
        
        ⋅
        
          x
        
        ≤
        y
        }
        =
        
          B
          
            
              p
            
            ,
            y
          
        
      
    
    {\displaystyle B_{\alpha \mathbf {p} ,\alpha y}=\{\mathbf {x} \in \mathbb {R} _{+}^{n}|\alpha \mathbf {p} \cdot \mathbf {x} \leq \alpha y\}=\{\mathbf {x} \in \mathbb {R} _{+}^{n}|\mathbf {p} \cdot \mathbf {x} \leq y\}=B_{\mathbf {p} ,y}}
  
, das heißt, die Budgetmenge bleibt bei der Modifikation um 
  
    
      
        α
        >
        0
      
    
    {\displaystyle \alpha >0}
  
 identisch. Damit bleibt freilich auch die Lösung des Maximierungsproblems von der simultanen Vermögens- und Preisänderung unberührt.


### Stetigkeitseigenschaften
1. Die marshallsche Nachfragekorrespondenz ist oberhemistetig.2. Falls die marshallsche Nachfragekorrespondenz für alle 
  
    
      
        (
        
          p
        
        ,
        y
        )
        ∈
        
          
            R
          
          
            +
            +
          
          
            n
            +
            1
          
        
      
    
    {\displaystyle (\mathbf {p} ,y)\in \mathbb {R} _{++}^{n+1}}
  
 einelementig und folglich eine Funktion ist, dann ist diese stetig.
Die Eigenschaften folgen unmittelbar aus dem Maximum-Satz (Satz von Berge), für den auf eine Fußnote verwiesen wird. Zentrale Voraussetzung für dessen Anwendbarkeit ist die Stetigkeit der durch 
  
    
      
        (
        
          p
        
        ,
        y
        )
        →
        
        
        
        
        
        
        
        ↦
        B
        (
        
          p
        
        ,
        y
        )
      
    
    {\displaystyle (\mathbf {p} ,y)\rightarrow \!\!\!\!\!\!\!\mapsto B(\mathbf {p} ,y)}
  
 gegebenen Budgetkorrespondenz, wobei man eine Korrespondenz genau dann als stetig bezeichnet, wenn sie sowohl ober- als auch unterhemistetig (zur Definition siehe Fußnote) ist. Diese beiden Eigenschaften wiederum kann man für die Budgetkorrespondenz nacheinander zeigen.


### Abgeschlossenheitseigenschaften
Die marshallsche Nachfragekorrespondenz ist abgeschlossenwertig und verfügt darüber hinaus sogar über einen abgeschlossenen Graphen.
Es würde grundsätzlich genügen, die Abgeschlossenwertigkeit zu zeigen, denn jede oberhemistetige und abgeschlossenwertige Korrespondenz verfügt auch über einen abgeschlossenen Graphen. Die Abgeschlossenwertigkeit ergibt sich wiederum (wie weiter oben schon skizziert) aus dem Satz von Berge (siehe Fußnote).
Nachfolgend wird ein „direkter“ Beweis für die Existenz eines abgeschlossenen Graphen skizziert. Betrachte eine Folge 
  
    
      
        
          
            {
            
              (
              
                
                  p
                
                
                  k
                
              
              ,
              
                y
                
                  k
                
              
              )
            
            }
          
          
            k
            ∈
            
              N
            
          
        
      
    
    {\displaystyle \left\{(\mathbf {p} _{k},y_{k})\right\}_{k\in \mathbb {N} }}
  
 im 
  
    
      
        
          
            R
          
          
            +
            +
          
          
            n
            +
            1
          
        
      
    
    {\displaystyle \mathbb {R} _{++}^{n+1}}
  
 mit dem Grenzwert 
  
    
      
        (
        
          p
        
        ,
        y
        )
        ∈
        
          
            R
          
          
            +
            +
          
          
            n
            +
            1
          
        
      
    
    {\displaystyle (\mathbf {p} ,y)\in \mathbb {R} _{++}^{n+1}}
  
 sowie eine Folge 
  
    
      
        
          
            {
            
              (
              
                
                  x
                
                
                  k
                
              
              )
            
            }
          
          
            k
            ∈
            
              N
            
          
        
      
    
    {\displaystyle \left\{(\mathbf {x} _{k})\right\}_{k\in \mathbb {N} }}
  
 im 
  
    
      
        
          
            R
          
          
            +
          
          
            n
          
        
      
    
    {\displaystyle \mathbb {R} _{+}^{n}}
  
 mit dem Grenzwert 
  
    
      
        
          x
        
        ∈
        
          
            R
          
          
            +
          
          
            n
          
        
      
    
    {\displaystyle \mathbf {x} \in \mathbb {R} _{+}^{n}}
  
. Sei ferner 
  
    
      
        
          
            x
          
          
            k
          
        
        ∈
        
          
            x
          
          
            m
          
        
        (
        
          
            p
          
          
            k
          
        
        ,
        
          y
          
            k
          
        
        )
      
    
    {\displaystyle \mathbf {x} _{k}\in \mathbf {x} ^{m}(\mathbf {p} _{k},y_{k})}
  
 für alle 
  
    
      
        k
        ∈
        
          N
        
      
    
    {\displaystyle k\in \mathbb {N} }
  
. Zu zeigen: 
  
    
      
        
          x
        
        ∈
        
          
            x
          
          
            m
          
        
        (
        
          p
        
        ,
        y
        )
      
    
    {\displaystyle \mathbf {x} \in \mathbf {x} ^{m}(\mathbf {p} ,y)}
  
.Nach Definition der marshallschen Nachfrage ist 
  
    
      
        
          
            p
          
          
            k
          
        
        ⋅
        
          
            x
          
          
            k
          
        
        ≤
        
          y
          
            k
          
        
      
    
    {\displaystyle \mathbf {p} _{k}\cdot \mathbf {x} _{k}\leq y_{k}}
  
 für alle 
  
    
      
        k
        ∈
        
          N
        
      
    
    {\displaystyle k\in \mathbb {N} }
  
 und wegen 
  
    
      
        
          
            x
          
          
            k
          
        
        ∈
        
          
            R
          
          
            +
          
          
            n
          
        
      
    
    {\displaystyle \mathbf {x} _{k}\in \mathbb {R} _{+}^{n}}
  
 für alle 
  
    
      
        k
        ∈
        
          N
        
      
    
    {\displaystyle k\in \mathbb {N} }
  
 daher im Grenzwert auch 
  
    
      
        
          p
        
        ⋅
        
          x
        
        ≤
        y
      
    
    {\displaystyle \mathbf {p} \cdot \mathbf {x} \leq y}
  
. Also ist 
  
    
      
        
          x
        
        ∈
        
          B
          
            
              p
            
            ,
            y
          
        
      
    
    {\displaystyle \mathbf {x} \in B_{\mathbf {p} ,y}}
  
.(Beweis durch Widerspruch:) Man nehme an, dass 
  
    
      
        
          x
        
        ∉
        
          
            x
          
          
            m
          
        
        (
        
          p
        
        ,
        y
        )
      
    
    {\displaystyle \mathbf {x} \notin \mathbf {x} ^{m}(\mathbf {p} ,y)}
  
. Dann gäbe es definitionsgemäß ein 
  
    
      
        
          
            x
          
          
            alt
          
        
        ∈
        
          B
          
            
              p
            
            ,
            y
          
        
      
    
    {\displaystyle \mathbf {x} ^{\text{alt}}\in B_{\mathbf {p} ,y}}
  
, mit dem 
  
    
      
        u
        (
        
          
            x
          
          
            alt
          
        
        )
        >
        u
        (
        
          x
        
        )
      
    
    {\displaystyle u(\mathbf {x} ^{\text{alt}})>u(\mathbf {x} )}
  
. Also gäbe es auch eine geeignete Umgebung 
  
    
      
        
          U
          
            0
          
        
      
    
    {\displaystyle U_{0}}
  
 um 
  
    
      
        
          x
        
      
    
    {\displaystyle \mathbf {x} }
  
 sowie eine geeignete Umgebung 
  
    
      
        
          U
          
            alt
          
        
      
    
    {\displaystyle U_{\text{alt}}}
  
 um 
  
    
      
        
          
            x
          
          
            alt
          
        
      
    
    {\displaystyle \mathbf {x} ^{\text{alt}}}
  
 so, dass 
  
    
      
        u
        (
        
          
            x
          
          ″
        
        )
        >
        u
        (
        
          
            x
          
          ′
        
        )
      
    
    {\displaystyle u(\mathbf {x} '')>u(\mathbf {x} ')}
  
 für alle 
  
    
      
        (
        
          
            x
          
          ′
        
        ,
        
          
            x
          
          ″
        
        )
        ∈
        
          U
          
            0
          
        
        ×
        
          U
          
            alt
          
        
      
    
    {\displaystyle (\mathbf {x} ',\mathbf {x} '')\in U_{0}\times U_{\text{alt}}}
  
. Und wegen 
  
    
      
        
          
            x
          
          
            alt
          
        
        ∈
        
          B
          
            
              p
            
            ,
            y
          
        
        ⇒
        
          p
        
        ⋅
        
          
            x
          
          
            alt
          
        
        ≤
        y
      
    
    {\displaystyle \mathbf {x} ^{\text{alt}}\in B_{\mathbf {p} ,y}\Rightarrow \mathbf {p} \cdot \mathbf {x} ^{\text{alt}}\leq y}
  
 gäbe es ferner ein 
  
    
      
        
          
            x
          
          ″
        
        ∈
        
          U
          
            alt
          
        
      
    
    {\displaystyle \mathbf {x} ''\in U_{\text{alt}}}
  
 mit 
  
    
      
        
          p
        
        ⋅
        
          
            x
          
          ″
        
        <
        y
      
    
    {\displaystyle \mathbf {p} \cdot \mathbf {x} ''<y}
  
 (Stetigkeit und strikte Positivität der Preise). Aus 
  
    
      
        
          
            {
            
              (
              
                
                  p
                
                
                  k
                
              
              ,
              
                y
                
                  k
                
              
              )
            
            }
          
          
            k
            ∈
            
              N
            
          
        
        →
        (
        
          p
        
        ,
        y
        )
      
    
    {\displaystyle \left\{(\mathbf {p} _{k},y_{k})\right\}_{k\in \mathbb {N} }\rightarrow (\mathbf {p} ,y)}
  
 folgt dann, dass 
  
    
      
        
          
            p
          
          
            k
          
        
        ⋅
        
          
            x
          
          ″
        
        ≤
        
          y
          
            k
          
        
      
    
    {\displaystyle \mathbf {p} _{k}\cdot \mathbf {x} ''\leq y_{k}}
  
 für hinreichend großes 
  
    
      
        k
        ∈
        
          N
        
      
    
    {\displaystyle k\in \mathbb {N} }
  
, sodass 
  
    
      
        
          
            x
          
          ″
        
        ∈
        
          B
          
            
              
                p
              
              
                k
              
            
            ,
            
              y
              
                k
              
            
          
        
        ∩
        
          U
          
            alt
          
        
      
    
    {\displaystyle \mathbf {x} ''\in B_{\mathbf {p} _{k},y_{k}}\cap U_{\text{alt}}}
  
. Zugleich folgt aus 
  
    
      
        
          
            {
            
              (
              
                
                  x
                
                
                  k
                
              
              )
            
            }
          
          
            k
            ∈
            
              N
            
          
        
        →
        
          x
        
      
    
    {\displaystyle \left\{(\mathbf {x} _{k})\right\}_{k\in \mathbb {N} }\rightarrow \mathbf {x} }
  
, dass 
  
    
      
        
          
            x
          
          
            k
          
        
        ∈
        
          U
          
            0
          
        
      
    
    {\displaystyle \mathbf {x} _{k}\in U_{0}}
  
 für hinreichend großes 
  
    
      
        k
        ∈
        
          N
        
      
    
    {\displaystyle k\in \mathbb {N} }
  
. Zusammengefasst: 
  
    
      
        u
        (
        
          
            x
          
          ″
        
        )
        >
        u
        (
        
          
            x
          
          
            k
          
        
        )
      
    
    {\displaystyle u(\mathbf {x} '')>u(\mathbf {x} _{k})}
  
 für hinreichend großes 
  
    
      
        k
        ∈
        
          N
        
      
    
    {\displaystyle k\in \mathbb {N} }
  
. Das widerspricht aber der Annahme, dass 
  
    
      
        
          
            x
          
          
            k
          
        
        ∈
        
          
            x
          
          
            m
          
        
        (
        
          
            p
          
          
            k
          
        
        ,
        
          y
          
            k
          
        
        )
      
    
    {\displaystyle \mathbf {x} _{k}\in \mathbf {x} ^{m}(\mathbf {p} _{k},y_{k})}
  
. Also ist 
  
    
      
        
          x
        
        ∈
        
          
            x
          
          
            m
          
        
        (
        
          p
        
        ,
        y
        )
      
    
    {\displaystyle \mathbf {x} \in \mathbf {x} ^{m}(\mathbf {p} ,y)}
  
, was zu zeigen war.


### Walras-Gesetz
Sei die der Nutzenfunktion zugrunde liegende Präferenzordnung lokal nicht gesättigt. Dann genügt die marshallsche Nachfrage dem Walras-Gesetz, das heißt, es gilt 
  
    
      
        
          p
        
        ⋅
        
          
            x
          
          
            m
          
        
        =
        y
      
    
    {\displaystyle \mathbf {p} \cdot \mathbf {x} ^{m}=y}
  
.
Die Eigenschaft der lokalen Nichtsättigung ist eine gängige Forderung, die an Präferenzordnungen gestellt wird. Sie besagt salopp gesagt, dass man jedes Güterbündel stets minimal so modifizieren kann, dass das resultierende Güterbündel strikt gegenüber dem Ausgangsbündel bevorzugt wird. Für die formale Definition wird auf eine Fußnote verwiesen.
(Beweis durch Widerspruch:) Falls in der Tat 
  
    
      
        
          p
        
        ⋅
        
          
            x
          
          ′
        
        <
        y
      
    
    {\displaystyle \mathbf {p} \cdot \mathbf {x} '<y}
  
 für irgendein 
  
    
      
        
          
            x
          
          ′
        
        ∈
        
          
            x
          
          
            m
          
        
        (
        
          p
        
        ,
        y
        )
      
    
    {\displaystyle \mathbf {x} '\in \mathbf {x} ^{m}(\mathbf {p} ,y)}
  
, dann folgt aus der Nichtsättigungsanforderung, dass es in der Nähe von 
  
    
      
        
          
            x
          
          ′
        
      
    
    {\displaystyle \mathbf {x} '}
  
 ein anderes Güterbündel 
  
    
      
        
          
            x
          
          ″
        
        ∈
        
          
            x
          
          
            m
          
        
        (
        
          p
        
        ,
        y
        )
      
    
    {\displaystyle \mathbf {x} ''\in \mathbf {x} ^{m}(\mathbf {p} ,y)}
  
 geben muss, mit dem ebenfalls 
  
    
      
        
          p
        
        ⋅
        
          
            x
          
          ″
        
        <
        y
      
    
    {\displaystyle \mathbf {p} \cdot \mathbf {x} ''<y}
  
 und zugleich 
  
    
      
        u
        (
        
          
            x
          
          ″
        
        )
        >
        u
        (
        
          
            x
          
          ′
        
        )
      
    
    {\displaystyle u(\mathbf {x} '')>u(\mathbf {x} ')}
  
. Aber dann kann 
  
    
      
        
          
            x
          
          ′
        
      
    
    {\displaystyle \mathbf {x} '}
  
 keine Lösung des Nutzenmaximierungsproblems gewesen sein, im Widerspruch zur Annahme.
Lokale Nichtsättigung ist offensichtlich eine schwächere Anforderung an die Präferenzordnung als strenge Monotonie. Weil jede streng monoton steigende Nutzenfunktion auf einer streng monotonen Präferenzordnung gründet, ist die obige Voraussetzung für die Gültigkeit des Walras-Gesetzes also trivialerweise bei einer streng monoton steigenden Nutzenfunktion erfüllt.


## Analytische Bestimmung
### Notwendige und hinreichende Optimalitätsbedingungen
Unter der Annahme, dass die Nutzenfunktion stetig differenzierbar ist, liefert das Karush-Kuhn-Tucker-Verfahren (KKT-Verfahren) notwendige Bedingungen für das obige Nutzenmaximierungsproblem. Bezeichne man

  
    
      
        
          
            L
          
        
        (
        
          x
        
        )
        =
        u
        (
        
          x
        
        )
        +
        λ
        (
        y
        −
        
          p
          ⋅
          x
        
        )
      
    
    {\displaystyle {\mathcal {L}}(\mathbf {x} )=u(\mathbf {x} )+\lambda (y-\mathbf {p\cdot x} )}
  
.
als Lagrangefunktion des Nutzenmaximierungsproblems.

Bemerkungen:

Vergleicht man (1) mit der gängigen Formulierung eines nichtlinearen Programms, fällt auf, dass explizit keine so genannte constrained qualification (im deutschen Sprachgebrauch häufig unter dem Begriff der „Regularitätsbedingung“ rubriziert) gefordert ist. Der Grund besteht darin, dass diese im Nutzenmaximierungsproblem stets erfüllt ist. Überführt man das vollständige Nutzenmaximierungsproblem in Standardform, lautet es 
  
    
      
        max
        u
        (
        
          x
        
        )
      
    
    {\displaystyle \max u(\mathbf {x} )}
  
 unter den 
  
    
      
        n
        +
        1
      
    
    {\displaystyle n+1}
  
 Nebenbedingungen 
  
    
      
        
          g
          
            1
          
        
        (
        
          x
        
        )
        =
        
          p
        
        ⋅
        
          x
        
        −
        y
        ≤
        0
      
    
    {\displaystyle g_{1}(\mathbf {x} )=\mathbf {p} \cdot \mathbf {x} -y\leq 0}
  
 und 
  
    
      
        
          g
          
            1
            +
            j
          
        
        (
        
          x
        
        )
        =
        −
        
          x
          
            j
          
        
        ≤
        0
      
    
    {\displaystyle g_{1+j}(\mathbf {x} )=-x_{j}\leq 0}
  
 für 
  
    
      
        j
        =
        1
        ,
        …
        ,
        n
      
    
    {\displaystyle j=1,\ldots ,n}
  
. Sämtliche Nebenbedingungen sind also linear. Damit liegen unter Ausnutzung eines gängigen Korollars des KKT-Theorems die Voraussetzungen für die Anwendbarkeit der KKT-Bedingungen (1)(i)–(iii) vor.
Es wurde bereits weiter oben gezeigt, dass die marshallsche Nachfrage nichtleer ist (siehe der Abschnitt Allgemeine Eigenschaften). Folglich existiert stets ein 
  
    
      
        
          
            x
          
          
            ∗
          
        
      
    
    {\displaystyle \mathbf {x} ^{*}}
  
, das die KKT-Bedingungen (1)(i)–(iii) erfüllt.
Die Gradienten-Bedingung unter (2) ist sehr niederschwellig; gefordert ist lediglich, dass irgendein Gut einen strikt positiven Grenznutzen liefert.


### Interpretation der Optimalitätsbedingungen
#### Innere Lösung
Falls ein inneres Optimum vorliegt, das heißt 
  
    
      
        
          x
          
            i
          
          
            ∗
          
        
        >
        0
      
    
    {\displaystyle x_{i}^{*}>0}
  
 für alle 
  
    
      
        i
        =
        1
        ,
        …
        ,
        n
      
    
    {\displaystyle i=1,\ldots ,n}
  
, gilt in diesem nach (1)(ii) die Optimalitätsbedingung erster Ordnung

  
    
      
        
          
            
            
              
                
                  ∂
                  u
                  (
                  
                    x
                  
                  )
                
                
                  ∂
                  
                    x
                    
                      i
                    
                  
                
              
            
            |
          
          
            
              
                x
              
              
                ∗
              
            
          
        
        =
        λ
        
          p
          
            i
          
        
      
    
    {\displaystyle \left.{\frac {\partial u(\mathbf {x} )}{\partial x_{i}}}\right|_{\mathbf {x} ^{*}}=\lambda p_{i}}
  
 für alle 
  
    
      
        i
        =
        1
        ,
        …
        ,
        n
      
    
    {\displaystyle i=1,\ldots ,n}
  
.
Betrachtet man den Fall 
  
    
      
        n
        =
        2
      
    
    {\displaystyle n=2}
  
 (Zwei-Güter-Fall), dann impliziert dies

  
    
      
        
          
            
            
              
                
                  ∂
                  u
                  (
                  
                    x
                    
                      1
                    
                  
                  ,
                  
                    x
                    
                      2
                    
                  
                  )
                  
                    /
                  
                  ∂
                  
                    x
                    
                      1
                    
                  
                
                
                  ∂
                  u
                  (
                  
                    x
                    
                      1
                    
                  
                  ,
                  
                    x
                    
                      2
                    
                  
                  )
                  
                    /
                  
                  ∂
                  
                    x
                    
                      2
                    
                  
                
              
            
            |
          
          
            (
            
              x
              
                1
              
              
                ∗
              
            
            ,
            
              x
              
                2
              
              
                ∗
              
            
            )
          
        
        =
        
          
            
              p
              
                1
              
            
            
              p
              
                2
              
            
          
        
      
    
    {\displaystyle \left.{\frac {\partial u(x_{1},x_{2})/\partial x_{1}}{\partial u(x_{1},x_{2})/\partial x_{2}}}\right|_{(x_{1}^{*},x_{2}^{*})}={\frac {p_{1}}{p_{2}}}}
  
.
Die linke Seite dieser Gleichung ist die Grenzrate der Substitution (GRS) von Gut 1 bezüglich Gut 2 (auf einer Indifferenzkurve), die rechte Seite ist das Preisverhältnis der beiden Güter. Abb. 2 illustriert diese Bedingung: Die marshallsche Nachfrage für gegebene Güterpreise 
  
    
      
        (
        
          p
          
            1
          
        
        ,
        
          p
          
            2
          
        
        )
      
    
    {\displaystyle (p_{1},p_{2})}
  
 und gegebenes Einkommen 
  
    
      
        y
      
    
    {\displaystyle y}
  
 entspricht genau dem Güterbündel 
  
    
      
        (
        
          x
          
            1
          
          
            0
          
        
        ,
        
          x
          
            2
          
          
            0
          
        
        )
      
    
    {\displaystyle (x_{1}^{0},x_{2}^{0})}
  
, an dem die höchstmögliche erreichbare Indifferenzkurve (hier: 
  
    
      
        
          I
          
            1
          
        
      
    
    {\displaystyle I^{1}}
  
) die Budgetgerade eben noch so tangiert. In diesem Tangentialpunkt entspricht die Steigung der Indifferenzkurve – also die negative Grenzrate der Substitution von Gut 1 bezüglich Gut 2 – genau der Steigung der Budgetgerade, die 
  
    
      
        −
        
          p
          
            1
          
        
        
          /
        
        
          p
          
            2
          
        
      
    
    {\displaystyle -p_{1}/p_{2}}
  
 beträgt. Würde diese Bedingung nicht gelten, so könnte sich der Konsument besserstellen, indem er seinen Konsum marginal ändert. Wäre beispielsweise

  
    
      
        
          
            
            
              
                
                  ∂
                  u
                  (
                  
                    x
                    
                      1
                    
                  
                  ,
                  
                    x
                    
                      2
                    
                  
                  )
                  
                    /
                  
                  ∂
                  
                    x
                    
                      1
                    
                  
                
                
                  ∂
                  u
                  (
                  
                    x
                    
                      1
                    
                  
                  ,
                  
                    x
                    
                      2
                    
                  
                  )
                  
                    /
                  
                  ∂
                  
                    x
                    
                      2
                    
                  
                
              
            
            |
          
          
            (
            
              x
              
                1
              
              
                0
              
            
            ,
            
              x
              
                2
              
              
                0
              
            
            )
          
        
        >
        
          
            
              p
              
                1
              
            
            
              p
              
                2
              
            
          
        
      
    
    {\displaystyle \left.{\frac {\partial u(x_{1},x_{2})/\partial x_{1}}{\partial u(x_{1},x_{2})/\partial x_{2}}}\right|_{(x_{1}^{0},x_{2}^{0})}>{\frac {p_{1}}{p_{2}}}}
  
,
dann wäre es im Rahmen der Budgetbeschränkung möglich, den Konsum vom Gut 1 um 
  
    
      
        
          d
        
        
          x
          
            1
          
        
      
    
    {\displaystyle \mathrm {d} x_{1}}
  
 zu erhöhen und zugleich den Konsum von Gut 2 um 
  
    
      
        (
        
          p
          
            1
          
        
        
          /
        
        
          p
          
            2
          
        
        )
        
          d
        
        
          x
          
            1
          
        
      
    
    {\displaystyle (p_{1}/p_{2})\mathrm {d} x_{1}}
  
 zu verringern. Dadurch würde sich der Nutzen um

  
    
      
        
          
            
            
              
                
                  ∂
                  u
                  (
                  
                    x
                    
                      1
                    
                  
                  ,
                  
                    x
                    
                      2
                    
                  
                  )
                
                
                  ∂
                  
                    x
                    
                      1
                    
                  
                
              
            
            |
          
          
            (
            
              x
              
                1
              
              
                0
              
            
            ,
            
              x
              
                2
              
              
                0
              
            
            )
          
        
        
          d
        
        
          x
          
            1
          
        
        −
        
          
            
            
              
                
                  ∂
                  u
                  (
                  
                    x
                    
                      1
                    
                  
                  ,
                  
                    x
                    
                      2
                    
                  
                  )
                
                
                  ∂
                  
                    x
                    
                      2
                    
                  
                
              
            
            |
          
          
            (
            
              x
              
                1
              
              
                0
              
            
            ,
            
              x
              
                2
              
              
                0
              
            
            )
          
        
        ⋅
        
          
            
              p
              
                1
              
            
            
              p
              
                2
              
            
          
        
        
          d
        
        
          x
          
            1
          
        
        >
        0
      
    
    {\displaystyle \left.{\frac {\partial u(x_{1},x_{2})}{\partial x_{1}}}\right|_{(x_{1}^{0},x_{2}^{0})}\mathrm {d} x_{1}-\left.{\frac {\partial u(x_{1},x_{2})}{\partial x_{2}}}\right|_{(x_{1}^{0},x_{2}^{0})}\cdot {\frac {p_{1}}{p_{2}}}\mathrm {d} x_{1}>0}
  

vergrößern. Dann aber kann das ursprünglich betrachtete Güterbündel nicht nutzenmaximierend gewesen sein.


#### Randlösung
Das Optimum kann – wie in Abb. 3 für den Zwei-Güter-Fall illustriert – auch eine Randlösung sein; hier befindet man sich am „Rand“ der Budgetmenge, im Beispiel an der Stelle 
  
    
      
        
          x
          
            2
          
          
            0
          
        
        =
        0
      
    
    {\displaystyle x_{2}^{0}=0}
  
. Dort gilt die obige Gleichheitsbedingung in der Regel nicht, wie sich aus den notwendigen Bedingungen (1)(ii) ergibt. In der Tat zeigt sich dies auch in Abb. 3: Im gefundenen Optimalpunkt gilt

  
    
      
        
          
            
            
              
                
                  ∂
                  u
                  (
                  
                    x
                    
                      1
                    
                  
                  ,
                  
                    x
                    
                      2
                    
                  
                  )
                  
                    /
                  
                  ∂
                  
                    x
                    
                      1
                    
                  
                
                
                  ∂
                  u
                  (
                  
                    x
                    
                      1
                    
                  
                  ,
                  
                    x
                    
                      2
                    
                  
                  )
                  
                    /
                  
                  ∂
                  
                    x
                    
                      2
                    
                  
                
              
            
            |
          
          
            (
            
              x
              
                1
              
              
                ∗
              
            
            ,
            
              x
              
                2
              
              
                ∗
              
            
            )
          
        
        >
        
          
            
              p
              
                1
              
            
            
              p
              
                2
              
            
          
        
      
    
    {\displaystyle \left.{\frac {\partial u(x_{1},x_{2})/\partial x_{1}}{\partial u(x_{1},x_{2})/\partial x_{2}}}\right|_{(x_{1}^{*},x_{2}^{*})}>{\frac {p_{1}}{p_{2}}}}
  
.
In einer Randlösung ist dies möglich, weil dem Konsumenten nicht mehr möglich ist, seinen Konsum von Gut 2 zu verringern, um das dadurch frei werdende Vermögen auf Gut 1 zu verwenden.


#### Konstruktion
Abb. 4 illustriert die graphische Konstruktion der marshallschen Nachfrage im Zwei-Güter-Fall und unter der Annahme, dass eine innere Lösung des Nutzenmaximierungsproblems vorliegt. Um das Problem graphisch handhabbar zu machen, fixiert man zunächst 
  
    
      
        
          p
          
            2
          
        
      
    
    {\displaystyle p_{2}}
  
 und 
  
    
      
        y
      
    
    {\displaystyle y}
  
. Anschließend spielt man die Nachfrageauswirkungen durch, die sich durch unterschiedliche Preise für Gut 1 ergeben. Im Beispiel wird eine Preissenkung von 
  
    
      
        
          p
          
            1
          
          
            0
          
        
      
    
    {\displaystyle p_{1}^{0}}
  
 auf 
  
    
      
        
          p
          
            1
          
          ′
        
      
    
    {\displaystyle p_{1}'}
  
 betrachtet. Dadurch verändert sich zunächst die Steigung der Budgetgerade, sodass sich ein neues optimales Güterbündel ergibt. Dieses kann anschließend zum veränderten Preis in das untere Schaubild übertragen werden. Führt man dies für alle möglichen Preise durch, ergibt sich die marshallsche Nachfragefunktion (für fixiertes 
  
    
      
        
          p
          
            2
          
        
      
    
    {\displaystyle p_{2}}
  
 und 
  
    
      
        y
      
    
    {\displaystyle y}
  
), 
  
    
      
        
          x
          
            1
          
          
            m
          
        
        (
        
          p
          
            1
          
        
        ,
        
          
            
              p
              
                2
              
            
            ¯
          
        
        ,
        
          
            y
            ¯
          
        
        )
      
    
    {\displaystyle x_{1}^{m}(p_{1},{\overline {p_{2}}},{\overline {y}})}
  
.


### Beispiel im Zwei-Güter-Fall
Sei 
  
    
      
        n
        =
        2
      
    
    {\displaystyle n=2}
  
. Man betrachte einen Markt für Äpfel (Gut 1) und Bananen (Gut 2), deren nachgefragte Mengen man mit 
  
    
      
        
          x
          
            1
          
        
      
    
    {\displaystyle x_{1}}
  
 bzw. 
  
    
      
        
          x
          
            2
          
        
      
    
    {\displaystyle x_{2}}
  
 bezeichnet. Der Preis eines Apfels betrage 
  
    
      
        
          p
          
            1
          
        
        =
        2
      
    
    {\displaystyle p_{1}=2}
  
, der einer Banane 
  
    
      
        
          p
          
            2
          
        
        =
        4
      
    
    {\displaystyle p_{2}=4}
  
. Das Budget des Haushalts betrage 
  
    
      
        y
        =
        40
      
    
    {\displaystyle y=40}
  
 und er konsumiere ausschließlich Äpfel und Bananen. Der Nutzen des Haushalts folgt einer Cobb-Douglas-Nutzenfunktion 
  
    
      
        u
        (
        
          x
          
            1
          
        
        ,
        
          x
          
            2
          
        
        )
        =
        
          x
          
            1
          
          
            0
            
              ,
            
            4
          
        
        ⋅
        
          x
          
            2
          
          
            0
            
              ,
            
            6
          
        
      
    
    {\displaystyle u(x_{1},x_{2})=x_{1}^{0{,}4}\cdot x_{2}^{0{,}6}}
  
. Das Nutzenmaximierungsproblem ist

  
    
      
        
          max
          
            (
            
              x
              
                1
              
            
            ,
            
              x
              
                2
              
            
            )
            ∈
            
              
                R
              
              
                +
              
              
                2
              
            
          
        
        u
        (
        
          x
          
            1
          
        
        ,
        
          x
          
            2
          
        
        )
      
    
    {\displaystyle \max _{(x_{1},x_{2})\in \mathbb {R} _{+}^{2}}u(x_{1},x_{2})}
  
 unter der Nebenbedingung 
  
    
      
        
          p
          
            1
          
        
        
          x
          
            1
          
        
        +
        
          p
          
            2
          
        
        
          x
          
            2
          
        
        ≤
        y
      
    
    {\displaystyle p_{1}x_{1}+p_{2}x_{2}\leq y}
  
.
Die Lagrangefunktion lautet also

  
    
      
        
          
            L
          
        
        (
        
          x
          
            1
          
        
        ,
        
          x
          
            2
          
        
        )
        =
        u
        (
        
          x
          
            1
          
        
        ,
        
          x
          
            2
          
        
        )
        −
        λ
        (
        
          p
          
            1
          
        
        
          x
          
            1
          
        
        +
        
          p
          
            2
          
        
        
          x
          
            2
          
        
        −
        y
        )
      
    
    {\displaystyle {\mathcal {L}}(x_{1},x_{2})=u(x_{1},x_{2})-\lambda (p_{1}x_{1}+p_{2}x_{2}-y)}
  
.
Notwendige Bedingungen für das Nutzenoptimum sind (siehe der Abschnitt „Notwendige und hinreichende Optimalitätsbedingungen“):

  
    
      
        
          p
          
            1
          
        
        
          x
          
            1
          
        
        +
        
          p
          
            2
          
        
        
          x
          
            2
          
        
        ≤
        y
      
    
    {\displaystyle p_{1}x_{1}+p_{2}x_{2}\leq y}
  

  
    
      
        
          
            
              ∂
              
                
                  L
                
              
              (
              
                x
                
                  1
                
              
              ,
              
                x
                
                  2
                
              
              )
            
            
              ∂
              
                x
                
                  1
                
              
            
          
        
        =
        
          
            
              ∂
              u
              (
              
                x
                
                  1
                
              
              ,
              
                x
                
                  2
                
              
              )
            
            
              ∂
              
                x
                
                  1
                
              
            
          
        
        −
        λ
        
          p
          
            1
          
        
        =
        0
        
          ,
        
        4
        
          x
          
            1
          
          
            −
            0
            
              ,
            
            6
          
        
        
          x
          
            2
          
          
            0
            
              ,
            
            6
          
        
        −
        
          p
          
            1
          
        
        λ
        ≤
        0
      
    
    {\displaystyle {\frac {\partial {\mathcal {L}}(x_{1},x_{2})}{\partial x_{1}}}={\frac {\partial u(x_{1},x_{2})}{\partial x_{1}}}-\lambda p_{1}=0{,}4x_{1}^{-0{,}6}x_{2}^{0{,}6}-p_{1}\lambda \leq 0}
  
 (mit Gleichheit, falls 
  
    
      
        
          x
          
            1
          
        
        >
        0
      
    
    {\displaystyle x_{1}>0}
  
)

  
    
      
        
          
            
              ∂
              
                
                  L
                
              
              (
              
                x
                
                  1
                
              
              ,
              
                x
                
                  2
                
              
              )
            
            
              ∂
              
                x
                
                  2
                
              
            
          
        
        =
        
          
            
              ∂
              u
              (
              
                x
                
                  1
                
              
              ,
              
                x
                
                  2
                
              
              )
            
            
              ∂
              
                x
                
                  2
                
              
            
          
        
        −
        λ
        
          p
          
            2
          
        
        =
        0
        
          ,
        
        6
        
          x
          
            1
          
          
            0
            
              ,
            
            4
          
        
        
          x
          
            2
          
          
            −
            0
            
              ,
            
            4
          
        
        −
        
          p
          
            2
          
        
        λ
        ≤
        0
      
    
    {\displaystyle {\frac {\partial {\mathcal {L}}(x_{1},x_{2})}{\partial x_{2}}}={\frac {\partial u(x_{1},x_{2})}{\partial x_{2}}}-\lambda p_{2}=0{,}6x_{1}^{0{,}4}x_{2}^{-0{,}4}-p_{2}\lambda \leq 0}
  
 (mit Gleichheit, falls 
  
    
      
        
          x
          
            2
          
        
        >
        0
      
    
    {\displaystyle x_{2}>0}
  
)

  
    
      
        λ
        (
        
          p
          
            1
          
        
        
          x
          
            1
          
        
        +
        
          p
          
            2
          
        
        
          x
          
            2
          
        
        −
        y
        )
        =
        0
      
    
    {\displaystyle \lambda (p_{1}x_{1}+p_{2}x_{2}-y)=0}
  
 und 
  
    
      
        λ
        ≥
        0
      
    
    {\displaystyle \lambda \geq 0}
  
.
Beachte, dass diese Optimalitätsbedingungen aufgrund der Konkavität der Nutzenfunktion auch hinreichend sind. Die Budgetbeschränkung wird im Optimum binden, da die Nutzenfunktion streng monoton steigend ist und folglich das Walras-Gesetz gilt. Aus Bedingung 1 und 2 folgt sodann durch Division zunächst

  
    
      
        
          
            
              0
              
                ,
              
              6
              
                x
                
                  1
                
                
                  0
                  
                    ,
                  
                  4
                
              
              
                x
                
                  2
                
                
                  −
                  0
                  
                    ,
                  
                  4
                
              
            
            
              0
              
                ,
              
              4
              
                x
                
                  1
                
                
                  −
                  0
                  
                    ,
                  
                  6
                
              
              
                x
                
                  2
                
                
                  0
                  
                    ,
                  
                  6
                
              
            
          
        
        =
        
          
            
              
                p
                
                  2
                
              
              λ
            
            
              
                p
                
                  1
                
              
              λ
            
          
        
        ⇒
        
          
            3
            2
          
        
        ⋅
        
          
            
              x
              
                1
              
            
            
              x
              
                2
              
            
          
        
        =
        
          
            
              p
              
                2
              
            
            
              p
              
                1
              
            
          
        
        ⇒
        
          x
          
            2
          
        
        =
        1
        
          ,
        
        5
        
          x
          
            1
          
        
        ⋅
        
          
            
              p
              
                1
              
            
            
              p
              
                2
              
            
          
        
      
    
    {\displaystyle {\frac {0{,}6x_{1}^{0{,}4}x_{2}^{-0{,}4}}{0{,}4x_{1}^{-0{,}6}x_{2}^{0{,}6}}}={\frac {p_{2}\lambda }{p_{1}\lambda }}\Rightarrow {\frac {3}{2}}\cdot {\frac {x_{1}}{x_{2}}}={\frac {p_{2}}{p_{1}}}\Rightarrow x_{2}=1{,}5x_{1}\cdot {\frac {p_{1}}{p_{2}}}}
  
.
Setzt man dies in die umgestellte Budgetbedingung ein, ergibt sich

  
    
      
        
          p
          
            1
          
        
        
          x
          
            1
          
        
        =
        y
        −
        
          p
          
            2
          
        
        
          x
          
            2
          
        
        =
        y
        −
        
          p
          
            2
          
        
        ⋅
        1
        
          ,
        
        5
        
          x
          
            1
          
        
        ⋅
        
          
            
              p
              
                1
              
            
            
              p
              
                2
              
            
          
        
        ⇒
        
          
            
              x
              
                1
              
              
                ∗
              
            
            =
            
              
                y
                
                  2
                  
                    ,
                  
                  5
                  
                    p
                    
                      1
                    
                  
                
              
            
            =
            0
            
              ,
            
            4
            
              
                y
                
                  p
                  
                    1
                  
                
              
            
          
        
      
    
    {\displaystyle p_{1}x_{1}=y-p_{2}x_{2}=y-p_{2}\cdot 1{,}5x_{1}\cdot {\frac {p_{1}}{p_{2}}}\Rightarrow {\color {BrickRed}x_{1}^{*}={\frac {y}{2{,}5p_{1}}}=0{,}4{\frac {y}{p_{1}}}}}
  
,
womit dann wiederum

  
    
      
        
          
            
              x
              
                2
              
              
                ∗
              
            
            =
            
              
                
                  1
                  
                    ,
                  
                  5
                
                
                  2
                  
                    ,
                  
                  5
                
              
            
            
              
                y
                
                  p
                  
                    2
                  
                
              
            
            =
            0
            
              ,
            
            6
            
              
                y
                
                  p
                  
                    2
                  
                
              
            
          
        
      
    
    {\displaystyle {\color {BrickRed}x_{2}^{*}={\frac {1{,}5}{2{,}5}}{\frac {y}{p_{2}}}=0{,}6{\frac {y}{p_{2}}}}}
  

Die beiden letzten Ausdrücke für 
  
    
      
        
          x
          
            1
          
          
            ∗
          
        
      
    
    {\displaystyle x_{1}^{*}}
  
 und 
  
    
      
        
          x
          
            2
          
          
            ∗
          
        
      
    
    {\displaystyle x_{2}^{*}}
  
 sind nichts anderes als die jeweiligen marshallschen Nachfragefunktionen nach Gut 1 bzw. Gut 2.
Bemerkungen:

Im Beispiel handelt es sich um einen Spezialfall, in dem die Nachfrage nach Bananen und Äpfeln nur vom Preis des jeweils betrachteten Gutes, nicht aber vom Preis des jeweils anderen Gutes abhängt; die Nachfrage nach Bananen ist also beispielsweise unabhängig vom Preis 
  
    
      
        
          p
          
            1
          
        
      
    
    {\displaystyle p_{1}}
  
 für Äpfel. Dies ist im Allgemeinen nicht der Fall.
Es fällt auf, dass die multiplikativen Terme in den marshallschen Nachfragen gerade dem jeweiligen Exponenten in der Nutzenfunktion entsprechen. Dies ist kein Zufall, wie der nachfolgende Abschnitt zeigt.
Einsetzen der Preise und des Einkommens in diese Funktionen ergibt, dass im Haushaltsoptimum 8 Äpfel und 6 Bananen nachgefragt werden.


### Marshallsche Nachfragefunktionen für gängige Nutzenfunktionen
## Zusammenhang zu verwandten Konzepten
### Indirekte Nutzenfunktion
Setzt man die erhaltene marshallsche Nachfrage 
  
    
      
        
          
            x
          
          
            m
          
        
        (
        
          p
        
        ,
        y
        )
      
    
    {\displaystyle \mathbf {x} ^{m}(\mathbf {p} ,y)}
  
 wieder in die ursprüngliche Nutzenfunktion 
  
    
      
        u
        (
        
          x
        
        )
      
    
    {\displaystyle u(\mathbf {x} )}
  
 ein, so erhält man eine Nutzenfunktion 
  
    
      
        u
      
    
    {\displaystyle u}
  
, die abhängig von den Güterpreisen und dem Einkommen 
  
    
      
        y
      
    
    {\displaystyle y}
  
 ist. Man bezeichnet sie als indirekte Nutzenfunktion 
  
    
      
        v
        (
        
          p
        
        ,
        y
        )
        ≡
        u
        [
        
          
            x
          
          
            m
          
        
        (
        
          p
        
        ,
        y
        )
        ]
      
    
    {\displaystyle v(\mathbf {p} ,y)\equiv u[\mathbf {x} ^{m}(\mathbf {p} ,y)]}
  
. Die indirekte Nutzenfunktion gibt für eine gegebene Preis-Einkommens-Konfiguration das konkrete Nutzenniveau an, das der nutzenmaximierende Haushalt durch seine Nachfrage erreicht.


### Hicks’sche Nachfragefunktion
Während die marshallsche Nachfrage wie gezeigt aus dem Nutzenmaximierungsproblem des Haushalts resultiert und die Gütermenge – in Abhängigkeit von den Güterpreisen – angibt, die erforderlich ist, um mit einem gegebenen Einkommen 
  
    
      
        y
      
    
    {\displaystyle y}
  
 ein möglichst hohes Nutzenniveau zu erreichen, resultiert die Hicks’sche Nachfrage aus dem Ausgabenminimierungsproblem des Haushalts und gibt die Gütermenge – in Abhängigkeit von den Güterpreisen – an, die erforderlich ist, um möglichst kostengünstig ein vorgegebenes Nutzenniveau 
  
    
      
        
          
            u
            ¯
          
        
      
    
    {\displaystyle {\overline {u}}}
  
 zu erlangen.
Zwischen marshallscher und Hicks’scher Nachfrage besteht allerdings trotz des konzeptionellen Unterschiedes ein enger funktionaler Zusammenhang, für den auf den überstehend genannten Hauptartikel verwiesen wird.


### Beispiel im Zwei-Güter-Fall (Fortführung)
(Fortführung des obigen Beispiels.)


#### Indirekte Nutzenfunktion
Die indirekte Nutzenfunktion lautet

  
    
      
        v
        (
        
          p
          
            1
          
        
        ,
        
          p
          
            2
          
        
        ,
        y
        )
        ≡
        u
        
          [
          
            
              x
              
                1
              
              
                ∗
              
            
            (
            
              p
              
                1
              
            
            ,
            
              p
              
                2
              
            
            ,
            y
            )
            ,
            
              x
              
                2
              
              
                ∗
              
            
            (
            
              p
              
                1
              
            
            ,
            
              p
              
                2
              
            
            ,
            y
            )
          
          ]
        
        =
        
          (
          
            x
            
              1
            
            
              ∗
            
          
          )
        
        
          

          
          
            0
            
              ,
            
            4
          
        
        ⋅
        
          (
          
            x
            
              2
            
            
              ∗
            
          
          )
        
        
          

          
          
            0
            
              ,
            
            6
          
        
      
    
    {\displaystyle v(p_{1},p_{2},y)\equiv u\left[x_{1}^{*}(p_{1},p_{2},y),x_{2}^{*}(p_{1},p_{2},y)\right]=\left(x_{1}^{*}\right){}^{0{,}4}\cdot \left(x_{2}^{*}\right){}^{0{,}6}}
  

Einsetzen der erhaltenen marshallschen Nachfragen führt auf

  
    
      
        v
        (
        
          p
          
            1
          
        
        ,
        
          p
          
            2
          
        
        ,
        y
        )
        =
        
          
            (
            
              
                0
                
                  ,
                
                4
                
                  
                    y
                    
                      p
                      
                        1
                      
                    
                  
                
              
            
            )
          
          
            0
            
              ,
            
            4
          
        
        ⋅
        
          
            (
            
              
                0
                
                  ,
                
                6
                
                  
                    y
                    
                      p
                      
                        2
                      
                    
                  
                
              
            
            )
          
          
            0
            
              ,
            
            6
          
        
        =
        
          
            (
            
              
                
                  0
                  
                    ,
                  
                  4
                
                
                  p
                  
                    1
                  
                
              
            
            )
          
          
            0
            
              ,
            
            4
          
        
        ⋅
        
          
            (
            
              
                
                  0
                  
                    ,
                  
                  6
                
                
                  p
                  
                    2
                  
                
              
            
            )
          
          
            0
            
              ,
            
            6
          
        
        ⋅
        y
      
    
    {\displaystyle v(p_{1},p_{2},y)=\left({\color {BrickRed}0{,}4{\frac {y}{p_{1}}}}\right)^{0{,}4}\cdot \left({\color {BrickRed}0{,}6{\frac {y}{p_{2}}}}\right)^{0{,}6}=\left({\frac {0{,}4}{p_{1}}}\right)^{0{,}4}\cdot \left({\frac {0{,}6}{p_{2}}}\right)^{0{,}6}\cdot y}
  

Die indirekte Nutzenfunktion gibt, gegeben die Güterpreise und das Einkommen, das maximal mögliche Nutzenniveau an. Man kann entsprechend überprüfen, welches Ergebnis sie mit den oben vereinbarten Werten für 
  
    
      
        
          p
          
            1
          
        
      
    
    {\displaystyle p_{1}}
  
, 
  
    
      
        
          p
          
            2
          
        
      
    
    {\displaystyle p_{2}}
  
 und 
  
    
      
        y
      
    
    {\displaystyle y}
  
 liefert. Dies ergibt

  
    
      
        v
        ≈
        6
        
          ,
        
        73
      
    
    {\displaystyle v\approx 6{,}73}
  
.
Und in der Tat ist mit den oben erhaltenen optimalen Gütermengen 
  
    
      
        
          x
          
            1
          
          
            ∗
          
        
        =
        8
      
    
    {\displaystyle x_{1}^{*}=8}
  
 und 
  
    
      
        
          x
          
            2
          
          
            ∗
          
        
        =
        6
      
    
    {\displaystyle x_{2}^{*}=6}
  
:

  
    
      
        u
        (
        
          x
          
            1
          
          
            ∗
          
        
        ,
        
          x
          
            2
          
          
            ∗
          
        
        )
        =
        
          8
          
            0
            
              ,
            
            4
          
        
        ⋅
        
          6
          
            0
            
              ,
            
            6
          
        
        ≈
        6
        
          ,
        
        73
      
    
    {\displaystyle u(x_{1}^{*},x_{2}^{*})=8^{0{,}4}\cdot 6^{0{,}6}\approx 6{,}73}
  
.


#### Hicks’sche Nachfragefunktion
Um aus den marshallschen Nachfragefunktionen 
  
    
      
        
          x
          
            1
          
          
            m
          
        
        (
        
          p
          
            1
          
        
        ,
        
          p
          
            2
          
        
        ,
        y
        )
        =
        0
        
          ,
        
        4
        (
        y
        
          /
        
        
          p
          
            1
          
        
        )
      
    
    {\displaystyle x_{1}^{m}(p_{1},p_{2},y)=0{,}4(y/p_{1})}
  
 und 
  
    
      
        
          x
          
            2
          
          
            m
          
        
        (
        
          p
          
            1
          
        
        ,
        
          p
          
            2
          
        
        ,
        y
        )
        =
        0
        
          ,
        
        6
        (
        y
        
          /
        
        
          p
          
            2
          
        
        )
      
    
    {\displaystyle x_{2}^{m}(p_{1},p_{2},y)=0{,}6(y/p_{2})}
  
 die jeweiligen Hicks’schen Nachfragefunktionen zu erhalten, setzt man die indirekte Nutzenfunktion auf irgendein Nutzenniveau fest und stellt die Funktionen dann nach dem Einkommen um:

  
    
      
        
          
            (
            
              
                
                  0
                  
                    ,
                  
                  4
                
                
                  p
                  
                    1
                  
                
              
            
            )
          
          
            0
            
              ,
            
            4
          
        
        ⋅
        
          
            (
            
              
                
                  0
                  
                    ,
                  
                  6
                
                
                  p
                  
                    2
                  
                
              
            
            )
          
          
            0
            
              ,
            
            6
          
        
        ⋅
        y
        =
        
          
            u
            ¯
          
        
        ⇒
        y
        =
        
          
            
              u
              ¯
            
            
              
                
                  (
                  
                    
                      
                        0
                        
                          ,
                        
                        4
                      
                      
                        p
                        
                          1
                        
                      
                    
                  
                  )
                
                
                  0
                  
                    ,
                  
                  4
                
              
              ⋅
              
                
                  (
                  
                    
                      
                        0
                        
                          ,
                        
                        6
                      
                      
                        p
                        
                          2
                        
                      
                    
                  
                  )
                
                
                  0
                  
                    ,
                  
                  6
                
              
            
          
        
        =
        
          
            u
            ¯
          
        
        ⋅
        
          
            (
            
              
                
                  p
                  
                    1
                  
                
                
                  0
                  
                    ,
                  
                  4
                
              
            
            )
          
          
            0
            
              ,
            
            4
          
        
        ⋅
        
          
            (
            
              
                
                  p
                  
                    2
                  
                
                
                  0
                  
                    ,
                  
                  6
                
              
            
            )
          
          
            0
            
              ,
            
            6
          
        
      
    
    {\displaystyle \left({\frac {0{,}4}{p_{1}}}\right)^{0{,}4}\cdot \left({\frac {0{,}6}{p_{2}}}\right)^{0{,}6}\cdot y={\overline {u}}\Rightarrow y={\frac {\overline {u}}{\left({\frac {0{,}4}{p_{1}}}\right)^{0{,}4}\cdot \left({\frac {0{,}6}{p_{2}}}\right)^{0{,}6}}}={\overline {u}}\cdot \left({\frac {p_{1}}{0{,}4}}\right)^{0{,}4}\cdot \left({\frac {p_{2}}{0{,}6}}\right)^{0{,}6}}
  

Dies ist die Ausgabenfunktion 
  
    
      
        e
        (
        
          p
          
            1
          
        
        ,
        
          p
          
            2
          
        
        ,
        
          
            u
            ¯
          
        
        )
      
    
    {\displaystyle e(p_{1},p_{2},{\overline {u}})}
  
. Mittels Shephards Lemma folgt sofort

  
    
      
        
          x
          
            1
          
          
            h
          
        
        (
        
          p
          
            1
          
        
        ,
        
          p
          
            2
          
        
        ,
        
          
            u
            ¯
          
        
        )
        =
        
          
            
              ∂
              e
              (
              
                p
                
                  1
                
              
              ,
              
                p
                
                  2
                
              
              ,
              
                
                  u
                  ¯
                
              
              )
            
            
              ∂
              
                p
                
                  1
                
              
            
          
        
        =
        
          
            u
            ¯
          
        
        ⋅
        
          
            (
            
              
                
                  p
                  
                    1
                  
                
                
                  0
                  
                    ,
                  
                  4
                
              
            
            )
          
          
            −
            0
            
              ,
            
            6
          
        
        ⋅
        
          
            (
            
              
                
                  p
                  
                    2
                  
                
                
                  0
                  
                    ,
                  
                  6
                
              
            
            )
          
          
            0
            
              ,
            
            6
          
        
      
    
    {\displaystyle x_{1}^{h}(p_{1},p_{2},{\overline {u}})={\frac {\partial e(p_{1},p_{2},{\overline {u}})}{\partial p_{1}}}={\overline {u}}\cdot \left({\frac {p_{1}}{0{,}4}}\right)^{-0{,}6}\cdot \left({\frac {p_{2}}{0{,}6}}\right)^{0{,}6}}
  

bzw.

  
    
      
        
          x
          
            2
          
          
            h
          
        
        (
        
          p
          
            1
          
        
        ,
        
          p
          
            2
          
        
        ,
        
          
            u
            ¯
          
        
        )
        =
        
          
            
              ∂
              e
              (
              
                p
                
                  1
                
              
              ,
              
                p
                
                  2
                
              
              ,
              
                
                  u
                  ¯
                
              
              )
            
            
              ∂
              
                p
                
                  2
                
              
            
          
        
        =
        
          
            u
            ¯
          
        
        ⋅
        
          
            (
            
              
                
                  p
                  
                    1
                  
                
                
                  0
                  
                    ,
                  
                  4
                
              
            
            )
          
          
            0
            
              ,
            
            4
          
        
        ⋅
        
          
            (
            
              
                
                  p
                  
                    2
                  
                
                
                  0
                  
                    ,
                  
                  6
                
              
            
            )
          
          
            −
            0
            
              ,
            
            4
          
        
      
    
    {\displaystyle x_{2}^{h}(p_{1},p_{2},{\overline {u}})={\frac {\partial e(p_{1},p_{2},{\overline {u}})}{\partial p_{2}}}={\overline {u}}\cdot \left({\frac {p_{1}}{0{,}4}}\right)^{0{,}4}\cdot \left({\frac {p_{2}}{0{,}6}}\right)^{-0{,}4}}
  
.


## Differenzierbarkeit
### Matrixgleichung der Konsumnachfrage
Weil es für die nachfolgende Betrachtung erheblich ist, wird die verkürzte Darstellung der (Matrix-)Vektorprodukte kurzzeitig aufgegeben und explizit formuliert, ob es sich um einen Spalten- oder einen Zeilenvektor handelt. 
  
    
      
        
          x
        
      
    
    {\displaystyle \mathbf {x} }
  
 und 
  
    
      
        
          p
        
      
    
    {\displaystyle \mathbf {p} }
  
 seien beide Spaltenvektoren.
Betrachte die Bedingungen erster Ordnung

  
    
      
        
          
            
              ∂
              
                
                  L
                
              
              (
              
                x
              
              )
            
            
              ∂
              
                x
                
                  i
                
              
            
          
        
        =
        0
        ⇒
        
          
            
              ∂
              u
              (
              
                x
              
              )
            
            
              ∂
              
                x
                
                  i
                
              
            
          
        
        =
        λ
        
          p
          
            i
          
        
      
    
    {\displaystyle {\frac {\partial {\mathcal {L}}(\mathbf {x} )}{\partial x_{i}}}=0\Rightarrow {\frac {\partial u(\mathbf {x} )}{\partial x_{i}}}=\lambda p_{i}}
  
 für alle 
  
    
      
        i
        =
        1
        ,
        …
        ,
        n
      
    
    {\displaystyle i=1,\ldots ,n}
  
 
  
    
      
        ⇔
        ∇
        u
        (
        
          x
        
        )
        =
        λ
        
          p
        
      
    
    {\displaystyle \Leftrightarrow \nabla u(\mathbf {x} )=\lambda \mathbf {p} }
  

(mit 
  
    
      
        ∇
        u
        (
        
          x
        
        )
      
    
    {\displaystyle \nabla u(\mathbf {x} )}
  
 dem Gradienten der Nutzenfunktion) sowie die Nebenbedingung

  
    
      
        
          
            p
          
          
            T
          
        
        
          x
        
        =
        y
      
    
    {\displaystyle \mathbf {p} ^{T}\mathbf {x} =y}
  

Man bildet von diesen Bedingungen jeweils das totale Differential:

  
    
      
        U
        
          d
        
        
          x
        
        =
        
          p
        
        
          d
        
        λ
        +
        λ
        
          d
        
        
          p
        
      
    
    {\displaystyle U\mathrm {d} \mathbf {x} =\mathbf {p} \mathrm {d} \lambda +\lambda \mathrm {d} \mathbf {p} }
  

  
    
      
        
          
            p
          
          
            T
          
        
        
          d
        
        
          x
        
        +
        
          
            x
          
          
            T
          
        
        
          d
        
        
          p
        
        =
        
          d
        
        y
      
    
    {\displaystyle \mathbf {p} ^{T}\mathrm {d} \mathbf {x} +\mathbf {x} ^{T}\mathrm {d} \mathbf {p} =\mathrm {d} y}
  

mit 
  
    
      
        U
      
    
    {\displaystyle U}
  
 der 
  
    
      
        (
        n
        ×
        n
        )
      
    
    {\displaystyle (n\times n)}
  
-Hessematrix der Nutzenfunktion, deren 
  
    
      
        (
        i
        ,
        j
        )
      
    
    {\displaystyle (i,j)}
  
-tes Element durch 
  
    
      
        
          ∂
          
            2
          
        
        u
        (
        
          x
        
        )
        
          /
        
        ∂
        
          x
          
            i
          
        
        ∂
        
          x
          
            j
          
        
      
    
    {\displaystyle \partial ^{2}u(\mathbf {x} )/\partial x_{i}\partial x_{j}}
  
 gegeben ist, und überführt dieses System in Matrixschreibweise:

  
    
      
        
          (
          
            
              
                
                  U
                
                
                  
                    p
                  
                
              
              
                
                  
                    
                      p
                    
                    
                      T
                    
                  
                
                
                  0
                
              
            
          
          )
        
        ⋅
        
          (
          
            
              
                
                  
                    d
                  
                  
                    x
                  
                
              
              
                
                  −
                  
                    d
                  
                  λ
                
              
            
          
          )
        
        =
        
          (
          
            
              
                
                  
                    0
                  
                
                
                  λ
                  I
                
              
              
                
                  1
                
                
                  −
                  
                    
                      x
                    
                    
                      T
                    
                  
                
              
            
          
          )
        
        ⋅
        
          (
          
            
              
                
                  
                    d
                  
                  y
                
              
              
                
                  
                    d
                  
                  
                    p
                  
                
              
            
          
          )
        
      
    
    {\displaystyle \left({\begin{array}{cc}U&\mathbf {p} \\\mathbf {p} ^{T}&0\end{array}}\right)\cdot \left({\begin{array}{c}\mathrm {d} \mathbf {x} \\-\mathrm {d} \lambda \end{array}}\right)=\left({\begin{array}{cc}\mathbf {0} &\lambda I\\1&-\mathbf {x} ^{T}\end{array}}\right)\cdot \left({\begin{array}{c}\mathrm {d} y\\\mathrm {d} \mathbf {p} \end{array}}\right)}
  

Man bezeichnet diese Gleichung im Anschluss an Barten (1966) bisweilen als „Hauptmatrixgleichung der Konsumnachfrage“ (fundamental matrix equation of consumer demand).
Bezeichne diesen Ausdruck mit (a). Betrachte ferner das Nachfragesystem

  
    
      
        
          x
          
            i
          
        
        =
        
          x
          
            i
          
        
        (
        
          p
        
        ,
        y
        )
      
    
    {\displaystyle x_{i}=x_{i}(\mathbf {p} ,y)}
  
 für alle 
  
    
      
        i
        =
        1
        ,
        …
        ,
        n
      
    
    {\displaystyle i=1,\ldots ,n}
  

  
    
      
        λ
        =
        λ
        (
        
          p
        
        ,
        y
        )
      
    
    {\displaystyle \lambda =\lambda (\mathbf {p} ,y)}
  
.
Bilde man auch hiervon das totale Differential:

  
    
      
        
          (
          
            
              
                
                  
                    d
                  
                  
                    x
                  
                
              
              
                
                  −
                  
                    d
                  
                  λ
                
              
            
          
          )
        
        =
        
          (
          
            
              
                
                  
                    
                      x
                    
                    
                      y
                    
                  
                
                
                  
                    X
                    
                      
                        p
                      
                    
                  
                
              
              
                
                  −
                  
                    λ
                    
                      y
                    
                  
                
                
                  −
                  
                    λ
                    
                      
                        p
                      
                    
                    
                      T
                    
                  
                
              
            
          
          )
        
        ⋅
        
          (
          
            
              
                
                  
                    d
                  
                  y
                
              
              
                
                  
                    d
                  
                  
                    p
                  
                
              
            
          
          )
        
      
    
    {\displaystyle \left({\begin{array}{c}\mathrm {d} \mathbf {x} \\-\mathrm {d} \lambda \end{array}}\right)=\left({\begin{array}{cc}\mathbf {x} _{y}&X_{\mathbf {p} }\\-\lambda _{y}&-\lambda _{\mathbf {p} }^{T}\end{array}}\right)\cdot \left({\begin{array}{c}\mathrm {d} y\\\mathrm {d} \mathbf {p} \end{array}}\right)}
  

mit 
  
    
      
        
          λ
          
            
              p
            
          
        
        =
        (
        ∂
        λ
        
          /
        
        ∂
        
          p
          
            1
          
        
        ,
        …
        ,
        ∂
        λ
        
          /
        
        ∂
        
          p
          
            n
          
        
        
          )
          
            T
          
        
      
    
    {\displaystyle \lambda _{\mathbf {p} }=(\partial \lambda /\partial p_{1},\ldots ,\partial \lambda /\partial p_{n})^{T}}
  
, 
  
    
      
        
          λ
          
            y
          
        
        =
        ∂
        λ
        
          /
        
        ∂
        y
      
    
    {\displaystyle \lambda _{y}=\partial \lambda /\partial y}
  
, 
  
    
      
        
          
            x
          
          
            y
          
        
        =
        (
        ∂
        
          x
          
            1
          
        
        
          /
        
        ∂
        y
        ,
        …
        ,
        ∂
        
          x
          
            n
          
        
        
          /
        
        ∂
        y
        
          )
          
            T
          
        
      
    
    {\displaystyle \mathbf {x} _{y}=(\partial x_{1}/\partial y,\ldots ,\partial x_{n}/\partial y)^{T}}
  
 und 
  
    
      
        
          X
          
            
              p
            
          
        
      
    
    {\displaystyle X_{\mathbf {p} }}
  
 einer 
  
    
      
        (
        n
        ×
        n
        )
      
    
    {\displaystyle (n\times n)}
  
-Matrix mit 
  
    
      
        (
        i
        ,
        j
        )
      
    
    {\displaystyle (i,j)}
  
-tem Element 
  
    
      
        ∂
        
          x
          
            i
          
        
        
          /
        
        ∂
        
          p
          
            j
          
        
      
    
    {\displaystyle \partial x_{i}/\partial p_{j}}
  
. Bezeichne diesen Ausdruck mit (b).
(b) in (a) liefert

  
    
      
        
          (
          
            
              
                
                  U
                
                
                  
                    p
                  
                
              
              
                
                  
                    
                      p
                    
                    
                      T
                    
                  
                
                
                  0
                
              
            
          
          )
        
        
          (
          
            
              
                
                  
                    
                      x
                    
                    
                      y
                    
                  
                
                
                  
                    X
                    
                      
                        p
                      
                    
                  
                
              
              
                
                  −
                  
                    λ
                    
                      y
                    
                  
                
                
                  −
                  
                    λ
                    
                      
                        p
                      
                    
                    
                      T
                    
                  
                
              
            
          
          )
        
        =
        
          (
          
            
              
                
                  
                    0
                  
                
                
                  λ
                  I
                
              
              
                
                  1
                
                
                  −
                  
                    
                      x
                    
                    
                      T
                    
                  
                
              
            
          
          )
        
      
    
    {\displaystyle \left({\begin{array}{cc}U&\mathbf {p} \\\mathbf {p} ^{T}&0\end{array}}\right)\left({\begin{array}{cc}\mathbf {x} _{y}&X_{\mathbf {p} }\\-\lambda _{y}&-\lambda _{\mathbf {p} }^{T}\end{array}}\right)=\left({\begin{array}{cc}\mathbf {0} &\lambda I\\1&-\mathbf {x} ^{T}\end{array}}\right)}
  

oder – Regularität von 
  
    
      
        U
      
    
    {\displaystyle U}
  
 vorausgesetzt – anders formuliert

  
    
      
        
          
            
              
                
                  (
                  
                    
                      
                        
                          
                            
                              x
                            
                            
                              y
                            
                          
                        
                        
                          
                            X
                            
                              
                                p
                              
                            
                          
                        
                      
                      
                        
                          −
                          
                            λ
                            
                              y
                            
                          
                        
                        
                          −
                          
                            λ
                            
                              
                                p
                              
                            
                            
                              T
                            
                          
                        
                      
                    
                  
                  )
                
              
              
                
                =
                
                  
                    (
                    
                      
                        
                          
                            U
                          
                          
                            
                              p
                            
                          
                        
                        
                          
                            
                              
                                p
                              
                              
                                T
                              
                            
                          
                          
                            0
                          
                        
                      
                    
                    )
                  
                  
                    −
                    1
                  
                
                
                  (
                  
                    
                      
                        
                          
                            0
                          
                        
                        
                          λ
                          I
                        
                      
                      
                        
                          1
                        
                        
                          −
                          
                            
                              x
                            
                            
                              T
                            
                          
                        
                      
                    
                  
                  )
                
              
            
            
              
              
                
                =
                
                  
                    1
                    
                      
                        
                          p
                        
                        
                          T
                        
                      
                      
                        U
                        
                          −
                          1
                        
                      
                      
                        p
                      
                    
                  
                
                
                  (
                  
                    
                      
                        
                          (
                          
                            
                              p
                            
                            
                              T
                            
                          
                          
                            U
                            
                              −
                              1
                            
                          
                          
                            p
                          
                          )
                          
                            U
                            
                              −
                              1
                            
                          
                          −
                          
                            U
                            
                              −
                              1
                            
                          
                          
                            p
                          
                          (
                          
                            U
                            
                              −
                              1
                            
                          
                          
                            p
                          
                          
                            )
                            
                              T
                            
                          
                        
                        
                          
                            U
                            
                              −
                              1
                            
                          
                          
                            p
                          
                        
                      
                      
                        
                          (
                          
                            U
                            
                              −
                              1
                            
                          
                          
                            p
                          
                          
                            )
                            
                              T
                            
                          
                        
                        
                          −
                          1
                        
                      
                    
                  
                  )
                
                
                  (
                  
                    
                      
                        
                          
                            0
                          
                        
                        
                          λ
                          I
                        
                      
                      
                        
                          1
                        
                        
                          −
                          
                            
                              x
                            
                            
                              T
                            
                          
                        
                      
                    
                  
                  )
                
              
            
            
              
              
                
                =
                
                  
                    1
                    
                      
                        
                          p
                        
                        
                          T
                        
                      
                      
                        U
                        
                          −
                          1
                        
                      
                      
                        p
                      
                    
                  
                
                
                  (
                  
                    
                      
                        
                          
                            U
                            
                              −
                              1
                            
                          
                          
                            p
                          
                        
                        
                          (
                          
                            
                              p
                            
                            
                              T
                            
                          
                          
                            U
                            
                              −
                              1
                            
                          
                          
                            p
                          
                          )
                          λ
                          
                            U
                            
                              −
                              1
                            
                          
                          −
                          λ
                          (
                          
                            U
                            
                              −
                              1
                            
                          
                          
                            p
                          
                          )
                          (
                          
                            U
                            
                              −
                              1
                            
                          
                          
                            p
                          
                          
                            )
                            
                              T
                            
                          
                          −
                          
                            U
                            
                              −
                              1
                            
                          
                          
                            p
                          
                          
                            
                              x
                            
                            
                              T
                            
                          
                        
                      
                      
                        
                          −
                          1
                        
                        
                          λ
                          (
                          
                            U
                            
                              −
                              1
                            
                          
                          
                            p
                          
                          
                            )
                            
                              T
                            
                          
                          +
                          
                            
                              x
                            
                            
                              T
                            
                          
                        
                      
                    
                  
                  )
                
              
            
          
        
      
    
    {\displaystyle {\begin{aligned}\left({\begin{array}{cc}\mathbf {x} _{y}&X_{\mathbf {p} }\\-\lambda _{y}&-\lambda _{\mathbf {p} }^{T}\end{array}}\right)&=\left({\begin{array}{cc}U&\mathbf {p} \\\mathbf {p} ^{T}&0\end{array}}\right)^{-1}\left({\begin{array}{cc}\mathbf {0} &\lambda I\\1&-\mathbf {x} ^{T}\end{array}}\right)\\&={\frac {1}{\mathbf {p} ^{T}U^{-1}\mathbf {p} }}\left({\begin{array}{cc}(\mathbf {p} ^{T}U^{-1}\mathbf {p} )U^{-1}-U^{-1}\mathbf {p} (U^{-1}\mathbf {p} )^{T}&U^{-1}\mathbf {p} \\(U^{-1}\mathbf {p} )^{T}&-1\end{array}}\right)\left({\begin{array}{cc}\mathbf {0} &\lambda I\\1&-\mathbf {x} ^{T}\end{array}}\right)\\&={\frac {1}{\mathbf {p} ^{T}U^{-1}\mathbf {p} }}\left({\begin{array}{cc}U^{-1}\mathbf {p} &(\mathbf {p} ^{T}U^{-1}\mathbf {p} )\lambda U^{-1}-\lambda (U^{-1}\mathbf {p} )(U^{-1}\mathbf {p} )^{T}-U^{-1}\mathbf {p} \mathbf {x} ^{T}\\-1&\lambda (U^{-1}\mathbf {p} )^{T}+\mathbf {x} ^{T}\end{array}}\right)\end{aligned}}}
  


### Differenzierbarkeitseigenschaft
## Ideengeschichtliche Einordnung
Die der marshallschen Nachfrage zugrunde liegende ordinale Nutzenkonzeption geht zurück auf die „moderne“ ökonomische Vorstellung des Nutzens in der Nachfolge von Vilfredo Pareto. Pareto (1906) konstruiert, ein Konzept von Edgeworth (1881) aufgreifend und weiterführend, Indifferenzkurven für unterschiedliche Güter, wobei er – was eigentlich nicht mehr erforderlich wäre – bisweilen noch eine kardinale Bestimmbarkeit des Nutzens voraussetzt; dennoch macht er die strikte Unterscheidung der (grundlegenden) Präferenzen vom (lediglich repräsentierenden) Nutzen deutlich. Anders als noch Edgeworth will er die Indifferenzkurven nicht als graphische Repräsentation einer kardinalen Nutzenfunktion konstruiert wissen, sondern entwickelt, im Gegenteil, seine Nutzentheorie erst auf der Grundlage von (auf Beobachtbarkeit fußenden) Indifferenzkurven. Bereits Pareto (1896) zeigt – wie wohl unabhängig auch Fisher (1892) – auf, dass die Messbarkeit des Nutzens zur Konstruktion von Nachfragefunktionen nicht erforderlich ist.
Der andere konzeptionelle Baustein der marshallschen Nachfrage – die Konstruktion der Nachfragefunktion auf Grundlage der Nutzentheorie – geht im Ursprung bereits auf Léon Walras zurück. Walras entwickelte bereits um 1872 ein Modell, in dem Händler ihren Nutzen zu maximieren versuchen, wobei die individuellen Nutzenfunktionen untereinander unabhängig und additiv sind. Auf seine Bitte hin lieferte schließlich Antoine Paul Piccard (1844–1920), der wie Walras als Professor an der Universität Lausanne tätig war, einen Weg, über ein beschränktes Maximierungsproblem eine Gleichgewichtsfunktion zu konstruieren. Ausgehend von zwei Grenznutzenkurven für zwei Güter 
  
    
      
        
          A
        
      
    
    {\displaystyle \mathrm {A} }
  
 und 
  
    
      
        
          B
        
      
    
    {\displaystyle \mathrm {B} }
  
 und einer bestimmten positiven Anfangsausstattung von 
  
    
      
        
          A
        
      
    
    {\displaystyle \mathrm {A} }
  
 bei gegebenen Preisen konstruiert Piccard eine Optimalitätsbedingung für den Konsum von 
  
    
      
        
          A
        
      
    
    {\displaystyle \mathrm {A} }
  
 und 
  
    
      
        
          B
        
      
    
    {\displaystyle \mathrm {B} }
  
, die sich in einer Art Nachfragekurve ausdrücken lässt, welche zwar noch nicht der modernen Konzeption einer Nachfragekurve folgt, mit ihr im betrachteten Zwei-Güter-Fall jedoch verwandt ist. Diesem erweiterten Modell entsprang insbesondere auch Walras’ Erkenntnis der Proportionalität von Grenznutzen (in Walras’ Terminologie: rereté) und Güterpreisen, das die moderne Nachfragekonzeption durchzieht. Marshall (1890) liefert eine deutlich einfachere und direktere Möglichkeit der Gewinnung einer Nachfragekurve aus der Nachfragefunktion. Wie auch bei Walras wird dabei Unabhängigkeit und Additivität der Nutzenfunktion sowie ein abnehmender Grenznutzen unterstellt. Marshall kann darauf gründend zwar in der Tat die moderne Formulierung der Nachfragekurve als Funktion der Güterpreise und des Einkommens konstruieren; dies gelingt ihm allerdings nur unter der Annahme eines „konstanten“ Grenznutzens des Einkommens. Diese Annahme stieß bereits bei Veröffentlichung der Principles auf Kritik, unter anderem von Pareto. Mit Walras teilte Marshall zudem die Basis einer kardinalen Nutzenkonzeption, deren Verzichtbarkeit Pareto später zeigen konnte.
Die methodischen Komponenten zusammengefügt hat maßgeblich Jewgeni Slutsky. Er (1915) skizziert bereits weitgehend das moderne Konzept der marshallsche Nachfragefunktion. Eine leicht allgemeinere Version liefern (in Unkenntnis von Slutskys Beitrag) John Hicks und R. G. D. Allen (1934a, 1934b).


## Literatur
Anton Barten und Volker Böhm: Consumer Theory. In: Kenneth J. Arrow and Michael D. Intrilligator (Hrsg.): Handbook of Mathematical Economics. Bd. 2. North Holland, Amsterdam 1982, ISBN 978-0-444-86127-6, S. 382–429 (auch online: doi:10.1016/S1573-4382(82)02004-9).
Friedrich Breyer: Mikroökonomik. Eine Einführung. 5. Aufl. Springer, Heidelberg u. a. 2011, ISBN 978-3-642-22150-7 (auch online: doi:10.1007/978-3-642-22150-7). [Kapitel 4]
Arthur S. Goldberger: Functional form and utility. A review of consumer demand theory. Westview Press, Boulder 1987, ISBN 0-8133-7489-8.
Donald W. Katzner: Static Demand Theory. Macmillan, New York 1970.
David M. Kreps: Microeconomic Foundations I. Choice and Competitive Markets. Princeton University Press, Princeton 2012, ISBN 978-0-691-15583-8.
Andreu Mas-Colell, Michael Whinston und Jerry Green: Microeconomic Theory. Oxford University Press, Oxford 1995, ISBN 0-195-07340-1. [Kapitel 3]
Efe A. Ok: Real Analysis with Economic Applications. Princeton University Press, Princeton 2007, ISBN 978-0-691-11768-3.
Eugene Silberberg: Hicksian and Marshallian demands. In: Steven N. Durlauf und Lawrence E. Blume (Hrsg.): The New Palgrave Dictionary of Economics. 2. Auflage. Palgrave Macmillan 2008, doi:10.1057/9780230226203.0731 (Online-Ausgabe).
Mark Voorneveld: Mathematical foundations for microeconomic theory: Preference, utility and choice. Skriptum, Stockholm School of Economics, 2009, Internet https://studentweb.hhs.se/courseweb/CourseWeb/Public/PhD501/0701/notes2.pdf, abgerufen am 5. Mai 2014.


## Anmerkungen