elliptic regularity