En matemáticas , la variación total identifica varios conceptos ligeramente diferentes, relacionados con la estructura ( local o global) del codominio de una función o una medida . Para una función continua de valores reales f , definida en un intervalo [ a , b ] ⊂ R , su variación total en el intervalo de definición es una medida de la longitud de arco unidimensional de la curva con ecuación paramétrica x ↦ f ( x ), para x ∈ [ a , b ]. Las funciones cuya variación total es finita se denominan funciones de variación acotada .
Nota histórica
El concepto de variación total para funciones de una variable real fue introducido por primera vez por Camille Jordan en el artículo ( Jordan 1881 ) . [ 1 ] Utilizó este nuevo concepto para demostrar un teorema de convergencia para series de Fourier de funciones periódicas discontinuas cuya variación está acotada . Sin embargo, la extensión del concepto a funciones de más de una variable no es sencilla por diversas razones.
Definiciones
Variación total para funciones de una variable real
Definición 1.1. La variación total de una función de valores reales (o, más generalmente, de valores complejos ), definido en un intervaloes la cantidad
donde el supremo recorre el conjunto de todas las particionesdel intervalo dado . Lo que significa que.
Variación total para funciones de n > 1 variables reales
Definición 1.2. [ 2 ] Sea Ω un subconjunto abierto de R n . Dada una función f perteneciente a L 1 ( Ω ), la variación total de f en Ω se define como
dónde
- es el conjunto de funciones vectoriales continuamente diferenciables de soporte compacto contenidas en,
- es la norma suprema esencial , y
- es el operador de divergencia .
Esta definición no requiere que el dominioSea un conjunto acotado de la función dada .
Variación total en la teoría de la medida
Definición clásica de variación total
Siguiendo a Saks (1937 , p. 10) , consideremos una medida con signo. en un espacio mensurable: entonces es posible definir dos funciones de conjuntoy, denominadas respectivamente variación superior y variación inferior , de la siguiente manera:
claramente
Definición 1.3. La variación (también llamada variación absoluta ) de la medida con signo.es la función de conjunto
y su variación total se define como el valor de esta medida en todo el espacio de definición, es decir
Definición moderna de norma de variación total
Saks (1937 , p. 11) utiliza variaciones superior e inferior para demostrar la descomposición de Hahn - Jordan : según su versión de este teorema, la variación superior e inferior son, respectivamente, una medida no negativa y una medida no positiva . Utilizando una notación más moderna, definimos
Entoncesyson dos medidas no negativas tales que
La última medida a veces se denomina, por abuso de notación , medida de variación total .
Norma de variación total de medidas complejas
Si la medidaes una medida de valor complejo, es decir, es una medida compleja , su variación superior e inferior no se pueden definir y el teorema de descomposición de Hahn - Jordan solo se puede aplicar a sus partes real e imaginaria. Sin embargo, es posible seguir a Rudin (1966 , pp. 137-139) y definir la variación total de la medida de valor complejo. como sigue
Definición 1.4. La variación de la medida de valor complejoes la función de conjunto
donde el supremo se toma sobre todas las particionesde un conjunto mensurableen un número contable de subconjuntos medibles disjuntos.
Esta definición coincide con la definición anterior.para el caso de medidas con signo de valor real.
Norma de variación total de medidas con valores vectoriales
La variación así definida es una medida positiva (véase Rudin (1966 , p. 139) ) y coincide con la definida por 1.3 cuando es una medida con signo : su variación total se define como se indicó anteriormente. Esta definición también funciona sies una medida vectorial : la variación se define entonces mediante la siguiente fórmula.
donde el supremo es como se indicó anteriormente. Esta definición es ligeramente más general que la dada por Rudin (1966 , p. 138), ya que solo requiere considerar particiones finitas del espacio. : esto implica que también puede utilizarse para definir la variación total en medidas finito-aditivas .
Variación total de las medidas de probabilidad
La variación total de cualquier medida de probabilidad es exactamente uno, por lo tanto, no es interesante como medio para investigar las propiedades de dichas medidas. Sin embargo, cuando μ y ν son medidas de probabilidad , la distancia de variación total de las medidas de probabilidad se puede definir comodonde la norma es la norma de variación total de medidas con signo. Utilizando la propiedad de que, finalmente llegamos a la definición equivalente
y sus valores no son triviales. El factorLo anterior generalmente se omite (como es la convención en el artículo distancia de variación total de medidas de probabilidad ). De manera informal, esta es la mayor diferencia posible entre las probabilidades que las dos distribuciones de probabilidad pueden asignar al mismo evento. Para una distribución categórica , es posible escribir la distancia de variación total de la siguiente manera:
También puede normalizarse a valores en dividiendo por la mitad la definición anterior de la siguiente manera:
Propiedades básicas
Variación total de funciones diferenciables
La variación total de un funciónpuede expresarse como una integral que involucra la función dada en lugar de como el supremo de los funcionales de las definiciones 1.1 y 1.2 .
La forma de la variación total de una función diferenciable de una variable.
Teorema 1. La variación total de una función diferenciable, definido en un intervalo, tiene la siguiente expresión sies integrable de Riemann
Sies diferenciable y monótona , entonces lo anterior se simplifica a
Para cualquier función diferenciable, podemos descomponer el intervalo del dominio, en subintervalos(con) en el cuales localmente monótono, entonces la variación total deencimase puede escribir como la suma de variaciones locales en esos subintervalos:
La forma de la variación total de una función diferenciable de varias variables.
Teorema 2. Dado unfuncióndefinido en un conjunto abierto acotado, conde clase, la variación total detiene la siguiente expresión
- .
Prueba
El primer paso de la demostración consiste en probar primero una igualdad que se deduce del teorema de Gauss-Ostrogradsky .
Lema
Bajo las condiciones del teorema, se cumple la siguiente igualdad:
Demostración del lema
Del teorema de Gauss-Ostrogradsky :
sustituyendo :=f\mathbf {\varphi } } , tenemos:
dóndees cero en el límite depor definición:
Prueba de la igualdad
Bajo las condiciones del teorema, del lema tenemos:
en la última partepodría omitirse, porque por definición su supremo esencial es como máximo uno.
Por otro lado, consideramosyque depende deaproximación deencon la misma integral. Podemos hacer esto ya quees denso en. Ahora, sustituyendo de nuevo en el lema:
Esto significa que tenemos una secuencia convergente deque tiende acomo bien sabemos queQED
Se puede ver en la prueba que el supremo se alcanza cuando
La funciónSe dice que tiene variación limitada precisamente si su variación total es finita.
Variación total de una medida
La variación total es una norma definida en el espacio de medidas de variación acotada. El espacio de medidas en un σ-álgebra de conjuntos es un espacio de Banach , denominado espacio ca , con respecto a esta norma. Está contenido en el espacio de Banach más amplio, denominado espacio ba , que consta de medidas finitamente aditivas (a diferencia de las numerablemente aditivas), también con la misma norma. La función de distancia asociada a la norma da lugar a la distancia de variación total entre dos medidas μ y ν .
Para medidas finitas en R , el vínculo entre la variación total de una medida μ y la variación total de una función, como se describió anteriormente, es el siguiente. Dado μ , definimos una funciónpor
Entonces, la variación total de la medida con signo μ es igual a la variación total, en el sentido anterior, de la funciónEn general, la variación total de una medida con signo se puede definir utilizando el teorema de descomposición de Jordan mediante
para cualquier medida con signo μ en un espacio medible.
Aplicaciones
La variación total puede considerarse como un funcional real no negativo definido en el espacio de funciones reales (para el caso de funciones de una variable) o en el espacio de funciones integrables (para el caso de funciones de varias variables). Como funcional, la variación total encuentra aplicaciones en diversas ramas de las matemáticas y la ingeniería, como el control óptimo , el análisis numérico y el cálculo de variaciones , donde la solución a un problema determinado debe minimizar su valor. Por ejemplo, el uso del funcional de variación total es común en los dos tipos de problemas siguientes.
- Análisis numérico de ecuaciones diferenciales : es la ciencia de encontrar soluciones aproximadas a ecuaciones diferenciales . Las aplicaciones de la variación total a estos problemas se detallan en el artículo " Variación total decreciente ".
- Eliminación de ruido de imágenes : [ 6 ] En el procesamiento de imágenes , la eliminación de ruido es un conjunto de métodos utilizados para reducir el ruido en una imagen reconstruida a partir de datos obtenidos por medios electrónicos, por ejemplo, transmisión de datos o detección . " Eliminación de ruido por variación total " es el nombre para la aplicación de la variación total a la reducción de ruido de imágenes; se pueden encontrar más detalles en los artículos de ( Rudin, Osher y Fatemi 1992 ) y ( Caselles, Chambolle y Novaga 2007 ) . Una extensión sensata de este modelo a imágenes en color, llamada Colour TV, se puede encontrar en ( Blomgren y Chan 1998 ) .
Véase también
Notas
- ↑ Según Golubov y Vitushkin (2001) .
- ↑ Ambrosio, Luigi; Fusco, Nicola; Pallara, Diego (2000). Functions of Bounded Variation and Free Discontinuity Problems . Oxford University Press. p. 119. doi : 10.1093/oso/9780198502456.001.0001 . ISBN 9780198502456.
- ↑ Billingsley, Patrick (1995). Probabilidad y medida . John Wiley & Sons. págs. 242–243 .
- ↑ Le Cam, Lucien; Yang, Grace Lo (2000). Asintótica en estadística: algunos conceptos básicos . Springer. págs. 16–18 .
- ↑ Gibbs, Alison ; Francis Edward Su (2002). "Sobre la elección y delimitación de métricas de probabilidad" (PDF) . pág. 7. Recuperado el 8 de abril de 2017 .
- ↑ https://arxiv.org/pdf/1603.09599 Consultado el 15/12/2024
Referencias históricas
- Arzelà, Cesare (7 de mayo de 1905), "Sulle funzioni di due variabili a variazione limitata (Sobre funciones de dos variables de variación acotada)" , Rediconto delle Sessioni della Reale Accademia delle Scienze dell'Istituto di Bolonia , Nuova serie (en italiano), IX (4): 100– 107, JFM 36.0491.02 , archivado desde el original el 2007-08-07 .
- Golubov, Boris I. (2001) [1994], "Variación de Arzelà" , Enciclopedia de Matemáticas , EMS Press.
- Golubov, Boris I. (2001) [1994], "Variación de Fréchet" , Enciclopedia de Matemáticas , EMS Press.
- Golubov, Boris I. (2001) [1994], "Variación de Hardy" , Enciclopedia de Matemáticas , EMS Press.
- Golubov, Boris I. (2001) [1994], "Variación de Pierpont" , Enciclopedia de Matemáticas , EMS Press.
- Golubov, Boris I. (2001) [1994], "Variación vital" , Enciclopedia de Matemáticas , EMS Press.
- Golubov, Boris I. (2001) [1994], "Variación del plano de Tonelli" , Enciclopedia de Matemáticas , EMS Press.
- Golubov, Boris I.; Vitushkin, Anatoli G. (2001) [1994], "Variación de una función" , Enciclopedia de Matemáticas , EMS Press
- Jordan, Camille (1881), "Sur la série de Fourier" , Comptes rendus hebdomadaires des séances de l'Académie des sciences (en francés), 92 : 228– 230, JFM 13.0184.01 (Disponible en Gallica ). Según Boris Golubov, este es el primer artículo sobre funciones de variación acotada.
- Hahn, Hans (1921), Theorie der reellen Funktionen (en alemán), Berlín: Springer Verlag, págs. VII+600, JFM 48.0261.09 .
- Vitali, Giuseppe (1908) [17 de diciembre de 1907], "Sui gruppi di punti e sulle funzioni di variabili reali (Sobre grupos de puntos y funciones de variables reales)" , Atti dell'Accademia delle Scienze di Torino (en italiano), 43 : 75– 92, JFM 39.0101.05 , archivado desde el original en 2009-03-31 . El artículo que contiene la primera demostración del teorema de recubrimiento de Vitali .
Referencias
- Adams, C. Raymond; Clarkson, James A. (1933), "Sobre las definiciones de variación acotada para funciones de dos variables", Transactions of the American Mathematical Society , 35 (4): 824– 854, doi : 10.1090/S0002-9947-1933-1501718-2 , JFM 59.0285.01 , MR 1501718 , Zbl 0008.00602 .
- Cesari, Lamberto (1936), "Sulle funzioni a variazione limitata (Sobre las funciones de variación acotada)" , Annali della Scuola Normale Superiore , II (en italiano), 5 ( 3– 4): 299– 313, JFM 62.0247.03 , MR 1556778 , Zbl 0014.29605 Disponible en Numdam .
- Leoni, Giovanni (2017), Un primer curso sobre espacios de Sobolev: Segunda edición , Estudios de posgrado en matemáticas, Sociedad Matemática Americana, pp. xxii+734, ISBN 978-1-4704-2921-8.
- Saks, Stanisław (1937). Teoría de la Integral . Monografía Matematyczne. vol. 7 (2ª ed.). Warszawa-Lwów: GE Stechert & Co. págs. VI+347. JFM 63.0183.05 . Zbl 0017.30004 . (Disponible en la Biblioteca Virtual Polaca de Ciencias ). Traducción al inglés del original francés realizada por Laurence Chisholm Young , con dos notas adicionales de Stefan Banach .
- Rudin, Walter (1966), Análisis real y complejo , Serie McGraw-Hill en matemáticas superiores (1.ª ed.), Nueva York: McGraw-Hill, págs. xi+412, MR 0210528 , Zbl 0142.01701 .
Enlaces externos
Una variable
- " Variación total en PlanetMath .
Una o más variables
- Función de variación acotada en la Enciclopedia de Matemáticas
teoría de la medida
- Rowland, Todd. "Variación total" . MathWorld ..
- Descomposición de Jordan en PlanetMath . .
- Descomposición de Jordan en la Enciclopedia de Matemáticas
Aplicaciones
- Caselles, Vicent; Chambolle, Antonin; Novaga, Matteo (2007), El conjunto de discontinuidad de soluciones del problema de eliminación de ruido en TV y algunas extensiones , SIAM , Multiscale Modeling and Simulation, vol. 6 n.º 3, archivado del original el 27 de septiembre de 2011.(un trabajo que trata sobre la aplicación de la variación total en problemas de eliminación de ruido para el procesamiento de imágenes ).
- Rudin, Leonid I.; Osher, Stanley; Fatemi, Emad (1992), "Algoritmos de eliminación de ruido basados en la variación total no lineal", Physica D: Nonlinear Phenomena , 60 ( 1–4 ), Physica D: Nonlinear Phenomena 60.1: 259-268: 259–268 , Bibcode : 1992PhyD...60..259R , doi : 10.1016/0167-2789(92)90242-F.
- Blomgren, Peter; Chan, Tony F. (1998), "Color TV: métodos de variación total para la restauración de imágenes vectoriales", IEEE Transactions on Image Processing , 7 (3), Procesamiento de imágenes, IEEE Transactions on, vol. 7, n.º 3: 304-309: 304–309 , Bibcode : 1998ITIP....7..304B , doi : 10.1109/83.661180 , PMID 18276250 .
- Tony F. Chan y Jackie (Jianhong) Shen (2005), Procesamiento y análisis de imágenes: métodos variacionales, de ecuaciones diferenciales parciales, de ondículas y estocásticos , SIAM , ISBN 0-89871-589-X(con una cobertura exhaustiva y amplias aplicaciones de las Variaciones Totales en el procesamiento moderno de imágenes, tal como lo iniciaron Rudin, Osher y Fatemi).
- Análisis matemático