Skip to main content\(\require{physics}\require{upgreek}\everymath{\displaystyle}
\newcommand{\N}{\mathbb N}
\newcommand{\Z}{\mathbb Z}
\newcommand{\Q}{\mathbb Q}
\newcommand{\R}{\mathbb R}
\newcommand{\inv}{^{-1}}
\newcommand{\DS}{\displaystyle}
\newcommand{\eps}{\varepsilon}
\newcommand{\tsub}[1]{_{\mathrm{#1}}}
\newcommand{\ee}{\mathrm{e}}
\newcommand{\ii}{\mathrm{i}}
\newcommand{\limit}[1]{\lim\limits_{#1}}
\newcommand{\resid}[1]{\underset{#1}{\Res}}
\DeclareMathOperator{\sinc}{sinc}
\DeclareMathOperator{\sgn}{sgn}
\newcommand{\pii}{\pi}
\DeclareMathOperator{\Prob}{P}
\DeclareMathOperator{\EV}{E}
\DeclareMathOperator{\Var}{Var}
\newcommand{\bv}[1]{\boldsymbol{#1}}
\newcommand{\uv}[1]{\hat{\bv{#1}}}
\newcommand{\cl}[1]{\mathcal{#1}}
\newcommand{\bb}[1]{\mathbb{#1}}
\DeclareMathOperator{\Cis}{cis}
\DeclareMathOperator{\RE}{Re}
\DeclareMathOperator{\IM}{Im}
\newcommand{\xd}{\mathbf{d}}
\newcommand{\seq}[3]{{#1}_{#2},\cdots,{#1}_{#3}}
\newcommand{\psup}[1]{^{(#1)}}
\newcommand{\hypext}{{}^*}
\DeclareMathOperator{\st}{st}
\newcommand{\set}[1]{\left\{#1\right\}}
\DeclareMathOperator{\Sin}{Sin}
\DeclareMathOperator{\Cos}{Cos}
\DeclareMathOperator{\Tan}{Tan}
\DeclareMathOperator{\Sec}{Sec}
\DeclareMathOperator{\Csc}{Csc}
\DeclareMathOperator{\Cot}{Cot}
\DeclareMathOperator{\Log}{Log}
\DeclareMathOperator{\Arg}{Arg}
\DeclareMathOperator{\Ln}{Ln}
\DeclareMathOperator{\Grad}{grad}
\DeclareMathOperator{\Div}{div}
\DeclareMathOperator{\Curl}{curl}
\newcommand{\rd}{\textstyle\mathop{}\!\mathrm{d}^{\!\!\!-}}
\newcommand{\rdv}[2]{\frac{\rd{#1}}{\rd{#2}}}
\newcommand{\lt}{<}
\newcommand{\gt}{>}
\newcommand{\amp}{&}
\definecolor{fillinmathshade}{gray}{0.9}
\newcommand{\fillinmath}[1]{\mathchoice{\colorbox{fillinmathshade}{$\displaystyle \phantom{\,#1\,}$}}{\colorbox{fillinmathshade}{$\textstyle \phantom{\,#1\,}$}}{\colorbox{fillinmathshade}{$\scriptstyle \phantom{\,#1\,}$}}{\colorbox{fillinmathshade}{$\scriptscriptstyle\phantom{\,#1\,}$}}}
\)
Section 12.4 Taylor approximations in higher dimensions
Objectives
-
Construct second- and higher-order Taylor polynomials for functions of several variables.
-
Use quadratic approximations to model curvature near a point.
-
Estimate function values and analyze local behavior using Taylor expansions.
-
Begin by recalling the single-variable Taylor expansion:
\begin{equation*}
f(x) \approx f(a) + f'(a)(x-a) + \frac{1}{2} f''(a)(x-a)^{2}\text{.}
\end{equation*}
The tangent line is just the first-order approximation, and adding higher-order terms improves accuracy.
-
Connect to the previous section: The tangent plane
\begin{equation*}
z \approx z_{0} + \pdv{f}{x}(x-x_{0}) + \pdv{f}{y}(y-y_{0})
\end{equation*}
is the first-order Taylor polynomial for \(f(x,y)\text{.}\)
-
Introduce second-order terms using higher partial derivatives:
\begin{equation*}
f(x,y) \approx f(x_{0},y_{0}) + \pdv{f}{x}(x-x_{0}) + \pdv{f}{y}(y-y_{0})
\end{equation*}
\begin{equation*}
\quad + \frac{1}{2} \pdv[2]{f}{x}(x-x_{0})^{2} + \pdv[2]{f}{x}{y}(x-x_{0})(y-y_{0}) + \frac{1}{2} \pdv[2]{f}{y}(y-y_{0})^{2}.
\end{equation*}
-
Interpret each term:
-
First-order terms describe tilt.
-
Pure second derivatives describe curvature in coordinate directions.
-
Mixed partials describe interaction between variables.
-
Emphasize symmetry of mixed partials when conditions allow (Clairaut’s theorem).
-
Provide a worked example:
-
Compute first and second partial derivatives at a point.
-
Write the quadratic Taylor approximation.
-
Use it to estimate a nearby value.
-
Compare to the actual value.
-
Geometric meaning:
-
First-order: tangent plane.
-
Second-order: quadratic surface approximating curvature.
-
The quadratic form determines local shape.
-
General multivariable Taylor expansion:
\begin{equation*}
f(x,y) = \sum_{k=0}^{n}\text{(all $k$th-order partial terms in $(x-x_{0}),(y-y_{0})$)}+ R_{n},\text{,}
\end{equation*}
where each term involves partial derivatives of total order \(k\) evaluated at \((x_{0},y_{0})\text{.}\)
Each degree \(k\) term consists of all products
\begin{equation*}
(x-x_{0})^{i} (y-y_{0})^{j}
\end{equation*}
with \(i+j=k\text{,}\) multiplied by the corresponding partial derivative
\begin{equation*}
\frac{\partial^{k}f}{\partial x^{i}\partial y^{j}}(x_{0},y_{0}).
\end{equation*}
The approximation improves as higher-order terms are included.