We prove a formula for the current in an electron gas in a semiclassical limit corresponding to strong, constant, magnetic fields. Little regularity is assumed for the scalar potential $V$. In particular, the result can be applied to the mean field from magnetic Thomas-Fermi theory $V_{\mathrm{MTF}}$. The proof is based on an estimate on the density of states in the second Landau band.

Let us consider in a domain Ω of Rⁿ solutions of the differential inequality |Δu(x)| ≤ V(x)|u(x)|, x ∈ Ω, where V is a non smooth, positive potential. We are interested in global unique continuation properties. That means that u must be identically zero on Ω if it vanishes on an open subset of Ω.

Let L be the full laplacian on the Heisenberg group ${ℍ}^n$ of arbitrary dimension n. Then for $f\in L^2\left({ℍ}^n\right)$ such that ${(I-L)}^{s/2}f\in L^2\left({ℍ}^n\right)$, s > 3/4, for a $\varphi \in C_c\left({ℍ}^n\right)$ we have ${ʃ}_{{ℍ}^n}\left|\varphi \left(x\right)\right|su{p}_{0<t\le 1}{\left|e^{(\surd -1)tL}f\left(x\right)\right|}^{2}dx\le C_{\varphi }\parallel f{\parallel }_{W^s}^2$. On the other hand, the above maximal estimate fails for s < 1/4. If Δ is the sublaplacian on the Heisenberg group ${ℍ}^n$, then for every s < 1 there exists a sequence $f_n\in L^2\left({ℍ}^n\right)$ and $C_n>0$ such that ${(I-L)}^{s/2}{f}_n\in L^2\left({ℍ}^n\right)$ and for a $\varphi \in C_c\left({ℍ}^n\right)$ we have ${ʃ}_{{ℍ}^n}\left|\varphi \left(x\right)\right|su{p}_{0<t\le 1}{\left|e^{(\surd -1)t\Delta }{f}_n\left(x\right)\right|}^{2}dx\ge C_n\parallel f_n{\parallel }_{W^s}^2,li{m}_{n\to \infty }{C}_n=+\infty$.

For s>0, we consider bounded linear operators from $D\left({ℝ}^n\right)$ into $D^{\text{'}}\left({ℝ}^n\right)$ whose kernels K satisfy the conditions $|{\partial }_x^{\gamma }K(x,y)|\le C_{\gamma }{|x-y|}^{-n+s-\left|\gamma \right|}$ for x≠y, |γ|≤ [s]+1, $|{\nabla }_y{\partial }_x^{\gamma }K(x,y)|\le C_{\gamma }{|x-y|}^{-n+s-\left|\gamma \right|-1}$ for |γ|=[s], x≠y. We establish a new criterion for the boundedness of these operators from $L^2\left({ℝ}^n\right)$ into the homogeneous Sobolev space ${Ḣ}^s\left({ℝ}^n\right)$. This is an extension of the well-known T(1) Theorem due to David and Journé. Our arguments make use of the function T(1) and the BMO-Sobolev space. We give some applications to the Besov and Triebel-Lizorkin spaces as well as some...