Exam
Department of Mathematics University of Utah\ 1.5 ] Written Qualifying Examination in APPLIED MATHEMATICS\ 0.5 ] September 23, 1997
Fall 1997 · 12 questions in this exam.
Questions in This Exam
Ordered by the question sequence in the original exam.
-
Question A.1
Let \(x\) and \(y\) be vectors in an inner product space.
- Verify that the choice \[ \alpha =\frac {\langle x,y\rangle }{\lVert y\rVert ^2} \] makes \(\lVert x-\alpha y\rVert ^2\) as small as possible.
- Show that \(|\langle x,y\rangle |^2=\lVert x\rVert ^2\lVert y\rVert ^2\) if and only if \(x\) and \(y\) are linearly dependent.
-
Question A.2
Suppose \(A\in \mathbb {R}^{n\times m}\) and \(b\in \mathbb {R}^n\).
- Show that the equation \[ A^*Ax=A^*b \] has a solution. Under what conditions on \(A\) is the solution unique?
- Show that the eigenvalues of \(A^*A\) are non-negative and that its positive eigenvalues are the same as the positive eigenvalues of \(AA^*\).
-
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^*\).
-
Question A.4
Let \(\{\phi_i\}\) be a (finite or infinite) orthonormal set in a Hilbert space. Prove that for every vector \(f\) in the space \[ \lVert f\rVert^2\le \sum_i |\langle f,\phi_i\rangle|^2. \] If inequality in above equation is replaced by strict equality, what can be said about the set \(\{\phi_i\}\)?
-
Question B.1
Use a Green’s function to find the representation of a possible solution to \[ y''+\omega ^2y=f(x),\qquad y(0)=y'(1)=0 \] for arbitrary values of the parameter \(\omega \). For what values of \(\omega \) does the solution exist? If the solution does not exist find the least square solution. Explain the meaning of the least square solution.
-
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.
-
Question B.3
Evaluate the integral \[ I=\int _0^\infty \frac {x^2\cos x}{x^4+a^4}\,dx \] by contour integration. Use the Jordan lemma.
-
Question B.4
Find the spectral representation of the delta function for the operator \[ Lu=-\frac{d^2u}{dx^2},\qquad x\in[0,\infty),\qquad u(0)=u'(0). \] Classify the spectrum of this operator. **Applied Math Qualifying Exam Part C** Do two out of the four problems for full credit on Part C.
-
Question C.1
Define and find the Green’s function for the discrete operator \(Lu=-\Delta u-\lambda u\) defined on the space of doubly infinite sequences \(u=\{u_n\}\), \(-\infty <n<\infty \), with \(\sum _{n=-\infty }^{\infty }u_n^2<\infty \), and with \((\Delta u)_n=u_{n+1}-2u_n+u_{n-1}\).
-
Question C.2
Prove that the Hermite polynomials form a complete set on \(-\infty <x<\infty \) with the inner product \(\langle u,v\rangle =\int _{-\infty }^{\infty }u(x)v(x)e^{-x^2/2}\,dx\).
Hint: The following steps will prove useful:
- Show that if the Hermite-Bessel coefficients of \(f(x)\) are all zero, then \(\int _{-\infty }^{\infty }e^{-x^2/2}x^nf(x)\,dx=0\) for all \(n\).
- Show that the Fourier transform \(F(z)\) of the function \(f(x)e^{-x^2/2}\) has no singularities in the complex plane and is therefore an entire function.
- Calculate the Taylor series of \(F(z)\) and show that it is zero. What conclusion can you draw about \(f(x)\) and what does this say about Hermite polynomials?
- Question C.3
-
Question C.4
Find the first four eigenvalues for a “half drum”, that is, for the Laplacian on a semicircular domain, \(0\le r\le R\), \(0\le\theta\le\pi\), with homogeneous Dirichlet boundary conditions. Sketch the nodal lines for these eigenfunctions. Hint: The zeros of Bessel functions are \(\lambda_{nm}\) where \(J_n(\lambda_{nm})=0\). They are ordered as \[ \lambda_{01}<\lambda_{11}<\lambda_{21}<\lambda_{02}<\lambda_{31}<\lambda_{12}<\lambda_{41}. \] The Laplacian in polar coordinates is \[ \nabla^2u=\frac{1}{r}\frac{\partial}{\partial r} \left(r\frac{\partial u}{\partial r}\right) +\frac{1}{r^2}\frac{\partial^2 u}{\partial\theta^2}. \]