<?xml version="1.0" encoding="UTF-8"?><!DOCTYPE article  PUBLIC "-//NLM//DTD Journal Publishing DTD v3.0 20080202//EN" "http://dtd.nlm.nih.gov/publishing/3.0/journalpublishing3.dtd"><article xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" dtd-version="3.0" xml:lang="en" article-type="research article"><front><journal-meta><journal-id journal-id-type="publisher-id">APM</journal-id><journal-title-group><journal-title>Advances in Pure Mathematics</journal-title></journal-title-group><issn pub-type="epub">2160-0368</issn><publisher><publisher-name>Scientific Research Publishing</publisher-name></publisher></journal-meta><article-meta><article-id pub-id-type="doi">10.4236/apm.2015.514081</article-id><article-id pub-id-type="publisher-id">APM-62413</article-id><article-categories><subj-group subj-group-type="heading"><subject>Articles</subject></subj-group><subj-group subj-group-type="Discipline-v2"><subject>Physics&amp;Mathematics</subject></subj-group></article-categories><title-group><article-title>
 
 
  Boundary Value Problem for an Operator-Differential Riccati Equation in the Hilbert Space on the Interval
 
</article-title></title-group><contrib-group><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>.</surname><given-names>O. Pokutnyi</given-names></name><xref ref-type="corresp" rid="cor1"><sup>*</sup></xref></contrib></contrib-group><author-notes><corresp id="cor1">* E-mail:<email>lenasas@gmail.com,lenasas@ukr.net</email>;<email>Institute of Mathematics of NAS of Ukraine, Kiev, Ukraine</email>;</corresp></author-notes><pub-date pub-type="epub"><day>07</day><month>12</month><year>2015</year></pub-date><volume>05</volume><issue>14</issue><fpage>865</fpage><lpage>873</lpage><history><date date-type="received"><day>28</day>	<month>July</month>	<year>2015</year></date><date date-type="rev-recd"><day>accepted</day>	<month>27</month>	<year>December</year>	</date><date date-type="accepted"><day>30</day>	<month>December</month>	<year>2015</year></date></history><permissions><copyright-statement>&#169; Copyright  2014 by authors and Scientific Research Publishing Inc. </copyright-statement><copyright-year>2014</copyright-year><license><license-p>This work is licensed under the Creative Commons Attribution International License (CC BY). http://creativecommons.org/licenses/by/4.0/</license-p></license></permissions><abstract><p>
 
 
  The paper is devoted to obtaining the necessary and sufficient conditions of the solvability of weakly perturbed boundary-value problems for the nonlinear operator-differential Riccati equation in the Hilbert space on the interval and whole line with parameter ?. We find the solution of the given boundary value problem which for ε = 0 turns in one of the solutions of generating boundary value problem. Solution of the generating problem is constructed with the using generalized operator in analytical form. Iterative process for finding of solutions of weakly nonlinear equation with quadratic error is constructed.
 
</p></abstract><kwd-group><kwd>Riccati Equation</kwd><kwd> Hamiltonian System</kwd><kwd> Generalized Green’s Operator</kwd></kwd-group></article-meta></front><body><sec id="s1"><title>1. Introduction</title><p>Riccati equation plays an important role in the theory of optimal control, physics and many others applications. It should be emphasized that such equations are very often used in the games theory and calculus of variations. It should be noted here that in general, many papers are devoted to obtaining the conditions of the solvability in the regular case. We noted such papers as [<xref ref-type="bibr" rid="scirp.62413-ref1">1</xref>] -[<xref ref-type="bibr" rid="scirp.62413-ref12">12</xref>] where considering equation was investigated in the finite- dimensional and in the infinite-dimensional cases. It should be noted that this equation was investigated as in the operator and matrix form or as in the operator-differential and differential form (see the bibliography).</p><p>There are many papers where the matrix Riccati equations and operator-differential Riccati equations were investigated. As a rule, such equations were investigated in the regular case where the given problem had a unique solution. In the nonregular case, such equation was investigated (in the periodic case) in the work of Boichuk O. A. and Krivosheya S. A. [<xref ref-type="bibr" rid="scirp.62413-ref12">12</xref>] . In the paper [<xref ref-type="bibr" rid="scirp.62413-ref4">4</xref>] , the discrete Riccati equation was investigated. In the paper of Pronkin [<xref ref-type="bibr" rid="scirp.62413-ref8">8</xref>] , the question about quasiperiodic solutions of the matrix Riccati equation with coefficients which are Arnold functions is investigated. Dissertation of Christian Wyss [<xref ref-type="bibr" rid="scirp.62413-ref1">1</xref>] is also devoted to the perturbation theory for Hamiltonian operator matrices and Riccati equations in the Hilbert space.</p><p>In the present paper, using the technique of generalized inverse operators, we derive a criterion for the solvability of the given problem, generating problem and analyzing the structure of the solution set. We construct the iterative process for finding the solutions of weakly nonlinear problem which is the modification of Newton method and converges with quadratic error.</p><p>The article consists of three parts.</p><p>The first part of the given paper is devoted to the statement of the problem and denotations.</p><p>The second part is devoted to obtaining the necessary and sufficient conditions of the existence of bounded solutions of generating boundary value problem.</p><p>The last part is devoted to obtaining the necessary and sufficient conditions of the existence of solutions of weakly nonlinear Riccati operator-differential equation.</p><p>In this paper, Riccati equation was investigated in the critical case in the Hilbert space. And we obtain the full theorem of the solvability in linear case.</p></sec><sec id="s2"><title>2. Statement of the Problem</title><p>We consider the following boundary value problem</p><disp-formula id="scirp.62413-formula367"><label>(1)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5300951x6.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.62413-formula368"><label>(2)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5300951x7.png"  xlink:type="simple"/></disp-formula><p>where <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5300951x8.png" xlink:type="simple"/></inline-formula> is an unknown operator function from the space<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5300951x9.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5300951x10.png" xlink:type="simple"/></inline-formula>and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5300951x11.png" xlink:type="simple"/></inline-formula> are bounded operator-valued functions<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5300951x12.png" xlink:type="simple"/></inline-formula>; or in another words these operators are the ways in the space of linear and bounded operators<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5300951x13.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5300951x14.png" xlink:type="simple"/></inline-formula>is a small parameter. We find the solution <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5300951x15.png" xlink:type="simple"/></inline-formula> of boundary value problem (1), (2) which for <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5300951x16.png" xlink:type="simple"/></inline-formula> turns in one of the solutions <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5300951x17.png" xlink:type="simple"/></inline-formula> of the generating boundary value problem</p><disp-formula id="scirp.62413-formula369"><label>(3)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5300951x18.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.62413-formula370"><label>(4)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5300951x19.png"  xlink:type="simple"/></disp-formula></sec><sec id="s3"><title>3. A Solvability Criterion and the Structure of the Solution Set of the Nonperturbed Problem</title>Solutions on the Finite Interval<p>Consider the case when the differential equation is defined on the finite interval <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5300951x20.png" xlink:type="simple"/></inline-formula> or on the infinite inter- val. Let us the operator <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5300951x20.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5300951x21.png" xlink:type="simple"/></inline-formula> whose action on the operator-valued function <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5300951x20.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5300951x21.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5300951x22.png" xlink:type="simple"/></inline-formula> is given by the formula</p><disp-formula id="scirp.62413-formula371"><label>(5)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5300951x23.png"  xlink:type="simple"/></disp-formula><p>where<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5300951x24.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5300951x24.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5300951x25.png" xlink:type="simple"/></inline-formula>are evolution operators [<xref ref-type="bibr" rid="scirp.62413-ref13">13</xref>] , of the following operator-differential equations</p><disp-formula id="scirp.62413-formula372"><label>(6)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5300951x26.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.62413-formula373"><label>(7)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5300951x27.png"  xlink:type="simple"/></disp-formula><p>respectively. Obviously, that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5300951x28.png" xlink:type="simple"/></inline-formula> satisfies the following operator-differential equation</p><disp-formula id="scirp.62413-formula374"><graphic  xlink:href="http://html.scirp.org/file/7-5300951x29.png"  xlink:type="simple"/></disp-formula><p>Using the operator<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5300951x30.png" xlink:type="simple"/></inline-formula>, we write out the general solution of the nonperturbed problem <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5300951x30.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5300951x31.png" xlink:type="simple"/></inline-formula></p><disp-formula id="scirp.62413-formula375"><label>(8)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5300951x32.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.62413-formula376"><label>(9)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5300951x33.png"  xlink:type="simple"/></disp-formula><p>in the form</p><disp-formula id="scirp.62413-formula377"><graphic  xlink:href="http://html.scirp.org/file/7-5300951x34.png"  xlink:type="simple"/></disp-formula><p>where M is an arbitrary operator and</p><disp-formula id="scirp.62413-formula378"><graphic  xlink:href="http://html.scirp.org/file/7-5300951x35.png"  xlink:type="simple"/></disp-formula><p>The main statement of this part is the following theorem.</p><p>Theorem 1. Consider the boundary value problem (8), (9).</p><p>1) There are exist solutions of the boundary value problem (8), (9) if and only if the following condition is true</p><disp-formula id="scirp.62413-formula379"><label>(10)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5300951x36.png"  xlink:type="simple"/></disp-formula><p>where<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5300951x37.png" xlink:type="simple"/></inline-formula>, and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5300951x37.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5300951x38.png" xlink:type="simple"/></inline-formula>; under this condition the family of solutions have the following form</p><disp-formula id="scirp.62413-formula380"><label>(11)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5300951x39.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.62413-formula381"><graphic  xlink:href="http://html.scirp.org/file/7-5300951x40.png"  xlink:type="simple"/></disp-formula><p>is generalized Green’s operator and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5300951x41.png" xlink:type="simple"/></inline-formula> is Moore-Penrose pseudoinvertible;</p><p>2) There are exist generalized solutions of boundary value problem (8), (9) if and only if</p><disp-formula id="scirp.62413-formula382"><graphic  xlink:href="http://html.scirp.org/file/7-5300951x42.png"  xlink:type="simple"/></disp-formula><p>where <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5300951x43.png" xlink:type="simple"/></inline-formula> is strong generalized invertible operator. Then the family of solutions of the Equation (8) has the form</p><disp-formula id="scirp.62413-formula383"><label>(12)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5300951x44.png"  xlink:type="simple"/></disp-formula><p>where</p><disp-formula id="scirp.62413-formula384"><graphic  xlink:href="http://html.scirp.org/file/7-5300951x45.png"  xlink:type="simple"/></disp-formula><p>is generalized Green’s operator.</p><p>3) There are exist the quasisolutions if and only if <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5300951x46.png" xlink:type="simple"/></inline-formula> and in this case we have the solutions in the following form</p><disp-formula id="scirp.62413-formula385"><label>(13)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5300951x47.png"  xlink:type="simple"/></disp-formula><p>with the same generalized invertible.</p><p>Sketch of the proof: Substituting in the boundary condition we will have</p><disp-formula id="scirp.62413-formula386"><label>(14)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5300951x48.png"  xlink:type="simple"/></disp-formula><p>and then we obtain the following operator equation</p><disp-formula id="scirp.62413-formula387"><label>(15)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5300951x49.png"  xlink:type="simple"/></disp-formula><p>Using the notion of generalized invertible operator [<xref ref-type="bibr" rid="scirp.62413-ref14">14</xref>] [<xref ref-type="bibr" rid="scirp.62413-ref15">15</xref>] , we have the following variants for the equation:</p><p>1) If <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5300951x50.png" xlink:type="simple"/></inline-formula> then Equation (15) has the solution if and only if the following condition is true</p><disp-formula id="scirp.62413-formula388"><label>(16)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5300951x51.png"  xlink:type="simple"/></disp-formula><p>If the condition (16) is satisfied then the set of the solutions of the Equation (15) has the following form:</p><disp-formula id="scirp.62413-formula389"><graphic  xlink:href="http://html.scirp.org/file/7-5300951x52.png"  xlink:type="simple"/></disp-formula><p>for any linear and bounded operator C. Then the family of solutions of the boundary value problem (8), (9) has the form</p><disp-formula id="scirp.62413-formula390"><label>(17)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5300951x53.png"  xlink:type="simple"/></disp-formula><p>where</p><disp-formula id="scirp.62413-formula391"><graphic  xlink:href="http://html.scirp.org/file/7-5300951x54.png"  xlink:type="simple"/></disp-formula><p>is generalized Green’s operator.</p><p>2) If<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5300951x55.png" xlink:type="simple"/></inline-formula>. If the <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5300951x55.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5300951x56.png" xlink:type="simple"/></inline-formula> we have the generalized solutions in the following form</p><disp-formula id="scirp.62413-formula392"><graphic  xlink:href="http://html.scirp.org/file/7-5300951x57.png"  xlink:type="simple"/></disp-formula><p>if and only if the following relation is hold</p><disp-formula id="scirp.62413-formula393"><graphic  xlink:href="http://html.scirp.org/file/7-5300951x58.png"  xlink:type="simple"/></disp-formula><p>where <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5300951x59.png" xlink:type="simple"/></inline-formula> is strong generalized invertible operator [<xref ref-type="bibr" rid="scirp.62413-ref15">15</xref>] . Then the family of solutions of the boundary value problems (8), (9) has the form</p><disp-formula id="scirp.62413-formula394"><label>(18)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5300951x60.png"  xlink:type="simple"/></disp-formula><p>where</p><disp-formula id="scirp.62413-formula395"><graphic  xlink:href="http://html.scirp.org/file/7-5300951x61.png"  xlink:type="simple"/></disp-formula><p>is generalized Green’s operator.</p><p>3) If the <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5300951x62.png" xlink:type="simple"/></inline-formula> we have the quasisolutions in the form</p><disp-formula id="scirp.62413-formula396"><label>(19)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5300951x63.png"  xlink:type="simple"/></disp-formula><p>with the same generalized invertible (see also the paper [<xref ref-type="bibr" rid="scirp.62413-ref16">16</xref>] ).</p></sec><sec id="s4"><title>4. Weakly Nonlinear Case</title><sec id="s4_1"><title>4.1. Necessary Condition</title><p>Now we consider the boundary value problem (1), (2). We find the solution <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5300951x64.png" xlink:type="simple"/></inline-formula> of the boundary value problem (1), (2) which for <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5300951x64.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5300951x65.png" xlink:type="simple"/></inline-formula> turns in one of the solutions <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5300951x64.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5300951x65.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5300951x66.png" xlink:type="simple"/></inline-formula> of boundary value problem (8), (9). Now we obtain the necessary condition of the existence of such solutions.</p><p>Theorem 2. (necessary condition) Let the boundary value problem (1), (2) has the solution <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5300951x67.png" xlink:type="simple"/></inline-formula> which for <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5300951x67.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5300951x68.png" xlink:type="simple"/></inline-formula> turns in one of the solution <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5300951x67.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5300951x68.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5300951x69.png" xlink:type="simple"/></inline-formula> with operator<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5300951x67.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5300951x68.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5300951x69.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5300951x70.png" xlink:type="simple"/></inline-formula>. Then the operator <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5300951x67.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5300951x68.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5300951x69.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5300951x70.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5300951x71.png" xlink:type="simple"/></inline-formula> satisfies the following operator equation for generating operators</p><disp-formula id="scirp.62413-formula397"><label>(20)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5300951x72.png"  xlink:type="simple"/></disp-formula><p>Proof. Suppose that the boundary value problem (1), (2) has solution <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5300951x73.png" xlink:type="simple"/></inline-formula> which for <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5300951x73.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5300951x74.png" xlink:type="simple"/></inline-formula> turns in one of the solutions <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5300951x73.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5300951x74.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5300951x75.png" xlink:type="simple"/></inline-formula> with C<sub>0</sub>. By virtue of the theorem 1 thefollowing condition of solvability is true</p><disp-formula id="scirp.62413-formula398"><label>(21)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5300951x76.png"  xlink:type="simple"/></disp-formula><p>where</p><disp-formula id="scirp.62413-formula399"><graphic  xlink:href="http://html.scirp.org/file/7-5300951x77.png"  xlink:type="simple"/></disp-formula><p>Such as condition (10) is true, then the condition of solvability (21) we can rewrite in the following form</p><disp-formula id="scirp.62413-formula400"><graphic  xlink:href="http://html.scirp.org/file/7-5300951x78.png"  xlink:type="simple"/></disp-formula><p>Dividing by <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5300951x79.png" xlink:type="simple"/></inline-formula> and passing to the limit when <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5300951x79.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5300951x80.png" xlink:type="simple"/></inline-formula> tends to zero we obtain</p><disp-formula id="scirp.62413-formula401"><graphic  xlink:href="http://html.scirp.org/file/7-5300951x81.png"  xlink:type="simple"/></disp-formula><p>or in the form</p><disp-formula id="scirp.62413-formula402"><label>(22)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5300951x82.png"  xlink:type="simple"/></disp-formula><p>From this condition we obtain the theorem 2.</p></sec><sec id="s4_2"><title>4.2. Sufficient Condition of the Solvability</title><p>Now we obtain the sufficient condition of the solvability of boundary value problem (8), (9). We make the change of the variable <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5300951x83.png" xlink:type="simple"/></inline-formula> by the rule<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5300951x83.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5300951x84.png" xlink:type="simple"/></inline-formula>. Then we obtain the following boundary value problem</p><disp-formula id="scirp.62413-formula403"><label>(23)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5300951x85.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.62413-formula404"><label>(24)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5300951x86.png"  xlink:type="simple"/></disp-formula><p>The family of solutions of the Equation (23) has the following form</p><disp-formula id="scirp.62413-formula405"><label>(25)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5300951x87.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.62413-formula406"><label>(26)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5300951x88.png"  xlink:type="simple"/></disp-formula><p>under condition (21)</p><disp-formula id="scirp.62413-formula407"><label>(27)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5300951x89.png"  xlink:type="simple"/></disp-formula><p>Substituting in this expression (25) and using the Equation (20), we have</p><disp-formula id="scirp.62413-formula408"><label>(28)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5300951x90.png"  xlink:type="simple"/></disp-formula><p>Then we can rewrite this expression in the following form of the operator equation</p><disp-formula id="scirp.62413-formula409"><label>(29)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5300951x91.png"  xlink:type="simple"/></disp-formula><p>where</p><disp-formula id="scirp.62413-formula410"><label>(30)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5300951x92.png"  xlink:type="simple"/></disp-formula><p>and</p><disp-formula id="scirp.62413-formula411"><label>(31)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5300951x93.png"  xlink:type="simple"/></disp-formula><p>If the following condition</p><disp-formula id="scirp.62413-formula412"><label>(32)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5300951x94.png"  xlink:type="simple"/></disp-formula><p>is true then the equation (30) has the solution</p><disp-formula id="scirp.62413-formula413"><label>(33)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5300951x95.png"  xlink:type="simple"/></disp-formula><p>Under condition (32), we can prove that boundary value problem (23), (24) have solutions. In a such way, we prove the following theorem.</p><p>Theorem 3. (sufficient condition) Under condition (32) boundary value problem (23), (24) is solvable. Solution of the given boundary problem can be found with using the following converging iterative process</p><disp-formula id="scirp.62413-formula414"><label>(34)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5300951x96.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.62413-formula415"><label>(35)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5300951x97.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.62413-formula416"><label>(36)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5300951x98.png"  xlink:type="simple"/></disp-formula><p>with zero initial data.</p><p>Proof.</p><p>Proof of this theorem uses the modification of the fixed point theorem and is performed as well as the proof of the theorem 3 from the paper [<xref ref-type="bibr" rid="scirp.62413-ref17">17</xref>] .</p><p>Example 1.</p><p>Considering the following boundary value problem with the matrix-valued in l<sub>2</sub> functions,</p><disp-formula id="scirp.62413-formula417"><label>(37)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5300951x99.png"  xlink:type="simple"/></disp-formula><p>nonhomogenous part has the following form</p><disp-formula id="scirp.62413-formula418"><label>(38)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5300951x100.png"  xlink:type="simple"/></disp-formula><p>and conditions on infinity</p><disp-formula id="scirp.62413-formula419"><label>(39)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5300951x101.png"  xlink:type="simple"/></disp-formula><p>In this case</p><disp-formula id="scirp.62413-formula420"><label>(40)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5300951x102.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.62413-formula421"><label>(41)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5300951x103.png"  xlink:type="simple"/></disp-formula><p>Operator <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5300951x104.png" xlink:type="simple"/></inline-formula> has the following form</p><disp-formula id="scirp.62413-formula422"><label>(42)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5300951x105.png"  xlink:type="simple"/></disp-formula><p>with <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5300951x106.png" xlink:type="simple"/></inline-formula> *-star matrix which has the following form</p><disp-formula id="scirp.62413-formula423"><label>(43)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5300951x107.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.62413-formula424"><label>(44)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5300951x108.png"  xlink:type="simple"/></disp-formula><p>In this case, the operator <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5300951x109.png" xlink:type="simple"/></inline-formula> has the following form</p><disp-formula id="scirp.62413-formula425"><label>(45)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5300951x110.png"  xlink:type="simple"/></disp-formula><p>From the condition (39) we obtain that<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5300951x111.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5300951x111.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5300951x112.png" xlink:type="simple"/></inline-formula>etc. and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5300951x111.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5300951x112.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5300951x113.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5300951x111.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5300951x112.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5300951x113.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5300951x114.png" xlink:type="simple"/></inline-formula>etc. we can take arbitrary.</p><p>In the such way, we have</p><disp-formula id="scirp.62413-formula426"><graphic  xlink:href="http://html.scirp.org/file/7-5300951x115.png"  xlink:type="simple"/></disp-formula><p>(46)</p><p>The unperturbed problem has the following form</p><disp-formula id="scirp.62413-formula427"><label>(47)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5300951x116.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.62413-formula428"><label>(48)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5300951x117.png"  xlink:type="simple"/></disp-formula><p>Consider the following problem with the matrix,</p><disp-formula id="scirp.62413-formula429"><label>(49)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5300951x118.png"  xlink:type="simple"/></disp-formula><p>nonhomogenous part has the following form</p><disp-formula id="scirp.62413-formula430"><label>(50)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5300951x119.png"  xlink:type="simple"/></disp-formula><p>In this case</p><disp-formula id="scirp.62413-formula431"><label>(51)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5300951x120.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.62413-formula432"><graphic  xlink:href="http://html.scirp.org/file/7-5300951x121.png"  xlink:type="simple"/></disp-formula><p>where</p><disp-formula id="scirp.62413-formula433"><label>(52)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5300951x122.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.62413-formula434"><graphic  xlink:href="http://html.scirp.org/file/7-5300951x123.png"  xlink:type="simple"/></disp-formula><p>where</p><disp-formula id="scirp.62413-formula435"><label>(53)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5300951x124.png"  xlink:type="simple"/></disp-formula><p>Here are <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5300951x125.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5300951x125.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5300951x126.png" xlink:type="simple"/></inline-formula> characteristic numbers of the block of the Fibonacci matrix B.</p></sec></sec><sec id="s5"><title>Cite this paper</title><p>O. O.Pokutnyi, (2015) Boundary Value Problem for an Operator-Differential Riccati Equation in the Hilbert Space on the Interval. Advances in Pure Mathematics,05,865-873. doi: 10.4236/apm.2015.514081</p></sec></body><back><ref-list><title>References</title><ref id="scirp.62413-ref1"><label>1</label><mixed-citation publication-type="other" xlink:type="simple">Wyss, C. (2008) Perturbation Theory for Hamiltonian Operator Matrices and Riccati Equations. Dissertation, Bern, 164 p.</mixed-citation></ref><ref id="scirp.62413-ref2"><label>2</label><mixed-citation publication-type="other" xlink:type="simple">Abbasbandy, S. (2006) Iterated He’s Homotopy Perturbation Method for Quadratic Riccati Differential Equation. Applied Mathematics and Computation, 175, 581-589. http://dx.doi.org/10.1016/j.amc.2005.07.035</mixed-citation></ref><ref id="scirp.62413-ref3"><label>3</label><mixed-citation publication-type="other" xlink:type="simple">Sragovich, V.G. and Chornik, (1995) About Asymptotical Behavior of Solutions of Algebraic Riccati Equation for Continuous Time. Automation and Remote Control, No. 8, 90-92.</mixed-citation></ref><ref id="scirp.62413-ref4"><label>4</label><mixed-citation publication-type="other" xlink:type="simple">Lazareva, A.B. and Pakshin, P.V. (1986) Solution of Matrix Lurier, Riccati and Lyapunov Equations for Digital Systems. Automation and Remote Control, No. 12, 17-22.</mixed-citation></ref><ref id="scirp.62413-ref5"><label>5</label><mixed-citation publication-type="other" xlink:type="simple">Chu, E.K.-W., Fan, H.-Y. and Lin, W.-W. (2005) A Structure-Preserving Doubling Algorithm for Continuous-Time Algebraic Riccati Equations. Linear Algebra and Its Applications, 396, 55-80. http://dx.doi.org/10.1016/j.laa.2004.10.010</mixed-citation></ref><ref id="scirp.62413-ref6"><label>6</label><mixed-citation publication-type="other" xlink:type="simple">Freiling, G. (2002) A Survey of Nonsymmetric Riccati Equations. Linear Algebra and Its Applications, 351-352, 243-270. http://dx.doi.org/10.1016/S0024-3795(01)00534-1</mixed-citation></ref><ref id="scirp.62413-ref7"><label>7</label><mixed-citation publication-type="other" xlink:type="simple">Hiramoto, K., Doki, H. and Obinata, G. (2000) Optimal Sensor/Actuator Placement for Active Vibration Control Using Explicit Solution of Algebraic Riccati Equation. Journal of Sound and Vibration, 229, 1057-1075. http://dx.doi.org/10.1006/jsvi.1999.2530</mixed-citation></ref><ref id="scirp.62413-ref8"><label>8</label><mixed-citation publication-type="other" xlink:type="simple">Pron’kin, V.S. (1994) On Quasiperiodic Solutions of the Matrix Riccati Equation. Russian Academy of Sciences, Izvestiya Mathematics, 43, 455-470. http://dx.doi.org/10.1070/im1994v043n03abeh001575</mixed-citation></ref><ref id="scirp.62413-ref9"><label>9</label><mixed-citation publication-type="other" xlink:type="simple">Osmolovskii, N.P. and Lempio, F. (2000) Jacobi Conditions and the Riccati Equation for a Broken Extremal. Journal of Mathematical Sciences, 100, 2572-2592. http://dx.doi.org/10.1007/BF02673843</mixed-citation></ref><ref id="scirp.62413-ref10"><label>10</label><mixed-citation publication-type="journal" xlink:type="simple"><name name-style="western"><surname>Grigoryan</surname><given-names> G.A. </given-names></name>,<etal>et al</etal>. (<year>2015</year>)<article-title>Global Solvability of Scalar Riccati Equations. Russian Mathematics (Izvestiya VUZ</article-title><source> Matematika)</source><volume> 59</volume>,<fpage> 31</fpage>-<lpage>42</lpage>.<pub-id pub-id-type="doi"></pub-id></mixed-citation></ref><ref id="scirp.62413-ref11"><label>11</label><mixed-citation publication-type="other" xlink:type="simple">Boichuk, O.A. and Krivosheya, S.A. (1998) Criterion of the Solvability of Matrix Lyapunov Type Equations. Ukrainian Mathematical Journal, 50, 1021-1026. http://dx.doi.org/10.1007/BF02513089</mixed-citation></ref><ref id="scirp.62413-ref12"><label>12</label><mixed-citation publication-type="other" xlink:type="simple">Boichuk, A.A. and Krivosheya, S.A. (2001) A Critical Periodic Boundary-Value Problem for a Matrix Riccati Equation. Differential Equations, 37, 464-471. http://dx.doi.org/10.1023/A:1019267220924</mixed-citation></ref><ref id="scirp.62413-ref13"><label>13</label><mixed-citation publication-type="other" xlink:type="simple">Krein, M.G. (1970) Stability of Solutions of Differential Equations in Banach Space. Science, Moscow, 534 p. (In Russian)</mixed-citation></ref><ref id="scirp.62413-ref14"><label>14</label><mixed-citation publication-type="other" xlink:type="simple">Boichuk, A.A. and Samoilenko, A.M. (2004) Generalized Inverse Operators and Fredholm Boundary-Value Problems. VSP, Utrecht-Boston, 317 p. http://dx.doi.org/10.1515/9783110944679</mixed-citation></ref><ref id="scirp.62413-ref15"><label>15</label><mixed-citation publication-type="other" xlink:type="simple">Pokutnyi, O.O. (2013) Generalized-Invertible Operator in the Banach Hilbert and Frechet Spaces. Visnik of the Kiev National Taras Shevchenko University, Series of Physical and Mathematical Sciences.</mixed-citation></ref><ref id="scirp.62413-ref16"><label>16</label><mixed-citation publication-type="other" xlink:type="simple">Panasenko, E.V. and Pokutnyi, O.O. (2013) Boundary Value Problems for Differential Equations in Banach Space with Unbounded Operator in Linear Part. Nonlinear Oscillations, 16, 518-526.</mixed-citation></ref><ref id="scirp.62413-ref17"><label>17</label><mixed-citation publication-type="other" xlink:type="simple">Pokutnyi, A.A. (2012) Bounded Solutions of Linear and Weakly Nonlinear Differential Equations in Banach Space with Unbounded Linear Part. Differential Equations, 48, 803-813. http://dx.doi.org/10.1134/S0012266112060055</mixed-citation></ref></ref-list></back></article>