Дан функционал
Норма - одна из стандартных на соболевом пространстве:
Так же известно, что
. Очевидно, что при
функционал будет коерцивен.
мне хотелось бы показать, что это и необходимое условие. То есть если я найду такую окресность, что
, то я могу построить такую последовательность функций
, норма которых стремится к бесконечности, в то время как
остается ограниченным сверху.
мне не удается пока получить такую последовательность. Может быть
вообще не влияет на свойство коерцивности? Но как это показать?