PlanetMath (more info)
 Math for the people, by the people.
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
sections
Encyclopædia
Papers
Books
Expositions

meta
Requests (200)
Orphanage
Unclass'd
Unproven (511)
Corrections (9)
Classification

talkback
Polls
Forums
Feedback
Bug Reports

downloads
Snapshots
PM Book

information
News
Docs
Wiki
ChangeLog
TODO List
Legalese
About
Owner confidence rating: High Entry average rating: No information on entry rating
[parent] Taylor's formula in Banach spaces (Result)

Let $ U$ be an open subset of a real Banach space $ X$. If $ f\colon U \to \mathbb{R}$ is differentiable $ n+1$ times on $ U$, it may be expanded by Taylor's formula:

$\displaystyle f(x) = f(a) + {\mathrm{D}}f(a) \cdot h + \frac{1}{2!} {\mathrm{D}... ...(a) \cdot h^2 + \dotsb + \frac{1}{n!} {\mathrm{D}}^n f(a) \cdot h^n + R_n(x)\,,$ (1)

with the following expressions for the remainder term $ R_n(x)$:
$\displaystyle R_n(x)$ $\displaystyle = \frac{1}{n!} \, {\mathrm{D}}^{n+1}f(\eta) \cdot (x-\eta)^n h$ Cauchy form of remainder    
$\displaystyle R_n(x)$ $\displaystyle = \frac{1}{(n+1)!} \, {\mathrm{D}}^{n+1}f(\xi) \cdot h^{n+1}$ Lagrange form of remainder    
$\displaystyle R_n(x)$ $\displaystyle = \frac{1}{n!} \int_0^1 {\mathrm{D}}^{n+1} f(a+th) \cdot ((1-t)h)^n h \, dt$ integral form of remainder    

Here $ a$ and $ x$ must be points of $ U$ such that the line segment between $ a$ and $ x$ lie inside $ U$, $ h$ is $ x-a$, and the points $ \xi$ and $ \eta$ lie on the same line segment, strictly between $ a$ and $ x$.

The $ k$th Fréchet derivative of $ f$ at $ a$ is being denoted by $ {\mathrm{D}}^k f(a)$, to be viewed as a multilinear map $ X^k \to \mathbb{R}$. The $ \cdot h^k$ notation means to evaluate a multilinear map at $ (h, \dotsc, h)$.

Remainders for vector-valued functions

If $ Y$ is a Banach space, we may also consider Taylor expansions for $ f\colon U \to Y$. Formula (4) takes the same form, but the Cauchy and Lagrange forms of the remainder will not be exact; they will only be bounds on $ R_n(x)$. That is, for $ f\colon U \to Y$,
$\displaystyle \lVert R_n(x)\rVert$ $\displaystyle \leq \frac{1}{n!} \, \left\lVert{\mathrm{D}}^{n+1}f(\eta) \cdot (x-\eta)^n h\right\rVert$ Cauchy form of remainder    
$\displaystyle \lVert R_n(x)\rVert$ $\displaystyle \leq \frac{1}{(n+1)!} \, \left\lVert{\mathrm{D}}^{n+1}f(\xi) \cdot h^{n+1}\right\rVert$ Lagrange form of remainder    

It is not hard to find counterexamples if we attempt to remove the norm signs or change the inequality to equality in the above formulas.

However, the integral form of the remainder continues to hold for $ Y \neq \mathbb{R}$, although strictly speaking it only applies if the integrand is integrable. The integral form is also applicable when $ X$ and $ Y$ are complex Banach spaces.

Mean Value Theorem

The Mean Value Theorem can be obtained as the special case $ n=0$ with the Lagrange form of the remainder: for $ f\colon U \to Y$ differentiable,
$\displaystyle \lVert f(x) - f(a)\rVert \leq \lVert{\mathrm{D}}f(\xi) \cdot (x-a)\rVert$ (2)

If $ Y = \mathbb{R}$, then the norm signs may be removed from (2), and the inequality replaced by equality.

Formula (2) also holds under the much weaker hypothesis that $ f$ only has a directional derivative along the line segment from $ a$ to $ x$.

Weaker bounds for the remainder

If $ f \colon U \to Y$ is only differentiable $ n$ times at $ a$, then we cannot quantify the remainder by the $ n+1$th derivative, but it is still true that
$\displaystyle R_n(x) = o( \lVert x-a\rVert ^n )$    as $ x \to a$.  (3)

Finite-dimensional case

If $ X = \mathbb{R}^m$ and $ Y = \mathbb{R}$, $ {\mathrm{D}}^k$ has the following expression in terms of coordinates:
$\displaystyle {\mathrm{D}}^k f(a) \cdot (\xi_1, \dotsc, \xi_k) = \sum_{i_1, \do... ...\partial x^{i_1} \dotsm \partial x^{i_k}} \, \xi_1^{i_1} \dotsm \xi_k^{i_k}\,, $
where each $ i_j$ runs from $ 1, \dotsc, m$ in the sum.

If we collect the equal mixed partials (assuming that they are continuous) then

$\displaystyle \frac{1}{k!} \, {\mathrm{D}}^k f(a) \cdot h^k = \sum_{\lvert J\rvert = k} \frac{1}{J!} \frac{\partial^{\lvert J\rvert } f}{\partial x^J} h^J\,, $
where $ J$ is a multi-index of $ m$ components, and each component $ J_i$ indicates how many times the derivative with respect to the $ i$th coordinate should be taken, and the exponent that the $ i$th coordinate of $ h$ should be raised to in the monomial $ h^J$. The multi-index $ J$ runs through all combinations such that $ J_1 + \dotsb + J_m = \lvert J\rvert = k$ in the sum. The notation $ J!$ means $ J_1! \dotsm J_m!$.

All this is more easily assimilated if we remember that $ {\mathrm{D}}^k f(a) \cdot h^k$ is supposed to be a polynomial of degree $ k$. Also $ \lvert J\rvert !/J!$ is just the multinomial coefficient.

Taylor series

If $ \lim_{n \to \infty} R_n(x) = 0$, then we may write
$\displaystyle f(x) = f(a) + {\mathrm{D}}f(a) \cdot h + \frac{1}{2!} {\mathrm{D}}^2 f(a) \cdot h^2 + \dotsb$ (4)

as a convergent infinite series. Elegant as such an expansion is, it is not seen very often, for the reason that higher order Fréchet derivatives, especially in infinite-dimensional spaces, are often difficult to calculate.

But a notable exception occurs if a function $ f$ is defined by a convergent “power series”

$\displaystyle f(x) = \sum_{k=0}^\infty M_k \cdot (x-a)^k$ (5)

where $ \{ M_k : k = 0, 1, \dotsc \}$ is a family of continuous symmetric multilinear functions $ X^k \to Y$. In this case, the series (5) is the Taylor series for $ f$ at $ a$.

Bibliography

1
Arthur Wouk. A course of applied functional analysis. Wiley-Interscience, 1979.
2
Eberhard Zeidler. Applied functional analysis: main principles and their applications. Springer-Verlag, 1995.
3
Michael Spivak. Calculus, third edition. Publish or Perish, 1994.



"Taylor's formula in Banach spaces" is owned by stevecheng.
(view preamble)

View style:

Keywords:  mean value theorem, power series, Taylor series, Taylor polynomial

This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: Taylor series, symmetric multilinear functions, calculate, infinite-dimensional, order, series, infinite, convergent, multinomial coefficient, degree, polynomial, combinations, monomial, exponent, components, multi-index, continuous, sum, coordinates, terms, derivative, directional derivative, hypothesis, mean, complex, integral, equality, inequality, norm, counterexamples, bounds, remainder, Taylor expansions, map, multilinear, Fréchet derivative, strictly, lie on, line segment, points, remainder term, expressions, expanded, differentiable, Banach space, real, open subset
There are 2 references to this entry.

This is version 7 of Taylor's formula in Banach spaces, born on 2005-08-16, modified 2006-08-22.
Object id is 7328, canonical name is TaylorPolynomialsInBanachSpaces.
Accessed 4487 times total.

Classification:
AMS MSC: 41A58 (Approximations and expansions :: Series expansions )
 26B12 (Real functions :: Functions of several variables :: Calculus of vector functions)
 46T20 (Functional analysis :: Nonlinear functional analysis :: Continuous and differentiable maps)
Pending Errata and Addenda
None.
[ View all 4 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add example | add (any)