Namespaces
Variants
Actions

Difference between revisions of "Symmetrization"

From Encyclopedia of Mathematics
Jump to: navigation, search
m (MR/ZBL numbers added)
m (tex encoded by computer)
 
Line 1: Line 1:
The association to each object <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091730/s0917301.png" /> of an object <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091730/s0917302.png" /> (of the same class) having some symmetry. Usually symmetrization is applied to closed sets <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091730/s0917303.png" /> in a Euclidean space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091730/s0917304.png" /> (or in a space of constant curvature), and also to mappings; moreover, symmetrization is constructed so that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091730/s0917305.png" /> continuously depends on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091730/s0917306.png" />. Symmetrization preserves some and monotonely changes other characteristics of an object. Symmetrization is used in geometry, mathematical physics and function theory for the solution of extremal problems. The first symmetrizations were introduced by J. Steiner in 1836 for a proof of an [[Isoperimetric inequality|isoperimetric inequality]].
+
<!--
 +
s0917301.png
 +
$#A+1 = 71 n = 0
 +
$#C+1 = 71 : ~/encyclopedia/old_files/data/S091/S.0901730 Symmetrization
 +
Automatically converted into TeX, above some diagnostics.
 +
Please remove this comment and the {{TEX|auto}} line below,
 +
if TeX found to be correct.
 +
-->
  
Symmetrization relative to a subspace <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091730/s0917307.png" /> in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091730/s0917308.png" />: For each non-empty section of a set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091730/s0917309.png" /> by a subspace <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091730/s09173010.png" /> one constructs a sphere in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091730/s09173011.png" /> with centre <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091730/s09173012.png" /> and the same <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091730/s09173013.png" />-dimensional volume as <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091730/s09173014.png" />; the set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091730/s09173015.png" /> formed by these spheres is the result of the symmetrization. Symmetrization relative to a subspace preserves volume and convexity, and does not increase the area of the boundary or the integral of the transversal measure (see [[#References|[2]]]). For <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091730/s09173016.png" /> this is Steiner symmetrization, for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091730/s09173017.png" /> it is Schwarz symmetrization.
+
{{TEX|auto}}
 +
{{TEX|done}}
  
Symmetrization relative to a half-space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091730/s09173018.png" /> in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091730/s09173019.png" />: For each non-empty section of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091730/s09173020.png" /> by a sphere <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091730/s09173021.png" /> with centre on the boundary <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091730/s09173022.png" /> and lying in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091730/s09173023.png" />, one constructs a spherical cap <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091730/s09173024.png" /> (where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091730/s09173025.png" /> is a sphere with centre <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091730/s09173026.png" />) of the same <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091730/s09173027.png" />-dimensional volume as <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091730/s09173028.png" />; the set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091730/s09173029.png" /> formed by these caps is the result of the symmetrization. For <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091730/s09173030.png" /> this is spherical symmetrization, if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091730/s09173031.png" /> it is circular symmetrization.
+
The association to each object  $  F $
 +
of an object  $  F ^ { * } $(
 +
of the same class) having some symmetry. Usually symmetrization is applied to closed sets  $  F $
 +
in a Euclidean space  $  E  ^ {n} $(
 +
or in a space of constant curvature), and also to mappings; moreover, symmetrization is constructed so that  $  F ^ { * } $
 +
continuously depends on  $  F $.  
 +
Symmetrization preserves some and monotonely changes other characteristics of an object. Symmetrization is used in geometry, mathematical physics and function theory for the solution of extremal problems. The first symmetrizations were introduced by J. Steiner in 1836 for a proof of an [[Isoperimetric inequality|isoperimetric inequality]].
  
Symmetrization by displacement: For a convex set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091730/s09173032.png" /> one constructs its symmetrization <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091730/s09173033.png" /> relative to a subspace <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091730/s09173034.png" />; the result of the symmetrization is the set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091730/s09173035.png" />, where addition of sets is taken as the vector sum.
+
Symmetrization relative to a subspace  $  E ^ {n - k } $
 +
in  $  E  ^ {n} $:  
 +
For each non-empty section of a set $  F $
 +
by a subspace  $  E  ^ {k} \perp  E ^ {n - k } $
 +
one constructs a sphere in  $  E  ^ {k} $
 +
with centre  $  E  ^ {k} \cap E ^ {n - k } $
 +
and the same  $  k $-
 +
dimensional volume as  $  F \cap E  ^ {k} $;
 +
the set  $  F ^ { * } $
 +
formed by these spheres is the result of the symmetrization. Symmetrization relative to a subspace preserves volume and convexity, and does not increase the area of the boundary or the integral of the transversal measure (see [[#References|[2]]]). For  $  k = 1 $
 +
this is Steiner symmetrization, for  $  k = n - 1 $
 +
it is Schwarz symmetrization.
  
Symmetrization by rolling: For a convex body <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091730/s09173036.png" /> its [[Support function|support function]] is averaged over parallel sections of the unit sphere; the result of symmetrization is the body <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091730/s09173037.png" /> recovered from the support function thus obtained.
+
Symmetrization relative to a half-space  $  H ^ {n - k } $
 +
in  $  E  ^ {n} $:  
 +
For each non-empty section of  $  F $
 +
by a sphere  $  S  ^ {k} $
 +
with centre on the boundary  $  \partial  H ^ {n - k } $
 +
and lying in  $  E ^ {k + 1 } \perp  H ^ {n - k } $,
 +
one constructs a spherical cap  $  S  ^ {k} \cap D  ^ {n} $(
 +
where  $  D  ^ {n} $
 +
is a sphere with centre  $  H ^ {n - k } \cap S  ^ {k} $)
 +
of the same  $  k $-
 +
dimensional volume as  $  F \cap S  ^ {k} $;  
 +
the set  $  F ^ { * } $
 +
formed by these caps is the result of the symmetrization. For  $  k = n - 1 $
 +
this is spherical symmetrization, if  $  n = 2 $
 +
it is circular symmetrization.
  
In <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091730/s09173038.png" /> Steiner symmetrization preserves volume and does not increase surface area, diameter and capacity; Schwarz symmetrization preserves continuity of the Gaussian curvature of the boundary and does not reduce its minimum; symmetrization relative to a half-space does not increase the fundamental frequency of the domain or the area of the boundary; spherical symmetrization does not increase capacity; symmetrization by displacement preserves the integral of the mean curvature of the boundary and does not reduce the area of the latter; symmetrization by rolling preserves width (see [[#References|[1]]], [[#References|[3]]]).
+
Symmetrization by displacement: For a convex set  $  F \subset  E  ^ {n} $
 +
one constructs its symmetrization $  F ^ { \prime } $
 +
relative to a subspace  $  E  ^ {k} $;
 +
the result of the symmetrization is the set  $  F ^ { * } = ( F + F ^ { \prime } )/2 $,
 +
where addition of sets is taken as the vector sum.
  
In <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091730/s09173039.png" /> Steiner symmetrization does not increase the polar moment of inertia, the exterior radius, the capacity or the fundamental frequency; it does not reduce torsional rigidity or the maximal interior conformal radius (see [[#References|[3]]]).
+
Symmetrization by rolling: For a convex body  $  F \subset  E  ^ {n} $
 +
its [[Support function|support function]] is averaged over parallel sections of the unit sphere; the result of symmetrization is the body  $  F ^ { * } $
 +
recovered from the support function thus obtained.
 +
 
 +
In  $  E  ^ {3} $
 +
Steiner symmetrization preserves volume and does not increase surface area, diameter and capacity; Schwarz symmetrization preserves continuity of the Gaussian curvature of the boundary and does not reduce its minimum; symmetrization relative to a half-space does not increase the fundamental frequency of the domain or the area of the boundary; spherical symmetrization does not increase capacity; symmetrization by displacement preserves the integral of the mean curvature of the boundary and does not reduce the area of the latter; symmetrization by rolling preserves width (see [[#References|[1]]], [[#References|[3]]]).
 +
 
 +
In  $  E  ^ {2} $
 +
Steiner symmetrization does not increase the polar moment of inertia, the exterior radius, the capacity or the fundamental frequency; it does not reduce torsional rigidity or the maximal interior conformal radius (see [[#References|[3]]]).
  
 
In connection with the manifold applications of symmetrization, the question of convergence of symmetrizations has been considered. The definition of the analogues of symmetrization for non-closed sets permits ramification. On the use of symmetrization in function theory see [[Symmetrization method|Symmetrization method]].
 
In connection with the manifold applications of symmetrization, the question of convergence of symmetrizations has been considered. The definition of the analogues of symmetrization for non-closed sets permits ramification. On the use of symmetrization in function theory see [[Symmetrization method|Symmetrization method]].
Line 17: Line 68:
 
====References====
 
====References====
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top"> W. Blaschke, "Kreis und Kugel" , Chelsea, reprint (1949) {{MR|0076364}} {{ZBL|0041.08802}} </TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top"> H. Hadwiger, "Vorlesungen über Inhalt, Oberfläche und Isoperimetrie" , Springer (1957) {{MR|0102775}} {{ZBL|0078.35703}} </TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top"> G. Pólya, G. Szegö, "Isoperimetric inequalities in mathematical physics" , Princeton Univ. Press (1951) {{MR|0043486}} {{ZBL|0044.38301}} </TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top"> K. Leichtweiss, "Konvexe Mengen" , Springer (1979) {{MR|0586235}} {{MR|0559138}} {{ZBL|0442.52001}} {{ZBL|0427.52001}} </TD></TR></table>
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top"> W. Blaschke, "Kreis und Kugel" , Chelsea, reprint (1949) {{MR|0076364}} {{ZBL|0041.08802}} </TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top"> H. Hadwiger, "Vorlesungen über Inhalt, Oberfläche und Isoperimetrie" , Springer (1957) {{MR|0102775}} {{ZBL|0078.35703}} </TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top"> G. Pólya, G. Szegö, "Isoperimetric inequalities in mathematical physics" , Princeton Univ. Press (1951) {{MR|0043486}} {{ZBL|0044.38301}} </TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top"> K. Leichtweiss, "Konvexe Mengen" , Springer (1979) {{MR|0586235}} {{MR|0559138}} {{ZBL|0442.52001}} {{ZBL|0427.52001}} </TD></TR></table>
 
 
  
 
====Comments====
 
====Comments====
Quite generally, if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091730/s09173040.png" /> is a finite group acting on a vector space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091730/s09173041.png" /> over a field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091730/s09173042.png" />, and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091730/s09173043.png" />, then the symmetrized version of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091730/s09173044.png" /> is the element <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091730/s09173045.png" /> (or <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091730/s09173046.png" />). The element
+
Quite generally, if $  G $
 +
is a finite group acting on a vector space $  V $
 +
over a field $  k $,  
 +
and $  v \in V $,  
 +
then the symmetrized version of $  v $
 +
is the element $  \sum _ {s \in G }  sv $(
 +
or $  ( 1/ | G | ) \sum _ {s} sv $).  
 +
The element
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091730/s09173047.png" /></td> </tr></table>
+
$$
 +
=
 +
\frac{1}{| G | }
 +
\sum _ { s } s \in  k[ G]
 +
$$
  
is called a symmetrizer. For instance, if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091730/s09173048.png" /> is the symmetric group on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091730/s09173049.png" /> letters and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091730/s09173050.png" />, the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091730/s09173051.png" />-th tensor power of a vector space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091730/s09173052.png" /> (respectively, the vector space of polynomials in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091730/s09173053.png" /> variables over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091730/s09173054.png" />), then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091730/s09173055.png" /> acts naturally (by permuting tensor factors, respectively, by permuting the variables) and application of the idempotent <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091730/s09173056.png" /> to a tensor (respectively, a polynomial) gives the corresponding symmetrized tensor (respectively, symmetrized polynomial). Cf. also [[Symmetrization (of tensors)|Symmetrization (of tensors)]].
+
is called a symmetrizer. For instance, if $  G = S _ {m} $
 +
is the symmetric group on $  m $
 +
letters and $  V = \otimes  ^ {m} W $,  
 +
the $  m $-
 +
th tensor power of a vector space $  W $(
 +
respectively, the vector space of polynomials in $  m $
 +
variables over $  k $),  
 +
then $  G $
 +
acts naturally (by permuting tensor factors, respectively, by permuting the variables) and application of the idempotent $  e $
 +
to a tensor (respectively, a polynomial) gives the corresponding symmetrized tensor (respectively, symmetrized polynomial). Cf. also [[Symmetrization (of tensors)|Symmetrization (of tensors)]].
  
 
For suitable infinite groups symmetrizers are defined using integrals instead of sums.
 
For suitable infinite groups symmetrizers are defined using integrals instead of sums.
  
If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091730/s09173057.png" /> is a subgroup of an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091730/s09173058.png" />, one also considers alternation, i.e. application of the element
+
If $  G $
 +
is a subgroup of an $  S _ {m} $,  
 +
one also considers alternation, i.e. application of the element
 +
 
 +
$$
 +
f  = 
 +
\frac{1}{| G | }
 +
\sum _ {\sigma \in G }  \mathop{\rm sgn} ( \sigma ) \sigma ,
 +
$$
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091730/s09173059.png" /></td> </tr></table>
+
where  $  \mathop{\rm sgn} ( \sigma ) $
 +
is the sign of the permutation  $  \sigma $.  
 +
A [[Young symmetrizer|Young symmetrizer]] is obtained by symmetrizing with respect to a [[Young subgroup|Young subgroup]] followed by alternation (with respect to a different Young subgroup, corresponding to a dual partition).
  
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091730/s09173060.png" /> is the sign of the permutation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091730/s09173061.png" />. A [[Young symmetrizer|Young symmetrizer]] is obtained by symmetrizing with respect to a [[Young subgroup|Young subgroup]] followed by alternation (with respect to a different Young subgroup, corresponding to a dual partition).
+
More generally, if  $  \chi $
 +
is any [[Character of a group|character of a group]] $  G $
 +
acting on  $  V $,
 +
and  $  H $
 +
is a subgroup of  $  G $,
 +
then the symmetrizer defined by $  \chi $
 +
and  $  H $
 +
is
  
More generally, if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091730/s09173062.png" /> is any [[Character of a group|character of a group]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091730/s09173063.png" /> acting on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091730/s09173064.png" />, and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091730/s09173065.png" /> is a subgroup of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091730/s09173066.png" />, then the symmetrizer defined by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091730/s09173067.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091730/s09173068.png" /> is
+
$$
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091730/s09173069.png" /></td> </tr></table>
+
\frac{1}{| H | }
 +
\sum _ {h \in H } \chi ( h) h.
 +
$$
  
The alternator corresponds to the alternating character <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091730/s09173070.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091730/s09173071.png" />.
+
The alternator corresponds to the alternating character $  \sigma \rightarrow  \mathop{\rm sgn} ( \sigma ) $
 +
of $  S _ {m} $.
  
 
====References====
 
====References====
 
<table><TR><TD valign="top">[a1]</TD> <TD valign="top"> C. Bandle, "Isoperimetric inequalities" P.M. Gruber (ed.) J.M. Wills (ed.) , ''Convexity and its applications'' , Birkhäuser (1983) pp. 30–48 {{MR|0731105}} {{ZBL|0519.53037}} </TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top"> H.G. Eggleston, "Convexity" , Cambridge Univ. Press (1963) {{MR|0410561}} {{MR|1530235}} {{MR|1530200}} {{MR|0124813}} {{MR|0125931}} {{ZBL|0331.52003}} {{ZBL|0086.15302}} {{ZBL|0083.38102}} </TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top"> R.V. Benson, "Euclidean geometry and convexity" , McGraw-Hill (1966) pp. Chapt. 6 {{MR|0209949}} {{ZBL|0187.44103}} </TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top"> H. Weyl, "The classical groups" , Princeton Univ. Press (1946) pp. 120 {{MR|1488158}} {{MR|0000255}} {{ZBL|1024.20502}} </TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top"> M. Marcus, "Finite dimensional multilinear algebra" , '''1''' , M. Dekker (1973) pp. 78ff {{MR|0352112}} {{ZBL|0284.15024}} </TD></TR></table>
 
<table><TR><TD valign="top">[a1]</TD> <TD valign="top"> C. Bandle, "Isoperimetric inequalities" P.M. Gruber (ed.) J.M. Wills (ed.) , ''Convexity and its applications'' , Birkhäuser (1983) pp. 30–48 {{MR|0731105}} {{ZBL|0519.53037}} </TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top"> H.G. Eggleston, "Convexity" , Cambridge Univ. Press (1963) {{MR|0410561}} {{MR|1530235}} {{MR|1530200}} {{MR|0124813}} {{MR|0125931}} {{ZBL|0331.52003}} {{ZBL|0086.15302}} {{ZBL|0083.38102}} </TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top"> R.V. Benson, "Euclidean geometry and convexity" , McGraw-Hill (1966) pp. Chapt. 6 {{MR|0209949}} {{ZBL|0187.44103}} </TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top"> H. Weyl, "The classical groups" , Princeton Univ. Press (1946) pp. 120 {{MR|1488158}} {{MR|0000255}} {{ZBL|1024.20502}} </TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top"> M. Marcus, "Finite dimensional multilinear algebra" , '''1''' , M. Dekker (1973) pp. 78ff {{MR|0352112}} {{ZBL|0284.15024}} </TD></TR></table>

Latest revision as of 08:24, 6 June 2020


The association to each object $ F $ of an object $ F ^ { * } $( of the same class) having some symmetry. Usually symmetrization is applied to closed sets $ F $ in a Euclidean space $ E ^ {n} $( or in a space of constant curvature), and also to mappings; moreover, symmetrization is constructed so that $ F ^ { * } $ continuously depends on $ F $. Symmetrization preserves some and monotonely changes other characteristics of an object. Symmetrization is used in geometry, mathematical physics and function theory for the solution of extremal problems. The first symmetrizations were introduced by J. Steiner in 1836 for a proof of an isoperimetric inequality.

Symmetrization relative to a subspace $ E ^ {n - k } $ in $ E ^ {n} $: For each non-empty section of a set $ F $ by a subspace $ E ^ {k} \perp E ^ {n - k } $ one constructs a sphere in $ E ^ {k} $ with centre $ E ^ {k} \cap E ^ {n - k } $ and the same $ k $- dimensional volume as $ F \cap E ^ {k} $; the set $ F ^ { * } $ formed by these spheres is the result of the symmetrization. Symmetrization relative to a subspace preserves volume and convexity, and does not increase the area of the boundary or the integral of the transversal measure (see [2]). For $ k = 1 $ this is Steiner symmetrization, for $ k = n - 1 $ it is Schwarz symmetrization.

Symmetrization relative to a half-space $ H ^ {n - k } $ in $ E ^ {n} $: For each non-empty section of $ F $ by a sphere $ S ^ {k} $ with centre on the boundary $ \partial H ^ {n - k } $ and lying in $ E ^ {k + 1 } \perp H ^ {n - k } $, one constructs a spherical cap $ S ^ {k} \cap D ^ {n} $( where $ D ^ {n} $ is a sphere with centre $ H ^ {n - k } \cap S ^ {k} $) of the same $ k $- dimensional volume as $ F \cap S ^ {k} $; the set $ F ^ { * } $ formed by these caps is the result of the symmetrization. For $ k = n - 1 $ this is spherical symmetrization, if $ n = 2 $ it is circular symmetrization.

Symmetrization by displacement: For a convex set $ F \subset E ^ {n} $ one constructs its symmetrization $ F ^ { \prime } $ relative to a subspace $ E ^ {k} $; the result of the symmetrization is the set $ F ^ { * } = ( F + F ^ { \prime } )/2 $, where addition of sets is taken as the vector sum.

Symmetrization by rolling: For a convex body $ F \subset E ^ {n} $ its support function is averaged over parallel sections of the unit sphere; the result of symmetrization is the body $ F ^ { * } $ recovered from the support function thus obtained.

In $ E ^ {3} $ Steiner symmetrization preserves volume and does not increase surface area, diameter and capacity; Schwarz symmetrization preserves continuity of the Gaussian curvature of the boundary and does not reduce its minimum; symmetrization relative to a half-space does not increase the fundamental frequency of the domain or the area of the boundary; spherical symmetrization does not increase capacity; symmetrization by displacement preserves the integral of the mean curvature of the boundary and does not reduce the area of the latter; symmetrization by rolling preserves width (see [1], [3]).

In $ E ^ {2} $ Steiner symmetrization does not increase the polar moment of inertia, the exterior radius, the capacity or the fundamental frequency; it does not reduce torsional rigidity or the maximal interior conformal radius (see [3]).

In connection with the manifold applications of symmetrization, the question of convergence of symmetrizations has been considered. The definition of the analogues of symmetrization for non-closed sets permits ramification. On the use of symmetrization in function theory see Symmetrization method.

References

[1] W. Blaschke, "Kreis und Kugel" , Chelsea, reprint (1949) MR0076364 Zbl 0041.08802
[2] H. Hadwiger, "Vorlesungen über Inhalt, Oberfläche und Isoperimetrie" , Springer (1957) MR0102775 Zbl 0078.35703
[3] G. Pólya, G. Szegö, "Isoperimetric inequalities in mathematical physics" , Princeton Univ. Press (1951) MR0043486 Zbl 0044.38301
[4] K. Leichtweiss, "Konvexe Mengen" , Springer (1979) MR0586235 MR0559138 Zbl 0442.52001 Zbl 0427.52001

Comments

Quite generally, if $ G $ is a finite group acting on a vector space $ V $ over a field $ k $, and $ v \in V $, then the symmetrized version of $ v $ is the element $ \sum _ {s \in G } sv $( or $ ( 1/ | G | ) \sum _ {s} sv $). The element

$$ e = \frac{1}{| G | } \sum _ { s } s \in k[ G] $$

is called a symmetrizer. For instance, if $ G = S _ {m} $ is the symmetric group on $ m $ letters and $ V = \otimes ^ {m} W $, the $ m $- th tensor power of a vector space $ W $( respectively, the vector space of polynomials in $ m $ variables over $ k $), then $ G $ acts naturally (by permuting tensor factors, respectively, by permuting the variables) and application of the idempotent $ e $ to a tensor (respectively, a polynomial) gives the corresponding symmetrized tensor (respectively, symmetrized polynomial). Cf. also Symmetrization (of tensors).

For suitable infinite groups symmetrizers are defined using integrals instead of sums.

If $ G $ is a subgroup of an $ S _ {m} $, one also considers alternation, i.e. application of the element

$$ f = \frac{1}{| G | } \sum _ {\sigma \in G } \mathop{\rm sgn} ( \sigma ) \sigma , $$

where $ \mathop{\rm sgn} ( \sigma ) $ is the sign of the permutation $ \sigma $. A Young symmetrizer is obtained by symmetrizing with respect to a Young subgroup followed by alternation (with respect to a different Young subgroup, corresponding to a dual partition).

More generally, if $ \chi $ is any character of a group $ G $ acting on $ V $, and $ H $ is a subgroup of $ G $, then the symmetrizer defined by $ \chi $ and $ H $ is

$$ \frac{1}{| H | } \sum _ {h \in H } \chi ( h) h. $$

The alternator corresponds to the alternating character $ \sigma \rightarrow \mathop{\rm sgn} ( \sigma ) $ of $ S _ {m} $.

References

[a1] C. Bandle, "Isoperimetric inequalities" P.M. Gruber (ed.) J.M. Wills (ed.) , Convexity and its applications , Birkhäuser (1983) pp. 30–48 MR0731105 Zbl 0519.53037
[a2] H.G. Eggleston, "Convexity" , Cambridge Univ. Press (1963) MR0410561 MR1530235 MR1530200 MR0124813 MR0125931 Zbl 0331.52003 Zbl 0086.15302 Zbl 0083.38102
[a3] R.V. Benson, "Euclidean geometry and convexity" , McGraw-Hill (1966) pp. Chapt. 6 MR0209949 Zbl 0187.44103
[a4] H. Weyl, "The classical groups" , Princeton Univ. Press (1946) pp. 120 MR1488158 MR0000255 Zbl 1024.20502
[a5] M. Marcus, "Finite dimensional multilinear algebra" , 1 , M. Dekker (1973) pp. 78ff MR0352112 Zbl 0284.15024
How to Cite This Entry:
Symmetrization. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Symmetrization&oldid=24169
This article was adapted from an original article by S.L. Pecherskii (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article