fix typo
add Lagranzhe-function
fix typo
add partially defined L_i
add analysis of sign of a_i