Medida del comportamiento de oscilación local.
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 valor real f , definida en un intervalo [ a , b ] ⊂ R , su variación total en el intervalo de definición es una medida de la longitud del 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 historica
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ó el 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 varias razones.
Definiciones
Variación total para funciones de una variable real
Definición 1.1. La variación total de una función de valor real (o más generalmente de valor complejo ) , definida en un intervalo , es la cantidad
donde el supremo recorre el conjunto de todas las particiones del 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
Esta definición no requiere que el dominio de la función dada sea un conjunto acotado .
Variación total en la teoría de la medida.
Definición clásica de variación total
Siguiendo a Saks (1937, p. 10), considere una medida con signo en un espacio mensurable : entonces es posible definir dos funciones de conjunto , llamadas 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 establecida
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 no positiva . Usando una notación más moderna, defina
Entonces y son dos medidas no negativas tales que
El último compás a veces se denomina, por abuso de notación , medida de variación total .
Norma de variación total de medidas complejas.
Si la medida tiene valores complejos, es decir, es una medida compleja , su variación superior e inferior no se puede 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, págs. 137-139) y definir la variación total de la medida de valores complejos de la siguiente manera
Definición 1.4. La variación de la medida de valores complejos es la función establecida.
donde el supremo se toma sobre todas las particiones de un conjunto medible en un número contable de subconjuntos mensurables disjuntos.
Esta definición coincide con la definición anterior para el caso de medidas firmadas de valor real.
Norma de variación total de medidas valoradas por vectores
La variación así definida es una medida positiva (ver 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 arriba. Esta definición también funciona si es una medida vectorial : la variación se define mediante la siguiente fórmula
donde el supremo es como arriba. Esta definición es ligeramente más general que la dada por Rudin (1966, p. 138) ya que sólo requiere considerar particiones finitas del espacio : esto implica que también puede usarse para definir la variación total en medidas aditivas finitas .
Variación total de medidas de probabilidad.
La variación total de cualquier medida de probabilidad es exactamente uno, por lo que 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 como donde la norma es la norma de variación total de las medidas con signo. Usando la propiedad que , eventualmente llegamos a la definición equivalente
y sus valores no son triviales. El factor anterior generalmente se omite (como es la convención en el artículo distancia de variación total de las medidas de probabilidad ). Informalmente, esta es la diferencia más grande 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 se puede normalizar a valores de dividiendo a la mitad la definición anterior de la siguiente manera
- [3]
Propiedades básicas
Variación total de funciones diferenciables.
La variación total de una función se puede expresar 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 , definida en un intervalo , tiene la siguiente expresión si es integrable de Riemann
Si es diferenciable y monótono , entonces lo anterior se simplifica a
Para cualquier función diferenciable , podemos descomponer el intervalo de dominio en subintervalos (con ) en los cuales es localmente monótono, luego la variación total de over se puede escribir como la suma de las variaciones locales en esos subintervalos:
La forma de la variación total de una función diferenciable de varias variables.
Teorema 2. Dada una función definida en un conjunto abierto acotado , con de clase , la variación total de tiene la siguiente expresión
- .
Prueba
El primer paso en la demostración es demostrar primero una igualdad que se deriva del teorema de Gauss-Ostrogradsky .
Lema
Bajo las condiciones del teorema, se cumple la siguiente igualdad:
Prueba del lema
Del teorema de Gauss-Ostrogradsky :
sustituyendo tenemos:
donde es cero en el borde de por definición:
Prueba de la igualdad
Bajo las condiciones del teorema, del lema tenemos:
en la última parte podría omitirse, porque por definición su supremo esencial es como mucho uno.
Por otro lado, consideramos y cuál es la aproximación hasta de in con la misma integral. Podemos hacer esto ya que es denso . Ahora nuevamente sustituyendo en el lema:
Esto significa que tenemos una secuencia convergente de que tiende a tan bien como la conocemos . QED
Se puede ver en la prueba que el supremo se alcanza cuando
Se dice que una función es de variación acotada 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 una σ-álgebra de conjuntos es un espacio de Banach , llamado espacio ca , relativo a esta norma. Está contenido en el espacio de Banach más grande, llamado espacio ba , que consta de medidas finitamente aditivas (a diferencia de las contablemente 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 μ , define una función por
Entonces, la variación total de la medida con signo μ es igual a la variación total, en el sentido anterior, de la función . En general, la variación total de una medida firmada se puede definir utilizando el teorema de descomposición de Jordan por
para cualquier medida con signo μ en un espacio mensurable .
Aplicaciones
La variación total puede verse como una función de valor real no negativa definida en el espacio de funciones de valor real (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 varias 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 determinado problema tiene que minimizar su valor. Como ejemplo, el uso de la variación funcional total es común en los siguientes dos tipos de problemas
- 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 : 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 o detección de datos . " Eliminación de ruido de variación total " es el nombre de la aplicación de variación total a la reducción de ruido de la imagen; 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 Color TV, se puede encontrar en (Blomgren y Chan 1998).
Ver también
Notas
- ^ Según Golubov y Vitushkin (2001).
- ^ Ambrosio, Luigi; Fusco, Nicola; Pallará, Diego (2000). Funciones de variación acotada y problemas de discontinuidad libre. Prensa de la Universidad de Oxford. pag. 119.ISBN 9780198502456.
- ^ Gibbs, Alison; Francis Edward Su (2002). "Sobre la elección y delimitación de métricas de probabilidad" (PDF) . pag. 7 . Consultado el 8 de abril de 2017 .
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 Bologna , Nuova serie (en italiano) , IX (4): 100–107, JFM 36.0491.02, archivado desde el original el 7 de agosto de 2007..
- 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 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 Vitali", 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 ). Este es, según Boris Golubov, 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 el 31 de marzo de 2009. El artículo que contiene la primera demostración del teorema de cobertura 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, SEÑOR 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 , SEÑOR 1556778, Zbl 0014.29605. Disponible en Numdam.
- Leoni, Giovanni (2017), Un primer curso en espacios de Sobolev: segunda edición , estudios de posgrado en matemáticas, Sociedad Matemática Estadounidense, págs. 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 de Ciencias de Polonia). Traducción al inglés del original francés de Laurence Chisholm Young , con dos notas adicionales de Stefan Banach .
- Rudin, Walter (1966), Análisis real y complejo , McGraw-Hill Series in Higher Mathematics (1.ª ed.), Nueva York: McGraw-Hill, págs. xi+412, MR 0210528, Zbl 0142.01701.
enlaces externos
una variable
Una y 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". MundoMatemático ..
- 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 discontinuo de soluciones del problema de eliminación de ruido de TV y algunas extensiones, SIAM , Modelado y simulación multiescala, vol. 6 n. 3, archivado desde el original el 27 de septiembre de 2011.(un trabajo que trata sobre la aplicación de variación total en problemas de eliminación de ruido para el procesamiento de imágenes ).
- Rudin, Leónidas I.; Osher, Stanley; Fatemi, Emad (1992), "Algoritmos de eliminación de ruido basados en variación total no lineal", Physica D: Fenómenos no lineales , 60 (1–4), Physica D: Fenómenos no lineales 60.1: 259-268: 259–268, Bibcode : 1992PhyD.. .60..259R, doi :10.1016/0167-2789(92)90242-F.
- Blomgren, Peter; Chan, Tony F. (1998), "TV en color: métodos de variación total para la restauración de imágenes con valores vectoriales", IEEE Transactions on Image Processing , 7 (3), Image Processing, IEEE Transactions on, vol. 7, núm. 3: 304-309: 304, Código Bib : 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, PDE, wavelets y estocásticos, SIAM , ISBN 0-89871-589-X (con cobertura en profundidad y amplias aplicaciones de Total Variaciones en el procesamiento de imágenes moderno, iniciadas por Rudin, Osher y Fatemi).