<?xml version="1.0" encoding="UTF-8"?><!DOCTYPE article  PUBLIC "-//NLM//DTD Journal Publishing DTD v3.0 20080202//EN" "http://dtd.nlm.nih.gov/publishing/3.0/journalpublishing3.dtd"><article xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" dtd-version="3.0" xml:lang="en" article-type="research article"><front><journal-meta><journal-id journal-id-type="publisher-id">JMF</journal-id><journal-title-group><journal-title>Journal of Mathematical Finance</journal-title></journal-title-group><issn pub-type="epub">2162-2434</issn><publisher><publisher-name>Scientific Research Publishing</publisher-name></publisher></journal-meta><article-meta><article-id pub-id-type="doi">10.4236/jmf.2015.55041</article-id><article-id pub-id-type="publisher-id">JMF-61674</article-id><article-categories><subj-group subj-group-type="heading"><subject>Articles</subject></subj-group><subj-group subj-group-type="Discipline-v2"><subject>Business&amp;Economics</subject><subject> Physics&amp;Mathematics</subject></subj-group></article-categories><title-group><article-title>
 
 
  Conditional Law of the Hitting Time for a L&#233;vy Process in Incomplete Observation
 
</article-title></title-group><contrib-group><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>aly</surname><given-names>Ngom</given-names></name><xref ref-type="aff" rid="aff1"><sub>1</sub></xref><xref ref-type="corresp" rid="cor1"><sup>*</sup></xref></contrib></contrib-group><aff id="aff1"><label>1</label><addr-line>IMT, University of Toulouse, France</addr-line></aff><author-notes><corresp id="cor1">* E-mail:<email>ngomwaly@gmail.com</email></corresp></author-notes><pub-date pub-type="epub"><day>26</day><month>11</month><year>2015</year></pub-date><volume>05</volume><issue>05</issue><fpage>505</fpage><lpage>524</lpage><history><date date-type="received"><day>8</day>	<month>October</month>	<year>2015</year></date><date date-type="rev-recd"><day>accepted</day>	<month>27</month>	<year>November</year>	</date><date date-type="accepted"><day>30</day>	<month>November</month>	<year>2015</year></date></history><permissions><copyright-statement>&#169; Copyright  2014 by authors and Scientific Research Publishing Inc. </copyright-statement><copyright-year>2014</copyright-year><license><license-p>This work is licensed under the Creative Commons Attribution International License (CC BY). http://creativecommons.org/licenses/by/4.0/</license-p></license></permissions><abstract><p>
 
 
   We study the default risk in incomplete information. That means we model the value of a firm by a L&#233;vy process which is the sum of a Brownian motion with drift and a compound Poisson process. This L&#233;vy process cannot be completely observed, and another process represents the available information on the firm. We obtain a stochastic Volterra equation satisfied by the conditional density of the default time given the available information. The uniqueness of solution of this equation is proved. Numerical examples of (conditional) density are also given. 
 
</p></abstract><kwd-group><kwd>Conditional Density</kwd><kwd> Default Time</kwd><kwd> L&#233;vy Processes</kwd><kwd> Filtering Theory</kwd><kwd> Stochastic Voltera Equations</kwd></kwd-group></article-meta></front><body><sec id="s1"><title>1. Introduction</title><p>Here we consider a jump-diffusion process X which models the value of a firm. This is a L&#233;vy process. Details on this class of processes can be found in [<xref ref-type="bibr" rid="scirp.61674-ref1">1</xref>] and [<xref ref-type="bibr" rid="scirp.61674-ref2">2</xref>] . Their use in financial modeling is well developed in [<xref ref-type="bibr" rid="scirp.61674-ref3">3</xref>] . We study the first passage time of process X at level <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x6.png" xlink:type="simple"/></inline-formula> modeling the default time. We investigate the behavior of the default time under incomplete observation of assets. In the literature, there exists some papers in relation to this topic. Duffie and Lando [<xref ref-type="bibr" rid="scirp.61674-ref4">4</xref>] suppose that bond investors cannot observe the issuer’s assets directly; instead, they only receive periodic and imperfect reports. For a setting in which the assets of the firm are geometric Brownian motion until informed equity holders optimally liquidate, they derive the conditional distribution of the assets, and give the available information. In a similar model, but with complete information, Kou and Wang [<xref ref-type="bibr" rid="scirp.61674-ref5">5</xref>] study the first passage time of a jump-diffusion process whose jump sizes follow a double exponential distribution. They obtain explicit solutions of the Laplace transform of the distribution of the first passage time. Laplace transform of the joint distribution of jump-diffusion and its running maximum, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x7.png" xlink:type="simple"/></inline-formula>, is too obtained. To finish, they give numerical examples. Bernyk et al. [<xref ref-type="bibr" rid="scirp.61674-ref6">6</xref>] , for their part, consider stable L&#233;vy process X of index <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x8.png" xlink:type="simple"/></inline-formula> with non negative jumps and its running maximum. They characterize the density function of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x9.png" xlink:type="simple"/></inline-formula> as the unique solution of a weakly singular Volterra integral equation of the first kind. This leads to an explicit representation of the density of the first passage time. To unify the noisy information in Duffie and Lando [<xref ref-type="bibr" rid="scirp.61674-ref4">4</xref>] , X. Guo, R. A. Jarrow and Y. Zang [<xref ref-type="bibr" rid="scirp.61674-ref7">7</xref>] define a filtration which models incomplete information. By simple examples, they give the importance of this notion. Similarly to Kou and Wang, without specifying the jumps size law, Dorobantu [<xref ref-type="bibr" rid="scirp.61674-ref8">8</xref>] provides the intensity function of the default time. That is very important for investors, but the information brought by this intensity is low. Furthermore, Roynette et al. [<xref ref-type="bibr" rid="scirp.61674-ref9">9</xref>] prove that the Laplace transform of the random triplet (first passage time, overshoot, undershoot) satisfies an integral equation. After normalization of the first passage time, they show under some convenient assumptions that the random triplet converges in distribution as level x goes to<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x10.png" xlink:type="simple"/></inline-formula>. Gapeev and Jeanblanc [<xref ref-type="bibr" rid="scirp.61674-ref10">10</xref>] study a model of a financial market in which the dividend rates of two risky asset’s initial values change when certain unobservable external events occur. The asset price dynamics are described by a geometric Brownian motion, with random drift rates switching at independent exponential random times. These random times are independent of the constantly correlated driving Brownian motion. They obtain closed expressions for rational values of European contingent claims given the available information. Moreover, estimates of the switching times and their conditional probability density are provided. Coutin and Dorobantu [<xref ref-type="bibr" rid="scirp.61674-ref11">11</xref>] prove that the default time law has a density (defective when<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x11.png" xlink:type="simple"/></inline-formula>) with respect to the Lebesgue measure in case of a stationary independent increment process built on a pair (compound Poisson process, Brownian motion).</p><p>We extend this approach studying the conditional law of the first passage time of L&#233;vy process at level x given a partial information. We solve this problem using filtering theory inspired by Zakai [<xref ref-type="bibr" rid="scirp.61674-ref12">12</xref>] , Pardoux [<xref ref-type="bibr" rid="scirp.61674-ref13">13</xref>] , Coutin [<xref ref-type="bibr" rid="scirp.61674-ref14">14</xref>] , Bain and Crisan [<xref ref-type="bibr" rid="scirp.61674-ref15">15</xref>] , based on the so called “reference probability measure” method. The paper is organized as follows: Section 2 sets the model; Section 3 gives the results on the existence of the conditional density given the observed filtration and on the integro-differential equation satisfied by this conditional density; Section 4 gives the proofs of the results. To finish, we conclude and give some auxiliary results in Appendix.</p></sec><sec id="s2"><title>2. Model and Motivations</title><p>This section defines the basic space in which we work and announces what we will do. Subsection 2.1 gives the model of the firm value and defines the default time. Subsection 2.2 recalls some important results in the complete information case. Subsection 2.3 defines the signal and observation process and the model for available information. Basically, it introduces the notion of filtering theory. Subsection 2.4 gives our motivation.</p><sec id="s2_1"><title>2.1. Construction of the Model</title><p>Let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x12.png" xlink:type="simple"/></inline-formula> be a filtered probability space satisfying the usual conditions on which we define a</p><p>standard Brownian motion W, a sequence of independent and identically distributed random variables <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x13.png" xlink:type="simple"/></inline-formula></p><p>with distribution function<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x14.png" xlink:type="simple"/></inline-formula>, a Poisson process N with intensity <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x15.png" xlink:type="simple"/></inline-formula> and a stochastic process Q. We assume that all these elements are independent, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x16.png" xlink:type="simple"/></inline-formula>is a Brownian motion and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x17.png" xlink:type="simple"/></inline-formula> is a compound</p><p>Poisson process with intensity ν under <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x18.png" xlink:type="simple"/></inline-formula>defined for any Borel set A by<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x19.png" xlink:type="simple"/></inline-formula>. On this</p><p>probability space, we define a process X as follows:</p><disp-formula id="scirp.61674-formula261"><label>(1)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/6-1490372x20.png"  xlink:type="simple"/></disp-formula><p>X models a firm value and the default is modeled by the first passage time of X at a level<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x21.png" xlink:type="simple"/></inline-formula>. Hence the default time is defined as</p><disp-formula id="scirp.61674-formula262"><label>. (2)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/6-1490372x22.png"  xlink:type="simple"/></disp-formula><p>We suppose that X is not perfectly observable and that observation is modeled by process Q.</p></sec><sec id="s2_2"><title>2.2. Some Results When X Is Perfectly Observed</title><p>Let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x23.png" xlink:type="simple"/></inline-formula> be a Brownian motion with drift m&#206;R (<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x23.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x24.png" xlink:type="simple"/></inline-formula>). For<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x23.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x24.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x25.png" xlink:type="simple"/></inline-formula>, we let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x23.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x24.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x25.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x26.png" xlink:type="simple"/></inline-formula></p><p>By (5.12) page 197 of [<xref ref-type="bibr" rid="scirp.61674-ref16">16</xref>] , <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x27.png" xlink:type="simple"/></inline-formula>has the following law on<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x27.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x28.png" xlink:type="simple"/></inline-formula>:</p><disp-formula id="scirp.61674-formula263"><label>(3)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/6-1490372x29.png"  xlink:type="simple"/></disp-formula><p>where</p><disp-formula id="scirp.61674-formula264"><graphic  xlink:href="http://html.scirp.org/file/6-1490372x30.png"  xlink:type="simple"/></disp-formula><p>The function <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x31.png" xlink:type="simple"/></inline-formula> is <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x31.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x32.png" xlink:type="simple"/></inline-formula> on<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x31.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x32.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x33.png" xlink:type="simple"/></inline-formula>, and all its derivatives admit 0 as right limit at 0 and therefore belongs</p><p>to<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x34.png" xlink:type="simple"/></inline-formula>. For<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x34.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x35.png" xlink:type="simple"/></inline-formula>, Roynette et al. [<xref ref-type="bibr" rid="scirp.61674-ref9">9</xref>] consider as a firm value the process <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x34.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x35.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x36.png" xlink:type="simple"/></inline-formula> and</p><p>as a default time the random variable <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x37.png" xlink:type="simple"/></inline-formula> They let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x37.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x38.png" xlink:type="simple"/></inline-formula> namely overshoot and</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x39.png" xlink:type="simple"/></inline-formula>namely undershoot. They prove that the Laplace transform of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x39.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x40.png" xlink:type="simple"/></inline-formula> satisfies an integral equation. After a suitable renormalization of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x39.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x40.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x41.png" xlink:type="simple"/></inline-formula> that we can note here<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x39.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x40.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x41.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x42.png" xlink:type="simple"/></inline-formula>, they show that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x39.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x40.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x41.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x42.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x43.png" xlink:type="simple"/></inline-formula> converges in distribution as x goes to<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x39.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x40.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x41.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x42.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x43.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x44.png" xlink:type="simple"/></inline-formula>. Overall they have obtained an asymptotic behavior of the defaut time, the overshoot and the undershoot.</p><p>For a general L&#233;vy process, Doney and Kiprianou [<xref ref-type="bibr" rid="scirp.61674-ref17">17</xref>] give the law of the quintuplet</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x45.png" xlink:type="simple"/></inline-formula>where <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x45.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x46.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x45.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x46.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x47.png" xlink:type="simple"/></inline-formula>.</p><p>Coutin and Dorobantu [<xref ref-type="bibr" rid="scirp.61674-ref11">11</xref>] consider (1) and (2) and show that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x48.png" xlink:type="simple"/></inline-formula> admits a density with respect to the Lebesgue measure. They give the following closed expression of this density</p><disp-formula id="scirp.61674-formula265"><label>(4)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/6-1490372x49.png"  xlink:type="simple"/></disp-formula><p>where <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x50.png" xlink:type="simple"/></inline-formula> is the sequence of the jump times of the process N.</p></sec><sec id="s2_3"><title>2.3. The Incomplete Information</title><p>Our work is inspired and is in the same spirit as D. Dorobantu [<xref ref-type="bibr" rid="scirp.61674-ref8">8</xref>] . In her thesis, Dorobantu assumes that investors wishing to detain a part of the firm do not have complete information. They don’t observe perfectly the process value X of the firm but a noisy value. She defined a process Q independent of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x51.png" xlink:type="simple"/></inline-formula> and satisfying the following evolution equation</p><disp-formula id="scirp.61674-formula266"><graphic  xlink:href="http://html.scirp.org/file/6-1490372x52.png"  xlink:type="simple"/></disp-formula><p>with h a Borel and bounded function and B a standard Brownian motion.</p><p>Definition 1. The process X is called the signal. The process Q is called the observation and is perfectly observed by investors.</p><p>This leads us to a filtering model and we introduce the filtering framework inspired of Zakai [<xref ref-type="bibr" rid="scirp.61674-ref12">12</xref>] , Coutin [<xref ref-type="bibr" rid="scirp.61674-ref14">14</xref>] or Pardoux [<xref ref-type="bibr" rid="scirp.61674-ref13">13</xref>] .</p><p>Since the function h is bounded, the Novikov condition, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x53.png" xlink:type="simple"/></inline-formula>is satisfied and we</p><p>define the following exponential martingale for the filtration <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x54.png" xlink:type="simple"/></inline-formula> by</p><disp-formula id="scirp.61674-formula267"><graphic  xlink:href="http://html.scirp.org/file/6-1490372x55.png"  xlink:type="simple"/></disp-formula><p>For a fixed maturity<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x56.png" xlink:type="simple"/></inline-formula>, the process <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x56.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x57.png" xlink:type="simple"/></inline-formula> is a uniformly integrable <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x56.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x57.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x58.png" xlink:type="simple"/></inline-formula>-martingale.</p><p>Definition 2. For fixed<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x59.png" xlink:type="simple"/></inline-formula>, let us define a probability measure <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x59.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x60.png" xlink:type="simple"/></inline-formula> on <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x59.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x60.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x61.png" xlink:type="simple"/></inline-formula> by</p><disp-formula id="scirp.61674-formula268"><graphic  xlink:href="http://html.scirp.org/file/6-1490372x62.png"  xlink:type="simple"/></disp-formula><p>We also note that the law of X, so the one of<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x63.png" xlink:type="simple"/></inline-formula>, under <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x63.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x64.png" xlink:type="simple"/></inline-formula> is the same as under<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x63.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x64.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x65.png" xlink:type="simple"/></inline-formula>. Note that investors have additional information on the firm which is modeled at time t by</p><disp-formula id="scirp.61674-formula269"><graphic  xlink:href="http://html.scirp.org/file/6-1490372x66.png"  xlink:type="simple"/></disp-formula><p>Then all the available information is represented by the filtration</p><disp-formula id="scirp.61674-formula270"><graphic  xlink:href="http://html.scirp.org/file/6-1490372x67.png"  xlink:type="simple"/></disp-formula><p>where the s-algebra <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x68.png" xlink:type="simple"/></inline-formula> is generated by the observation of the process Q up to time t.</p></sec><sec id="s2_4"><title>2.4. Motivations</title><p>D. Dorobantu [<xref ref-type="bibr" rid="scirp.61674-ref8">8</xref>] obtains the <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x69.png" xlink:type="simple"/></inline-formula>-intensity of the default, namely the <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x69.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x70.png" xlink:type="simple"/></inline-formula>-predictable process<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x69.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x70.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x71.png" xlink:type="simple"/></inline-formula>, such that</p><disp-formula id="scirp.61674-formula271"><graphic  xlink:href="http://html.scirp.org/file/6-1490372x72.png"  xlink:type="simple"/></disp-formula><p>is a <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x73.png" xlink:type="simple"/></inline-formula>-martingale. With this result, using their available information, the investors can predict the default time. More precisely, given that default did not occur at time t, the probability that it occurs at time <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x73.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x74.png" xlink:type="simple"/></inline-formula> is</p><p>approximated by<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x75.png" xlink:type="simple"/></inline-formula>. But the information brought by the knowledge of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x75.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x76.png" xlink:type="simple"/></inline-formula> is low. This motivates us to</p><p>show that the conditional law of default time <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x77.png" xlink:type="simple"/></inline-formula> given <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x77.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x78.png" xlink:type="simple"/></inline-formula> admits a density with respect to Lebesgue measure and to give its dynamic evolution.</p><p>This section presents our basic model of a firm with incomplete information about its assets. More generally, we treat a continuous time setting, staying with the work of D. Dorobantu [<xref ref-type="bibr" rid="scirp.61674-ref8">8</xref>] in her thesis second part. Next section gives our main results.</p></sec></sec><sec id="s3"><title>3. The Results</title><sec id="s3_1"><title>3.1. Existence of the Conditional Density</title><p>We recall that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x79.png" xlink:type="simple"/></inline-formula> is the default time of a firm and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x79.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x80.png" xlink:type="simple"/></inline-formula> is the available information of investors at time t. In this subsection, we prove that conditionally on the s-algebra<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x79.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x80.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x81.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x79.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x80.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x81.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x82.png" xlink:type="simple"/></inline-formula>admits a density with respect to the Lebesgue measure.</p><p>Proposition 1. For all<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x83.png" xlink:type="simple"/></inline-formula>, on the set<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x83.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x84.png" xlink:type="simple"/></inline-formula>, the <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x83.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x84.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x85.png" xlink:type="simple"/></inline-formula> conditional law of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x83.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x84.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x85.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x86.png" xlink:type="simple"/></inline-formula> has the following form</p><disp-formula id="scirp.61674-formula272"><label>(5)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/6-1490372x87.png"  xlink:type="simple"/></disp-formula><p>where</p><disp-formula id="scirp.61674-formula273"><graphic  xlink:href="http://html.scirp.org/file/6-1490372x88.png"  xlink:type="simple"/></disp-formula><p>And</p><disp-formula id="scirp.61674-formula274"><graphic  xlink:href="http://html.scirp.org/file/6-1490372x89.png"  xlink:type="simple"/></disp-formula><p>Remark 1 Referring to [<xref ref-type="bibr" rid="scirp.61674-ref9">9</xref>] , for all<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x90.png" xlink:type="simple"/></inline-formula>, the passage time <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x90.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x91.png" xlink:type="simple"/></inline-formula> is finite almost surely if and only if<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x90.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x91.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x92.png" xlink:type="simple"/></inline-formula>.</p></sec><sec id="s3_2"><title>3.2. Mixed Filtering-Integro-Differential Equation for Conditional Density</title><p>In this subsection, we give our main results. Indeed, we first show that the conditional law of the hitting time <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x93.png" xlink:type="simple"/></inline-formula></p><p>given the filtration <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x94.png" xlink:type="simple"/></inline-formula> satisfies a stochastic integro-differential equation. Afterwards, we give a uniqueness</p><p>result. This type of equation is the same as the one studied in [<xref ref-type="bibr" rid="scirp.61674-ref18">18</xref>] with the only difference that here, we have more general Voltera random coefficients.</p><p>Theorem 1. Let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x95.png" xlink:type="simple"/></inline-formula> be a real number. For any<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x95.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x96.png" xlink:type="simple"/></inline-formula>, on the set<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x95.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x96.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x97.png" xlink:type="simple"/></inline-formula>, the conditional density of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x95.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x96.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x97.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x98.png" xlink:type="simple"/></inline-formula> given <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x95.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x96.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x97.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x98.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x99.png" xlink:type="simple"/></inline-formula> satisfies the stochastic integro-differential equation:</p><disp-formula id="scirp.61674-formula275"><label>(6)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/6-1490372x100.png"  xlink:type="simple"/></disp-formula><p>where</p><disp-formula id="scirp.61674-formula276"><graphic  xlink:href="http://html.scirp.org/file/6-1490372x101.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.61674-formula277"><graphic  xlink:href="http://html.scirp.org/file/6-1490372x102.png"  xlink:type="simple"/></disp-formula><p>and G is defined in Proposition 1.</p><p>Proposition 2. If Equation (6) admits a solution, this one is unique.</p></sec><sec id="s3_3"><title>3.3. Some Technical Results</title><p>Here, we give some technical and auxiliary results which are useful to prove Theorem 1 and Proposition 2.</p><p>Proposition 3. For any bounded function <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x103.png" xlink:type="simple"/></inline-formula> such that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x103.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x104.png" xlink:type="simple"/></inline-formula> is <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x103.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x104.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x105.png" xlink:type="simple"/></inline-formula>-measurable, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x103.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x104.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x105.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x106.png" xlink:type="simple"/></inline-formula></p><disp-formula id="scirp.61674-formula278"><label>(7)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/6-1490372x107.png"  xlink:type="simple"/></disp-formula><p>By this proposition, we establish two corollaries which give a representation more accessible of the processes</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x108.png" xlink:type="simple"/></inline-formula>and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x108.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x109.png" xlink:type="simple"/></inline-formula>: we apply Proposition 3 respectively to the functions <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x108.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x109.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x110.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x108.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x109.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x110.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x111.png" xlink:type="simple"/></inline-formula> the second expressions being consequence of the fact that on the event</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x112.png" xlink:type="simple"/></inline-formula>τ<sub>x</sub> = u + <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x112.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x113.png" xlink:type="simple"/></inline-formula> (q is the shift operator) and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x112.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x113.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x114.png" xlink:type="simple"/></inline-formula></p><p>Corollary 1. For all <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x115.png" xlink:type="simple"/></inline-formula> we have <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x115.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x116.png" xlink:type="simple"/></inline-formula></p><p>1)<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x117.png" xlink:type="simple"/></inline-formula> (8)</p><p>and equivalently</p><p>2)<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x118.png" xlink:type="simple"/></inline-formula> (9)</p><p>Corollary 2. For <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x119.png" xlink:type="simple"/></inline-formula></p><p>1)<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x120.png" xlink:type="simple"/></inline-formula> (10)</p><p>and equivalently</p><p>2)<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x121.png" xlink:type="simple"/></inline-formula> (11)</p><p>Proposition 4. For any <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x122.png" xlink:type="simple"/></inline-formula> we have on the set <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x122.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x123.png" xlink:type="simple"/></inline-formula></p><disp-formula id="scirp.61674-formula279"><label>(12)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/6-1490372x124.png"  xlink:type="simple"/></disp-formula><p>Remark 2. Equation (12) of Proposition 4 can be rewriten as:</p><disp-formula id="scirp.61674-formula280"><graphic  xlink:href="http://html.scirp.org/file/6-1490372x125.png"  xlink:type="simple"/></disp-formula><p>Where</p><disp-formula id="scirp.61674-formula281"><graphic  xlink:href="http://html.scirp.org/file/6-1490372x126.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.61674-formula282"><graphic  xlink:href="http://html.scirp.org/file/6-1490372x127.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.61674-formula283"><graphic  xlink:href="http://html.scirp.org/file/6-1490372x128.png"  xlink:type="simple"/></disp-formula><p>This equation is similar to the non normalized conditional distribution Equation (3.43) in A. Bain and D. Crisan [<xref ref-type="bibr" rid="scirp.61674-ref15">15</xref>] , called Zakai equation.</p><p>In the same way, Equation (6) which is derived from (12) is similar to the normalized conditional distribution Equation (3.57) in A. Bain and D. Crisan [<xref ref-type="bibr" rid="scirp.61674-ref15">15</xref>] , called Kushner-Stratonovich equation.</p></sec><sec id="s3_4"><title>3.4. Numerical Examples</title><p>We simulate the density of the first passage time respectively in complete information and in incomplete information. We suppose that the jump size follows a double exponential distribution, i.e, the common density of Y</p><p>is given by <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x129.png" xlink:type="simple"/></inline-formula> where <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x129.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x130.png" xlink:type="simple"/></inline-formula> are constants, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x129.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x130.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x131.png" xlink:type="simple"/></inline-formula>and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x129.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x130.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x131.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x132.png" xlink:type="simple"/></inline-formula>.</p><p>Here, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x133.png" xlink:type="simple"/></inline-formula>and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x133.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x134.png" xlink:type="simple"/></inline-formula>. The difference between the figures is on one hand due to the</p><p>information and on another hand to the values taken by the parameters m and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x135.png" xlink:type="simple"/></inline-formula>.</p><p>These four first figures (Figue 1 and <xref ref-type="fig" rid="fig2">Figure 2</xref>) represent the densities of the first passage time for a jump</p><fig id="fig1"  position="float"><label><xref ref-type="fig" rid="fig1">Figure 1</xref></label><caption><title> Densities for<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x137.png" xlink:type="simple"/></inline-formula></title></caption><graphic mimetype="image"   position="float"  xlink:type="simple"  xlink:href="http://html.scirp.org/file/6-1490372x136.png"/></fig><fig id="fig2"  position="float"><label><xref ref-type="fig" rid="fig2">Figure 2</xref></label><caption><title> Densities for<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x139.png" xlink:type="simple"/></inline-formula></title></caption><graphic mimetype="image"   position="float"  xlink:type="simple"  xlink:href="http://html.scirp.org/file/6-1490372x138.png"/></fig><p>diffusion process (case of complete information). The variable <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x140.png" xlink:type="simple"/></inline-formula> and Monte Carlo results are based on 5000 simulation runs.</p><p><xref ref-type="fig" rid="fig3">Figure 3</xref>, <xref ref-type="fig" rid="fig4">Figure 4</xref> and <xref ref-type="fig" rid="fig6">Figure 6</xref> are those of the conditional density <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x141.png" xlink:type="simple"/></inline-formula> (case of incomplete information), for fixed <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x141.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x142.png" xlink:type="simple"/></inline-formula> and the variable r is such that<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x141.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x142.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x143.png" xlink:type="simple"/></inline-formula>. Part II of A. Bain and D. Crisan [<xref ref-type="bibr" rid="scirp.61674-ref15">15</xref>] , namely Numerical Algorithms, where the authors give some tools to solve the filtering problem is really useful. The class of the numerical method used is the particle method for continuous time framework.Here, the Monte Carlo results are based on 120 simulation runs.</p><p>We observe that the maximum reached is greater if the drift m is positive, meaning the positive level x is more probably reached in a shorter time.</p><p>In incomplete information, the distance between the curve and axis is greater than in complete information case, this would mean that in case of incomplete information, the level x is more difficult to be reached in a short time.</p><p>The choice of the small value of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x144.png" xlink:type="simple"/></inline-formula> serves to compare the results with the limiting Brownian motion case (<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x144.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x145.png" xlink:type="simple"/></inline-formula>). In complete information case, the formulae for the first passage times of Brownian motion can be found in [<xref ref-type="bibr" rid="scirp.61674-ref16">16</xref>] .</p><p>A large value of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x146.png" xlink:type="simple"/></inline-formula> implies a lot of jumps, a large computing time and less regular curve.</p><p>In these last four figures (<xref ref-type="fig" rid="fig5">Figure 5</xref> and <xref ref-type="fig" rid="fig6">Figure 6</xref>), the maximum reached is greater if the drift m is negative, meaning the positive level x is more probably reached in a shorter time. This is due to the very small value of<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x147.png" xlink:type="simple"/></inline-formula>.</p></sec></sec><sec id="s4"><title>4. Proofs</title><p>Proposition 1</p><p>Proof. First note that, since X is a <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x148.png" xlink:type="simple"/></inline-formula>-Markov process and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x148.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x149.png" xlink:type="simple"/></inline-formula>, we have</p><disp-formula id="scirp.61674-formula284"><graphic  xlink:href="http://html.scirp.org/file/6-1490372x150.png"  xlink:type="simple"/></disp-formula><p>The fact that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x151.png" xlink:type="simple"/></inline-formula> is a <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x151.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x152.png" xlink:type="simple"/></inline-formula>-stopping time justifies the last equality.</p><p>Secondly, for any <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x153.png" xlink:type="simple"/></inline-formula> the <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x153.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x154.png" xlink:type="simple"/></inline-formula> Markov property of the process X and the fact that on the set<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x153.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x154.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x155.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x153.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x154.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x155.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x156.png" xlink:type="simple"/></inline-formula>ensure</p><disp-formula id="scirp.61674-formula285"><graphic  xlink:href="http://html.scirp.org/file/6-1490372x157.png"  xlink:type="simple"/></disp-formula><fig id="fig3"  position="float"><label><xref ref-type="fig" rid="fig3">Figure 3</xref></label><caption><title> Conditional densities for<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x159.png" xlink:type="simple"/></inline-formula></title></caption><graphic mimetype="image"   position="float"  xlink:type="simple"  xlink:href="http://html.scirp.org/file/6-1490372x158.png"/></fig><fig id="fig4"  position="float"><label><xref ref-type="fig" rid="fig4">Figure 4</xref></label><caption><title> Conditional densities for<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x161.png" xlink:type="simple"/></inline-formula></title></caption><graphic mimetype="image"   position="float"  xlink:type="simple"  xlink:href="http://html.scirp.org/file/6-1490372x160.png"/></fig><p>The <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x162.png" xlink:type="simple"/></inline-formula>-conditional law of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x162.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x163.png" xlink:type="simple"/></inline-formula> has the density (possibly defective)<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x162.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x163.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x164.png" xlink:type="simple"/></inline-formula>, thus</p><disp-formula id="scirp.61674-formula286"><graphic  xlink:href="http://html.scirp.org/file/6-1490372x165.png"  xlink:type="simple"/></disp-formula><p>By hypothesis, we have <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x166.png" xlink:type="simple"/></inline-formula> It follows from Lemma 3 of Appendix that</p><disp-formula id="scirp.61674-formula287"><graphic  xlink:href="http://html.scirp.org/file/6-1490372x167.png"  xlink:type="simple"/></disp-formula><p>Then, we have for any <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x168.png" xlink:type="simple"/></inline-formula></p><fig id="fig5"  position="float"><label><xref ref-type="fig" rid="fig5">Figure 5</xref></label><caption><title> Densities for<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x170.png" xlink:type="simple"/></inline-formula></title></caption><graphic mimetype="image"   position="float"  xlink:type="simple"  xlink:href="http://html.scirp.org/file/6-1490372x169.png"/></fig><fig id="fig6"  position="float"><label><xref ref-type="fig" rid="fig6">Figure 6</xref></label><caption><title> Conditional densities for<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x172.png" xlink:type="simple"/></inline-formula></title></caption><graphic mimetype="image"   position="float"  xlink:type="simple"  xlink:href="http://html.scirp.org/file/6-1490372x171.png"/></fig><disp-formula id="scirp.61674-formula288"><graphic  xlink:href="http://html.scirp.org/file/6-1490372x173.png"  xlink:type="simple"/></disp-formula><p>Now, we show the equality almost surely for all <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x174.png" xlink:type="simple"/></inline-formula> Let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x174.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x175.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x174.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x175.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x176.png" xlink:type="simple"/></inline-formula> be the processes defined by</p><disp-formula id="scirp.61674-formula289"><graphic  xlink:href="http://html.scirp.org/file/6-1490372x177.png"  xlink:type="simple"/></disp-formula><p>These processes are increasing, then they are sub-martingales with respect to the filtration <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x178.png" xlink:type="simple"/></inline-formula> Note that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x178.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x179.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x178.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x179.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x180.png" xlink:type="simple"/></inline-formula> are too continuous. Using Revuz-Yor Theorem 2.9 p. 61 [<xref ref-type="bibr" rid="scirp.61674-ref19">19</xref>] , they have same c&#224;d-l&#224;g modification for all b, meaning that</p><disp-formula id="scirp.61674-formula290"><graphic  xlink:href="http://html.scirp.org/file/6-1490372x181.png"  xlink:type="simple"/></disp-formula><p>We conclude that, almost surely, for all <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x182.png" xlink:type="simple"/></inline-formula></p><disp-formula id="scirp.61674-formula291"><graphic  xlink:href="http://html.scirp.org/file/6-1490372x183.png"  xlink:type="simple"/></disp-formula><p>Taking<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x184.png" xlink:type="simple"/></inline-formula>, letting n going to infinity and using monotone Lebesgue Theorem yield that, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x184.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x185.png" xlink:type="simple"/></inline-formula></p><disp-formula id="scirp.61674-formula292"><graphic  xlink:href="http://html.scirp.org/file/6-1490372x186.png"  xlink:type="simple"/></disp-formula><p>□</p><p>Proposition 2</p><p>Proof. Let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x187.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x187.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x188.png" xlink:type="simple"/></inline-formula> be two solutions of Equation (6) and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x187.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x188.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x189.png" xlink:type="simple"/></inline-formula>. It follows that</p><disp-formula id="scirp.61674-formula293"><label>(13)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/6-1490372x190.png"  xlink:type="simple"/></disp-formula><p>where</p><disp-formula id="scirp.61674-formula294"><label>(14)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/6-1490372x191.png"  xlink:type="simple"/></disp-formula><p>We recall the expression</p><disp-formula id="scirp.61674-formula295"><graphic  xlink:href="http://html.scirp.org/file/6-1490372x192.png"  xlink:type="simple"/></disp-formula><p>and remark that<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x193.png" xlink:type="simple"/></inline-formula>. Then</p><disp-formula id="scirp.61674-formula296"><graphic  xlink:href="http://html.scirp.org/file/6-1490372x194.png"  xlink:type="simple"/></disp-formula><p>Markov property implies</p><disp-formula id="scirp.61674-formula297"><graphic  xlink:href="http://html.scirp.org/file/6-1490372x195.png"  xlink:type="simple"/></disp-formula><p>We use Lemma 4 with <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x196.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x196.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x197.png" xlink:type="simple"/></inline-formula> and it follows that</p><disp-formula id="scirp.61674-formula298"><graphic  xlink:href="http://html.scirp.org/file/6-1490372x198.png"  xlink:type="simple"/></disp-formula><p>and Lemma 7 (22) with the pair <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x199.png" xlink:type="simple"/></inline-formula> gets</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x200.png" xlink:type="simple"/></inline-formula>.</p><p>All computations are done on the set<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x201.png" xlink:type="simple"/></inline-formula>. We observe too <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x201.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x202.png" xlink:type="simple"/></inline-formula> is a positive</p><p>submartingale. Then for all<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x203.png" xlink:type="simple"/></inline-formula>, we obtain by Lemma 7 (22) with the pair<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x203.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x204.png" xlink:type="simple"/></inline-formula>, Doob’s inequality and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x203.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x204.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x205.png" xlink:type="simple"/></inline-formula></p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x206.png" xlink:type="simple"/></inline-formula>.</p><p>Thanks to Jensen inequality and Lemma 8 with <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x207.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x207.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x208.png" xlink:type="simple"/></inline-formula>, it follows that</p><disp-formula id="scirp.61674-formula299"><graphic  xlink:href="http://html.scirp.org/file/6-1490372x209.png"  xlink:type="simple"/></disp-formula><p>Concerning the numerator, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x210.png" xlink:type="simple"/></inline-formula>Since Novikov condition <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x210.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x211.png" xlink:type="simple"/></inline-formula></p><p>is satisfied then <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x212.png" xlink:type="simple"/></inline-formula> is a locally square integrable <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x212.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x213.png" xlink:type="simple"/></inline-formula>-martingale. Once again Doob’s inequality gets</p><disp-formula id="scirp.61674-formula300"><graphic  xlink:href="http://html.scirp.org/file/6-1490372x214.png"  xlink:type="simple"/></disp-formula><p>So finally</p><disp-formula id="scirp.61674-formula301"><label>(15)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/6-1490372x215.png"  xlink:type="simple"/></disp-formula><p>Let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x216.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x216.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x217.png" xlink:type="simple"/></inline-formula>. On the set<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x216.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x217.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x218.png" xlink:type="simple"/></inline-formula>,<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x216.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x217.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x218.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x220.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x216.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x217.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x218.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x220.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x219.png" xlink:type="simple"/></inline-formula>. Moreover (15) proves that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x216.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x217.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x218.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x220.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x219.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x221.png" xlink:type="simple"/></inline-formula> so<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x216.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x217.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x218.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x220.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x219.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x221.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x222.png" xlink:type="simple"/></inline-formula>.</p><p>It follows using (13) that</p><disp-formula id="scirp.61674-formula302"><graphic  xlink:href="http://html.scirp.org/file/6-1490372x223.png"  xlink:type="simple"/></disp-formula><p>Taking<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x224.png" xlink:type="simple"/></inline-formula>, we obtain</p><disp-formula id="scirp.61674-formula303"><label>(16)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/6-1490372x225.png"  xlink:type="simple"/></disp-formula><p>Then</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x226.png" xlink:type="simple"/></inline-formula>.</p><p>By Gronwall’s lemma, we deduce that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x227.png" xlink:type="simple"/></inline-formula> is the unique solution of (16) on the set<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x227.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x228.png" xlink:type="simple"/></inline-formula>, so <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x227.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x228.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x229.png" xlink:type="simple"/></inline-formula></p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x230.png" xlink:type="simple"/></inline-formula>Uniqueness of solution of (6) is a consequence of<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x230.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x231.png" xlink:type="simple"/></inline-formula>. □</p><p>Proposition 3</p><p>Proof. Let be a process <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x232.png" xlink:type="simple"/></inline-formula> where the set of processes <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x232.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x233.png" xlink:type="simple"/></inline-formula> is defined in Lemma 5 and a time t. Lemma 7 applied to <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x232.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x233.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x234.png" xlink:type="simple"/></inline-formula> which belongs to <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x232.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x233.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x234.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x235.png" xlink:type="simple"/></inline-formula> implies</p><disp-formula id="scirp.61674-formula304"><graphic  xlink:href="http://html.scirp.org/file/6-1490372x236.png"  xlink:type="simple"/></disp-formula><p>Conditioning by <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x237.png" xlink:type="simple"/></inline-formula> under the time integral, it follows that</p><disp-formula id="scirp.61674-formula305"><graphic  xlink:href="http://html.scirp.org/file/6-1490372x238.png"  xlink:type="simple"/></disp-formula><p>Conversely compute the expectation of the product of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x239.png" xlink:type="simple"/></inline-formula> by right hand of (7):</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x240.png" xlink:type="simple"/></inline-formula>.</p><p>Since <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x241.png" xlink:type="simple"/></inline-formula> is dense in <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x241.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x242.png" xlink:type="simple"/></inline-formula></p><disp-formula id="scirp.61674-formula306"><graphic  xlink:href="http://html.scirp.org/file/6-1490372x243.png"  xlink:type="simple"/></disp-formula><p>Finally we could replace <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x244.png" xlink:type="simple"/></inline-formula> by its <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x244.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x245.png" xlink:type="simple"/></inline-formula> conditional expectation since <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x244.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x245.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x246.png" xlink:type="simple"/></inline-formula> □</p><p>Proposition 4</p><p>Proof. Applying Lemma 4, it follows that</p><disp-formula id="scirp.61674-formula307"><label>(17)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/6-1490372x247.png"  xlink:type="simple"/></disp-formula><p>But, since the condition <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x248.png" xlink:type="simple"/></inline-formula> is not necessarily satisfied, we are not able to prove</p><p>that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x249.png" xlink:type="simple"/></inline-formula> is a semi martingale (e.g. see Protter’s Theorem 65 Chapter 4 [<xref ref-type="bibr" rid="scirp.61674-ref20">20</xref>] ). This leads us to</p><p>consider for <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x250.png" xlink:type="simple"/></inline-formula> the expression <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x250.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x251.png" xlink:type="simple"/></inline-formula> instead of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x250.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x251.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x252.png" xlink:type="simple"/></inline-formula> at denominator of</p><p>(17). But Lemma 7 of Appendix ensures that</p><disp-formula id="scirp.61674-formula308"><graphic  xlink:href="http://html.scirp.org/file/6-1490372x253.png"  xlink:type="simple"/></disp-formula><p>We apply Ito formula to the ratio of processes<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x254.png" xlink:type="simple"/></inline-formula>. For this end, we let two processes</p><p>satisfying the stochastic equations respectively (9) and (11):</p><disp-formula id="scirp.61674-formula309"><graphic  xlink:href="http://html.scirp.org/file/6-1490372x255.png"  xlink:type="simple"/></disp-formula><p>The It&#244;’s formula applied to <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x256.png" xlink:type="simple"/></inline-formula> from 0 to t gives us</p><disp-formula id="scirp.61674-formula310"><graphic  xlink:href="http://html.scirp.org/file/6-1490372x257.png"  xlink:type="simple"/></disp-formula><p>We achieve the proof letting <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x258.png" xlink:type="simple"/></inline-formula> using the monotonous Lebesgue theorem since <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x258.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x259.png" xlink:type="simple"/></inline-formula> increases to <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x258.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x259.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x260.png" xlink:type="simple"/></inline-formula> when<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x258.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x259.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x260.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x261.png" xlink:type="simple"/></inline-formula>. □</p><p>Theorem 1</p><p>Proof. Let us now find a mixed filtering-integro-differential equation satisfied by the conditional probability density process defined from the representation</p><disp-formula id="scirp.61674-formula311"><label>(18)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/6-1490372x262.png"  xlink:type="simple"/></disp-formula><p>We fix a and t such that<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x263.png" xlink:type="simple"/></inline-formula>. Let be<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x263.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x264.png" xlink:type="simple"/></inline-formula>, recalling the <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x263.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x264.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x265.png" xlink:type="simple"/></inline-formula>-Markov property of X at point u and the fact that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x263.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x264.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x265.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x266.png" xlink:type="simple"/></inline-formula> justify</p><disp-formula id="scirp.61674-formula312"><graphic  xlink:href="http://html.scirp.org/file/6-1490372x267.png"  xlink:type="simple"/></disp-formula><p>By definition of G, we have</p><disp-formula id="scirp.61674-formula313"><graphic  xlink:href="http://html.scirp.org/file/6-1490372x268.png"  xlink:type="simple"/></disp-formula><p>Then</p><disp-formula id="scirp.61674-formula314"><graphic  xlink:href="http://html.scirp.org/file/6-1490372x269.png"  xlink:type="simple"/></disp-formula><p>By Tonelli Theorem,</p><disp-formula id="scirp.61674-formula315"><graphic  xlink:href="http://html.scirp.org/file/6-1490372x270.png"  xlink:type="simple"/></disp-formula><p>Similarly</p><disp-formula id="scirp.61674-formula316"><graphic  xlink:href="http://html.scirp.org/file/6-1490372x271.png"  xlink:type="simple"/></disp-formula><p>In Equation (12) of Proposition 4,</p><disp-formula id="scirp.61674-formula317"><graphic  xlink:href="http://html.scirp.org/file/6-1490372x272.png"  xlink:type="simple"/></disp-formula><p>are respectively replaced by</p><disp-formula id="scirp.61674-formula318"><graphic  xlink:href="http://html.scirp.org/file/6-1490372x273.png"  xlink:type="simple"/></disp-formula><p>By hypothesis, we have<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x274.png" xlink:type="simple"/></inline-formula>.</p><p>For<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x275.png" xlink:type="simple"/></inline-formula>, Lemma 8 of Appendix ensures that</p><disp-formula id="scirp.61674-formula319"><graphic  xlink:href="http://html.scirp.org/file/6-1490372x276.png"  xlink:type="simple"/></disp-formula><p>The numerators being bounded by<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x277.png" xlink:type="simple"/></inline-formula>, we can apply stochastic Fubini’s theorem to Equation (12) Pro-</p><p>position 4, which can be written again as</p><disp-formula id="scirp.61674-formula320"><graphic  xlink:href="http://html.scirp.org/file/6-1490372x278.png"  xlink:type="simple"/></disp-formula><p>To express this result with <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x279.png" xlink:type="simple"/></inline-formula> conditional expectation instead of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x279.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x280.png" xlink:type="simple"/></inline-formula> conditional expectation, each fraction</p><p>under the integral is multiplied and divided by the same term <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x281.png" xlink:type="simple"/></inline-formula> To manage the indicator func-</p><p>tion, we use the filtration <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x282.png" xlink:type="simple"/></inline-formula> since <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x282.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x283.png" xlink:type="simple"/></inline-formula> is a <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x282.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x283.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x284.png" xlink:type="simple"/></inline-formula>-stopping time.</p><p>Therefore, using (20) in Lemma 4, on the set <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x285.png" xlink:type="simple"/></inline-formula> we obtain</p><disp-formula id="scirp.61674-formula321"><graphic  xlink:href="http://html.scirp.org/file/6-1490372x286.png"  xlink:type="simple"/></disp-formula><p>which finishes the proof. □</p></sec><sec id="s5"><title>5. Conclusion</title><p>This paper extends the study of the first passage time for a L&#233;vy process in [<xref ref-type="bibr" rid="scirp.61674-ref5">5</xref>] from complete to incomplete information and D. Dorobantu’s work in [<xref ref-type="bibr" rid="scirp.61674-ref8">8</xref>] from intensity to conditional density. Here, we are proving the existence of the density of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x287.png" xlink:type="simple"/></inline-formula> law given an information set, giving a stochastic differential integral equation satisfied by it and some numerical examples. All this gives us a behavior of the default time. In future works, we will be interested by the same studies in discrete time, in another kind of information set or under another process modeling the firm value.</p></sec><sec id="s6"><title>Acknowledgements</title><p>We thank my PhD advisor Laure Coutin for her help and pointing out error. We thank too Monique Pontier for her careful reading. We thank the Editor and the referee for their comments. This work is supported by A.N.R. Masterie. This support is greatly appreciated.</p></sec><sec id="s7"><title>Cite this paper</title><p>WalyNgom,11, (2015) Conditional Law of the Hitting Time for a L&#233;vy Process in Incomplete Observation. Journal of Mathematical Finance,05,505-524. doi: 10.4236/jmf.2015.55041</p></sec><sec id="s8"><title>Appendix</title><p>Lemma 1. Let be <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x288.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x288.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x289.png" xlink:type="simple"/></inline-formula> real numbers and G a Gaussian random variable with mean zero and variance one, then</p><disp-formula id="scirp.61674-formula322"><graphic  xlink:href="http://html.scirp.org/file/6-1490372x290.png"  xlink:type="simple"/></disp-formula><p>Proof. Indeed using the law of G, we have</p><disp-formula id="scirp.61674-formula323"><graphic  xlink:href="http://html.scirp.org/file/6-1490372x291.png"  xlink:type="simple"/></disp-formula><p>Since <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x292.png" xlink:type="simple"/></inline-formula> then</p><disp-formula id="scirp.61674-formula324"><graphic  xlink:href="http://html.scirp.org/file/6-1490372x293.png"  xlink:type="simple"/></disp-formula><p>By change of variable<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x294.png" xlink:type="simple"/></inline-formula>, it follows that</p><disp-formula id="scirp.61674-formula325"><graphic  xlink:href="http://html.scirp.org/file/6-1490372x295.png"  xlink:type="simple"/></disp-formula><p>□</p><p>Lemma 2. If <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x296.png" xlink:type="simple"/></inline-formula> is the sequence of jump time of the process N, then</p><disp-formula id="scirp.61674-formula326"><graphic  xlink:href="http://html.scirp.org/file/6-1490372x297.png"  xlink:type="simple"/></disp-formula><p>Proof. We have</p><disp-formula id="scirp.61674-formula327"><graphic  xlink:href="http://html.scirp.org/file/6-1490372x298.png"  xlink:type="simple"/></disp-formula><p>where <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x299.png" xlink:type="simple"/></inline-formula> is an exponential random variable with parameter <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x299.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x300.png" xlink:type="simple"/></inline-formula> and independent of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x299.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x300.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x301.png" xlink:type="simple"/></inline-formula> which follows a Gamma law with parameters n and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x299.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x300.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x301.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x302.png" xlink:type="simple"/></inline-formula>. Therefore</p><disp-formula id="scirp.61674-formula328"><graphic  xlink:href="http://html.scirp.org/file/6-1490372x303.png"  xlink:type="simple"/></disp-formula><p>□</p><p>Lemma 3. There exists some constants <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x304.png" xlink:type="simple"/></inline-formula> and C such that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x304.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x305.png" xlink:type="simple"/></inline-formula></p><disp-formula id="scirp.61674-formula329"><label>(19)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/6-1490372x306.png"  xlink:type="simple"/></disp-formula><p>Proof. The function f defined in (4) satisfies</p><disp-formula id="scirp.61674-formula330"><graphic  xlink:href="http://html.scirp.org/file/6-1490372x307.png"  xlink:type="simple"/></disp-formula><p>Using the fact that if <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x308.png" xlink:type="simple"/></inline-formula> then<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x308.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x309.png" xlink:type="simple"/></inline-formula>, we have</p><disp-formula id="scirp.61674-formula331"><graphic  xlink:href="http://html.scirp.org/file/6-1490372x310.png"  xlink:type="simple"/></disp-formula><p>Replacing <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x311.png" xlink:type="simple"/></inline-formula> by its expression, we obtain</p><disp-formula id="scirp.61674-formula332"><graphic  xlink:href="http://html.scirp.org/file/6-1490372x312.png"  xlink:type="simple"/></disp-formula><p>Let<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x313.png" xlink:type="simple"/></inline-formula>. We apply this bound to<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x313.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x314.png" xlink:type="simple"/></inline-formula>:</p><disp-formula id="scirp.61674-formula333"><graphic  xlink:href="http://html.scirp.org/file/6-1490372x315.png"  xlink:type="simple"/></disp-formula><p>Remark that conditionally to process N and the<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x316.png" xlink:type="simple"/></inline-formula>, the law of the random variable <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x316.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x317.png" xlink:type="simple"/></inline-formula> is a</p><p>Gaussian law with mean <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x318.png" xlink:type="simple"/></inline-formula> and variance <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x318.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x319.png" xlink:type="simple"/></inline-formula></p><p>Applying Lemma 1 we get the conditional expectation</p><disp-formula id="scirp.61674-formula334"><graphic  xlink:href="http://html.scirp.org/file/6-1490372x320.png"  xlink:type="simple"/></disp-formula><p>Using the fact that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x321.png" xlink:type="simple"/></inline-formula> we obtain since <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x321.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x322.png" xlink:type="simple"/></inline-formula></p><disp-formula id="scirp.61674-formula335"><graphic  xlink:href="http://html.scirp.org/file/6-1490372x323.png"  xlink:type="simple"/></disp-formula><p>The proof is completed with Lemma 2. □</p><p>The next lemma is inspired of Jeanblanc and Rutkovski [<xref ref-type="bibr" rid="scirp.61674-ref21">21</xref>] and Dorobantu [<xref ref-type="bibr" rid="scirp.61674-ref8">8</xref>] .</p><p>Lemma 4. For all <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x324.png" xlink:type="simple"/></inline-formula> for all a and b such that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x324.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x325.png" xlink:type="simple"/></inline-formula> for all <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x324.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x325.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x326.png" xlink:type="simple"/></inline-formula></p><disp-formula id="scirp.61674-formula336"><label>(20)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/6-1490372x327.png"  xlink:type="simple"/></disp-formula><p>For instance with <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x328.png" xlink:type="simple"/></inline-formula> we get</p><disp-formula id="scirp.61674-formula337"><graphic  xlink:href="http://html.scirp.org/file/6-1490372x329.png"  xlink:type="simple"/></disp-formula><p>Proof. Assume that there exists <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x330.png" xlink:type="simple"/></inline-formula> such that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x330.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x331.png" xlink:type="simple"/></inline-formula> Then for all <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x330.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x331.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x332.png" xlink:type="simple"/></inline-formula> It follows that the density function of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x330.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x331.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x332.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x333.png" xlink:type="simple"/></inline-formula> f, defined in (4), is the zero function on<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x330.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x331.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x332.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x333.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x334.png" xlink:type="simple"/></inline-formula>. This means that<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x330.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x331.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x332.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x333.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x334.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x335.png" xlink:type="simple"/></inline-formula>,</p><disp-formula id="scirp.61674-formula338"><graphic  xlink:href="http://html.scirp.org/file/6-1490372x336.png"  xlink:type="simple"/></disp-formula><p>Then, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x337.png" xlink:type="simple"/></inline-formula>implies that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x337.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x338.png" xlink:type="simple"/></inline-formula></p><p>Thus <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x339.png" xlink:type="simple"/></inline-formula> But we have <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x339.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x340.png" xlink:type="simple"/></inline-formula> and on the set</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x341.png" xlink:type="simple"/></inline-formula>Therefore, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x341.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x342.png" xlink:type="simple"/></inline-formula>for all t ≥ t<sub>0</sub> Hence, we obtain <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x341.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x342.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x343.png" xlink:type="simple"/></inline-formula></p><p>what is not possible. Indeed,</p><disp-formula id="scirp.61674-formula339"><graphic  xlink:href="http://html.scirp.org/file/6-1490372x344.png"  xlink:type="simple"/></disp-formula><p>That means for all <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x345.png" xlink:type="simple"/></inline-formula> In particular, for<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x345.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x346.png" xlink:type="simple"/></inline-formula>,</p><disp-formula id="scirp.61674-formula340"><graphic  xlink:href="http://html.scirp.org/file/6-1490372x347.png"  xlink:type="simple"/></disp-formula><p>Thus for any t, t,<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x348.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x348.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x349.png" xlink:type="simple"/></inline-formula></p><p>On the set<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x350.png" xlink:type="simple"/></inline-formula>, any <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x350.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x351.png" xlink:type="simple"/></inline-formula>-measurable random variable coincides with some <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x350.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x351.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x352.png" xlink:type="simple"/></inline-formula>-measurable random variable (cf. Jeanblanc and Rutkovski [<xref ref-type="bibr" rid="scirp.61674-ref21">21</xref>] p. 18). Then for all<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x350.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x351.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x352.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x353.png" xlink:type="simple"/></inline-formula>, there exists a <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x350.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x351.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x352.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x353.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x354.png" xlink:type="simple"/></inline-formula>-measurable random variable Z such that</p><disp-formula id="scirp.61674-formula341"><graphic  xlink:href="http://html.scirp.org/file/6-1490372x355.png"  xlink:type="simple"/></disp-formula><p>Taking the conditional expectation with respect to<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x356.png" xlink:type="simple"/></inline-formula>, we get</p><disp-formula id="scirp.61674-formula342"><graphic  xlink:href="http://html.scirp.org/file/6-1490372x357.png"  xlink:type="simple"/></disp-formula><p>This implies that</p><disp-formula id="scirp.61674-formula343"><graphic  xlink:href="http://html.scirp.org/file/6-1490372x358.png"  xlink:type="simple"/></disp-formula><p>Using Kallianpur-Striebel formula (see Pardoux [<xref ref-type="bibr" rid="scirp.61674-ref13">13</xref>] ) and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x359.png" xlink:type="simple"/></inline-formula> we obtain</p><disp-formula id="scirp.61674-formula344"><graphic  xlink:href="http://html.scirp.org/file/6-1490372x360.png"  xlink:type="simple"/></disp-formula><p>□</p><p>The following is in [<xref ref-type="bibr" rid="scirp.61674-ref14">14</xref>] .</p><p>Lemma 5. The family of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x361.png" xlink:type="simple"/></inline-formula> adapted processes</p><disp-formula id="scirp.61674-formula345"><graphic  xlink:href="http://html.scirp.org/file/6-1490372x362.png"  xlink:type="simple"/></disp-formula><p>is total in the set of processes taking their values in <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x363.png" xlink:type="simple"/></inline-formula></p><p>Let us denote by <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x364.png" xlink:type="simple"/></inline-formula> (resp. <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x364.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x365.png" xlink:type="simple"/></inline-formula>and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x364.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x365.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x366.png" xlink:type="simple"/></inline-formula>) the completed, right continuous filtration generated by W, (resp. N or X)</p><p>Lemma 6. Let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x367.png" xlink:type="simple"/></inline-formula> be an <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x367.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x368.png" xlink:type="simple"/></inline-formula>-progressively measurable process such that for all<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x367.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x368.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x369.png" xlink:type="simple"/></inline-formula>, we have</p><disp-formula id="scirp.61674-formula346"><graphic  xlink:href="http://html.scirp.org/file/6-1490372x370.png"  xlink:type="simple"/></disp-formula><p>Then</p><disp-formula id="scirp.61674-formula347"><label>(21)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/6-1490372x371.png"  xlink:type="simple"/></disp-formula><p>Proof. As in Lemma 5, the family of processes</p><disp-formula id="scirp.61674-formula348"><graphic  xlink:href="http://html.scirp.org/file/6-1490372x372.png"  xlink:type="simple"/></disp-formula><p>is total in the set of processes taking their values in <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x373.png" xlink:type="simple"/></inline-formula> where <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x373.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x374.png" xlink:type="simple"/></inline-formula> is the compensated Poisson random measure on <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x373.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x374.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x375.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x373.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x374.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x375.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x376.png" xlink:type="simple"/></inline-formula> is a Borel set.</p><p>Therefore, since <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x377.png" xlink:type="simple"/></inline-formula> by It&#244;’s formula, we have</p><disp-formula id="scirp.61674-formula349"><graphic  xlink:href="http://html.scirp.org/file/6-1490372x378.png"  xlink:type="simple"/></disp-formula><p>The equality is obtained from the fact that under<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x379.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x379.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x380.png" xlink:type="simple"/></inline-formula>by independence. □</p><p>Lemma 7. Let be a process <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x381.png" xlink:type="simple"/></inline-formula> such that for any t <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x381.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x382.png" xlink:type="simple"/></inline-formula> <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x381.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x382.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x383.png" xlink:type="simple"/></inline-formula>. Let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x381.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x382.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x383.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x384.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x381.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x382.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x383.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x384.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x385.png" xlink:type="simple"/></inline-formula>, then</p><disp-formula id="scirp.61674-formula350"><graphic  xlink:href="http://html.scirp.org/file/6-1490372x386.png"  xlink:type="simple"/></disp-formula><p>and</p><disp-formula id="scirp.61674-formula351"><label>(22)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/6-1490372x387.png"  xlink:type="simple"/></disp-formula><p>For instance</p><disp-formula id="scirp.61674-formula352"><graphic  xlink:href="http://html.scirp.org/file/6-1490372x388.png"  xlink:type="simple"/></disp-formula><p>Proof. Let be <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x389.png" xlink:type="simple"/></inline-formula> <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x389.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x390.png" xlink:type="simple"/></inline-formula> and let us define the process K</p><disp-formula id="scirp.61674-formula353"><graphic  xlink:href="http://html.scirp.org/file/6-1490372x391.png"  xlink:type="simple"/></disp-formula><p>The integration by parts It&#244; formula applied to the product <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x392.png" xlink:type="simple"/></inline-formula> between 0 and T yields</p><disp-formula id="scirp.61674-formula354"><graphic  xlink:href="http://html.scirp.org/file/6-1490372x393.png"  xlink:type="simple"/></disp-formula><p>and remark that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x394.png" xlink:type="simple"/></inline-formula></p><p>Since X and Q are independent under<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x395.png" xlink:type="simple"/></inline-formula>, we use Lemma 6 and it follows</p><disp-formula id="scirp.61674-formula355"><label>(23)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/6-1490372x396.png"  xlink:type="simple"/></disp-formula><p>Similarly, using first <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x397.png" xlink:type="simple"/></inline-formula> It&#244;’s formula on product of processes <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x397.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x398.png" xlink:type="simple"/></inline-formula></p><p>and the independence between X and Q under <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x399.png" xlink:type="simple"/></inline-formula> yields</p><disp-formula id="scirp.61674-formula356"><label>. (24)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/6-1490372x400.png"  xlink:type="simple"/></disp-formula><p>Equations (23) and (24) imply that</p><disp-formula id="scirp.61674-formula357"><graphic  xlink:href="http://html.scirp.org/file/6-1490372x401.png"  xlink:type="simple"/></disp-formula><p>Now let be <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x402.png" xlink:type="simple"/></inline-formula> and apply the above equality to<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x402.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x403.png" xlink:type="simple"/></inline-formula>:</p><disp-formula id="scirp.61674-formula358"><graphic  xlink:href="http://html.scirp.org/file/6-1490372x404.png"  xlink:type="simple"/></disp-formula><p>so</p><disp-formula id="scirp.61674-formula359"><graphic  xlink:href="http://html.scirp.org/file/6-1490372x405.png"  xlink:type="simple"/></disp-formula><p>which concludes the proof. □</p><p>Lemma 8. For all<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x406.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x406.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x407.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x406.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x407.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x408.png" xlink:type="simple"/></inline-formula>almost surely and</p><disp-formula id="scirp.61674-formula360"><graphic  xlink:href="http://html.scirp.org/file/6-1490372x409.png"  xlink:type="simple"/></disp-formula><p>Proof. The process <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x410.png" xlink:type="simple"/></inline-formula> is a positive <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x410.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x411.png" xlink:type="simple"/></inline-formula> (upper ) martingale, which converges to the non null random variable <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x410.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x411.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x412.png" xlink:type="simple"/></inline-formula> (see Lemma 4) then it never vanishes.</p><p>From Corollary 2 (i), the process <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x413.png" xlink:type="simple"/></inline-formula> is a <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x413.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x414.png" xlink:type="simple"/></inline-formula> martingale with decom-</p><p>position</p><disp-formula id="scirp.61674-formula361"><graphic  xlink:href="http://html.scirp.org/file/6-1490372x415.png"  xlink:type="simple"/></disp-formula><p>Let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x416.png" xlink:type="simple"/></inline-formula> using It&#244;’s formula for <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x416.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x417.png" xlink:type="simple"/></inline-formula> between 0 and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x416.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x417.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-1490372x418.png" xlink:type="simple"/></inline-formula> and</p><p>taking the expectation we derive</p><disp-formula id="scirp.61674-formula362"><graphic  xlink:href="http://html.scirp.org/file/6-1490372x419.png"  xlink:type="simple"/></disp-formula><p>Using Gronwall’s Lemma</p><disp-formula id="scirp.61674-formula363"><graphic  xlink:href="http://html.scirp.org/file/6-1490372x420.png"  xlink:type="simple"/></disp-formula><p>The proof of Lemma 8 is achieved by letting n going to infinity. □</p></sec></body><back><ref-list><title>References</title><ref id="scirp.61674-ref1"><label>1</label><mixed-citation publication-type="other" xlink:type="simple">Bertoin, J. (1998) Lévy Processes. Vol. 121, Cambridge University Press, Cambridge.</mixed-citation></ref><ref id="scirp.61674-ref2"><label>2</label><mixed-citation publication-type="other" xlink:type="simple">Sato, K. (1999) Lévy Processes and Infinitely Divisible Distribution. Vol. 68 of Cambridge Studies in Advanced Mathematics, Cambridge University Press, Cambridge, Translated from the 1990 Japanese Original, Revised by the Author, 1999.</mixed-citation></ref><ref id="scirp.61674-ref3"><label>3</label><mixed-citation publication-type="other" xlink:type="simple">Cont, R. and Tankov, P. (2004) Financial Modeling with Jump Processes. Chapman &amp; Hall/CRC, Boca Raton, London, New York.</mixed-citation></ref><ref id="scirp.61674-ref4"><label>4</label><mixed-citation publication-type="other" xlink:type="simple">Duffie, D. and Lando, D. (2001) Term Structure of Credit Spreads with Incomplete Accounting Information. Econometrica, 69, 633-664. &lt;/br&gt;http://dx.doi.org/10.1111/1468-0262.00208</mixed-citation></ref><ref id="scirp.61674-ref5"><label>5</label><mixed-citation publication-type="other" xlink:type="simple">Kou, S.G. and Wang, H. (2003) First Passage Time of a Jump Diffusion Process. Advances in Applied Probability, 35, 504-531. &lt;/br&gt;http://dx.doi.org/10.1239/aap/1051201658</mixed-citation></ref><ref id="scirp.61674-ref6"><label>6</label><mixed-citation publication-type="other" xlink:type="simple">Bernyk, V., Dalang, R.C. and Peskir, G. (2008) The Law of the Supremum of a Stable Lévy Process with No Negative Jumps. The Annals of Probability, 36, 1777-1789. &lt;/br&gt;http://dx.doi.org/10.1214/07-AOP376</mixed-citation></ref><ref id="scirp.61674-ref7"><label>7</label><mixed-citation publication-type="other" xlink:type="simple">Guo, X., Jarrow, R. and Zeng, Y. (2009) Credit Model with Incomplete Information (Earlier Version Information Reduction in Credit Risk Models). Mathematics of Operations Research, 34, 320-332. &lt;/br&gt;http://dx.doi.org/10.1287/moor.1080.0361</mixed-citation></ref><ref id="scirp.61674-ref8"><label>8</label><mixed-citation publication-type="other" xlink:type="simple">Dorobantu, D. (2007) Modélisation de risque de défaut en enterprise. Thèse de l’Université de Toulouse 3.</mixed-citation></ref><ref id="scirp.61674-ref9"><label>9</label><mixed-citation publication-type="other" xlink:type="simple">Roynette, B., Vallois, P. and Volpi, A. (2008) Asymptotic Behavior of the Hitting Time, Overshoot and Undershoot for Some Lévy Processes. ESAIM: PS, 12, 58-93.</mixed-citation></ref><ref id="scirp.61674-ref10"><label>10</label><mixed-citation publication-type="other" xlink:type="simple">Gapeev, P.V. and Jeanblanc, M. (2010) Pricing and Filtering in Two-Dimensional Dividend Switching Model. International Journal of Theoretical and Applied Finance, 13, 1001-1017. http://dx.doi.org/10.1142/S021902491000608X</mixed-citation></ref><ref id="scirp.61674-ref11"><label>11</label><mixed-citation publication-type="other" xlink:type="simple">Coutin, L. and Dorobantu, D. (2011) First Passage Time Law for Some Lévy Process with Compound Poisson: Existence of a Density. Bernoulli, 17, 1127-1135. http://dx.doi.org/10.3150/10-BEJ323</mixed-citation></ref><ref id="scirp.61674-ref12"><label>12</label><mixed-citation publication-type="other" xlink:type="simple">Zakai, M. (1969) On the Optimal Filtering Diffusion Process. Zeitschrift für Wahrscheinlichkeitstheorie und Verwandte Gebiete, 11, 230-249. &lt;/br&gt;http://dx.doi.org/10.1007/BF00536382</mixed-citation></ref><ref id="scirp.61674-ref13"><label>13</label><mixed-citation publication-type="other" xlink:type="simple">Pardoux, E. (1991) Filtrage non linéaire et équations aux dérivées partielles stochastiques associées. Ecole d’Eté de Probabilités de Saint-Flour-1989, Lecture Notes in Mathematics 1464, Springer-Verlag, Heidelberg, New York.</mixed-citation></ref><ref id="scirp.61674-ref14"><label>14</label><mixed-citation publication-type="other" xlink:type="simple">Coutin, L. (1996) Filtrage d’un système càd-làg: Application du calcul des variations stochastiques à l'existence d'une densité. Stochastics and Stochastics Reports, 58, 209-243. &lt;/br&gt;http://dx.doi.org/10.1080/17442509608834075</mixed-citation></ref><ref id="scirp.61674-ref15"><label>15</label><mixed-citation publication-type="other" xlink:type="simple">Bain, A. and Crisan, D. (2009) Fundamentals of Stochastic Filtering. Springer-Verlag, New York. &lt;/br&gt;http://dx.doi.org/10.1007/978-0-387-76896-0</mixed-citation></ref><ref id="scirp.61674-ref16"><label>16</label><mixed-citation publication-type="other" xlink:type="simple">Karatzas, I. and Shreve, S.E. (1991) Brownian Motion and Stochastic Calculus. Second Edition, Springer-Verlag, New York.</mixed-citation></ref><ref id="scirp.61674-ref17"><label>17</label><mixed-citation publication-type="other" xlink:type="simple">Doney, R.A. and Kiprianou, A. (2005) Overshoot and Undershoot of Lévy Process. The Annals of Applied Probability, 16, 91-106. &lt;/br&gt;http://dx.doi.org/10.1214/105051605000000647</mixed-citation></ref><ref id="scirp.61674-ref18"><label>18</label><mixed-citation publication-type="other" xlink:type="simple">Protter, P. (1985) Volterra equations driven by semi martingale. Annals of Probability, 13, 518-530. &lt;/br&gt;http://dx.doi.org/10.1214/aop/1176993006</mixed-citation></ref><ref id="scirp.61674-ref19"><label>19</label><mixed-citation publication-type="other" xlink:type="simple">Revuz, D. and Yor, M. (1999) Continuous Martingales and Brownian Motion. Third Edition, Springer-Verlag, Berlin, Heldelberg, New York. &lt;/br&gt;http://dx.doi.org/10.1007/978-3-662-06400-9</mixed-citation></ref><ref id="scirp.61674-ref20"><label>20</label><mixed-citation publication-type="other" xlink:type="simple">Protter, P. (2003) Stochastic Integration and Differential Equation. Second Edition, Springer, Berlin.</mixed-citation></ref><ref id="scirp.61674-ref21"><label>21</label><mixed-citation publication-type="other" xlink:type="simple">Jeanblanc, M. and Rutkowski, M. (2000) Modeling of Default Risk: Mathematical Tools, Mathematical Finance; Theory and Practice. Modern Mathematics Series, High Education Press.</mixed-citation></ref></ref-list></back></article>