In mathematical finance, Dupire’s formula (local volatility) is expressed in the following form
The Dupire formula enables us to deduce the volatility function in a local volatility model from quoted put and call options in the market. In a local volatility model the asset price model is under a risk-neutral measurement. For the relevant formula, reference  .
Non-homogeneous Dupire’s equation is shown as follows,
The Dupire equation is a forward equation for the call option price V as a function of the strike price S and the time to maturity t. The local volatility of the underlying assets is a deterministic function of assets price and the time t.
Therefore under local volatility model, the stochastic process followed by the stock price is
: The randomness from the stock price:  .
In the 1970s, when Black-Scholes formula was initially derived, most people were convinced that the volatility of a certain asset given the current circumstance was a constant number. Then, later on, after the economic crash in 1987, people were starting to doubt the constant volatility assumption. Especially after more and more evidence of volatility smile was collected, people tend to believe that the implied volatilities cannot remain constant during the whole time. They probably have some dependent relationships with some other factors in the option pricing model as well. One of such guesses is that, the implied volatility could be depending on the stock price S(t) and time t. And if we study a model of price processes with a volatility that depends on the stock price S(t) and time t, we can try to explore the inner connection between the implied volatility, and the local volatility. The volatility in such models depends on the σ imply stock price S(t) and time t  .
In mathematical physics, one of the most famous diffusion equations is a partial differential equation that describes the flow of heat and is given by
where is a function of space x and time t and k is an arbitrary real constant known as the diffusion coefficient. The above is called a heat equation. Black-Scholes PDE, even though explicitly not a heat equation, can be transformed into a heat equation like the above with suitable transformation of variables. To be exact, the heat equation is not the most generalized form of diffusion equation that arises in physics, but we shall currently limit our discussion to the heat equation because that will suffice for our understanding of dynamics of financial derivatives.
We can think of a call option (on a financial asset) being governed by an equation similar to the above, where will be the call option price as a function of a spatial variable, S the asset price (here, ) and time, t. The diffusion coefficient, k can be thought as the volatility of the asset price.
Formerly studies related to inverse problem for parabolic equations can be examined in  -  .
We handle inverse problem for some partial differential equations in finance (i.e., Black-Scholes-Merton Equation, Backward Kolmogorov Equation, and Dupire’s Equation, etc.)
In this study, we take into consideration the following equation
with the initial condition,
The periodic boundary condition
And the over determination condition
The problem of finding a pair in (1.1)-(1.4) is called inverse problem for Dupire’s Equation.
2. Converting the Dupire’s Equation to the Diffusion Equation
Under the transformations;
When taken, we get,
3. Existence and Uniqueness of the Solution of the Transformed Inverse Problem 
There are the following assumptions on the data of problem (2.1)-(2.4).
Then the so-called inverse problem (2.1)-(2.4) has a unique solution.
Take into consideration the following function system on [0,1].
Riesz bases in
It is easy to verify that each systems (3.1) and (3.2) are biorthogonal on [0,1]. Applying the standard procedure of the Fourier method, we get the following presentation for the solution (2.1)-(2.3) for arbitrary :
where and ,
The assumption , , , are consistent conditions for the presentation (3.3) of the solution to be valid. Besides, under the smoothness assumptions ,
and , , the series (3.3) and its x-
partial derivative ( ) uniformly convergent in because their majorizing
sums are absolutely convergent. So, their sums and are con-
tinuous in . Additionally, the -partial derivative ( ) and xx-second order partial derivative ( ) series are uniformly convergent for ( is an arbitrary constant-positive number). Thus, and satisfies conditions (2.1)-(2.3). Additionally, is continuous in since the majorizing sum of -partial derivative ( ) series is absolutely convergent according to the conditions
and in . 
Equation (2.4) could be differentiated according to (v1) to obtain;
Besides, under the consistency assumption the formulas (3.3)-(3.4) result the following Volterra integral equation (Second kind):
Consider that the dominator in (3.6) and (3.7) is never equal to zero, since the assumption , . In the light of the assumptions (v1)-(v3), the function and the kernel are continuous functions on and , respectively. So, we get a unique function which is continuous on and together with the solution of the so-called problem (2.1)-(2.3) given by Fourier series (3.3), forms the unique solution of the inverse problem (2.1)-(2.4)  .
4. Continuous Dependence of (P,v) on the Data
Theorem  : Let be class of triples in the form satisfying the assumptions (v1)-(v3) and let
, , ,
for some positive constants .
Then, the solution pair of the so-called problem (2-1)-(2.4) depends on the data in for small T.
Proof: and be two data in . Let’s demonstrate
Let and be solutions of the inverse problem (2.1)-(2.4) corresponding data and , respectively. It is apparent from (3.5)-(3.7) there are positive constants such that
It infers from (3.6)-(3.7) that
From (3.5), we get that
for small. Eventually, we get,
In a similar way, we get the difference from (3.3)
In this paper, inverse Problem of Dupire’s Equation Type with Nonlocal Boundary and Integral Conditions has been examined. In the theoretical, the conditions for the existence, uniqueness and continuous dependence on the data of the problem have been established. Then it is shown that the problem is well-posed problem (in the sense of Hadamard).