Дана цепочка вложенных пространств:
L2

H^1

H^2

...

H^m

...
где H^i (1

i

) - пространства Соболева
H^m =

L2 |

: |

|

m

D^(

)

L2


}
нужно понять, что находится в пересечении

H^m = ?
буду рад любой помощи в том числе и рекомендации литературы
Мои рассуждения:
по теореме вложения следует, что

H^m

C ^

по определению пространств следует что H^m

H^n , если n<m
то есть скорее всего пересечение будет пространство бесконечно дифференцируемых функций, которые принадлежат пространству L2