# Shephards Lemma

Shephards Lemma (auch Lemma von Shephard) besagt in der Haushaltstheorie, dass die Hicks’sche Nachfragefunktion nach einem Gut der Ableitung der Ausgabenfunktion nach dem Preis dieses Gutes entspricht. In der Theorie des Unternehmens besagt es, dass die bedingte Faktornachfrage nach einem Produktionsfaktor der Ableitung der Kostenfunktion nach dem Faktorpreis dieses Produktionsfaktors entspricht. Die beiden Anwendungen sind analog.
Benannt ist das Lemma nach dem amerikanischen Ökonomen und Statistiker Ronald Shephard.

## Darstellung
### Theorie des Haushalts

Man geht zunächst von einem Ausgabenminimierungsproblem aus, das durch
    $\min _{(x_{1},\ldots ,x_{n})\in \mathbb {R} _{+}^{n}}\sum _{i=1}^{n}p_{i}x_{i}$ unter der Nebenbedingung $u(x_{1},\ldots ,x_{n})={\overline {u}}$
gegeben ist, wobei $u(\cdot )$ stetig, differenzierbar und strikt quasikonkav sei. Dabei werden die Gesamtausgaben für die $n$ Güter aus dem Warenkorb minimiert, wobei aber ein gewisses Nutzenniveau gewahrt werden soll. Die Lösung eines solchen Ausgabenminimierungsproblems ist bestimmungsgemäß eine Funktion $\mathbf {x} ^{*}$, die anzeigt, welche Menge von den jeweiligen Gütern nachgefragt werden sollte, um das gegebene Nutzenniveau möglichst kostengünstig zu erzielen. Es ist folglich $\mathbf {x} ^{*}$ eine Funktion des Preisvektors $\mathbf {p} =(p_{1},\ldots ,p_{n})$ und des festgelegten Nutzenniveaus ${\overline {u}}$. Man bezeichnet das so gegebene $\mathbf {x} ^{*}$ als Hick'sche Nachfrage und vereinbart $\mathbf {x} ^{*}(\mathbf {p} ,{\overline {u}})\equiv \mathbf {x} ^{h}(\mathbf {p} ,{\overline {u}})$.
Die diesem $\mathbf {x} ^{*}$ zugehörige so genannte Optimalwertfunktion ist gegeben durch die ursprünglich minimierte Funktion, in die man nun das erhaltene $\mathbf {x} ^{*}$ einsetzt. Man bezeichnet sie als Ausgabenfunktion $e$:
    $e=e(\mathbf {p} ,{\overline {u}})=\sum _{i=1}^{n}p_{i}x_{i}^{h}(\mathbf {p} ,{\overline {u}})$
Sie liefert die tatsächlichen Ausgaben, die im Ausgabenminimum für gegebenes Nutzenniveau zu tätigen sind.
Shephards Lemma in der Haushaltstheorie: Die Hick’sche Nachfrage nach einem Gut j ist gegeben durch die partielle Ableitung der Ausgabenfunktion nach dem Preis $p_{j}$ des Gutes:
    ${\frac {\partial e(\mathbf {p} ,{\overline {u}})}{\partial p_{j}}}=x_{j}^{h}(\mathbf {p} ,{\overline {u}})$

### Theorie des Unternehmens

Man geht zunächst von einem Kostenminimierungsproblem aus, das durch
    $\min _{(x_{1},\ldots ,x_{n})\in \mathbb {R} _{+}^{n}}\sum _{i=1}^{n}w_{i}x_{i}$ unter der Nebenbedingung $f(x_{1},\ldots ,x_{n})=y$
gegeben ist, wobei $f(\cdot )$ stetig, differenzierbar und strikt quasikonkav sei. Dabei werden die Gesamtausgaben für die $n$ Produktionsfaktoren minimiert, wobei aber eine gewisse Outputmenge $y$ hervorgebracht werden soll ($f$ ist die Produktionsfunktion). Die Lösung eines solchen Kostenminimierungsproblems ist bestimmungsgemäß eine Funktion $\mathbf {x} ^{*}$, die anzeigt, welche Menge von den jeweiligen Faktoren nachgefragt werden sollte, um das gegebene Produktionsziel möglichst kostengünstig zu erreichen. Es ist folglich $\mathbf {x} ^{*}$ eine Funktion des Faktorpreisvektors $\mathbf {w} =(w_{1},\ldots ,w_{n})$ und des festgelegten Outputniveaus $y$. Man bezeichnet das so gegebene $\mathbf {x} ^{*}$ als bedingte Faktornachfrage.
Die diesem $\mathbf {x} ^{*}$ zugehörige so genannte Optimalwertfunktion ist gegeben durch die ursprünglich minimierte Funktion, in die man nun das erhaltene $\mathbf {x} ^{*}$ einsetzt. Man bezeichnet sie als Kostenfunktion $c$:
    $c=c(\mathbf {w} ,y)=\sum _{i=1}^{n}w_{i}x_{i}^{*}(\mathbf {w} ,y)$
Sie liefert die tatsächlichen Kosten, die im Kostenminimum für eine gegebene Outputmenge anfallen.
Shephards Lemma in der Theorie der Unternehmung: Die bedingte Faktornachfrage nach einem Produktionsfaktor j ist gegeben durch die partielle Ableitung der Kostenfunktion nach dem Preis $w_{j}$ des Produktionsfaktors:
    ${\frac {\partial c(\mathbf {w} ,y)}{\partial w_{j}}}=x_{j}^{*}(\mathbf {w} ,y)$

## Herleitung

Das Lemma ist eine direkte Anwendung des Envelope-Theorems.