Added to Favorites

Related Searches

Definitions

In mathematics, the symmetry of second derivatives refers to the possibility of interchanging the order of taking partial derivatives of a function ## The Hessian matrix is typically symmetric

## Formal expressions of symmetry

## Clairaut's theorem

### Clairaut's constant

A byproduct of this theorem is Clairaut's constant (alternatively known as "Clairaut's formula" and "Clairaut's parameter"), which relates the latitude, $phi,!$, and (here, spherical) azimuth, $widehat\{alpha\},!$, of points on a sphere's great circle.
The identification of a particular great circle equals its azimuth at the equator, or arc path, $widehat\{Alpha\},!$:
## Distribution theory formulation

## Pathology is possible

## Counterexample

## In Lie theory

- f(x
_{1}, x_{2}, ..., x_{n})

of n variables. If the partial derivative with respect to x_{i} is denoted with a subscript i, then the symmetry is the assertion that the second-order partial derivatives f_{ij} satisfy the identity

- f
_{ij}= f_{ji}

so that they form an n × n symmetric matrix. This is sometimes known as Young's theorem.

This matrix of second-order partial derivatives of f is called the Hessian matrix of f. The entries in it off the main diagonal are the mixed derivatives; that is, successive partial derivatives with respect to different variables.

In most normal circumstances the Hessian matrix is indeed a symmetric matrix; but from the point of view of mathematical analysis this isn't a safe statement, without some hypothesis on f that goes further than simply stating the existence of the second derivatives at a particular point. Clairaut's theorem gives a sufficient condition on f for this to occur.

In symbols, the symmetry says that, for example,

- $frac\; \{partial\}\{partial\; x\}\; left(frac\; \{\; partial\; f\; \}\{\; partial\; y\}\; right)\; =$

This equality can also be written as

- $partial\_\{xy\}\; f\; =\; partial\_\{yx\}\; f.$

Alternatively, the symmetry can be written as an algebraic statement involving the differential operator D_{i} which takes the partial derivative with respect to x_{i}:

- D
_{i}. D_{j}= D_{j}. D_{i}.

From this relation it follows that the ring of differential operators with constant coefficients, generated by the D_{i}, is commutative. But one should naturally specify some domain for these operators. It is easy to check the symmetry as applied to monomials, so that one can take polynomials in the x_{i} as a domain. In fact smooth functions is possible.

In mathematical analysis, Clairaut's theorem or Schwarz's theorem, named after Alexis Clairaut and Hermann Schwarz, states that if

- $f\; colon\; mathbb\{R\}^n\; to\; mathbb\{R\}$

has continuous second partial derivatives at any given point in $mathbb\{R\}^n$, say, $(a\_1,\; dots,\; a\_n),$ then for $1\; leq\; i,j\; leq\; n,$

- $frac\{partial^2\; f\}\{partial\; x\_i,\; partial\; x\_j\}(a\_1,\; dots,\; a\_n)\; =\; frac\{partial^2\; f\}\{partial\; x\_j,\; partial\; x\_i\}(a\_1,\; dots,\; a\_n).$

In words, the partial derivatives of this function commute at that point.

- $sin(widehat\{Alpha\})=Big|cos(phi\_q)sin(widehat\{alpha\}\_q)Big|.,!$

One can also apply the theory of distributions to get round any analytic problems with the symmetry. Firstly the derivative of any function can be defined (provided it is integrable), as a distribution. Secondly the use of integration by parts throws the symmetry question back onto the test functions, which are smooth and certainly satisfy the symmetry. One concludes that, in the sense of distributions, the symmetry always holds. (Another approach, where the Fourier transform of a function is defined, is to note that on transforms the partial derivatives become multiplication operators that commute much more obviously).

The fact remains that in the worst case there are counterexamples. In the case of two variables, near (0, 0) one can consider two limiting processes on

- f(h, k) − f(h, 0) − f(0, k) + f(0, 0)

corresponding to making h → 0 first, and to making k → 0 first. These processes need not commute (see interchange of limiting operations): it can matter, looking at the first-order terms, which is applied first. This leads to the construction of pathological examples in which the symmetry of second derivatives is not true. Given that the derivatives as Schwartz distributions are symmetric, this kind of example belongs in the 'fine' theory of real analysis.

Consider the function

- $f(x,y)\; =\; begin\{cases\}$

Then the mixed partial derivatives of f exist, and are continuous everywhere except at $(0,0)$. Moreover

- $frac\; \{partial\}\{partial\; x\}\; left(frac\; \{\; partial\; f\; \}\{\; partial\; y\}\; right)\; ne$

at $(0,0)$.

A more sophisticated argument is this: consider the first-order differential operators D_{i} to be infinitesimal operators on Euclidean space. That is, D_{i} in a sense generates the one-parameter group of translations parallel to the x_{i}-axis. These groups certainly all commute with each other, and therefore we expect that the infinitesimal generators do also; the Lie bracket

- [D
_{i}, D_{j}] = 0

is the way that is reflected. When one comes to ask whether this is true as applied to spaces of functions on Euclidean space, this question is an elementary part of the theory of differentiable vectors in representation theory; that is, a suitable subspace of a function space on which the Lie algebra representation deriving from a representation of a Lie group has desirable and transparent properties.

Wikipedia, the free encyclopedia © 2001-2006 Wikipedia contributors (Disclaimer)

This article is licensed under the GNU Free Documentation License.

Last updated on Friday October 03, 2008 at 22:21:49 PDT (GMT -0700)

View this article at Wikipedia.org - Edit this article at Wikipedia.org - Donate to the Wikimedia Foundation

This article is licensed under the GNU Free Documentation License.

Last updated on Friday October 03, 2008 at 22:21:49 PDT (GMT -0700)

View this article at Wikipedia.org - Edit this article at Wikipedia.org - Donate to the Wikimedia Foundation

Copyright © 2014 Dictionary.com, LLC. All rights reserved.