14 C. Clavero, J.C.

Jorge / Applied Mathematics and Computation 287–288 (2016) 12–27

c p , p = 1, 2, 3, 4, respectively, and it holds (see [7])

 
 ∂ αs +αt u0 (x, y, t ) 
 
 ∂ xα1 ∂ yα2 ∂ t αt  ≤ C,
 
 ∂ αs +αt u1 (x, y, t ) 
  −α1
 ∂ xα1 ∂ yα2 ∂ t αt  ≤ C ε exp (−β x/ε ),
 
 ∂ αs +αt u2 (x, y, t ) 
  −α1
 ∂ xα1 ∂ yα2 ∂ t αt  ≤ C ε exp (−β (1 − x )/ε ),
 
 ∂ αs +αt u3 (x, y, t ) 
  −α2
 ∂ xα1 ∂ yα2 ∂ t αt  ≤ C ε exp (−β y/ε ),
 
 ∂ αs +αt u4 (x, y, t ) 
  −α2
 ∂ xα1 ∂ yα2 ∂ t αt  ≤ C ε exp (−β (1 − y )/ε ),
 
 ∂ αs +αt w1 (x, y, t ) 
  −αs
 ∂ xα1 ∂ yα2 ∂ t αt  ≤ C ε min {exp (−β x/ε ), exp (−β y/ε )},
 
 ∂ αs +αt w2 (x, y, t ) 
  −αs
 ∂ xα1 ∂ yα2 ∂ t αt  ≤ C ε min {exp (−β (1 − x )/ε ), exp (−β y/ε )},
 
 ∂ αs +αt w3 (x, y, t ) 
  −αs
 ∂ xα1 ∂ yα2 ∂ t αt  ≤ C ε min {exp (−β x/ε ), exp (−β (1 − y )/ε )},
 
 ∂ αs +αt w4 (x, y, t ) 
  −αs
 ∂ xα1 ∂ yα2 ∂ t αt  ≤ C ε min {exp (−β (1 − x )/ε ), exp (−β (1 − y )/ε )},
¯ × [0, T ], with αs = α1 + α2 , αs + 2αt ≤ 4. Jointing the preceding estimates, we deduce the corresponding
for (x, y, t ) ∈ 
bounds for u and some of its derivatives which are going to be used in next sections. Particularly, it holds
 
 ∂ αt u(x, y, t ) 
  ≤ C,
 ∂ t αt 
 
 ∂ α1 u(x, y, t ) 
  ≤ C (1 + ε −α1 (exp(−β x/ε ) + exp(−β (1 − x )/ε ))),
 ∂ xα1 
 
 ∂ α2 u(x, y, t ) 
  ≤ C (1 + ε −α2 (exp(−β y/ε ) + exp(−β (1 − y )/ε ))),
 ∂ yα2 
¯ × [0, T ], with 0 ≤ αt ≤ 2, 0 ≤ αi ≤ 4, i = 1, 2.
for (x, y, t ) ∈ 

3. Time semidiscretization: uniform convergence

3.1. The scheme

In this section we define the numerical method that we propose to discretize in time the continuous problem (1). We
consider the fractional implicit Euler method (see [6,21]), which can be written as a two half step scheme as follows. Let
τ ≡ T/M be the time step, and let us consider the uniform mesh I¯M = {tn = nτ , n = 0, 1, . . . , M}. Let un ≈ u(x, y, tn ), n =
0, 1, . . . , M, be the semidiscrete solutions to be defined here as follows:

(i ) (initialize)
u0 = ϕ (x, y ), (x, y ) ∈ .
(ii ) (first half step)
(I + τ Ln1+1
,ε )u
n+1/2
= un + τ f1n+1 , (x, y ) ∈ ,
u (x, y ) = g
n+1/2
(x, y ),
n+1/2
(x, y ) ∈ {0, 1} × [0, 1].
(iii ) (second half step)