- Research
- Open Access

# Modified fractional Cauchy problem in a complex domain

- Rabha W Ibrahim
^{1}Email author

**2013**:149

https://doi.org/10.1186/1687-1847-2013-149

© Ibrahim; licensee Springer 2013

**Received:**8 December 2012**Accepted:**6 May 2013**Published:**23 May 2013

## Abstract

In this paper, we make an extension to the Srivastava-Owa fractional operators in the space ${L}^{2}(U;H)$, where *U* is the open unit disk and *H* is a complex Hilbert space. Some recurrent relations are imposed on these extended operators. Moreover, by employing the theory of sums of accretive operators, the existence and uniqueness of the solution of the fractional Cauchy problem (in the sense of extended Srivastava-Owa fractional operators) is studied in a complex Hilbert space. Applications are illustrated.

## Keywords

- fractional calculus
- fractional differential equations
- Srivastava-Owa fractional operators
- unit disk
- analytic function
- Cauchy problem

## 1 Introduction

Fractional derivatives can express the properties of memory and heredity of materials, which is the chief benefit of fractional derivatives compared with integer-order derivatives. Practical problems require definitions of fractional derivatives allowing the use of physically interpretable initial conditions. Fractional time derivatives are linked with irregular sub-diffusion, where a darken of particles spreads more slowly than a classical diffusion. While the fractional space derivatives are used to model irregular diffusion or dispersion, where a particle follow spreads at a rate not in agreement with the classical Brownian motion model, and the follow can be asymmetric [1–3].

Fractional differential and integro-differential equations occur from different real processes, and phenomena arise in physics such as signal processing and image processing, optics, engineering, control system, computer science (such as real neural network, complex neural network, information technology), statistics and probability, astronomy, geophysics, hydrology, chemical technology, materials, robots, earthquake analysis, electric fractal network, statistical mechanics, biotechnology, medicine, and economics [4–10].

Fractional Cauchy problems restore the integer time derivative by its fractional complement. Nigmatullin [11] posed a physical derivation of the fractional Cauchy problem; Kochubei [12] introduced the mathematical study of fractional Cauchy problems; Meerschaert *et al.* [13] constructed the stochastic solutions for fractional Cauchy problems in a bounded domain; Zaslavsky [14], falsified fractional Cauchy problems as a model for Hamiltonian chaos; Kexue and Jigen [15], concerned with fractional abstract Cauchy problems with order $\alpha \in (1,2)$, proposed the sufficient conditions for the existence and uniqueness of mild solutions and strong solutions of the inhomogeneous fractional Cauchy problem; Li *et al.* [16] established an existence theorem for mild solutions to the nonlocal Cauchy problem by virtue of measure of noncompactness and the fixed point theorem for condensing maps; Zhong *et al.* [17] studied the Cauchy problem for some local fractional abstract differential equation with fractal conditions; Yang [18] considered the problem for local fractional derivatives from local fractional functional analysis theory; finally, local fractional Cauchy formula within fractal complex domain was investigated in [19–21]. Recently, the author studied the fractional Cauchy problem in a complex domain [22–26].

In this article, we shall make an extension to the Srivastava-Owa fractional operators in the space ${L}^{2}(U;H)$, where *U* is the open unit disk and *H* is a complex Hilbert space. Some properties are discussed such as the recurrent relations. Moreover, by applying the theory of sums of accretive operators, the existence and uniqueness of the solution of the fractional Cauchy problem (in the sense of extended Srivastava-Owa fractional operators) is established in a complex Hilbert space. Applications are introduced.

## 2 Fractional calculus

In [27], Srivastava and Owa provided the definitions for fractional operators (derivative and integral) in the complex *z*-plane ℂ as follows.

**Definition 2.1**The fractional derivative of order

*α*is defined for a function $f(z)$ by

where the function $f(z)$ is analytic in a simply-connected region of the complex *z*-plane ℂ containing the origin, and the multiplicity of ${(z-\zeta )}^{-\alpha}$ is removed by requiring $log(z-\zeta )$ to be real when $(z-\zeta )>0$.

**Definition 2.2**The fractional integral of order

*α*is defined, for a function $f(z)$, by

where the function $f(z)$ is analytic in a simply-connected region of the complex *z*-plane (ℂ) containing the origin, and the multiplicity of ${(z-\zeta )}^{\alpha -1}$ is removed by requiring $log(z-\zeta )$ to be real when $(z-\zeta )>0$.

**Remark 2.1**From Definitions 2.1 and 2.2, we have

*H*, $C(\cdot )$ is a bounded operator defined everywhere in ${L}^{2}(U;H)$, $\varphi \in {L}^{2}(U;H)$ and $u\in {L}^{2}(U;\tilde{H})$, $\tilde{H}\subset H$, $U:=\{z\in \mathbb{C}:|z|<1\}$. Denote by $\partial U:=\{z\in \mathbb{C}:|z|=1\}$ and $\overline{U}:=U\cup \partial U$. For complex Hilbert spaces ${H}^{\ast}$ and

*H*with the inner product ${(\cdot )}_{H}$ and ${(\cdot )}_{{H}^{\ast}}$ respectively, let $B({H}^{\ast},H)$ be the space of all bounded linear operators from ${H}^{\ast}$ to

*H*; if $H={H}^{\ast}$, we write $B(H)$. Recall that the operator

*P*is called

*accretive*if $\mathrm{\Re}{(Pu,u)}_{H}\ge 0$, $\mathrm{\forall}u\in {H}^{\ast}$, and

*m*-

*accretive*if $Rang(\lambda I+P)=H$, $\lambda >0$. Denoted by $\rho (A):=\{\lambda \in \mathbb{C}:\lambda \text{is a regular value of}A\}$, the

*resolvent*set of the operator

*A*. Note that the resolvent set $\rho (A)\subseteq \mathbb{C}$ of a bounded linear operator

*A*is an open set. Moreover, the space ${L}^{2}(U;H)$ is a Hilbert space with the inner product

Throughout the paper, we consider $\mathrm{\Re}{(Au,u)}_{H}>0$, $u\in \tilde{H}$ and ${\parallel x\parallel}_{\tilde{H}}={\parallel Ax\parallel}_{H}$.

**Definition 2.3**Equation (1) has maximal regularity in ${L}^{2}(U;H)$ if for every $\varphi \in {L}^{2}(U;H)$, $\mathrm{\exists}u(z)$ such that

By employing the concept of sums of accretive operators, we shall prove the maximal regularity of problem (1).

where $u\in {L}^{2}(U;H)$. We have the following property.

**Lemma 2.1** ${\mathcal{I}}_{z}^{\alpha}\in B({L}^{2}(U;H))$.

*Proof*By making use of the Young inequality, it follows that

□

**Lemma 2.2**

*Let*$f\in {L}^{2}(U;H)$,

*then*

*Proof*For a function

*f*, using the Dirichlet technique yields

□

**Lemma 2.3** ${\mathcal{D}}_{z}^{\alpha}{\mathcal{I}}_{z}^{\alpha}u(z)=u(z)$.

*Proof*By Lemma 2.2, we have

From the last assertion, we conclude that ${\mathcal{D}}_{z}^{1}={\mathcal{I}}_{z}^{-1}$. □

**Lemma 2.4** *Let* $\alpha \in [k-1,k)$, *then* ${\mathcal{I}}_{z}^{\alpha}{\mathcal{D}}_{z}^{\alpha}u(z)=u(z)-{\sum}_{j=1}^{k}{[{\mathcal{D}}_{z}^{\alpha -j}u(z)]}_{z=0}\frac{{z}^{\alpha -j}}{\Gamma (\alpha -j+1)}$.

*Proof*Since

Combining the last two assertions, we end the proof. □

**Remark 2.2**For a special case $\alpha \in (0,1)$, we have the relation

By virtue of the last discussion, we have the following result.

**Lemma 2.5** *Let* $u\in {L}^{2}(U;H)$, *then* ${\mathcal{D}}_{z}^{\alpha}u(z)$, $\alpha \in (0,1)$ *is an accretive operator*.

*Proof*To prove that ${\mathcal{D}}_{z}^{\alpha}u(z)$ is an accretive operator, it suffices to show that $\mathrm{\Re}{({\mathcal{D}}_{z}^{\alpha}u,u)}_{{L}^{2}(U;H)}\ge 0$, where

*u*is in the domain of ${\mathcal{D}}_{z}^{\alpha}$. By the definition of ${\mathcal{I}}_{z}^{\alpha}u(z)$, we receive that $\mathrm{\Re}({(z-\zeta )}^{\alpha -1})>0$; consequently, this implies that

but *u* is in the domain of ${\mathcal{D}}_{z}^{\alpha}$, so, consequently, ${\mathcal{D}}_{z}^{\alpha}u(z)$ is an accretive operator. □

**Lemma 2.6** *Let* $u\in {L}^{2}(U;H)$, *then* ${\mathcal{D}}_{z}^{\alpha}u(z)$ *is an* *m*-*accretive operator*.

*Proof*To prove that $Rang(\lambda I+{\mathcal{D}}_{z}^{\alpha})=H$, it suffices to show that the function ${(\lambda I+{\mathcal{D}}_{z}^{\alpha})}^{-1}\varphi $ is well defined for all $\lambda >0$, $u\in {L}^{2}(U;H)$ and bounded in ${L}^{2}(U;H)$. A simple computation shows that

where ${L}_{\alpha ,\lambda}>0$. Thus $\mathrm{\Phi}(z)$ is well defined for all $\lambda >0$, $u\in {L}^{2}(U;H)$ and bounded in ${L}^{2}(U;H)$. This implies that ${\mathcal{D}}_{z}^{\alpha}u(z)$ is an *m*-accretive operator. □

## 3 Existence and uniqueness

under the following assumptions.

(H1) *A* is a linear *m*-accretive operator in *H*, $0\in \rho (A)$, where *H* is a complex Hilbert space.

*C*is a bounded operator in ${L}^{2}(U;H)$ and there exists $\mu >0$ with

and $u\in \tilde{H}$, $\tilde{H}\subset H$.

(H3) $\varphi \in {L}^{2}(U;H)$.

We provide the main result of this section. We need the following result.

**Lemma 3.1** [29]

*Let* *P* *be* *m*-*accretive and let* *Q* *be accretive Lipschitz continuous in a Hilbert space* *H*. *Then* $P+Q$ *is* *m*-*accretive with* $dom(P+Q)=dom(P)$.

**Theorem 3.1**

*Let the assumptions*(H1)-(H3)

*hold*.

*Then there exists a unique function*$u\in {\mathcal{W}}_{0}^{\alpha ,2}(U,H)\cap {L}^{2}(U;\tilde{H})$

*satisfying*(1)

*and the inequality*

*Proof*Our aim is to rewrite Eq. (1) as an operator equation in ${L}^{2}(U;H)$. For this purpose, we define the following operators in ${L}^{2}(U;H)$:

*m*-accretive. For the accretivity, we must show that

According to Lemma 2.5 and Lemma 2.6, we obtain that ${\mathcal{D}}_{z}^{\alpha}{\mathfrak{A}}^{-1}$ is *m*-accretive. Moreover, by (H2) it follows that the operator $\mathfrak{C}-\mu $ is a bounded accretive operator. By virtue of Lemma 3.1, it follows that ${\mathcal{D}}_{z}^{\alpha}{\mathfrak{A}}^{-1}+\mathfrak{C}-\mu $, $\mu >0$, is *m*-accretive. Together with (H3), we obtain that Eq. (9) has a unique solution $w\in {L}^{2}(U;H)$. □

*w*and using the accretivity of the operators ${\mathcal{D}}_{z}^{\alpha}{\mathfrak{A}}^{-1}$ and $\mathfrak{C}-\mu $, we observe that

Hence, from the last two inequalities, we conclude the inequality (9). This completes the proof.

**Corollary 3.1** *Let* *A* *be accretive and self*-*adjoint in* *H*, $0\in \rho (A)$ *and let the hypotheses* (H2) *and* (H3) *hold*. *Then there exists a unique function* $u\in {\mathcal{W}}_{0}^{\alpha ,2}(U,H)\cap {L}^{2}(U;\tilde{H})$ *satisfying *(1) *and the inequality* (7).

*Proof* It is well known that an accretive and self-adjoint operator implies a symmetric and *m*-accretive one [30]. Hence, by virtue of Theorem 3.1, there exists a unique function $u\in {\mathcal{W}}_{0}^{\alpha ,2}(U,H)\cap {L}^{2}(U;\tilde{H})$ satisfying (1) and the inequality (7). □

**Corollary 3.2** *Let* *C* *be accretive and Lipschitz continuous in* *H* *and let the hypotheses* (H1) *and* (H3) *hold*. *Then there exists a unique function* $u\in {\mathcal{W}}_{0}^{\alpha ,2}(U,H)\cap {L}^{2}(U;\tilde{H})$ *satisfying *(1) *and the inequality* (7).

*Proof*Since

*C*is Lipschitz continuous in

*H*, then for all ${u}_{1}$ and ${u}_{2}\in {L}^{2}(U;H)$ we have

where ${\gamma}_{1}$ and ${\gamma}_{2}$ are positive; thus in view of Theorem 3.1, there exists a unique function $u\in {\mathcal{W}}_{0}^{\alpha ,2}(U,H)\cap {L}^{2}(U;\tilde{H})$ satisfying (1) and the inequality (7). □

**Example 3.1**Consider the problem

It follows that *A* and *C* satisfy the conditions of Corollary 3.1 for some *λ*, and therefore (10) has a unique function $u\in {\mathcal{W}}_{0}^{\alpha ,2}(U,H)\cap {L}^{2}(U;\tilde{H})$.

Note that self-adjoint operators on a Hilbert space are applied in quantum mechanics to describe a physical observation such as the position, momentum, angular momentum and spin. The differential operators corresponding to the Legendre differential equation and the harmonic motion equation are self-adjoint, while those corresponding to the Laguerre differential equation and Hermite differential equation are not. A nonself-adjoint second-order linear differential operator can be viewed as a self-adjoint by using Sturm-Liouville theory.

**Example 3.2**Consider the problem

It is clear that *A* is a self-adjoint operator and *C* is bounded; thus it follows that the problem (11) has a unique solution.

## Declarations

### Acknowledgements

The author is thankful to the referees for helpful suggestions for the improvement of this article. This research has been funded by the university of Malaya, under Grant No. RG208-11AFR.

## Authors’ Affiliations

## References

- Jeon J-H, Metzler R: Fractional Brownian motion and motion governed by the fractional Langevin equation in confined geometries.
*Phys. Rev. E, Stat. Nonlinear Soft Matter Phys.*2010., 81: Article ID 021103Google Scholar - Burnecki K, Kepten E, Janczura J, Bronshtein I, Garini Y, Weron A: Universal algorithm for identification of fractional Brownian motion. A case of telomere subdiffusion.
*Biophys. J.*2012, 103: 1839-1847. 10.1016/j.bpj.2012.09.040View ArticleGoogle Scholar - Bojdecki T, Gorostiza LG, Talarczyk A: Oscillatory fractional Brownian motion.
*Acta Appl. Math.*2013. doi:10.1007/s10440-013-9798-3Google Scholar - Bǎleanu D, Mustafa OG, Agarwal RP: Asymptotically linear solutions for some linear fractional differential equations.
*Abstr. Appl. Anal.*2010., 2010: Article ID 865139. doi:10.1155/2010/865139Google Scholar - Bǎleanu D, Mustafa OG, Agarwal RP: On the solution set for a class of sequential fractional differential equations.
*J. Phys. A*2010., 43: Article ID 385209Google Scholar - Bǎleanu D, Agarwal RP, Mustafa OG, Coşulschi M: Asymptotic integration of some nonlinear differential equations with fractional time derivative.
*J. Phys. A*2011., 44: Article ID 055203Google Scholar - Bǎleanu D, Mustafa OG, Agarwal RP: Asymptotic integration of (1+
*α*)-order fractional differential equations.*Comput. Math. Appl.*2011, 62(3):1492-1500. 10.1016/j.camwa.2011.03.021MathSciNetView ArticleGoogle Scholar - Jalab HA, Ibrahim RW: Texture enhancement for medical images based on fractional differential masks.
*Discrete Dyn. Nat. Soc.*2013., 2013: Article ID 618536. doi:10.1155/2013/618536Google Scholar - Jalab HA, Ibrahim RW: On generalized fractional differentiator signals.
*Discrete Dyn. Nat. Soc.*2013., 2013: Article ID 795954. doi:10.1155/2013/795954Google Scholar - Ibrahim RW, Jalab HA: The fractional complex step method.
*Discrete Dyn. Nat. Soc.*2013., 2013: Article ID 515973. doi:10.1155/2013/515973Google Scholar - Nigmatullin RR: The realization of the generalized transfer in a medium with fractal geometry.
*Phys. Status Solidi B*1986, 133: 425-430. 10.1002/pssb.2221330150View ArticleGoogle Scholar - Kochubei AN: The Cauchy problem for evolution equations of fractional order.
*Differ. Uravn. (Minsk)*1989, 25: 1359-1368.MathSciNetGoogle Scholar - Meerschaert MM, Nane E, Vellaisamy P: Fractional Cauchy problems in bounded domains.
*Ann. Probab.*2009, 37: 979-1007. 10.1214/08-AOP426MATHMathSciNetView ArticleGoogle Scholar - Zaslavsky GM: Fractional kinetic equation for Hamiltonian chaos.
*Physica D*1994, 76: 110-122. 10.1016/0167-2789(94)90254-2MATHMathSciNetView ArticleGoogle Scholar - Li K, Jigen P: Fractional abstract Cauchy problems.
*Integral Equ. Oper. Theory*2011, 70: 333-361. 10.1007/s00020-011-1864-5MATHMathSciNetView ArticleGoogle Scholar - Li F, Liang J, Lu TT, Zhu H: A nonlocal Cauchy problem for fractional integrodifferential equations.
*J. Appl. Math.*2012., 2012: Article ID 901942Google Scholar - Zhong WP, Yang XJ, Gao F: A Cauchy problem for some local fractional abstract differential equation with fractal conditions.
*J. Appl. Funct. Anal.*2013, 8(1):92-99.MATHMathSciNetGoogle Scholar - Yang XJ:
*Advanced Local Fractional Calculus and Its Applications*. World Science Publisher, New York; 2012.Google Scholar - Yang XJ: Local fractional integral transforms.
*Prog. Nonlinear Sci.*2011, 4: 1-225.Google Scholar - Yang XJ:
*Local Fractional Functional Analysis and Its Applications*. Asian Academic Publisher, Hong Kong; 2011.Google Scholar - Guo Y: Local fractional Z transform in fractal space.
*Adv. Digit. Multimed.*2012, 1(2):96-102.Google Scholar - Ibrahim RW, Darus M: Subordination and superordination for univalent solutions for fractional differential equations.
*J. Math. Anal. Appl.*2008, 345: 871-879. 10.1016/j.jmaa.2008.05.017MATHMathSciNetView ArticleGoogle Scholar - Ibrahim RW: Solutions of fractional diffusion problems.
*Electron. J. Differ. Equ.*2010, 147: 1-11.Google Scholar - Ibrahim RW: Existence of fractional parametric Cauchy problem.
*Appl. Sci.*2010, 12: 30-36.MathSciNetGoogle Scholar - Ibrahim RW: Existence and uniqueness of holomorphic solutions for fractional Cauchy problem.
*J. Math. Anal. Appl.*2011, 380: 232-240. 10.1016/j.jmaa.2011.03.001MATHMathSciNetView ArticleGoogle Scholar - Ibrahim RW: On generalized Srivastava-Owa fractional operators in the unit disk.
*Adv. Differ. Equ.*2011., 2011: Article ID 55Google Scholar - Srivastava HM, Owa S:
*Univalent Functions, Fractional Calculus, and Their Applications*. Wiley, New York; 1989.MATHGoogle Scholar - Duren PL:
*Univalent Functions*. Springer, Berlin; 1983.MATHGoogle Scholar - Brezis H Math. Studies 5. In
*Opérateurs Maximaux Monotones et Semi-groupes de Contractions dans les Espaces de Hilbert*. North-Holland, Amsterdam; 1973.Google Scholar - Bajlekova, E: Fractional evolution equations in Banach spaces. PhD thesis, Eindhoven University of Technology. http://alexandria.tue.nl/extra2/200113270.pdf (2001)Google Scholar

## Copyright

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.