the first eigenvalue of -¥Delta : W_0^2,2 ¥rightarrow L^2 is strictly positive. this is well known and proved by using energy method. but i learned -¥Delta can be extended up to L^1. in this case, is the first eigenvalue still strictly positive?