Kurs:Mathematik für Anwender (Osnabrück 2020-2021)/Teil II/Arbeitsblatt 50

Übungsaufgaben

Aufgabe

Es sei ${}X_{1}^{r_{1}}\cdots X_{n}^{r_{n}}$ ein Monom und es sei ${}D_{1}^{s_{1}}\cdots D_{n}^{s_{n}}$ eine Hintereinanderschaltung von partiellen Ableitungen, ${}D_{i}={\frac {\partial }{\partial x_{i}}}$.

1. Zeige

   ${}{\left(D_{1}^{s_{1}}\cdots D_{n}^{s_{n}}\right)}{\left(X_{1}^{r_{1}}\cdots X_{n}^{r_{n}}\right)}=0\,,$

   falls ${}s_{j}>r_{j}$ für ein ${}j$ ist.

2. Zeige

   ${}{\left(D_{1}^{s_{1}}\cdots D_{n}^{s_{n}}\right)}{\left(X_{1}^{r_{1}}\cdots X_{n}^{r_{n}}\right)}={\frac {r_{1}!\cdots r_{n}!}{(r_{1}-s_{1})!\cdots (r_{n}-s_{n})!}}X_{1}^{r_{1}-s_{1}}\cdots X_{n}^{r_{n}-s_{n}}\,,$

   falls ${}s_{j}\leq r_{j}$ für alle ${}j$ ist.

Aufgabe

Es sei ${}X_{1}^{r_{1}}\cdots X_{n}^{r_{n}}$ ein Monom und es sei ${}D_{1}^{s_{1}}\cdots D_{n}^{s_{n}}$ eine Hintereinanderschaltung von partiellen Ableitungen, ${}D_{i}={\frac {\partial }{\partial x_{i}}}$.

1. Zeige

   ${}{\left(D_{1}^{s_{1}}\cdots D_{n}^{s_{n}}\right)}{\left(X_{1}^{r_{1}}\cdots X_{n}^{r_{n}}\right)}\left(0,\,\ldots ,\,0\right)=0\,,$

   falls ${}s_{j}\neq r_{j}$ für ein ${}j$ ist.

2. Zeige

   ${}{\left(D_{1}^{r_{1}}\cdots D_{n}^{r_{n}}\right)}{\left(X_{1}^{r_{1}}\cdots X_{n}^{r_{n}}\right)}\left(0,\,\ldots ,\,0\right)=r_{1}!\cdots r_{n}!\,.$

Aufgabe

Bestätige Satz 50.1 für ${}f(x,y)=x^{a}y^{b}$ in ${}(0,0)$ und ${}v=(2,3)$ bis zur dritten Ableitung.

Aufgabe

Bestimme das Taylor-Polynom vom Grad ${}\leq 3$ für die Funktion

$\mathbb {R} ^{2}\longrightarrow \mathbb {R} ,\,(x,y)\longmapsto x^{2}-y\cdot \sin x,$

im Nullpunkt ${}(0,0)$.

Kommentar:

Das Taylor-Polynom from Grad ${}\leq 3$ in ${}(0,0)$ ist von der Form

$T_{3}(v)=\sum _{\vert r\vert \leq 3}a_{r}v^{r},$

wobei für die Koeffizienten ${}a_{r}={\tfrac {1}{r!}}D^{r}f(0,0)$ gilt. Dabei soll ${}v=(x,y)$ sein. Außerdem ist ${}r\in \mathbb {N} ^{2}$ ein Multiindex. Diese Multiindexschreibweise bedeutet, dass beispielsweise ${}v^{(2,1)}=(x,y)^{(2,1)}$ als ${}x^{2}y$ interpretiert wird, und ist sehr nützlich, da die Schreibweise eine sehr kompakte Form ermöglicht. Komplett ausgeschrieben (also ohne Multiindexnotation) ist das Taylor-Polynom von der Form

$T_{3}(v)=T_{3}(x,y)=a_{00}+(a_{10}x+a_{01}y)+(a_{20}x^{2}+a_{11}xy+a_{02}y^{2})+(a_{30}x^{3}+a_{21}x^{2}y+a_{12}xy^{2}+a_{03}y^{3}).$

Hier haben wir die Terme, die den gleichen Grad besitzen, zur besseren Übersicht geklammert.

Zu bestimmen sind nun die Koeffizienten ${}a_{r}$. Für ${}r=(2,1)$ gilt beispielsweise

$D^{(2,1)}f(0,0)=\partial _{x}^{2}\partial _{y}f(0,0)=\partial _{x}^{2}(-\sin(x))\vert _{(0,0)}=\sin(x)\vert _{(0,0)}=0.$

Man beachte, dass man aufgrund des Satzes von Schwarz die Reihenfolge der partiellen Ableitungen vertauschen kann, was die Rechnung manchmal vereinfachen kann. (Zum Beispiel ist damit direkt klar, dass ${}\partial _{x}^{2}\partial _{y}x\sin(\sin(y^{3}+2y+\exp(y)))=0$ ist, ohne zunächst explizit nach ${}y$ abzuleiten.)

Oft bietet es sich an, weitere Vorüberlegungen zu tätigen, bevor man alle Koeffizienten einzeln ausrechnet, um etwas Rechenaufwand zu sparen. In unserem Fall ist beispielsweise die vorliegende Funktion die Summe der Funktionen ${}x^{2}$ und ${}-y\sin x$. Entsprechend ist das Taylor-Polynom die Summe der Taylor-Polynome der beiden Summanden.

Der erste Summand ist selbst ein Polynom vom Grad ${}\leq 3$, sodass das zugehörige Taylor-Polynom auch ${}x^{2}$ ist. Dazu müssen wir also gar nichts rechnen.

Für den zweiten Summanden sehen wir, dass die höheren partiellen Ableitungen immer Null sind, wenn wir mindestens zweimal nach ${}y$ ableiten, sodass direkt klar ist, dass die zugehörigen Koeffizienten im Taylor-Polynom verschwinden.

 

Aufgabe *

Bestimme das Taylor-Polynom zweiter Ordnung der Funktion

$f\colon \mathbb {R} ^{2}\longrightarrow \mathbb {R} ,\,(x,y)\longmapsto f(x,y)=e^{x-y^{2}},$

im Punkt ${}(1,1)$.

Aufgabe *

Bestimme das Taylor-Polynom zweiter Ordnung der Funktion

$f\colon \mathbb {R} ^{3}\longrightarrow \mathbb {R} ,\,(x,y,z)\longmapsto f(x,y,z)=e^{x}yz^{2}-xy,$

im Punkt ${}(1,0,-1)$.

Aufgabe *

Bestimme das Taylor-Polynom zweiter Ordnung der Funktion

$f\colon \mathbb {R} ^{2}\longrightarrow \mathbb {R} ,\,(x,y)\longmapsto f(x,y)=e^{\sin x-\cos y},$

im Punkt ${}\left(0,\,{\frac {\pi }{2}}\right)$.

Aufgabe

Notiere das Taylor-Polynom für eine (hinreichend oft differenzierbare) Funktion in ${}2$ oder ${}3$ Variablen für die Grade ${}k=1,2,3$.

Aufgabe *

Bestimme das Taylor-Polynom vierter Ordnung der Funktion

$f\colon \mathbb {R} ^{2}\longrightarrow \mathbb {R} ,\,(x,y)\longmapsto f(x,y)=x\sin y-e^{xy},$

im Nullpunkt.

Aufgabe

Es sei

${}f(x,y)=x^{2}y-3xy+5y^{2}+4x\,.$

Berechne das Taylor-Polynom der Ordnung ${}3$ im Punkt ${}P=(1,-2)$ algebraisch (d.h. man drücke das Polynom in den neuen Variablen ${}u=x-1,v=y+2$ aus und lese daraus das Taylor-Polynom ab) und über Ableitungen.

Aufgabe

Es sei ${}f$ ein Polynom in ${}n$ Variablen vom Grad ${}\leq k$. Zeige, dass ${}f$ mit dem Taylor-Polynom vom Grad ${}\leq k$ von ${}f$ im Nullpunkt übereinstimmt.

Aufgabe

Es sei ${}x_{1}^{r_{1}}\cdots x_{n}^{r_{n}}$ ein Monom vom Grad ${}\vert {\,r\,}\vert =\sum _{j=1}^{n}r_{j}>k$. Zeige

${}\operatorname {lim} _{x\rightarrow 0}\,{\frac {x_{1}^{r_{1}}\cdots x_{n}^{r_{n}}}{\Vert {x}\Vert ^{k}}}=0\,.$

Aufgabe

Es sei ${}V$ ein endlichdimensionaler reeller Vektorraum, ${}G\subseteq V$ offen, ${}P\in G$ und seien

$f,g\colon G\longrightarrow \mathbb {R}$

zwei zweimal stetig differenzierbare Funktionen. Zeige durch ein Beispiel, dass das Taylor-Polynom zum Produkt ${}fg$ im Punkt ${}P$ vom Grad ${}\leq 2$ nicht das Produkt der beiden Taylor-Polynome von ${}f$ und ${}g$ in ${}P$ vom Grad ${}\leq 1$ sein muss.

Kommentar:

Möchte man ein Gegenbeispiel zu einer Aussage finden, so ist es sinnvoll an eine möglichst einfach Situation zu denken. In diesem Fall können wir uns beispielsweise fragen, ob die Aussage für Funktionen in einer Variablen gilt. Falls dies nicht der Fall ist, so kann die Aussage erst recht nicht für Funktionen in mehrenen Variablen gelten.

Wir können die Situation noch viel weiter vereinfachen, indem wir sehr spezielle Funktionen ${}f,g$ wählen. Hier bietet es sich an, anzunehmen, dass ${}f(x)=a_{0}+a_{1}x+a_{2}x^{2}$ und ${}g(x)=b_{0}+b_{1}x+b_{2}x^{2}$ bereits selbst Polynome vom Grad ${}2$ in einer Variablen sind. Die Taylor-Polynome im Punkt ${}0$ vom Grad ${}\leq 1$ lassen sich daran direkt ablesen als ${}a_{0}+a_{1}x$ und ${}b_{0}+b_{1}x$.

Außerdem ergibt sich, dass das Taylor-Polynom vom Produkt ${}f(x)\cdot g(x)$ vom Grad ${}\leq 2$ genau

$a_{0}b_{0}+(a_{1}b_{0}+a_{0}b_{1})x+(a_{2}b_{0}+a_{1}b_{1}+a_{0}b_{2})x^{2}$

ist. Dieser Ausdruck stimmt offenbar nicht mit dem Produkt der beiden Taylor-Polynome vom Grad ${}\leq 1$

$(a_{0}+a_{1}x)(b_{0}+b_{1}x)=a_{0}b_{0}+(a_{1}b_{0}+a_{0}b_{1})x+a_{1}b_{1}x^{2}$

überein, falls wir die Koeffizienten geeignet wählen.

Dieses Beispiel veranschaulicht aber sehr schön, dass die beiden Ausdrücke bis zum Grad ${}\leq 1$ übereinstimmen und sich erst im Grad ${}2$ unterscheiden. Diese Beobachtung gilt auch allgemeiner: Falls wir die Taylor-Polynome bis zum Grad ${}\leq k$ von Funktionen ${}f$ und ${}g$ kennen, so können wir aus dem Produkt dieser Polynome das Taylor-Polynom vom Grad ${}\leq k$ der Funktion ${}fg$ bestimmen. Diese Aussage soll in Aufgabe ***** gezeigt werden.

 

Aufgabe

Es sei ${}G\subseteq \mathbb {R} ^{n}$ offen, ${}0\in G$ und

$R\colon G\longrightarrow \mathbb {R}$

eine Funktion. Sei ${}k\in \mathbb {N}$. Zeige, falls für eine Konstante ${}c>0$ und alle ${}v$ in einer offenen Umgebung von ${}0$ die Abschätzung ${}\Vert {R(v)}\Vert \leq c\Vert {v}\Vert ^{k+1}$ gilt, dass dann ${}\operatorname {lim} _{v\rightarrow 0}\,{\tfrac {\Vert {R(v)}\Vert }{\Vert {v}\Vert ^{k}}}=0$ folgt.

Zeige umgekehrt durch ein Beispiel, dass aus ${}\operatorname {lim} _{v\rightarrow 0}\,{\tfrac {\Vert {R(v)}\Vert }{\Vert {v}\Vert ^{k}}}=0$ im Allgemeinen nicht die Abschätzung ${}\Vert {R(v)}\Vert \leq c\Vert {v}\Vert ^{k+1}$ folgt.

Aufgaben zum Abgeben

Aufgabe (5 Punkte)

Bestätige Satz 50.1 anhand des folgenden Beispiels.

$f\colon \mathbb {R} ^{2}\longrightarrow \mathbb {R} ,\,(x,y)\longmapsto x^{2}y^{3}-\cos \left(x-y^{2}\right),$

${}P=(1,-3)$, ${}v=(5,-2)$, ${}k=2$.

Aufgabe (4 Punkte)

Bestimme das Taylor-Polynom vom Grad ${}\leq 3$ für die Funktion

$\mathbb {R} ^{3}\longrightarrow \mathbb {R} ,\,(x,y,z)\longmapsto z\cdot \exp(xy),$

im Nullpunkt ${}(0,0,0)$.

Aufgabe (4 Punkte)

Es sei

${}f(x,y)=-2xy^{3}-5x^{2}y^{2}+4xy^{2}-7y+3\,.$

Berechne das Taylor-Polynom der Ordnung ${}3$ im Punkt ${}P=(-3,4)$ algebraisch (d.h. man drücke das Polynom in den neuen Variablen ${}u=x+3,v=y-4$ aus und lese daraus das Taylor-Polynom ab) und über Ableitungen.

Aufgabe (5 Punkte)

Es sei ${}V$ ein endlichdimensionaler reeller Vektorraum, ${}G\subseteq V$ offen, ${}P\in G$ und seien

$f,g\colon G\longrightarrow \mathbb {R}$

zwei ${}k$-mal stetig differenzierbare Funktionen mit den Taylor-Polynomen ${}T_{k}(f)$ und ${}T_{k}(g)$ in ${}P$ vom Grad ${}\leq k$. Zeige, dass das Produkt ${}fg$ ebenfalls ${}k$-mal stetig differenzierbar ist, und dass für das Taylor-Polynom ${}T_{k}(fg)$ von ${}fg$ in ${}P$ vom Grad ${}\leq k$ die Beziehung

${}T_{k}(fg)=(T_{k}(f)\cdot T_{k}(g))_{\leq k}\,$

besteht, wobei der Subskript ${}{\leq k}$ bedeutet, dass das Polynom bis zum Grad ${}k$ genommen wird.

Aufgabe (5 Punkte)

Es sei ${}G\subseteq \mathbb {R} ^{n}$ offen, ${}P\in G$ ein Punkt und

$f\colon G\longrightarrow \mathbb {R}$

eine Funktion. Sei ${}k\in \mathbb {N}$. Zeige, dass es maximal ein Polynom ${}p(x_{1},\ldots ,x_{n})$ vom Grad ${}\leq k$ mit der Eigenschaft geben kann, dass

${}\operatorname {lim} _{x\rightarrow 0}\,{\frac {\Vert {f(x)-p(x)}\Vert }{\Vert {x}\Vert ^{k}}}=0\,$

gilt.