<?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.2012.23023</article-id><article-id pub-id-type="publisher-id">JMF-22099</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>
 
 
  Partial Hedging Using Malliavin Calculus
 
</article-title></title-group><contrib-group><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>an</surname><given-names>Ma Nygren</given-names></name><xref ref-type="aff" rid="aff1"><sup>1</sup></xref><xref ref-type="corresp" rid="cor1"><sup>*</sup></xref></contrib><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>Peter</surname><given-names>Lakner</given-names></name><xref ref-type="aff" rid="aff2"><sup>2</sup></xref><xref ref-type="corresp" rid="cor1"><sup>*</sup></xref></contrib></contrib-group><aff id="aff2"><addr-line>Department of Statistics and Operations Research, New York University, New York, USA</addr-line></aff><aff id="aff1"><addr-line>Department of Management Sciences, Rider University, Lawrenceville, USA</addr-line></aff><author-notes><corresp id="cor1">* E-mail:<email>lnygren@rider.edu(AMN)</email>;<email>plakner@stern.nyu.edu(PL)</email>;</corresp></author-notes><pub-date pub-type="epub"><day>31</day><month>08</month><year>2012</year></pub-date><volume>02</volume><issue>03</issue><fpage>203</fpage><lpage>213</lpage><history><date date-type="received"><day>May</day>	<month>16,</month>	<year>2012</year></date><date date-type="rev-recd"><day>June</day>	<month>18,</month>	<year>2012</year>	</date><date date-type="accepted"><day>June</day>	<month>27,</month>	<year>2012</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>
 
 
  Under the constraint that the initial capital is not enough for a perfect hedge, the problem of deriving an optimal partial hedging portfolio so as to minimize the shortfall risk is worked out by solving two connected subproblems sequentially. One subproblem is to find the optimal terminal wealth that minimizes the shortfall risk. The shortfall risk is quantified by a general convex risk measure to accommodate different levels of risk tolerance. A convex duality approach is used to obtain an explicit formula for the optimal terminal wealth. The second subproblem is to derive the explicit expression for the admissible replicating portfolio that generates the optimal terminal wealth. We show by examples that to solve the second subproblem, the Malliavin calculus approach outperforms the traditional delta-hedging approach even for the simplest claim. Explicit worked-out examples include a European call option and a standard lookback put option.
 
</p></abstract><kwd-group><kwd>Partial Hedging; Malliavin Calculus; Convex Duality; Convex Risk Measure</kwd></kwd-group></article-meta></front><body><sec id="s1"><title>1. Introduction</title><p>A replicating (self-financing) portfolio <img src="1-1490077\b45eb094-e104-4832-a9c8-269e6a07e24b.jpg" /> designed to eliminate the risk exposure of the target contingent claim completely is called a perfect hedge. Since the value of a perfect hedging portfolio achieves exact replication of the payoff of the target security at the expiration date T, one can offset the risk of the target claim by selling the replicating strategy. In a financial market that is complete and arbitrage free, a perfect hedging strategy exists for any contingent claim with a sufficiently integral terminal payoff<img src="1-1490077\14d02063-c8a7-4598-a608-6434cfba5dc9.jpg" />. The cost of replication <img src="1-1490077\9294e0c1-e185-42ac-bff1-408b1578d065.jpg" /> is given by the expected value of the discounted payoff under the unique, risk neutral equivalent martingale measure<img src="1-1490077\f809e4df-d824-4663-959f-5cb240ba781f.jpg" />, i.e.,</p><disp-formula id="scirp.22099-formula347"><label>(1)</label><graphic position="anchor" xlink:href="1-1490077\773270fd-7875-4453-b3cf-05c54aaf6e55.jpg"  xlink:type="simple"/></disp-formula><p>where <img src="1-1490077\7876a1c5-267a-4ae1-8080-5cb9e0e75705.jpg" /> is the price of the risk-free asset.</p><p>One of the drawbacks of a perfect hedge is that the initial cost of the exact replication (i.e., <img src="1-1490077\304b0bb3-89cc-4ea3-ae52-3906fb820210.jpg" />in (1)) is high. In addition, avoiding risks completely means losing out on the potential gain that accepting the risk may have allowed. To this end, we discuss the position of an agent who is unwilling to commit at time <img src="1-1490077\6c2a6d61-4f1c-43e6-a83a-8201c6b71724.jpg" /> the entire amount <img src="1-1490077\bacc2d64-f080-4eea-83c0-7716c99e12dc.jpg" /> necessary for implementing a perfect hedge and is thus interested in a partial hedging strategy that offers the balance between the cost and the risk exposure. Our goal is to derive optimal partial hedging strategies for various target contingent claims.</p><p>Since the shortfall risk is intrinsic in a partial hedging environment, one natural way to find the optimal partial hedging strategy would be to minimize the shortfall risk under the constraint that the initial capital <img src="1-1490077\d8c429f0-7c11-4a36-a573-9d3856e388a0.jpg" /> is less than <img src="1-1490077\07c45fca-331b-45f6-bd36-dda1c8067412.jpg" /> (i.e., the amount required for a perfect hedge). The criterion used to quantify the shortfall risk is the expectation of the shortfall <img src="1-1490077\ad30644f-90c1-4a65-97bf-2ec0ee64c0c8.jpg" /> weighed by a convex loss function g, where <img src="1-1490077\44e17528-0f62-4657-8a93-57f3c89485da.jpg" /> is the terminal payoff of a target contingent claim and <img src="1-1490077\7e58f36f-28af-4515-9ed9-e71f7671afe3.jpg" /> is the value of the hedging portfolio. Compared with the linear loss function criterion adopted by [<xref ref-type="bibr" rid="scirp.22099-ref1">1</xref>] and [<xref ref-type="bibr" rid="scirp.22099-ref2">2</xref>], convexity of the loss function g offers the flexibility to accommodate different types of market participants with different levels of risk tolerance. For example, pension funds and foundations are usually risk-averse whereas hedge funds are more likely to have risk-seeking behaveiors. Moreover, individual investors’ attitudes towards risk are unique depending on their own personal and financial circumstances.</p><p>The problem of solving for an optimal partial hedging portfolio so as to minimize the shortfall risk is decomposed into two subproblems. One subproblem is to find the attainable terminal wealth that minimizes the shortfall risk under the insufficient initial capital constraint. A convex duality approach is used to obtain an explicit formula for the optimal terminal wealth<img src="1-1490077\5cb74a5b-2c56-40fd-b6c4-30b32d1126ea.jpg" />. We are the first to use the convex duality approach to study this problem in a systematic way for a general convex loss function. A similar problem was solved in [<xref ref-type="bibr" rid="scirp.22099-ref3">3</xref>] applying the Neyman Pearson lemma. The second subproblem is to derive the explicit expression for the admissible replicating portfolio that generates the optimal terminal wealth<img src="1-1490077\04356a60-df77-4fc7-914f-1bc0d0a78dff.jpg" />. There are two different approaches to solving the second subproblem. One is the well-known delta-hedging approach and the other is the Malliavin calculus approach. [<xref ref-type="bibr" rid="scirp.22099-ref4">4</xref>] compared these two approaches in the Black and Scholes environment. The author commented that the difficulty of applying the delta-hedging approach is to verify the continuous differentiability condition of the price process of the target claim. In the case of perfect hedge, the difficulty noted above does not exist for a standard call option. The Malliavin calculus approach is only needed for certain path dependent options such as lookback options. However, this is no longer the case in the partial hedging environment. We find that to derive an optimal partial hedging portfolio even for the simplest claim such as an ordinary call option, it is not trivial to verify the continuous differentiability condition for the price process of the optimal terminal wealth. Nevertheless the machinery of the Malliavin calculus approach help circumvent this difficulty. Although the full range of cases remain to be investigated, we illustrate by examples that in the context of partial hedging, the Malliavin calculus approach is not only mathematically rigorous, but also straightforward and easy to implement. Explicit worked-out examples in previous partial hedging studies are only restricted to standard European options. In this paper, by applying the Malliavin calculus approach, we are able to obtain the explicit partial hedging formula for a lookback option.</p><p>It is worth noting that the Malliavin calculus approach has gained considerable interest since it was first introduced to the portfolio theory literature by [<xref ref-type="bibr" rid="scirp.22099-ref5">5</xref>]. For example, [<xref ref-type="bibr" rid="scirp.22099-ref6">6</xref>] applied the Clark-Ocone formula and the gradient operator in Malliavin calculus to derive an explicit representation for the optimal trading strategy in the case of partial information. The Malliavin calculus approach has also been used to derive perfect hedging strategies for lookback and barrier options (see [7,8]). [<xref ref-type="bibr" rid="scirp.22099-ref9">9</xref>] found the Malliavin calculus approach useful in deriving the hedging portfolios for an expected-utility-maximizing investor whose consumption rate and terminal wealth are subject to downside constraints.</p><p>The rest of the paper is organized as follows. Section 2 sets up the model for the financial market, presents the dynamics of the agent’s wealth process<img src="1-1490077\ac223be1-4c80-4453-87b0-649362b625ad.jpg" />, and defines the class of admissible portfolios<img src="1-1490077\a6dfae87-83fb-4afc-bf46-42c6fbe3ec84.jpg" />. Section 3 solves the problem of minimizing the expected shortfall loss using the convex duality approach. The main result is an explicit expression for the optimal terminal wealth<img src="1-1490077\e4ecf40e-de9c-4d11-b12a-e0c6ba4f271f.jpg" />. The existence of an optimal hedging strategy is shown as well. The Malliavin calculus approach is summarized in Section 4 and is used to derive the optimal partial hedging portfolios for two specific examples in Section 5.</p></sec><sec id="s2"><title>2. The Economy</title><p>Since our ultimate interest is to obtain explicit expressions for the optimal partial hedging portfolios, the model under consideration here is a typical Black and Scholes economy as in [<xref ref-type="bibr" rid="scirp.22099-ref10">10</xref>], wherein there are one riskless asset of price <img src="1-1490077\85c83ba2-4e5a-4a76-bda1-644d26b6444e.jpg" /> and one risky asset of price<img src="1-1490077\847c5e55-9ebb-4e87-a5f6-44701f7dc739.jpg" />. We shall assume that the riskless asset <img src="1-1490077\12a34aef-6298-4e6a-a87e-caf9efef87b9.jpg" /> earns a constant instantaneous rate of interest<img src="1-1490077\cd416c4c-acc5-4922-b9ab-b2a73a64bcce.jpg" />, and that the price <img src="1-1490077\844c8a9a-2259-45f1-ae12-fbdf5d5fcf07.jpg" /> of the risky asset follows a geometric Brownian motion. More specifically, the respective prices <img src="1-1490077\fde8f738-c580-44a6-9a72-a7c5de295fd2.jpg" /> and <img src="1-1490077\5dada9a8-8615-4a76-a24f-f68ccb57cb05.jpg" /> evolve according to the (stochastic) differential equations</p><disp-formula id="scirp.22099-formula348"><label>(2)</label><graphic position="anchor" xlink:href="1-1490077\83a417ca-1b5c-426b-aec7-b0ae7c23f76c.jpg"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.22099-formula349"><label>(3)</label><graphic position="anchor" xlink:href="1-1490077\f9893d64-f45c-4c08-bb80-70c5388f9e33.jpg"  xlink:type="simple"/></disp-formula><p>All our problems are treated on a finite time-horizon [0,T]. In Equation (3), <img src="1-1490077\5d336df8-d6bd-4bc3-93c0-edf6ddcf5db8.jpg" />is a standard Brownian motion on a complete probability space <img src="1-1490077\4193b129-782a-44da-a8aa-ac80764cca04.jpg" /> endowed with an augmented filtration <img src="1-1490077\a8cde846-e104-4adf-a9ad-82d752bd2d30.jpg" /> <img src="1-1490077\ac9338b6-4911-4fd3-92c7-d864e4b37c82.jpg" /> generated by the Brownian motion<img src="1-1490077\c0d25084-7907-4ec3-a2bf-730b508d3bb4.jpg" />. We assume that <img src="1-1490077\3bc550ac-f13f-4064-9ca5-ce002799d35e.jpg" /> (interest rate), <img src="1-1490077\73bd2a72-49e2-4e6b-8d97-67652cc82acf.jpg" />(stock return rate), <img src="1-1490077\c6cca380-7fe7-49af-936c-755533daca70.jpg" />(stock volatility), and <img src="1-1490077\f95310e3-1196-4859-a162-b2b21f1f0ad6.jpg" /> are positive constants.</p><p>Set “the market-price-of-risk”<img src="1-1490077\19a8058f-12c4-4dbd-a38f-cb08a957eebc.jpg" />. We introduce the following processes</p><disp-formula id="scirp.22099-formula350"><label>(4)</label><graphic position="anchor" xlink:href="1-1490077\deb45065-5bd6-435a-a698-fa363325bac0.jpg"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.22099-formula351"><label>(5)</label><graphic position="anchor" xlink:href="1-1490077\7f0c99e7-42b9-4b14-9bac-ad50c2e12f34.jpg"  xlink:type="simple"/></disp-formula><p>and the auxiliary probability measure <img src="1-1490077\5de4ab74-beeb-4357-bf23-df2f1eb70025.jpg" /> defined on <img src="1-1490077\a32cb804-9ee7-4d12-b901-1e041cb8f882.jpg" /></p><disp-formula id="scirp.22099-formula352"><label>(6)</label><graphic position="anchor" xlink:href="1-1490077\8e7b836d-956c-467b-8187-e71e510e24d1.jpg"  xlink:type="simple"/></disp-formula><p>According to the Girsanov theorem the process <img src="1-1490077\db936a79-ce9d-4e97-9dc1-1169866e05e1.jpg" /> is a <img src="1-1490077\2f3dfbc5-c9d6-4cac-91d8-9159a2278561.jpg" />-Brownian motion on<img src="1-1490077\af48a39a-990a-4aed-9c6f-c480ca5a39dc.jpg" />.</p><p>In the context of the above market model, consider an agent who is endowed with initial wealth<img src="1-1490077\50e5fc92-21e8-4ffe-bf2a-386fc2edb6aa.jpg" />, can decide, at each time<img src="1-1490077\8d05c69a-a3fa-4929-8f0f-57024076caa6.jpg" />, which amount <img src="1-1490077\f86e073b-730f-49fc-927f-20f8368a8895.jpg" /> to invest in the risky asset without affecting its price. We shall denote by <img src="1-1490077\14a7ffd1-1f4a-4f87-90f6-668d4ac92585.jpg" /> the wealth of this agent at time<img src="1-1490077\5015af7d-9397-433f-8611-c43e6895611a.jpg" />. With <img src="1-1490077\fcfb17ce-1b7e-4d3c-a1b7-863beea9b94e.jpg" /> chosen, the investor places the amount <img src="1-1490077\693111e9-362f-440c-9fac-7170d21d1cba.jpg" /> in the bank account. The agent’s wealth process satisfies the equation</p><disp-formula id="scirp.22099-formula353"><label>(7)</label><graphic position="anchor" xlink:href="1-1490077\40eaf1c0-71e1-4709-946a-140aef02aa2a.jpg"  xlink:type="simple"/></disp-formula><p>Formally, we say that a trading strategy <img src="1-1490077\3b389012-1cea-49fa-a211-ae3747f25aee.jpg" /> over the time interval <img src="1-1490077\3eec1d13-9706-4862-bd33-9478b4e4e96f.jpg" /> is self-financing if its wealth process satisfies (7). We require that the wealth process <img src="1-1490077\423b09b5-928d-40b5-9fb6-7e99b20f15a7.jpg" /> in (7) to be almost surely uniformly bounded from below by zero for the trading strategies <img src="1-1490077\4c66a9bf-773c-4d5f-b04a-f877828165e3.jpg" /> to be admissible. The class of all such admissible trading strategies is denoted by<img src="1-1490077\7f620c54-7e29-48fe-b1f2-ea136c10b51c.jpg" />. Let us introduce the notation</p><disp-formula id="scirp.22099-formula354"><label>(8)</label><graphic position="anchor" xlink:href="1-1490077\5fe442ef-5333-4388-87ae-aad83bbd4aa1.jpg"  xlink:type="simple"/></disp-formula><p>the discounted version of the wealth process<img src="1-1490077\d52aab25-af1b-40ab-b9e5-a1f062bc632e.jpg" />. We have the equivalent equation</p><disp-formula id="scirp.22099-formula355"><label>(9)</label><graphic position="anchor" xlink:href="1-1490077\8f74610e-b946-4ae4-a3da-60cc9488523b.jpg"  xlink:type="simple"/></disp-formula><p>We can deduce that the discounted wealth process <img src="1-1490077\f6720b02-6e85-4c95-95c7-94d361745c6b.jpg" /> is a continuous local martingale under<img src="1-1490077\0b64b2b6-4476-494e-9d4a-897eb7aa60d7.jpg" />. Denoting the process</p><disp-formula id="scirp.22099-formula356"><label>(10)</label><graphic position="anchor" xlink:href="1-1490077\6d1b7014-81ed-4295-9082-872ab0b9353d.jpg"  xlink:type="simple"/></disp-formula><p>with the help of the “Bayes rule”, we can deduce that the process <img src="1-1490077\c6e2a90f-be2f-4d63-bb51-108a0eaf01fc.jpg" /> is a continuous local martingale under<img src="1-1490077\ab0aca4d-1294-4c72-b40d-ecdfc07999fd.jpg" />. This process is also bounded from below. An application of Fatou’s lemma shows that <img src="1-1490077\8e75f2b6-0f0b-468e-aa4d-e85123e07a76.jpg" /> is a supermartingale under<img src="1-1490077\74103904-90e1-42b2-9fae-2d46c64b487b.jpg" />. Consequently, we have</p><disp-formula id="scirp.22099-formula357"><label>(11)</label><graphic position="anchor" xlink:href="1-1490077\996a1723-740f-4864-8195-db75358280ad.jpg"  xlink:type="simple"/></disp-formula><p>Moreover, it is well-known that this market is complete in the following sense: for every initial wealth <img src="1-1490077\5567b893-08f0-4320-8d7c-0a7d3abe68d4.jpg" /> such that <img src="1-1490077\b234396a-492d-43e4-9b49-d92167ad8f37.jpg" /> and every nonnegative random variable<img src="1-1490077\2c7fc948-f692-4abc-9e0d-5d20f07b9694.jpg" />, there exists an admissible trading strategy <img src="1-1490077\d4f3b2e8-e784-42a5-ad39-c7b1eb39f8b8.jpg" /> whose value process satisfies <img src="1-1490077\0c8fcb52-adb3-45bc-b4c4-a9bab9fddead.jpg" />, P-almost surely.</p></sec><sec id="s3"><title>3. Minimizing the Expected Shortfall Risk</title><p>This section is devoted to finding an explicit expression of the optimal terminal wealth that minimizes the expected shortfall risk. Consider a contingent claim whose terminal payoff is given by a <img src="1-1490077\bf0d25f4-7fc3-4fff-ac08-297fca3d2c0b.jpg" />-measurable, nonnegative random variable C. Recall <img src="1-1490077\e2e5c68a-2658-4ccc-bef9-5bc69d434efa.jpg" /> defined in (1) and assume<img src="1-1490077\85f2892f-e39e-4ef8-89ee-97bd339c0826.jpg" />. The value <img src="1-1490077\f32463ae-7594-45d8-b94d-b556353fada7.jpg" /> is the smallest amount <img src="1-1490077\7acc99bb-d966-499e-8722-31c1f9063180.jpg" /> such that there exists an admissible strategy <img src="1-1490077\2fc38364-b909-4ba0-9b2b-ef1032a8765e.jpg" /> whose value process satisfies<img src="1-1490077\a01b4a32-e88b-4e8c-8c28-5070dd29a180.jpg" />, P-almost surely (i.e., a perfect hedge). Notice that the notations <img src="1-1490077\89a86616-3a6f-42ea-80e1-d504eb143895.jpg" /> and <img src="1-1490077\3fde4c4d-f2d5-4b0c-964d-eefab63d26bd.jpg" /> are interchangeable. In this section, we choose to use the latter to emphasize the value of the portfolio is achieved by a certain amount of initial capital <img src="1-1490077\a7282885-b1ec-418e-bc37-079bcde3f743.jpg" /> and a specific admissible strategy<img src="1-1490077\0be4bc63-db7b-425d-9ae8-20879bc5437c.jpg" />.</p><p>Now assume that the initial capital <img src="1-1490077\de731738-adf9-430e-97f7-054b7fc0e5ee.jpg" /> is not enough to do a perfect hedge, i.e.,<img src="1-1490077\1a38235c-da3d-488a-b343-d484a7a9f494.jpg" />. The risk measure used to find the optimal partial hedging strategy takes account of two factors. One is the size of the shortfall<img src="1-1490077\23cfcaea-5329-4574-a2b2-413db450935c.jpg" />, where<img src="1-1490077\f964f813-ba32-4943-bdcd-3a56190fd9d4.jpg" />. The other is the investor’s attitude towards the shortfall risk, which is captured by a loss function<img src="1-1490077\0507f6b2-8229-4894-80f1-c485e982059a.jpg" />. We assume that <img src="1-1490077\2389538b-0964-402b-9190-60353ffdf0c1.jpg" /> is an increasing and strictly convex function defined on<img src="1-1490077\4a1d09ed-8acf-4b3b-a528-393f62627ae6.jpg" />, with<img src="1-1490077\96438cbd-b6ab-45bc-b624-5358fee8ba27.jpg" />. We further assume that <img src="1-1490077\49ec288f-f1fa-45e9-afdb-c7ad222a69eb.jpg" /> is in<img src="1-1490077\6f4ff720-871e-4ef5-b1ac-76fb6fb1612b.jpg" />, <img src="1-1490077\1245c72e-51db-4f52-a539-a3502c081a23.jpg" />, and</p><disp-formula id="scirp.22099-formula358"><label>(12)</label><graphic position="anchor" xlink:href="1-1490077\86ab2e9f-69a8-4398-a5af-61b4451df747.jpg"  xlink:type="simple"/></disp-formula><p>We now give the formal definition of the risk measure.</p><p>Definition 3.1 The shortfall risk is defined as the expectation</p><disp-formula id="scirp.22099-formula359"><label>(13)</label><graphic position="anchor" xlink:href="1-1490077\eb8f46ab-f48e-4a49-9730-6477506cee0a.jpg"  xlink:type="simple"/></disp-formula><p>of the shortfall weighed by the loss function<img src="1-1490077\6ee0a1d9-12b2-47d2-91d6-3f3f29b88858.jpg" />.</p><p>Remark 3.1 A special case of the risk measure defined above is the lower partial moment (e.g., [<xref ref-type="bibr" rid="scirp.22099-ref11">11</xref>]) with<img src="1-1490077\0558242e-ca95-40e8-bd2e-d97bc33fb175.jpg" />, for some<img src="1-1490077\40c01a01-3ac7-493c-98a7-dcc8052e9a90.jpg" />.</p><p>Our aim is to find an admissible portfolio <img src="1-1490077\b39ae4bc-7906-4f3b-82f4-407cc1236390.jpg" /> which solves the optimization problem</p><disp-formula id="scirp.22099-formula360"><label>(14)</label><graphic position="anchor" xlink:href="1-1490077\bb97ed97-3a85-4589-a71e-f605bc938d79.jpg"  xlink:type="simple"/></disp-formula><p>for any<img src="1-1490077\6cef4690-7e37-45c5-8619-d1af5afa7abe.jpg" />.</p><p>This stochastic control problem is solved by first finding the optimal terminal wealth <img src="1-1490077\14ed5029-b49b-4aee-adb8-42fccf88bec2.jpg" /> that mini mizes the shortfall risk in (13) under the constraint that<img src="1-1490077\2ad7b286-1dd5-4645-b37c-9574fb4992cd.jpg" />. We first make the following useful observation.</p><p>Lemma 3.1 Let <img src="1-1490077\224728c8-5f65-48b5-a85a-a5c56488deb8.jpg" /> such that</p><p><img src="1-1490077\4029a0ac-e65a-4eb8-ab3f-ac05b4cf216a.jpg" />. Then there exists a <img src="1-1490077\635ccd09-61a5-4348-9ea2-a1a33db69384.jpg" /> such that</p><p><img src="1-1490077\4d3cbc6f-b47c-4636-9fbc-4d4f9ac525a1.jpg" /></p><p>The proof of the lemma is deferred to the Appendix. In view of Lemma 3.1, we can (and do) assume that <img src="1-1490077\94168c5a-c821-40c4-9657-dca76b11635c.jpg" /> P-almost surely in (14). Hence the risk measure can be written as<img src="1-1490077\0541183f-e994-456a-9b23-c52b34d990ba.jpg" />. As noted earlier, <img src="1-1490077\17517e98-3d53-4583-a9bd-d632af11ab36.jpg" />is assumed to be nonnegative. Hence for any admissible portfolio strategy<img src="1-1490077\ee9b5a24-fd5e-4075-a269-589f751a5bb1.jpg" />, we have<img src="1-1490077\5536c66f-40c7-436e-9d82-e6a7191dbb91.jpg" />. Define <img src="1-1490077\8129a913-8c75-4f38-b5f7-462b8198cc81.jpg" /> as the inverse of<img src="1-1490077\46a21abf-3241-4a7c-9b74-cca09bd4e5c9.jpg" />. In the case of<img src="1-1490077\5430eaed-bf77-4b93-829c-dc85da12cdc4.jpg" />, we can extend the domain of <img src="1-1490077\9791d7c2-d543-4824-9f6a-fbe6d91f974b.jpg" /> to <img src="1-1490077\2c247840-c9c4-417f-993a-3a41c32e6c5a.jpg" /> by letting <img src="1-1490077\82f21dcc-cbec-4165-89c4-13976caeda27.jpg" /> for<img src="1-1490077\262182ca-7382-4226-99fc-8d2a1e511713.jpg" />. We shall adopt useful tools from convex duality: starting with the function<img src="1-1490077\5d5ab920-6aaf-4004-b842-6ef0293a2a32.jpg" />, consider its (random, <img src="1-1490077\bfb7601b-0c76-46e6-ae2b-35269d2d2527.jpg" />-measurable) Legendre transform</p><disp-formula id="scirp.22099-formula361"><label>(15)</label><graphic position="anchor" xlink:href="1-1490077\c11e90b4-2e5a-4fe0-aec9-e7d26a4d588e.jpg"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.22099-formula362"><label>(16)</label><graphic position="anchor" xlink:href="1-1490077\d83e61c7-95d5-41de-bbe6-f14b6aff5907.jpg"  xlink:type="simple"/></disp-formula><p>The supremum is attained by</p><disp-formula id="scirp.22099-formula363"><label>(17)</label><graphic position="anchor" xlink:href="1-1490077\32f6b609-20e1-4c34-8a50-e25d7a18d38d.jpg"  xlink:type="simple"/></disp-formula><p>For the convenience of the reader, we summarize below some basic properties of the function<img src="1-1490077\1e0c256c-481e-4de6-94fc-1c71786e6aef.jpg" />.</p><p>Lemma 3.2 The function <img src="1-1490077\35d4aa0b-f408-4eb6-93dc-54982722985c.jpg" /> enjoys the following properties.</p><p>1) <img src="1-1490077\3eb9b23a-6479-4d13-bd7c-dd4f85c6e8c2.jpg" />for all<img src="1-1490077\72c1e5fb-a494-4c1d-bffa-b775e6db671f.jpg" />. <img src="1-1490077\c1d3a6ff-c0be-4298-af33-57fc6bfe6b02.jpg" />is nondecreasing on<img src="1-1490077\2d894e15-1579-4f12-b9da-26a9e55b3fb7.jpg" />.</p><p>2) The function <img src="1-1490077\aece9f85-8bc0-4103-98f5-ff8f36bdda6e.jpg" /> is convex and continuous.</p><p>Proof. a) It follows from the explicit expression of <img src="1-1490077\18c2f67b-cebd-461b-86ac-c33684d43294.jpg" /> in (16) that <img src="1-1490077\5b9c0257-b620-4269-b6b9-d88dd09153da.jpg" /> is nondecreasing. From the facts that <img src="1-1490077\674de3fa-369a-4acf-8ce6-b7d3ab78531f.jpg" /> is nondecreasing and <img src="1-1490077\67e07f5f-2328-4252-93e8-de19fac4dd10.jpg" /> for<img src="1-1490077\795efd55-9b82-42ef-9ae0-afa3323dc2d8.jpg" />, it is easy to see that <img src="1-1490077\2b8c3be1-105e-48d8-abc0-855d341be965.jpg" /> for all<img src="1-1490077\8bd600c2-9c68-4c7e-80dd-029341511efc.jpg" />.</p><p>b) We see immediately from (15) that <img src="1-1490077\c87e4ef2-02ed-4489-bcd7-577a4664b223.jpg" /> is a convex function, since it is the pointwise supremum of a family of convex (indeed, affine) functions of<img src="1-1490077\ba7ded29-5990-417c-9184-079906b7544b.jpg" />. Note that this is true whether or not <img src="1-1490077\8e626eaa-6988-4be1-9557-2fd15497c686.jpg" /> is convex. <img src="1-1490077\17989f36-5804-48bb-b1b4-5ff4ac5fbbed.jpg" />is continuous on <img src="1-1490077\f15bd88f-2a54-46ae-95d4-91ab14a4e458.jpg" /> since a convex function is continuous on an open interval. Continuity of <img src="1-1490077\f2dd4fc1-2c19-45c5-8869-893a324a7b7c.jpg" /> at <img src="1-1490077\50b34c43-ddab-4940-bf03-dd2d313cdcc1.jpg" /> follows directly from the explicit expression of <img src="1-1490077\9ef3cd9e-a249-4ba3-99cc-a74552400ffb.jpg" /> in (16).</p><p>It follows that for any initial capital</p><p><img src="1-1490077\49199bf0-36ce-46f3-989d-172d729c7052.jpg" />, we have</p><disp-formula id="scirp.22099-formula364"><label>(18)</label><graphic position="anchor" xlink:href="1-1490077\fd1a0ab1-6a69-4318-ae6d-0e6aade8f8ee.jpg"  xlink:type="simple"/></disp-formula><p>almost surely. Thus, in conjunction with (6) and (11), we obtain</p><disp-formula id="scirp.22099-formula365"><label>(19)</label><graphic position="anchor" xlink:href="1-1490077\74f41340-dccf-4fd4-bdbc-e84410dcbbc5.jpg"  xlink:type="simple"/></disp-formula><p>where we set</p><disp-formula id="scirp.22099-formula366"><label>(20)</label><graphic position="anchor" xlink:href="1-1490077\3202fd91-542c-4f95-badc-8e8589bb5135.jpg"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.22099-formula367"><label>(21)</label><graphic position="anchor" xlink:href="1-1490077\6a708eea-2d99-452a-8caf-cd965dac391b.jpg"  xlink:type="simple"/></disp-formula><p>Now assume that for every<img src="1-1490077\daf66337-df64-4c7c-a243-d2cebf9c630d.jpg" />, we have</p><disp-formula id="scirp.22099-formula368"><label>(22)</label><graphic position="anchor" xlink:href="1-1490077\182fff40-3810-4a51-b1c0-a61ccdf30ee6.jpg"  xlink:type="simple"/></disp-formula><p>Remark 3.2 Note that (22) is not assumed for<img src="1-1490077\22c5013e-c37d-4ca3-ad79-517fc8ee8bdb.jpg" />. So the above assumption still allows<img src="1-1490077\e36ff31a-df6b-492d-b3e3-160d43202b0b.jpg" />, which is the case for many popular options.</p><p>The function <img src="1-1490077\220591c1-ca89-48ee-ac96-37a8eac1ebb4.jpg" /> in (20) possesses the following useful property.</p><p>Lemma 3.3 Assume that <img src="1-1490077\00a24e49-dddc-45ad-9c13-ccc3382d6d2a.jpg" /> satisfies (22). The function <img src="1-1490077\0131c924-025d-451f-afa4-d2966477c926.jpg" /> in (20) is continuous on<img src="1-1490077\4094405c-3a0f-4e96-ac56-2f221259518b.jpg" />.</p><p>Proof. First we show that the function</p><p><img src="1-1490077\c059f871-c99e-4f91-88c0-2fa44855316a.jpg" /></p><p>is continuous. Let <img src="1-1490077\91f60dd2-b847-4750-9d14-b220d3e10ffe.jpg" /> be a sequence of non-negative numbers converging to<img src="1-1490077\f2c222ad-5977-40cf-a5b6-a4287fd563dd.jpg" />. If<img src="1-1490077\7a17e8c3-78bf-4bdf-9bfe-c0196b1948c2.jpg" />, then by assumption (22),</p><p><img src="1-1490077\f8375bb7-2297-49af-b44b-c2da9350462a.jpg" />almost surely. Hence <img src="1-1490077\f71a50d4-52ac-4f79-a117-b0e1341490a8.jpg" /> and the dominated convergence theorem implies the continuity of<img src="1-1490077\acd6fc1f-9197-4536-a02a-39245fc75eca.jpg" />. Assume now that<img src="1-1490077\08d6d7c5-aeaf-4232-b5d4-4cc414dd4bec.jpg" />. Then one can see by separating the cases <img src="1-1490077\41908f3b-a1a0-4550-b353-c102c83aac62.jpg" /> and <img src="1-1490077\a4a92e88-8177-473b-af20-47dd0afb1503.jpg" /> that</p><p><img src="1-1490077\d1d308a3-0d93-4b57-894f-b31da22de384.jpg" />almost surely. Another application of the dominated convergence theorem implies that <img src="1-1490077\0d0ed064-1c05-4b10-afa3-91ada809e6e4.jpg" /> is continuous even at<img src="1-1490077\f393e60e-3664-4f90-9014-fb371c6a56e4.jpg" />. The continuity of</p><p><img src="1-1490077\01e96ffd-abcb-417c-83b6-4ed44c3203e9.jpg" /></p><p>follows similarly using the bound</p><p><img src="1-1490077\9d57435f-c9d5-4f81-a917-2bc4c9ea5499.jpg" /></p><p>and the dominated convergence theorem.</p><p>To derive the maximum of <img src="1-1490077\88a5f180-c06a-4183-9bcb-44f5a8f86291.jpg" /> in (19), we assume that <img src="1-1490077\f33870d2-2479-47c4-90ff-ae5c53c4befc.jpg" /> is in <img src="1-1490077\87f4cbf3-d14b-47b3-ba7b-e6565c509cd7.jpg" /> and</p><disp-formula id="scirp.22099-formula369"><label>(23)</label><graphic position="anchor" xlink:href="1-1490077\6bb7b402-0679-476c-b653-d97b80407c7d.jpg"  xlink:type="simple"/></disp-formula><p>From (16) it follows that <img src="1-1490077\56de236f-5eab-4b79-bd8e-63d71dea8358.jpg" /> is convex and continuous on<img src="1-1490077\3aeb0785-cb2b-4c99-a158-df5fdc8ecc7a.jpg" />, and continuously differentiable on<img src="1-1490077\57a45cd7-fdd6-4107-8991-0a9d80f707c4.jpg" />.</p><p>In particular,</p><disp-formula id="scirp.22099-formula370"><label>(24)</label><graphic position="anchor" xlink:href="1-1490077\bf77de20-fc46-4698-90c6-12e9eaa13a8f.jpg"  xlink:type="simple"/></disp-formula><p>For every<img src="1-1490077\d5e7ce31-17ea-40c4-ab25-3467adcfb551.jpg" />, we have</p><disp-formula id="scirp.22099-formula371"><label>(25)</label><graphic position="anchor" xlink:href="1-1490077\c99a41c5-6a66-4916-87db-8b33de5fd118.jpg"  xlink:type="simple"/></disp-formula><p>Indeed, by assumption (23),</p><disp-formula id="scirp.22099-formula372"><label>(26)</label><graphic position="anchor" xlink:href="1-1490077\8d0f18c3-fe18-445e-9202-5d508e61bd81.jpg"  xlink:type="simple"/></disp-formula><p>We now establish the following auxiliary result.</p><p>Lemma 3.4 Define<img src="1-1490077\26f576c4-4793-4825-b460-56f8de3ca762.jpg" />. Then <img src="1-1490077\7dc9bbcf-f305-4d9f-a4bf-542651b028b6.jpg" /> is convex on<img src="1-1490077\8ee4a56b-2313-4a8f-a4c1-b218ead96396.jpg" />, continuously differentiable on<img src="1-1490077\75c3ae17-9ca0-4866-8257-5ca6e0ff296b.jpg" />, and</p><disp-formula id="scirp.22099-formula373"><label>(27)</label><graphic position="anchor" xlink:href="1-1490077\5beeaa7e-72f1-4c10-a9dd-bf8a04885c71.jpg"  xlink:type="simple"/></disp-formula><p>Proof. Convexity of <img src="1-1490077\9b157e0f-7c21-41fa-8bd5-1945d018e0f2.jpg" /> is inherited from<img src="1-1490077\e0b42b8c-7dd8-4901-a570-6e5ecbbc92c8.jpg" />. For any<img src="1-1490077\b2e5d36a-3167-4017-b18e-ade6f460e8a3.jpg" />, let <img src="1-1490077\0bb720af-d0f5-4f71-892c-ce6f5d7516c4.jpg" /> be an arbitrary positive number such that <img src="1-1490077\eefb8f2a-ad1a-4493-af47-70d9c16978a9.jpg" /> belongs to<img src="1-1490077\82f93533-8a72-42f7-8ff1-f6129656e5aa.jpg" />. Then</p><p><img src="1-1490077\04e0eb7f-f6d4-48a3-8bb7-964d5ad2d4a8.jpg" /></p><p>as<img src="1-1490077\1133b70a-7930-4e89-a156-7e097d1d9704.jpg" />, almost surely, and by the convexity of <img src="1-1490077\ab431ff9-64ff-4198-80fd-65550556cae7.jpg" /> for <img src="1-1490077\b05abc37-cd45-4299-81a4-1e9505309129.jpg" /></p><p><img src="1-1490077\7b5af617-c64d-4bec-b06d-6a876fecd016.jpg" /></p><p>Relation (25) and the dominated convergence theorem imply</p><disp-formula id="scirp.22099-formula374"><label>(28)</label><graphic position="anchor" xlink:href="1-1490077\8885c1ee-9e7f-42a4-bf1d-72c233cb7db7.jpg"  xlink:type="simple"/></disp-formula><p>The right hand side of (28) is exactly <img src="1-1490077\2459100c-eb6f-4777-ac26-63379e6b35ef.jpg" /> by (24) and (20). We know from Lemma 3.3 that <img src="1-1490077\b6d7a0a3-a400-4ebd-8e54-444a768fefcb.jpg" /> is continuous. So <img src="1-1490077\09992474-66e1-4525-bebb-8652c7fca7a8.jpg" /> is indeed continuously differentiable.</p><p>Now we have<img src="1-1490077\66e5b5fd-6302-4feb-b35a-b85919a2636a.jpg" />. The function <img src="1-1490077\9693cb19-470b-4afe-bfc7-6164107f663a.jpg" /> is concave on<img src="1-1490077\2e3abcc0-ade4-4d56-92e9-77217b5ec454.jpg" />, belongs to<img src="1-1490077\36d5b64f-b040-4e08-9eb8-699314fffa10.jpg" />, and satisfies<img src="1-1490077\2483f357-f308-4c4f-8afa-24d0bf7dfdc8.jpg" />. Note also that</p><p><img src="1-1490077\34eb09bc-f4ee-4731-a26b-544ed4bb118c.jpg" /></p><p>and</p><p><img src="1-1490077\e88baebb-a1f2-47bf-b031-ae96245c3aa6.jpg" /></p><p>So <img src="1-1490077\bbccce76-f54d-41fc-b730-a7e203df1f5b.jpg" /> achieves its maximum over <img src="1-1490077\2a7f5e3c-7d60-4b43-a991-0d813753cbcf.jpg" /> at</p><disp-formula id="scirp.22099-formula375"><label>(29)</label><graphic position="anchor" xlink:href="1-1490077\bc957aa6-6389-461b-af6b-af7f540f0b2c.jpg"  xlink:type="simple"/></disp-formula><p>Therefore, (19) gives</p><disp-formula id="scirp.22099-formula376"><label>(30)</label><graphic position="anchor" xlink:href="1-1490077\5c4c9874-0b93-4a62-992c-a3f6637b2643.jpg"  xlink:type="simple"/></disp-formula><p>The following is the crucial observation in the duality approach.</p><p>Remark 3.3 (Sufficient and necessary conditions for strong duality) The inequality of (19) holds as equality for some <img src="1-1490077\ae729397-5bf5-4623-9e64-b0127a980376.jpg" /> and with<img src="1-1490077\5373ad2d-b721-4b45-bd0d-b5aac9ccfdb9.jpg" />, if and only if we have</p><disp-formula id="scirp.22099-formula377"><label>(31)</label><graphic position="anchor" xlink:href="1-1490077\255b2730-ab37-45b1-86f4-683cf0ba0c6b.jpg"  xlink:type="simple"/></disp-formula><p>and</p><disp-formula id="scirp.22099-formula378"><label>(32)</label><graphic position="anchor" xlink:href="1-1490077\6b23bef3-9eb5-48d1-b511-6524de9980f7.jpg"  xlink:type="simple"/></disp-formula><p>Now we are ready to state the main result of this section.</p><p>Proposition 3.1 For every<img src="1-1490077\af916fb7-6362-462e-a4e2-f31199afda70.jpg" />, the value <img src="1-1490077\3c36aef4-432a-40f7-a3fd-e220303f5ef7.jpg" /> is given by (29) and the <img src="1-1490077\c1294dfb-c9a1-497e-9cf9-3e8f9d2c8124.jpg" />-measurable random variable</p><disp-formula id="scirp.22099-formula379"><label>(33)</label><graphic position="anchor" xlink:href="1-1490077\c5207828-c65a-44ba-a56c-78d73a2fe4fe.jpg"  xlink:type="simple"/></disp-formula><p>satisfies</p><disp-formula id="scirp.22099-formula380"><label>(34)</label><graphic position="anchor" xlink:href="1-1490077\a092ac38-9957-48ac-9910-1d2d176279e7.jpg"  xlink:type="simple"/></disp-formula><p>Proof. From (20), (1), and the fact that</p><p><img src="1-1490077\4944811e-247f-403f-b172-418fc01092f5.jpg" />we see that</p><p><img src="1-1490077\c6373323-9a60-4300-aaf8-30a718ae6cd0.jpg" /></p><p>Remark 3.4 Notice that whenever<img src="1-1490077\9d8b9b3d-d21c-434d-95a0-460dc24fde94.jpg" />, the optimal terminal wealth in (33) has a simple form of</p><p><img src="1-1490077\c1852b8e-e7c9-41eb-8867-d49381639953.jpg" />. A typical example is the case of lower partial moment with<img src="1-1490077\db0cd8bd-5873-418f-ac97-ceea19b44e3a.jpg" />, for some<img src="1-1490077\5bf05c97-844b-4b39-9a3d-baacff713729.jpg" />.</p><p>For the sake of completeness, we include an existence result of the optimal hedging strategy.</p><p>Theorem 3.1 Existence of optimal strategy. For any given<img src="1-1490077\7707ef31-7612-43ed-897e-984944cd4d6d.jpg" />, and with <img src="1-1490077\779ea43c-bd8c-49bf-8c09-585dea1fd4bf.jpg" /> given by (29) and <img src="1-1490077\31a65312-50ec-4b8f-9f76-9e6f1d9a5a05.jpg" /> given by (33), there exists a portfolio process <img src="1-1490077\83317b59-9292-4153-ad76-3c67239167e6.jpg" /> for which (31) and (32) hold and which is optimal for the problem of (14):</p><disp-formula id="scirp.22099-formula381"><label>(35)</label><graphic position="anchor" xlink:href="1-1490077\159f3e3a-2e95-4cee-b1f6-a246f588f0fd.jpg"  xlink:type="simple"/></disp-formula><p>In particular, it is equal to that portfolio which replicates the claim <img src="1-1490077\0326a225-b053-4f3b-add9-f73ea76553a5.jpg" /> of (33).</p><p>Proof. From Proposition 3.1, we can find an <img src="1-1490077\9bed8d0e-b254-430a-b34a-150d9f2df2bd.jpg" />- measurable random variable <img src="1-1490077\f9a507d6-ef6a-4012-b4c3-4dbf61ad157d.jpg" /> such that (34) holds. Consider now the <img src="1-1490077\7615dbdf-a34e-4da0-9df7-a0d8c87edac9.jpg" />-martingale (in the notation of (33))</p><disp-formula id="scirp.22099-formula382"><label>(36)</label><graphic position="anchor" xlink:href="1-1490077\db8c968a-2b62-46f9-a763-d2ab1177a1e1.jpg"  xlink:type="simple"/></disp-formula><p>written in its representation as a stochastic integral with respect to <img src="1-1490077\ecc578cd-8237-4846-8e78-4daef692dc9b.jpg" /> for a suitable portfolio process <img src="1-1490077\76c63e90-b171-470b-bcaa-7628f23ee32f.jpg" /> (see [<xref ref-type="bibr" rid="scirp.22099-ref12">12</xref>], p. 93). The process <img src="1-1490077\65558bec-2d33-4d7d-8393-da145cf01c75.jpg" /> satisfies <img src="1-1490077\05772913-6214-44b3-ab56-a628826204b5.jpg" /> <img src="1-1490077\51732bba-9600-4191-a310-ccc691b2753d.jpg" /> and the requirement that it’s bounded from below by zero, so<img src="1-1490077\ea880fe3-af8b-4d14-b3e0-21072686bfe6.jpg" />. The optimality of <img src="1-1490077\5451da95-bdc3-4766-8ab0-3264ccd59292.jpg" /> is then a consequence of Remark 3.3.</p></sec><sec id="s4"><title>4. The Malliavin Calculus Approach</title><p>To solve the second subproblem of deriving the partial hedging portfolios that generate the optimal terminal wealth in (33), we consider two different approaches. One is the well-known <img src="1-1490077\ce9377c0-b49c-48a7-afbd-7d37e7726770.jpg" />-hedging approach and the other is the Malliavin calculus approach. For easy reference and to make the paper self-contained, we first briefly recap the concept of <img src="1-1490077\1332c291-0d2a-4f4b-b0fd-4de80f7b9db3.jpg" />-hedging. Then we introduce the definition of the Mallivin derivative of a random variable and the Clark-Ocone formula. Thereafter, we present a Mallivin calculus approach for deriving the replicating portfolio as first used in [<xref ref-type="bibr" rid="scirp.22099-ref5">5</xref>].</p><p>In the standard Black and Scholes framework, the <img src="1-1490077\ea165a22-cfff-4eec-9e54-a7880132a3eb.jpg" />-hedging approach works in the following way. In a complete financial market, the optimal wealth process <img src="1-1490077\124c31df-8aac-484e-a889-404dddd9a831.jpg" /> (The notations <img src="1-1490077\43a7d987-c1be-4f1d-a6a2-ebf8f5c2f3a6.jpg" /> and <img src="1-1490077\e1a9ab4e-46ea-4f40-a20b-760ad91a03fb.jpg" /> are used interchangeably.) is given by the discounted conditional expectation of the optimal terminal wealth <img src="1-1490077\420aa73a-e327-40bf-b5f2-84b86a6a2fae.jpg" /> under the risk neutral probability measure<img src="1-1490077\d5eea40d-2e6f-420e-a791-c4a710a4e1f4.jpg" />, i.e.,<img src="1-1490077\6a96b96f-77dd-409e-8575-39b76ffcb83f.jpg" />. In many situations, the optimal wealth process <img src="1-1490077\2c9791fe-dce6-4c20-9452-5a9c99a7b15c.jpg" /> is a Markov process and is in the form of<img src="1-1490077\7abc7bf8-d2bc-45aa-9f86-a207ac264906.jpg" />, where <img src="1-1490077\55b7af4a-d296-4e7f-8a65-b0f43a542c79.jpg" /> is the time t stock price. If the condition that <img src="1-1490077\b10ff546-989c-4f65-b6d7-880584fe8b28.jpg" /> is a <img src="1-1490077\49865187-ee6e-40cb-8ba3-d8c99953817d.jpg" />-function is verifiable, we can apply the It&#244; formula to <img src="1-1490077\2ce89ff3-e0c2-4b3e-95b0-28275068dd34.jpg" /> to obtain</p><disp-formula id="scirp.22099-formula383"><label>(37)</label><graphic position="anchor" xlink:href="1-1490077\bf3a513a-8924-4078-ad31-ca064a6de2ba.jpg"  xlink:type="simple"/></disp-formula><p>The replicating portfolio is denoted by</p><p><img src="1-1490077\9de5e5f6-7db5-4c98-8e5a-8dff65a34769.jpg" />where <img src="1-1490077\ae967fec-406e-45c8-bdd3-4cf074b7d9a1.jpg" /> denotes the number of units to be held at time <img src="1-1490077\abcfa971-230d-413a-854f-58ddd58a7148.jpg" /> in the risk-free asset<img src="1-1490077\e88b577c-022c-4fc7-af51-349ae503d47c.jpg" />, and <img src="1-1490077\39a3f8f3-3ae6-4bb7-87f0-563515c2b68e.jpg" /> denotes the number of units to be held in the stock <img src="1-1490077\c97a55cf-bb6f-4014-9e41-15192b1f42b6.jpg" /> at time<img src="1-1490077\726c933b-6fae-4cd5-938c-fdfc6a333c22.jpg" />. Notice the relationship between <img src="1-1490077\2a0d6fa2-6c76-475a-b6dd-f8b6532b4675.jpg" /> and <img src="1-1490077\6dc79a0f-e143-4399-9b34-7035dcb88e92.jpg" /> given by<img src="1-1490077\a93217dd-6e44-47a9-8054-07422bf1a45e.jpg" />. By the definition of a self-financing portfolio, we have</p><disp-formula id="scirp.22099-formula384"><label>(38)</label><graphic position="anchor" xlink:href="1-1490077\3a62583f-6397-42c4-9ab9-ae3c3174b7fe.jpg"  xlink:type="simple"/></disp-formula><p>From the uniqueness of the It&#244; integral it follows that we can use (37) and (38) to identify the replicating portfolio<img src="1-1490077\0a348983-4c9f-4146-b500-5bcc05fe8c18.jpg" />, where</p><disp-formula id="scirp.22099-formula385"><label>(39)</label><graphic position="anchor" xlink:href="1-1490077\d262d698-bb91-4350-a1e3-966ce743d061.jpg"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.22099-formula386"><label>(40)</label><graphic position="anchor" xlink:href="1-1490077\f4a73c8d-c4ce-41b3-b560-6ab1201cdc65.jpg"  xlink:type="simple"/></disp-formula><p>Equation (40) is the famous <img src="1-1490077\3c10a22f-a38a-4efa-84a0-f44dc18c58cf.jpg" />-hedging formula. As pointed out in [<xref ref-type="bibr" rid="scirp.22099-ref4">4</xref>], the major difficulty of using the <img src="1-1490077\caffb8d2-a056-4fba-a735-6436287f97d9.jpg" />-hedging approach is to verifty <img src="1-1490077\5fcaffdc-a3b9-49bb-b816-24451f04ae80.jpg" /> satisfies the necessary differentiability condition. We show by examples in the next section how the Malliavin calculus approach can help us get around this difficulty in the partial hedging context.</p><p>The main components for the Malliavin calculus approach to work are the gradient operator and the ClarkOcone formula. Let <img src="1-1490077\619fe6b5-5c7b-4d1b-be0f-a072bd91ddb4.jpg" /> denote the family of all random variables <img src="1-1490077\4af13f4b-caa8-474d-b04d-c11db7b1b0fc.jpg" /> of the form</p><p><img src="1-1490077\5450565b-f0ea-48c7-a841-295d0601359e.jpg" /></p><p>where <img src="1-1490077\4547c7bc-7686-456f-a9cc-2c9374e1f40e.jpg" /> is a polynomial in <img src="1-1490077\23c9ad16-83fd-4d93-ada3-494ce00ae64d.jpg" /> variables <img src="1-1490077\5ad74604-1185-4a8a-a7b5-9e0794851aaf.jpg" /> and <img src="1-1490077\1848bfa6-59e5-44f8-bc0c-b1b928102195.jpg" /> for some</p><p><img src="1-1490077\f34d3021-7b81-4e86-9836-93ef7fdb789a.jpg" />(deterministic). Notice that the set <img src="1-1490077\52b02111-f91c-4973-951b-4a556eafaa2f.jpg" /> is dense in<img src="1-1490077\e0ffced3-4d73-4a31-8839-2319f6720dac.jpg" />. Next, we define the Cameron-Martin space <img src="1-1490077\4f853cd2-930a-40e8-a01c-98c53e833c4a.jpg" /> according to</p><p><img src="1-1490077\259c2971-34db-4ec1-9fab-7540eaf6c99e.jpg" /></p><p>and identify our probability space <img src="1-1490077\a63a1c8e-e41f-4cad-9683-f29f43676132.jpg" /> with</p><p><img src="1-1490077\1d35d32d-9a91-4ab5-bd0a-a16176f790f2.jpg" /></p><p>such that <img src="1-1490077\107b688b-9ff8-46b4-a60b-2c993e7c044e.jpg" /> for all<img src="1-1490077\3e46493a-42da-4e3e-b206-e3d54cea2818.jpg" />. Here <img src="1-1490077\a303d33c-fe9e-419b-a27b-ec3f78fafa96.jpg" /> denotes the Wiener space—the space of all continuous, real-valued functions <img src="1-1490077\9816e3d1-a300-4f93-b07a-a9ea0d292ae8.jpg" /> on <img src="1-1490077\02317a8c-52eb-4dfb-a3a3-abe45dbdc21d.jpg" /> such that<img src="1-1490077\61d5e355-e957-4d21-a7b8-ddb09c2a15e2.jpg" />, <img src="1-1490077\882406c1-1233-495b-8aac-ff7abad285fe.jpg" />denotes the corresponding Borel <img src="1-1490077\49247b9e-2b46-4c23-873e-e542ef1f9b81.jpg" />-algebra, and <img src="1-1490077\d4d7b515-0386-4b4b-9c13-4772992165bc.jpg" /> denotes the unique Wiener measure. With this setup we can define the directional derivative of a random variable <img src="1-1490077\4603d3d1-7e40-460e-9428-6a093a7d00b3.jpg" /> in all the directions <img src="1-1490077\799407d4-310d-456c-b13a-4b870ea424ef.jpg" /> by</p><disp-formula id="scirp.22099-formula387"><label>(41)</label><graphic position="anchor" xlink:href="1-1490077\14ec9dad-9d3f-4388-b625-beb33af2e497.jpg"  xlink:type="simple"/></disp-formula><p>Notice from the above equation that the map <img src="1-1490077\a990b3cb-b80a-4428-bec9-a1ffbcfaf2e9.jpg" /> is continuous for all <img src="1-1490077\af3dd544-73d1-43d6-9ced-70266313f5f2.jpg" /> and linear, consequently there exists a stochastic variable <img src="1-1490077\41114be4-b0f9-4367-a1c4-9d72d2fc1cff.jpg" /> with values in the Cameron-Martin space <img src="1-1490077\6a87fb1f-0986-43da-a8df-bd55fc2f67fd.jpg" /> such that</p><p><img src="1-1490077\067e78ae-8de3-4c81-9d79-fe1c72aba46b.jpg" />.</p><p>Moreover, since <img src="1-1490077\82e2d5ce-dc58-48ed-b5e5-11ebf6983ae3.jpg" /> is an <img src="1-1490077\9f4df927-7938-444d-8326-091304b2ccf8.jpg" />-valued stochastic variable, the map <img src="1-1490077\91152f8d-5c94-4851-808e-78d7767744e7.jpg" /> is absolutely continuous with respect to the Lebesgue measure on<img src="1-1490077\b877550e-7007-44d2-88e1-81894729682b.jpg" />. Now we let the Malliavin derivative <img src="1-1490077\f2f3b06a-4b33-48a6-80fb-ec91e279dca2.jpg" /> denote the Radon-Nikodym derivative of <img src="1-1490077\c37453a0-7637-4eb3-910f-92279b0132e0.jpg" /> with respect to the Lebesgue measure such that</p><disp-formula id="scirp.22099-formula388"><label>(42)</label><graphic position="anchor" xlink:href="1-1490077\8eaa390d-5de6-4a06-881a-63c516e19093.jpg"  xlink:type="simple"/></disp-formula><p>If we define this expression with Equation (41) we have the following result, which in many cases is taken directly as a definition.</p><p>Definition 4.1 The Malliavin derivative of a stochastic variable <img src="1-1490077\5eb41e8d-e984-42a1-9ca9-58bc6d82d8d1.jpg" /> is the stochastic process</p><p><img src="1-1490077\a5e01f99-2a93-4a87-9ae2-bd1ace6b84ea.jpg" />given by</p><p><img src="1-1490077\277c1c6b-d7cc-41d3-a616-c90c20a62359.jpg" /></p><p>We note that the Malliavin derivative is well defined almost everywhere<img src="1-1490077\48a87e56-e257-4f4f-9290-1db7313ce85c.jpg" />.</p><p>Let us introduce a norm <img src="1-1490077\237f88fc-fd49-456b-bbc4-4de775daf3f2.jpg" /> on the set <img src="1-1490077\3db2e891-ae21-43c2-8ca4-67d5a783e635.jpg" /> according to</p><disp-formula id="scirp.22099-formula389"><label>(43)</label><graphic position="anchor" xlink:href="1-1490077\15fe1164-167f-4cdf-b36f-b72b5f03ce73.jpg"  xlink:type="simple"/></disp-formula><p>Now, as the Malliavin derivative is a closable operator (see [<xref ref-type="bibr" rid="scirp.22099-ref13">13</xref>]), we define by <img src="1-1490077\8d427efe-2387-4fb5-b4dd-3b9c337bab3b.jpg" /> the Banach space which is the closure of <img src="1-1490077\c9ecbf03-27e4-403e-9879-004da4fec470.jpg" /> under the norm<img src="1-1490077\af1cf3db-8101-4f3c-a180-2cd3fa506505.jpg" />.</p><p>The Clark-Ocone formula is the cornerstone of the Malliavin calculus hedging approach. This formula is a generalization of the It&#244; representation theorem (see [<xref ref-type="bibr" rid="scirp.22099-ref14">14</xref>]) in the sense that it gives an explicit expression for the integrand. The original Clark-Ocone formula (see [<xref ref-type="bibr" rid="scirp.22099-ref13">13</xref>]) applies to any <img src="1-1490077\8c2799b7-be9b-4650-adee-d077b6a4d2c0.jpg" />-measurable stochastic variable in the space<img src="1-1490077\5357b137-1eb1-4dc4-916f-c44f4286af7f.jpg" />.</p><p>[<xref ref-type="bibr" rid="scirp.22099-ref8">8</xref>] shows that the Clark-Ocone formula is valid for any <img src="1-1490077\d1670d53-828e-4467-b4c3-d494c9f1def7.jpg" />-measurable stochastic variable in <img src="1-1490077\255723c5-2154-40a5-8b6b-71d23d44e2bb.jpg" /> and therefore the Malliavin calculus approach to deriving the replicating portfolio of a contingent claim as in [<xref ref-type="bibr" rid="scirp.22099-ref5">5</xref>] can be extended in a similar way. However, since all of the examples discussed later in the paper only use the Clark-Ocone formula to the stochastic variables in<img src="1-1490077\f974114e-62aa-4dac-93b5-39ca207943c3.jpg" />, we only state the original Clark-Ocone formula in [<xref ref-type="bibr" rid="scirp.22099-ref13">13</xref>] and the results in [<xref ref-type="bibr" rid="scirp.22099-ref5">5</xref>] as a theorem. We refer the interested readers to [<xref ref-type="bibr" rid="scirp.22099-ref8">8</xref>] for the extensions.</p><p>Theorem 4.1 Let the stochastic variable <img src="1-1490077\259428e1-2895-4bf4-ad5e-85333f88de5f.jpg" /> belong to<img src="1-1490077\7941df99-1197-465d-a622-375ed354d36d.jpg" />. Then we have the representation formula</p><p><img src="1-1490077\8a13c31b-2905-4f62-9ca5-5831c671ef60.jpg" /></p><p>Following the above Clark-Ocone formula and the results in [<xref ref-type="bibr" rid="scirp.22099-ref5">5</xref>], any optimal portfolio <img src="1-1490077\82822dec-a3a6-4636-925c-ab7512294d22.jpg" /> can be replicated by the self-financing portfolio</p><disp-formula id="scirp.22099-formula390"><label>(44)</label><graphic position="anchor" xlink:href="1-1490077\cce05d53-b770-4fdd-9223-f1e7f959fb07.jpg"  xlink:type="simple"/></disp-formula><p>In order to derive the replicating portfolio using the above theorem, we need to calculate the Malliavin derivative of<img src="1-1490077\6caf8fd2-9056-4003-bc7e-ec0778ff83a7.jpg" />. When <img src="1-1490077\1dc96927-ac89-4e19-be74-5ae7e891d648.jpg" /> is a Lipschitz function of a stochastic vector process belonging to<img src="1-1490077\f41e7a4a-a0ca-46da-b6cb-7c27e7867ee6.jpg" />, the following classic chain rule as proved in [<xref ref-type="bibr" rid="scirp.22099-ref13">13</xref>] can be used to calculate<img src="1-1490077\bc75e4ec-3b1d-43ff-916a-52f1002ea5c5.jpg" />.</p><p>Proposition 4.1 (Classic Chain Rule in [<xref ref-type="bibr" rid="scirp.22099-ref13">13</xref>]) Let <img src="1-1490077\94e390d3-fa6c-45f7-a32c-9710affb06a7.jpg" /> be a function such that</p><p><img src="1-1490077\602b97ed-0991-4b39-9cad-dcc1197b8a25.jpg" /></p><p>for any <img src="1-1490077\33d23df1-141b-4d55-a6ce-9bae935a4902.jpg" /> and some constant K. Suppose that <img src="1-1490077\a9519d20-e414-419c-84c3-05193949a9ad.jpg" /> is a stochastic vector whose components belong to the space <img src="1-1490077\77c7f83a-6c6d-4879-a6f9-204f7c1b62c7.jpg" /> and suppose that the law of <img src="1-1490077\d29735cf-8031-45fb-9ed0-c2cb870347ce.jpg" /> is absolutely continuous with respect to the Lebesgue measure on<img src="1-1490077\c64d44ab-3ae9-4f86-9a4d-2de253684420.jpg" />. Then <img src="1-1490077\4d8a0a60-48ab-42ff-97e1-34c4eb4fcfd1.jpg" /> and</p><p><img src="1-1490077\d58983f4-62ee-43dd-8492-812482413210.jpg" /></p></sec><sec id="s5"><title>5. Derivation of the Replicating Portfolios</title><p>In the context of perfect hedging, the <img src="1-1490077\ee78256f-991f-4af7-bafb-a9f82874ea2d.jpg" />-hedging formula in (40) is the standard method to obtain the replicating portfolio for a European call option (see, e.g., [<xref ref-type="bibr" rid="scirp.22099-ref15">15</xref>], Chapter 5). The reason the <img src="1-1490077\b11b6e2f-624c-4eeb-a424-e5e8e5e9281c.jpg" />-hedging approach works in this case is that the price of the European call option has a closed-form expression (i.e., the famous Black-Scholes formula) and therefore, it is not hard to verify the required differentiability condition. The first example in this section shows that this is no longer the case in the partial hedging environment. Since the optimal wealth process for partial hedging a standard call option does not possess a closed-form formula, the verification of the continuous differentiability condition is no longer a trivial issue. In the second example, we derive the explicit representation for the partial hedging portfolio of a standard lookback put option. For explicit computational purpose, the loss function we shall use in both examples is<img src="1-1490077\b7d6be66-af6a-4635-970e-39f2702db987.jpg" />, in which case<img src="1-1490077\aecb5612-b00f-4b17-aeb1-09d9570adbc1.jpg" />. Note that our approach can be straightforwardly adapted to solve the problem with a more general convex loss function.</p><p>Example 5.1 Consider partial hedging a standard European call option with payoff function</p><p><img src="1-1490077\23f8550f-181d-4dc3-9419-b3cc27d61c30.jpg" />. It follows from Remark 3.4 and the facts<img src="1-1490077\12e2faab-d69c-41d7-b322-1d8f4bf4ec12.jpg" />, <img src="1-1490077\1338ad4c-18fc-4a97-aa2f-4d8cb2c65283.jpg" />that the optimal terminal wealth <img src="1-1490077\b958928e-ec3f-4426-ba88-63ac5f37b6f4.jpg" /> is given by</p><disp-formula id="scirp.22099-formula391"><label>(45)</label><graphic position="anchor" xlink:href="1-1490077\7bf89932-15d6-4378-921c-9adef7f68d56.jpg"  xlink:type="simple"/></disp-formula><p>From (3), (4), (5), and (10), we have the time T stock price</p><disp-formula id="scirp.22099-formula392"><label>(46)</label><graphic position="anchor" xlink:href="1-1490077\b8271e38-2e57-40dc-8c75-e0fc1dd27d5c.jpg"  xlink:type="simple"/></disp-formula><p>and the time T state price density</p><disp-formula id="scirp.22099-formula393"><label>(47)</label><graphic position="anchor" xlink:href="1-1490077\b6663367-b2f7-44f1-b61e-eb0b0275afc0.jpg"  xlink:type="simple"/></disp-formula><p>To apply the <img src="1-1490077\961db36b-4516-41c9-9084-e2dc21eaa8b1.jpg" />-hedging approach, one needs an expression for<img src="1-1490077\34a07401-1686-474c-b2b2-156340efdcdb.jpg" />, which according to (45), is given by</p><disp-formula id="scirp.22099-formula394"><label>(48)</label><graphic position="anchor" xlink:href="1-1490077\54bcfcef-1305-42c6-848f-7215feb89b9a.jpg"  xlink:type="simple"/></disp-formula><p>From the formulae (3) and (10), <img src="1-1490077\57ce6a1c-44e6-43d0-930e-3058f2edb517.jpg" />can be written in terms of <img src="1-1490077\5a0bcdcb-cf29-410e-89dc-908f7c382310.jpg" /> by</p><p><img src="1-1490077\fc5399f3-53cc-4568-a9d1-1eda1c48d844.jpg" />where</p><p><img src="1-1490077\99f83b76-57eb-4222-a0a9-9279148b155f.jpg" />.</p><p>Let us put<img src="1-1490077\bfd4b517-9565-4d99-a1a8-b4bd70b405f4.jpg" />. The expression (48) can be rewritten as</p><disp-formula id="scirp.22099-formula395"><label>(49)</label><graphic position="anchor" xlink:href="1-1490077\86873da5-a8ec-49f9-8f43-2915bed1cc33.jpg"  xlink:type="simple"/></disp-formula><p>Note that <img src="1-1490077\b41bf057-f100-439d-98de-3b0e1d01b0e6.jpg" /> is independent of <img src="1-1490077\c06f22ab-c331-4587-820e-e4afb3f93052.jpg" /> and <img src="1-1490077\a82fd2bc-ec19-402a-9443-4624a2a8f42a.jpg" /> is <img src="1-1490077\bb334aca-1ef1-42de-b367-09ad28903806.jpg" />-measurable. By the basic properties of the Brownian motion, we can rewrite (49) as</p><disp-formula id="scirp.22099-formula396"><label>(50)</label><graphic position="anchor" xlink:href="1-1490077\2af2362d-2423-4f70-953b-339e04a6d188.jpg"  xlink:type="simple"/></disp-formula><p>where <img src="1-1490077\606ba509-bf39-4764-9d4a-e032be66d3bf.jpg" /> is the normal density function with mean</p><p><img src="1-1490077\281eb634-a27e-440d-97d0-57cecaf2b879.jpg" />and variance<img src="1-1490077\11653ecc-39b5-4b32-97a1-9d51515920e6.jpg" />. To proceed with the <img src="1-1490077\61344080-032c-4f48-a337-170ba8edd63c.jpg" />-hedging approach, one has to assume that (50) is a <img src="1-1490077\cc5af8e9-11c2-48cd-9e93-97cf3fb8d69d.jpg" /> function of<img src="1-1490077\8363ccdc-1698-4ac6-a93f-d33d21ca1841.jpg" />. However, in general, (50) may not have a closed-form expression. Furthermore, notice that the integrand in (50) is not even once differentiable. Therefore, the assumption that (50) is <img src="1-1490077\d4494352-2668-4046-be33-ba4bb9e59b68.jpg" /> seems hard to verify. Nevertheless, for comparison purpose, we ignore this technical difficulty for now and pursue the <img src="1-1490077\a2f9ce55-3780-4400-a092-afb4e12c39f0.jpg" />-hedging formula. Assuming that the differentiation can be carried out under the integral sign, we obtain</p><disp-formula id="scirp.22099-formula397"><label>(51)</label><graphic position="anchor" xlink:href="1-1490077\7eb71a4a-c3df-442f-81e4-9225d8ddba6a.jpg"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.22099-formula398"><label>(52)</label><graphic position="anchor" xlink:href="1-1490077\17f8489d-3e12-407b-9931-3b38f1efd4ea.jpg"  xlink:type="simple"/></disp-formula><p>where the set<img src="1-1490077\efff4aca-b97c-49ac-8f80-9109b8feddeb.jpg" />. Recall the relationship<img src="1-1490077\0c2c950a-901f-46e9-842d-ba2142558b28.jpg" />. After further simplifications, we have</p><disp-formula id="scirp.22099-formula399"><label>(53)</label><graphic position="anchor" xlink:href="1-1490077\1721beb3-6f61-498b-8007-a866fa9c35f2.jpg"  xlink:type="simple"/></disp-formula><p>We now derive the partial hedging portfolio using the Malliavin calculus approach. The following properties, which are proved in the Appendix, hold.</p><p>Corollary 5.1 <img src="1-1490077\574408f2-79a4-497d-9b0d-67b47dac0d12.jpg" /> belongs to <img src="1-1490077\c44106b9-5b18-4976-9126-d63f0925dce1.jpg" /> and</p><p><img src="1-1490077\ddde3d11-887e-41fb-a1b9-844aec9eb2d4.jpg" /></p><p>where the set<img src="1-1490077\b2ac1f5f-51d6-4311-8ce6-668741c74517.jpg" />.</p><p>From Corollary 5.1 and Theorem 4.1, the replicating portfolio is given by</p><disp-formula id="scirp.22099-formula400"><label>(54)</label><graphic position="anchor" xlink:href="1-1490077\db286fb7-f060-4c6c-a92c-c802cf7d0b3f.jpg"  xlink:type="simple"/></disp-formula><p>which coincides with the hedging formula in (53). Notice that the Malliavin calculus approach not only avoids the technical difficulty encountered by the <img src="1-1490077\c30b036c-c198-4432-8a8b-f6e096a5e018.jpg" />-hedging approach, but also uses much less derivation work.</p><p>Example 5.2 Now let us consider deriving the partial hedging portfolio for a standard lookback put option with terminal payoff <img src="1-1490077\dd7203d8-68c2-4309-8a60-6c6af05570ab.jpg" /> where</p><p><img src="1-1490077\4c88169c-9c03-492e-813b-ec208a642858.jpg" />. The optimal terminal wealth is given by</p><disp-formula id="scirp.22099-formula401"><label>(55)</label><graphic position="anchor" xlink:href="1-1490077\f2aafe99-dd45-40d9-b9b5-7ffea60b4cc7.jpg"  xlink:type="simple"/></disp-formula><p>To pursue the <img src="1-1490077\27d553bb-c54a-4f65-8405-3f7cef92b874.jpg" />-hedging approach, one needs an expression for the optimal wealth process</p><disp-formula id="scirp.22099-formula402"><label>(56)</label><graphic position="anchor" xlink:href="1-1490077\0c404692-979d-4dee-97ea-7607ef459e86.jpg"  xlink:type="simple"/></disp-formula><p>In the Appendix, we show that (56) can be rewritten as</p><disp-formula id="scirp.22099-formula403"><label>(57)</label><graphic position="anchor" xlink:href="1-1490077\28f60ab7-72cc-40e2-ac06-5ba37a462591.jpg"  xlink:type="simple"/></disp-formula><p>where <img src="1-1490077\1ca7a0ac-5fa0-4242-8f4e-c86bbdce9beb.jpg" /> and <img src="1-1490077\f733ec2d-c462-42d5-8caa-d764259f5a54.jpg" /> is given in (68). First of all, it is very hard, if not impossible to obtain a closed-form expression for (57). Furthermore, the integrand in (57) is not differentiable with respect to<img src="1-1490077\0c6b939d-d5e3-4c34-be3c-38439caa6149.jpg" />. Therefore, verification of the differentiability condition is not easy. Even if we ignore this technical difficulty, formal differentiation (disregarding the points where it is non-differentiable) would be possible but gets algebraically very messy in addition to being non-rigorous. For these reasons we abandon the delta-hedging approach and pursue the Malliavin calculus approach instead.</p><p>Corollary 5.2 Let the optimal terminal wealth be defined by<img src="1-1490077\bb598dc9-22d7-413c-9c8c-91d36b8b3553.jpg" />. Then <img src="1-1490077\a194405c-cb63-46b5-bacc-471bb1770140.jpg" /> and</p><p><img src="1-1490077\4a8a1f87-6eba-4fbd-8880-645ee4ca1e11.jpg" /></p><p>Proof. See Appendix.</p><p>It then follows from Theorem 4.1 and Corollary 5.2 that the replicating portfolio is given by</p><disp-formula id="scirp.22099-formula404"><label>(58)</label><graphic position="anchor" xlink:href="1-1490077\9f646853-190b-4757-bab8-0bb87c8b00cf.jpg"  xlink:type="simple"/></disp-formula><p>Define the Radon-Nikodym derivative</p><p><img src="1-1490077\eef2b229-2ff4-449a-82da-42c81cf79b5d.jpg" /></p><p>such that <img src="1-1490077\6fe47e89-9e4b-4844-a161-4068ee8fb8a2.jpg" /> is a probability measure absolutely continuous with respect to<img src="1-1490077\a063d552-9cfe-4a82-b9d2-0020f48d86c6.jpg" />. By the Girsanov theorem, the process <img src="1-1490077\7ed58c45-704d-43cc-b9db-34aa6d714f85.jpg" /> is a Brownian motion under the probability measure<img src="1-1490077\8de84cad-d40d-4324-bee9-ae8466c3cb31.jpg" />. Moreover, from Lemma 8.6.2 in [<xref ref-type="bibr" rid="scirp.22099-ref14">14</xref>], it follows that for every stochastic variable <img src="1-1490077\7cd49870-d6f8-4495-8bf2-2f805a16650a.jpg" /> such that<img src="1-1490077\99da81f9-38cb-408e-86de-93b3e63a176a.jpg" />,</p><disp-formula id="scirp.22099-formula405"><label>(59)</label><graphic position="anchor" xlink:href="1-1490077\c108b316-9290-4db5-bdfd-1e06592fcdd6.jpg"  xlink:type="simple"/></disp-formula><p>Now the last conditional expectation on the right hand side of Equation (58) can be written as</p><disp-formula id="scirp.22099-formula406"><label>(60)</label><graphic position="anchor" xlink:href="1-1490077\7ad80e1a-7bbe-4d06-85a1-6fbd5592e7fb.jpg"  xlink:type="simple"/></disp-formula><p>Formulae (58) and (60) yield the optimal partial hedging strategy</p><disp-formula id="scirp.22099-formula407"><label>(61)</label><graphic position="anchor" xlink:href="1-1490077\90c62558-8a43-4683-8d50-041ab2a02563.jpg"  xlink:type="simple"/></disp-formula></sec><sec id="s6"><title>6. Conclusion</title><p>We solved the stochastic control problem of minimizing the expected shortfall risk (quantified by a general convex risk measure) under the constraint that the initial capital is insufficient for a perfect hedge. We showed by examples that the Malliavin calculus approach is useful for finding the replicating portfolios in the partial hedging environment. Further research consists of investigating other target contingent claims and extending the results to incomplete markets.</p></sec><sec id="s7"><title>REFERENCES</title></sec><sec id="s8"><title>Appendix</title><p>Proof of Lemma 3.1.</p><p>Let <img src="1-1490077\d4d5850e-9aff-4cf8-9d11-51afb65eb8a0.jpg" /> By the market completeness there exists a <img src="1-1490077\b51e87fd-99de-420b-bd71-b58c315ec3d3.jpg" /> such that <img src="1-1490077\381def66-337f-4344-a993-241b754dba72.jpg" /> If <img src="1-1490077\31658330-6974-4797-b723-45d3c345c881.jpg" /> then <img src="1-1490077\055e0e0b-d69e-4d71-90b6-85d317eef67b.jpg" /> satisfies the statement of the lemma. Suppose that<img src="1-1490077\54a2115f-4788-494b-8339-1879fb52fccb.jpg" />. By Dudley’s theorem ([<xref ref-type="bibr" rid="scirp.22099-ref16">16</xref>] or [<xref ref-type="bibr" rid="scirp.22099-ref17">17</xref>], Theorem 3.4.20) there exists a process <img src="1-1490077\cad63dbd-c752-42d7-94fd-3cc7b9a4e644.jpg" /> satisfying</p><p><img src="1-1490077\1f29a7ee-af5c-4bbb-a37b-91e272e3dfaf.jpg" /></p><p>and</p><p><img src="1-1490077\b5691b3c-794e-4210-b899-6791986ade02.jpg" /></p><p>Let</p><p><img src="1-1490077\129ac3de-5045-4448-a706-123d4364cf08.jpg" /></p><p>and<img src="1-1490077\ea4710bd-646a-4e13-b484-1ec53ea0a014.jpg" />. It follows that</p><disp-formula id="scirp.22099-formula408"><label>(62)</label><graphic position="anchor" xlink:href="1-1490077\c71f1db4-8197-4f03-9b09-e5e095a35e23.jpg"  xlink:type="simple"/></disp-formula><p>and for every <img src="1-1490077\9539b408-381e-4321-a93e-e1bb949e405a.jpg" /></p><disp-formula id="scirp.22099-formula409"><label>(63)</label><graphic position="anchor" xlink:href="1-1490077\029e2c4a-9288-4e0d-aa99-11fda0f846b8.jpg"  xlink:type="simple"/></disp-formula><p>Let<img src="1-1490077\c8965c3a-03ce-4b1e-a63d-01c709ae9358.jpg" />. Relations (9), (62), and (63) imply that</p><disp-formula id="scirp.22099-formula410"><label>(64)</label><graphic position="anchor" xlink:href="1-1490077\89babba1-0f15-47f6-9246-a60769c7e506.jpg"  xlink:type="simple"/></disp-formula><p>Finally we define<img src="1-1490077\2b5e752b-a3fb-4b5a-9915-f69dbea86090.jpg" />. We have <img src="1-1490077\4e1d94bd-c241-484c-8e94-e2390a700ba5.jpg" /> since</p><p><img src="1-1490077\a453e2e0-2fe7-4e23-94e4-3f8d39074783.jpg" /></p><p>By (64)</p><p><img src="1-1490077\e1629ce9-e9e7-4bcd-896c-ee3d1f7f0953.jpg" /></p><p>Proof of Corollary 5.1. From Corollary 1 in [<xref ref-type="bibr" rid="scirp.22099-ref7">7</xref>], we know that</p><p><img src="1-1490077\2397ffbf-a82d-4183-9757-5b33c95adca8.jpg" /></p><p>belongs to the Banach space <img src="1-1490077\dba17816-0112-4bbd-8aa1-cf37afd8083e.jpg" /> and</p><p><img src="1-1490077\59741082-72b4-458b-8d80-eb16335484a7.jpg" />. To show</p><p><img src="1-1490077\05752c57-b18f-4558-b6b5-719fdd0523a3.jpg" /></p><p>and<img src="1-1490077\2a3cebc3-828c-4ce4-b3f3-79228d750dc3.jpg" />, we approximate <img src="1-1490077\60f99e8c-1ebc-4ad2-bede-5785f4d5329a.jpg" /> by a sequence in <img src="1-1490077\abf03314-6035-47f5-8117-dade725e4d2c.jpg" /> and use Definition 4.1 together with the closability of the Malliavin derivative. Notice also that both <img src="1-1490077\abee7c84-6e75-4dde-884b-dc56c60ca394.jpg" /> and <img src="1-1490077\98fca166-0c57-4419-b1dc-8350eefbc99f.jpg" /> are absolutely continuous. Then <img src="1-1490077\474e617f-66fa-4769-9f0e-1f4391937aec.jpg" /> must, as the difference of absolutely continuous functions, be absolutely continuous. Since <img src="1-1490077\f42eb0c1-5a9c-4b67-a313-6e7d542cb0df.jpg" /> is a piecewise Lipschitz function for all x, it follows from Proposition 4.1 that <img src="1-1490077\ae47d6e4-3366-44b9-ad6b-6362a06fde8a.jpg" /> with</p><p><img src="1-1490077\e7d47a1f-9519-4cec-9502-43dd957ca8cd.jpg" /></p><p>Derivation of Expression (57). We are going to derive an expression for the conditional expectation</p><disp-formula id="scirp.22099-formula411"><label>(65)</label><graphic position="anchor" xlink:href="1-1490077\531e60d9-df4c-443b-9e58-0a582060abb0.jpg"  xlink:type="simple"/></disp-formula><p>Expression (57) can then be obtained by multiplying the above conditional expectation by<img src="1-1490077\4542b57c-0055-4fbd-b31b-a2e1c75988b8.jpg" />. Equations (3) and (10) imply the relation</p><p><img src="1-1490077\35fb1151-eeb5-4f33-b37e-ccff3003088e.jpg" /></p><p>Recall the definition for the function</p><p><img src="1-1490077\5958415b-7706-47fc-9145-279984eb519f.jpg" />.</p><p>Then (65) can be written as</p><disp-formula id="scirp.22099-formula412"><label>(66)</label><graphic position="anchor" xlink:href="1-1490077\b677668e-548a-40ff-9743-2b76c2c3af3d.jpg"  xlink:type="simple"/></disp-formula><p>Define the notations <img src="1-1490077\db82d687-f4d2-487a-ad3e-25f7e7d5a660.jpg" /> and<img src="1-1490077\296295cd-ec98-405f-b92d-d48613e95b65.jpg" />. Then <img src="1-1490077\2552d9c2-8945-4b8c-a2ed-e16dbe516d0f.jpg" /> can be written as<img src="1-1490077\faa369d5-ca74-404e-b857-02ccd8069d72.jpg" />. Recall the notation</p><p><img src="1-1490077\db8ef994-e30a-4e8b-96e0-6a686de6a401.jpg" />. In conjunction with the expression<img src="1-1490077\7010ab32-5c97-4e5a-9def-a0df84e3c81a.jpg" />, for<img src="1-1490077\4b7653de-0da8-4135-86ec-8572b963e3bd.jpg" />, it follows that<img src="1-1490077\60072cff-76d7-4230-b471-23ea0439812a.jpg" />. Therefore (66) can be written as</p><disp-formula id="scirp.22099-formula413"><label>(67)</label><graphic position="anchor" xlink:href="1-1490077\81748991-d255-49e7-8817-c471267f35e1.jpg"  xlink:type="simple"/></disp-formula><p>We note that <img src="1-1490077\04ef9be2-66ea-4412-9a98-2063ea091296.jpg" /> and <img src="1-1490077\92f36aa4-2b3b-46e8-9a26-047739d6b472.jpg" /> are independent of<img src="1-1490077\eeb3c5c6-0b02-4a12-9faa-0b99e6bd0deb.jpg" />, whereas <img src="1-1490077\c1f62abd-3109-454e-b38e-4c344e2b8617.jpg" /> and <img src="1-1490077\081f6c57-4d53-414b-9613-80b32ea7c685.jpg" /> are <img src="1-1490077\baf16029-618a-422b-bee3-cc2a13c2d85f.jpg" />-measurable. By the well-known properties of the Brownian motion, the joint distribution of <img src="1-1490077\e0878bb4-2d0b-4a0e-8194-3b49aa15793a.jpg" /> coincides with that of<img src="1-1490077\daa757a5-a74b-4989-b015-794edd2379de.jpg" />. It is known (see [<xref ref-type="bibr" rid="scirp.22099-ref15">15</xref>], Corollary B.3.1, p. 469) that</p><disp-formula id="scirp.22099-formula414"><label>(68)</label><graphic position="anchor" xlink:href="1-1490077\dbcc9ada-24eb-4ba5-8746-2dbf7bcd5e17.jpg"  xlink:type="simple"/></disp-formula><p>for <img src="1-1490077\19bbe3d3-c243-4051-a362-912cb23c64b1.jpg" /> such that <img src="1-1490077\dbf384c9-0eea-4de6-adc9-e2143c0d4c68.jpg" /> and<img src="1-1490077\50de5a92-a814-4ffa-9387-dc205673a09d.jpg" />. We can now write (67) as</p><disp-formula id="scirp.22099-formula415"><label>(69)</label><graphic position="anchor" xlink:href="1-1490077\61ec02d6-1654-4aeb-bf73-078851c7db2f.jpg"  xlink:type="simple"/></disp-formula><p>The expression (57) is obtained by multiplying (69) by<img src="1-1490077\5777f76d-6a23-4d87-9685-6d0a37a5b991.jpg" />.</p><p>Proof of Corollary 5.2. Write <img src="1-1490077\65c20231-bf58-4dd2-8cd6-9551caa3720c.jpg" /> as</p><p><img src="1-1490077\b8f4a74f-bf05-406c-988e-b4ac2302152c.jpg" /></p><p>where<img src="1-1490077\5eb8b97e-c07f-4d71-8f9a-6cc8aefd5d5d.jpg" />. From Corollary 1 in [<xref ref-type="bibr" rid="scirp.22099-ref7">7</xref>] and Corollary 5.1 above, <img src="1-1490077\20f5ca8f-00cc-426c-9083-eab38d1d6433.jpg" />, <img src="1-1490077\b3b7778a-d967-4220-907d-055f492352ae.jpg" />, and <img src="1-1490077\addfd2a1-0abf-421a-ac92-8452f6f260ce.jpg" /> all belong to<img src="1-1490077\7d171bf1-8af1-475f-885b-0eb656fd780c.jpg" />. Now as <img src="1-1490077\bfa0ca1b-e410-41d9-8e23-eda53cb240b9.jpg" /> is a Lipschitz function for all x, y, and z, we have by Proposition 4.1 that<img src="1-1490077\c8ba639f-4099-4b10-90a0-5441322bef92.jpg" />,and as the joint law of</p><p><img src="1-1490077\cb6f0308-ed7b-4eab-982e-726b54adb8d8.jpg" />is absolutely continuous with respect to the Lebesgue measure on <img src="1-1490077\1fc385ce-7e1e-4d78-b667-8fcc445cbe64.jpg" /> we get that</p><p><img src="1-1490077\0ec229ff-1104-4557-a7ce-a3e256686f3f.jpg" /></p></sec></body><back><ref-list><title>References</title><ref id="scirp.22099-ref1"><label>1</label><mixed-citation publication-type="other" xlink:type="simple">J. Cvitanic and I. Karatzas, “On Dynamic Measures of Risk,” Finance and Stochastics, Vol. 3, No. 4, 1999, pp. 451-482. doi:10.1007/s007800050071</mixed-citation></ref><ref id="scirp.22099-ref2"><label>2</label><mixed-citation publication-type="other" xlink:type="simple">J. Cvitanic, “Minimizing Expected Loss of Hedging in Incomplete and Constrained Markets,” SIAM Journal on Control and Optimization, Vol. 38 No. 4, 2000, pp. 1050- 1066. doi:10.1137/S036301299834185X</mixed-citation></ref><ref id="scirp.22099-ref3"><label>3</label><mixed-citation publication-type="other" xlink:type="simple">H. F?llmer and P. Leukert, “Efficient Hedging: Cost Versus Shortfall Risk,” Finance and Stochastics, Vol. 4, No. 2, 2000, pp. 117-146. doi:10.1007/s007800050008</mixed-citation></ref><ref id="scirp.22099-ref4"><label>4</label><mixed-citation publication-type="other" xlink:type="simple">H.-P. Bermin, “Hedging Options: The Malliavin Calculus Approach Versus the  -Hedging Approach,” Mathematical Finance, Vol. 13, No. 1, 2003, pp. 73-84.  
doi:10.1111/1467-9965.t01-1-00006</mixed-citation></ref><ref id="scirp.22099-ref5"><label>5</label><mixed-citation publication-type="other" xlink:type="simple">D. Ocone and I. Karatzas, “A Generalized Clark Repre- sentation Formula with Applications to Optimal Portfolios,” Stochastics and Stochastic Reports, Vol. 34, No. 3- 4, 1991, pp. 187-220.</mixed-citation></ref><ref id="scirp.22099-ref6"><label>6</label><mixed-citation publication-type="other" xlink:type="simple">P. Lakner, “Optimal Trading Strategy for an Investor: The Case of Partial Information,” Stochastic Processes and Their Applications, Vol. 76, No. 1, 1998, pp. 77-97.  
doi:10.1016/S0304-4149(98)00032-5</mixed-citation></ref><ref id="scirp.22099-ref7"><label>7</label><mixed-citation publication-type="other" xlink:type="simple">H.-P. Bermin, “Hedging Lookback and Partial Lookback Options Using Malliavin Calculus,” Applied Mathematical Finance, Vol. 7, No. 2, 2000, pp. 75-100.  
doi:10.1080/13504860010014052</mixed-citation></ref><ref id="scirp.22099-ref8"><label>8</label><mixed-citation publication-type="other" xlink:type="simple">H.-P. Bermin, “A General Approach to Hedging Options: Applications to Barrier and Partial Barrier Options,” Mathematical Finance, Vol. 12, No. 3, 2002, pp. 199-218.  
doi:10.1111/1467-9965.02007</mixed-citation></ref><ref id="scirp.22099-ref9"><label>9</label><mixed-citation publication-type="other" xlink:type="simple">P. Lakner and L. M. Nygren, “Portfolio Optimization with Downside Constraints,” Mathematical Finance, Vol. 16, No. 2, 2006, pp. 283-299.  
doi:10.1111/j.1467-9965.2006.00272.x</mixed-citation></ref><ref id="scirp.22099-ref10"><label>10</label><mixed-citation publication-type="other" xlink:type="simple">F. Black and M. Scholes, “The Pricing of Options on Corporate Liabilities,” Journal of Political Economy, Vol. 81, No. 3, 1973, pp. 637-659. doi:10.1086/260062</mixed-citation></ref><ref id="scirp.22099-ref11"><label>11</label><mixed-citation publication-type="other" xlink:type="simple">V. Bawa, “Optimal Rules for Ordering Uncertain Prospects,” Journal of Financial Economics, Vol. 2, No. 1, 1975, pp. 95-121. doi:10.1016/0304-405X(75)90025-2</mixed-citation></ref><ref id="scirp.22099-ref12"><label>12</label><mixed-citation publication-type="other" xlink:type="simple">I. Karatzas and S. E. Steven, “Methods of Mathematical Finance,” Springer-Verlag, New York, 1998.</mixed-citation></ref><ref id="scirp.22099-ref13"><label>13</label><mixed-citation publication-type="other" xlink:type="simple">D. Nualart, “The Malliavin Calculus and Related Topics,” Springer-Verlag, Berlin Heidelberg, New York, 1995.</mixed-citation></ref><ref id="scirp.22099-ref14"><label>14</label><mixed-citation publication-type="other" xlink:type="simple">B. K. Oksendal, “Stochastic Differential Equations: An Introduction with Applications,” 5th Edition, Springer- Verlag, Berlin Heidelberg, New York, 1998.</mixed-citation></ref><ref id="scirp.22099-ref15"><label>15</label><mixed-citation publication-type="other" xlink:type="simple">M. Musiela and M. Rutkowski, “Martingale Methods in Financial Modelling,” Springer-Verlag, Berlin Heidelberg, 1997.</mixed-citation></ref><ref id="scirp.22099-ref16"><label>16</label><mixed-citation publication-type="other" xlink:type="simple">R. M. Dudley, “Wiener Functionals as It? Integrals,” Annals of Probability, Vol. 5, No. 1, 1977, pp. 140-141.  
doi:10.1214/aop/1176995898</mixed-citation></ref><ref id="scirp.22099-ref17"><label>17</label><mixed-citation publication-type="other" xlink:type="simple">I. Karatzas and S. E. Shreve, “Brownian Motion and Stochastic Calculus,” Springer-Verlag, New York, 1991.  
doi:10.1007/978-1-4612-0949-2</mixed-citation></ref></ref-list></back></article>