Functions of bounded variation are not dense in the Strong BD Norm

Step 1: Preliminary definitions and estimates.

Let i_k=1 for odd k and i_k=2 for even k. Set

Here x_{i_k} is the coordinate of the new oscillation, and x_{3-i_k} is the other coordinate. For a trigonometric polynomial p on \mathbb T^2, write

The finite Fourier expansion and the convolution formula for a product give

For each factor 1+a\cos(2\pi N_jx_{i_j}), the sum of the absolute Fourier coefficients is 1+a; for a\cos(2\pi N_kx_{i_k}), it is a. Hence, using the latter inequality of (?), we get

Let e_1,e_2 be the coordinate unit vectors. By the Fourier expansion of g_k, every frequency \xi with \widehat g_k(\xi)\ne0 has the form

The new frequency therefore dominates in the i_k coordinate, while the other coordinate contains only earlier frequencies:

Define a periodic trigonometric polynomial q_k by

Differentiation multiplies the coefficient at \xi by 2\pi i\xi_{i_k}, while \widehat g_k(\xi)=0 when \xi_{i_k}=0. Since g_k is real, its coefficients are conjugate symmetric. The definition therefore gives \widehat q_k(-\xi)=\overline{\widehat q_k(\xi)}, so q_k is real.

Set

For a smooth w\in C^{\infty}(\mathbb T^2;\mathbb R^2), let e(w)=(\nabla w+\nabla w^T)/2 denote the density of Ew=e(w)\mathcal L^2. For odd k, the identity \partial_1q_k=g_k gives

For even k, the coordinates are interchanged. Thus

Combining (?), (?), and (?), we get

Using the first inequality of (?),

we obtain

By the growth condition (?),

Step 2: The symmetric gradient of the limit.
Define

All three series converge uniformly by Step 2. In particular, u\in C(\overline Q;\mathbb R^2), hence u\in L^1(Q;\mathbb R^2), and H_1,H_2 are continuous periodic functions.

Consider the finite sums

The affine function (x_2,x_1) has symmetric gradient \left(\begin{smallmatrix}0&1\\1&0\end{smallmatrix}\right)\mathcal L^2. Since F_0=1, the off-diagonal terms telescope:

Together with (?), this gives

To pass to the distributional limit, fix \varphi\in C_c^\infty(Q). For the diagonal entries, integration by parts at the finite stages and uniform convergence give

For the off-diagonal entry, we similarly get

The last equality follows from Lemma 3.1 after extending \varphi by zero to \mathbb T^2. The extension is smooth because \varphi vanishes near the boundary of Q.

These identities give

which is (1.1). The total variation is finite, since

Thus u\in\mathrm{BD}(Q). Note that this argument identifies the symmetric sum \partial_1u_2+\partial_2u_1 as a measure without requiring either individual cross derivative to be a measure.

Step 3: Separation from BV functions.
Let A,B\subset (0,1) be the sets of Lebesgue measure zero from Lemma 3.1, set F=A\times B, and write

The notation \mu\!\mathbin{\vrule height 1.6ex depth 0pt width 0.13ex\vrule height 0.13ex depth 0pt width 1.1ex}\! F denotes the restriction of \mu to F, that is,

Since \mathcal L^2(F)=0 and \mu(F)=1, the absolutely continuous part of Eu vanishes on F, giving

For v=(v_1,v_2)\in\mathrm{BV}(Q;\mathbb R^2), apply (?) to both components v_j. All four measures D_kv_j vanish on F, so Dv\!\mathbin{\vrule height 1.6ex depth 0pt width 0.13ex\vrule height 0.13ex depth 0pt width 1.1ex}\! F=0 and Ev\!\mathbin{\vrule height 1.6ex depth 0pt width 0.13ex\vrule height 0.13ex depth 0pt width 1.1ex}\! F=0. Subtracting gives

Thus

This proves (1.1).

Step 4: Higher dimensions.
Fix n\ge2 and let Q=(0,1)^n, and

and

Let

and define the n\times n matrix P so that (P)_{1}^2=(P)_{2}^1=1 and all other entries are zero. The first two components of \widetilde u are independent of the remaining coordinates, so (?) gives

In particular, |P|=\sqrt2, \widetilde u\in\mathrm{BD}(Q), and \widetilde\mu is a probability measure carried by the Lebesgue-null set \widetilde F.

Recall from (?) the orthogonal projections \pi_j.

We have

Thus from the one-dimensional slicing (?), we get |Dw|(\widetilde F)=0 for any w\in\mathrm{BV}(Q,\mathbb R^n).

Next, choose a compact set K\subset \widetilde F with \widetilde\mu(K)>0, which exists by inner regularity. Choose \eta\in C_c^\infty(Q) with 0\le\eta\le1 and \eta=1 on K.

Let v=\eta\widetilde u on Q, extended by zero to \mathbb R^n. We have v\in C_c(Q). For vectors a,b\in\mathbb R^n, we write a\odot b=(a\otimes b+b\otimes a)/2. The distributional product rule gives

These are finite measures, so v\in\mathrm{BD}(\mathbb R^n).

On K the absolutely continuous terms vanish, leaving

Hence for every w\in\mathrm{BV}(Q;\mathbb R^n),

The generalization from Q to a general open set \Omega\subset \mathbb R^n is straightforward. This completes the proof of the theorem.

For a finite measure \nu on \mathbb T, the Fourier coefficients are

Step 1: Uniqueness of signed frequency sums.

We first prove a uniqueness result: suppose two finitely supported sequences (\varepsilon_j) and (\varepsilon'_j) with entries in \{-1,0,1\} satisfy \sum_{j=1}^{\infty}\varepsilon_jN_j=\sum_{j=1}^{\infty}\varepsilon'_jN_j. We claim that (\varepsilon_j) and (\varepsilon'_j) necessarily coincide; suppose instead that they are distinct, and let p=\max\{j:\varepsilon_j\ne\varepsilon'_j\}. Subtracting the sums cancels all terms with j>p. Taking absolute values gives

a contradiction. This proves the claim.

In particular, zero has only the all-zero representation.

Step 2: Construction and Fourier coefficients of \nu_1, \nu_2.
Let (M_j)_{j\ge1} denote either (N_{2j-1})_{j\ge1} or (N_{2j})_{j\ge1}, and set R_0=1 and

We have

When we expand the product, we choose one of the three terms from each factor. For j=1,\ldots,r, the number \varepsilon_j\in\{-1,0,1\} records this choice in the j-th factor: \varepsilon_j=0 selects 1, \varepsilon_j=1 selects (a/2)e^{2\pi iM_jt}, and \varepsilon_j=-1 selects (a/2)e^{-2\pi iM_jt}. Thus

the product expands as

For q\in\mathbb Z, we get the Fourier coefficient

Only terms satisfying \sum_{j=1}^r\varepsilon_jM_j=q contribute to this Fourier coefficient, and by Step 1, there is at most one finitely supported sequence (\varepsilon_j) satisfying the equality. Thus \widehat{R_r\mathcal L^1}(0)=1 and for every fixed q, as we increase r, \widehat{R_r\mathcal L^1}(q) will eventually remain the same.

Since R_r\ge0, the measures R_r\mathcal L^1 are probability measures. Weak compactness on \mathbb T, together with the fact that Fourier coefficients determine a measure, gives convergence of the full sequence to a probability measure \nu, with

These coefficients are real. Write \nu_1=\nu and \nu_2=\nu for the cases of (N_{2j-1})_{j\ge1} and (N_{2j})_{j\ge1}, respectively.

Step 3: Convergence to the product measure.
Write R_r^{(1)} and R_r^{(2)} for the products of Step 2 associated with the odd and even subsequences. Then

For \varphi,\psi\in C(\mathbb T), Fubini’s theorem therefore gives

Finite sums of these product functions are uniformly dense in C(\mathbb T^2). Since all the measures have mass one, uniform approximation extends the convergence to every continuous test function. Thus F_k\mathcal L^2\overset{*}{\rightharpoondown}\nu_1\otimes\nu_2.

Step 4: Singularity of \nu_1, \nu_2.
Fix \nu to be either \nu_1 or \nu_2, and consider the frequency sequence (M_j) that is (N_{2j-1})_{j\ge1} or (N_{2j})_{j\ge1}, respectively. By equation (?), and noting that e.g. M_j is represented uniquely (by Step 1) with the choice \varepsilon_j=1 and other coefficients zero, we have

We also have

indeed, note that M_j is N_p for some p\in\mathbb{N}, and then for any choice of (\varepsilon_j) we have

while if \varepsilon_{\ell}\neq 0 for a given \ell>p, we get

Thus 2M_j has no representation as a finite sum \sum_{j}\varepsilon_j N_j.

Consider the continuous functions

On the second and third lines below, we use the identities \cos^2 s=\tfrac 12 (1+\cos(2s)) and \cos s \cos t=\tfrac 12(\cos(s-t)+\cos(s+t)). Thus

Hence

It follows that

Moreover, since cosine functions with distinct frequencies are orthogonal with respect to the usual Lebesgue measure, we have

For every \varepsilon>0, Chebyshev’s inequality at the dyadic indices r=2^s gives

Apply the first Borel–Cantelli lemma for each threshold \varepsilon=1,1/2,1/3,\ldots. By the lemma, for both measures we have that outside a null set, every such threshold is exceeded only finitely often, and so

The set

is Borel because the Z_{2^s} are continuous. It satisfies \nu(E_\nu)=1 and \mathcal L^1(E_\nu)=0, since a/2\ne0. This proves \nu\perp\mathcal L^1.

Recalling that \nu is either \nu_1 or \nu_2, we get the two \mathcal L^1-null sets E_1,E_2 which carry \nu_1,\nu_2, respectively.

Step 5: Absence of atoms and null carriers in (0,1).
The two measures cannot have nonzero Fourier coefficients at the same nonzero frequency q\in\mathbb{Z}; otherwise, that frequency would have two finite sum representations \sum_{j}\varepsilon_j N_j, one using odd j and the other using even j, contradicting Step 1. The Fourier coefficients of the convolution \nu_1*\nu_2 are products \widehat{\nu_1}(q)\widehat{\nu_2}(q), so they equal one at q=0 and vanish for other q\in\mathbb{Z}. These are exactly the coefficients of the Lebesgue measure; hence \nu_1*\nu_2=\mathcal L^1.

Suppose we had \nu_1(\{t_0\})=c>0 for some t_0\in\mathbb T. Since \nu_2(E_2)=1, we would have

This set is Lebesgue-null, whereas the convolution equals the Lebesgue measure, giving a contradiction. The same argument applies to \nu_2, so neither measure has atoms.

Represent torus points by numbers in [0,1) and remove 0 from the Borel null sets E_1,E_2 to obtain A,B\subset(0,1). Since neither measure charges 0, removing it loses no mass. Thus \nu_1(A)=\nu_2(B)=1, and consequently \mu(A\times B)=1, as required.