# The Existence and Uniqueness of Intuitionistic Fuzzy Solutions for Intuitionistic Fuzzy Partial Functional Differential Equations

Authors: Bouchra Ben Amma; Said Melliani; Lalla Saadia Chadli
Journal: International Journal of Differential Equations
 (2019)

---

## Abstract

In this paper, we consider intuitionistic fuzzy partial functional differential equations with local and nonlocal initial conditions using the Banach fixed point theorem. A new complete intuitionistic fuzzy metric space is proposed to investigate the existence and uniqueness of intuitionistic fuzzy solutions for these problems. We use the level-set representation of intuitionistic fuzzy functions and define the solution to an intuitionistic fuzzy partial functional differential equation problem through a corresponding parametric problem and further develop theoretical results on the existence and uniqueness of the solution. An example is presented to illustrate the results with some numerical simulation forα-cuts of the intuitionistic fuzzy solutions: we give the representation of the surface of intuitionistic fuzzy solutions.


---

## Body

## 1. Introduction

Among several generalizations of fuzzy set theory [1] is the concept of intuitionistic fuzzy sets (IFSs). In the 1980s Atanassov generalized fuzzy sets by introducing the idea of intuitionistic fuzzy sets [2–4]. Further improvements of IFS theory [5] include the exploration of intuitionistic fuzzy geometry, intuitionistic fuzzy logic, intuitionistic fuzzy topology, an intuitionistic fuzzy approach to artificial intelligence, and intuitionistic fuzzy generalized nets may be found in [6–8]. The concept of intuitionistic fuzzy differential equations was first introduced by S. Melliani and L. S. Chadli [9]. The first step, which included using applicable definitions of intuitionistic fuzzy derivative and the intuitionistic fuzzy integral, was followed by introducing intuitionistic fuzzy differential equations and establishing sufficient conditions for the existence of unique solutions to these equations [10–12]. The study of numerical methods for solving intuitionistic fuzzy differential equations has been rapidly growing in recent years. It is difficult to obtain exact solutions for intuitionistic fuzzy DEs, and hence some numerical methods presented in [13–17].Differential equations (DEs) with state-dependent delays, known as functional, are used to model a large number of natural or physical phenomena. There exists extensive literature dealing with functional DEs and their applications, and for this reason the study of such equations has received great attention in recent years. The literature related to partial functional differential equations with state-dependent delay is limited, but these equations provide more realistic models for various phenomena, and they have various applications in applied fields such as blood flow problems, chemical engineering, thermoelasticity, underground water flow, and population dynamics. There is still a lack of qualitative and quantitative researches for fuzzy partial differential equations (PDEs), which were first introduced by Buckley and Feuring [18] in 1999. The available theoretical results obtained up to now for such equations may be found in [19–21]. The papers [22–24] considered the existence and uniqueness of fuzzy solutions for some fuzzy functional partial differential equations with different types of initial conditions for some classes of hyperbolic equations; almost all of the previous results were based on the Banach fixed point theorem. However, rarely have we seen such results for intuitionistic fuzzy partial functional differential equations (PDEs), since the first and only publication on intuitionistic fuzzy partial differential equations was [25]. To the best of our knowledge, we are for the first time employing intuitionistic fuzzy mathematics to partial functional differential equations by using the Banach fixed point theorem.Motivated and inspired by the above works, in this paper a new complete intuitionistic fuzzy metric space [7] is proposed to investigate the existence and uniqueness of intuitionistic fuzzy solutions by using the Banach fixed point theorem for the following intuitionistic fuzzy partial functional differential equations with local and nonlocal conditions:(1)∂2w,zt,s∂t∂s=Gt,s,w,zt,s,t,s∈Ia=0,a×Ib=0,bw,zt,s=ψt,s,t,s∈-r,0×-r,0,∂2w,zt,s∂t∂s=qt,sw,zt,ss+Gt,s,w,zt,s,t,s∈Ia=0,a×Ib=0,bw,zt,s=ψt,s,t,s∈-r,0×-r,0where G:Ia×Ib×C([-r,0]×[-r,0],IFn)→IFn is continuous, and q:Ia×Ib→R. Also we propose a method of steps which can be useful to solve intuitionistic fuzzy partial functional differential equations.The main contributions of this paper include introducing intuitionistic fuzzy partial functional differential equations with local and nonlocal conditions and defining their solution; further developing theoretical results on the existence and uniqueness of the solution; using the level-set representation of intuitionistic fuzzy functions and defining the solution to an intuitionistic fuzzy partial functional differential equations problem through a corresponding parametric problem; and developing numerical examples for computing intuitionistic fuzzy quantities, taking into account the full interaction between intuitionistic fuzzy variables. The development of some efficient examples for solving intuitionistic fuzzy partial functional differential equations is the subject of our further work and will be presented elsewhere.The remainder of the paper is arranged as follows. In Section2, we give some basic preliminaries which will be used throughout this paper. In Sections 3 and 4 we discuss intuitionistic fuzzy partial functional differential equations with local and nonlocal conditions. Under suitable conditions we prove the existence and uniqueness of the solution to intuitionistic fuzzy PFDEs. In Section 5 we propose a method of steps to solve Section 6 to illustrate these results with some numerical simulation for α-cuts of the intuitionistic fuzzy solutions, and finally some conclusions and future works are discussed in Section 7.


## 2. Preliminaries

We consider(2)IFn=IFRn=w,z:Rn→0,12,∣∀x∈Rn0≤wx+zx≤1By an intuitionistic fuzzy number we mean any element w,z of IFn verifying the following statements:(a)
w,z is normal i.e ∃x0, x1∈Rn such that w(x0)=1 and z(x1)=1.(b)
w is convex and z is concave in the fuzzy sense.(c)
w and z are upper and lower semicontinuous, respectively.(d)
suppw,z=cl{t∈Rn:∣z(t)<1}¯ is bounded.I F n denotes the set of all intuitionistic fuzzy numbers.Forw,z∈IFn, we define the upper and lower α-cuts of w,z as(3)w,zα=t∈Rn:zt≤1-α,w,zα=t∈Rn:wt≥αLet w,z,w′,z′∈IFn and γ∈R; we define(4)w,z⊕w′,z′k=supk=t+s⁡min⁡wt,w′s,infk=t+s⁡max⁡zt,z′sγw,z=γw,γzifγ≠001,0ifγ=0For 〈w,z〉, w′,z′∈IFn and γ∈R. The addition and scalar-multiplication are defined by(5)w,z⊕w′,z′α=w,zα+w′,z′α,γz,wα=γw′,z′αw,z⊕w′,z′α=w,zα+w′,z′α,γz,wα=γw,zαDefinition 1.
Forw,z∈IFn and α∈0,1, define(6)w,zl+α=inft∈Rn∣wt≥α,w,zr+α=supt∈Rn∣wt≥αw,zl-α=inft∈Rn∣zt≤1-α,w,zr-α=supt∈Rn∣zt≤1-αWe denote(7)w,zα=w,zl+α,w,zr+αw,zα=w,zl-α,w,zr-αProposition 2 (see [7]).
For allα, β∈[0,1] and w,z∈IFn(a)
[w,z]α⊂[w,z]α(b)
[w,z]α and [w,z]α are nonempty compact and convex subsets in Rn(c)
ifα≤β then [w,z]β⊂[w,z]α and [w,z]β⊂[w,z]α(d)
Ifαn↗α then [w,z]α=⋂n[w,z]αn and [w,z]α=⋂n[w,z]αnLetM a subset of Rn and α∈[0,1]; we denote by(8)Mα=t∈Rn:wt≥α,Mα=t∈Rn:zt≤1-αLemma 3 (see [7]).
If the two families{Mα,α∈0,1} and {Mα,α∈[0,1]} verify (a)–(d) in Proposition 2, and w and z are defined by(9)wt=0ift∉M0supα∈0,1:t∈Mαift∈M0zt=1ift∉M01-supα∈0,1:t∈Mαift∈M0then w,z∈IFn.The following application is a metric onIFn:(10)d∞nw,z,u,v=14sup0<α≤1⁡w,zr+α-u,vr+α+14sup0<α≤1⁡w,zl+α-u,vl+α+14sup0<α≤1⁡w,zr-α-u,vr-α+14sup0<α≤1⁡w,zl-α-u,vl-αwhere . is the Euclidean norm in Rn.Theorem 4 (see [7]).
( I F n , d ∞ n ) is a complete metric space.C ( I a × I b , I F n ) denotes the space of all continuous mappings on Ia×Ib into IFn.A standard proof applies to show that the metric space(C(Ia×Ib,IFn),D) is complete, where the supremum metric D on C(Ia×Ib,IFn) is defined by(11)Du,v,u′,v′=supx,y∈Ia×Ib⁡d∞nu,vx,y,u′,v′x,yDefinition 5.
A mappingG:Ia×Ib→IFn is called continuous at point (t0,s0)∈Ia×Ib provided for any ε>0, there is an δ(ε) such that(12)d∞nGt1,s1,Gt0,s0<εwhenever max{|t1-t0|,|s1-s0|}<δ(ε) for all (t1,s1)∈Ia×Ib.Definition 6.
A mappingG:Ia×Ib×IFn→IFn is called continuous at point (t0,s0,〈w,z〉0)∈Ia×Ib×IFn provided for any ε>0, there is an δ(ε) such that(13)d∞nGt1,s1,w,z,Gt0,s0,w,z0<εwhenever max⁡t1-t0,s1-s0<δε and d∞n(〈w,z〉,〈w,z〉0)<δ(ε) for all (t1,s1)∈Ia×Ib, 〈w,z〉∈IFn.Definition 7.
The mappingG:Ia×Ib→IFn is said to be strongly measurable if the set-valued mappings Gα:Ia×Ib→Pk(Rn) defined by Gα(t,s)=[G(t,s)]α and Gα:Ia×Ib→Pk(Rn) defined by Gα(t,s)=[G(t,s)]α are (Lebesgue) measurable for all α∈[0,1].Definition 8.
G : I a × I b → I F n is said to be integrably bounded if there is an integrable mapping h:Ia×Ib→Rn such that ‖x‖≤h(s) holds for any x∈supp⁡(G(y,z)),(y,z)∈Ia×Ib.Definition 9.
SupposeG:Ia×Ib→IFn is integrable for each α∈(0,1]; write(14)∫0a∫0bGx,ydydxα=∫0a∫0bGx,yαdydx=∫0a∫0bgx,ydydx∣g:Ia×Ib→RnisameasurableselectionforGα.∫0a∫0bGx,ydsdtα=∫0a∫0bGx,yαdydx=∫0a∫0bgx,ydydx∣g:Ia×Ib→RnisameasurableselectionforGα.Let〈u,z〉 and 〈v,w〉∈IFn; the Hukuhara difference is the intuitionistic fuzzy number 〈k,l〉∈IFn, if it exists such that(15)u,z-v,w=k,l⇔u,z=v,w+k,lDefinition 10.
LetG:Ia×Ib→IFn. The intuitionistic fuzzy partial derivative of G w.r.t. x at (t0,s0)∈Ia×Ib is the intuitionistic fuzzy quantity ∂G(t,s)/∂x∈IFn if there exists, such that for all h>0 very small, the H-difference G(t0+h,s0)-G(t0,s0) exists in IFn and the limit(16)∂Gt,s∂x=limh→0+⁡Gt0+h,s0-Gt0,s0hThe intuitionistic fuzzy partial derivative of G w.r.t. y at (t0,s0)∈Ia×Ib is defined analogously.


## 3. Intuitionistic Fuzzy Partial Functional Differential Equations with Local Conditions

The first part of the paper we provide an existence and uniqueness result for the intuitionistic fuzzy PFDEs in the following form:(17)∂2w,zx,y∂x∂y=Gx,y,w,zx,y,x,y∈Ia×Ib≔0,a×0,bw,zx,y=ψx,y,x,y∈-r,0×-r,0w,zx,0=η1x,x∈Iaw,z0,y=η2y,y∈Ibψ0,0=η10=η20where G:Ia×Ib×C([-r,0]×[-r,0],IFn)→IFn, ψ:[-r,0]×[-r,0]→IFn, η1∈C(Ia,IFn), η2∈C(Ib,IFn) are given functions, and 〈w,z〉(x,y)(t,s) is defined by(18)w,zx,yt,s=w,zx+t,y+s,t,s∈-r,0×-r,0In the second part of this section we consider the intuitionistic fuzzy PFDEs in more general form(19)∂2w,zx,y∂x∂y=qx,yw,zx,yy+Gx,y,w,zx,y,x,y∈Ia×Ib≔0,a×0,bw,zx,y=ψx,y,x,y∈-r,0×-r,0w,zx,0=η1x,x∈Iaw,z0,y=η2y,y∈Ibψ0,0=η10=η20where G, ψ, η1, η2 are as in problem (17) and q:Ia×Ib×→R.Definition 11.
A function〈w,z〉∈C([-r,a]×[-r,b],IFn) is called an intuitionistic fuzzy solution of the problem (17) if it satisfies the equation ∂2w,z(x,y)/∂x∂y=G(x,y,w,z(x,y)) and boundary conditions.Theorem 12.
Assume that(1)
a mappingG:Ia×Ib×IFn→IFn is continuous,(2)
for any pair(x,y)∈Ia×Ib, 〈w,z〉,〈w′,z′〉∈C(-r,a,IFn)×C([-r,b],IFn) and θ1,θ2∈[-r,0], we have(20)d∞nGx,y,w,zx,y,Gx,y,w′,z′x,y≤Kd∞nw,zx+θ1,y+θ2,w′,z′x+θ1,y+θ2whereK>0 is a given constant,moreover, ifKab<1, then problem (17) has an unique intuitionistic fuzzy solution.Proof.
Transform problem (17) into a fixed point problem. It is clear that the solutions of problem (17) are fixed points of the operator T:C([-r,a]×[-r,b],IFn)→C([-r,a]×[-r,b],IFn) defined by(21)Tw,zx,y≔ψx,y,x,y∈-r,0×-r,0η1x+η2y-ψ0,0+∫0x∫0yGt,s,w,zt,sdsdt,ifx,y∈Ia×IbWe shall show that T is a contraction operator. Indeed, consider 〈w,z〉,〈w′,z′〉∈C([-r,a]×[-r,b],IFn) and α∈(0,1], then(22)Tw,zx,y≔η1x+η2y-ψ0,0+∫0x∫0yGt,s,w,zt,sdsdt:and(23)Tw′,z′x,y≔η1x+η2y-ψ0,0+∫0x∫0yGt,s,w′,z′t,sdsdt:d∞nTw,zt,s,Tw′,z′t,s=d∞nη1x+η2y-ψ0,0+∫0x∫0yGt,s,w,zt,sdsdt,η1x+η2y-ψ0,0+∫0x∫0yGt,s,w′,z′t,sdsdt=d∞nη1x+η2y-ψ0,0+∫0x∫0yGt,s,w,zt+θ1,s+θ2dsdt,η1x+η2y-ψ0,0+∫0x∫0yGt,s,w′,z′t+θ1,s+θ2dsdt≤∫0x∫0yd∞nGt,s,w,zt+θ1,s+θ2,Gt,s,w′,z′t+θ1,s+θ2dsdt≤K∫0x∫0yd∞nw,zt+θ1,s+θ2,w′,z′t+θ1,s+θ2dsdt≤K∫0a∫0bsupt,s∈Ia×Ib⁡d∞nw,zt+θ1,s+θ2,w′,z′t+θ1,s+θ2dsdt≤KabDw,z,w′,z′Hence for each (t,s)∈Ia×Ib(24)DTw,z,Tw′,z′≤KabDw,z,w′,z′So,T is a contraction and thus, by Banach fixed point theorem; T has an unique fixed point, which is solution to (17).Definition 13.
A function〈w,z〉∈C([-r,a]×[-r,b],IFn) is called an intuitionistic fuzzy solution to problem (19) if it satisfies the equation ∂2w,z(x,y)/∂x∂y=(q(x,y)〈w,z〉(x,y))y+G(x,y,〈w,z〉(x,y)),(x,y)∈Ia×Ib and boundary conditions.Theorem 14.
Assume that(1)
a mappingG:Ia×Ib×IFn→IFn is continuous,(2)
for any pair(x,y)∈Ia×Ib, 〈w,z〉,〈w′,z′〉∈C([-r,a],IFn)×C([-r,b],IFn) and θ1,θ2∈[-r,0], we have(25)d∞nGx,y,w,zx,y,Gx,y,w′,z′x,y≤Kd∞nw,zx+θ1,y+θ2,w′,z′x+θ1,y+θ2whereK>0 is a given constant. Moreover, if(26)asupt,s∈Ia×Ib⁡qt,s+Kab<1,then problem (19) has an unique intuitionistic fuzzy solution.Proof.
Transform problem (19) into a fixed point problem. Clearly the solutions of problem (19) are fixed points of the operator T:C([-r,a]×[-r,b],IFn)→C([-r,a]×[-r,b],IFn) defined by(27)Tw,zx,y≔ψx,y,x,y∈-r,0×-r,0px,y+∫0xqs,yw,zs,yds+∫0x∫0yGt,s,w,zt,sdsdt,x,y∈Ia×Ibwhere p(x,y)=η1(x)+η2(y)-ψ(0,0)-∫0xq(s,0)η1(s)ds.
We shall show thatT is a contraction operator. Indeed, consider 〈w,z〉,〈w′,z′〉∈C([-r,a]×[-r,b],IFn) and α∈(0,1], then(28)Tw,zx,y≔px,y+∫0xqs,yw,zs,yds+∫0x∫0yGt,s,w,zt,sdsdt,Tw′,z′x,y≔px,y+∫0xqs,yw′,z′s,yds+∫0x∫0yGt,s,w′,z′t,sdsdtThen(29)d∞nTw,zt,s,Tw′,z′t,s=d∞npx,y+∫0xqs,yw,zs,yds+∫0x∫0yGt,s,w,zt,sdsdt,px,y+∫0xqs,yw′,z′t,sds+∫0x∫0yGt,s,w′,z′t,sdsdt≤d∞n∫0xqs,yw,zt,sds+∫0x∫0yGt,s,w,zt,sdsdt,∫0xqs,yw′,z′t,sds+∫0x∫0yGt,s,w′,z′t,sdsdt≤supt,s∈Ia×Ib⁡qt,s∫0ad∞nw,zt+θ1,s+θ2,w′,z′t+θ1,s+θ2ds+K∫0x∫0yd∞nu,vt+θ1,s+θ2,w′,z′t+θ1,s+θ2dsdt≤supt,s∈Ia×Ib⁡qt,s∫0asupt,s∈Ia×Ib⁡d∞nw,zt+θ1,s+θ2,w′,z′t+θ1,s+θ2ds+K∫0a∫0bsupt,s∈Ia×Ib⁡d∞nw,zt+θ1,s+θ2,w′,z′t+θ1,s+θ2dsdt≤asupt,s∈Ia×Ib⁡qt,s+KabDw,z,w′,z′Hence for each (t,s)∈Ia×Ib(30)DTw,z,Tw′,z′≤asupt,s∈Ia×Ib⁡qt,s+KabDw,z,w′,z′Then,T is a contraction and by Banach fixed point theorem, T has a unique fixed point, which is intuitionistic fuzzy solution to (19).


## 4. Intuitionistic Fuzzy Partial Functional Differential Equations with Nonlocal Conditions

Now we extend equation (17) into nonlocal problems. More precisely, we consider the following nonlocal problem:(31)∂2w,zx,y∂x∂y=Gx,y,w,zx,y,x,y∈Ia×Ib(32)w,zx,y+∑i=1pfixw,zx,bi+y=φx,y,x,y∈Ia×-r,0,i=1,…,p(33)w,zx,y+∑j=1rgjyw,zaj+x,y=ψx,y,x,y∈-r,0×Ib,j=1,…,rwhere φ:[-r,0]×[-r,0]→IFn, ψ:[-r,0]×[-r,0]→IFn, fi∈C(Ia,Rn), i=1,…,p, gj∈C(Ib,Rn), j=1,…,r, 0<a1<a2<…<ap<a, and 0<b1<b2<…<br<b.Definition 15.
By an intuitionistic fuzzy solution of (31)–(33) we mean a function w,z∈C(Ia×Ib,IFn) which satisfies (31)–(33).Theorem 16.
Assume that(1)
a mappingG:Ia×Ib×IFn→IFn is continuous,(2)
for any pair(x,y)∈Ia×Ib, 〈w,z〉,〈w′,z′〉∈C([-r,a],IFn)×C([-r,b],IFn) and θ1,θ2∈[-r,0], we have(34)d∞nGx,y,w,zx,y,Gx,y,w′,z′x,y≤Kd∞nw,zx+θ1,y+θ2,w′,z′x+θ1,y+θ2whereK>0 is a given constant. Moreover, if(35)∑i=1psupx∈Ia⁡fix+∑j=1rsupy∈Ib⁡gjy+Kab<1,then problem (31)–(33) has an unique intuitionistic fuzzy solution on [-r,a]×[-r,b].Proof.
Transform problem (31)–(33) into a fixed point problem. Clearly the solutions of problem (31)–(33) are fixed points of the operator T:C([-r,a]×[-r,b],IFn)→C([-r,a]×[-r,b],IFn) defined by(36)Tw,zx,y≔φx,y-∑i=1pfixw,zx,bi+y,x,y∈Ia×-r,0ψx,y-∑j=1rgjyw,zaj+x,y,x,y∈-r,0×Ibφx,0+ψ0,y-φ0,0+∫0x∫0yGt,s,w,zt,sdsdt,ifx,y∈Ia×IbThe reasoning used in the proof of Theorem 14 shows that T is a contraction operator, and hence, it has an unique fixed point, which is an intuitionistic fuzzy solution of (31)–(33)Remark 17.
The arguments used in Theorem14 can be applied to obtain a uniqueness result for the following intuitionistic fuzzy problem with nonlocal condition:(37)∂2w,zx,y∂x∂y=qx,yw,zx,yy+Gx,y,w,zx,y,x,y∈Ia×Ibw,zx,y+∑i=1pfixw,zx,bi+y=φx,y,x,y∈Ia×-r,0,i=1,…,pw,zx,y+∑j=1rgjyw,zaj+x,y=ψx,y,x,y∈-r,0×Ib,j=1,…,r


## 5. Solving Intuitionistic Fuzzy Partial Functional Differential Equation

We propose a procedure to solve the following intuitionistic fuzzy partial functional differential equation:(38)∂2w,zt,s∂x∂y=Gt,s,w,zt,s,t,s∈Ia×Ib≔0,a×0,bw,zt,s=ψt,s,t,s∈-r,0×-r,0w,zt,0=η1t,t∈Iaw,z0,s=η2s,s∈Ibψ0,0=η10=η20where G:Ia×Ib×IFn→IFn is obtained by extension principle from a continuous function g:Ia×Ib×Rn→Rn. Since(39)Gt,s,w,zα=Gt,s,w,zαGt,s,w,zα=Gt,s,w,zαfor all α∈[0,1] and 〈w,z〉∈IFn, we denote(40)w,zt,sα=w,zt,sl+α,w,zt,sr+α,w,zt,sα=w,zt,sl-α,w,zt,sr-α∂2w,zt,s∂t∂sα=∂2w,zt,s∂t∂sl+α,∂2w,zt,s∂t∂sr+α∂2w,zt,s∂t∂sα=∂2w,zt,s∂t∂sl-α,∂2w,zt,s∂t∂sr-αw,z0,0α=u0,v0l+α,u0,v0r+α,w,z0,0α=u0,v0l-α,u0,v0r-αη1tα=η1tl+α,η1tr+α,η1tα=η1tl-α,η1tr-αη2sα=η2sl+α,η2sr+α,η2sα=η2sl-α,η2sr-αψt,sα=ψt,sl+α,ψt,sr+α,ψt,sα=ψt,sl-α,ψt,sr-α,Gt,s,w,zα=Gl+t,s,w,zt,sl+α,w,zt,sr+α,Gr+t,s,w,zt,sl+α,w,zt,sr+αGt,s,w,zα=Gl-t,s,w,zt,sl-α,w,zt,sr-α,Gr-t,s,w,zt,sl-α,w,zt,sr-αThen, with this notation, problem (38) is transformed into the following parametrized partial differential system:(41)∂2w,zt,s∂t∂sl+α=Gl+t,s,w,zt,sl+α,w,zt,sr+α,t,s∈Ia×Ib∂2w,zt,s∂t∂sr+α=Gr+t,s,w,zt,sl+α,w,zt,sr+α,t,s∈Ia×Ib∂2w,zt,s∂t∂sl-α=Gl-t,s,w,zt,sl-α,w,zt,sr-α,t,s∈Ia×Ib∂2w,zt,s∂t∂sr-α=Gr-t,s,w,zt,sl-α,w,zt,sr-α,t,s∈Ia×Ibwith initial conditions(42)w,zt,sl+α=ψt,sl+α,t,s∈-r,0×-r,0w,zt,sr+α=ψt,sr+α,t,s∈-r,0×-r,0w,zt,sl-α=ψt,sl-α,t,s∈-r,0×-r,0w,zt,sr-α=ψt,sr-α,t,s∈-r,0×-r,0w,z0,0l+α=u0,v0l+αw,z0,0r+α=u0,v0r+αw,z0,0l-α=u0,v0l-αw,z0,0r-α=u0,v0r-αw,zt,0l+α=η1tl+α,t∈Iaw,zt,0r+α=η1tr+α,t∈Iaw,zt,0l-α=η1tl-α,t∈Iaw,zt,0r-α=η1tr-α,t∈Iaw,z0,sl+α=η2sl+α,s∈Ibw,z0,sr+α=η2sr+α,s∈Ibw,z0,sl-α=η2sl-α,s∈Ibw,z0,sr-α=η2sr-α,s∈Ib(1)
We solve system (41)-(42).(2)
If[〈w,z〉(t,s)]l+(α), [〈w,z〉(t,s)]r+(α), [〈w,z〉(t,s)]l-(α), [〈w,z〉(t,s)]r-(α) is the solution of system (41)-(42), then denote(43)w,zt,sl+α,w,zt,sr+α=Mα,w,zt,sl-α,w,zt,sr-α=Mα,∂2w,zt,s∂t∂sl+α,∂2w,zt,s∂t∂sr+α=Mα′,∂2w,zt,s∂t∂sl-α,∂2w,zt,s∂t∂sr-α=M′αensure that(Mα,Mα) and (Mα′,M′α) satisfying (a)-(d) of Proposition 2.(3)
By using the Lemma3 we construct the intuitionistic fuzzy solution 〈w,z〉(t,s)∈IFn for (38) such that(44)w,zt,sα=w,zt,sl+α,w,zt,sr+α,w,zt,sα=w,zt,sl-α,w,zt,sr-αfor allα∈[0,1]The same method of step is used to this equation with nonlocal condition.Remark 18.
The same procedure can be used to this equation∂2w,z(x,y)/∂x∂y=(q(x,y)w,z(x,y))y+G(x,y,w,z(x,y)),(x,y)∈Ia=[0,a]×Ib=[0,b] with local and nonlocal conditions.


## 6. Application

Consider the following intuitionistic fuzzy partial functional differential equation(45)∂2w,zx,y∂x∂y=-13yw,zx,yy+13w,zx,y-13,-13+19Cfor (x,y)∈[0,1]×[0,1], with the local conditions(46)w,z0,0=C,(47)w,zx,0=Cx+C,(48)w,z0,y=C.where C∈IF1 is a triangular intuitionistic fuzzy number (TIFN) and(49)w,zx,y=Cxy+Cx+1,forx,y∈-13,1×-13,1∖0,1×0,1From (45), we have the function G:[0,1]×[0,1]×C([-1/3,0]×[-1/3,0],IF1)→IF1 defined by(50)Gx,y,w,zx,y=13w,zx-13,y-13+19Csatisfies assumptions (1) and (2) of the Theorem 14. Indeed, is easy to see that G is continuous.Thus(51)d∞Gx,y,w,zx,y,Gx,y,w′,z′x,y≤13d∞w,zx-13,y-13,w′,z′x-13,y-13and so F satisfy (2).It is clear that the hypotheses are satisfied with an positive numberK=1/3, a=b=1, and q(x,y)=-1/3y; we have sup(x,y)∈[0,1]×[0,1]⁡|q(x,y)|=1/3. That follows all the conditions in the Theorem 14 hold. Therefore there exists a unique intuitionistic fuzzy solution of this problem.We will find an intuitionistic fuzzy solution of this equation by using the method of step in Section3. The deterministic solution of the crisp equation is(52)u=cx+cWe apply the fuzzification in c and supposed that the parametric form of corresponding intuitionistic fuzzy number C is(53)Cα=Cl+α,Cr+αCα=Cl-α,Cr-αwhere is verify the conditions of Lemma 3.Then the functionG:[0,1]×[0,1]×IF1→IF1 defined by G(x,y,〈w,z〉(x,y))=1/3〈w,z〉(x-1/3,y-1/3)+1/9C is obtained by extension principle from the function g(x,y,u)=1/3u(x-1/3,y-1/3)+1/9c, (x,y,c)∈[0,1]×[0,1]×R(54)Gα=13w,zx-13,y-13l+α+19Cl+α,13w,zx-13,y-13r+α+19Cr+αGα=13w,zx-13,y-13l-α+19Cl-α,13w,zx-13,y-13r-α+19Cr-αIf(55)w,zx,yα=w,zx,yl+α,w,zx,yr+αw,zx,yα=w,zx,yl-α,w,zx,yr-αthen(56)∂2w,zx,y∂x∂yα=∂2w,zx,y∂x∂yl+α,∂2w,zx,y∂x∂yr+α∂2w,zx,y∂x∂yα=∂2w,zx,y∂x∂yl-α,∂2w,zx,y∂x∂yr-αThen, we have to solve the following PDEs:(57)∂2w,zx,y∂x∂yl+α=-13yw,zx,yyl+α+13w,zx-13,y-13l+α+19Cl+α,x,y∈0,1×0,1∂2w,zx,y∂x∂yr+α=-13yw,zx,yyr+α+13w,zx-13,y-13r+α+19Cr+α,x,y∈0,1×0,1∂2w,zx,y∂x∂yl-α=-13yw,zx,yyl-α+13w,zx-13,y-13l-α+19Cl-α,x,y∈0,1×0,1∂2w,zx,y∂x∂yr-α=-13yw,zx,yyr-α+13w,zx-13,y-13r-α+19Cr-α,x,y∈0,1×0,1with initial conditions(58)w,zx,yl+α=xyCl+α+xCl+α+1,x,y∈-13,1×-13,1∖0,1×0,1w,zx,yr+α=xyCr+α+xCr+α+1,x,y∈-13,1×-13,1∖0,1×0,1w,zx,yl-α=xyCl-α+xCl-α+1,x,y∈-13,1×-13,1∖0,1×0,1w,zx,yr-α=xyCr-α+xCr-α+1,x,y∈-13,1×-13,1∖0,1×0,1w,z0,0l+α=Cl+αw,z0,0r+α=Cr+αw,z0,0l-α=Cl-αw,z0,0r-α=Cr-αw,zx,0l+α=xCl+α+Cl+α,x∈0,1w,zx,0r+α=xCr+α+Cr+α,x∈0,1w,zx,0l-α=xCl-α+Cl-α,x∈0,1w,zx,0r-α=xCr-α+Cr-α,x∈0,1w,z0,yl+α=Cl+α,y∈0,1w,z0,yr+α=Cr+α,y∈0,1w,z0,yl-α=Cl-α,y∈0,1w,z0,yr-α=Cr-α,y∈0,1We get(59)w,zx,yl+α=xCl+α+Cl+α,x,y∈0,1×0,1w,zx,yr+α=xCr+α+Cr+α,x,y∈0,1×0,1w,zx,yl-α=xCl-α+Cl-α,x,y∈0,1×0,1w,zx,yr-α=xCr-α+Cr-α,x,y∈0,1×0,1Therefore(60)w,zx,yα=xCl+α+Cl+α,xCr+α+Cr+αw,zx,yα=xCl-α+Cl-α,xCr-α+Cr-αNow we denote(61)xCl+α+Cl+α,xCr+α+Cr+α=Mα,xCl-α+Cl-α,xCr-α+Cr-α=MαIt easy to see that (Mα,Mα) satisfy (a)-(d) of Proposition 2 and by the Lemma 3 we can construct the intuitionistic fuzzy solution 〈w,z〉(x,y)∈IF1 for (45)-(48) by the following form:(62)w,zx,yα=xCl+α+Cl+α,xCr+α+Cr+αw,zx,yα=xCl-α+Cl-α,xCr-α+Cr-αfor every α∈[0,1].Therefore,〈w,z〉(x,y) is an intuitionistic fuzzy solution which also satisfies the initial conditions (46)-(48). This solution can be expressed by(63)w,zx,y=Cx+CNumerical simulations are used to obtain a graphical representation of the intuitionistic fuzzy solution. The membership function and nonmembership mapping of TIFN C=(-1,0,1;-0.75,0,0.75) in Figure 1.Figure 1
C=(-1,0,1;-0.75,0,0.75).Figures2 and 3 show the α-cuts of intuitionistic fuzzy solutions in 2D and 3D. Concretely, the curves of the surface correspond to the lower bounded and the upper bounded solutions of 〈w,z〉(x,y). They are the curves of level sets [〈w,z〉(x,y)]α and [〈w,z〉(x,y)]α; here we choose α=0.2, α=0.5, and α=0.7 for demonstrating upper-lower bounded solutions. The curves in the middle of the surface correspond to the crisp solutions [〈w,z〉(x,y)]1 and [〈w,z〉(x,y)]0.Figure 2
The 2D graphs of someα-cuts of intuitionistic fuzzy solutions.Figure 3
The 3D graphs of someα-cuts of intuitionistic fuzzy solutions.The intuitionistic fuzzy solutions〈w,z〉(x,y) at different values of (x,y) in Figure 4.Figure 4
The curve of intuitionistic fuzzy solutions〈w,z〉(x,y) at different values of (x,y).In Figure5 we present the surface of intuitionistic fuzzy solution with triangular intuitionistic fuzzy number C=(-1,0,1;-0.75,0,0.75).Figure 5
The surface of intuitionistic fuzzy solution.


## 7. Conclusion

This paper investigates the existence and uniqueness of intuitionistic fuzzy solutions for partial functional differential equations with local and nonlocal conditions. We have achieved these goals by using the Banach fixed point theorem. As far as we know, the deterministic class of partial functional differential equations was well studied by many authors but this is the first paper that addresses intuitionistic fuzzy cases. We have used the level-set representation of intuitionistic fuzzy functions and have defined the solution to an intuitionistic fuzzy partial functional differential equation problem through a corresponding parametric problem and further develop theoretical results on the existence and uniqueness of the solution. These results are illustrated by a computational example. For our future research, we will develop the proposed approach for studying different types of intuitionistic fuzzy partial differential equations in an ordered generalized metric space [7] with the use of fixed point principles under some conditions which are weaker than Lipschitz.



---

*Source: 9210641-2019-07-21.xml*