Let $(H, \langle \cdot, \cdot \rangle)$ be a real Hilbert space and $\|\cdot \|$ its induced norm. Let $a: H \times H \to \mathbb R$ be a bilinear form. We say that

• $a$ is coercive IFF there is $C>0$ such that $a(u, u) \ge C \|u \|^2$.
• $a$ is continuous IFF there is $C>0$ such that $|a(u, v)| \ge C \|u \| \|v \|$.

Lax–Milgram theorem says that if $a$ is a continuous coercive bilinear form on $H$, then for each $\varphi \in H^*$ there is a unique $u \in H$ such that $$ a(u, v) = \varphi (v), \quad \forall v \in H. $$

Assume that we only want the existence and not necessarily the uniqueness. Can we relax any of above assumtions?

My question arises when I look for the solution of Sturm–Liouville problem $-(pU')' + qU = f$ with a boundary condition of only one endpoint, i.e.,

Let $I$ be the open interval $(0, 1)$. Assume that $p \in C^1(\bar I)$ and $q \in$ $C(\bar I)$ such that $p(x) \geq \alpha \in \mathbb R_{>0}$ and $q(x) \geq 0$ for all $x \in \bar I$. Let $f \in L^2 (I)$. We want to find $U \in H^1(I)$ such that $U(0)=1$ and that for each $V \in C_c^\infty (I)$, $$ \int_I pU' V' + \int_I qUV = \int_I fV. $$

Let $(H, \langle \cdot, \cdot \rangle)$ be a real Hilbert space and $\|\cdot \|$ its induced norm. Let $a: H \times H \to \mathbb R$ be a bilinear form. We say that

• $a$ is coercive IFF there is $C>0$ such that $a(u, u) \ge C \|u \|^2$.
• $a$ is continuous IFF there is $C>0$ such that $|a(u, v)| \le C \|u \| \|v \|$.

Lax–Milgram theorem says that if $a$ is a continuous coercive bilinear form on $H$, then for each $\varphi \in H^*$ there is a unique $u \in H$ such that $$ a(u, v) = \varphi (v), \quad \forall v \in H. $$

Assume that we only want the existence and not necessarily the uniqueness. Can we relax any of above assumtions?

My question arises when I look for the solution of Sturm–Liouville problem $-(pU')' + qU = f$ with a boundary condition of only one endpoint, i.e.,

Let $I$ be the open interval $(0, 1)$. Assume that $p \in C^1(\bar I)$ and $q \in$ $C(\bar I)$ such that $p(x) \geq \alpha \in \mathbb R_{>0}$ and $q(x) \geq 0$ for all $x \in \bar I$. Let $f \in L^2 (I)$. We want to find $U \in H^1(I)$ such that $U(0)=1$ and that for each $V \in C_c^\infty (I)$, $$ \int_I pU' V' + \int_I qUV = \int_I fV. $$