# Variación acotada

En análisis matemático, una función es de variación acotada (o también denominada de "fluctuación limitada") si su variación total ("fluctuación total") es finita, es decir, no oscila en un grado arbitrario. Estos términos están estrechamente relacionados con la continuidad y la integrabilidad de funciones.
El espacio de todas las funciones de variación acotada en el dominio $\Omega$ se denota por $BV(\Omega )$.
El concepto se remonta a Camille Jordan.

## Funciones reales
### Definición

La variación total de una función de variable real $f\colon [a,b]\to \mathbb {R}$ definida en un intervalo cerrado es el supremo
    $\sup _{P}\sum _{i}|f(x_{i+1})-f(x_{i})|,$
donde este supremo se forma a partir de todas las posibles particiones $P=\{x_{1},\dotsc ,x_{n}\mid x_{1}<\dotsb <x_{n}\}$ del intervalo $[a,b]$. El $n$ aquí especificado depende de $P$.
En concreto, las funciones continuas de variación acotada son integrables de Riemann-Stieltjes. Por eso $BV[a,b]$ puede equiparse con una seminorma:
    $n(f)=\sup _{\varphi }\int _{a}^{b}f(x)\varphi '(x)\,\mathrm {d} x$.
Aquí, el supremo se forma a partir de todas las funciones $\mathrm {\varphi }$ continuamente diferenciables con soporte compacto y valores de la función en el intervalo $[-1,1]$.
La seminorma concuerda con el supremo, que define la variación acotada.

### Ejemplo

Un ejemplo simple de una función con variación ilimitada es $\textstyle x\mapsto \sin({\frac {1}{x}})$ cerca de $x=0$. Es claramente comprensible que el valor del cociente ${\tfrac {1}{x}}$ para $x\to 0$ crecerá cada vez más rápido hacia ∞ a medida que se acerca a 0 y, por lo tanto, el seno de este valor realizará un número infinito de oscilaciones. Este hecho se muestra en la imagen de la derecha.
La función
    $f(x)={\begin{cases}0,&{\text{ si }}x=0\\x\sin(1/x),&{\text{ si }}x\neq 0\end{cases}}$
Tampoco tiene una fluctuación limitada en el intervalo [0, 1], a diferencia de la función:
    $g(x)={\begin{cases}0,&{\text{ si }}x=0\\x^{2}\sin(1/x),&{\text{ si }}x\neq 0\end{cases}}$.
Aquí, la variación del término seno, que aumenta bruscamente para $x\to 0$, se ve suficientemente amortiguada por la potencia al cuadrado adicional.

### Extensiones

Esta definición también se puede utilizar para funciones complejas o funciones con valores en un espacio métrico $(Y,d)$ (en este último caso, reemplácese $\vert f(x_{i+1})-f(x_{i})\vert$ por $d(f(x_{i}),f(x_{i+1}))$).

## Funciones BV en varias variables

Las funciones de variación acotada, o funciones $BV$, son funciones cuyas derivadas distributivas son valores vectoriales con medidas de Radon finitas. De manera más precisa:

### Definición

Sea $\Omega$ un subconjunto abierto de $\mathbb {R} ^{n}$. Una función $u\in L^{1}(\Omega )$ es de variación acotada o elemento de $BV(\Omega )$ si su derivada distribucional es una medida de Radon finita, con signo y con valor vectorial. Es decir, existe $Du\in {\mathcal {M}}(\Omega ,\mathbb {R} ^{n})$, de modo que se cumple que
    $\int _{\Omega }u(x)\,\operatorname {div} {\varphi }(x)\mathrm {d} x=-\int _{\Omega }\langle \varphi ,Du(x)\rangle \qquad {\text{ para todo }}{\varphi }\in C_{c}^{1}(\Omega ,\mathbb {R} ^{n})$

## Conexión con curvas rectificables

Una función continua $f\colon [a,b]\to \mathbb {R}$ también puede entenderse como un camino en un espacio métrico $\mathbb {R}$. Se cumple que $f$ tiene una variación acotada si y solo si $f$ es un camino rectificable, es decir, tiene una longitud finita.

## Conexión con la teoría de la medida

En teoría de la medida, las funciones con valores reales/complejos de variación acotada son exactamente las funciones de distribución de medidas de Borel con signo (o complejas) en $\mathbb {R}$.