- Research
- Open Access
Identifying the implied volatility using the total variation regularization
- Yun Liu1 and
- Xijuan Liu1Email author
- Received: 27 June 2017
- Accepted: 2 January 2018
- Published: 15 January 2018
Abstract
This paper studies an inverse problem of determining the implied volatility in the financial products linked with gold price, which has important application in financial derivatives pricing. Based on the total variation regularization strategy, the existence and necessary condition of the minimum for the control function are addressed, and the local uniqueness of the solution is also given by a modified case. Furthermore, the stability and convergence for the regularized approach are discussed. The results obtained in this paper may be useful for those who engage in hedging or risk management.
Keywords
- inverse volatility problem
- optimal control
- total variation regularization
- existence
- necessary condition
- uniqueness
- stability and convergence
1 Introduction
In this work, we study an inverse problem of determining the implied volatility in the financial products linked with gold price. This problem was issued by the bank of East Asia in Guangzhou (China) on February 20, 2006. The profits of this product not only depend on some cumulative indexes of gold price but also on some trigger indexes. Thus this problem can be regarded as a double barrier option question (see [1, 2]). The mathematical model can be stated in the following form:
To simplify the problem, we make the following assumptions (see [2]):
- (1)Gold price \(S_{t}\) satisfies a geometric Brownian motionwhere μ is the expected rate of return, \(\sigma(S)\) is the volatility, and \(W_{t}\) is the standard Brownian process which satisfies$$\frac{dS_{t}}{S_{t}}=\mu \,dt+ \sigma(S) \,dW_{t}, $$$$E(dW_{t})=0,\qquad \operatorname{Var}(dW_{t})=dt. $$
- (2)
The limit range of the gold price is \([S_{a},S_{b}]\), and the initial price is \(S_{0}\), which satisfies \(S_{a}\leq S_{0}\leq S_{b}\). The upper bound \(S_{a}\) and the lower bound \(S_{b}\) are determined by the estimation of expectation of gold price, which are made by the bank.
- (3)
The risk-free rate of the dollar market is a nonnegative constant r, and the annual rate of gold price is \(r_{0}\) when the price does not hit the interval \([S_{a},S_{b} ]\). Otherwise, it is denoted by \(r_{1}\).
Based on the above assumptions and the standard Δ-hedging theory (see [1]), we can obtain the following Black-Scholes type equation: where V is the price of the corresponding financial product.
$$\frac{\partial V}{\partial t}+\frac{1}{2}\sigma^{2}S^{2} \frac{\partial ^{2}V}{\partial S^{2}}+rS\frac{\partial V}{\partial S}-rV=0, $$
Under the agreement, investors can get the highest annual interest rate of \(r_{0}\) if the price of gold does not touch the boundary of interval \([S_{a},S_{b} ]\) through the observation period \([0,T]\). So the termination condition is given by
$$V(S,T)=1+r_{0}T\quad (S_{a}< S< S_{b}). $$
If the gold price will never hit the endpoint of interval \([S_{a},S_{b} ]\) from the initial moment to time t, then the investor can gain the profit with the annual interest rate \(r_{1}\). Considering the discount, we obtain the following boundary condition:
$$V(S_{a},t)=V(S_{b},t)=(1+r_{1}t)e^{-r(T-t)}\quad (0\leq t< T). $$
Once the gold price passes over the superior limit or below the inferior limit of the price, the interest will no longer be calculated and the contract is stopped. It seems that the price of the financial product has the character of double barrier options. The domain for determining solution is as follows:
$$\Omega= \bigl\{ (S,t)\mid S_{a}< S< S_{b}, 0\leq t< T \bigr\} . $$
Based on the above analysis, the value \(V(S,t)\) satisfies the following backward partial differential equation (PDE):
$$ \left \{ \textstyle\begin{array}{l@{\quad}l} \frac{\partial V}{\partial t}+\frac{1}{2}\sigma ^{2}S^{2}\frac{\partial^{2}V}{\partial S^{2}}+rS\frac{\partial V}{\partial S}-rV=0, & (S,t)\in\Omega,\\ V(S_{a},t)=V(S_{b},t)=(1+r_{1}t)e^{-r(T-t)}, & t\in[0,T),\\ V(S,T)=1+r_{0}T, & S\in(S_{a},S_{b}). \end{array}\displaystyle \right . $$
(1.1)
For given \(\sigma=\sigma(S)\), equation (1.1) is called the forward or direct problem which is known to be well posed in the sense of Hadamard (see [3]). In this paper, we are interested in the inverse problem, i.e., we shall determine the unknown volatility function \(\sigma(S)\) and \(V(S,t)\) simultaneously. In general, some extra condition is indispensable for the inverse coefficient problem. In this paper, we use the following extra condition: where \(0\leq t^{\ast}< T\) is the fixed observation time. It should be pointed out that the above extra condition (1.2) is just an approximate form. In fact, when the gold prices vary during the time observation domain \([t^{\ast}-\delta,t^{\ast}]\), \(\delta>0\), people may obtain various financial product prices \(V(S,t)\) from the financial market. So, if the parameter δ is small enough (compared with \(T-t^{\ast}\)), the observed data \(V(S,t)\in[t^{\ast}-\delta,t^{\ast}]\) can be used to approximate (1.2).
$$ V\bigl(S^{\ast},t^{\ast}\bigr)=V^{\ast}(S),\quad S \in[S_{a},S_{b}], $$
(1.2)
We make the following change in the variable: and \(a(x)=\frac{1}{2}\sigma^{2}(S)\). Then the function U satisfies the following inverse parabolic problem with terminal observation: where
$$U=V-(1+r_{1}t)e^{-r(T-t)},\qquad x=\ln\frac{S}{S_{a}}, \qquad\tau=T-t, $$
$$ \left \{ \textstyle\begin{array}{l@{\quad}l} U_{\tau}-a(x)(U_{xx}-U_{x})-rU_{x}+rU=f(x,\tau), & (x,\tau)\in(0,l)\times(0,\tau^{\ast}],\\ U(x,0)=\phi(x), & x\in(0,l),\\ U(0,\tau)=U(l,\tau)=0, & \tau\in[0,\tau^{\ast}],\\ U(x,\tau^{\ast})=U^{\ast}(x),& x\in(0,l), \end{array}\displaystyle \right . $$
(1.3)
$$\begin{gathered} l=\ln\frac{S}{S_{a}},\qquad \tau^{\ast}=T-t^{\ast},\qquad U^{\ast}=V^{\ast }-\bigl(1+r_{1}t^{\ast} \bigr)e^{-r(T-t^{\ast})}, \\ \phi(x)=[r_{0}-r_{0}]T,\qquad f(x,\tau)=r_{1}e^{-r\tau}.\end{gathered} $$
Volatility is a very important parameter in the Black-Scholes equation, it is necessary to accurately measure it in portfolio selection, underlying financial products pricing and hedging or risk management. Determining the implied volatility is a typical PDE inverse problem. It was first considered by Dupire in [4] where he obtained a formula of the local volatility with all possible strikes and maturities. However, the formula was ill-posed and could not be used in practice, it had to be modified. Some detailed treatments of problems in these areas can be found in [4–16]. In [5, 9, 15], Bouchouev and Isakov reduce the identification of volatility to an inverse problem with the final observation, and the local uniqueness and stability of volatility are proved under certain assumptions. Lu and Yi in [12] obtain a Fredholm integral equation from the Dupire equation. In [16], Mishura consider the diffusion approximation for the recurrent schemes of financial markets and generalize a classical scheme of weak convergence for discrete-time markets to the Black-Scholes model. Based on the optimal control framework, in [10, 11], Jiang and Tao consider the inverse problem of determining the implied volatility \(\sigma=\sigma(S)\) using the Tikhonov regularization strategy and analyze the existence and uniqueness of \(\sigma=\sigma(S)\), and a new well-posed algorithm is presented. Similar results are obtained in [7], where a new extra condition (i.e., the average option premium) is assumed to be known. In [17], the authors also consider an optimal control problem to a mathematical model of drug treatment, a cost functional of the system is minimized and the total amount of drugs is given.
As we all know, Tikhonov regularization strategy is a widely applied method for solving the inverse problem (see [13, 18]). A lot of research work has been carried out in recent years; see, for example, [3, 6, 7, 10, 11, 14, 19–22] and the references therein. However, this method may over-smooth the exact solution, it cannot effectively approximate the original solution when the exact solution has some singularities. In image processing, this shortcoming will blur the edge. To overcome this weakness, in [23] Rudin proposed the total variation regularization strategy: Based on the work of Rudin in [23], in recent years, the total variation regularization strategy has been applied to the problem of determining the volatility (see [13, 18, 24]). In [13, 24], Wang and Yang consider the inverse problem of identifying the implied volatility \(\sigma=\sigma(S)\) using the total variation regularization strategy and analyze the existence and uniqueness of \(\sigma=\sigma(S)\), the necessary condition which must be satisfied by the related minimum is also discussed, and the optimization algorithm is found using the limited memory quasi-Newton algorithm. The authors in [18] propose a bivariate total variation regularization model to calibrate the volatility \(\sigma=\sigma(S,t)\), the existence and convergence for the regularized approach are discussed and some numerical experiments are presented.
$$\min_{\mu\in\Omega}\frac{\lambda}{2}\|\mu-f\|^{2}_{L^{2}(\Omega)}+ | \nabla\mu|_{L^{1}(\Omega)}. $$
Considering the advantages and great success of the total variation regularization in image processing and the work of [13, 18, 23, 24], in this paper, we would like to reconstruct the unknown volatility function \(\sigma=\sigma(S)\) in (1.1) by using the total variation regularization strategy, based on the optimal control method (see [6, 7, 13, 17, 22]). Being different from the common inverse volatility problems arising in the area of option pricing (see [6, 7, 11, 13, 16, 18, 20, 22]), our inverse problem has the following unusual features. First, in [6, 7, 11, 13, 18, 20, 22] the underlying mathematical model is a semi-infinite initial value problem, whereas our model is an initial-boundary value parabolic equation defined on a bounded domain. Secondly, to reduce the inverse option pricing problem to an inverse parabolic problem with terminal observations, the conjugate theory (see [4]) should be adopted. For our problem, since the underlying asset has the property of double barrier option and the measurement data only depend on the price of gold, it is not necessary to use the Green function theory. Finally, the authors in [6, 7, 10, 11, 22] use the Tikhonov regularization to identify the implied volatility, while it may over-smooth the exact solution and may not preserve the singularities of the solution well when the exact solution has some singularities. However, the total variation regularization model might be able to characterize the properties of the volatility better. Therefore, using our model to identify the implied volatility is a question worth thinking about. The inverse problem considered in the paper and the obtained results can be regarded as the beneficial supplement of the inverse option pricing problem.
The paper is organized as follows. In Section 2, we transform the parabolic problem (1.3) into an optimal control problem. In Section 3, the existence of the minimum for the control functional is given. The necessary condition which must be satisfied by the minimum is deduced in Section 4. In Section 5, we investigate the uniqueness of the minimum under some assumptions. The stability and convergence for the regularized approach are also presented in the last section.
2 Optimal control problem
Consider the following optimal control problem P:
Find \(\bar{a}\in\mathcal{A}\) such that where
\(U(x,\tau)\) is the solution of (1.3) for a given coefficient \(a\in\mathcal{A}\), N and μ are the regularization parameters. Considering the ‘smile’ or ‘skew’ effect of the implied volatility, it is reasonable to assume that \(0<\alpha\leq a(x)\leq\beta\), where α and β are two given positive constants. The implied volatility \(a(x)\) is the principle coefficient in a second order parabolic equation. In general, it is required \(a(x)\geq\alpha>0\). Moreover, for convenience, in the rest of discussion, it is also assumed to be bounded, i.e., \(a(x)\leq\beta\). In practice, the parameter β can be taken relatively larger. In fact, volatility is observed in many cases to be represented by two typical curves: smile and skew [4]. Many attempts have been made to remove this constant volatility assumption from the Black-Scholes model.
$$ T(\bar{a})=\min_{a\in\mathcal{A}}T(a), $$
(2.1)
$$\begin{gathered} T(a)=\frac{1}{2} \int_{0}^{l}\big|U\bigl(x,\tau^{*} \bigr)-U^{*}(x)\big|^{2}\,dx+\frac {N}{2}J(a)+ \frac{\mu}{2}G(a), \\J(a)= \int_{0}^{l} \vert \nabla a \vert \,dx,\qquad G(a)= \int_{0}^{l} \vert \nabla a \vert ^{2} \,dx, \\\mathcal{A}= \bigl\{ a(x)\mid0< \alpha\leq a(x)\leq\beta,\nabla a\in L^{2}(0,l) \bigr\} ,\end{gathered} $$
To avoid the case \(|\nabla a|=0\), we replace \(|\nabla a|\) with \(|\nabla a|_{\epsilon}=\sqrt{|\nabla a|^{2}+\epsilon^{2}}\), where ϵ is a constant and \(\epsilon\ll1\). Then problem (2.1) is approximated by This problem is different from the traditional Tikhonov regularization method because the regular item \(\int_{0}^{l}\sqrt{|\nabla a|^{2}+\epsilon^{2}}\,dx\) is related to the total variation regularization.
$$ T(a)=\frac{1}{2} \int_{0}^{l}\big|U\bigl(x,\tau^{*} \bigr)-U^{*}(x)\big|^{2}\,dx+\frac {N}{2} \int_{0}^{l} \sqrt{|\nabla a|^{2}+ \epsilon^{2}}\,dx+\frac{\mu}{2} \int_{0}^{l} \vert \nabla a \vert ^{2} \,dx. $$
3 Existence
Theorem 3.1
There exists a minimizer
\(\bar{a}\in\mathcal{A}\)
of
\(T(a)\), i.e.,
$$T(\bar{a}) =\min_{a\in\mathcal{A}}T(a). $$
Proof
It is obvious that \(T(a)\) is nonnegative and thus \(T(a)\) has the greatest lower bound \(\inf_{a\in\mathcal{A}}T(a)\). Let \((U_{n},a_{n})\) be a minimizing sequence, i.e., By noticing that \(T(a_{n})\leq C\), and thanks to the particular structure of T, we can deduce that where C is independent of n.
$$\inf_{a\in\mathcal{A}}T(a)\leq T(a_{n})\leq \inf _{a\in\mathcal{A}}T(a)+\frac{1}{n},\quad n=1,2,\ldots. $$
$$\Vert \nabla a_{n} \Vert _{L^{2}(0,l)}\leq C, $$
By the Sobolev imbedding theorem (see [25]), we can obtain Thus where \(Q=(0,l)\times[0,\tau^{\ast}]\).
$$\Vert a_{n} \Vert _{C^{\frac{1}{2}}(0,l)}\leq C\quad (C \text{ is independent of } n). $$
$$\begin{gathered} \bigl\Vert U_{n}(x,\tau) \bigr\Vert _{C^{\frac{1}{2},\frac{1}{4}}({\bar{Q}})} \leq C\quad (C \text{ is independent of } n), \\ \bigl\Vert U_{n}(x,\tau) \bigr\Vert _{C^{2+\frac{1}{2},1+\frac{1}{4}}(\omega)}\leq C,\quad \forall \omega\subset\subset Q,\end{gathered} $$
Therefore we can select subsequences of \(a_{n}\) and \(U_{n}\), again denoted by \(\{a_{n}\}\) and \(\{U_{n}\}\), such that
$$\begin{gathered} a_{n}(x)\rightarrow{\bar{a}}(x)\in C^{\frac{1}{2}}(0,l),\quad \text{uniformly in $C^{\alpha}(0,l)$ }\biggl(0\leq\alpha< \frac{1}{2} \biggr), \\U_{n}(x,\tau)\rightarrow{\bar{U}}(x,\tau), \quad\text{uniformly in } C^{\alpha,\frac{\alpha}{2}}({\bar{Q}})\cap C_{\mathrm{loc}}^{2+\alpha,1+\frac {\alpha}{2}}(Q).\end{gathered} $$
One can easily check that \((\bar{a}(x),\bar{U}(x,\tau) )\) satisfies (1.3). By the Lebesgue control convergence theorem and the weak semi-continuity of the \(L^{2}\)-norm, we obtain Hence This completes the proof of Theorem 3.1. □
$$T(\bar{a})\leq\lim_{n\rightarrow\infty} \inf T(a_{n})=\min _{a\in \mathcal{A}}J(a). $$
$$T(\bar{a})=\min_{a\in\mathcal{A}}T(a). $$
4 Necessary condition
Theorem 4.1
Let
a
be the solution of the optimal control problem (2.1). Then there exists a triple of functions
\((U,\varphi,a)\)
satisfying the following systems:
and
for any
\(h\in\mathcal{A}\).
$$\begin{aligned}& \left \{ \textstyle\begin{array}{l@{\quad}l} U_{\tau}-a(x)(U_{xx}-U_{x})-rU_{x}+rU=f(x,\tau), & (x,\tau)\in(0,l)\times(0,\tau^{\ast}],\\ U(x,0)=\phi(x), & x\in(0,l),\\ U(0,\tau)=U(l,\tau)=0, & \tau\in[0,\tau^{\ast}], \end{array}\displaystyle \right . \end{aligned}$$
(4.1)
$$\begin{aligned}& \left \{ \textstyle\begin{array}{l@{\quad}l} -\varphi_{\tau}-(a\varphi)_{xx}-(a\varphi )_{x}+r\varphi_{x}+r\varphi=0, & (x,\tau)\in(0,l)\times(0,\tau^{\ast}],\\ \varphi(x,\tau^{\ast})=U(x,\tau^{\ast})-U^{\ast}(x), & x\in(0,1),\\ \varphi(0,\tau)=\varphi(l,\tau)=0, & \tau\in[0,\tau^{\ast}], \end{array}\displaystyle \right . \end{aligned}$$
(4.2)
$$\begin{aligned}[b] &\int_{0}^{\tau^{\ast}} \int_{0}^{l}\varphi(h-a) (U_{xx}-U_{x}) \,dx\,d\tau\\ &\quad+\frac{N}{2} \int_{0}^{l} \frac{\nabla a}{\sqrt{|\nabla a|^{2}+\epsilon ^{2}}}\cdot\nabla(h-a)\,dx+ \mu \int_{0}^{l} \nabla{a}\cdot\nabla(h-a)\, dx\geq0\end{aligned} $$
(4.3)
Proof
For any \(h\in\mathcal{A}\), \(\delta\in[0,1]\), let Then we have
$$a_{\delta}=(1-\delta)a+\delta h\in\mathcal{A}. $$
$$\begin{aligned}[b] T_{\delta}&\equiv T(a_{\delta})\\&=\frac{1}{2} \int_{0}^{l} \big|U\bigl(x,\tau^{\ast};a_{\delta } \bigr)-U^{\ast}(x)\big|^{2}\,dx+ \frac{N}{2} \int_{0}^{l} \sqrt{|\nabla a_{\delta}|^{2}+ \epsilon^{2}}\,dx+\frac{\mu}{2} \int_{0}^{l} \vert \nabla a_{\delta} \vert ^{2}\,dx.\end{aligned} $$
(4.4)
Let \(U_{\delta}\) be the solution of (1.3) with given \(a=a_{\delta}\). Since a is an optimal solution, and thanks to the particular structure of J, we can deduce that the above function takes the minimum at \(\delta=0\), so Let \(U_{\delta}^{\prime}\equiv\frac{\partial U_{\delta}}{\partial\delta}\), direct calculations lead to the following equation: Let \(\xi=U^{\prime} _{\delta}|_{\delta=0}\), then ξ satisfies From (4.5) we have Let and suppose φ is the solution of the following problem: where \(\mathcal{L}^{\ast}\) is the adjoint operator of the operator \(\mathcal{L}\).
$$\begin{aligned}[b] \frac{dT(a_{\delta})}{d\delta} \bigg\vert _{\delta=0} ={}& \int_{0}^{l} \bigl[U\bigl(x,\tau^{\ast};a \bigr)-U^{\ast}(x) \bigr]\frac {\partial U_{\delta}}{\partial\delta}\bigg\vert _{\delta=0} \,dx \\ &+\frac{N}{2} \int _{0}^{l} \frac{\nabla a}{\sqrt{|\nabla a|^{2}+\epsilon^{2}}}\cdot\nabla (h-a) \,dx+\mu \int_{0}^{l}\nabla a\cdot\nabla(h-a)\,dx\\ \geq{}&0.\end{aligned} $$
(4.5)
$$\begin{aligned}[b] &\frac{\partial}{\partial \tau}\bigl(U_{\delta}^{\prime}\bigr)=a_{\delta} \biggl(\frac{\partial^{2}U_{\delta }^{\prime} }{\partial x^{2}}-\frac{\partial U_{\delta}^{\prime} }{\partial x} \biggr)+r\frac{\partial U_{\delta}^{\prime} }{\partial x}-rU_{\delta}^{\prime}+(h-a) \biggl(\frac{\partial^{2}U_{\delta }}{\partial x^{2}}-\frac{\partial U_{\delta}}{\partial x} \biggr), \\ &U^{\prime} _{\delta}\big|_{\tau=0}=0.\end{aligned} $$
(4.6)
$$\begin{aligned}[b] &\xi_{\tau}=a(x) (\xi_{xx}-\xi_{x})+r \xi_{x}-r\xi +(h-a) (U_{xx}-U_{x}), \\ &\xi|_{\tau=0}=0.\end{aligned} $$
(4.7)
$$\begin{aligned}[b] &\int_{0}^{l} \bigl[U\bigl(x,\tau^{\ast};a \bigr)-U^{\ast}(x) \bigr]\xi\bigl(x,\tau^{\ast }\bigr)\,dx\\&\quad + \frac{N}{2} \int_{0}^{l} \frac{\nabla a}{\sqrt{|\nabla a|^{2}+\epsilon ^{2}}}\cdot\nabla(h-a)\,dx+ \mu \int_{0}^{l}\nabla a\cdot\nabla(h-a)\, dx\geq0.\end{aligned} $$
(4.8)
$$ \mathcal{L}\xi=\xi_{\tau}-a(x) (\xi_{xx}-\xi_{x})-r \xi_{x}+r\xi, $$
(4.9)
$$ \left\{ \textstyle\begin{array}{ll} \mathcal{L}^{\ast}\varphi=-\varphi_{\tau}-(a\varphi )_{xx}-(a\varphi)_{x}+r\varphi_{x}+r\varphi=0,\\ \varphi|_{\tau=\tau^{\ast}}=U(x,\tau^{\ast})-U^{\ast}(x),\\ \varphi(0,\tau)=\varphi(l,\tau)=0, \end{array}\displaystyle \right . $$
(4.10)
From the Green formula, we have From (4.7) and (4.11), we can obtain Combining (4.8) and (4.12), one can easily obtain that The proof of Theorem 4.1 is thus completed. □
$$\begin{aligned}[b] & \int_{0}^{\tau^{\ast}} \int_{0}^{l} \bigl(\varphi\mathcal{L}\xi-\xi \mathcal{L}^{\ast}\varphi \bigr)\,dx\,d\tau \\ &\quad= \int_{0}^{\tau^{\ast}} \int_{0}^{l} \bigl[(\varphi\xi)_{\tau}- \bigl(a(x)\varphi\xi_{y} \bigr)_{y}+ \bigl(\xi\bigl(a(x) \varphi\bigr)_{y} \bigr)_{y}+ \bigl(\xi a(x)\varphi \bigr)_{y}-r(\xi\varphi)_{y} \bigr]\,dx\, d\tau \\ &\quad= \int_{0}^{l} \varphi\xi \vert _{(x,0)}^{(x,\tau^{*})} \,dx = \int_{0}^{l} \bigl[U\bigl(x,\tau^{\ast};a \bigr)-U^{\ast}(x) \bigr]\xi\bigl(x,\tau^{\ast }\bigr)\,dx.\end{aligned} $$
(4.11)
$$ \int_{0}^{l} \bigl[U\bigl(x,\tau^{\ast} \bigr)-U^{\ast}(x) \bigr]\xi\bigl(x,\tau^{\ast }\bigr)\,dx= \int_{0}^{\tau^{\ast}} \int_{0}^{l} \varphi(h-a) (U_{xx}-U_{x}) \,dx\,d\tau . $$
(4.12)
$$\begin{aligned}[b] &\int_{0}^{\tau^{\ast}} \int_{0}^{l} \varphi(h-a) (U_{xx}-U_{x}) \,dx\,d\tau\\&\quad +\frac{N}{2} \int_{0}^{l} \frac{\nabla a}{\sqrt{|\nabla a|^{2}+\epsilon ^{2}}}\cdot\nabla(h-a)\,dx+ \mu \int_{0}^{l}\nabla a\cdot\nabla(h-a)\, dx \geq0.\end{aligned} $$
(4.13)
5 Uniqueness
It is well known that the optimal control problem is nonconvex. In general, one may not expect a unique solution. However, the local uniqueness of the minimizer for the control functional can be obtained if \(\tau^{\ast}\ll1\).
Suppose that \(U_{1}^{*}(x)\) and \(U_{2}^{*}(x)\) are two given functions which satisfy condition 4.1. Let \(a_{1}(x)\) and \(a_{2}(x)\) be two minimizers of the control problem (2.1) corresponding to \(U_{i}^{*}(x)\) (\(i=1,2\)), respectively, and \(\{U_{i},\varphi_{i}\}\) (\(i=1,2\)) be the solutions of system (4.1)/(4.2) in which \(\bar {a}=a_{i}\) (\(i=1,2\)), respectively.
Set
$$U_{1}-U_{2}=u,\qquad \varphi_{1}-\varphi_{2}= \Phi,\qquad a_{1}-a_{2}=A. $$
Then U and Φ satisfy the following equations:
$$\begin{aligned}& \left\{ \textstyle\begin{array}{ll} u_{\tau }-a_{1}(x)(u_{xx}-u_{x})-ru_{x}+ru=A(U_{2xx}-U_{2x}), \\ u(x,0)=0,\\ u(0,\tau)=u(l,\tau)=0. \end{array}\displaystyle \right . \end{aligned}$$
(5.1)
$$\begin{aligned}& \left\{ \textstyle\begin{array}{ll} \frac{1}{a_{2}}\Phi_{\tau}+\Phi_{xx}+\Phi_{x}-r (\frac{\Phi}{a_{2}} )_{x}-\frac{r}{a_{2}}\Phi\\ \quad=(\frac{1}{a_{2}}-\frac{1}{a_{1}})(a_{1}\varphi_{1})_{\tau}-r [(\frac{1}{a_{2}}-\frac{1}{a_{1}})(a_{1}\varphi_{1}) ]_{x} -r(\frac{1}{a_{1}}-\frac{1}{a_{2}})(a_{1}\varphi_{1}),\\ \Phi(x,0)=0,\\ \Phi(0,\tau)=\Phi(l,\tau)=0,\\ \Phi|_{\tau=\tau^{\ast}}=a_{1}U(x,\tau^{\ast})+A(U_{2}(x,\tau^{\ast })-U^{\ast}(x)). \end{array}\displaystyle \right . \end{aligned}$$
(5.2)
Lemma 5.1
For problem (4.2), we have the following estimate:
$$\begin{gathered} \max_{\tau\in[0,\tau^{\ast}]} \int_{0}^{l}\varphi^{2}\,dx+ \int_{0}^{\tau ^{\ast}} \int_{0}^{l}\big|\varphi_{x}|^{2} \,dx\,d\tau\leq C \int _{0}^{l}|U\bigl(x,\tau^{\ast} \bigr)-U^{\ast}(x)\big|^{2}\,dx, \\\max_{\tau\in[0,\tau^{\ast}]} \int_{0}^{l}|\varphi_{x}|^{2} \,dx+ \int _{0}^{\tau^{\ast}} \int_{0}^{l}|\varphi_{xx}|^{2} \leq C\big\| U\bigl(x,\tau^{\ast}\bigr)-U^{\ast}(x)\big\| ^{2}_{H^{1}(0,l)}.\end{gathered} $$
Lemma 5.2
For any bounded continuous function
\(g(x)\in C(0, l)\), we have
where
\(x_{0}\)
is a fixed point in
\((0,l)\).
$$\big\| g(x)\big\| _{\infty}\leq\big|g(x_{0})\big|+\sqrt{l}\big\| \nabla g(x) \big\| _{L^{2}(0,l)}, $$
Proof
For \(0< x< l\), we have This completes the proof of Lemma 5.2. □
$$\begin{aligned} \bigl\vert g(x) \bigr\vert &\leq \bigl\vert g(x_{0}) \bigr\vert + \biggl\vert \int_{x_{0}}^{x}g{'}\,dx \biggr\vert \\ &\leq \bigl\vert g(x_{0}) \bigr\vert + \biggl( \int_{0}^{l} 1\,dx \biggr)^{\frac{1}{2}} \biggl( \int_{0}^{l} \vert \nabla g \vert ^{2} \,dx \biggr)^{\frac{1}{2}}.\end{aligned} $$
Lemma 5.3
For problem (5.1), we have the following estimate:
where
C
is a constant.
$$\begin{aligned}& \max_{\tau\in[0,\tau^{\ast}]} \int_{0}^{l} u^{2}\,dx\leq C\bigl(\max |A|\bigr)^{2} \int_{0}^{\tau^{\ast}} \int_{0}^{l} |U_{2xx}-U_{2x}|^{2} \,dx\, d\tau, \end{aligned}$$
(5.3)
$$\begin{aligned}& \int_{0}^{\tau^{\ast}} \int_{0}^{l}|u_{xx}-u_{x}|^{2} \,dx\,d\tau\leq C\bigl(\max|A|\bigr)^{2} \int_{0}^{\tau^{\ast}} \int_{0}^{l}|U_{2xx}-U_{2x}|^{2} \, dx\,d\tau, \end{aligned}$$
(5.4)
Proof
From equation (5.1), we have, for \(0<\tau\leq\tau^{\ast}\), By noticing the boundary conditions, we have where we have used the deformation of equation (5.1).
$$\begin{aligned} & \int_{0}^{\tau} \int_{0}^{l}a_{1}(u_{xx}-u_{x})^{2} \,dx\,d\tau \\ &\quad= \int_{0}^{\tau} \int_{0}^{l}u_{\tau}(u_{xx}-u_{x}) \,dx\,d\tau- \int _{0}^{\tau} \int_{0}^{l}A(U_{2xx}-U_{2x}) (u_{xx}-u_{x})\,dx\,d\tau \\ &\quad\quad-r \int_{0}^{\tau} \int_{0}^{l}u_{x}(u_{xx}-u_{x}) \,dx\,d\tau+r \int _{0}^{\tau} \int_{0}^{l}u(u_{xx}-u_{x})\,dx \,d\tau \\ &\quad= \int_{0}^{\tau} \int_{0}^{l}(u_{\tau}u_{x})_{x} \,dx\,d\tau- \int _{0}^{\tau} \int_{0}^{l}u_{\tau x}u_{x} \,dx\,d \tau\\ &\qquad- \int_{0}^{\tau} \int_{0}^{l}u_{\tau}u_{x}\,dx\,d \tau+r \int _{0}^{\tau} \int_{0}^{l}u_{x}^{2}\,dx\,d \tau \\ &\qquad+r \int_{0}^{\tau} \int_{0}^{l}u(u_{xx}-u_{x})\,dx \,d\tau- \int_{0}^{\tau } \int_{0}^{l}A(U_{2xx}-U_{2x}) (u_{xx}-u_{x})\,dx\,d\tau.\end{aligned} $$
$$\begin{aligned} & \int_{0}^{\tau} \int_{0}^{l}a_{1}(u_{xx}-u_{x})^{2} \,dx\,d\tau \\ &\quad=- \int_{0}^{\tau} \int_{0}^{l}u_{x}u_{x\tau}\,dx\,d \tau- \int_{0}^{\tau } \int_{0}^{l}u_{\tau}u_{x}\,dx\,d \tau+ r \int_{0}^{\tau} \int_{0}^{l}u_{x}^{2}\,dx\,d \tau \\ &\qquad+r \int_{0}^{\tau} \int_{0}^{l}u(u_{xx}-u_{x})\,dx \,d\tau- \int_{0}^{\tau } \int_{0}^{l}A(U_{2xx}-U_{2x}) (u_{xx}-u_{x})\,dx\,d\tau \\ &\quad= -\frac{1}{2} \int_{0}^{l}u_{x}^{2}\big|_{(x,\tau)} \,dx- \int_{0}^{\tau} \int_{0}^{l}a_{1}u_{x}(u_{xx}-u_{x}) \,dx\,d\tau- \int _{0}^{\tau} \int_{0}^{l}AU_{x}(U_{2xx}-U_{2x}) \,dx\,d\tau \\ &\qquad-r \int_{0}^{\tau} \int_{0}^{l}u(u_{xx}-u_{x})\,dx \,d\tau- \int_{0}^{\tau } \int_{0}^{l}A(U_{2xx}-U_{2x}) (u_{xx}-u_{x})\,dx\,d\tau,\end{aligned} $$
This yields By estimating (5.3) we have From Gronwall’s inequality, we have which implies the conclusion.
$$\begin{aligned}[b] &\frac{1}{8} \int_{0}^{\tau} \int_{0}^{l}a_{1}(u_{xx}-u_{x})^{2} \,dx\, d\tau+\frac{1}{2} \int_{0}^{l}u_{x}^{2}\big|_{(x,\tau)} \,dx \\ &\quad\leq 4\max_{x\in(0,l)}a_{1}(x) \int_{0}^{\tau} \int_{0}^{l}u_{x}^{2}\, dx\,d \tau+C \int_{0}^{\tau} \int_{0}^{l}U^{2}\,dx\,d\tau \\ &\qquad+C\bigl(\max|A|\bigr)^{2} \int_{0}^{\tau^{\ast}} \int _{0}^{l}|U_{2xx}-U_{2x}|^{2} \,dx\,d\tau.\end{aligned} $$
(5.5)
$$\begin{aligned}[b] &\frac{1}{8} \int_{0}^{\tau} \int_{0}^{l}a_{1}(u_{xx}-u_{x})^{2} \,dx\, d\tau+\frac{1}{2} \int_{0}^{l}u_{x}^{2}\big|_{(x,\tau)} \,dx \\ &\quad\leq 4\max_{x\in(0,l)}a_{1}(x) \int_{0}^{\tau} \int_{0}^{l}u_{x}^{2}\, dx\,d \tau+C\bigl(\max|A|\bigr)^{2} \int_{0}^{\tau^{\ast}} \int _{0}^{l}|U_{2xx}-U_{2x}|^{2} \,dx\,d\tau.\end{aligned} $$
(5.6)
$$ \int_{0}^{\tau^{\ast}} \int_{0}^{l}(u_{xx}-u_{x})^{2} \,dx\,d\tau+ \int _{0}^{l}u_{x}^{2}\,dx\leq C\bigl(\max|A|\bigr)^{2} \int_{0}^{\tau^{\ast}} \int _{0}^{l}(U_{2xx}-U_{2x})^{2} \,dx\,d\tau, $$
(5.7)
The proof of Lemma 5.3 is thus completed. □
Lemma 5.4
For problem (5.2) we have the following estimate:
$$\begin{aligned} &\max_{\tau\in[0,\tau^{\ast}]} \int_{0}^{l}\Phi^{2}\,dx+ \int_{0}^{\tau } \int_{0}^{l}|\Phi_{x}|^{2}\,dx \,d\tau \\ &\quad\leq C\bigl(\max|A|\bigr)^{2} \int_{0}^{\tau^{\ast}} \int_{0}^{l} \bigl(|U_{2x}|^{2}+| \varphi_{1\tau}|^{2} \bigr)\,dx\,d\tau\\ &\qquad+ C\bigl(\max |A|\bigr)^{2} \int_{0}^{l}\big|U_{2}\bigl(x, \tau^{\ast}\bigr)-U^{\ast}(x)\big|^{2}\,dx.\end{aligned} $$
Proof
For problem (5.2), we have This yields From (5.8) and Gronwall’s inequality, we have This completes the proof of Lemma 5.4. □
$$\begin{aligned} & \int_{\tau}^{\tau^{\ast}} \int_{0}^{l} \biggl[\frac{1}{a_{2}}\Phi\Phi _{\tau}+\Phi\Phi_{xx}+\Phi\Phi_{x}-r\Phi \biggl( \frac{\Phi}{a_{2}} \biggr)_{x}-\frac{r}{a_{2}}\Phi^{2} \biggr]\,dx\,d\tau \\ &\quad= \int_{\tau}^{\tau^{\ast}} \int_{0}^{l}\Phi \biggl[\biggl(\frac{1}{a_{2}}- \frac {1}{a_{1}}\biggr) (a_{1}\varphi_{1})_{\tau}\\ &\qquad-r \biggl[\biggl(\frac{1}{a_{2}}-\frac {1}{a_{1}}\biggr) (a_{1} \varphi_{1}) \biggr]_{x}-r\biggl(\frac{1}{a_{1}}- \frac{1}{a_{2}}\biggr) (a_{1}\varphi_{1}) \biggr]\,dx\,d \tau.\end{aligned} $$
$$\begin{aligned}[b] &\frac{1}{2a_{1}} \int_{0}^{l}\Phi^{2}\big|_{(x,\tau)} \,dx+ \int_{\tau }^{\tau^{\ast}} \int_{0}^{l}|\Phi_{x}|^{2}\,dx \,d\tau+ \int_{\tau}^{\tau ^{\ast}} \int_{0}^{l}\frac{r}{a_{2}}\Phi^{2}\,dx \,d\tau \\ &\quad= \int_{0}^{l}\frac{1}{2a_{2}}\big|a_{1}U \bigl(x,\tau^{\ast}\bigr)+A\bigl(U_{2}\bigl(x,\tau ^{\ast} \bigr)-U^{\ast}(x)\bigr)\big|^{2}\,dx \\ &\qquad- \int_{\tau}^{\tau^{\ast}} \int_{0}^{l}\frac{A}{a_{2}}\Phi\varphi _{1\tau}\,dx\,d\tau- \int_{\tau}^{\tau^{\ast}} \int_{0}^{l}(r\varphi _{1x}+r \varphi_{1})\,dx\,d\tau \\ &\quad\leq C \int_{0}^{l}\big|U\bigl(x,\tau^{\ast} \bigr)\big|^{2}+C\bigl(\max|A|\bigr)^{2} \int _{0}^{l}\big|U_{2}\bigl(x, \tau^{\ast}\bigr)-U^{\ast}(x)\big|^{2}\,dx \\ &\qquad+ \int_{\tau}^{\tau^{\ast}} \int_{0}^{l}\frac{1}{2a_{2}}\Phi^{2}\,dx \, d\tau +C\bigl(\max|A|\bigr)^{2} \int_{\tau}^{\tau^{\ast}} \int_{0}^{l} |\varphi_{1\tau}|^{2} \,dx\,d\tau \\ &\quad\leq \int_{\tau}^{\tau^{\ast}} \int_{0}^{l}\frac{1}{2a_{2}}\Phi^{2}\,dx \,d\tau +C\bigl(\max|A|\bigr)^{2} \int_{0}^{l}\big|U_{2}\bigl(x, \tau^{\ast}\bigr)-U^{\ast}(x)\big|^{2}\, dx \\ &\quad\quad+C\bigl(\max|A|\bigr)^{2} \int_{\tau}^{\tau^{\ast}} \int_{0}^{l} \bigl(|U_{2xx}-U_{2x}|^{2}+ |\varphi_{1\tau}|^{2} \bigr)\,dx\,d\tau.\end{aligned} $$
(5.8)
$$\begin{aligned} & \int_{0}^{l}\Phi^{2}\,dx+ \int_{0}^{\tau^{\ast}} \int_{0}^{l}\Phi _{x}^{2}\,dx \,d\tau \\ &\quad\leq C\bigl(\max|A|\bigr)^{2} \int_{0}^{l}\big|U_{2}\bigl(x, \tau^{\ast}\bigr)-U^{\ast }(x)\big|^{2}\,dx \\ &\qquad+C\bigl( \max|A|\bigr)^{2} \int_{\tau}^{\tau^{\ast}} \int_{0}^{l} \bigl(|U_{2x}|^{2}+ |\varphi_{1\tau}|^{2} \bigr)\,dx\,d\tau.\end{aligned} $$
Theorem 5.1
Suppose that
\(a_{1}(x)\), \(a_{2}(x)\)
are two minimizers of the optimal control problem (2.1) corresponding to
\(U_{1}^{*}(x)\)
and
\(U_{2}^{*}(x)\), respectively. If there exists a point
\(x_{0}\in (0,l)\)
such that
\(a_{1}(x_{0})=a_{2}(x_{0})\), then for
\(\tau^{\ast}\ll 1\), we have
$$a_{1}(x)\equiv a_{2}(x), \quad\textit{for any } x\in(0,l). $$
Proof
By taking \(h=a_{2}\) when \(\bar{a}=a_{1}\) and taking \(h=a_{1}\) when \(\bar{a}=a_{2}\) in (4.3), we have where \(\{U_{i},\varphi_{i}\}\) (\(i=1,2\)) are the solutions of system (4.1)/(4.2) with \(\bar{a}=a_{i}\) (\(i=1,2\)), respectively.
$$\begin{aligned}& \begin{aligned}[b] &\int_{0}^{\tau^{\ast}} \int_{0}^{l}\varphi (a_{2}-a_{1}) (U_{1xx}-U_{1x})\,dx\,d\tau \\&\quad+\frac{N}{2} \int_{0}^{l} \frac{\nabla a_{1}}{\sqrt{|\nabla a_{1}|^{2}+\epsilon^{2}}}\cdot \nabla(a_{2}-a_{1})\,dx+\mu \int_{0}^{l} \nabla{a_{1}}\cdot \nabla(a_{2}-a_{1})\,dx\geq0,\end{aligned} \end{aligned}$$
(5.9)
$$\begin{aligned}& \begin{aligned}[b]&\int_{0}^{\tau^{\ast}} \int_{0}^{l}\varphi (a_{1}-a_{2}) (U_{2xx}-U_{2x})\,dx\,d\tau\\&\quad +\frac{N}{2} \int_{0}^{l} \frac{\nabla a_{2}}{\sqrt{|\nabla a_{2}|^{2}+\epsilon^{2}}}\cdot \nabla(a_{1}-a_{2})\,dx+\mu \int_{0}^{l} \nabla{a_{2}}\cdot \nabla(a_{1}-a_{2})\,dx\geq0, \end{aligned} \end{aligned}$$
(5.10)
Combining equations (5.9) and (5.10), when \(\epsilon\rightarrow 0\), we have From the assumption of Theorem 5.1, there exists a point \(x_{0}\in(0,l)\) such that From Lemma 5.2 we have From (5.3), (5.11) and Hölder’s inequality, we have From Lemmas 5.1, 5.3 and 5.4, we have Based on the above analysis, we have Choose \(\tau^{\ast}\leq1\) such that Combining (5.13) and (5.14), we can easily obtain This yields This completes the proof of Theorem 5.1. □
$$\begin{aligned} & \mu \int_{0}^{l}\big|\nabla(a_{1}-a_{2})\big|^{2} \,dx \\ &\quad\leq \int_{0}^{\tau^{\ast}} \int_{0}^{l}A \bigl(\varphi _{2}(U_{2xx}-U_{2x})- \varphi_{1}(U_{1xx}-U_{1x}) \bigr)\,dx\,d\tau \\ &\quad\leq \int_{0}^{\tau^{\ast}} \int_{0}^{l}\frac {1}{a_{2}}A(U_{2xx}-U_{2x})a_{2} \varphi_{2}\,dx\,d\tau- \int_{0}^{\tau ^{\ast}} \int_{0}^{l}\frac{1}{a_{1}}A(U_{1xx}-U_{1x})a_{1} \varphi_{1}\, dx\,d\tau \\ &\quad\leq \int_{0}^{\tau^{\ast}} \int_{0}^{l} \biggl(\frac {1}{a_{2}}A(U_{2xx}-U_{2x})a_{2} \varphi_{2}-\frac {1}{a_{2}}A(U_{2xx}-U_{2x})a_{1} \varphi_{1} \biggr)\,dx\,d\tau \\ &\qquad+ \int_{0}^{\tau^{\ast}} \int_{0}^{l} \biggl(\frac {1}{a_{2}}A(U_{2xx}-U_{2x})a_{1} \varphi_{1}-\frac {1}{a_{2}}A(U_{1xx}-U_{1x})a_{1} \varphi_{1} \biggr)\,dx\,d\tau \\ &\qquad+ \int_{0}^{\tau^{\ast}} \int_{0}^{l} \biggl(\frac {1}{a_{2}}A(U_{1xx}-U_{1x})a_{1} \varphi_{1}-\frac {1}{a_{1}}A(U_{1xx}-U_{1x})a_{1} \varphi_{1} \biggr)\,dx\,d\tau \\ &\quad\leq \int_{0}^{\tau^{\ast}} \int_{0}^{l}\frac{1}{a_{2}}A^{2} (U_{1xx}-U_{1x})\varphi_{1}\,dx\,d\tau\\ &\qquad- \int_{0}^{\tau^{\ast}} \int _{0}^{l}\frac{1}{a_{2}}A \Phi(U_{2xx}-U_{2x})\,dx\,d\tau \\ &\qquad- \int_{0}^{\tau^{\ast}} \int_{0}^{l}\frac {1}{a_{2}}A(u_{xx}-u_{x})a_{1} \varphi_{1}\,dx\,d\tau.\end{aligned} $$
$$ A(x_{0})=a_{1}(x_{0})-a_{2}(x_{0})=0. $$
(5.11)
$$ \max_{x\in[0,l]}| A|\leq C \biggl( \int_{0}^{l} |\nabla A| ^{2}\,dx \biggr)^{1/2}. $$
(5.12)
$$\begin{aligned} &\mu \int_{0}^{l}|\nabla A|^{2}\,dx \\ &\quad\leq C\max|A|\sqrt{ \int_{0}^{\tau^{\ast}} \int_{0}^{l}\Phi^{2}\,dx\,d\tau }\cdot \sqrt{ \int_{0}^{\tau^{\ast}} \int_{0}^{l}|U_{2xx}-U_{2x}|^{2} \,dx\, d\tau} \\ &\qquad+C\max|A|^{2}\sqrt{ \int_{0}^{\tau^{\ast}} \int_{0}^{l}|\varphi _{1}|^{2} \,dx\,d\tau} \cdot\sqrt{ \int_{0}^{\tau^{\ast}} \int_{0}^{l}|U_{1xx}-U_{1x}|^{2} \,dx\, d\tau} \\ &\qquad+C\max|A|\sqrt{ \int_{0}^{\tau^{\ast}} \int_{0}^{l}|\varphi_{1}|^{2}\, dx\,d\tau} \cdot\sqrt{ \int_{0}^{\tau^{\ast}} \int_{0}^{l}|u_{xx}-u_{x}|^{2} \,dx\, d\tau} \\ &\quad\leq C\max|A|^{2}\sqrt{\tau^{\ast} \biggl( \int_{0}^{\tau^{\ast}} \int _{0}^{l} \bigl(|U_{2x}|^{2}+| \varphi_{1\tau}|^{2} \bigr)\,dx\,d\tau+ \int _{0}^{l}\big|U_{2}\bigl(x, \tau^{\ast}\bigr)-U^{\ast}(x)\big|^{2}\,dx \biggr)} \\ &\qquad\cdot\sqrt{ \int_{0}^{\tau^{\ast}} \int_{0}^{l}|U_{2xx}-U_{2x}|^{2} \, dx\,d\tau} \\ &\qquad+C\max|A|^{2}\sqrt{ \int_{0}^{\tau^{\ast}} \int_{0}^{l}|\varphi _{1}|^{2} \,dx\,d\tau} \cdot\sqrt{ \int_{0}^{\tau^{\ast}} \int_{0}^{l}|U_{1xx}-U_{1x}|^{2} \,dx\, d\tau} \\ &\qquad+C\max|A|^{2}\sqrt{\tau^{\ast} \int_{0}^{\tau^{\ast}} \int _{0}^{l}|\varphi_{1}|^{2} \,dx\,d\tau} \cdot\sqrt{ \int_{0}^{\tau^{\ast}} \int_{0}^{l}|U_{2xx}-U_{2x}|^{2} \,dx\, d\tau}.\end{aligned} $$
$$\begin{gathered} \int_{0}^{\tau^{\ast}} \int_{0}^{l}|U_{1xx}-U_{1x}|^{2} \,dx\,d\tau\leq C,\qquad \int_{0}^{\tau^{\ast}} \int_{0}^{l}|U_{2xx}-U_{2x}|^{2} \,dx\,d\tau \leq C, \\ \int_{0}^{\tau^{\ast}} \int_{0}^{l}|\varphi_{1}|^{2} \,dx\,d\tau\leq C\tau^{*},\qquad \int_{0}^{\tau^{\ast}} \int_{0}^{l}\varphi_{1\tau}^{2}\,dx \, d\tau\leq C,\\ \int_{0}^{l}\big|U_{2}\bigl(x, \tau^{\ast}\bigr)-U^{\ast}(x)\big|^{2}\,dx\leq C.\end{gathered} $$
$$ \mu \int_{0}^{l}|\nabla A|^{2}\,dx \leq C \max|A|^{2}\bigl(\sqrt{\tau^{\ast}}+\tau^{\ast}\bigr)\leq C\bigl(\sqrt{\tau^{\ast}}+\tau^{\ast}\bigr) \int_{0}^{l}|\nabla A|^{2}\,dx. $$
(5.13)
$$ \frac{C}{\mu}\bigl(\sqrt{\tau^{\ast}}+\tau^{\ast}\bigr)= \frac{1}{4}. $$
(5.14)
$$ \int_{0}^{l} |\nabla A|^{2}\,dx \leq0. $$
(5.15)
$$A(x)=a_{1}(x)-a_{2}(x)=a_{1}(x_{0})-a_{2}(x_{0}) \equiv0, \quad x\in(0,l). $$
6 Stability
In the previous section, we have obtained the existence and uniqueness of the optimal solution. In this section, we will discuss the stability of the solution.
We suppose that the exact final observation \(U^{*}(x)\) is attainable, i.e., there exists \(a\in\mathcal{A}\) with \(U(x,\tau;a)=U^{*}(x)\), and that an upper bound σ for the noise level of the observation is known a priori. Let \(a_{\sigma}\in\mathcal{A}\) denote the solution to problem (2.1) with \(U^{*}(x)\) replaced by \(U^{*}_{\sigma}(x)\).
$$\big\| U^{*}_{\sigma}(x)-U^{*}(x)\big\| _{L^{2}(0,l)}\leq \sigma $$
Theorem 6.1
The minimization of (2.1) is stable with respect to perturbations in the small data
σ, i.e., if
\(U^{*}_{\sigma }(x)\rightarrow U^{*}(x)\), then we have the following estimate in
\(L^{2}(0,l)\):
$$ a^{\sigma}\rightarrow a, \qquad J_{\epsilon}(a_{\sigma})\rightarrow J_{\epsilon}(a), \qquad G(a_{\sigma})\rightarrow G(a). $$
Proof
\(U_{\sigma}^{*}(x)\rightarrow U^{*}(x)\) in \(L^{2}(\Omega)\) implies that \((a_{\sigma},U_{\sigma}(x,\tau) )\) satisfies Since \(a_{\sigma}\) is bounded in \(\mathcal{A}\), there exists a weakly convergent subsequence \(\{a_{n}\}\) of \(a_{\sigma}\) satisfying \(\{a_{n}\} \rightharpoonup\widehat{a}\). Similarly, there exists a subsequence \(\{U_{n}(x,\tau) \}\) corresponding to \(\{a_{n}\}\) such that \(\{ U_{n}(x,\tau) \}\rightharpoonup\widehat{U}(x,\tau)\). By the weak semi-continuity of the \(L^{2}\)-norm, we have and From (6.1), then for any \(a\in L^{2}(0,l)\), we have From this we can find that â is a solution of the optimal control problem P and satisfies If \(\{a_{n}\}\) does not converge to â, then and there exists a subsequence \(a_{m}\) of \(a_{n}\) satisfying From (6.2) we have which is a contradiction to (6.3). This shows that The proof of Theorem 6.1 is thus completed. □
$$\begin{aligned}[b] &\frac{1}{2} \bigl\Vert U(x,\tau)-U_{\sigma}^{*}(x) \bigr\Vert ^{2}_{L^{2}(0,l)}+\frac{N}{2}J_{\epsilon}(a_{\sigma})+ \frac{\mu }{2}G_{\epsilon}(a_{\sigma}) \\ &\quad\leq \frac{1}{2} \bigl\Vert U(x,\tau)-U_{\sigma}^{*}(x) \bigr\Vert ^{2}_{L^{2}(0,l)}+\frac{N}{2}J_{\epsilon}(a)+ \frac{\mu}{2}G_{\epsilon }(a).\end{aligned} $$
(6.1)
$$ J_{\epsilon}(\widehat{a})\leq \lim_{n\rightarrow\infty}\sup J_{\epsilon}(a_{n}) $$
$$\begin{aligned} &\frac{1}{2} \bigl\Vert \widehat{U}(x,\tau)-U^{*}(x) \bigr\Vert ^{2}_{L^{2}(0,l)}+\frac{\mu}{2} \Vert \nabla\widehat{a} \Vert _{L^{2}(0,l)} \\ &\quad\leq \limsup \biggl\{ \frac{1}{2} \bigl\Vert U_{n}(x, \tau)-U_{n}^{*}(x) \bigr\Vert ^{2}_{L^{2}(0,l)} \biggr\} +\frac{\mu}{2} \Vert \nabla a_{n} \Vert _{L^{2}(0,l)}.\end{aligned} $$
$$\begin{aligned} &\frac{1}{2} \bigl\Vert \widehat{U}(x,\tau)-U^{*}(x) \bigr\Vert ^{2}_{L^{2}(0,l)}+\frac{N}{2}J_{\epsilon}( \widehat{a})+\frac{\mu }{2}G(\widehat{a}) \\ &\quad\leq \liminf \biggl\{ \frac{1}{2} \bigl\Vert U_{n}(x, \tau)-U_{n}^{*}(x) \bigr\Vert ^{2}_{L^{2}(0,l)}+ \frac{N}{2}J_{\epsilon}(a_{n})+\frac{\mu }{2}G(a_{n}) \biggr\} \\ &\quad\leq \limsup \biggl\{ \frac{1}{2} \bigl\Vert U_{n}(x, \tau)-U_{n}^{*}(x) \bigr\Vert ^{2}_{L^{2}(0,l)}+ \frac{N}{2}J_{\epsilon}(a_{n})+\frac{\mu }{2}G(a_{n}) \biggr\} \\ &\quad\leq\lim_{n\rightarrow\infty} \biggl\{ \frac{1}{2} \bigl\Vert U(x, \tau )-U_{n}^{*}(x) \bigr\Vert ^{2}_{L^{2}(0,l)}+ \frac{N}{2}J_{\epsilon }(a)+\frac{\mu}{2}G(a) \biggr\} \\ &\quad=\frac{1}{2} \bigl\Vert U(x,\tau)-U^{*}(x) \bigr\Vert ^{2}_{L^{2}(0,l)}+\frac {N}{2}J_{\epsilon}(a)+ \frac{\mu}{2}G(a). \end{aligned}$$
$$ \begin{aligned}[b]&\lim_{n\rightarrow\infty} \biggl\{ \frac{1}{2} \bigl\Vert U_{n}(x,\tau )-U_{n}^{*}(x) \bigr\Vert ^{2}_{L^{2}(0,l)}+\frac{N}{2}J_{\epsilon }(a_{n})+ \frac{\mu}{2}G(a_{n}) \biggr\} \\ &\quad=\frac{1}{2} \bigl\Vert \widehat{U}(x,\tau)-U^{*}(x) \bigr\Vert ^{2}_{L^{2}(0,l)}+\frac{N}{2}J_{\epsilon}( \widehat{a})+\frac{\mu }{2}G(\widehat{a}).\end{aligned} $$
(6.2)
$$\begin{aligned} &\frac{1}{2} \bigl\Vert \widehat{U}(x,\tau)-U^{*}(x) \bigr\Vert ^{2}_{L^{2}(0,l)}+\frac{\mu}{2}G(\widehat{a}) \\ &\quad< \limsup \biggl\{ \frac{1}{2} \bigl\Vert U_{n}(x, \tau)-U^{*}(x) \bigr\Vert ^{2}_{L^{2}(0,l)}+ \frac{N}{2}J_{\epsilon}(a_{n})+\frac{\mu }{2}G(a_{n}) \biggr\} =:C,\end{aligned} $$
$$ \begin{gathered} a_{m}\rightharpoonup\widehat{a} ,\qquad U_{m} \rightharpoonup\widehat{U}, \qquad J_{\epsilon}(\widehat{a})\leq\lim _{m\rightarrow\infty}J_{\epsilon }(a_{m}), \\ \frac{1}{2} \bigl\Vert U_{m}(x,\tau)-U^{*}(x) \bigr\Vert ^{2}_{L^{2}(0,l)}+\frac{\mu}{2}G(a_{m}) \rightarrow C.\end{gathered} $$
(6.3)
$$ \frac{N}{2}\lim_{m\rightarrow\infty}J_{\epsilon}(a_{m})= \frac {N}{2}J_{\epsilon}(\widehat{a})+\frac{1}{2} \bigl\Vert \widehat{U}(x,\tau )-U^{*}(x) \bigr\Vert ^{2}_{L^{2}(0,l)}+ \frac{\mu}{2}G(\widehat{a})-C< \frac {N}{2}J_{\epsilon}(\widehat{a}), $$
(6.4)
$$ a_{m}\rightarrow\widehat{a},\qquad \lim_{m\rightarrow\infty}J_{\epsilon}(a_{m})=J_{\epsilon}( \widehat{a}), \qquad G(a_{m})\rightarrow G(\widehat{a}). $$
(6.5)
7 Concluding remarks
A lot of research works have been made to identify the implied volatility by regularization methods. In this paper, we propose the total variation regularization strategy for solving the implied volatility in the Black-Scholes model. Based on the optimal control framework, the inverse problem of determining the implied volatility in financial products linked with gold price is discussed, which is still an interesting issue in financial mathematics. Since the profit of the derivative product depends not only on some cumulative indexes of gold price but also on some trigger indexes, such kind of product is, in a sense, similar to the double barrier option. So, it is quite meaningful to reconstruct the volatility function by the information obtained from the financial market.
The difficulty is due to the lack of conventional stability, nonlinearity and nonconvexity. Based on the optimal control framework, the inverse problem is reduced to an optimization problem, then we propose the total variation regularization for identifying the implied volatility, and the existence, uniqueness and stability of the minimizer are proved. The results obtained in the paper are interesting and useful and may be applied to a variety of derivatives pricing problems.
Declarations
Acknowledgements
We would like to thank the editor and anonymous referees for their valuable comments and helpful suggestions, which improved the earlier version of the manuscript. This work is supported by the National Natural Science Foundation of China (No. 11261029, 11461039).
Authors’ contributions
All authors read and approved the final version of the manuscript.
Competing interests
None of the authors has any competing interests as regards the manuscript.
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.
Authors’ Affiliations
(1)
College of Information Engineering, Tarim University, Alar, Xinjiang, 843300, China
References
- Jiang, LS: Mathematical Modeling and Methods of Option Pricing. Higher Education Press, Beijing (2008) Google Scholar
- Jiang, LS, Xu, CL, Ren, XM, Li, SH: Mathematical Models and Cases Analysis of Financial Derivatives Pricing. Higher Education Press, Beijing (2008) Google Scholar
- Engl, HW, Hanke, M, Neubauer, A: Regularization of Inverse Problems. Kluwer Academic, Dordrecht (1996) View ArticleMATHGoogle Scholar
- Dupire, B: Pricing with a smile. Risk 7(1), 18-20 (1994) Google Scholar
- Bouchouev, I, Isakov, V: Uniqueness, stability and numerical methods for the inverse problem that arises in financial markets. Inverse Probl. 15, R95-R116 (1999) MathSciNetView ArticleMATHGoogle Scholar
- Yang, L, Deng, ZC: An inverse radiative coefficient problem arising in a two-dimensional heat conduction equation with a homogeneous Dirichlet boundary condition in a circular section. J. Math. Anal. Appl. 435, 917-943 (2016) MathSciNetView ArticleMATHGoogle Scholar
- Deng, ZC, Yu, JN, Yang, L: An inverse problem of determining the implied volatility in option pricing. J. Math. Anal. Appl. 340, 16-31 (2008) MathSciNetView ArticleMATHGoogle Scholar
- Isakov, V: Inverse Problems for Partial Differential Equations. Springer, New York (1998) View ArticleMATHGoogle Scholar
- Isakov, V: Recovery of time dependent volatility coefficient by linearization. Evol. Equ. Control Theory 3, 119-134 (2014) MathSciNetView ArticleMATHGoogle Scholar
- Jiang, LS, Chen, QH, Wang, LJ, Zhang, JE: A new well-posed algorithm to recover implied local volatility. Quant. Finance 4, 451-457 (2003) MathSciNetView ArticleGoogle Scholar
- Jiang, LS, Tao, YS: Identifying the volatility of underlying assets from option prices. Inverse Probl. 17, 137-155 (2001) MathSciNetView ArticleMATHGoogle Scholar
- Lu, L, Yi, L: Recover implied volatility of underlying asset from European option price. J. Inverse Ill-Posed Probl. 17, 499-509 (2009) MathSciNetView ArticleMATHGoogle Scholar
- Wang, SL, Yang, YF: The total variation model for determining the implied volatility in option pricing. J. Comput. Appl. Math. 17(1), 111-124 (2014) MathSciNetMATHGoogle Scholar
- Hoa, NV, Khanh, TQ: Two-parameter regularization method for an axisymmetric inverse heat problem. Bound. Value Probl. 2017, Article ID 25 (2017) MathSciNetView ArticleMATHGoogle Scholar
- Bouchouev, I, Isakov, V: The inverse problem of option pricing. Inverse Probl. 13, 7-11 (1997) MathSciNetView ArticleMATHGoogle Scholar
- Mishura, Y: Diffusion approximation of recurrent schemes for financial markets, with application to the Ornstein-Uhlenbeck process. Opusc. Math. 35(1), 99-116 (2015) MathSciNetView ArticleMATHGoogle Scholar
- Leszczyński, M, Ratajczyk, E, Ledzewicz, U, Schättler, H: Sufficient conditions for optimality for a mathematical model of drug treatment with pharmacodynamics. Opusc. Math. 37(3), 403-419 (2017) MathSciNetView ArticleMATHGoogle Scholar
- Zeng, YH, Wang, SL, Yang, YF: Calibration of the volatility in option pricing using the total variation regularization. J. Appl. Math. 2014, Article ID 510819 (2014) MathSciNetGoogle Scholar
- Deng, ZC, Yang, L, Yu, JN, Luo, GW: Identifying the diffusion coefficient by optimization from the final observation. Appl. Math. Comput. 219, 4410-4422 (2013) MathSciNetMATHGoogle Scholar
- Chen, Q, Liu, JJ: Solving an inverse parabolic problem by optimization from final measurement data. J. Comput. Appl. Math. 193, 183-203 (2006) MathSciNetView ArticleMATHGoogle Scholar
- Sakthivel, K, Gnanavel, S: Inverse problem for the reaction diffusion system by optimization method. Appl. Math. Model. 35, 571-579 (2011) MathSciNetView ArticleMATHGoogle Scholar
- Yang, L, Yu, JN, Deng, ZC: An inverse problem of identifying the coefficient of parabolic equation. Appl. Math. Model. 32, 1984-1995 (2008) MathSciNetView ArticleMATHGoogle Scholar
- Rudin, L, Osher, S, Fatemi, E: Nonlinear total variation based noise removal algorithms. Physica D 60, 259-268 (1992) MathSciNetView ArticleMATHGoogle Scholar
- Zeng, YH, Wang, SL, Yang, YF: The adjoint method for the inverse problem of option pricing. Math. Probl. Eng. 2014, Article ID 314104 (2014) MathSciNetGoogle Scholar
- Adams, RA: Sobolev Spaces. Academic Press, New York (1975) MATHGoogle Scholar
Copyright
© The Author(s) 2018
