We consider the ternary Goldbach problem with two prime variables of the form k 2 + m 2 + 1 and find an asymptotic formula for the number of its solutions.
Notations. ByGreek letters we denote real numbers and by small Latin letters -integers. However, the letter p, with or without subscripts, is reserved for primes. By ε we denote an arbitrarily small positive number, not the same in different appearances. N is a sufficiently large odd integer and L = log N. We denote by J the set of all subintervals of the interval [1, N] and if J 1 , J 2 ∈ J then J = J 1 , J 2 is the corresponding ordered pair. Respectively k = k 1 , k 2 is two-dimensional vector with integer components k 1 , k 2 and, in particular, 1 = 1, 1 . We write (m 1 , . . . ,m k ) for the greatest common factor of m 1 , . . . ,m k . As usual τ (k) is the number of positive divisors of k; r(k) is the number of solutions of the equation m 2 1 + m 2 2 = k in integers m j ; ϕ(k) is the Euler function; Ω(k) is the number of the prime factors of k, counted with the multiplicity; χ (k) is the non-principal character modulo 4 and L(s, χ ) is the corresponding Dirichlet's L-function. We mark by an end of a proof, or its absence.