|
|
| Line 1: |
Line 1: |
| − | One of the numerical characteristics of a function of several variables that can be regarded as a multi-dimensional analogue of the [[Variation of a function|variation of a function]] of a single variable. Suppose that a real-valued function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041400/f0414001.png" /> is given on the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041400/f0414002.png" />-dimensional parallelopipedon
| + | #REDIRECT[[Vitali variation]] |
| − | | |
| − | <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/f/f041/f041400/f0414003.png" /></td> </tr></table>
| |
| − | | |
| − | and introduce the notation
| |
| − | | |
| − | <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/f/f041/f041400/f0414004.png" /></td> </tr></table>
| |
| − | | |
| − | <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/f/f041/f041400/f0414005.png" /></td> </tr></table>
| |
| − | | |
| − | <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/f/f041/f041400/f0414006.png" /></td> </tr></table>
| |
| − | | |
| − | Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041400/f0414007.png" /> be an arbitrary partition of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041400/f0414008.png" /> by hyperplanes
| |
| − | | |
| − | <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/f/f041/f041400/f0414009.png" /></td> </tr></table>
| |
| − | | |
| − | <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/f/f041/f041400/f04140010.png" /></td> </tr></table>
| |
| − | | |
| − | <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/f/f041/f041400/f04140011.png" /></td> </tr></table>
| |
| − | | |
| − | into <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041400/f04140012.png" />-dimensional parallelopipeda, and let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041400/f04140013.png" /> take the values <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041400/f04140014.png" /> in an arbitrary way. The Fréchet variation is defined as follows:
| |
| − | | |
| − | <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/f/f041/f041400/f04140015.png" /></td> </tr></table>
| |
| − | | |
| − | <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/f/f041/f041400/f04140016.png" /></td> </tr></table>
| |
| − | | |
| − | <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/f/f041/f041400/f04140017.png" /></td> </tr></table>
| |
| − | | |
| − | If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041400/f04140018.png" />, then one says that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041400/f04140019.png" /> has bounded (finite) Fréchet variation on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041400/f04140020.png" />, and the class of all such functions is denoted by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041400/f04140021.png" />. For <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041400/f04140022.png" />, this class was introduced by M. Fréchet [[#References|[1]]] in connection with the investigation of the general form of a bilinear continuous functional <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041400/f04140023.png" /> on the space of functions of the form <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041400/f04140024.png" /> that are continuous on the square <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041400/f04140025.png" />. He proved that every such functional can be represented in the form
| |
| − | | |
| − | <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/f/f041/f041400/f04140026.png" /></td> </tr></table>
| |
| − | | |
| − | where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041400/f04140027.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041400/f04140028.png" />.
| |
| − | | |
| − | Analogues of many of the classical criteria for the convergence of Fourier series are valid for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041400/f04140029.png" />-periodic functions in the class <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041400/f04140030.png" /> (<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041400/f04140031.png" />, see [[#References|[2]]]). For example, if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041400/f04140032.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041400/f04140033.png" /> then the rectangular partial sums of the Fourier series of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041400/f04140034.png" /> converge at every point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041400/f04140035.png" /> to the number
| |
| − | | |
| − | <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/f/f041/f041400/f04140036.png" /></td> </tr></table>
| |
| − | | |
| − | where the summation is taken over all the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041400/f04140037.png" /> possible combinations of the signs <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041400/f04140038.png" />. Here, if the function is continuous, the convergence is uniform (an analogue of the Jordan criterion).
| |