On a Generalization of the Initial-Boundary Problem for the Vibrating String Equation

Djumaklich Amanov 1, Gafurjan Ibragimov 2 and Adem Kılıçman 2,3,* 1 Institute of Mathematics of Academy of Sciences of Uzbekistan, Tashkent 100125, Uzbekistan; damanov@yandex.ru 2 Department of Mathematics and Institute for Mathematical Research, Universiti Putra Malaysia, Serdang 43400, Selangor, Malaysia; ibragimov@upm.edu.my 3 Department of Electrical and Electronic Engineering, Istanbul Gelisim University, Avcilar, Istanbul 34310, Turkey * Correspondence: akilic@upm.edu.my; Tel.: +603-89466813


Introduction
The differential equations are used to model the real world application problems in science and engineering that involve several parameters as well as the change of variables with respect to others.Most of these problems will require the solution of initial and boundary conditions, that is, the solution to the differential equations are forced to satisfy certain conditions and data.However, to model most of the real world problems is very complicated task and in many forms it is also difficult to find the exact solution.Boundary value problems for the Laplace, Poisson and Helmholtz equations with boundary conditions containing the higher order derivatives were studied in works by Bavrin [1], Karachik [2][3][4][5], Sokolovskii [6].In the papers [7][8][9][10][11][12][13], boundary problems, including higher derivatives on the boundary, were studied for the Poisson, Helmholtz, and biharmonic equations.It should be noted that unlike our work, in the mentioned papers [1][2][3][4][5][6]14], the higher order derivative is given on the entire boundary.For an inhomogeneous heat equation, an initial-boundary problem containing a higher order derivative in the presence of an initial condition was studied in [15].Now we reconsider the following equation in the domain Ω = {(x, y) | 0 < x < p, 0 < t < T} where f (x, t) is a given function.Then we try to find a solution of the Equation (1) in the domain Ω which satisfies the following conditions where k ≥ 1 is a fixed integer number.For the case k = 0 and f (x, t) = 0, the problem (1)-( 5) was studied in [16].Further Tikhonov in [17] studied homogeneous heat equation with the boundary condition = 0 and the initial condition u(x, 0) = 0 in the domain . Similarly, Bitsadze in [14] studied the Laplace equation in an n-dimensional domain D under the condition d m u dν m = f (x), x ∈ ∂D and proved its Fredholm property.There is also more related literature on the boundary conditions problem, see for example ( [18][19][20][21][22][23][24][25]).In the present paper, we study a generalized initial-boundary problem ( 2)-( 5) for the inhomogeneous vibrating string Equation (1).The initial conditions include the higher order derivatives of the unknown function.The problem is studied under homogeneous boundary conditions of the first kind.We prove the uniqueness and existence of a regular solution of the problem.To solve the problem (1)-( 5), we apply the spectral decomposition method.

The Uniqueness of Solution
Theorem 1.The solution of the problem (1)-( 5) is unique if it exists.
We show that the homogeneous problem (1)-( 5) has only the trivial solution.It is known [26], the functions form in L 2 (0, p) a complete orthonormal system.Following [27], we consider the functions where u(x, t) is the solution of the homogeneous equation corresponding to the Equation (1).Differentiating (7) twice with respect to t, we obtain from the corresponding homogeneous Equation (1) The solution of (8) has the form To find the unknown coefficients a n and b n , we use the homogeneous conditions ( 4) and ( 5), which lead to the following equations: It is not difficult to verify that Using (9), we obtain the following system of equations to determine the unknown coefficients a n and b n : whose determinant of coefficients is 1.Hence, that α n (t) = 0.By completeness of functions X n (x), the Equation ( 7) implies that u(x, t) = 0 in Ω.

The Existence of Solution
We search the solution of (1) in the form Expand the functions f (x, t), ϕ k (x), and ψ k (x) in Fourier series by functions X n (x): where Substituting ( 10) and ( 11) into (1), we obtain It can be shown that the solution of this equation satisfying the conditions Hereinafter m ∑ s=0 (. . . ) = 0 for m < 0. Substituting ( 17) into (10), we get Using ( 18) we find the following derivatives of u(x, t).
Next we need to prove the absolute and uniformly convergence of the series ( 18)-( 22).Below we prove several lemmas that are used in the proof of the existence theorem.
uniformly with respect to t and 0 < α < 1.Then the series (11) converges absolutely and uniformly in Ω.

Proof. Integrating by parts (15) we obtain
Using the Bessel inequality [29], kn and using the Hölder inequality for the sum [29] yields Here the equality was used.This implies the absolutely and uniformly convergence of the series ( 12) on [0, p].
The proof is similar to the proof of Lemma 3.
converges absolutely and uniformly in Ω.

Lemma 5.
If converges absolutely and uniformly in Ω.
Proof.Applying the Hölder inequality for integrals [29], we get 1 . Now applying the Hölder inequality for sums and the Bessel inequality, we find .
Next, consider the following series then the series (24) converges absolutely and uniformly in Ω.

Proof. Consider the series
For s = 0 we have . The convergence of this series is obvious.Let s = k+1 Therefore, the series (28) converges and so the series in (24) converges absolutely and uniformly in Ω.
then the series (25) converges absolutely and uniformly in Ω.

Lemma 8. Let
If either k is odd or k is even and then the series (26) converges absolutely and uniformly in Ω.
Proof.The proof is completed by showing that the series Therefore, the series (31) converges for odd k.Then the series (26) converges absolutely and uniformly in Ω.If k = 2, then s = 0 and the series (31) takes the form In general, for any even k, the term of For n = 1, 2, ..., these terms in (31) form the series (32).Show that the series (32) converges.Indeed, integrating the last integral, we obtain by virtue of (30) that By using the Bessel inequality , and therefore taking into account (33), we can see that .
Thus, the series (26) converges absolutely and uniformly in Ω for any even k.

Lemma 9.
Let If either k is even or k is odd and conditions (30) are satisfied, then the series (27) converges absolutely and uniformly in Ω.
Proof.In order to prove this Lemma it is sufficient to prove that the following series The rest of the proof runs as the proof of Lemma 8.
k is even, 1, if k is odd.