In this paper, we study the existence of positive solutions for an initial value problem of a state-dependent neutral functional differential equation with two state-delay functions. The continuous dependence of the unique solution will be proved. Some especial cases and examples will be given.
The differential and integral equations with deviating arguments usually involve the deviation of the argument only the time itself, however, another case, in which the deviating arguments depend on both the state variable \(x\) and the time \(t\) is important in theory and practice. This kind of equations is called self-reference or state dependent equations. Differential equations with state-dependent delays attract interests of specialists since they widely arise from application models, such as two-body problem of classical electrodynamics also have may applications in the class of problems that have past memories, for example in hereditary phenomena see [1,2,3,4]. For papers studying such kind of equations, see for example [5,6,7,8,9,10,11,12,13,14,15,16] and references therein.
One of the first papers studying this class of equations was introduced by Buicá [7], the author proved the existence and the uniqueness of the solution of the initial value problem
\begin{eqnarray*} \frac{d x(t)}{dt} &=& f(t,x(x(t))), ~~~t\in[a,b],\\ x(0) &=& x_{0}, \end{eqnarray*} where \( f\in C([a,b]\times[a,b])\) and satisfied Lipshitz condition.EL-Sayed and Ebead [13] relaxed the assumptions of Buicá and generalized their results, they studied the functional integral equation of the more general form
\begin{eqnarray*}\label{equ8555} x(t)~=~f\bigg(t,~\int_{0}^{t}g\big(s,x(x(s))\big)ds\bigg),~~~~t\in[0,T], \end{eqnarray*} where \( g\) satisfies Carathéodory condition.El-Sayed and Ahmed [9] studied the existence of solutions and its continuous dependence of the initial value problem
\begin{eqnarray*} \frac{d}{dt} x(t)&=& f(t,x(\int_0^{\phi(t)} g(s,x(s)) ds)),~~a.e.~~t\in(0,T],\nonumber\\ x(0)&=& x_{0}, \end{eqnarray*} where \(g: [0,T]\times R^+\rightarrow R^+\) is continuous and \(g(t,x(t))\leq1\) and \(\phi(t) \leq t.\)El-Sayed and Ebead [11,12] studied the existence of solution and its continuous dependence of the initial value problem of the delay-refereed differential equation
\begin{eqnarray*} \frac{d}{dt} x(t)&=& f(t,x(g(t,x(t)))),~~~a.e.~~t\in(0,T],\nonumber\\ x(0)&=& x_{0},\nonumber \end{eqnarray*} with the two cases of state-delay functionsOur aim in this work is to study the existence of at least one and exactly one positive solution of the Problem (1)-(2). The continuous dependence of the unique solution on the two functions \(g_{1}~\) and \(~g_{2} \) will be proved. To illustrate our results some examples will be given.
In order to achieve our goal, we study the existence of positive solutions \(x \in C[0; T] \) for the state-dependent functional integral equation
Theorem 1. Let the assumptions \((1)-(8)\) be satisfied, then the state-dependent integral Equation (3) has at least one positive solution \(x\in C[0,T]\).
Proof. Let \(X=C[0,T]\) be the class of real valued continuous functions defined on \([0,T]\). Define the subset \(S_{L}\) of \(X \) by \[ S_{L}=\big\{x\in X:|x(t_{2})-x(t_{1})|\leq L|t_{2}-t_{1}|\big\}. \] It is clear that \(S_{L}\) is nonempty, closed, bounded and convex subset of \(C[0,T]\).
Now define the operator \(F\) associated with Equation (3) by
\begin{eqnarray*} Fx(t)=f_{1}\big(t,x(g_{1}(t,x(\phi(t))))\big)+\int_{0}^{t}~f_{2}\big(s,x(g_{2}(s,x(\phi(s))))\big)ds,~~ t\in[0,T]. \end{eqnarray*} It is clear that F makes sense and well-defined.Now, first we prove that the class of functions \(\{Fx\}\) is uniformly bounded on the set \(S_L.\) Let \(x \in X\), then for \(t \in [0, T],\) we obtain
\begin{eqnarray*} |Fx(t)|&=&|f_{1}\big(t,x(g_{1}(t,x(\phi(t))))\big)+\int_{0}^{t}~f_{2}\big(s,x(g_{2}(s,x(\phi(s))))\big)ds|\\ &\leq &|f_{1}\big(t,x(g_{1}(t,x(\phi(t))))\big)|+\int_{0}^{t}~|f_{2}\big(s,x(g_{2}(s,x(\phi(s))))\big)|ds. \end{eqnarray*} Using assumptions (1),(2) and (6) we can getNext, we prove that \(~F:S_{L}~\rightarrow S_{L} \) and the class of functions \(\{Fx\}\) is equi-continuous on the set \(S_L.\) Let \(x\in S_{L}\) and \(t_{1}, ~t_{2}\in [0,T]\) with \(t_{1}< t_{2} \) such that \( |t_{2}, -t_{1}|< \delta\), then
\begin{eqnarray*}\label{2} |Fx(t_2)-Fx(t_1)|&=&\bigg| f_{1}\big(t_{2},x(g_{1}(t_{2},x(\phi(t_{2}))))\big)~+\int_{0}^{t_{2}}~f_{2}\big(s,x(g_{2}(s,x(\phi(s))))\big)ds \nonumber\\ &&-f_{1}\big(t_{1},x(g_{1}(t_{1},x(\phi(t_{1}))))\big)-\int_{0}^{t_{1}}~f_{2}\big(s,x(g_{2}(s,x(\phi(s))))\big)ds \bigg|\nonumber\\ &\leq& |f_{1}\big(t_{2},x(g_{1}(t_{2},x(\phi(t_{2}))))\big)- f_{1}\big(t_{1},x(g_{1}(t_{1},x(\phi(t_{1}))))\big)|+\int_{t_{1}}^{ t_{2}}|f_{2}\big(s,x(g_{2}(s,x(\phi(s))))\big)|ds \nonumber\\ &\leq& k_{1}|t_{2}-t_{1}|+k_{2}|x(g_{1}(t_{2},x(\phi(t_{2}))))-x(g_{1}(t_{1},x(\phi(t_{1}))))|+ \int_{t_{1}}^{t_{2}} (k_{5}~T+ A)ds\\ &\leq& k_{1}|t_{2}-t_{1}|+k_{2}|x(g_{1}(t_{2},x(\phi(t_{2}))))-x(g_{1}(t_{1},x(\phi(t_{1}))))| +M|t_{2}-t_{1}|. \end{eqnarray*} Using assumptions (2) and \(x\in S_{L}\), we can get \begin{eqnarray}\label{20} |x( g_{1}\big(t_{2},x(\phi(t_{2})))\big)- x(g_{1}\big(t_{1},x(\phi(t_{1}))))|& \leq & L | g_{1}\big(t_{2},x(\phi(t_{2})))\big)- g_{1}\big(t_{1},x(\phi(t_{1}))))|\nonumber\\& \leq & L~k_{3}|t_{2}-t_{1}|+ L~k_{4}|x(\phi(t_{2})))-x(\phi(t_{1})))|\nonumber\\ &\leq&L~ k_{3}|t_{2}-t_{1}|+L^{2} k_{4}|\phi(t_{2})-\phi(t_{1})|\nonumber \\ &\leq&L~ k_{3}|t_{2}-t_{1}|+ L^{2}k_{4}~|t_{2}-t_{1}|.\nonumber \end{eqnarray} Then, we have \begin{eqnarray*} |Fx(t_2)-Fx(t_1)|&\leq& k_{1}|t_{2}-t_{1}|+k_{2}(L~ k_{3}|t_{2}-t_{1}|+ L^{2}k_{4}~|t_{2}-t_{1}|)+M|t_{2}-t_{1}|\\ &=& \big(k_{2}~k_{4}~L^{2}+ k_{2}~k_{3}~L+k_{1}+M\big)|t_{2}-t_{1}|\\ &=& L|t_{2}-t_{1}|. \end{eqnarray*} Hence, we proved that \(~F:S_{L}~\rightarrow S_{L}~ \) and the class of functions \(\{Fx\}\) is equi-continuous on the set \(S_L.\) Applying Arzela-Ascoli Theorem [17], we deduce that \(F\) is compact operator. Now we show that \(F\) is continuous. Let \(\{x_{n}\} \subset S_{L},~x_{n}\rightarrow x \) on \([0,T]\), i.e. \(|x_{n}(\phi(t))-x(\phi(t))|\leq \epsilon_{1}\) this implies that \( | x_{n}(g_{i}(t,x(\phi(t))))-x(g_{i}(t,x(\phi(t)))) |\leq \epsilon_{2}\) for arbitrary \(\epsilon_{1},\epsilon_{2}\geq0\), \(i=1,~2,\) then \begin{eqnarray*} &~&|x_{n}(g_{i}(t,x_n(\phi(t))))-x(g_{i}(t,x(\phi(t)))) |\\ &&\leq |x_{n}(g_{i}(t,x_n(\phi(t))))-x_{n}(g_{i}(t,x(\phi(t))))|+ | x_{n}(g_{i}(t,x(\phi(t))))-x(g_{i}(t,x(\phi(t)))) |\\ &&\leq L|g_{i}(t,x_n(\phi(t)))-g_{i}(t,x(\phi(t)))|+| x_{n}(g_{i}(t,x(\phi(t))))-x(g_{i}(t,x(\phi(t)))) |\\ &&\leq \epsilon,~~i=1,~2. \end{eqnarray*} Then \begin{eqnarray*} x_{n}(g_{i}(t,x_n(\phi(t)))) \rightarrow x(g_{i}(t,x(\phi(t))))~in~ S_{L}, ~ ~i=1,~2 \end{eqnarray*} and by using the continuity of the functions \(f_{1} ,\) we obtain \begin{eqnarray*} f_{1}\big(t,x_{n}(g_{1}(t,x_{n}(\phi(t))))\big) &\rightarrow & f_{1}\big(t,x(g_{1}(t,x(\phi(t))))\big). \end{eqnarray*} Now by using the continuity of the functions \(f_{2},\) assumption \((5)\) and Lebesgues dominated convergence theorem [17], we obtain \begin{eqnarray*} \int_{0}^{t} f_{2}\big(t,x_{n}(g_{2}(t,x_{n}(\phi(t))))\big)ds &\rightarrow & \int_{0}^{t} f_{2}\big(t,x(g_{2}(t,x(\phi(t))))\big)ds, \end{eqnarray*} and \begin{eqnarray*} \lim_{n\rightarrow \infty}\big(F x_{n}\big)(t) &=& \lim_{n\rightarrow \infty} f_{1}\big(t,x_{n}(g_{1}(t,x_{n}(\phi(t))))\big)+\lim_{n\rightarrow \infty}\int_{0}^{t} f_{2}\big(t,x_{n}(g_{2}(t,x_{n}(\phi(t))))\big)ds\\& =& f_{1}\big(t,x(g_{1}(t,x(\phi(t))))\big)+\int_{0}^{t} f_{2}\big(t,x(g_{2}(t,x(\phi(t))))\big)ds\\ &=&\big(F x \big)(t). \end{eqnarray*} This proves that the operator \(F \) is continuous.Now all conditions of Schauder fixed point theorem [17] are satisfied, then the operator \(F\) has at least one fixed point \(x\in S_{L}\). Consequently there exists at leat one solution \(x\in C[0,T]\) of Equation (3). This completes the proof.
Now, we introduce the following equivalence theorem.
Theorem 2. Let the assumptions (1)-(8) be satisfied, then the initial value Problem (1)-(2) has at least one positive solution \(x\in C[0,T]\).
Proof. Let \(x\) be a solution of the Problem (1)-(2). Integrate (1) and substitute by (2), we obtain the integral Equation (3). Let \(x\) be a solution of (3) differentiate (3) we obtain (1) and the initial value (2). This proves the equivalence between the Problem (1)-(2) and the integral Equation (3). Then the Problem (1)-(2) has at least one positive solution \( x \in C[0,T]\).
Corollary 1. Let the assumptions \((1)-(8)\) of Theorem 2 be satisfied, if
Corollary 2. Let the assumptions of Theorem 1 be satisfied with \(g_{1}(t,x(\phi(t)))~= \phi(t)\) and \(g_{2}(t,x(\phi(t))) = x(\phi(t))\). Then the integral equation \begin{eqnarray*} x(t)=f_{1}(t,x(\phi(t)))+\int_{0}^{t}f_{2}(s,x(x(\phi(s))))ds,~~~t\in[0,T] \end{eqnarray*} has at least one solution \(x\in C[0,T].\) Consequently the initial value problem \begin{eqnarray*} \frac{d}{dt}~\big[x(t) -f_{1}(t,x(\phi(t)))\big]= f_{2}(t,x(x(\phi(t)))),~~~a.e.~~t\in[0,T] \end{eqnarray*} with the initial data \( x(0) = f_{1}(0,x(0))\) has at least one positive solution \( x \in C[0,T]\).
Corollary 3. Let the assumptions of Corollary 2 be satisfied with \(f_{1}(t,x)=t,\) then the initial value problem \begin{eqnarray*} \frac{d x(t)}{dt} &=& f(t,(x(x(\phi(t)))))~~a.e,~~t\in(0,T], \label{i1} \\ x(0)&=&0\label{i2} \end{eqnarray*} has at least one positive solution \( x \in C[0,T]\) where \(f(t,x)=f_{2}(t,x)+1\).
Theorem 3. Let the assumptions (1)-(3), (5)-(8) and (1\(^{\prime}\))-(3\(^{\prime}\)) be satisfied, if \(k_{2}~(L~k_{4}+1)+k_{5}~T~(L~k_{6}+1) < 1,\) then the initial value Problem (1)-(2) has a unique positive solution \(x \in C[0,T].\)
Proof. Assumption (4) of Theorem 1 can be deduced from assumptions (1\(^{\prime}\)) and (2\(^{\prime}\)) as follows \begin{eqnarray}\label{w1} |f_{2}(t,x)|&\leq & k_{5}~|x|+|f_{2}(t,0)|\nonumber\\ &\leq & k_{5}~x+A,\nonumber \end{eqnarray} then we deduce that all assumptions of Theorem 1 are satisfied and the solution of Equation (3) exists. Now let \(x,~y\) be two solutions of (3), then \begin{eqnarray*} |x(t)-y(t)| &=&\big|f_{1}\big(t,x(g_{1}(t,x(\phi(t))))\big)+\int_{0}^{t}~f_{2}\big(s,x(g_{2}(s,x(\phi(s))))\big)ds \\ &&- f_{1}\big(t,y(g_{1}(t,y(\phi(t))))\big)-\int_{0}^{t}~f_{2}\big(s,y(g_{2}(s,y(\phi(s))))\big)ds\big|\\ &\leq & |f_{1}\big(t,x(g_{1}(t,x(\phi(t))))\big)- f_{1}\big(t,y(g_{1}(t,y(\phi(t))))\big)|\\ &&+\int_{0}^{t}|f_{2}\big(s,x(g_{2}(s,x(\phi(s))))\big)- f_{2}\big(s,y(g_{2}(s,y(\phi(s))))\big)|ds\\ &\leq & k_{2}~|x(g_{1}(t,x(\phi(t))))-y(g_{1}(t,y(\phi(t))))|\\ &&+ k_{5}\int_{0}^{t}|x(g_{2}(s,x(\phi(s))))-y(g_{2}(s,y(\phi(s))))|ds. \end{eqnarray*} But \begin{eqnarray}\label{q6} &~&|x(g_{1}(t,x(\phi(t))))-y(g_{1}(t,y(\phi(t)))) |\nonumber\\&&= |x(g_{1}(t,x(\phi(t))))-x(g_{1}(t,y(\phi(t))))\nonumber+x(g_{1}(t,y(\phi(t))))-y(g_{i}(t,y(\phi(t)))) |\nonumber \\ &&\leq |x(g_{1}(t,x(\phi(t))))-x(g_{1}(t,y(\phi(t))))|\nonumber+| x(g_{1}(t,y(\phi(t))))-y(g_{1}(t,y(\phi(t)))) |\nonumber\\ &&\leq L|g_{1}(t,x(\phi(t)))-g_{1}(t,y(\phi(t)))|\nonumber+| x(g_{1}(t,y(\phi(t))))-y(g_{1}(t,y(\phi(t)))) |\nonumber\\ &&\leq L ~k_{4}~\|x-y\|+\|x-y\|\nonumber\\ &&=(L ~k_{4}+1)\|x-y\|.\nonumber \end{eqnarray} Similarly, we can obtain \begin{eqnarray*}\label{q06} |x(g_{2}(t,x(\phi(t))))-y(g_{2}(t,y(\phi(t)))) |\leq (L ~k_{6}+1)\|x-y\|. \end{eqnarray*} Now \begin{eqnarray*} |x(t)-y(t)|&\leq & k_{2}~(L ~k_{4}+1)\|x-y\| +k_{5}~\int_{0}^{t}(L ~k_{6}+1)\|x-y\|ds, \end{eqnarray*} and \begin{eqnarray*} \|x-y\| &\leq&\big(k_{2}~(L~k_{4}+1)+k_{5}~T~(L~k_{6}+1)\big)\|x-y\|. \end{eqnarray*} Then we deduce that \[ \bigg(1- \big(k_{2}~(L~k_{4}+1)+k_{5}~T~(L~k_{6}+1)\big)\bigg)~|| x – y || \leq 0, \] and from the assumptions \(\big(k_{2}~(L~k_{4}+1)+k_{5}~T~(L~k_{6}+1)\big)< 1~~\) we can obtain \(x=y\) and the solution of (3) is unique. Consequently, the initial value Problem (1)-(2) has a unique positive solution \(x \in C[0,T].\)
Definition 1. The solution of the Problem (1)-(2) depends continuously on the function \(g_{1},\) if \(\forall ~\epsilon > 0, ~\exists ~\delta(\epsilon)>0~\) such that \begin{eqnarray*}\label{cont} ||g_{1}-g_{1}^{*}||\leq \delta \Rightarrow \|x-x^{*}\|\leq \epsilon, \end{eqnarray*} where \(x^{*}\) is the unique solution of the equation
Theorem 4. Let the assumptions of Theorem 3 be satisfied, then the solution of initial value Problem (1)-(2) depends continuously on the function \(g_{1}. \)
Proof. Let \(x\) and \(x^*\) be the solution of the initial value Problems (1)-(2) and (6)-(7) respectively, then we have \begin{eqnarray*} |x(t)-x^{*}(t)| & =& \big|f_{1}\big(t,x(g_{1}(t,x(\phi(t))))\big)+\int_{0}^{t}~f_{2}\big(s,x(g_{2}(s,x(\phi(s))))\big)ds \\ &&- f_{1}\big(t,x^{*}(g^{*}_{1}(t,x^{*}(\phi(t))))\big)+ \int_{0}^{t}~f_{2}\big(s,x^{*}(g_{2}(s,x^{*}(\phi(s))))\big)ds\big|\\ &\leq& |f_{1}\big(t,x(g_{1}(t,x(\phi(t))))\big) -f_{1}\big(t,x^{*}(g^{*}_{1}(t,x^{*}(\phi(t))))\big) | \\ &&+ \int_{0}^{t} |f_{2}\big(s,x(g_{2}(s,x(\phi(s))))\big)- f_{2}\big(s,x^{*}(g_{2}(s,x^{*}(\phi(s))))\big)|ds\\ &\leq& k_{2}~ |x(g_{1}(t,x(\phi(t))))\big) -x^{*}(g^{*}_{1}(t,x^{*}(\phi(t)))\big) | \\ &&+ k_{5}\int_{0}^{t} |x(g_{2}(s,x(\phi(s))))\big)- x^{*}(g_{2}(s,x^{*}(\phi(s)))\big)|ds\\ &\leq & k_{2}~ |x(g_{1}(t,x(\phi(t))))\big) -x^{*}(g_{1}(t,x^{*}(\phi(t)))\big) | \\ &&+ k_{2}~ |x^{*}(g_{1}(t,x^{*}(\phi(t))))\big) -x^{*}(g^{*}_{1}(t,x^{*}(\phi(t)))\big) | + k_{5}~T (L~k_{6}+1)\|x-x^{*}\|\\ &\leq& k_{2} (L~k_{4}+1)\|x-x^{*}\|+ k_{2}~ L~|g_{1}(t,x^{*}(\phi(t)))) -g_{1}^{*}(t,x^{*}(\phi(t))) | \\ &&+ k_{5}~T (L~k_{6}+1)\|x-x^{*}\|\\ &\leq& \big( k_{2}~ (L~k_{4}+1)+k_{5}~T (L~k_{6}+1)\big)\|x-x^{*}\|+k_{2}~L ~\delta. \end{eqnarray*} Then \[ \|x-x^{*}\|\leq \frac{k_{2}~L ~\delta}{\big(1-\big(k_{2}~ (L~k_{4}+1)+k_{5}~T (L~k_{6}+1)\big)}=\epsilon, \] and by the assumption \(\big(k_{2}~ (L~k_{4}+1)+k_{5}~T (L~k_{6}+1)\big)< 1,\) then the solution of (3) depends continuously on the functions \(g_{1}.\) Consequently the solution of the Problem (1)-(2) depends continuously on the functions \(g_{1} \) which complete the proof.
Definition 2. The solution of the Problem (1)-(2) depends continuously on the function \(g_{2},\) if \(\forall ~\epsilon > 0, ~\exists ~\delta(\epsilon)>0~such~that,\) \begin{eqnarray*} ||g_{2}-g_{2}^{*}||\leq \delta \Rightarrow \|x-x^{*}\|\leq \epsilon, \end{eqnarray*} where \(x^{*}\) is the unique solution of the equation
Theorem 5. Let the assumptions of Theorem 3 be satisfied, then the solution of initial value Problem (1)-(2) depends continuously on the function \(g_{2}. \)
Proof. The proof follow similarly as the proof of Theorem 4.
Example 1. Consider the following problem
\(\phi(t)=\beta~t\),
\(g_{1}\big(t,x(\phi(t))\big)=\frac{\beta~t}{1+x^{2}(\beta~t)},\)
\(g_{1}\big(t,x)\leq \beta~t,\)
\( f_{1}\big(t,x(g_{1}\big(t,x(\phi(t)))\big)\big) =\frac{1}{18}(1+t^{2})+\frac{1}{8}x\bigg(\frac{\beta~t}{1+x^{2}(\beta~t)}\bigg),\)
\( f_{1}\big(t,x)=\frac{1}{18}(1+t^{2})+\frac{1}{8}x,\)
\(g_{2}\big(t,x(\phi(t))\big)=\frac{x(\beta~t)~e^{-x^{2}(\beta~t)}}{1+\sin^{2}x(\beta~t)},\)
\(g_{2}\big(t,x)\leq x,\)
\( f_{2}\big(t,x(g_{2}\big(t,x(\phi(t)))\big)\big) =\frac{1}{7-t}+\frac{e^{-t}}{16}~x\bigg(\frac{x(\beta~t)~e^{-x^{2}(\beta~t)}}{1+\sin^{2}x(\beta~t)}\bigg), \)
\( f_{2}\big(t,x)=\frac{1}{7-t}+\frac{e^{-t}}{16}x,.\)
Thus we have \(k_{1}=\frac{1}{9},~k_{2}=\frac{1}{8},~k_{3}=2, ~k_{4}=2, ~k_{5}=\frac{1}{16},~A=\frac{1}{6},~ M=\frac{11}{48} ,~L\simeq 0.557< 1~ and~ L~T+x(0)\approx0.62< T=1.\)Now all the assumptions of Theorem 1 are satisfied, then the Problem (10)-(11) has at least one solution \(x\in C[0,T]\).
Example 2. Consider the following problem
\(\phi(t)=t^{2}\),
\(g_{1}\big(t,x(\phi(t))\big)=\frac{ \frac{1}{4}~t^{2}}{1+32~x(t^{2})} ,\)
\(g_{1}\big(t,x)\leq t^{2},\)
\( f_{1}\big(t,x(g_{1}\big(t,x(\phi(t)))\big)\big) =\frac{1}{48}(1+t)+ \frac{1}{4}~t^{2}~x\bigg(\frac{\frac{1}{4}~t^{2}}{1+ 32~x(t^{2})}\bigg), \)
\( f_{1}\big(t,x)=\frac{1}{48}(1+t)+ \frac{1}{4}~t^{2}~x,\)
\(g_{2}\big(t,x(\phi(t))\big)=\frac{x(t^{2})~\sin^{2}(x(t^{2}))}{1+x^{2}(t^{2})} ,\)
\(g_{2}\big(t,x)\leq x,\)
\( f_{2}\big(t,x(g_{2}\big(t,x(\phi(t)))\big)\big) =\frac{1}{5+2t} \sin^{2}(3(t+1)) +\frac{1}{12}~x\bigg(\frac{x(t^{2})~\sin^{2}(x(t^{2}))}{1+x^{2}(t^{2})}\bigg), \)
\( f_{2}\big(t,x)=\frac{1}{5+2t} \sin^{2}(3(t+1)) +\frac{1}{12}~x.\)
Thus, we have \(k_{1}=\frac{7}{48},~k_{2}=\frac{1}{16},~k_{3}=\frac{17}{4}, ~k_{4}=2, ~k_{5}=\frac{1}{12},~A=\frac{1}{5},~ M=\frac{29}{120} ,~L\simeq 0.586< 1~ and~ L~T+x(0)\approx 0.3139< T=\frac{1}{2}.\)Now all the assumptions of Theorem 1 are satisfied, then the Problem (12)-(13) has at least one solution \(x\in C[0,T]\).