This paper is concerned with non-trivial solvability in $p$-adic integers of systems of two and three additive forms. Assuming that the congruence equation $a x^k + b y^k + c z^k \equiv d \,(\mbox{mod}\,p)$ has a solution with $xyz \not\equiv 0\,(\mbox{mod}\,p)$ we have proved that any system of two additive forms of odd degree $k$ with at least $6 k + 1$ variables, and any system of three additive forms of odd degree $k$ with at least $14 k + 1$ variables always has non-trivial $p$-adic solutions, provided $p$ does not divide $k$. The assumption of the solubility of the congruence equation above is guaranteed for example if $p > k^4$.

In the particular case of degree $k = 5$ we have proved the following results. Any system of two additive forms with at least $n$ variables always has non-trivial $p$-adic solutions provided $n \geq 31$ and $p > 101$ or $n \geq 36$ and $p > 11$. Furthermore any system of three additive forms with at least $n$ variables always has non-trivial $p$-adic solutions provided $n \geq 61$ and $p > 101$ or $n \geq 71$ and $p > 11$.

It is shown that the system of two additive equations a_1 x_1^k + \ldots + a_s x_s^k = b_1 x_1^k + \ldots + b_s x_s^k =0 where $k \ge 2$ and $a_j$, $b_j$ are any given integers, has non-trivial solutions in all $p$-adic fields provided only that $s > 8k^2$. The constant 8 can be reduced when $k$ is not a power of 2. It is expected, in accordance with a classical conjecture of Artin, that the bound $8k^2$ can be replaced by $2k^2$.

2000 Mathematical Subject Classification:11D72.