Chapter 9: Problem 18
Answer analogous questions for the mapping defined by $$ u=x^{2}-y^{2}, \quad v=2 x y . $$
Short Answer
Step by step solution
Key Concepts
These are the key concepts you need to understand to accurately answer the question.
/*! This file is auto-generated */ .wp-block-button__link{color:#fff;background-color:#32373c;border-radius:9999px;box-shadow:none;text-decoration:none;padding:calc(.667em + 2px) calc(1.333em + 2px);font-size:1.125em}.wp-block-file__button{background:#32373c;color:#fff;text-decoration:none}
Learning Materials
Features
Discover
Chapter 9: Problem 18
Answer analogous questions for the mapping defined by $$ u=x^{2}-y^{2}, \quad v=2 x y . $$
These are the key concepts you need to understand to accurately answer the question.
All the tools & learning materials you need for study success - in one app.
Get started for free
Let \(f \in \mathscr{f}^{(m)}(E)\), where \(E\) is an open subset of \(R^{n}\). Fix a \(\in E\), and suppose \(x \in R^{n}\) is so close to 0 that the points $$ \mathbf{p}(t)=\mathbf{a}+\boldsymbol{r} \mathbf{x} $$ lie in \(E\) whenever \(0 \leq t \leq 1\). Define $$ h(t)=f(\mathrm{p}(t)) $$ for all \(t \in R^{1}\) for which \(\mathrm{p}(t) \in E\). (a) For \(1 \leq k \leq m\), show (by repeated application of the chain rule) that $$ h^{(k)}(t)=\sum\left(D_{i_{1} \ldots i_{k}} f\right)(\mathrm{p}(t)) x_{i_{1} \ldots} x_{i_{k}} . $$ The sum extends over all ordered \(k\) -tuples \(\left(i_{1}, \ldots, i_{k}\right)\) in which each \(i\), is one of the integers \(1, \ldots, n\). (b) By Taylor's theorem (5.15), $$ h(1)=\sum_{k=0}^{m-1} \frac{h^{(k)}(0)}{k !}+\frac{h^{(m)}(t)}{m !} $$ for some \(t \in(0,1) .\) Use this to prove Taylor's theorem in \(n\) variables by showing that the formula $$ f(\mathbf{a}+\mathbf{x})=\sum_{k=0}^{m-1} \frac{1}{k !} \sum\left(D_{i 1} \ldots, f\right)(\mathbf{a}) x_{i_{1}} \ldots x_{1,}+r(\mathbf{x}) $$ represents \(f(\mathrm{a}+\mathbf{x})\) as the sum of its so-called "Taylor polynomial of degree \(m-1, "\) plus a remainder that satisfies $$ \lim _{x \rightarrow 0} \frac{r(\mathbf{x})}{|x|=-1}=0 $$ Each of the inner sums extends over all ordered \(k\) -tuples \(\left(i_{1}, \ldots, i_{k}\right)\), as in part \((a)\); as usual, the zero-order derivative of \(f\) is simply \(f\), so that the constant term of the Taylor polynomial of \(f\) at a is \(f(\mathbf{a})\). (c) Exercise 29 shows that repetition occurs in the Taylor polynomial as written in part ( \(b\) ). For instance, \(D_{113}\) occurs three times, as \(D_{113}, D_{131}, D_{311}\). The sum of the corresponding three terms can be written in the form $$ 3\left(D_{1}^{2} D_{3} f\right)(a) x_{1}^{2} x_{3} $$ Prove (by calculating how often each derivative occurs) that the Taylor polynomial in \((b)\) can be written in the form $$ \sum \frac{\left(D_{1}^{21} \cdots D_{n}^{s n} f\right)(a)}{s_{1} ! \cdots s_{n} !} x_{1}^{21} \cdots x_{n}^{s_{n}} $$ Here the summation extends over all ordered \(n\) -tuples \(\left(s_{1}, \ldots, s_{n}\right)\) such that each \(s_{1}\) is a nonnegative integer, and \(s_{1}+\cdots+s_{n} \leq m-1\).
Let \(f=\left(f_{1}, f_{2}\right)\) be the mapping of \(R^{2}\) into \(R^{2}\) given by $$ f_{1}(x, y)=e^{x} \cos y, \quad f_{2}(x, y)=e^{x} \sin y $$ (a) What is the range of \(f ?\) (b) Show that the Jacobian of \(f\) is not zero at any point of \(R^{2}\). Thus every point of \(R^{2}\) has a neighborhood in which \(f\) is one-to-one. Nevertheless, \(f\) is not one-toone on \(R^{2}\). (c) Put \(a=(0, \pi / 3), b=f(a)\), let \(g\) be the continuous inverse of \(\mathbf{f}\), defined in a neighborhood of \(\mathrm{b}\), such that \(\mathrm{g}(\mathrm{b})=\mathrm{a} .\) Find an explicit formula for \(\mathrm{g}\), compute \(\mathbf{f}^{\prime}(\mathbf{a})\) and \(\mathbf{g}^{\prime}(\mathbf{b})\), and verify the formula (52). ( ) What are the images under \(\mathrm{f}\) of lines parallel to the coordinate axes?
Prove that to every \(A \in L\left(R^{n}, R^{1}\right)\) corresponds a unique \(y \in R^{n}\) such that \(A \mathrm{x}=\mathbf{x} \cdot \mathrm{y}\). Prove also that \(\|A\|=|\mathbf{y}|\). Hint: Under certain conditions, equality holds in the Schwarz inequality.
Suppose \(\mathrm{f}\) is a differentiable mapping of \(R^{1}\) into \(R^{3}\) such that \(|\mathbf{f}(t)|=1\) for every \(t\). Prove that \(f^{\prime}(t) \cdot f(t)=0\). Interpret this result geometrically.
Suppose \(A \in L\left(R^{n}, R^{*}\right)\), let \(r\) be the rank of \(A\). (a) Define \(S\) as in the proof of Theorem 9.32. Show that \(S A\) is a projection in \(R^{\circ}\) whose null space is \(\mathcal{N}(A)\) and whose range is \(\mathscr{R}(S) .\) Hint: By (68), SASA \(=S A\). (b) Use (a) to show that $$ \operatorname{dim} \mathcal{N}(A)+\operatorname{dim} \mathscr{A}(A)=n $$
What do you think about this solution?
We value your feedback to improve our textbook solutions.