Estaba mirando el original Ponencia Tibshirani, JRSSB 1996 . En particular, estoy tratando de entender su ecuación (6), que dice que las estimaciones LASSO $(\hat\beta_1,\hat\beta_2)$ en el caso de dos regresores será
$$\hat\beta_1=[s/2+(\hat\beta^{(ols)}_1-\hat\beta^{(ols)}_2)/2]^+\qquad\qquad(1)$$
y
$$\hat\beta_2=[s/2-(\hat\beta^{(ols)}_1-\hat\beta^{(ols)}_2)/2]^+\qquad\qquad(2)$$
donde $(x)^+$ significa, creo, "parte positiva de $x$ "(es decir $(x)^+=\max(x,0)$ ) y $s$ es nuestro "presupuesto"
$$|\hat\beta_1|+|\hat\beta_2| \leq s$$
Las estimaciones OLS $\hat\beta^{(ols)}_1$ , $\hat\beta^{(ols)}_2$ necesitan ser positivos y
$$\hat\beta^{(ols)}_1+\hat\beta^{(ols)}_2 \geq s.$$
Ahora, mi pregunta: si $\hat\beta_2$ se reduce a cero, lo que significa que
$$\max[s/2-(\hat\beta^{(ols)}_1-\hat\beta^{(ols)}_2)/2,0]=0$$
o
$$s/2-(\hat\beta^{(ols)}_1-\hat\beta^{(ols)}_2)/2 < 0$$
o
$$s/2 < (\hat\beta^{(ols)}_1-\hat\beta^{(ols)}_2)/2$$
Introduciendo este resultado en (1) se obtiene
$$\hat\beta_1 = s/2+(\hat\beta^{(ols)}_1-\hat\beta^{(ols)}_2)/2 > s/2+s/2=s$$
Por lo tanto, la "restricción presupuestaria"
$$\hat\beta_1+\hat\beta_2\leq s$$
se violaría como $\hat\beta_1>s$ y $\hat\beta_2=0$ .
¿Dónde está mi error?