Homework 11: Taylor’s Theorem

$\newenvironment {prompt}{}{} \newcommand {\DeclareMathOperator }[2]{\@OldDeclareMathOperator {##1}{##2}\immediate \write \myfile {\unexpanded {\DeclareMathOperator }{\unexpanded {##1}}{\unexpanded {##2}}}} \newcommand {\ungraded }[0]{} \newcommand {\reserved@a }[2]{} \newcommand {\HyperFirstAtBeginDocument }[0]{\AtBeginDocument } \newcommand {\reserved@a }[1]{} \newcommand {\reserved@a }[2]{} \newcommand {\vnameref }[1]{\unskip ~\nameref {##1}\@vpageref [\unskip ]{##1}} \newcommand {\ref }[0]{\@ifstar \@refstar \T@ref } \newcommand {\pageref }[0]{\@ifstar \@pagerefstar \T@pageref } \newcommand {\nameref }[0]{\@ifstar \@namerefstar \T@nameref } \newcommand {\reserved@a }[2]{} \newcommand {\reserved@a }[0]{\AtBeginDocument } \newcommand {\reserved@a }[1]{} \newcommand {\reserved@a }[2]{}$

Graded Problems

Give a $2\times 2$ matrix $A=\left [ \begin {array}{cc} a & b \\ c & d \end {array} \right ]$ with $a > 0$ and $\det (A) >0$ for which the quadratic form $p(\mathbf {x})=\mathbf {x}^TA\mathbf {x}$ is NOT positive definite. Does this mean the theorem in problem 6 is incorrect?

Prove the following theorem: Let $A=\left [ \begin {array}{cc} a & b \\ b & c \end {array} \right ]$ be a symmetric $2\times 2$ matrix. If det $(A)<0$ , then the quadratic form $p(\mathbf {x})=\mathbf {x}^TA\mathbf {x}$ is indefinite, regardless of the value of $a$ .

(Hint: think about the cases $a>0$ , $a=0$ and $a<0$ . In two cases you can apply Sylvester’s Theorem. In the third case, you’ll have to do some work by hand to show $p(x,y)$ can have both positive and negative values.)

Professional Problem

Complete the online peer review form posted on moodle.

Completion Packet

Find the symmetric matrix that represents each quadratic form.

(a): $r(x_1,x_2,x_3,x_4)=x_3^2-x_2x_3+x_1x_4$
(b): $t(\mathbf {x})=\mathbf {x}^T\left [ \begin {array}{cccc} 6 & 1 & 8 & -2 \\ 0 & 5 & 1 & 9 \\ 0 & 0 & -2 & 0 \\ 0 & 0 & 0 & 0 \end {array} \right ]\mathbf {x}$

Prove the following theorem without using Sylvester’s theorem: Let $A=\left [ \begin {array}{cc} a & b \\ b & c \end {array} \right ]$ be a symmetric $2\times 2$ matrix. If $a>0$ and $\det (A)>0$ , then the quadratic form $p(\mathbf {x})=\mathbf {x}^TA\mathbf {x}$ is positive definite.

(Hint: Write out $p$ in terms of the variables $x$ and $y$ , then complete the square with respect to $x$ and collect the remaining terms.)

(a): Write the Taylor series for $f(x) = \sin (x)$ centered at $x = 0$ .
(b): Find the second-order Taylor approximation for $f(x,y) = \sin (xy)$ centered at $(0,0)$ , using your answer to part (a).
(c): Verify your answer to part (b), by computing the second-order Taylor approximation for $f(x,y) = \sin (xy)$ directly.

(a): Write the Taylor series for $f(x) = e^{x}$ centered at $x = 0$ .
(b): Find the second-order Taylor approximation for $f(x,y) = e^{x^2+y^2}$ centered at $(0,0)$ , using your answer to part (a).
(c): Verify your answer to part (b), by computing the second-order Taylor approximation for $f(x,y) = e^{x^2+y^2}$ directly.

Compute the Hessian matrix for each function at the given point.

(a): $f(x,y) = \sqrt {xy}$ at $(1,1)$
(b): $f(x,y) = \cos (x) + x^2\sin (y)$ at $(0, \pi )$
(c): $f(x,y,z) = \frac {1}{x^2+y^2+z^2+1}$ at $(0,0,0)$

Consider the function $f(x,y) = \frac {x}{x+y}$ and the point $\mathbf {a}=(1,2)$ .

(a): Find the first-order Taylor polynomial of $f$ at $\mathbf {a}$ .
(b): Find the second-order Taylor polynomial of $f$ at $\mathbf {a}$ .
(c): Express the second-order Taylor polynomial using the derivative matrix and the Hessian matrix, as in formula (10) of section 4.1 of the textbook.

Consider the function $f(x,y) = x^2e^{y}$ and the point $\mathbf {a}=(1,0)$ .

(a): Find the first-order Taylor polynomial of $f$ at $\mathbf {a}$ .
(b): Find the second-order Taylor polynomial of $f$ at $\mathbf {a}$ .
(c): Express the second-order Taylor polynomial using the derivative matrix and the Hessian matrix, as in formula (10) of section 4.1 of the textbook.

Press...	...to do
left/right arrows	Move cursor
shift+left/right arrows	Select region
ctrl+a	Select all
ctrl+x/c/v	Cut/copy/paste
ctrl+z/y	Undo/redo
ctrl+left/right	Add entry to list or column to matrix
shift+ctrl+left/right	Add copy of current entry/column to to list/matrix
ctrl+up/down	Add row to matrix
shift+ctrl+up/down	Add copy of current row to matrix
ctrl+backspace	Delete current entry in list or column in matrix
ctrl+shift+backspace	Delete current row in matrix

Type...	...to get
norm	$\|\|\blue{[?]}\|\|$
text	$\text{\blue{[?]}}$
sym_name	$\backslash\texttt{\blue{[?]}}$
abs	$\left\|\blue{[?]}\right\|$
sqrt	$\sqrt{\blue{[?]}}$
paren	$\left(\blue{[?]}\right)$
floor	$\lfloor \blue{[?]} \rfloor$
factorial	$\blue{[?]}!$
exp	${\blue{[?]}}^{\blue{[?]}}$
sub	${\blue{[?]}}_{\blue{[?]}}$
frac	$\dfrac{\blue{[?]}}{\blue{[?]}}$
int	$\displaystyle\int{\blue{[?]}}d\blue{[?]}$
defi	$\displaystyle\int_{\blue{[?]}}^{\blue{[?]}}\blue{[?]}d\blue{[?]}$
deriv	$\displaystyle\frac{d}{d\blue{[?]}}\blue{[?]}$
sum	$\displaystyle\sum_{\blue{[?]}}^{\blue{[?]}}\blue{[?]}$
prod	$\displaystyle\prod_{\blue{[?]}}^{\blue{[?]}}\blue{[?]}$
root	$\sqrt[\blue{[?]}]{\blue{[?]}}$
vec	$\left\langle \blue{[?]} \right\rangle$
mat	$\left(\begin{matrix} \blue{[?]} \end{matrix}\right)$
*	$\cdot$
infinity	$\infty$
arcsin	$\arcsin\left(\blue{[?]}\right)$
arccos	$\arccos\left(\blue{[?]}\right)$
arctan	$\arctan\left(\blue{[?]}\right)$
sin	$\sin\left(\blue{[?]}\right)$
cos	$\cos\left(\blue{[?]}\right)$
tan	$\tan\left(\blue{[?]}\right)$
sec	$\sec\left(\blue{[?]}\right)$
csc	$\csc\left(\blue{[?]}\right)$
cot	$\cot\left(\blue{[?]}\right)$
log	$\log\left(\blue{[?]}\right)$
ln	$\ln\left(\blue{[?]}\right)$
alpha	$\alpha$
beta	$\beta$
gamma	$\gamma$
delta	$\delta$
epsilon	$\epsilon$
zeta	$\zeta$
eta	$\eta$
theta	$\theta$
iota	$\iota$
kappa	$\kappa$
lambda	$\lambda$
mu	$\mu$
nu	$\nu$
xi	$\xi$
omicron	$\omicron$
pi	$\pi$
rho	$\rho$
sigma	$\sigma$
tau	$\tau$
upsilon	$\upsilon$
phi	$\phi$
chi	$\chi$
psi	$\psi$
omega	$\omega$
Gamma	$\Gamma$
Delta	$\Delta$
Theta	$\Theta$
Lambda	$\Lambda$
Xi	$\Xi$
Pi	$\Pi$
Sigma	$\Sigma$
Phi	$\Phi$
Psi	$\Psi$
Omega	$\Omega$

Graded Problems

Professional Problem

Completion Packet

Controls

Symbols

Settings