<?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">OALibJ</journal-id><journal-title-group><journal-title>Open Access Library Journal</journal-title></journal-title-group><issn pub-type="epub">2333-9705</issn><publisher><publisher-name>Scientific Research Publishing</publisher-name></publisher></journal-meta><article-meta><article-id pub-id-type="doi">10.4236/oalib.1105605</article-id><article-id pub-id-type="publisher-id">OALibJ-94131</article-id><article-categories><subj-group subj-group-type="heading"><subject>Articles</subject></subj-group><subj-group subj-group-type="Discipline-v2"><subject>Biomedical&amp;Life Sciences</subject><subject> Business&amp;Economics</subject><subject> Chemistry&amp;Materials Science</subject><subject> Computer Science&amp;Communications</subject><subject> Earth&amp;Environmental Sciences</subject><subject> Engineering</subject><subject> Medicine&amp;Healthcare</subject><subject> Physics&amp;Mathematics</subject><subject> Social Sciences&amp;Humanities</subject></subj-group></article-categories><title-group><article-title>
 
 
  An Extreme Problem for a Volterra Type Integral Inclusion
 
</article-title></title-group><contrib-group><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>M.</surname><given-names>A. Sadygov</given-names></name><xref ref-type="aff" rid="aff1"><sub>1</sub></xref></contrib></contrib-group><aff id="aff1"><label>1</label><addr-line>Baku State University, Baku, Azerbaijan</addr-line></aff><pub-date pub-type="epub"><day>02</day><month>08</month><year>2019</year></pub-date><volume>06</volume><issue>08</issue><fpage>1</fpage><lpage>8</lpage><history><date date-type="received"><day>16,</day>	<month>July</month>	<year>2019</year></date><date date-type="rev-recd"><day>30,</day>	<month>July</month>	<year>2019</year>	</date><date date-type="accepted"><day>2,</day>	<month>August</month>	<year>2019</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>
 
 
  In the work, we have studied the dependencies of the solutions to integral in-clusions from perturbation and investigated an extremal problem for integral inclusions. We obtained necessary and sufficient minimum
   conditions for ex-tremal problems of Volterra type convex inclusions. We also studied a non-convex extremal problem for the Volterra type inclusion. We obtained a high order necessary condition in the extremal problem for the Volterra type inclu-sion.
 
</p></abstract><kwd-group><kwd>An Extreme Problem for a Volterra Type Integral Inclusion</kwd></kwd-group></article-meta></front><body><sec id="s1"><title>1. Dependence of the Solution to the Integral Inclusion from Perturbation</title><p>Let R n be the n-dimensional Euclidean space. The set of all nonempty compact (convex compact) subsets in R n we will designate as c o m p R n ( c o n v R n ) ; k : [ t 0 , T ] 2 → M n is the continuous matrix function, wherewith M n being the set of all square n &#215; n matrices of real elements ( b i j ); z : [ t 0 , T ] → R n the continuous function; F : [ t 0 , T ] &#215; R n → c o m p R n the setvalued mapping.</p><p>Assume that if a vector is multiplied by a matrix, then the vector is a row vector, if a matrix is multiplied by a vector, then the vector is a column vector.</p><p>Let us consider a problem for inclusion</p><p>u ( t ) ∈ F ( t , ∫ t 0 t   k ( t , s ) u ( s ) d s + z ( t ) ) (1)</p><p>The function u ( ⋅ ) ∈ L 1 n [ t 0 , T ] satisfying (1) we will call the solution to problem (1) (see [<xref ref-type="bibr" rid="scirp.94131-ref1">1</xref>] ).</p><p>Let a = max t , s ∈ [ t 0 , T ] ‖ k ( t , s ) ‖ = max t , s ∈ [ t 0 , T ] ∑ i = 1 n ∑ j = 1 n | k i , j ( t , s ) | , if k : [ t 0 , T ] 2 → M n is the continuous matrix function.</p><p>Theorem 1. Let k : [ t 0 , T ] 2 → M n be the continuous matrix function, z : [ t 0 , T ] → R n the continuous function, F : [ t 0 , T ] &#215; R n → c o m p R n the multivalued mapping, t → F ( t , x ) is measurable on t, and there exists a summable function M ( t ) &gt; 0 such that ρ x ( F ( t , x ) , F ( t , x 1 ) ) ≤ M ( t ) | x − x 1 | for</p><p>x , x 1 ∈ R n . Moreover, let ρ ( ⋅ ) ∈ L 1 [ t 0 , T ] and u &#175; ( ⋅ ) ∈ L 1 n [ t 0 , T ] be such that</p><p>d ( u &#175; ( t ) , F ( t , ∫ t 0 t   k ( t , s ) u &#175; ( s ) d s + z ( t ) ) ) ≤ ρ ( t ) for t ∈ [ t 0 , T ] . Then there exists such a solution u ( ⋅ ) ∈ L 1 n [ t 0 , T ] to problem (1) that</p><p>| ∫ t 0 t   k ( t , s ) u ( s ) d s − ∫ t 0 t   k ( t , s ) u &#175; ( s ) d s | ≤ a ∫ t 0 t     e m ( t ) − m ( s ) ρ ( s ) d s ,</p><p>| u ( t ) − u &#175; ( t ) | ≤ ρ ( t ) + a M ( t ) ∫ t 0 t     e m ( t ) − m ( s ) ρ ( s ) d s</p><p>for t ∈ [ t 0 , T ] , where m ( t ) = a ∫ t 0 t   M ( s ) d s .</p></sec><sec id="s2"><title>2. On Subdifferential of the Integral Functional</title><p>Let f : [ t 0 , T ] &#215; R n → ( − ∞ , + ∞ ] is the normal convex integrant (see [<xref ref-type="bibr" rid="scirp.94131-ref2">2</xref>] ).</p><p>Let consider a subdifferential of the integral functional</p><p>J ( u ( ⋅ ) ) = ∫ t 0 T   f ( t , ∫ t 0 t   k ( t , s ) u ( s ) d s + z ( t ) ) d t</p><p>in L 1 n [ t 0 , T ] .</p><p>Theorem 2. If k : [ t 0 , T ] 2 → M n be the continuous matrix function, z : [ t 0 , T ] → R n the continuous function, f : [ t 0 , T ] &#215; R n → ( − ∞ , + ∞ ] is the</p><p>normal convex integrant and function f ( t , ∫ t 0 t     k ( t , s ) u &#175; ( s ) d s + z ( t ) + x ) is</p><p>summable for x ∈ R n , | x | ≤ δ , where u &#175; ( ⋅ ) ∈ L 1 n [ t 0 , T ] , then ∂ J ( u &#175; ( ⋅ ) ) is nonempty and υ * ∈ L ∞ n [ t 0 , T ] belongs to ∂ J ( u &#175; ( ⋅ ) ) if and only if, there exist</p><p>  u * ( ⋅ ) ∈ L 1 n [ t 0 , T ] ,   u * ( t ) ∈ ∂ f ( t , ∫ t 0 t   k ( t , s ) u &#175; ( s ) d s + z ( t ) ) , such, that υ * ( s ) = ∫ s T   k ( t , s ) t u * ( t ) d t , where k ( τ , t ) t is the transpose of the matrix k ( τ , t ) .</p><p>Theorem 3. If k : [ t 0 , T ] 2 → M n be measurable bounded matrix function, z : [ t 0 , T ] → R n be measurable bounded function, f : [ t 0 , T ] &#215; R n → ( − ∞ , + ∞ ] is</p><p>the normal convex integrant and function f ( t , ∫ t 0 t   k ( t , s ) u &#175; ( s ) d s + z ( t ) + x ) is</p><p>summable for x ∈ R n , | x | ≤ δ , where u &#175; ( ⋅ ) ∈ L 1 n [ t 0 , T ] , then ∂ J ( u &#175; ( ⋅ ) ) is nonempty and functional υ * ∈ L ∞ n [ t 0 , T ] belongs to ∂ J ( u &#175; ( ⋅ ) ) if and only if,</p><p>there exist   u * ( ⋅ ) ∈ L 1 n [ t 0 , T ] ,   u * ( t ) ∈ ∂ f ( t , ∫ t 0 t   k ( t , s ) u &#175; ( s ) d s + z ( t ) ) , such, that υ * ( s ) = ∫ s T k ( t , s ) t u * ( t ) d t .</p></sec><sec id="s3"><title>3. On Subdifferential of the Terminal Functional</title><p>Let k : [ t 0 , T ] 2 → M n continuous matrix function, z : [ t 0 , T ] → R n continuous function, φ : R n → ( − ∞ , + ∞ ] proper convex function in R n . Consider a subdifferential of the terminal functional F ( u ( ⋅ ) ) = φ ( ∫ t 0 T     k ( T , s ) u ( s ) d s + z ( T ) ) in L 1 n [ t 0 , T ] , where z ( ⋅ ) ∈ C n [ t 0 , T ] .</p><p>Theorem 4. If φ -proper convex function in R n and continuous in the</p><p>point ∫ t 0 T   k ( T , s ) u &#175; ( s ) d s + z ( T ) , then</p><p>∂ F ( u &#175; ( ⋅ ) ) = { b k ( T , s ) : b ∈ ∂ φ ( ∫ t 0 T   k ( T , s ) u &#175; ( s ) d s + z ( T ) ) } .</p></sec><sec id="s4"><title>4. Convex Extremal Problem for Integral Inclusions</title><p>Let k : [ t 0 , T ] 2 → M n be the continuous matrix function, z : [ t 0 , T ] → R n the continuous function. Hereafter we will assume that f : [ t 0 , T ] &#215; R n → ( − ∞ , + ∞ ] is the normal convex integrant, φ : R n → ( − ∞ , + ∞ ] the convex function. Let t 0 &lt; T , F : [ t 0 , T ] &#215; R n → c o m p   R n ∪ { ∅ } is the multivalued mapping.</p><p>The problem of minimization of the functional</p><p>J ( u ) = φ ( ∫ t 0 T   k ( T , s ) u ( s ) d s + z ( T ) ) + ∫ t 0 T   f ( t , ∫ t 0 t   k ( t , s ) u ( s ) d s + z ( t ) ) d t (2)</p><p>is considered under the following constraints</p><p>u ( t ) ∈ F ( t , ∫ t 0 t   k ( t , s ) u ( s ) d s + z ( t ) ) , (3)</p><p>where t ∈ [ t 0 , T ] , u ( ⋅ ) ∈ L 1 n [ t 0 , T ] .</p><p>Introducing the notation ω ( t , x , z ) = { 0 ,                 z ∈ F ( t , x ) + ∞ ,     z ∉ F ( t , x ) we have that problem (2) and (3) is equivalent to the minimization of the functional</p><p>J 1 ( u ) = φ ( ∫ t 0 T   k ( T , s ) u ( s ) d s + z ( T ) ) + ∫ t 0 T   f ( t , ∫ t 0 t   k ( t , s ) u ( s ) d s + z ( t ) ) d t     + ∫ t 0 T   ω ( t , ∫ t 0 t   k ( t , s ) u ( s ) d s + z ( t ) , u ( t ) ) d t</p><p>among all functions u ( ⋅ ) ∈ L 1 n [ t 0 , T ] .</p><p>Let the mapping t → g r F t = { ( x , y ) : y ∈ F ( t , x ) } be measurable on [ t 0 , T ] , the set g r F t be closed and convex for almost all t ∈ [ t 0 , T ] and F ( t , x ) be compact for all ( t , x ) . From here it follows that ω ( t , x , z ) is a convex normal integrant on [ t 0 , T ] &#215; ( R n &#215; R n ) .</p><p>Let us consider the following functional</p><p>S ( u , υ ) = φ ( ∫ t 0 T   k ( T , s ) u ( s ) d s + z ( T ) ) + ∫ t 0 T f ( t , ∫ t 0 t     k ( t , s ) u ( s ) d s + z ( t ) ) d t     + ∫ t 0 T   ω ( t , ∫ t 0 t   k ( t , s ) u ( s ) d s + z ( t ) , u ( t ) + υ ( t ) ) d t ,</p><p>where υ ( ⋅ ) ∈ L 1 n [ t 0 , T ] . Let h ( υ ) = inf u ∈ L 1 n [ t 0 , T ] S ( u , υ ) . The problem (2) and (3) is called stable, if h ( 0 ) is finite and function h is subdifferentiable at zero (see [<xref ref-type="bibr" rid="scirp.94131-ref3">3</xref>] ).</p><p>Lemma 1. Let F : [ t 0 , T ] &#215; R n → c o m p   R n ∪ { ∅ } ; the mapping t → F ( t , x ) be measurable on [ t 0 , T ] ; the mapping x → F ( t , x ) be closed and convex for almost all t ∈ [ t 0 , T ] , i.e. g r F t be closed and convex for almost all t ∈ [ t 0 , T ] ; there exist such a summable function λ ( t ) that ‖ F ( t , x ) ‖ ≤ λ ( t ) ( 1 + | x | ) for x ∈ R n ; there exist a solution u 0 ( t ) to the problem</p><p>u 0 ( t ) ∈ F ( t , ∫ t 0 t   k ( t , s ) u 0 ( s ) d s + z ( t ) ) such that x 0 ( t ) = ∫ t 0 t   k ( t , s ) u 0 ( s ) d s + z ( t ) belongs to d o m     F t = { x : F ( t , x ) ≠ ∅ } coupled with some ε tube, i.e. { x : | x 0 ( t ) − x | ≤ ε } ⊂ d o m   F t ; f : [ t 0 , T ] &#215; R n → ( − ∞ , + ∞ ] the normal convex integrant; φ : R n → ( − ∞ , + ∞ ] the convex function and inf u ∈ L 1 n [ t 0 , T ] J 1 ( u ) is finite; the function f ( t , ∫ t 0 t   k ( t , s ) u 0 ( s ) d s + z ( t ) + y ) be summarized for y ∈ R n , | y | &lt; r , where r &gt; 0 , and function φ ( ⋅ ) be continuous at the point ∫ t 0 T   k ( T , s ) u 0 ( s ) d s + z ( T ) . Then the function h is subdifferentiable at zero, i.e. problem (2) and (3) is stable.</p><p>Let υ ∈ R n . Assume</p><p>ω 0 ( t , x , υ ) = inf z ∈ R n { ( z | υ ) + ω ( t , x , z ) } = inf { ( z | υ ) : z ∈ F ( t , x ) } ,</p><p>where inf ∅ = + ∞ .</p><p>Theorem 5. Let F : [ t 0 , T ] &#215; R n → c o m p   R n ∪ { ∅ } ; the mapping t → F ( t , x ) be measurable on [ t 0 , T ] ; the mapping x → F ( t , x ) be closed and convex for almost all t ∈ [ t 0 , T ] ; f be the normal convex integrant on [ t 0 , T ] &#215; R n ; φ the convex function on R n ; k : [ t 0 , T ] 2 → M n the continuous matrix function; z : [ t 0 , T ] → R n the continuous function. For the function u &#175; ( ⋅ ) ∈ L 1 n [ t 0 , T ] to minimize the functional (2) among all the solutions to the problem (3), it is sufficient that there exist u 1 * ( ⋅ ) , u 2 * ( ⋅ ) ∈ L 1 n [ t 0 , T ] and   b ∈ R n such that</p><p>1) u 1 * ( t ) ∈ ∂ f ( t , ∫ t 0 t   k ( t , s ) u &#175; ( s ) d s + z ( t ) ) ,</p><p>2) b ∈ ∂ φ ( z ( T ) + ∫ t 0 T   k ( T , s ) u &#175; ( s ) d s ) ,</p><p>3) u 2 * ( t ) ∈ ∂ ω 0 ( t , ∫ t 0 t   k ( t , s ) u &#175; ( s ) d s + z ( t ) , ∫ t T   k ( τ , t ) t ( u 1 * ( τ ) + u 2 * ( τ ) ) d τ + K ( T , t ) t b ) ,</p><p>4) ω 0 ( t , z ( t ) + ∫ t 0 t   k ( t , s ) u &#175; ( s ) d s , ∫ t T   k ( τ , t ) t ( u 1 * ( τ ) + u 2 * ( τ ) ) d τ + K ( T , t ) t b ) = ( u &#175; ( t ) | ∫ t T k ( τ , t ) t ( u 1 * ( τ ) + u 2 * ( τ ) ) d τ + K ( T , t ) t b )       + ω ( t , z ( t ) + ∫ t 0 t   k ( t , s ) u &#175; ( s ) d s , u &#175; ( t ) ) ,</p><p>and if for u 0 ( t ) = u &#175; ( t ) the condition of lemma 1 is satisfied, then conditions 1) - 4) become necessary.</p></sec><sec id="s5"><title>5. Nonconvex Extremal Problem for Integral Inclusions</title><p>Let k : [ t 0 , T ] 2 → M n be the continuous matrix function; z : [ t 0 , T ] → R n the continuous function, i.e. z ( ⋅ ) ∈ C n [ t 0 , T ] . Hereafter we will assume that f : [ t 0 , T ] &#215; R n &#215; R n → ( − ∞ , + ∞ ] is the normal integrant and φ : R n → ( − ∞ , + ∞ ] is the function. Let t 0 &lt; T , F : [ t 0 , T ] &#215; R n → c o m p   R n be the multivalued mapping.</p><p>We consider the following problem of minimization of the functional</p><p>J ( u ) = φ ( ∫ t 0 T   k ( T , s ) u ( s ) d s + z ( T ) ) + ∫ t 0 T f ( t , ∫ t 0 t   k ( t , s ) u ( s ) d s + z ( t ) , u ( t ) ) d t , (4)</p><p>under the following constraints</p><p>u ( t ) ∈ F ( t , ∫ t 0 t   k ( t , s ) u ( s ) d s + z ( t ) ) , (5)</p><p>where t ∈ [ t 0 , T ] , u ( ⋅ ) ∈ L 1 n [ t 0 , T ] .</p><p>Let ψ ( s , x , y ) = inf { | z − y | : z ∈ F ( s , x ) } and consider the minimization of the functional</p><p>J r ( u ) = φ ( ∫ t 0 T   k ( T , s ) u ( s ) d s + z ( T ) ) + ∫ t 0 T   f ( t , ∫ t 0 t   k ( t , s ) u ( s ) d s + z ( t ) , u ( t ) ) d t     + r ∫ t 0 T   ψ ( t , ∫ t 0 t   k ( t , s ) u ( s ) d s + z ( t ) , u ( t ) ) d t</p><p>among all the functions u ( ⋅ ) ∈ L 1 n [ t 0 , T ] .</p><p>Theorem 6. If u &#175; ( ⋅ ) ∈ L 1 n [ t 0 , T ] is the solution to the problem (4) and (5), F : [ t 0 , T ] &#215; R n → c o m p   R n ∪ { ∅ } and t →   F ( t , x ) are measurable on t, x &#175; ( t ) = ∫ t 0 t   k ( t , s ) u &#175; ( s ) d s + z ( t ) , there exist k ( ⋅ ) ∈ L 1 [ t 0 , T ] , M ( ⋅ ) ∈ L 1 [ t 0 , T ] ,</p><p>k 1 &gt; 0 , k 2 &gt; 0 and α &gt; 0 such that B ( x &#175; ( t ) , α ) ⊂ d o m   F t = { x ∈ R n : F ( t , x ) ≠ ∅ } at t ∈ [ t 0 , T ] and</p><p>| φ ( z ) − φ ( u ) | ≤ k 2 | z − u |   ,</p><p>| f ( t , x 1 , y 1 ) − f ( t , x 2 , y 2 ) | ≤ k ( t ) | x 1 − x 2 | + k 1 | y 1 − y 2 | ,</p><p>ρ X ( F ( t , x 1 ) , F ( t , x 2 ) ) ≤ M ( t ) | x 1 − x 2 |</p><p>for z , u ∈ B ( x &#175; ( T ) , α ) , x 1 , x 2 ∈ B ( x &#175; ( t ) , α ) , y 1 , y 2 ∈ R n . Then there exist a number r 0 &gt; 0 such that u &#175; ( t ) minimizes the functional J r ( u ) in D for</p><p>r ≥ r 0 , where D = { u ( ⋅ ) ∈ L 1 n [ t 0 , T ] : ‖ u ( ⋅ ) − u &#175; ( ⋅ ) ‖ L 1 n [ t 0 , T ] ≤ α β } , β &gt; ( 1 + a ( e m ( T ) + a e m ( T ) ∫ t 0 T   M ( t ) d t ) ) ( a ∫ t 0 T   M ( t ) d t + 1 ) + a , m ( t ) = a ∫ t 0 t M ( s ) d s .</p><p>Theorem 7. Let the condition of the theorem 6 be satisfied and the function u &#175; ( t ) among all solutions to the problem (5) minimizes the functional (4). Then there exists u * ( ⋅ ) ∈ L 1 n [ t 0 , T ] and b ∈ R n such that</p><p>1) ( u * ( t ) , − ∫ t T   k ( τ , t ) t u * ( τ ) d τ − K ( T , t ) t b ) ∈ ∂ C ( f ( t , ∫ t 0 t   k ( t , s ) u &#175; ( s ) d s + z ( t ) , u &#175; ( t ) )       + r ψ ( t , ∫ t 0 t   k ( t , s ) u &#175; ( s ) d s + z ( t ) , u &#175; ( t ) ) ) ,</p><p>2) b ∈ ∂ C φ ( z ( T ) + ∫ t 0 T   k ( T , s ) u &#175; ( s ) d s ) ,</p><p>where ∂ C g ( x &#175; ) is Clarke subdifferential of the function g at the point x &#175; (see [<xref ref-type="bibr" rid="scirp.94131-ref4">4</xref>] ).</p></sec><sec id="s6"><title>6. A Higher Order Necessary Condition in the Extremal Problem for the Volterra Type Inclusion</title><p>Consider the problem (4) and (5), where f ( t , x , y ) = f ( t , x ) . Assume</p><p>ψ ( s , x , y ) = inf { | z − y | : z ∈ F ( s , x ) } .</p><p>We consider the following problem of minimization of the function</p><p>J r ( u ) = φ ( ∫ t 0 T k ( T , s ) u ( s ) d s + z ( T ) ) + ∫ t 0 T   f ( t , ∫ t 0 t k ( t , s ) u ( s ) d s + z ( t ) ) d t     + r ( ( ∫ t 0 T   ψ ( t , ∫ t 0 t   k ( t , s ) u ( s ) d s + z ( t ) , u ( t ) ) d t ) β     + ‖ u &#175; ( ⋅ ) − u ( ⋅ ) ‖ L 1 n β − ν ( ∫ t 0 T   ψ ( t , ∫ t 0 t   k ( t , s ) u ( s ) d s + z ( t ) , u ( t ) ) d t ) ν )</p><p>among all functions u ( ⋅ ) ∈ L 1 n [ t 0 , T ] .</p><p>Let u &#175; ( ⋅ ) ∈ L 1 n [ t 0 , T ] be the solution to the problem (4) and (5). Let x &#175; ( t ) = ∫ t 0 t   k ( t , s ) u &#175; ( s ) d s + z ( t ) .</p><p>Theorem 8. Let F : [ t 0 , T ] &#215; R n → c o m p R n be the multivalued mapping, the mapping t → F ( t , x ) be measurable on [ t 0 , T ] ; f be the normal integrant on [ t 0 , T ] &#215; R n ; φ the function in R n ; k : [ t 0 , T ] 2 → M n the continuous matrix function; z : [ t 0 , T ] → R n the continuous function, and there exists a summable function M ( t ) &gt; 0 such that ρ x ( F ( t , x ) , F ( t , x 1 ) ) ≤ M ( t ) | x − x 1 | for x , x 1 ∈ R n ; there exist k 1 ( ⋅ ) ∈ L 1 [ t 0 , T ] , k 1 ( t ) &gt; 0 and number k 2 &gt; 0 such that</p><p>| f ( t , x 1 ) − f ( t , x 2 ) | ≤ k 1 ( t ) | x 1 − x 2 | ν ( | x 2 − x &#175; ( t ) | β − ν + | x 1 − x 2 | β − ν )</p><p>for x 1 , x 2 ∈ R n ,</p><p>| φ ( x ) − φ ( y ) | ≤ k 2 | x − y | ν ( | y − x &#175; ( T ) | β − ν + | x − y | β − ν )</p><p>for x , y ∈ R n (see [<xref ref-type="bibr" rid="scirp.94131-ref5">5</xref>] ). If the function u &#175; ( t ) among all solutions of the problem (5) minimizes the functional (4), then there exists a number r 0 &gt; 0 such that u &#175; ( t ) minimizes the functional J r ( u ) in L 1 n [ t 0 , T ] for r ≥ r 0 .</p><p>Let g : [ t 0 , T ] &#215; R n → ( − ∞ , + ∞ ] be the normal integrant on [ t 0 , T ] &#215; R n ; e : R n → ( − ∞ , + ∞ ] the function.</p><p>Let assume</p><p>S ( u ) = e ( ∫ t 0 T   k ( T , s ) u ( s ) d s + z ( T ) ) + ∫ t 0 T   g ( t , ∫ t 0 t   k ( t , s ) u ( s ) d s + z ( t ) ) d t ,</p><p>H r ( u ) = J ( u ) − S ( u ) + r ( ( ∫ t 0 T   ψ ( t , ∫ t 0 t   k ( t , s ) u ( s ) d s + z ( t ) , u ( t ) ) d t ) β                         + ‖ u &#175; ( ⋅ ) − u ( ⋅ ) ‖ L 1 n β − ν ( ∫ t 0 T   ψ ( t , ∫ t 0 t   k ( t , s ) u ( s ) d s + z ( t ) , u ( t ) ) d t ) ν )</p><p>= φ ( ∫ t 0 T   k ( T , s ) u ( s ) d s + z ( T ) ) − e ( ∫ t 0 T   k ( T , s ) u ( s ) d s + z ( T ) )       + ∫ t 0 T   f ( t , ∫ t 0 t   k ( t , s ) u ( s ) d s + z ( t ) ) d t − ∫ t 0 T   g ( t , ∫ t 0 t   k ( t , s ) u ( s ) d s + z ( t ) ) d t       + r ( ( ∫ t 0 T   ψ ( t , ∫ t 0 t   k ( t , s ) u ( s ) d s + z ( t ) , u ( t ) ) d t ) β       + ‖ u &#175; ( ⋅ ) − u ( ⋅ ) ‖ L 1 n β − ν ( ∫ t 0 T   ψ ( t , ∫ t 0 t   k ( t , s ) u ( s ) d s + z ( t ) , u ( t ) ) d t ) ν ) .</p><p>Theorem 9. Let F : [ t 0 , T ] &#215; R n → c o m p R n the multivalued mapping, the mapping t → F ( t , x ) be measurable on [ t 0 , T ] ; f be the normal integrant on [ t 0 , T ] &#215; R n ; φ the function in R n ; k : [ t 0 , T ] 2 → M n the continuous matrix function; z : [ t 0 , T ] → R n the continuous function and there exist a summable function M ( t ) &gt; 0 such that ρ x ( F ( t , x ) , F ( t , x 1 ) ) ≤ M ( t ) | x − x 1 | for x , x 1 ∈ R n ; there exist the normal integrant g : [ t 0 , T ] &#215; R n → ( − ∞ , + ∞ ] , the functions e : R n → ( − ∞ , + ∞ ] , k 1 ( ⋅ ) ∈ L 1 [ t 0 , T ] , k 1 ( t ) &gt; 0 and number k 2 &gt; 0 such that</p><p>| f ( t , x 1 ) − g ( t , x 1 ) − f ( t , x 2 ) + g ( t , x 2 ) | ≤ k 1 ( t ) | x 1 − x 2 | ν ( | x 2 − x &#175; ( t ) | β − ν + | x 1 − x 2 | β − ν )</p><p>for x 1 , x 2 ∈ R n , where x &#175; ( t ) = ∫ t 0 t   k ( t , s ) u ˜ ( s ) d s + z ( t ) ,</p><p>| φ ( x ) − e ( x ) − φ ( y ) + e ( y ) | ≤ k 2 | x − y | ν ( | y − x &#175; ( T ) | β − ν + | x − y | β − ν )</p><p>for x , y ∈ R n and let u ˜ ( ⋅ ) ∈ L 1 n [ t 0 , T ] solutions of the problem (4)-(5). Then there exist a number r 0 &gt; 0 such that u ˜ ( t ) minimizes the functional H r ( u ) in u ∈ { υ ∈ L 1 n [ t 0 , T ] : S ( w υ ) ≤ S ( u ˜ ) } for r ≥ r 0 , where w υ solutions to the problem (5), which satisfy the main theorem 1 for u &#175; ( ⋅ ) = υ ( t ) .</p><p>It’s possible to get the local variant of theorems 8 and 9 analogical to theorem 6.</p><p>Let assume</p><p>J r { β } + ( u &#175; ; u ) = lim λ ↓ 0 &#175; 1 λ β ( J r ( u &#175; + λ u ) − J r ( u &#175; ) ) ,</p><p>J r { β } − ( u &#175; ; u ) = lim _ λ ↓ 0 1 λ β ( J r ( u &#175; + λ u ) − J r ( u &#175; ) )</p><p>for u ( ⋅ ) ∈ L 1 n [ t 0 , T ] .</p><p>Corollary 1. If the condition of theorem 8 is satisfied, then there exist a number r 0 &gt; 0 such that J r { β } + ( u &#175; ; u ) ≥ J r { β } − ( u &#175; ; u ) ≥ 0 for r ≥ r 0 and u ( ⋅ ) ∈ L 1 n [ t 0 , T ] .</p><p>Let assume</p><p>E r ( u ) = φ { β } − ( ∫ t 0 T   k ( T , s ) u &#175; ( s ) d s + z ( T ) ; ∫ t 0 T   k ( T , s ) u ( s ) d s )   + ∫ t 0 T   f { β } + ( t , ∫ t 0 t   k ( t , s ) u &#175; ( s ) d s + z ( t ) ; ∫ t 0 t   k ( t , s ) u ( s ) d s ) d t   + r ( ( ∫ t 0 T   ψ { 1 } + ( t , ∫ t 0 t   k ( t , s ) u &#175; ( s ) d s + z ( t ) , u &#175; ( t ) ; ∫ t 0 t   k ( t , s ) u ( s ) d s , u ( t ) ) d t ) β   + ‖ u ( ⋅ ) ‖ L 1 n β − ν ( ∫ t 0 T   ψ { 1 } + ( t , ∫ t 0 t   k ( t , s ) u &#175; ( s ) d s + z ( t ) , u &#175; ( t ) ; ∫ t 0 t   k ( t , s ) u ( s ) d s , u ( t ) ) d t ) ν ) .</p><p>Theorem 10. If the condition of theorem 8 is satisfied, then there exist a number r 0 &gt; 0 such that E r ( u ) ≥ 0 for r ≥ r 0 and u ( ⋅ ) ∈ L 1 n [ t 0 , T ] .</p></sec><sec id="s7"><title>Conflicts of Interest</title><p>The author declares no conflicts of interest regarding the publication of this paper.</p></sec><sec id="s8"><title>Cite this paper</title><p>Sadygov, M.A. (2019) An Extreme Problem for a Volterra Type Integral Inclusion. Open Access Library Journal, 6: e5605. https://doi.org/10.4236/oalib.1105605</p></sec></body><back><ref-list><title>References</title><ref id="scirp.94131-ref1"><label>1</label><mixed-citation publication-type="other" xlink:type="simple">Sadygov, M.A. (2013) An Extremal Problem for Integral Inclusion. Preprint No. 1, Baku, 129 p.</mixed-citation></ref><ref id="scirp.94131-ref2"><label>2</label><mixed-citation publication-type="other" xlink:type="simple">Rockafellar, R.T. and Wets, R.J.-B. (2009) Variational Analysis. Springer, Berlin, 734 p.</mixed-citation></ref><ref id="scirp.94131-ref3"><label>3</label><mixed-citation publication-type="other" xlink:type="simple">Ekeland, I. and Temam, R. (1979) Convex Analysis and Variational Problems. Mir, Moscow, 309 p.</mixed-citation></ref><ref id="scirp.94131-ref4"><label>4</label><mixed-citation publication-type="other" xlink:type="simple">Clarke, F. (2013) Functional Analysis, Calculus of Variations and Optimal Control. Springer-Verlag, London, 591 p. https://doi.org/10.1007/978-1-4471-4820-3_4</mixed-citation></ref><ref id="scirp.94131-ref5"><label>5</label><mixed-citation publication-type="other" xlink:type="simple">Sadygov, M.A. (2014) Subdifferential of High Orders and Optimization. LAP Lambert Academic Publishing, Saarbrucken, 359 p.</mixed-citation></ref></ref-list></back></article>