<?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.2020.101010</article-id><article-id pub-id-type="publisher-id">JMF-98476</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>
 
 
  The Barrier Binary Options
 
</article-title></title-group><contrib-group><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>Min</surname><given-names>Gao</given-names></name><xref ref-type="aff" rid="aff1"><sup>1</sup></xref></contrib><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>Zhenfeng</surname><given-names>Wei</given-names></name><xref ref-type="aff" rid="aff2"><sup>2</sup></xref></contrib></contrib-group><aff id="aff1"><addr-line>Huafa Industrial Share Co., LTD., Zhuhai, China</addr-line></aff><aff id="aff2"><addr-line>Sun Yat-Sen Business School, Guangzhou, China</addr-line></aff><pub-date pub-type="epub"><day>12</day><month>12</month><year>2019</year></pub-date><volume>10</volume><issue>01</issue><fpage>140</fpage><lpage>156</lpage><history><date date-type="received"><day>27,</day>	<month>September</month>	<year>2019</year></date><date date-type="rev-recd"><day>23,</day>	<month>February</month>	<year>2020</year>	</date><date date-type="accepted"><day>26,</day>	<month>February</month>	<year>2020</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 extend the binary options into barrier binary options and discuss the application of the optimal structure without a smooth-fit condition in the option pricing. We first review the existing work for the knock-in options and present the main results from the literature. Then we show that the price function of a knock-in American binary option can be expressed in terms of the price functions of simple barrier options and American options. For the knock-out binary options, the smooth-fit property does not hold when we apply the local time-space formula on curves. By the properties of Brownian motion and convergence theorems, we show how to calculate the expectation of the local time. In the financial analysis, we briefly compare the values of the American and European barrier binary options.
 
</p></abstract><kwd-group><kwd>Binary Option</kwd><kwd> Barrier Option</kwd><kwd> Arbitrage-Free Price</kwd><kwd> Optimal Stopping</kwd><kwd> Geometric Brownian Motion</kwd><kwd> Parabolic Free Boundary Problem</kwd></kwd-group></article-meta></front><body><sec id="s1"><title>1. Introduction</title><p>Barrier options on stocks have been traded in the OTC (Over-The-Counter) market for more than four decades. The inexpensive price of barrier options compared with other exotic options has contributed to their extensive use by investors in managing risks related to commodities, FX (Foreign Exchange) and interest rate exposures.</p><p>Barrier options have the ordinary call or put pay-offs but the pay-offs are contingent on a second event. Standard calls and puts have pay-offs that depend on one market level: the strike price. Barrier options depend on two market levels: the strike and the barrier. Barrier options come in two types: in options and out options. An in option or knock-in option only pays off when the option is in the money with the barrier crossed before the maturity. When the stock price crosses the barrier, the barrier option knocks in and becomes a regular option. If the stock price never passes the barrier, the option is worthless no matter it is in the money or not. An out barrier option or knock-out option pays off only if the option is in the money and the barrier is never being crossed in the time horizon. As long as the barrier is not being reached, the option remains a vanilla version. However, once the barrier is touched, the option becomes worthless immediately. More details about the barrier options are introduced in [<xref ref-type="bibr" rid="scirp.98476-ref1">1</xref>] and [<xref ref-type="bibr" rid="scirp.98476-ref2">2</xref>].</p><p>The use of barrier options, binary options, and other path-dependent options has increased dramatically in recent years especially by large financial institutions for the purpose of hedging, investment and risk management. The pricing of European knock-in options in closed-form formulae has been addressed in a range of literature (see [<xref ref-type="bibr" rid="scirp.98476-ref3">3</xref>] [<xref ref-type="bibr" rid="scirp.98476-ref4">4</xref>] [<xref ref-type="bibr" rid="scirp.98476-ref5">5</xref>] and reference therein). There are two types of the knock-in option: up-and-in and down-and-in. Any up-and-in call with strike above the barrier is equal to a standard call option since all stock movements leading to pay-offs are knock-in naturally. Similarly, any down-and-in put with strike below the barrier is worth the same as a standard put option. An investor would buy knock-in option if he believes the movements of the asset price are rather volatile. Rubinstein and Reiner [<xref ref-type="bibr" rid="scirp.98476-ref6">6</xref>] provided closed form formulas for a wide variety of single barrier options. Kunitomo and Ikeda [<xref ref-type="bibr" rid="scirp.98476-ref7">7</xref>] derived explicit probability formula for European double barrier options with curved boundaries as the sum of infinite series. Geman and Yor [<xref ref-type="bibr" rid="scirp.98476-ref8">8</xref>] applied a probabilistic approach to derive the Laplace transform of the double barrier option price. Haug [<xref ref-type="bibr" rid="scirp.98476-ref9">9</xref>] has presented analytic valuation formulas for American up-and-input and down-and-in call options in terms of standard American options. It was extended by Dai and Kwok [<xref ref-type="bibr" rid="scirp.98476-ref10">10</xref>] to more types of American knock-in options in terms of integral representations. Jun and Ku [<xref ref-type="bibr" rid="scirp.98476-ref11">11</xref>] derived a closed-form valuation formula for a digit barrier option with exponential random time and provided analytic valuation formulas of American partial barrier options in [<xref ref-type="bibr" rid="scirp.98476-ref12">12</xref>]. Hui [<xref ref-type="bibr" rid="scirp.98476-ref13">13</xref>] used the Black-Scholes environment and derived the analytical solution for knock-out binary option values. Gao, Huang and Subrahmanyam [<xref ref-type="bibr" rid="scirp.98476-ref14">14</xref>] proposed an early exercise premium presentation for the American knock-out calls and puts in terms of the optimal free boundary.</p><p>There are many different types of barrier binary options. It depends on: 1) in or out; 2) up or down; 3) call or put; 4) cash-or-nothing or asset-or-nothing. The European valuation was published by Rubinstein and Reiner [<xref ref-type="bibr" rid="scirp.98476-ref6">6</xref>]. However, the American version is not the combination of these options. This paper considers a wide variety of American barrier binary options and is organised as follows. In Section 2 we introduce and set the notation of the barrier binary problem. In Section 3 we formulate the knock-in binary options and briefly review the existing work on knock-in options. In Section 4 we formulate the knock-out binary option problem and give the value in the form of the early exercise premium representation with a local time term. We conduct a financial analysis in Section 5 and discuss the application of the barrier binary options in the current financial market.</p></sec><sec id="s2"><title>2. Preliminaries</title><p>American feature entitles the option buyer the right to exercise early. Regardless of the pay-off structure (cash-or-nothing and asset-or-nothing), for a binary call option there are four basic types combined with barrier feature: up-in, up-out, down-in and down-out. Consider an American (also known as “One-touch”) up-in binary call. The value is worth the same as a standard binary call if the barrier is below the strike since it naturally knocks-in to get the pay-off. On the other hand, if the barrier is above the strike, the valuation turns into the same form of the standard with the strike price replaced by the barrier since we cannot exercise if we just pass the strike and we will immediately stop if the option is knocked-in. Now let us consider an up-out call. Evidently, it is worthless for an up-out call if the barrier is below the strike. Meanwhile, if the barrier is higher than the strike the stock will not hit it since it stops once it reaches the strike. For these reasons, it is more mathematically interesting to discuss the down-in or down-out call and up-in or up-output.</p><p>Before introducing the American barrier binary options, we give a brief introduction of European barrier binary options and some settings for this new kind of option.</p><p><xref ref-type="fig" rid="fig1">Figure 1</xref> and <xref ref-type="fig" rid="fig2">Figure 2</xref> show the value of eight kinds of European barrier binary options and the comparisons with corresponding binary option values. All of the European barrier binary option valuations are detailed in [<xref ref-type="bibr" rid="scirp.98476-ref6">6</xref>]. Note that the payment is binary, therefore it is not an ideal hedging instrument so we do not analyse the Greeks in this paper and more applications of such options in financial market will be addressed in Section 5. Since we will study the American-style options, we only consider the cases that barrier below the strike for the call and barrier above the strike for the put as reasons stated above. As we can see in <xref ref-type="fig" rid="fig1">Figure 1</xref> and <xref ref-type="fig" rid="fig2">Figure 2</xref>, the barrier-version options in the blue or red curves are always worth less than the corresponding vanilla option prices. For the binary call option in <xref ref-type="fig" rid="fig1">Figure 1</xref> when the asset price is below the in-barrier, the knock-in value is same as the standard price and the knock-out value is worthless. When the stock price goes very high, the effect of the barrier is intangible. The knock-intends to worth zero and the knock-out value converges to the knock-less value. On the other hand in Panel (a) of <xref ref-type="fig" rid="fig2">Figure 2</xref>, the value of the binary put decreases with an increasing stock price. As Panel (b) in <xref ref-type="fig" rid="fig2">Figure 2</xref> shows, the asset-or-nothing put option value first increases and then decreases as stock price going large. At a lower stock price, the effect of the barrier for the knock-out value is trifle and the knock-in value tends to be zero. When the stock price is above the barrier, the knock-out is worthless and the up-in value gets the peak at the barrier. The figures also indicate the relationship</p><p>knock-out + knock-in = knock-less . (2.1)</p><p>Above all, barrier options create opportunities for investors with lower premiums than standard options with the same strike.</p></sec><sec id="s3"><title>3. The American Knock-In Binary Option</title><p>We start from the cash-or-nothing option. There are four types for the cash-or-nothing option: up-and-in call, down-and-in call, up-and-input and down-and-input. For the up-and-in call, if the barrier is below the strike the option is worth the same as the American cash-or-nothing call since it will cross the barrier simultaneously to get the pay-off. On the other hand, if the barrier is above the strike the value of the option turns into the American cash-or-nothing call with the strike replaced by the barrier level. Mathematically, the most interesting part of the cash-or-nothing call option is down-and-in call (also known as a down-and-up option). For the reason stated above, we only discuss up-and-input and down-and-in call in this section.</p><p>We assume that the up-in trigger clause entitles the option holder to receive a digital put option when the stock price crosses the barrier level.</p><p>1) Consider the stock price X evolving as</p><p>d X t = r X t d t + σ X t d W t (3.1)</p><p>with <inline-formula><inline-graphic xlink:href="/html.scirp.org/file/10-1490782x6.png" xlink:type="simple"/></inline-formula> under P for any interest rate <inline-formula><inline-graphic xlink:href="/html.scirp.org/file/10-1490782x7.png" xlink:type="simple"/></inline-formula> and volatility<inline-formula><inline-graphic xlink:href="/html.scirp.org/file/10-1490782x8.png" xlink:type="simple"/></inline-formula>. Throughout <inline-formula><inline-graphic xlink:href="/html.scirp.org/file/10-1490782x9.png" xlink:type="simple"/></inline-formula> denotes the standard Brownian motion on a probability space<inline-formula><inline-graphic xlink:href="/html.scirp.org/file/10-1490782x10.png" xlink:type="simple"/></inline-formula>. The arbitrage-free price of the American cash-or-nothing knock-in put option at time <inline-formula><inline-graphic xlink:href="/html.scirp.org/file/10-1490782x11.png" xlink:type="simple"/></inline-formula> is given by</p><disp-formula id="scirp.98476-formula35"><label>(3.2)</label><graphic position="anchor" xlink:href="//html.scirp.org/file/10-1490782x12.png"  xlink:type="simple"/></disp-formula><p>where K is the strike price, L is the barrier level and <inline-formula><inline-graphic xlink:href="/html.scirp.org/file/10-1490782x13.png" xlink:type="simple"/></inline-formula> is the maximum of the stock price process X. Recall that the unique strong solution for (3.1) is given by</p><disp-formula id="scirp.98476-formula36"><label>(3.3)</label><graphic position="anchor" xlink:href="//html.scirp.org/file/10-1490782x14.png"  xlink:type="simple"/></disp-formula><p>under<inline-formula><inline-graphic xlink:href="/html.scirp.org/file/10-1490782x15.png" xlink:type="simple"/></inline-formula>. The process X is strong Markov with the infinitesimal generator given by</p><disp-formula id="scirp.98476-formula37"><label>(3.4)</label><graphic position="anchor" xlink:href="//html.scirp.org/file/10-1490782x16.png"  xlink:type="simple"/></disp-formula><p>We introduce a new process <inline-formula><inline-graphic xlink:href="/html.scirp.org/file/10-1490782x17.png" xlink:type="simple"/></inline-formula> which represents the process X stopped once it hits the barrier level L. Define<inline-formula><inline-graphic xlink:href="/html.scirp.org/file/10-1490782x18.png" xlink:type="simple"/></inline-formula>, where <inline-formula><inline-graphic xlink:href="/html.scirp.org/file/10-1490782x19.png" xlink:type="simple"/></inline-formula> is the first hitting time of the barrier L as</p><disp-formula id="scirp.98476-formula38"><label>(3.5)</label><graphic position="anchor" xlink:href="//html.scirp.org/file/10-1490782x20.png"  xlink:type="simple"/></disp-formula><p>It means that we do not need to monitor the maximum process <inline-formula><inline-graphic xlink:href="/html.scirp.org/file/10-1490782x21.png" xlink:type="simple"/></inline-formula> since the process <inline-formula><inline-graphic xlink:href="/html.scirp.org/file/10-1490782x21.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x22.png" xlink:type="simple"/></inline-formula> behaves exactly the same as the process X for any time <inline-formula><inline-graphic xlink:href="/html.scirp.org/file/10-1490782x21.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x22.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x23.png" xlink:type="simple"/></inline-formula> and most of the properties of X follow naturally for<inline-formula><inline-graphic xlink:href="/html.scirp.org/file/10-1490782x21.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x22.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x23.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x24.png" xlink:type="simple"/></inline-formula>.</p><p>2) Standard Markovian arguments lead to the following free-boundary problem</p><disp-formula id="scirp.98476-formula39"><label>(3.6)</label><graphic position="anchor" xlink:href="//html.scirp.org/file/10-1490782x25.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.98476-formula40"><label>(3.7)</label><graphic position="anchor" xlink:href="//html.scirp.org/file/10-1490782x26.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.98476-formula41"><label>(3.8)</label><graphic position="anchor" xlink:href="//html.scirp.org/file/10-1490782x27.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.98476-formula42"><label>(3.9)</label><graphic position="anchor" xlink:href="//html.scirp.org/file/10-1490782x28.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.98476-formula43"><label>(3.10)</label><graphic position="anchor" xlink:href="//html.scirp.org/file/10-1490782x29.png"  xlink:type="simple"/></disp-formula><p>where the continuation set is expressed as</p><disp-formula id="scirp.98476-formula44"><label>(3.11)</label><graphic position="anchor" xlink:href="//html.scirp.org/file/10-1490782x30.png"  xlink:type="simple"/></disp-formula><p>and the stopping set is given by</p><disp-formula id="scirp.98476-formula45"><label>(3.12)</label><graphic position="anchor" xlink:href="//html.scirp.org/file/10-1490782x31.png"  xlink:type="simple"/></disp-formula><p>and the optimal stopping time is given by</p><disp-formula id="scirp.98476-formula46"><label>(3.13)</label><graphic position="anchor" xlink:href="//html.scirp.org/file/10-1490782x32.png"  xlink:type="simple"/></disp-formula><p>The proof is easy to attend by applying the definition of optimal stopping time.</p><p>3) Summarising the preceding facts, we can now apply the approach used in [<xref ref-type="bibr" rid="scirp.98476-ref10">10</xref>] and [<xref ref-type="bibr" rid="scirp.98476-ref15">15</xref>] to obtain a representation for the price of the American knock-in binary option as follows:</p><disp-formula id="scirp.98476-formula47"><label>(3.14)</label><graphic position="anchor" xlink:href="//html.scirp.org/file/10-1490782x33.png"  xlink:type="simple"/></disp-formula><p>for <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x34.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x34.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x35.png" xlink:type="simple"/></inline-formula>, where <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x34.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x35.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x36.png" xlink:type="simple"/></inline-formula> is the probability density function of the first hitting time of the process (3.1) to the level L. The density function is given by (see e.g. [<xref ref-type="bibr" rid="scirp.98476-ref16">16</xref>])</p><disp-formula id="scirp.98476-formula48"><label>(3.15)</label><graphic position="anchor" xlink:href="//html.scirp.org/file/10-1490782x37.png"  xlink:type="simple"/></disp-formula><p>for <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x38.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x38.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x39.png" xlink:type="simple"/></inline-formula>, where <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x38.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x39.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x40.png" xlink:type="simple"/></inline-formula> is the standard normal density function given by <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x38.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x39.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x40.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x41.png" xlink:type="simple"/></inline-formula> for<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x38.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x39.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x40.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x41.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x42.png" xlink:type="simple"/></inline-formula>. Therefore, the expression for the</p><p>arbitrage-free price is given by (3.14) and can be solved by inserting the price of the American cash-or-nothing put option.</p><p>The value of the American cash-or-nothing put option is given by [<xref ref-type="bibr" rid="scirp.98476-ref6">6</xref>]</p><disp-formula id="scirp.98476-formula49"><label>(3.16)</label><graphic position="anchor" xlink:href="//html.scirp.org/file/10-1490782x43.png"  xlink:type="simple"/></disp-formula><p>The other three types of binary options: cash-or-nothing call, asset-or-nothing call and put follow the same pricing procedure and their American values can be referred in [<xref ref-type="bibr" rid="scirp.98476-ref6">6</xref>].</p></sec><sec id="s4"><title>4. The American Knock-Out Binary Options</title><sec id="s4_1"><title>4.1. The American Knock-Out Cash-Or-Nothing Options</title><p>1) Consider the stock price X evolving as</p><disp-formula id="scirp.98476-formula50"><label>(4.1)</label><graphic position="anchor" xlink:href="//html.scirp.org/file/10-1490782x44.png"  xlink:type="simple"/></disp-formula><p>with <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x45.png" xlink:type="simple"/></inline-formula> under P for any interest rate <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x45.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x46.png" xlink:type="simple"/></inline-formula> and volatility<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x45.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x46.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x47.png" xlink:type="simple"/></inline-formula>. Throughout <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x45.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x46.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x47.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x48.png" xlink:type="simple"/></inline-formula> denotes the standard Brownian motion on a probability space<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x45.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x46.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x47.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x48.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x49.png" xlink:type="simple"/></inline-formula>. The arbitrage-free price of the American up-out cash-or-nothing put option at time <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x45.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x46.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x47.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x48.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x49.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x50.png" xlink:type="simple"/></inline-formula> is given by</p><disp-formula id="scirp.98476-formula51"><label>(4.2)</label><graphic position="anchor" xlink:href="//html.scirp.org/file/10-1490782x51.png"  xlink:type="simple"/></disp-formula><p>where K is the strike price, L is the barrier level and <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x52.png" xlink:type="simple"/></inline-formula> is the maximum of the stock price process X. Recall that the unique strong solution for (4.1) is given by</p><disp-formula id="scirp.98476-formula52"><label>(4.3)</label><graphic position="anchor" xlink:href="//html.scirp.org/file/10-1490782x53.png"  xlink:type="simple"/></disp-formula><p>under<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x54.png" xlink:type="simple"/></inline-formula>. The process X is strong Markov with the infinitesimal generator given by</p><disp-formula id="scirp.98476-formula53"><label>(4.4)</label><graphic position="anchor" xlink:href="//html.scirp.org/file/10-1490782x55.png"  xlink:type="simple"/></disp-formula><p>We introduce a new process <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x56.png" xlink:type="simple"/></inline-formula> which represents the process X stopped once it hits the barrier level L. Define<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x56.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x57.png" xlink:type="simple"/></inline-formula>, where <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x56.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x57.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x58.png" xlink:type="simple"/></inline-formula> is the first hitting time of the barrier L:</p><disp-formula id="scirp.98476-formula54"><label>(4.5)</label><graphic position="anchor" xlink:href="//html.scirp.org/file/10-1490782x59.png"  xlink:type="simple"/></disp-formula><p>It means that we do not need to monitor the maximum process <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x60.png" xlink:type="simple"/></inline-formula> since the process <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x60.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x61.png" xlink:type="simple"/></inline-formula> behaves exactly the same as the process X for any time <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x60.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x61.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x62.png" xlink:type="simple"/></inline-formula> and most of the properties of X follow naturally for<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x60.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x61.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x62.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x63.png" xlink:type="simple"/></inline-formula>.</p><p>2) Let us determine the structure of the optimal stopping problem (4.2). Standard Markovian arguments lead to the following free-boundary problem (see [<xref ref-type="bibr" rid="scirp.98476-ref17">17</xref>])</p><disp-formula id="scirp.98476-formula55"><label>(4.6)</label><graphic position="anchor" xlink:href="//html.scirp.org/file/10-1490782x64.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.98476-formula56"><label>(4.7)</label><graphic position="anchor" xlink:href="//html.scirp.org/file/10-1490782x65.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.98476-formula57"><label>(4.8)</label><graphic position="anchor" xlink:href="//html.scirp.org/file/10-1490782x66.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.98476-formula58"><label>(4.9)</label><graphic position="anchor" xlink:href="//html.scirp.org/file/10-1490782x67.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.98476-formula59"><label>(4.10)</label><graphic position="anchor" xlink:href="//html.scirp.org/file/10-1490782x68.png"  xlink:type="simple"/></disp-formula><p>where the continuation set is expressed as</p><disp-formula id="scirp.98476-formula60"><label>(4.11)</label><graphic position="anchor" xlink:href="//html.scirp.org/file/10-1490782x69.png"  xlink:type="simple"/></disp-formula><p>the stopping set is given by</p><disp-formula id="scirp.98476-formula61"><label>(4.12)</label><graphic position="anchor" xlink:href="//html.scirp.org/file/10-1490782x70.png"  xlink:type="simple"/></disp-formula><p>and the optimal stopping time is given by</p><disp-formula id="scirp.98476-formula62"><label>(4.13)</label><graphic position="anchor" xlink:href="//html.scirp.org/file/10-1490782x71.png"  xlink:type="simple"/></disp-formula><p>denoting the first time the stock price is equal to K before the stock price is equal to L. We will prove that K is the optimal boundary and <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x72.png" xlink:type="simple"/></inline-formula> is optimal for (4.2) below.</p><p>3) We will show that (4.13) is optimal for (4.2). The fact that the value function (4.2) is a discounted price indicates that the larger <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x73.png" xlink:type="simple"/></inline-formula> is, the less value we will get. As to the payoff, it is either &#163;1 or nothing. Therefore, the optimal stopping time is just the very first time that the stock price hits K, which is (4.13). To prove this, we define <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x73.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x74.png" xlink:type="simple"/></inline-formula> as any stopping time. We need to show that</p><disp-formula id="scirp.98476-formula63"><label>(4.14)</label><graphic position="anchor" xlink:href="//html.scirp.org/file/10-1490782x75.png"  xlink:type="simple"/></disp-formula><p>Actually,</p><disp-formula id="scirp.98476-formula64"><label>(4.15)</label><graphic position="anchor" xlink:href="//html.scirp.org/file/10-1490782x76.png"  xlink:type="simple"/></disp-formula><p>On the other hand,</p><disp-formula id="scirp.98476-formula65"><graphic  xlink:href="//html.scirp.org/file/10-1490782x77.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.98476-formula66"><label>(4.16)</label><graphic position="anchor" xlink:href="//html.scirp.org/file/10-1490782x78.png"  xlink:type="simple"/></disp-formula><p>Hence we conclude that <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x79.png" xlink:type="simple"/></inline-formula> is optimal in (4.2).</p><p>4) Based on the optimal stopping time (4.13), a direct solution for (4.2) can be expressed as</p><disp-formula id="scirp.98476-formula67"><label>(4.17)</label><graphic position="anchor" xlink:href="//html.scirp.org/file/10-1490782x80.png"  xlink:type="simple"/></disp-formula><p>For the geometric Brownian motion the density <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x81.png" xlink:type="simple"/></inline-formula> is known in closed form (cf. ( [<xref ref-type="bibr" rid="scirp.98476-ref16">16</xref>], Page 622):</p><disp-formula id="scirp.98476-formula68"><label>(4.18)</label><graphic position="anchor" xlink:href="//html.scirp.org/file/10-1490782x82.png"  xlink:type="simple"/></disp-formula><p>for<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x83.png" xlink:type="simple"/></inline-formula>, where <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x83.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x84.png" xlink:type="simple"/></inline-formula> is given by (cf. [<xref ref-type="bibr" rid="scirp.98476-ref16">16</xref>])</p><disp-formula id="scirp.98476-formula69"><label>(4.19)</label><graphic position="anchor" xlink:href="//html.scirp.org/file/10-1490782x85.png"  xlink:type="simple"/></disp-formula><p>for<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x86.png" xlink:type="simple"/></inline-formula>. The result is straightforward</p><disp-formula id="scirp.98476-formula70"><label>(4.20)</label><graphic position="anchor" xlink:href="//html.scirp.org/file/10-1490782x87.png"  xlink:type="simple"/></disp-formula><p>for<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x88.png" xlink:type="simple"/></inline-formula>. The value function concerns with the convergence due to the sum of an infinite series. More precisely we will apply the optimal stopping theory to value (4.2) and get a better result. However, the result from (4.20) indicates some properties of the pricing (4.2). It is easy to verify that local time-space formula is applicable to our problem (4.2).</p><p>5) To get the solution to the optimal stopping problem (4.2), apply Ito’s formula to <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x89.png" xlink:type="simple"/></inline-formula> and get</p><disp-formula id="scirp.98476-formula71"><label>(4.21)</label><graphic position="anchor" xlink:href="//html.scirp.org/file/10-1490782x90.png"  xlink:type="simple"/></disp-formula><p>where the function <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x91.png" xlink:type="simple"/></inline-formula> is defined by</p><disp-formula id="scirp.98476-formula72"><label>(4.22)</label><graphic position="anchor" xlink:href="//html.scirp.org/file/10-1490782x92.png"  xlink:type="simple"/></disp-formula><p><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x93.png" xlink:type="simple"/></inline-formula>is given by</p><disp-formula id="scirp.98476-formula73"><label>(4.23)</label><graphic position="anchor" xlink:href="//html.scirp.org/file/10-1490782x94.png"  xlink:type="simple"/></disp-formula><p>and <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x95.png" xlink:type="simple"/></inline-formula> refers to integration with respect to the continuous increasing function<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x95.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x96.png" xlink:type="simple"/></inline-formula>, and <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x95.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x96.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x97.png" xlink:type="simple"/></inline-formula> is a continuous local martingale for <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x95.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x96.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x97.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x98.png" xlink:type="simple"/></inline-formula> with<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x95.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x96.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x97.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x98.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x99.png" xlink:type="simple"/></inline-formula>.</p><p>The martingale term vanishes when taking E on both sides. From the optional sampling theorem we get</p><disp-formula id="scirp.98476-formula74"><label>(4.24)</label><graphic position="anchor" xlink:href="//html.scirp.org/file/10-1490782x100.png"  xlink:type="simple"/></disp-formula><p>for all stopping times <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x101.png" xlink:type="simple"/></inline-formula> of X with values in <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x101.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x102.png" xlink:type="simple"/></inline-formula> with <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x101.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x102.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x103.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x101.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x102.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x103.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x104.png" xlink:type="simple"/></inline-formula> given and fixed. Replacing s by <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x101.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x102.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x103.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x104.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x105.png" xlink:type="simple"/></inline-formula> in (4.24), we get</p><disp-formula id="scirp.98476-formula75"><label>(4.25)</label><graphic position="anchor" xlink:href="//html.scirp.org/file/10-1490782x106.png"  xlink:type="simple"/></disp-formula><p>for all<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x107.png" xlink:type="simple"/></inline-formula>, where <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x107.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x108.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x107.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x108.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x109.png" xlink:type="simple"/></inline-formula> for<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x107.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x108.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x109.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x110.png" xlink:type="simple"/></inline-formula>. We obtain the following early exercise premium representation of the value function</p><disp-formula id="scirp.98476-formula76"><label>(4.26)</label><graphic position="anchor" xlink:href="//html.scirp.org/file/10-1490782x111.png"  xlink:type="simple"/></disp-formula><p>The first term on the RHS is the arbitrage-free price of the European knock-out cash-or-nothing put option <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x112.png" xlink:type="simple"/></inline-formula> at the point <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x112.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x113.png" xlink:type="simple"/></inline-formula> and can be written explicitly as (see [<xref ref-type="bibr" rid="scirp.98476-ref6">6</xref>])</p><disp-formula id="scirp.98476-formula77"><label>(4.27)</label><graphic position="anchor" xlink:href="//html.scirp.org/file/10-1490782x114.png"  xlink:type="simple"/></disp-formula><p>We write</p><disp-formula id="scirp.98476-formula78"><label>(4.28)</label><graphic position="anchor" xlink:href="//html.scirp.org/file/10-1490782x115.png"  xlink:type="simple"/></disp-formula><p>Recall that the joint density function of geometric Brownian motion and its maximum <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x116.png" xlink:type="simple"/></inline-formula> under P with <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x116.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x117.png" xlink:type="simple"/></inline-formula> is given by (see [<xref ref-type="bibr" rid="scirp.98476-ref16">16</xref>])</p><disp-formula id="scirp.98476-formula79"><label>(4.29)</label><graphic position="anchor" xlink:href="//html.scirp.org/file/10-1490782x118.png"  xlink:type="simple"/></disp-formula><p>for <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x119.png" xlink:type="simple"/></inline-formula> with<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x119.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x120.png" xlink:type="simple"/></inline-formula>.</p><p>6) We will discuss the calculation about the local-time term <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x121.png" xlink:type="simple"/></inline-formula> (see [<xref ref-type="bibr" rid="scirp.98476-ref18">18</xref>] and reference therein). Note that</p><disp-formula id="scirp.98476-formula80"><label>(4.30)</label><graphic position="anchor" xlink:href="//html.scirp.org/file/10-1490782x122.png"  xlink:type="simple"/></disp-formula><p>From the definition of local time <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x123.png" xlink:type="simple"/></inline-formula>, there exists a sequence <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x123.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x124.png" xlink:type="simple"/></inline-formula> such that <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x123.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x124.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x125.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x123.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x124.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x125.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x126.png" xlink:type="simple"/></inline-formula>-<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x123.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x124.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x125.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x126.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x127.png" xlink:type="simple"/></inline-formula>. Using Dominated Convergence Theorem, we get</p><disp-formula id="scirp.98476-formula81"><label>(4.31)</label><graphic position="anchor" xlink:href="//html.scirp.org/file/10-1490782x128.png"  xlink:type="simple"/></disp-formula><p>The second step is attained by Fubini’s Theorem and Dominated Convergence Theorem. By the definition of derivative, the last step in (4.31) equals</p><disp-formula id="scirp.98476-formula82"><label>(4.32)</label><graphic position="anchor" xlink:href="//html.scirp.org/file/10-1490782x129.png"  xlink:type="simple"/></disp-formula><p>The density function <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x130.png" xlink:type="simple"/></inline-formula> is given by</p><disp-formula id="scirp.98476-formula83"><label>(4.33)</label><graphic position="anchor" xlink:href="//html.scirp.org/file/10-1490782x131.png"  xlink:type="simple"/></disp-formula><p>where <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x132.png" xlink:type="simple"/></inline-formula> is the density function for standard normal distribution. Therefore, (4.30) can be expressed as</p><disp-formula id="scirp.98476-formula84"><label>(4.34)</label><graphic position="anchor" xlink:href="//html.scirp.org/file/10-1490782x133.png"  xlink:type="simple"/></disp-formula><p>Substituting the result (4.34) into (4.26), we get the early exercise premium (EEP) representation for the American knock-out cash-or-nothing put option</p><disp-formula id="scirp.98476-formula85"><label>(4.35)</label><graphic position="anchor" xlink:href="//html.scirp.org/file/10-1490782x134.png"  xlink:type="simple"/></disp-formula><p>where the first and second terms are defined in (4.27) and (4.28).</p><p>The main result of the present subsection may now be stated as follows. Below, we will make use of the following function</p><disp-formula id="scirp.98476-formula86"><label>(4.36)</label><graphic position="anchor" xlink:href="//html.scirp.org/file/10-1490782x135.png"  xlink:type="simple"/></disp-formula><p>for all <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x136.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x136.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x137.png" xlink:type="simple"/></inline-formula>.</p><p>Theorem 1. The arbitrage-free price of the American knock-out cash-or-nothing put option follows the early-exercise premium representation</p><disp-formula id="scirp.98476-formula87"><label>(4.37)</label><graphic position="anchor" xlink:href="//html.scirp.org/file/10-1490782x138.png"  xlink:type="simple"/></disp-formula><p>for all<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x139.png" xlink:type="simple"/></inline-formula>, where the first term is the arbitrage-free price of the European knock-out cash-or-nothing put option and the second and third terms are the early-exercise premium.</p><p>The proof is straightforward following the points 4, 5 and 6 stated above. Note that our problem is based on the stopped process <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x140.png" xlink:type="simple"/></inline-formula> instead of the original process X and that the value of <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x140.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x141.png" xlink:type="simple"/></inline-formula> in (4.37) needs to be estimated by finite difference method otherwise we can not get the value<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x140.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x141.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x142.png" xlink:type="simple"/></inline-formula>.</p><p>The cash-or-nothing call option can be handled in a similar way. The different part is the European value function in (4.27). The arbitrage-free price of the European down-out cash-or-nothing call option <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x143.png" xlink:type="simple"/></inline-formula> at the point <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x143.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x144.png" xlink:type="simple"/></inline-formula> is given by (see [<xref ref-type="bibr" rid="scirp.98476-ref6">6</xref>])</p><disp-formula id="scirp.98476-formula88"><label>(4.38)</label><graphic position="anchor" xlink:href="//html.scirp.org/file/10-1490782x145.png"  xlink:type="simple"/></disp-formula></sec><sec id="s4_2"><title>4.2. The American Knock-Out Asset-Or-Nothing Options</title><p>The arbitrage-free price of the European knock-out asset-or-nothing option <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x146.png" xlink:type="simple"/></inline-formula> at the point <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x146.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x147.png" xlink:type="simple"/></inline-formula> can be written explicitly as (see [<xref ref-type="bibr" rid="scirp.98476-ref6">6</xref>])</p><disp-formula id="scirp.98476-formula89"><label>(4.39)</label><graphic position="anchor" xlink:href="//html.scirp.org/file/10-1490782x148.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.98476-formula90"><label>(4.40)</label><graphic position="anchor" xlink:href="//html.scirp.org/file/10-1490782x149.png"  xlink:type="simple"/></disp-formula><p>where <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x150.png" xlink:type="simple"/></inline-formula> represents the value for the European down-out asset-or-nothing call (ANC) option and <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x150.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x151.png" xlink:type="simple"/></inline-formula> for the up-out put.</p><p>Theorem 2. The arbitrage-free price of the American knock-out asset-or-nothing option follows the early-exercise premium representation</p><disp-formula id="scirp.98476-formula91"><label>(4.41)</label><graphic position="anchor" xlink:href="//html.scirp.org/file/10-1490782x152.png"  xlink:type="simple"/></disp-formula><p>for all<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x153.png" xlink:type="simple"/></inline-formula>, and</p><disp-formula id="scirp.98476-formula92"><label>(4.42)</label><graphic position="anchor" xlink:href="//html.scirp.org/file/10-1490782x154.png"  xlink:type="simple"/></disp-formula><p>for all<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x155.png" xlink:type="simple"/></inline-formula>, where the first term is the arbitrage-free price of the European knock-out asset-or-nothing option and the second term is the early-exercise premium.</p><p>Proof. The proof is analogous to that of Theorem 1. Back to (4.22), it is easy to verify that the value of H vanishes since <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x156.png" xlink:type="simple"/></inline-formula> in the stopping set. There are only two terms in (4.26).</p></sec></sec><sec id="s5"><title>5. Financial Analysis of the American Barrier Binary Options</title><p>The payment of the American barrier binary options is binary, so they are not ideal hedging instruments. Instead, they are ideal investment products. It is popular to use structured accrual range notes in the financial markets. Such notes are related to foreign exchanges, equities or commodities. For instance, in a daily accrual USD-BRP exchange rate range note, it pays a fixed daily accrual interest if the exchange rate remains within a certain range.</p><p>Generally, an investor buying a barrier option is seeking for more risk than that of a vanilla option since the barrier options can be stopped or “knocked-out” at any time prior to maturity or never start or “knock-in” due to not hitting the barrier. Basic reasons to purchase barrier options rather than standard options include a better expectation of the future behaviour of the market, hedging needs and lower premiums. In the liquid market, traders value options by calculating the expected value of the pay-offs based on all stock scenarios. It means to some extent we pay for the volatility around the forward price. However, barrier options eliminate paying for the impossible scenarios from our point of view. On the other hand, we can improve our return by selling a barrier option that pays off based on scenarios we think of little probability. Let us imagine that the 1-year forward price of the stock is 110 and the spot price is 100. We believe that the market is very likely to rise and if it drops below 95, it will decline further. We can buy a down-and-out call option with strike price 110 and the barrier level 95. At any time, if the stock falls below 95, the option is knocked-out. In this way, we do not pay for the scenario that the stock price drops firstly and then goes up again. This reduces the premium. For the hedgers, barrier options meet their needs more closely. Suppose we own a stock with spot 100 and decide to sell it at 105. We also want to get protected if the stock price falls below 95. We can buy a put option struck at 95 to hedge it but it is more inexpensive to buy an up-an-out put with a strike price 95 and barrier 105. Once the stock price rises to 105 when we can sell it and this put disappears simultaneously.</p><p>The relationship between knock-in option, knock-out option and knock-less option (standard option) of the same type (call or put) with the same expiration date, strike and barrier level can be expressed as</p><disp-formula id="scirp.98476-formula93"><label>(5.1)</label><graphic position="anchor" xlink:href="//html.scirp.org/file/10-1490782x157.png"  xlink:type="simple"/></disp-formula><p>This relationship only holds for the European barrier options. It has not been obtained for the American version when we get the American values from the sections above.</p><p>We plot the value of the American barrier binary options using the free-boundary structure in the above sections. Note that the value of <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x158.png" xlink:type="simple"/></inline-formula> in Equations (4.37), (4.41) and (4.42) separately is estimated by finite difference method (see [<xref ref-type="bibr" rid="scirp.98476-ref19">19</xref>]).</p><p>The American value curves in <xref ref-type="fig" rid="fig3">Figure 3</xref> and <xref ref-type="fig" rid="fig4">Figure 4</xref> are simulated from (15) by inserting different American binary option values. <xref ref-type="fig" rid="fig3">Figure 3</xref> shows that the value of the American down-in cash-or-nothing call options (asset-or-nothing call option follows a similar curve) increases with stock price <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/10-1490782x159.png" xlink:type="simple"/></inline-formula> before the in barrier and then decreases due to the uncertainty of knock-in. <xref ref-type="fig" rid="fig4">Figure 4</xref> shows the value of the American up-in cash-or-nothing put option (asset-or-nothing put is similar ). As we can see before the barrier, the option value is increasing and gets its peak at the barrier. Then the value goes down as the stock price continues to go up after the barrier level. Generally, the price of the American version options is larger than the European version.</p><p>Figures 5-8 show the values for the knock-out binary options. <xref ref-type="fig" rid="fig5">Figure 5</xref> illustrates that the value of the up-out cash-or-nothing put option is a decreasing function of the stock price below the barrier. However, in <xref ref-type="fig" rid="fig6">Figure 6</xref> the up-out asset-or-nothing put first goes up and then down to the barrier. We can see the value of the down-out cash-or-nothing call option in <xref ref-type="fig" rid="fig7">Figure 7</xref> is strictly increasing as the asset price above the barrier. The asset-or-nothing call value in <xref ref-type="fig" rid="fig8">Figure 8</xref> is also in the similar situation but with different amount of payoff size. All of the out figures show that the smooth-fit condition is not satisfied at the stopping boundary K.</p><p>The results of this paper also hold for an underlying asset with dividend structure. With minor modifications, the formulas developed here can be applied to handle those problems.</p></sec><sec id="s6"><title>Acknowledgements</title><p>The authors are grateful to Goran Peskir, Yerkin Kitapbayev and Shi Qiu for the informative discussions.</p></sec><sec id="s7"><title>Conflicts of Interest</title><p>The authors declare no conflicts of interest regarding the publication of this paper.</p></sec><sec id="s8"><title>Cite this paper</title><p>Gao, M. and Wei, Z.F. (2020) The Barrier Binary Options. Journal of Mathematical Finance, 10, 140-156. https://doi.org/10.4236/jmf.2020.101010</p></sec></body><back><ref-list><title>References</title><ref id="scirp.98476-ref1"><label>1</label><mixed-citation publication-type="other" xlink:type="simple">Derman, E. and Kani, I. (1996) The Ins and Outs of Barrier Options: Part 1. Derivatives Quarterly, 3, 55-67.</mixed-citation></ref><ref id="scirp.98476-ref2"><label>2</label><mixed-citation publication-type="other" xlink:type="simple">Derman, E. and Kani, I. (1997) The Ins and Outs of Barrier Options: Part 2. Derivatives Quarterly, 3, 73-80.</mixed-citation></ref><ref id="scirp.98476-ref3"><label>3</label><mixed-citation publication-type="other" xlink:type="simple">Haug, E.G. (2007) The Complete Guide to Option Pricing Formulas. McGraw-Hill Companies, New York.</mixed-citation></ref><ref id="scirp.98476-ref4"><label>4</label><mixed-citation publication-type="other" xlink:type="simple">Merton, R.C. (1973) Theory of Rational Option Pricing. The Bell Journal of Economics and Management Science, 4, 141-183. https://doi.org/10.2307/3003143</mixed-citation></ref><ref id="scirp.98476-ref5"><label>5</label><mixed-citation publication-type="journal" xlink:type="simple"><name name-style="western"><surname>Rich</surname><given-names> D.R. </given-names></name>,<etal>et al</etal>. (<year>1994</year>)<article-title>The Mathematical Foundations of Barrier Option-Pricing Theory</article-title><source> Advances in Futures and Options Research: A Research Annual</source><volume> 7</volume>,<fpage> 267</fpage>-<lpage>311</lpage>.<pub-id pub-id-type="doi"></pub-id></mixed-citation></ref><ref id="scirp.98476-ref6"><label>6</label><mixed-citation publication-type="other" xlink:type="simple">Rubinstein, M. and Reiner, E. (1991) Unscrambling the Binary Code. Risk Magazine, 4, 20.</mixed-citation></ref><ref id="scirp.98476-ref7"><label>7</label><mixed-citation publication-type="other" xlink:type="simple">Kunitomo, N. and Ikeda, M. (1992) Pricing Options with Curved Boundaries. Mathematical Finance, 2, 275-298. https://doi.org/10.1111/j.1467-9965.1992.tb00033.x</mixed-citation></ref><ref id="scirp.98476-ref8"><label>8</label><mixed-citation publication-type="other" xlink:type="simple">Geman, H. and Yor, M. (1996) Pricing and Hedging Double-Barrier Options: A Probabilistic Approach. Mathematical Finance, 6, 365-378.https://doi.org/10.1111/j.1467-9965.1996.tb00122.x</mixed-citation></ref><ref id="scirp.98476-ref9"><label>9</label><mixed-citation publication-type="other" xlink:type="simple">Haug, E.G. (2001) Closed Form Valuation of American Barrier Options. International Journal of Theoretical and Applied Finance, 4, 355-359.https://doi.org/10.1142/S0219024901001012</mixed-citation></ref><ref id="scirp.98476-ref10"><label>10</label><mixed-citation publication-type="other" xlink:type="simple">Dai, M. and Kwok, Y.K. (2004) Knock-in American Options. Journal of Futures Markets, 24, 179-192. https://doi.org/10.1002/fut.10101</mixed-citation></ref><ref id="scirp.98476-ref11"><label>11</label><mixed-citation publication-type="other" xlink:type="simple">Jun, D. and Ku, H. (2012) Digital Barrier Option Contract with Exponential Random Time. IMA Journal of Applied Mathematics, 78, 1147-1155.https://doi.org/10.1093/imamat/hxs013</mixed-citation></ref><ref id="scirp.98476-ref12"><label>12</label><mixed-citation publication-type="other" xlink:type="simple">Jun, D. and Ku, H. (2013) Valuation of American Partial Barrier Options. Review of Derivatives Research, 16, 167-191. https://doi.org/10.1007/s11147-012-9081-1</mixed-citation></ref><ref id="scirp.98476-ref13"><label>13</label><mixed-citation publication-type="other" xlink:type="simple">Hui, C.H. (1996) One-Touch Double Barrier Binary Option Values. Applied Financial Economics, 6, 343-346. https://doi.org/10.1080/096031096334141</mixed-citation></ref><ref id="scirp.98476-ref14"><label>14</label><mixed-citation publication-type="other" xlink:type="simple">Gao, B., Huang, J.Z. and Subrahmanyam, M. (2000) The Valuation of American Barrier Options Using the Decomposition Technique. Journal of Economic Dynamics and Control, 24, 1783-1827. https://doi.org/10.1016/S0165-1889(99)00093-7</mixed-citation></ref><ref id="scirp.98476-ref15"><label>15</label><mixed-citation publication-type="other" xlink:type="simple">Aitsahlia, F., Imhof, L. and Lai, T.L. (2004) Pricing and Hedging of American Knock-in Options. The Journal of Derivatives, 11, 44-50.https://doi.org/10.3905/jod.2004.391034</mixed-citation></ref><ref id="scirp.98476-ref16"><label>16</label><mixed-citation publication-type="other" xlink:type="simple">Borodin, A.N. and Salminen, P. (2002) Handbook of Brownian Motion: Facts and Formulae. Springer, Berlin. https://doi.org/10.1007/978-3-0348-8163-0</mixed-citation></ref><ref id="scirp.98476-ref17"><label>17</label><mixed-citation publication-type="other" xlink:type="simple">Peskir, G. and Shiryaev, A. (2006) Optimal Stopping and Free-Boundary Problems. Birkh&amp;#228user, Basel.</mixed-citation></ref><ref id="scirp.98476-ref18"><label>18</label><mixed-citation publication-type="other" xlink:type="simple">Peskir, G. (2005) A Change-of-Variable Formula with Local Time on Curves. Journal of Theoretical Probability, 18, 499-535. https://doi.org/10.1007/s10959-005-3517-6</mixed-citation></ref><ref id="scirp.98476-ref19"><label>19</label><mixed-citation publication-type="other" xlink:type="simple">Qiu, S. (2016) Early Exercise Options with Two Free Boundaries. PhD Thesis, The University of Manchester, Manchester.</mixed-citation></ref></ref-list></back></article>