Sobolev space
This is in fact a holomorphic map into each Sobolev space "Hk" and hence also formula_77.