\documentclass[12pt]{article}
\def\rit{ \hbox{\it I\hskip -2pt R} }
\topmargin=-0.5in
\textheight=8.5in
\begin{document}
\noindent{\bf Math 273}: {\bf Homework \#2}
\noindent Assigned on: October 15, 2014.
\noindent Due to: Teaching Assistant Eric Radke in two weeks.
\medbreak
\noindent{\bf [1]} Consider the minimization problem
$$\inf_{u}F(u)=\int_{x_0}^{x_1} L(x,u(x),u'(x),u''(x))dx,$$
with $u(x_0)=u_0$, $u(x_1)=u_1$, $u'(x_0)=U_0$, $u'(x_1)=U_1$ given, and $L$ a sufficiently smooth
function. Obtain the Euler-Lagrange equation of the minimization problem that is satisfied by a smooth optimal $u$. Choose test functions $v$ in $C^{\infty}[x_0,x_1]$ that satisfy $v(x_0)=v(x_1)=v'(x_0)=v'(x_1)=0$, and proceed as in HW1 (you should obtain a fourth-order differential equation).
\medbreak
\noindent{\bf [2]} Consider the minimization problem in two dimensions $(x,y)$,
$$\inf_{u}E(u)=\int_{\Omega}L(x,y,u,u_x,u_y)dxdy,\ \ \ u=g\mbox{ on }\partial\Omega,$$
where $g$ is a given function on the boundary $\partial\Omega$, with $\Omega$ a bounded and open
region in the plane. Assume that the integrand $L$ is differentiable.
(i) Show that a sufficiently smooth minimizer $u$ formally satisfies the Euler-Lagrange equation
$$\frac{\partial}{\partial x} L_{u_x}(P)+\frac{\partial}{\partial y}L_{u_y}(P)-L_u(P)=0$$
on $\Omega$, where $P=(x,y,u(x,y),u_x(x,y),u_y(x,y))$.
(ii) Apply the above result to the case when $L(x,y,u_x,u_y)=u_x^2+u_y^2-2fu$.
Hint: consider another test function $v$, such that $v=0$ on $\partial \Omega$. Since $u$ is a
minimizer, we must have $E(u)\leq E(u+\varepsilon v)$ for all such sufficiently smooth functions $v$ and
all real $\epsilon$. Apply integration by parts to obtain the desired result. Here, $(u_x,u_y)=\nabla u$.
\medbreak
\noindent{\bf [3]} Consider the 1D length functional minimization problem
$$\mbox{Min}_u F(u)=\int_{0}^1 L(u'(x))dx, \mbox{ or }\mbox{Min}_{u}\int_0^1 \sqrt{1+(u'(x))^2}dx,
$$
over functions $u:[0,1]\rightarrow \rit$ with boundary conditions $u(0)=0$, $u(1)=1$.
(a) Find the exact solution of the problem.
(b) Show that the functional $u\mapsto F(u)$ is convex.
(c) Consider a discrete version of the problem: let
$$x_0=0 -\infty $
(ii) $A\geq O$ and $b\in \mbox{Im} A$.
(iii) the problem $\inf\{q(x):\ x\in \rit^n\} > -\infty $ has a solution
\noindent are equivalent. When they hold, characterize the set of minimum points of $q$, in terms of the pseudo-inverse of $A$.
\medbreak
\noindent{\bf Notes:}
\medbreak
$\bullet$ {\bf Pseudo-Inverse.} If $A$ is a symmetric (or self-adjoint) linear operator on $X$, then
$\mbox{Im} A^{\perp}=\mbox{Ker}A$. Let $p_{\mbox{Im}A}$ be the operator of orthogonal projection onto $\mbox{Im}A$. For given $y\in X$, there is a unique $x=x(y)$ in $\mbox{Im}A$ such that $Ax=p_{\mbox{Im}A}y$. Forthermore, the mapping $y\mapsto x(y)$ is linear. This mapping is called the pseudo-inverse, or generalized inverse of $A$.
\medbreak
$\bullet$ {\bf Integration by Parts Formula.} Let $\Omega$ be an open and bounded subset of $R^d$, with Lipschitz-continuous (or sufficiently smooth) boundary $\partial\Omega$. Let $\vec{n}=(n_1,n_2,...,n_d)$ be the exterior unit normal to $\partial\Omega$.
Let me recall the following fundamental Green's formula, or integration by parts formula: given two functions $u,v$ (with $u$, $v$, and all their 1st order partial derivatives belonging to $L^2(\Omega)$, or $u,v\in H^1(\Omega)$), then
$$\int_{\Omega}u v_{x_i} dx=-\int_{\Omega} u_{x_i} v dx +\int_{\partial\Omega} u v n_i dS.$$
\end{document}