R E S E A R C H

The paper is devoted to ﬁnding a solution and restoring the right-hand side of the heat equation with reﬂection of the argument in the second derivative, with a complex-valued variable coeﬃcient. We prove a theorem on the Riesz basis property for eigenfunctions of the second-order diﬀerential operator with involution in the second derivative. We establish the existence and uniqueness of the solution of the studied problems by the method of separation of variables

Our work is based on the spectral properties of the second-order nonself-conjugate differential operators with involution.Note that in the last decade, there were many papers devoted to spectral problems for differential operators with involution (see, for example, [16][17][18][19] and references therein).The basis property of eigenfunctions of the first-order differential operators with involution was studied in [16,17] (see also references therein), and in [18][19][20][21][22][23][24] the cases of the second-order operators were considered.In [25,26] the problems with operators containing an involution in lower terms are considered.For results concerning nonclassical spectral problems, we refer the reader to [27][28][29][30].
The paper consists of four sections.In Sect. 2 the problem statement and necessary definitions are considered.Section 3 is devoted to the study of properties of eigenvalues and eigenfunctions of the second-order differential operators with involution and with a variable complex coefficient.In Sect.4, we prove a theorem on the existence and uniqueness of the solution of inverse problems for the heat equation with involution.

Statements of problems
The section is devoted to the main aspects of the Fourier method for equation (1.1).Let us introduce a nonself-adjoint second-order differential operator L αq : D(L αq ) ⊂ L 2 (-1, 1) → L 2 (-1, 1) by the formula with the domain of definition where a ij are given complex numbers.We assume that the linear forms U 1 (u) and U 2 (u) are linearly independent.Let us write equation (1.1) as and further consider the differential operator L αq with domain generated by one of the following four types of boundary conditions: Consider the following problem: Find a pair of functions u(x, t) and f (x) satisfying equation (2.1) and conditions (2) in the domain the function u(x, t) is continuously differentiable with respect to t and has a continuous second-order derivative with respect to x; (3) it satisfies equation (2.1) and conditions (2.2) in the general sense.
To prove the existence and uniqueness of a solution to the problem posed, we use the Fourier method.In this regard, we have to solve the problem of convergence of expansions of functions from a certain class in terms of eigenfunctions of the following spectral problem: (2.3)

Spectral properties of problem (2.3)
The convergence of expansions of eigenfunctions of the operator L αq is easier to solve if the system of eigenfunctions {X k (x)} forms a Riesz basis in the class L 2 (-1, 1).Therefore, in this section, we study the basis property of the eigenfunctions of the differential operator L αq .The differential operator L αq is not a self-adjoint operator.The adjoint spectral problem is written as where L * αq Z(x) = -Z (x) + αZ (-x) + q(x)Z(x) is the operator adjoint to the operator L αq .The domain of the adjoint operator L * αq is given by one of the same boundary conditions (D), (N), (P), or (AP), so that D(L * αq ) = D(L αq ).We further assume that all eigenvalues of the operator L αq are simple and zero is not an eigenvalue.Note that if the number λ = 0 is an eigenvalue, then we can consider the problem L αq X(x) + X(x) = λX(x) for a fixed number .The number can be chosen so that the number λ = 0 is not an eigenvalue.In this case, the eigenfunctions will not change.
Let us denote the system of eigenfunctions of operator L * αq as {Z n (x)}.The elements of the systems {X k (x)} and {Z n (x)} satisfy the biorthogonality condition [31] where δ kj the Kronecker symbol.
The eigenfunctions X k (x) satisfy the homogeneous equation (2.3), and therefore they can be considered normalized in the class L 2 (-1, 1).For q(x) ≡ 0, we denote the operator L αq as L α0 , D(L α0 ) = D(L αq ).Explicit forms of eigenvalues and eigenfunctions of the operator L α0 are presented in [23,24].The boundary value problem , is not an eigenvalue [23,24].The simple poles of the Green's function G 0 (x, t, λ) are the numbers √ λ 0k .Let the eigenvalues λ 0k , λ k of operators L α0 and L αq be numbered so that ).Let the function G q (x, t, λ) be the Green's function of the boundary value (2.3).We denote the partial sums of expansions of an arbitrary function f ∈ L 1 (-1, 1) in terms of eigenfunctions of operators L α0 and L αq as The following equiconvergence theorem is valid.
Theorem 3.2 Let the following three conditions be satisfied: (1) all eigenvalues of the operators L α0 and L αq are simple; (2) the complex-valued coefficient q(x) belong to the class L 1 (-1, 1), and in the case of problems (P) and (AP), we additionally require that α = 0; (3) for any √ λ beyond the circles O c 0 ( √ λ 0k ), the Green's function G 0 (x, t, λ) satisfies the estimate where r(x, t, Proof Note that for problems (N) and (P), estimates (3.1) were obtained and theorems on equiconvergence were proved [23,24].An analysis of the proofs of the equiconvergence theorems shows that they are based only on estimate (3.1) and do not depend on the type of the boundary conditions.Therefore the proof of the theorem is a word-for-word repetition of the proof of those results.
For problems (D) and (AP), as in [23,24], the validity of estimate (3.1) can be shown.Therefore we suppose that estimate (3.1) is valid for all the problems under consideration.The operator L 00 with boundary conditions (P) and (AP) has an infinite number of multiple eigenvalues.For problems of this type, the question of the Riesz basis property of the eigenfunctions of the operator L 0q with an arbitrary differentiable complex-valued coefficient q(x) remains unsolved.Therefore we assume that α = 0. Regarding the conditions of Theorem 3.2, note the following.If q(x) ≡ 0, then the operator L α0 with periodic boundary conditions has two series of eigenvalues which are simple if 1+α  1-α = m 0 and 1-α 1+α = n 0 for all integers m 0 , n 0 .The corresponding eigenfunctions have the form and form a complete orthonormal system in L 2 (-1, 1).
Let us formulate a theorem on the basis property of the eigenfunctions of the operator L αq .Theorem 3.3 Let conditions (1) and (2) of Theorem 3.2 be satisfied.Then the system of eigenfunctions of the operator L αq forms a basis in the space L 2 (-1, 1).
Proof It is known [23,24] that the system of eigenfunctions of the operator L α0 forms an orthonormal basis of the space L 2 (-1, 1).For any function f ∈ L 2 (-1, 1), the inequality is satisfied.Using Theorem 3.2 and the basis property of the eigenfunctions of the operator L α0 , we obtain the statement of the theorem.The theorem is proved.Theorem 3.3 does not answer the question of unconditional basis or Riesz basis property of the eigenfunctions of the operator L αq .The solution to this question is given by the following theorem.Theorem 3.4 Let all the conditions of Theorem 3.3 be satisfied, and let for all eigenvalues λ k of the operator L αq , the inequalities | Im λ k | ≤ const be fulfilled.
Then the system of eigenfunctions of operator L αq forms a Riesz basis in the space L 2 (-1, 1), and therefore for any function f (x) ∈ L 2 (-1, 1), we have the relations [32] Proof Under conditions of the theorem, the system of eigenfunctions {Z k (x)} of the adjoint operator L * αq also forms a basis in L 2 (-1, 1) [32].Since any basis is a uniformly minimal system, the following condition [33] is satisfied for any number k: in the sense of the norm in L 2 (-1, 1).It was shown in [19] that condition (3.3) is necessary and sufficient for the unconditional basis property in L 2 (-1, 1) for each of the systems {X k (x)} and {Z k (x)} if all eigenvalues λ of the operator L αq satisfy the conditions Estimates (3.4) are satisfied by the condition of the theorem.Therefore, by the main theorem in [19], each of the systems {X k (x)} and {Z k (x)} forms an unconditional basis.Since the system {X k (x)} is normalized and Since an almost normalized unconditional basis is a Riesz basis [34], the theorem is proved.
In the case of positive self-adjoint operators, the eigenvalues are real and positive.In the case of nonself-adjoint operators, the eigenvalues can be complex numbers.We must study the conditions for the nonnegativity of their real parts.The eigenvalues λ k of the operator L αq have the following properties.
| is fulfilled for all numbers k.Under the additional condition Req(x) = q 1 (x) ≥ 0 in the interval -1 ≤ x ≤ 1, the estimate Re λ k > 0 is valid for all eigenvalues of the operator L αq .
Proof Let us multiply both parts of equation (2.3) by the complex adjoint function Xk (x) and integrate the resulting equality over the interval (-1, 1).Each of the considered boundary conditions is self-adjoint.Therefore the resulting nonintegral terms vanish, and we get the equality Writing out separately the real and imaginary parts of the last equality, we arrive at the following two relations: , the first integral in the first relation is equal to zero, and we get the inequality | Im λ k | ≤ max |q 2 (x)|.The continuity of the coefficient q implies the first statement of the lemma.
To prove the second statement of the lemma, assume the contrary.Let there be a subsequence {λ k n } satisfying the condition Re λ k n < 0. Then the second relation implies the from which we obtain the estimate 1 -1 The left side of the last relation is positive.Then the right side of this relation is also positive.Therefore we can apply the inequality 2|ab| ≤ |a| 2 + |b| 2 to the right side of the obtained relation.After simple transformations, we arrive at the estimate As -1 < α < 1 and q 1 (x) ≥ 0, we come to a contradiction, which proves the lemma.
Note that the lemma just proved is also valid for an arbitrary q ∈ C[-1, 1].In this case, Re λ k > 0 starting from some number k 0 , so that Re Theorem 3.4 and the first statement of Lemma 3.5 imply the following.

Corollary 3.6 Let the following two conditions be satisfied:
(1) all eigenvalues of the operators L α0 and L αq are simple; (2) the complex-valued coefficient q belongs to the class C[-1, 1], and in the case of problems (P) and (AP), we additionally require that α = 0.
Then the system of eigenfunctions of the operator L αq forms a Riesz basis in the space L 2 (-1, 1).
Note that the proved Theorem 3.3 means that each of the expansions We need the following lemma.
Lemma 3.7 Let all the conditions of Corollary 3.6 be satisfied.Then for any function ϕ from the domain of the operator L αq , each of the Fourier series Proof Let us rewrite equation (2.3) in the form (the number λ = 0 is not an eigenvalue) Using this relation, the second series in (3.6) can be written as where On the other hand, it is well known that the adjoint spectral problem is equivalent to the integral equation where G * (x, t) is the Green's function of the adjoint boundary value problem for λ = 0.By definition [22,23], the Green's function Since the quantities A k are the Fourier coefficients of the expansion in the Riesz basis {Z k (x)}, k = 1, 2, . . ., and C k (x) are the Fourier coefficients of the expansion of the Green's function G(x, t) in the Riesz basis {X k (x)}, by (3.2) both series on the right-hand side of inequality (3.8) converge, and This implies the absolute and uniform convergence of the second series (3.6).The absolute and uniform convergence of the first series (3.6) is proved similarly.The lemma is proved.

Solvability of the inverse problem for the heat equation with involution
Let us state a theorem on the solvability of the inverse problem (2.1)-(2.2).Recall that the domain D(L αq ) of the operator L αq is generated by one of the boundary conditions (D), (N), (P), or (AP) (in the case of problems (P) and (AP), we additionally require that α = 0) and all its eigenvalues are simple.
2) has a unique solution, which can be represented as Proof According to Theorem 3.4, each of the systems {X k (x)} and {Z k (x)} consisting of the eigenfunctions of operators L αq and L * αq , respectively, forms a Riesz basis in the space L 2 (-1, 1).The functions u(x, t) and f (x) can be represented as ) where T k (t) are unknown functions, and f k are unknown constants.Substituting expressions (4.1) and (4.2) into equation (2.1), we obtain the equation Solution to this equation has the form with unknown constants f k and C k .Taking into account conditions (2.2), we obtain the following equalities: where ϕ k = (ϕ, Z k ) and ψ k = (ψ, Z k ) are presented as in (3.5).From the last two equalities we find the constants First, substituting the values T k (t) and f k into (4.1) and (4.2), we obtain a formal solution to problem (2.1)-(2.2) in the form ) In (4.3) the first term was obtained by virtue of Lemma 3.7.In (4.4), we used the equality ) and the convergence of series (3.6), from which we obtain the convergence of the series ∞ k=1 (L αq ϕ, Z k )X k (x) to the function L αq ϕ(x).The found values of the constants are transformed into the form From this we finally obtain the formal solution of problem (2.1)-(2.2) in the form ) The convergence of series (4.6) follows from Lemma 3.7.From Lemma 3.5 (Re λ k > 0), we get the estimates λ k e -λ k τ → 0, k → ∞, and |λ k e -λ k t | ≤ |λ k e -λ k τ |, t ≥ τ > 0, and starting from a number k ≥ k 0 , the inequality |λ k e -λ k t | ≤ |λ k e -λ k τ | < 1, t ≥ τ > 0, is satisfied.These estimates allow us to prove the uniform convergence of series (4.5) and formally differentiated series corresponding to the functions u t (x, t), u tt (x, t), u x (x, t), u xx (x, t) in the domain ¯ .The existence of a solution to problem (2.1)-(2.2) is proved.
Let us prove the uniqueness of the solution.Let there be two solutions u 1 (x), f 1 (x) and u 2 (x), f 2 (x) to problem (2.1)-(2.2).Then the functions u(x, t) = u 1 (x, t)u 2 (x, t) and f (x) = f 1 (x)f 2 (x) satisfy equation (2.1) and homogeneous conditions u(0) = u(T) = 0. (4.7) Consider the following sequences: Thus for u k (t), we obtain the equation whose solution is where A k and f k are unknown constants.The function u k (t) satisfies homogeneous conditions (4.7): Then from the equalities we get f k = A k = 0, from which it follows that u k (t) = Then the basis property of the system {X k (x)} implies the equality f (x) ≡ 0, u(x, t) ≡ 0, that is, f 1 (x) = f 2 (x), u 1 (x, t) = u 2 (x, t).The theorem is proved.

Conclusions
Summarizing, we have proved the unique solvability of inverse problems for the heat equation with involution with a complex-valued variable coefficient.In the course of proving the solvability, we have proved an important theorem on the Riesz basis property of eigenfunctions of the second-order differential operator with involution in the second derivative.The results obtained can be useful for further development of the theory of solvability of mixed problems for partial differential equations with involution.