By part (a), is a bounded bilinear form: . For each fixed , the map is consequently a bounded linear functional. The Riesz representation theorem supplies a unique vector such thatUniqueness of the representing vector makes linear, and makes it a bounded linear operator.
The coercivity assumption implieshence . Moreover, using the adjoint operator,so the same argument gives . The invertibility from lower bounds on an operator and its adjoint therefore shows that is invertible and is bounded.
Articles by others on the same topic
There are currently no matching articles.