Maybe I misunderstand your first question. The source is by definition a module of the vertex, namely the module $M$ for which $U | M^G$. Trivial source in this context means trivial module of the vertex $Q$.
Now for the second question. The easy part is why $k_Q|U_Q$ implies $k_{Q\cap H}|U_{Q_H}$. If you write out the definitions of these symbols, the implication becomes trivial, using transitivity of restriction:
$$
\begin{align}
k_Q|U_Q & \Rightarrow U_Q = k_Q\oplus\ldots\\
& \Rightarrow U_{Q\cap H} = (U_Q)_{H\cap Q} = (k_Q)_{H\cap Q}\oplus \ldots= k_{H\cap Q}\oplus \ldots
\end{align}
$$
It remains to show that $k_Q|U_Q$. Again, let us write out the definitions. We have $(k_Q)^G = U\oplus \ldots$, since $k_Q$ is a source of $U$. So, restricting back to $Q$, $((k_Q)^G)_Q = U_Q\oplus\ldots$ Now use Mackey:
$$
((k_Q)^G)_Q = \bigoplus_{g\in Q\backslash G/Q}(k_{Q\cap Q^g})^Q = U_Q\oplus\ldots
$$
By Krull-Schmidt, $U_Q$ is a direct sum of trivial modules induced from various subgroups, so let's simply write $U_Q = \bigoplus_i (k_{H_i})^Q$, $H_i\leq Q$, and we want to show that one of these $H_i$ is $Q$ itself. Now, $Q$ being a vertex implies that $U|(U_Q)^G$ (indeed, one of the possible definitions of vertex is that $Q$ is the smallest such subgroup of a Sylow). So, $U\;|\;\bigoplus_i (k_{H_i})^G$, and since $U$ is indecomposable, it divides one of the summands. But hang on a minute, $Q$ was the smallest subgroup from which $U$ could divide an induction, so one of these $H_i$ must indeed be $Q$, as claimed.