# Unfolding (functions)

Last updated

In mathematics, an unfolding of a smooth real-valued function ƒ on a smooth manifold, is a certain family of functions that includes ƒ.

## Definition

Let ${\displaystyle M}$ be a smooth manifold and consider a smooth mapping ${\displaystyle f:M\to \mathbb {R} .}$ Let us assume that for given ${\displaystyle x_{0}\in M}$ and ${\displaystyle y_{0}\in \mathbb {R} }$ we have ${\displaystyle f(x_{0})=y_{0}}$. Let ${\displaystyle N}$ be a smooth ${\displaystyle k}$-dimensional manifold, and consider the family of mappings (parameterised by ${\displaystyle N}$) given by ${\displaystyle F:M\times N\to \mathbb {R} .}$ We say that ${\displaystyle F}$ is a ${\displaystyle k}$-parameter unfolding of ${\displaystyle f}$ if ${\displaystyle F(x,0)=f(x)}$ for all ${\displaystyle x.}$ In other words the functions ${\displaystyle f:M\to \mathbb {R} }$ and ${\displaystyle F:M\times \{0\}\to \mathbb {R} }$ are the same: the function ${\displaystyle f}$ is contained in, or is unfolded by, the family ${\displaystyle F.}$

## Example

Let ${\displaystyle f:\mathbb {R} ^{2}\to \mathbb {R} }$ be given by ${\displaystyle f(x,y)=x^{2}+y^{5}.}$ An example of an unfolding of ${\displaystyle f}$ would be ${\displaystyle F:\mathbb {R} ^{2}\times \mathbb {R} ^{3}\to \mathbb {R} }$ given by

${\displaystyle F((x,y),(a,b,c))=x^{2}+y^{5}+ay+by^{2}+cy^{3}.}$

As is the case with unfoldings, ${\displaystyle x}$ and ${\displaystyle y}$ are called variables, and ${\displaystyle a,}$${\displaystyle b,}$ and ${\displaystyle c}$ are called parameters, since they parameterise the unfolding.

## Well-behaved unfoldings

In practice we require that the unfoldings have certain properties. In ${\displaystyle \mathbb {R} }$, ${\displaystyle f}$ is a smooth mapping from ${\displaystyle M}$ to ${\displaystyle \mathbb {R} }$ and so belongs to the function space ${\displaystyle C^{\infty }(M,\mathbb {R} ).}$ As we vary the parameters of the unfolding, we get different elements of the function space. Thus, the unfolding induces a function ${\displaystyle \Phi :N\to C^{\infty }(M,\mathbb {R} ).}$ The space ${\displaystyle \operatorname {diff} (M)\times \operatorname {diff} (\mathbb {R} )}$, where ${\displaystyle \operatorname {diff} (M)}$ denotes the group of diffeomorphisms of ${\displaystyle M}$ etc., acts on ${\displaystyle C^{\infty }(M,\mathbb {R} ).}$ The action is given by ${\displaystyle (\phi ,\psi )\cdot f=\psi \circ f\circ \phi ^{-1}.}$ If ${\displaystyle g}$ lies in the orbit of ${\displaystyle f}$ under this action then there is a diffeomorphic change of coordinates in ${\displaystyle M}$ and ${\displaystyle \mathbb {R} }$, which takes ${\displaystyle g}$ to ${\displaystyle f}$ (and vice versa). One property that we can impose is that

${\displaystyle \operatorname {Im} (\Phi )\pitchfork \operatorname {orb} (f)}$

where "${\displaystyle \pitchfork }$" denotes "transverse to". This property ensures that as we vary the unfolding parameters we can predict – by knowing how the orbit foliates ${\displaystyle C^{\infty }(M,\mathbb {R} )}$ – how the resulting functions will vary.

## Versal unfoldings

There is an idea of a versal unfolding. Every versal unfolding has the property that ${\displaystyle \operatorname {Im} (\Phi )\pitchfork \operatorname {orb} (f)}$, but the converse is false. Let ${\displaystyle x_{1},\ldots ,x_{n}}$ be local coordinates on ${\displaystyle M}$, and let ${\displaystyle {\mathcal {O}}(x_{1},\ldots ,x_{n})}$ denote the ring of smooth functions. We define the Jacobian ideal of ${\displaystyle f}$, denoted by ${\displaystyle J_{f}}$, as follows:

${\displaystyle J_{f}:=\left\langle {\frac {\partial f}{\partial x_{1}}},\ldots ,{\frac {\partial f}{\partial x_{n}}}\right\rangle .}$

Then a basis for a versal unfolding of ${\displaystyle f}$ is given by the quotient

${\displaystyle {\frac {{\mathcal {O}}(x_{1},\ldots ,x_{n})}{J_{f}}}}$.

This quotient is known as the local algebra of ${\displaystyle f}$. The dimension of the local algebra is called the Milnor number of ${\displaystyle f}$. The minimum number of unfolding parameters for a versal unfolding is equal to the Milnor number; that is not to say that every unfolding with that many parameters will be versal. Consider the function ${\displaystyle f(x,y)=x^{2}+y^{5}}$. A calculation shows that

${\displaystyle {\frac {{\mathcal {O}}(x,y)}{\langle 2x,5y^{4}\rangle }}=\{y,y^{2},y^{3}\}\ .}$

This means that ${\displaystyle \{y,y^{2},y^{3}\}}$ give a basis for a versal unfolding, and that

${\displaystyle F((x,y),(a,b,c))=x^{2}+y^{5}+ay+by^{2}+cy^{3}}$

is a versal unfolding. A versal unfolding with the minimum possible number of unfolding parameters is called a miniversal unfolding.

## Bifurcations sets of unfoldings

An important object associated to an unfolding is its bifurcation set. This set lives in the parameter space of the unfolding, and gives all parameter values for which the resulting function has degenerate singularities.

## Other terminology

Sometimes unfoldings are called deformations, versal unfoldings are called versal deformations, etc.

## Related Research Articles

In probability theory, the expected value of a random variable is a generalization of the weighted average and intuitively is the arithmetic mean of a large number of independent realizations of that variable. The expected value is also known as the expectation, mathematical expectation, mean, average, or first moment.

In probability theory, the central limit theorem (CLT) establishes that, in some situations, when independent random variables are added, their properly normalized sum tends toward a normal distribution even if the original variables themselves are not normally distributed. The theorem is a key concept in probability theory because it implies that probabilistic and statistical methods that work for normal distributions can be applicable to many problems involving other types of distributions.

Distributions are objects that generalize the classical notion of functions in mathematical analysis. Distributions make it possible to differentiate functions whose derivatives do not exist in the classical sense. In particular, any locally integrable function has a distributional derivative. Distributions are widely used in the theory of partial differential equations, where it may be easier to establish the existence of distributional solutions than classical solutions, or appropriate classical solutions may not exist. Distributions are also important in physics and engineering where many problems naturally lead to differential equations whose solutions or initial conditions are distributions, such as the Dirac delta function.

In mathematics, the adele ring is defined in class field theory, a branch of algebraic number theory. It allows one to elegantly describe the Artin reciprocity law. The adele ring is a self-dual topological ring, which is built on a global field. It is the restricted product of all the completions of the global field and therefore contains all the completions of the global field.

Vapnik–Chervonenkis theory was developed during 1960–1990 by Vladimir Vapnik and Alexey Chervonenkis. The theory is a form of computational learning theory, which attempts to explain the learning process from a statistical point of view.

In mathematics, the Fourier inversion theorem says that for many types of functions it is possible to recover a function from its Fourier transform. Intuitively it may be viewed as the statement that if we know all frequency and phase information about a wave then we may reconstruct the original wave precisely.

In mathematics a Hausdorff measure is a type of outer measure, named for Felix Hausdorff, that assigns a number in [0,∞] to each set in or, more generally, in any metric space. The zero-dimensional Hausdorff measure is the number of points in the set or ∞ if the set is infinite. The one-dimensional Hausdorff measure of a simple curve in is equal to the length of the curve. Likewise, the two dimensional Hausdorff measure of a measurable subset of is proportional to the area of the set. Thus, the concept of the Hausdorff measure generalizes counting, length, and area. It also generalizes volume. In fact, there are d-dimensional Hausdorff measures for any d ≥ 0, which is not necessarily an integer. These measures are fundamental in geometric measure theory. They appear naturally in harmonic analysis or potential theory.

In mathematics, deformation theory is the study of infinitesimal conditions associated with varying a solution P of a problem to slightly different solutions Pε, where ε is a small number, or vector of small quantities. The infinitesimal conditions are therefore the result of applying the approach of differential calculus to solving a problem with constraints. One might think, in analogy, of a structure that is not completely rigid, and that deforms slightly to accommodate forces applied from the outside; this explains the name.

The rectangular function is defined as

In mathematical analysis, the smoothness of a function is a property measured by the number of continuous derivatives it has over some domain. At the very minimum, a function could be considered "smooth" if it is differentiable everywhere. At the other end, it might also possess derivatives of all orders in its domain, in which case it is referred to as a C-infinity function.

In mathematics, the jet is an operation that takes a differentiable function f and produces a polynomial, the truncated Taylor polynomial of f, at each point of its domain. Although this is the definition of a jet, the theory of jets regards these polynomials as being abstract polynomials rather than polynomial functions.

A locally compact quantum group is a relatively new C*-algebraic approach toward quantum groups that generalizes the Kac algebra, compact-quantum-group and Hopf-algebra approaches. Earlier attempts at a unifying definition of quantum groups using, for example, multiplicative unitaries have enjoyed some success but have also encountered several technical problems.

In mathematics, an Igusa zeta function is a type of generating function, counting the number of solutions of an equation, modulop, p2, p3, and so on.

In mathematics, -equivalence, sometimes called right-left equivalence, is an equivalence relation between map germs.

Uncertainty theory is a branch of mathematics based on normality, monotonicity, self-duality, countable subadditivity, and product measure axioms.

In algebraic geometry, a derived scheme is a pair consisting of a topological space X and a sheaf of commutative ring spectra on X such that (1) the pair is a scheme and (2) is a quasi-coherent -module. The notion gives a homotopy-theoretic generalization of a scheme.

In mathematics, convenient vector spaces are locally convex vector spaces satisfying a very mild completeness condition.

In geometry, a valuation is a finitely additive function on a collection of admissible subsets of a fixed set with values in an abelian semigroup. For example, the Lebesgue measure is a valuation on finite unions of convex bodies of Euclidean space . Other examples of valuations on finite unions of convex bodies are the surface area, the mean width, and the Euler characteristic.

In functional analysis, every C*-algebra is isomorphic to a subalgebra of the C*-algebra of bounded linear operators on some Hilbert space H. This article describes the spectral theory of closed normal subalgebras of .

In the field of Functional Analysis, it is possible to generalize the notion of derivative to infinite dimensional topological vector spaces (TVSs) in multiple ways. But when the domain of TVS-value functions is a subset of finite-dimensional Euclidean space then the number of generalizations of the derivative is much more limited and derivatives are more well behaved. This article presents the theory of k-times continuously differentiable functions on an open subset of Euclidean space , which is an important special case of differentiation between arbitrary TVSs. All vector spaces will be assumed to be over the field , where is either the real numbers or the complex numbers .

## References

• V. I. Arnold, S. M. Gussein-Zade & A. N. Varchenko, Singularities of differentiable maps, Volume 1, Birkhäuser, (1985).
• J. W. Bruce & P. J. Giblin, Curves & singularities, second edition, Cambridge University press, (1992).