- Research
- Open access
- Published:
On the smoothness of solutions of the third order nonlinear differential equation
Boundary Value Problems volume 2017, Article number: 69 (2017)
Abstract
In this work we study the following third order differential equation:
where \(q(x,y) \geq1\) is a continuous function in all its variables.
We will deal with the following questions:
-
(a)
The existence of a solution to equation (1) in the space \(L_{2} (\mathbb{R})\) where \(L_{2} (\mathbb{R})\) is the space of square summable functions.
-
(b)
Additional conditions on the third derivative of this solution to belong to the space \(L_{2} (\mathbb{R})\).
1 Introduction
The questions posed in the abstract are equivalent to the so-called ‘separability’ of the nonlinear differential operator
on the domain
Statement of the fundamental problem of separability of the differential operator belongs to Everittand and Giertz [1, 2]. They studied the Sturm-Liouville operator, which is known, in many cases, to be the ‘touchstone’ for the proposed methods of studies. Their research has been continued by, among others, Atkinson [3], Evans and Zettle [4], Otelbaev [5] and Boymatov [6].
In the last years, many mathematicians have applied the methods of Everita and Giertza [2], which consist in the use of classical techniques for the study of the asymptotic behavior at infinity of the Green’s function of the considered operator.
In the second half of the seventies of the last century, the study of the separability problem began to apply new methods proposed by Otelbaev [5]. In order to solve these issues, he proposed some modification on the Titchmarsh method, previously used to solve different problems studied in the works of Kostyuchenko [7], Levitan [8] and Gasymov [9].
Later on, in order to solve the problem on the smoothness of the solutions of differential equations, Otelbaev proposed the special method of the local representation of the resolvent, which is called variational method. For unbounded domains, the existence and smoothness of solutions of nonlinear Sturm-Liouville differential equations (with a singular potential) were studied in [10]. However, the smoothness of solutions of nonlinear differential equations remains poorly studied compared with the efforts devoted to the study of linear differential equations. In this case, there are no existing traditional methods that could be applied to the available large number of problems encountered in applications. Note that in recent years several studies devoted to this area were published in [11–13].
2 Main result
The purpose of this work is to study questions related to the existence and smoothness of solutions of odd order nonlinear differential equations of the type (1).
It is very well known that, for even order operators, the following condition is fulfilled:
Here \(\| \cdot\|_{2}\) is the usual norm in the space \(L_{2}(\mathbb{R})\) and c is a suitable constant independent of u. However, this property fails when an odd order operator is considered. This fact makes their study more difficult to deal with than the one delivered to even order operators.
In the sequel, we introduce the hypotheses on the data of the considered equation.
Assume that function q satisfies the following inequality:
where \(s(x)\) tends to +∞ whenever \(\vert x \vert \rightarrow+ \infty\).
Assume that there exist numbers \(0 < A < \infty\), \(T(A)\) and \(B(A)\) such that
and they satisfy the Hölder-type conditions
where a is a given real constant satisfying the following inequalities:
Now we enunciate the main result of this paper.
Theorem 1
Assume that conditions (2)-(4) are fulfilled, then, for any right side \(f \in L_{2} ( \mathbb{R} )\), there exists a real number \(\mu= \mu ( A,f ) \) satisfying
such that for all \(\lambda> \mu\) equation (1) has a solution \(y \in W^{1}_{2}(\mathbb{R})\) satisfying \(\| y\|_{2,1} \leq A\) and having a quadratically summable third order derivative on the entire axis.
Here and hereinafter, \(W^{1}_{2}(\mathbb{R})\) denotes the classical space of Sobolev with the usual norm \(\| \cdot\|_{2,1}\).
Remark 1
Note that the previous theorem implies the smoothness of solutions of equation (1) for λ large enough.
Example 1
One can verify that an example of an equation whose coefficients satisfy the conditions of Theorem 1 is the following one:
Let the function \({\mathcal{V}} \in W^{1}_{2}(\mathbb{R})\) be such that
To prove Theorem 1, we consider the closure \(\tilde{L}_{{\mathcal{V}}}\) on the norm \(L_{2} ( \mathbb{R} )\) of the differential expression
defined on \(C_{0}^{\infty}(\mathbb{R})\), where \(C_{0}^{\infty }(\mathbb{R})\) is the set of infinitely many differentiable functions in \(\mathbb {R}\) that vanish at \(x \pm\infty\).
Before obtaining the main result of this paper, we prove some preliminary lemmas.
Lemma 1
Suppose that conditions (2)-(4) are fulfilled. Then, for all \(\lambda> \mu ( A )\) (\(\mu(A)\) is a large enough number), the following properties hold:
-
(a)
Operator \({\tilde{L}}_{{\mathcal{V}}} + \lambda E\) defined in the space \(L_{2}(\mathbb{R})\) has a bounded inverse operator.
-
(b)
Operator \({\tilde{L}}_{{\mathcal{V}}}\) is separable.
Moreover, the following estimates hold:
To prove this lemma, we use the following result.
Assertion 1
[5], Lemma 2
Let \({\mathcal{K}}\) be an integral operator in \(L_{2}(\mathbb{R})\) with continuous kernel \(K(x,\eta)\):
Then
In order to prove Lemma 1, we introduce the following kernels for any \(\lambda> 0\):
where function \(r \in C_{0}^{\infty}({\mathbb{R}})\) is constructed by using the following function:
and satisfy the following properties:
and
Note that at \(x \neq\eta\) the following property is fulfilled:
Now, let us denote the following operators defined by
Let us prove the following preliminary result.
Lemma 2
If \(f \in C_{0}^{\infty} ( \mathbb{R} )\), then the following equality holds:
Proof
From the definition of operator \(M_{4} ( \lambda )\), we have
From this and (5), it is not difficult to verify that \(M_{4} ( \lambda )f \in D(\tilde{L}_{{\mathcal{V}}})\).
Further
After simple calculations, we deduce that
So, Lemma 2 is proved. □
Proof of Lemma 1
We start the proof by looking for estimates of the norms of the operators \({M}_{j} ( \lambda )\) (\(j = 1,2,3,4\)), under the assumptions of Lemma 1.
By virtue of Assertion 1, we have
Since \({\mathcal{V}} \in W_{2}^{1}(\mathbb{R})\), then \({\mathcal{V}} ( \eta ) - {\mathcal{V}}(x) = \int_{x}^{\eta }{\mathcal{V}} '(t) \, dt\).
By Bunyakovskii’s inequality, using that \(\| {\mathcal{V}} \|_{2,1} \leq A\), we deduce that
Using the representation of \(M_{1} ( x,\eta,{\mathcal{V}}(x),\lambda )\), under conditions (3) and (4), and taking (6) into account, we obtain
Moreover, we have that
So, we can conclude
In the last two estimates, we have used condition (3) and equality (5).
The norms of \(M_{3} ( \lambda )\) and \(M_{4}(\lambda)\) can be estimated in a similar way.
Denote now
In the sequel, we will prove the following equality:
Using the norm’s estimations of operators \(M_{j} ( \lambda )\), it follows that for all \(\lambda> \mu ( A )\), operator \(E + S ( \lambda )\) is bounded along with its inverse and, therefore, the set
is dense in \(L_{2} ( \mathbb{R} )\).
From Lemma 2, applied to \(g = B ( \lambda )f\), with \(f \in C_{0}^{\infty} ( \mathbb{R} )\) and \(B ( \lambda ) = E + S ( \lambda )\), it follows that
As a consequence,
or, which is the same,
Since the set M is dense in \(L_{2}(\mathbb{R})\), we obtain that
Obviously, operator \(q(x,{\mathcal{V}}(x)) ({\tilde{L}}_{{\mathcal{V}}} +\lambda E)^{- 1}\) is bounded if and only if operator \(q ( x,{\mathcal{V}}(x) )M_{4} ( \lambda )\) is also bounded. Therefore, to ensure the separability of operator \({\tilde{L}}_{{\mathcal{V}}}\), it is sufficient to show the boundedness of operator \(q ( x,{\mathcal{V}}(x) )M_{4} ( \lambda )\).
By virtue of condition (2) and the properties of function r, we deduce that the kernel \(M ( x,\eta, {\mathcal{V}}(x),\lambda )\) of operator \(q ( x,{\mathcal{V}}(x) )M_{4} ( \lambda ) \) satisfies the following inequality:
Hence, after simple calculations, we conclude that
So, by means of this inequality, we can verify the conditions of Assertion 1 and obtain the boundedness of operator \(q(x,{\mathcal{V}}(x)) M_{4} ( \lambda )\), and besides
Further, we have
By virtue of (8), it follows that
Since \(({\tilde{L}}_{{\mathcal{V}}} + \lambda E)^{- 1} \) exists and is bounded, we have that
Therefore, by (7)
It is clear that for all \(\lambda> \mu ( A )\), from the estimations on the norms of \(M_{j} ( \lambda )\) (\(j = 1,2,3,4\)), we deduce that \({\| S(\lambda) \|}_{2}\leq\frac{1}{2}\), hence, by the well-known theory of inverse operators, we arrive at
and we obtain the inequality
and the proof of Lemma 1 is finished. □
Lemma 3
Let \({\mathcal{V}}\in W_{2}^{1}(\mathbb{R})\) be such that \(\| {\mathcal{V}}\|_{2,1} \le A\). Suppose that the conditions of Lemma 1 are fulfilled. Then, for all \(\lambda> \mu ( A )\), the equation
has a solution \(y \in W_{2}^{1}(\mathbb{R})\) satisfying
Proof
By the embedding theorem, the following inequality holds:
After replacing \(x = at\), inequality (10) has the form
Hence, from Lemma 1, the following inequality is attained:
Putting \(a^{6} = \lambda^{4/3}\), we have
From these inequalities we deduce
Therefore, for all \(\lambda> 12 { ( \frac{T(A) \| f \| _{2}}{A} )}^{\frac{4}{9}}\), we obtain the validity of estimate (9) and the result is proved. □
Lemma 4
Let conditions (2)-(4) be fulfilled and \(\lambda\geq\mu(A)\). Then, for a fixed \(f \in L_{2} ( \mathbb{R} )\), the set
is compact in the space \(W_{2}^{1}(\mathbb{R})\).
Proof
Since conditions (3) and (4) are satisfied, using Lemma 1 for any \(y\in D(\tilde{L}_{{\mathcal{V}}})\), it is not difficult to verify the validity of the next inequality
Thus, using equation (8) and Lemma 3, we deduce that
Now, since y is a continuous function, we conclude that the following inclusion is fulfilled:
So, to prove Lemma 4, it is enough to verify the compactness of the set N in \(W_{2}^{1} ( \mathbb{R} )\). And this, by virtue of condition (2), follows from the results given in [14]. □
So, we are in a position to prove the main result of this paper, Theorem 1.
To this end, we start by proving the continuity of operator
which transforms, for a fixed \(f \in L_{2}(\mathbb{R})\), any function \({\mathcal{V}} \in W_{2}^{1}(\mathbb{R})\) into the function \(({\tilde{L}}_{{\mathcal{V}}} + \lambda E)^{- 1}f \in W_{2}^{1}(\mathbb{R})\).
Let
and
Suppose that
and
where \({f \in L}_{2}(\mathbb{R})\) is a given function.
Then we have
or, which is the same,
that is,
By the embedding theorem, \(\mathcal{V}(x)\) and \(\mathcal{V}_{n} ( x )\) are continuous functions. Then, since \(q ( x,y )\) is continuous in both arguments, it is clear that
Let \([a,b]\) be any compact interval of \(\mathbb{R}\). Then by (11) and (12) we deduce that there is a positive constant C, for which the following inequalities are fulfilled:
On the other hand, by Lemma 3 and the known embedding theorem [15], we conclude that there exists \(z \in L_{2} ( \mathbb{R} )\) such that \(y_{n} \rightarrow z \) strongly in \(L_{2} ( \mathbb{R} )\).
According to Lemma 1, we have that the following estimation is fulfilled:
Therefore, it is enough to study the behavior of the norm in \(L_{2} ( \mathbb{R} )\). Taking into account (13), we conclude that \(z = y\) and, as a consequence, operator \(Z_{f} \) is continuous.
On the other hand, operator \(Z_{f}\), as follows from Lemma 1, applies the ball \(E(0,A)\) into itself. From Lemma 4 and the continuity of operator \(Z_{f}\) we can deduce that it is completely continuous. Consequently, according to the principle of Schauder [16], operator \(Z_{f}\) has a fixed point in the ball \(E(0,A) {\subset W}_{2}^{1}(\mathbb{R})\).
Therefore the equation
has a solution y which lies in a ball of radius A in \(W_{2}^{1}(\mathbb{R})\).
As a consequence, all the conditions of Lemma 1 for operator \(\tilde {L}_{{\mathcal{V}}} + \lambda E \) at \({\mathcal{V}}(x) = y(x)\) are satisfied.
This completes the proof of Theorem 1.
Remark 2
Similar results can be proved for the equation
in the space \(L_{2} ( \mathbb{R} )\).
References
Everitt, WN, Giertz, M: Some properties of the domains of certain differential operators. Proc. Lond. Math. Soc. (3) 23(2), 301-324 (1971)
Everitt, WN, Giertz, M: On some properties of the powers of a family self-adjoint differential expressions. Proc. Lond. Math. Soc. 24, 149-170 (1972)
Atkinson, FV: On some result of Everitt and Qiertz. Proc. R. Soc. Edinb. A 71, 165-198 (1974/1975)
Zettle, A, Evans, WD: Dirichlet and separation results for Schrödinger-type operators. Proc. R. Soc. Edinb., Sect. A 80, 151-162 (1978)
Otelbaev, M: On summability with a weight of a solution of the Sturm-Liouville equation. Math. Notes Acad. Sci. USSR 16(6), 969-980 (1974)
Boymatov, KH: Separability theorem, weighted spaces and their applications to boundary value problems. Dokl. Akad. Nauk SSSR 247(3), 532-536 (1979)
Kostyuchenko, G: Distribution of eigenvalues for singular differential operators. Dokl. Akad. Nauk SSSR 168, 810-813 (1966)
Levitan, B: Investigation of Green’s function for Sturm-Liouville equation with operator coefficient. Mat. Sb. 76(2), 239-270 (1968)
Gasymov, G: On the distribution of eigenvalues for self-adjoint differential operators. Dokl. Akad. Nauk SSSR 186, 753-756 (1969)
Birgebaev, A, Muratbekov, MB: Smoothness of solutions of nonlinear stationary Schrödinger equation. In: Applications of Functional Analysis Methods to Nonclassical Equations of Mathematical Physics, pp. 33-45. IMSO AN SSSR (1983)
Zayed, EME: Separation for the biharmonic differential operator in the Hilbert space associated with the existence and uniqueness theorem. J. Math. Anal. Appl. 337, 659-666 (2008)
Omran, S, Khaled, AG, Nofal, ETA: Separation of the differential wave equation in Hilbert space. Int. J. Nonlinear Sci. 11(3), 358-365 (2011)
Zayed, EME, Omran, SA: Separation of the Tricomi differential operator in Hilbert space with application to the existence and uniqueness theorem. Int. J. Contemp. Math. Sci. 6(8), 353-364 (2011)
Otelbaev, M, Tsend, L: On the theorems of compactness. Sib. Math. J. 4, 817-822 (1972)
Otelbaev, M: Imbedding theorems for spaces with a weight and their application to the study of the spectrum of a Schrödinger operator. Tr. Mat. Inst. Steklova 150, 265-305 (1979)
Trenogin, VA: Function Analysis. Nauka, Moscow (1980)
Acknowledgements
Alberto Cabada was partially supported by Ministerio de Economía y Competitividad, Spain, and FEDER, project MTM2013-43014-P, and by the Agencia Estatal de Investigación (AEI) of Spain under grant MTM2016-75140-P, co-financed by the European Community fund FEDER.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
The three authors have contributed equally and significantly in writing this article. All the authors read and approved the final manuscript.
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Berdyshev, A.S., Birgebaev, A.B. & Cabada, A. On the smoothness of solutions of the third order nonlinear differential equation. Bound Value Probl 2017, 69 (2017). https://doi.org/10.1186/s13661-017-0799-4
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-017-0799-4