Math 2.0

Real functions Proposition

C^k function characterised by continuous derivatives

Builds on Iterated derivativeHigher partial derivatives

Statement

Let U⊆ℝnU \subseteq \mathbb{R}^n be open, let f ⁣:U→ℝmf \colon U \to \mathbb{R}^m, and let k≥1k \ge 1 be an integer. Say that ff is of class CkC^k on UU when the following is true for each component fjf_j and each r≤kr \le k. Each partial derivative ∂rfj/∂xir⋯∂xi1\partial^r f_j / \partial x_{i_r} \cdots \partial x_{i_1} of order rr exists on UU and is continuous on UU. Then ff is of class CkC^k on UU if and only if these two conditions hold.

  1. For each rr with 0≤r≤k0 \le r \le k, the iterated derivative DrfD^r f exists on UU and is continuous on UU.
  2. For each rr with 0≤r<k0 \le r < k, the map DrfD^r f is differentiable on UU.

Remarks

So in finite dimensions, CkC^k means kk times continuously differentiable, in either the sense of partial derivatives or the sense of Fréchet derivatives. A function is of class C∞C^\infty, or smooth, when it is of class CkC^k for each kk. Each polynomial in x1,…,xnx_1, \dots, x_n is of class C∞C^\infty on ℝn\mathbb{R}^n. The function x↦∥x∥x \mapsto \|x\| is of class C∞C^\infty on ℝn∖{0}\mathbb{R}^n \setminus \{0\}, but it is not differentiable at 00.

Reading path

To understand this page from the ground up, read these 11 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Euclidean space object
  2. Function concept
  3. Fréchet derivative definition
  4. Function of several variables concept
  5. Limit of a function of several variables concept
  6. Differentiable function of several variables definition
  7. Partial derivative definition
  8. Differentiable on an open set definition
  9. Higher partial derivatives definition
  10. Iterated derivative definition
  11. C^k function characterised by continuous derivatives statement

Where this leads

152 pages build on this one.

Further reading

  1. Web https://en.wikipedia.org/wiki/Smoothness, Multivariate differentiability classes
About this page
Tag0TCBZMEYGN
URIm2://0TCBZMEYGN
Kindstatement, proposition
WritingW0 stub
MSC26B05
StatusThis copy of the site has no build data. Run m2 status 0TCBZMEYGN.
UsesIterated derivative, Higher partial derivatives

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

Used by

Results about this