3 Changed $k$ to $m$ in the last paragraph to remove notational conflict

Yes, such sequences exist.

In effect the problem concerns the linear operator, call it $T$, that maps any sequence $(a_n)$ to the sequence whose $n$-th term is $\sum_{k\geq1} a_{kn}/k$. The problem asks whether there exists $a$ such that the $l^2$ norm $\|a\|_2$ is finite but $\|Ta\|_2 = \infty$. We show that such $a$ exist for each $l^q$ norm ($q \geq 1$). [I can't call it $l^p$ because I'll soon want to use $p$ for a generic prime number.]

The key is that $T$ can be regarded as an infinite tensor product (Kronecker product) of operators $T_p$, where for each prime $p$ the operator $T_p$ is convolution with $(1,p^{-1},p^{-2},p^{-3},\ldots)$ on $(a_1,a_p,a_{p^2},a_{p^3},\ldots)$. The operator $T_p$ has norm $\sum_{i=0}^\infty p^{-i} = p/(p-1)$, so $T = \otimes_p T_p$ should have norm $\prod_p p/(p-1) = \infty$.

To get a construction from this, we first make for each $M>1$ a nonnegative sequence $\alpha = (\alpha_n)$ such that $\|\alpha\|_q < \infty$ and $T\alpha = M\alpha$. Since $\prod_p p/(p-1)$ diverges, we can find $x$ large enough that $\prod_{p\leq x} p/(p-1) > M$. Choose for each prime $p\leq x$ a positive number $z_p$ smaller than 1 but close enough to 1 that $\prod_{p\leq x} p/(p-z_p) = M$. Now let $\alpha$ be the totally multiplicative function taking each $p\leq x$ to $z_p$ and each $p>x$ to $0$. (That is, if $n=\prod_{p\leq x} p^{e_p}$ then $\alpha_n = \prod_{p \leq x} z_p^{e_p}$, while if $n$ has a prime factor bigger than $x$ than $\alpha_n = 0$.) Then the $n$-th term of $T\alpha$ is $$\sum_{k\geq 1} \frac{\alpha_{kn}}{k} = \sum_{k\geq 1} \frac{\alpha_k \alpha_n}{k} = \alpha_n \sum_{k\geq 1} \frac{\alpha_k}{k}$$ because $\alpha$ is multiplicative, and $\sum_{k\geq 1} \alpha_k/k$ is the product over $p\leq x$ of geometric series $$\sum_{e=0}^\infty \frac{\alpha_{p^e}}{p^e} = \sum_{e=0}^\infty (z_p/p)^e = \frac{p}{p-z_p},$$ so $$T\alpha = \prod_{p\leq x} \frac{p}{p-z_p} \cdot \alpha = M \alpha;$$ and $\|\alpha\|_q < \infty$ because $\|\alpha\|_q^q$ is the product of $\pi(x)$ convergent geometric series.

The conclusion is a standard argument (as already noted in the parallel stackexchange thread). For example, let $a^{(M)} = \alpha / \|\alpha\|$ where $\alpha$ is a sequence with $T\alpha = M\alpha$ as in the last paragraph. Then $\|a^{(M)}\| = 1$ and $Ta^{(M)} = M a^{(M)}$. Set $$a = \sum_{k=1}^\infty sum_{m=1}^\infty \frac{a^{(4^k)}}{2^k} frac{a^{(4^m)}}{2^m} = \frac{a^{(4)}}{2} + \frac{a^{(16)}}{4} + \frac{a^{(64)}}{8} + \cdots .$$ The $k$-th m$-th term has norm$1/2^k$, 1/2^m$, so the sum converges in $l^q$ to a vector of norm at most $\sum_{k=1}^\infty 1/2^k \sum_{m=1}^\infty 1/2^m = 1$. But since each term $a^{(4^k)} a^{(4^m)} / 2^k$ 2^m$is a nonnegative sequence, and$T$has nonnegative coefficients, we have for each$k m \geq 1$$$Ta > T\frac{a^{(4^k)}}{2^kT\frac{a^{(4^m)}}{2^m} = 2^k a^{(4^k)}2^m a^{(4^m)};$$ and$2^k a^{(4^k)}$2^m a^{(4^m)}$ is a vector of norm $2^k$. 2^m$. Hence$\|Ta\|_q = \infty$, QED. 2 Corrected typo noted by A.Amit; spelled out argument for$T\alpha=M\alpha$Yes, such sequences exist. In effect the problem concerns the linear operator, call it$T$, that maps any sequence$(a_n)$to the sequence whose$k$-th n$-th term is $\sum_{k\geq1} a_{kn}/k$. The problem asks whether there exists $a$ such that the $l^2$ norm $\|a\|_2$ is finite but $\|Ta\|_2 = \infty$. We show that such $a$ exist for each $l^q$ norm ($q \geq 1$). [I can't call it $l^p$ because I'll soon want to use $p$ for a generic prime number.]

The key is that $T$ can be regarded as an infinite tensor product (Kronecker product) of operators $T_p$, where for each prime $p$ the operator $T_p$ is convolution with $(1,p^{-1},p^{-2},p^{-3},\ldots)$ on $(a_1,a_p,a_{p^2},a_{p^3},\ldots)$. The operator $T_p$ has norm $\sum_{i=0}^\infty p^{-i} = p/(p-1)$, so $T = \otimes_p T_p$ should have norm $\prod_p p/(p-1) = \infty$.

To get a construction from this, we first make for each $M>1$ a nonnegative sequence $\alpha = (\alpha_n)$ such that $\|\alpha\|_q < \infty$ and $T\alpha = M\alpha$. Since $\prod_p p/(p-1)$ diverges, we can find $x$ large enough that $\prod_{p\leq x} p/(p-1) > M$. Choose for each prime $p\leq x$ a positive number $z_p$ smaller than 1 but close enough to 1 that $\prod_{p\leq x} p/(p-z_p) = M$. Now let $\alpha$ be the totally multiplicative function taking each $p\leq x$ to $z_p$ and each $p>x$ to $0$. (That is, if $n=\prod_{p\leq x} p^{e_p}$ then $\alpha_n = \prod_{p \leq x} z_p^{e_p}$, while if $n$ has a prime factor bigger than $x$ than $\alpha_n = 0$.) Then the $n$-th term of $T\alpha$ is $$\sum_{k\geq 1} \frac{\alpha_{kn}}{k} = \sum_{k\geq 1} \frac{\alpha_k \alpha_n}{k} = \alpha_n \sum_{k\geq 1} \frac{\alpha_k}{k}$$ because $\alpha$ is multiplicative, and $\sum_{k\geq 1} \alpha_k/k$ is the product over $p\leq x$ of geometric series $$\sum_{e=0}^\infty \frac{\alpha_{p^e}}{p^e} = \sum_{e=0}^\infty (z_p/p)^e = \frac{p}{p-z_p},$$ so $$T\alpha = \prod_{p\leq x} \frac{p}{p-z_p} \cdot \alpha = M \alpha, alpha;$$ and $\|\alpha\|_q < \infty$ because $\|\alpha\|_q^q$ is the product of $\pi(x)$ convergent geometric series.

The conclusion is a standard argument (as already noted in the parallel stackexchange thread). For instanceexample, let $a^{(M)} = \alpha / \|\alpha\|$ where $\alpha$ is a sequence with $T\alpha = M\alpha$ as in the last paragraph. Then $\|a^{(M)}\| = 1$ and $Ta^{(M)} = M a^{(M)}$. Set $$a = \sum_{k=1}^\infty \frac{a^{(4^k)}}{2^k} = \frac{a^{(4)}}{2} + \frac{a^{(16)}}{4} + \frac{a^{(64)}}{8} + \cdots .$$ The $k$-th term has norm $1/2^k$, so the sum converges in $l^q$ to a vector of norm at most $\sum_{k=1}^\infty 1/2^k = 1$. But since each term $a^{(4^k)} / 2^k$ is a nonnegative sequence, and $T$ has nonnegative coefficients, we have for each $k \geq 1$ $$Ta > T\frac{a^{(4^k)}}{2^k} = 2^k a^{(4^k)};$$ and $2^k a^{(4^k)}$ is a vector of norm $2^k$. Hence $\|Ta\|_q = \infty$, QED.

1

Yes, such sequences exist.

In effect the problem concerns the linear operator, call it $T$, that maps any sequence $(a_n)$ to the sequence whose $k$-th term is $\sum_{k\geq1} a_{kn}/k$. The problem asks whether there exists $a$ such that the $l^2$ norm $\|a\|_2$ is finite but $\|Ta\|_2 = \infty$. We show that such $a$ exist for each $l^q$ norm ($q \geq 1$). [I can't call it $l^p$ because I'll soon want to use $p$ for a generic prime number.]

The key is that $T$ can be regarded as an infinite tensor product (Kronecker product) of operators $T_p$, where for each prime $p$ the operator $T_p$ is convolution with $(1,p^{-1},p^{-2},p^{-3},\ldots)$ on $(a_1,a_p,a_{p^2},a_{p^3},\ldots)$. The operator $T_p$ has norm $\sum_{i=0}^\infty p^{-i} = p/(p-1)$, so $T = \otimes_p T_p$ should have norm $\prod_p p/(p-1) = \infty$.

To get a construction from this, we first make for each $M>1$ a nonnegative sequence $\alpha = (\alpha_n)$ such that $\|\alpha\|_q < \infty$ and $T\alpha = M\alpha$. Since $\prod_p p/(p-1)$ diverges, we can find $x$ large enough that $\prod_{p\leq x} p/(p-1) > M$. Choose for each prime $p\leq x$ a positive number $z_p$ smaller than 1 but close enough to 1 that $\prod_{p\leq x} p/(p-z_p) = M$. Now let $\alpha$ be the totally multiplicative function taking each $p\leq x$ to $z_p$ and each $p>x$ to $0$. (That is, if $n=\prod_{p\leq x} p^{e_p}$ then $\alpha_n = \prod_{p \leq x} z_p^{e_p}$, while if $n$ has a prime factor bigger than $x$ than $\alpha_n = 0$.) Then $$T\alpha = \prod_{p\leq x} \frac{p}{p-z_p} \cdot \alpha = M \alpha,$$ and $\|\alpha\|_q < \infty$ because $\|\alpha\|_q^q$ is the product of $\pi(x)$ convergent geometric series.

The conclusion is a standard argument (as already noted in the parallel stackexchange thread). For instance, let $a^{(M)} = \alpha / \|\alpha\|$ where $\alpha$ is a sequence with $T\alpha = M\alpha$ as in the last paragraph. Then $\|a^{(M)}\| = 1$ and $Ta^{(M)} = M a^{(M)}$. Set $$a = \sum_{k=1}^\infty \frac{a^{(4^k)}}{2^k} = \frac{a^{(4)}}{2} + \frac{a^{(16)}}{4} + \frac{a^{(64)}}{8} + \cdots .$$ The $k$-th term has norm $1/2^k$, so the sum converges in $l^q$ to a vector of norm at most $\sum_{k=1}^\infty 1/2^k = 1$. But since each term $a^{(4^k)} / 2^k$ is a nonnegative sequence, and $T$ has nonnegative coefficients, we have for each $k \geq 1$ $$Ta > T\frac{a^{(4^k)}}{2^k} = 2^k a^{(4^k)};$$ and $2^k a^{(4^k)}$ is a vector of norm $2^k$. Hence $\|Ta\|_q = \infty$, QED.