Variación limitada

Función real con variación total finita

En análisis matemático , una función de variación acotada , también conocida como función BV , es una función de valor real cuya variación total es acotada (finita): el gráfico de una función que tiene esta propiedad se comporta bien en un sentido preciso. Para una función continua de una sola variable , ser de variación acotada significa que la distancia a lo largo de la dirección del eje y , despreciando la contribución del movimiento a lo largo del eje x , recorrida por un punto que se mueve a lo largo del gráfico tiene un valor finito. Para una función continua de varias variables, el significado de la definición es el mismo, excepto por el hecho de que el camino continuo a considerar no puede ser todo el gráfico de la función dada (que es una hipersuperficie en este caso), sino que puede ser cada intersección del propio gráfico con un hiperplano (en el caso de funciones de dos variables, un plano ) paralelo a un eje x fijo y al eje y .

Las funciones de variación acotada son precisamente aquellas con respecto a las cuales se pueden encontrar integrales de Riemann-Stieltjes de todas las funciones continuas.

Otra caracterización establece que las funciones de variación acotada en un intervalo compacto son exactamente aquellas f que pueden escribirse como una diferencia g  −  h , donde tanto g como h son monótonas acotadas . En particular, una función BV puede tener discontinuidades, pero como máximo un número contable.

En el caso de varias variables, se dice que una función f definida en un subconjunto abierto Ω de tiene variación acotada si su derivada distribucional es una medida de Radon finita con valor vectorial . ${\displaystyle \mathbb {R} ^{n}}$

Uno de los aspectos más importantes de las funciones de variación acotada es que forman un álgebra de funciones discontinuas cuya primera derivada existe casi en todas partes : debido a este hecho, pueden y frecuentemente se utilizan para definir soluciones generalizadas de problemas no lineales que involucran funcionales , ecuaciones diferenciales ordinarias y parciales en matemáticas , física e ingeniería .

Tenemos las siguientes cadenas de inclusiones para funciones continuas sobre un intervalo cerrado y acotado de la recta real:

Continuamente diferenciable ⊆ Lipschitz continua ⊆ absolutamente continua ⊆ variación continua y acotada ⊆ diferenciable casi en todas partes

Historia

Según Boris Golubov, las funciones BV de una sola variable fueron introducidas por primera vez por Camille Jordan , en el artículo (Jordan 1881) que trata sobre la convergencia de las series de Fourier . El primer paso exitoso en la generalización de este concepto a funciones de varias variables se debió a Leonida Tonelli , ^[1] quien introdujo una clase de funciones BV continuas en 1926 (Cesari 1986, pp. 47-48), para extender su método directo para encontrar soluciones a problemas en el cálculo de variaciones en más de una variable. Diez años después, en (Cesari 1936), Lamberto Cesari cambió el requisito de continuidad en la definición de Tonelli a un requisito de integrabilidad menos restrictivo , obteniendo por primera vez la clase de funciones de variación acotada de varias variables en su generalidad completa: como lo hizo Jordan antes que él, aplicó el concepto para resolver un problema relacionado con la convergencia de series de Fourier, pero para funciones de dos variables . Después de él, varios autores aplicaron funciones BV para estudiar series de Fourier en varias variables, teoría de la medida geométrica , cálculo de variaciones y física matemática . Renato Caccioppoli y Ennio De Giorgi las usaron para definir la medida de los límites no suaves de conjuntos (ver la entrada " Conjunto de Caccioppoli " para mayor información). Olga Arsenievna Oleinik introdujo su visión de soluciones generalizadas para ecuaciones diferenciales parciales no lineales como funciones del espacio BV en el artículo (Oleinik 1957), y fue capaz de construir una solución generalizada de variación acotada de una ecuación diferencial parcial de primer orden en el artículo (Oleinik 1959): pocos años después, Edward D. Conway y Joel A. Smoller aplicaron funciones BV al estudio de una única ecuación diferencial parcial hiperbólica no lineal de primer orden en el artículo (Conway & Smoller 1966), demostrando que la solución del problema de Cauchy para tales ecuaciones es una función de variación acotada, siempre que el valor inicial pertenezca a la misma clase. Aizik Isaakovich VolpertDesarrolló extensamente un cálculo para funciones BV: en el artículo (Vol'pert 1967) demostró la regla de la cadena para funciones BV y en el libro (Hudjaev & Vol'pert 1985) él, junto con su alumno Sergei Ivanovich Hudjaev, exploró extensamente las propiedades de las funciones BV y su aplicación. Su fórmula de regla de la cadena fue posteriormente ampliada por Luigi Ambrosio y Gianni Dal Maso en el artículo (Ambrosio & Dal Maso 1990).

Definición formal

Funciones BV de una variable

Definición 1.1. La variación total de una función f de valor real (o más generalmente de valor complejo ) , definida en un intervalo, es la cantidad ${\displaystyle [a,b]\subset \mathbb {R} }$

${\displaystyle V_{a}^{b}(f)=\sup _{P\in {\mathcal {P}}}\sum _{i=0}^{n_{P}-1}|f(x_{i+1})-f(x_{i})|.\,}$

donde el supremo se toma sobre el conjunto de todas las particiones del intervalo considerado. ${\textstyle {\mathcal {P}}=\left\{P=\{x_{0},\dots ,x_{n_{P}}\}\mid P{\text{ is a partition of }}[a,b]{\text{ satisfying }}x_{i}\leq x_{i+1}{\text{ for }}0\leq i\leq n_{P}-1\right\}}$

Si f es diferenciable y su derivada es Riemann-integrable, su variación total es el componente vertical de la longitud de arco de su gráfica, es decir,

${\displaystyle V_{a}^{b}(f)=\int _{a}^{b}|f'(x)|\,\mathrm {d} x.}$

Definición 1.2. Se dice que una función de valor real en la recta real es de variación acotada ( función BV ) en un intervalo elegido si su variación total es finita, es decir ${\displaystyle f}$ ${\displaystyle [a,b]\subset \mathbb {R} }$

${\displaystyle f\in \operatorname {BV} ([a,b])\iff V_{a}^{b}(f)<+\infty }$

Se puede demostrar que una función real es de variación acotada en si y sólo si puede escribirse como la diferencia de dos funciones no decrecientes y en : este resultado se conoce como la descomposición de Jordan de una función y está relacionado con la descomposición de Jordan de una medida . ${\displaystyle f}$ ${\displaystyle [a,b]}$ ${\displaystyle f=f_{1}-f_{2}}$ ${\displaystyle f_{1}}$ ${\displaystyle f_{2}}$ ${\displaystyle [a,b]}$

A través de la integral de Stieltjes , cualquier función de variación acotada en un intervalo cerrado define un funcional lineal acotado en . En este caso especial, ^[2] el teorema de representación de Riesz–Markov–Kakutani establece que todo funcional lineal acotado surge únicamente de esta manera. Los funcionales positivos normalizados o medidas de probabilidad corresponden a funciones semicontinuas inferiores no decrecientes positivas . Este punto de vista ha sido importante en la teoría espectral , ^[3] en particular en su aplicación a ecuaciones diferenciales ordinarias . ${\displaystyle [a,b]}$ ${\displaystyle C([a,b])}$

Funciones BV de varias variables

Las funciones de variación acotada, funciones BV , son funciones cuya derivada distribucional es una medida finita ^[4] de Radon . Más precisamente:

Definición 2.1. Sea un subconjunto abierto de . Se dice que una función perteneciente a tiene variación acotada ( función BV ) y se escribe ${\displaystyle \Omega }$ ${\displaystyle \mathbb {R} ^{n}}$ ${\displaystyle u}$ ${\displaystyle L^{1}(\Omega )}$

${\displaystyle u\in \operatorname {\operatorname {BV} } (\Omega )}$

si existe una medida de Radon vectorial finita tal que se cumple la siguiente igualdad ${\displaystyle Du\in {\mathcal {M}}(\Omega ,\mathbb {R} ^{n})}$

${\displaystyle \int _{\Omega }u(x)\operatorname {div} {\boldsymbol {\phi }}(x)\,\mathrm {d} x=-\int _{\Omega }\langle {\boldsymbol {\phi }},Du(x)\rangle \qquad \forall {\boldsymbol {\phi }}\in C_{c}^{1}(\Omega ,\mathbb {R} ^{n})}$

es decir, define una funcional lineal sobre el espacio de funciones vectoriales continuamente diferenciables de soporte compacto contenido en : la medida vectorial representa por tanto el gradiente distribucional o débil de . ${\displaystyle u}$ ${\displaystyle C_{c}^{1}(\Omega ,\mathbb {R} ^{n})}$ ${\displaystyle {\boldsymbol {\phi }}}$ ${\displaystyle \Omega }$ ${\displaystyle Du}$ ${\displaystyle u}$

BV se puede definir de forma equivalente de la siguiente manera.

Definición 2.2. Dada una función perteneciente a , la variación total de ^[5] en se define como ${\displaystyle u}$ ${\displaystyle L^{1}(\Omega )}$ ${\displaystyle u}$ ${\displaystyle \Omega }$

${\displaystyle V(u,\Omega ):=\sup \left\{\int _{\Omega }u(x)\operatorname {div} {\boldsymbol {\phi }}(x)\,\mathrm {d} x:{\boldsymbol {\phi }}\in C_{c}^{1}(\Omega ,\mathbb {R} ^{n}),\ \Vert {\boldsymbol {\phi }}\Vert _{L^{\infty }(\Omega )}\leq 1\right\}}$

donde es la norma suprema esencial . A veces, especialmente en la teoría de conjuntos de Caccioppoli , se utiliza la siguiente notación ${\displaystyle \Vert \;\Vert _{L^{\infty }(\Omega )}}$

${\displaystyle \int _{\Omega }\vert Du\vert =V(u,\Omega )}$

para enfatizar que es la variación total del gradiente distribucional / débil de . Esta notación recuerda también que si es de clase (es decir, una función continua y diferenciable que tiene derivadas continuas ) entonces su variación es exactamente la integral del valor absoluto de su gradiente . ${\displaystyle V(u,\Omega )}$ ${\displaystyle u}$ ${\displaystyle u}$ ${\displaystyle C^{1}}$

El espacio de funciones de variación acotada ( funciones BV ) puede entonces definirse como

${\displaystyle \operatorname {\operatorname {BV} } (\Omega )=\{u\in L^{1}(\Omega )\colon V(u,\Omega )<+\infty \}}$

Las dos definiciones son equivalentes ya que si entonces ${\displaystyle V(u,\Omega )<+\infty }$

${\displaystyle \left|\int _{\Omega }u(x)\operatorname {div} {\boldsymbol {\phi }}(x)\,\mathrm {d} x\right|\leq V(u,\Omega )\Vert {\boldsymbol {\phi }}\Vert _{L^{\infty }(\Omega )}\qquad \forall {\boldsymbol {\phi }}\in C_{c}^{1}(\Omega ,\mathbb {R} ^{n})}$

Por lo tanto, define una función lineal continua en el espacio . Dado que , como subespacio lineal , esta función lineal continua se puede extender de forma continua y lineal al conjunto mediante el teorema de Hahn-Banach . Por lo tanto, la función lineal continua define una medida de Radon mediante el teorema de representación de Riesz-Markov-Kakutani . ${\textstyle \displaystyle {\boldsymbol {\phi }}\mapsto \,\int _{\Omega }u(x)\operatorname {div} {\boldsymbol {\phi }}(x)\,dx}$ ${\displaystyle C_{c}^{1}(\Omega ,\mathbb {R} ^{n})}$ ${\displaystyle C_{c}^{1}(\Omega ,\mathbb {R} ^{n})\subset C^{0}(\Omega ,\mathbb {R} ^{n})}$ ${\displaystyle C^{0}(\Omega ,\mathbb {R} ^{n})}$

Funciones locales de BV

Si en las definiciones precedentes 1.2 , 2.1 y 2.2 se considera el espacio funcional de funciones localmente integrables , es decir, funciones pertenecientes a , en lugar del de funciones globalmente integrables , entonces el espacio funcional definido es el de funciones de variación localmente acotada . Precisamente, desarrollando esta idea para la definición 2.2 , una variación local se define de la siguiente manera, ${\displaystyle L_{\text{loc}}^{1}(\Omega )}$

${\displaystyle V(u,U):=\sup \left\{\int _{\Omega }u(x)\operatorname {div} {\boldsymbol {\phi }}(x)\,\mathrm {d} x:{\boldsymbol {\phi }}\in C_{c}^{1}(U,\mathbb {R} ^{n}),\ \Vert {\boldsymbol {\phi }}\Vert _{L^{\infty }(\Omega )}\leq 1\right\}}$

para cada conjunto , habiéndose definido como el conjunto de todos los subconjuntos abiertos precompactos de con respecto a la topología estándar de espacios vectoriales de dimensión finita , y correspondientemente la clase de funciones de variación localmente acotada se define como ${\displaystyle U\in {\mathcal {O}}_{c}(\Omega )}$ ${\displaystyle {\mathcal {O}}_{c}(\Omega )}$ ${\displaystyle \Omega }$

${\displaystyle \operatorname {BV} _{\text{loc}}(\Omega )=\{u\in L_{\text{loc}}^{1}(\Omega )\colon \,(\forall U\in {\mathcal {O}}_{c}(\Omega ))\,V(u,U)<+\infty \}}$

Notación

Básicamente existen dos convenciones distintas para la notación de espacios de funciones de variación local o globalmente acotada, y desafortunadamente son bastante similares: la primera, que es la adoptada en esta entrada, se utiliza por ejemplo en las referencias Giusti (1984) (parcialmente), Hudjaev & Vol'pert (1985) (parcialmente), Giaquinta, Modica & Souček (1998) y es la siguiente

• ${\displaystyle \operatorname {\operatorname {BV} } (\Omega )}$Identifica el espacio de funciones de variación acotada globalmente.
• ${\displaystyle \operatorname {\operatorname {BV} } _{\text{loc}}(\Omega )}$Identifica el espacio de funciones de variación localmente acotada.

La segunda, que se adopta en las referencias Vol'pert (1967) y Maz'ya (1985) (parcialmente), es la siguiente:

• ${\displaystyle {\overline {\operatorname {\operatorname {BV} } }}(\Omega )}$Identifica el espacio de funciones de variación acotada globalmente.
• ${\displaystyle \operatorname {\operatorname {BV} } (\Omega )}$Identifica el espacio de funciones de variación localmente acotada.

Propiedades básicas

En lo sucesivo, se considerarán únicamente las propiedades comunes a las funciones de una variable y a las funciones de varias variables, y se realizarán demostraciones sólo para funciones de varias variables, ya que la demostración para el caso de una variable es una adaptación directa del caso de varias variables: además, en cada sección se indicará si la propiedad es compartida también por funciones de variación localmente acotada o no. Se utilizan ampliamente las referencias (Giusti 1984, pp. 7-9), (Hudjaev & Vol'pert 1985) y (Màlek et al. 1996).

Las funciones BV solo tienen discontinuidades de tipo salto o removibles

En el caso de una variable, la afirmación es clara: para cada punto del intervalo de definición de la función , cualquiera de las dos afirmaciones siguientes es verdadera ${\displaystyle x_{0}}$ ${\displaystyle [a,b]\subset \mathbb {R} }$ ${\displaystyle u}$

${\displaystyle \lim _{x\rightarrow x_{0^{-}}}\!\!\!u(x)=\!\!\!\lim _{x\rightarrow x_{0^{+}}}\!\!\!u(x)}$

${\displaystyle \lim _{x\rightarrow x_{0^{-}}}\!\!\!u(x)\neq \!\!\!\lim _{x\rightarrow x_{0^{+}}}\!\!\!u(x)}$

mientras que ambos límites existen y son finitos. En el caso de funciones de varias variables, hay algunas premisas que entender: en primer lugar, existe un continuo de direcciones a lo largo de las cuales es posible acercarse a un punto dado perteneciente al dominio ⊂ . Es necesario precisar un concepto adecuado de límite : eligiendo un vector unitario es posible dividir en dos conjuntos ${\displaystyle x_{0}}$ ${\displaystyle \Omega }$ ${\displaystyle \mathbb {R} ^{n}}$ ${\displaystyle {\boldsymbol {\hat {a}}}\in \mathbb {R} ^{n}}$ ${\displaystyle \Omega }$

${\displaystyle \Omega _{({\boldsymbol {\hat {a}}},{\boldsymbol {x}}_{0})}=\Omega \cap \{{\boldsymbol {x}}\in \mathbb {R} ^{n}|\langle {\boldsymbol {x}}-{\boldsymbol {x}}_{0},{\boldsymbol {\hat {a}}}\rangle >0\}\qquad \Omega _{(-{\boldsymbol {\hat {a}}},{\boldsymbol {x}}_{0})}=\Omega \cap \{{\boldsymbol {x}}\in \mathbb {R} ^{n}|\langle {\boldsymbol {x}}-{\boldsymbol {x}}_{0},-{\boldsymbol {\hat {a}}}\rangle >0\}}$

Entonces, para cada punto perteneciente al dominio de la función BV , sólo una de las dos afirmaciones siguientes es verdadera ${\displaystyle x_{0}}$ ${\displaystyle \Omega \in \mathbb {R} ^{n}}$ ${\displaystyle u}$

${\displaystyle \lim _{\overset {{\boldsymbol {x}}\rightarrow {\boldsymbol {x}}_{0}}{{\boldsymbol {x}}\in \Omega _{({\boldsymbol {\hat {a}}},{\boldsymbol {x}}_{0})}}}\!\!\!\!\!\!u({\boldsymbol {x}})=\!\!\!\!\!\!\!\lim _{\overset {{\boldsymbol {x}}\rightarrow {\boldsymbol {x}}_{0}}{{\boldsymbol {x}}\in \Omega _{(-{\boldsymbol {\hat {a}}},{\boldsymbol {x}}_{0})}}}\!\!\!\!\!\!\!u({\boldsymbol {x}})}$

${\displaystyle \lim _{\overset {{\boldsymbol {x}}\rightarrow {\boldsymbol {x}}_{0}}{{\boldsymbol {x}}\in \Omega _{({\boldsymbol {\hat {a}}},{\boldsymbol {x}}_{0})}}}\!\!\!\!\!\!u({\boldsymbol {x}})\neq \!\!\!\!\!\!\!\lim _{\overset {{\boldsymbol {x}}\rightarrow {\boldsymbol {x}}_{0}}{{\boldsymbol {x}}\in \Omega _{(-{\boldsymbol {\hat {a}}},{\boldsymbol {x}}_{0})}}}\!\!\!\!\!\!\!u({\boldsymbol {x}})}$

o pertenece a un subconjunto de los que tienen una medida de Hausdorff de dimensión cero . Las cantidades ${\displaystyle x_{0}}$ ${\displaystyle \Omega }$ ${\displaystyle n-1}$

${\displaystyle \lim _{\overset {{\boldsymbol {x}}\rightarrow {\boldsymbol {x}}_{0}}{{\boldsymbol {x}}\in \Omega _{({\boldsymbol {\hat {a}}},{\boldsymbol {x}}_{0})}}}\!\!\!\!\!\!u({\boldsymbol {x}})=u_{\boldsymbol {\hat {a}}}({\boldsymbol {x}}_{0})\qquad \lim _{\overset {{\boldsymbol {x}}\rightarrow {\boldsymbol {x}}_{0}}{{\boldsymbol {x}}\in \Omega _{(-{\boldsymbol {\hat {a}}},{\boldsymbol {x}}_{0})}}}\!\!\!\!\!\!\!u({\boldsymbol {x}})=u_{-{\boldsymbol {\hat {a}}}}({\boldsymbol {x}}_{0})}$

se llaman límites aproximados de la función BV en el punto . ${\displaystyle u}$ ${\displaystyle x_{0}}$

V(⋅, Ω) es semicontinuo inferior enyo1(Ω)

La funcional es semicontinua inferior : para ver esto, elija una secuencia de Cauchy de funciones BV que convergen a . Entonces, dado que todas las funciones de la secuencia y su función límite son integrables y por la definición de límite inferior ${\displaystyle V(\cdot ,\Omega ):\operatorname {\operatorname {BV} } (\Omega )\rightarrow \mathbb {R} ^{+}}$ ${\displaystyle \{u_{n}\}_{n\in \mathbb {N} }}$ ${\displaystyle u\in L_{\text{loc}}^{1}(\Omega )}$

${\displaystyle {\begin{aligned}\liminf _{n\rightarrow \infty }V(u_{n},\Omega )&\geq \liminf _{n\rightarrow \infty }\int _{\Omega }u_{n}(x)\operatorname {div} \,{\boldsymbol {\phi }}\,\mathrm {d} x\\&\geq \int _{\Omega }\lim _{n\rightarrow \infty }u_{n}(x)\operatorname {div} \,{\boldsymbol {\phi }}\,\mathrm {d} x\\&=\int _{\Omega }u(x)\operatorname {div} {\boldsymbol {\phi }}\,\mathrm {d} x\qquad \forall {\boldsymbol {\phi }}\in C_{c}^{1}(\Omega ,\mathbb {R} ^{n}),\quad \Vert {\boldsymbol {\phi }}\Vert _{L^{\infty }(\Omega )}\leq 1\end{aligned}}}$

Ahora, considerando el supremo en el conjunto de funciones tales que entonces la siguiente desigualdad es verdadera ${\displaystyle {\boldsymbol {\phi }}\in C_{c}^{1}(\Omega ,\mathbb {R} ^{n})}$ ${\displaystyle \Vert {\boldsymbol {\phi }}\Vert _{L^{\infty }(\Omega )}\leq 1}$

${\displaystyle \liminf _{n\rightarrow \infty }V(u_{n},\Omega )\geq V(u,\Omega )}$

que es exactamente la definición de semicontinuidad inferior .

BV(Ω) es un espacio de Banach

Por definición es un subconjunto de , mientras que la linealidad se desprende de las propiedades de linealidad de la integral definitoria , es decir ${\displaystyle \operatorname {\operatorname {BV} } (\Omega )}$ ${\displaystyle L^{1}(\Omega )}$

${\displaystyle {\begin{aligned}\int _{\Omega }[u(x)+v(x)]\operatorname {div} {\boldsymbol {\phi }}(x)\,\mathrm {d} x&=\int _{\Omega }u(x)\operatorname {div} {\boldsymbol {\phi }}(x)\,\mathrm {d} x+\int _{\Omega }v(x)\operatorname {div} {\boldsymbol {\phi }}(x)\,\mathrm {d} x=\\&=-\int _{\Omega }\langle {\boldsymbol {\phi }}(x),Du(x)\rangle -\int _{\Omega }\langle {\boldsymbol {\phi }}(x),Dv(x)\rangle =-\int _{\Omega }\langle {\boldsymbol {\phi }}(x),[Du(x)+Dv(x)]\rangle \end{aligned}}}$

para todos por lo tanto para todos , y ${\displaystyle \phi \in C_{c}^{1}(\Omega ,\mathbb {R} ^{n})}$ ${\displaystyle u+v\in \operatorname {\operatorname {BV} } (\Omega )}$ ${\displaystyle u,v\in \operatorname {\operatorname {BV} } (\Omega )}$

${\displaystyle \int _{\Omega }c\cdot u(x)\operatorname {div} {\boldsymbol {\phi }}(x)\,\mathrm {d} x=c\int _{\Omega }u(x)\operatorname {div} {\boldsymbol {\phi }}(x)\,\mathrm {d} x=-c\int _{\Omega }\langle {\boldsymbol {\phi }}(x),Du(x)\rangle }$

para todos , por lo tanto para todos , y todos . Las propiedades del espacio vectorial demostradas implican que es un subespacio vectorial de . Consideremos ahora la función definida como ${\displaystyle c\in \mathbb {R} }$ ${\displaystyle cu\in \operatorname {\operatorname {BV} } (\Omega )}$ ${\displaystyle u\in \operatorname {\operatorname {BV} } (\Omega )}$ ${\displaystyle c\in \mathbb {R} }$ ${\displaystyle \operatorname {\operatorname {BV} } (\Omega )}$ ${\displaystyle L^{1}(\Omega )}$ ${\displaystyle \|\;\|_{\operatorname {BV} }:\operatorname {\operatorname {BV} } (\Omega )\rightarrow \mathbb {R} ^{+}}$

${\displaystyle \|u\|_{\operatorname {BV} }:=\|u\|_{L^{1}}+V(u,\Omega )}$

donde es la norma usual : es fácil demostrar que esta es una norma en . Para ver que es completa respecto de ella, es decir, es un espacio de Banach , considere una sucesión de Cauchy en . Por definición, también es una sucesión de Cauchy en y, por lo tanto, tiene un límite en : dado que está acotada en para cada , entonces por semicontinuidad inferior de la variación , por lo tanto es una función BV. Finalmente, nuevamente por semicontinuidad inferior, eligiendo un número positivo pequeño arbitrario ${\displaystyle \|\;\|_{L^{1}}}$ ${\displaystyle L^{1}(\Omega )}$ ${\displaystyle \operatorname {\operatorname {BV} } (\Omega )}$ ${\displaystyle \operatorname {\operatorname {BV} } (\Omega )}$ ${\displaystyle \{u_{n}\}_{n\in \mathbb {N} }}$ ${\displaystyle \operatorname {\operatorname {BV} } (\Omega )}$ ${\displaystyle L^{1}(\Omega )}$ ${\displaystyle u}$ ${\displaystyle L^{1}(\Omega )}$ ${\displaystyle u_{n}}$ ${\displaystyle \operatorname {\operatorname {BV} } (\Omega )}$ ${\displaystyle n}$ ${\displaystyle \Vert u\Vert _{\operatorname {BV} }<+\infty }$ ${\displaystyle V(\cdot ,\Omega )}$ ${\displaystyle u}$ ${\displaystyle \varepsilon }$

${\displaystyle \Vert u_{j}-u_{k}\Vert _{\operatorname {BV} }<\varepsilon \quad \forall j,k\geq N\in \mathbb {N} \quad \Rightarrow \quad V(u_{k}-u,\Omega )\leq \liminf _{j\rightarrow +\infty }V(u_{k}-u_{j},\Omega )\leq \varepsilon }$

De esto deducimos que es continua porque es una norma. ${\displaystyle V(\cdot ,\Omega )}$

BV(Ω) no es separable

Para ver esto, basta considerar el siguiente ejemplo perteneciente al espacio : ^[6] para cada 0 <  α  < 1 definamos ${\displaystyle \operatorname {\operatorname {BV} } ([0,1])}$

${\displaystyle \chi _{\alpha }=\chi _{[\alpha ,1]}={\begin{cases}0&{\mbox{if }}x\notin \;[\alpha ,1]\\1&{\mbox{if }}x\in [\alpha ,1]\end{cases}}}$

como función característica del intervalo cerrado por la izquierda . Entonces, eligiendo de manera que se cumpla la siguiente relación: ${\displaystyle [\alpha ,1]}$ ${\displaystyle \alpha ,\beta \in [0,1]}$ ${\displaystyle \alpha \neq \beta }$

${\displaystyle \Vert \chi _{\alpha }-\chi _{\beta }\Vert _{\operatorname {BV} }=2}$

Ahora bien, para demostrar que todo subconjunto denso de no puede ser contable , es suficiente ver que para cada es posible construir las bolas ${\displaystyle \operatorname {\operatorname {BV} } (]0,1[)}$ ${\displaystyle \alpha \in [0,1]}$

${\displaystyle B_{\alpha }=\left\{\psi \in \operatorname {\operatorname {BV} } ([0,1]);\Vert \chi _{\alpha }-\psi \Vert _{\operatorname {BV} }\leq 1\right\}}$

Obviamente, esas bolas son disjuntas por pares y también son una familia indexada de conjuntos cuyo conjunto índice es . Esto implica que esta familia tiene la cardinalidad del continuo : ahora, dado que cada subconjunto denso de debe tener al menos un punto dentro de cada miembro de esta familia, su cardinalidad es al menos la del continuo y, por lo tanto, no puede ser un subconjunto contable. ^[7] Obviamente, este ejemplo se puede extender a dimensiones superiores y, dado que solo involucra propiedades locales , implica que la misma propiedad es verdadera también para . ${\displaystyle [0,1]}$ ${\displaystyle \operatorname {\operatorname {BV} } ([0,1])}$ ${\displaystyle \operatorname {BV} _{loc}}$

Regla de la cadena para funciones BV

Las reglas de cadena para funciones no suaves son muy importantes en matemáticas y física matemática , ya que existen varios modelos físicos importantes cuyos comportamientos se describen mediante funciones o funcionales con un grado muy limitado de suavidad . La siguiente regla de cadena se demuestra en el artículo (Vol'pert 1967, p. 248). Nótese que todas las derivadas parciales deben interpretarse en un sentido generalizado, es decir, como derivadas generalizadas .

Teorema . Sea una función de clase (es decir, una función continua y diferenciable que tiene derivadas continuas ) y sea una función en con siendo un subconjunto abierto de . Entonces y ${\displaystyle f:\mathbb {R} ^{p}\rightarrow \mathbb {R} }$ ${\displaystyle C^{1}}$ ${\displaystyle {\boldsymbol {u}}({\boldsymbol {x}})=(u_{1}({\boldsymbol {x}}),\ldots ,u_{p}({\boldsymbol {x}}))}$ ${\displaystyle \operatorname {\operatorname {BV} } (\Omega )}$ ${\displaystyle \Omega }$ ${\displaystyle \mathbb {R} ^{n}}$ ${\displaystyle f\circ {\boldsymbol {u}}({\boldsymbol {x}})=f({\boldsymbol {u}}({\boldsymbol {x}}))\in \operatorname {\operatorname {BV} } (\Omega )}$

${\displaystyle {\frac {\partial f({\boldsymbol {u}}({\boldsymbol {x}}))}{\partial x_{i}}}=\sum _{k=1}^{p}{\frac {\partial {\bar {f}}({\boldsymbol {u}}({\boldsymbol {x}}))}{\partial u_{k}}}{\frac {\partial {u_{k}({\boldsymbol {x}})}}{\partial x_{i}}}\qquad \forall i=1,\ldots ,n}$

donde es el valor medio de la función en el punto , definido como ${\displaystyle {\bar {f}}({\boldsymbol {u}}({\boldsymbol {x}}))}$ ${\displaystyle x\in \Omega }$

${\displaystyle {\bar {f}}({\boldsymbol {u}}({\boldsymbol {x}}))=\int _{0}^{1}f\left({\boldsymbol {u}}_{\boldsymbol {\hat {a}}}({\boldsymbol {x}})t+{\boldsymbol {u}}_{-{\boldsymbol {\hat {a}}}}({\boldsymbol {x}})(1-t)\right)\,dt}$

Luigi Ambrosio y Gianni Dal Maso han encontrado una fórmula de regla de la cadena más general para las funciones continuas de Lipschitz , que se publicó en el artículo (Ambrosio & Dal Maso 1990). Sin embargo, incluso esta fórmula tiene consecuencias directas muy importantes: al utilizar en lugar de , donde también es una función 'BV' y elegir , la fórmula anterior da la regla de Leibniz para las funciones 'BV' ${\displaystyle f:\mathbb {R} ^{p}\rightarrow \mathbb {R} ^{s}}$ ${\displaystyle (u({\boldsymbol {x}}),v({\boldsymbol {x}}))}$ ${\displaystyle {\boldsymbol {u}}({\boldsymbol {x}})}$ ${\displaystyle v({\boldsymbol {x}})}$ ${\displaystyle f((u,v))=uv}$

${\displaystyle {\frac {\partial v({\boldsymbol {x}})u({\boldsymbol {x}})}{\partial x_{i}}}={{\bar {u}}({\boldsymbol {x}})}{\frac {\partial v({\boldsymbol {x}})}{\partial x_{i}}}+{{\bar {v}}({\boldsymbol {x}})}{\frac {\partial u({\boldsymbol {x}})}{\partial x_{i}}}}$

Esto implica que el producto de dos funciones de variación acotada es nuevamente una función de variación acotada , por lo tanto es un álgebra . ${\displaystyle \operatorname {\operatorname {BV} } (\Omega )}$

BV(Ω) es un álgebra de Banach

Esta propiedad se deriva directamente del hecho de que es un espacio de Banach y también un álgebra asociativa : esto implica que si y son secuencias de Cauchy de funciones BV que convergen respectivamente a funciones y en , entonces ${\displaystyle \operatorname {\operatorname {BV} } (\Omega )}$ ${\displaystyle \{v_{n}\}}$ ${\displaystyle \{u_{n}\}}$ ${\displaystyle v}$ ${\displaystyle u}$ ${\displaystyle \operatorname {\operatorname {BV} } (\Omega )}$

${\displaystyle {\begin{matrix}vu_{n}{\xrightarrow[{n\to \infty }]{}}vu\\v_{n}u{\xrightarrow[{n\to \infty }]{}}vu\end{matrix}}\quad \Longleftrightarrow \quad vu\in \operatorname {\operatorname {BV} } (\Omega )}$

Por lo tanto, el producto ordinario de funciones es continuo con respecto a cada argumento, lo que hace de este espacio de funciones un álgebra de Banach . ${\displaystyle \operatorname {\operatorname {BV} } (\Omega )}$

Generalizaciones y extensiones

Funciones BV ponderadas

Es posible generalizar la noción anterior de variación total de modo que las diferentes variaciones se ponderen de manera diferente. Más precisamente, sea cualquier función creciente tal que (la función de ponderación ) y sea una función del intervalo que toma valores en un espacio vectorial normalizado . Entonces la -variación de sobre se define como ${\displaystyle \varphi :[0,+\infty )\longrightarrow [0,+\infty )}$ ${\displaystyle \varphi (0)=\varphi (0+)=\lim _{x\rightarrow 0_{+}}\varphi (x)=0}$ ${\displaystyle f:[0,T]\longrightarrow X}$ ${\displaystyle [0,T]}$ ${\displaystyle \subset \mathbb {R} }$ ${\displaystyle X}$ ${\displaystyle {\boldsymbol {\varphi }}}$ ${\displaystyle f}$ ${\displaystyle [0,T]}$

${\displaystyle \mathop {\varphi {\text{-}}\operatorname {Var} } _{[0,T]}(f):=\sup \sum _{j=0}^{k}\varphi \left(|f(t_{j+1})-f(t_{j})|_{X}\right),}$

donde, como es habitual, se toma el supremo sobre todas las particiones finitas del intervalo , es decir, todos los conjuntos finitos de números reales tales que ${\displaystyle [0,T]}$ ${\displaystyle t_{i}}$

${\displaystyle 0=t_{0}<t_{1}<\cdots <t_{k}=T.}$

La noción original de variación considerada anteriormente es el caso especial de -variación para la cual la función de peso es la función identidad : por lo tanto, se dice que una función integrable es una función BV ponderada (de peso ) si y solo si su -variación es finita. ${\displaystyle \varphi }$ ${\displaystyle f}$ ${\displaystyle \varphi }$ ${\displaystyle \varphi }$

${\displaystyle f\in \operatorname {BV} _{\varphi }([0,T];X)\iff \mathop {\varphi {\text{-}}\operatorname {Var} } _{[0,T]}(f)<+\infty }$

El espacio es un espacio vectorial topológico con respecto a la norma. ${\displaystyle \operatorname {BV} _{\varphi }([0,T];X)}$

${\displaystyle \|f\|_{\operatorname {BV} _{\varphi }}:=\|f\|_{\infty }+\mathop {\varphi {\text{-}}\operatorname {Var} } _{[0,T]}(f),}$

donde denota la norma suprema usual de . Las funciones BV ponderadas fueron introducidas y estudiadas en su totalidad por Władysław Orlicz y Julian Musielak en el artículo Musielak & Orlicz 1959: Laurence Chisholm Young estudió anteriormente el caso donde es un entero positivo. ${\displaystyle \|f\|_{\infty }}$ ${\displaystyle f}$ ${\displaystyle \varphi (x)=x^{p}}$ ${\displaystyle p}$

Funciones del SBV

Las funciones SBV, es decir, funciones especiales de variación acotada, fueron introducidas por Luigi Ambrosio y Ennio De Giorgi en el artículo (Ambrosio y De Giorgi 1988), que trata de problemas variacionales de discontinuidad libre : dado un subconjunto abierto de , el espacio es un subespacio lineal propio de , ya que el gradiente débil de cada función que le pertenece consiste precisamente en la suma de un soporte - dimensional y una medida de soporte - dimensional y ningún término de dimensión intermedia , como se ve en la siguiente definición. ${\displaystyle \Omega }$ ${\displaystyle \mathbb {R} ^{n}}$ ${\displaystyle \operatorname {SBV} (\Omega )}$ ${\displaystyle \operatorname {\operatorname {BV} } (\Omega )}$ ${\displaystyle n}$ ${\displaystyle n-1}$

Definición . Dada una función localmente integrable , entonces si y sólo si ${\displaystyle u}$ ${\displaystyle u\in \operatorname {SBV} (\Omega )}$

1. Existen dos funciones de Borel y de dominio y codominio tales que ${\displaystyle f}$ ${\displaystyle g}$ ${\displaystyle \Omega }$ ${\displaystyle \mathbb {R} ^{n}}$

${\displaystyle \int _{\Omega }\vert f\vert \,dH^{n}+\int _{\Omega }\vert g\vert \,dH^{n-1}<+\infty .}$

2. Para todas las funciones vectoriales continuamente diferenciables de soporte compacto contenidas en , es decir para todas se cumple la siguiente fórmula: ${\displaystyle \phi }$ ${\displaystyle \Omega }$ ${\displaystyle \phi \in C_{c}^{1}(\Omega ,\mathbb {R} ^{n})}$

${\displaystyle \int _{\Omega }u\operatorname {div} \phi \,dH^{n}=\int _{\Omega }\langle \phi ,f\rangle \,dH^{n}+\int _{\Omega }\langle \phi ,g\rangle \,dH^{n-1}.}$

donde es la medida de Hausdorff -dimensional . ${\displaystyle H^{\alpha }}$ ${\displaystyle \alpha }$

Se pueden encontrar detalles sobre las propiedades de las funciones SBV en los trabajos citados en la sección de bibliografía: en particular, el artículo (De Giorgi 1992) contiene una bibliografía útil .

Secuencias de BV

Como ejemplos particulares de espacios de Banach , Dunford y Schwartz (1958, Capítulo IV) consideran espacios de sucesiones de variación acotada , además de los espacios de funciones de variación acotada. La variación total de una sucesión x  = ( x _i ) de números reales o complejos se define por

${\displaystyle \operatorname {TV} (x)=\sum _{i=1}^{\infty }|x_{i+1}-x_{i}|.}$

El espacio de todas las sucesiones de variación total finita se denota por BV. La norma en BV está dada por

${\displaystyle \|x\|_{\operatorname {BV} }=|x_{1}|+\operatorname {TV} (x)=|x_{1}|+\sum _{i=1}^{\infty }|x_{i+1}-x_{i}|.}$

Con esta norma, el espacio BV es un espacio de Banach que es isomorfo a . ${\displaystyle \ell _{1}}$

La variación total en sí misma define una norma en un cierto subespacio de BV, denotado por BV ₀ , que consiste en secuencias x = ( x _i ) para las cuales

${\displaystyle \lim _{n\to \infty }x_{n}=0.}$

La norma en BV ₀ se denota

${\displaystyle \|x\|_{\operatorname {BV} _{0}}=\operatorname {TV} (x)=\sum _{i=1}^{\infty }|x_{i+1}-x_{i}|.}$

Con respecto a esta norma, BV ₀ también se convierte en un espacio de Banach, que es isomorfo e isométrico a (aunque no de forma natural). ${\displaystyle \ell _{1}}$

Medidas de variación acotada

Se dice que una medida con signo (o compleja ) en un espacio medible es de variación acotada si su variación total es acotada: véase Halmos (1950, pág. 123), Kolmogorov y Fomin (1969, pág. 346) o la entrada " Variación total " para más detalles. ${\displaystyle \mu }$ ${\displaystyle (X,\Sigma )}$ ${\displaystyle \Vert \mu \Vert =|\mu |(X)}$

Ejemplos

La función f ( x ) = sin(1/ x ) no tiene variación acotada en el intervalo . ${\displaystyle [0,2/\pi ]}$

Como se mencionó en la introducción, dos grandes clases de ejemplos de funciones BV son las funciones monótonas y las funciones absolutamente continuas. Para un ejemplo negativo: la función

${\displaystyle f(x)={\begin{cases}0,&{\mbox{if }}x=0\\\sin(1/x),&{\mbox{if }}x\neq 0\end{cases}}}$

no tiene una variación limitada en el intervalo ${\displaystyle [0,2/\pi ]}$

La función f ( x ) =  x  sin(1/ x ) no es de variación acotada en el intervalo . ${\displaystyle [0,2/\pi ]}$

Aunque es más difícil de ver, la función continua

${\displaystyle f(x)={\begin{cases}0,&{\mbox{if }}x=0\\x\sin(1/x),&{\mbox{if }}x\neq 0\end{cases}}}$

tampoco tiene una variación limitada en el intervalo . ${\displaystyle [0,2/\pi ]}$

La función f ( x ) =  x ²  sin(1/ x ) es de variación acotada en el intervalo . ${\displaystyle [0,2/\pi ]}$

Al mismo tiempo, la función

${\displaystyle f(x)={\begin{cases}0,&{\mbox{if }}x=0\\x^{2}\sin(1/x),&{\mbox{if }}x\neq 0\end{cases}}}$

tiene una variación limitada en el intervalo . Sin embargo, las tres funciones tienen una variación limitada en cada intervalo con . ${\displaystyle [0,2/\pi ]}$ ${\displaystyle [a,b]}$ ${\displaystyle a>0}$

Toda función monótona y acotada es de variación acotada. Para una función de este tipo en el intervalo y cualquier partición de este intervalo, se puede ver que ${\displaystyle f}$ ${\displaystyle [a,b]}$ ${\displaystyle P=\{x_{0},\ldots ,x_{n_{P}}\}}$

${\displaystyle \sum _{i=0}^{n_{P}-1}|f(x_{i+1})-f(x_{i})|=|f(b)-f(a)|}$

del hecho de que la suma de la izquierda es telescópica . De esto se deduce que para tal , ${\displaystyle f}$

${\displaystyle V_{a}^{b}(f)=|f(b)-f(a)|.}$

En particular, la función de Cantor monótona es un ejemplo bien conocido de una función de variación acotada que no es absolutamente continua . ^[8]

El espacio de Sobolev es un subconjunto propio de . De hecho, para cada en es posible elegir una medida (donde es la medida de Lebesgue en ) tal que la igualdad ${\displaystyle W^{1,1}(\Omega )}$ ${\displaystyle \operatorname {\operatorname {BV} } (\Omega )}$ ${\displaystyle u}$ ${\displaystyle W^{1,1}(\Omega )}$ ${\displaystyle \mu :=\nabla u{\mathcal {L}}}$ ${\displaystyle {\mathcal {L}}}$ ${\displaystyle \Omega }$

${\displaystyle \int u\operatorname {div} \phi =-\int \phi \,d\mu =-\int \phi \,\nabla u\qquad \forall \phi \in C_{c}^{1}}$

se cumple, ya que no es más que la definición de derivada débil y, por lo tanto, es verdadera. Se puede encontrar fácilmente un ejemplo de una función BV que no sea : en dimensión uno, cualquier función escalonada con un salto no trivial servirá. ${\displaystyle W^{1,1}}$

Aplicaciones

Matemáticas

Las funciones de variación acotada se han estudiado en relación con el conjunto de discontinuidades de funciones y la diferenciabilidad de funciones reales, y los siguientes resultados son bien conocidos. Si es una función real de variación acotada en un intervalo , entonces ${\displaystyle f}$ ${\displaystyle [a,b]}$

• ${\displaystyle f}$es continua excepto como máximo en un conjunto contable ;
• ${\displaystyle f}$tiene límites unilaterales en todas partes (límites desde la izquierda en todas partes en , y desde la derecha en todas partes en  ; ${\displaystyle (a,b]}$ ${\displaystyle [a,b)}$
• La derivada existe casi en todas partes (es decir, excepto en un conjunto de medida cero ). ${\displaystyle f'(x)}$

Para funciones reales de varias variables reales

• La función característica de un conjunto de Caccioppoli es una función BV: Las funciones BV se encuentran en la base de la teoría moderna de perímetros.
• Las superficies mínimas son gráficos de funciones BV: en este contexto, ver referencia (Giusti 1984).

Física e ingeniería

La capacidad de las funciones BV para tratar discontinuidades ha hecho que su uso se haya generalizado en las ciencias aplicadas: las soluciones de problemas de mecánica, física y cinética química suelen representarse mediante funciones de variación acotada. El libro (Hudjaev y Vol'pert 1985) detalla un conjunto muy amplio de aplicaciones de las funciones BV en la física matemática. También hay algunas aplicaciones modernas que merecen una breve descripción.

• La funcional Mumford-Shah : el problema de segmentación de una imagen bidimensional, es decir, el problema de reproducción fiel de contornos y escalas de grises, es equivalente a la minimización de dicha funcional .
• Eliminación de ruido por variación total

Véase también

• Renato Caccioppoli
• Conjunto de Caccioppoli
• Lamberto Cesari
• Ennio De Giorgi
• Teorema de selección de Helly
• Función integrable localmente
• Espacio L ^{p (Ω)}
• Integral de Lebesgue-Stieltjes
• Medición del radón
• Derivada reducida
• Integral de Riemann-Stieltjes
• Variación total
• Variación cuadrática
• variación p
• Aizik Isaakovich Volpert
• Eliminación de ruido por variación total
• Variación total decreciente

Notas

1. Tonelli introdujo lo que ahora se llama en su honor variación del plano de Tonelli : para un análisis de este concepto y sus relaciones con otras generalizaciones, véase la entrada " Variación total ".
2. Véase, por ejemplo, Kolmogorov y Fomin (1969, págs. 374-376).
3. Para una referencia general sobre este tema, véase Riesz y Szőkefalvi-Nagy (1990)
4. En este contexto, "finito" significa que su valor nunca es infinito , es decir, es una medida finita .
5. Consulte la entrada " Variación total " para obtener más detalles y más información.
6. El ejemplo está tomado de Giaquinta, Modica y Souček (1998, p. 331): véase también (Kannan y Krueger 1996, ejemplo 9.4.1, p. 237).
7. El mismo argumento es utilizado por Kolmogorov y Fomin (1969, ejemplo 7, pp. 48-49), para demostrar la no separabilidad del espacio de sucesiones acotadas , y también por Kannan y Krueger (1996, ejemplo 9.4.1, p. 237).
8. "Análisis real - La variación continua y acotada no implica absolutamente continua".

Referencias

Trabajos de investigación

• Ambrosio, Luigi ; Fusco, Nicola ; Pallara, Diego (2000), Funciones de variación acotada y problemas de discontinuidad libre , Oxford Mathematical Monographs, Oxford: The Clarendon Press / Oxford University Press, pp. xviii+434, ISBN 978-0-19-850245-6, MR  1857292, Zbl  0957.49001.
• Brudnyi, Yuri (2007), "Funciones multivariadas de variación (k, p) acotada", en Randrianantoanina, Beata; Randrianantoanina, Narcisse (eds.), Espacios de Banach y sus aplicaciones en análisis. Actas de la conferencia internacional, Universidad de Miami, Oxford, OH, EE. UU., 22-27 de mayo de 2006. En honor al 60.º cumpleaños de Nigel Kalton , Berlín-Boston: Walter De Gruyter, pp. 37-58, doi :10.1515/9783110918298.37, ISBN 978-3-11-019449-4, MR  2374699, Zbl  1138.46019
• Dunford, Nelson ; Schwartz, Jacob T. (1958), Operadores lineales. Parte I: Teoría general , Matemáticas puras y aplicadas, vol. VII, Nueva York–Londres–Sydney: Wiley-Interscience, ISBN 0-471-60848-3, Zbl0084.10402 ​. Incluye una discusión de las propiedades analítico-funcionales de espacios de funciones de variación acotada.
• Giaquinta, Mariano ; Módica, Giuseppe; Souček, Jiří (1998), Corrientes cartesianas en el cálculo de variación I, Ergebnisse der Mathematik und ihrer Grenzgebiete . 3. Seguir. Una serie de estudios modernos en matemáticas, vol. 37, Berlín-Heidelberg-Nueva York: Springer Verlag, ISBN 3-540-64009-6, Zbl0914.49001 ​.
• Giusti, Enrico (1984), Superficies mínimas y funciones de variaciones acotadas, Monografías en Matemáticas, vol. 80, Basilea–Boston–Stuttgart: Birkhäuser Verlag, pp. XII+240, ISBN 978-0-8176-3153-6, MR  0775682, Zbl  0545.49018, en particular la parte I, capítulo 1 " Funciones de variación acotada y conjuntos de Caccioppoli ". Una buena referencia sobre la teoría de los conjuntos de Caccioppoli y su aplicación al problema de superficies mínimas .
• Halmos, Paul (1950), Teoría de la medida, Van Nostrand and Co., ISBN 978-0-387-90088-9, Zbl0040.16802 ​El enlace lleva a una vista previa de una reimpresión posterior de Springer-Verlag.
• Hudjaev, Sergei Ivanovich; Vol'pert, Aizik Isaakovich (1985), Análisis en clases de funciones discontinuas y ecuaciones de física matemática, Mecánica: análisis, vol. 8, Dordrecht–Boston–Lancaster: Martinus Nijhoff Publishers, ISBN 90-247-3109-7, MR  0785938, Zbl  0564.46025Todo el libro está dedicado a la teoría de funciones BV y sus aplicaciones a problemas de física matemática que involucran funciones discontinuas y objetos geométricos con límites no suaves .
• Kannan, Rangachary; Krueger, Carole King (1996), Análisis avanzado de la línea real , Universitext, Berlín–Heidelberg–Nueva York: Springer Verlag, pp. x+259, ISBN 978-0-387-94642-9, MR  1390758, Zbl  0855.26001. Quizás el libro de referencia más completo para la teoría de funciones BV en una variable: los resultados clásicos y los resultados avanzados se recogen en el capítulo 6 " Variación acotada " junto con varios ejercicios. El primer autor fue colaborador de Lamberto Cesari .
• Kolmogorov, Andrej N. ; Fomin, Sergej V. (1969), Introducción al análisis real, Nueva York: Dover Publications, pp. xii+403, ISBN 0-486-61226-0, MR  0377445, Zbl  0213.07305.
• Leoni, Giovanni (2017), Un primer curso en espacios de Sobolev , Graduate Studies in Mathematics (Segunda ed.), American Mathematical Society, págs. xxii+734, ISBN 978-1-4704-2921-8.
• Màlek, Josef; Nečas, Jindřich; Rokyta, Mirko; Růžička, Michael (1996), Soluciones débiles y mesurables para ecuaciones diferenciales parciales evolutivas, Applied Mathematics and Mathematical Computation, vol. 13, Londres–Weinheim–Nueva York–Tokio–Melbourne–Madrás: Chapman & Hall CRC Press, pp. xi+331, ISBN 0-412-57750-X, MR  1409366, Zbl  0851.35002. Una de las monografías más completas sobre la teoría de medidas de Young , fuertemente orientada a aplicaciones en mecánica de medios continuos de fluidos.
• Maz'ya, Vladimir G. (1985), Espacios de Sobolev , Berlín–Heidelberg–Nueva York: Springer-Verlag, ISBN 0-387-13589-8, Zbl0692.46023 ​; en particular el capítulo 6, "Sobre las funciones en el espacio BV(Ω) ". Una de las mejores monografías sobre la teoría de los espacios de Sobolev .
• Moreau, Jean Jacques (1988), "Variación limitada en el tiempo", en Moreau, JJ; Panagiotopoulos, PD; Strang, G. (eds.), Temas de mecánica no suave , Basel–Boston–Stuttgart: Birkhäuser Verlag, pp. 1–74, ISBN 3-7643-1907-0, Zbl0657.28008 ​
• Musielak, Julián; Orlicz, Władysław (1959), "Sobre variaciones generalizadas (I)" (PDF) , Studia Mathematica , 18 , Warszawa–Wrocław: 13–41, doi :10.4064/sm-18-1-11-41, Zbl  0088.26901En este artículo, Musielak y Orlicz desarrollaron el concepto de funciones BV ponderadas introducido por Laurence Chisholm Young hasta su total generalidad.
• Riesz, Frigyes ; Szőkefalvi-Nagy, Béla (1990), Análisis funcional, Nueva York: Dover Publications, ISBN 0-486-66289-6, Zbl0732.47001 ​
• Vol'pert, Aizik Isaakovich (1967), "Espacios BV y ecuaciones cuasi lineales", Matematicheskii Sbornik , (NS) (en ruso), 73 (115) (2): 255–302, MR  0216338, Zbl  0168.07402Un artículo seminal en el que se estudian a fondo los conjuntos de Caccioppoli y las funciones BV y se introduce y aplica el concepto de superposición funcional a la teoría de ecuaciones diferenciales parciales : también fue traducido al inglés como Vol'Pert, AI (1967), "Espacios BV y ecuaciones cuasi-lineales", Matemáticas de la URSS-Sbornik , 2 (2): 225–267, Bibcode :1967SbMat...2..225V, doi :10.1070/SM1967v002n02ABEH002340, hdl : 10338.dmlcz/102500 , MR  0216338, Zbl  0168.07402.

Referencias históricas

• Adams, C. Raymond y Clarkson, James A. (1933), "Sobre las definiciones de variación limitada para funciones de dos variables", Transactions of the American Mathematical Society , 35 (4): 824–854, doi : 10.1090/S0002-9947-1933-1501718-2 , MR  1501718, Zbl  0008.00602.
• Alberti, Giovanni; Mantegazza, Carlo (1997), "Una nota sobre la teoría de las funciones SBV", Bollettino dell'Unione Matematica Italiana , IV Serie, 11 (2): 375–382, MR  1459286, Zbl  0877.49001En este artículo, los autores demuestran la compacidad del espacio de funciones SBV.
• Ambrosio, Luigi ; Dal Maso, Gianni (1990), "Una regla de cadena general para derivadas distributivas", Actas de la American Mathematical Society , 108 (3): 691, doi : 10.1090/S0002-9939-1990-0969514-3 , MR  0969514, Zbl  0685.49027Un artículo que contiene una fórmula de regla de cadena muy general para la composición de funciones BV.
• Ambrosio, Luigi ; De Giorgi, Ennio (1988), "Un nuovo tipo di funzionale del calcolo delle variazioni" [Un nuevo tipo de funcional en el cálculo de variaciones], Atti della Accademia Nazionale dei Lincei, Rendiconti della Classe di Scienze Fisiche, Matematiche e Naturali , VIII (en italiano), LXXXII (2): 199–210, SEÑOR  1152641, Zbl  0715.49014. El primer artículo sobre funciones SBV y problemas variacionales relacionados.
• Cesari, Lamberto (1936), "Sulle funzioni a variazione limitata", Annali della Scuola Normale Superiore , Serie II (en italiano), 5 (3–4): 299–313, SEÑOR  1556778, Zbl  0014.29605. Disponible en Numdam. En el artículo " Sobre las funciones de variación acotada " (traducción al inglés del título) Cesari extiende el ahora llamado concepto de variación del plano de Tonelli para incluir en la definición una subclase de la clase de funciones integrables.
• Cesari, Lamberto (1986), "L'opera di Leonida Tonelli e la sua influenza nel pensiero Scientifico del Secolo", en Montalenti, G.; Amerio, L .; Acquaro, G.; Baiada, E.; et al. (eds.), Convegno celebrativo del centenario della nascita di Mauro Picone e Leonida Tonelli (6–9 de mayo de 1985), Atti dei Convegni Lincei (en italiano), vol. 77, Roma: Accademia Nazionale dei Lincei , págs. 41–73, archivado desde el original el 23 de febrero de 2011.. " La obra de Leonida Tonelli y su influencia en el pensamiento científico de este siglo " (traducción al español del título) es un amplio artículo conmemorativo, que recoge los recuerdos del autor sobre sus profesores y colegas, y un estudio detallado de su obra científica y la de ellos, presentado en el congreso internacional con ocasión de la celebración del centenario del nacimiento de Mauro Picone y Leonida Tonelli (celebrado en Roma del 6 al 9 de mayo de 1985).
• Conway, Edward D.; Smoller, Joel A. (1966), "Soluciones globales del problema de Cauchy para ecuaciones de primer orden cuasi-lineales en varias variables espaciales", Communications on Pure and Applied Mathematics , 19 (1): 95–105, doi :10.1002/cpa.3160190107, MR  0192161, Zbl  0138.34701. Un artículo importante en el que se aplicaron propiedades de funciones BV para obtener un teorema de existencia global en el tiempo para ecuaciones hiperbólicas individuales de primer orden en cualquier número de variables .
• De Giorgi, Ennio (1992), "Problemi variazionali con discontinuità libere", en Amaldi, E .; Amerio, L .; Fichera, G .; Gregorio, T.; Grioli, G.; Martinelli, E .; Montalenti, G.; Pignedoli, A.; Salvini, Giorgio ; Scorza Dragoni, Giuseppe (eds.), Convegno internazionale in memoria di Vito Volterra (8-11 de octubre de 1990), Atti dei Convegni Lincei (en italiano), vol. 92, Roma: Accademia Nazionale dei Lincei , págs. 39–76, ISSN  0391-805X, MR  1783032, Zbl  1039.49507, archivado desde el original el 7 de enero de 2017Un artículo de revisión sobre problemas variacionales de discontinuidad libre que incluye varios detalles sobre la teoría de funciones SBV , sus aplicaciones y una rica bibliografía.
• Faleschini, Bruno (1956a), "Sulle definizioni e proprietà delle funzioni a variazione limitata di due variabili. Nota I". [Sobre las definiciones y propiedades de funciones de variación acotada de dos variables. Nota I], Bollettino dell'Unione Matematica Italiana , Serie III (en italiano), 11 (1): 80–92, MR  0080169, Zbl  0071.27901. La primera parte de un estudio de muchas definiciones diferentes de " variación total " y funciones asociadas de variación acotada.
• Faleschini, Bruno (1956b), "Sulle definizioni e proprietà delle funzioni a variazione limitata di due variabili. Nota II". [Sobre las definiciones y propiedades de funciones de variación acotada de dos variables. Nota I], Bollettino dell'Unione Matematica Italiana , Serie III (en italiano), 11 (2): 260–75, MR  0080169, Zbl  0073.04501. Segunda parte de un estudio de muchas definiciones diferentes de " variación total " y funciones asociadas de variación acotada.
• Jordan, Camille (1881), "Sur la série de Fourier" [Sobre la serie de Fourier], Comptes rendus hebdomadaires des séances de l'Académie des sciences , 92 : 228–230(en Gallica ). Este es, según Boris Golubov, el primer artículo sobre funciones de variación acotada.
• Oleinik, Olga A. (1957), "Soluciones discontinuas de ecuaciones diferenciales no lineales", Uspekhi Matematicheskikh Nauk , 12 (3(75)): 3–73, Zbl  0080.07701( (en ruso) ). Un artículo importante donde el autor describe soluciones generalizadas de ecuaciones diferenciales parciales no lineales como funciones BV .
• Oleinik, Olga A. (1959), "Construcción de una solución generalizada del problema de Cauchy para una ecuación cuasi-lineal de primer orden mediante la introducción de la "viscosidad evanescente"", Uspekhi Matematicheskikh Nauk , 14 (2(86)): 159–164, Zbl  0096.06603( (en ruso) ). Un artículo importante en el que el autor construye una solución débil en BV para una ecuación diferencial parcial no lineal con el método de viscosidad evanescente.
• Tony F. Chan y Jianhong (Jackie) Shen (2005), Procesamiento y análisis de imágenes: métodos variacionales, PDE, wavelet y estocásticos, SIAM Publisher, ISBN 0-89871-589-X (con una cobertura en profundidad y aplicaciones extensas de variaciones limitadas en el procesamiento de imágenes moderno, como lo iniciaron Rudin, Osher y Fatemi). 

Enlaces externos

Teoría

• Golubov, Boris I.; Vitushkin, Anatolii G. (2001) [1994], "Variación de una función", Enciclopedia de Matemáticas , EMS Press
• "Función BV". PlanetMath ..
• Rowland, Todd y Weisstein, Eric W. "Variación limitada". MathWorld .
• Función de variación acotada en Enciclopedia de Matemáticas

Otro

• Página web de Luigi Ambrosio en la Escuela Normal Superior de Pisa . Página web académica (con preprints y publicaciones) de uno de los autores que contribuyeron a la teoría y aplicaciones de las funciones BV.
• Grupo de Investigación en Cálculo de Variaciones y Teoría Geométrica de la Medida, Scuola Normale Superiore di Pisa .

Este artículo incorpora material de la función BV en PlanetMath , que se encuentra bajo la licencia Creative Commons Attribution/Share-Alike License .