 Research
 Open Access
 Published:
On some nonlinear boundary value problems related to a BlackScholes model with transaction costs
Boundary Value Problems volume 2015, Article number: 145 (2015)
Abstract
We deal with some generalizations on a BlackScholes model arising in financial mathematics. As a novelty in this paper, we consider a variable volatility and abstract functional boundary conditions, which allow us to treat a very large class of problems involving BlackScholes equation. Our main results involve the existence of extremal solutions in presence of lower and upper solutions. Some examples of applications are provided too.
Introduction
In this paper we are concerned with the following nonlinear boundary value problem:
where p, q are nonnegative bounded functions which could be discontinuous in \([c,d]\), \(c,d >0\), and \(B_{i}:\mathbb {R}\times\mathcal {C}([c,d]) \longrightarrow \mathbb {R}\), \(i=1,2\), are functions which satisfy some conditions that we will state later. We observe that under this framework, a large class of boundary conditions is included, namely:

(1)
Dirichlet conditions: \(B_{1}(V(c),V)=V(c)V_{c}\), \(B_{2}(V(d),V)=V(d)V_{d}\);

(2)
Initialintegral conditions: \(B_{1}(V(c),V)=V(c) {\int_{c}^{d} k(x) V(x)\,dx}\);

(3)
Multipoint conditions: \(B_{2}(V(d),V)=V(d) {\sum_{j=1}^{n} V(x_{j})}\),
with \(V_{c}, V_{d} \in \mathbb {R}\).
This study follows and generalizes the results contained in [1] with respect to the problem
In [1], it is assumed that p, q are positive constants and \(V_{c} < V_{d}\). The contributions of the present paper are the following. First we address this problem but drop the condition \(V_{c} < V_{d}\), and replace the constants p, q by two functions \(p(x)\), \(q(x)\); second, we replace the Dirichlet conditions by functional boundary conditions, which allows us to consider a very large class of problems for the equation of (2).
These problems are related to financial option pricing since they address the existence of stationary solutions of a class of generalizations of the classical BlackScholes model (BS), introduced in 1973 [2], with equation
where V represents the value of a call or put option, depending on an underlying asset S and on time t, r is the interest short rate and σ is the volatility of the asset price. In the (BS) model, S is modeled as a geometric Brownian motion, and no costs are considered when financial transactions hold.
Suppose that transaction costs are included in the model under the assumption that they are a percentage of the transaction, given as in [3] by a linear function h of the number of shares traded, i.e., \(h(\eta)=ab \eta\), where η is the number of shares traded and \(a, b>0\). The following nonlinear BS type equation is obtained, where Δt is the interval between transactions,
Then, if a is small enough and \(V_{SS}>0\) (see [1, 3, 4]), the following nonlinear version of (3) is obtained:
where \(\tilde{\sigma}=\sigma^{2}\) \(( 12\frac{a}{\sigma}\sqrt{\frac{2}{\pi\Delta t}} ) >0\) and is commonly denoted by adjusted volatility. Now, if we consider the stationary version of (4), we obtain the above ordinary differential equation (2) where \(p=\frac{\tilde{\sigma}^{2}}{2b \sigma^{2}}\) and \(q=\frac{r}{b \sigma^{2}}\) are constants.
This paper is organized as follows. In Section 2, we introduce an auxiliary nonlinear boundary value problem and the notions of upper and lower solutions used later. In Section 3, we consider problem (1) with Dirichlet boundary conditions. So, we start from paper [1] and we generalize it by considering \(p(x)\), \(q(x)\) instead of constants p, q, which corresponds to variable volatility in the (BS) model, and by dropping the condition \(V_{c} < V_{d}\). In Section 4, we deal with problem (1) on its full version, that is, with functional boundary conditions. Namely, we provide a result on the existence of extremal solutions between lower and upper solutions by using a generalized iteration with Dirichlet problems. Some examples of application are provided, too.
Auxiliary problem and upper and lower solutions
If we look to the equation of (1)
and, as in [3, 4] and [1], solve it algebraically in order to \(V''\), we obtain
Since we are interested in convex solutions of (1), they can exist only if
and
These facts lead us to consider first the following related problem:
where
Then we will see how solutions of this problem are solutions of our original problem.
We will use the method of upper and lower solutions for this problem and we will begin by considering the classical notions of \(\mathcal {C}^{2}\)lower and upper solutions. However, afterwards, we will use some weaker notions, namely we will need a notion that allows lower solutions to have ‘angles’. In fact, we will consider a maximum of two classical \(\mathcal{C}^{2}\)lower solutions which is not necessarily differentiable and can exhibit an ‘angle’. So, denoting by \(D_{}f(x)\) and \(D^{+}f(x)\), respectively, the lower lefthand and the upper righthand Diniderivatives of the function f at x, we introduce the following definitions (see [5]).
Definition 2.1
We say that \(\alpha\in AC([c,d])\) is a lower solution for problem (8) if
and for each \(x_{0} \in(c,d)\) one of the following conditions holds:

(1)
\(D_{}\alpha(x_{0}) < D^{+}\alpha(x_{0})\);

(2)
There exists an open interval \(J_{0}\) such that \(x_{0} \in J_{0} \subset(c,d)\), \(\alpha_{J_{0}} \in W^{2,1}(J_{0})\), and for almost all \(x \in J_{0}\) we have
$$\alpha''(x)+H\bigl(x,\alpha(x),\alpha'(x) \bigr) \ge0. $$
We say that \(\beta\in AC([c,d])\) is an upper solution for problem (8) if
and for each \(x_{0} \in(c,d)\) one of the following conditions holds:

(1)
\(D^{}\beta(x_{0}) > D_{+}\beta(x_{0})\);

(2)
There exists an open interval \(J_{0}\) such that \(x_{0} \in J_{0} \subset(c,d)\), \(\beta_{J_{0}} \in W^{2,1}(J_{0})\), and for almost all \(x \in J_{0}\) we have
$$\beta''(x)+H\bigl(x,\beta(x),\beta'(x) \bigr) \le0. $$
Notice that if α, β are classical \(\mathcal{C}^{2}\)lower and upper solutions for problem (8), then they are also lower and upper solutions in the sense referred above.
Nonlinear problem with Dirichlet conditions
Consider problem (1) with
that is, with standard Dirichlet conditions. So, we have in this case
The auxiliary problem referred in the previous sections is now
where the function H is given by (9).
From the study of problem (11), we will deduce later existence and localization results for problem (10). Next proposition establishes adequately the existence of classical \(\mathcal{C}^{2}\)upper and lower solutions for (11).
Proposition 3.1
The following assertions hold:

(1)
If \(\frac{V_{d}}{d} \le\frac{V_{c}}{c}\), then the function
$$ \alpha_{1}(x)=\frac{V_{d}}{d} x $$(12)is a \(\mathcal{C}^{2}\)lower solution for problem (11).
The converse is also valid.

(2)
Take \(k >0\) such that
$$ k \ge\sqrt{\frac{Q}{c^{3}}} \sqrt{ \max_{x \in[c,d]} \biggl\vert \frac {k}{2}\bigl(x^{2}cd\bigr)+ \frac{cV_{d} dV_{c} }{dc}\biggr\vert }, $$(13)where
$$Q=\max_{x \in[c,d]} q(x). $$Then the function
$$ \alpha_{k}(x)=\frac{k}{2} x^{2} + \biggl(\frac{V_{d}V_{c}}{dc}\frac {k}{2}(d+c) \biggr)x + \frac{k}{2} cd  \frac{cV_{d} dV_{c} }{dc} $$(14)is a \(\mathcal{C}^{2}\)lower solution for problem (11).

(3)
The function
$$ \beta(x)=\frac{V_{d}V_{c}}{dc}x + \frac{dV_{c}cV_{d}}{dc},\quad x\in[c,d] $$(15)is a \(\mathcal{C}^{2}\)upper solution for problem (11).
Proof
(1) If \(\frac{V_{d}}{d} \le\frac{V_{c}}{c}\), the thesis follows since
and, in \((c,d)\),
Conversely, if \(\alpha_{1}\) is a lower solution for problem (11), then \(\alpha_{1}(c)=\frac{V_{d}}{d} c\leq V_{c}\), which implies \(\frac {V_{d}}{d}\leq\frac{V_{c}}{c}\).
(2) Observe that \(\alpha_{k}(c)=V_{c}\), \(\alpha_{k}(d)=V_{d}\). On the other hand, as
then
Since \(k >0\) satisfies hypothesis (13), we derive
Then the assertion holds.
(3) The thesis follows easily from the fact that
and
□
Remark 3.1
(1) Notice that there is no ambiguity in considering k big enough such that condition (13) holds. In fact, it is easy to see that the maximum in (13) depends on k and is attained in the following way:
So, it is clear that in the proof of the previous proposition, we could choose k satisfying (13) since
(2) Observe also that the lower solution \(\alpha_{k}\) can be written as \(\alpha_{k}(x)= \beta(x) + \theta(x)\), where
In fact,
The function θ is quadratic, vanishes at \(x=c\) and \(x=d\), and is negative in \(]c,d[\).
Notation 3.1
Given two functions \(\phi\leq\psi\) in \([c,d]\), let us denote by \([\phi,\psi]\) the functional interval
Next, we state an existence and localization result for problem (11).
Theorem 3.1
Let \(\alpha_{1}\), \(\alpha_{k}\) and β be the functions defined in the previous proposition.

(a)
If \(\frac{V_{d}}{d} \le\frac{V_{c}}{c}\), then problem (11) has extremal \(W^{2,1}\)solutions, that is, the least and the greatest one, in the functional interval \([\alpha_{1},\beta]\).

(b)
If \(k >0\) satisfies (13), then problem (11) has extremal \(W^{2,1}\)solutions in the functional interval \([\alpha _{k},\beta]\).
Proof
Consider in case (a)
and in case (b)
It is clear that H is continuous in \(E_{1}\) and \(E_{2}\). Moreover, we have that
for all \((x,y,z) \in E_{1}\) or \((x,y,z) \in E_{2}\). Then, putting
we derive that
for \((x,y,z) \in E_{1}\) or \((x,y,z) \in E_{2}\), respectively. This inequality guarantees that the function H satisfies the (classical) Nagumo condition both in \(E_{1}\) and \(E_{2}\). Using the fact that \(\alpha _{1}\), \(\alpha_{k}\) are \(\mathcal{C}^{2}\)lower solutions in cases (a) and (b), respectively, and β is a \(\mathcal{C}^{2}\)upper solution for problem (11) such that
the conclusion holds by application of a wellknown result contained in [6]. □
Corollary 3.1
Let \(\frac{V_{d}}{d} \le\frac{V_{c}}{c}\) and \(k >0\) satisfy (13) and consider the functions \(\alpha_{1}\), \(\alpha_{k}\) and β defined, respectively, by (12), (14), (15). Define
Then problem (11) has the extremal \(W^{2,1}\)solutions in the interval
Proof
We observe that
is a lower solution for problem (11) in the sense defined in the previous section (not necessarily \(\mathcal{C}^{2}\)) and, as before, β is a \(\mathcal{C}^{2}\)upper solution for problem (11). Similarly to the proof of Theorem 3.1, the Nagumo condition holds in
Then the result follows from an existence theorem contained in [6]. □
Proposition 3.2
The following assertions hold:

(a)
Every solution V of problem (11) is convex.

(b)
Consider \(\alpha_{1}\) defined by (12). Then every solution V of problem (11) such that \(V\geq\alpha_{1}\) satisfies, for all in \(x \in[c,d]\),
$$xV'(x)V(x) \le0. $$
Proof
(a) Clearly, the convexity of solutions of (11) derives from the fact that
and from the continuity in c and d.
(b) Let V be a solution of problem (11) such that \(V\geq\alpha_{1}\) in \([c,d]\). We claim that \(\frac{V_{d}}{d}\geq V'(d)\). In fact, \(\alpha_{1}=\frac{V_{d}}{d}x\leq V(x)\) implies that \(\frac{V_{d}}{d}\geq\frac{V(x)V_{d}}{xd}\) in \([c,d]\), and then, letting \(x\rightarrow d\), we obtain \(\frac{V_{d}}{d}\geq V'(d)\). This inequality together with the fact that the function \(x \in[c,d] \longmapsto xV'(x)V(x)\) is nondecreasing implies that \(xV'(x)V(x) \le 0\) for all \(x \in[c,d]\). □
Next theorem establishes the relations between the convex solutions of (11) and of (10).
Theorem 3.2
Consider problems (11) and (10). Then

(a)
If \(\frac{V_{d}}{d}\leq\frac{V_{c}}{c}\), every solution V of (11) provided by Theorem 3.1 is a convex solution of (10).

(b)
Every convex solution V of problem (10) is a convex solution of problem (11).
Proof
As for (a), let \(\frac{V_{d}}{d}\leq\frac{V_{c}}{c}\). Then \(\alpha_{1}\) is a lower solution of (11) and every solution V of (11) provided by Theorem 3.1 satisfies \(V(x) \geq\alpha _{1}(x)\). Hence, by Proposition 3.2, V is convex and
So
which shows clearly that V is a convex function that solves (10).
As for (b), let V be a convex solution of (10). Then
and as \(V''\geq0\), \(p(x)\geq0\) and \(0< c\leq x \leq d\), then
Then
that is, by adding \(\frac{1}{4}p^{2}(x) x^{4}\) to both members,
Applying the square root, we obtain
and then
So, V solves (10). □
From Theorem 3.1, Theorem 3.2 and Corollary 3.1, it is clear that the following existence and localization result holds.
Theorem 3.3
Consider problem (1) with standard Dirichlet conditions, that is,

(1)
If \(\frac{V_{d}}{d} \le\frac{V_{c}}{c}\), then this problem has the extremal convex \(W^{2,1}\)solutions in the functional interval \([\alpha_{1},\beta]\), where \(\alpha_{1}\) and β are provided, respectively, by (12) and (15);

(2)
If \(\frac{V_{d}}{d} \le\frac{V_{c}}{c}\) and \(k>0\) satisfies (13), then this problem has the extremal convex \(W^{2,1}\)solutions in the functional interval \([\alpha,\beta]\), where
$$\alpha(x)=\max\bigl\{ \alpha_{1}(x),\alpha_{k}(x)\bigr\} $$and \(\alpha_{1}\), \(\alpha_{k}\), β are provided, respectively, by (12), (14), (15).
Remark 3.2
Under the hypotheses of the above theorem, observe that if \(\frac{V_{d}}{d}=\frac{V_{c}}{c}\) then \(\alpha_{1}\) is a solution of problem (10). On the other hand, in the periodic case, \(V_{c}=V_{d}\), the constant function \(V\equiv V_{c}\) is a solution of (10).
Example 3.1
Consider problem (10) in the interval \([c,d]=[2,6]\), with
where \([ \cdot]\) denotes integer part, and boundary conditions \(V(2)=9\), \(V(6)=1\). Notice that in this case it is \(V_{c} > V_{d}\). From condition (13), \(k >0\) must satisfy
so simple computations show that \(k=8\) satisfies (13). Then the function
is a lower solution for this problem. At the same time,
is an upper solution.
Then, by application of Theorem 3.3, problem (10) with \(p(x)=1+x^{3}\), \(q(x)=[x]\), and boundary conditions \(V(2)=9\), \(V(6)=1\), has the extremal solutions in the functional interval
Problem with functional boundary conditions
In this section we deal with problem (8) on its full expression and, as said in the introduction, we will use a generalized monotone method. In the construction of this method we will use two technical lemmas. First of them is the following generalization of Bolzano’s theorem.
Lemma 4.1
([7], Lemma 2.3)
Let \(a,b \in\mathbb{R}\), \(a \leq b\), and \(h:\mathbb{R} \longrightarrow\mathbb{R}\) be a function satisfying \(h(a) \leq0 \leq h(b)\) and
Then there exist \(c_{1},c_{2} \in[a,b]\) such that \(h(c_{1})=0=h(c_{2})\) and if \(h(c)=0\) for some \(c\in[a,b]\), then \(c_{1} \leq c \leq c_{2}\), that is, \(c_{1}\) and \(c_{2}\) are, respectively, the least zero and the greatest one of h in \([a,b]\).
The second auxiliary result we need deals with the existence of extremal fixed points for nondecreasing operators defined in the space of absolutely continuous functions.
Lemma 4.2
([8], Proposition 1.4.4)
Let \(I \subset \mathbb {R}\) be a nonempty closed interval and \([\alpha,\beta]\) be a nonempty functional interval in \(AC(I)\). Assume that \(G:[\alpha ,\beta] \longrightarrow[\alpha,\beta]\) is a nondecreasing mapping and that there exists \(\psi\in L^{1}(I,[0,+\infty))\) such that
Then G has in \([\alpha,\beta]\) the greatest, \(V^{*}\), and the least, \(V_{*}\), fixed points. Moreover, they satisfy
Now we establish a new result on the existence of extremal convex solutions for problem (8).
Theorem 4.1
Assume that there exist \(\alpha,\beta \in AC([c,d])\) which are, respectively, a lower and an upper solution for problem (8) satisfying \(\alpha(x) \le\beta(x)\) for all \(x \in[c,d]\). Put
and assume, moreover, that the following conditions hold:
 (H_{1}):

For all \(\gamma\in[\alpha,\beta]\) and all \(y \in E\), we have
$$\liminf_{z \to y^{}} B_{i}(z,\gamma) \ge B_{i}(y,\gamma) \ge\limsup_{z \to y^{+}} B_{i}(z, \gamma)\quad (i=1,2); $$  (H_{2}):

For all \(y \in E\), the functions \(B_{i}(y,\cdot)\) are nonincreasing in \([\alpha,\beta]\) (\(i=1,2\)), that is, if \(\gamma _{1},\gamma_{2} \in[\alpha,\beta]\) are such that \(\gamma_{1}(x) \le \gamma_{2}(x)\) for all \(x \in[c,d]\), then \(B_{i}(y,\gamma_{1}) \ge B_{i}(y,\gamma_{2})\).
In these conditions, problem (8) has the extremal convex solutions in \([\alpha,\beta]\).
Proof
We define a mapping \(G:[\alpha,\beta] \longrightarrow[\alpha,\beta ]\) as follows: for all \(\gamma\in[\alpha,\beta]\), Gγ is the greatest convex solution in \([\alpha,\beta]\) for the Dirichlet problem
where \(\gamma_{c}\), \(\gamma_{d}\) are the greatest solutions in, respectively, \([\alpha(c),\beta(c)]\) and \([\alpha(d),\beta(d)]\), for the following respective algebraic equations:
Step 1: The mapping G is well defined. As α and β are lower and upper solutions of (8) and by condition (H_{2}), we have for all \(\gamma\in[\alpha,\beta]\):
and so condition (H_{1}) implies that the numbers \(\gamma_{c}\) and \(\gamma_{d}\) are well defined by application of Lemma 4.1.
On the other hand, as \(\gamma_{c}\) and \(\gamma_{d}\) are the greatest solutions of equations (21)(22) in, respectively, \([\alpha (c),\beta(c)]\) and \([\alpha(d),\beta(d)]\), this implies that \(\alpha (c) \le\gamma_{c}\), \(\alpha(d) \le\gamma_{d}\), \(\beta(c) \ge\gamma _{c}\) and \(\beta(d) \ge\gamma_{d}\). So, α and β are, respectively, a lower and an upper solution for problem (20). This guarantees that (20) has the greatest convex solution in \([\alpha,\beta]\). (Notice that (16)(17) provides a Nagumotype bound for H between our α and β.)
Step 2: G is a nondecreasing mapping. Let \(\gamma_{1},\gamma _{2} \in[\alpha,\beta]\) such that \(\gamma_{1}(x) \le\gamma_{2}(x)\) for all \(x \in[c,d]\), and we will show that \(G\gamma_{1} \le G\gamma_{2}\). First, notice that
and
so reasoning as above we obtain that \(G\gamma_{1}(c) \le G\gamma_{2}(c)\). (Note that \(G\gamma_{1}(c) > G\gamma_{2}(c)\) coupled with (23)(24) would contradict the fact that \(G\gamma_{2}(c)\) is the greatest solution of \(B_{1}(\cdot,\gamma_{2})\) in \([\alpha(c),\beta (c)]\).) In a similar way we prove that \(G\gamma_{1}(d) \le G\gamma _{2}(d)\). Now, assume that \(G\gamma_{1} \nleqslant G\gamma_{2}\) and consider the function
Thus defined, \(\hat{\alpha}\) is a lower solution for problem (20) with conditions \(V(c)=\gamma_{2c}\), \(V(d)=\gamma_{2d}\). Indeed, if \(G\gamma_{1} < G\gamma_{2}\) in an interval \((\hat{x}_{1},\hat {x}_{2})\), then
In the same way, if \(G\gamma_{1} > G\gamma_{2}\) in an interval \((\tilde {x}_{1},\tilde{x}_{2})\), then
On the other hand, if \(G\gamma_{1}(x_{0})=G\gamma_{2}(x_{0})\), then the convexity of \(G\gamma_{1}\) and \(G\gamma_{2}\) implies that \(D_{}\hat {\alpha}(x_{0}) < D^{+}\hat{\alpha}(x_{0})\).
So, problem (20) with conditions \(V(c)=\gamma_{2c}\), \(V(d)=\gamma_{2d}\) has a solution in \([\hat{\alpha},\beta]\), but this contradicts the fact that \(G\gamma_{2}\) is the greatest solution for this problem in \([\alpha,\beta]\). Then we conclude that \(G\gamma _{1} \le G\gamma_{2}\), and so G is a nondecreasing mapping.
Step 3: G has the extremal fixed points. Let \(\gamma\in [\alpha,\beta]\). For all \(x \in[c,d]\), we have that
and so
where \(\hat{A}\), \(\hat{B}\) are as in (16). Then, by application of Lemma 4.2, we obtain that G has the extremal fixed points in \([\alpha,\beta]\), say \(V^{*}\), \(V_{*}\), which moreover satisfy (19).
Step 4: \(V^{*}\) is the greatest convex solution of problem ( 8 ) in \([\alpha,\beta]\). First, it is clear, as \(GV^{*}=V^{*}\), that \(V^{*}\) is a solution of problem (8). Now, if V is another solution of (8), then we have that \(V \le GV\) and so (19) implies that \(V \le V^{*}\). So, \(V^{*}\) is the greatest convex solution of problem (8) in \([\alpha,\beta]\).
To obtain the least convex solution of (8) in \([\alpha,\beta ]\), we only have to redefine the mapping G in the obvious way. □
Remark 4.1
Notice that condition (H_{1}) is satisfied, for example, if \(B_{1}(\cdot,\gamma)\) is continuous or if it has only downwards discontinuities.
Remark 4.2
The same argument used in the proof of Theorem 3.3 provides that extremal convex solutions of problem (8) are also extremal convex solutions of problem (1) provided that \(\frac{V(d)}{d} \le\frac{V(c)}{c}\).
Example 4.1
Consider problem (8) in an interval \([c,d]\), \(c>0\), with the following boundary conditions:
 (B_{1}):

‘The initial value of the solution is one half of its mean value on the whole interval \([c,d]\)’;
 (B_{2}):

‘The final value of the solution has integer part 4’.
Previous conditions can be written in the following form:
 (B_{1}):

\(B_{1}(V(c),V)=V(c)\frac{1}{2} \frac{1}{dc} {\int_{c}^{d} V(s)\,ds}=0\);
 (B_{2}):

\(B_{2}(V(d),V)=[V(d)]+4=0\).
We will show that for \(V(d) \in[4,5)\) and \(d \ge3c\), \(\alpha (x)=\frac{V(d)}{d}x\) and \(\beta\equiv V(d)\) are, respectively, a lower and an upper solution for this problem. Indeed, we have \([\alpha (d)]=4\) and
if \(d \ge3c\). On the other hand, the constant function \(\beta\equiv V(d)\) is such that
and
Finally, notice that for each \(V(d) \in[4,5)\), functions \(B_{1}\) and \(B_{2}\) satisfy conditions (H_{1})(H_{2}) between α and β. We can conclude, by application of Theorem 4.1, that if \(d \ge3c\) then problem (8) with boundary conditions (B_{1})(B_{2}) has the extremal solutions between α and β for each \(V(d) \in[4,5)\).
Remark 4.3
In papers [3] and [1] the authors obtained uniqueness of solutions for problem (2). Notice that uniqueness of solutions cannot be guaranteed when we include variable coefficients p and q and functional boundary conditions. For example, consider problem (1) with boundary conditions
In this case, each function \(V(x)=ax\) with \(a \in[2,2.5)\) is a solution of the problem.
References
 1.
Grossinho, MR, Morais, E: A fully nonlinear problem arising in financial modelling. Bound. Value Probl. 2013, 146 (2013)
 2.
Black, F, Scholes, M: The pricing of options and corporate liabilities. J. Polit. Econ. 81, 637654 (1973)
 3.
Amster, P, Aberbuj, CG, Mariani, MC, Rial, D: A BlackScholes option pricing model with transaction costs. J. Math. Anal. Appl. 303, 685695 (2005)
 4.
Grossinho, MR, Morais, E: A note on a stationary problem for a BlackScholes equation with transaction costs. Int. J. Pure Appl. Math. 51, 579587 (2009)
 5.
De Coster, C, Habets, P: TwoPoint Boundary Value Problems: Lower and Upper Solutions. Mathematics in Science and Engineering, vol. 205. Elsevier, Amsterdam (2006)
 6.
Cherpion, M, De Coster, C, Habets, P: Monotone iterative methods for boundary value problems. Differ. Integral Equ. 12(3), 309338 (1999)
 7.
Franco, D, Pouso, RL: Nonresonance conditions and extremal solutions for firstorder impulsive problems under weak assumptions. ANZIAM J. 44(3), 393407 (2003)
 8.
Heikkilä, S, Lakshmikantham, V: Monotone Iterative Techniques for Discontinuous Nonlinear Differential Equations. Dekker, New York (1994)
Acknowledgements
The first author was partially supported by Xunta de Galicia, Consellería de Cultura, Educación e Ordenación Universitaria, through the project EM2014/032 ‘Ecuacións diferenciais non lineares’; and by Ministerio de Economía y Competitividad of Spain under Grant MTM201015314, cofinanced by the European Community fund FEDER. The second author was partially funded by Fundação para a Ciência e Tecnologia through the project UID/Multi/00491/2013 and the Transnational Cooperation FCT PortugalSlovakia ‘Analysis of Nonlinear Partial Differential Equations in Mathematical Finance (20132014)’ and by the EU Grant Program FP7PEOPLE2012ITN STRIKE  ‘Novel Methods in Computational Finance’, No. 304617 (D.S.).
Author information
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
The two authors contributed in the same way in the development of this paper. All authors read and approved the final manuscript.
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
Received
Accepted
Published
DOI
Keywords
 BlackScholes equation
 functional conditions
 discontinuous ODE’s