User:Egm6341.s10.team3.Min/HW1

= (5) Proof Taylor series by IMVT = Ref: Lecture Notes [[media:Egm6341.s10.mtg5.pdf|p.5-1]]

Problem Statement
See IMVT in [[media:Egm6341.s10.mtg2.pdf|Lecture p.2-3]]


 * {| style="width:100%" border="0" align="left"

$$ with $$ w(x)\geqslant 0 \quad \forall \ x \in [a,b] $$
 * $$\displaystyle \int_{a}^{b} w(x)f(x)\ dt = f(\xi)\int_{a}^{b} w(x)\ dt
 * $$\displaystyle \int_{a}^{b} w(x)f(x)\ dt = f(\xi)\int_{a}^{b} w(x)\ dt
 * }

Use IMVT to show that (5) in [[media:Egm6341.s10.mtg2.pdf|Lecture p.2-2]] is equal to (1) in [[media:Egm6341.s10.mtg2.pdf|Lecture p.2-3]]


 * {| style="width:100%" border="0" align="left"

= \frac{1}{n!} \frac{(x-x_0)^{n+1}}{(n+1)!}f^{(n+1)}(\xi)
 * $$\displaystyle R_n+1(x) = \frac{1}{n!} \int_{x_0}^{x} (x-t)^n f^{(n+1)}(t)\ dt

$$
 * }

for $$\quad \xi \in [x_0,x]$$

Solution
Because $$t \in [x_0,x]$$, thus $$ (x-t)^n \geqslant 0 $$, according to IMVT we have following equations:


 * {| style="width:100%" border="0" align="left"

= \frac{1}{n!} g(\xi)\int_{x_0}^{x} w(t)\ dt = \frac{1}{n!} f^{(n+1)}(\xi) \int_{x_0}^{x} (x-t)^n\ dt $$ $$ Int. $$ \int_{x_0}^{x} (x-t)^n\ dt $$, we have
 * $$ \displaystyle R_{n+1}(x) = \frac{1}{n!} \int_{x_0}^{x} \underbrace{(x-t)^n}_{w(t)} \underbrace{f^{(n+1)}(t)}_{g(t)}\ dt
 * $$ \displaystyle R_{n+1}(x) = \frac{1}{n!} \int_{x_0}^{x} \underbrace{(x-t)^n}_{w(t)} \underbrace{f^{(n+1)}(t)}_{g(t)}\ dt
 * $$\displaystyle (Eq. 1)
 * }
 * }


 * {| style="width:100%" border="0" align="left"

= \cancelto{o}{-\frac{(x-x)^{n+1}}{n+1}} + \frac{(x-x_0)^{n+1}}{n+1} = \frac{(x-x_0)^{n+1}}{n+1} $$ $$
 * $$ \displaystyle \int_{x_0}^{x} (x-t)^n\ dt = \left [ -\frac{(x-t)^{n+1}}{n+1} \right ]_{t=x_0}^{t=x}
 * $$ \displaystyle \int_{x_0}^{x} (x-t)^n\ dt = \left [ -\frac{(x-t)^{n+1}}{n+1} \right ]_{t=x_0}^{t=x}
 * $$\displaystyle (Eq. 2)
 * }
 * }

Use Eq.1 & Eq.2 we have :


 * {| style="width:100%" border="0" align="left"

$$ \displaystyle \Rightarrow  R_{n+1}(x) = \frac{1}{n!} \int_{x_0}^{x} (x-t)^n f^{(n+1)}(t)\ dt = \frac{(x-x_0)^{n+1}}{(n+1)!}f^{(n+1)}(\xi)
 * style="width:10%; padding:10px; border:2px solid #8888aa" |
 * style="width:10%; padding:10px; border:2px solid #8888aa" |

$$
 * style = |
 * }

for $$\quad \xi \in [x_0,x]$$

= (6) Show Taylor series by integration = Ref: Lecture Notes [[media:Egm6341.s10.mtg5.pdf|p.5-3]]

Problem Statement

 * {| style="width:100%" border="0" align="left"

$$ $$
 * $$\displaystyle f(x) = f(x_0) + \frac{(x-x_0)}{1!}\ f^{(1)}(x_0) + \int_{x_0}^{x} (x-t) f^{(2)}(t)\, dt
 * $$\displaystyle f(x) = f(x_0) + \frac{(x-x_0)}{1!}\ f^{(1)}(x_0) + \int_{x_0}^{x} (x-t) f^{(2)}(t)\, dt
 * $$\displaystyle (Eq. 1)
 * }
 * }

(i)Repeat int. by parts to reveal the following items with remainder


 * {| style="width:100%" border="0" align="left"


 * $$\displaystyle \frac{(x-x_0)^2}{2!}\ f^{(2)}(x_0) + \frac{(x-x_0)^3}{3!}\ f^{(3)}(x_0) $$


 * }

(ii)Assume (4)and (5) in [[media:Egm6341.s10.mtg2.pdf|Lecture p.2-2]] are true, do int. by parts one more time

Solution
(i)Int.$$\int_{x_0}^{x} (x-t){f^{(2)}(t)} dt $$ by parts in Eq 1:


 * {| style="width:100%" border="0" align="left"

\int_{x_0}^{x} \underbrace{(x-t)}_{U^\prime} \underbrace{f^{(2)}(t)}_{V}\, dt & = \left [ UV \right ]_{x_0}^x -  \int_{t=x} UV^\prime\, dt \\ & = \left [ -\frac{(x-t)^2}{2}\ f^{(2)}(t) \right ]_{t=x_0}^{t=x} + \underbrace{\int_{x_0}^{x} \frac{(x-t)^2}{2}f^{(3)}(t)\, dt}_{W1} \\ & = \cancelto{o}{-\frac{(x-x)^2}{2}\ f^{(2)}(x)} + \frac{(x-x_0)^2}{2}\ f^{(2)}(x_0) + W1\\ & = \frac{(x-x_0)^2}{2!}\ f^{(2)}(x_0) + W1\\ \end{align} $$ $$
 * $$ \displaystyle \begin{align}
 * $$ \displaystyle \begin{align}
 * $$\displaystyle (Eq. 2)
 * }
 * }

Use Eq 1, Eq 2, we have:
 * {| style="width:100%" border="0" align="left"

$$ $$
 * $$\Rightarrow \ f(x) = f(x_0) + \frac{(x-x_0)}{1!}\ f^{(1)}(x_0) + \frac{(x-x_0)^2}{2!}\ f^{(2)}(x_0) + \frac{1}{2!}\int_{x_0}^{x} {(x-t)^2}f^{(3)}(t)\, dt
 * $$\Rightarrow \ f(x) = f(x_0) + \frac{(x-x_0)}{1!}\ f^{(1)}(x_0) + \frac{(x-x_0)^2}{2!}\ f^{(2)}(x_0) + \frac{1}{2!}\int_{x_0}^{x} {(x-t)^2}f^{(3)}(t)\, dt
 * $$\displaystyle (Eq. 3)
 * }
 * }

Int. $$\int_{x_0}^{x} {(x-t)^2}f^{(3)}(t)\,dt $$ by part one more time in Eq 3:
 * {| style="width:100%" border="0" align="left"

\int_{x_0}^{x} \underbrace{(x-t)^2}_{U^\prime} \underbrace{f^{(3)}(t)}_{V}\, dt & = \left [ UV \right ]_{x_0}^x -  \int_{t=x} UV^\prime\, dt \\ & = \left [ -\frac{(x-t)^3}{3}\ f^{(3)}(t) \right ]_{t=x_0}^{t=x} + \underbrace{\int_{x_0}^{x} \frac{(x-t)^3}{3}f^{(4)}(t)\, dt}_{W2} \\ & = \cancelto{o}{-\frac{(x-x)^3}{3}\ f^{(3)}(x)} + \frac{(x-x_0)^3}{3}\ f^{(3)}(x_0) + W2\\ & = \frac{(x-x_0)^3}{3}\ f^{(3)}(x_0) + W2\\ \end{align} $$ $$ Use Eq 3, Eq 4, we have:
 * $$ \displaystyle \begin{align}
 * $$ \displaystyle \begin{align}
 * $$\displaystyle (Eq. 4)
 * }
 * }
 * {| style="width:100%" border="0" align="left"

$$\Rightarrow \ f(x) = f(x_0) + \frac{(x-x_0)}{1!}\ f^{(1)}(x_0) + \frac{(x-x_0)^2}{2!}\ f^{(2)}(x_0) + \frac{(x-x_0)^3}{3!}\ f^{(3)}(x_0) + \underbrace{\frac{1}{3!}\int_{x_0}^{x} (x-t)^3f^{(4)}(t)\, dt}_{Remainder} $$
 * style="width:10%; padding:10px; border:2px solid #8888aa" |
 * style="width:10%; padding:10px; border:2px solid #8888aa" |
 * style = |
 * }

(ii)Int. $$\int_{x_0}^{x} {(x-t)^n}f^{(n+1)}(t)\,dt $$ by part one more time:


 * {| style="width:100%" border="0" align="left"

\int_{x_0}^{x} \underbrace{(x-t)^n}_{U^\prime} \underbrace{f^{(n+1)}(t)}_{V}\, dt & = \left [ UV \right ]_{x_0}^x -  \int_{t=x} UV^\prime\, dt \\ & = \left [ -\frac{(x-t)^{n+1}}{n+1}\ f^{(n+1)}(t) \right ]_{t=x_0}^{t=x} + \underbrace{\int_{x_0}^{x} \frac{(x-t)^{n+1}}{n+1}f^{(n+2)}(t)\, dt}_{W} \\ & = \cancelto{o}{-\frac{(x-x)^{n+1}}{n+1}\ f^{(n+1)}(x)} + \frac{(x-x_0)^{n+1}}{n+1}\ f^{(n+1)}(x_0) + W\\ & = \frac{(x-x_0)^{n+1}}{n+1}\ f^{(n+1)}(x_0) + W\\ \end{align} $$ $$
 * $$ \displaystyle \begin{align}
 * $$ \displaystyle \begin{align}
 * $$\displaystyle (Eq. 5)
 * }
 * }

Use Eq 5, (4)& (5) in [[media:egm6341.s10.p2-2.png|Lecture p.2-2]], we have:
 * {| style="width:100%" border="0" align="left"

$$\displaystyle \Rightarrow \ f(x) = \underbrace{f(x_0) + \frac{(x-x_0)}{1!}\ f^{(1)}(x_0) + \cdots + \frac{(x-x_0)^{n+1}}{n+1}\ f^{(n+1)}(x_0)}_{P_{n+1}(x)} + \underbrace{\frac{1}{(n+1)!}\int_{x_0}^{x} (x-t)^{n+1}f^{(n+2)}(t)\, dt}_{R_{n+2}(x)} $$
 * style="width:10%; padding:10px; border:2px solid #8888aa" |
 * style="width:10%; padding:10px; border:2px solid #8888aa" |
 * style = |


 * }