\section{Introduction}

In this paper we study the boundedness of periodic Fourier multipliers and periodic pseudo-differential operators from H\"older spaces into Besov spaces. Let $\sigma:\mathbb{Z}\rightarrow \mathbb{C}$ be a {\em symbol}, the corresponding Fourier multiplier $\text{Op}(\sigma)$ is the periodic pseudo-differential operator  formally defined by the formula
\begin{equation}\label{mt}
\text{Op}(\sigma(\cdot))f=\mathscr{F}^{-1}(\sigma(\xi)\mathscr{F}(f)),
\end{equation}
where $\mathscr{F}$ is the Fourier transform on the torus $\mathbb{T}=[0,2\pi)$ and $\mathscr{F}^{-1}$ is the inverse Fourier transform. In 1979, Agranovich  \cite{ag} proposed a global quantization of periodic pseudo-differential operators on the circle $\mathbb{S}^{1}\equiv\mathbb{T}$. Later, this theory was widely developed by Ruzhansky and Turunen in \cite{Ruz}, where the theory of periodic pseudo-differential operators is considered in arbitrary dimensions. Periodic Besov spaces form a class of function spaces  which are of special interest in analysis and mathematical physics. They can be defined via dyadic decomposition and form scales $B^r_{p,q}(\mathbb{T})$ carrying three indices: $r\in\mathbb{R}$, $0<p,q\leq \infty.$ In the special case $p=q=\infty,$ $\Lambda^r(\mathbb{T})=B^r_{\infty,\infty}(\mathbb{T})$ is nothing else but the familiar space of all H\"older continuous functions of order $0<r<1.$  There are several possibilities concerning the conditions to impose on a symbol $\sigma$ in the attempt to establish a periodic Fourier multiplier theorem of boundedness on Besov spaces and Lebesgue spaces for its corresponding operator (\ref{mt}) (see \cite{Bar, Bie, Bu1, Bu2, Bu3}). In this paper we investigate the action of periodic Fourier multipliers and periodic pseudo-differential operators from H\"older spaces into Besov spaces. Our work is closely related with a classical result by Marcinkiewicz: if $(\sigma(\xi))_{\xi\in\mathbb{Z}}$ is a sequence satisfying the following condition, now  known as variational Marcinkiewicz condition:
\begin{equation}\label{mc}
\Vert \sigma \Vert_{L^{\infty}(\mathbb{Z})}+\sup_{j\geq 0}\sum_{2^j\leq |\xi|\leq 2^{j+1}}|\sigma(\xi+1)-\sigma(\xi)|<\infty,
\end{equation}
then $\text{Op}(\sigma):L^p(\mathbb{T})\rightarrow L^p(\mathbb{T}) $ is a bounded operator for all $1<p<\infty.$ Here one may consider $\Delta \sigma(\cdot)=\sigma(\cdot+1)-\sigma(\cdot)$ as the first derivative of $\sigma.$ As a particular case of Theorem 4.2 in \cite{Ar}, every operator $\text{Op}(\sigma)$ satisfying  \eqref{mc} is a bounded operator from $B^r_{p,q}(\mathbb{T})$ into $B^r_{p,q}(\mathbb{T})$ for all $1<p<\infty,$ $r\in\mathbb{R}$ and $1\leq q\leq \infty.$ We observe that, by Corollary 4.3 in \cite{Ar}, for every $r\in(0,1)$ there exists a Fourier multiplier $\text{Op}(\sigma)$ with $\sigma$ satisfying \eqref{mc}, but with the property that $\text{Op}(\sigma)$ is not a Fourier multiplier from $B^r_{\infty,\infty}(\mathbb{T})$ into  $B^r_{\infty,\infty}(\mathbb{T})$. In order to get, in particular, boundedness of periodic Fourier multipliers on H\"older spaces, we reformulate the variational Marcinkiewicz condition by imposing the following inequality on the symbol:
\begin{equation}\label{rho2}
|\sigma(\xi)|\leq C|\xi|^{-\rho},
\end{equation}
uniformly on $\xi\neq 0,$ for some $0\leq \rho\leq 1.$ Later, by using estimates on Fourier multipliers, we deduce the boundedness of operators with symbols $\sigma(x,\xi)$ of finite regularity on $x.$ More precisely, symbols satisfying inequalities of the type
\begin{equation}\label{rho}
|\Delta_{\xi}^{\alpha}\partial_{x}^{\beta}\sigma(x,\xi)|\leq C_\beta |\xi|^{-\rho-|\alpha|},
\end{equation}
for $|\alpha|\leq l_1,|\beta|\leq l_2,$ $l_{i}<\infty.$ We note that, condition \eqref{rho} is related with the H\"ormander class of symbols on the torus proposed by Ruzhansky and Turunen in \cite{Ruz}. In Section \ref{mrp} we show that, under suitable conditions on the set of indices $p, q, r, s$ and $\rho,$ the $\rho$-condition \eqref{rho} implies the boundedness of $\text{Op}(\sigma(\cdot))$ from $B^s_{\infty,\infty}(\mathbb{T})$ into $B^r_{p,q}(\mathbb{T}),$ then we extend these results to the case of  pseudo-differential operators on the torus. We end Section \ref{mrp} with a discussion of our main results and some applications.\\

\noindent Finally, let us give some references on the topic we use along this paper. The boundedness of Fourier multipliers in $L^p$-spaces, H\"older spaces and Besov spaces has been considered by many authors for a long time. In the general case of Compact Lie groups we refer the reader to the  works of Alexopoulos, Anker, Coifman, Ruzhansky, Turunen and Wirth  \cite{Al, An, Co3, Ruz, Ruz-2, Ruz-T, RWT, Ruz-3}. The general case of operator-valued Fourier multipliers on the torus has been investigated by Arendt, Bu, Barraza, Denk, Hern\'andez, and Nau  in \cite{Ar, Bar, Bie, Bu1, Bu2, Bu3}. $L^p$ and H\"older estimates of periodic pseudo-differential operators can be found in \cite{Duvan1, Duvan2, Duvan3,  Delg} and \cite{s2}. The quantization process, $L^2$-compactness, spectral properties and $L^p$ estimates of pseudo-differential operators on the circle $\mathbb{S}^1\equiv\mathbb{T}$ also can be found in the works of Delgado, Wong and Molahajloo  \cite{DW, s1, s11, s2, MW}. Besov continuity of Fourier multipliers and pseudo-differential operators on general compact Lie groups has been investigated by the author in \cite{Duvan4}.

\section{preliminaries}\label{preliminaries}

We use the standard notation of pseudo-differential operators (see e.g. \cite{Ruz}). The Schwartz space $\mathcal{S}(\mathbb{Z}^n)$ denote the space of functions $\phi:\mathbb{Z}^n\rightarrow \mathbb{C}$ such that
 \begin{equation}
 \forall M\in\mathbb{R}, \exists C_{M}>0,\, |\phi(\xi)|\leq C_{M}\langle \xi \rangle^M,
 \end{equation}
where $\langle \xi \rangle=(1+|\xi|^2)^{\frac{1}{2}}.$ The toroidal Fourier transform is defined for any $f\in C^{\infty}(\mathbb{T}^n)$ by $$(\mathscr{F}f)(\xi):=\widehat{f}(\xi)=\int_{\mathbb{T}^n}e^{-i\langle x,\xi\rangle}f(x)dx,\,\,\xi\in\mathbb{Z}^n,$$
where $dx$ is the Haar measure on the $n$-torus $\mathbb{T}^n=[0,2\pi)^n.$ The inversion formula is given by $$f(x)=\sum_{\xi\in\mathbb{Z}^n}e^{i\langle x,\xi \rangle }\widehat{u}(\xi),\,\, x\in\mathbb{T}^n.$$

We now take up the H\"older space $\Lambda^s,$ $0<s<1.$ According to the usual definition, a function $f$ belongs to $\Lambda^s$ if there exists a constant $A$ so that $|f(x)|\leq A$ almost every where and
\begin{equation}|f|_{\Lambda^s}:=\sup_{x,y}\frac{|f(x-y)-f(x)|}{|y|^{s}}\leq A.
\end{equation}

We introduce the Besov spaces on the torus using the periodic Fourier transform as follow. Let $r\in\mathbb{R},$ $0\leq q<\infty$ and $0<p\leq \infty.$ If $f$ is a measurable function on $\mathbb{T},$ we say that $f\in B^r_{p,q}(\mathbb{T})$ if $f$ satisfies
\begin{equation}\Vert f \Vert_{B^r_{p,q}}:=\left( \sum_{m=0}^{\infty} 2^{mrq}\Vert \sum_{2^m\leq |\xi|< 2^{m+1}}  e^{ix\xi}\widehat{f}(\xi)\Vert^q_{L^p(\mathbb{T})}\right)^{\frac{1}{q}}<\infty.
\end{equation}
If $q=\infty,$ $B^r_{p,\infty}(\mathbb{T})$ consists of those functions $f$ satisfying
\begin{equation}\Vert f \Vert_{B^r_{p,\infty}}:=\sup_{m\in\mathbb{N}} 2^{mr}\Vert \sum_{2^m\leq |\xi|< 2^{m+1}}  e^{ix\xi}\widehat{f}(\xi)\Vert_{L^p(\mathbb{T})}<\infty.
\end{equation}
In the case of $p=q=\infty$ and $0<r<1 $ we obtain $B^r_{\infty,\infty}(\mathbb{T})=\Lambda^r(\mathbb{T}),$ these are Banach spaces together with the norm $$\Vert f\Vert_{\Lambda^{r}}=|f|_{\Lambda^r}+\sup_{x\in \mathbb{T}}|f(x)|.$$
Similarly to Besov spaces one defines the Triebel-Lizorkin spaces as follows. If $r\in \mathbb{R},$ $0<p\leq \infty $ $0<q< \infty,$ the Triebel-Lizorkin space $F^{r}_{p,q}(\mathbb{T})$ consists of those functions satisfying
\begin{equation} \Vert f\Vert_{F^r_{p,q}(\mathbb{T})}:=\left\Vert\left(   \sum_{s=0}^{\infty}2^{srq}\left| \sum_{2^{s}\leq |\xi|<2^{s+1}}e^{ix\xi}\widehat{f}(\xi) \right\vert^{q}   \right)^{1/q} \right\Vert_{L^p(\mathbb{T})}
\end{equation}
with a similar modification as in Besov spaces in the case $q=\infty.$ An interesting property regarding Besov spaces and Triebel-Lizorkin spaces is that $B^{r}_{p,p}=F^{r}_{p,p}$ for all $0<p<\infty.$ Now, We introduce some classes of pseudo-differential operators. The periodic H\"ormander class $S^m_{\rho,\delta}(\mathbb{T}^n\times \mathbb{R}^n), \,\, 0\leq \rho,\delta\leq 1,$ consists of those functions $a(x,\xi)$ which are smooth in $(x,\xi)\in \mathbb{T}^n\times \mathbb{R}^n$ and which satisfy toroidal symbols inequalities
\begin{equation}
|\partial^{\beta}_{x}\partial^{\alpha}_{\xi}a(x,\xi)|\leq C_{\alpha,\beta}\langle \xi \rangle^{m-\rho|\alpha|+\delta|\beta|}.
\end{equation}
Symbols in $S^m_{\rho,\delta}(\mathbb{T}^n\times \mathbb{R}^n)$ are symbols in $S^m_{\rho,\delta}(\mathbb{R}^n\times \mathbb{R}^n)$ (see \cite{Ruz}) of order $m$ which are 1-periodic in $x.$
If $a(x,\xi)\in S^{m}_{\rho,\delta}(\mathbb{T}^n\times \mathbb{R}^n),$ the corresponding pseudo-differential operator is defined by
\begin{equation}
a(X,D_{x})u(x)=\int_{\mathbb{T}^n}\int_{\mathbb{R}^n}e^{i2\pi\langle x-y,\xi \rangle}a(x,\xi)u(y)d\xi dy.
\end{equation}
The set $S^m_{\rho,\delta}(\mathbb{T}^n\times \mathbb{Z}^n),\, 0\leq \rho,\delta\leq 1,$ consists of  those functions $a(x, \xi)$ which are smooth in $x$  for all $\xi\in\mathbb{Z}^n$ and which satisfy
\begin{equation}
\forall \alpha,\beta\in\mathbb{N}^n,\exists C_{\alpha,\beta}>0,\,\, |\Delta^{\alpha}_{\xi}\partial^{\beta}_{x}a(x,\xi)|\leq C_{\alpha,\beta}\langle \xi \rangle^{m-\rho|\alpha|+\delta|\beta|}.
 \end{equation}

The operator $\Delta$ is the difference operator defined in \cite{Ruz}. The toroidal operator with symbol $a(x,\xi)$ is defined as
\begin{equation}
a(x,D_{x})u(x)=\sum_{\xi\in\mathbb{Z}^n}e^{i 2\pi\langle x,\xi\rangle}a(x,\xi)\widehat{u}(\xi),\,\, u\in C^{\infty}(\mathbb{T}^n).
\end{equation}

\noindent The corresponding class of operators with symbols in $S^m_{\rho,\delta}(\mathbb{T}^n\times \mathbb{Z}^n)$ (resp. $S^m_{\rho,\delta}(\mathbb{T}^n\times \mathbb{R}^n)$) will be denoted by $\Psi^m_{\rho,\delta}(\mathbb{T}^n\times \mathbb{Z}^n),$ (resp. $\Psi^m_{\rho,\delta}(\mathbb{T}^n\times \mathbb{R}^n)$).
There exists a process to interpolate the second argument of symbols on $\mathbb{T}^n\times \mathbb{Z}^n$ in a smooth way to get a symbol defined on $\mathbb{T}^n\times \mathbb{R}^n.$
\begin{theorem}\label{eq}
Let $0\leq \delta \leq 1,$ $0< \rho\leq 1.$ The symbol $a\in S^m_{\rho,\delta}(\mathbb{T}^n\times \mathbb{Z}^n)$ if only if there exists  a Euclidean symbol $a'\in S^m_{\rho,\delta}(\mathbb{T}^n\times \mathbb{R}^n)$ such that $a=a'|_{\mathbb{T}^n\times \mathbb{Z}^n}.$ Moreover, we have $$ \Psi^m_{\rho,\delta}(\mathbb{T}^n\times \mathbb{Z}^n)=\Psi^m_{\rho,\delta}(\mathbb{T}^n\times \mathbb{R}^n) . $$
\end{theorem}
\begin{proof} The proof can be found in \cite{Ruz}.
\end{proof}
The following results provide some properties about composition and invertibility of periodic pseudo-differential operators. Proofs of these assertions can be found in \cite{Ruz, Ruz-2}.

\begin{theorem}\label{compo}$(\textsl{Composition formula}).$ Let $0\leq \delta<\rho\leq 1.$ The composition $\tau(X,D) \circ \sigma (X,D)$ of two pseudo-differential operators with symbols $\tau \in S^l_{\rho,\delta}(\mathbb{T}^n\times \mathbb{Z}^n)$ and $\sigma \in S^m_{\rho,\delta}(\mathbb{T}^n\times \mathbb{Z}^n)$ is a pseudo-differential operator, and its toroidal  symbol $\psi(x,\xi)$ has the following asymptotic expansion,

\begin{equation}
\psi(x,\xi)\approx \sum_{\gamma \geq 0}\frac{1}{\gamma !}\Delta^{\gamma}_{\xi}\tau(x,\xi)\cdot D^{(\gamma)}_{x}\sigma(x,\xi).
\end{equation}

\end{theorem}

A pseudo-differential operator $\sigma(x,\xi)\in S^m_{\rho,\delta}$ is called elliptic, if for every $M>0,$
there exists $R>0$ such that $|\sigma(x,\xi)|\geq R\langle \xi \rangle^{m}$ if $|\xi|\geq M.$

\begin{theorem}\label{para}$(\textsl{Parametrix existence}).$ Let $0\leq \delta<\rho\leq 1.$ For every elliptic pseudo-differential operators with symbol $\sigma \in S^m_{\rho,\delta}(\mathbb{T}^n\times \mathbb{Z}^n)$ there exists $\tau \in S^{-m}_{\rho,\delta}(\mathbb{T}^n\times \mathbb{Z}^n)$ such that

\begin{equation}
\sigma(X,D)\circ \tau(X,D)=I+R,\\ \tau(x,D)\circ \sigma(X,D)=I+S,
\end{equation}
where, $S,R$ are pseudo-differential operators with symbols in $S^{-\infty}=\cap_{m}S_{\rho,\delta}^m.$
\end{theorem}

As a consequence of the Proposition 6 in \cite{Eli} and Theorem \ref{eq}, the continuity property of pseudo-differential operators in the H\"older spaces is contained in the following theorems. First we consider the case of operators on $\mathbb{R}^n$ as follow.
\begin{theorem}\label{hol'}
Suppose $\sigma$ is a symbol in $S^m_{1,0}(\mathbb{R}^n\times \mathbb{R}^n).$ Then the operator $\sigma(X,D)$ is a bounded mapping from $\Lambda^{s}(\mathbb{R}^n)$ into $\Lambda^{s-m}(\mathbb{R}^n)$ whenever $m<s\leq 1.$
\end{theorem}

\begin{theorem}\label{hol}
Suppose $\sigma$ is a symbol in $S^m_{1,0}(\mathbb{T}^n\times \mathbb{Z}^n).$ Then the operator $\text{Op}(\sigma)$ is a bounded mapping from $\Lambda^{s}(\mathbb{T}^n)$ into $\Lambda^{s-m}(\mathbb{T}^n)$ whenever $m<s\leq 1.$
\end{theorem}

Our main results are analogues of the Theorem \ref{hol}, but we consider symbols with limited smoothness on the configuration variables $(x,\xi)$.

\section{H\"older-Besov boundedness of periodic operators} \label{mrp}

\subsection{Main results and proofs} In this section we present the proof of our main results. Although all results in this paper are presented for the torus $\mathbb{T}^1$ only, extensions to
the torus $\mathbb{T}^n$ are valid. First, we consider the H\"older-Besov boundedness of periodic H\"older multipliers. Later we extend this result to the case of pseudo-differential operators by considering the Sobolev embedding theorem. This approach was used by Ruzhansky and Wirth \cite{Ruz-3}, (see also \cite{Ruz-T} and \cite{RWT}) in order to get  $L^p$ multiplier theorems for non-invariant pseudo-differential operators on compact Lie groups. We reserve the notaci\'on $A\lesssim B$ if there exists $c>0$ independent of $A$ and $B$ such that $A\leq c\cdot B.$

\begin{theorem}\label{main} Let $ \rho\in[0,1]$ and $\sigma(\xi)$ be a symbol satisfying the $\rho$-condition. Then, the corresponding Fourier multiplier $\textnormal{Op}(\sigma):B^{s}_{\infty,\infty}(\mathbb{T})\rightarrow B^{r}_{p,q}(\mathbb{T})$ is a bounded operator for all $r+\frac{1}{2}-\rho<s\leq 1,$ $0< p\leq \infty$ and $0<q< \infty.$ If we assume $r+\frac{1}{2}-\rho\leq s\leq 1,$  we obtain the boundedness of $\textnormal{Op}(\sigma)$ from $B^{s}_{\infty,\infty}$ into $B^{r}_{p,\infty}.$
\end{theorem}
\begin{proof}

Let us consider $f\in C^{\infty}(\mathbb{T}).$ In order to estimate the Besov norm of $\text{Op}(\sigma)f$ we use its dyadic decomposition. First we note that

\begin{equation}\sum_{\xi\in\mathbb{Z}-\{0\}}|\mathscr{F}(\text{Op}(\sigma)f)(\xi)|^2=\sum_{m=0}^{\infty}\sum_{2^m\leq|\xi|<2^{m+1}}|\mathscr{F}(\text{Op}(\sigma)f)(\xi)|^2.
\end{equation}
Now we estimate every dyadic decomposition as follow. If take $h=2\pi/3\cdot 2^m$ and $2^m\leq |\xi|\leq 2^{m+1}$ we have $|e^{-i\xi h}-1|\geq \sqrt{3}.$ Hence we get
\begin{align*} \sum_{2^m\leq|\xi|<2^{m+1}}|\mathscr{F}(\text{Op}(\sigma)f)(\xi)|^2 &\leq \sum_{2^m\leq|\xi|<2^{m+1}}      |e^{-ih\xi}-1|^2 |\mathscr{F}(\text{Op}(\sigma)f)(\xi)|^2\\
&= \sum_{2^m\leq|\xi|<2^{m+1}}      |e^{-ih\xi}-1|^2 |\sigma(\xi)\mathscr{F}(f)(\xi)|^2\\
&\leq \sum_{2^m\leq|\xi|<2^{m+1}}      |e^{-ih\xi}-1|^2 |\xi|^{-2\rho}|\mathscr{F}(f)(\xi)|^2\\
&\lesssim \sum_{2^m\leq|\xi|<2^{m+1}}      |e^{-ih\xi}-1|^2 2^{-2m\rho}|\mathscr{F}(f)(\xi)|^2\\
&\leq 2^{-2m\rho} \sum_{\xi\in\mathbb{Z}}      |e^{-ih\xi}-1|^2 |\mathscr{F}(f)(\xi)|^2.
\end{align*}
On the other hand, Fourier inversion formula guarantees that
\begin{equation}
f(t-h)-f(t)=\sum_{\xi\in\mathbb{Z}}(e^{-i\xi h}-1)(\mathscr{F}f)(\xi)e^{i\xi t}.
\end{equation}
By the Plancherel theorem we conclude that
\begin{align*} \sum_{\xi\in\mathbb{Z}}      |e^{-ih\xi}-1|^2 |\mathscr{F}(f)(\xi)|^2= \Vert f(\cdot -h)-f(\cdot) \Vert^2_{L^{2}(\mathbb{T})}\leq (\frac{2\pi}{3\cdot 2^m})^{2s}\Vert f\Vert^2_{\Lambda^{s}(\mathbb{T})}.
\end{align*}
Hence
\begin{align}\sum_{2^m\leq|\xi|<2^{m+1}}|\mathscr{F}(\text{Op}(\sigma)f)(\xi)|^2 &\leq 2^{-2m\rho}(\frac{2\pi}{3\cdot 2^m})^{2s}\Vert f\Vert^2_{\Lambda^{s}(\mathbb{T})}\\
&\lesssim 2^{-2m(\rho+s)}\Vert f\Vert^2_{\Lambda^{s}}.
\end{align}
By the Cauchy-Schwarz inequality, for all $0<p\leq \infty $ we get
\begin{align*}\left\Vert \sum_{2^m\leq|\xi|<2^{m+1}}\mathscr{F}(\text{Op}(\sigma)f)(\xi)e^{ix\xi}\right\Vert_{L^p(\mathbb{T})} &\leq 2\pi \cdot \sum_{2^m\leq|\xi|<2^{m+1}}|\mathscr{F}(\text{Op}(\sigma)f)(\xi)|\\
&\leq 2\pi \cdot \left(\sum_{2^m\leq|\xi|<2^{m+1}}|\mathscr{F}(\text{Op}(\sigma)f)(\xi)|^2  \right)^{1/2}2^{\frac{1}{2}(m+1)}\\
&\lesssim 2^{-m(\rho+s)+\frac{1}{2}(m+1)} \Vert f\Vert_{\Lambda^{s}}.
\end{align*}
Now, we consider the Besov-norm of $\text{Op}(\sigma)f$ if $0<p,q<\infty:$ in fact, we have
\begin{align*}
\Vert\text{Op}(\sigma)f \Vert_{B^{r}_{p,q}(\mathbb{T})}&:=\left( \sum_{m=0}^{\infty} 2^{mrq}\left\Vert \sum_{2^m\leq |\xi|< 2^{m+1}}  e^{ix\xi}\mathscr{F}((\text{Op}(\sigma)f)(\xi)\right\Vert^q_{L^p(\mathbb{T})}\right)^{\frac{1}{q}}\\
&\leq \left( \sum_{m=0}^{\infty} 2^{mrq} 2^{-mq(\rho+s)+\frac{1}{2}q(m+1)} \Vert f\Vert^q_{\Lambda^{s}}   \right)^{\frac{1}{q}}\\
& \lesssim (\sum_{m=0}^{\infty} 2^{mrq} 2^{-mq(\rho+s)+\frac{1}{2}q(m+1)})^{1/q} \Vert f\Vert_{\Lambda^{s}}.
\end{align*}
From the condition $r+\frac{1}{2}-\rho<s\leq 1$ we obtain
\begin{equation}\sum_{m=0}^{\infty} 2^{mrq} 2^{-mq(\rho+s)+\frac{1}{2}q(m+1)}=2^{\frac{1}{2}}\sum_{m=0}^{\infty} 2^{mq(r-\rho-s+\frac{1}{2})}<\infty.
\end{equation}
Hence $\Vert\text{Op}(\sigma)f \Vert_{B^{r}_{p,q}(\mathbb{T})}\lesssim \Vert f\Vert_{\Lambda^{s}} $ which shows the boundedness of $\text{Op}(\sigma)$ when $q<\infty.$ Now we consider the case $q=\infty.$ In fact, if we assume $r-\rho+\frac{1}{2}\leq s\leq 1,$ we have
\begin{align*}
\Vert\text{Op}(\sigma)f \Vert_{B^{r}_{p,\infty}(\mathbb{T})}&:= \sup_{0\leq m< \infty} 2^{mr}\left\Vert \sum_{2^m\leq |\xi|< 2^{m+1}}  e^{ix\xi}\mathscr{F}((\text{Op}(\sigma)f)(\xi)\right\Vert_{L^p(\mathbb{T})}   \\
&\lesssim \sup_{0\leq m< \infty} 2^{mr} 2^{-m(\rho+s)+\frac{1}{2}(m+1)} \Vert f\Vert_{\Lambda^{s}}  \\
&\lesssim \Vert f\Vert_{\Lambda^{s}}.
\end{align*}
With above inequality we end the proof.
\end{proof}

\begin{theorem}\label{non} Let us consider $0\leq \rho\leq 1\leq p<\infty,$ $0<q<\infty$ and $r+\frac{1}{2}-\rho<s\leq 1.$ If $\sigma(x,\xi)$ satisfies
\begin{equation}|\partial_{x}^\beta\sigma(x,\xi)|\leq C_{\beta}|\xi|^{-\rho},\,\, |\beta|\leq[1/p]+1,\xi\neq 0,
\end{equation}
then the pseudo-differential operator $\textnormal{Op}(\sigma):B^{s}_{\infty,\infty}(\mathbb{T})\rightarrow B^r_{p,q}(\mathbb{T})$ is a bounded operator.
\end{theorem}
\begin{proof}
Let $f\in C^{\infty}(\mathbb{T}).$ To prove this theorem we write
\begin{align*} \textnormal{Op}(\sigma)f(x)&=\sum_{\xi\in\mathbb{Z}}e^{ix\xi}\sigma(x,\xi)\widehat{f}(\xi)=\int_{\mathbb{T}}\left(\sum_{\xi\in\mathbb{Z}} e^{i(x-y)\xi}\sigma(x,\xi)\right)f(y)dy\\
&=\int_{\mathbb{T}}\left(\sum_{\xi\in\mathbb{Z}} e^{iy\xi}\sigma(x,\xi)\right)f(x-y)dy.
\end{align*}
Hence, $\text{Op}(\sigma)f(x)=(\varkappa(x,\cdot)\ast f)(x),$ where
\begin{equation} \varkappa(z,y)=\sum_{\xi\in\mathbb{Z}} e^{iy\xi}\sigma(z,\xi).
\end{equation}
Moreover, if we define $A_{z}f(x)=(\varkappa(z,\cdot)\ast f)(x)$ for every $z\in\mathbb{T},$ we have $$A_{x}f(x)=\text{Op}(\sigma)f(x),\,\,\,x\in\mathbb{T}.$$ For all $0\leq |\beta|\leq [1/p]+1$ we have $\partial^{\beta}_{z}A_{z}f(x)=\text{Op}(\partial_{z}^{\beta}\sigma(z,\cdot))f(x).$
 if $1\leq p<\infty$ we have
\begin{align*}
\Vert \sum_{2^m\leq |\xi|<2^{m+1}} e^{ix\xi}\mathscr{F}(\text{Op}(\sigma)f)(\xi) \Vert^p_{L^{p}}&:=\int_{\mathbb{T}}\left|   \sum_{2^m\leq |\xi|<2^{m+1}} e^{ix\xi}\int_{\mathbb{T}}e^{-iy\xi}\text{Op}(\sigma)f(y)dy \right|^pdx\\
&=\int_{\mathbb{T}}\left|   \sum_{2^m\leq |\xi|<2^{m+1}} e^{ix\xi}\int_{\mathbb{T}}e^{-iy\xi}(A_{y}f)(y)dy \right|^pdx\\
&\leq \sup_{z\in\mathbb{T}}\int_{\mathbb{ T}}\left|   \sum_{2^m\leq |\xi|<2^{m+1}} e^{ix\xi}\int_{\mathbb{T}}e^{-iy\xi}(A_{z}f)(y)dy \right|^pdx.\\
\end{align*}
By the Sobolev embedding theorem we have

\begin{align*} \sup_{z\in\mathbb{T}}\int_{\mathbb{T}} &\left|   \sum_{2^m\leq |\xi|<2^{m+1}} e^{ix\xi}  \int_{\mathbb{T}}e^{-iy\xi}(A_{z}f)(y)dy \right|^pdx \\
&\lesssim \sum_{|\beta|\leq [1/p]+1}\int_{\mathbb{T}}\int_{\mathbb{T}} \left| \partial^{\beta}_{z}    \sum_{2^m\leq |\xi|<2^{m+1}} e^{ix\xi}  \int_{\mathbb{T}}e^{-iy\xi}(A_{z}f)(y)dy  \right|^pdz\,dx   \\
&\leq \sum_{|\beta|\leq [1/p]+1} \int_{\mathbb{T}} \int_{\mathbb{T}}  \left|    \sum_{2^m\leq |\xi|<2^{m+1}} e^{ix\xi}  \mathscr{F}((\partial^{\beta}_{z} A_{z}f))(\xi)  \right| ^pdxdz\\
&= \sum_{|\beta|\leq [1/p]+1} \int_{\mathbb{T}} \Vert    \sum_{2^m\leq |\xi|<2^{m+1}} e^{ix\xi}  \mathscr{F}((\partial^{\beta}_{z} A_{z}f))(\xi)  \Vert^p_{L^p}dz\\
&\lesssim \sup_{|\beta|\leq [1/p]+1}\int_{\mathbb{T}} \Vert    \sum_{2^m\leq |\xi|<2^{m+1}} e^{ix\xi}  \mathscr{F}((\partial^{\beta}_{z} A_{z}f))(\xi)  \Vert^p_{L^p}dz
\end{align*}
Hence,
\begin{align*} \Vert \sum_{2^m\leq |\xi| <2^{m+1}}& e^{ix\xi}\mathscr{F}(\text{Op}(\sigma)f)(\xi) \Vert_{L^{p}}\\
&\lesssim \sup_{|\beta|\leq [\frac{1}{p}]+1} \left(\int_{\mathbb{T}}\Vert    \sum_{2^m\leq |\xi|<2^{m+1}} e^{ix\xi}  \mathscr{F}((\text{Op}(\partial^{\beta}_{z}\sigma(z,\cdot))f))(\xi)  \Vert^{p}_{L^p}dz\right)^{1/p}.
\end{align*}
Thus, considering $0<q<\infty$ we obtain

\begin{align*}
&\Vert\text{Op}(\sigma)f \Vert_{B^{r}_{p,q}(\mathbb{T})}\\
&=\left( \sum_{m=0}^{\infty} 2^{mrq}\left\Vert \sum_{2^m\leq |\xi|< 2^{m+1}}  e^{ix\xi}\mathscr{F}((\text{Op}(\sigma)f)(\xi)\right\Vert^q_{L^p(\mathbb{T})}\right)^{\frac{1}{q}}\\
&\lesssim \left( \sum_{m=0}^{\infty} 2^{mrq} \sup_{|\beta|\leq [\frac{1}{p}]+1} \left(\int_{\mathbb{T}}\Vert    \sum_{2^m\leq |\xi|<2^{m+1}} e^{ix\xi}  \mathscr{F}((\text{Op}(\partial^{\beta}_{z}\sigma(z,\cdot))f))(\xi)  \Vert^{p}_{L^p}dz\right)^{q/p}   \right)^{\frac{1}{q}}\\
&\lesssim \left( \sum_{m=0}^{\infty} 2^{mrq} \sup_{|\beta|\leq [\frac{1}{p}]+1} \left(\int_{\mathbb{T}}\sup_{z\in\mathbb{T}}\Vert    \sum_{2^m\leq |\xi|<2^{m+1}} e^{ix\xi}  \mathscr{F}((\text{Op}(\partial^{\beta}_{z}\sigma(z,\cdot))f))(\xi)  \Vert^{p}_{L^p}dz\right)^{q/p}   \right)^{\frac{1}{q}}\\
&\lesssim \left( \sum_{m=0}^{\infty} 2^{mrq} \sup_{|\beta|\leq [\frac{1}{p}]+1} \left(\sup_{z\in\mathbb{T}}\Vert    \sum_{2^m\leq |\xi|<2^{m+1}} e^{ix\xi}  \mathscr{F}((\text{Op}(\partial^{\beta}_{z}\sigma(z,\cdot))f))(\xi)  \Vert^{p}_{L^p}\right)^{q/p}   \right)^{\frac{1}{q}}.
\end{align*}
Hence, we can write (by using the Fatou's Lemma)
\begin{align*}
\Vert\text{Op}(\sigma)f \Vert_{B^{r}_{p,q}(\mathbb{T})} &\lesssim  \left( \sum_{m=0}^{\infty} 2^{mrq} \sup_{|\beta|\leq [\frac{1}{p}]+1,z\in\mathbb{T}} \Vert    \sum_{2^m\leq |\xi|<2^{m+1}} e^{ix\xi}  \mathscr{F}((\text{Op}(\partial^{\beta}_{z}\sigma(z,\cdot))f))(\xi)  \Vert^q_{L^p}   \right)^{\frac{1}{q}}\\
&\lesssim \sup_{|\beta|\leq [\frac{1}{p}]+1,z\in\mathbb{T}}\Vert\text{Op}(\partial^{\beta}_{z}\sigma(z,\cdot))f \Vert_{B^{r}_{p,q}(\mathbb{T})}  \\
&\leq \left[\sup_{|\beta|\leq [\frac{1}{p}]+1,z\in\mathbb{T}}  \Vert \text{Op}(\partial^{\beta}_{z}\sigma(z,\cdot)) \Vert_{B(\Lambda^s,B^r_{p,q})}\right]\Vert f \Vert_{\Lambda^{s}}.
\end{align*} With the last inequality we end the proof.
\end{proof}

\begin{remark}In order to find connection of H\"older-Besov estimates and $L^p$-estimates, in the next theorem we endowed a H\"older space of degree $0<s<1$ with the norm
\begin{equation}
\Vert f \Vert_{B^{s}_{\infty,\infty,p}}:=\vert f \vert_{\Lambda^s}+\Vert f\Vert_{L^p},
\end{equation}
where $1<p<\infty.$
\end{remark}
\begin{theorem}\label{main22} Let $0\leq \rho\leq 1,$ and $\sigma(x,\xi)$ be a measurable function satisfying
\begin{equation}\label{co}
|\partial_{x}^\beta \Delta_{\xi}^{\alpha}\sigma(x,\xi)|\leq C_{\beta}|\xi|^{-\rho-|\alpha|},\,\,\,\,|\beta|\leq [1/p]+1, |\alpha|\leq 2.\,\,\xi\neq 0.
\end{equation}
Then $\textnormal{Op}(\sigma):B^{s}_{\infty,\infty,p}(\mathbb{T})\rightarrow B^{r}_{\infty,\infty,p}(\mathbb{T})$ is a bounded operator for all $r+\frac{1}{2}-\rho\leq s\leq 1.$
\end{theorem}

\begin{proof}
We use notation as in the proof of Theorem \ref{non}. If we consider the condition \eqref{co}, in particular, we have
\begin{equation}
|\partial_{x}^\beta \sigma(x,\xi)|\leq C_{\beta}|\xi|^{-\rho},\,\,\,\,|\beta|\leq [1/p]+1, |\alpha|\leq 2.\,\,\xi\neq 0.
\end{equation}
So, by  Theorem \ref{non}, for every $z\in \mathbb{T},$ the operator $\partial^{\beta}_{z}A_{z}=\text{Op}(\partial_{z}^{\beta}\sigma(z,\cdot)):B^{s}_{\infty,\infty}(\mathbb{T})\rightarrow B^{r}_{\infty,\infty}(\mathbb{T})$  extends to  bounded operator. Next, we estimate the H\"older-norm of $\text{Op}(\sigma):$
\begin{align*}
\vert \text{Op}(\sigma)f\vert_{\Lambda^{r}(\mathbb{T})} &=\sup_{x,h\in\mathbb{T}}\vert \text{Op}(\sigma)f(x-h)- \text{Op}(\sigma)f(x)\vert |h|^{-r}\\
&=\sup_{x,h\in\mathbb{T}}\vert A_{x-h}f(x-h)- A_{x}f(x)\vert |h|^{-r}\\
&\leq \sup_{x,h,z\in\mathbb{T}}\vert A_{z}f(x-h)- A_{z}f(x)\vert |h|^{-r}
\end{align*}
By using the Sobolev embedding Theorem we have that
\begin{align*}
\sup_{x,h,z\in\mathbb{T}}\vert A_{z}f(x-h)- A_{z}f( & x)\vert |h|^{-r}\\
&\leq \sup_{x,h\in\mathbb{T}}\sum_{|\beta|\leq [1/p]+1}\Vert\sup_{z\in\mathbb{T}}| \partial_{z}^{\beta}(A_{z}f(x-h)-A_{z}f(x)) |\,\Vert_{L^p(\mathbb{T})}|h|^{-r}\\
&\leq \sup_{x,h\in\mathbb{T}}\sum_{|\beta|\leq [1/p]+1}\sup_{z\in\mathbb{T}}| \partial_{z}^{\beta}(A_{z}f(x-h)-A_{z}f(x)) ||h|^{-r}\\
&\leq \sum_{|\beta|\leq [1/p]+1} \sup_{z\in\mathbb{T}} \sup_{x,h\in\mathbb{T}} | \partial_{z}^{\beta}(A_{z}f(x-h)-A_{z}f(x)) ||h|^{-r}\\
&=\sum_{|\beta|\leq [1/p]+1} \sup_{z\in\mathbb{T}} \vert \partial_{z}^{\beta}(A_{z}f) \vert_{\Lambda^r}\\
&\leq \left[\sum_{|\beta|\leq [1/p]+1} \sup_{z\in\mathbb{T}} \Vert \partial_{z}^{\beta}(A_{z}) \Vert_{B(\Lambda^s,\Lambda^r)}\right]\Vert f \Vert_{\Lambda^{s}}.
\end{align*}
On the other hand, by Theorem 5.2 in \cite{Ruz-3} the operator $\text{Op}(\sigma)$ is a $L^p$-bounded operator for all $1<p<\infty.$ Hence, $\Vert \text{Op}(\sigma)f\Vert_{L^p}\leq C\Vert f\Vert_{L^p}.$ With this in mind, we conclude that
\begin{align}
\Vert \text{Op}(\sigma)f\Vert_{B^{r}_{\infty,\infty,p}(\mathbb{T})}:=\vert \text{Op}(\sigma)f\vert_{\Lambda^{r}(\mathbb{T})}+\Vert \text{Op}(\sigma)f\Vert_{L^p(\mathbb{T})}\lesssim \Vert f \Vert_{B^{s}_{\infty,\infty,p}}.
\end{align}
\end{proof}

\begin{theorem}\label{hardy} Let $0<s<1,$ $2\leq p<\infty$ and $0<q<\infty.$ If $r+1-\frac{2}{p}<\rho\leq 1$ and $\sigma(\xi)$ satisfies the $\rho$-condition, then $\textnormal{Op}(\sigma):B^{s}_{\infty,\infty}(\mathbb{T})\rightarrow B^{r}_{p,q}(\mathbb{T})$ is a bounded linear operator. Moreover, if $r+1-\frac{2}{p}\leq \rho\leq 1,$ then $\textnormal{Op}(\sigma):B^{s}_{\infty,\infty}(\mathbb{T})\rightarrow B^{r}_{p,\infty}(\mathbb{T})$ is a linear  bounded operator.
\end{theorem}
\begin{proof}
First, we recall the Hardy-Littlewood inequality on the torus:
If $2\leq p<\infty$ then
\begin{equation}\label{hll}
\Vert f \Vert_{L^p(\mathbb{T})}\leq \left(   C_{p}\sum_{\xi\in\mathbb{Z}}(1+|\xi|)^{p-2}|\widehat{f}(\xi)|^p  \right)^{1/p}.
\end{equation}
If we denote by $g_{m}(x)$ the function
\begin{equation}g_{m}(x)= \sum_{2^{m}\leq |\xi|<2^{m+1}}  e^{ix\xi}\mathscr{F}(\text{Op}(\sigma)f)(\xi),
\end{equation}
then $g_{m}=\mathscr{F}^{-1}[\chi_{\{2^{m}\leq |\xi|<2^{m+1}\} }\cdot \mathscr{F}(\text{Op}(\sigma)f)(\cdot)].$ By \eqref{hll} we have,
$$ \Vert g_{m} \Vert_{L^p(\mathbb{T})}\leq \left[C_p\cdot\sum_{2^m\leq |\xi|<2^{m+1}}(1+|\xi|)^{p-2}| \mathscr{F}(\text{Op}(\sigma)f)(\xi) |^{p} \right]^{1/p} ,$$
therefore, for $0<q<\infty$ we obtain
\begin{align*} \sum^{\infty}_{m=0}2^{mrq}\Vert \sum_{2^{m}\leq |\xi|<2^{m+1}} & e^{ix\xi}\mathscr{F}(\text{Op}(\sigma)f)(\xi) \Vert^{q}_{L^p(\mathbb{T})}\\
&\lesssim  \sum^{\infty}_{m=0}2^{mrq}\left[ \sum_{2^m\leq |\xi|<2^{m+1}}(1+|\xi|)^{p-2}|^p \mathscr{F}(\text{Op}(\sigma)f)(\xi) | \right]^{q/p}\\
&\lesssim \sum^{\infty}_{m=0}2^{mrq}\left[ \sum_{2^m\leq |\xi|<2^{m+1}}2^{m(p-2)}| \sigma(\xi)\mathscr{F}(f)(\xi) |^p \right]^{q/p}\\
&\lesssim \sum^{\infty}_{m=0}2^{mrq}\left[ 2^{m(p-2)}{2^{-m\rho p}} \right]^{q/p} \Vert \widehat{f}\Vert^{q}_{L^p(\mathbb{Z})}.\\
\end{align*}
Considering that $\Vert \widehat{f}\Vert_{L^p(\mathbb{Z})}\lesssim \Vert f \Vert_{\Lambda^s}$ for every $0<s<1$ and $2\leq p<\infty$ we get
\begin{equation}\sum^{\infty}_{m=0}2^{mrq}\Vert \sum_{2^{m}\leq |\xi|<2^{m+1}}  e^{ix\xi}\mathscr{F}(\text{Op}(\sigma)f)(\xi) \Vert^q_{L^p(\mathbb{T})}\lesssim \sum^{\infty}_{m=0}2^{mrq+m(p-2)\frac{q}{p}-m\rho q}  \Vert f\Vert^{q}_{\Lambda^s}.
\end{equation}
Since $r+1-\frac{2}{p}<\rho$ we get $$ C=\sum^{\infty}_{m=0}2^{mrq+m(p-2)\frac{q}{p}-m\rho q} <\infty. $$
So, $\Vert \text{Op}(\sigma) \Vert_{B^r_{p,q}}\lesssim \Vert f\Vert_{\Lambda^s}.$ Hence, we conclude the boundedness of $$\text{Op}(\sigma):B^{s}_{\infty,\infty}(\mathbb{T})\rightarrow B^{r}_{p,q}(\mathbb{T}).$$ The proof of the boundedness of $\text{Op}(\sigma)$ when $q=\infty$ is analogue.
\end{proof}

We extend Theorem \ref{hardy} to case of non-invariant periodic operators  as follows:

\begin{theorem} Let us consider $2\leq p<\infty,$ $0<q<\infty$ and $r+1-\frac{2}{p}<\rho\leq 1.$ Let $\sigma(x,\xi)$ be a symbol satisfying
\begin{equation}|\partial^{\beta}_{x}\sigma(x,\xi)|\leq C_{\beta}|\xi|^{-\rho}, \,\,|\beta|\leq[1/p]+1,\,\,\xi\neq 0.
\end{equation} Then $\textnormal{Op}(\sigma)$ is a bounded operator from $B^{s}_{\infty,\infty}$ into $B^{r}_{p,q}.$
\end{theorem}

\begin{proof} The proof of this theorem is similar to the proof of Theorem \ref{non}.
\end{proof}

Now, we prove results concerning H\"older-Triebel boundedness of Fourier multipliers.

\begin{theorem}\label{trie} Let us consider $0<q<\infty,$ $0<p\leq \infty,$ $r<\rho\leq 1$ and $\frac{1}{2}<s\leq 1.$ Then $\textnormal{Op}(\sigma):B^{s}_{\infty,\infty}(\mathbb{T})\rightarrow F^{r}_{p,q}(\mathbb{T})$ is a bounded operator if we consider that $\sigma(\xi)$ satisfies the $\rho$-condition. If we assume $r\leq \rho\leq 1,$ $\frac{1}{2}<s\leq1$ and $q=\infty$ then $\textnormal{Op}(\sigma):B^{s}_{\infty,\infty}(\mathbb{T})\rightarrow F^{r}_{p,\infty}(\mathbb{T}),$  is a bounded operator.
\end{theorem}
\begin{proof}
First we consider the case of $0<q<\infty,$ $0<p\leq \infty$ and $r<\rho.$ By the definition of Triebel-Lizorkin norm, we have
\begin{align*}
\Vert \text{Op}(\sigma)f\Vert_{F^r_{p,q}(\mathbb{T})}&:=\left\Vert\left(   \sum_{m=0}^{\infty}2^{mrq}\left| \sum_{2^{m}\leq |\xi|<2^{m+1}}e^{ix\xi}\sigma(\xi)\widehat{f}(\xi) \right\vert^{q}   \right)^{1/q} \right\Vert_{L^p(\mathbb{T})}\\
&\leq \left\Vert\left(   \sum_{m=0}^{\infty}2^{mrq}\left| \sum_{2^{m}\leq |\xi|<2^{m+1}}|\sigma(\xi)\widehat{f}(\xi) |\right\vert^{q}   \right)^{1/q} \right\Vert_{L^p(\mathbb{T})}\\
&= \left(   \sum_{m=0}^{\infty}2^{mrq}\left| \sum_{2^{m}\leq |\xi|<2^{m+1}}|\sigma(\xi)\widehat{f}(\xi) |\right\vert^{q}   \right)^{1/q} \\
&\leq \left(   \sum_{m=0}^{\infty}\left| \sum_{\xi\in\mathbb{Z}}2^{mr-m\rho}|\widehat{f}(\xi) |\right\vert^{q}   \right)^{1/q} .
\end{align*}
By using the Minkowski integral inequality (discrete version) we have
$$ \left(   \sum_{m=0}^{\infty}\left| \sum_{\xi\in\mathbb{Z}}2^{mr-m\rho}|\widehat{f}(\xi) |\right\vert^{q}   \right)^{1/q} \leq \sum_{\xi\in\mathbb{Z}}|\widehat{f}(\xi)|\left[\sum_{m=0}  2^{qm(r-\rho)}\right]^{1/q} . $$
From the condition $r<\rho$ and by using the Bernstein theorem (i.e $\Vert \widehat{f} \Vert_{L^1(\mathbb{Z})}\lesssim \Vert f\Vert_{\Lambda^s},\frac{1}{2}<s\leq 1$) we have
$$ \Vert \text{Op}(\sigma)f\Vert_{F^r_{p,q}(\mathbb{T})}\lesssim \Vert f \Vert_{\Lambda^s}. $$
If $q=\infty$ and $r\leq \rho$ we observe that
\begin{align*}
\Vert \text{Op}(\sigma)f\Vert_{F^r_{p,q}(\mathbb{T})}&:= \sup_{m\in\mathbb{N}}2^{mr}\left\Vert   \left| \sum_{2^{m}\leq |\xi|<2^{m+1}}e^{ix\xi}\sigma(\xi)\widehat{f}(\xi)    \right| \right\Vert_{L^p(\mathbb{T})}\\
&\leq \sup_{m\in\mathbb{N}}2^{mr}\sum_{2^{m}\leq |\xi|<2^{m+1}}|m(\xi)||\widehat{f}(\xi)|\\
&\leq \sup_{m\in\mathbb{N}}2^{m(r-\rho)}\sum_{\xi\in\mathbb{Z}}|\widehat{f}(\xi)|\\
&\lesssim \Vert f\Vert_{\Lambda^s}.
\end{align*}
\end{proof}
In order to get boundedness from H\"older into Triebel-Lizorkin spaces, we present the following lemma which is a generalization of the Bernstein Theorem. (See \cite{b, blo}). We recall the equivalence $\Lambda^{s}(\mathbb{T})\equiv B^{s}_{\infty,\infty}(\mathbb{T})$ for the H\"older space of order $s.$
\begin{lemma}\label{general}
 Let $2/3<p\leq 2$ and let $s_p=1/p-1/2.$ Then, the Fourier transform $f\mapsto \mathscr{F}f$ from $\Lambda^s(\mathbb{T})$ into $L^{p}(\mathbb{T})$ is a bounded operator for all $s,$ $s_p<s<1.$
\end{lemma}
\begin{theorem}\label{trie2} Let $0\leq \rho\leq 1<\alpha\leq 2,$ $s_{\alpha}=\frac{1}{\alpha}-\frac{1}{2},$ and $r+1-\frac{1}{\alpha}<\rho\leq 1.$ If $\sigma(\xi)$ satisfies the $\rho$-condition, then $\textnormal{Op}(\sigma):B^{s}_{\infty,\infty}(\mathbb{T})\rightarrow F^{r}_{p,q}(\mathbb{T})$ is a bounded operator for all $0<p\leq \infty,$ $0<q<\infty$ and $s_{\alpha}<s<1.$ Moreover, if $r+1-\frac{1}{\alpha}\leq\rho,$ the operator $\textnormal{Op}(\sigma):B^{s}_{\infty,\infty}(\mathbb{T})\rightarrow F^{r}_{p,\infty}(\mathbb{T})$ is bounded.
\end{theorem}
\begin{proof}
From the proof of Theorem \ref{trie} we have
$$ \Vert \text{Op}(\sigma)f\Vert_{F^r_{p,q}(\mathbb{T})}\leq   \left(   \sum_{m=0}^{\infty}2^{mrq}\left| \sum_{2^{m}\leq |\xi|<2^{m+1}}|\sigma(\xi)\widehat{f}(\xi) |\right\vert^{q}   \right)^{1/q}  .$$
On the other hand, if $1<\alpha \leq 2$ and $1/\alpha+1/\alpha'=1,$ by using the H\"older inequality we obtain
\begin{align*}
& \left(   \sum_{m=0}^{\infty}2^{mrq}  \left| \sum_{2^{m}\leq |\xi|<2^{m+1}}|\sigma(\xi)\widehat{f}(\xi) |\right\vert^{q}   \right)^{1/q}\\
&\leq  \left(   \sum_{m=0}^{\infty} 2^{mq(r-\rho)}\left| \left(\sum_{\xi\in\mathbb{Z}}|\widehat{f}(\xi)|^{\alpha}\right)^{\frac{1}{\alpha}}   \left(\sum_{ 2^{m}\leq |\xi|<2^{m+1} } 1\right)^{\frac{1}{\alpha'}}          \right\vert^{q}   \right)^{1/q} \\
&\leq \left(   \sum_{m=0}^{\infty} 2^{mq(r-\rho)}\left|    (2^{\frac{m+1}{\alpha'}})          \right\vert^{q}   \right)^{1/q}\Vert \widehat{f} \Vert_{L^{\alpha}(\mathbb{Z})}\\
&\lesssim \left(   \sum_{m=0}^{\infty} 2^{mq(r-\rho+\frac{1}{\alpha'})}   \right)^{1/q}\Vert \widehat{f} \Vert_{L^{\alpha}(\mathbb{Z})}.
\end{align*}
From Lemma \ref{general} and the condition $r+1-\frac{1}{\alpha}<\rho\leq 1$ we claim

$$ \Vert \text{Op}(\sigma)f\Vert_{F^r_{p,q}(\mathbb{T})}\lesssim \Vert f \Vert_{\Lambda^s}$$
for all $s_{\alpha}<s<1.$
By a similar argument, we may prove
$$ \Vert \text{Op}(\sigma)f\Vert_{F^r_{p,\infty}(\mathbb{T})}\lesssim \sup_{m\in\mathbb{N}}2^{m(r-\rho+1/\alpha')} \Vert f\Vert_{\Lambda^s}. $$
Hence,
$$ \Vert \text{Op}(\sigma)f\Vert_{F^r_{p,\infty}(\mathbb{T})}\lesssim \Vert f \Vert_{\Lambda^s}$$
for all $s_{\alpha}<s<1,$ $0<p\leq \infty$ and $r+1-\frac{1}{\alpha}\leq \rho.$
\end{proof}

\begin{theorem}\label{HTC} Let us consider the periodic pseudo-differential operator $\textnormal{Op}(\sigma)$ with the symbol $\sigma(x,\xi)$ satisfying
$$  \vert\partial_{x}^{\alpha} \sigma(x,\xi) \vert\leq C_{\alpha}|\xi|^{-\rho},\,\,|\alpha|\leq [1/q]+1,\xi\neq 0.$$
If $1\leq q<\infty,$ $0<p\leq \infty,$ $r<\rho\leq 1$ and $\frac{1}{2}<s\leq 1,$ then $\textnormal{Op}(\sigma)$ is bounded from $\Lambda^s$ into $F^{r}_{p,q}.$ Also, if we assume
 $0\leq \rho\leq 1<\alpha\leq 2,$ $s_{\alpha}=\frac{1}{\alpha}-\frac{1}{2},$ $0<p\leq \infty$ and $r+1-\frac{1}{\alpha}<\rho\leq 1,$ $\textnormal{Op}(\sigma):\Lambda^s\rightarrow F^{r}_{p,q}$ is a bounded linear operator for all $s_{\alpha}<s<1.$
\end{theorem}
\begin{proof}
If $1\leq q<\infty,$ by the Sobolev embedding theorem we write,

\begin{align*}
\left| \sum_{2^{m}\leq |\xi|<2^{m+1}}e^{ix\xi}\mathscr{F}( \text{Op}(\sigma)f )(\xi) \right\vert^{q} &\leq \sup_{z\in\mathbb{T}}\left| \sum_{2^{m}\leq |\xi|<2^{m+1}}e^{ix\xi}\mathscr{F}( \text{Op}(\sigma(z,\cdot))f )(\xi) \right\vert^{q}\\
&\lesssim \sum_{|\alpha|\leq [1/q]+1}\int_{\mathbb{T}}\vert  \sum_{2^{m}\leq |\xi|<2^{m+1}}e^{ix\xi}\mathscr{F}( \text{Op}(\partial_{z}^{\alpha}\sigma(z,\cdot))f )(\xi)   \vert^qdz\\
&\lesssim \sup_{|\alpha|\leq [1/q]+1}\int_{\mathbb{T}}\vert   \sum_{2^{m}\leq |\xi|<2^{m+1}}e^{ix\xi}\mathscr{F}( \text{Op}(\partial_{z}^{\alpha}\sigma(z,\cdot))f )(\xi)   \vert^qdz
\end{align*}

From this inequality we deduce that
\begin{align*}
&\Vert \text{Op}(\sigma)f\Vert_{F^r_{p,q}(\mathbb{T})}\\
&=\left\Vert\left(   \sum_{m=0}^{\infty}2^{mrq}\left| \sum_{2^{m}\leq |\xi|<2^{m+1}}e^{ix\xi}\mathscr{F}^{-1}[\sigma(x,\xi)\widehat{f}\,](\xi) \right\vert^{q}   \right)^{1/q} \right\Vert_{L^p(\mathbb{T})}\\
&\lesssim \left\Vert\left(   \sum_{m=0}^{\infty}2^{mrq}\int_{\mathbb{T}} \sup_{|\alpha|\leq [1/q]+1}\vert   \sum_{2^{m}\leq |\xi|<2^{m+1}}e^{ix\xi}\mathscr{F}( \text{Op}(\partial_{z}^{\alpha}\sigma(z,\cdot))f )(\xi)   \vert^qdz  \right)^{1/q} \right\Vert_{L^p(\mathbb{T})}\\
&\lesssim \left\Vert\left( \sum_{m=0}^{\infty}2^{mrq}  \sup_{|\alpha|\leq [1/q]+1
}\sup_{z\in\mathbb{T}}   \vert   \sum_{2^{m}\leq |\xi|<2^{m+1}}e^{ix\xi}\mathscr{F}( \text{Op}(\partial_{z}^{\alpha}\sigma(z,\cdot))f )(\xi)   \vert^q  \right)^{1/q} \right\Vert_{L^p(\mathbb{T})}\\
&\lesssim \sup_{|\alpha|\leq [1/q]+1
}\sup_{z\in\mathbb{T}}  \left\Vert\left( \sum_{m=0}^{\infty}2^{mrq}   \vert   \sum_{2^{m}\leq |\xi|<2^{m+1}}e^{ix\xi}\mathscr{F}( \text{Op}(\partial_{z}^{\alpha}\sigma(z,\cdot))f )(\xi)   \vert^q  \right)^{1/q} \right\Vert_{L^p(\mathbb{T})}.
\end{align*}
Hence we get  (by using the Fatou's Lemma)
\begin{align*}
&\Vert \text{Op}(\sigma)f\Vert_{F^r_{p,q}(\mathbb{T})}\\&\lesssim \sup_{|\alpha|\leq [1/q]+1,z\in\mathbb{T}} \left\Vert\left(   \sum_{m=0}^{\infty}2^{mrq} \vert   \sum_{2^{m}\leq |\xi|<2^{m+1}}e^{ix\xi}\mathscr{F}( \text{Op}(\partial_{z}^{\alpha}\sigma(z,\cdot))f )(\xi)   \vert^q \right)^{1/q} \right\Vert_{L^p(\mathbb{T})}\\
&\lesssim \sup_{|\alpha|\leq [1/q]+1,z\in\mathbb{T}} \Vert \text{Op}(\partial^{\alpha}_{z}\sigma(z,\cdot))f\Vert_{F^r_{p,q}(\mathbb{T})} \\
&\leq \sup_{|\alpha|\leq [1/q]+1,z\in\mathbb{T}} \Vert \text{Op}(\partial^{\alpha}_{z}\sigma(z,\cdot))\Vert_{B(\Lambda^s,F^r_{p,q})}\Vert f \Vert_{\Lambda^s}. \\
\end{align*}
So, by the  last inequality, Theorem \ref{trie} and Theorem \ref{trie2}, we deduce the Boundedness of $\text{Op}(\sigma(\cdot,\cdot))$ from $\Lambda^s$ into $F^{r}_{p,q}$ in the following cases:
\begin{itemize}
\item $1\leq q<\infty,$ $ 0<p\leq \infty,$  $r<\rho, \frac{1}{2}<s\leq 1.$
\item $0\leq \rho\leq 1,$ $1<\alpha\leq 2,$ $0<p\leq \infty,$ $r+1-\frac{1}{\alpha}<\rho$ and $s_{\alpha}<s<1.$
\end{itemize}
\end{proof}

\begin{theorem}\label{min} Let us consider $\textnormal{Op}(\sigma)$ be a Fourier multiplier with symbol satisfying the $\rho-$condition. Then $\textnormal{Op}(\sigma):B^{s}_{\infty,\infty}(\mathbb{T})\rightarrow F^{r}_{p,q}(\mathbb{T}),$ $0< p\leq \infty,$ $1<q<\infty$ is a bounded operator if $r+\frac{1}{2}-\rho<s\leq 1.$ If  $r+\frac{1}{2}-\rho\leq s\leq 1,$ then $\textnormal{Op}(\sigma):B^{s}_{\infty,\infty}(\mathbb{T})\rightarrow F^{r}_{p,\infty}(\mathbb{T})$ is continuous.
\end{theorem}
\begin{proof}
From the proof of Theorem \ref{main} we have
\begin{align}\sum_{2^m\leq|\xi|<2^{m+1}}|\mathscr{F}(\text{Op}(\sigma)f)(\xi)|^2 &\leq 2^{-2m\rho}(\frac{2\pi}{3\cdot 2^m})^{2s}\Vert f\Vert^2_{\Lambda^{s}(\mathbb{T})}\\
&\lesssim 2^{-2m(\rho+s)}\Vert f\Vert^2_{\Lambda^{s}}.
\end{align}
Hence
\begin{align*}
& \left(   \sum_{m=0}^{\infty}2^{mrq}  \left|  \sum_{2^{m}\leq |\xi|<2^{m+1}}|\sigma(\xi)\widehat{f}(\xi) |\right\vert^{q}   \right)^{1/q}\\
& \leq \left(   \sum_{m=0}^{\infty}2^{mrq}  \left|  \sum_{2^{m}\leq |\xi|<2^{m+1}}|\sigma(\xi)\widehat{f}(\xi) |^{2}\right\vert^{q/2}2^{q(m+1)/2}   \right)^{1/q}\\
& \lesssim\left(   \sum_{m=0}^{\infty}2^{mrq} 2^{-mq(\rho+s)}2^{q(m+1)/2}   \right)^{1/q}\Vert f\Vert_{\Lambda^s}.\\
\end{align*}
From the condition $r-\rho+\frac{1}{2}<s$ we deduce the boundedness of $\text{Op}(\sigma),$ in fact
$$ \Vert \text{Op}(\sigma)f\Vert_{F^r_{p,q}(\mathbb{T})}\leq \left(   \sum_{m=0}^{\infty}2^{mrq} 2^{-mq(\rho+s)+q(m+1)/2}   \right)^{1/q}  \Vert f \Vert_{\Lambda^s}.$$
A similar proof is valid for $q=\infty$ and $r-\rho+\frac{1}{2}\leq s.$
\end{proof}
\begin{remark} We observe that similar extensions that we give here of the Theorem \ref{main} to the  non-invariant case of pseudo-differential operators can be obtained if in place of $B^{r}_{p,q}(\mathbb{T})$ we write $F^{r}_{p,q}(\mathbb{T})$.
\end{remark}

We end this section with the following theorem on boundedness of periodic pseudo-differential operators on H\"older spaces.
\begin{theorem}\label{13}
Let $2/3< p\leq 2,$ $s_{p}=1/p-1/2,$ $0<r<1$ and $s_{p}<s<1.$ If $r+\frac{1}{q}\leq \rho$ and $\sigma(\xi)$ satisfies the $\rho$-condition, then  $\textnormal{Op}(\sigma):B^{s}_{\infty,\infty}(\mathbb{T})\rightarrow B^{r}_{\infty,\infty}(\mathbb{T})$ is a bounded Fourier multiplier.
\end{theorem}
\begin{proof}
First we consider the case where $\sigma$ depends only on the Fourier variable $\xi.$ So we get for $s\geq 0$
\begin{align*}
\Vert  \mathrm{Op}(\sigma)f\Vert_{B^{r}_{\infty,\infty}} &=\sup_{s\in\mathbb{N}} 2^{sr}\Vert \sum_{2^{s}\leq |\xi|<2^{s+1}}e^{ix\xi}\mathscr{F}(\mathrm{Op}(\sigma)f)(\xi) \Vert_{L^{\infty}(\mathbb{T})}\\
&\leq \sup_{s\in\mathbb{N}} 2^{sr} \sum_{2^{s}\leq |\xi|<2^{s+1}}|\mathscr{F}(\mathrm{Op}(\sigma)f)(\xi)| \\
&=\sup_{s\in\mathbb{N}}2^{sr} \sum_{2^{s}\leq |\xi|<2^{s+1}}|\widehat{f}(\xi)||\sigma(\xi)|
\end{align*}
By H\"older inequality we obtain
\begin{align*}
\Vert  \mathrm{Op}(\sigma)f\Vert_{B^{r}_{\infty,\infty}} &\lesssim \sup_{s\in\mathbb{N}}\left(\sum_{2^{s}\leq |\xi|<2^{s+1}} |\hat{f}(\xi)|^{p}\right)^{1/p}\left( \sum_{2^{s}\leq |\xi|<2^{s+1}}|\sigma(\xi)|^{q}2^{srq} \right)^{1/q}\\
&\lesssim \sup_{s\in\mathbb{N}} \Vert \widehat{f} \Vert_{L^{p}(\mathbb{Z})}\left( \sum_{2^{s}\leq |\xi|<2^{s+1}}\langle \xi \rangle^{-\rho q}2^{srq} \right)^{1/q}\\
&\lesssim \sup_{s\in\mathbb{N}} \Vert \widehat{f} \Vert_{L^{p}(\mathbb{Z})}\left( \sum_{2^{s}\leq |\xi|<2^{s+1}}2^{-s\rho q}2^{srq} \right)^{1/q}\\
&\lesssim \sup_{s\in\mathbb{N}} \Vert \widehat{f} \Vert_{L^{p}(\mathbb{Z})}\left( 2^{sq(r-\rho)+s} \right)^{1/q}.\\
\end{align*}
By Lemma \ref{general} we have $\Vert \hat{f}(\xi)\Vert_{L^{p}(\mathbb{Z})}\lesssim \Vert f\Vert_{B^{s}_{\infty,\infty}}$ for $s_{p}<s<1.$ Since $r+\frac{1}{q}\leq \rho$ we get,
$$ \Vert  \mathrm{Op}(\sigma)f\Vert_{  B^{r}_{\infty,\infty}  } \lesssim \Vert f \Vert_{B^{s}_{\infty,\infty}}  $$
which proves the boundedness of $\textrm{Op}(\sigma).$
\end{proof}

\subsection{Remarks and examples} There exists a connection between the $L^{p}$ boundedness of Fourier multipliers on compact Lie groups and its continuity on Besov spaces. This fact was proved by the author in Theorem 1.2 of \cite{Duvan4}. In fact, the Lie group structure of the torus $\mathbb{T}$ implies that every periodic Fourier multiplier bounded from $L^{p_{1}}$ into $L^{p_{2}}$ is bounded from $B^{r}_{p_1,q}$ into $B^{r}_{p_2,q},$ $r\in\mathbb{R}$ and $0<q\leq \infty.$ Since, in general, the boundedness of Fourier multipliers satisfying the $\rho$-condition ---or pseudo-differential operators with symbols satisfying H\"ormander conditions but with limited regularity--- fails for $p_{i}=\infty$, we have concentrate  our attention to this case in the preceding subsection, in order to give boundedness of multipliers ---and of pseudo-differential operators--- in H\"older spaces $\Lambda^{r}\equiv B^{r}_{\infty,\infty}.$
\begin{remark}
With the discussion above in mind, periodic Fourier multipliers with symbol $\sigma(\xi)$ satisfying the variational Marcinkiewicz condition:
\begin{equation}
\Vert \sigma \Vert_{L^{\infty}(\mathbb{Z})}+\sup_{j\geq 0}\sum_{2^j\leq |\xi|\leq 2^{j+1}}|\sigma(\xi+1)-\sigma(\xi)|<\infty,
\end{equation}
are bounded from $L^{p}(\mathbb{T}),$ $1<p<\infty$ and hence these operators are bounded on every Besov space $B^{r}_{p,q}(\mathbb{T})$ but, its boundedness on H\"older spaces fails (Corollary 4.3 of \cite{Ar}). It is important to mention that every Fourier multiplier satisfying the $\rho$-condition \eqref{rho2} with $0<\rho\leq 1$ also satisfies the variational Marcinkiewicz condition and, as a consequence, these operators are bounded on $L^{p},$ $1<p<\infty$ and on every Besov space $B^{r}_{p,q},$ $r\in\mathbb{R}$, $1<p<\infty$ and $0<q\leq \infty.$
\end{remark}
\begin{remark}
Theorems \ref{main}, \ref{hardy}, \ref{trie}, \ref{trie2}, \ref{min} and \ref{13} give boundedness of Fourier multipliers from H\"older spaces $B^{s}_{\infty,\infty}$ into Besov spaces $B^{r}_{p,q}$ or spaces of Triebel Lizorkin $F^{r}_{p,q}$. Theorem \ref{main} shows a dependence of the parameters $\rho,r$ and $s.$ Nevertheless, as a consequence of the Hardy-Littlewood inequality, Theorem \ref{hardy} relaxes this type of conditions for $2\leq p<\infty$ by imposing restrictions on $\rho, r$ and $p.$ On the other hand, for $\frac{2}{3}<p\leq 2,$ Theorem \ref{13} only consider a dependence on the parameters $r,\rho$ and $q.$ These theorems have been proved by using non-trivial modifications of the proof of the Bernstein Theorem \cite{b}.  Theorems \ref{main22}, \ref{non} and \ref{HTC} have been proved using the Sobolev embedding theorem as a fundamental tool.
\end{remark}
\begin{remark}\label{rhodelta}
Notice that the results of this section illustrate a very important connection between  $L^p$ boundedness and H\"{o}lder boundedness. Indeed, by observing the proof of Theorem \ref{main22}, the condition on the symbol
\begin{equation}
|\partial_{x}^\beta \sigma(x,\xi)|\leq C_{\beta}|\xi|^{-\rho},\,\,\,\,|\beta|\leq [1/p]+1.\,\,\xi\neq 0,
\end{equation}
guarantees the boundedness of $\textnormal{Op}(\sigma),$ from $B^{s}_{\infty,\infty}$ into $B^{r}_{\infty,\infty}$ for $r-s+\frac{1}{2}\leq \rho\leq 1.$ For the $L^p$ boundedness, $1<p<\infty$ of $\textnormal{Op}(\sigma)$ (see Theorem 3.7 of \cite{DR4}) it is sufficient to consider the following condition
\begin{equation}\label{holderbesov}
|\Delta_{\xi}^{\alpha}\partial_{x}^\beta \sigma(x,\xi)|\leq C_{\beta}|\xi|^{-\rho-\tilde{\rho}|\alpha|},\,\,\,\,|\beta|\leq [1/p]+1, |\alpha|\leq 2.\,\,\xi\neq 0,
\end{equation}
for $\rho=2(1-\tilde{\rho})|\frac{1}{p}-\frac{1}{2}|,$ $0\leq \tilde{\rho}\leq 1.$ Thus, if we consider the inequality \eqref{holderbesov}, with
$$ r-s+\frac{1}{2}\leq \rho=2(1-\tilde{\rho})\left|\frac{1}{p}-\frac{1}{2}\right|\leq 1, $$
we obtain the boundedness of $\textnormal{Op}(\sigma)$ from $B^{s}_{\infty,\infty,p}$ into $B^{r}_{\infty,\infty,p}.$
\end{remark}
We end this  section with the following examples on operators satisfying the $\rho$-condition and on elliptic regularity in H\"older spaces.
\begin{example}
Let $X$ be a left-invariant real vector field on the torus $\mathbb{T}.$ By Corollary 2.7 of \cite{Ruz-3}, there exists an exceptional set $\mathscr{C}\subset i\mathbb{R},$ such that for all $c\notin \mathscr{C}, $ the operator $X+c$ is invertible with inverse satisfying the $\rho$-condition with $\rho=0.$ By Theorem \ref{main}, we have for $r+\frac{1}{2}<s\leq1,$ $0<p\leq \infty$ and $0<q<\infty:$
\begin{equation}
\Vert f \Vert_{B^{r}_{p,q}}\leq C\Vert (X+c)f\Vert_{B^{s}_{\infty,\infty}}.
\end{equation}
On the other hand, if we consider $r+\frac{1}{2}\leq s\leq1,$ we obtain the estimate,
\begin{equation}
\Vert f \Vert_{B^{r}_{p,\infty}}\leq C\Vert (X+c)f\Vert_{B^{s}_{\infty,\infty}}.
\end{equation}
Analogous estimates may be obtained if we apply Theorem \ref{hardy}, Theorem \ref{trie} or Theorem \ref{13}. Similar results also can be considered if we replace $X$ by the partial Riesz transform $\mathfrak{R}=(-\mathcal{L}_{\mathbb{T}})^{-\frac{1}{2}}\circ X,$  of some negative power of the Laplace operator $\mathcal{L}_{\mathbb{T}}$.
\end{example}
\begin{example}
Let $0<r<1$ and $f\in B^{r}_{\infty,\infty}(\mathbb{T}) .$ Consider the toroidal pseudo-differential problem

\begin{equation}
     \textnormal{Op}(\sigma)u =f, \\ \vspace{0.2cm}
\end{equation}
where $\textnormal{Op}(\sigma)$ is an elliptic operator with symbol $\sigma(x,\xi)\in S^m_{\rho,\delta},$ $m>0,$ (in particular, $\textnormal{Op}(\sigma)$ can be an elliptic differential operator of the form $\sum_{0\leq i\leq m}a_{i}(x)\partial^{i}_{x},\,$ $m\geq 1$). By the existence of parametrices for elliptic operators, (see Theorems \ref{compo} and \ref{para}), there exists $q\in S^{-m}_{\rho,\delta}$ and $r\in S^{-\infty}$ such that
 \begin{equation}\textnormal{Op}(q)\circ \textnormal{Op}(\sigma)=I+\textnormal{Op}(r).
 \end{equation}
Therefore, $ \textnormal{Op}(q)\circ \textnormal{Op}(\sigma)u=u+\textnormal{Op}(r)u=\textnormal{Op}(q)f.  $ By using Theorem \ref{main22}, we have for $0< r\leq s+m-\frac{1}{2}, $ $0<s<1,$
$$  \Vert \textnormal{Op}(q)f\Vert _{B^{r}_{\infty,\infty,p}}\leq C\Vert f\Vert _{B^{s}_{\infty,\infty,p}},$$ and considering that the operator $\textnormal{Op}(r)$ is a smoothing operator we get $u\in B^{r}_{\infty,\infty,p}.$ In conclusion, under the pseudo-differential problem considered, if $f\in B^{s}_{\infty,\infty,p}(\mathbb{T}) $ then $u\in B^{r}_{\infty,\infty,p}(\mathbb{T}).$ A similar {\textit{a priori estimate}} can be obtained if we consider Theorem \ref{HTC}.
\end{example}
\noindent \textbf{Acknowledgments.}
I would like to thank the anonymous referee for his remarks which helped to improve the manuscript. The author is indebted with Alexander Cardona for helpful comments on an earlier draft of this paper. This project was partially supported by Universidad de los Andes, Mathematics Department.

\bibliographystyle{amsplain}


\section*{Introduction}

Massive amounts of geolocalized data are passively and
continuously produced by individuals when they use their mobile devices: smart phones, credit cards, GPSs, RFIDs or remote sensing devices. This deluge of digital footprints is growing at an extremely fast pace and represents an unprecedented opportunity for researchers, to address quantitatively challenging questions, in the hope of unveiling new insights on the dynamics of human societies. Many fields are concerned by the development of new techniques to handle these vast datasets, and range from applied mathematics, physics, to computer science, with plenty of applications to a variety of disciplines such as medicine, public health and social sciences for example.

Although data resulting from the use of information and
communications technologies (ICT) have the advantage of large
samples sizes (millions of observations), and high
spatio-temporal resolution, they also raise new challenging
issues. Some are technical and related to the storage, management
and processing of these data \cite{Kaisler2013}, while others are
methodological, such as the statistical validity of analysis
performed on such data. For example, in the case of mobile phone
data, researchers have often no control and limited information
regarding the data collection process, which obviously deserves
other purposes than scientific research. Various hidden biases
can affect these data used to study the spatial behavior of
anonymized individuals, and consequently observing the world
through the lenses of ICT data may therefore lead to possible
distortions and erroneous conclusions \cite{Lewis2015}. It is
thus crucial to perform statistical tests and to develop methods
in order to assess the robustness of the results obtained with
ICT data. In the research community that studies human mobility
in urban contexts
\cite{Ratti2006,Louail2014,Calabrese2015,Louail2015}, efforts in
this sense have been made in recent years, notably by
cross-checking results \cite{Lenormand2014} obtained with ICT
data and with more traditional data sources
\cite{Schneider2013,Tizzoni2014,Lenormand2014,Deville2014,Alexander2015,Toole2015,Jiang2016}. These
comparisons cover different topics, such as the analysis of
daily mobility motifs \cite{Schneider2013}, the distribution of
population at different scales \cite{Lenormand2014,Deville2014},
the estimation of commuting flows
\cite{Tizzoni2014,Lenormand2014,Alexander2015,Jiang2016}, and the
identification of land uses
\cite{Lenormand2014,Toole2015}. However, the robustness of
results to sample selection, scale or sample size has, up to our
knowledge, never been studied so far.

In the following, we present two examples of such uncertainty
analysis on higher-level spatial information extracted from
mobile phone metadata, which were produced in Senegal in 2013
\cite{Montjoye2014}. We concentrate on two information-retrieval
tasks: first, we evaluate the uncertainty when inferring land use
from the rhythms of human communication
\cite{Soto2011,Frias2012,Toole2012,Pei2013,Lenormand2015};
second, we quantify the uncertainty when identifying individuals'
most visited locations
\cite{Ahas2010,Isaacman2011,Lenormand2014,Toole2015}. We conclude
by mentioning possible future steps in order to assess more
clearly the relevance of various ICT data sources for studying
a variety of urban dynamics.

\section*{Study area and data description}

We focus here on the region of Dakar, Senegal. The mobile phone
data consists in call detail records (CDR) of phone calls and
short messages exchanged by more than 9 million of anonymized
Orange's customers. They were collected in Senegal in 2013, and
were released to research teams in the framework of the 2014
Orange Data for Development challenge \cite{Montjoye2014}. We use
in this study the second dataset (SET2) that was made available
by Orange, and which contains fine-grained location data on a
rolling 2-week basis at the individual level. For each of the 25
two-weeks periods, a sample of about 300,000 mobile phone users
were randomly selected at the country scale. Whenever one of
these individuals uses his/her mobile phone during the two-week
period, the time and his/her position (at the level of serving
cell tower) are recorded. These information can be used to study
human activity and mobility patterns in the region of Dakar, that
is here divided into 457 zones. This spatial partition is the
Voronoi tessellation constructed from the location of phone
antennas in the city, chosen as nodes. Each Voronoi cell thus
approximates the activity zone served by the antenna located at
its center (see Figure S1a).

\begin{figure*}
  \centering
  \includegraphics[width=\linewidth]{Figure2.pdf}
  \caption{\label{Fig2} \textbf{Uncertainty when inferring
      land use from mobile phone activity.} (a) Area covered by
    the different land use types, expressed as a percentage of
    the total surface. The values have been averaged over 50
    random extractions, and the error bars represent one standard
    deviation. (b) Probability density function of the shared
    surface area between each pair of spatial distributions
    according to the type of land use. These results were
    obtained at the scale of the mobile phone towers (Voronoi
    tesselation), and they are based on the comparison of 50
    $\times$ 50 independent samples with 150,000 signals.}
\end{figure*}

\section*{Inferring land use from mobile phone activity}

\subsection*{Functional network of the city}

Geolocalized ICT data have been widely used to infer land use
from human activity
\cite{Soto2011,Frias2012,Toole2012,Pei2013,Lenormand2015}. The
basic idea is to divide the region of interest into zones,
extract a temporal activity signal for each of these
zones, and then cluster together zones that display similar
signals. Each of the resulting clusters then corresponds to a
certain type of activity (\emph{Residential}, \emph{Commercial},
\dots). We used here the functional approach proposed in
\cite{Lenormand2015}. This method takes as input, for each zone,
a signal composed of 168 points (24h $\times$ 7 days), each value
corresponding to the number of users located in this zone, at
this hour of the day, this day of the week. These signals are
then normalized by the total hourly activity, in order to
subtract trends introduced by circadian rhythms. A Pearson
correlation matrix between zones is then computed. Two zones
whose activity rhythms are strongly correlated in time will have
a high positive correlation value. This similarity matrix can be
represented by an undirected weighted network, which is then
clustered using the \emph{Infomap} community detection algorithm
\cite{Rosvall2008}. This method has the advantage to be
non-parametric (the number of clusters is not fixed \textit{a
  priori}).

\subsection*{Signal extraction and sampling strategy}

In order to apply this functional approach to the region of
Dakar, we first need to define a method for sampling and
aggregating spatially the users' mobile phone activity as
extracted from the raw data. In this dataset, the mobile phone
activity in Senegal during the year 2013 has been divided into 25
two-weeks periods that we separate into 50 time windows of one
week. For each week, we build the users' temporal mobile phone
activity by relying on the following criteria: each individual
counts only once per hour. If a user is detected in $k$ different
zones within a given 1-hour time period, each registered position
will count as ($1/k$) `units of activity' for each of these $k$
zones.
It is important to note that only signals containing activity in
the region of Dakar have been considered. At the end of the
process, we obtain the temporal signal of about 160,000 users per
week, a value that is quite stable over the 50 weeks. These
temporal signals can then be averaged into a temporal signal of
activity for each zone allowing us to identify different land use
type in the region of Dakar by applying the above method. Note
that since in the original dataset the year is divided into
two-weeks periods and that a user could appear in two or more
two-weeks periods, several signals of a same user (during
different weeks) can be observed among the 50 weeks of activity.

We also need to define a sampling strategy for assessing the
robustness of land use identification with respect to sample
selection. In order to analyze and compare spatial distributions
of land use obtained with different samples of individual
temporal signals, we needed to ensure that these samples are
independent (i.e. no signals in common) and also that they are
evenly distributed across the entire year. For example, if we
want to compare two spatial distributions of land use based on
two independent samples composed of 150,000 signals
(i.e. individuals) each, we will draw at random two independent
samples of 3,000 signals (individuals) for each week. We will
then spatially and temporally aggregate the signals over the 50
weeks in order to obtain two independent aggregate signals, each
composed of 3,000 $\times$ 50 distinct individual signals. We
then apply the functional approach described above for extracting
the spatial partitions of land use, and for investigating the
uncertainty of these partitions to individuals' sample
selection. The influence of the sample size or the scale on the
uncertainty can also be investigated by varying the number of
signals for each random extraction, and/or by spatially
aggregating them over spatial grids made of regular square of
varying (parameterized) sizes.

\subsection*{Spatial propagation of uncertainty}

As a first step, we applied the functional approach on 50
independent random extractions of 150,000 individual signals
across the entire year, at the scale of the Voronoi cells (mobile
phone towers locations), by using the sampling strategy described
in the previous section. Three clusters of zones emerged
systematically, covering on average 95\% of the total
surface. The remaining 5\% correspond to other clusters with no
clear patterns, probably associated with some local punctual
events. We show on Figure \ref{Fig1}b the average temporal
profiles along with the variability around this average, for each
of these three clusters. Each of the clusters can be roughly
associated to a typical rhythm of human activity, and
consequently to a characteristic land use:
\begin{itemize}
\item{} A \emph{Residential} activity profile, corresponding to a
  high probability of mobile phone use during early mornings,
  evenings and week end days.
\item{} A \emph{Business} cluster, displaying a significantly
  higher activity from 9am to 5-6pm during weekdays.
\item{} A \emph{Nightlife} activity profile, characterized by a
  high activity during night hours (1am-4am).
\end{itemize}

The \emph{Nightlife} cluster (in green) covers the area of the
international airport, and also the neighborhood of \emph{`La
  Pointe des Almadies'}, where mainly wealthy people live and
where are located most of the rich nightclubs. The \emph{Business}
cluster covers Dakar's central business district (\emph{`Le
  Plateau'}), where one finds companies' headquarters, and where
the port is also located. Finally, the \emph{Residential} cluster covers
the rapidly growing parts of the Dakar peninsula, which profits
from the highway construction. It is worth noting that the
different land use types identified in this study are consistent
with the ones obtained with another mobile phone dataset in Spain
\cite{Lenormand2015}, except that in the case of Dakar, the
method is not able to distinguish between industrial (or
logistic) and leisure/nightlife activities (see
\cite{Lenormand2015} for more details).

As can be observed in Figure \ref{Fig2}a, the area covered by the
different types of land use is quite stable over the 50 samples,
with the \emph{Residential} land use type representing on average
about 50\% of the total surface, while we observe about 20\% and
25\% for the \emph{Business} and \emph{Nightlife} clusters,
respectively. Nevertheless, the stability of the proportion does
not imply that they follow the same spatial distribution from one
sample to another. In order to test the stability, we computed
the proportion of surface area shared by two spatial
distributions $p_l$ and $p_l'$ of a given type $l$, as obtained
with two different samples. The expression for this quantity is
\begin{equation}
   S=2\frac{A_{p_l \cap p_l'}}{A_{p_l}+A_{p_l'}} ,
	 \label{SSA}
\end{equation}
where $A_{p_l}$ denotes the surface area of spatial distribution
$p_l$. Note that in our case $A_{p_l} \simeq A_{p_l'}$ (Figure
\ref{Fig2}a). Similarly, we can define the total surface area
shared by two spatial partitions $p$ and $p'$ (with the same
number and type of land use) of the region of interest,
\begin{equation}
   S^*=\frac{\sum_{l} A_{p_l \cap p_l'}}{\sum_{l} A_{p_l}} .
	 \label{SSA2}
\end{equation}
The results are displayed in Figure \ref{Fig2}b. The similarities
between the 50 different spatial partitions is globally high,
with on average 80\% of shared surface area. The agreement is
larger for the \emph{Residential} and \emph{Business} clusters
with an average shared surface area around 90\%, against 75\% for
the \emph{Nightlife} land use type. This is probably due to the
more episodic character of the nightlife activity, implying a
smaller statistical reliability of the results. A map of the
region of Dakar displaying the uncertainty associated with the
land use identification is shown in Figure \ref{Fig1}a. The
colors represent the different land use types, and each zone has
been assigned its recurrent cluster type over the 50 land use
identifications. The color saturation is then related to the
uncertainty, quantified by the number of times the zone was
classified as a given recurrent cluster: the color is darker if
the uncertainty is low, paler otherwise. Most of the zones have
been assigned to the same clusters more than 80\% of the time.

\subsection*{Influence of scale and sample size on the
  uncertainty}

The identification of land use from mobile phone activity seems
to be quite robust to the sampling of individuals. So far we
considered communication data of 150,000 users, available at
their maximal spatial resolution, that is the locations of the
mobile phone carrier's antennas. But what about the influence of spatial scale and sample size on this uncertainty? In order to answer this question, we applied the
same functional approach, but this time by (a) varying the number
of individual signals of each random extraction (from 25,000 to
300,000, by step of 25,000) and (b) aggregating them spatially
over spatial square grids with cells of side length equal to 1, 2
or 3 km (Figure S\ref{Fig1}) (the spatial aggregation is based on
the area of the intersection between the Voronoi and the grid
cell) . We performed the comparison between 100 pairs of
independent samples for different population sizes, and spatial
resolutions/grid sizes. The results are shown in Figure
\ref{Fig3}.

\begin{figure}[!h]
  \centering
  \includegraphics[width=7.5cm]{Figure3.pdf}
  \caption{\textbf{Influence of spatial scale and sample size.}
    Total shared surface area $S^*$ between land use partitions as a
    function of the sample size and for different spatial scales
    (Voronoi cells, and square grid cells of resp. 1, 2 and 3 km
    side length). In almost every case, the values displayed have
    been averaged over 100 independent comparisons. See Figure
    S3a for more details, while the full distributions are shown
    on Figure S2 in Appendix. \label{Fig3}}
\end{figure}

Interestingly, the \emph{Nightlife} cluster does not
systematically emerge, especially when considering small sample
sizes at the `Voronoi scale'. In these cases, only two clusters are detected, the \emph{Nightlife} activity cluster is mixed with \emph{Residential} and \emph{Business}
activity clusters. As it can be observed
in Figure S3 in Appendix, at least 100,000 individuals signals
need to be aggregated to detect three clusters in more than 90\%
of the random sample extractions. This quantity falls down at
60\% for sample population sizes of 75,000, about 15\% for 50,000
and 0 for 25,000. We note that it never happened when the
signals have been spatially aggregated. Considering only the partitions for which three
clusters were detected, we observe that the percentage of share
surface area increases when the data are spatially
coarse-grained, and also with the number of individuals taken
into account, revealing the existence of a typical scale. The
order of this scale seems to be here of the order 100,000, above
which we obtain more than 75\% similarity between the land use
spatial partitions. Coarse-graining the spatial resolution by
projecting the data on grids of larger cells plays also an
important role, allowing us to reduce the uncertainty when small
samples are considered. As expected, the variability of the
uncertainty tends to increase with the grid cell side length (see
Figure S2 in Appendix).

\subsection*{Temporal variations}

We considered so far samples uniformly distributed across the
entire year, but comparisons of samples extracted from different
time windows (i.e. communication activity recorded at different
periods of the year) can also be performed in order to identify
potential temporal variations. We therefore considered 12
consecutive time windows of four weeks (from the first week of
January to the last week of November). For each possible pair of
time-windows, we performed comparisons between 100 pairs of
independent samples, each constituted of 150,000 signals (at the
Voronoi scale). Figure \ref{Fig4} shows the average shared
surface area, standardized by the average shared surface area
across the entire year.

\begin{figure}[!h]
  \centering
  \includegraphics[width=7.5cm]{Figure4.pdf}
  \caption{\textbf{Temporal variations.} Standard shared surface
    area between spatial partitions of land use extracted for
    different time windows (four weeks periods, from the first
    week of January to the last week of November). The
    standardization is performed by subtracting the average
    shared surface area obtained by comparing 50 independent
    samples based on 150,000 signals drawn at random across the
    entire year (Figure \ref{Fig2}b). The values have been
    averaged over 100 independent comparisons based on 150,000
    signals obtained at the Voronoi scale. \label{Fig4}}
\end{figure}

We observe that, in most cases, the shared surface area
is close to the one obtained on average for the entire year. As
expected it is globally lower for the comparisons inside the same
time window, and higher for the comparisons of partitions
extracted for distinct time windows. It is also worth noting that
similarity between time periods decreases with the time elapsed
between them, and that the land use patterns identified in the
first half of the year seems to be more similar than the ones
observed in the second half of the year. It is however not clear
whether these changes are due to changes in the city structure
itself, or to seasonal variations. The most unexpected result is
the change of behavior observed in summer during the weeks 7 and
8 (from the end of June to the middle of August) showing a
similarity always lower than the average, -15 points in the worth
case. This can be explained by the change of activity generally
observe in summer. This information should be nevertheless taken
into account when analyzing this type of data.

\begin{figure*}[!ht]
  \centering
  \includegraphics[width=\linewidth]{Figure5.pdf}
  \caption{\textbf{Influence of the parameters.} Number of
    reliable users (a) and fraction of users living and working
    in the same zone (b) as a function of $\delta_h$ and for
    different values of $N_h$ ($N_d=4$). Only people living and
    working in the region of Dakar have been considered
    here. These results have been averaged over the 25 two-weeks
    periods, and error bars represent one standard deviation. The
    vertical bars indicate the value $\delta=1/3$. Similar plots
    for different value of $N_d$ ranging from 1 to 8 are shown in
    Figures S4 and S5 in the Appendix. \label{Fig5}}
\end{figure*}

\section*{Identifying home and work locations from mobile phone activity}

\subsection*{Extracting individuals' most visited locations}

Geolocalized ICT data are also widely used to identify the most
visited locations of an individual, allowing to extract the origin-destination (OD) matrices of commuting flows, a fundamental object in mobility studies. A very simple
heuristic used in most methods is the following: the most visited
place of an individual in the late afternoon/evening and in the
early morning is used as a proxy for his/her place of residence,
while the most visited location during working hours is a proxy
for his/her workplace (or main activity place). This simple
assumption has allowed the accurate determination of mobility
flows at intermediate geographical scales for a variety of cities
worldwide (see for example
\cite{Tizzoni2014,Lenormand2014,Alexander2015,Toole2015}). However,
the robustness of the results obtained with such a simple
heuristic, with respect to sample selection, has never been
investigated.

For each of the 25 two-weeks periods and for each user, we apply
the following procedure to extract the home and work locations:
\begin{itemize}
\item First, the hours of activity are divided into two groups,
  daytime hours (between 8am and 5pm included) and nighttime
  hours (between 7pm and 7am included). Only days of the week
  from Monday to Thursday are taken into account, that is to say
  8 days in total over two weeks.
\item We then apply a \textbf{first filter} by considering only
  users who were active at least $N_d$ days (out of 8) during
  daytime \textbf{and} $N_d$ days during night time.
\item A \textbf{second filter} is then applied to keep only users
  who have been `active', in total during the two weeks, at least $N_h$ 1-hour periods during
  daytime, \textbf{and} $N_h$ 1-hour periods during nighttime.
\item For each hour of activity, the most frequently visited zone during this
  hour is identified (based on his/her geolocalized mobile phone
  activity).
\item For both groups of hours (daytime and nighttime), we
  identify the zone in which the user has been localized the
  highest number of hours.
\item A \textbf{third and last filter} is also implemented to
  select only users whose fraction of hours spent at `home' and
  `work' are larger than a fraction $\delta_h$ of the total
  number of locations visited during nighttime and daytime,
  respectively.
\item Finally, only individuals living and working in the region
  of Dakar are considered as reliable users.
\end{itemize}

The last filter allow us to adjust the degree of confidence in
the identification of the main nighttime (`Home') and daytime
activity (`Work') locations. A low value of $\delta_h$ allows us
to maximize the number of reliable users (Figure \ref{Fig5}a),
with the risk of including places of main activity where the user
has spent very little time. On the contrary, a high value of
$\delta_h$ will make us keep only users moving very little during
nighttime and/or daytime, and who therefore may not be
representative of the variety of mobility patterns at a small
scale. As it can be observed in Figure \ref{Fig5}b, these users
are generally people living and working in the same area. Based
on these considerations, we chose to fix $\delta_h$ to 1/3 which seems to be a good interplay, allowing us to remove users
exhibiting irregular mobility patterns during the time period,
while preserving the commuting network structure in the Dakar
region.

The behavior of $\delta_h$ on the number of reliable users and
the fraction of intra-zonal flows (users living and working in
the same area) is independent of $N_h$ and $N_d$ (see Figures S4
and S5). These two first filters are applied to discard users
having a mobile phone activity that is too low, and/or
not sufficiently staggered over the two-weeks
period. Two time scales have been considered, $N_h$ for the hours
and $N_d$ for the days. The goal is to combine these two
parameters to select users having a significant number of hours
`in activity' spread over a number of days large enough to
guaranty the reliability of the information provided by the most
visited locations extraction process. We were not able to
identify any criteria for calibrating these two parameters, and
we have therefore decided to fix the value of $N_d$ to 4 days
(half of the time period) and the value of $N_h$ to 12 hours.
Combined with a value of $\delta_h=1/3$, this results in keeping
around 50,000 reliable users for each two-weeks period (Figure
\ref{Fig5}a). Later, we will analyze more systematically how the
value of $N_h$ impact the uncertainty in the OD estimation and
its topological structure.

The source code used to extract most visited locations from
individual spatio-temporal trajectories is available online
\footnote{https://github.com/maximelenormand/Most-frequented-locations}.

\begin{figure*}
  \centering
  \includegraphics[width=12cm]{Figure6.pdf}
  \caption{\textbf{Uncertainty when inferring home-work locations
      from mobile phone activity.} Boxplots of the comparisons
    between 100 independent ODs according to $N_h$. (a)
    $\lambda_c$ (all flows). (b) $\lambda_c^*$ (only inter-zonal
    flows). (c) $\lambda_l$. (d) $\lambda_d$. ODs have been
    extracted at the Voronoi scale from independent samples
    composed of 150,000 reliable users' home-work locations (with
    $N_d=4$ and $\delta_h=1/3$). The whiskers correspond to the
    minimum and maximum of the distributions. \label{Fig6}}
\end{figure*}

\subsection*{Sampling strategy and similarity metrics}

\subsubsection*{Sampling strategy}

Similarly to the land use identification, we need a sampling
strategy for assessing the robustness of the OD extracted with
respect to the sample selection, and we use independent samples
of equal sizes drawn at random across the 25 two-weeks
periods. For example, for comparing two ODs retrieved from two
independent samples of 150,000 reliable users' home-work
locations, we draw at random two independent samples of size
6,000 for each of the two-weeks period. Here also, we evaluate
the influence of the sample size and of the spatial resolution on
the uncertainty, by varying the number of signals extracted at
each random extraction and/or by spatially aggregating the
signals over spatial grids of varying sizes.

\begin{figure*}
  \centering
  \includegraphics[width=13cm]{Figure7.pdf}
  \caption{\textbf{Influence of spatial scale and sample size.}
    Similarity metrics as a function of the sample size,
    according to various spatial scales (Voronoi cells and
    regular square grid of cells of 1, 2 and 3 km side
    length). (a) $\lambda_c$ (all flows). (b) $\lambda_c^*$ (only
    inter-zonal flows). (c) $\lambda_l$. (d) $\lambda_d$. The
    values displayed have been averaged over 100 independent
    comparisons with $N_d=4$, $N_h=12$ and $\delta_h=1/3$. The
    same figure displaying the full distribution instead of the
    average is available in Figure S7 in Appendix. \label{Fig7}}
\end{figure*}

\subsubsection*{Similarity metrics}

The resulting commuting networks can be compared using several
similarity metrics, such as the one described in
\cite{Lenormand2016}. We consider two commuting networks $T$ and
$T'$, where $T_{ij}$ is the number of users living in zone $i$
and working in zone $j$, and we will use three different metrics,
that encode different network properties. First, the common
fraction of commuters, noted $\lambda_c$, varying from 0 (when
there is no overlap) to 1 (when the two networks are identical)
is given by
\begin{equation}
  \displaystyle \lambda_c = \frac{2\sum_{i,j} \min (T_{ij},T'_{ij})}{\sum_{i,j} T_{ij} + \sum_{i,j} T'_{ij}} . \label{lambda_c}
 \end{equation}
 With this first metric, the similarity is calculated considering
 all flows, without distinction between the intra-zonal flows and
 the inter-zonal flows. The first type of flows tends to gather a
 large part of the commuters distributed over a limited number of
 links whereas the latter are usually less stable and more
 difficult to estimate. To take into consideration these
 different types of flows we will also consider, as a similarity
 metric, the common fraction of commuters, $\lambda_c^*$, based
 only on the users living and working in two different places
 ($i \neq j$).

 Second, we will consider the common fraction of links,
 $\lambda_l$, that measures similarity in the networks'
 topological structure, and is calculated as
\begin{equation}
  \displaystyle \lambda_l = \frac{2\sum_{i,j} \mathds{1}_{T_{ij}>0} \cdot \mathds{1}_{T'_{ij}>0}}{\sum_{i,j} \mathds{1}_{T_{ij}>0} + \sum_{i,j} \mathds{1}_{T'_{ij}>0}} . \label{lambda_l}
\end{equation}
Third, we measure the common share of commuters according to the
distance, $\lambda_d$, assessing the similarity between commuting
distance distributions and given by
\begin{equation}
  \displaystyle \lambda_d = \frac{\sum_{k} \min (N_{k},N'_{k})}{N} , \label{lambda_d}
\end{equation}
where $N_k$ stands for the number of users with a commuting
distance ranging between $2k-2$ and $2k$ kms ($k$ ranging from 1
to $\infty$) and $N$ for the total number of users.

\subsection*{Uncertainty analysis}

Boxplots of the similarity metric values obtained by comparing
100 independent ODs based on 150,000 reliable users' home-work
locations are displayed in Figure \ref{Fig6}. We first
concentrate on the influence of $N_h$ on the uncertainty and on
the networks' topological structure, and we observe that the only
metrics really affected by the number of hours of activity is the
share of links $\lambda_l$, which increases linearly with
$N_h$. This is an expected behavior since the constraint on the
number of hours in activity selects the most regular individuals
and reduces the noise, decreases the number of links, and
coherently produces more robust ODs. The effect of $N_h$ on the
other similarity metrics is quite negligible, particularly on the
similarity between commuting distance distributions
$\lambda_d$. The values of $\lambda_c$ and $\lambda_c^*$ move up
and down with the number of links (Figure S6 in Appendix) but the
fluctuations stay reasonably small, 0.01 point for the
$\lambda_c$ and 0.02 point for $\lambda_c^*$. The fact that the
number of links increases for values of $N_h$ ranging from 5 to
15 is not trivial (Figure S6 in Appendix). It is even more
surprising to see that this increase is due to the growth of the
number of links of small sizes (between 2 and 10 commuters) that
are not able to counterbalance the falls of the number of very
small (1 user) and big links (more than 10 users). These changes
of network structure are not easy to understand and would
probably necessitate more information about commuting in Senegal
to be investigated more thoroughly.

Regarding the uncertainty, the results are not completely
conclusive, the commuting networks show a good agreement with
around 79\% of commuters in common (considering both inter- and
intra-zonal flows), but with a value that falls down to 50\% when
only inter-zonal flows are considered. This decrease of
similarity can be explain by the fact that intra-zonal flows
represent 60\% of the commuters distributed on a number of links
that is bounded by the number of zones, whereas inter-zonal flows
are generally smaller since they represent less commuters
distributed on a higher number of links. This is why when we
remove the intra-zonal flows which are usually easier to
estimate, we increase the uncertainty.  The $\lambda_l$ values
are also quite low, between 45\% and 51\% of links are in common
between the different networks according to the value of
$N_h$. An encouraging result is that the common part of commuters
according to the distance is very high, showing around 99\% of
similarity between the commuting distance distributions. However,
it is important to keep in mind that these mixed results are
obtained with a few thousand users for each two-weeks commuting
network, drawn at a high spatial resolution with an average
surface area equal to 0.5 km$^2$.

\subsection*{Influence of scale and sample size}

The effect of the spatial resolution and sample sizes on the
similarity metrics can be investigated by varying the number of
reliable users' home-work most visited locations to build the ODs
and/or by aggregating them spatially using grid cells of
different sizes (see \cite{Lenormand2014} for more details about
the aggregation method based on the area of the intersection
between the Voronoi and the grid cells). As it can be observed
in Figure \ref{Fig7}, increasing the sample size and/or the scale
greatly improve the results. Here again, considering at least
100,000 reliable users seems to be a good trade-off and ensure a
common part of commuters larger than 75\%. The most significant
improvement comes from the spatial aggregation, which at least
double $\lambda_c^*$ and $\lambda_l$ values and allow us to
obtain $\lambda_c$ values almost always larger than 0.85. There
is one exception, though, with $\lambda_l$ that seems to be
independent from the spatial aggregation scale used.

\subsection*{Temporal variations}

The effect of temporal variations on the uncertainty of OD
estimates can be investigated by considering 12 consecutive time
windows of four weeks (from the first week of January to the last
week of November, see section on land use detection). In this
case, ODs are based on 50,000 reliable users' home-work most
visited locations, determined at the Voronoi scale. The
similarity metrics have been standardized by subtracting the
average metrics values across the entire year. Figure \ref{Fig8}
shows the results obtained with the common part of commuters
$\lambda_c$ (similar results obtained with the other metrics are
shown on Figure S8 in Appendix). As in the case of land use
identification, the values are close to the average, lower for
the inter time windows comparisons than for the intra
comparisons. We also observe that the results are more stable
after summer holidays, during the second half of the year. An
evolution of the commuting networks over time can be observed
with a decrease of the similarity metrics values as the time
elapsed between time periods increases.

\begin{figure}[!h]
  \centering
  \includegraphics[width=\linewidth]{Figure8.pdf}
  \caption{\textbf{Temporal variations.} Standard $\lambda_c$
    between ODs extracted for different time windows (four weeks
    periods, from the first week of January to the last week of
    November). The standardization has been obtained by
    subtracting the average $\lambda_c$ obtained by comparing 100
    independent samples based on 50,000 reliable users' home-work
    most visited locations drawn at random across the entire
    year. The results have been averaged over 100 independent
    comparisons based on 50,000 reliable users' home-work most
    visited locations at the Voronoi scale. Plots of the other
    similarity metrics are available in Figure S8 in
    Appendix. \label{Fig8}}
\end{figure}

\subsection*{Sampling of points along individual trajectories}

In order to go further, for each of the 25 two-weeks periods and
for each user, we identified the home and work locations for each
of the two weeks considered independently, by following the
procedure described above with $N_d=2$ (half of the time window)
and $\delta_h=1/3$. This allowed us to assess the influence of
the sampling of points along individual trajectories when
identifying the home and work locations. We then compared the
locations identified for each of the two-weeks period according
to the value of $N_h$. While the effect of $N_h$ on the level of
accuracy is quite low, it is however important to note that the
level of accuracy in the estimate of home location tends to
increase with $N_h$. Considering the high spatial resolution and
the small time window, a good agreement is obtained, with an
accuracy of around 84\% for home (average over the 25 two-week
periods) and 78\% for work (Figure \ref{Fig9}). Moreover, 50\% of
the inaccurate locations are less than 2 kms distant from each
other. We can therefore conclude that the identification of
users' home and work locations from mobile phone activity also
shows a high level of robustness to sample selection.

\begin{figure}[!h]
  \centering
  \includegraphics[width=\linewidth]{Figure9.pdf}
  \caption{\textbf{Percentage of accuracy in home and work
      locations' estimation according to $N_h$.} Results have
    been averaged over the 25 two-weeks time windows. The thin
    lines represent one standard deviation. \label{Fig9}}
\end{figure}

\section*{Discussion}

Data passively produced through information and communications
technologies have been increasingly used by researchers since the
middle of the 2000's
and our understanding of number of aspects of human mobility has
already been deeply renewed thanks to these new data
sources. More generally, the longitudinal tracking of anonymized
individuals opens the door to an enhanced understanding of social
phenomena that could not be studied empirically at such scales
before. However, these data obviously suffer from a number of
biases \cite{Lewis2015}, which include in particular sample
selection. Systematic tests are then required to characterize
statistical validity, along with cross-checks between various
data sources.

This in mind, we performed two uncertainty analysis of results
obtained with mobile phone data produced by millions of
anonymized individuals during an entire year. In the first part
of the analysis, we assessed the uncertainty when inferring
land use from human activity, estimated from the
number of mobile phone users present in different parts of the
city, at different moments of the week. A good agreement was
obtained between land uses identified from independent and
randomly selected samples of individuals mobile phone activity
 during one week. We showed that samples should be composed of at least 100,000
individual signals of activity in order to ensure that there is
at least 75\% of shared surface area between the spatial
partitions of land uses automatically retrieved, whatever the
level of spatial aggregation of the data. In the second part of
the analysis, we investigated the influence of sample selection
on the identification of users' home and work locations. We first
examined the impact of the selection of users on the
journey-to-work commuting networks extracted at the city
scale. In our case-study of the city of Dakar, we showed that the
level of uncertainty is largely dependent on the spatio-temporal
resolution, and that good results were reachable with a
reasonable level of spatial aggregation. We then analyzed the
effect of the sampling of locations along mobile phone users'
trajectories on the identification of their home and work
locations. Most of the locations identified with different
samples were the same, or very close to one another. Finally, we
also showed that in both cases the uncertainty varies according
to the period of the year at which the data were gathered,
particularly in summer for the land use identification.

A useful and natural extension to this work would be to compare
the results obtained in this study with traditional mobility data
sources such as surveys or census data, particularly to calibrate
the parameters of the home-work most visited location
identification process. It was unfortunately not possible to
obtain such data from the Senegal census, but this type of
analysis should be done whenever possible.

For these two spatial information retrieval tasks, our results
suggest that the level of uncertainty associated with sample
selection is globally low. Further work in this direction include
the reproduction of such uncertainty analysis with other datasets
coming from different countries and data sources. An important
aspect of the rapidly growing `new science of cities'
\cite{Batty2013}, which heavily relies on new data sources, is to
be able to reproduce results with different datasets, and to
characterize and control to what extent the information provided
by different sources are biased in a particular direction.

More studies in this spirit need to be done to strengthen the
foundations of the field dedicated to the understanding of urban
mobility and urban dynamics through ICT data. From a publication
point of view, trying to reproduce previous results with
different data sources, or to estimate the robustness of
previously published results, might not be as appealing as
proposing new measures and models, but is crucially important as
well. As part of that work, we developed a collaborative website
\footnote{https://ictdataccuracy.github.io} where we give references for papers and
datasets dealing with ICT data accuracy.

\section*{Acknowledgments}

Partial financial support has been received from the Spanish
Ministry of Economy (MINECO) and FEDER (EU) under project
ESOTECOS (FIS2015-63628-C2-2-R), and from the EU Commission
through project INSIGHT. The work of TL has been funded under the
PD/004/2015, from the Conselleria de Educaci\'on, Cultura y
Universidades of the Government of the Balearic Islands and from
the European Social Fund through the Balearic Islands ESF
operational program for 2013-2017.

\bibliographystyle{unsrt}