Topic
Dual Spaces and Bounded Linear Functionals
Courses
Courses whose questions include this topic tag.
Questions
This topic is tagged for 48 questions
-
Spring 2025 • Question 2
Consider the operator \(T : L^2[0, 1] \to L^2[0, 1]\) defined by
\[(Tx)(t) = tx(t).\]Find the spectrum \(\sigma (T)\), point spectrum \(\sigma _p(T)\), continuum spectrum \(\sigma _c(T)\), residual spectrum \(\sigma _r(T)\) and resolvent set \(\rho (T)\).
-
Spring 2025 • Question 4
Let \(a\) and \(b\) be non-zero (but possibly complex) elements in the complex Hilbert space \(\ell ^2\). Consider the bounded linear operator \(T : \ell ^2 \to \ell ^2\) defined by
\[T u = \langle u, b \rangle a.\]-
Use the Fredholm Alternative Theorem to find a simple condition on \(a\) and \(b\) guar- anteeing that the equation
\[(T - I)u = v\]has a unique solution \(u\) for all \(v \in \ell ^2\).
- Find the Hilbert adjoint operator \(T^* : \ell ^2 \to \ell ^2\).
-
Given \(T : X \to Y\) a bounded linear operator, recall that the adjoint operator \(T^\times : Y'\to X'\) is defined
\[(T^\times g)(x) = g(Tx).\]Find the adjoint operator \(T^\times : \ell ^2 \to \ell ^2\). Hint: Express \(g\) and \(T^\times g\) using the Riesz Representation Theorem.
-
Use the Fredholm Alternative Theorem to give conditions on \(v_0\) guaranteeing that
\[(T - I)u = v_0\]has a unique solution \(u\). When it exists, find the solution.
-
-
Fall 2024 • Question 1
Let \(X\) be a Banach space and \(A\), \(T\) be bounded linear operators from \(X\) to itself. Assume further that \(A\) is compact. Show that \(TA\) and \(AT\) are also compact operators.
-
Fall 2024 • Question 3
For \(k \in \mathbb {N}\) let \(T_k : \ell ^1 \to \ell ^\infty \) be the linear operator given by
\[T_k(x_1, x_2, x_3, x_4, \ldots ) = \sum _{j=1}^{k} x_j e_j + \sum _{j=k+1}^{\infty } x_k e_j\]where \(e_j = (0, 0, \ldots , 1, \ldots , 0, 0, \ldots )\), i.e. it is the element of \(\ell ^\infty \) with a single 1 in the \(j\)th position and all other entries are zero.
- Compute \(\|T_k\|\) for each \(k\), and conclude that each \(T_k\) is bounded.
- Prove that the sequence \((T_n)\) is strongly operator convergent.
- Prove that the sequence \((T_n)\) is not uniformly operator convergent.
-
Fall 2024 • Question 4
Let \(H\) be a Hilbert space and \(A : H \to H\) be a bounded self-adjoint linear operator.
-
Prove that
\[\|A\| = \sup _{x \neq 0} \frac {|\langle Ax, x\rangle |}{\|x\|^2}.\] - Prove that at least one of \(\|A\|\) or \(-\|A\|\) is an element of \(\sigma (A)\).
-
-
Fall 2024 • Question 5
Let \(X\) be a normed space over \(\mathbb {R}\) and \(Y \subset X\) be a linear subspace. For \(x_0 \in X \setminus Y\) we define the linear functional
\[f : \operatorname {span}\{Y, x_0\} \to \mathbb {R}\]by
\[f(y + \lambda x_0) = \lambda , \quad \text {for all } y \in Y, \lambda \in \mathbb {R}.\]- Prove that \(f\) is continuous if and only if \(x_0 \notin \overline {Y}\).
-
Prove that \(\overline {Y} = \bigcap \{\operatorname {Ker} g \mid g \in X', Y \subset \operatorname {Ker} g\}\), where \(X'\) is the dual of \(X\).
Hint for part \((ii)\): The \(\subset \) direction is relatively easy. For the other direction, note that as given in part (i), \(f\) satisfies \(f|_Y = 0\) and \(f(x_0) = 1\). The Hahn-Banach theorem provides an extension of \(f\) to the entire space, use this to prove the other direction by contradiction.
-
Spring 2024 • Question 1
Let \((\lambda _j)\) be a sequence that is dense in \([0, 1]\) and consider the linear operator \(T : \ell ^2 \to \ell ^2\) defined by its action on a sequence \((\xi _j) \in \ell ^2\) by
\[T(\xi _j) = (\lambda _j \xi _j).\]Find the spectrum \(\sigma (T)\), point spectrum \(\sigma _p(T)\), continuum spectrum \(\sigma _c(T)\), residual spectrum \(\sigma _r(T)\) and resolvent \(\rho (T)\).
-
Spring 2024 • Question 5
Let \(X\) be a Banach space, \(f : X \to \mathbb {R}\) be a bounded linear functional, \(y \in X\) be fixed, and \(\alpha \in \mathbb {R}\).
-
Prove that there exists a constant \(C > 0\) such that if \(|\alpha | < C\), then the non-linear equation
\begin{equation} x + \alpha f(x)x = y \tag {1} \end{equation}has a unique solution \(x\) in the ball \(B = \{x \in X : \|x - y\| \le 1\}\).
- Suggest an interative procedure for approximating the unique solution \(x\) to equation (1).
-
-
Fall 2023 • Question 1
Let \(X\) be a real Banach space and \(X^*\) denote its dual. Let \(C \subset X\) be a convex set containing the origin. Define
\[ \begin {aligned} C^* &= \{f \in X^* \mid f(x) \le 1 \text { for all } x \in C\} \quad \text {and}\\ C^{**} &= \{x \in X \mid f(x) \le 1 \text { for all } f \in C^*\}. \end {aligned} \]The goal of this problem is to prove that \(C^{**} = \overline {C}\).
- Show that \(C^{**}\) is closed.
- Show that \(\overline {C} \subset C^{**}\).
- Show that \(\overline {C}\) is convex.
-
Assume there is \(x_0 \in X\) such that \(x_0 \in C^{**}\) but \(x_0 \notin \overline {C}\). Show there exists an \(f \in X^*\) such that for all \(x \in \overline {C}\) we have:
\[f(x) < 1 < f(x_0).\] - Explain the contradiction in (d) and how it can be used to conclude with the desired result.
-
Fall 2023 • Question 2
Let \(X\) be a Banach space over the complex numbers. Let \(X_{\mathbb {R}}\) be the vector space over the reals obtained by restricting the multiplication by scalars used to define \(X\) to the real line. Let \(f : X \to \mathbb {C}\) be a bounded linear functional on \(X\) and let \(\phi : X \to \mathbb {R}\) be its real part, defined by \(\phi (x) = \operatorname {Re} f(x)\) for all \(x \in X\).
- Prove that \(\phi \) is a linear functional on \(X_{\mathbb {R}}\).
-
Prove that \(f\) can be reconstructed from \(\phi \) by:
\[f(x) = \phi (x) - i\phi (ix), \quad \text {for } x \in X.\] -
Show that \(f\) as a linear functional on \(X\) and \(\phi \) as a linear functional on \(X_{\mathbb {R}}\) have the same norm, i.e.
\[\|f\|_{X^*} = \|\phi \|_{X_{\mathbb {R}}^*},\]where \(X^*\) is the dual of \(X\) and \(X_{\mathbb {R}}^*\) is the dual of \(X_{\mathbb {R}}\). Hint: To prove one of the inequalities, it may be helpful to find \(\lambda \in \mathbb {C}\) such that \(|f(x)| = f(x/\lambda )\) for a fixed \(x\) with \(f(x) \neq 0\).
-
Fall 2023 • Question 3
Let \((\lambda _j)\) be a sequence that is dense in \([0, 1]\) and consider the linear operator \(T : \ell ^2 \to \ell ^2\) defined by its action on a sequence \((\xi _j) \in \ell ^2\) by
\[T(\xi _j) = (\lambda _j \xi _j).\]Find the spectrum \(\sigma (T)\), point spectrum \(\sigma _p(T)\), continuum spectrum \(\sigma _c(T)\), residual spectrum \(\sigma _r(T)\) and resolvent \(\rho (T)\).
-
Fall 2023 • Question 4
Let \(H\) be a separable Hilbert space with \((e_n)\) being a total orthonormal sequence of \(H\). Let \(T : H \to H\) be a bounded linear operator satisfying
\[\sum _{n=1}^{\infty } \|T e_n\| < \infty .\]Show that \(T\) is compact by approximating \(T\) by a sequence of finite rank operators \((T_k)\) that converges to \(T\) in an appropriate sense.
-
Fall 2023 • Question 5
Let \(X\) be a Banach space. Let \(y \in X\) be fixed and let \(f : X \to \mathbb {R}\) be a bounded linear functional. Show that there is a constant \(C > 0\) such that for all scalars \(\alpha \) with \(|\alpha | < C\) the equation
\[x + \alpha f(x)x = y\]has a unique solution on the open ball \(\{x \in X : \|x - y\| < 1\}\).
-
Fall 2022 • Question 2
Let \(X\) be a real Banach space. Assume \(f \in X^*\) has a closed nullspace \(\mathcal {N}(f)\). The goal of this problem is to show that \(f\) must be a bounded linear functional.
-
Let \(x_0 \in X\) be such that \(f(x_0) = 1\). Explain why there is an \(\epsilon > 0\) for which the ball
\[B(x_0, \epsilon ) \equiv \{x \in X \mid \|x - x_0\| < \epsilon \}\]satisfies \(B(x_0, \epsilon ) \subset X - \mathcal {N}(f)\).
- Prove that \(f(x) > 0\) for all \(x \in B(x_0, \epsilon )\), where \(\epsilon \) is as in part (a). To prove this, you may assume for contradiction that there is some \(y \in B(x_0, \epsilon )\) with \(f(y) \le 0\).
- Any \(x \in B(x_0, \epsilon )\) can be written as \(x = x_0 + \epsilon u\) for some \(u\) with \(\|u\| < 1\). Use the result of part (b) to show that \(|f(u)| < 1/\epsilon \).
- To conclude, give an upper bound for \(\|f\|\).
-
-
Fall 2022 • Question 3
Let \(H\) be a separable Hilbert space with \((e_n)\) being a total orthonormal sequence of \(H\). Let \(T : H \to H\) be a bounded linear operator satisfying
\[\sum _{n=1}^{\infty } \|T e_n\|^2 < \infty .\]Show that \(T\) is compact by approximating \(T\) by a sequence \((T_k)\) of finite rank operators that converges to \(T\) in an appropriate sense.
-
Spring 2022 • Question 2
Let \(T : H \to H\) be a bounded linear operator on a Hilbert space \(H\). Show that \(T\) is compact if and only if \(T^*T\) is compact.
-
Spring 2022 • Question 3
Let \(H\) be a separable Hilbert space with \((e_n)\) being a total orthonormal sequence of \(H\). Let \(T : H \to H\) be a bounded linear operator satisfying
\[\sum _{n=1}^\infty \|T e_n\| < \infty .\]Show that \(T\) is compact by approximating \(T\) by a sequence \((T_k)\) of finite rank operators that converges to \(T\) in an appropriate sense.
-
Spring 2021 • Question 1
Let \(H\) be a Hilbert space endowed with the inner product \(\langle \cdot , \cdot \rangle \). Let \(T\) be a bounded linear operator satisfying \(\langle T x, x\rangle \ge 0\) for all \(x \in H\). Show that \(I + T\) is injective.
-
Spring 2021 • Question 2
Let \(T : H \to H\) be a bounded linear operator on a Hilbert space \(H\). Let \(A\) and \(B\) be subsets of \(H\) such that \(T(A) \subset B\). Show that \(A^\perp \supset T^*(B^\perp )\). Note: We used the notation \(T(A) = \{T x \mid x \in A\}\).
-
Spring 2021 • Question 5
Let \(T : X \to X\) be a bounded linear operator on a complex Banach space \(X\). Prove that \(\sigma (T)\) lies in the complex plane disk: \(\{\lambda \in \mathbb {C} \mid |\lambda | \le \|T\|\}\).
-
Spring 2020 • Question 2
Let \(X\) be a real Banach space, \(f:X\to \mathbb {R}\) be a bounded linear functional and \(T:X\to X\) a bounded linear operator. In the following \(y\in X\) is fixed and \(\alpha \in \mathbb {R}\).
- Prove that there exists a constant \(C>0\) such that if \(\lvert \alpha \rvert <C\), then the non-linear equation \[ x+\alpha f(x)Tx=y, \tag {1} \] has a unique solution \(x\) in the ball \(B=\{x\in X\mid \lVert x-y\rVert \le 1\}\).
- Suggest an iterative procedure for approximating the unique solution \(x\) to equation (1).
-
Spring 2020 • Question 6
Consider the complex function \(f(z)=\ln ((z-1)(z-2))\). Find the branch points. Choose a branch cut and find the corresponding principal branch of the function.
You must justify the choice of angles in the dual polar coordinate representation.
-
Spring 2019 • Question 2
Let \(T:X\to X\) be a bounded linear operator on a complex Banach space \(X\). Prove that the spectrum \(\sigma (T)\) lies in the complex plane disk: \[ \{\lambda \in \mathbb {C}:\lvert \lambda \rvert \le \lVert T\rVert \}. \]
-
Spring 2019 • Question 3
Let \(T\) be a bounded linear operator on a complex Hilbert space \(H\). Show that the operator \(I+T^*T\) is injective.
-
Fall 2018 • Question 4
Consider the operator \(T:L^2[0,1]\to L^2[0,1]\) defined by \((Tx)(t)=tx(t)\).
- Show that \(T\) is self-adjoint and satisfies \(\langle x,Tx\rangle \ge 0\) for every \(x\in L^2[0,1]\).
- Find the spectrum \(\sigma (T)\), point spectrum \(\sigma _p(T)\), continuum spectrum \(\sigma _c(T)\), residual spectrum \(\sigma _r(T)\) and resolvent \(\rho (T)\).
-
Spring 2017 • Question 3
Consider the multiplication operator \(T:L^2[0,1]\to L^2[0,1]\) defined by \(Tx(t)=tx(t)\).
- Show that \(T\) is a bounded, self-adjoint linear operator.
- Find the spectrum \(\sigma (T)\), point spectrum \(\sigma _p(T)\), continuous spectrum \(\sigma _c(T)\), residual spectrum \(\sigma _r(T)\), and resolvent \(\rho (T)\).
- Show that the corresponding spectral family \((E_\lambda )_{\lambda \in \mathbb {R}}\) is given by \[ E_\lambda x= \begin {cases} 0, & \lambda <0,\\ v_\lambda , & 0\le \lambda \le 1,\\ x, & \lambda >1, \end {cases} \qquad \text {where}\qquad v_\lambda (t)= \begin {cases} x(t), & 0\le t\le \lambda ,\\ 0, & \lambda <t\le 1. \end {cases} \]
-
Fall 2016 • Question 4
Let \(X\) be a real Banach space. Assume \(f\in X^*\) has a closed nullspace \(\mathcal {N}(f)\). The goal of this problem is to show that \(f\) must be a bounded linear functional.
- Let \(x_0\in X\) be such that \(f(x_0)=1\). Explain why there is an \(\epsilon >0\) for which the ball \[ B(x_0,\epsilon )\equiv \{x\in X\mid \lVert x-x_0\rVert <\epsilon \} \] satisfies \(B(x_0,\epsilon )\subset X-\mathcal {N}(f)\).
- Prove that \(f(x)>0\) for all \(x\in B(x_0,\epsilon )\), where \(\epsilon \) is as in part (a). To prove this, you may assume for contradiction that there is some \(y\in B(x_0,\epsilon )\) with \(f(y)<0\).
- Any \(x\in B(x_0,\epsilon )\) can be written as \(x=x_0+\epsilon u\) for some \(u\) with \(\lVert u\rVert <1\). Use the result of part (b) to show that \(\lvert f(u)\rvert <1/\epsilon \).
- To conclude, give an upper bound for \(\lVert f\rVert \).
-
Fall 2016 • Question 5
Let \(T:X\to X\) be a bounded linear operator on a complex Banach space \(X\). Prove that \(\sigma (T)\) lies in the complex plane disk: \[ \{\lambda \in \mathbb {C}\mid \lvert \lambda \rvert \le \lVert T\rVert \}. \]
-
Spring 2016 • Question 3
Let \(T\) be a bounded linear operator on a complex Hilbert space \(H\). Show that the operator \(I+T^*T\) is injective.
-
Fall 2015 • Question 2
Let \(X\) be a Banach space, \(f:X\to \mathbb {R}\) be a bounded linear functional, \(y\in X\) fixed and \(\alpha \in \mathbb {R}\).
- Prove that there exists a constant \(C>0\) such that if \(\lvert \alpha \rvert <C\), then the non-linear equation \[ x+\alpha f(x)x=y, \tag {2} \] has a unique solution \(x\) in the ball \(B=\{x\in X\mid \lVert x-y\rVert \le 1\}\).
- Suggest an iterative procedure for approximating the unique solution \(x\) to equation (2).
-
Fall 2015 • Question 4
Let \((\lambda _j)\) be a sequence real numbers with \(\lambda _j\ne 1\) for all \(j\) and \(\lambda _j\to 1\). Consider the operator \(T:\ell ^2\to \ell ^2\) defined for \((\xi _j)\in \ell ^2\) by \[ T(\xi _j)=(\lambda _j\xi _j). \]
- Find the spectrum \(\sigma (T)\), point spectrum \(\sigma _p(T)\), continuum spectrum \(\sigma _c(T)\), residual spectrum \(\sigma _r(T)\) and resolvent set \(\rho (T)\).
- Give a condition on the \(\lambda _j\) for \(T\) to be invertible.
-
Fall 2014 • Question 1
Let \(T:L^1[0,1]\to L^2[0,1]\) be a bounded linear operator. Let \(a\in L^\infty [0,1]\) and \(g\in L^1[0,1]\).
- Prove that there exists a constant \(C>0\) such that if \(\lVert a\rVert _{L^\infty }<C\) then the equation \[ f+a(Tf)^2=g \tag {1} \] has a unique solution \(f\) in the set \[ B=\{u\in L^1[0,1]:\lVert u-g\rVert _{L^1}\le 1\}. \] Note: the constant \(C\) may depend on \(T\) and/or \(g\).
- Suggest an iterative procedure for approximating the unique solution \(f\) to equation (1).
-
Fall 2014 • Question 2
Let \(X\) be a separable Hilbert space and \((e_n)\) be a total orthonormal sequence of \(X\). Let \(T:X\to X\) be a bounded linear operator satisfying \[ \sum _{n=1}^{\infty }\lVert Te_n\rVert ^2<\infty . \tag {2} \] Define the operators \(T_k:X\to X\), \(k=1,2,\ldots \), that applied to an arbitrary \[ x=\sum _{n=1}^{\infty }x_ne_n\in X \qquad \text {give}\qquad T_kx=\sum _{n=1}^k x_nTe_n. \]
- Are the operators \(T_k\) compact? Explain why or why not.
- Using equation (2), show that the sequence \((T_k)\) converges uniformly to \(T\), i.e. show that \(\lVert T-T_k\rVert \to 0\) as \(k\to \infty \).
- Is \(T\) compact? Explain why or why not.
-
Fall 2014 • Question 4
Let \(\ell ^{1'}\) be the dual space of \(\ell ^1\). The objective here is to show that \(\ell ^{1'}\) is isomorphic to \(\ell ^\infty \). You may use that a Schauder basis for \(\ell ^1\) (and \(\ell ^\infty \)) is \((e_k)\), where \(e_k=(\delta _{kj})\), i.e. the sequence with zeroes everywhere except for a \(1\) in the \(k\)–th position.
- Show that any \(f\in \ell ^{1'}\) corresponds to a sequence \(g=(\gamma _k)\in \ell ^\infty \).
- Show that any sequence \(g=(\gamma _k)\in \ell ^\infty \) corresponds to some \(f\in \ell ^{1'}\).
- Parts (a) and (b) define a bijective linear mapping \(G:\ell ^{1'}\to \ell ^\infty \). Prove that \(G\) is an isomorphism by showing \(\lVert f\rVert _{\ell ^{1'}}=\lVert G(f)\rVert _{\ell ^\infty }\) for any \(f\in \ell ^{1'}\).
-
Fall 2014 • Question 5
Let \(K:L^2[0,1]\to L^2[0,1]\) be the linear operator defined by \[ (Kx)(t)=\int _0^1 k(t,\tau )x(\tau )\,d\tau \] where \(k:[0,1]\times [0,1]\to \mathbb {R}\) is continuous.
- Show that \(K\) is bounded and give an upper bound for \(\lVert K\rVert \) (in terms of \(k\)).
- Show that there is a constant \(C\) such that if \(\lvert \mu \rvert <C\), the operator \(I+\mu K\) is invertible.
- Assuming \(\lvert \mu \rvert <C\), where \(C\) is as in part (b), express \((I+\mu K)^{-1}\) as a series. Specify whether the series converges and in what sense.
-
Fall 2013 • Question 2
Let \(A\) be an \(n\times n\) real matrix. Consider the linear initial value problem \[ \begin {cases} \dfrac {dx}{dt}=Ax,\\ x(0)=x_0. \end {cases} \] Give an algebraic condition on the matrix \(A\) which holds if and only if all solutions of the initial value problem are bounded for all \(t\in \mathbb {R}\). Prove the equivalence.
-
Fall 2013 • Question 1
Suppose that \(E\) is a bounded linear operator on a Hilbert space \(H\), with operator norm \(\lVert E\rVert =r<1\). Show that the operator \(I-E\), where \(I\) is the identity, is bounded and invertible. Give an estimate for \(\lVert (I-E)^{-1}\rVert \), and a convergent series representation for \((I-E)^{-1}\).
-
Fall 2007 • Question 4
Let \[ f:\mathbb {R}^N\to \mathbb {R}^N \] be a \(C^1\) mapping and consider the system \begin{equation} x'=f(x). \tag {0.6} \end{equation} Assume there exists a \(C^1\) functional \[ \phi :\mathbb {R}^N\to \mathbb {R} \] such that \[ \phi '(x):=\nabla \phi (x)\cdot f(x)\le 0,\quad x\in \mathbb {R}^N. \] Prove that the \(\omega \)-limit set of any bounded semiorbit of (0.6) is an invariant set for the flow associated with (0.6) and is contained in the set \[ E=\{x:\phi '(x)=0\}. \]
Apply this result to the system \[ \begin {array}{rcl} u'&=&-v\\ v'&=&-v+u^3\\ x&=&\begin {pmatrix}u\\ v\end {pmatrix}, \end {array} \] using \[ \phi (u,v)=\frac {v^2}{2}+\frac {u^4}{4}. \] What is your conclusion?
-
Fall 2007 • Question 8
- Let \(G\) be an open subset of \(\mathbb {R}^N\) and let \(f\in L^2(G)\). Show that \(f\) defines a continuous linear functional on \(H^1(G)\).
- State the Lax-Milgram theorem for subspaces \(V\subset H^1(G)\).
-
Show that the Lax-Milgram theorem may be applied to the form \[ a(u,v)=\sum _{i=1}^{N}\int _G \partial _i u\,\partial _i\overline {v} +\int _G u\overline {v} \] and \(f\) as above.
Assume that \(G\) is a bounded open set with “very smooth” boundary and let \(u\) be the Lax-Milgram solution just determined. What partial differential equation (in the sense of distributions) will be solved by \(u\) and what boundary conditions does \(u\) satisfy (please give an argument to prove the latter)?
-
Fall 2006 • Question 1
- State the Riesz Representation Theorem (a proof is not required).
- Use the Riesz Representation theorem to prove that a bounded linear operator on a Hilbert Space has an adjoint. Prove that the adjoint is a bounded linear operator on the Hilbert space.
- Find the adjoint for the operator \[ (Ku)(y)=\int _0^1 \min (x,y)u(x)\,dx. \]
-
2005 • Question 4
Problem. In an isolated region of the Canadian Northwest Territories, a population of white wolves, \(x\), and one of silver foxes, \(y\), compete for survival (for each population one unit represents 100 individuals). They have a common, limited food supply, which consists mainly of mice. A mathematical biologist models the dynamics of the competing species by the nonlinear system \[ \begin {aligned} x' &= x-x^2-xy,\\ y' &= \frac {3}{4}y-y^2-\frac {1}{2}xy. \end {aligned} \] Can the two species survive together according to this model?
-
Spring 2004 • Question 5
Prove that if \(L\) is a bounded linear operator in a Hilbert Space \(H\), then the adjoint operator \(L^*\) exists.
-
Fall 2001 • Question 7
Consider the space of real-valued functions \(H^2(0,1)\) and define the quadratic form \[ a(u,v)=\int _0^1 u''v''\,dx+b\int _0^1 u'v'\,dx+c\int _0^1 uv\,dx, \] where \(b\) and \(c\) are positive constants. Show that \(a\) is a form to which the Lax-Milgram theorem may be applied and state the result thus obtained. Let \(f\in L^2(0,1)\), and restrict the form \(a\) to the space \(H^2_0(0,1)\). Show that \(f\) may be thought of as a continuous linear functional on \(H^2_0(0,1)\), and apply the Lax-Milgram theorem to the pair \(a,f\). Determine a boundary value problem which is solved in a distributional sense by the Lax-Milgram solution and show that this solution is at least three times continuously differentiable.
-
Fall 2001 • Question 3
- State the Riesz Representation Theorem.
- Use the Riesz Representation theorem to prove that a bounded linear operator on a Hilbert Space has an adjoint. Prove that the adjoint is a bounded linear operator on the Hilbert space.
- Find the adjoint for the operator \[ (Ku)(y)=\int _0^1 \min (x,y)u(x)\,dx. \]
-
Fall 1999 • Question 15
Let \(G\) be an open subset of \(\mathbb {R}^N\) and let \(f\in L^2(G)\). Show that \(f\) defines a continuous linear functional on \(H^1(G)\).
-
Fall 1997 • Question A.3
Let \(H\) be a Hilbert space and \(L:H\to H\).
- Find and prove the condition that ensures \[ Lu=\int _0^1 k(x,y)u(y)\,dy \] is a bounded linear operator in \(L^2[0,1]\).
- Under what condition does the adjoint operator \(L^*\) exist? Assuming that this condition is satisfied, give \(L^*\).
-
Fall 1997 • Question B.2
Derive the boundary value problem for a minimizer \(w_0\) of the functional \[ \min _{\substack {w\in C^2[0,1]\\ w(0)=0}} \frac {\int _0^1\left (\phi (x)(w'')^2+w^2\right )\,dx} {\int _0^1\phi (x)(w')^2\,dx+\beta w(1)^2} \] where \(\phi (x)>0\), \(\forall x\in [0,1]\), \(\beta \) is a real parameter.
-
Fall 1995 • Question B2
A bounded linear operator \(P\) in a complex Hilbert space \(\mathcal {H}\) is a projection if and only if \(P^2=P\). Prove that a projection \(P\) is an orthogonal projection (so that \(P\mathcal {H}\perp (1-P)\mathcal {H}\)) if and only if \(P\) is selfadjoint. (You may use the known theorem that a bounded linear operator \(A\) in \(\mathcal {H}\) is selfadjoint if and only if \((Ax,x)\) is real for all \(x\in \mathcal {H}\).)