<?xml version="1.0" encoding="UTF-8"?><!DOCTYPE article  PUBLIC "-//NLM//DTD Journal Publishing DTD v3.0 20080202//EN" "http://dtd.nlm.nih.gov/publishing/3.0/journalpublishing3.dtd"><article xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" dtd-version="3.0" xml:lang="en" article-type="research article"><front><journal-meta><journal-id journal-id-type="publisher-id">JMF</journal-id><journal-title-group><journal-title>Journal of Mathematical Finance</journal-title></journal-title-group><issn pub-type="epub">2162-2434</issn><publisher><publisher-name>Scientific Research Publishing</publisher-name></publisher></journal-meta><article-meta><article-id pub-id-type="doi">10.4236/jmf.2015.52015</article-id><article-id pub-id-type="publisher-id">JMF-56252</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>
 
 
  Optimal Investment under Dual Risk Model and Markov Modulated Financial Market
 
</article-title></title-group><contrib-group><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>in</surname><given-names>Xu</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>Liming</surname><given-names>Zhang</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>Dongjin</surname><given-names>Zhu</given-names></name><xref ref-type="aff" rid="aff1"><sup>1</sup></xref><xref ref-type="corresp" rid="cor1"><sup>*</sup></xref></contrib></contrib-group><aff id="aff1"><addr-line>School of Mathematics and Computer science, Anhui Normal University, Wuhu, China</addr-line></aff><author-notes><corresp id="cor1">* E-mail:<email>xulinahnu@gmail.com(IX)</email>;<email>zlmiac@yahoo.com(LZ)</email>;<email>djzhu@mail.ahnu.edu.cn(DZ)</email>;</corresp></author-notes><pub-date pub-type="epub"><day>30</day><month>03</month><year>2015</year></pub-date><volume>05</volume><issue>02</issue><fpage>157</fpage><lpage>171</lpage><history><date date-type="received"><day>23</day>	<month>October</month>	<year>2015</year></date><date date-type="rev-recd"><day>accepted</day>	<month>30</month>	<year>April</year>	</date><date date-type="accepted"><day>12</day>	<month>May</month>	<year>2015</year></date></history><permissions><copyright-statement>&#169; Copyright  2014 by authors and Scientific Research Publishing Inc. </copyright-statement><copyright-year>2014</copyright-year><license><license-p>This work is licensed under the Creative Commons Attribution International License (CC BY). http://creativecommons.org/licenses/by/4.0/</license-p></license></permissions><abstract><p>
 
 
  In this paper, the optimal investment problem for an agent with dual risk model is studied. The financial market is assumed to be a diffusion process with the coefficients modulated by an external process, which is specified by the solution to a kind of stochastic differential equation. The object of the agent is to maximize the expected utility from terminal wealth. Together with the regularity property of the value function, by dynamic programming principle, the value function of our control problem is turned to be the unique solution to the associated Hamilton-Jacob-Bellman (HJB for short) equation. When the utility is an exponential function with constant risk aversion, close form expressions for value function and optimal investment policy are obtained.
 
</p></abstract><kwd-group><kwd>Optimal Investment</kwd><kwd> Dual Risk Model</kwd><kwd> Markov Modulated Model</kwd><kwd> HJB Equation</kwd></kwd-group></article-meta></front><body><sec id="s1"><title>1. Introduction</title><p>The classical surplus process of an insurer is given by</p><disp-formula id="scirp.56252-formula1294"><label>(1)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/8-1490303x5.png"  xlink:type="simple"/></disp-formula><p>where x &gt; 0 is the initial surplus, c is the positive constant premium income rate, N<sub>t</sub> is Poisson process with parameter<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x6.png" xlink:type="simple"/></inline-formula>, which denotes the total number of claims up to time t. Denote the time of arrival of the ith claim by T<sub>i</sub> and the size of the ith claim by Y<sub>i</sub>. More details about the surplus process can be found in Asmussen and Albrecher [<xref ref-type="bibr" rid="scirp.56252-ref1">1</xref>] , Rolski et al. [<xref ref-type="bibr" rid="scirp.56252-ref2">2</xref>] . As pointed out by Albrecher et al. [<xref ref-type="bibr" rid="scirp.56252-ref3">3</xref>] , its dual process may also be relevant for companies whose inherent business involves a constant flow of expenses while revenues arrive occasionally due to some contingent events (e.g. discoveries, sales). For instance, pharmaceutical or petroleum companies are prime examples of companies for which it is reasonable to model their surplus process as</p><disp-formula id="scirp.56252-formula1295"><label>(2)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/8-1490303x7.png"  xlink:type="simple"/></disp-formula><p>The past decade has witnessed an increasing attention on the research of dual risk model. For example, see Albrecher et al. [<xref ref-type="bibr" rid="scirp.56252-ref3">3</xref>] for optimal dividend problem, see Cheung and Drekic [<xref ref-type="bibr" rid="scirp.56252-ref4">4</xref>] for dividend approximation and dual risk model with perturbation, see Yao et al. [<xref ref-type="bibr" rid="scirp.56252-ref5">5</xref>] for optimal dividend and equity issuance, see Zhu and Yang [<xref ref-type="bibr" rid="scirp.56252-ref6">6</xref>] for ruin probability under a Markov modulated dual risk model.</p><p>As we all know, investment is an important element in the financial agent for which can bring them potential profit. Thus, optimal investment for insurers has drawn great attentions in recent years, for example, see the works of Bai and Guo [<xref ref-type="bibr" rid="scirp.56252-ref7">7</xref>] , Browne [<xref ref-type="bibr" rid="scirp.56252-ref8">8</xref>] , Fleming and Hern&#225;ndez [<xref ref-type="bibr" rid="scirp.56252-ref9">9</xref>] , Hipp and Plum [<xref ref-type="bibr" rid="scirp.56252-ref10">10</xref>] , Li et al. [<xref ref-type="bibr" rid="scirp.56252-ref11">11</xref>] , Zhang and Siu et al. [<xref ref-type="bibr" rid="scirp.56252-ref12">12</xref>] . However, to our best knowledge, there are few papers concentrate on the optimal investment of agent with dual risk process. This is the main contributions of this paper.</p><p>Usually, the coefficients of the dynamics of the financial market are assumed to be constant. However, in reality, the returns from the risky assets might not be constants. So, it would be of practical relevance and importance to consider asset pricing models with non-constant coefficients, which can incorporate the feature of non- stationary returns. Among all kinds of stochastic coefficients models, Markov-modulated risky model has been recognized recently as an important feature to asset price models. There is much literature documenting such models in assets returns, such as French et al. [<xref ref-type="bibr" rid="scirp.56252-ref13">13</xref>] . Meanwhile, since Markov-modulated risky model contains several very important stochastic volatility models, thus can be seen as an explanation of many well-known empirical findings, such as the volatility smile, the volatility clustering, and the heavy-tailed nature of return distributions (c.f. Fleming and Hern&#225;ndez [<xref ref-type="bibr" rid="scirp.56252-ref9">9</xref>] , Pham [<xref ref-type="bibr" rid="scirp.56252-ref14">14</xref>] , Zariphopoulou [<xref ref-type="bibr" rid="scirp.56252-ref15">15</xref>] [<xref ref-type="bibr" rid="scirp.56252-ref16">16</xref>] , and references therein). In this paper, the optimal investment problem of an agent with dual risk process under the Markov modulated financial market is studied. By dynamic programming principle, we obtained the HJB equations satisfied by the value function and finished the corresponding verification theorem. A solid example is presented to illustrate how to solve the HJB equation when the claims are exponential distribution. This rest of this paper is organized as follows. In Section 2, the model and problem are introduced. The HJB equation associated with our control problem and the verification theorem for optimal control are investigated in Section 3. In Section 4, we focus on the exponential utility function and closed form expression for optimal investment is obtained. In Section 5, we listed the highlights of this paper and conclusions from the results.</p></sec><sec id="s2"><title>2. Formulation of the Problem</title><p>Let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x8.png" xlink:type="simple"/></inline-formula> be a complete probability space which carries all random variables to appear in this paper. To proceed our discussion, we introduce the following variables and notations. Let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x9.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x10.png" xlink:type="simple"/></inline-formula> are two standard Brownian motions, which describe the perturbations of the insurer and the financial market and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x11.png" xlink:type="simple"/></inline-formula> is the augmented filtration generated by aforementioned stochastic process, i.e.</p><disp-formula id="scirp.56252-formula1296"><graphic  xlink:href="http://html.scirp.org/file/8-1490303x12.png"  xlink:type="simple"/></disp-formula><p>and satisfying the usual conditions. For simplicity, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x13.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x14.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x15.png" xlink:type="simple"/></inline-formula>and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x16.png" xlink:type="simple"/></inline-formula> are assumed to be mutually independent.</p><p>Assume that there are two kinds of asset available for investors, one risky asset and one risk free asset. The risky asset is assumed to be</p><disp-formula id="scirp.56252-formula1297"><label>(2.1)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/8-1490303x17.png"  xlink:type="simple"/></disp-formula><p>where<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x18.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x19.png" xlink:type="simple"/></inline-formula>are the stochastic investment return rate and volatility of the risky market respectively. The dynamic of the external factor is specified by the solution to the following stochastic differential equation (SDE for short)</p><disp-formula id="scirp.56252-formula1298"><label>(2.2)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/8-1490303x20.png"  xlink:type="simple"/></disp-formula><p>where<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x21.png" xlink:type="simple"/></inline-formula>, and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x21.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x22.png" xlink:type="simple"/></inline-formula>. <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x21.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x22.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x23.png" xlink:type="simple"/></inline-formula>are correlated Brownian motions with the correlation coefficient<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x21.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x22.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x23.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x24.png" xlink:type="simple"/></inline-formula>. Model (2.2) covers many Markov modulated risk models, such as the Heston model and a special CIR model. Our model also includes a risk-free asset governed by</p><disp-formula id="scirp.56252-formula1299"><label>(2.3)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/8-1490303x25.png"  xlink:type="simple"/></disp-formula><p>where <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x26.png" xlink:type="simple"/></inline-formula> is the interest rate function. We interpret the process Z<sub>t</sub> as the behavior of some economic factor that has an impact on the dynamics of the risky asset and the risk-free asset price. In this paper, we allow the company takes an investment strategy into account when making decisions. Then if X<sub>t</sub> is the company’s wealth, and let K<sub>t</sub> denote the amount invested into the risky asset at time t. The remained reserve <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x26.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x27.png" xlink:type="simple"/></inline-formula> is invested into the risk-free asset, then the wealth process of the insurer can be written as following equation. To clarify the impact of investment policy, we adopt <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x26.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x27.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x28.png" xlink:type="simple"/></inline-formula> as the wealth process of the insurer, then</p><disp-formula id="scirp.56252-formula1300"><label>(2.4)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/8-1490303x29.png"  xlink:type="simple"/></disp-formula><p>where <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x30.png" xlink:type="simple"/></inline-formula> is the initial surplus of the insurer and c the positive real constant premium rate. Moreover, if at time <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x30.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x31.png" xlink:type="simple"/></inline-formula> the wealth of the insurer is x and the external factor is z. Then the wealth process satisfies</p><disp-formula id="scirp.56252-formula1301"><graphic  xlink:href="http://html.scirp.org/file/8-1490303x32.png"  xlink:type="simple"/></disp-formula><p>with the convention that<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x33.png" xlink:type="simple"/></inline-formula>.</p><p>Definition 1 We say that the strategy <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x34.png" xlink:type="simple"/></inline-formula> is admissible if it satisfies the following conditions</p><p>1) The strategies K<sub>t</sub> has to be measurable and predictable with respect to the filtration<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x35.png" xlink:type="simple"/></inline-formula>;</p><p>2) There is a constant C<sub>K</sub> which may depend on the strategies K such that</p><disp-formula id="scirp.56252-formula1302"><graphic  xlink:href="http://html.scirp.org/file/8-1490303x36.png"  xlink:type="simple"/></disp-formula><p>We denote the set of admissible strategies as<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x37.png" xlink:type="simple"/></inline-formula>.</p><p>Suppose that the company is interested in maximizing the expected utility of wealth at time T. Without loss of generality, we can define the utility function <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x38.png" xlink:type="simple"/></inline-formula> to be a twice continuously differentiable function, with <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x38.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x39.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x38.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x39.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x40.png" xlink:type="simple"/></inline-formula>, then our goal is the following value function:</p><disp-formula id="scirp.56252-formula1303"><label>(2.5)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/8-1490303x41.png"  xlink:type="simple"/></disp-formula><p>We say that an admissible combined strategies <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x42.png" xlink:type="simple"/></inline-formula> is optimal if</p><disp-formula id="scirp.56252-formula1304"><graphic  xlink:href="http://html.scirp.org/file/8-1490303x43.png"  xlink:type="simple"/></disp-formula><p>Hypothesis 1 1) The functions<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x44.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x44.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x45.png" xlink:type="simple"/></inline-formula>and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x44.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x45.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x46.png" xlink:type="simple"/></inline-formula> are such that there is a strong solution for SDE (2.1), (2.2) for example the functions fulfil Lipschitz and linear growth conditions.</p><p>2) The function <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x47.png" xlink:type="simple"/></inline-formula> is continuous, positive and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x47.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x48.png" xlink:type="simple"/></inline-formula> for all<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x47.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x48.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x49.png" xlink:type="simple"/></inline-formula>.</p></sec><sec id="s3"><title>3. Properties of Value Function and the Verification Theorem</title><p>In this section we embed the problem of maximizing the expected utility from terminal wealth on a finite horizon <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x50.png" xlink:type="simple"/></inline-formula> in the framework of stochastic control theory by dynamic programming method. Then the HJB equation associated with the control problem (2.5) is given by</p><disp-formula id="scirp.56252-formula1305"><label>(3.1)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/8-1490303x51.png"  xlink:type="simple"/></disp-formula><p>with terminal condition<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x52.png" xlink:type="simple"/></inline-formula>, where</p><disp-formula id="scirp.56252-formula1306"><graphic  xlink:href="http://html.scirp.org/file/8-1490303x53.png"  xlink:type="simple"/></disp-formula><p>The following verification theorem shows that under some proper conditions, a solution to previous HJB equation provides us the optimal investment policy.</p><p>Theorem 2 (The Verification Theorem) Suppose that there is a smooth solution <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x54.png" xlink:type="simple"/></inline-formula> to the HJB Equation (3.1) with terminal condition<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x54.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x55.png" xlink:type="simple"/></inline-formula>. Assume also that for each <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x54.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x55.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x56.png" xlink:type="simple"/></inline-formula></p><disp-formula id="scirp.56252-formula1307"><label>(3.2)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/8-1490303x57.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.56252-formula1308"><label>(3.3)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/8-1490303x58.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.56252-formula1309"><label>(3.4)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/8-1490303x59.png"  xlink:type="simple"/></disp-formula><p>Then for each <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x60.png" xlink:type="simple"/></inline-formula></p><disp-formula id="scirp.56252-formula1310"><graphic  xlink:href="http://html.scirp.org/file/8-1490303x61.png"  xlink:type="simple"/></disp-formula><p>Suppose further that there exist two bounded measurable functions<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x62.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x62.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x63.png" xlink:type="simple"/></inline-formula>such that</p><disp-formula id="scirp.56252-formula1311"><graphic  xlink:href="http://html.scirp.org/file/8-1490303x64.png"  xlink:type="simple"/></disp-formula><p>then <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x65.png" xlink:type="simple"/></inline-formula> defines a pair of optimal strategy and</p><disp-formula id="scirp.56252-formula1312"><graphic  xlink:href="http://html.scirp.org/file/8-1490303x66.png"  xlink:type="simple"/></disp-formula><p>Proof. Let<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x67.png" xlink:type="simple"/></inline-formula>, by It&#244;’s Lemma, it follows that for <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x67.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x68.png" xlink:type="simple"/></inline-formula></p><disp-formula id="scirp.56252-formula1313"><label>(3.5)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/8-1490303x69.png"  xlink:type="simple"/></disp-formula><p>where <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x70.png" xlink:type="simple"/></inline-formula> is the Poisson random measure on <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x70.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x71.png" xlink:type="simple"/></inline-formula> defined by</p><disp-formula id="scirp.56252-formula1314"><graphic  xlink:href="http://html.scirp.org/file/8-1490303x72.png"  xlink:type="simple"/></disp-formula><p>Compensate (3.5) by</p><disp-formula id="scirp.56252-formula1315"><graphic  xlink:href="http://html.scirp.org/file/8-1490303x73.png"  xlink:type="simple"/></disp-formula><p>we have</p><disp-formula id="scirp.56252-formula1316"><label>(3.6)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/8-1490303x74.png"  xlink:type="simple"/></disp-formula><p>Assumptions (3.3) and (3.4) mean that</p><disp-formula id="scirp.56252-formula1317"><graphic  xlink:href="http://html.scirp.org/file/8-1490303x75.png"  xlink:type="simple"/></disp-formula><p>are martingales. Assumption (2.8) implies that</p><disp-formula id="scirp.56252-formula1318"><graphic  xlink:href="http://html.scirp.org/file/8-1490303x76.png"  xlink:type="simple"/></disp-formula><p>is a martingale. Then, by taking the expectation on both sides of (2.11) yields that</p><disp-formula id="scirp.56252-formula1319"><label>(3.7)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/8-1490303x77.png"  xlink:type="simple"/></disp-formula><p>Note that f is a smooth solution to HJB equation (2.6), we have</p><disp-formula id="scirp.56252-formula1320"><graphic  xlink:href="http://html.scirp.org/file/8-1490303x78.png"  xlink:type="simple"/></disp-formula><p>That is to say for any<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x79.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x79.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x80.png" xlink:type="simple"/></inline-formula></p><disp-formula id="scirp.56252-formula1321"><label>(3.8)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/8-1490303x81.png"  xlink:type="simple"/></disp-formula><p>Taking <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x82.png" xlink:type="simple"/></inline-formula> in (2.13), it follows that</p><disp-formula id="scirp.56252-formula1322"><label>(3.9)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/8-1490303x83.png"  xlink:type="simple"/></disp-formula><p>The proof of the second part of this theorem follows in a similar manner. If we plug <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x84.png" xlink:type="simple"/></inline-formula> back into (2.12), for all <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x84.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x85.png" xlink:type="simple"/></inline-formula> we obtain</p><disp-formula id="scirp.56252-formula1323"><label>(3.10)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/8-1490303x86.png"  xlink:type="simple"/></disp-formula><p>By taking the supremum over all <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x87.png" xlink:type="simple"/></inline-formula> in (2.15), we obtain the inequality</p><disp-formula id="scirp.56252-formula1324"><graphic  xlink:href="http://html.scirp.org/file/8-1490303x88.png"  xlink:type="simple"/></disp-formula><p>By considering (2.13) for all<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x89.png" xlink:type="simple"/></inline-formula>, we deduce that</p><disp-formula id="scirp.56252-formula1325"><graphic  xlink:href="http://html.scirp.org/file/8-1490303x90.png"  xlink:type="simple"/></disp-formula><p>Letting <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x91.png" xlink:type="simple"/></inline-formula> in the last equality, we have</p><disp-formula id="scirp.56252-formula1326"><graphic  xlink:href="http://html.scirp.org/file/8-1490303x92.png"  xlink:type="simple"/></disp-formula><p>Moreover, by recalling (2.14), it is easy to find that</p><disp-formula id="scirp.56252-formula1327"><graphic  xlink:href="http://html.scirp.org/file/8-1490303x93.png"  xlink:type="simple"/></disp-formula><p>This completes the proof. <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x94.png" xlink:type="simple"/></inline-formula></p><p>Remark 1 Classical method of applying HJB equation for solving optimal control problems is pre-assume (or find) that there exist a smooth solution to the HJB equation, and then finish the argument by verification theorem. However, the HJB equations do not always admit classical solution, and thus the verification theorem invalid. In this case, viscosity solution will be introduced to cover the connections between the optimal control problem and the HJB equation. However, in next section, we exploit a closed representation of the solution to the HJB Equation (3.1) when the utility function is an exponential type. By this results, we further find the closed from optimal investment policy and the expressions of value function. As to very general utility function, it is difficult to find closed form solutions to HJB equation and we leave it as future research.</p></sec><sec id="s4"><title>4. Existence of a Optimal Pair of Solutions under the Exponential Utility Function</title><p>In this section, we devote to the existence and uniqueness of the solution of the HJB Equation (3.1) when the preferences of the insurer are exponential, i.e., the utility function is governed by</p><disp-formula id="scirp.56252-formula1328"><label>(4.1)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/8-1490303x95.png"  xlink:type="simple"/></disp-formula><p>In order to get a linear PDE, in the remainder of this paper we consider only the case where the correlation coefficient is equal to zero<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x96.png" xlink:type="simple"/></inline-formula>. Besides Hypothesis 1, we make the following assumptions.</p><p>Hypothesis 2 1) <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x97.png" xlink:type="simple"/></inline-formula>is constant;</p><p>2) g is uniformly Lipschitz and bounded;</p><p>3) <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x98.png" xlink:type="simple"/></inline-formula>bounded with a bounded first derivative;</p><p>Considering the form of the utility function, We speculate the following function as a solution to the HJB Equation (3.1)</p><disp-formula id="scirp.56252-formula1329"><label>(4.2)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/8-1490303x99.png"  xlink:type="simple"/></disp-formula><p>where <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x100.png" xlink:type="simple"/></inline-formula> will be governed below by a solution to a Cauchy problem. From the definition of<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x100.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x101.png" xlink:type="simple"/></inline-formula>, we obtain</p><disp-formula id="scirp.56252-formula1330"><label>(4.3)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/8-1490303x102.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.56252-formula1331"><label>(4.4)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/8-1490303x103.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.56252-formula1332"><label>(4.5)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/8-1490303x104.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.56252-formula1333"><label>(4.6)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/8-1490303x105.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.56252-formula1334"><label>(4.7)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/8-1490303x106.png"  xlink:type="simple"/></disp-formula><p>Plugging these partial derivatives of f into the HJB Equation (3.1), we obtain</p><disp-formula id="scirp.56252-formula1335"><label>(4.8)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/8-1490303x107.png"  xlink:type="simple"/></disp-formula><p>For simplicity of presentation let us introduce the following notation</p><disp-formula id="scirp.56252-formula1336"><graphic  xlink:href="http://html.scirp.org/file/8-1490303x108.png"  xlink:type="simple"/></disp-formula><p>It is trivial to see that the supremum is achieved at</p><disp-formula id="scirp.56252-formula1337"><graphic  xlink:href="http://html.scirp.org/file/8-1490303x109.png"  xlink:type="simple"/></disp-formula><p>Indeed, by a measurable selection theorem, we may find a pair of bounded progressively measurable processes <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x110.png" xlink:type="simple"/></inline-formula> satisfied the supremum in (4.8). By substituting <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x110.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x111.png" xlink:type="simple"/></inline-formula> into (4.8), we obtain the following Cauchy problem:</p><disp-formula id="scirp.56252-formula1338"><label>(4.9)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/8-1490303x112.png"  xlink:type="simple"/></disp-formula><p>The following theorem asserts the existence and uniqueness of aforementioned Cauchy equation (4.9).</p><p>Theorem 3 Assume that</p><disp-formula id="scirp.56252-formula1339"><label>(4.10)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/8-1490303x113.png"  xlink:type="simple"/></disp-formula><p>Then the Cauchy problem given by (4.9) has a unique solution, which satisfies the following conditions:</p><disp-formula id="scirp.56252-formula1340"><label>(4.11)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/8-1490303x114.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.56252-formula1341"><label>(4.12)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/8-1490303x115.png"  xlink:type="simple"/></disp-formula><p>where C<sub>1</sub> and C<sub>2</sub> are constants.</p><p>Proof. The theorem will be proved if we can show that the Cauchy problem given by (4.9) satisfies the conditions of the Theorem A.1. So we just need to check them.</p><p>・ Since <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x116.png" xlink:type="simple"/></inline-formula> is constant, naturally, it is Lipschitz continuous, H&#246;lder continuous, and the operator <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x116.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x117.png" xlink:type="simple"/></inline-formula> is uniformly elliptic.</p><p>・ Considering Hypothesis 2, we know immediately that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x118.png" xlink:type="simple"/></inline-formula> is bounded and uniformly Lipschitz continuous.</p><p>・ Now we show that</p><disp-formula id="scirp.56252-formula1342"><graphic  xlink:href="http://html.scirp.org/file/8-1490303x119.png"  xlink:type="simple"/></disp-formula><p>is bounded and uniformly H&#246;lder continuous in compact subsets of<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x120.png" xlink:type="simple"/></inline-formula>.</p><p>In fact, by Hypothesis 2, it is clear that the first term of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x121.png" xlink:type="simple"/></inline-formula> is bounded. The second term is bounded by<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x121.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x122.png" xlink:type="simple"/></inline-formula>. Note that for <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x121.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x122.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x123.png" xlink:type="simple"/></inline-formula> we have</p><disp-formula id="scirp.56252-formula1343"><graphic  xlink:href="http://html.scirp.org/file/8-1490303x124.png"  xlink:type="simple"/></disp-formula><p>Thus <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x125.png" xlink:type="simple"/></inline-formula> is bounded. Next we prove that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x125.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x126.png" xlink:type="simple"/></inline-formula> is uniformly H&#246;lder continuous in compact subsets of<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x125.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x126.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x127.png" xlink:type="simple"/></inline-formula>. Denote</p><disp-formula id="scirp.56252-formula1344"><graphic  xlink:href="http://html.scirp.org/file/8-1490303x128.png"  xlink:type="simple"/></disp-formula><p>Noting that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x129.png" xlink:type="simple"/></inline-formula> is bounded with a bounded first derivative by<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x129.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x130.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x129.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x130.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x131.png" xlink:type="simple"/></inline-formula> and Hypothesis 2, then it follows from Lemma A.1 that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x129.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x130.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x131.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x132.png" xlink:type="simple"/></inline-formula> is uniformly H&#246;lder continuous with exponent<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x129.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x130.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x131.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x132.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x133.png" xlink:type="simple"/></inline-formula>, i.e., for all <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x129.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x130.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x131.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x132.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x133.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x134.png" xlink:type="simple"/></inline-formula></p><disp-formula id="scirp.56252-formula1345"><graphic  xlink:href="http://html.scirp.org/file/8-1490303x135.png"  xlink:type="simple"/></disp-formula><p>For the second term of<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x136.png" xlink:type="simple"/></inline-formula>, combining the mean value theorem and the Hypothesis 2 and Definition 1, we have that for all<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x136.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x137.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x136.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x137.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x138.png" xlink:type="simple"/></inline-formula>such that</p><disp-formula id="scirp.56252-formula1346"><graphic  xlink:href="http://html.scirp.org/file/8-1490303x139.png"  xlink:type="simple"/></disp-formula><p>Then <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x140.png" xlink:type="simple"/></inline-formula> is uniformly Lipschitz in<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x140.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x141.png" xlink:type="simple"/></inline-formula>. Therefore <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x140.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x141.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x142.png" xlink:type="simple"/></inline-formula> is uniformly H&#246;lder continuous in the compact set<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x140.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x141.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x142.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x143.png" xlink:type="simple"/></inline-formula>. For the third term of<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x140.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x141.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x142.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x143.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x144.png" xlink:type="simple"/></inline-formula>, first, a routine computation gives rise to the following derivatives</p><disp-formula id="scirp.56252-formula1347"><graphic  xlink:href="http://html.scirp.org/file/8-1490303x145.png"  xlink:type="simple"/></disp-formula><p>Then by the mean value theorem of bivariate functions, we know that there is <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x146.png" xlink:type="simple"/></inline-formula> such that</p><disp-formula id="scirp.56252-formula1348"><graphic  xlink:href="http://html.scirp.org/file/8-1490303x147.png"  xlink:type="simple"/></disp-formula><p>where <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x148.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x148.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x149.png" xlink:type="simple"/></inline-formula> mean, for instance, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x148.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x149.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x150.png" xlink:type="simple"/></inline-formula>,<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x148.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x149.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x150.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x151.png" xlink:type="simple"/></inline-formula>. In the last line, we used<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x148.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x149.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x150.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x151.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x152.png" xlink:type="simple"/></inline-formula>. So we obtain</p><disp-formula id="scirp.56252-formula1349"><graphic  xlink:href="http://html.scirp.org/file/8-1490303x153.png"  xlink:type="simple"/></disp-formula><p>By (4.10), we obtain that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x154.png" xlink:type="simple"/></inline-formula> is uniformly Lipschitz continuous in<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x154.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x155.png" xlink:type="simple"/></inline-formula>, and then <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x154.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x155.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x156.png" xlink:type="simple"/></inline-formula> is uniformly H&#246;lder continuous in compact subsets of<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x154.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x155.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x156.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x157.png" xlink:type="simple"/></inline-formula>.</p><p>Since the Cauchy problem (4.9) is homogeneous with a constant terminal condition, then the right-hand side of (4.9) satisfies the property of linear growth and continuous. Finally, the conditions of Theorem A.1, it is easy to find that the Cauchy problem (4.9) has a unique solution <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x158.png" xlink:type="simple"/></inline-formula> which satisfies (4.11) and (4.12). The proof of the theorem is now complete. <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x158.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x159.png" xlink:type="simple"/></inline-formula></p><p>The aim of the next theorem is to relate the value function V in the form (4.2) to the HJB Equation (3.1) in the form of the Cauchy problem (4.9).</p><p>Theorem 4 If (4.10) are satisfied, then the value function defined by (2.5) has the form:</p><disp-formula id="scirp.56252-formula1350"><graphic  xlink:href="http://html.scirp.org/file/8-1490303x160.png"  xlink:type="simple"/></disp-formula><p>where <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x161.png" xlink:type="simple"/></inline-formula> is the unique solution of the Cauchy problem (4.8), In addition, if</p><disp-formula id="scirp.56252-formula1351"><graphic  xlink:href="http://html.scirp.org/file/8-1490303x162.png"  xlink:type="simple"/></disp-formula><p>then the investment strategy <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x163.png" xlink:type="simple"/></inline-formula> is optimal, When<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x163.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x164.png" xlink:type="simple"/></inline-formula>, we get</p><disp-formula id="scirp.56252-formula1352"><graphic  xlink:href="http://html.scirp.org/file/8-1490303x165.png"  xlink:type="simple"/></disp-formula><p>and</p><disp-formula id="scirp.56252-formula1353"><graphic  xlink:href="http://html.scirp.org/file/8-1490303x166.png"  xlink:type="simple"/></disp-formula><p>Proof. We have already verified that</p><disp-formula id="scirp.56252-formula1354"><graphic  xlink:href="http://html.scirp.org/file/8-1490303x167.png"  xlink:type="simple"/></disp-formula><p>is a smooth solution of the HJB Equation (3.1). To prove that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x168.png" xlink:type="simple"/></inline-formula> really copies the value function, we need to verify that Assumptions (3.2)-(3.4) of the Theorem 2 are satisfied by<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x168.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x169.png" xlink:type="simple"/></inline-formula>.</p><p>Firstly, we consider the case in which<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x170.png" xlink:type="simple"/></inline-formula>. Let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x170.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x171.png" xlink:type="simple"/></inline-formula> be a pair of admissible strategies, then by (4.11) and the fact that Y is independent of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x170.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x171.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x172.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x170.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x171.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x172.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x173.png" xlink:type="simple"/></inline-formula>, we have</p><disp-formula id="scirp.56252-formula1355"><graphic  xlink:href="http://html.scirp.org/file/8-1490303x174.png"  xlink:type="simple"/></disp-formula><p>In the last line, we used <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x175.png" xlink:type="simple"/></inline-formula> for <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x175.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x176.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x175.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x176.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x177.png" xlink:type="simple"/></inline-formula>. To get condition (3.2), it suffices to obtain an estimate of</p><disp-formula id="scirp.56252-formula1356"><graphic  xlink:href="http://html.scirp.org/file/8-1490303x178.png"  xlink:type="simple"/></disp-formula><p>We find that</p><disp-formula id="scirp.56252-formula1357"><graphic  xlink:href="http://html.scirp.org/file/8-1490303x179.png"  xlink:type="simple"/></disp-formula><p>In the last inequality, we used H&#246;lder inequality (<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x180.png" xlink:type="simple"/></inline-formula>, where <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x180.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x181.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x180.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x181.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x182.png" xlink:type="simple"/></inline-formula>). By considering Hypothesis 2.2 and Theorem A.2, we know that</p><disp-formula id="scirp.56252-formula1358"><graphic  xlink:href="http://html.scirp.org/file/8-1490303x183.png"  xlink:type="simple"/></disp-formula><p>where C is a positive constant. Moreover, by the Minkovski inequality</p><p>(<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x184.png" xlink:type="simple"/></inline-formula>, where<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x184.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x185.png" xlink:type="simple"/></inline-formula>), one will find that</p><disp-formula id="scirp.56252-formula1359"><label>(4.13)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/8-1490303x186.png"  xlink:type="simple"/></disp-formula><p>i.e., <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x187.png" xlink:type="simple"/></inline-formula>Then it is enough to estimate <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x187.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x188.png" xlink:type="simple"/></inline-formula> Denote</p><disp-formula id="scirp.56252-formula1360"><graphic  xlink:href="http://html.scirp.org/file/8-1490303x189.png"  xlink:type="simple"/></disp-formula><p>One should note that</p><disp-formula id="scirp.56252-formula1361"><graphic  xlink:href="http://html.scirp.org/file/8-1490303x190.png"  xlink:type="simple"/></disp-formula><p>and</p><disp-formula id="scirp.56252-formula1362"><graphic  xlink:href="http://html.scirp.org/file/8-1490303x191.png"  xlink:type="simple"/></disp-formula><p>Recall that K is a pair of admissible strategy, by H&#246;lder inequality, we have</p><disp-formula id="scirp.56252-formula1363"><graphic  xlink:href="http://html.scirp.org/file/8-1490303x192.png"  xlink:type="simple"/></disp-formula><p>Since <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x193.png" xlink:type="simple"/></inline-formula> is a martingale, it follows that</p><disp-formula id="scirp.56252-formula1364"><graphic  xlink:href="http://html.scirp.org/file/8-1490303x194.png"  xlink:type="simple"/></disp-formula><p>This indicates that<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x195.png" xlink:type="simple"/></inline-formula>, i.e., (3.2) holds for the case<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x195.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x196.png" xlink:type="simple"/></inline-formula>. In order to prove conditions (3.3) and (3.4), by (4.11) and (4.12) we have</p><disp-formula id="scirp.56252-formula1365"><graphic  xlink:href="http://html.scirp.org/file/8-1490303x197.png"  xlink:type="simple"/></disp-formula><p>and</p><disp-formula id="scirp.56252-formula1366"><graphic  xlink:href="http://html.scirp.org/file/8-1490303x198.png"  xlink:type="simple"/></disp-formula><p>Evidently, (3.3) and (3.4) are easily seen to hold with<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x199.png" xlink:type="simple"/></inline-formula>. For the case in which the interest rate<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x199.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x200.png" xlink:type="simple"/></inline-formula>, let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x199.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x200.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x201.png" xlink:type="simple"/></inline-formula> By It&#244;’s formula it is easy to see that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x199.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x200.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x201.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x202.png" xlink:type="simple"/></inline-formula> satisfies the following SDE</p><disp-formula id="scirp.56252-formula1367"><label>(4.14)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/8-1490303x203.png"  xlink:type="simple"/></disp-formula><p>By <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x204.png" xlink:type="simple"/></inline-formula> for all <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x204.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x205.png" xlink:type="simple"/></inline-formula> in the Hypothesis 1, we obtain that</p><disp-formula id="scirp.56252-formula1368"><label>(4.15)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/8-1490303x206.png"  xlink:type="simple"/></disp-formula><p>This case is dealt with the same arguments by suitable modification to the first part of the proof. First, we get</p><disp-formula id="scirp.56252-formula1369"><graphic  xlink:href="http://html.scirp.org/file/8-1490303x207.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.56252-formula1370"><graphic  xlink:href="http://html.scirp.org/file/8-1490303x208.png"  xlink:type="simple"/></disp-formula><p>and</p><disp-formula id="scirp.56252-formula1371"><graphic  xlink:href="http://html.scirp.org/file/8-1490303x209.png"  xlink:type="simple"/></disp-formula><p>To accomplish the proof, it is sufficient to prove that</p><disp-formula id="scirp.56252-formula1372"><label>(4.16)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/8-1490303x210.png"  xlink:type="simple"/></disp-formula><p>Note that</p><disp-formula id="scirp.56252-formula1373"><graphic  xlink:href="http://html.scirp.org/file/8-1490303x211.png"  xlink:type="simple"/></disp-formula><p>and the fact that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x212.png" xlink:type="simple"/></inline-formula> from the first part of the proof, the proof is reduced to showing <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x212.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x213.png" xlink:type="simple"/></inline-formula> In fact, by applying (4.15) and with similar arguments to the first part of the proof we have</p><disp-formula id="scirp.56252-formula1374"><graphic  xlink:href="http://html.scirp.org/file/8-1490303x214.png"  xlink:type="simple"/></disp-formula><p>Similarly, since K is a pair of admissible strategy and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x215.png" xlink:type="simple"/></inline-formula> is a martingale, we also have</p><disp-formula id="scirp.56252-formula1375"><graphic  xlink:href="http://html.scirp.org/file/8-1490303x216.png"  xlink:type="simple"/></disp-formula><p>This completes the proof. <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x217.png" xlink:type="simple"/></inline-formula></p></sec><sec id="s5"><title>5. Highlights and Summary</title><p>The main contributions of this paper include:</p><p>・ Both stochastic coefficients financial model and dual risk model are taken into account.</p><p>・ Rigorous proof of verification theorem for optimal policy is provided and closed form expressions for optimal policies and value function are derived.</p><p>・ A solid example is presented to illustrate how to solve the HJB equation.</p><p>As a result, we find that the optimal investment policy is a function of the state of the external Modulate Markov process. When there is no modulated process, the model considered in this paper is reduced to the optimal investment problem under the risky market with stationary coefficient and our results cover those existing results (see Bai and Guo [<xref ref-type="bibr" rid="scirp.56252-ref7">7</xref>] or Li et al. [<xref ref-type="bibr" rid="scirp.56252-ref11">11</xref>] ). One should note that when the coefficients are not sensitivity to the changes of the external Markov process, i.e. when the external Markov process changes, the coefficients of the risky market do not oscillate greatly, then our optimal investment policies seem to be very conservative because the optimal investment amount is near to a constant.</p></sec><sec id="s6"><title>Acknowledgements</title><p>The authors are very grateful to anonymous referees’ detailed comments and suggestions, which makes this paper much better. Lin Xu would like to acknowledge the support of the National Natural Science Foundation of China (Grant No. 11201006). Zhu Dongjin would like to acknowledge the support of Major Projects of Colleges and Universities in Anhui Province Natural Science Foundation (KJ2012ZD01).</p></sec><sec id="s7"><title>Appendix. Parabolic Partial Differential Equations</title><p>To illuminate the expression of our research problem, now we introduce and summarize some important results on parabolic PDEs, which play a key role in the proof of Theorem 4.1 (existence and uniqueness theorem), and some terminology and definitions are introduced. We believe that this work will be useful in the development of this paper.</p><p>Definition 5 Let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x218.png" xlink:type="simple"/></inline-formula></p><p>1) We say that E is uniformly elliptic, if there is <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x219.png" xlink:type="simple"/></inline-formula> such that</p><disp-formula id="scirp.56252-formula1376"><graphic  xlink:href="http://html.scirp.org/file/8-1490303x220.png"  xlink:type="simple"/></disp-formula><p>for all <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x221.png" xlink:type="simple"/></inline-formula> and all <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x221.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x222.png" xlink:type="simple"/></inline-formula></p><p>2) A function f on <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x223.png" xlink:type="simple"/></inline-formula> is called H&#246;lder continuous in x with exponent<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x223.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x224.png" xlink:type="simple"/></inline-formula>, uniformly with respect to t in compact subsets of<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x223.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x224.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x225.png" xlink:type="simple"/></inline-formula>, if for each compact set <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x223.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x224.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x225.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x226.png" xlink:type="simple"/></inline-formula> there is a constant <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x223.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x224.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x225.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x226.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x227.png" xlink:type="simple"/></inline-formula> such that</p><disp-formula id="scirp.56252-formula1377"><graphic  xlink:href="http://html.scirp.org/file/8-1490303x228.png"  xlink:type="simple"/></disp-formula><p>3) f is said to be uniformly H&#246;lder continuous in <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x229.png" xlink:type="simple"/></inline-formula> in compact subsets of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x229.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x230.png" xlink:type="simple"/></inline-formula> if for each compact set <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x229.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x230.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x231.png" xlink:type="simple"/></inline-formula> there is a constant C such that</p><disp-formula id="scirp.56252-formula1378"><graphic  xlink:href="http://html.scirp.org/file/8-1490303x232.png"  xlink:type="simple"/></disp-formula><p>Theorem A.1 (Friedman, 1975). We consider the following Cauchy problem:</p><disp-formula id="scirp.56252-formula1379"><label>(A.1)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/8-1490303x233.png"  xlink:type="simple"/></disp-formula><p>where L is given by</p><disp-formula id="scirp.56252-formula1380"><graphic  xlink:href="http://html.scirp.org/file/8-1490303x234.png"  xlink:type="simple"/></disp-formula><p>If the Cauchy problem (A.1) satisfies the following conditions:</p><p>1) The coefficients of L are uniformly elliptic;</p><p>2) The functions <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x235.png" xlink:type="simple"/></inline-formula> are bounded in <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x235.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x236.png" xlink:type="simple"/></inline-formula> and uniformly Lipschitz continuous in <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x235.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x236.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x237.png" xlink:type="simple"/></inline-formula> in compact subsets of<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x235.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x236.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x237.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x238.png" xlink:type="simple"/></inline-formula>;</p><p>3) The functions <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x239.png" xlink:type="simple"/></inline-formula> are H&#246;lder continuous in x, uniformly with respect to <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x239.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x240.png" xlink:type="simple"/></inline-formula> in<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x239.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x240.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x241.png" xlink:type="simple"/></inline-formula>;</p><p>4) The function <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x242.png" xlink:type="simple"/></inline-formula> is bounded in <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x242.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x243.png" xlink:type="simple"/></inline-formula> and uniformly H&#246;lder continuous in <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x242.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x243.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x244.png" xlink:type="simple"/></inline-formula> in compact subsets of<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x242.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x243.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x244.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x245.png" xlink:type="simple"/></inline-formula>;</p><p>5) The function <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x246.png" xlink:type="simple"/></inline-formula> is continuous in<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x246.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x247.png" xlink:type="simple"/></inline-formula>, uniformly H&#246;lder continuous in x with respect to</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x248.png" xlink:type="simple"/></inline-formula>) and;</p><p>6) The function <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x250.png" xlink:type="simple"/></inline-formula> is continuous in <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x250.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x251.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x250.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x251.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x252.png" xlink:type="simple"/></inline-formula> with<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x250.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x251.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x252.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x253.png" xlink:type="simple"/></inline-formula>; then there is a unique solution u of the Cauchy problem (A.1) satisfying</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x254.png" xlink:type="simple"/></inline-formula>and</p><p>Lemma A.1 Let f be a real positive bounded function with bounded derivative, then f is uniformly H&#246;lder continuous with exponent<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x256.png" xlink:type="simple"/></inline-formula>, i.e.,</p><disp-formula id="scirp.56252-formula1381"><graphic  xlink:href="http://html.scirp.org/file/8-1490303x257.png"  xlink:type="simple"/></disp-formula><p>Proof. By the mean value theorem and using that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x258.png" xlink:type="simple"/></inline-formula> is bounded,we have:</p><disp-formula id="scirp.56252-formula1382"><graphic  xlink:href="http://html.scirp.org/file/8-1490303x259.png"  xlink:type="simple"/></disp-formula><p>where K is a constant. By f is positive,we have</p><disp-formula id="scirp.56252-formula1383"><graphic  xlink:href="http://html.scirp.org/file/8-1490303x260.png"  xlink:type="simple"/></disp-formula><p>i.e.</p><disp-formula id="scirp.56252-formula1384"><graphic  xlink:href="http://html.scirp.org/file/8-1490303x261.png"  xlink:type="simple"/></disp-formula><p>The proof of this Lemma is now complete. <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x262.png" xlink:type="simple"/></inline-formula></p><p>Theorem A.2 (Pham, 1998). Let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x263.png" xlink:type="simple"/></inline-formula> be a stochastic processes defined by the following SDE:</p><disp-formula id="scirp.56252-formula1385"><graphic  xlink:href="http://html.scirp.org/file/8-1490303x264.png"  xlink:type="simple"/></disp-formula><p>with a standard Brownian motion B<sub>s</sub>. We assume that for some<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x265.png" xlink:type="simple"/></inline-formula>, the coefficients satisfy:</p><disp-formula id="scirp.56252-formula1386"><graphic  xlink:href="http://html.scirp.org/file/8-1490303x266.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.56252-formula1387"><label>(A.2)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/8-1490303x267.png"  xlink:type="simple"/></disp-formula><p>for all<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x268.png" xlink:type="simple"/></inline-formula>. Let T &gt; 0 and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x268.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x269.png" xlink:type="simple"/></inline-formula>. Then, there is <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x268.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x269.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x270.png" xlink:type="simple"/></inline-formula> such that for all <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x268.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x269.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x270.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-1490303x271.png" xlink:type="simple"/></inline-formula> we have:</p></sec></body><back><ref-list><title>References</title><ref id="scirp.56252-ref1"><label>1</label><mixed-citation publication-type="other" xlink:type="simple">Asmussen, S. and Albrecher, H. (2010) Ruin Probabilities. World Scientific, Singapore.  
http://dx.doi.org/10.1142/9789814282536</mixed-citation></ref><ref id="scirp.56252-ref2"><label>2</label><mixed-citation publication-type="other" xlink:type="simple">Rolski, T., Schmidli, H., Schmidt V. and Teugels, J. (2009) Stochastic Processes for Insurance and Finance. John Wiley &amp; Sons, Hoboken.</mixed-citation></ref><ref id="scirp.56252-ref3"><label>3</label><mixed-citation publication-type="other" xlink:type="simple">Albrecher, H., Badescu, A. and Landriault, D. (2008) On the Dual Risk Model with Tax Payments. Insurance: Mathematics and Economics, 42, 1086-1094.  
http://dx.doi.org/10.1016/j.insmatheco.2008.02.001</mixed-citation></ref><ref id="scirp.56252-ref4"><label>4</label><mixed-citation publication-type="other" xlink:type="simple">Cheung, E.C.K. and Drekic, S. (2008) Dividend Moments in the Dual Risk Model: Exact and Approximate Approaches. Astin Bulletin, 38, 399-422.  
http://dx.doi.org/10.2143/AST.38.2.2033347</mixed-citation></ref><ref id="scirp.56252-ref5"><label>5</label><mixed-citation publication-type="other" xlink:type="simple">Yao, D.J., Yang, H.L. and Wang, R.M. (2010) Optimal Financing and Dividend Strategies in a Dual Model with Proportional costs. Journal of Industrial and Management Optimization, 6, 761-777.  
http://dx.doi.org/10.3934/jimo.2010.6.761</mixed-citation></ref><ref id="scirp.56252-ref6"><label>6</label><mixed-citation publication-type="other" xlink:type="simple">Zhu, J.X. and Yang, H.L. (2008) Ruin Probabilities of a Dual Markov—Modulated Risk Model. Communications in Statistics—Theory and Methods, 37, 3298-3307.  
http://dx.doi.org/10.1080/03610920802117080</mixed-citation></ref><ref id="scirp.56252-ref7"><label>7</label><mixed-citation publication-type="other" xlink:type="simple">Bai, L.H. and Guo, J.Y. (2008) Optimal Proportional Reinsurance and Investment with Multiple Risky Assets and No-Shorting Constraint. Insurance: Mathematics and Economics, 42, 968-975.  
http://dx.doi.org/10.1016/j.insmatheco.2007.11.002</mixed-citation></ref><ref id="scirp.56252-ref8"><label>8</label><mixed-citation publication-type="other" xlink:type="simple">Browne, S. (1995) Optimal Investment Policies for a Firm with a Random Risk Process: Exponential Utility and Minimizing the Probability of Ruin. Mathematics of Operations Research, 20, 937-958.  
http://dx.doi.org/10.1287/moor.20.4.937</mixed-citation></ref><ref id="scirp.56252-ref9"><label>9</label><mixed-citation publication-type="other" xlink:type="simple">Fleming, W.H. and Hern&amp;aacute;ndez, D. (2005) The Tradeoff between Consumption and Investment in Incomplete Financial Markets. Applied Mathematics and Optimization, 52, 219-235.  
http://dx.doi.org/10.1007/s00245-005-0826-1</mixed-citation></ref><ref id="scirp.56252-ref10"><label>10</label><mixed-citation publication-type="other" xlink:type="simple">Hipp, C. and Plum, M. (2000) Optimal Investment for Insurers. Insurance: Mathematics and Economics, 27, 215-228.  
http://dx.doi.org/10.1016/S0167-6687(00)00049-4</mixed-citation></ref><ref id="scirp.56252-ref11"><label>11</label><mixed-citation publication-type="other" xlink:type="simple">Li, Z.F., Zeng, Y. and Lai, Y.Z. (2012) Optimal Time-Consistent Investment and Reinsurance Strategies for Insurers under Heston’s SV Model. Insurance: Mathematics and Economics, 51, 191-203.  
http://dx.doi.org/10.1016/j.insmatheco.2011.09.002</mixed-citation></ref><ref id="scirp.56252-ref12"><label>12</label><mixed-citation publication-type="other" xlink:type="simple">Zhang, X. and Siu, T.K. (2009) Optimal Investment and Reinsurance of an Insurer with Model Uncertainty. Insurance: Mathematics and Economics, 45, 81-88.  
http://dx.doi.org/10.1016/j.insmatheco.2009.04.001</mixed-citation></ref><ref id="scirp.56252-ref13"><label>13</label><mixed-citation publication-type="other" xlink:type="simple">French, W.E., Schwert, G.W. and Stambaugh, R.F. (1987) Expected Stock Returns and Volatility. Journal of Financial Economics, 19, 3-29.  
http://dx.doi.org/10.1016/0304-405X(87)90026-2</mixed-citation></ref><ref id="scirp.56252-ref14"><label>14</label><mixed-citation publication-type="other" xlink:type="simple">Pham, H. (2002) Smooth Solutions to Optimal Investment Models with Stochastic Volatilities and Portfolio Constraints. Applied Mathematics and Optimization, 46, 55-78.  
http://dx.doi.org/10.1007/s00245-002-0735-5</mixed-citation></ref><ref id="scirp.56252-ref15"><label>15</label><mixed-citation publication-type="other" xlink:type="simple">Zariphopoulou, T. (1999) Optimal Investment and Consumption Models with Nonlinear Stock Dynamics. Mathematical Methods of Operations Research, 50, 271-296.  
http://dx.doi.org/10.1007/s001860050098</mixed-citation></ref><ref id="scirp.56252-ref16"><label>16</label><mixed-citation publication-type="other" xlink:type="simple">Zariphopoulou, T. (2001) A Solution Approach to Valuation with Unhedgeable Risks. Finance and Stochastics, 5, 61-82.  
http://dx.doi.org/10.1007/PL00000040</mixed-citation></ref></ref-list></back></article>