 Research
 Open Access
 Published:
Source degenerate identification problems with smoothing overdetermination
Advances in Difference Equations volume 2017, Article number: 347 (2017)
Abstract
We consider degenerate identification problems with smoothing overdetermination in abstract spaces. We establish an identifiability result using a projection method and suitable hypotheses on the operators involved and develop an identification method by reformulating the problem into a nondegenerate problem. Then we use perturbation results for linear operators to solve the regular problem. The introduced identification method permits one to solve the problems under the minimum restrictions on the input data. Finally, we provide applications to degenerate differential equations that appear in mathematical physics to support the theoretical results.
Introduction
In certain systems in physics and engineering, there arise differential equations with degeneracy. The system with a noninvertible operator at the derivative is considered as a good example of such systems. Most research in the literature was devoted to nondegenerate systems which do not cover fully the diversity of problems arising in theory and applications. In the case of degenerate problems, the analysis becomes more complicated, and somewhat different techniques are required. On the other hand, most of the important problems modeled by nonlinear degenerate partial differential equations are truly challenging and require further new approaches and techniques, and need our full attention and further efforts.
With this aim, this work is concerned mainly with an identification problem for a firstorder degenerate system. Let X be a Banach space endowed with the norm \(\Vert \cdot \Vert \), and let M and L be two closed linear operators in X. Let \(z\in X\); let \(\phi :[0, \tau ]\rightarrow \mathbb{R} _{+}\), \(\tau >0\), be a \(\mathcal{C}^{1}\) functional, and let us consider the following identification problem:
 (\(\mathcal{IP}1\)):

Given \(v_{0}\in X\) and \(g\in \mathcal{C}^{1}([0, \tau ];\mathbb{R} )\), find \(f\in \mathcal{C}([0,\tau ];\mathbb{R} )\) and a strict solution \(v\in \mathcal{C}^{1}([0,\tau ];X)\) to the degenerate Cauchy problem
$$ \textstyle\begin{cases} \frac{dMv}{dt}=Lv(t)+f(t)z,&0\leq t\leq \tau, \\ Mv(0)=Mv_{0}, \end{cases} $$(1)satisfying the additional condition
$$ \phi \bigl[ Mv(t)\bigr]=g(t),\quad 0\leq t\leq \tau . $$(2)More precisely, we are concerned with the determination of the conditions under which we can identify \(f\in \mathcal{C}([0,\tau ]; \mathbb{R} )\) such that v is a strict solution to the above problem, i.e.,
$$ Mv\in \mathcal{C}^{1}\bigl([0,\tau ];X\bigr), \qquad Lv\in \mathcal{C} \bigl([0, \tau ];X\bigr). $$
It should be emphasized that our identification problem (\(\mathcal{IP}1\)) is related to applications in control theory. There are some ways to consider the (\(\mathcal{IP}1\)) as being naturally connected with an optimal control problem [1].
Background and related work
In many applications concerning identification problems for PDEs, the source term may be unknown. The best known applications of these types of problems occur when finding a pollution source intensity by measurements of the pollutant concentrations and for identifying the laser beam intensity and trajectory in the heat equation corresponding to a giveninadvance temperature distribution [2].
One difficulty in inverse source problems is the absence of identifiability (uniqueness) of an arbitrary source as was shown in [3]. Thus, a wellposed source identification problem can be obtained if some a priori information is known. This additional information may be described by certain conditions on the admissible sources induced by the physical problem. For example, measuring the temperature by a perfect sensor of finite size in the heat source identification problem. A spacedependent source identification problem is considered by Cannon in [4]. Farcas and Lesnic studied a source dependent only on time [5]. Separable sources are analyzed in detail by Engl et al. [6]. A moving source whose spatial support is contained within a ball with a given radius is treated by Kusiak and Weatherwax [7]. The sum of m stationary sources with timevarying intensities are considered in [3].
It is worth noting that the identification problem, with linear source, related to nondegenerate systems is widely studied in the literature concerning inverse problems for PDEs. For more details on this subject, we refer to the monograph of Prilepko et al. [8, Chapter 7], the two papers by Orlovsky [9, 10] and the references given there.
The direct problem of (\(\mathcal{IP}1\)), i.e., \(M=I\), was first considered by Lorenzi [11]. In this paper an explicit solution formula was established under the condition that the operator L is bounded. As a matter of fact, more results were obtained by Prilepko et al. [8], where the operator L was supposed to be a generator of a \(c_{0}\)semigroup. In the work of Lorenzi [11] it was supposed with regard to problem (\(\mathcal{IP}1\)) that \(f(t)\) is known, z is unknown and the semigroup generated by L is analytic, that is, the case of parabolic equation occurred. A direct nonlinear version of (\(\mathcal{IP}1\)) with L being the infinitesimal generator of a compact \(c_{0}\)semigroup of contractions was discussed by Lorenzi [1]. General results for secondorder identification differential problems were obtained by Awawdeh [12].
In contrast, very few results are known for degenerate inverse problems, even though this class of systems occurs in many interesting problems in engineering and applied mathematics. One of the first results on this subject was discussed in [13] where \(\lambda =0\) is assumed to be a simple pole for the resolvent operator \((\lambda I+ML^{1})^{1}\). Later, more theoretical results were obtained in [14], where the pair \((M,L)\) of closed linear operators is weakly parabolic, i.e.,
with
where \(C,c>0\), \(0<\beta \leq \alpha \leq 1\), \(\beta +\alpha >1\) and \(\mathcal{L}(X)\) denotes the space of all bounded linear operators on X with the uniform norm. Moreover, in [15] the representation of the space X as a direct sum
where M is assumed to have a closed kernel \(\mathcal{N}(M)\) and a closed range \(\mathcal{R}(M)\), and \(X_{1}\), \(X_{2}\) are closed subspaces of X, is essential to guarantee a unique strict solution. Secondorder degenerate identification differential problems were studied in [16]. Awawdeh and Obeidat introduced the possibly multivalued linear operator \(A=LM^{1}\) following Favini and Yagi [17] and obtained some results concerning the solvability of the (\(\mathcal{IP}1\)) in [18]. Fedorov and Ivanova [19] studied an identification problem for a degenerate evolution equation with overdetermination on the solution semigroup kernel. Very recent results have been obtained in [20] for degenerate integrodifferential equations.
It is important to mention that there are few studies about abstract degenerate fractional differential equations since they are essentially complicated and their theory is still in its early stages. The first paper on this subject was provided in Fedorov and Ivanova [21] for studying an identification problem for timefractional order partial differential equations. After that, some works have been published. In [22], Kostić considered abstract degenerate fractional differential inclusions in Banach spaces and gave uniqueness results. We refer the reader to [23–25] for further information about abstract degenerate differential equations with integer order derivatives.
Contributions
This paper builds on the works of Al Horani [13–16] and Favini and Marinoschi [26]. The objective of these works was to obtain theoretical identifiability and local stability results for degenerate differential equations. That is, solution schemes that work well even in the case of systems with a noninvertible operator at the derivative. It is worth noting here that the classical theory of \(c_{0}\)semigroups is not obviously applicable for problem (\(\mathcal{IP}1\)) because \(M^{1}\) is not continuous in general. Another option is to use an operational method. These methods have been developed mainly for linear systems arising from elliptic and parabolic PDEs.
We propose an identification method based on reformulating the inverse problem (\(\mathcal{IP}1\)) into an equivalent nondegenerate problem. As a first step, a projection method is used to reduce the problem to a regular abstract inverse problem. The problem is then handled with the help of some perturbation results for linear operators. Our smoother result is based on constructing an exact representation of the solution avoiding the calculations of some resolvent estimates of the involved operators and the study of some properties of the multivalued linear operator \(LM^{1}\).
At first we will solve the inverse problem (\(\mathcal{IP}2\))
where the linear operator B has \(\lambda =0\) as a pole of \(( \lambda B ) ^{1}\) of order \(k+1\) and f, g, z, ϕ are as in (\(\mathcal{IP}1\)). We begin by constructing the fundamental solution to problem (\(\mathcal{IP}2\)) using a projection method and some perturbation results for linear operators. We believe that our results in Theorem 1 and Theorem 2, in which a fundamental solution with satisfactory properties is constructed for (\(\mathcal{IP}2\)), are of some independent interest. This fundamental solution enables us to solve not only (\(\mathcal{IP}2\)) but also the original problem (\(\mathcal{IP}1\)) by using the operator transformation \(B=ML^{1}\). In Theorem 3, we establish existence and uniqueness results for (\(\mathcal{IP}1\)) and give an explicit solution formula. It is remarkable that in the results in Theorem 3, no conditions on the resolvent estimates of the operators M and L, or in the existence of bounded inverse of M, are needed.
We apply the abstract results for problems of mathematical physics. The method performs well with differential equations of the Sobolev type. Thus, despite the restrictive assumptions we impose in order to obtain the identifiability results, we are able to construct a scheme that is efficient for a broader set of degenerate identification problems.
Organization of the paper
The rest of the paper is organized as follows. In Section 2 the existence and uniqueness of the solution to the identification problems (\(\mathcal{IP}1 \)) and (\(\mathcal{IP}2\)) are proved under suitable assumptions on the data. Furthermore, an implicit representation of the solution (v, f) is obtained. An identification problem for a firstorder differential equation of the Sobolev type, subjected to an overdetermination expressed by means of a Lebesgue integral, is presented in Section 3. The results so found are then applied to such a problem. Section 4 offers one possible way of applying the abstract results to problems of mathematical physics.
Main results
Let us first consider the following identification problem:
 (\(\mathcal{IP}2\)):

Given \(w_{0}\in X\), \(\phi :[0,\tau ]\rightarrow \mathbb{R} _{+}\), \(\tau >0\), a functional on X, and \(g\in \mathcal{C}^{1}([0,\tau ];\mathbb{R} )\) determine the conditions under which we can identify \(f\in \mathcal{C}([0,\tau ];\mathbb{R} )\) such that w is a strict solution to the Cauchy problem
$$\begin{aligned}& \frac{d}{dt}Bww =f(t)z,\quad 0< t\leq \tau, \end{aligned}$$(3)$$\begin{aligned}& Bw(0) =w_{0}, \end{aligned}$$(4)satisfying the additional condition
$$ \phi \bigl[ Bw(t)\bigr]=g(t), \quad 0< t\leq \tau . $$(5)Here B is a closed linear operator in X which has \(\lambda =0\) as a pole of \((\lambda B)^{1}\) of order \(k+1\).
Throughout, for any linear operator S in X, \(\mathcal{R}(S)\) denotes the range of S and \(\mathcal{K}(S)\) is the null space of S. Recall that the decomposition
holds for every \(m\geq k+1\). Moreover, \(\mathcal{R}(B^{m})=\overline{ \mathcal{R}(B^{m})}=\mathcal{R}(B^{k+1})\), \(\mathcal{K}(B^{m})= \mathcal{K}(B^{k+1})\) (see [27, p.229]). If \(\Gamma : \vert \lambda \vert = \epsilon \) is a circumference of sufficiently small radius with \(\vert \lambda \vert \leq \epsilon \) not containing singularities other than \(\lambda =0\) and if
then P is a projection onto \(\mathcal{K}(B^{k+1})\) and \(\mathcal{R}(IP)= \mathcal{R}(B^{k+1})\). Furthermore, it is easy to verify that
for any λ such that \(0<\lambda \leq \epsilon \).
Since \(\mathcal{K}(B^{k})\subset \mathcal{K}(B^{k+1})\), we observe that, if \(f\in \mathcal{C}([0,\tau ];\mathbb{R} )\), then the identification problem (\(\mathcal{IP}2\)) is equivalent to the couple of problems
and
where \(B_{1}\) and \(B_{2}\) denote the parts of B in \(\mathcal{R}(B ^{k+1})\) and in \(\mathcal{K}(B^{k+1})\), respectively. Of course, problem (6)(8) is a problem in the space \(\mathcal{R}(B^{k+1})\). It is also known by [28, p.178] that the spectra of \(B_{1}\) and \(B_{2}\) coincide with the spectrum of B minus \(\{0\}\) and with \(\{0\}\), respectively. Hence, \(B_{2}\in \mathcal{L}( \mathcal{K}(B^{k+1}))\). On the other hand, \(B_{1}\) is a closed operator in \(\mathcal{R}(B^{k+1})\), mapping \(\mathcal{D}(B_{1})=\mathcal{D}(B) \cap \mathcal{R}(B^{k+1})\) onto \(\mathcal{R}(B^{k+1})\) in a onetoone fashion.
Let \(u=B_{1}(IP)w\), then problem (6)(8) becomes
where \(u_{0}=(IP)w_{0}\). It is seen in [27, Chapter VIII, Section 3] that \(B_{1}\) is an abstract potential operator in \(\mathcal{R}(B^{k+1})\), i.e., \(B_{1}^{1}\) generates a c_{0}semigroup in \(\mathcal{R}(B^{k+1})\).
As the next stage, we are going to use a method coupled with perturbation theory for linear operators for the solvability of the inverse problem (10)(12).
Applying the linear functional ϕ to both sides of the differential equation (10) and using (12), we obtain the following equation for f:
If we assume that the following solvability condition is satisfied
we can rewrite equation (13) in the form
Substituting (15) in (10), we get
Clearly (16) implies
When \(( X, \Vert \cdot \Vert ) \) equipped with the graph norm
the domain \(\mathcal{D}(B_{1}^{1})\) becomes a Banach space embedded continuously into the space X, which we shall denote by \(X_{B_{1} ^{1}}\). In what follows we agree to consider the operator
Then equality (17) becomes
The boundedness of the operator T in \(X_{B_{1}^{1}}\) follows from the estimate
The following perturbation theorem will justify that the operator \(B_{1}^{1}+T\) is the generator of a c_{0}semigroup \(S(t)\), \(t\geq 0\), on X.
Theorem 1
([29])
Let X be a Banach space, and let A be the infinitesimal generator of a c _{0}semigroup \(T(t)\) on X. If \(B:X_{A}\longrightarrow X _{A}\) is a continuous linear operator, then \(A+B\) is the infinitesimal generator of a c _{0}semigroup on X.
Since \(u_{0}\in D(B_{1}^{1})\), it is well known that the Cauchy problem (10)(11) has a unique solution
Hence, by (15) and (20), \(f(t)\) is uniquely determined. Therefore, the reduced problem (10)(12) possesses a unique solution \((u,f)\). It is also easy to verify that \((u,f)\) is a solution of (10)(12) if and only if \((w,f)\) is a solution to (3)(5).
As regards (9), we point out by [27, p.328] that
and hence all the powers \(B_{2}^{m}\) vanish provided that \(m\geq k+1\). Since \(f(t)\) is now known, then equation (9) possesses the unique solution
We can verify that
satisfies equation (3).
Now, we know that
and so,
We note that no initial condition can be assigned arbitrarily to \(Bw(t)\) at \(t=0\). In fact, all admissible initial values \(w_{0}\) must be of the form
where \(w_{1}\in X\), \(( IP ) w_{1}\in \mathcal{R}(B^{k+1})\). If \(B\in \mathcal{L}(X)\), taking \(w_{1}= ( B_{1}^{k} ) ^{1}w _{0}\), for every \(w_{0}\in \mathcal{R}(B^{k+1})\), there exists a solution w to the identification problem (\(\mathcal{IP}2\)) such that
On the other hand, if \(f\in \mathcal{C}^{k}([0,\tau ];\mathbb{R} )\) with \(f^{(j)}(0)=0\) for \(j=0,1,\ldots,k1\), and \(w_{0}\in \mathcal{R}(B ^{k+1})\), then (\(\mathcal{IP}2\)) possesses a unique solution w.
In accordance with what has been said, we arrive at the following assertions.
Theorem 2
Let X be a Banach space; let \(B\in \mathcal{L}(X)\) have \(\lambda =0\) as the unique singularity of \(( \lambda B ) ^{1}\) with a pole of order \(k+1\); let \(z\in X\); let \(g\in \mathcal{C}^{1}([0, \tau ];\mathbb{R} )\) and let \(\phi \in X\rightarrow \mathbb{R} \) be a \(\mathcal{C}^{1}\) functional. Let \(\phi [ (IP)z]\neq 0\), where P is the projection onto \(\mathcal{K}(B^{k+1})\) along \(\mathcal{R}(B ^{k+1}) \). Then, for any \(w_{0}\in \mathcal{R}(B^{k+1})\), the identification problem (\(\mathcal{IP}2\)) possesses a unique solution \((w,f)\) such that
Theorem 3
Let X be a Banach space; let B have \(\lambda =0\) as a pole of \(( \lambda B ) ^{1}\) of order \(k+1\); let \(z\in X\); let \(g\in \mathcal{C}^{1}([0,\tau ];\mathbb{R} )\) and let \(\phi \in X \rightarrow \mathbb{R} \) be a \(\mathcal{C}^{1}\) functional. Let \(\phi [ (IP)z]\neq 0\), where P is the projection onto \(\mathcal{K}(B^{k+1})\) along \(\mathcal{R}(B^{k+1}) \). Finally, let us assume the initial value \(w_{0}\) of the form (25) and \(w_{0}\in \mathcal{R}(B^{k+1})\). Then there exists a unique strict solution \((w,f)\) to the identification problem (\(\mathcal{IP}2\)) such that
We are now ready to pass to the statement of the main result.
Theorem 4
Let M and L be two closed linear operators in a Banach space X with \(D(L)\subset D(M)\), L being invertible, with the property that \(\lambda =0\) is a pole of order \(k+1\) of the operator \((\lambda B)^{1}\), where \(B=ML^{1}\). Let \(z,v_{0}\in X\), \(g\in \mathcal{C}^{1}([0,\tau ];\mathbb{R} )\) and \(\phi \in X^{\ast }\), \(X^{\ast }\) being the dual space to X. If, in addition, \(\phi [ (IP)z]\neq 0\), where P is the projection onto \(\mathcal{K}(B ^{k+1})\) along \(\mathcal{R}(B^{k+1})\), then there exists a unique strict solution \((v,f)\) to the identification problem (\(\mathcal{IP}1\)) admitting the implicit representation
where \(B_{1}\) and \(B_{2}\) denote the parts of B in \(\mathcal{R}(B ^{k+1})\) and in \(\mathcal{K}(B^{k+1})\), respectively.
Proof
Consider the identification problem (\(\mathcal{IP}1\)) where M and L are two closed linear operators in X with \(\mathcal{D}(L)\subset \mathcal{D}(M) \), L being invertible, with the property that \(\lambda =0\) is a pole of order \(k+1\), \(k=0,1,2,\ldots \) , of the bounded operator \(L(\lambda LM)^{1}\), \(z,v_{0}\in X\), \(g\in \mathcal{C}^{1}([0, \tau ];\mathbb{R} )\) and \(\phi \in X^{\ast }\).
We observe that \(B=ML^{1}\in \mathcal{L}(X)\) and
Let \(w=Lv\), then (\(\mathcal{IP}1\)) can be rewritten as (\(\mathcal{IP}2\)) where \(w_{0}=Mv_{0}\). A direct application of Theorem 2 implies the required existence and uniqueness result. The function \(f(t)\) is determined using (21). Moreover, we have the explicit solution \(v(t)\) from (24) as follows:
and the proof is completed. □
Differential equations of Sobolev type
Sobolevtype equations appear in a variety of physical problems such as flow of fluid through fissured rocks, thermodynamics, heat conduction involving two temperatures and soil mechanics. There is an extensive literature in which Sobolevtype equations are investigated in the abstract framework; see, for instance, [30–33]. As far as we know, the present paper is the first one to consider identification problems for differential equations of Sobolev type.
Let K be a densely defined closed linear operator in a Banach space X. Assume that −1 is an eigenvalue of K of multiplicity one, that is, \(\lambda =0\) is a simple pole for the resolvent \((\lambda 1K)^{1}\). Then there exists \(\epsilon >0\) such that
We are concerned with the Sobolevtype differential equation
with the subsidiary information
where \(g(t)\) is a given function, \(v_{0}\in \mathcal{D} ( K ) \) is an initial value, and where \(v=v(t)\) and \(f(t)\) are the unknown functions. By the change of the unknown function \(\bar{v}(t)=e^{( \mu +1)t}v(t)\) with some exponent μ to be specified below, our problem is transformed into
where \(f_{\mu }(t)=e^{(\mu +1)t}f(t)\). So that this problem is viewed as a problem of the form (\(\mathcal{IP}1\)) with \(M=1+K\) and \(L=\mu (1+K)1\). Since
the M resolvent exists if \(\vert 1/ ( \lambda +\mu ) \vert \leq \epsilon \) or if \(\vert \lambda +\mu \vert \geq 1/\epsilon \). In addition, since
then \(( \lambda ML ) ^{1}\) is a bounded operator on X for all \(\vert \lambda \vert \geq \epsilon_{0}>1/ ( \lambda +\mu ) \). Hence, for all ν, \(0<\nu <1/\epsilon_{0}\) with a suitable \(\epsilon_{0}>0\),
and it is readily seen that \(\nu =0\) is a simple pole for \(M ( \nu LM ) ^{1}\).
As an example of an identification problem for a Sobolevtype differential equation, we give
subject to the additional information
where ℓ is a positive integer, \(w\in \mathcal{C} ( [0, \ell \pi ];\mathbb{C} ) \), \(z(\cdot )\in \mathcal{C} ( [0, \ell \pi ];\mathbb{C} ) \), \(v_{0}\in \mathcal{D}(K)\). Here X is the space of continuous functions
and the operator K is given by
Applications
We finally consider the abstract results as a source of existence and uniqueness theorems for the identification problems related to some degenerate systems.
Example 5
Let L be a bounded operator in \(\mathcal{L}(X)\) and M be a densely defined closed operator in X such that \(( \lambda_{0}ML ) ^{1} \) is a compact operator in X. Since
we deduce that \(S=\lambda_{0}M ( \lambda_{0}ML ) ^{1}\) is a Fredholm operator with
Moreover, \(\mathcal{R}(S)=\mathcal{R}(M)\) is closed in X and this implies [34, pp.150152] that \(\lambda =0\) is a pole of \(( \lambda S ) ^{1}\) with \(X=\mathcal{K}(S^{m})\oplus \mathcal{R}(S^{m})\) for a certain positive integer m. Therefore Theorem 4 applies.
Example 6
Let B be a closed linear operator with a compact resolvent. If \(0\in \sigma (B)\), then it is an isolated eigenvalue with finite multiplicity [28, p.181], and therefore Theorem 4 applies again.
Example 7
Let B be a closed Fredholm operator in X such that
where, for any closed linear operator S in X, \(\alpha (S)\) denotes the dimension of \(\mathcal{K}(S)\) and \(\beta (S)\) is the codimension of \(\mathcal{R}(S)\) in X. Then there is a positive integer m such that \(X=\mathcal{K}(S^{m})\oplus \mathcal{R}(S^{m})\) [35, pp.274275] and \(\lambda =0\) is an isolated singularity of \(( \lambda B ) ^{1}\).
Example 8
If X is a Hilbert space and \(B_{0}\) is a compact linear operator from X into itself such that \(\lambda_{0}\neq 0\) is an element of \(\sigma (B_{0})\), then Theorem 4 applies with \(B=\lambda_{0}B _{0}\).
References
Lorenzi, A, Vrabie, I: Identification for a semilinear evolution equation in a Banach space. Inverse Probl. 26, 116 (2010)
Johansson, BT, Lesnic, D: A variational method for identifying a spacewisedependent heat source. IMA J. Appl. Math. 72, 748760 (2007)
El Badia, A, HaDuong, T: On an inverse source problem for the heat equation. Application to a pollution detection problem. J. Inverse IllPosed Probl. 10, 585599 (2002)
Cannon, JR: Determination of an unknown heat source from overspecified boundary data. SIAM J. Numer. Anal. 5, 275286 (1968)
Farcas, A, Lesnic, D: The boundaryelement method for the determination of a heat source dependent on one variable. J. Eng. Math. 54, 375388 (2005)
Engl, HW, Scherzer, O, Yamamoto, M: Uniqueness and stable determination of forcing terms in linear partial differential equations with overspecified boundary data. Inverse Probl. 10, 12531276 (1994)
Kusiak, S, Weatherwax, J: Identification and characterization of a mobile source in a general parabolic differential equation with constant coefficients. SIAM J. Appl. Math. 68, 784805 (2008)
Prilepko, I, Orlovsky, G, Vasin, A: Methods for Solving Inverse Problems in Mathematical Physics. Dekker, New York (2000)
Orlovsky, D: An inverse problem for a second order differential equation in a Banach space. Differ. Equ. 25, 10001009 (1989)
Orlovsky, D: Weak and strong solutions of inverse problems for differential equations in a Banach space. Differ. Equ. 27, 867874 (1991)
Lorenzi, A: An Introduction to Identification Problems, Via Functional Analysis. VSP, Utrecht (2001)
Awawdeh, F: Perturbation method for abstract secondorder inverse problems. Nonlinear Anal. 72, 13791386 (2010)
Al Horani, M: An identification problem for some degenerate differential equation. Matematiche 57(1), 217227 (2002)
Al Horani, M, Favini, A: An identification problem for firstorder degenerate differential equations. J. Optim. Theory Appl. 130(1), 4160 (2006)
Al Horani, M: Projection method for solving degenerate firstorder identification problem. J. Math. Anal. Appl. 364(1), 204208 (2010)
Al Horani, M, Favini, M, Lorenzi, A: Secondorder degenerate identification differential problems. J. Optim. Theory Appl. 141(1), 1336 (2009)
Favini, A, Yagi, A: Degenerate Differential Equations in Banach Spaces. Dekker, New York (1999)
Awawdeh, F, Obiedat, HM: Source identification problem for degenerate differential equations. UPB Sci. Bull., Ser. A 73(1), 6172 (2011)
Fedorov, VE, Ivanova, ND: Identification problem for a degenerate evolution equation with overdetermination on the solution semigroup kernel. Discrete Contin. Dyn. Syst., Ser. S 9(3), 687696 (2016)
Favini, A, Lorenzi, A: Identification problems for singular integrodifferential equations of parabolic type II. Nonlinear Anal. 56, 879904 (2004)
Fedorov, VE, Ivanova, ND: Identification problem for degenerate evolution equations of fractional order. Fract. Calc. Appl. Anal. 20, 706721 (2017)
Kostić, M: Abstract degenerate fractional differential inclusions in Banach spaces. Appl. Anal. Discrete Math. 11, 3961 (2017)
Carroll, RW, Showalter, RE: Singular and Degenerate Cauchy Problems. Academic Press, New York (1976)
Kostić, M: Abstract Degenerate Volterra IntegroDifferential Equations. Book manuscript (2016)
Sviridyuk, GA, Fedorov, VE: Linear Sobolev Type Equations and Degenerate SemiGroups of Operators. VSP, Utrecht (2003)
Favini, A, Marinoschi, G: Identification for degenerate problems of hyperbolic type. Appl. Anal. 91(8), 15111527 (2012)
Yoshida, K: Functional Analysis, 6th edn. Springer, Berlin (1980)
Kato, T: Perturbation Theory of Linear Operators. Springer, Berlin (1966)
Desch, W, Schappacher, W: On relatively bounded perturbations of linear c_{0}semigroups. Ann. Sc. Norm. Super. Pisa, Cl. Sci. 11(2), 327341 (1984)
Krishnan, B, Subbarayan, K: Regularity of solutions of Sobolevtype semilinear integrodifferential equations in Banach spaces. Electron. J. Differ. Equ. 2003, 114 (2003)
Lightbourne, JH, Rankin, SM: A partial functional differential equation of Sobolev type. J. Math. Anal. Appl. 93, 328337 (1983)
Showalter, RE: A nonlinear parabolic Sobolev equation. J. Math. Anal. Appl. 50, 183190 (1975)
Sobolev, S: Some new problems in mathematical physics. Izv. Akad. Nauk SSSR, Ser. Mat. 18, 350 (1954)
Schechter, M: Principles of Functional Analysis. Academic Press, New York (1971)
Schechter, M: Basic theory of Fredholm operators. Ann. Sc. Norm. Super. Pisa 21, 361380 (1967)
Author information
Authors and Affiliations
Contributions
All authors contributed equally and significantly in this paper. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Additional information
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
Awawdeh, F., Alomari, A. & AbuFalahah, I. Source degenerate identification problems with smoothing overdetermination. Adv Differ Equ 2017, 347 (2017). https://doi.org/10.1186/s136620171403z
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s136620171403z
Keywords
 Source Identification Problem
 Nondegenerate Problems
 Explicit Solution Formula
 Sobolev Type Equations
 Prilepko