\\\\( \nonumber \newcommand{\bevisslut}{$\blacksquare$} \newenvironment{matr}[1]{\hspace{-.8mm}\begin{bmatrix}\hspace{-1mm}\begin{array}{#1}}{\end{array}\hspace{-1mm}\end{bmatrix}\hspace{-.8mm}} \newcommand{\transp}{\hspace{-.6mm}^{\top}} \newcommand{\maengde}[2]{\left\lbrace \hspace{-1mm} \begin{array}{c|c} #1 & #2 \end{array} \hspace{-1mm} \right\rbrace} \newenvironment{eqnalign}[1]{\begin{equation}\begin{array}{#1}}{\end{array}\end{equation}} \newcommand{\eqnl}{} \newcommand{\matind}[3]{{_\mathrm{#1}\mathbf{#2}_\mathrm{#3}}} \newcommand{\vekind}[2]{{_\mathrm{#1}\mathbf{#2}}} \newcommand{\jac}[2]{{\mathrm{Jacobi}_\mathbf{#1} (#2)}} \newcommand{\diver}[2]{{\mathrm{div}\mathbf{#1} (#2)}} \newcommand{\rot}[1]{{\mathbf{rot}\mathbf{(#1)}}} \newcommand{\am}{\mathrm{am}} \newcommand{\gm}{\mathrm{gm}} \newcommand{\E}{\mathrm{E}} \newcommand{\Span}{\mathrm{span}} \newcommand{\mU}{\mathbf{U}} \newcommand{\mA}{\mathbf{A}} \newcommand{\mB}{\mathbf{B}} \newcommand{\mC}{\mathbf{C}} \newcommand{\mD}{\mathbf{D}} \newcommand{\mE}{\mathbf{E}} \newcommand{\mF}{\mathbf{F}} \newcommand{\mK}{\mathbf{K}} \newcommand{\mI}{\mathbf{I}} \newcommand{\mM}{\mathbf{M}} \newcommand{\mN}{\mathbf{N}} \newcommand{\mQ}{\mathbf{Q}} \newcommand{\mT}{\mathbf{T}} \newcommand{\mV}{\mathbf{V}} \newcommand{\mW}{\mathbf{W}} \newcommand{\mX}{\mathbf{X}} \newcommand{\ma}{\mathbf{a}} \newcommand{\mb}{\mathbf{b}} \newcommand{\mc}{\mathbf{c}} \newcommand{\md}{\mathbf{d}} \newcommand{\me}{\mathbf{e}} \newcommand{\mn}{\mathbf{n}} \newcommand{\mr}{\mathbf{r}} \newcommand{\mv}{\mathbf{v}} \newcommand{\mw}{\mathbf{w}} \newcommand{\mx}{\mathbf{x}} \newcommand{\mxb}{\mathbf{x_{bet}}} \newcommand{\my}{\mathbf{y}} \newcommand{\mz}{\mathbf{z}} \newcommand{\reel}{\mathbb{R}} \newcommand{\mL}{\bm{\Lambda}} \newcommand{\mnul}{\mathbf{0}} \newcommand{\trap}[1]{\mathrm{trap}(#1)} \newcommand{\Det}{\operatorname{Det}} \newcommand{\adj}{\operatorname{adj}} \newcommand{\Ar}{\operatorname{Areal}} \newcommand{\Vol}{\operatorname{Vol}} \newcommand{\Rum}{\operatorname{Rum}} \newcommand{\diag}{\operatorname{\bf{diag}}} \newcommand{\bidiag}{\operatorname{\bf{bidiag}}} \newcommand{\spanVec}[1]{\mathrm{span}{#1}} \newcommand{\Div}{\operatorname{Div}} \newcommand{\Rot}{\operatorname{\mathbf{Rot}}} \newcommand{\Jac}{\operatorname{Jacobi}} \newcommand{\Tan}{\operatorname{Tan}} \newcommand{\Ort}{\operatorname{Ort}} \newcommand{\Flux}{\operatorname{Flux}} \newcommand{\Cmass}{\operatorname{Cm}} \newcommand{\Imom}{\operatorname{Im}} \newcommand{\Pmom}{\operatorname{Pm}} \newcommand{\IS}{\operatorname{I}} \newcommand{\IIS}{\operatorname{II}} \newcommand{\IIIS}{\operatorname{III}} \newcommand{\Le}{\operatorname{L}} \newcommand{\app}{\operatorname{app}} \newcommand{\M}{\operatorname{M}} \newcommand{\re}{\mathrm{Re}} \newcommand{\im}{\mathrm{Im}} \newcommand{\compl}{\mathbb{C}} \newcommand{\e}{\mathrm{e}} \\\\)

Exerice 1: Recap: Functions of One Variable

A

Determine, with the development point $\,x_0=0\,$, Taylor’s limit formula of the second degree for the function

$$f(x)=2\cos(x)-2\sin(2x)\,,\,\,x\in \reel\,.$$

B

A smooth function $f$ of one variable fulfills that $\,f(2)=1\,$ and $\,f’(2)=1\,.$ Its approximating second-degree polynomial with development point $\,x_0=2\,$ fulfills $\,P_2(1)=1\,.$ Determine $\,P_2(x)\,$.

Exercise 2: Taylor’s Formulas and Approximation. By Hand

We are given the function

$$f(x,y)=\e^{x+xy-2y},\quad\mathrm{where}\quad (x,y)\in\reel^2.$$
A

State Taylor’s limit formula of the second degree for $\,f\,$ with the development point $\,(x_0,y_0)=(0,0)\,$.

B

Compute the gradient $\,\nabla f(0,0)\,$ and the Hessian matrix $\,\mathbf H f(0,0)\,.$

C

Set up Taylor’s limit formula of the second degree for $\,f\,$ with the development point $\,(x_0,y_0)=(0,0)\,$ on matrix form.

We now wish to compute the value $\,f(\frac 34, \frac12)\,$. This can be hard to do without software aid (and we could establish advanced functions that even computer software would struggle with calculating values for). So, let’s instead find an approximate value of $\,f(\frac 34, \frac12)\,$ via an approximating second-degree polynomial. We can extract such an approximating polynomial from the above established limit formula with development point $\,(0,0)$. On the other hand, the point $\,(\frac 34, \frac 12)\,$ is a little closer to $\,(1,1)$, a point from which it is also relatively easy to develop. So, perhaps we should rather use $\,(1,1\,)$ as the development point? Would that make a significant difference?

D

Provide the approximating polynomials of the second degree, $\,P_2(x,y)\,$ and $\,Q_2(x,y)\,$, for $\,f\,$ with the development points $\,(0,0)\,$ and $\,(1,1)\,$, respectively.

E

Compute approximating values with $P_2$ and $Q_2$ at the point $\,(\frac 34, \frac 12)\,$. Compare these with a computer-calculated value of $\,f(\frac 34, \frac 12)\,.$

Exercise 3: Application of an Approximating Polynomial

A function $\,f:\reel^2 \rightarrow\reel\,$ is given by

$$f(x,y)=\sqrt{x^2+y^2}\,.$$
A

Determine the approximating polynomial $\,P_2(x,y)\,$ of the second degree of $\,f\,$ with development point $\,(x_0,y_0)=(3,4)\,.$

The following question will illustrate and analyse the error that we incur by using the second-degree polynomial instead of the exact value.

B

Determine, using the approximation from the previous question, the diagonal length of a rectangle with side lengths 2.9 and 4.2. You may use Maple for the arithmetic calculations.

C

Compare this with a Maple-calculated value of the accurate diagonal length.

Exercise 4: Diagonalization and Reduction of a Quadratic Form

We are given den symmetric matrix

$$ \mA=\begin{matr}{rrr} -2 & 1 & 1 \newline 1 & -2 & -1 \newline 1 & -1 & -2 \end{matr}. $$
A

State a positive orthogonal matrix $\,\mathbf{Q}\,$ and a diagonal matrix $\,\mathbf{\Lambda}\,$, such that

$$\,\mathbf{Q}^{\transp}\cdot\mA\cdot\mathbf{Q}=\mathbf{\Lambda}\,.$$

Consider the following second-degree polynomial of three variables:

$$ f(x,y,z)=-2x^2-2y^2-2z^2+2xy+2xz-2yz+2x+y+z+5\,.$$

Note that $\,f\,$ can be split into three parts:

  1. A quadratic form, let us denote it $\,k\,.$
  2. A first-degree polynomial containing all linear terms.
  3. A constant.
B

State the expression $\,k(x,y,z)\,$. Then reduce it, which means write it in a basis for which it has a form without mixed terms.

C

State an ordinary orthonormal basis for $\,\Bbb R^3\,$ in which the expression of $\,f\,$ does not contain mixed terms. Determine this expression of $f$.

Exercise 5: A Proper Local Maximum

We are given the function

$$f(x,y)=x^3-3x^2+y^3-3y^2\,,\quad (x,y)\in\reel^2$$

and the set

$$A = \,\left\{(x,y)\in\reel^2\,|\,-2\leq x \leq2\,,\,\,-2\leq y \leq2\right\}\,.$$
A

$A$ covers a surface in the $(x,y)$ plane. Imagine “lifting (or lowering)” this surface up (or down) to $f$, creating an elevated surface in $(x,y,z)$ space. Let’s denote this elevated surface $M$. In other words, $M$ is the part of $f$ that is located directly above (or below) $A$. Create an illustration of $M$ in Maple.

B

What is the largest value that $\,f\,$ attains at the boundary of $\,M\,?$ Do not just read from the graph - a reading can be used to roughly verify afterwards.

When looking at the illustration of $M$, it looks like there might be a local maximum at $(0,0)$, and that this maximum has the value $0$. If that is the case, then the graph of $f$ will have a horizontal tangent plane at

$$\,R=(0,0,f(0,0))=(0,0,0)\,.$$
C

Investigate whether this is the case by computing the normal vector for the tangent plane at $\,R\,.$ Justify based on this that the point $\,(x,y)=(0,0)\,$ is a stationary point.

It even looks as if $\,f\,$ has a proper local maximum at this point $\,(0,0)\,$ with the value

$$\,f(0,0)=0\,.$$
D

Discuss with a fellow student the meaning of and difference between the terms maximum, local maximum and proper local maximum.

E
  1. In the same plotting window, plot the approximating second-degree polynomial of $f$ with development point $(0,0)$.

  2. If the observation is correct and $(0,0)$ indeed is a proper local maximum, then $\,f(x,y)\,$ must be negative at points $\,(x,y)\,$ in a close vicinity around $\,(0,0)\,.$ Show that this is true using Taylor’s limit formula of the second degree for $\,f\,$ developed from this point.

F

Advanced (skip if time is short):

It also looks as if the point $(2,2)$ is a stationary point and a proper local maximum. Make a similar investigation of $\,f\,$ at and about the point $\,(x,y)=(2,2)\,.$

The above approaches with tangent plane normal vector and limit formula can be cumbersome when the task is to find extrema. Let us below repeat the investigation with the gradient in a much easier fashion.

G

Compute the gradient of $f$, and use it to find all stationary points of $f$.

H

What is the global maximum on $M$?

Exercise 6: Teaser Exercise

A function $f\in C^{\infty}(\reel^2)$ fulfills the equations

$$f(x,0)=\e^x\quad\mathrm{and}\quad f'_y(x,y)=2y\cdot f(x,y)\,.$$
A

Find the approximating polynomial of the second degree of $\,f\,$ with $\,(x_0,y_0)=(0,0)\,$ as the development point.