Imagine $\mu$ and $\nu$ are two Borel probabilty measures in the interval $[0,1]$. 


We say that $\mu$ is *absolutely continuous* with respect to $\nu$, if for every measurable set $A$ such that $\nu(A)=0$, we also have $\mu(A)=0$. 


We can define the *Fourier coefficients* of $\mu$ by
$$\hat\mu(n)=\int\_{[0,1]} e^{2\pi i n x}d\mu(x),\quad n\in\mathbb Z,$$
and we can define $\hat\nu(n)$ similarly.


**Question** Is there a way to characterize the absolute continuity of $\mu$ with respect to $\nu$ by looking only at their Fourier coefficients $\hat\mu(n)$ and $\hat\nu(n)$?


Thanks a lot!



Absolute continuity reflected in Fourier coefficients?
The condition (C) is stated bellow (but it is only a necessary condition). It does not look easy to check in practical cases. 


First, some notations. If $a=(a\_n)\_{n\in\mathbb Z}$ is a sequence of complex number, then $\tau(a):=(a\_{n+1})\_{n\in\mathbb Z}$ denotes the shift sequence. If $P=\sum\_{j=-N}^Nc\_je^{2\pi ijx}$ ($P$ is a trigonometric polynomial), we define the operator $\widetilde P$ define on the sequences of complex numbers by $\widetilde P(a)=\sum\_{j=-N}^Nc\_j\tau^j(a)$.


Assume that $\mu\ll\nu$. Then there exists a non-negative function $f\in\mathbb L^1(\nu)$ such that for each measurable subset $A$ of $[0,1]$, $\mu(A)=\int\_Af(x)\mathrm d\nu(x)$. Fix $\varepsilon\gt 0$. There is some non-negative simple function $g$ such that $\lVert f-g\rVert\_{\mathbb L^1(\nu)}\lt\varepsilon$. For each measurable set involved in this simple function, approximate in $\mathbb L^1(\nu)$ its characteristic function by a continuous function. These continuous function may be approximated up to $\varepsilon$ by non-negative trigonometric polynomials. We thus conclude that 
$$\tag{C}(\widehat{\mu}(n))\_{n\in\mathbb Z}\in \overline{\{\widetilde{P}(\widehat{\nu}), P\mbox{ is a non negative trigonometric polynomial}\}}^{\ell^\infty}.$$


