Дан функционал
![$$J(x)=\int\limits_0^T A(t)x(t)^2+B(t)\dot x(t)^2 dt,\ x\in W_2^1[0,T],\ A(t)\in L_\infty[0,T],B(t)\in C^0[0,T]$$ $$J(x)=\int\limits_0^T A(t)x(t)^2+B(t)\dot x(t)^2 dt,\ x\in W_2^1[0,T],\ A(t)\in L_\infty[0,T],B(t)\in C^0[0,T]$$](https://dxdy-04.korotkov.co.uk/f/7/6/3/763bceba64aa1965401420acefd3e87082.png)
Норма - одна из стандартных на соболевом пространстве:

Так же известно, что

. Очевидно, что при

функционал будет коерцивен.
мне хотелось бы показать, что это и необходимое условие. То есть если я найду такую окресность, что

, то я могу построить такую последовательность функций

, норма которых стремится к бесконечности, в то время как

остается ограниченным сверху.
мне не удается пока получить такую последовательность. Может быть

вообще не влияет на свойство коерцивности? Но как это показать?