This is true.
I prefer to denote $q_i=p_i^{-1}$, $\alpha_i=a_ip_i$, $\beta_i=b_ip_i$, $A_i=\sum_{j=1}^i\alpha_j$, $B_i=\sum_{j=1}^i\beta_j$. Now we have to check that $$ \sum_i q_i\beta_iA_i^k\le C\sum_i q_i\alpha_iA_i^k+C\sum_i q_i\beta_iB_i^k $$ This is linear in $q_i$, so we just need to check that $$ \sum_{i=1}^n\beta_iA_i^k\le C\sum_{i=1}^n\alpha_iA_i^k+C\sum_{i=1}^n\beta_iB_i^k $$ for all $n\ge 1$. But $xX^k$ is comparable with $X^{k+1}-(X-x)^{k+1}$ for $0\le x\le X$, so the right hand side is essentially $A_n^{k+1}+B_n^{k+1}$ and the left hand side is dominated by $(A_n+B_n)^{k+1}$. The rest should be clear.