nøt_199504
nøt_199504
nøt_199504
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
258<br />
en funksjon som uttrykker det offentliges samlede skatteinntekt. Myndighetenes<br />
problem er nå d maksimere V(t) gitt at R(t) R°. Som vanlig loses<br />
et slikt beskranket maksimeringsproblem ved å formulere en Lagrangefunksjon,<br />
(1).<br />
L = V(t) + aR(t) — RI (1)<br />
Førsteordensbetingelsene for optimal indirekte beskatning blir dermed 3 :<br />
aL<br />
atk<br />
n ax.]<br />
. - xxk + I\-- I, xk + t. i = 0, for k = 1,....,n, (2)<br />
z--. i at<br />
k<br />
aL = R(t) — R° = O.<br />
all<br />
En videre drøftelse av førsteordensbetingelsene tar utgangspunkt i (2).<br />
Ved å substituere inn fra Slutsky-ligningen for leddene axi/atk (dvs. axi/atk<br />
.= asiatk - xkaxim), og benytte symmetrien i kryssprisvirkningene for de<br />
kompenserte etterspørselsfunksjoner (dvs. at asi/atk = askiati), framkommer<br />
uttrykket som vanligvis omtales som Ramsey-regelen, jf. den kursiverte<br />
teksten i innledningen.<br />
+ ti axi<br />
'<br />
— 11i=1 aI<br />
n<br />
for k = 1,..., n.<br />
Selv om (4) er det sentrale uttrykket for tolkningen av egenskapene ved et<br />
skatteoptimum i litteraturen, er det førsteordesbetingelsene slik de framkommer<br />
direkte i (2) og (3) som er de sentrale uttrykkene for den videre<br />
3 I (2) framkommer det første leddet, -Xx k, ved utnyttelse av omhylningsteoremet under derivasjonen<br />
awatk. (X, er grensenytten av inntekt for konsumenten.) Førsteordensbetingelsene<br />
er kun satt opp som strenge likheter, dvs. det er implisitt forutsatt at det er optimalt d<br />
ha positive skattesatser pd alle de n skattbare varene. Videre har vi utelukket at det kan<br />
were optimalt a velge sd høye skattesatser at skatteinntektskravet overoppfylles. Førsteordensbetingelsene<br />
utledet fra Lagrangefunksjonen forutsetter videre at føringsbetingelsen<br />
(«constraint qualification») er oppfylt, dvs. at awatk # 0 for minst én k e [1, ..., n], se<br />
f.eks. Dixit (1990), s. 18).<br />
(3)<br />
(4)