Church encoding: Difference between revisions

From formulasearchengine
Jump to navigation Jump to search
en>Paul1andrews
 
en>Thepigdog
No edit summary
Line 1: Line 1:
Wilber Berryhill is what his spouse enjoys to call him and he completely enjoys this name. I've  [http://jplusfn.Gaplus.kr/xe/qna/78647 psychic phone readings] always cherished living in Kentucky but now I'm contemplating other choices. I am really fond of to go to karaoke but I've been using on new things lately. Credit authorising is how she tends to make a residing.<br><br>Take a look at my weblog - psychic readers  [http://srncomm.com/blog/2014/08/25/relieve-that-stress-find-a-new-hobby/ good psychic] - [http://www.prograd.uff.br/novo/facts-about-growing-greater-organic-garden www.prograd.uff.br],
{{Context|date=September 2011}}
In the [[calculus of variations]], '''Γ-convergence''' ('''Gamma-convergence''') is a notion of convergence for [[Functional (mathematics)|functionals]]. It was introduced by [[Ennio de Giorgi]].
 
==Definition==
Let <math>X</math> be a [[topological space]] and <math>F_n:X\to[0,+\infty)</math> a sequence of functionals on <math>X</math>. Then <math>F_n</math> are said to <math>\Gamma</math>-converge to the <math>\Gamma</math>-limit <math>F:X\to[0,+\infty)</math> if the following two conditions hold:
* Lower bound inequality: For every sequence <math>x_n\in X</math> such that <math>x_n\to x</math> as <math>n\to+\infty</math>,
: <math>F(x)\le\liminf_{n\to\infty} F_n(x_n).</math>
* Upper bound inequality: For every <math>x\in X</math>, there is a sequence <math>x_n</math> converging to <math>x</math> such that
: <math>F(x)\ge\limsup_{n\to\infty} F_n(x_n)</math>
 
The first condition means that <math>F</math> provides an asymptotic common lower bound for the <math>F_n</math>. The second condition means that this lower bound is optimal.
 
==Properties==
* Minimizers converge to minimizers: If <math>F_n</math> <math>\Gamma</math>-converge to <math>F</math>, and <math>x_n</math> is a minimizer for <math>F_n</math>, then every cluster point of the sequence <math>x_n</math> is a minimizer of <math>F</math>.
* <math>\Gamma</math>-limits are always [[Semi-continuity|lower semicontinuous]].
* <math>\Gamma</math>-convergence is stable under continuous perturbations: If <math>F_n</math> <math>\Gamma</math>-converges to <math>F</math> and <math>G:X\to[0,+\infty)</math> is continuous, then <math>F_n+G</math> will <math>\Gamma</math>-converge to <math>F+G</math>.
* A constant sequence of functionals <math>F_n=F</math> does not necessarily <math>\Gamma</math>-converge to <math>F</math>, but to the ''relaxation'' of <math>F</math>, the largest lower semicontinuous functional below <math>F</math>.
 
==Applications==
An important use for <math>\Gamma</math>-convergence is in [[homogenization (mathematics)|homogenization theory]]. It can also be used to rigorously justify the passage from discrete to continuum theories for materials, e.g. in [[Elasticity (physics)|elasticity]] theory.
 
==See also==
* [[Mosco convergence]]
 
==References==
* A. Braides: ''Γ-convergence for beginners''. Oxford University Press, 2002.
* G. Dal Maso: ''An introduction to Γ-convergence''. Birkhäuser, Basel 1993.
 
{{DEFAULTSORT:Gamma-Convergence}}
[[Category:Calculus of variations]]
[[Category:Variational analysis]]
 
 
{{Mathanalysis-stub}}

Revision as of 14:53, 16 January 2014

My name is Jestine (34 years old) and my hobbies are Origami and Microscopy.

Here is my web site; http://Www.hostgator1centcoupon.info/ (support.file1.com) In the calculus of variations, Γ-convergence (Gamma-convergence) is a notion of convergence for functionals. It was introduced by Ennio de Giorgi.

Definition

Let X be a topological space and Fn:X[0,+) a sequence of functionals on X. Then Fn are said to Γ-converge to the Γ-limit F:X[0,+) if the following two conditions hold:

F(x)lim infnFn(xn).
  • Upper bound inequality: For every xX, there is a sequence xn converging to x such that
F(x)lim supnFn(xn)

The first condition means that F provides an asymptotic common lower bound for the Fn. The second condition means that this lower bound is optimal.

Properties

  • Minimizers converge to minimizers: If Fn Γ-converge to F, and xn is a minimizer for Fn, then every cluster point of the sequence xn is a minimizer of F.
  • Γ-limits are always lower semicontinuous.
  • Γ-convergence is stable under continuous perturbations: If Fn Γ-converges to F and G:X[0,+) is continuous, then Fn+G will Γ-converge to F+G.
  • A constant sequence of functionals Fn=F does not necessarily Γ-converge to F, but to the relaxation of F, the largest lower semicontinuous functional below F.

Applications

An important use for Γ-convergence is in homogenization theory. It can also be used to rigorously justify the passage from discrete to continuum theories for materials, e.g. in elasticity theory.

See also

References

  • A. Braides: Γ-convergence for beginners. Oxford University Press, 2002.
  • G. Dal Maso: An introduction to Γ-convergence. Birkhäuser, Basel 1993.


Template:Mathanalysis-stub